Chapitre 1.

Introduction.
Le but de ce chapitre est de xer la terminologie que nous emploierons
dans ce cours et de presenter les probl`emes que nous etudierons. Nous com-
men cons dabord par de brefs rappels et par des notations et denitions
diverses.
1. Denitions, notations et rappels.
1.1. Points et sous-ensembles des espaces euclidiens. R sera le corps
des nombres reels et C sera celui des nombres complexes. Nous travaillerons
la plupart du temps dans R
n
et n designera toujours la dimension. Les
points de R
n
seront generalement notes x, y, , ; les coordonnees de x etant
(x
1
, . . . , x
n
).
Si U est un sous-ensemble de R
n
, U sera la fermeture ou ladherence de
U et U le bord de U, cest `a dire U = UInt U o` u Int U designe linterieur
de U.
Si x et y sont deux points de R
n
ou C
n
, on pose
x y =
n

j=1
x
j
y
j
,
si bien que la norme euclidienne de x est donnee par
|x| = (x x)
1/2
(= (x x)
1/2
si x est reel)
2 Chapitre 1.
Nous utiliserons les notations suivantes en ce qui concerne les sph`eres et les
boules de R
n
: si x R
n
et r > 0,
B
r
(x) = y R
n
: |x y| < r,
S
r
(x) = y R
n
: |x y| = r.
De meme dans C
n
. Nous noterons S
n
la sph`ere unite de R
n
et B
n
la boule
unite de R
n
.
1.2. Multi-indices et derivees partielles. Un nuplet = (
1
, . . . ,
n
)
dentiers positifs sera appele un multi-indice. On pose
[[ =
n

j=1

j
, ! =
1
!
2
!
n
!,
et pour x R
n
,
x

= x

1
1
x

2
2
x

n
n
.
Nous utiliserons parfois la notation abregee suivante

j
=

x
j
pour la derivee partielle par rapport `a x
j
et parfois, nous ecrirons
u
x
j
=
u
x
j
, u
x
j
x
k
=

2
u
x
j
x
k
,
Les derivees dordres superieurs sexpriment de mani`ere concise grace aux
notations multi-indicielles :

_

x
j
_

j
=

[[
x

1
1
x

n
n
.
Notez quen particulier, si = 0, alors

est loperateur identite. Avec ces

notations, il serait naturel de noter u le nuplet de fonctions (
1
u, . . . ,
n
u)
quand u est une fonction dierentiable. Mais, nous utiliserons la notation
plus communement employee (par les physiciens surtout) suivante :
u = (
1
u, . . . ,
n
u)
et nous appellerons u le gradient de u.
Introduction. 3
En ce qui nous concerne, un champ de vecteurs sur un ensemble R
n
sera simplement une fonction `a valeurs dans R
n
. Si F est un champ de
vecteurs sur un sous-ensemble ouvert , on denit la derivee directionnelle

F
par

F
= F ,
soit, en dautres termes, si u est une fonction dierentiable sur ,

F
u(x) = F(x) u(x) =
n

j=1
F
j
(x)
j
u(x).
Enn, si F est toujours un champ de vecteurs, on appelle divergence de F et
on note div F la fonction
div F = F =
F
1
x
1
+ +
F
n
x
n
.
Exercice 1.1. Prouver la formule du multin ome :
(x
1
+ + x
n
)
k
=

