You are on page 1of 59

1

Int
egrales curvilignes

But : Soit C une courbe dans RN . On veut definir et calculer lintegrale


dune fonction f sur C. Il y a deux cas importants,
(i) une fonction f : C RN R
(ii) un champ vectoriel f : C RN RN .
Motivation: (i) Un fil metallique a la forme de C. Sa densite de masse par
unite de longueur est donnee par la fonction f : C RN R. Calculer la
masse totale du fil.
(iii) Le champ vectoriel f : RN RN est tel que f (x) est la force agissant
sur une particule qui se trouve au point x. Calculer le travail fait en deplacant
la particule de A `a B sur la courbe C

1.1

Courbes dans RN

La notion intuitive de courbe doit etre precisee et on doit avoir une terminologie qui permet de distinguer toute sorte de cas differents. On commence
par introduire une notion de base appelee arc regulier, ensuite dautres cas
seront abordes.
D
efinition 1.1 Un sous-ensemble C de RN est appele arc r
egulier lorsquil
existe une fonction : J C ayant les proprietes suivantes.
(i) J est un intervalle ouvert
(ii) : J C est un homeomorphisme
(iii) C 1 (J, RN ) et 0 (t) 6= 0 pour tout t J.
Une telle fonction est appelee repr
esentation param
etrique r
eguli`
ere
de C.
Interpr
etation On peut considerer que (t) est la position dune particule
`a linstant t J. Alors C est le chemin parcouru (ou la trajectoire) de la
particule. Comme est injective, la particule ne passe jamais deux fois par
le meme point pendant lintervalle J. Sa vitesse 0 est continue et ne sannule
jamais. Pour t, s J avec t 6= s, la droite unique passant par (t) et (s)
est
(t)+ev{(s)(t)} = {(t)+[(s)(t)] : R} = (s)+ev{(t)(s)}.
1

La direction de cette droite est determinee par les vecteurs unitaires {(s)
(t)}/ k(s) (t)k. Notant que
0 (t)
(s) (t)
= 0
st k(s) (t)k
k (t)k
lim

(t)
car 0 (t) 6= 0, la droite passant par le point (t) dans la direction de k0 (t)k
est
(t) + ev{0 (t)} = {(t) + 0 (t) : R}

et elle est appelee droite tangente `


a C au point (t).
D
efinition 1.2 Soient C un arc regulier dans RN et f : C R une fonction
continue sur C. Lint
egrale curviligne de f sur C est
Z
Z
f ds = f ((t)) k0 (t)k dt
C

o`
u : J C est une representation parametrique reguli`ere de C.
Remarques (1) Posant g(t) = f ((t)) k0 (t)k , on voit que la fonction g :
J R est continue sur lintervalle ouvert J. Ainsi, g est integrable sur tout
intervalle compact [a, b] J. Or, J nest pas forcement borne et la fonction
g nest pas forcement bornee sur J. Donc,
Z
Z
g(t)dt) = f ((t)) k0 (t)k dt
J

R
peut etre une integrale generalisee. Lintegrale curviligne C f ds existe
lorsque cette integrale generalisee converge.
(2) Cette definition ne depend pas du choix de representation parametrique
de C.
(3) Posant f 1 sur C, on retrouve la longueur de C,
Z
|C| = k0 (t)k dt.
J

Justification de la d
efinition: Fixons a, b J avec a < b. Commencons
par calculer la longueur de la partie D de larc C qui se trouve entre les

points p = (a) et q = (b). Soit P = {ti : i = 0, 1, ..., n} une partition de


lintervalle [a, b] avec
d(P ) = max{ti+1 ti : i = 0, ..., n 1}.
Posons Di = ([ti , ti+1 ]) pour i = 0, 1, ...n 1. Alors,
D=

n1
i=0 Di

et |D| =

n1
X

|Di | .

i=0

Remplacons Di par le segement de droite Ai = [(ti ), (ti+1 )] entre ses


n1
extr
emites (ti ) et (ti+1 ) et posons AP = i=0
Ai . La longueur de AP est
Pn1
i=0 |Ai | et |Ai | = k(ti+1 ) (ti )k. Or,
Z ti+1
Z ti+1
Z ti+1
0
0
{0 (t) 0 (ti )}dt
(ti )dt +
(t)dt =
(ti+1 ) (ti ) =
ti
ti
ti
Z ti+1
{0 (t) 0 (ti )}dt
= 0 (ti )(ti+1 ti ) +
ti

et donc

Z ti+1


0
0
= k(ti+1 ) (ti ) 0 (ti )(ti+1 ti )k

{
(t)

(t
)}dt
i


ti

|k(ti+1 ) (ti )k k0 (ti )(ti+1 ti )k|


= ||Ai | k0 (ti )k (ti+1 ti )| .
Do`
u


n1
n1


X
X


k0 (ti )k (ti+1 ti )
||Ai | k0 (ti )k (ti+1 ti )|
|AP |


i=0
i=0


n1
X Z ti+1

0
0

{ (t) (ti )}dt



ti
i=0
Z
n1
ti+1
X
i=0

k0 (t) 0 (ti )k dt.

ti

La continuite de 0 sur [a, b] est uniforme et donc, pour tout > 0, il existe
> 0 tel que
k0 (t) 0 (s)k < lorsque t, s [a, b] et |t s| < .
3

Si d(P ) < , ceci implique que




n1
n1 Z ti+1
n1 Z ti+1


X
X
X


0
0
0
k (ti )k (ti+1 ti )
k (t) (ti )k dt
dt
|AP |


ti
ti
i=0

i=0

i=0

= (b a),
montrant que
|AP |

n1
X

k0 (ti )k (ti+1 ti ) 0 lorsque d(P ) 0.

i=0

Pn1

Mais lexpression i=0 k0 (ti )k (ti+1 ti ) est une somme de Riemann pour
Rb 0
k (t)k dt et donc
a
n1
X

k (ti )k (ti+1 ti )

k0 (t)k dt lorsque d(P ) 0.

i=0

Ainsi,
Z
|AP |

k0 (t)k dt lorsque d(P ) 0

Rb
ce qui nous permet de considerer que a k0 (t)k dt est la longueur de la partie
D de C. En laissant a inf J et b sup J, on obtient la longueur de C.
Considerons maintenant lintegrale de f sur D. Ceci devrait etre la limite
lorsque d(P ) 0 de
n1
X
f (pi ) |Di | o`
u pi Di .
i=0

Or,
Z

ti+1

f (pi ) |Di | = f ((i ))


k0 (t)k dt o`
u i [ti , ti+1 ]
ti
Z ti+1
Z ti+1
0
=
f ((t)) k (t)k dt +
{f ((i )) f ((t))} k0 (t)k dt
ti

et
Z


ti+1

ti

ti



{f ((i )) f ((t))} k (t)k dt
0

=
4

ti+1

max |f (p) f (q)|

p,qDi

ti

max |f (p) f (q)| |Di | .

p,qDi

k0 (t)k dt

Ainsi,


Z b
n1

X


0
f ((t)) k (t)k dt
f (pi ) |Di |



a
i=0

n1
n1 Z ti+1

X
X


0
f (pi ) |Di |
f ((t)) k (t)k dt
=


i=0 ti
i=0 Z

n1
X

ti+1


=
{f ((i )) f ((t))} k0 (t)k dt


ti

i=0
n1
X
i=0

max |f (p) f (q)| |Di |

p,qDi

max max |f (p) f (q)|

0in1 p,qDi

n1
X

|Di |

i=0

max max |f (p) f (q)| |D| .

0in1 p,qDi

Par la continuite uniforme de f sur D,


max max |f (p) f (q)| 0 lorsque d(P ) 0,

0in1 p,qDi

et donc

n1
X

f ((t)) k0 (t)k dt

f (pi ) |Di |
a

i=0

Rb

justifiant linterpretation de a f ((t)) k0 (t)k dt en tant que lintegrale de f


sur la partie D de J. Si
Z b
Z b
0
f ((t)) k0 (t)k dt
lim
f ((t)) k (t)k dt et lim
ainf J

bsup J

existent et sont finies alors f est integrable sur tout larc C.

1.2

Changement de repr
esentation param
etrique

Soient : J C et : K C deux representations parametriques


reguli`eres dun arc regulier. Alors la fonction composee 1 : K J est
un homeomorphisme. Cest donc une fonction monotone qui correspond au
changement de param`etre utilise pour decrire larc C. Plus precisement, on
a le resultat suivant.
5

Th
eor`
eme 1.3 Soient C un arc regulier dans RN et : J C une
representation parametrique reguli`ere de C. Alors (i) une fonction : K C
est une representation parametrique reguli`ere de C (ii) K est un intervalle ouvert et il existe un homeomorphisme : K J tel que C 1 (K)
avec 0 (s) 6= 0 pour tout s K et (s) = ((s)) pour tout s K.
Remarque Dans ce cas, 0 (s) = 0 ((s))0 (s) pour tout s K et, de plus,
0 a le meme signe sur tout lintervalle K.
Preuve = Posant = 1 , on a que : K J est un homeomorphisme.
Le point essentiel est de montrer que est derivable. Fixons s0 K et posons
t0 = (s0 ). On va monter que est derivable sur un intervalle ouvert qui
contient s0 . Puisque 0 (t0 ) 6= 0, il existe un entier i {1, 2, ..., N } tel que
i0 (t0 ) 6= 0. Considerons la fonction F : K J R definie par
F (s, t) = i (s) i (t).
Elle a les proprietes suivantes:
F C 1 (K J),

F (s0 , t0 ) = 0,

t F (s0 , t0 ) 6= 0.

Par le theor`eme des fonctions implicites, il existe


> 0 et C 1 ((s0 , s0 + ))
tels que
(s0 ) = t0 et F (s, (s)) = 0 pour tout s (s0 , s0 + ).
De plus, pr`es de (s0 , t0 ), toute les solutions de lequation F (s, t) = 0 sont de
cette forme. Donc, pour s pr`es de s0 , (s) = (s), montrant que est de
classe C 1 sur un intervalle ouvert qui contient s0 . Do`
u C 1 (K).
Par la formule pour la derivee dune fonction composee,
0 (s) = 0 ((s))0 (s) pour tout s K.
Or, 0 (s) 6= 0 et donc 0 (s) 6= 0 pour tout s K.
= Il suffit de verifier directement que la fonction definie par (s) =
((s)) a toutes les proprietes dune representation parametrique de C.

Corollaire 1.4 Soient : J C et : K C deux representations


parametriques reguli`eres dun arc regulier C. Alors, pour toute fonction continue f : C R,
Z
Z
0
f ((t)) k (t)k dt =
f ((s)) k 0 (s)k ds,
J

dans le sens que lexistence de lune de ces integrales implique lexistence de


lautre et quelles ont la meme valeur.
Preuve On utilise le changement de variable t = (s) o`
u = 1 . Alors
si [a, b] K,
Z b
Z (b)
1
0
f ((s)) k (s)k ds =
f ((t)) k0 (t)0 (s)k 0 dt
(s)
a
(a)
car (s) = (t) et 0 (s) = 0 ((s))0 (s) = 0 (t)0 (s). Or,

1
|0 (s)|
k0 (t)k si 0 (s) > 0
0
0
0
k (t) (s)k 0
= k (t)k 0
=
k0 (t)k si 0 (s) < 0
(s)
(s)
et 0 a le meme signe sur tout lintervalle K. Notant que
([a, b]) = [(a), (b)] si 0 > 0 sur K et ([a, b]) = [(b), (a)] si 0 < 0 sur K,
on voit que
Z (b)
(a)

1
f ((t)) k (t) (s)k 0 dt =
(s)
0

f ((t)) k0 (t)k dt

([a,b])

dans les deux cas. Ensuite on laisse a inf K et b sup K.


Remarque On peut toujours decrire un arc regulier utilisant un param`etre
qui mesure la distance le long de cet arc. En effet, si : J C est une
representation parametrique quelconque dun arc regulier C, on introduit une
nouvelle parametrisation de cet arc de la facon suivante. On choisit a J et
puis on definit une fonction sur J en posant
Z t
(t) =
k0 ( )k d.
a

Alors, C 1 (J) et 0 (t) = k0 (t)k > 0 pour tout t J. Posons K = Im


et = 1 . On peut verifier que la fonction : K RN definie par
7

(s) = ((s)), est une representation parametrique reguli`ere de C. Posant


