Surfaces paramétrées
Guide
Étude rapide des surfaces paramétrées, calcul de l'aire d'une surface, flux d'un champ de vecteurs à travers une surface. Formules de Stokes-Green.
Documents
J. Stewart, Analyse, concepts et contextes, vol. 2, DeBoeck Université (2001)
Surfaces
Introduction
Les surfaces peuvent être données de plusieurs manières différentes.
Exercice
Si vous connaissez les quadriques, vous pouvez regarder les exercices suivants (c'est aussi un moyen de voir à quoi elles ressemblent) :
-
Quadriques et coupes
-
Intersection d'une quadrique avec un plan
Définition
Définition
Une
surface
paramétrée dans
est une application
d'un domaine
de
dans
:
.
Si les composantes de la fonction vectorielle
sont
,
on écrit aussi :
.
On note quelquefois les composantes de
par
,
,
,
ce qui donne les équations
De même que pour les courbes paramétrées, une surface paramétrée est fournie avec son paramétrage.
On peut aussi ne regarder que l'image
de l'application
; c'est un sous-ensemble de
qu'on appelle aussi
surface dans
(à condition qu'elle ne soit pas dégénérée ...).
Exemple fondamental
Exemple
Soit
une
fonction de
dans
. On lui associe la surface
paramétrée d'équation
Mais on aurait aussi pu aussi lui associer la surface paramétrée d'équation
ou
.
Exercice
Paramétrer une surface
.
Réciproquement, lorsqu'on peut exprimer une des coordonnées en fonction des deux autres,
on trouve facilement un paramétrage de la surface.
Exemples : parallélogramme, cône, sphère, cylindre ...
Exemple
Paramétrer l'intérieur d'un parallélogramme s'appuyant sur deux vecteurs indépendants de
:
et
au point
.
Solution
On note ici les deux paramètres
et
: de manière compacte,
avec
ou
si
est le point de coordonnées
et
et
les vecteurs
et
.
Le
Tracé
pour
et
.
Exemple
Paramétrer la surface de
d'équation
.
Solution
On note ici les deux paramètres
et
:
avec
.
Tracé
Exemple
Paramétrer la sphère de
d'équation
.
Solution
On note ici les deux paramètres
et
, ils
sont bien sûr liés aux coordonnées sphériques:
avec
.
Tracé
Exemple
Paramétrer le
cylindre de
d'équation
.
Solution
On note ici les deux paramètres
et
, ils sont bien sûr liés aux coordonnées cylindriques :
avec
.
Tracé
pour
.
Exemple
Paramétrer le paraboloïde hyperbolique de
d'équation
.
Solution
Une paramétrisation d'un paraboloide elliptique
d'équation implicite
:
avec
et
.
Tracé
Quelques surfaces paramétrées à tracer
Hélicoïde :
En coordonnées cylindriques :
Tracé
Tore : >
avec
et
des constantes.
En coordonnées cylindriques :
Tracé
Surface d'Enneper :
Tracé
Sans nom :
Cette surface a comme équation en coordonnées sphériques
Tracé
pour
.
Plan tangent
Pour
, le vecteur
de
est
de composantes
.
On le note aussi
ou
.
De même,
peut être noté
.
Définition
Si
est une surface paramétrée
,
, si
est le
point de la surface de paramètre
:
et si
et
sont deux vecteurs de
linéairement indépendants, on
appelle
plan tangent au point
de paramètres
le plan engendré par ces deux
vecteurs et passant par le point
.
Un tel point est appelé point régulier.
Définition
On dit que
est lisse
si
et
sont indépendants pour tous paramètres
.
Ainsi, si
est lisse, le plan tangent existe pour tous les paramètres. La condition d'indépendance se traduit par
.
Calculer le plan tangent
Pour trouver l'équation de ce plan, on peut utiliser les méthodes équivalentes
suivantes :
Le lien entre les deux méthodes est donné par la formule
.
Pour tester qu'un vecteur
est dans le plan tangent,
on peut vérifer que son produit scalaire avec
est nul ou,
ce qui revient au même que le déterminant de
,
et
est nul.
Exercices
-
Base du plan tangent
-
Equation du plan tangent
-
Un vecteur est-il dans le plan tangent
Vecteur normal
Définition
Le
vecteur
normal orienté à la surface paramétrée au point de paramètre
est donné par
.
Définition
Le
vecteur normal unitaire orienté à la surface paramétrée est donné par
.
Remarque : l'indépendance des deux vecteurs
et
permet de montrer que localement, la surface ressemble au graphe
d'une fonction
, comme dans le cas des courbes paramétrées.
Les deux vecteurs
et
sont deux vecteurs du plan tangent en
.
Ainsi, le
vecteur normal est normal au plan tangent.
Exemples de calcul de vecteurs normaux
Vecteur normal à un parallélogramme
Le parallélogramme est décrit par
avec
Le vecteur normal est
et ne dépend bien sûr pas du point.
Sa norme est
Vecteur normal au cône
Le cône d'équations
admet comme paramétrisation
On prend donc comme paramètres
et
.
On a alors
On a donc
Vecteur normal à la sphère
Le vecteur normal à la sphère paramétrée par
est
=
=
Le carré de la norme de
est égal à
. Donc
.
En particulier,
est nul si l'angle
est égal à
,
c'est-à-dire au pôle. Il y a pourtant un plan tangent en ce point, mais il ne
peut pas être défini avec la recette précédente avec ce paramétrage.
Vecteur normal au cylindre
Le cylindre d'axe
et de rayon
est d'équations cylindriques
et
admet comme paramétrisation
On prend donc comme paramètres
et
.
On a alors
On a donc
Le vecteur normal est parallèle au plan
.
Vecteur normal à une quadrique
La surface
admet comme paramétrisation
On prend donc comme paramètres
et
.
On a alors
On a donc
Vecteur normal à une surface de révolution
Une surface de révolution d'axe
d'équations cylindriques
avec
une fonction d'une variable réelle
admet comme paramétrisation
On prend donc comme paramètres
et
.
On a alors
On a donc
Exercices
Exercices
-
Base du plan tangent
-
Equation du plan tangent
-
Vecteur dans le plan tangent
Exercice
Paramétrisation et vecteur normal
Aire et intégrales de surface
Aire
Définition
Soit
une surface paramétrée.
On appelle
élément de surface
.
Définition
Soit
un
domaine borné. Soit
une surface paramétrée
telle que
soit injective. L'
aire
de
est donnée par la formule
.
La "justification" de cette formule est la suivante :
Théorème
Soient
et
deux vecteurs de
linéairement
indépendants. Alors,
est orthogonal au plan engendré par
et
et sa norme est égale à l'aire du parallélogramme formé à
partir de
et
.
Exemples de calcul d'aires
-
Aire d'une surface plane
Prenons maintenant
une surface plane :
contenue dans le plan
par exemple. Ses équations paramétriques sont données par
. Le vecteur normal est
,
l'aire vaut
.
On retrouve donc bien l'aire du domaine
au sens usuel.
-
Aire d'une surface plane II
Prenons maintenant
une surface plane donnée de manière plus compliquée :
.
Les équations sont donc
.
Le vecteur normal
est donné par
avec
Donc
l'aire de la surface plane
est égale à
.
On retrouve la formule de changement de variables dans le cas des intégrales
doubles.
-
Aire d'une surface définie par une équation explicite
Prenons une
surface définie de manière explicite par
. On la paramètre de manière naturelle :
.
Alors
,
,
.
Donc l'aire de la surface est égale
.
Il s'agit d'une intégrale double à ne pas confondre avec la longueur d'une
courbe.
-
Aire d'une surface sphérique
La norme du vecteur normal en un point de paramètres
,
est égal
à
pour
la paramétrisation choisie.
Le vecteur normal à la sphère paramétrée par
est
=
=
Le carré de la norme de
est égal à
. Donc
.
En particulier,
est nul si l'angle
est égal à
,
c'est-à-dire au pôle. Il y a pourtant un plan tangent en ce point, mais il ne
peut pas être défini avec la recette précédente avec ce paramétrage.
L'élément de surface est donc
car
est positif entre -
/2 et
/2.
L'aire de la
surface
sur la sphère correspondant au quartier d'orange
est
.
L'aire de la
surface
sur la sphère correspondant à
est
.
L'aire de la
surface
sur la sphère correspondant à
est
.
Par exemple l'aire de la sphère de rayon 1 est
.
-
Aire d'une surface de révolution
On utilise les coordonnées cylindriques
L'aire pour
est donnée par la formule
.
Intégrale de surface
Définition
Si
est une surface paramétrée par
{D}
, on note
.
On définit l'intégrale de surface d'une fonction
comme
.
On peut démontrer que cette définition est bien indépendante du paramétrage choisi.
Exercice
Intégrale de surface d'une fonction
Flux à travers une surface
Définition
Soit
un champ vectoriel sur
défini sur un ouvert
de
. Soit
une surface paramétrée contenue dans
et donnée par
le paramétrage
L'
intégrale de surface (ou flux) de
est donnée par
.
Ainsi,
est ici une notation pour
et
est le produit scalaire de
et de
.
Si
est le vecteur normal
unitaire, on a
Théorème
Le flux d'un champ à travers
une surface ne dépend que du paramétrage de la surface à condition de conserver
l'orientation, c'est-à-dire que le
jacobien
Soit
un
changement de variables
d'un ouvert
de
sur un ouvert
de
,
c'est-à-dire une application
bijective de
sur
telle que le déterminant
soit non nul.
On dit encore que
est un
difféomorphisme
.
La matrice précédente est appelée
matrice jacobienne.
Ce déterminant est appelé
jacobien.
du changement de variables soit
strictement positif.
Exemple de flux
Prenons pour
une surface décrite par une équation explicite
.
Soit
un champ sur
, alors
Prenons pour
une portion de sphère unité :
,
Soit
un champ sur
, alors
=
=
=
+
+
=
Exercices de calcul de flux
Exercices
Calculons le flux du champ
à travers la sphère
paramétrée comme auparavant.
Ce champ est parallèle au plan
. On a
=
=
=
Exercices
-
Calcul de flux
-
Calcul de flux II
-
Paramétrisation d'une surface et calcul de flux
Propriétés du flux
Théorème
Le
flux
d'un champ à travers
une surface ne dépend que de la composante normale
du champ à la surface,
c'est-à-dire de la projection du champ sur la droite normale au plan tangent.
Exemple :
Si
est un vecteur du plan tangent en
pour tout point
de
la surface, son flux à travers la surface est nulle.
Exercice
Propriétés du flux ou de la circulation
. Cet exercice demande d'utiliser
la propriété précédente. Attention,
il alterne avec un exercice qui parle de circulation.
Théorèmes fondamentaux
Bord d'une surface
On généralise la formule de Green-Riemann (surfaces/courbes) à des surfaces qui
ne sont plus planes.
Définition
Soit
un domaine de
de bord une courbe
.
Soit
une surface paramétrée
donnée par
. On appelle
bord de
l'image de
par
.
On le note
. On suppose que le bord de
vérifie les
hypothèses du théorème de Green et en particulier est bien orienté.
On prend sur le bord de
l'orientation qui se déduit de celle
de
.
Exemples
-
Couronne
Considérons la partie de la sphère entre les deux parallèles d'angle
et
. Prenons la paramétrisation
Attention, il s'agit d'une paramétrisation
de la couronne, pas du patron de la couronne.
En partant de
et en suivant le sens des flèches, on
commence par suivre le parallèle inférieur ; revenu au point de départ
,
on monte par le méridien d'angle
jusqu'en
,
on reprend un parallèle dans le sens contraire jusqu'à
et on redescend
le long du méridien d'angle
donc dans le sens contraire de
la première fois. Ainsi, ayant recollé
et
,
l'image des segments
et
"disparaît" comme bord,
et le bord de la surface est simplement formé des deux parallèles d'angle
et
parcourues dans un sens contraire.
-
Gouttière
La gouttière (verticale) d'équations
,
est d'équations paramétriques
Théorème du flux-rotationnel
Théorème
Prenons
comme dans la définition.
Soit
un champ de vecteurs
à valeurs dans
défini sur un
ouvert
contenant
.
Alors, le flux de
à travers la
surface
est égal à la circulation de
le long du bord de
:
Exemple : formule de Green-Riemann
Si la surface
est
un domaine dans un plan horizontal paramétré par
le vecteur normal
est le vecteur
et on a donc
=
.
On retrouve la formule de Green-Riemann.
Volumes et orientation
Pour énoncer la formule de Stokes ici, on considère des volumes de
du type suivant :
ou
ou
où
et
sont des fonctions
par morceaux et où
est
un domaine du plan du même style ;
On les appellera "régions ou volumes simples fermés".
Le bord est formé des morceaux suivants
-
,
-
-
la surface se projettant sur le bord du domaine
de
(celle-ci peut ne pas exister par exemple dans le cas de la sphère).
Définition
On définit sur une région simple une orientation positive du bord
en prenant en chaque point du bord la normale sortante,
c'est-à-dire celle qui ne pointe pas à l'intérieur du volume.
Théorème de Stokes
Théorème
Soit
une région solide simple et soit
le bord de
orienté
positivement, lisse par morceaux. Soit
un champ de vecteurs
sur un
ouvert de
contenant
.
Alors,
.
Cela généralise à la dimension 3 le
théorème de Green
Conséquences du théorème de Stokes
Théorème
Soit
un volume simple
dans
dont le bord est une surface simple dans
et
un champ de vecteurs défini sur un ouvert contenant
. Alors, si la
divergence de
est nulle, le flux de
à travers
est nulle.
On peut appliquer ce théorème à des volumes dont le bord est "en deux morceaux" : par exemple, le volume compris entre une sphère de rayon
et une sphère de rayon
de même centre
avec
à condition
de bien orienter la surface (même question qu'en
dimension 2
où cela est plus facile à représenter). Dans le cas précédent, la normale est
- dans la direction de
sur la sphère de rayon
-
dans la direction de
sur la sphère de rayon
.
Théorème
Soit
et
deux volumes simples dans
de bords orientés
et
"emboités" c'est-à-dire tels que
.
et
un champ de vecteurs défini sur un ouvert contenant
. Alors,
si la divergence de
est nulle,
les flux de
à travers
et à travers
sont égaux.
On en déduit le théorème de Gauss :
Théorème
Si
et si
et
sont deux volumes simples dans
de bords orientés
et
"emboités" c'est-à-dire tels que
.
les flux de
à travers
et à travers
sont égaux.
Exercices
Exercice
Pour ne pas confondre les différentes formules
Angle solide
Soit
une surface et
un point tel que toute demi-droite
passant par
ne coupe
qu'en au plus un point.
Définition
L'
angle solide
sous
vu de
est l'ensemble des demi-droites issues de
et coupant
.
Maintenant, si
est un réel strictement positif, soit
l'intersection de la sphère de centre
et de rayon
et de l'angle solide
.
La
mesure de l'angle solide
est définie comme le quotient de l'aire de
par
:
qui ne dépend pas de
.
On peut réinterpréter cette formule de la manière suivante : on remarque que
=
,
(sur la sphère,
car le vecteur
et le vecteur normal sont colinéaires).
Théorème
Soit
une surface,
un point tel que toute demi-droite passant
par
ne coupe
qu'en au plus un point.
=
Démonstration
C'est une application du théorème flux/divergence :
-
Le champ de vecteurs
défini par
est de
divergence nulle.
Avec
, on tire de
que
,
,
.
Donc,
et
=
-
Prenons une sphère de centre
et de rayon
de manière à ce que
ne coupe pas
et soit par exemple "entre
et
.
Soit la surface
formée de
, de
et de la surface
des segments reliant le bord de
et le bord de
sur les droites passant par
. Cette surface est le bord d'un domaine
. On l'oriente par la normale sortante. On a alors
par le
théorème de Stokes
Théorème
Soit
une région solide simple et soit
le bord de
orienté
positivement, lisse par morceaux. Soit
un champ de vecteurs
sur un
ouvert de
contenant
.
Alors,
.
Cela généralise à la dimension 3 le
théorème de Green
-
Or
On
voit
Montrons-le même si on le voit : c'est un bon exercice de paramétrage.
Comment paramétrer
. Pour simplifier, supposons qu'on ait un paramétrage
de la courbe bord de
:
.
Notons
le point intersection de la sphère de rayon
et de la demi-droite issue de
et passant par
. Le segment d'extrémités
et
est paramétré de la manière suivante :
Ainsi, on obtient la paramétrisation suivante de
:
ou encore plus simplement
Cette formule peut sembler compliquée mais ce que nous voulons est simplement
montrer que le vecteur normal à
en
est perpendiculaire à
.
Or la dérivée partielle par rapport à
de la paramétrisation est égale à
et
est colinéaire à
.
alors que le vecteur normal à
est
perpendiculaire à
et donc que le dernier terme est nul,
ce qui donne le théorème.
Mesure de l'angle dans le plan
Soit
un angle dans le plan de sommet
.
Rappelons que l'on définit la mesure d'un angle
de centre
comme
avec
est l'arc de cercle de centre
et de rayon
intercepté par l'angle
.
On peut réinterpréter cette longueur comme l'intégrale curviligne sur
du champ de vecteurs
défini par
avec la notation personnelle que
est le vecteur perpendiculaire obtenu en faisant subir à
une rotation d'angle
.
Théorème
Soit
une courbe et
un point tel que toute demi-droite issue de
coupe la courbe
en au plus un point. Si
est l'angle interceptant la courbe du point
, on a
Démonstration
On utilise ici la
formule de Green
Résumé
courbe bordée par des points dans
|
|
= |
|
|
|
courbe bordée par des points dans
|
|
= |
|
|
) |
courbe sans (points) bord dans
|
|
= |
0
|
|
|
domaine bordé par une courbe dans
|
|
= |
|
|
,
|
domaine bordé par une courbe dans
|
|
= |
|
|
|
surface bordée par une courbe dans
|
|
= |
|
|
|
surface sans bord dans
|
|
= |
0
|
|
|
volume bordé par une surface dans
|
|
= |
|
|
|
volume bordé par une surface dans
|
|
= |
|
|
|
Pour un volume sans bord, allez faire un tour dans
! et je n'ai pas pu représenter la boule
à l'intérieur de la sphère...
élément d'aire dans
|
|
|
| |
élément de volume dans
|
|
|
|
(
l'angle de
avec
) |
élément curviligne dans
|
|
| | |
élément de longueur sur une courbe
|
|
|
| |
élément d'aire dans
|
| | | |
élément de surface dans
|
| | | |