[[=k
_
[[

_
x

,
o` u
_
[[

_
=
[[!
!
et o` u la somme est prise sur tous les multi-indices =
(
1
, . . . ,
n
) avec [[ = k. On pourra faire une recurrence sur n.
Exercice 1.2. Prouver la formule de Leibniz

(uv) =

v,
o` u u, v : R
n
R sont de classe [[,
_

_
=
!
!( )!
et signie

i

i
pour i = 1, . . . , n. On pourra faire une recurrence sur n N.
1.3. Espaces de fonctions. Si est un sous-ensemble de R, C() sera
lespace de fonctions continues sur (pour la topologie induite) `a valeurs
complexes.
Si est ouvert et k est un entier positif, C
k
() sera lespace des fonctions
ayant des derivees partielles continues jusqu`a lordre k, et C
k
() sera lespace
des fonctions u C
k
() telles que

u setendent contin ument `a pour

[[ k. Nous posons C

() =

k=1
C
k
() et C

() =

k=1
C
k
().
4 Chapitre 1.
Exercice 1.3. Soit f : R
n
R de classe C

. Soit k N

. Montrez que
f(x) =

[[k
1
!

f(0)x

+|x|
k
(x),
avec (x) qui tend vers 0 quand |x| tend vers 0. On pourra xer x R
n
et
considerer la fonction dune variable g(t) = f(tx).
Nous denissons maintenant les espaces holderiens ou lipschitziensC

()
o` u est ouvert et 0 < < 1. C

() est lespace des fonctions continues

sur qui satisfont des conditions de Holder localement uniformement. En
dautres termes, u C

() si et seulement si, pour tout compact K , il

existe une constante C et il existe ]0, d(K, )[ tels que
y B

(0), sup
xK
[u(x + y) u(x)[ C|y|

(on a pris < d(K, ) uniquement pour que, quand x K et |y| < , on
ait x + y ).
Exercice 1.4. Montrez que, pour tout < 1, C
1
() C

().
Si k est un entier positif, C
k+
() sera lensemble des fonctions u
C
k
() telles que toutes les derivees partielles

u dordre [[ k sont dans

C

().
Le support dune fonction u, note supp u, est le complementaire du plus
grand ouvert sur lequel u = 0. Si R
n
, nous notons T() lespace des
fonctions C

dont le support est compact et inclus dans . En particulier,

si est ouvert, de telles fonctions sannulent au voisinage de .
Exercice 1.5. Montrez que supp u = x, u(x) ,= 0.
Si R
n
est un ouvert, une fonction u C

() est analytique reelle

si et seulement si on peut la developper en serie enti`ere au voisinage de tout
point. En dautres termes, u est analytique reelle si et seulement si, pour
tout x , il existe r > 0 tel que, pour tout y B
r
(x),
u(y) =

N
n

u(x)
!
(y x)

,
la serie convergeant normalement sur B
r
(x). Dans le cadre complexe, si pour
tout z , il existe r > 0 tel que, pour tout w B
r
(z),
u(z) =

N
n
1
!

f
z

(z)(w z)

Introduction. 5
o` u

z
j
=
1
2
_

x
j
i

y
j
_
et

1
z

1
1

n
z

n
n
, nous dirons que u est
holomorphe.
Enn, lespace de Schwartz o(R
n
) est lespace des fonctions C

sur R
n
qui decroissent plus rapidement `a linni que nimporte quelle puissance de
x. En dautres termes, u o(R
n
) si et seulement si u C

(R
n
) et, pour
tout multi-indices et , on a
sup
xR
n
|x|

u(x)[ < +.
1.3. Integrales dans R
n
et integrales de surfaces. On note dx la mesure
de Lebesgue dans R
n
. On dit quune fonction mesurable f dun ouvert de
R
n
`a valeurs dans C est integrable si et seulement si
_

[f(x)[dx < +.
Si S est une hypersurface de classe C
1
(voir le paragraphe suivant pour la
denition precise), on appellera d la mesure de surface euclidienne sur S.
Pour les lecteurs interesses, la denition dune telle mesure est donnee en
annexe `a la n du chapitre. On note d
n
la mesure de surface sur S
n
. En
particulier, si f : R
n
C est integrable, on a
_
R
n
f(x)dx =
_
+
r=0
r
n1
_
S
n
f(r)d
n
() dr
(cf. annexe `a la n du chapitre).
Exercice 1.6. Montrez que,
Vol B
n
=
1
n
(S
n
).
o` u Vol B
n
designe le volume de la boule unite et (S
n
) designe la surface de
la sph`ere unite.
Exercice 1.7. Montrez que, si f : S
n
C est
n
borelienne alors
_
S
n
f(x)d
n
(x) = n
_
B
n
0
f(
x
|x|
)dx.
Exercice 1.8. Veriez que est invariante par tout automorphisme othog-
onal de R
n
, cest-` a-dire que, si U est une transformation lineaire de R
n
dans
R
n
telle que
x, y R
n
, U(x), U(y)) = x, y),
6 Chapitre 1.
alors
_
S
n
f Ud
n
=
_
S
n
fd
n
.
Exercice 1.9. Soit r > 0. Montrez que la fonction R
n
0 x |x|

o` u
R est integrable dans B
r
(0) si et seulement si si et seulement si > n,
et quelle est integrable dans R
n
B
r
(0) si et seulement si < n.
Exercice 1.10. Montrez que
_
R
n
e
|x|
2
dx = 1.
Montrez que, pour les nombres complexes s tels que Re s > 0, la fonction
]0, +[ t e
t
t
s1
est integrable. On note
(s) =
_

0
e
t
t
s1
dt.
En faisant un passage aux coordonnees spheriques dans lintegrale
_
R
n
e
|x|
2
dx,
montrez que la surface de S
n
est
2
n/2
(n/2)
. En deduire que le volume de B
n
est
2
n/2
n(n/2)
.
Exercice 1.11.
1. Soit : R R ` a support compact de classe C
1
. Montrez que

est
integrable sur R et que
(0) =
_
+
0

(t)dt
2. Soit f : R
n
R ` a support compact, de classe C
1
.
2.a. Montrez que :
x R
n
, y R
n
0 f(x) =
_
+
0
f(x + ty) y dt.
2.b. Soit (S
n
) la surface de S
n
. Montrez que :
x R
n
, f(x) =
1
(S
n
)
_
+
t=0
_
yS
n
f(x + ty) y d
n
(y) dt.
Introduction. 7
2.c. En deduire que :
x R
n
, f(x) =
1
(S
n
)
_
zR
n
f(z)
x z
|x z|
n
dz.
1.4. Hypersurfaces, vecteurs normaux, parametrisations. On dit
quun sous-ensemble S de R
n
est une hypersurface de classe C
k
si, pour tout
x
0
S, il existe un ouvert V R
n
contenant x
0
et une fonction `a valeurs
reelles C
k
(V ) telle que ne sannule pas sur S V et telle que
S V = x V, (x) = 0.
Dans ce cas, gr ace au theor`eme des fonctions implicites, nous pouvons resou-
dre lequation (x) = 0 pr`es de x
0
et obtenir pour une certaine coordonnee
x
i
(nous supposerons par exemple que i = n)
x
n
= (x
1
, . . . , x
n1
)
o` u est une fonction de classe C
k
.
Exercice 1.12. Verier larmation precedente sans omettre de detail et
en supposant le theor`eme des fonctions implicites connu.
Un voisinage de x
0
dans S peut alors etre envoye sur un morceau de lhyper-
plan x
n
= 0 par le dieomorphisme local de classe C
k
x (x

, x
n
(x

)) o` u x

= (x
1
, . . . , x
n1
).
Exercice 1.13. Verier larmation precedente.
On dit alors que lapplication
x

(x

, (x

))
est une parametrisation locale.
Avec S, V et veriant les proprietes precedentes, le vecteur (x) est
perpendiculaire `a S en x pour tout x S V . En eet, lequation du plan
tangent en x est X R
n
, (x) (X x) = 0, ce qui montre que (x)
est perpendiculaire au plan tangent `a S en x, donc perpendiculaire `a S en
x. Si on suppose que S est orientee, cest-`a-dire que nous avons choisi un
vecteur unitaire n(x) pour chaque x S, qui est une fonction continue de x,
perpendiculaire `a S en x, n(x) sera appele la normale `a S en x ; clairement,
sur S V , on a :
n(x) =
(x)
|(x)|
.
8 Chapitre 1.
Si S est le bord dun domaine , on choisira toujours lorientation de fa con
`a ce que le vecteur n(x) pointe vers lexterieur de .
Si u est une fonction denie dans un voisinage de S, on denit la derivee
normale de u sur S par

n
u =
u
n
(x) =
n(x)
u(x) = n(x) u(x).
Exercice 1.14. Soit un ouvert de R
n
donne par = x R
n
: (x) < 0
o` u : R
n
R est de classe C
1
et tel que ne sannule pas sur x R
n
:
(x) = 0. Montrez que = x R
n
: (x) = 0 et que R
n
= x
R
n
: (x) > 0. Donnez la forme du plan tangent en un point x
0
du bord
de (on fera intervenir le gradient (x
0
) dans cette expression). On dit
quun vecteur est exterieur ` a en un point x
0
si et seulement si
t
0
> 0, t ]0, t
0
[, x
0
+ t R
n
.
Quelle est la normale exterieure unitaire ` a en x
0
?
Enn, nous avons le theor`eme de la divergence suivant :
Theor`eme de la divergence ou Formule de Green-Ostrogradsky.
Soit un domaine borne dans R
n
et S = quon suppose de classe C
1
.
Soit F un champ de vecteurs de classe C
1
sur . Alors
_
S
F(y) n(y)d(y) =
_

div F(x)dx.
Preuve. En annexe.
Exercice 1.15. Soit = (x, y) R
2
: x
2
+ y
2
< 1. Soient u, v
des fonctions de classe C
2
sur

. On note dm la mesure de Lebesgue
2dimensionnelle sur et d la mesure de Lebesgue 1dimensionnelle sur
le bord de . On note loperateur de Laplace (o` u Laplacien) deni par
= /x
2
+/y
2
. Enn, si (x
0
, y
0
), on note n(x
0
, y
0
) la normale exterieure
unitaire ` a en (x
0
, y
0
). Montrez la formule suivante (Green-Riemann) :
_

(uv vu) dm =
_

_
u
v
n
v
u
n
_
d.
Indication. Passer en coordonnees polaires et integrer par parties.
Exercice 1.16. Lorsque est un ouvert de R
n
de classe C
1
et soient u et
v deux applications de classe C
2
sur

. En appliquant la formule de Green-
Ostrogradsky au champ de vecteurs F = uv vu, montrer la formule de
Green-Riemann :
_

(uv vu) dm =
_

_
u
v
n
v
u
n
_
d.
Introduction. 9
2. Equations aux derives partielles.
2.1. Denition. On appelle equation aux derivees partielles dordre infe-
rieur ou egal k toute equation de la forme
F(x, (

u)
[[k
) = 0 (1)
reliant une fonction u de x R
n
et `a valeurs reelles ou complexes, x et
les derivees partielles de u dordres inferieurs ou egaux `a k et o` u F est une
fonction des variables x, u(x), (

u)
[[k
et `a valeurs reelles ou complexes. Si
k est le plus petit choisi parmi tous les k veriant cette propriete, on dit que
cette equation aux derivees partielles est dordre exactement k.
Si est un ouvert de R
n
et u = u(x) une fonction de classe C
k
sur ,
on dit que u est une solution classique de lequation aux derivees partielles
(1) si
F(x, (

u)
[[k
) = 0.
Si lequation (1) peut etre mise sous la forme

[[k
a

(x)

u(x) = f(x) (2)

o` u f est denie sur `a valeurs reelles ou complexes, on dit alors que
lequation (1) est une equation aux derivees partielles lineaires. Si les fonc-
tions a

sont constantes, on dit que (1) est une equation aux derivees par-
tielles lineaire ` a coecients constants, et si dans le cas dune equation `a
coecients constants, f 0 (resp. f , 0), on dit que cest une equation
homog`ene (resp. non homog`ene).
Si maintenant, (1) peut etre mise sous la forme

[[=k
a

(x, (

u)
[[k1
)

u = b(x, (

u)
[[k1
), (3)
on dira que lequation (1) est quasi-lineaire.
Enn, si dans lequation (1), u et F ne sont plus des fonctions `a valeurs
reelles ou complexes mais `a valeurs dans R
m
ou C
m
o` u m N

1,
nous dirons que (1) est un syst`eme dequations aux derivees partielles. On
denirait de mani`ere analogue un syst`eme dequations aux derivees partielles
lineaire, `a coecients constants, homog`ene, non homog`ene, quasi-lineaire.
Donnons quelques exemples de telles equations et de tels syst`emes de-
quations.
10 Chapitre 1.
2.2. Quelques exemples.
1. Equation de Cauchy-Riemann dans R
2
:
u
x
+ i
u
y
= 0
o` u u est `a valeurs complexes et i =

1.
2. Equation de Laplace dans R
n
:
u =
n

j=1

2
u
x
2
i
= 0.
3. Equation de la chaleur dans R
n+1
(on prend (t, x
1
, . . . , x
n
) pour coor-
donnees o` u, physiquement, t designe le temps et
x
designe le Laplacien
dans R
n
pour les coordonnees (x
1
, . . . , x
n
) ) :
u
t

x
u = 0.
4. Equation des ondes dans R
n+1
:

2
u
t
2

x
u = 0.
5. Equation de transport dans R
n+1
:
u
t
+
x
u =
u
t
+
n

i=1

i
u
x
i
= 0
o` u R
n
.
6. Equation dHelmholtz dans R
n
:
u + u = 0
o` u R.
7. Equation de Schrodinger dans R
n+1
:
i
u
t
+
x
u = 0.
Introduction. 11
8. Equation de Kolmogorov dans R
n+1
:
u
t

n

i,j=1
a
i,j

2
u
x
i
x
j
+
n

i=1
b
i
u
x
i
= 0,
o` u A = (a
i,j
)
1i,jn
M
n
(R) et b R
n
.
9. Equation du telegraphe dans R
2
:

2
u
t
2
+
u
t


2
u
x
2
= 0.
10. Equation des ondes generalisee dans R
n+1
:

2
u
t
2

n

i,j=1
a
i,j

2
u
x
i
x
j
+
n

i=1
b
i
u
x
i
= 0,
o` u A = (a
i,j
)
1i,jn
M
n
(R) et b R
n
.
11. Equation dAiry dans R
2
:
u
t
+

3
u
t
3
= 0.
12. Equation de rayonnement dans R
2
:
u
t
+

4
u
t
4
= 0.
13. Equation de Liouville dans R
n+1
:
u
t

n

i=1

x
i
(
i
u) = 0
o` u est une fonction `a valeurs dans R
n
de classe C
1
.
14. Equation de Fokker-Planck dans R
n+1
:
u
t

n

i,j=1

2
x
i
x
j
(a
i,j
u) +
n

i=1

x
i
(b
i
u) = 0,
o` u A = (a
i,j
)
1i,jn
est une application `a valeurs dans M
n
(R) de classe
C
1
et b est une application `a valeurs dans R
n
de classe C
1
.
12 Chapitre 1.
15. Equation dEikonal
|u| = 1.
16. Equation de Poisson non lineaire :
u + f(u) = 0
o` u f est une fonction continue.
17. Equation du pLaplacien
div
_
|u|
p2
u
_
= 0
o` u, si F est une fonction de classe C
1
denie sur un ouvert de R
n
et `a
valeurs dans R
n
,
div F =
n

j=1
F
j
x
j
est la divergence du champs de vecteur F.
18. Equation de la surface minimale :
div
_
u
_
1 +|u|
2
_
= 0.
19. Equation de Monge-Amp`ere en dimension 2 :
u
xx
u
yy
u
2
xy
= f.
20. Equation dHamilton-Jacobi :
u
t
+ H(
x
u, x) = 0.
21. Equation de la loi de conservation scalaire :
u
t
+ div
x
F(u) = 0.
22. Equation de Burger :
u
t
+ uu
x
= 0.
23. Equation de reaction-diusion scalaire :
u
t

x
u = f(u).
Introduction. 13
24. Equation de la porosite :
u
t

x
(u

) = 0.
25. Equation des ondes non lineaires :
u
tt

x
u = f(u)
26. Equation de Korteweg-de-Vries (KdV) :
u
t
+ uu
x
+ u
xxx
= 0.
27. Equations delasticite lineaire en equilibre :
u + ( + )(div u) =

0.
28. Equations delasticite lineaire en evolution :
u
tt
u ( + )(div u) =

0.
29. Equations de Maxwell :
_

E
t
=

rot

B

B
t
=

rot

E
div

B = div

E = 0.
30. Syst`eme des lois de conservation :
u
t
+ div

F(u) =

0.
31. Equation de reaction-diusion :
u
t
u =

f(u).
32. Equations dEuler pour un uide incompressible
_
u
t
+u u = p
div u = 0.
33. Equations de Navier-Stokes pour un uide incompressible et visqueux :
_
u
t
+ u u u = p
div u = 0.
14 Chapitre 1.
Exercice 1.17. Classier les equations aux derivees partielles du para-
graphe 2.2 : sont-elles lineaires, homog`enes, ` a coecients constants, quasi
lineaires ? Quels sont leurs ordres ?
2.3. Probl`emes. Dune mani`ere generale, nous nous interesserons dans
ce cours aux probl`emes suivants :
Existence. Peut-on trouver une solution de (1), satisfaisant au besoin
certaines conditions, dans le voisinage de tout point, ou dans un domaine
donne ? Peut-on construire des solutions ?
Unicite. En general, (1) aura plusieurs solutions. Quelles genres de
conditions doit-on imposer sur u pour que la solution soit unique ?
Comportement des solutions. Quelles seront les proprietes des solutions ?
Seront-elles dierentiables ? jusqu`a quel ordre ? Est-ce que les solutions
dependront contin ument des conditions au bord du domaine ? Dans le cas
lineaire, est-ce que les solutions u de (2) dependront contin ument de f ?
Les reponses `a ces questions dependront de la nature des contraintes
imposees aux solutions u de lequation (1), et dependront en fait tr`es forte-
ment de la nature de lequation (1) elle-meme. Pour illustrer cela, regardons
quelques exemples simples dans R
2
:
1. La solution generale de lequation u
x
= 0 est donnee par u(x, y) = f(y)
o` u f est une fonction arbitraire. Et donc, lequation u
x
= 0 donne une
compl`ete description du comportement de u par rapport `a la variable
x (u est constante), mais aucune indication du comportement de u par
rapport `a la variable y.
2. Toute solution de lequation de Cauchy-Riemann u
x
+ iu
y
= 0 est une
fonction holomorphe de la variable complexe z = x + iy, et donc est de
classe C

. Cette equation impose donc des restrictions tr`es fortes sur

toutes les derivees de u.
Nous verrons dans la suite de ce cours quelques methodes pour aborder
letude de ces probl`emes.
Introduction. 15
Annexe : Construction des mesures de sur-
face et preuve de la formule de Green-Ostro-
gradsky.
Cette annexe est donne `a titre dinformation. Elle ne pourra faire lobjet
de questions `a lexamen, et peut donc etre passee au cours de la lecture.
Nous allons denir les integrales de surface.
Considerons tout dabord la situation suivante. Soient U et V deux
ouverts de R
n
. Soit h : U V un C
1
dieomorphisme.
U
V
h
Il est bien entendu possible de calculer le volume de V par une integrale
sur U gr ace au theor`eme de changement de variables : Si x V et si on ecrit
que x = h(x

) avec x

U, alors
Vol V =
_
V
dx =
_
U
[Jh(x

)[dx

o` u [Jh(x

)[ est la valeur absolue du determinant de la matrice jacobienne de

h au point x

= (x

1
, . . . , x

n
) U R
n
.
Si on interpr`ete les elements de volumede la physique en termes de
mesure, on en deduit que la mesure de Lebesgue dx dans V est la mesure
16 Chapitre 1.
image de la mesure dx

de U par h, cest-`a-dire la mesure de densite [Jh(x

)[
par rapport `a la mesure de Lebesgue dans U.
Linterpretation physique de la valeur absolue du jacobien est classique :
cest le volume du parallelepip`ede engendre par les n vecteurs
h
x

1
, . . . ,
h
x

n
.
Nous allons utiliser cette approche pour denir la notion dintegrale de sur-
face.
Soit S une sous-variete de classe C
1
de dimension k plongee dans R
n
.
V
S
h
U
x
x
Si x est un point de S, on sait que par denition, il existe un ouvert
V de S contenant x, un ouvert U de R
k
et une application h : U R
n
de classe C
1
qui est un homemorphisme de U dans V et telle que de plus,
les vecteurs
h
x

1
(x

), . . . ,
h
x

k
(x

) soient lineairement independants pour tout

x

U. Autrement dit, lespace vectoriel tangent `a S en x existe et il est

engendre par les k vecteurs
h
x

1
(x

), . . . ,
h
x

k
(x

) avec x

tel que h(x

) = x.
On dira que lelement de surface sur S au point x sera, par denition,
lelement de surface dx dans U multiplie par le volume kdimensionnel
J
k
h(x

) du kparallelepip`ede engendre par les vecteurs

h
x

1
(x

), . . . ,
h
x

k
(x

)
Introduction. 17
o` u x

est tel que h(x) = x

. Autrement dit, si V
k
(V ) designe le volume
kdimensionnel de V , on a
V
k
(V ) =
_
U
[J
k
h(x

)[dx

.
Il resulte du theor`eme de changement de variable dans une integrale que cette integrale ne
depend pas du choix de U et de h. En eet, si U

est un autre ouvert de R

k
et si h

est une autre

application U

R
n
de classe C
1
qui est un homemorphisme de U

dans V et tels que de plus,

les vecteurs
h

1
(x

), . . . ,
h

k
(x

) soient lineairement independants pour tout x

, alors il
existe un C
1
dieomorphisme : U U

tel que h

= h (car les cartes (U, h) et (U

, h

) sont
compatibles ; cela resulte aussi du theor`eme du rang constant, voir par exemple le livre dA.
Avez, Calcul Dierentiel, Masson, page 86). En particulier, J
k
(h

)((x

)) J(x

) = J
k
(h)(x

)
o` u J designe le jacobien de , et donc
V
k
(V ) =
_
U
[J
k
h(x

)[dx

=
_
U

[J
k
h

(x

)[dx

.
Pour calculer le kvolume engendre par k vecteurs, on pourrait par exemple
xer une base orthonormale de lespace vectoriel engendre par ces k vecteurs
et considerer le determinant de ces k vecteurs dans cette base. Mais il est
beaucoup plus simple dutiliser les determinants de Gram, car le calcul du
kvolume engendre par ces k vecteurs ne fera pas intervenir le choix dune
base qui serait parfois dicile `a construire.
Proposition : Si x
1
, . . . x
k
sont k vecteurs dans R
n
avec k n, alors le carre
du k volume du kparallelepip`ede engendre par les k vecteurs x
1
, . . . x
k
est
egal au determinant, dit de Gram :
G(x
1
, . . . , x
k
) =

x
1
, x
1
) . . . x
1
, x
k
)
.
.
.
.
.
.
.
.
.
x
k
, x
1
) . . . x
k
, x
k
)

,
o` u , ) designe le produit scalaire usuel sur R
n
.
Preuve : Considerons e
1
, . . . , e
k
une base orthonormee de lespace vecto-
riel engendre par x
1
, . . . , x
k
. Si on ecrit x
i
=

k
=1

i,
e

, alors x
i
, x
j
) =

k
=1

i,

j,
. En particulier, si M = (
i,j
)
1i,jk
, alors G(x
1
, . . . , x
k
) =
det(M
t
M) = (det M)
2
. Enn, il est clair que le kvolume recherche vaut
[ det M[.
Exercice A : Calculez la longueur dune courbe parametree dans R
2
, dune
courbe gauche dans R
3
, la surface de la sph`ere unite de R
3
(utiliser les co-
ordonnees spheriques), la longueur dune courbe donnee en coordonnees po-
laires dans le plan, en coordonnees spheriques dans R
3
, etc. . .
18 Chapitre 1.
Integration sur la sph`ere unite. Considerons S
n
la sph`ere unite dans R
n
,
cest `a dire que S
n
= (x
1
, . . . , x
n
) R
n
: x
2
1
+ + x
2
n
= 1. Soit
= ]0, [ ]0, [
. .
n2 fois
] , [ R
n1
et soit : S
n
lapplication donnee par
_

1
() = sin
1
. . . sin
n2
sin
n1

2
() = sin
1
. . . sin
n2
cos
n1

3
() = sin
1
. . . sin
n3
cos
n2
.
.
. =
.
.
.

n1
() = sin
1
cos
2

n
() = cos
1
On a () = S
n
, `a un ensemble negligeable pr`es. Calculons le (n1)volume
engendre par les n1 vecteurs

1
, . . . ,

n1
: un calcul direct nous donne

j
= 0 pour i ,= j,
et
_
_
_
_

1
_
_
_
_
2
= 1,
_
_
_
_

2
_
_
_
_
2
= sin
2

1
,
_
_
_
_

3
_
_
_
_
2
= sin
2

1
sin
2

2
, . . . ,
_
_
_
_

n1
_
_
_
_
2
= sin
2

1
. . . sin
2

n2
.
Et donc,

G
_

1
, . . . ,

n1
_
= sin
n2

1
sin
n3

2
. . . sin
2

n3
sin
n2
.
Do` u, si est la mesure sur S
n
image par de la mesure de Lebesgue dans
, et si f est une fonction denie sur S
n
integrable,
_
S
n
f()d() =
_

(f )() sin
n2

1
sin
n3

2
. . . sin
2

n3
sin
n2
d
1
. . . d
n1
.
Introduction. 19
Coordonnees spheriques. On consid`ere la decomposition spherique dun
vecteur x R
n
selon x = r avec r = |x| et S
n
. En reprenant les
memes notations quau paragraphe precedent, introduisons louvert de R
n
donne par
T =]0, +[
et considerons lapplication : T R
n
denie par
(r, ) = r().
Alors est un C

dieomorphisme de T sur (D) R

n
. De plus, R
n
(T)
est negligeable pour la mesure de Lebesgue dans R
n
. La matrice jacobienne
de est composee de vecteurs deux `a deux orthogonaux (car on a vu que les

i
etaient deux `a deux orthogonaux et engendrent lespace vectoriel tangent
`a la sph`ere de rayon r au point (r, ), qui est orthogonal `a (r, ) donc aussi
`a

r
). La valeur absolue du jacobien est donc egal au produit des normes
des vecteurs qui composent la matrice jacobienne, et donc
[J(r, )[ = r
n1
sin
n2

1
sin
n3

2
. . . sin
2

n3
sin
n2
.
En particulier, si f : R
n
C est integrable, on a
_
R
n
f(x)dx =
_
T
(f )(r, )r
n1
sin
n2

1
sin
n3

2
. . . sin
2

n3
sin
n2
d dr
=
_
+
r=0
r
n1
_

(f(r()) sin
n2

1
sin
n3

2
. . . sin
2

n3
sin
n2
d dr
=
_
+
r=0
r
n1
_
S
n
f(r)d() dr.
Preuve de la formule de Green-Ostrogradsky. Soit un domaine
borne dans R
n
et S = quon suppose de classe C
1
. Soit F un champ de
vecteurs de classe C
1
sur . Nous allons montrer que
_
S
F(y) n(y)d(y) =
_

div F(x)dx.
Premi`ere etape. Tout dabord, montrons que, si F est de classe C
1
dans ,
alors on peut prolonger F ` a un voisinage de .
Pour cela, on remarque que, pour tout x
0
S, il existe un ouvert V
contenant x
0
tel quon ait S V = = 0 o` u C
1
(V ) est telle que
20 Chapitre 1.
ne sannule pas sur V S. Nous pouvons resoudre lequation = 0 pr`es de
x et obtenir pour une certaine coordonnee x
n
S = x, x
n
= (x
1
, . . . , x
n1
)
dans un ouvert U contenant x
0
. Quitte `a restreindre un peu U, on peut
supposer que U est une boule centree en x
0
et que U = x, x
n
< (x

) o` u
x

= (x
1
, . . . , x
n1
) et que lapplication qui `a x U associe (x

, x
n
(x

))
est un dieomorphisme de U dans (U) = U

. Enn, (U ) = U

x
n
<
0.
Lapplication F

= F
1
sera denie et de classe C
1
sur U

x
n
0
puisque F est de classe C
1
sur .
Nous pouvons maintenant etendre la fonction F

sur U

en une fonction

de classe C
1
: il sut de prendre par exemple

(x) = F

(0, x

) + x
n
F

x
n
(0, x

)
pour x
n
> 0. Enn, pour etendre la fonction F `a U tout entier, il sut de
considerer

F =

F

,
ce qui clot la premi`ere etape.
Seconde etape. Montrons que la formule de Green-Ostrogradsky est vraie
si F est ` a support compact dans . Dans ce cas, on a F = 0 dans un voisinage
du bord de . Il sut donc de montrer que
_

div F = 0.
Tout dabord, on peut recouvrir le support de F par une reunion nie de
paves de la forme

n
i=1
]a
i
, b
i
[.
En utilisant une partition de lunite adaptee `a cette famille de paves,
nous voyons quil sut de prouver cette formule dans le cas o` u le support de
F est inclus dans un pave P =

n
i=1
]a
i
, b
i
[.
Nous allons montrer que
_
P
F
1
x
1
= 0,
la preuve des egalites
_
P
F
k
x
k
= 0
Introduction. 21
etant tout `a fait analogues.
On a donc
_
P
F
1
x
1
=
_
b
1
a
1
_
b
2
a
2
. . .
_
b
n
a
n
F
1
x
1
dx
n
. . . dx
2
dx
1
=
_
b
2
a
2
. . .
_
b
n
a
n
__
b
1
a
1
F
1
x
1
dx
1
_
dx
n
. . . dx
2
=
_
b
2
a
2
. . .
_
b
n
a
n
(F
1
(b
1
, x
2
, . . . , x
n
) F
1
(a
1
, x
2
, . . . , x
n
)) dx
n
. . . dx
2
= 0
car F
1
(b
1
, x
2
, . . . , x
n
) = F
1
(a
1
, x
2
, . . . , x
n
) = 0. On a donc termine la preuve
de la seconde etape.
En recouvrant le bord de par des petits paves puis en utilisant une
partition de lunite adaptee `a ce recouvrement, on voit quil sut de prouver
la formule de Green-Ostrogradsky dans le cas o` u le support de F est dans
un petit voisinage dun point x
0
du bord de .
Troisi`eme etape. Montrons la formule de Green-Ostrogradsky dans le cas
o` u le support de F est dans un petit voisinage dun point x
0
du bord de .
Nous pouvons comme precedemment supposer que, dans ce voisinage V , on
a V = x, x
n
< (x

) et S V = x, x
n
= (x

).
Le vecteur normal exterieur `a en x unitaire est
1

1 +
_

x
1
_
2
+ +
_

x
n
_
2
_

x
1
, . . . ,

x
n1
, 1
_
et lelement de surface de S en x est
d =

1 +
_

x
1
_
2
+ +
_

x
n
_
2
dx
1
. . . dx
n1
,
formule `a verier en exercice (Exercice B). On a alors
_

div F dx =
n

j=1
_
x
n
<(x

)
F
j
x
j
dx
Posons y

= x

et y
n
= x
n
(x

), G(y) = F(y

, y
n
+ (y

)). On a
_

div F dx =
n1

j=1
_
y
n
<0
_
G
j
y
j

x
j
G
j
y
n
_
dy +
_
y
n
<0
G
n
y
n
dy.
22 Chapitre 1.
Or, pour j = 1, . . . , n 1, on a :
_
y
n
<0
G
j
y
j
= 0
puisque G est `a support compact. Donc
_

div F dx =
n1

j=1
_
y
n
<0

x
j
G
j
y
n
dy +
_
y
n
<0
G
n
y
n
dy
=
n1

j=1
_
y

R
n1

x
j
G
j
(y

, 0)dy

+
_
y

R
n1
G
n
(y

, 0)dy

.
De plus,
_
S
F n(x)d(x) =
n1

j=1
_
x

R
n1
F
j
(x

, (x

))

x
j
(x

)dx

+
_
x

R
n1
F
n
(x

, (x

))dx

,
do` u legalite demandee. On a donc termine la preuve de letape 3 et par l`a
termine la preuve de la formule de Green-Ostrogradsky.