t = (s), on a (t) = ((t)) = (s) et donc
k0 (t)k = k 0 ((t)) 0 (t)k = k 0 (s)k k0 (t)k car 0 (t) = k0 (t)k ,
montrant que
k 0 (s)k = 1 pour tout s K.
Ce param`etre s est appele abscisse curviligne sur C car |s| = |(t)| est
la longueur de la partie de C entre les points (a) et (t). Notons que si
lon utilise une telle representation parametrique, la formule pour lintegrale
dune fonction f : C R devient
Z
Z
f ds =
f ((s)) ds.
C

et la notation ds rappelle cette situation.

1.3

Arcs orient
es

Il est clair intuitivement que lon peut parcourir une courbe dans deux directions. Pour des arcs reguliers on peut preciser cette idee en introduisant
la notion dorientation.
D
efinition 1.5 Soit C un arc regulier dans RN . Un champ continu de
tangentes unitaires sur C est une fonction T : C RN RN telle que
(i) T : C RN RN est continue
(ii)kT (P )k = 1 pour tout P C
(iii) P + ev{T (P )} est la tangente `
a C en P, pour tout P C.
Tout arc regulier admet un champ continu de tangentes unitaires. 0 Si
(t)
: J C est une representation parametrique reguli`ere de C, alors k0 (t)k
est une tangente unitaire au point (t) C. La fonction T : C RN definie
par
0 (1 (P ))
T (P ) =
k0 (1 (P ))k

0 (t)
pour P C T ((t)) =
k0 (t)k

est le champ continu de tangentes unitaires sur C engendre par .


8

pour t J

Soient : J C et : K C deux representations parametriques


reguli`eres dun arc regulier C. Les champs continus de tangentes unitaires
engendres par ces representations sont
0 (s)
0 (t)
et T ((s)) = 0
T ((t)) =
k0 (t)k
k (s)k
et (t) = (s) o`
u t = (s) avec = 1 . Alors,
T ((s)) =

0 (s)
0 (t)0 (s)
=
T
((t))
.

k0 (t)0 (s)k
|0 (s)|

Ainsi,
T si 0 > 0 sur K
.
T si 0 < 0 sur K


T =

Donc il y a exactement deux champs continus de tangentes unitaires sur


un arc regulier C.
D
efinition 1.6 Un arc regulier C avec un choix de champ continu de tangentes unitaires T sur C est appele arc r
egulier orient
e, note (C, T ) ou

bien C . Une representation parametrique de (C, T ) est une representation


parametrique reguli`ere : J C de C telle que T = T.
Remarque Etant donne un arc regulier C, il admet deux orientations, (C, T )
et (C, T ).
D
efinition 1.7 Soient (C, T ) un arc regulier oriente dans RN et f : C
N
R un champ vectoriel continu sur C. Lint
egrale curviligne de f le long
de C est
Z
Z
f ds =
hf, T i ds.
(C,T )

Remarques (1) Si : J C est une representation parametrique de (C, T ),


T ((t)) = T ((t)) =

0 (t)
k0 (t)k

et donc
Z
Z
Z
Z
0
f ds =
hf, T i ds = hf ((t)), T ((t))i k (t)k dt = hf ((t)), 0 (t)i dt.
(C,T )

Ainsi, en ecrivant
Z

Z
f ds =

(C,T )

f1 dx1 + ... + fN dxN


(C,T )

il est entendu que lon remplace dxi par i0 (t)dt lors des calculs.
(2) Une fois quune orientation de larc C a ete precisee, lintegrale curviligne
le long de C est aussi notee
Z
f ds.

(3) Si Tb = T sur C,
Z
(C,Tb)

Z
f ds =

f ds
(C,T )

pour tout champ vectoriel continu sur C.

1.4

Chemins orient
es et chemins ferm
es

On traite des courbes qui ne sont pas des arc reguliers.


Soient P, Q RN avec P 6= Q. Un sous-ensemble D RN est appele chemin
r
egulier entre P et Q sil existe un intervalle compact [a, b] et une fonction
C 1 ([a, b], RN ) tels que D = Im et
(i) |(a,b) est une representation parametrique reguli`ere dun arc C =
D\{P, Q}
(ii) (a) = P et (b) = Q
(iii) 0 (a) 6= 0 et 0 (b) 6= 0.
On dit alors que est une representation parametrique de D. Il y a deux
champs continus de tangentes unitaires sur D,
0 (1 (x))
pour x D et T .
T (x) =
k0 (1 (x))k
Notons que T = T o`
u : [a, b] RN est definie par
(s) = (a + b s) pour s [a, b].
Un chemin r
egulier de P vers Q est (D, T ) o`
u D est un chemin regulier
entre P et Q oriente dans le sens du champ continu de tangentes unitaires
10

T = T , dans la notation precedente. Donc (D, T ) est un chemin regulier


de Q vers P.
Une integrale curviligne sur un chemin regulier D entre P et Q est definie
comme etant lintegrale sur larc regulier D\{P, Q}.
De mani`ere plus generale, un sous-ensemble D de RN est un chemin
u
entre P et Q o`
u P 6= Q lorsquil peut etre exprime comme D = ki=1 Di o`
(i) Di est un chemin regulier entre Pi et Pi+1 pour i = 1, 2, ...k
(ii) P1 = P et Pk+1 = Q
(iii) Di Di+1 = {Pi+1 } pour i = 1, 2, ...k 1
(iv) Di Dj = si |i j| 2.
Un tel chemin va de P vers Q si les parties Di sont orientees de sorte que
(Di , Ti ) va de Pi vers Pi+1 .
Lintegrale curviligne sur un chemin est definie comme etant la somme des
integrales sur les parties Di . Elle ne depend pas de la decomposition utilisee.
Un sous-ensemble D de RN est appele chemin ferm
e lorsquil peut etre
exprime comme D = D1 D2 o`
u
(i) D1 et D2 sont deux chemins entre P et Q avec P 6= Q
(ii) D1 D2 = {P, Q}.
Si les parties Di sont orientees de sorte que (D1 , T1 ) va de P vers Q et
(D2 , T2 ) va de Q vers P, on dit que D est un chemin ferm
e orient
e. Un
chemin ferme admet exactement deux orientations. Un chemin ferme oriente

D determine un vecteur tangent unitaire unique sur D sauf pour un nombre


fini de points.
Lintegrale curviligne sur un chemin ferme est la somme des integrales
sur les parties D1 et D2 . Elle ne depend pas de la decomposition utilisee.

1.5

Chemins ferm
es dans le plan

Soit D un chemin ferme dans R2 . Il y a quelques terminologies et conventions


particuli`eres `a ce cas. Un resultat fondamental (le Theor`eme de Jordan)
montre que son complement R2 \D est la reunion de deux parties connexes
disjointes dont lune est bornee, appelee lint
erieur de D et lautre est
non bornee, appelee lext
erieur de D. Ceci permet de distinguer les deux
directions normales `a D en chaque point de D o`
u il y a une droite tangente.
En fait, si P D et P + ev{(p, q)} est la droite tangente `a D en P, il existe
0 > 0 tel que
P (q, p)
/ D pour tout (0, 0 ).

11

On peut choisir (p, q) de sorte que


P + (q, p) extD et P (q, p) intD pour tout (0, 0 ).
En ce cas
N (P ) =

(q, p)
est la normale unitaire ext
erieure `a D en P.
k(q, p)k

Ainsi, N (P ) est determine de mani`ere unique par les proprietes suivantes


kN (P )k = 1, hN (P ), T (P )i = 0, P +N (P ) extD pour tout > 0 et petit,
o`
u T (P ) est telle que P + ev{T (P )} est la droite tangente `a D en P. Si
kT (P )k = 1 alors {N (P ), T (P )} est une base orthonormee de R2 .
Les deux orientations de D peuvent etre distinguees de la mani`ere suivante. Soient (D, T ) une orientation de D et (Ci , Ti ) un arc regulier oriente
tel que Ci D et Ti (P ) = T (P ) = (p, q) pour P Ci . Cette orientation
est dite positive/negative lorsque le rep`ere orthonorme (N (P ), T (P )) est
direct/indirect respectivement. Cest `a dire, lorsque
det [N (P ), T (P )] = 1,

det [N (P ), T (P )] = 1 respectivement.

(Rappel: un rep`ere orthonormee de R2 est direct lorsque quil est obtenu par
une rotation du rep`ere canonique ((1, 0), (0, 1)).)
Lorsque lon represente graphiquement R2 de la facon usuelle, cette convention correspond aux notions intuitives suivantes:
(a) lorientation positive de D est dans le sens oppose au mouvement des
aiguilles dune montre,
(b) en se promenant sur D dans le sens de lorientation positive avec la
tete vers le haut, linterieur de D se trouve `a sa gauche.
Une fonction N : D R2 est appelee champ de normales unitaires
ext
erieures sur D si N (P ) est une normale unitaire exterieure `a D en P ,
sauf pour un nombre fini de points P de D.
Soit f : D R2 un champ vectoriel continu sur D. Le flux de f `
a
travers D vers lext
erieur est lintegrale curviligne
Z
hf, N i ds
D

o`
u N : D R2 est un champ de normales unitaires exterieures sur D.
12

Autres int
egrales curvilignes

Soient C une courbe dans RN et f : C RN RN une fonction continue sur


C. On a introduit une notion dintegrale de f le long de C pour certains types
de courbes orientees qui correspond `a integrer la composante tangentielle de
f sur C dans une direction donnee. Cette quantite intervient dans les calculs
de quantites scalaires telles que le travail en mecanique et la circulation en
mecanique de fluides. Dans le plan, la notion de flux am`ene `a lintegrale de
la composante normale de f sur C. Or, dans dautres circonstances, on doit
integrer le champ entier f sur C et le resultat est un vecteur.
Exemple Le champ electrique au point (x, y, z) est donne par la fonction
E(x, y, z) = (3x2 1, 3xy 1, z).
Un fil metallique a la forme du cercle de centre (0, 0, 0) et de rayon 2 dans
le plan z = 0, et il porte une charge electrique de densite > 0 ( constante)
par unite de longueur. Calculer la force totale F sur le fil.
Z
Z
F =
Eds =
(E1 , E2 , E3 )ds
C
C

Z
Z
Z
E1 ds, E2 ds, E3 ds .
=
C

Une representation parametrique du chemin ferme C est


() = 2(cos , sin , 0) pour 0 2
et donc, pour i = 1, 2, 3,
Z
Z
Ei ds =
C

Ei (()) k0 ()k d.

Or, k0 ()k 2 et
Z 2
Z
2
F = 2
[12 cos 1]d,
0

= 4 (5, 1, 0) .

13

Z
[12 cos sin 1]d,


0d

Int
egrales de surface

But : Soit S une surface dans R3 . On veut definir et calculer lintegrale dune
fonction f sur S. On traitera deux cas.
(i) Une fonction f : S R3 R.
(ii) Un champ vectoriel f : S R3 R3 .
Motivation : (i) Une coque metallique a la forme de S. Sa densite de masse
par unite daire est donnee par f : S R3 R. Calculer la masse totale de
la coque.
(ii) Un fluide remplit une region ouverte dans R3 et sa vitesse au point
x est v(x)(ecoulement stationnaire). Soit S une surface dans . Calculer
le volume de fluide qui traverse S par unite de temps.

3.1

Surface dans R3

On commence par introduire un element de surface appele nappe reguli`ere.


Ensuite on traitera dautres cas.
D
efinition 3.1 Un sous-ensemble S de R3 est appele nappe r
eguli`
ere
lorsquil existe une fonction : S ayant les proprietes suivantes.
(i) est ouvert et connexe dans R2
(ii) : S est un homeomorphisme
(iii) C 1 (, R3 ) et 1 (s, t), 2 (s, t) sont lineairement independants
pour tout (s, t) .
Une telle fonction est appelee repr
esentation param
etrique r
eguli`
ere
de S.
Rappel : 1 (s, t), 2 (s, t) sont lineairement independants
1 (s, t) 2 (s, t) 6= 0 o`
u est le produit vectoriel dans R3 .
Dautre part, pour P = (s, t) S, la reunion de toutes les tangentes des
arcs reguliers sur S passant par P est
(s, t) + ev{1 (s, t), 2 (s, t)},
appele plan tangent `a S au point P. Notant que
ev{1 (s, t), 2 (s, t)} = [1 (s, t) 2 (s, t)]
14

on voit que 1 (s, t) 2 (s, t) est un vecteur normal `a ce plan tangent et


(s, t) + ev{1 (s, t) 2 (s, t)}
est la droite normale `a S au point P.
D
efinition 3.2 Soit S une nappe reguli`ere dans R3 . Un champ continu
de normales unitaires sur S est une fonction N : S R3 telle que
(i) N : S R3 est continu
(ii) kN (P )k = 1 pour tout P S
(iii) P + N (P ) est le plan tangent `
a S en P, pour tout P S.
Noter que P + ev{N (P )} est la droite normale `a S en P.
Si : S est une representation parametrique reguli`ere de S, alors
N (P ) =

1 (s, t) 2 (s, t)
o`
u P = (s, t)
k1 (s, t) 2 (s, t)k

est le champ continu de normales unitaires sur S engendre par .


D
efinition 3.3 Soient S une nappe reguli`ere dans R3 et f : S R une
fonction continue sur S. Lint
egrale de surface de f sur S est
Z
Z
f ((s, t)) k1 (s, t) 2 (s, t)k dsdt
f d =

o`
u : S est une representation parametrique reguli`ere de S.
Remarques (1) On suppose que lintegrale `a droite existe, ce qui nest
pas toujours le cas car lensemble peut etre non borne et la fonction f
peut etre non bornee sur , meme lorsque est borne. Si est borne et
son bord est la reunion dun nombre fini de chemins fermes dans R2 , et
si C 1 () et f C(S), alors
Z
f ((s, t)) k1 (s, t) 2 (s, t)k dsdt

existe.
(2) Cette definition ne depend pas du choix de representation parametrique
de S.
15

(3) Posant f 1, on retrouve laire de S,


Z
|S| =
k1 (s, t) 2 (s, t)k dsdt.

Exemple 1 (un tronc de cone) Soient 0 < a < b < ,

= {(s, t) R2 : a < r = s2 + t2 < b} et

g(s, t) =
s2 + t2 a.
Le graphe de la fonction g : R est lensemble
G(g) = {(x, y, g(x, y)) : (x, y) } R3
qui a la forme dun tronc de cone. En fait, S = G(g) est une nappe reguli`ere
et une representation parametrique reguli`ere de S est donnee par la fonction
: R3 definie par (s, t) = (s, t, g(s, t)).
Notons que
1 (x, y, z) = (x, y) pour tout (x, y, z) S,
t
s
t (s, t) = (0, 1, )
s (s, t) = (1, 0, ),
r
r

s t
s (s, t) t (s, t) = ( , , 1),
ks (s, t) t (s, t)k = 2
Z
Z r r
ks (s, t) t (s, t)k dsdt
Z 2 Z b

=
rdrd = 2(b2 a2 )
2

d =
S

Donc laire de S est 2(b2 a2 ) comme lon peut verifier par la geometrie
elementaire.
Exemple 2 (un tronc de cylindre) Soient 0 < a < b < ,

= {(s, t) R2 : a < r = s2 + t2 < b} et


as at
(s, t) = ( , , r a).
r r
En posant S = (), on constate que
S = {(x, y, z) R3 : x2 + y 2 = a et 0 < z < b a}
16

et donc que S est une partie de longueur b a dun cylindre de rayon a. En


fait, S est une nappe reguli`ere et en est une representation parametrique
avec
(z + a) (z + a)
x,
y) pour tout (x, y, z) S,
a
a
a as2 ast s
ast a at2 t
( 3 , 3 , ),
t (s, t) = ( 3 , 3 , )
r
r
r r
r r
r r
a
a
2 (s, t, 0),
ks (s, t) t (s, t)k =
r
r
Z
ks (s, t) t (s, t)k dsdt

Z 2 Z b
a
rdrd = 2a(b a)
0
a r

1 (x, y, z) = (
s (s, t) =
s (s, t) t (s, t) =
Z
d =
S

et on a retrouve la formule usuelle pour laire dun tronc de cylindre de rayon


a et dhauteur b a.

3.2

Changement de repr
esentation param
etrique

Le fait que la definition dintegrale de surface est independante du choix de


representation parametrique de S decoule du resultat suivant.
Th
eor`
eme 3.4 Soient S une nappe reguli`ere dans R3 et : S une
representation parametrique reguli`ere de S. Alors (i) une fonction : S
est une representation parametrique reguli`ere de S (ii) est un sousensemble ouvert et connexe de R2 et il existe un homeomorphisme :
tel que C 1 () avec det (u, v) 6= 0 pour tout (u, v) et (u, v) =
((u, v)) pour tout (u, v) .
Remarque Dans ce cas, la matrice jacobienne de est inversible:




1 (u, v)
1 1 (u, v) 2 1 (u, v)
(u, v) =
et (u, v) =
2 (u, v)
1 2 (u, v) 2 2 (u, v)
De plus, 1 C 1 () et
1 (s, t) = (u, v)1 o`
u (s, t) = (u, v)

17

Notant que (s, t) = (u, v) (s, t) = (u, v) et que det A1 = 1/ det A,


on voit que
det 1 (s, t) = 1/ det (u, v) lorsque (s, t) = (u, v).
Comme det : R\{0} est une fonction continue et est connexe, il
ny a que deux cas,
ou bien, det (u, v) > 0 pour tout (u, v)
ou bien, det (u, v) < 0 pour tout (u, v) .
Ensuite, (u, v) = (1 (u, v), 2 (u, v)) et donc
1 (u, v) = 1 ((u, v))1 1 (u, v) + 2 ((u, v))1 2 (u, v)
2 (u, v) = 1 ((u, v))2 1 (u, v) + 2 ((u, v))2 2 (u, v)
On trouve facilement que
1 (u, v) 2 (u, v) = det (u, v)[1 ((u, v)) 2 ((u, v))],
montrant que 1 (u, v) 2 (u, v) est parall`ele `a 1 (s, t) 2 (s, t) lorsque
(u, v) = (s, t).
Corollaire 3.5 Soient : S et : S deux representations
parametriques reguli`eres dune nappe reguli`ere S. Alors pour toute fonction
continue f : S R,
Z
Z
f ((u, v)) k1 (u, v) 2 (u, v)k dudv,
f ((s, t)) k1 (s, t) 2 (s, t)k dsdt =

dans le sens que lexistence de lune de ces integrales implique lexistence de


lautre et quelles ont la meme valeur.
Preuve Supposons que est borne et son bord est un chemin ferme dans
R2 , que C 1 () et que f C(S). On utilise la formule de changement
de variables pour les integrales doubles. Posant (s, t) = (u, v), on obtient
(u, v) = ((u, v)) = (s, t) pour tout (u, v)
Z
f ((u, v)) k1 (u, v) 2 (u, v)k dudv

Z
1
=
f ((s, t)) kdet (u, v)[1 (s, t) 2 (s, t)k
dsdt
|det (u, v)|
()
Z
=
f ((s, t)) k1 (s, t) 2 (s, t)k dsdt.

18

3.3

Nappes orient
ees

Soient : S et : S deux representations parametriques reguli`eres


dune nappe reguli`ere S. Les champs continus de normales unitaires engendres
par ces representations sont
N ((s, t)) =

1 (u, v) 2 (u, v)
1 (s, t) 2 (s, t)
et N ((u, v)) =
.
k1 (s, t) 2 (s, t)k
k1 (u, v) 2 (u, v)k

Comme
1 (u, v) 2 (u, v) = det (u, v)[1 ((u, v)) 2 ((u, v))
lorsque (u, v) = ((u, v)) = (s, t), on voit que
N ((u, v)) =

det (u, v)
N ((s, t)).
|det (u, v)|

Ainsi,

N =

N si det > 0 sur


.
N si det < 0 sur

Donc il y a exactement deux champs continus de normales unitaires sur une


nappe reguli`ere.
D
efinition 3.6 Une nappe reguli`ere S avec un choix de champ continu de
normales unitaires N sur S est appele nappe orient
ee, notee (S, N ). Une
representation parametrique de (S, N ) est une representation parametrique
reguli`ere de S telle que N = N.
Remarque Etant donne une nappe reguli`ere S, elle admet deux orientations.
Si (S, N ) est lune de ces orientations, lautre est (S, N ).
D
efinition 3.7 Soient (S, N ) une nappe orientee et f : S R3 un champ
vectoriel continu sur S. Le flux de f `
a travers S dans le sens de N est
Z
Z
f d =
hf, N i d.
(S,N )

19

Remarques (1) Si : S est une representation parametrique de (S, N ),


N ((s, t)) = N ((s, t)) =
et donc
Z

1 (s, t) 2 (s, t)
k1 (s, t) 2 (s, t)k

Z
f d =

(S,N )

hf ((s, t)), N ((s, t))i k1 (s, t) 2 (s, t)k dsdt

Z
hf ((s, t)), 1 (s, t) 2 (s, t)i dsdt.

(2) Utilisant la notation


(i , j )
(i , j )
dsdt o`
u
= det
dxi dxj =
(s, t)
(s, t)

i
s
j
s

i
t
j
t


,

le flux de f a` travers S secrit


Z
Z
f1 dx2 dx3 + f2 dx3 dx1 + f3 dx1 dx2 .
f d =
(S,N )

(S,N )

Noter bien lordre des termes car


dxi dxj = dxj dxi .

3.4

Nappes avec un bord

D
efinition 3.8 Un sous-ensemble A de R3 est appele nappe avec un bord
lorsquil existe un ouvert borne et connexe de R2 tel que son bord est
un chemin ferme et une fonction C 1 (, R3 ) telle que
(i) | est une representation parametrique reguli`ere dune nappe S
(ii) : A est un homeomorphisme
(iii) 1 (s, t) 2 (s, t) 6= 0 pour tout (s, t) .
Lensemble A\S = () est appele bord (g
eom
etrique) de A, et note
A
Remarques (1) On peut verifier que A\S est un chemin ferme dans R3 . Il ne
faut pas le confondre avec le bord (topologique) en tant que sous-ensemble de
R3 . Ce dernier est forme par les points de R3 qui ne sont ni dans linterieur
20

de A, ni dans linterieur de son complement et donc le bord topologique de


A est egal `a A lorsque A est une nappe avec un bord. Si : [a, b] R2
est une representation parametrique de , alors : [a, b] R3 est une
representation parametrique de A\S.
(2) Le champ continu N de normales unitaires sur S engendre par
setend `a A de mani`ere continue. Ainsi, on peut determiner une orientation
de A, notee (A, N ), en choisissant une orientation (S, N ) de la nappe S.
(3) Sur une nappe orientee avec bord, il y a une notion dorientation
positive de son bord que lon peut preciser ainsi. Soient (A, N ) une nappe
orientee avec bord et soit : A une representation parametrique de
(A, N ) telle que N = N . Le bord de est un chemin ferme dans R2 . Soit
: [a, b] R2 est une representation parametrique de avec lorientation
positive. Alors : [a, b] R3 est une representation parametrique du
bord de A et lorientation du bord engendree par cette parametrisation est
appelee positive pour lorientation N de A. Intuitivement, cette orientation
du bord est determinee de la mani`ere suivante. Lorsquon se deplace sur le
bord de A dans le sens positif avec sa tete dans la direction de N, la nappe
A se trouve `a sa gauche.
Annexe 1 Lors de letude des representations parametriques, on est appele `a verifier quune fonction est un homeomorphisme. Si lon ne dispose
pas dune formule explicite pour la fonction inverse le resultat suivant peut
permettre detablir la continuite de cette fonction inverse.
Lemme 3.9 Soit un sous-ensemble ouvert et borne de RM . Considerons
une fonction g : RN telle que
(i) g C(, RN ),
(ii) g | est injectif,
(iii) g() g() = .
Alors = g | : S est un homeomorphisme o`
u S = () = g().
Remarque Dans cet enoncee, signifie ladherence de et = \ son
bord topologique.
Preuve Par les hypoth`eses, est continue sur et une fonction inverse 1 :
S existe. Il suffit de demontrer que 1 est continu sur S. Considerons
un point P S et une suite {Pn } S telle que Pn P. On doit montrer que
1 (Pn ) 1 (P ). Si ceci nest pas le cas, il existe > 0 et une sous-suite
21

{Pnk } telle que k1 (Pnk ) 1 (P )k pour tout k. Or, {1 (Pnk )}


et donc il y a une sous-suite {1 (Pnkj )} telle que 1 (Pnkj ) z car
est compact. Par la continuite de g sur , Pnkj = g(1 (Pnkj )) g(z) et
donc g(z) = P g(). Par lhypoth`ese (iii), ceci implique que z
/ et
1
1
donc z \ = . Ainsi g(z) = (z) = P et z = (P ). Or, (Pnkj )



1
1
1
z = (P ) tandis que (Pnkj ) (P ) pour tout j, ce qui est
impossible. De cette contradiction on doit conclure que 1 (Pn ) 1 (P ),
ce quil fallait demontrer.
Annexe 2 Dans la demonstration du resultat concernant la relation entre
deux representations parametriques reguli`eres de la meme nappe, la difficulte
principale est de montrer que la fonction : definie par = 1
est continument derivable lorsque : S et : S sont deux
representations reguli`eres dune nappe S. Pour ce faire, considerons un point
(u0 , v0 ) et posons (s0 , t0 ) = (u0 , v0 ). Soit n = N ((s0 , t0 )) une normale
unitaire `a la nappe S au point P = (s0 , t0 ) = (u0 , v0 ) et posons X = n .
Donc X est un sous espace de R3 de dimension 2. Considerons la fonction
F : X definie par
F (s, t, u, v) = (s, t) (u, v) h(s, t) (u, v), ni n.
Alors F C 1 ( ) et F (s0 , t0 , u0 , v0 ) = 0. De plus

s 1 (s0 , t0 ) t 1 (s0 , t0 )
D(s,t) F (s0 , t0 , u0 , v0 ) = s 2 (s0 , t0 ) t 2 (s0 , t0 )
s 3 (s0 , t0 ) t 3 (s0 , t0 )
car hs (s0 , t0 ), ni = ht (s0 , t0 ), ni = 0. Ainsi D(s,t) F (s0 , t0 , u0 , v0 ) est une
matrice de rang 2 et il decoule du Theor`eme des Fonctions Implicites quil
existe un ouvert U de R2 et une fonction C 1 (U, R2 ) tels que
(u0 , v0 ) U , (u0 , v0 ) = (s0 , t0 ) et F ((u, v), (u, v)) = 0 pour tout (u, v) U.
De plus, il existe > 0 tel que si F (s, t, u, v) = 0 et k(s, t) (s0 , t0 )k +
k(u, v) (u0 , v0 )k < alors (s, t) = (u, v). Or, F ((u, v), (u, v)) = 0 pour
tout (u, v) et est continu sur car et sont des homeomorphismes.
Donc, il existe > 0 tel que (u, v) = (u, v) lorsque k(u, v) (u0 , v0 )k < .
Ceci montre que C 1 (B, R2 ) o`
u B = {(u, v) R2 : k(u, v) (u0 , v0 )k <
} .
22

Int
egration par parties en R2 et le Th
eor`
eme
de Green

Rappel: Soient a, b R avec a < b et f C 1 ([a, b]). Alors le Theor`eme


Fondamental du calcul integral affirme que
Z b
f 0 (x)dx = f (b) f (a).
a

Cest `a dire, lintegrale de f 0 sur lintervalle (a, b) peut etre calculee `a partir
des valeurs de f sur le bord de lintervalle. Soient u, v C 1 ([a, b]). En posant
f = uv, on deduit la formule usuelle dintegration par parties,
Z b
Z b
0
uv dx = u(b)v(b) u(a)v(a)
u0 vdx.
a

But: On va formuler des resultats de ce genre concernant des fonctions de


plusieurs variables. Dans cette section on va etablir des formules reliant des
integrales doubles et des integrales curvilignes dans le plan. Dans la section
suivante, les formules relieront des integrales de surface et des integrales sur
des chemins fermes dans R3 . Dans une troisi`eme section, on traitera des
formules reliant des integrales triples et des integrales de surfaces.
Afin des formuler ces resultats, on rappelle quelques terminologies concernant les derivees partielles.

4.1

Op
erateurs diff
erentiels

Rappelons quelques definitions.


Soit V un sous ensemble ouvert de RN .
Pour une fonction u C 1 (V, R), le gradient de u est le vecteur
u = (1 u, ..., N u) et u : V RN un champ vectoriel.
Pour un champ vectoriel f C 1 (V, RN ), la matrice jacobienne de f est la
matrice

1 f1 N f1


et f : V RN N .
f =


1 fN N fN
23

Pour un champ vectoriel f C 1 (V, RN ), la divergence de f est


f =

N
X

i fi et f : V R est une fonction.

i=1

Pour N = 3 et un champ vectoriel f C 1 (V, R3 ), le rotationnel de f est


f = (2 f3 3 f2 , 3 f1 1 f3 , 1 f2 2 f1 ) et
f : V R3 est un champ vectoriel.
Pour N = 2 et un champ vectoriel f C 1 (V, R2 ), le rotationnel de f est
f = 1 f2 2 f1 et f : V R est une fonction.
Pour une fonction u C 2 (V, R), son gradient u C 1 (V, RN ) et la matrice
jacobienne de ce champ vectoriel (u) est symetrique, appelee matrice
hessienne H(u) de u,

1 1 u N 1 u

et
H(u) = (u) =

1 N u N N u
H(u)ij = j i u = i j u = H(u)ji pour 1 i, j N.
Pour une fonction u C 2 (V, R), le laplacien de u est
u = (u) =

N
X

i2 u et u : V R est une fonction.

i=1

On utilise aussi des notations alternatives:


u = grad u, f = div f, f = rot f = curl f.
Notons encore que:
(1) Pour f C 1 (V, RN ), f = tracef
(2) Pour P, Q R3 , P Q est le vecteur unique dans R3 tel que
hP Q, Ai = det(P, Q, A) = P (Q A) pour tout A R3 .
(3) Pour N = 3 et f C 1 (V, R3 ), f est le vecteur unique dans R3 tel
que
h f, Ai = (f A) pour tout A R3 .
(4) Pour u C 2 (V, R), u = traceH(u).
24

4.2

Int
egration par parties

On commence par le cas dune region limitee par les graphes de deux fonctions.
Lemme 4.1 Soient a, b R avec a < b et , C 1 ([a, b]) telles que <
u
sur (a, b). Considerons une fonction f C 1 () o`
= {(x, y) R2 : a < x < b et (x) < y < (x)}.

(1)

Alors, pour i = 1, 2,
Z

Z
i f (x, y)dxdy =

f Ni ds

o`
u N : R2 est le champ de normales unitaires exterieures sur le chemin
ferme .
Preuve Commencons par le cas i = 2 car cest plus facile que le cas i = 1 `a
cause de la forme de . En fait,
Z

2 f (x, y)dxdy =

Z
{

(x)

{f (x, (x))f (x, (x))}dx.

2 f (x, y)dy}dx =

(x)

Dautre part, = 4i=1 Ci o`


u
C1
C2
C3
C4

= ([a, b]) et (x) = (x, (x)),


est le segment de droite entre (b, (b)) et (b, (b)),
= ([a, b]) et (x) = (x, (x)),
est le segment de droite entre (a, (a)) et (a, (a)).

Sur C2 et C4 , N2 0 et donc
Z
Z
f N2 ds =

Z
f N2 ds +

C1

f N2 ds.
C3

p
Sur C1 , N ((x)) = (20 (x), 10 (x))/ k0 (x)k = (0 (x), 1)/ 1 + 0 (x)2 .
Do`
u,
Z
Z b
Z b
0
f N2 ds =
f ((x))N2 ((x)) k (x)k dx =
f (x, (x))dx.
C1

25

De la meme facon on trouve que


Z
Z b
f (x, (x))dx
f N2 ds =
a

C3

et le lemme est etabli dans le cas i = 2.


Notons que dans cette premi`ere partie de la demonstration on a simplement utilise le fait que f C(), que 2 f existe et 2 f C(). Pour
traiter le cas i = 1, on introduit la fonction auxiliaire g ayant la propriete
que 2 g = 1 f. Cette fonction est definie par
Z y
g(x, y) =
1 f (x, t)dt pour (x, y) .
(x)

Alors g C(), la derivee partielle 2 g existe et


2 g(x, y) = 1 f (x, y).
Donc 2 g C(), et, par ce qui a dej`a ete demontre,
Z
Z
gN2 ds.
2 g(x, y)dxdy =

Or,
Z

Z
2 g(x, y)dxdy =

1 f (x, y)dxdy

et il reste `a voir que


Z

Z
gN2 ds =

f N1 ds.

Or,
Z

Z
{g(x, (x)) g(x, (x))}dx =

gN2 ds =

g(x, (x))dx
a

car g(x, (x)) = 0 pour tout x [a, b].


Dautre part,
d
dx

(x)

(x)

f (x, t)dt =
(x)

1 f (x, t)dt + f (x, (x)) 0 (x) f (x, (x))0 (x)

(x)

26

et donc
Z

(x)

1 f (x, t)dt

g(x, (x)) =
(x)

d
=
dx

(x)

f (x, t)dt f (x, (x)) 0 (x) + f (x, (x))0 (x).

(x)

Ainsi,
Z b
g(x, (x))dx
a
Z (b)
Z (a)
Z b
Z b
0
=
f (b, t)dt
f (a, t)dt
f (x, (x)) (x)dx +
f (x, (x))0 (x)dx
(b)
(a)
a
a
Z
Z
Z
Z
=
f N1 ds +
f N1 ds +
f N1 ds +
f N1 ds
C2
C4
C3
C1
Z
=
f N1 ds.

La meme formule peut etre demontree pour des regions dans le plan qui
ne sont pas forcement limitees par les graphes de deux fonctions de classe C 1 .
Evidemment, on peut permuter les axes, o`
u faire une rotation des axes avant
dutiliser le lemme. Une demarche encore plus generale consiste `a decouper
la region en un nombre fini de parties i de sorte que, sur chaque partie, on
sait que la formule est valable par les remarques precedentes. Ce decoupage
doit etre tel que:

= m
u, `a une rotation pr`es, la partie k est de la forme (1),
k=1 k o`

soit N k : k R2 le champ de normales unitaires exterieures `a k ,


pour k 6= h, k h k h et N k (x, y) = N h (x, y),

pour tout sauf un nombre fini de points (x, y) k h .


(2)
Voici une classe de regions que lon peut decouper de cette facon.
D
efinition 4.2 Un sous-ensemble de R2 est appele domaine r
egulier
2
lorsquil y a un nombre fini de chemins fermes C1 , ..., Ck dans R tels que
= intC1 si k = 1 et = (intC1 )\ ki=2 Di si k 2,
o`
u Di = intCi = (intCi ) Ci et les chemins Ci sont tels que
Di intC1 et Di extCj pour i, j = 2, ..., k et i 6= j.
27

Si est un domaine regulier alors est ouvert et borne et son bord =


ki=1 Ci . On dit que est orient
e positivement lorsque
C1 a lorientation positive et
Ci a lorientation negative pour i = 2, ..., k.
Un champ de normales unitaires ext
erieures sur est une fonction
N : R2 telle que, pour tout sauf un nombre fini de points P ,
kN (P )k = 1, P + ev{N (P )} est la droite normale `a en P
et il existe P > 0 tel que P + N (P )
/ pour 0 < < P .
Cest `a dire,
N |C1 est un champ de normales unitaires exterieures sur C1 et
N |Ci est un champ de normales unitaires interieures sur Ci pour i = 2, ..., k.
Pour ce genre de region. la formule du lemme reste valable.
Th
eor`
eme 4.3 (formule dintegration par parties) Soient un domaine
regulier dans R2 et u, v C 1 (). Alors pour i = 1, 2,
Z
Z
Z
ui v dxdy =
uvNi ds vi u dxdy

o`
u N est le champ de normales unitaires exterieures sur . En particulier,
Z
Z
i u dxdy =
uNi ds.

Preuve Il suffit de justifier la deuxi`eme formule pour une fonction u C 1 ().


Ensuite, on obtient la premi`ere formule en remplacant u par le produit uv.
Soit = m
ecoupage de du type (4). Par le lemme,
k=1 k un d
Z
Z
i u dxdy =
uNik ds pour k = 1, ..., m
k

et donc
Z
i u dxdy =

m Z
X
k=1

i u dxdy =

m Z
X
k=1

uNik

Il y a plusieurs formes equivalentes de ce resultat.


28

Z
ds =

uNi ds.

4.3

Le th
eor`
eme de Green et ses variantes

Corollaire 4.4 Soient un domaine regulier dans R2 .


(i) (Theor`eme de Green) Soient u, v C 1 (). Alors
Z
Z
Z
v u

}dxdy =
{vN1 uN2 }ds = udx + vdy,
{
y

o`
u N est le champ de normales unitaires exterieures sur et est considere avec lorientation positive.
(ii) Soit f : R2 R2 un champ vectoriel tel que f1 , f2 C 1 ().
Alors,
Z
Z
{1 f2 2 f1 }dxdy = f dl

o`
u lintegrale sur est calculee pour lorientation positive.
(iii) Soit f : R2 R2 un champ vectoriel tel que f1 , f2 C 1 ().
Alors,
Z
Z
{1 f1 + 2 f2 }dxdy =
hf, N i ds

o`
u N est le champ de normales unitaires exterieures sur .
Remarque La formule (ii) montre que lintegrale de rotf = f sur
est egale `a la circulation de f sur dans le sens positif. Selon la formule
(iii), lintegrale de divf = f sur est egale au flux de f `a travers vers
lexterieur.
Preuve (i) Par le theor`eme,
Z
Z
Z
Z
u
v
dxdy =
vN1 ds et
dxdy =
uN2 ds,

x
et on obtient immediatement la premi`ere egalite. Soit T = (p, q) une tangente
unitaire en un point P de dans la direction associee `a lorientation positive
de . Alors N (P ) = (q, p) et donc
Z
Z
Z
Z
{vN1 uN2 }ds =
{vq + up}ds = h(u, v), T i ds = udx + vdy.

(ii) Posant f1 = u et f2 = v, ceci decoule de (i) car


Z
Z
f dx + f2 dy = f dl.

(iii) Posant f1 = v et f2 = u, ceci decoule de (i).


29

Le th
eor`
eme de Stokes

But : Obtenir une formule dintegration par parties pour des integrales sur
une nappe.
Observation : Une telle formule ne peut pas porter sur des derivees partielles quelconques. Par exemple, considerons le disque S = {(x, y, 0) :
x2 + y 2 < 1} qui est une nappe reguli`ere limitee par le cercle C = {(x, y, 0) :
x2 + y 2 = 1}. Pour une fonction u C 1 (R3 ), la formule dintegration par
parties dans le plan z = 0 montre que, pour i = 1, 2,
Z
Z
Z
Z
i u d =
i u(x, y, 0) dxdy =
uni ds =
uni ds
S

o`
u = {(x, y) R2 : x2 + y 2 < 1}et n(x, y, 0) = (x, y, 0). Par contre,
Z
Z
3 u(x, y, 0) dxdy
3 u d =
S

ne peut pas etre traitee de cette facon car on peut modifier 3 u(x, y, 0) sans
modifier u(x, y, 0) en remplacant u par
w(x, y, z) = u(x, y, z) + v(z)
o`
u v C 1 (R) et v(0) = 0. En ce cas,
Z
Z
Z
3 w d =
3 w(x, y, 0) dxdy = {3 u(x, y, 0) + v 0 (0)} dxdy
S

Z
=
3 u(x, y, 0) dxdy + v 0 (0) ||

o`
u || est laire de , tandis que w u sur C. Cet exemple simple sugg`ere
que lon peut traiter des integrales sur une nappe qui ne contiennent que des
derivees partielles dans des directions tangentes `a la nappe en chaque point.
Avant de formuler les resultats on doit preciser la notion du bord dune
nappe ainsi que son orientation.

30

5.1

Nappes avec un bord

D
efinition 5.1 Un sous-ensemble A de R3 est appele nappe avec un bord
lorsquil existe une fonction : A ayant les proprietes suivantes:
(i) = intC o`
u C est un chemin ferme dans R2
(ii) : A est un homeomorphisme
(iii) C 1 (, R3 ) et 1 (s, t)2 (s, t) 6= 0 pour tout (s, t) = C.
Posant S = (), on a que S est une nappe reguli`ere. Lensemble A\S =
(C) est appele bord (g
eom
etrique) de A (et de S), et note A(= S).
Remarques (1) On peut verifier que A\S est un chemin ferme dans R3 . Il ne
faut pas le confondre avec le bord (topologique) en tant que sous-ensemble de
R3 . Ce dernier est forme par les points de R3 qui ne sont ni dans linterieur
de A, ni dans linterieur de son complement et donc le bord topologique de
A est egal `a A lorsque A est une nappe avec un bord. Si : [a, b] R2
est une representation parametrique de , alors : [a, b] R3 est une
representation parametrique de A\S.
(2) Le champ continu N de normales unitaires sur S engendre par
setend `a A de mani`ere continue. Ainsi, on peut determiner une orientation
de A, notee (A, N ), en choisissant une orientation (S, N ) de la nappe S.
(3) Sur une nappe orientee avec bord, il y a une notion dorientation
positive de son bord que lon peut preciser ainsi. Soient (A, N ) une nappe
orientee avec bord et soit : A une representation parametrique de
(A, N ) telle que N = N . Le bord de est un chemin ferme dans R2 . Soit
: [a, b] R2 est une representation parametrique de avec lorientation
positive. Alors : [a, b] R3 est une representation parametrique du
bord de A et lorientation du bord engendree par cette parametrisation est
appelee positive pour lorientation N de A. Intuitivement, cette orientation
du bord est determinee de la mani`ere suivante. Lorsquon se deplace sur le
bord de A dans le sens positif avec sa tete dans la direction de N, la nappe
A se trouve `a sa gauche.
(4) On peut generaliser cette notion en remplacant la condition (i) par
(i) est un domaine regulier dans R2 .
Dans ce cas, le bord de est = ki=1 Ci o`
u les Ci sont des chemins fermes
k
et A = S = i=1 (Ci ) est une reunion de chemins fermes dans R3 . Un
champ continu de normales unitaires sur S est defini par
N ((s, t)) =

s (s, t) t (s, t)
ks (s, t) t (s, t)k
31

et il determine une des deux orientations de S. Lorientation positive de S


relative `a N est celle engendree par et lorientation positive de . Cest
`a dire, si i : [ai , bi ] R2 est une representation parametrique du chemin
ferme Ci qui engendre lorientation positive de Ci pour i = 1 et lorientation
negative de Ci pour i 2, alors lorientation positive de (Ci ) relative `a N
est celle engendree par la representation parametrique i : [ai , bi ] R3 .

5.2

Int
egration par parties; th
eor`
eme de Stokes

Soient V un sous-ensemble ouvert de R3 et u C 1 (V ). Pour A R3 \{(0, 0, 0)},


la derivee de u au point P suivant le vecteur A est
u(P + tA) u(P )
= hA, u(P )i .
t0
t

Du(P, A) = lim

Considerons maintenant S V une nappe reguli`ere dans R3 et N : S R3


un champ continu de normales unitaires sur S. Si A N (P ) , Du(P, A) =
hA, u(P )i est une d
eriv
ee tangentielle de u en P. Rappelons que si N
R3 avec kN k = 1, alors N = {A N : A R3 }. Ainsi, en chaque point P de
S, A N (P ) est un vecteur dans une direction du plan tangent `a S au point
P et donc {A N (P )} u(P ) = hA N (P ), u(P )i est une derivee de u
en P suivant un vecteur tangent `a S en P. Noter que {A N (P )} u(P ) =
A {N (P ) u(P )} par les proprietes du produit triple.
Th
eor`
eme 5.2 Soient V un sous-ensemble ouvert de R3 et u C 1 (V ). Soit
(S, N ) une nappe orientee avec bord telle que S V . Soit T : S R3
le champ de tangentes unitaires sur le chemin ferme S dans le sens de
lorientation positive de S par rapport `
a N. Alors
Z
Z
hA N, ui d =
u hA, T i ds
(3)
S

pour tout A R3 . En particulier, pour i = 1, 2, 3,


Z
Z
(N u)i d =
uTi ds.
S

(4)

Preuve Il suffit detablir la premi`ere formule (7) pour A = ei o`


u i = 1, 2, 3.
Considerons le cas A = e1 = (1, 0, 0), les cas i = 2, 3 etant semblables.
32

Notons dabord que


he1 N, ui = he1 u, N i = h(0, 3 u, 2 u), N i = N2 3 u N3 2 u
u
Soit : R3 une representation parametrique de S telle que N = N, o`
2
= intC et C est un chemin ferme dans R . Alors,
Z
Z
he1 N, ui d = he1 u, N i d
S
Z S
=
h(0, 3 u((s, t)), 2 u((s, t)), N ((s, t))i dsdt

Z
=
h(0, 3 u((s, t)), 2 u((s, t)), 1 (s, t) 2 (s, t)i dsdt

Z
(1 , 2 )
(3 , 1 )
2 u((s, t))
dsdt.
=
3 u((s, t))
(s, t)
(s, t)

Or,
s u((s, t)) = 1 u((s, t))s 1 (s, t) + 2 u((s, t))s 2 (s, t) + 3 u((s, t))s 3 (s, t)
t u((s, t)) = 1 u((s, t))t 1 (s, t) + 2 u((s, t))t 2 (s, t) + 3 u((s, t))t 3 (s, t)
et donc, eliminant 1 u((s, t)), on obtient
s u((s, t))t 1 (s, t) t u((s, t))s 1 (s, t)
(1 , 2 )
(3 , 1 )
= 2 u((s, t))
+ 3 u((s, t))
.
(s, t)
(s, t)
Do`
u
Z
Z
he1 N, ui d =
s u((s, t))t 1 (s, t) t u((s, t))s 1 (s, t)dsdt
S

Admettant que C (), on peut integrer par parties sur et on obtient


Z
s u((s, t))t 1 (s, t) t u((s, t))s 1 (s, t)dsdt
Z
=
[u ]2 1 n1 [u ]1 1 n2 ds

Z
u((s, t))s t 1 (s, t) u((s, t))t s 1 (s, t)dsdt
Z
=
[u ]{2 1 n1 1 1 n2 }ds, car s t 1 = t s 1 ,

33

o`
u n : R2 est le champ de normales unitaires exterieures sur . (Le
cas o`
u nest pas de classe C 2 sur , peut etre traite par approximation.)
Soit : [a, b] R2 une representation parametrique de avec lorientation
positive et posons (u) = (u). Alors n(u) = (20 (u), 10 (u))/ k 0 (u)k et
0 (u) = 1 ((u))10 (u) + 2 ((u))20 (u). Ainsi,
Z
[u ]{2 1 n1 1 1 n2 }ds

Z b
=
[u (u)]{2 1 ((u))20 (u) + 1 1 ((u))10 (u)}du
a
Z b
Z
0
=
u((u))1 (u)du =
uT1 ds
a

car : [a, b] R3 est une representation parametrique de S et T = T . En


resume, on a montre que
Z
Z
uT1 ds
he1 N, ui d =
S

pour autant que C 2 ().


Exemple 1 (un tronc de c
one) Soient 0 < a < b < ,

= {(s, t) R2 : a < r = s2 + t2 < b} et

g(s, t) = s2 + t2 a.
On a dej`a vu que le graphe de la fonction g : R a la forme dun tronc
de cone. En fait, S = () est une nappe reguli`ere et une representation
parametrique reguli`ere de S est donnee par la fonction
: R3 definie par (s, t) = (s, t, g(s, t)).
Notons que est un domaine regulier dans R2 et que = C1 C2 o`
u C1 , C2
sont des cercles
C1 = {(s, t) R2 : s2 + t2 = b2 } et C2 = {(s, t) R2 : s2 + t2 = a2 }.
Donc le bord de S est S = (C1 ) (C2 ) et donc S est aussi la reunion
de deux cercles
(C1 ) = {(s, t, ba) R3 : s2 +t2 = b2 } et (C2 ) = {(s, t, 0) R3 : s2 +t2 = a2 }.
34

Dautre part,

s t
ks (s, t) t (s, t)k = 2
s (s, t) t (s, t) = ( , , 1),
r r

s t
et donc N ((s, t)) = ( , , 1)/ 2.
r r
Selon notre definition, lorientation positive de consiste `a traiter le chemin
ferme C1 avec son orientation positive et C2 avec son orientation negative.
Des representations parametriques appropriees sont
1 () = b(cos , sin ) et 2 () = a(cos , sin ) pour [0, 2], respectivement.
Lorientation de S = (C1 ) (C2 ) qui est positive relative `a N est donc
engendree par les representations parametriques 1 et 2 de (C1 )
et (C2 ), respectivement. Les champs de tangentes unitaires correspondants
sont
T 1 : (C1 ) R3 o`
u T 1 (s, t, b a) = (t, s, 0)/b pour (s, t) C1 ,
T 2 : (C2 ) R3 o`
u T 2 (s, t, 0) = (t, s, 0)/a pour (s, t) C2 .
La formule (7) secrit
Z
Z
hA N, ui d =
u hA, T i ds
S
ZS
Z


1
u A, T ds +
=
(C1 )
2


u A, T 2 ds

(C2 )

u(b cos , b sin , b a){A1 sin + A2 cos }bd

=
Z 02

u(a cos , a sin , 0){A1 sin A2 cos }ad.

+
0

Exemple 2 (un tronc de cylindre) Soient 0 < a < b < ,

= {(s, t) R2 : a < r = s2 + t2 < b} et


as at
(s, t) = ( , , r a).
r r
En posant S = (), on constate que
S = {(x, y, z) R3 : x2 + y 2 = a et 0 < z < b a}
35

est une partie de longueur b a dun cylindre de rayon a. Cette fois, S =


(C1 ) (C2 ) est aussi la reunion de deux cercles de rayon a,
(C1 ) = {(

as at
, , ba) R3 : s2 +t2 = b2 } et (C2 ) = {(s, t, 0) R3 : s2 +t2 = a2 }
b b

o`
u les cercles Ci sont les memes que dans lexemple precedant. Dautre part,
1
N ((s, t)) = (s, t, 0).
r
Les champs de tangentes unitaires correspondants `a lorientation de S qui
est positive relative `a N sont
T 1 : (C1 ) R3 o`
u T 1 (x, y, b a) = (y, x, 0)/a pour (x, y, b a) (C1 ),
T 2 : (C2 ) R3 o`
u T 2 (x, y, 0) = (t, s, 0)/a pour (x, y, 0) (C2 ).
La formule du theor`eme secrit
Z
Z
u hA, T i ds
hA N, ui d =
S
S
Z
Z


1
=
u A, T ds +
(C1 )
2


u A, T 2 ds

(C2 )

u(a cos , a sin , b a){A1 sin + A2 cos }ad

=
Z 02

u(a cos , a sin , 0){A1 sin A2 cos }ad.

+
0

Le Theor`eme de Stokes etablit une relation analogue dans le contexte des


champs vectoriels. La notion de rotationnel dun champ vectoriel permet
de cerner les derivees dans des directions perpendiculaires `a une direction
donnee.
Notons que, pour N R3 avec kN k = 1,
hN, f i
= N ( f ) = N1 {2 f3 3 f2 } + N2 {3 f1 1 f3 } + N3 {1 f2 2 f1 }
= h(0, N3 , N2 ), f1 i + h(N3 , 0, N1 ), f2 i + h(N2 , N1 , 0), f3 i
= he1 N, f1 i + he2 N, f2 i + he3 N, f3 i
(*)

36

et (0, N3 , N2 ), (N3 , 0, N1 ), (N2 , N1 , 0) N . Ainsi, hN, f i peut etre


exprime comme une somme de derivees directionnelles des composantes fi
dans des directions perpendiculaires `a N.
Remarque Notons que la notation f est souvent etendue aux champs
vectoriels f C 1 (, R2 ) o`
u est un sous-ensemble ouvert de R2 de la
mani`ere suivante. On plonge R2 dans R3 en posant
V = R et F (x, y, z) = (f1 (x, y), f2 (x, y), 0) pour (x, y, z) V.
Alors F (x, y, z) = (0, 0, 1 f2 (x, y) 2 f1 (x, y)) et donc il est determine
par lexpression 1 f2 (x, y) 2 f1 (x, y). On simplifie la notation en posant
f (x, y) = 1 f2 (x, y) 2 f1 (x, y).
Noter que dans ce cas,
f : R2 R2 mais f : R2 R.
On peut maintenant enoncer le resultat principal.
Th
eor`
eme 5.3 (de Stokes) Soient V un sous-ensemble ouvert de R3 et f
C 1 (V, R3 ). Soit (S, N ) une nappe orientee avec bord telle que S V . Soit
T : S R3 le champ de tangentes unitaires sur le chemin ferme S dans
le sens de lorientation positive de S par rapport `
a N. Alors
Z
Z
hf, T i ds.
h f, N i d =
S

Cette formule secrit aussi sous la forme


Z
Z
f d =
(S,N )

f dl

(S,T )

ou encore
Z
( f )1 dy dz + ( f )2 dz dx + ( f )3 dx dy
(S,N )

Z
=

f1 dx + f2 dy + f3 dz

37

o`
u S signifie que le chemin ferme S est considere avec lorientation positive
par rapport `a N.
Le Theor`eme de Stokes affirme que:
le flux du rotationnel de f `a travers S dans le sens de N = la circulation
de f sur le bord de S dans le sens qui est positif par rapport `a N .
Preuve du th
eor`
eme On a dej`a note que
h f, N i = he1 N, f1 i + he2 N, f2 i + he3 N, f3 i
et donc, en utilisant le theor`eme precedent, on trouve que
Z
Z
3 Z
3 Z
X
X
h f, N i d =
hei N, fi i d =
fi Ti ds =
S

i=1

i=1

hf, T i ds.

Remarques Dans le cas o`


u la nappe S se trouve dans le plan z = 0 et
f (x, y, z) = (f1 (x, y), f2 (x, y), 0) on retrouve le Theor`eme de Green. En effet,
f = (0, 0, 1 f2 2 f1 )
on peut choisir N (0, 0, 1). Alors h f, N i = 1 f2 2 f1 et
Z
Z
h f, N i d = {1 f2 2 f1 } dxdy,
S

o`
u = intS dans le plan z = 0, tandis que
Z
Z
Z
hf, T i ds = f1 dx + f2 dy + f3 dz = f1 dx + f2 dy
S

o`
u signifie lorientation positive de dans le plan.
A partir de ces theor`emes on peut etablir des formules dintegration par
parties sur une surface.
Corollaire 5.4 Soient V un sous-ensemble ouvert de R3 . Soit (S, N ) une
nappe orientee avec bord telle que S V . Soit T : S R3 le champ
de tangentes unitaires sur le chemin ferme S dans le sens de lorientation
positive de S par rapport `a N. Alors,
(i) pour u, v C 1 (V ),
Z
Z
Z
v hA N, ui d =
uv hA, T i ds u hA N, vi d pour tout A R3 .
S

(5)
38

(ii) Pour u C 1 (V ) et f C 1 (V, R3 ),


Z
Z
Z
hf N, ui d =
u hf, T i ds u h f, N i d
S

(6)

Preuve Pour obtenir la deuxi`eme formule, il suffit de remplacer u par le


produit uv dans la premi`ere. Pour ce qui concerne la formule (4), on peut
remplacer f par le produit uf dans la formule de Stokes et on obtient
Z
Z
h (uf ), N i d =
huf, T i ds.
S

Or (uf ) = (u) f + u( f ) et
h (uf ), N i = h(u) f, N i + hu( f ), N i
= hf N, ui + u h f, N i
par les proprietes du produit triple. Donc
Z
Z
Z
hf N, ui d + u h f, N i d =
h (uf ), N i d
S
S
S
Z
Z
u hf, T i ds
huf, T i ds =
=
S

ce qui etablit la formule.

5.3

Compl
ements

On peut traiter dautres types de surfaces qui ne sont pas forcement des
nappes orientees avec bord par decoupage approprie.
Exemple 3 (une sph`
ere) Soit
S = {(x, y, z) R3 : x2 + y 2 + z 2 = 1}.
Alors S nest pas une nappe avec bord mais il existe deux nappes avec bord
S1 et S2 telles que
S = S1 S2 et S1 S2 (S1 ) (S2 ).
Par exemple, on peut choisir
S1 = {(x, y, z) S : z 0} et S2 = {(x, y, z) S : z 0}.
39

Soit N (x, y, z) = (x, y, z). Alors N : S R3 est un champ de normales


unitaires sur S, oriente vers lexpterieur de S. Alors (Si , N ) est une nappe
orientee avec bord. En effet, une representation parametrique de S1 est
donnee par
= {(x, y) R2 : x2 + y 2 < 1} et la fonction : R3
definie par
(x, y) =

1
(2x, 2y, 1 x2 y 2 ).
2
2
1+x +y

De plus, N = N sur S1 . (Pour verifier ceci, il suffit de verifier que N ((0, 0)) =
(0, 0, 1).) Le bord de S1 est le cercle C = {(x, y, 0) : x2 + y 2 = 1} et son
orientation positive relative `a N est celle engendree par la representation
parametrique 1 o`
u 1 = (cos , sin ) pour [0, 2]. Donc le champ
de tangents unitaires sur C associe `a cette orientation est T 1 : C R3 o`
u
T 1 (x, y, 0) = (y, x, 0) car 1 () = (cos , sin , 0) et T 1 ( 1 ()) =
( 1 )0 ()/ k( 1 )0 ()k = ( sin , cos , 0).
Ensuite, la fonction : R3 , definie par
(x, y) =

1
(2x, 2y, 1 + x2 + y 2 )
1 + x2 + y 2

est une representation parametrique de S2 et on constate que N ((0, 0)) =


(0, 0, 1) = N (0, 0, 1). DoncN = N sur S2 . De plus, S2 = C et une
representation parametrique de C avec lorientation qui est positive relative
`a N est 1 = 1 car = sur . Comme on a dej`a vu, le champ de
tangentes unitaires sur C associe `a cette orientation est T 1 : C R3 . Donc
le champ de tangentes unitaires sur C associe `a orientation qui est positive
relative `a N = N est T 2 = T 1 .
Appliquant le Theor`eme de Stokes sur les nappes Si separement et puis
additionnant les formules, on obtient
Z
Z
Z
h f, N i d =
f dl +
f dl
S
(S1 ,T 1 )
(S2 ,T 2 )
Z
Z
=
f dl
f dl = 0.
(C,T 1 )

(C,T 1 )

Remarque La sph`ere est un exemple dune surface ferm


ee, cest `a dire son
bord geometrique est vide. Pour de telles surfaces, le flux dun rotationnel
40

est toujours nul. Le bord dun domaine regulier dans R3 dans le sens du
theor`eme de la divergence a cette propriete.
Soulignons quil existe des surfaces qui ne peuvent pas etre traitees de
cette facon car on ne peut pas choisir les orientations des parties de facon
coherente. Voici lexemple le plus celebre de cette situation.
Exemple 3 (une bande de M
obius) Considerons b > a > 0,
u
= (a, a) (0, 2) et : R3 o`
t
t
t
(s, t) = ((b + as cos ) cos t, (b + as cos ) sin t, as sin ).
2
2
2
On peut verifier que () est une nappe reguli`ere et donc N est un champ
continu de normales unitaires sur (). Par contre nest pas injectif sur .
En fait, (s, 0) = (s, 2) pour tout s [a, a]. De plus, N : () R3
nadmet aucun prolongement continu sur () car
lim N ((s, t)) = lim N ((s, t)) pour tout s (a, a).

t0+

t2

Dans ce cas S = () nest pas une nappe orientee avec bord. En fait,
S est une surface nayant quun seul cote, appelee bande (ou ruban) de
M
obius. Cependant, il existe deux nappes avec bord S1 et S2 telles que
S = S1 S2 et S1 S2 (S1 ) (S2 ).
Il suffit de poser
1 = (a, a) (0, ) et 1 = (a, a) (, 2)
et puis de definir S1 = (1 ) et S2 = (2 ). Par contre on ne peut pas choisir
des champs continus de normales unitaires sur S1 et S2 de mani`ere coherente
pour S. Lorsque lon introduit des orientations des parties S1 et S2 et puis
quon somme les flux correspondants, le resultat depend du decoupage choisi.
Donc la notion de flux dun champ vectoriel `a travers S nest pas bien posee.

41

Le th
eor`
eme de la divergence

But Etablir les formules dintegration par parties pour des regions ouvertes
dans R3 .
On commence par introduire une classe de sous-ensembles de R3 analogues
aux domaines reguliers dans le plan.
D
efinition 6.1 Un sous-ensemble V de R3 est appele domaine r
egulier
lorsque V est un sous-ensemble ouvert, borne et connexe et son bord V `
a
les proprietes suivantes.
(a) Il existe un nombre fini de nappes avec bord S1 , ..., Sk telles que
V = ki=1 Si et Si Sj (Si ) (Sj ) pour tout i 6= j.
(b) Pour chaque i = 1, ..., k il y a une orientation (Si , N i ) de Si telle que,
pour tout x Si \Si , il existe (x) > 0 tel que
x tN i (x) V et x + tN i (x)
/ V pour tout t (0, (x)).
Un champ vectoriel N : V R3 tel que N (x) = N i (x) pour tout
erieures
x ki=1 Si \Si est appele champ de normales unitaires ext
sur V. Noter que les valeurs de N sur ki=1 Si ne sont pas specifiees.
La partie (b) de la definition assure que V ne se trouve que dun seul cote
de V.
Remarque Si V est un domaine regulier dans R3 et f C 1 (V , R3 ) on peut
deduire du Theor`eme de Stokes que
Z
k Z
X


h f, N i d =
f, N i d = 0.
V

i=1

Si

Exemples Notons que la sph`ere V1 = {(x, y, z) R3 : x2 + y 2 + z 2 < 1}, le


cube V2 = (0, 1)3 ainsi que la region
V3 = {(x, y, z) R3 : 1 < x2 + y 2 + z 2 < 2}
sont des domaines reguliers dans R3 tandis que
V4 = V1 \{(x, y, 0) : y 0}
ne lest pas. La region V4 est ouverte, bornee et connexe et elle verifie la
condition (a) de la definition mais pas la condition (b).
42

D
efinition 6.2 Soient un sous-ensemble ouvert de R3 et f C 1 (, R3 ).
La divergence de f au point (x, y, z) est lexpression
3
X

i f (x, y, z), notee f (x, y, z) ou divf (x, y, z).

i=1

Th
eor`
eme 6.3 (de la divergence, de Gauss/Ostrogradsky) Soient V un domaine regulier dans R3 et N : V R3 le champ de normales unitaires
exterieures `a V.
Z
Z
(1)
i dxdydz =
Ni d pour i = 1, 2, 3
V

pour tout C 1 (V ).
Z
Z
(2)
vi u dxdydz =
V

Z
uvNi d

ui v dxdydz pour i = 1, 2, 3

pour tout u, v C 1 (V ).
Z

Z
f dxdydz =

(3)
V

hf, N i d
V

pour tout f C 1 (V , R3 ).
Il suffit de demontrer la formule (3). Posant f = ei dans (3), on obtient
(1). Posant = uv dans (1), on obtient (2). On va etablir la formule (3)
pour des regions plus simples. Ensuite le cas general peut etre aborde par
decoupage et rotation.
Lemme 6.4 Soient C un chemin ferme dans R2 et D = (intC) C. Soient
, C 1 (D) telles que < sur intC et {(x, y) C : (x, y) = (x, y)}
est la reunion dun nombre fini de points et de chemins. Considerons le
domaine regulier dans R3 ,
V = {(x, y, z) R3 : (x, y) intC et (x, y) < z < (x, y)}.
Soient N : V R3 le champ de normales unitaires exterieures `
a V. Alors
Z
Z
f dxdydz =
hf, N i d
V

pour tout f C 1 (V , R3 ).
43

Preuve Notons que V = S1 S2 S3 o`


u
S1 = {(x, y, (x, y)) : (x, y) D}
S2 = {(x, y, (x, y)) : (x, y) D}
S3 = {(1 (u), 2 (u), z) : u [a, b] et (x, y) z (x, y)
o`
u : [a, b] R2 est une representation parametrique de C. Donc
C([a, b]), (a) = (b) et il y a une partition {ti : i = 1, ..., k} de [a, b] telle
que C 1 ([ti , ti+1 ]). On peut supposer que {1, ..., k 1} = A B o`
u
((u)) < ((u)) pour tout u (ti , ti+1 ) si i A et ((u)) = ((u))
pour tout u (ti , ti+1 ) si i B. Pour i A on pose
i = {(u, v) R2 : ti < u < ti+1 et ((u)) < v < ((u))}
et en definissant i : i R3 par
i (u, v) = (1 (u), 2 (u), v),
on voit que i (i ) est une nappe avec bord. Ainsi
V = S1 S2 iA i (i )
et
N (x, y, (x, y)) =
p

(1 (x, y), 2 (x, y), 1)/ p1 + 1 (x, y)2 + 2 (x, y)2 sur S1 \S1
(1 (x, y), 2 (x, y), 1)/ p1 + 1 (x, y)2 + 2 (x, y)2 sur S2 \S2

(20 (u), 10 (u), 0)/ 10 (u)2 + 20 (u)2


sur i ().
Maintenant on voit que
Z
Z Z (x,y)
f3
3 f3 dxdydz =
{
(x, y, z) dz}dxdy
V
D
(x,y) z
Z
=
{f3 (x, y, (x, y)) f3 (x, y, (x, y))}dxdy
D

tandis que
Z
f3 N3 d =
V

2 Z
X

f3 N3 d car N3 = 0 sur i ()

Si

Zi=1
=
{f3 (x, y, (x, y)) f3 (x, y, (x, y))}dxdy.
D

44

Ainsi,
Z

Z
f3 N3 d =

3 f3 dxdydz.

((1))

Notons que pour obtenir ce resultat on a utilise seulement les proprietes que
f3 C(V ), que 3 f3 existe et que 3 f3 C(V ). Il reste `a montrer que
Z
Z
1 f1 + 2 f2 dxdydz =
f1 N1 + f2 N2 d
V

et on va deduire ceci de ce qui est dej`a etabli en introduisant les fonctions


auxiliaires
Z z
Z z
F (x, y, z) = (
f2 (x, y, t)dt,
f1 (x, y, t)dt, 0)
(x,y)

(x,y)

et

G(x, y, z) = (0, 0,
x

f1 (x, y, t)dt +
y
(x,y)

f2 (x, y, t)dt)
(x,y)

On verifie facilement que G C(V , R3 ), que 3 G3 existe et que 3 G3 C(V ).


En fait,
3 G3 = 1 f1 + 2 f2
Par la formule (1) appliquee `a G, on sait que
Z
Z
Z
1 f1 + 2 f2 dxdydz =
3 G3 dxdydz =
V

G3 N3 d.

Dautre part, F C 1 (V , R3 ) et
F (x, y, z) = (f1 (x, y, z), f2 (x, y, z), G3 (x, y, z)).
Or, par le Theor`eme de Stokes,
Z
h F, N i d = 0
V

montrant que
Z
Z
f1 N1 + f2 N2 d =
V

Z
G3 N3 d =

1 f1 + 2 f2 dxdydz.
V

Utilisant la formule (1), on obtient


Z
Z
f1 N1 + f2 N2 + f3 N3 d =
1 f1 + 2 f2 + 3 f3 dxdydz,
V

cest `a dire la forme de Gauss.


45

Champs qui d
erivent dun potentiel

But: Etudier des situations o`


u un champ vectoriel peut etre exprime comme
la derivee dune fonction. Il y a deux cas importants.
(1) Soient un sous-ensemble ouvert de RN et f C(, RN ). Existet-il
une fonction C 1 () telle que f = sur ? En ce cas, : R est
un potentiel (scalaire) pour f sur .
(2) Soient un sous-ensemble ouvert de R3 et f C(, R3 ). Existet-il
un champ vectoriel g C 1 (, R3 ) tel que f = g sur ? En ce cas,
g : R3 est un potentiel vecteur pour f sur .

7.1

Potentiel scalaire

Soient un sous-ensemble ouvert de RN et f C(, RN ). On peut traiter


separement les composantes connexes de . Donc dans la suite on supposera
que est connexe. Dans ce cas, un potentiel de f sur est unique `a une
constante additive pr`es.
Lorsque N = 1, est un intervalle ouvert et un potentiel de f sur
est simplement une primitive de f. Donc il suffit de choisir a et puis de
poser
Z
x

f (t)dt pour x .

(x) =
a

Dans la suite on supposera que N 2.


Commencons par deux observations importantes
Lemme 7.1 Soit un sous-ensemble ouvert et connexe de RN et f :
RN un champ vectoriel continu qui derive dun potentiel sur .

(1) Pour un chemin C allant de p vers q tel que C ,


Z
f.dl = (q) (p).
(7)

(2) Si f C 1 (, RN ), alors f (x) est une matrice symetrique pour tout


x . Cest `a dire,
i fj (x) = j fi (x) pour 1 i, j N.

46

Remarque Dans le cas N = 3, la matrice f (x) est symetrique


f (x) = 0. Un champ vectoriel ayant la propriete que f (x) = 0 pour
tout x est dit irrotationnel sur .
Preuve (1) Soit : [a, b] RN une representation parametrique dun
chemin C tel que C et (a) = p et (b) = q. Alors
Z
Z b
Z b
0
f.dl =
hf ((t)), (t)i dt =
h((t)), 0 (t)i dt

car f = . Or,
d
((t)) = h((t)), 0 (t)i
dt
et donc
Z

Z
f.dl =
a

d
((t))dt = ((b)) ((a)) = (q) (p).
dt

(2) Rappelons que, si C 2 (), alors i j = j i pour tout i, j =


1, ..., N. Comme fi = i pour tout i = 1, ..., N et fi C 1 (), on voit que
C 2 (). Donc,
i fj (x) = i j = j i = j fi (x) pour 1 i, j N.
Exemple Il decoule de la partie (2) du lemme que beaucoup de champs f
ne derivent pas dun potentiel. Par exemple, le champ f (x, y) = (0, x) ne
derive pas dun potentiel sur un ouvert de R2 car 1 f2 (x, y)2 f1 (x, y) = 1
pour tout (x, y) sur R2 .
Th
eor`
eme 7.2 Soient un sous-ensemble ouvert et connexe de RN et f
C(, RN ).
(1) f derive dun potentiel sur
Z
Z

f dl =
f dl

lorsque C et D sont deux chemins allant de p vers q


(*)
tels que C D et ceci quels que soient p et q avec p 6= q.
(2) Soit a un point de . Si f derive dun potentiel sur , un potentiel est
donne par
Z
(x) = f dl pour x 6= a et (a) = 0
C(x)

47


o`
u C(x) est un chemin allant de a vers x tel que C(x) .
(3) Si et sont deux potentiels pour f sur , alors il existe une constante
K telle que
(x) = (x) + K pour tout x
Remarques 1 Un champ vectoriel ayant la propriete (*) est dit conservatif
sur . On peut demontrer que la propriete (*) est equivalente `a la propriete
suivante :
Z
f dl = 0 pour tout chemin ferme tel que C .
(**)

2 Si lensemble a la propriete quil existe un point a tel que


[a, x] = {tx + (1 t)a : 0 t 1} pour tout x ,
on dit que est
etoil
e par rapport `
a a. En ce cas, un potentiel pour f sur
est donne par la formule
Z 1
(x) =
hf (tx + (1 t)a), x ai dt
(3)
0

car on peut choisir C(x) = [a, x] dans la partie (2) et utiliser la representation
parametrique (t) = tx + (1 t)a.
La partie (1) donne une condition necessaire et suffisante pour quun
champ vectoriel derive dun potentiel mais la partie suffisante nest pas
forcement facile `a verifier. Lorsque le champ est derivable, la symetrie de
f (x) pour tout x dans la region est une condition necessaire qui est
facile `a controler. En general, cette propriete de f nest pas suffisante pour
assurer que f derive dun potentiel sur .
Exemple Considerons = R2 \{(0, 0)} et le champ vectoriel
f : R2 defini par f (x, y) = (

x2

x
y
, 2
).
2
+ y x + y2

On voit que
f C (, R2 ) et que 1 f2 = 2 f1 sur .
Cependant,
Z

f dl = 2
48

o`
u C est le cercle {(x, y) R2 : x2 + y 2 = 1} avec lorientation positive.
Comme C est un chemin ferme dans , il decoule du Theor`eme 1(1) que f
ne derive pas dun potentiel sur .
Par contre, si est un sous-ensemble ouvert de R2 ayant la propriete que
intC d`es que C est un chemin ferme dans , alors la symetrie de f
sur est suffisante pour assurer que f C 1 (, R2 ) derive dun potentiel
sur . En effet, dans ce cas, si C est un chemin ferme tel que C , alors
f C 1 ((intC) C) et par le Theor`eme de Green,
Z
Z
Z
f dl =
{1 f2 2 f1 }dxdy =
{0}dxdy = 0

intC

intC

o`
u C a lorientation positive. Donc f a la propriete (**) dans et, par le
Theor`eme 1(1), f derive dun potentiel sur .
Cette propriete de la region peut etre caracterisee dune facon generale
pour des sous-ensembles de RN .
D
efinition 7.3 Un sous-ensemble ouvert de RN est dit simplement connexe lorsque
(i) est connexe et
(ii) tout chemin ferme dans peut etre contracte `
a un point sans quitter
N
. Cest `a dire, si : [a, b] R est une representation parametrique dun
chemin ferme C , alors il existe une fonction continue H : [0, 1][a, b]
RN telle que
(1) H(0, s) = (s) pour tout s [a, b]
(2) H(1, s) = H(1, a) pour tout s [a, b]
(3) H(t, s) pour tout (t, s) [0, 1] [a, b]
(4) H(t, a) = H(t, b) pour tout t [0, 1].
Exemples Cas N = 2 : On peut montrer quun sous-ensemble ouvert de
R2 est simplement connexe est connexe et intC pour tout chemin
ferme C .
Cas N = 3 : Un sous-ensemble ouvert de R3 est simplement connexe
est connexe et, pour tout chemin ferme C , il existe une nappe avec bord
S telle que C = S.
Une condition suffisante: Tout ouvert etoile dans RN est simplement
connexe.

49

Th
eor`
eme 7.4 Soient un sous-ensemble ouvert et simplement connexe de
N
R et f C 1 (, RN ). Alors
f derive dun potentiel sur
f (x) est symetrique pour tout x .
Remarque Dans le cas N = 3, si f C 1 (, R3 ) o`
u est ouvert et simplement connexe, alors f derive dun potentiel sur si et seulement si f est
irrotationnel sur .
Preuve du Th
eor`
eme 7.2: Supposons dabord que f derive dun potentiel

sur . Soient p, q avec p 6= q et C , D deux chemins allant de p vers q


tels que C D . Par la formule (1),
Z
Z
f dl = (q) (p) =
f dl.

Reciproquement, supposons que f a la propriete (*). Fixons un point

a . Pour chaque x \{a} choisissons un chemin C(x) allant de a vers


x tel que C(x) . Lexistence dun tel chemin est assuree par la connexite
de . Posons
Z
(x) = f dl et (a) = 0.
C(x)

Montrons que C () et que = f sur . En effet, pour x \{a}, il


existe > 0 tel que B(x, ) = {y RN : kx yk < } \{a}. Pour h R,
tel que 0 < |h| < , et pour i = 1, ..., N,
Z
Z
1
(x + hei ) (x)
= { f dl f dl}.
h
h C(x+hei )
C(x)

Mais on peut trouver un chemin D(x) allant de a vers x tel que D(x)

et D(x) [x, x + hei ] = {x}. Alors D(x) [x, x + hei ] est un chemin allant
de a vers x + hei et D(x) [x, x + hei ] . Donc par la propriete (*) de f
Z
Z
Z
f dl = f dl + f dl

C(x+hei )

et

D(x)

D(x)

[x,x+hei ]

Z
f dl =

50

C(x)

f dl.

Ainsi,
1
(x + hei ) (x)
=
h
h

[x,x+hei ]

f dl.

Or, : [0, 1] RN definie par (t) = x + thei pour t [0, 1], est une

representation parametrique de [x, x + hei ] et donc


Z 1
Z 1
Z
0
hf ((t), hei i dt
hf ((t)), (t)i dt =
f dl =

[x,x+hei ]

hf (x + thei ), ei i dt.

=h
0

Do`
u
Z 1
(x + hei ) (x)
lim
hf (x + thei , ei i dt
= lim
h0
h0 0
h
Z 1
hf (x), ei i dt = fi (x),
=
0

cest-`a-dire, la derivee partielle i (x) existe et est egale `a fi (x) pour tout
x \{a} et pour i = 1, ..., N. Par contre,
Z
(a + hei ) (a)
1
lim
= lim
f dl

h0
h0 h
h
C(a+hei )
Z
1
= lim
f dl

h0 h
[a,a+hei ]
Z 1
= lim
hf (a + thei , ei i dt = fi (a).
h0

Ceci montre que C 1 () et que = f sur .


Les points (1) et (2) du theor`eme sont dej`a etablis. Enfin, le point (3) est
une consequence immediate de la connexite de .
Preuve du Th
eor`
eme 7.4: Par le point (2) du lemme, il suffit de demontrer
que la symetrie de f sur implique que f a la propriete (**). Alors f derive
dun potentiel. Pour le cas N = 2, on a dej`a vu que ceci decoule du Theor`eme
de Green. Pour N = 3, on lobtient comme une consequence du Theor`eme de
Stokes apr`es avoir justifie la remarque que pour tout chemin ferme C il
existe une nappe avec bord S telle que C = S. Dans le cas general, on
51

commence par montrer que lhomotopie H dans la definition de simplement


connexe peut etre remplacee par une fonction plus reguli`ere ayant
R les memes
f dl = 0
proprietes. Ensuite on utilise cette fonction pour montrer que
C
pour tout chemin ferme dans .
Dans le cas o`
u est etoile, on peut donner une demonstration plus directe.
Il suffit de definir une fonction par la formule (3) et puis de calculer son
gradient. Rappelons que, si M est une matrice reelle N N, alors


hM v, wi = v, M T w pour tout v, w RN
et donc
hM v, wi = hM w, vi si M est symetrique.
Ainsi,
d
hf (tx + (1 t)a), tvi = hf (tx + (1 t)a)[x a], tvi + hf (tx + (1 t)a), vi
dt
= hf (tx + (1 t)a)tv, x ai + hf (tx + (1 t)a), vi
Mais pour x et v RN ,
Z 1
hf (tx + (1 t)a)tv, x ai + hf (tx + (1 t)a), vi dt
h(x), vi =
0
Z 1
d
=
hf (tx + (1 t)a), tvi dt
0 dt
= hf (x), vi
montrant que (x) = f (x) pour tout x .

7.2

Potentiels vecteur

On consid`ere un sous-ensemble qui est ouvert et connexe dans R3 et un


champ vectoriel f C(, R3 ). On cherche un champ vectoriel g C 1 (, R3 )
tel que f (x) = g(x) pour tout x . La discussion de ce cas sera
moins compl`ete que celle des potentiels scalaires car notre traitement des
surfaces fermees dans R3 etait assez restreint. Notons dabord que si le
potentiel g C 2 (, R3 ) alors f = ( g) = 0 sur et donc la
condition f = 0 est necessaire pour lexistence dun tel potentiel. Un
champ vectoriel f C 1 (, R3 ) ayant la propriete que f = 0 sur est dit
52

sol
enoidal ou incompressible. On verra que si f C 1 (, R3 ) et derive
dun potentiel vecteur sur , alors forcement f est solenoidal sur .
Bien s
ur, il existe des champs qui nadmettent aucun potentiel vecteur.
Example 1 Soient = R3 \{0} et
x
pour x .
f (x) =
kxk3
Alors f C (, R3 ) mais f na pas de potentiel vecteur sur , ni sur aucune
partie de qui contient la sph`ere
S = {x R3 : kxk = 1}.
En fait, le champ N : S R3 de normales unitaires exterieures sur S est
N (x) = x et donc

Z
Z
Z
Z 
1
x
, x d =
d =
d = 4,
hf, N i d =
kxk3
S kxk
S
S
S
tandis que, sil existait un champ g C 1 (, R3 ) tel que f (x) = g(x)
pour tout x , on aurait
Z
Z
h g, N i d = 0
hf, N i d =
S

par le theor`eme de Stokes. (Notons en passant, que f est le champ de gravitation dune masse unitaire fixe `a lorigine et quil a les proprietes suivantes
f (x) = 0 et f (x) = (

1
) pour tout x .)
kxk

Dautre part, lorsquun potentiel vecteur de f existe, il est loin detre


unique. Si g est un potentiel vecteur pour f sur , alors g + est aussi
un potentiel vecteur pour f sur quelle que soit la fonction C 2 () car
() = 0 en ce cas.
Th
eor`
eme 7.5 Soient R3 ouvert et f C(, R3 ) un champ vectoriel
qui derive dun potentiel vecteur sur .
(A) Soient (S1 , N1 ) et (S2 , N2 ) deux nappes avec bord telles que S1 S2

et S1 = S2 = C. Si N1 et N2 engendrent la meme orientation C sur le


chemin ferme C, alors
Z
Z
hf, N1 i d =
hf, N2 i d.
S1

S2

53

(B) Si f C 1 (, R3 ), alors f (x) = 0 pour tout x .


(C) Si g et G C 1 (, R3 ) sont deux potentiels vecteur pour f sur et
si est simplement connexe, alors il existe une fonction C 2 (, R3 ) telle
que
G(x) = g(x) + (x) pour tout x .

Remarque 1 Soit C un chemin ferme dans . Si est simplement connexe,


il existe une nappe orientee (S, N ) avec bord telle que S et S = C et

on peut choisir N de sorte que lorientation de C est celle qui est positive par
rapport `a N. Si f derive dun potentiel vecteur sur , le flux de f `a travers
S dans le sens de N est le meme pour tous les choix de (S, N ) verifiant ces
conditions et, en fait,
Z
Z
hf, N i d =
g dl

o`
u g est un potentiel vecteur pour f sur , par le Theor`eme de Stokes. On
peut ainsi parler sans ambigute du flux de f `a travers le chemin ferme oriente

C sous ces conditions, et ce flux est egal `a la circulation du potentiel vecteur

g sur C . Noter que si G est un autre potentiel vecteur de f sur ,


Z
Z
Z
G dl =
(g + ) dl =
g dl

par le point (C).


Remarque 2 LExemple 1 montre que la condition f = 0 sur nest pas
sufficiante pour assurer lexistence dun potentiel vecteur de f sur , meme
si est simplement connexe.
Remarque 3 On a etabli le point (B) sans pretendre quil existe un potentiel
g C 2 (, R3 ) lorsque f derive dun potentiel sur et f C 1 (, R3 ).
Preuve (A) Soit g C 1 (, R3 ) un potentiel vecteur pour f sur . Alors,
Z
Z
hf, N1 i d =
h g, N1 i d
S1
S1
Z
= g dl
S1

par le Theor`eme de Stokes, o`


u S1 a lorientation positive engendree par
(S1 , N1 ). Si (S2 , N2 ) engendre la meme orientation de S2 = S1 ,
Z
Z
Z
g dl = g dl =
hf, N2 i d

S1

S2

S2

54

de nouveau par le Theor`eme de Stokes et le resultat est etabli.


(B) Supposons quil existe un point a tel que f (a) > 0. Alors, par
la continuite de f sur , il existe > 0 tel que
B et f (x) a/2 pour tout x B
o`
u B = {x R3 : kx ak }. Comme f C 1 (, R3 ) et B est un domaine
regulier, il decoule du Theor`eme de la divergence que
Z
Z
( f ) dxdydz =
hf, N i d
B

o`
u N (x) = (x a)/ kx ak est le champ de normales unitaires exterieures
sur B = {x R3 : kx ak = }. Mais
Z
Z
h g, N i d
hf, N i d =
B

o`
u g C 1 (, R3 ) est un potentiel vecteur de f sur . Comme B est une
sph`ere dans , on sait par le Theor`eme de Stokes que
Z
h g, N i d = 0
B

et donc,
Z

Z
( f ) dxdydz =

h g, N i d = 0.
B

Or,
Z

Z
( f ) dxdydz
B

(a/2) dxdydz =
B

a 4 3
.
2 3

De cette contradiction, on voit que f (x) 0 pour tout x . Remplacant


f par f, on deduit que f (x) = 0 pour tout x .
(C) Comme f = g = G sur , on a que (G g) = 0 sur qui
est simplement connexe. Donc il existe un potentiel scalaire C 1 (, R)
tel que G g = sur . Mais g et G C 1 (, R3 ) par hypoth`ese et donc
C 2 (, R).
Sur une region etoilee, la condition f = 0 sur est sufficiante pour
assurer lexistence dun potentiel vecteur de f sur .

55

Th
eor`
eme 7.6 Soient un sous-ensemble ouvert R3 qui est etoile par rapport `a un point a et f C 1 (, R3 ).
Si f = 0 sur , alors le champ vectoriel g : R3 defini par
Z 1
g(x) =
f (tx + (1 t)a) t(x a) dt
0

est un potentiel vecteur pour f sur .


Ainsi,
f derive dun potentiel vecteur sur
f (x) = 0 sur .
Preuve Par une translation, on peut supposer sans perte de generalite que
a = 0. Alors,
Z
1

k(tx) dt o`
u k(x) = f (x) x

g(x) =
0

et donc
Z
g(x) =

t( k)(tx) dt.
0

Or, pour tout x ,


k(x) = 2f (x) + (x )f (x) x( f )(x)
= 2f (x) + (x )f (x) car f = 0 sur ,
et, pour tout t [0, 1],
d 2
t f (tx) = 2tf (tx) + t2 f (tx)x.
dt
Donc,
t( k)(tx) = t{2f (tx) + (tx )f (tx)}
d
= t2 f (tx)
dt
et
Z
g(x) =
0

d 2
t f (tx)dt = f (x).
dt
56

Remarque Lhypoth`ese que soit etoile par rapport `a un point a permet


de definir le potentiel vecteur g mais elle est assez restrictive. Il est souvent
preferable dessayer de calculer un potentiel vecteur en exploitant la liberte
que lon a dans le choix du potentiel. Par exemple, admetons que est un
sous ensemble ouvert de R3 ayant la forme suivante:
soit
A = {(x, y) R2 : il existe un point (x, y, z) }
et supposons quil existe c R tel que, pour tout (x, y) A,
{z R : (x, y, z) } est un intervalle qui contient c.
Alors, on peut chercher un potentiel vecteur de la forme g = (g1 , g2 , 0) sur
. En ce cas, la condition f = g equivaut `a
3 g2
= f1
3 g1
= f2
1 g2 2 g1 = f3
On peut poser
Z z
Z
g1 (x, y, z) =
f2 (x, y, t)dt+k(x, y) et g2 (x, y, z) =
c

f1 (x, y, t)dt+h(x, y)

(o`
u k, h C 1 (A) sont arbitraires) et ainsi satisfaire les deux premi`eres
equations. Ensuite
Z z
{1 g2 2 g1 }(x, y, z) =
{1 f1 + 2 f2 }(x, y, t)dt + {1 h 2 k}(x, y)
c
Z z
=
3 f3 (x, y, t)dt + {1 h 2 k}(x, y) car f = 0
c

= f3 (x, y, z) f3 (x, y, c) + {1 h 2 k}(x, y).


et donc la troisi`eme equation 1 g2 2 g1 = f3 se reduit `a
{1 h 2 k}(x, y) = f3 (x, y, c) pour tout (x, y) A.
Selon la forme de A, on peut poser une des fonctions h ou k egale `a zero et
puis integrer afin de calculer lautre.

57

7.3

Fonctions harmoniques

Soient un sous-ensemble ouvert et connexe de R3 et f C(, R3 ). On peut


se demander quand f derive `a la fois dun potentiel scalaire et dun potentiel
vecteur sur .
Admettons que f C 1 (, R3 ), que
f = sur o`
u C 1 (, R) et que
f = g sur o`
u g C 1 (, R3 ).
Alors C 2 (, R) et 0 = f (x) = () = sur .
Une fonction C 2 (, R) est dite harmonique sur lorsque = 0
sur . On vient de voir que si f C 1 (, R3 ) derive `a la fois dun potentiel
scalaire et dun potentiel vecteur sur , alors f est le gradient dune fonction
harmonique sur .
Reciproquement, si est etoile et f = o`
u C 2 (, R) est harmonique sur , alors f = 0 sur et donc f derive aussi dun potentiel
vecteur sur .
Considerons maintenant le cas o`
u est un sous-ensemble ouvert de R2
et f C 1 (, R2 ). Rappelons quen ce cas, f est le scalaire 1 f2 2 f1 .
Dautre part, si est simplement connexe, f C 1 (, R2 ) et f = 0 sur
, on a vu quil existe un potentiel scalaire C 2 (, R) tel que
f = sur .
La notion de potentiel vecteur na pas de sens pour un champ vectoriel dans
le plan mais la condition f = 0 sur assure lexistence une fonction
courant C 2 (, R) pour f sur . En effet, f = 0 F = 0 o`
u
2
F = (f2 , f1 ) et donc il existe un potentiel scalaire C (, R) de F sur
lorsque est simplement connexe. Mais
F = (f1 , f2 ) = (2 , 1 )
ce qui est la definition dune fonction courant de f .
Ainsi, si R2 est ouvert et simplement connexe, un champ vectoriel
f C 1 (, R2 ) admet `a la fois un potentiel scalaire et une fonction courant
sur
f = o`
u C 2 (, R) et = 0 sur .
Dautre part, si est un sous-ensemble ouvert de R2 et C 2 (, R) est
harmonique sur (cest `a dire, = 0 sur ), alors le champ vectoriel
58

f = est `a la fois incompressible ( f = 0) et irrotationnel ( f = 0)


sur .

59