Академический Документы
Профессиональный Документы
Культура Документы
Auteurs :
Tifman P’tit journaliste Chevelu chocolaté
1 Analyse vectorielle 6
1.1 Rappels et préliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1 Notion de différentiabilité . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.2 Quelques opérateurs différentiels . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Courbes et intégrales curvilignes . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 Courbes curvilignes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.2 Intégrales curvilignes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.3 Intégrale curviligne d’une application . . . . . . . . . . . . . . . . . . . . . 11
1.3 Champs qui dérivent d’un potentiel* . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.1 Potentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.2 Quelques notions topologiques . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.3 Champs qui dérivent d’un potentiel et intégrales curvilignes . . . . . . . . 14
1.3.4 Condition suffisante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Théorème de Green* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5 Surfaces et intégrales de surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5.1 Surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5.2 Intégrales de surfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6 Théorème de la divergence* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.6.1 Theorème de la divergence . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.6.2 Démonstration du théorème de la divergence . . . . . . . . . . . . . . . . 24
1.7 Théorème de Stokes* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7.1 Théorème de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7.2 Démonstration du théorème . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2 Analyse complexe 29
2.1 Fonctions holomorphes et équations de Cauchy-Riemann . . . . . . . . . . . . . . 29
2.1.1 Rappel sur les nombres complexes . . . . . . . . . . . . . . . . . . . . . . 29
2.1.2 Continuité des fonctions complexes . . . . . . . . . . . . . . . . . . . . . . 29
2.1.3 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1.4 Les séries de puissance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.1.5 La fonction exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.1.6 La fonction logarithme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.1.7 La fonction puissance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Intégration complexe* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2.1 Rappels sur les intégrales curvilignes . . . . . . . . . . . . . . . . . . . . . 35
2.2.2 Lemme de Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2.3 Continuité des dérivées des fonctions holomorphes . . . . . . . . . . . . . 39
2.2.4 Théorème et formule intégrale de Cauchy . . . . . . . . . . . . . . . . . . 42
2.2.5 Conséquences du théorème de Cauchy . . . . . . . . . . . . . . . . . . . . 43
2.2.6 Résumé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.2.7 "Généralisation" à Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.3 Séries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2
TABLE DES MATIÈRES 3
3 Lebesgue 85
3.1 Préliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.1.1 L’intégrale de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.1.2 Notations et théorèmes importants . . . . . . . . . . . . . . . . . . . . . . 86
3.2 Mesure sur les réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.2.1 La mesure extérieure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.2.2 Ensemble mesurable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
3.2.3 Les σ-algèbres, les boréliens et les mesurables . . . . . . . . . . . . . . . . 95
3.2.4 Fonctions mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.2.5 L’ensemble de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.2.6 La fonction de Lebesgue et l’existence d’un mesurable non borélien . . . . 100
3.3 Intégrale de Lebesgue* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
3.3.1 Intégrale de fonctions positives . . . . . . . . . . . . . . . . . . . . . . . . 101
3.3.2 Intégrale générale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
3.3.3 Relation entre les intégrales de Riemann et Lebesgue . . . . . . . . . . . . 107
3.3.4 Approximation par des fonctions lisses . . . . . . . . . . . . . . . . . . . . 107
3.3.5 Les espaces Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
3.3.6 Intégrales multiples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
6 Divers 181
6.1 Citations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Introduction
Ce polycopié est la retranscription des notes du cours du professeur Dacorogna des années
2007 à 2009.
Malgré de très nombreuses relectures il restera toujours des fautes ; ce polycopié est donc fournit
sans garantie ! N’hésitez pas à nous signaler les différentes erreurs.
Remarque 0.0.1
La belle image que vous voyez en page de titre est une illustration du. . .
Remarque 0.0.4
Comme on peut le voir sur l’image, le théorème n’est pas vrai pour une sphère de dimension
impaire.
Remarque 0.0.5
Les sections dont le titre est suivi du symbole ∗ sont celles pour lesquelles des questions de cours
peuvent tomber à l’examen 2009 !
Chapitre 1
Analyse vectorielle
L : Rn −→ RN
telle que
f (x0 + h) − f (x0 ) − L(h)
lim = 0.
h→0 khk
L est appelée différentielle de f en x0 et est notée Df (x0 ). On dit que f est différentiable sur Ω
si elle est différentiable pour tout x0 ∈ Ω.
Proposition 1.1.2
Soit f une fonction, alors
(i) f est différentiable en x0 si et seulement si pour tout 1 ≤ i ≤ N , f i est différentiable en
x0 ;
∂f i
(ii) si f est différentiable en x0 , alors ∂xj existe pour tout 1 ≤ i ≤ n et 1 ≤ j ≤ n.
La matrice
∂f 1 ∂f 1
∂x1 ··· ∂xn
. ..
Df (x0 ) ∼ ..
= .. . .
∂f n ∂f n
∂x1 ··· ∂xn
est appelèe matrice jacobienne. Si n = N , det (Df (x0 )) est appelé le jacobien.
Remarque 1.1.3
Si n = 1, f est différentiable en x0 si et seulement si f 0 (x0 ) existe.
∂f i
Si n > 1, il se peut que les ∂xj
(x0 ) existent pour tous i et j sans que f soit différentiable en x0 .
6
1.1. RAPPELS ET PRÉLIMINAIRES 7
avec
[x, y] = x + t(y − x) ∈ RN : t ∈ [0, 1] .
Définition 1.1.5
Soit Ω un ouvert et f : Ω → R.
(i) On dit que f ∈ C(Ω; RN ) ou C 0 (Ω, RN ) si f i ∈ C 0 (Ω) pour tout i = 1, . . . , N .
∂f i
(ii) On dit que f ∈ C 1 (Ω; RN ) si f est différentiable dans Ω et ∂xj ∈ C 0 (Ω) pour tous i et j.
(iii) Idem pour C 2 , C 3 , . . . , C ∞ = ∩∞
k=0 C
k
Proposition 1.1.6
∂f i
∈ C 0 ⇒ f ∈ C 0.
∂xj
Remarque 1.1.8
Dans le cours, on utilisera la définition (i), mais la meilleure est (ii). On a toujours (i) ⇒ (ii) et
souvent (ii) ⇒ (i).
∂f 2 ∂f 1
rot f (x) = − .
∂x1 ∂x2
Pour n = 3
e1 e2 e3
rot f (x) = ∂x∂ ∂
∂x2
∂
∂x3
.
11
f2 f3
f
Pour n ≥ 2 i
∂f j
∂f n(n−1)
rot f (x) = (−1)i+j j
− i
∈R 2 .
∂x ∂x
Théorème 1.1.10
Soit Ω ⊂ Rn un ouvert et f ∈ C 2 (Ω). Alors, on a les égalités suivantes :
(i)
div (5f ) = 4f ;
(ii) Si n = 3
– rot (5f ) = 0 (vrai pour tout n ≥ 2) ;
– div (rot f ) = 0 (vrai seulement pour n = 3).
f 0 |]ai ,ai+1 [ ∈ C 0 .
Exemples :
1
• la fonction f : [−1, 1] −→ R, x 7→ |x| est Cmorc mais pas C 1 ;
p
• la fonction f : [−1, 1] −→ R, x 7→ |x| est C 0 mais pas Cmorc
1 .
(ii) γ(t) = γ1 (t), γ2 (t), . . . , γn (t) ;
q
0 0
(iii) kγ (t)k = γ12 + . . . + γn0 2 6= 0, pour tout t ∈ [a, b].
S’il existe γ ∈ Cmorc 1 ([a, b]; Γ ⊂ Rn ), telle que γ 0 (t) 6= 0, pour tout t ∈ [ai , ai+1 ], pour tout
i = 0, . . . , N , alors Γ est dite régulière par morceaux.
On a alors
γ 0 (θ) = − sin(θ), cos(θ) ,
ainsi
0
γ (θ)
= 1, ∀θ ∈ [0, 2π].
(iii) Si Γ ⊂ Rn est une courbe simple et régulière (avec γ simple et régulière) et f : Γ −→ R une
fonction continue Z Z
f dl := f dl.
Γ γ
Remarque 1.2.6
Quand on dit qu’une courbe possède une propriété, par exemple celle d’être simple et régulière,
cela veut dire qu’il existe une paramétrisation possédant cette particularité. Les divers calculs
d’intégrales seront faits avec une telle paramétrisation.
Proposition 1.2.7R
La définition de Γ f dl est indépendante du choix de la paramétrisation (dans le cas où celle-ci
est simple et régulière). Plus précisément :
1
Soient δ ∈ Cmorc ([c, d]; Rn ) et θ ∈ C 1 ([a, b]; [c, d]), une application surjective telle que θ0 (t) > 0,
10 CHAPITRE 1. ANALYSE VECTORIELLE
Démonstration.
Z Z b
f (γ(t)) ·
γ 0 (t)
dt
f dl =
γ a
Z b
f (δ(θ(t))) ·
δ 0 (θ(t))
θ0 (t)dt
=
a
Z d
f (δ(s))
δ 0 (s)
ds ; on pose s = θ(t)
=
Zc
= f dl.
δ
Remarque 1.2.8
Si, dans la proposition ci-dessus, on a θ0 (t) < 0, pour tout t, on aura :
Z Z
f dl = − f dl.
γ δ
Proposition 1.2.9
Soit Γ ⊂ Rn une courbe simple et régulière (éventuellement régulière par morceaux), de paramé-
trisation γ : [a, b] −→ Γ (simple et régulière) et soit f : Γ −→ R continue, alors
Z
f dl ≤ sup{|f (x)|} · long Γ.
Γ x∈Γ
ce qui implique
Z Z b
|f (γ(t))|
γ 0 (t)
dt
f dl ≤
Γ a
Z b
0
≤ sup {|f (x)|} ·
γ (t)
dt.
x∈Γ a
Rx
1. On définit y = η(x) = a kγ 0 (t)k dt, alors η : [a, b] −→ [0, long Γ] est strictement croissante
car η 0 (x) = kγ 0 (x)k =
6 0, pour tout x. Ainsi, η est inversible et η −1 ∈ C 1 .
2. On définit
ϕ(y) = γ η −1 (y) ,
et on vérifie que ϕ : [0, long Γ] −→ Γ est simple, régulière et kϕ0 (y)k = 1, pour tout y.
Notation 1.2.12
Nous utiliserons les notations suivantes :
(i) Si γ : [a, b] −→ Rn , γ ∈ Cmorc
1 ([a, b]; Rn ) est une paramétrisation simple et régulière par
morceaux δ = −γ est définie par sa paramétrisation :
(iii) Si Γ ⊂ Rn est une courbe simple et régulière de paramétrisation simple et régulière par
morceaux Z Z
F · dl := F · dl.
Γ γ
Remarque 1.2.14
On peut montrer les deux points suivants.
R
(i) La définition de Γ F · dl est indépendante de la paramétrisation simple et régulière (par
morceaux).
(ii) On a la majoration suivante :
Z
F · dl ≤ sup {kF (x)k} · long Γ.
Γ x∈Γ
12 CHAPITRE 1. ANALYSE VECTORIELLE
∂F i ∂F j
(x) = (x), ∀i, j, ∀x
∂xj ∂xi
Remarque 1.3.3
On formule les deux remarques suivantes.
– L’égalité ci-dessus est équivalente à rot (F (x)) = 0, pour tout x ∈ Ω ;
– si Ω est aussi connexe, alors le potentiel, s’il existe, est unique à une constante près.
Démonstration. Si F dérive d’un potentiel, il existe une fonction f ∈ C 1 (Ω) telle que
∂f
F = 5f ⇔ F i = , i = 1, . . . , n.
∂xi
Comme F ∈ C 1 , on a que f ∈ C 2 (Ω), ce qui permet d’écrire
∂F i ∂2f ∂F j
∂ ∂f
= = = .
∂xj ∂xj ∂xi ∂xi ∂xj ∂xi
tx + (1 − t)y ∈ Ω.
(ii) On dit que Ω est connexe si chaque fois que Ω = X ∪ Y avec X, Y ⊂ Ω des ouverts,
X ∩ Y = ∅, alors X = ∅ ou Y = ∅.
(iii) On dit que Ω est connexe par arcs si pour tout x ∈ Ω et pour tout y ∈ Ω, il existe
γ ∈ C([0, 1]; Ω) telle que
γ(0) = x et γ(1) = y.
(iv ) On dit que Ω est un domaine si Ω est ouvert et connexe.
Proposition 1.3.5
Nous avons les relations suivantes :
(i)
Démonstration. Supposons que Ω ne soit pas connexe, c’est-à-dire, qu’il exsite des ouverts X et
Y tels que
X 6= ∅ =
6 Y, X ∩ Y = ∅, Ω = X ∪ Y.
Montrons que Ω n’est pas connexe par arcs. Par l’absurde, supposons que Ω soit connexe par
arcs. Soient x ∈ X et y ∈ Y , il existe donc une fonction continue γ : [0, 1] −→ Ω telle que
γ(0) = x, γ(1) = y.
Soient
A = γ −1 (X) ∩ [0, 1], B = γ −1 (Y ) ∩ [0, 1].
On a alors :
(i) A et B sont ouverts dans [0, 1], car γ est continue ;
(ii) A 6= ∅ =
6 B car 0 ∈ A et 1 ∈ B ;
(iii) A ∩ B = ∅ (car X ∩ Y = ∅) ;
(iv) A ∪ B = [0, 1].
Contradiction car [0, 1] est connexe.
Remarque 1.3.6
Nous remarquons que
(i) dès que n ≥ 2 alors la réciproque est fausse ;
(ii) par contre, si Ω est ouvert et connexe, alors il est connexe par arcs. De plus, dans la défi-
nition de connexe par arcs, on peut prendre γ ∈ C ∞ ([0, 1]; Ω) sans restriction.
γ0 (a) = γ1 (a),
γ0 (b) = γ1 (b),
alors il existe γ : [a, b] × [0, 1] −→ Ω une application continue, telle que si γ = γ(t, s),
alors :
γ(t, 0) = γ0 (t), γ(t, 1) = γ1 (t), ∀t ∈ [a, b].
On aura de plus :
et :
γ(t, s) ∈ Ω, ∀(t, s) ∈ [a, b] × [0, 1].
Cela veut que pour tout couple de chemins ayant les mêmes extrémités, on peut les déformer
continûment l’un vers l’autre.
Remarque 1.3.8
Si Ω est de plus ouvert, on peut prendre γ ∈ C ∞ dans la définition ci-dessus.
14 CHAPITRE 1. ANALYSE VECTORIELLE
Proposition 1.3.10
On peut montrer que
(i) tout ensemble convexe est étoilé par rapport à n’importe quel point ;
(ii) un ensemble étoilé est simplement connexe.
Proposition 1.3.11
Soit f ∈ C([a, b]; Rn ), alors il existe une suite de fonctions (fν )∞ ∞ n
ν=0 ⊂ C ([a, b]; R ), avec fν (a) =
f (b), fν (b) = f (b), pour tout ν ∈ N telle que fν −→ f uniformément sur [a, b].
De plus, si Ω ⊂ Rn est ouvert et si Γ := f ([a, b]) ⊂ Ω alors Γν := fν ([a, b]) ⊂ Ω pour tout ν
suffisamment grand.
Résumé :
Convexe ⇒ étoilé ⇒ simplement connexe ⇒ connexe par arcs ⇒ connexe.
Démonstration. (i) ⇒ (ii) On peut considérer, sans perte de généralité que γ0 , γ1 ∈ C ∞ . Comme
1
R f ∈ C (Ω) telle que F (x) = 5 f (x) pour tout x ∈ Ω.
F dérive d’un potentiel surR Ω, il existe
On aimerait montrer que γ0 F dl = γ1 F dl. Calculons
Z Z b
F γ0 (t) · γ00 (t)dt
F · dl =
γ0 a
n
Z bX
0
F i γ0 (t) γ0i (t)dt
=
a i=1
Z bX n
∂f 0
γ0 (t) γ0i (t)dt
=
a i=1 ∂xi
Z b h
d
= f γ0 (t) Bbig]dt
a dt
= f γ0 (b) − f γ0 (a) .
De la même manière,
Z
F dl = f γ1 (b) − f γ1 (a)
γ1
= f (γ0 (b)) − f (γ0 (a))
Z
= F dl.
γ0
1.3. CHAMPS QUI DÉRIVENT D’UN POTENTIEL* 15
(ii) ⇒ (iii) Soit γ : [a, b] −→ Ω une application telle que γ(a) = γ(b). Grâce à la proposition
principale, on peut supposer, sans perte de généralité, qie γ ∈ C ∞ ([a, b; Ω]). On définit
alors le chemin constant :
δ : [a, b] ∈ Ω
t 7→ a.
Et donc :
Z Z Z b
F · dl = F · dl = F (δ(t)) · δ 0 (t) dt = 0.
γ δ a |{z}
=0
1
(iii) ⇒ (ii) Soient γ0 , γ1 ∈ Cmorc ([a, b]; Ω) ainsi que p := γ0,1 (a) et q := γ0,1 (b). On définit
δ : [a, 2b − a] −→ Ω
γ0 (t) t, ∈ [a, b]
δ(t) =
γ1 (2b − t) t, ∈]b, 2b − a]
Remarquons que :
1
et que δCmorc . Alors :
Z Z Z
(iii)
0 = F dl = F dl − F dl
δ γ γ1
Z Z0
⇒ F dl = F dl.
γ0 γ1
(ii) ⇒ (i) Soit p ∈ Ω fixé et x ∈ Ω quelconque. Comme Ω est connexe par arcs, il existe γx ∈
1
Cmorc ([a, b]; Ω) tel que γx (a) = p et γx (b) = x. On prétend que le potentiel est donné par
Z
f (x) = F · dl.
γx
∂f
F = 5f ⇔ F i = , ∀i = 1, . . . , n.
∂xi
Soit δ > 0 suffisamment petit pour que x + hei ∈ Ω pour tout h tel que |h| < δ (les
{e1 , . . . , en } sont les vecteurs de la base canonique). Soit γh : [0, h] −→ Ω, définie par
γh (t) := x + tei . On définit δ := γx+hei = γx ⊕ γh qui est paramétrée par
γx (t) t ∈ [a, b]
δ(t) =
γh (t − b) t ∈ ]b, b + h].
16 CHAPITRE 1. ANALYSE VECTORIELLE
1
Remarquons, qu’alors δ ∈ Cmorc ([a, b + h]; Ω). On va calculer
Z Z
(ii)
f (x + hei ) − f (x) = F · dl − F · dl
γx+hei γx
Z
= F · dl
γh
Z h
= F (γh (t)) · γh0 (t) dt
0 | {z }
ei
Z h
= F (x + tei ) · ei dt
0
Z h
f (x + hei ) − f (x) 1
⇔ = F i (x + tei )dt
h 0 h
TAF
= F i (x + th ei ) , th ∈ [0, h], (1.1)
où TAF est le théorème des accroissements finis.
On aura alors :
f (x + hei ) − f (x) h→0+ ∂f
−→ (x)
h ∂xi
h→0+
F i (x + th ei ) −→ F i (x); F ∈ C 0 .
Ces deux, limites combinées avec l’égalité (1.1), donnent :
∂f
= F i (x).
∂xi
Idem pour h < 0.
Conclusion :
∂f
f ∈ C1 et = F i,
∂xi
comme désiré.
On a :
Z b Z
∂γ
ψ(0) = F (γ(t, 0)) · (t, 0) dt = F · dl,
a |∂t {z } γ0
γ00 (t)
Z
ψ(1) = F · dl.
γ1
On doit montrer que ψ(0) = ψ(1), mais on va montrer que ψ 0 (s) = 0, pour tout s ∈ [0, 1] :
Z bXn
∂γ ν
0 d ν
ψ (s) = F γ(t, s) (t, s) dt
a ν=1 ds ∂t
n n
Z bX " #
∂γ ν X ∂F ν ∂γ i 2 ν
ν∂ γ
= · · +F dt
a ν=1 ∂t ∂xi ∂s ∂t∂s
i=1
Z b " n # Z b X n
ν ∂F ν ∂γ i ∂γ ν ∂γ ν ∂γ i
d X
ν ∂γ
= F dt + − dt.
a dt ∂s a ∂xi ∂s ∂t ∂s ∂t
ν=1 ν,i=1
On vérifie facilement
X ∂F ν ∂γ i ∂γ ν ∂γ ν ∂γ i
X ν
∂F ∂F i ∂γ i ∂γ ν (1.2)
− = − = 0
∂xi ∂s ∂t ∂s ∂t ∂xi ∂xν ∂s ∂t
ν,i ν,i
∂γ ν ∂γ ν
(b, s) = (a, s) = 0.
∂s ∂s
est extérieur au domaine Ω = int Γ, c’est-à-dire que pour tout suffisamment petit x + ν ∈
/Ω
et x − ν ∈ Ω.
Définition 1.4.3 (Domaine régulier, orientation du bord du domaine)
Définitions sur les domaines.
(i) On dit que Ω ⊂ R2 est un domaine régulier s’il existe Ω0 , Ω1 , . . . , Ωm des ouverts bornés
tels que
• Ω = Ω0 − m
S
i=1 Ωi ;
• Ωi ⊂ Ω0 , pour tout i ;
• Ωi ∩ Ωj = ∅ pour tout i différent de j ;
• pour tout j = 0, . . . , m, Γj := ∂Ωj est une courbe fermée, simple et régulière par mor-
ceaux.
(ii) Le bord ∂Ω = Γ0 ∪ Γ1 ∪ . . . ∪ Γm d’un tel domaine est orienté positivement si en parcourant
le bord on laisse le domaine à gauche.
Théorème 1.4.4 (Théorème de Green)
Soient Ω ⊂ R2 un domaine régulier dont le bord est orienté positivement et F ∈ C 1 Ω; R2 .
Alors : ZZ Z
rot F dx1 dx2 = F · dl.
Ω ∂Ω
En particulier, si F1 = 0 (respectivement F2 = 0) :
∂F 2
ZZ Z
0, F 2 · dl.
dx1 dx2 =
Ω ∂x1 ∂Ω
ZZ 1
∂Φ2
ZZ
∂Φ
div Φdx1 dx2 = + dx1 dx2
Ω Ω ∂x1 ∂x2
Z
= (Φ · ν)dl.
∂Ω
F 1 = −ψ 2 , F 2 = ψ1.
Alors, on a
∂F 2 ∂F 1
rot F = − = div ψ.
∂x1 ∂x2
1.4. THÉORÈME DE GREEN* 19
Corollaire 1.4.7
Soient Ω, ∂Ω comme dans le théorème de Green et les fonctions F (x1 , x2 ) = (−x2 , x1 ), G1 (x1 , x2 ) =
(0, x1 ) et G2 (x1 , x2 ) = (−x2 , 0). Alors :
ZZ Z
1
Aire (Ω) := dx1 dx2 = F · dl
2
Z Ω Z ∂Ω
= G1 · dl = G2 · dl.
∂Ω ∂Ω
Conclusion :
Si Ω est x1 -simple et x2 -simple :
ZZ 2
∂F 1
Z Z
∂F
F 1 , F 2 · dl =
− dx1 dx2 = F · dl.
Ω ∂x1 ∂x2 ∂Ω ∂Ω
Montrons que
∂F 1
ZZ Z
F 1 , 0 · dl.
dx1 dx2 = −
Ω ∂x2 ∂Ω
20 CHAPITRE 1. ANALYSE VECTORIELLE
Calculons
!
b β(x1 )
∂F 1 ∂F 1
ZZ Z Z
dx1 dx2 = dx2 dx1
Ω ∂x2 a α(x1 ) ∂x2
Z b
F 1 (x1 , β(x1 )) − F 1 (x1 , α(x1 )) dx1 .
=
a
2)
Z Z 1
1
F 1 (b, t · β(b) + (1 − t) · α(b)) , 0 · (0, β(b) − α(b))dt
− F , 0 · dl = −
Γ2 0
= 0.
3)
Z Z b
1
F 1 (x1 , β(x1 )), 0 · 1, β 0 (x1 ) dx1
− F , 0 · dl =
−Γ3 a
Z b
= F 1 (x1 , β(x1 ))dx1 .
a
4)
Z Z 1
1
F 1 (a, t · α(a) + (1 − t) · β(a)) , 0 · (0, α(a) − β(a))dt
− F , 0 · dl = −
Γ4 0
= 0.
2. Comme ∂A est une courbe simple, fermée, régulière par morceaux, on peut écrire
m
[ m
[ m
[
∂A = γi , σ(∂A) = σ(γi ) = Γi .
i=1 i=1 i=1
Le bord de Σ est un sous ensemble de σ (∂A) dans lequel on a enlevé les Γi composés d’un
point et les Γi parcourus une fois dans un sens et une fois dans l’autre.
Le sens de parcours de ∂Σ est celui induit par le sens de parcours de ∂A.
Remarque 1.5.2 (i) Le vecteur normal ν ne dépend pas de la paramétrisation (au signe près).
(ii) Le bord ∂Σ ne dépend pas de la paramétrisation (par contre σ (∂A) dépend de la paramé-
trisation).
Proposition 1.5.3
Soient A, B ⊂ R2 des ouverts connexes tels que ∂A et ∂B sont des courbes simples fermées
régulières par morceaux ainsi que τ ∈ C 1 B; R3 .
S’il existe :
ϕ : A→B
ϕ ∈ C 1 (A; B)
ϕ−1 ∈ C 1 (B; A)
σ := τ ◦ ϕ : A → R3 , σ ∈ C 1 (A; R3 )
σ = σ(x1 , x2 )
τ = τ (y1 , y2 ) : σx1 ∧ σx2 (x1 , x2 ) = det ∇ϕ(x1 , x2 ) (τy1 ∧ τy2 (ϕ(x1 , x2 )) .
(i) f ∈ C(A) ;
(ii) il existe A1 , . . . , Am ⊂ A une partition d’ouverts telle que
m
[
A= Ai ;
i=1
Ai ∩ Aj = ∅, i 6= j;
∂Ai = Γi sont des courbes simples, fermées et régulières par morceaux;
f ∈ C 1 (Ai ), i = 1, . . . , m.
Si σ ∈ 1
Cmorc (A), on définit
ZZ n ZZ
X
f ds := f σ(u, v) kσu ∧ σv k dudv.
σ i=1 Ai
(ii) Si F : σ(A) −→ R3 est continue, alors l’intégrale de F le long de la surface σ(A) dans la
direction ν = σu ∧ σv est définie de la manière suivante :
ZZ ZZ
F · ds := F σ(u, v) · (σu ∧ σv ) dudv.
σ A
Ces deux intégrales sont indépendantes du choix de la paramétrisation (au signe près).
Remarque 1.5.6
On formule les remarques suivantes.
(i) Si Σ ∈ R3 est une surface régulière, Σ f ds = σ f ds, où σ est une représentation régulière
RR RR
de la surface,
RR et le résultat est indépendant de la paramétrisation.
Idem pour Σ F · ds
(ii) Si f ≡ 1, on a
ZZ
Aire Σ := ds.
Σ
∂ui
où uixj = ∂xj . Ce déterminant est appelé le jacobien de la transformation.
Remarque 1.6.6
On peut affaiblir les hypothèses du théorème en supposant que F ∈ C 1 (Ω; R3 ) ∩ C 0 (Ω; R3 ) mais
la démonstration se complique. . .
24 CHAPITRE 1. ANALYSE VECTORIELLE
∂F 3
ZZZ ZZ
x3 -simple ⇒ dx1 dx2 dx3 = F 3 ν3 ds, (1.3)
Ω ∂x3 ∂Ω
∂F 2
ZZZ ZZ
x2 -simple ⇒ dx1 dx2 dx3 = F 2 ν2 ds, (1.4)
Ω ∂x2 ∂Ω
∂F 1
ZZZ ZZ
x1 -simple ⇒ dx1 dx2 dx3 = F 1 ν1 ds. (1.5)
Ω ∂x1 ∂Ω
∂F 1 ∂F 2 ∂F 3
ZZZ ZZZ
div F = + +
Ω Ω ∂x1 ∂x2 ∂x3
ZZ ZZ
= (F 1 ν1 + F 2 ν2 + F 3 ν3 )ds = (F · ν) dS.
∂Ω ∂Ω
2. Calculons : ZZ
F 3 · ν3 ds,
∂Ω
où ∂Ω = Σ1 ∪ Σ2 ∪ Σ3 avec
(−βx1 , −βx2 , 1)
ν̃1 = normale extérieure à Σ1 ,
k(−βx1 , −βx2 , 1)k
(−αx1 , −αx2 , 1)
ν̃2 = normale intérieure à Σ2 ,
k(−αx1 , −αx2 , 1)k
ν̃3 = (ν̃3,1 , ν̃3,2 , 0).
1.7. THÉORÈME DE STOKES* 25
Et donc, on trouve
k(−βx1 , −βx2 , 1)k
ZZ ZZ
3
F ν̃1 ds = F 3 x1 , x2 , β(x1 , x2 ) dx1 dx2
Σ1 A k(−βx1 , −βx2 , 1)k
ZZ
F 3 x1 , x2 , β(x1 , x2 ) dx1 dx2 .
=
Z ZA
k(−αx1 , −αx2 , 1)k
ZZ
F 3 ν̃2 ds = F 3 x1 , x2 , α(x1 , x2 ) dx1 dx2
Σ2 A k(−αx1 , −αx2 , 1)k
ZZ
F 3 x1 , x2 , α(x1 , x2 ) dx1 dx2 .
= −
ZZ A
3
F ν̃3 ds = 0.
Σ3
Remarque 1.7.2
La condition C 1 (Σ; R3 ) signifie C 1 sur un ouvert contenant Σ et son bord.
Remarque 1.7.3
Une fois choisie une paramétrisation régulière σ : A → Σ de la surface, σ = σ(u, v), alors :
ZZ ZZ
rot F · ds = rot F σ(u, v) · (σu ∧ σv )dudv.
Σ A
Le sens de parcours de ∂Σ est celui induit par le sens positif sur ∂A.
σ: A −→ Σ
(u, v) 7−→ σ(u, v) = σ 1 (u, v), σ 2 (u, v), σ 3 (u, v) ,
(vi) ∂Σ = σ(∂A) (avec les restrictions ci-dessus, on a pas les "bords parasites").
On va donc considérer une paramétrisation γ du bord de A. Plus précisémment, on prend
γ : [a, b] −→ ∂A, définie par t 7−→ γ(t) = γ 1 (t), γ 2 (t) et telle que γ ∈ C 1 ([a, b]; R2 ) et γ 0 (t) 6= 0
pour tout t ∈ [a, b]. Par conséquent, le bord de Σ est paramétrisé par ϕ :
ϕ(t) = σ ◦ γ(t) = ϕ1 γ(t) , ϕ2 γ(t) , ϕ3 γ(t) = σ 1 (γ1 , γ2 ), σ 2 (γ1 , γ2 ), σ 3 (γ1 , γ2 ) .
On a alors
dϕi
ϕ0i (t) = (t)
dt
d i
= σ (γ1 , γ2 )
dt
= σui · γ10 + σvi · γ20 .
∂F 3 ∂F 2 ∂F 1 ∂F 3 ∂F 2 ∂F 1
rot F = − , − , −
∂x2 ∂x3 ∂x3 ∂x1 ∂x1 ∂x2
3 2 1 3 2 1
= Fx2 − Fx3 , Fx3 − Fx1 , Fx1 − Fx2 ,
et la normale par
σu ∧ σv = σu2 σv3 − σv2 σu3 , σu3 σv1 − σv3 σu1 , σu1 σv2 − σv1 σu2 .
et donc ZZ
rot F · ds = R1 + R2 + R3 ,
Σ
où RR 1 1 3 1 3 1 1 2 1 2
R = F (σ)(σv σu − σu σv ) − Fx2 (σ)(σu σv − σv σu ) dudv,
1 RRA x3
R2 = A Fx21 (σ)(σv2 σu1 − σu2 σv1 ) − Fx23 (σ)(σu2 σv3 − σv2 σu3 ) dudv,
RR 3
R3 =
F (σ)(σ 3 σ 2 − σ 3 σ 2 ) − F 3 (σ)(σ 3 σ 1 − σ 3 σ 1 ) dudv.
A x2 v u u v x1 u v v u
R
2. Calcul de ∂Σ F dl :
Z Z b
F ϕ(t) · ϕ0 (t)dt
F dl =
∂Σ a
Z b
F 1 (ϕ(t))ϕ01 (t) + F 2 (ϕ(t))ϕ02 (t) + F 3 (ϕ(t))ϕ03 (t) dt.
=
a
1.7. THÉORÈME DE STOKES* 27
On va montrer que
Z b
R1 = F 1 (ϕ)ϕ01 (t)dt,
a
Z b
R2 = F 2 (ϕ)ϕ02 (t)dt,
a
Z b
R3 = F 3 (ϕ)ϕ03 (t)dt.
a
On va établir la première formule les autres étant montrées de façon similaires.
Z b Z b
F 1 (ϕ(t))ϕ01 dt = F 1 (σ ◦ γ(t))(σu1 (γ1 , γ2 )γ10 + σv1 (γ1 , γ2 )γ20 )dt
a a
Z b
F 1 (σ)σu1 , F 1 (σ)σv1 · γ10 , γ20 dt
=
Za
F 1 (σ)σu1 , F 1 (σ)σv1 · dl
=
∂A | {z } | {z }
G1 G2
∂G2 ∂ 1
F (σ(u, v)) σv1 + F 1 (σ(u, v))σuv 1
=
∂u ∂u
Fx11 σu1 + Fx12 σu2 + Fx13 σu3 σv1 + F 1 σuv
1
=
∂G2 ∂G1
− = Fx11 σu1 σv1 + Fx12 σv1 σu2 + Fx13 σ 1 (v)σ 3 (u)
∂u ∂v
+ F 1 σuv
1
− (Fx11 σv1 + Fx12 σv2 + Fx13 σv3 )σu1 − F 1 σuv
1
= Fx12 (σv1 σu3 − σu1 σv3 ) − Fx12 (σu1 σv2 − σv1 σu2 ).
En appliquant le théorème de Green, on trouve
ZZ 2
∂G1
Z
1 2 ∂G
(G , G )dl = − dudv,
∂A A ∂u ∂v
et donc, si on fait la même chose pour R2 et R3 :
Z ZZ
F dl = rot F ds.
∂Σ Σ
Exemple 1.7.4
F (x1 , x2 , x3 ) = (x3 , x1 , x2 ) et Σ = {x ∈ R3 : x23 = x21 + x22 et 0 < x3 < 1}.
RR
Etape 1 Calcul de Σ rot F · ds
Une paramétrisation de cette surface est σ(θ, z) = (z cos θ, z sin θ, z), où (θ, z) ∈ A avec
A = ]0, 2π[ × ]0, 1[. Nous pouvons maintenant calculer la normale
σθ ∧ σz = (z cos θ, z sin θ, −z),
et le rotationnel est : rot F (x) = (1, 1, 1). On a alors
ZZ Z 1 Z 2π
rot F · ds = (1, 1, 1) · (z cos θ, z sin θ, −z)dθdz
Σ 0 0
= −π
28 CHAPITRE 1. ANALYSE VECTORIELLE
R
Etape 2 Calcul de ∂Σ F · dl
et
Γ1 = {(0, 0, 0)}
Γ2 = {γ2 (z) = (z, 0, z), z : 0 → 1}
Γ3 = {γ3 (θ) = σ(θ, 1) = (cos θ, sin θ, 1), θ : 2π → 0}
Γ4 = {γ4 (z) = σ(0, z) = (z, 0, z), z : 1 → 0} = −Γ2
Analyse complexe
29
30 CHAPITRE 2. ANALYSE COMPLEXE
f (z0 + h) − f (z0 )
lim
h→0 h
existe et est finie. La limite est appelée la dérivée de f en z0 et est notée f 0 (z0 ).
(ii) On dit que f est holomorphe dans Ω si elle est holomorphe en tout point z0 de Ω.
Proposition 2.1.7
Soient Ω ⊂ C un ouvert et f : Ω → C.
(i) Si f est holomorphe en z0 , alors f est continue en z0 .
(ii) si f, g : Ω → C sont holomorphe en z0 , alors
Théorème 2.1.8
Soient Ω ⊂ C un ouvert, f : Ω → C, u(x, y) = <(f ) et v(x, y) = =(f ). Alors les deux assertions
suivantes sont équivalentes :
(i) f est holomorphe sur Ω.
(ii) u, v ∈ C 1 (Ω) et satisfont les équations de Cauchy - Riemann, c’est-à-dire
ux = vy et uy = −vx (CR)
De plus,
z0 = x0 + iy0 , h = α + iβ
f (z0 + h) − f (z0 )
lim = f 0 (z0 )
h→0 h
Ainsi, cette limite existe donc quelle que soit la façon dont on tend vers 0 (c’est-à-dire quel
que soit le chemin dans le plan complexe). Ecrivons maintenant
β=0
f (z0 + h) − f (z0 )
f 0 (z0 ) = lim
h→0 h
u(x0 + α, y0 ) − u(x0 , y0 ) v(x0 + α, y0 ) − v(x0 , y0 )
= lim + i lim
α→0 α α→0 α
0
⇒ f (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 )
α=0
v(x0 , y0 + β) − v(x0 , y0 ) 1 u(x0 , y0 + β) − u(x0 , y0 )
f 0 (z0 ) = lim + lim
β→0 β i β→0 β
0
⇒ f (z0 ) = vy (x0 , y0 ) − iuy (x0 , y0 )
⇒ ux = vy , uy = −vx
Calculons maintenant :
f (z0 )
z }| {
f (z0 + h) − f (z0 ) = [u(x0 , y0 ) + iv(x0 , y0 )] − [u(x0 , y0 ) + iv(x0 , y0 )]
+ [ux α + uy β] + i [vx α + vy β] + |h| [1 (h) + i2 (h)]
CR
= [ux − iuy ] α + i [vy + ivx ] β + |h| [1 (h) + i2 (h)]
= (α + iβ) [ux + ivx ] + |h| [1 (h) + i2 (h)]
= f 0 (z0 ) · h + |h| [1 (h) + i2 (h)]
Et donc :
f (z0 + h) − f (z0 ) |h|
lim = f 0 (z0 ) + lim (1 (h) + i2 (h))
h→0 h h→0 h | {z }
h→0
−→0
= f 0 (z0 )
Alors il existe R ≥ 0 (on considère aussi R = ∞) appelé le rayon de convergence de la série tel
que
(i) la série converge pour tout |z| < R ;
(ii) la série diverge pour tout |z| > R.
32 CHAPITRE 2. ANALYSE COMPLEXE
1 1
De plus, avec la convention que 0 = ∞ et ∞ =0:
1 1
= lim sup |an | n
R n→∞
Théorème 2.1.10
P (Dérivée d’une série de puissance)
Soient f (z) = ∞ a
n=0 n z n et R > 0 son rayon de convergence. Alors, f est holomorphe dans le
Démonstration. Appelons g(z) := ∞ nan z n−1 . L’inverse de son rayon de convergence est
P
n=1 |{z}
bn
1 1 1 1
lim sup |bn | n = lim |n| n · lim sup |an | n = lim sup |an | n .
n→∞ n→∞ n→∞ n→∞
on a que
∞
(z0 + h)n − z0n
BN (z0 + h) − BN (z0 ) X
≤ |an |
h h
n=N +1
X∞
|an |nrn−1 .
≤
n=N +1
Soit maintenant > 0. On peut trouver N1 = N1 () ∈ N suffisament grand pour que pour
tout N ≥ N1 :
BN (z0 + h) − BN (z0 )
≤ .
h 3
(ii) Puisque AN est un polynôme, c’est une fonction holomorphe dans tout le plan complexe.
On a alors :
N
X
A0N (z) = nan z n−1 ,
n=1
et donc :
lim A0N (z0 ) = g(z0 ).
N →∞
Puique > 0 est fixé, il existe N2 () tel que pour tout N ≥ N2 :
AN (z0 ) − g(z0 ) ≤ .
0
3
2.1. FONCTIONS HOLOMORPHES ET ÉQUATIONS DE CAUCHY-RIEMANN 33
(iii) A nouveau, puisque est fixé, il existe δ = δ() tel que si |h| < δ :
AN (z0 + h) − AN (z0 ) 0
− AN (z0 ) ≤ ,
h 3
car un polynôme est holomorphe.
Connectons maintenant ces trois estimations :
f (z0 + h) − f (z0 ) AN (z0 + h) − AN (z0 )
− g(z0 ) = − A0N (z0 ) + A0N (z0 ) − g(z0 )
h h
BN (z0 + h) − BN (z0 )
+
h
et donc
f (z0 + h) − f (z0 ) AN (z0 + h) − AN (z0 )
− AN (z0 ) + A0N (z0 ) − g(z0 )
0
− g(z0 ) ≤
h h
BN (z0 + h) − BN (z0 )
+
h
≤ ,
pour tout N ≥ max{N1 (), N2 ()}, et pour tout |h| < δ = δ().
Proposition 2.1.11
Le rayon de convergence de la série est infini et elle est holomorphe dans C :
(ez )0 = ez .
On a de plus :
(i) e0 = 1 ;
(ii) ez 6= 0, ∀z ∈ C ;
(iii) ez1 +z2 = ez1 · ez2 ;
(iv ) si z = x + iy, avec y ∈ R on a ez = ex cos y + iex sin y ;
(v ) si y ∈ R, on a eiy = 1;
(vi) ez+2inπ = ez , pour tout n ∈ N.
Le dernier point implique la non-injectivité de la fonction exponentielle dans C.
Ecrivons :
z = |z|ei arg(z) .
Alors, on pourrait supposer que
Remarque 2.1.13
Les points suivants sont à remarquer :
(i) log 0 n’est pas défini ;
(ii) si z ∈ R∗+ , on retrouve le logarithme réel ;
(iii) log(−1) = log 1 + i arg(−1) = iπ ;
(iv) log(i) = log 1 + i arg(i) = i π2 ;
(v) (−1)2 = 1 ⇒ 0 = log 1 = log(−1)2 = 2 log(−1) = 2iπ ;-).
La fonction logarithme n’est pas continue sur l’axe réel négatif. Pour la rendre continue, on
doit enlever l’axe réel négatif :
C \ {z ∈ C|=(z) = 0, <(z) ≤ 0}
log : Ω → C
Proposition 2.1.17
Soient β, γ ∈ C et z, w ∈ C∗ , alors :
z β+γ = z β · z γ .
De plus γ
z · wγ arg(z) + arg(w) ∈ ] − π, π]
γ
(zw) = z γ · wγ · e−2πiγ arg(z) + arg(w) ∈ ]π, 2π]
γ
z · wγ · e2πiγ arg(z) + arg(w) ∈ ] − 2π, −π].
La fonction f (z) = z γ est holomorphe dans un ensemble qui dépend de γ :
(i) Si γ ∈ N, alors f est holomorphe dans C.
(ii) Si −γ ∈ N, alors f est holomorphe dans C ∗ .
(iii) Sinon, f est holomorphe dans Ω (défini plus haut).
1
(iii) L’intégrale peut être définie de manière analogue si γ ∈ Cmorc .
Remarque 2.2.2
Pour que la définition (ii) ait un sens, il faut que γ 0 (t) 6= 0, pour tout t ∈ [a, b]. De plus, si l’on
cherche la longueur géométrique, il faut que la paramétrisation γ soit simple.
36 CHAPITRE 2. ANALYSE COMPLEXE
Proposition 2.2.3
Soit γ ∈ C 1 ([a, b]; C) (la proposition est valable si γ ∈ Cmorc
1 ) et f : γ ([a, b]) −→ C continue
Z
f (z)dz ≤ sup {|f (z)|} · long (γ) .
γ z∈γ([a,b])
Proposition 2.2.4
Soient Ω ⊂ C un ouvert et f, F : Ω −→ C des fonctions telles que f soit continue, F soit
holomorphe et F 0 = f .
1
Alors, si γ ∈ Cmorc ([a, b]; Ω), on a
Z
f (z)dz = F γ(b) − F γ(a) .
γ
R
Ainsi, si γ est une courbe fermée, γ f (z)dz = 0.
Corollaire 2.2.5
Soit Ω ⊂ C un domaine et f : Ω −→ C une fonction holomorphe telle que f 0 ≡ 0, alors f est
constante dans Ω.
2.2. INTÉGRATION COMPLEXE* 37
d p
d2 = p2 = 2 .
22 2
Itérons maintenant le procédé sur T ⊃ T 1 ⊃ T 2 ⊃ . . . ⊃ T n ⊃ . . . Après n étapes, on a
Z Z
n
f (z)dz ≤ 4
f (z)dz ,
∂T ∂T n
38 CHAPITRE 2. ANALYSE COMPLEXE
et
d p
dn = pn = .
2n 2n
Montrons maintenant que
Z
n
lim 4 f (z)dz = 0.
n→∞ ∂T n
Soit z0 = ∩∞ n ∞ n
n=1 T (on sait que ∩n=1 T 6= ∅ par le théorème de Cantor), puisque f est holomorphe
en z0 , on peut écrire
d
Comme z ∈ ∂T n et z0 ∈ T n , on a |z − z0 | ≤ d (T n ) ≤ 2n , ainsi
Z Z Z
n d
f (z)dz = 4n · n
f (z)dz ≤ 4 |(z, z0 )| dz.
∂T ∂T n 2 ∂T n
Pour > 0, on peut trouver n suffisamment grand pour que |(z, z0 )| ≤ , pour tout z ∈ T n , et
donc Z
d p
f (z)dz ≤ 4n n n = · d · p,
∂T 2 2
où p représente le périmètre et d le diamètre. Comme arbitraire, on a le résultat.
Théorème 2.2.8
Soient Ω ⊂ C un ouvert étoilé et f : Ω −→ C holomorphe- Alors il existe F : Ω −→ C telle que
F0 = f.
[ξ, z] ∈ Ω,
où [ξ, z] = η ∈ C : η = γ(t) = (1 − t)ξ + tz, t ∈ [0, 1] . On prétend que
Z
F (z) := f (w)dw.
[ξ,z]
Remarque :
Si z = ξ, l’égalité est vérifiée de manière triviale.
2.2. INTÉGRATION COMPLEXE* 39
On a donc que
Z
F (z + h) − F (z) = f (w)dw
[z,z+h]
Z 1
= h f (z + th)dt
0
1
F (z + h) − F (z)
Z
⇒ − f (z) = f (z + th) − f (z) dt
h 0
≤ sup f (z + th) − f (z)
t∈[0,1]
h→0
−→ 0.
Z
f (z)dz = 0
γ
Z
1 f (z)
f (z0 ) = dz.
2πi γ z − z0
Démonstration. On pose
f (z)
g(z) =
z − z0
40 CHAPITRE 2. ANALYSE COMPLEXE
r
γ4 γ3
2
γ2
O1
γ1 r+
Remarque :
Avec le changement de la démonstration et le fait que z0 n’a pas besoin de se trouver au centre
du cercle, la figure peut être décentrée, elle ne correspond plus aux notations. Je la referai si j’ai
le temps.
On commence par choisir un cercle γ 0 ⊂ Ω qui contient γ ∪ int (γ) et on note Ω0 = int (γ 0 ),
on a donc
γ ∪ int (γ) ⊂ Ω0 ⊂ Ω0 ⊂ Ω.
On choisit ensuite > 0 suffisamment petit pour que B (z0 ) ⊂ int (γ), on a ainsi
B (z0 ) ⊂ int (γ) ⊂ Ω0 ⊂ Ω0 ⊂ Ω.
On appelle
O := Ω0 \ B 2 (z0 ) et γ := ∂B (z0 ).
On décompose « l’anneau » (int (γ) ∪ γ) − B (z0 ) en quatres parties et on appelle γi , i = 1, 2, 3, 4,
les bords de ces quatres parties. On a clairement, à cause des sens de parcours, que
Z Z X4 Z
g− g= g.
γ γ i=1 γi
On applique alors le théorème de Cauchy pour les domaines étoilés, 2.2.9 page 39, pour déduire
que Z
g = 0, i = 1, 2, 3, 4.
γi
Ainsi,
f z0 + eiθ
Z Z Z 2π
f (z) f (z)
dz = dz = i eiθ dθ.
γ z − z0 γ z − z0 0 eiθ
Comme f est holomorphe, on a, par un passage à la limite, que
Z
f (z)
dz = 2πif (z0 ).
γ z − z0
2.2. INTÉGRATION COMPLEXE* 41
on a, on posant x = z − z0 et y = z − z0 − h, que
(z − z0 )n − (z − z0 − h)n
= xn−1 + xn−2 y + . . . + xy n−2 + y n−1 ,
h
et donc
(z − z0 )n − (z − z0 − h)n
lim = n(z − z0 )n−1 .
h→0 h
De ceci, on déduit immédiatement que
(z − z0 )n − (z − z0 − h)n n · (z − z0 )n−1 n
lim n n
= = .
h→0 h(z − z0 ) (z − z0 − h) (z − z0 )2n (z − z0 )n+1
En passant à la limite dans (2.1), ce qui est légal car on a convergence uniforme, on trouve
Z
(n) n! f (z)
f (z0 ) = dz.
2πi γ (z − z0 )n+1
(iii) On applique la formule à γ = ∂Br (z0 ) et l’on trouve
(n)
n! f (z)
f (z ) ≤ max : z ∈ ∂B (z ) · long (∂Br (z0 ))
0 r 0
2π (z − z0 )n+1
n!
= max {|f (z)| : z ∈ ∂Br (z0 )} .
rn
Théorème 2.2.12
Soit Ω ⊂ C un ouvert et f : Ω −→ C une fonction holomorphe. Si on pose, <(f ) = u(x, y),
=(f ) = v(x, y).
Alors u, v ∈ C ∞ (Ω), ux = vy et uy = −vx
Démonstration. Par le corollaire 2.2.11, f est infiniment différentiable et donc u, v ∈ C ∞ (Ω)
42 CHAPITRE 2. ANALYSE COMPLEXE
On peut appliquer le théorème de Green car les fonctions u et v sont C 1 . On aurait pu l’appliquer
avant de l’avoir démontré,
Pvia RGoursat et ses amis.
Idem pour γ0 f (z)dz = ni=1 γi f (z)dz.
R
Démonstration de la formule. Soit z0 ∈ int (γ) ⊂ Ω et > 0 tel que B (z0 ) ⊂ int (γ). Par le
f (z)
théorème de Cauchy appliqué sur g(z) = z−z 0
et à l’ouvert régulier O = int (γ) − B (z0 ) :
Z Z
2.2.14
g(z)dz = g(z)dz
γ ∂B (z0 )
Z 2π
= g z0 + eiθ ieiθ dθ
0
Z 2π
= i f z0 + eiθ dθ
0
2.2. INTÉGRATION COMPLEXE* 43
Remarque 2.2.16
On a pu appliquer le théorème de Cauchy car on a enlevé la singularité du domaine.
Exemple 2.2.18
Soit γ = {z ∈ C : |z − 2| = 1}. Calculer :
ez+2
Z
dz.
γ (z − 2)3
ez+2
Z
2πi 00 4
3 dz = 2! f (z0 ) = πie .
γ (z − 2)
De plus, la convergence est uniforme (et donc on peut permuter somme et intégrale).
44 CHAPITRE 2. ANALYSE COMPLEXE
Théorème 2.2.20
Ω ⊂ C un ouvert, f : Ω −→ C une fonction holomorphe, z0 ∈ Ω, et r > 0 tel que Br (z0 ) ⊂ Ω.
Alors f admet une série de Taylor :
∞
X
f (z) = an (z − zo )n , ∀z ∈ Br (z0 ).
n=0
f (n) (z0 )
Z
1 f (z)
an = = dz.
n! 2πi γ (z − z0 )n+1
1 1 1 1
= = · .
ξ−z ξ − z0 − (z − z0 ) ξ − z0 1 − z−z
ξ−z0
0
∞
1 1 X (z − z0 )n
= .
ξ−z ξ − z0 (ξ − z0 )n
n=0
Démonstration. Par induction, il suffit de prouver que P admet au moins une racine. Supposons
que cela ne soit pas le cas, on aura alors
P (z) 6= 0, ∀z ∈ C.
1
Comme P est holomorphe et P (z) 6= 0, alors f (z) = P (z) est holomorphe dans C. Le but est de
montrer que la fonction f est bornée, ce qui impliquera, par le théorème de Liouville, qu’elle est
constante et donc que P est un polynome constant, ce qui est en contradiction avec an 6= 0.
On écrit pour z 6= 0
P (z) a
n−1 a0
= a n + + . . . + .
zn z zn
an−1 a0 z→∞ /
Comme z , . . . , zn 0, on peut trouver R suffisamment grand pour que
a
n−1 a0 |an |
+ ... + n ≤ , ∀|z| > R
z z 2
Par conséquent
P (z)
= an − − an−1 − . . . − a0
zn z zn
a a0
n−1
≥ |an | − − − . . . − n
a z a z
n n
≥ |an | − = > 0, ∀|z| > R.
2 2
On a donc
|P (z)| |an |
n
≥ > 0, ∀|z| > R,
R 2
ce qui implique que
1 2
|f (z)| = ≤ , ∀|z| > R.
|P (z)| |an | · Rn
Ainsi, f est bornée si |z| > R. Comme P est continue et P (z) 6= 0 pour tout z, f (z) est continue
sur le compact |z| ≤ R, et donc est bornée sur ce même compact.
Ainsi, par le théorème de Liouville, f , et donc P , est constante.
46 CHAPITRE 2. ANALYSE COMPLEXE
Démonstration. Sans perte de généralité, suposons que g ≡ 0 (quite à remplacer f par f − g).
(i) On commence par démontrer que f ≡ 0 dans Br (z0 ) tel que Br (z0 ) ⊂ Ω.
Premièrement, puisque f est continue, on a que
f (z0 ) = g(z0 ) = 0.
Comme f (z0 ) = 0, on a a0 = 0.
Par l’absurde, supposons f 6≡ 0. Ainsi, il existe N ∈ N, N ≥ 1 tel que aN 6= 0 et an = 0
pour tout n < N . Le développement de Taylor de f peut donc être réécrit de la manière
suivante :
∞
X
f (z) = an (z − z0 )n = aN (z − z0 )N [1 + (z, z0 )],
n=N
1
|(z, z0 )| ≤ , ∀z ∈ Bδ (z0 ).
2
Soit ν ∈ N tel que zν ∈ Bδ (z0 ) (un tel ν existe puisque la suite zν tend vers z0 ). On devrait
avoir,
∞
X
0 = g(zν ) = f (zν ) = an (zν − z0 )n = aN (zν − z0 )N [1 + (zν , z0 )].
n=N
Cependant, puisque zν 6= z0 , et aN 6= 0, cette égalité ne peut avoir lieu (le dernier terme a
une norme différente de 0). On doit donc avoir f ≡ 0 dans Br (z0 ).
(ii) Montrons maintenant que f ≡ 0 dans Ω.
On définit l’ensemble suivant :
Remarquons tout d’abord que par définition, A est ouvert. De plus, par le point (i), z0
appartient à A, et donc l’ensemble A est non vide.
On va montrer que A est aussi fermé, ce qui impliquera que A = Ω, puisque Ω est connexe.
Pour cela, soit z̃ν ⊂ A une suite telle que z̃ν −→ z̃0 . Comme z̃ν ∈ A pour tout ν, f (z̃ν ) = 0,
on a que f (z̃0 ) = 0 et donc, par le point (i), z̃0 ∈ A. Ainsi, A est séquentiellement fermé,
comme désiré.
2.2. INTÉGRATION COMPLEXE* 47
Remarque 2.2.25
Une fonction analytique constante dans un ouvert connexe, est forcément constante sur tout le
domaine.
Plus précisemment, si
|f (z)| ≤ |f (a)| , ∀z ∈ Ω.
Ainsi
Z Z 1
F (z + h) − F (z) = f (w)dw = h · f (z + th)dt
[z,z+h] 0
Z 1
F (z + h) − F (z)
⇒ − f (z) = f (z + th) − f (z) dt
h 0
F (z + h) − F (z)
⇒ lim − f (z) = 0, par continuité de f.
h→0 h
Par conséquent, F est holomorphe et F 0 (z) = f (z). Par la formule intégrale de Cauchy, f (z) est
holomorphe.
⇒ f (z)dz = 0,
∂T
et donc, par le théorème de Morera, 2.2.28 page 48, f est holomorphe sur Ω.
2.3. SÉRIES DE LAURENT 49
(n)
(ii) On aimerait maintenant montrer que la suite des fν converge uniformément vers f (n) sur
O.
Soit z0 ∈ O et r > 0 tel que Br (z0 ) ⊂ O. Par la formule intégrale de Cauchy,
n
(n) (n)
d
fν (z0 ) − f (z0 ) = n fν (z) − f (z)
dz
n!
≤ max {|(fν − f ) (z)| : z ∈ ∂Br (z0 )}
rn
n!
≤ sup {|fν (z) − f (z)| : z ∈ O} .
rn | {z }
−→0 par hypothèse
2.2.6 Résumé
On a vu les points suivants :
(i) définition d’une fonction holomorphe ;
(ii) équations de Cauchy-Riemann ;
(iii) théorème de Cauchy ;
(iv) formule intégrale de Cauchy ;
(v) Liouville, principes du maximum et du minimum, principe du prolongement analytique ;
(vi) théorème de Weierstrass.
2.2.7 "Généralisation" à Rn
On va remplacer : x par x1 , y par x2 , u par u1 , v par −u2 . Les équations de Cauchy-Riemann
deviennent donc : 1
ux1 + u2x2 = 0
div u = 0
1 2
ux2 − ux1 = 0 rot u = 0
(les deux dernières égalités sont vraies dans Ω). Il s’agit des formes harmoniques.
Si Ω est simplement connexe, la dernière égalité implique que u = ∇v et donc div u = div (∇v) =
4w = 0.
1
R f (ξ)
où cn = 2πi γ (ξ−z0 )n+1 dξ et γ est une courbe simple fermée et régulière par morceaux telle que
γ ∪ int (γ) ⊂ Ω et z0 ∈ int (γ).
Soit R > 0 tel que BR (z0 ) ⊂ Ω, alors pour tout z ∈ BR (z0 ) \ {z0 }, on a
50 CHAPITRE 2. ANALYSE COMPLEXE
Alors
(i) z0 = 1 est un point régulier ;
(ii) la partie régulière est égale à la série de Laurent ;
(iii) la partie singulière est 0 ;
2.3. SÉRIES DE LAURENT 51
(iv) Rész0 (f ) = 0 ;
(v) le rayon de convergence est 1.
Exemple 2.3.6
1
Etudier la fonction f (z) = z 2 +z
en z0 = 0. On commence par décomposer la fraction en éléments
simples
1 1 1 1
f (z) = = = − ,
z2 + z z(z + 1) z z+1
où le premier terme est la partie singulière tandis que le second est la partie régulière. Ainsi,
∞
1 X
f (z) = − (−1)n z n .
z
n=0
Et donc :
(i) z0 = 0 est un pôle d’ordre 1 ;
(ii) Rész0 (f ) = 1 ;
(iii) le rayon de convergence est 1.
Exemple 2.3.7
1
Etudier la fonction f (z) = e z en z0 = 0. Soit y ∈ C, on peut écrire
∞
y
X yn
e = .
n!
n=0
Si z 6= 0, y = z1 , on a
∞
1 X 1
e =1+
z .
n! · z n
n=1
Alors,
(i) z0 est une singularité essentielle isolée ;
(ii) le rayon de convergence est infini (car il s’agit de la seule singularité) ;
(iii) Rés0 (f ) = c−1 = 1.
Exemple 2.3.8
Etudier la fonction f (z) = sin(z)
z en z0 = 0.
Le point z0 est un point régulier (on dit aussi que z0 est une singularité éliminable). En effet, en
choisissant f (0) = 1, alors : sin z
z z 6= 0
f (z) =
1 z=0
est holomorphe dans C. On peut donc écrire
∞
X z 2n+1
sin z = (−1)n
(2n + 1)!
n=0
∞
sin z X z 2n
= (−1)n .
z (2n + 1)!
n=0
Exemple 2.3.9
Etudier la fonction f (z) = log z en z0 = 0.
Cette fonction d’admet pas de série de Laurent en z0 = 0. En effet, z0 = 0 n’est pas une singularité
isolée car tous les points z ∈ {=(z) = 0, <(z) ≤ 0} sont tous des singularités du logarithme.
52 CHAPITRE 2. ANALYSE COMPLEXE
Exemple 2.3.10
Etudier la fonction f (z) = tan z1 en z0 = 0.
Cette fonction d’admet pas de développement de Laurent en z0 = 0 car z0 n’est pas une singularité
isolée. En effet, tan y = ∞ ⇔ y = yk = (2k + 1) π2 , k ∈ Z. Ainsi
1 1 2 k→∞
tan = ∞ ⇔ zk = = −→ z∞ = 0.
z yk (2k + 1)π
Définition 2.3.11 (Zéro d’ordre n)
Soit f une fonction holomorphe au voisinage d’un point z0 et n ∈ N. On dit que z0 est un zéro
d’ordre n de f si f (z0 ) = f 0 (z0 ) = . . . = f (n−1) (z0 ) = 0 et f (n) (z0 ) 6= 0.
Proposition 2.3.12
Soit f (z) = p(z)
q(z) avec p et q holomorphes au voisinage de z0 et z0 est un zéro d’ordre p̄ de p,
respectivement q̄ de q. Alors, si
1. p̄ ≥ q̄, z0 est un point régulier de f (singularité éliminable) ;
2. p̄ < q̄, z0 est un pôle d’ordre q̄ − p̄.
Proposition 2.3.13
Si z0 est un pôle d’ordre m de f , alors F (z) = (z − z0 )m f (z) est holomorphe en z0 et
1 dm−1 h m
i
Rész0 (f ) = lim (z − z 0 ) f (z) .
(m − 1)! z→z0 dz m−1
En particulier, si m = 1
Rész0 (f ) = lim (z − z0 )f (z)
z→z0
et donc
∞
X ∞
X
F (z) = (z − z0 )m f (z) = cn (z − z0 )n+m = ck−m (z − z0 )k
n=−m k=0
X∞
= c−1 (z − z0 )m−1 + ck−m (z − z0 )k
k=0
k6=m−1
On a donc,
dm−1 dm−1
F (z) = (m − 1)!c−1 + G(z).
dz dz
On obtient, en laissant tendre z vers z0
dm−1
lim F (z) = (m − 1)!c−1 + 0,
z→z0 dz
ce qui conclut la preuve.
Proposition 2.3.14
Si f (z) = p(z) 0
q(z) est holomorphe au voisinage de z0 , avec p(z0 ) 6= 0, q(z0 ) = 0 et q (z0 ) 6= 0, alors
p(z0 )
Rész0 (f ) = .
q 0 (z0 )
2.3. SÉRIES DE LAURENT 53
f (z) f 0 (z0 )
lim = 0
z→z0 g(z) g (z0 )
On a alors :
f (z) f 0 (z0 ) + F (z)
= 0 .
g(z) g (z0 ) + G(z)
Au passage à la limite, on a F (z0 ) = G(z0 ) = 0, ce qui implique
f (z) f 0 (z0 )
lim = 0 ,
z→z0 g(z) g (z0 )
puisque g 0 (z0 ) 6= 0.
Notons que
2π
f (z + eiθ ) iθ →0
Z Z Z
f (ξ)
g(ξ)dξ = = ie dθ −→ 2πif (z).
γ γ ξ−z 0 eiθ
Ainsi,
Z Z
1 f (ξ) 1 f (ξ)
f (z) = dξ − dξ.
2πi γR ξ−z 2πi γr ξ−z
Puisque |ξ − z0 | = r, on a
ξ − z0 r
z − z0 = |z − z0 | < 1,
3. Soit z0 ∈ int (γ), γ ∪ int (γ) ⊂ Ω, Br (z0 ) ⊂ BR (z0 ) ⊂ Ω. On choisi δ > 0 tel que Bδ (z0 ) ⊂
Br (z0 ) et Bδ (z0 ) ⊂ int (γ).
Par le théorème de Cauchy
Z Z Z Z
f (ξ) f (ξ)
n+1
dξ = n+1
dξ = ... = . . ..
γ (ξ − z0 ) ∂Bδ (z0 ) (ξ − z0 ) γr γR
2.4. THÉORÈME DES RÉSIDUS ET SES APPLICATIONS 55
En résumé : Z Z Z
1 f (ξ) 1 1
cn = dξ = ... = ...
2πi γ (ξ − z0 ) 2πi γr 2πi γR
+∞
X
f (z) = cn (z − z0 )n
n=−∞
et
B (zi ) ∩ B (zj ) = ∅ si i 6= j.
N
[
O = int (γ) − B (zk ).
k=1
Remarque 2.4.2
Le théorème de Cauchy et la formule intégrale de Cauchy sont des cas particuliers du théorème
des résidus :
(i) Pour le théorème de Cauchy, si la fonction est holomorphe, les résidus sont 0.
(ii) Pour la formule intégrale, si f : Ω −→ C est une fonction holomorphe et z0 ∈ int (γ) avec
f (z0 ) 6= 0, on pose g(ξ) = (ξ−zf (ξ)
)(n+1)
. On applique alors le théorème des résidus à g :
0
Z Z
f (z)
g(z)dz = dz = 2πi · Rész0 (g).
γ γ (z − z0 )n+1
56 CHAPITRE 2. ANALYSE COMPLEXE
1 f (n) (z0 )
= lim f (n) (z) = .
n! z→z0 n!
Ainsi,
Z
f (z) 2πi (n)
n+1
dz = f (z0 ).
γ (z − z0 ) n!
Exemple 2.4.3
On prend Ω = C ainsi que γ une courbe satisfaisant les hypothèses du théorème et f (z) =
3 2 4
z−i − z + z 2 . On a donc
(i) Rési (f ) = 3, donc i est un pôle d’ordre 1 ;
(ii) Rés0 (f ) = −2, donc 0 est un pôle d’ordre 2.
On peut alors distinguer les cas suivants :
• 0, i ∈ γ L’intégrale n’est pas bien définie.
• i ∈ int (γ) , 0 6∈ γ ∪ int (γ)
Z
f (z)dz = 2πi · Rési (f ) = 6πi.
γ
• 0, i ∈ int (γ)
Z
f (z)dz = 2πi Rési (f ) + Rés0 (f ) = 2πi.
γ
où P et Q sont des polynômes avec Q(cos θ, sin θ) 6= 0 pour tout θ ∈ [0, 2π]. On va poser z = eiθ ,
ce qui permet d’écrire
eiθ + e−iθ z + z1
cos θ = = ;
2 2
eiθ − e−iθ z − z1
sin θ = = ;
2i 2i
deiθ = ieiθ dθ ⇒ dz = izdθ;
!
1 z + z1 z − z1
fe(z) := ·f , .
iz 2 2i
2.4. THÉORÈME DES RÉSIDUS ET SES APPLICATIONS 57
On aura donc
1 1 2
fe(z) = 1
=
2
.
iz 2 + z+ z i(z + 4z + 1)
2
√ √
On peut factoriser z 2 + 4z + 1 = 0 en (z + 2 +√ 3)(z + 2 − 3), ce qui permet d’affirmer fe a deux
pôles d’ordre un. Cependant, puisque (−2 − 3) ∈ / γ ∪ int (γ), on ne s’intéresse qu’au résidu
1
Rés−2+√3 fe = √ .
i 3
√
On remarque que fe est holomorphe dans γ ∪ int (γ) − {−2 + 3}, et on va appliquer le théorème
des résidus : Z Z 2π
1 2π dθ
fe(z)dz = 2πi √ =√ = .
γ i 3 3 0 2 + cos θ
où r est suffisament grand pour que toutes les singularités de R(z)eiαz dans le demi plan
=z > 0 soient dans int (Γr ).
58 CHAPITRE 2. ANALYSE COMPLEXE
Cr
.
. .
Lr
Supposons que Z
lim f (z)dz = 0. (2.3)
r→∞ C
r
Puisqu’à partir d’un certain r > 0, le membre de droite de l’équation (2.2) est constant, on
aura
N Z Z
X (2.2) (2.3)
2πi Részk (f ) = lim f (z)dz = lim R(z)eiαz dz
r→∞ Γ r→∞ L
k=1 r r
Z r
= lim R(x)eiαx dx
r→∞ −r
Z ∞
= R(x)eiαx dx.
−∞
Z Z π
iαz iθ iαreiθ iθ
R(z)e dz =
R re e ire dθ ,
Cr 0
Remarquons que
iαreiθ
e = eiαr(cos θ+i sin θ)
iαr cos θ −αr sin θ
= e e
= e−αr sin θ ,
et donc Z Z π
iαz
dz ≤ r sup R reiθ e−αr sin θ dθ.
R(z)e
Cr θ∈[0,π] 0
Alors, on aura Z
lim R(z)eiαz dz = 0.
r→∞ C
r
2.5. APPLICATIONS CONFORMES* 59
(iii) Montrons maintenant que limr→∞ r supθ∈[0,π] R(reiθ ) = 0.
On a
an z n + . . . + a0 = P (z), an 6= 0
bm z m + . . . + b0 = Q(z), bm 6= 0,
et, par hypothèse m − n ≥ 2. Si r est suffisament grand, on aura, pour |z| > r
|bm | m
|Q(z)| ≥ |bm ||z m | − . . . − |b0 | ≥ |z| ,
2
ce qui implique
et donc λ λ r→∞ /
r sup R(eiθ ) ≤ r 2 = 0.
r r
Remarque 2.5.2
Dans certains livres (beaucoup de livres en fait) une application conforme n’est pas définie comme
ceci, mais, par exemple "une application conforme préserve les angles". Les deux définitions sont
équivalentes.
Exemple 2.5.3
La fonction f (z) = z est conforme de C sur C, tandis que f (z) = z 2 est non bijective, donc non
conforme.
Proposition 2.5.5
Si ad − bc 6= 0, c 6= 0, Ω = C \ − dc et Ω∗ = C \ ac . Alors la transformation de Möbius est
conforme de Ω sur Ω∗ .
Remarque 2.5.6
Si c = 0 (a 6= 0 et d 6= 0) alors f est linéaire et donc conforme de C sur C.
– Injectivité de f
Supposons qu’il existe z1 et z2 dans Ω tels que f (z1 ) = f (z2 ), alors
az1 +b
= az
cz1 +d
2 +b
cz2 +d
⇔ acz1 z2 + bcz2 + bd + adz1 = acz1 z2 + bd + bcz1 + adz2
⇔ (ad − bc)z1 = (ad − bc)z2
⇔ z1 = z2 car ad − bc 6= 0.
– Surjectivité de f
Soit w ∈ Ω∗ . On cherche z ∈ Ω tel que w = az+b
cz+d , ce qui revient à résoudre
cwz + dw = az + b ⇒ (cw − a)z = b − dw
et, puisque w 6= ac ,
−dw + b
z= = f −1 (w).
cw − a
Remarque 2.5.7
La fonction f −1 est une transformation de Möbius. Les transformations de Möbius forment
un groupe.
(ii) Le fait que f soit holomorphe sur Ω provient du fait que cz + d 6= 0. On a alors
a(cz + d) − c(az + b) ad − bc
f 0 (z) = = 6= 0, z ∈ Ω.
(cz + d)2 (cz + d)2
Remarque 2.5.8
Pour les géomètres, une droite, comme un cercle, est caracérisée par 3 points. Dans le cas de la
droite, l’un est l’infini.
Proposition 2.5.9
Toute transformation de Möbius transforme les cercles et les droites en des cercles et des droites,
respectivement, pour autant que ad − bc 6= 0 et (c, d) 6= (0, 0).
Démonstration. On va distinguer deux cas.
(i) Si c = 0, alors le fait que ad 6= 0 implique que f (z) = ad z + db est une application linéaire
(c’est-à-dire une homothétie et une translation), donc transforme des cercles en des cercles
et des droites en des droites.
(ii) Si c 6= 0, on va procéder en deux étapes.
Etape 1 On décompose f en trois applications qui seront toutes des transformations de
Möbius.
bc − ad a
f1 (z) = z+ ;
c c
1
f2 (z) = ;
z
f3 (z) = cz + d;
f = f1 ◦ f2 ◦ f3 .
On va vérifier cela par calcul :
f (z) = f1 f2 (cz + d)
1
= f1
cz + d
bc − ad 1 a
= +
c cz + d c
bc − ad + a(cz + d) az + b
= =
c(cz + d) cz + d
2.5. APPLICATIONS CONFORMES* 61
Exemple 2.5.10
Pour i = 1, 2, 3, soient zi , wi ∈ C tels que zi 6= zj et wi 6= wj . On aimerait
(i) Trouver une transformation de Möbius telle que
f (zi ) = wi , i = 1, 2, 3.
(ii) Trouver f : Ω −→ D où
Résolution :
(i) On pose
f (z) − w1 w2 − w3 z − z 1 z2 − z3
· =
f (z) − w3 w2 − w1 z − z 3 z2 − z1
Il reste à vérifier que f (zi ) = wi pour i = 1, 2, 3. Posons :
z2 − z3
α = ,
z2 − z1
w2 − w3
β = .
w2 − w1
On a alors :
α (f (z) − w1 )(z − z3 ) = β (z − z1 )(f (z) − w3 )
f (z) α(z − z3 ) − β(z − z1 ) = αw1 (z − z3 ) − β(z − z1 )w3
f (z) (α − β)z + βz1 − αz3 = (αw1 − βw3 )z + (−αw1 z3 + βz1 w3 ),
Et donc
(αw1 − βw3 )z + (βz1 w3 − αw1 z3 )
f (z) = .
(α − β)z + (βz1 − αz3 )
(ii) Trouvons maintenant f : Ω −→ D.
On cherche donc une fonction telle que f (i) = i, f (0) = 1, f (−i) = −i, de la sorte qu’on
envoie la droite Oy sur le cercle de rayon 1 centré en l’origine (on envoie le bord du domaine
de départ sur le bord du domaine d’arrivée.
Les conditions reviennent à imposer
ai+b
f (i) = i = ci+d b = −c
f (−i) = −i = −ai+b
−ci+d ⇒ a=b
b
b=d
f (0) = 1 = d .
|f (z) − y| = |f (z) − b + b − y|
≥ |f (z) − b| − |b − y|
≥ 2δ − |b − y| > δ
Donc la fonction z 7→ |f (z) − y| n’atteint pas son minimum sur B (a) en un point de
∂B (a). Ainsi, par le principe du minimum, il existe w ∈ B (a) tel que f (w) = y.
Remarque 2.5.12
Le fait que la fonction soit holomorphe est plus important que le fait qu’elle soit analytique. En
effet, f : R −→ R, x 7→ sin x est analytique mais elle envoie R sur [−1, 1].
Proposition 2.5.13
Soit Ω ⊂ C un domaine et f : Ω −→ f (Ω) = Ω∗ est une application conforme. Alors Ω∗ est un
domaine et
g := f −1 : Ω∗ −→ Ω
est conforme et
1
g 0 (w) = , ∀w ∈ Ω∗ .
f 0 (g(w))
Démonstration. Par la proposition précédente Ω∗ est un domaine. De plus, f étant bijective, la
fonction inverse, g, est bien définie. On va montrer que g est holomorphe.
Etape 1 Montrons que g est continue.
On veut montrer que pour tout b ∈ Ω∗ , b = f (a) avec a ∈ Ω, pour tout > 0, il existe
δ > 0 tel que :
|w − b| < δ
⇒ |g(w) − g(b)| = |z − a| < ,
w ∈ Ω∗ ⇔ ∃z ∈ Ω tel que w = f (z)
2.5. APPLICATIONS CONFORMES* 63
ce qui est équivalent à montrer que g (Bδ (b)) ⊂ B (a) = B (g(b)). Mais ceci se montre
comme dans la proposition précédente :
Conclusion : g 0 (b) = 1
f 0 (g(b))
Alors, g est holomorphe dans D (car f (0) = 0 et f holomorphe). On va écrire les séries de
Taylor de f et de g :
∞
0
X f (n) (0)
f (z) = f (0)z + zn
n!
n=2
∞
X f (n) (0)
g(z) = f 0 (0) + z n−1 .
n!
n=2
En laissant tendre r vers 1, on obtient que |g(z)| ≤ 1, pour tout z ∈ D, ce qui implique
0
f (0) ≤ 1 et |f (z)| ≤ |z| .
Etape 2 : Par hypothèse, comme soit |f 0 (0)| = 1 soit |f (z0 )| = |z0 | pour un certain z0 ∈ D\{0},
il existe z1 ∈ D tel que |g(z1 )| = 1 (soit z1 = 0 soit z1 = z0 ).
Par le principe du maximum on déduit que l’application g est constante (car le maximum
est atteint à l’intérieur du disque). On a donc,
|g(z)| = 1, ∀z ∈ D,
ce qui implique l’existence de a ∈ C avec |a| = 1 tel que g(z) = a, ce qui implique f (z) = az,
comme désiré.
Théorème 2.5.15
Soit Ω ⊂ C un domaine, D le disque unité et f, g : Ω −→ D deux applications conformes. S’il
existe z0 ∈ Ω tel que f (z0 ) = g(z0 ) = 0 alors il existe a ∈ C, avec |a| = 1 tel que
f (z) = ag(z), ∀z ∈ C.
Si, de plus, il existe t > 0 tel que f 0 (z0 ) = tg 0 (z0 ) alors f = g.
Démonstration. Posons h = f ◦ g −1 : D −→ D. On sait qu’alors h est conforme. Remarquons
maintenant que h(0) = f (g −1 (0)) = f (z0 ) = 0. Ainsi, par le lemme de Schwarz, |h(z)| ≤ |z| pour
tout z ∈ D.
En appliquant le même raisonnement à h−1 = g ◦ f −1 , on obtient h−1 (w) ≤ |w| pour tout
w ∈ D. Par conséquent
|h(z)| ≤ |z| = h−1 (h(z)) ≤ |h(z)| , ∀z ∈ D.
Comme z 7→ e−t tz−1 est holomorphe dans Ω, et (t, z) 7→ e−t tz−1 est continue sur [, 1 ]×Ωab .
Par conséquent (exercice 2, série 10) on déduit que Γ est holomorphe dans Ωαβ .
Supposons (démo plus bas) que Γ −→ Γ uniformément sur Ωαβ . Par le théorème de
Weierstrass (2.2.29 page 48) la fonction Γ est holomorphe sur Ωαβ , ∀0 < α < β et donc sur
Ω.
Montrons la convergence uniforme mentionnée plus haut ; soit donc z ∈ Ωαβ (0 < α <
<z < β) :
Z Z ∞
−t z−1 −t z−1
|Γ (z) − Γ(z)| = − e t dt − e t dt
1
0
Z Z ∞
→0
e−t tt−1 dt + e−t ez−1 dt −→ 0
≤
1
0 | {z }
≤tα−1
(la convergence est uniforme car on a plus de dépendance en z). Le passage de la première
ligne à la seconde, se fait en prenant petit (0 < < β < 12 ).
Etape 2 Observons que pour > 0
z Z 1
− 1 1 − z
d
e−t tz dt
e − e −
dt
Z 1 Z 1
−t z
= − e t dt + z e−t tz−t dt
= −Γ (z + 1) + zΓ (z)
On a que (on rappelle que <z > 0 :
z
− 1 1
lim e = 0 = lim e− z
→0 z →0
Etape 3
Z ∞
Γ(1) = e−t dt = 1
0
Γ(2) = 1Γ(1) = 1
Γ(3) = 2Γ(2) = 2
Γ(4) = 3Γ(3) = 3 · 2 = 3!
...
Γ(n) = (n − 1)!
Théorème 2.6.3
La fonction Γ peut être étendue à C comme une fonction holomorphe sauf n
en z = −n, n ∈ N.
Les points z = −n, n ∈ N sont des pôles d’ordre 1 avec résidu égal à (−1)
n! .
Γn (z + 1) Γ(z + n + 1)
Γn+1 (z) := =
z z(z + 1) . . . (z + n)
Qui est une fonction holomorphe pour Re (z + n + 1) > 0 ⇔ Re z > −(n + 1) ; Rés−n (Γ) =
(−1)n
n! .
Théorème 2.6.4
Soit z ∈ C \ Z. Alors
π
Γ(z)Γ(1 − z) =
sin(πz)
√
En particulier, Γ( 21 ) = π.
Démonstration. On va utiliser dans le démonstration un résultat qui sera démontré dans la série
14 : si 0 < x < 1, alors :
Z ∞ x−1
v π
dv =
0 v + 1 sin(πx)
En utilisant le théorème précédant, on a que la fonction Γ(z) est holomorphe sauf en z =
0, −1, −2, . . . La fonction z 7→ Γ(1 − z) est holomorphe sauf en z = 1, 2, . . . Ainsi, la fonction
π
z 7→ Γ(z)Γ(1 − z) est holomorphe sur C \ Z. La fonction z 7→ sin(πz) est holomorphe sur C \ Z.
2.6. QUELQUES FONCTIONS SPÉCIALES 67
Par le principe du prolongement analytique, il suffit de montrer le résultat pour z = x ∈]0, 1[.
Montrons le résultat pour x ∈]0, 1[
Z ∞ Z ∞
−u x−1 −t −x
Γ(x)Γ(1 − x) = e u du · e t dt
Z ∞0 Z ∞ 0
Etape 1 Rappel :
t n
lim 1 − = e−t
n→∞ n
On définit, pour n ∈ N : n
Z n
t
Γn (x) = 1− tx−1 dt
0 n
Par intégration successive (série 14), on trouve :
n!xn
Γn (x) =
x(x + 1) . . . (x + n)
On aura le théorème si
lim Γn (x) = Γ(x)
n→∞
Z ∞ Z n n
−t x−1 t
Γ(x) − Γn (x) = e t dt − 1− tx−1 dt
0 0 n
= I1 + I2 + I3
où Z
∞
I1 = e−t tx−1 dt
Zn∞
t n x−1
−t
I2 = e − 1− t dt
n n
2
Z n
2
−t t
I3 = e − 1− tx−1 dt
0 n
• limn→∞ I2 = 0 n
Si 0 < t < n, on aura que 0 ≤ 1 − nt ≤ e−t . Ainsi,
t n x−t
Z n Z n
|I2 | ≤ e−t − 1 − t dt ≤ 2 e−t tx−1 dt −→ 0
n n n
2 2
• limn→∞ I3 = 0 n 2
Si 0 < t < n2 alors 0 ≤ e−t − 1 − nt ≤ γ tn e−r (où la dernière égalité a été démontrée
dans la série 14. Ainsi
Z n
t n x−1
2
−t
I3 = |I3 | = e − 1− r dt
0 n
Z n
γ 2 −t x−1
≤ e t dz
n 0
Z ∞
γ
≤ e−t tx−1 dt −→ 0
n 0
2.6.2 La fonction ζ
Pour z ∈ Ω = {z ∈ C : Re z > 1}, on définit :
∞
X 1
ζ(z) =
nz
n=1
π2
Ainsi, par exemple, ζ(2) = 6 .
Cette fonction est très importante en théorie des nombres. On utilise aussi la fonction π :
X
π(x) = 1
p≤x
p∈P
Et donc, par le théorème de Weierstrass, 2.2.29 page 48, ζ est holomorphe sur Ωα et donc ζ est
holomorphe sur Ω.
En particulier, ζ(z) 6= 0, ∀z ∈ Ω.
P∞
Démonstration. (i) On a 2−z ζ(z) = 1
n=1 (2n)z , ainsi :
∞ ∞
X 1 X 1
1 − 2−z ζ(z) =
z
−
n (2n)z
n=1 n=1
X 1 X 1
= z
=1−
n nz
n impair n6=1
z-n
(ii) On forme :
X 1 X 1
3−z =
nz (3n)z
n impair n impair
Ainsi :
X 1 X 1
1 − 3−z =
nz nz
n impair 2-n
3-n
Et pour finir :
X 1
1 − 2−z 1 − 3−z ζ(z) =
nz
2-n
3-n
(iii) De manière analogue, avec les N premiers nombres premiers 2 = p1 < 3 = p2 < . . . < pN :
N
Y X 1
1 − p−z
k ζ(z) =
nz
k=1 pi -n
i=1,...,N
X 1
= 1+
nz
n6=1
pi -n
i=1,...,N
(iv)
X 1 X 1
≤
nz n<z
n6=1 n6=1
pi -n pi -n
i=1,...,N i=1,...,N
∞
X 1
≤ −→ 0
n<z
n=pN +1
Conclusion :
N
Y 1
ζ(z) = lim
N →∞
k=1
1 − p−z
k
Théorème 2.6.10
La fonction ζ peut être prolongée analytiquement à <z > 0 sauf en z = 1 qui est un pôle d’ordre
1 et de résidu 1. Plus précisémment :
Z ∞
1 {t}
ζ(z) = +1−z z+1
dt
z−1 1 t
Remarque 2.6.11 (i) La fonction ζ est plus intéressante dans la bande Re z ∈]0, 1[ que dans
le domaine Re z > 1.
(ii) Une fois le théorème démontré, on peut étdendre analytiquement la fonction ζ à C grâce à
la formule de Riemann :
πz
ζ(1 − z) = 21−z π −z cos Γ(z)ζ(z)
2
(iii) Dans Re z < 0, les zéros sont en z = −2, −4, . . ..
Alors : Z x
X
an f (n) = A(x)f (x) − A(t)f 0 (t)dt
n≤x 1
Démonstration. Etape 1 (procédé d’Abel) Soient deux suites, (an ), (bn ) ; alors
N
X
an bn = a1 b1 + a2 b2 + a3 b3 + . . . + aN bN
n=1
= a1 (b1 − b2 ) + (a1 + a2 )(b2 − b3 ) + (a1 + a2 + a3 )(b3 − b4 ) + . . . +
+(a1 + . . . + aN −1 )(bN −1 − bn ) + (a1 + . . . + aN )bN
N −1 n N
!
X X X
= (bn − bn+1 ) ai + bN ai
n=1 i=1 i=1
Conclusion :
[x]−1 Z n+1
X X
an f (n) = A([x])f ([x]) − A(n) f 0 (t)dt
n≤x n=1 n
Rx 0 (t)dt
Il reste à montrer que A(x)f (x) = A([x])f ([x]) + [x] A(t)f mais si [x] ≤ t < x,
A(t) = A([x]) = A(x) :
Z x
A([x])f ([x]) + A(t)f 0 (t)dt
[x]
Z x
= A([x])f ([x]) + A([x]) f 0 (t)dt
[x]
= A([x])f ([x]) + A([x]) · (f (x) − f ([x]))
= A(x)f (x)
X X 1
an bn =
nz
n≤x n≤x
Z x
[x] [z]
= z
+z z+1
dt
x 1 t
Comme Re z > 1,
[x]
= x = x1−<z −→ 0
x→∞
xz x<z
Estimons maintenant : Z x
Z x
[t]
≤ 1
dt dt < ∞
1 tz+1 1 t<z
si Re z > 1 (si x → ∞).
On écrit maintenant :
Z ∞
[t]
ζ(z) = z dt
tz+1
1Z ∞ ∞
{t}
Z
t
= Z dt − dt
1 tz+1 1 tz+1
72 CHAPITRE 2. ANALYSE COMPLEXE
Mais ∞
∞
t1−z t1−z
Z
−z 1 1
t dt = = + lim =
1 1−z 1 1 − z t→∞ 1 − z 1−z
où l’on a utilisé le fait que Re z > 0 pour calculer la limite.
Ainsi
Z ∞
z {t}
ζ(z) = −z dt
z−1 1 tz+1
Z ∞
z {t}
= +1−z z+1
dt
z−1 1 t
N +1 N k+1
{t} {t}
Z X Z
Gn (z) := dt = dt
1 tz+1 k tz+1
k=1
puisque les termes dans la somme sont holomorphes, GN est holomorphe. Calculons main-
tenant :
∞
Z k+1
X {t}
|G(Z) − GN (z)| = dt
k tz+1
k=N +1
∞ Z k+1
X 1
≤ z+1
dt
|t |
k=N +1 k
∞ Z k+1
X dt
= <z+1
t
k=N +1 k
Z ∞ −<z ∞
dt t N →∞
= <z+1
= −→ 0
N +1 t <z N +1
Théorème 2.6.14
Si z ∈ Ω = {z ∈ C : Re z > 1}, alors
∞
tz−1
Z
1
ζ(z) = dt
Γ(z) 0 et − 1
2.6. QUELQUES FONCTIONS SPÉCIALES 73
t
On va faire le changement de variable u = n et donc
Z ∞ Z ∞
1 1 −nu z du 1
z
= e u = e−nu uz−1 du
n Γ(z) 0 u Γ(z) 0
Etape 2 On calcule :
∞
X 1
e−nu =
1 − e−u
n=0
∞
X 1 e−u 1
⇒ e−nu = −u
− 1 = −u
= u
1−e 1−e e −1
n=1
∞
X 1
ζ(z) =
nz
n=1
∞ Z
1 X ∞ −nu z−1
= e u du; Etape 1
Γ(z)
n=1 0
∞
Z ∞ X !
1 −nu
= e uz−1 du; Etape 3
Γ(z) 0
n=1
Z ∞ z−1
1 u
= du; Etape 2
Γ(z) 0 eu − 1
Etape 3 Posons :
N
X
fN (u) = e−nu uz−1
n=1
∞
X uz−1
f (u) = e−nu uz−1 =
eu − 1
n=1
∞ ∞ ∞
ux−1 ux−1
Z Z Z
|f (u)| du = du + du
0 0 eu − 1 1 eu − 1
Z 1 Z ∞
≤ x−2
u du + 2 e−u ux−1 du < ∞
0 1
Z Z
dx dϕ
L1 = √ √ = p
1 − x2 1 − h2 x2 1 − h2 sin2 ϕ
Z √
1 − h2 x2
Z q
L2 = √ = 1 − h2 sin2 ϕdϕ
1 − x2 dx
Exemple 2.6.19 (Longueur de l’ellipse)
2 2
L’équation d’une ellipse est xa2 + yb2 = 1, pour 0 < a < b. On peut alors paramétriser l’ellipse :
x = a cos ϕ
y = b sin ϕ
2.6. QUELQUES FONCTIONS SPÉCIALES 75
Z θ p
L(θ) = x2 + y 2 dϕ
0
Z q θ
= a2 sin2 ϕ + b2 cos2 ϕdϕ
0
Z θr 2
a
= b 2
sin2 ϕ + cos2 ϕdϕ
0 b
b2 −a2 a2
En posant h2 = b2
=1− b2
on se ramènne à une intégrale de Legendre L ≡ L2 .
qui est une généralisation de la question de doubler l’arc de la lemmiscate (en prenant x = y).
r0 ? 1
p =p
p (r(x)) p(x)
Euler a choisi de ne pas fixer y, pour ne pas briser la symétrie ; il a choisi de fixer
p p
x p(x) + y p(y)
r(x) = (2.5)
1 + x2 y 2
1
Le prof n’a pas réussi. . .
76 CHAPITRE 2. ANALYSE COMPLEXE
p
p
et de considérer y = y(x). On pose X = p(x) et Y = p(y). Dérivons (2.5) par rapport à x :
0
[xY + yX]0 1 + x2 y 2 − 1 + x2 y 2 [xY + yX]
0 =
(1 + x2 y 2 )2
0 = y X + yX 0 + xY 0 y 0 1 + x2 y 2 − 2 xy 2 + x2 yy 0 [xY + yX]
0
⇒
0 = yX 0 + Y 1 + x2 y 2 − 2xy 2 [yX + xY ]
⇒
+y 0 X + xY 2 1 + x2 y 2 − 2x2 y (yX + xY )
(2.6)
0 (x)
Or yx0 + Y = y p2X + Y = X1 y ax − 2x3 + Y X . On peut suubstituer dans le premier terme
de (2.6)
0
1 + x2 y 2 − 2xy 2 [yX + xY ]
yX + Y
1
y ax − 2x3 + XY 1 + x2 y 2 − 2xy 2 X (yX + xY )
=
X
1
XY 1 + x2 y 2 − 2x2 y 2 + y ax − 2x3 1 + x2 y 2 − 2xy 3 X 2
=
X
1
XY 1 + x2 y 2 − 2x2 y 2 + y ax − 2x3 1 + x2 y 2 − 2xy 3 1 + ax2 − x4
=
X
1
XY 1 − x2 y 2 + axy 1 − x2 y 2 − 2xy x2 + y 2
=
X
Par symétrie, le terme en y 0 dans (2.6) est égal à
X + xY 2 1 + x2 y 2 − 2x2 y (yX + xY )
1
XY 1 − x2 y 2 axy 1 − x2 y 2 − 2xy x2 + y 2
=
Y
Si x et y sont petits, on peut simplifier l’expression par le facteur commun. Ainsi, on a
1 y0
0= +
X Y
Intégrons :
x x
y 0 (t)
Z Z
dt
p dt + p dt = 0
0 p(t) 0 p (y(t))
On fait le changement de variable y(t) = s, alors :
Z x Z y(x)
dt ds
p + p
0 p(t) y(0) p(s)
Définition 2.6.22
Une fonction f : C −→ C est dite elliptique si f n’est pas constante et si
(i) f est méromorphe dans C (c’est-à-dire que f a seulement des singularités essentielles
isolées qui sont des pôles et, ailleurs, f est holomorphe).
ω2
(ii) f est doublement périodique dans le sens suivant : il existe ω1 , ω2 ∈ C avec ω1 6∈ R tels
que f (z + ω1 ) = f (z + ω2 ) = f (z), pour tout z ∈ C.
Lemme 2.6.23
Soient p, w ∈ N des nombres premiers entre eux, alors il existe m, n ∈ Z tels que mp + nq = 1.
Lemme 2.6.24 (Théorème de Kronecker)
Soit τ ∈ R \ Q et Ω = {x ∈ R : x = m + nτ, m, n ∈ Z}. Alors Ω est dense dans R.
Démonstration. Dans la série 22.
Proposition 2.6.25
ω2
Soit f méromoprhe et doublement périodique de période ω1 et ω2 ∈ C. Si ω1 ∈ Q. Alors f est
simplement périodique.
Si ωω21 ∈ R \ Q, alors f est constante.
Démonstration. ω2
ω1 ∈ Q Il existe donc p, q ∈ Z avec p et q premiers entre eux tels que ωω21 = pq . Par
le lemme 2.6.23, page 77, ∃m, n ∈ Z tels que mp+nq = 1. Alors ωp2 = ωq1 = ω1 m pq + n =
mω2 + nω1 . On prétend que f est périodique de période ω = ωq1 = ωp2 ssi f est doublement
périodique de période ω1 et ω2
1. f est doublement périodique de période ω1 et ω2
ω1
f (z + ω) = f z = = f (z + mω2 + nω1 ) = f (z)
q
ω1 ω2
2. f est simplement périodique de péridode ω = q = p .
f (z + ω1 ) = f (z + qω) = f (z)
∀z ∈ C
f (z + ω2 ) = f (z + pω) = f (z)
ω2
τ= ω1 ∈ R \ Q Par le lemme de Kronecker (2.6.24 page 77) Ω = {x ∈ R : x = m+nτ, m, n ∈ Z}
est dense dans R. Comme f est méromorphe, on prend z ∈ C où f est holomorphe.
Soit α ∈ R, > 0, ∃m, n ∈ Z tels que
|α − (m + nτ )| ≤
|ω1 |
|αω1 − (mω1 + nω2 | ≤
Remarque 2.6.26
A partir de maintenant τ = ωω21 6∈ R. Comme τ et τ1 ont des parties imaginaires de signe opposé.
Quitte à intervertir le rôle de ω1 et ω2 , on peut toujours supposer que Im τ > 0. On peut aussi
supposer que ω1 = 1 (il suffit de remplacer g par g où g(z) = f (ω1 z).
En résumé, on va toujours supposer que ω1 = 1 et ω2 = τ avec Im τ > 0.
78 CHAPITRE 2. ANALYSE COMPLEXE
On va étendre les deux fonctions sur tout l’axe réel en utilisant leur périodicité ; on commence
par l’étendre sur le domaine ] − ω, 3ω[ en posant f (u) = f (u − 2ω). On étend f à R par 4ω
périodicité : f (u) = f (u + 4ω).
Afin de déterminer les dérivées de ces deux fonctions, on va utiliser la formule f 0 f −1 (x) =
1
(f −1 )0 (x)
. Ceci nous permettra d’étendre les domaines de nons fonctions à l’axe imaginaire :
sinus sinus lemmiscatique
√ √
sin0 (u) =
q
1 − x2 sl 0 (u) = 1 − x4 = 1 − sl 4 (u) = cl (u)
⇒ sin(iu) = i sinh(u) ⇒ sl (iu) = i · sl (u)
Z ix Z x Z ix Z x
−1 dt ds −1 dt ds
f (ix) = √ =i √ f (ix) = √ =i √
0 1 − t2 0 1 + s2 0 1 − t4 0 1 − s4
Nous allons maitenant calculer les dérivées des fonctions sur l’axe imaginaire :
sinus sinus lemmiscatique
(sin(iu))0 = (i sinh(u))0 ⇒ i sin0 (iu) = sl (iu) = isl u ⇒ isl 0 u = i · sl 0 u ⇒ sl 0 (iu) =
i sinh0 (u) sl 0 u
Afin d’étendre ces fonctions à tout le plan complexe nous allons utiliser deux formules. La pre-
mière concerne le sinus : sin(u + iv) = sin(u) sin0 (iv) + sin0 (u) sin(iv) Et donc :
Ainsi,
p √
x 1 − y 4 + y 1 − x4
sl (u + v) =
1 + x2 y 2
q q
sl (u) sl 4 (v) + sl (v) 1 − sl 4 (u)
=
1 + sl 2 (u)sl 2 (v)
sl (u)sl0 (v) + sl (v)sl 0 (u)
=
1 + sl 2 (u)sl 2 (v)
Et donc :
sl (u)sl 0 (v) + sl (v)sl 0 (u)
sl (u + iv) =
1 + sl 2 (u)sl 2 (v)
sl (u)sl 0 (v) + isl (v)sl 0 (u)
=
1 − sl 2 (u)sl 2 (v)
Conclusion :
On a défini :
sinus sinus lemmiscatique
sin : C −→ C, qui est holomorphe dans tout sl : C −→ C qui satisfait sl (z + 4ω) =
son domaine. sl (z) = sl (z + 4iω) et est holomorphe sauf
quand sl (Re z) sl (Im z) = ±1.
Rappel 2.6.28
Le parallélogramme fondamental est
Si on arrive à montrer que cette intégrale vaut 0, on aura terminé ce cas. On va paramétriser
∂P0 :
γ1 = [0, 1]
γ2 = [1, 1 + τ ]
γ3 = [1 + τ τ ]
γ4 = [τ, 0]
R R R R
On va montrer que γ1 f + γ3 f = γ2 f + γ4 f = 0.
Z Z Z 1 Z τ Z 1 Z 1
f+ = f (z)dz + f (z)dz = f (z)dz − f (z + τ )dz = 0
γ1 γ3 0 1+τ 0 0
La fontion P de Weierstrass
Weierstrass souhaite créer une fonction elliptique d’ordre 2 ; il choisi une fonction ayant des
pôles sur les sommets de ∂P0 (remarquons que par périodicité, la fonction possédera un nombre
infini de pôles). Il part de
1 1 1 1
+ + +
z 2 (z − 1)2 (z − τ )2
(z − (1 + τ ))2
en utilisant la périodicité
1 X 1
+
z2
m,n)∈Z×Z
(z − (m + nτ ))2
(m,n)=6=(0,0)
mais cette fonction n’est pas la bonne, car elle diverge ; alors Weierstrass la corrige par une autre
série :
1 X 1 1
P (z) = 2 + −
z (z − (m + nτ ))2 (m + nτ )2
m,n)∈Z×Z
(m,n)=6=(0,0)
Théorème 2.6.31
La fonction P est une fonction paire, elliptique d’ordre 2 qui a pour période 1 et τ (Im τ > 0). Son
pôle d’ordre 2 dans P0 est en z = 0. Tous les points du treillis Λ = {z ∈ C : z = m+nτ, m, n ∈ Z}
sont des pôles d’ordre 2. De plus
τ
0 2 1 1+τ
P (z) = 4 P (z) − P P (z) − P P (z) − P
2 2 2
Théorème 2.6.32
Toute fonction elliptique est une fonction rationnelle de P et de P 0 .
Remarque 2.6.33
On avait P 02 = 4(P − α)(P − β)(P − γ). On intègre des deux côtés :
P0
Z u Z u
p = 1
0 4(P − α)(P − β)(P − γ) 0
2.6. QUELQUES FONCTIONS SPÉCIALES 81
Z P (u)
dt
p =u
0 4(t − α)(t − β)(t − γ)
Lemme 2.6.34
Si r > 2, τ ∈ C avec Im τ 6= 0 alors les deux séries
X q X 1
(|m| + |n|)r (n + mτ )r
n,m∈Z n+mτ ∈Λ∗
(m,n)6=(0,0)
Démonstration. (i) Si n 6= 0,
X 1 1 X 1
= +
(|n| + |m|)r |n|r (|n| + |m|)r
m∈Z m6=0
∞
1 X 1
= +2
|n|r (|n| + m)r
m=1 | {z }
k
1 X 1
= r
+2·
|n| kr
k≥|n|+1
Z ∞
1 dx
≤ r
+ 2 r
|n| |n| x
1 2 1−r ∞
= r
+ x |n|
|n| 1−r
1 2
= r
+
|n| (r − 1)|n|r−1
Et donc
∞
X 1 X 1 XX 1
= 2 +
(|n| + |m|)r |n|r (|n| + |m|)r
n,m∈Z n=1 n6=0 m∈Z
(n,m)6=(0,0)
∞
X 1 2 X 1
≤ 2 r
+
|n| r−1 |n|r−1
n=1 n6=0
| {z } | {z }
<∞ <∞
r>2 r>2
(ii) Pour montrer que ω∈Λ∗ ω1r (ω = n + mτ , pour n, m ∈ Z) converge, il suffit de montrer
P
qu’il existe γ > 0 tel que (|n| + |m|) ≤ γ |n + mτ |, ∀(n, m) ∈ Z × Z. Soit τ = α + iβ avec
β 6= 0. Quitte à changer la valeur de la constante γ, on peut supposer que |α| < 1. En effet,
si |α| ≥ 1, |n + mτ | = |τ | · nτ + m alors
1 α β |α|
= 2 −i 2 ⇒ 2 <1
τ α + β2 α + β2 α + β2
82 CHAPITRE 2. ANALYSE COMPLEXE
Ainsi,
1
1
|n + mτ | = (n + mτ )2 + (mβ) 2 ≥ √ ((|n + mα| + |mβ|)
CS 2
1
≥ √ min{1, |β|} (|n + mα| + |m|)
2
1
≥ √ min{1, |β|} (|n| − |m| · |α| + |m|)
2
1
≥ √ min{1, |β|} · min{1, (1 − |α|)}(|m| + |n|)
2
P 0 (z + 1) = P 0 (z) et P 0 (z + τ ) = P 0 (z)
Ainsi
P (z + 1) = P (z) + a et P (z + τ ) = P (z) + b
On prend z = − 21 , en utilisant le première égalité et le fait que P est paire, on trouve a = 0.
De même, en prenant z = − τ2 , on montre que b = 0.
Ainsi, P est périodique de période 1 et τ .
Proposition 2.6.35
La série convergen si |z| < 1.
u(z) = F (α, β, γ, z) est solution de cette équation différentielle, appelée équation hypergéomé-
trique.
|z|2
an+1
an (k + 1)(n + k + 1)22 =⇒ 0
=
84 CHAPITRE 2. ANALYSE COMPLEXE
Proposition 2.6.37
Z π
1
Jn (z) = cos (nθ − z sin θ) dθ
π 0
z 2 · u00 + z · u0 + z 2 − n2 u = 0
On va vérifier ceci pour n = 0 (mais le raisonnement est semblable pour n 6= 0). L’équation de
Bessel est équivalente à 0
zu00 + u0 + zu = 0 ⇔ zu0 + zu = 0
on va montrer que u(z) = J0 (z). Calculons les différents termes :
"∞ #
X (−1)k
zu0 (z) = z 2kz 2k−1
(k!)2 22k
k=1
∞
X (−1)k 2k
= 2kz
(k!)2 22k
k=1
Calculons maintenant
∞ ∞
0 X (2k)2 (−1)k X (2(k + 1))2 (−1)k+1
zu0 = z 2k−1 = z 2k+1
(k!)2 22k ((k + 1)!)2 22(k+1)
k=1 k=0
et
∞
X (−1)k 2k+1
zu = z
(k!)2 22k
k=0
Finalement,
∞
(−1)k+1 (−1)k
0 0
X
2k+1
zu + zu = z + =0
(k!)2 22k (k!)2 22k
k=0
Chapitre 3
Lebesgue
3.1 Préliminaires
3.1.1 L’intégrale de Riemann
Soient a, b ∈ R, avec a < b, I¯ = [a, b] et f : I¯ −→ R une fonction bornée. Soit maintenant
Σ = ensemble des partitions de I¯ en un nombre fini d’intervalles. Pour σ ∈ Σ, on a σ = {a =
x0 < x1 < . . . < xn = b}. On pose alors :
Et, de plus :
S = sup{S σ : σ ∈ Σ}
S = inf{S σ : σ ∈ Σ}.
On a alors :
m(b − a) ≤ S ≤ S ≤ M (b − a).
Exemple 3.1.2 (i) Une fonction f continue, ou continue par morceaux, est intégrable au sens
de Riemann.
(ii) La fonction définie par
1 si x ∈ Q ∩ [0, 1]
f (x) = χQ∩[0,1] (x) =
0 sinon
85
86 CHAPITRE 3. LEBESGUE
Notation 3.1.4
Soient A, B ⊂ R.
(i) Ac = R \ A ;
(ii) A \ B = A ∩ B c ;
(iii) A4B = (A \ B) ∪ (B \ A),
Corollaire 3.1.8
Soit G ⊂ R un ouvert. Alors G est union, au plus dénombrable, d’intervalles disjoints.
Rappel 3.2.2
On rappelle la convergence de la série géométrique de raison 1/2 :
∞
X 1
= 1.
2n
n=1
Théorème 3.2.3
Soient A, B ⊂ R. On a les propriétés suivantes :
(i) mes∗ (A) ≥ 0 ;
(ii) mes∗ (∅) = 0 ;
(iii) A ⊂ B ⇒ mes∗ (A) ≤ mes∗ (B) ;
(iv ) mes∗ ({x}) = 0, pour tout x ∈ R ;
3.2. MESURE SUR LES RÉELS 87
Démonstration. On ne démontre ici que les deux derniers points, les autres étant traités en série
d’exercices.
1 1
iv) Soit x ∈ R. Alors x ∈ In = ]x − 2n , x + 2n [, pour tout n ∈ N. On a donc
1
0 ≤ mes∗ ({x}) ≤ long (In ) = −→ 0,
n
d’où mes∗ ({x}) = 0.
S∞
v) Pour tout > 0, il existe des intervalles In tels que A ⊂ n=1 In et, par définition,
∞
X
mes∗ (A) ≥ long (In ) − .
n=1
S∞
Remarquons que A + x ⊂ n=1 (In + x). On a de plus
∞
X ∞
X
0 ≤ mes∗ (A + x) ≤ long (In + x) = long (In )
déf
n=1 n=1
≤ mes∗ (A) + .
(i)
Théorème 3.2.4
La mesure extérieure d’un intervalle est sa longueur.
N
X N
X
b−a≤ (dn − cn ) = long (Jn ) .
n=1 n=1
0 ∞
S∞ 0 a définir une famille d’intervalles ouverts {In }n=1 telle que I =
On cherche maintenant
]a, b[⊂ [a, b] ⊂ n=1 In et
∞
X ∞
X
long In0 = long (In ) + 2. (3.2)
n=1 n=1
88 CHAPITRE 3. LEBESGUE
Pour cela, comme est fixé, puisque a + 4 ∈ ]a, b[, il existe n0 ∈ N tels que a + 4 ∈ In0 . De
même, il existe m0 ∈ N tel que b − 8 ∈ Im0 . En renommant maintenant les In , pour que
In0 = I1 et Im0 = I2 , on peut définir
In0 = ]an − n , bn + n [.
2 2
0 0 0 ∞
On a alors que a ∈ I1 et b ∈ I2 . Ainsi, la famille {In }n=1 vérifie bien les propriétés voulues.
Par le théorème de Heine-Borel (3.1.6 page 86), il existeSun sous-recouvrement fini de [a, b],
0 ∞ N
c’est-à-dire {Jn }N
n=1 ⊂ {In }n=1 tels que ]a, b[⊂ [a, b] ⊂ n=1 Jn .
Par ailleurs, comme Jn = In0 (à un changement de numérotation près)
N
X N
X ∞
X
In0 long In0 .
b−a≤ long (Jn ) = long ≤ (3.3)
n=1 n=1 n=1
et donc,
b − a ≤ mes∗ (I) , I = ]a, b[.
Etape 3 Qu’en est-il de [a, b], [a, b[ et ]a, b] avec −∞ < a < a < ∞ ? On va le faire pour
I = [a, b]. Soit > 0, alors
i h
]a, b[⊂ [a, b] = I ⊂ a − , b + =: J.
2 2
Par l’étape 2,
mes∗ (]a, b[) = b − a ≤ mes∗ (I) ≤ mes∗ (J) = (b − a) + .
3.2.3 3.2.3 Et. 2
Comme
∞
[ ∞ [
[ ∞
Ei ⊂ Ii,j ,
i=1 i=1 j=1
on a que
∞ ∞ ∞ ∞
!
∗
[ X X X 1 ∗
mes Ei ≤ long (Ii,j ) ≤ mes (Ei ) + .
(3.4) i=1 2i
i=1 i,j=1 i=1
| {z }
=1
3.2. MESURE SUR LES RÉELS 89
Théorème 3.2.6
Pour tout ensemble A ⊂ R, pour tout > 0, il existe un ouvert O ⊃ A tel que
Remarque 3.2.8
Par le théorème de la sous-additivité, 3.2.5 page 88, pour tout ensemble E et pour tout ensemble
A
mes∗ (A) = mes∗ ((A ∩ E) ∪ (A ∩ E c )) ≤ mes∗ (A ∩ E) + mes∗ (A ∩ E c ) .
Démonstration. Nous démontrons ici les 5 premiers points, les deux derniers étant faits en série
d’exercice.
(i) Soit A ⊂ R. On a que A ∩ R = A et A ∩ Rc = ∅. Ainsi,
et donc
mes∗ (A) = mes∗ (A ∩ R) + mes∗ (A ∩ Rc ) .
90 CHAPITRE 3. LEBESGUE
Et donc E ∪ F ∈ M.
(iv) Soient E, F ∈ M. Observons que
E ∩ F = (E c ∪ F c )c ,
ainsi
E ∈ M ⇒ Ec ∈ M
F ∈ M ⇒ Fc ∈ M
⇒ Ec ∪ F c ∈ M
⇒ (E c ∪ F c )c ∈ M.
Notation 3.2.10
Si E est mesurable, on note mes(E) = mes∗ (E).
Théorème 3.2.11
Les intervalles sont mesurables.
Cas 2 Les intervalles ]a, ∞[, ] − ∞, a[ et ] − ∞, a] se traitent de la même manière que le cas 1.
Lemme 3.2.12
Soient E1 , . . . , En ∈ M disjoints. Alors, pour tout A ⊂ R
n n
!!
[ X
∗
mes A ∩ Ei = mes∗ (A ∩ Ei )
i=1 i=1
Remarque 3.2.13
Premier point :
k+1 k
!
[ \ [
c
Ei Ek+1 = Ei .
i=1 i=1
Deuxième point :
k+1
!
[ \
Ei Ek+1 = Ek+1 .
i=1
Démonstration. On va réaliser la démontration par induction. Si n = 1, le résultat est trivial.
Théorème 3.2.14
Si Ei ∈ M, alors
∞
[ ∞
\
Ei , Ei ∈ M.
i=1 i=1
En particulier les ouverts et les fermés sont mesurables.
Par conséquent, il suffit de montrer le résultat pour des Ei disjoints. Observons d’abord
que !c !c
[∞ n
[
Ei ⊂ Ei .
i=1 i=1
Sn
Comme i=1 Ei est mesurable, on a, pour tout A ⊂ R
n
!! n
!c !
[ [
mes∗ (A) = mes∗ A ∩ Ei + mes∗ A∩ Ei
i=1 i=1
n
! ∞
!c !
[ [
≥ mes∗ A∩ Ei + mes∗ A∩ Ei
i=1 i=1
n ∞
!c !
X [
∗ ∗
= mes (A ∩ Ei ) + mes A∩ Ei .
(3.2.12)
i=1 i=1
En passant à la limite,
∞ ∞
!c !
X [
∗ ∗ ∗
mes (A) ≥ mes (A ∩ Ei ) + mes A∩ Ei
n=1 i=1
∞
!! ∞
!c !
[ [
≥ mes∗ A∩ Ei + mes∗ A∩ Ei
(3.2.5) i=1 i=1
≥ mes∗ (A)
(3.2.5)
Conclusion :
∞ ∞
!! !!
[ [
mes∗ (A) = mes∗ A∩ Ei + mes∗ A∩ Ei .
i=1 i=1
S∞
Et donc i=1 Ei ∈ M.
Etape 2 Les ouverts sont mesurables. En effet, par le théorème de Lindelhöff, tout ouvert est
union, au plus dénombrable, d’intervalles. Puisque l’on a montré que les intervalles sont
mesurables et qu’une union d’ensembles mesurables et mesurable, on a terminé.
Puisque tout ouvert est mesurable et que le complémentaire d’un mesurable est mesurable,
on a que tout fermé est mesurable.
3.2. MESURE SUR LES RÉELS 93
Théorème 3.2.15
Les assertions suivantes sont équivalentes :
(i) E est mesurable ;
(ii) pour tout > 0, il existe O ⊃ E un ouvert tel que mes∗ (O \ E) ≤ ;
(iii) il existe G = ∞ ∗
T
n=1 Gn où chaque Gn ⊃ E est un ouvert tel que mes (G \ E) = 0 ;
(iv ) pour tout > 0, il existe F ⊂ E un fermé tel que mes∗ (E \ F ) ≤ ;
(v ) il existe F = ∞ ∗
S
n=1 Fn , où chaque Fn ⊂ E est un fermé tel que mes (E \ F ) = 0.
On a donc que
mes∗ (O \ E) = mes∗ (O) − mes∗ (O) ≤ .
1
(ii) ⇒ (iii) Soit = n dans (ii). Ainsi, il existe un ouvert On ⊃ E tel que
1
mes∗ (On \ E) ≤ = .
n
T∞
En posant G = n=1 On , on obtient que
1
mes∗ (G \ E) ≤ mes∗ (On \ E) ≤ .
n
En laissant n tendre vers l’infini, on obtient le résultat désiré.
(iii) ⇒ (i) Observons tout d’abord que G = ∞
T
n=1 On ∈ M, parce que chaque On appartient à
M et qu’une intersection dénombrable de mesurables est mesurable. De plus, G \ E ∈ M
et, puisque E = G \ (G \ E), on a que E ∈ M.
∞ ∞
!
[ X
mes Ei = mes (Ei )
i=1 i=1
Démonstration. Le théorème de la sous-additivité, 3.2.5 page 88, donne déjà une inégalité. Par
le lemme 3.2.12, page 91, appliqué A = R, on a
n n ∞
! !
X [ [
mes (Ei ) = mes Ei ≤ mes Ei .
i=1 i=1 i=1
En laissant n tendre vers l’infini et en combinant les deux inégalités, on obtient le résultat
souhaité.
Théorème 3.2.17
Si mes∗ (E) < ∞, alors E est mesurable si et seulement si pour tout > 0, il existe des intervalles
disjoints Ii tels que
n
!
[
mes∗ E4 Ii ≤ .
i=1
Sn
Soit F = i=1 Ii . On a alors
n n
! !
[ [
E4F = E\ Ii ∪ Ii \ E
i=1 i=1
n
!
[
⊂ O\ Ii ∪ (O \ E)
i=1
∞
!
[
= Ii ∪ (O \ E).
i=n+1
Ainsi,
∞
!
[
mes (E4F ) ≤ mes Ii + mes (O \ E) ≤ + .
2 2
i=n+1
Théorème 3.2.19
L’ensemble M des ensembles mesurables est une σ-algèbre.
Définition 3.2.20 (Ensembles de Borel)
Soit B la σ-algèbre engendrée par les intervalles. Les ensembles de B sont appelés les ensembles
de Borel ou boréliens.
Théorème 3.2.21
B ⊂ M ⊂ P(R).
Théorème 3.2.22
M=6 P(R).
Lemme 3.2.23
Si E ∈ M, y ∈ R. Alors E + y ∈ M et mes (E + y) = mes (E).
Démonstration. Nous procéderons en deux étapes.
Etape 1 Par le théorème 3.2.3, pour tout A ⊂ R, mes∗ (A + y) = mes∗ (A).
Etape 2 Pour conclure il suffit de montrer que E + y est mesurable. Comme E est mesurable,
pour tout > 0, il existe O ⊃ E un ouvert tel que
mes (O \ E) ≤ .
E ⊂ O ⇒ E + y ⊂ O + y.
Calculons
x ∼ y ⇔ x − y ∈ Q1 = Q ∩ [0, 1].
En effet, soit x ∈ [0, 1] alors il existe α tel que x ∈ Eα ; sans perte de généralité, on prend
le α qui appartient à V . On a alors que x ∼ α et donc que x = α + rn ∈ V + rn = Vn .
Etape 5 On sait que
∞ ∞
!
[ X
mes ([0, 1]) = 1 ≤ mes Vn = mes (Vn )
n=1 n=1
∞
X ∞
X
= mes (V + rn ) = mes (V )
n=1 n=1
≤ mes ([−1, 2]) ≤ 3.
P∞
Ainsi, mes (Vn ) vaut 0 ou ∞, contradiction puisque 1 ≤ n=1 mes (V ) ≤ 3. Ainsi, V n’est
pas mesurable.
Eα = {x ∈ R : f (x) > α} ∈ M.
Proposition 3.2.26
Les affirmations suivantes sont équivalentes :
(i) f est mesurable ;
(ii) pour tout α ∈ R, {x ∈ R : f (x) ≥ α} ∈ M ;
(iii) pour tout α ∈ R, {x ∈ R : f (x) < α} ∈ M ;
(iv ) pour tout α ∈ R, {x ∈ R : f (x) ≤ α} ∈ M.
T∞
Démonstration. (i) ⇒ (ii) Remarquons que {x ∈ E : f (x) ≥ α} = n=1 {x ∈ E : f (x) > α− n1 }.
(i) ⇒ (iii) {x ∈ E : f (x) < α} = {x ∈ E : f (x) ≥ α}c .
Exemple 3.2.27
Soit la fonction caractéristique d’un ensemble :
1 si x ∈ A
χA (x) =
0 si x ∈
6 A.
Etudions maintenant :
R si α < 0
{x ∈ R : χA (x) > α} = A si 0 ≤ α < 1
∅ si α > 1.
Proposition 3.2.30
Une fonction f : X −→ R est continue en x0 si et seulement si elle est semi-continue inférieu-
rement et supérieurement.
Exemple 3.2.31
Si f est SCI (semi continue inférieurement) ou SCS (semi continue supérieurement), alors f est
mesurable. En particulier, une fonction continue est mesurable.
est mesurable. Comme f (x) > α − g(x), il existe rn ∈ Q tel que f (x) > rn > α − g(x).
Ainsi, si x ∈ Eα , on aura que x ∈ {y : f (y) > rn } ∩ {y : g(y) > α − rn }. Par conséquent,
∞
[
Eα ⊂ {y : f (x) > rn } ∩ {y : g(y) > α − rn } = Fα .
n=1
Définition 3.2.33
Soit {fν }∞
ν=1 une suite de fonctions. Alors
Remarque 3.2.34
On sait que lim inf fν ≤ lim sup fν (ces deux limites existent toujours) mais elles ne sont pas
forcément égales.
Théorème 3.2.35
Si fν est mesurable pour tout ν ∈ N, alors inf{fν }, sup{fν }, lim inf{fν } et lim sup{fν } sont
mesurables.
Définition 3.2.36
Si une propriété a lieu sauf sur un ensemble de mesure nulle, on dit que la propriété a lieu presque
partout, ce que l’on note p.p.
Théorème 3.2.37
Soient deux fonctions f et g. Si f = g p.p et si f est mesurable, alors g mesurable.
3.2. MESURE SUR LES RÉELS 99
Remarque 3.2.38
Soit f ∈ C 0 et ϕ une fonction mesurable, alors
(i) f ◦ ϕ est mesurable (démontré dans la série 17) ;
(ii) de manière générale, ϕ ◦ f n’est pas mesurable.
1
A chaque étape, on enlève à chacun des intervalles précédents de longueur 3k
un intervalle
1
de longueur 3k+1 . On a donc : . . . ⊂ Pk+1 ⊂ Pk ⊂ . . . ⊂ P0 .
Définition 3.2.39
L’ensemble de Cantor est alors
∞
\
P = Pk .
k=0
Proposition 3.2.40
L’ensemble de Cantor :
(i) est compact ;
(ii) ne contient aucun intervalle ;
(iii) est indénombrable ;
(iv ) est de mesure nulle.
Démonstration. Prouvé dans une série.
100 CHAPITRE 3. LEBESGUE
Le développement décimal
P∞ an
Soit a ∈ [0, 1]. On écrit alors a = 0, a1 a2 a3 . . . = n=1 10n , où chaque an ∈ {0, 1, 2 . . . , 9}.
0, a1 . . . ak−1 999 . . .
0, a1 . . . (ak−1 + 1)000 . . .
Remarque 3.2.42
On peut faire ce développement dans n’importe que base. Nous utiliserons dans ces cours uni-
quement les bases 10, 2 et 3.
calculé en base 3.
Alors, f ([0, 1]) = P , elle est injective, surjective sur P et elle est mesurable.
Remarque 3.2.44
Cette fonction envoie de manière bijective un intervalle de mesure 1 dans un ensemble de mesure
nulle.
Lemme 3.2.45
Si une fonction f est mesurable et si B ∈ B (ensemble des Boréliens), alors f −1 (B) ∈ M.
par mesurabilité de f .
Remarque 3.3.2
Si les Ai sont des intervalles, il s’agit d’une fonction en escalier.
Définition 3.3.3
On définit les intégrales suivantes :
(i) Si ϕ est simple et mesurable, alors
Z n
X
ϕ= ai · mes (Ai ) .
i=1
Proposition 3.3.4
Si ϕ ≥ 0 est simple et mesurable, alors
(i) Les deux définition coïncident.
102 CHAPITRE 3. LEBESGUE
(ii) Si E ∈ M, alors
Z n
X
ϕ= ai · mes (Ai ∩ E) .
E i=1
(iii) Si A, B ∈ M, A ∩ B = ∅, alors
Z Z Z
ϕ= ϕ+ ϕ.
A∪B A B
(iv ) Si a ∈ R+ , alors Z Z
a·ϕ=a· ϕ.
Proposition 3.3.5
On a les propriétés suivantes :
(i) Soit f ≥ 0 une fonction mesurable. Alors
Z
f = 0 p.p. ⇔ f = 0.
(iii) Si 0 ≤ f ≤ g mesurables et A ∈ M,
Z Z
f≤ g.
A A
Démonstration. On va démontrer seulement le premier point, les autres étant traités en exercices.
(i) Supposons que f = 0 p.p. SoitR ϕ ≤ f une fonction mesurable et simple. Comme f = 0 p.p,
on a que ϕ = 0 p.p et donc ϕ = 0, ce qui implique le résultat.
R
Supposons maintenant que f = 0. Posons, pour n ∈ N,
1
En = x ∈ R : f (x) ≥ ,
n
1
ϕn (x) = · χEn ,
n
3.3. INTÉGRALE DE LEBESGUE* 103
E0 = ∅
Eν = {x : fν (x) ≥ α · ϕ(x)}.
S∞
Alors Eν ⊂ Eν+1 et R = ν=1 Eν . Calculons maintenant,
Z Z Z
fν ≥ fν ≥ α ϕ
Eν Eν
X ν Z
= α ϕ
k=1 Ek \Ek−1
(cela vient du point (v) de la proposition 3.3.5 et du fait que les Ek \ Ek−1 sont deux à
deux disjoints). Passons à la limite :
Z ∞ Z
X Z
lim fν ≥ α ϕ=α ϕ.
k=1 Ek \Ek−1
R R
En laissant tendre α vers 1, et puisque lim fν ≥ ϕ est vrai pour toute fonction simple
et mesurable ϕ avec 0 ≤ ϕ ≤ f , alors
Z Z
lim fν ≥ sup ϕ : 0 ≤ ϕ ≤ f, ϕ mesurable et simple .
Démonstration. On pose gν (x) = inf j≥ν {fj (x)}. Alors gν (x) ≤ gν+1 (x) et on définit f (x) :=
lim gν (x) = lim inf fν (x) (on peut avoir, éventuellement, gν (x) = ∞). Puisque gν est monotone,
on a
Z Z Z
lim gν = lim inf gν ≤ lim inf fν . (3.8)
Théorème 3.3.8
Soit f ≥ 0 une fonction mesurable. Alors il existe une suite ϕν ≥ 0 de fonctions simples et
mesurables, telle que ϕν (x) % f (x).
Remarque 3.3.9 R R
En particulier, f = lim ϕν .
Démonstration. Définissons,
k−1 k
Eν,k = x: ν
< f (x) ≤ ν
2 2
Fν = {x : f (x) > ν}.
Alors, on a
∞ ν2 ν !
[ [
R= Eν,k ∪ Fν ∪ {x : f (x) = 0},
ν=1 k=1
et
Eν,k ∩ Fν = ∅, ∀k = 1, . . . , ν2ν .
Posons maintenant,
ν2ν
X k−1
ϕν (x) = χEν,k (x) + ν · χFν (x).
2ν
k=1
On prétend que
0 ≤ ϕν ≤ ϕν+1 (3.10)
lim ϕν (x) = f (x). (3.11)
ν→∞
ν2ν+1 + 1 − 1
(ν + 1)2ν+1
ν= < f (x) ≤ ν + 1 = .
2ν+1 2ν+1
ν2ν+1 + 1 − 1
k−1
ϕν+1 (x) = ν+1 ≥ = ν = ϕν (x).
2 2ν+1
3.3. INTÉGRALE DE LEBESGUE* 105
x 6∈ Fν , f (x) 6= 0 Il existe k ∈ {1, . . . , ν2ν } tel que x ∈ Eν,k ce qui implique que ϕν (x) =
k−1
2ν . On a donc
k−1 k k−1
ν
< f (x) ≤ ν et ϕν (x) = .
2 2 2ν
k−1
On veut montrer que ϕν+1 (x) ≥ 2ν = ϕν (x). Posons l = 2k − 1, alors
Et donc,
l−1 2k − 2 k−1 k l
= ν+1 = < f (x) ≤ ν = ν+1 .
2ν+1 2 2ν 2 2
Ainsi,
l−1 k−1
ϕν+1 (x) ≥ ν+1
= = ϕν (x).
2 2ν
f (x) = 0 Alors ϕν (x) = ϕν+1 (x) = 0.
Preuve de l’équation (3.11) On va, à nouveau, distinguer plusieurs cas.
f (x) = 0 On a ϕν (x) = 0, pour tout ν et donc ϕν (x) → f (x).
0 < f (x) < ∞ Il existe ν0 tel que x ∈ (Fν )c pour tous les ν ≥ ν0 . Ce qui implique x ∈ Eν,k ,
et donc
k−1 k
ϕν (x) = ν
< f (x) ≤ ν .
2 2
On a donc
1
|f (x) − ϕν (x)| ≤ ν −→ 0.
2
T∞
f (x) = ∞ On a x ∈ ν=1 Fν et donc ϕν (x) = ν, ce qui implique ϕν (x) → f (x) = ∞.
Corollaire 3.3.10
Soit f ≥ 0 une fonction mesurable et ϕν ≥ 0 une suite de fonctions simples et mesurables telles
que ϕν converge vers f de manière monotone. Alors
Z Z
lim ϕν = f.
ν→∞
Proposition 3.3.11
Soient f, g ≥ 0 des fonctions mesurables. Alors
Z Z Z
(f + g) = f + g.
Proposition 3.3.12
Si fν ≥ 0 est une suite de fonctions mesurables, alors
∞
Z X ∞ Z
X
fν = fν .
ν=1 ν=1
Proposition 3.3.13
Ces fonctions vérifient les propriétés suivantes :
106 CHAPITRE 3. LEBESGUE
(i) f = f + − f − ;
(ii) |f | = f + + f − ;
(iii) si f est mesurable, alors f + et f − sont mesurables.
Définition 3.3.14
On définit les intégrales suivantes :
(i) Si f est mesurable on dit que f est intégrable (que l’on écrira plus tard f ∈ L1 (R) si
Z Z
f + , f − < ∞.
(ii) Si f est mesurable et si E ⊂ R est mesurable, on dit que f est intégrable sur E (que l’on
note f ∈ L1 (E)) si χE · f est intégrable. Dans ce cas,
Z Z
f = χE · f.
E
Proposition 3.3.15
Si f, g sont des fonctions intégrables et si a ∈ E, alors
R R
(i) a · f = a · f ;
R R R
(ii) (f + g) = f + g ;
R R
(iii) f ≤ g ⇒ f ≤ g ;
R
(iv ) f = 0 p.p ⇒ f = 0.
Théorème 3.3.16 (Théorème de la convergence dominée)
Soient fν des fonctions mesurables telles que |fν | ≤ g p.p. et g intégrable. Si f (x) = limν→∞ fν (x)
p.p., alors f est intégrable et Z Z
f = lim fν .
ν→∞
De même pour fν .
Etape 2 Montrons maintenant que Z Z
f = lim fν .
ν→∞
On va montrer grâce au lemme de Fatou 3.3.7 page 103 et grâce à majoration par g que
Z Z Z
lim sup fν ≤ f ≤ lim inf fν . (3.12)
Théorème 3.3.18
Soit f : [a, b] −→ R. Alors f est intégrale au sens de Riemann si et seulement si f est continue
p.p.
Puisque B est une union finie d’intervalles, en montrant le lemme séparément sur chaque
intervalles Ii , on peut supposer que f = χI où I est un intervalle, et donc f = 1 sur I.
Etape 3 On définit la fonction suivante :
x ∈ ]a, a + 4 ]
0
x−(a+ 4 )
x ∈ ]a + 4 , a + 2 [
4
g(x) = 1 x ∈ [a + 2 , b − 2 ]
(b− 4 )−x
x ∈ ]b − 2 , b − 4 [
4
x ∈ ]b − 4 , b[,
0
Lemme 3.3.22
Soit ϕ ∈ C0∞ (R) une fonction telle que ϕ ≥ 0, ϕ(x) = 0 si |x| > 1 et ϕ = 1. Pour
R
R ν ∈ N, on
définit ϕν (x) = ν · ϕ(ν · x). Remarquons que le support de ϕν est − ν1 , ν1 . De plus, ϕν = 1, et
limν→∞ ϕν (x) = ∞.
Soit de plus f ∈ C0 (]a, b[) et définissons une suite de fonctions
Z ∞
fν (x) = f ∗ ϕν (x) := f (y) · ϕν (x − y)dy.
−∞
De plus, fν −→ f uniformément.
Exemple 3.3.23
Soit la fonction
c exp x21−1
|x| < 1
ϕ(x) =
0 |x| ≥ 1.
R
Choisir c tel que ϕ = 1.
3.3. INTÉGRALE DE LEBESGUE* 109
Théorème 3.3.24
Soit f : ]a, b[−→ R intégrable. Alors, pour tout > 0, il existe g ∈ C0∞ (]a, b[) telle que
Z b
|f − g| ≤ .
a
Remarque 3.3.25
Le résultat est vrai si a = −∞ ou b = ∞.
Remarque 3.3.28 (i) L1 (a, b) est l’ensemble des fonctions intégrables sur ]a, b[.
(ii) De manière plus rigoureuse, on définit d’abord Lp comme ci-dessus. Ensuite, on définit une
relation d’équivalence
f ∼ g ⇔ f = g p.p.
On définit alors Lp en passant au quotient, ce qui permet d’assurer que la norme k·kLp est
définie positive.
Définition 3.3.29
Si p = ∞ et f : ]a, b[−→ R mesurable, alors
Proposition 3.3.30
On a les propriétés suivantes :
(i) Lp (a, b), 1 ≤ p ≤ ∞ est un espace vectoriel.
(ii) Si de plus −∞ < a < b < ∞ et si 1 ≤ p ≤ q ≤ ∞, on a que
Démonstration. Par le théorème 3.3.24 page 109, pour tout > 0, il existe g ∈ C0∞ (]0, 2π[) telle
que Z 2π
|f − g| ≤ .
0
110 CHAPITRE 3. LEBESGUE
On a donc,
2π 2π
Z Z
f (x) cos(nx) − g(x) cos(nx)dx ≤ |f (x) − g(x)|dx ≤ .
0 0
Calculons maintenant,
Z 2π 2π Z 2π
1 1
g(x) cos(nx)dx = sin(nx)g(x) − g 0 (x) sin(nx)dx.
0 n 0 n 0
Définition 3.3.32
Si 1 ≤ p ≤ ∞, on appelle exposant conjugué de p le nombre p0 , 1 ≤ p0 ≤ ∞, tel que 1
p + 1
p0 = 1.
p
On va alors utiliser l’inégalité de Hölder avec p0 = p−1 , car
1 1 1 p−1
+ 0 = + = 1.
p p p p
On trouve alors,
Z ∞ Z ∞
kf + gkpLp ≤ |f | · |f + g| p−1
+ |g| · |f + g|p−1
−∞ −∞
Z 1 Z p−1 Z 1 Z p−1
p p p p p p
p (p−1) p−1 p (p−1) p−1
≤ |f | · |f + g| + |g| · |f + g|
Z 1 Z 1 ! Z p−1
p p p
p p p
= |f | + |g| · |f + g|
= kf kLp + kf kLp kf + gkp−1
Lp .
Théorème 3.3.35
Si 1 ≤ p < ∞, f ∈ Lp (a, b). Alors pour tout > 0, il existe g ∈ C0∞ (a, b) tel que kf − gkLp ≤ .
1
Rb
(la fonction est au dessus de sa tangente). Posons maintenant s = b−a a f (x)dx 6= ∞ et t = f (x),
alors
Z b Z b Z b
1 0 1 1
ϕ f (x) ≥ ϕ f (x)dx + ϕ f (x)dx · f (x) − f (x)dx .
b−a a b−a a b−a a
En intégrant à gauche et à droite, et en divisant par b−a, on obtient le résultat désiré (remarquer
que la plupart des termes ne dépendent pas de x).
Exemple 3.3.37
Soit 1 ≤ p < ∞ et posons ϕ(x) = |x|p , alors l’inégalité de Jensen nous affirme que
Z b p Z b p
1 1
b − a f (x)dx ≤ |f (x)|dx
a b−a a
Z b
1
≤ |f (x)|p dx.
b−a a
Proposition 3.3.38
k.kLp est une norme.
Démonstration. On va montrer les trois points habituels.
(i) kf kLp = 0 ⇒ f = 0 p.p. et donc f = 0 (avec la convention que l’on a fait).
(ii) L’homogénéité est évidente.
(iii) L’inégalité du triangle provient de l’inégalité de Minkovski.
Définition 3.3.39
On dit qu’un espace vectoriel X normé (k.k) est complet si toute suite de Cauchy converge (par
rapport à la norme k.k).
Remarque 3.3.40 (i) Si 1 ≤ p ≤ ∞, alors Lp (a, b) est un espace de Banach.
(ii) L2 (a, b) est un espace de Hilbert. On pose
Z b
< f, g >= f (x)g(x)dx,
a
Comme les (gk )p ≥ 0 sont des fonctions mesurables, on a, en appliquant le lemme de Fatou
(3.3.7 page 103)
Z Z
kgkpLp = |g(x)|p dx = lim |gk (x)|p dx
k→∞
Z
≤ lim inf |gk (x)|p dx = lim inf kgk kpLp ≤ 1,
3.3.7 k→∞ k→∞
Puisque les fν , fµ ∈ L∞ , on a que mes (Aν,µ ) = mes (Bν ) = 0. Ainsi, si l’on définit
[ [
E= Aν,µ ∪ Bν ,
ν6=µ
on aura que mes (E) = 0. On aimerait montrer maintenant qu’il existe f ∈ L∞ telle que
limν→∞ kf − fν kL∞ = 0. Si x 6∈ E, on a que
Ainsi, (fν ) est une suite de Cauchy dans R. Puisque R est complet, il existe une unique
fonction f telle que fν (x) −→ f (x), pour tout x 6∈ E. Il reste à voir que f ∈ L∞ et que
114 CHAPITRE 3. LEBESGUE
kf − fν kL∞ −→ 0.
Soit > 0, on aura donc
De plus, pour x 6∈ E,
|fν (x) − fµ (x)| ≤ kfν − fµ kL∞ ≤ ,
et donc, en laissant d’abord tendre ν vers l’infini, on obtient que limµ→∞ |f (x) − fµ (x)| = 0.
Ce qui implique que,
Alors, f ∈ L1 (Rn × Rm ).
Théorème 3.3.43 (Théorème de Fubini)
Si f ∈ L1 (Rn × Rm ), alors pour presque tout y ∈ Rm , la fonction fy : Rn −→ R est intégrable et
pour presque tout x ∈ Rn , fx : Rm −→ R est intégrable. On a de plus
Z Z Z Z Z
f (x, y)dxdy = f (x, y)dxdy = dy f (x, y)dx.
Rn ×Rm Rn Rm Rm Rn
Analyse de Fourier
4.1 Introduction*
4.1.1 Série de Taylor
On écrit une fonction comme une somme de monômes :
∞
X f (n) (x)
f (x) = (x − x0 )n .
n!
n=0
où
Z T
1 2πni
cn = f (x)e− T
x
dx
T 0
115
116 CHAPITRE 4. ANALYSE DE FOURIER
Proposition 4.1.2
Soient m, n ∈ Z et T > 0, alors
Z T
2πm 2πn
sin x cos x dx = 0.
0 T T
On a aussi
Z T
2 2πm 2πn 0 si n 6= m,
· sin x sin x dx =
T 0 T T 1 si n = m,
et
Z T
2 2πm 2πn 0 si n 6= m,
· cos x cos x dx =
T 0 T T 1 si n = m.
∈ C 0.
f ]a ,a
i i+1 [
En particulier, les limites à gauche et à droite, pour chacun des intervalles, existent.
Remarque 4.1.5
Par abus de notation, si α = 0, C 0,0 = C 0 .
Exemple 4.1.6
Soit f (x) = xα , avec 0 < α < 1. Alors f ∈ C 0,α ([0, 1]) (et pas mieux, tant pis pour elle).
Exemple 4.1.7
Soit
0 si x = 0
f (x) = −1
log(x) si x ∈ 0, 12 .
Alors f est continue mais pas Hölder continue (vu aux exercices).
Proposition 4.1.8
On a les propriétés suivantes :
(i) f, g ∈ C 0,α ⇒ f · g ∈ C 0,α .
(ii) Soit 0 < α ≤ β ≤ 1, alors
C 1 ([a, b]) ⊂ C 0,1 ([a, b]) ⊂ C 0,β ([a, b]) ⊂ C 0,α ([a, b]) ⊂ C 0 ([a, b]).
Remarque 4.1.9
Il est nécessaire de choisir un intervalle borné pour les inclusions ci-dessus.
4.1. INTRODUCTION* 117
et Z π
DN (x)dx = 2π.
−π
= −ix
h x x
i
−e− 2 ei 2 − e−i 2
sin N + 12 x
= .
sin x2
(i)
"
Nx
#2
1 sin 2 1 − cos(N x)
∆N (x) = x = .
N sin 2 N 1 − cos(x)
(ii) Z π
∆N (x)dx = 2π.
−π
n=−N
i(N +1)x iN x
= e −e .
Ainsi,
−1 −1
NX N
X
eix − 1 Dn (x) = ei(n+1)x − einx .
n=0 n=0
Continuons,
−1 −1
−ix ix
NX −ix
NX
ei(n+1)x − einx
e −1 e −1 Dn (x) = e −1
n=0 n=0
N
X −1 h i
= einx − e−i(n+1)x + e−inx − ei(n+1)x
n=0
N
X −1 h i N
X −1 h i
= einx
−e i(n+1)x
+ e−inx − e−i(n+1)x
n=0 n=0
iN x −iN x
= 1−e +1−e
= 2 1 − cos(N x) .
Calculons maintenant,
∆N (x) ≥ 0 Evident.
Convergence Soit δ ∈ ]0, π], alors cos x ≤ cos δ si x ∈ [δ, π]. Ainsi,
1 2
sup {∆N (x)} ≤ −→ 0.
x∈[δ,π] N 1 − cos δ
Remarque 4.1.12
Pour montrer le point (i), y’a moyen de faire une preuve par récurrence.
Proposition 4.1.13 (Noyau de Poisson)
Soit 0 ≤ r < 1, alors
∞
X 1 − r2
Pr (x) = r|n| e−inx = .
n=−∞
1 − 2r cos x + r2
N Z T
X 2π 1 2π
FN f (x) = cn e T
inx
, cn = f (x)e− T inx
dx.
T 0
n=−N
einx + e−inx
cos(nx) =
2
einx − e−inx
sin(nx) = .
2i
Ainsi,
N
a0 X h i
FN f (x) = + an cos(nx) + bn sin(nx)
2
n=1
N
" #
a0 X an − i · bn inx an + ibn −inx
= + e + e
2 2 2 }
n=1| {z } | {z
cn c−n
N
X
= cn e−inx .
n=−N
On vérifie facilement que les cn correspondent à ce que l’on avait donné plus haut.
Exemple 4.1.17
Trouver la série de Fourier de f (x) = cos(x), T = 2π. La série de Fourier devrait être F f (x) = cos(x),
pour tout x. Vérifions cela par calcul :
Z 2π
2
a0 = cos(x)dx = 0
2π 0
Z 2π
2
a1 = cos(x) cos(x) = 1
2π 0
Z 2π
2
an = cos(x) cos(nx)dx = 0, ∀n ≥ 2
2π 0
Z 2π
2
bn = cos(x) sin(nx) = 0,
2π 0
ce qui implique
F0 f (x) = 0
F1 f (x) = cos(x) = FN (x), ∀n ≥ 1,
Exemple 4.1.18
Prenons
1 si x ∈ [0, π[
f (x) =
0 si x ∈ ]π, 2π],
que l’on étend par 2π-périodicité sur R.
Calculons maintenant,
1 2π
Z
a0 = f (x)dx = 1,
π 0
1 2π
Z
an = f (x) cos(nx)dx
π 0
Z π
1
= cos(nx)dx
π 0
π
sin(nx)
= = 0, n ≥ 1,
nπ
0
1 π
Z
bn = sin(nx)dx
π 0
π
− cos(nx)
=
nπ
0
1
= 1 − cos(nπ)
nπ
1
1 − (−1)n
=
nπ
0 si n pair
= 2
nπ si n est impair.
Proposition 4.1.19
Soit f : R −→ R une fonction 2π-périodique, f ∈ L1 (−π, π) avec
N Z 2π
X 1
FN f (x) = cn e inx
, cn = f (x)e−inx dx.
2π 0
n=−N
Alors,
Z π
1
FN f (x) = DN (x − y)f (y)dy
2π −π
Z π
1
= DN (y)f (x − y)dy
2π −π
Z π
1
= DN (y)f (x + y)dy.
2π −π
122 CHAPITRE 4. ANALYSE DE FOURIER
N Z 2π
X 1
FN f (x) = f (y)e−iny dy einx
2π 0
n=−N | {z }
cn
Z N
2π X
1
= f (y)ein(x−y) dy
2π 0 n=−N
Z 2π
1
= DN (x − y)f (y)dy.
2π 0
N + 21 (x + 2π)
sin
DN (x + 2π) =
sin x+2π
2
− sin N + 12 x
=
− sin x2
= DN (x).
DN (−z) = DN (z).
Ainsi,
Z π Z −π
DN (y)f (x − y)dy = − DN (−z)f (x + z)dz
−π
Z ππ
= DN (y)f (x + y)dy.
z=−y −π
Proposition 4.1.21
Soit f : R −→ R une fonction 2π-périodique avec f ∈ L1 (−π, π). Alors
Z π
1
ΦN f (x) = ∆N (x − y)f (y)dy
2π −π
Z π
1
= ∆N (y)f (x − y)dy
2π −π
Z π
1
= ∆N (y)f (x + y)dy.
2π −π
Démonstration. On va montrer les trois égalités séparemment.
1
Rπ
(i) On calcule directement, en utilisant le fait que FN f (x) = 2π −π DN (x − y)f (y)dy
N −1
1 X
ΦN f (x) = Fn f (x)
N
n=0
Z π " NX −1
#
1 1
= Dn (x − y) f (y)dy.
2π −π N
n=0
| {z }
∆N (x−y)
∆N (−z) = ∆N (z)
Calculons,
π
Z
1
|ΦN f (x) − f (x)| = ∆N (y) f (x − y) − f (x) dy
2π
−π
1
≤ [Iδ + Jδ ] , (4.1)
2π
où
Z δ
Iδ = ∆N (y) |f (x − y) − f (x)| dy
−δ
Z
Jδ = ∆N (y) |f (x − y) − f (x)| dy.
δ≤|y|≤π
Soit > 0. Comme f est continue, il existe M > 0 et δ = δ() tels que pour tout x ∈ [−π, π],
|f (x)| ≤ M et |y| ≤ δ ⇒ |f (x−y)−f (x)| ≤ 2 . Ayant fixé δ = δ(), on choisit N suffisamment
grand pour que
0 ≤ ∆N (y) ≤ , ∀δ ≤ |y| ≤ π.
4M
Par conséquent,
δ
Z
0 ≤ Iδ ≤ ∆N (y)dy ≤ π,
2 −δ
Z
0 ≤ Jδ ≤ 2M · ∆N (y)dy
δ≤|y|≤π
Z
≤ dy ≤ π.
2 δ≤|y|≤π
Calculons maintenant,
Z π
1 f (a + y) + f (a − y)
|ΦN f (a) − l| ≤ ∆N (y) − l dy
2π −π 2
1
= (Iδ + Jδ ) ,
2π
où
δ
f (a + y) + f (a − y)
Z
Iδ = ∆N (y)
− l ,
−δ 2
f (a + y) + f (a − y)
Z
Jδ = ∆N (y) − l .
δ≤|y|≤π 2
Ainsi,
Z δ Z π
0 ≤ Iδ ≤ ∆N (y)dy ≤ ∆N (y)dy = π.
2 −δ 2 −π
Estimons maintenant,
π
f (a + y) + f (a − y)
Z
0 ≤ Jδ ≤ sup {∆N (y)} − l dy.
δ≤|y|≤π −π
2
1
|ΦN f (a) − l| ≤ [π + π] .
2π
Corollaire 4.1.23
Soient f et g deux fonctions continues, 2π-périodiques, ayant les même coefficients de Fourier.
Alors f = g.
Remarque 4.1.24
Si f, g ∈ L1 (−π, π) et sont deux fonctions 2π-périodiques dont les coefficients de Fourier sont les
mêmes. Alors f = g p.p.
ΦN f = ΦN g = 0
f (a + 0) + f (a − 0)
lim FN f (a) = .
N →∞ 2
Remarque 4.1.26 (i) Le théorème, en gros, est dû à Dirichlet et il est faux si f est seulement
continue.
(ii) Si f est dérivable en a, alors FN f (a) −→ f (a).
(iii) On peut affaiblir l’hypothèse de Hölder en la remplaçant par Dini : s’il existe δ > 0 tel que
pour tout a ∈ R
Z δ
1 f (a + y) + f (a − y)
− f (a) dy < ∞.
0 |y| 2
126 CHAPITRE 4. ANALYSE DE FOURIER
Remarquons que si f ∈ C 0,α , alors elle satisfait Dini. En effet, si f ∈ C 0,α , il existe M > 0
tel que
|f (a + y) − f (a)| ≤ M |y|α
|f (a − y) − f (a)| ≤ M |y|α ,
et donc que
f (a + y) + f (a − y)
≤ M |y|α .
− f (a)
2
Ainsi,
δ Z δ
δα
1 f (a + y) + f (a − y)
Z
α−1
− f (a) dy ≤ M y =; .
0 |y| 2
0 α
(iv) Si f ∈ L1 (−π, π),Kolmogorov a montré que cela ne suffit pas pour la convergence de la
série de Fourier. Il a donné une fonction qui diverge partout.
(v) Si f ∈ L2 (−π, π), alors FN f converge presque partout (théorème de Carleson). En fait, si
f ∈ Lp (−π, π), avec p > 1, alors FN f converge p.p (Hunt).
Preuve du théorème. On va montrer la partie (i), la partie (ii) étant montrée de manière sem-
blable.
Par la proposition 4.1.19,
Z π Z π
1 1
FN f (x) − f (x) = DN (y)f (x + y)dy − DN (y)f (x)dy
2π −π 2π −π
sin N + 21 y)
Z π
1
= [f (x + y) − f (x)] dy.
sin y2
2π −π
Appelons
f (x + y) − f (x)
ϕx (y) = ,
sin y2
et supposons que l’on ait montré que ϕx ∈ L1 (−π, π). Alors le lemme de Riemann-Lebesgue
(3.3.31 page 109) implique que
lim FN f (x) − f (x) = 0.
N →∞
On rappelle que
N Z 2π
X 1
FN f (x) = cn · einx , cn = f (x)e−inx dx.
2π 0
n=−N
Remarque 4.1.28
Ce résultat implique que les fonctions cos et sin sont une base de L2 .
Notation 4.1.29 √
Soit u : [0, 2π] −→ C telle que |u| = uu ∈ L2 (0, 2π). On note
s
Z 2π
1
kuk = |u(x)|2 dx.
2π 0
Lemme 4.1.30
Soit f : [0, 2π] −→ R, f ∈ L2 (0, 2π). Soient de plus an ∈ C et définissons
N
X
AN (x) = an · einx .
−N
Alors,
kf − FN f k ≤ kf − AN k . (4.2)
Plus précisemment,
N
X N
X
kf − AN k2 = kf k2 − [an c̄n + ān cn ] + |an |2 , (4.3)
n=−N n=−N
et
N
X
kf k2 = kf − FN f k2 + |cn |2 . (4.4)
n=−N
et donc
∞
X
|cn |2 ≤ kf k .
n=−∞
128 CHAPITRE 4. ANALYSE DE FOURIER
(ii) Le lemme montre que l’approximation de Fourier de f est meilleure, dans la norme consi-
dérée, que n’importe quelle autre approximation trigonométrique. En particulier.
kf − FN f k ≤ kf − ΦN f k .
kf − FN f k ≤ kf − ΦN f k ,
où ΦN f est l’approximation de Féjer. Par le théorème de Féjer, on sait que pour tout > 0,
il existe N = N () tel que
Etape 2 Soit > 0 et f ∈ L2 (0, 2π). Par le théorème 3.3.24, il existe g ∈ C0∞ (0, 2π) telle que
kf − gk ≤ .
2
Comme g est à support compact, on peut étendre g ∈ C 0 (R) et 2π-périodique. En appli-
quant l’étape 1,
kFN g − gk ≤ , ∀N ≥ N ().
2
Par le lemme 4.1.30,
kf − FN f k ≤ kf − FN gk ≤ kf − gk + kg − FN gk ≤ .
Remarque 4.1.33
Il faut être prudent sur l’interprétation de f 0 ∈ L2 (0, 2π). On supposera que f 0 est continue par
morceaux.
Preuve du théorème. Etape 1 On va montrer que si f 0 ∈ L2 (0, 2π) et f ∈ C 0 ([0, 2π]), alors
1
f ∈ C 0, 2 ([0, 2π]), et pas mieux. En effet, soient 0 ≤ x ≤ y ≤ 2π, alors
Z y
f (y) − f (x) = f 0 (t)dt.
x
130 CHAPITRE 4. ANALYSE DE FOURIER
Ainsi,
Z y 0
|f (y) − f (x)| ≤ f (t) dt
x
Z y 1 Z y 1
0 2 2 2
2
≤ f (t) dt · 1
CS x x
Z y 1
0 2 2 1
≤ f (t) dt |x − y| 2 .
x
Etape 2 On sait que les coefficients de Fourier de f 0 sont c0n = in·cn . Par le formule de Parseval,
appliquée à f 0 , on a
Z 2π ∞ ∞
1 0 2 X 0 2 X
f (x) dx = cn = n2 |cn |2 .
2π 0 n=−∞ n=−∞
1
Etape 3 Comme f ∈ C 0, 2 ([0, 2π]), par le théorème de la convergence ponctuelle, et le théorème
4.1.25 page 125,
X
inx
|FN −1 f (x) − f (x)| = cn e
|n|≥N
X
≤ |cn |
|n|≥N
X 1
= c0
|n| n
|n|≥N
1 1
2 2
X 1 X 0 2
≤ cn .
|n|2
|n|≥N |n|≥N
En remarquant que le premier terme tend vers 0 quand n tend vers l’infini et que le second
terme est fini, par l’étape précédente, on termine la preuve.
Proposition 4.1.35
Soit f ∈ C 0,α ([0, L]), α ∈ ]0, 1]. Alors, pour tout x ∈ [0, L],
∞
a0 X nπ
f (x) = Fc f (x) = + an cos x ,
2 L
n=1
où Z L
2 nπ
an = f (x) cos x dx.
L 0 L
Démonstration. On définit
f (x) x ∈ [0, L]
f˜(x) =
f (−x) x ∈ [−L, 0],
que l’on étend par T = 2L-périodicité. Notons que f˜ ∈ C 0,α (R) et 2L-périodique. On applique
ensuite le théorème 4.1.34.
Proposition 4.1.36
Soit f ∈ C 0,α ([0, L]), α ∈]0, 1]. Alors, pour tout x ∈ ]0, L[, alors
∞
X nπ
f (x) = Fs f (x) = bn sin x .
L
n=1
Si, de plus, f (0) = f (L) = 0, alors la convergence a lieu sur [0, L].
Démonstration. On défini
f (x) x ∈ [0, L]
f˜(x) =
−f (−x) x ∈ ] − L, 0[,
que l’on étend par T = 2L-périodicité. Notons que f˜ ∈ C 0,α (R) et 2L-périodique. On applique
ensuite le théorème 4.1.34.
Alors, Z π 2
Z π 2
0
f (x) dx ≥ f (x) dx.
−π −π
De plus, l’égalité à lieu si et seulement si f (x) = α cos(x) + β sin(x), pour α, β ∈ R.
Remarque 4.1.38
Cette inégalité est équivalente à l’inégalité isopérimétrique.
132 CHAPITRE 4. ANALYSE DE FOURIER
Preuve du théorème. Soit f ∈ C 1 (on peut exiger moins que C 1 ), par le théorème de la conver-
gence ponctuelle,
X∞
f (x) = cn einx .
n=−∞
Alors,
Z π Z π
2 2
X X
f 0 (x) dx = 2π n2 |cn |2 ≥ 2π |cn |2 =
f (x) dx. (4.5)
−π n6=0 n6=0 −π
Corollaire 4.1.39
Soient f, g ∈ C 1 deux fonctions 2π-périodiques, alors
Z π Z π
0 2
0 2
f g0.
f + g ≥2
−π −π
v 0 (z) = g 0 (z).
4.1. INTRODUCTION* 133
On a alors
u2 (x) + v 2 (x) = α2 + β 2 =: r32 .
Alors,
long (Γ)
q
(ϕ0 )2 + (ψ 0 )2 = , ∀x ∈ [−π, π].
2π
En effet :
u0 η −1 (x)
0 0 −1 −1 0
ϕ (x) = u η (x) · η (x) = 0 −1 ,
η (η (x))
long (Γ) u0 η −1 (x)
0
ϕ (x) = · rh ,
2π i 2 h i 2
0 −1
u η (x) 0 −1
+ v η (x)
v 0 η −1 (x)
long (Γ)
ψ 0 (x) = · rh .
2π i 2 h i 2
u0 η −1 (x) + v 0 η −1 (x)
On obtient ainsi
long (Γ)
q
(ϕ0 )2 + (ψ 0 )2 = .
2π
q
De plus, puisque (ϕ0 )2 + (ψ 0 )2 est une constante par rapport x, nous obtenons
Z π q
long (Γ) = (ϕ0 )2 + (ψ 0 )2 dx.
−π
Etape 3 Calculons,
Z π h i Z π
2 0 2 0 2
ϕψ 0
long (Γ) − 4π · Aire (int (Γ)) = 2π ϕ + ψ − 4π
−π −π
Z π h i Z π
0 2 0 2 0
= 2π ϕ + ψ −2 ϕψ ≥ 0.
−π −π
(ϕ − r1 )2 + (ψ − r2 )2 = r32 ,
on peut définir
ϕ(x) = U η −1 (x) , ψ(x) = v η −1 (x) .
Alors,
long (Γ)
q
(ϕ0 )2 + (ψ 0 )2 = , ∀x ∈ [−π, π].
2π
On a alors,
u0 η −1 (x)
0 0 0 −1 0
ϕ (x) = u η (x) η (x) = 0 −1 ,
η (η (x))
Etape 3 Calculons,
Z π h i Z π
2 0 2 0 2
ϕψ 0
long (Γ) − 4π · Aire (int (Γ)) = 2π ϕ + ψ − 4π
−π −π
Z π h 2 2 i
Z π
= 2π ϕ0 + ψ0 −2 0
ϕψ .
−π −π
(ϕ − r1 )2 + (ψ − r2 )2 = r32 ,
Alors, fα est
(i) Hölder continue ;
(ii) paire ;
(iii) π-périodique ;
(iv ) différentiable nulle part.
Cet exemple est dû à Weierstrass.
Remarque 4.1.42
Riemann a proposé
∞
sin n2 x
X
,
n2
n=1
Théorème 4.1.44
Soit u une fonction et soit (un )∞ 1
n=1 ⊂ C une suite de fonction telle que un (x) −→ u(x). Si
0
un −→ v uniformément localement (c’est-à-dire sur tout compact) et v ∈ C 0 , alors u ∈ C 1 et
u0 = v.
Soit f : R −→ R une fontion T -périodique. On sait que l’on peut écrire f (x) = F f (x) comme
sa série de Fourier. On va effectuer le changement de variable :
n 1
α= , ∆α = .
T T
Ainsi, cn devient
Z T
2
cn = ∆α f (x)e−2πiαx dx.
− T2
4.2. TRANSFORMÉES DE FOURIER* 137
En laissant tendre T vers l’infini, puisqu’une fonction non-périodique peut être vue comme une
fonction périodique avec T = ∞, on trouve que
Z ∞ Z ∞
−2πiαy
f (x) = f (y)e dy e2πiαx dα.
−∞ −∞
| {z }
fˆ(α)
On écrit,
Z ∞
ˆ
f (α) = F (f ) (α) = f (y)e−2πiαy dy,
−∞
Z ∞ −1
f (x) = fˆ(α)e2πiαx dα = F fˆ (x) = f (x).
−∞
Remarque 4.2.3
Parfois, la transformée de Fourier est définie comme suit :
Z ∞
1
ˆ
f (α) = √ f (y)e−iαy dy.
2π −∞
Exemple 4.2.4
Calculer la transformée de Fourier de la fonction suivante :
1 |x| < 1
f (x) =
0 |x| ≥ 1.
Vérifions que f ∈ L1 : Z ∞
|f (x)|dx = 2 < ∞.
−∞
Calculons,
Z ∞
fˆ(α) = f (y)e−2πiαy dy
−∞
Z 1
= e−2πiαy dy
−1
−e−2πiαy 1
=
2πiα
−1
1 e2πiα − e−2πiα
=
πα 2i
sin(2πα)
= .
πα
138 CHAPITRE 4. ANALYSE DE FOURIER
Exemple 4.2.5
Soit
f (x) = e−|x| .
Vérifions que f ∈ L1 : Z ∞ Z ∞
e−|y| dy = 2 e−y dy < ∞.
−∞ 0
Calculons maintenant,
Z ∞
fˆ(α) = f (y)e−2πiαy dy
−∞
Z0 Z ∞
= ey(1−2πiα) dy + e−y(1+2πiα) dy
−∞ 0
" # 0 " # ∞
ey(1−2πiα) e−y(1+2πiα)
= + − .
1 − 2πiα 1 + 2πiα
−∞ 0
Remarquons que
lim ey(1−2πiα) = 0,
y→−∞
lim e−y(1+2πiα) = 0.
y→∞
Et donc,
1 1 2
fˆ(α) = + = .
1 − 2πiα 1 + 2πiα 1 + 4π 2 α2
En anticipant la formule d’inversion vue plus haut, on obtient que
Z ∞
e−|x| = fˆ(α) · e2πiαx dα
−∞
∞
2e2πiαx
Z
= dα
−∞ 1 + 4π 2 α2
Z ∞ Z ∞
2 cos(2πiαx) 2 sin(2πiαx)
= 2 2
dα + i dα .
−∞ 1 + 4π α 1 + 4π 2 α2
| −∞ {z }
=0 (fonction impaire)
(iii)
fˆ
L∞ ≤
fˆ
L1 .
(iv ) Linéarité :
Soient a, b ∈ R. Alors, F (af + bg) = a · F (f ) + b · F (g).
(v ) Dérivées :
Si f 0 ∈ L1 (R), alors F (f 0 ) (α) = 2πiα · F (f ) (α). Plus généralement, si n ∈ N et si
f 0 , f 00 , . . . , f (n) ∈ L1 , alors
F f (n) (α) = (2πiα)n · F (f ) (α).
4.2. TRANSFORMÉES DE FOURIER* 139
(viii) Homothétie :
Soit a > 0 et soit h(x) = f (ax). Alors,
1 ˆ α 1 α
F (h) (α) = ĥ(α) = ·f = · F (f ) .
|a| a |a| a
(ix ) Produit :
Z ∞ Z ∞
f (x)ĝ(x)dx = fˆ(x)g(x)dx.
−∞ −∞
Proposition 4.2.7
Soit la fonction
2
f (x) = e−πx .
Alors,
fˆ(α) = f (α).
Démonstration. On a f ∈ L1 , car
Z ∞
2
e−πx dx = 1 < ∞.
−∞
Calculons maintenant, Z ∞
2
fˆ(α) = e−πy e−2πiαy dy
−∞
Par la propriété (vi) du théorème 4.2.6, appliquée à h(x) = xf (x), on a que,
d ˆ
f (α) = −2πiĥ(α)
dα Z ∞
d ˆ
f (α) = −2πi yf (y) e−2πiαy dy.
dα −∞ | {z }
h(y)
De plus,
2
f 0 (x) = −2πxe−πx = −2πxf (x).
En combinant les deux dernières égalités, on a que
Z ∞
d hˆ i
f 0 (y)e−2πiαy dy = i · F f 0 .
f (α) = i
dα −∞
f ∗g = g∗f
kf ∗ gkL1 ≤ kf kL1 · kgkL1
∗ g = F (f ∗ g) = F (f ) · F (g) = fˆ · ĝ.
f[
En effet,
Z ∞ Z ∞
|f (x − t)|dx = |f (y)|dy = kf kL1 .
−∞ −∞
Ainsi,
Z ∞ Z ∞ Z ∞ Z ∞
|f (x − t)||g(t)|dtdx = |g(t)|dt |f (x − t)|dx
−∞ −∞ −∞ −∞
Z ∞
= kf kL1 |g(t)|dt
−∞
= kf kL1 · kgkL1 .
Etape 3
Z ∞
F (f ∗ g) (α) = (f ∗ g)(x)e−2πiαx dx
−∞
Z ∞ Z ∞
= f (x − t)g(t)dt e−2πiαx dx
−∞ −∞
Z ∞ Z ∞
= f (x − t) · e−2πiα(x−t) · g(t) · e−2πixt dt dx
Z−∞
∞
−∞
Z ∞
−2πiαt
= g(t) · e dt f (x − t)e−2πiα(x−t) dx
−∞ −∞
= ĝ(α) · fˆ(α).
Remarque 4.2.10
Par le même argument que celui du théorème 4.2.6 (i), on trouve que le membre de droite est
continu. Et par conséquent, quitte à redéfinir la fonction f sur un ensemble de mesure nulle, f
est continue.
0 ≤ k (x) ≤ 1;
lim k (x) = 1; (4.7)
→0
1 α2
k̂ (α) = e−π 2 ; (4.8)
Z ∞
k̂ (α)dα = 1.
−∞
Comme fˆ ∈ L1 ,
Z ∞
(4.7)
lim G (f ) (x) = fˆ(α)e2πiαx dα, (4.9)
→0 −∞
Ainsi,
Z ∞
ĥ(α) = h(y) · e2πiyα dy
Z−∞
∞
= k (y) · e2πiy(x−α) dy
−∞
= k̂ (α − x).
Par conséquent,
Z ∞
G (f )(x) = fˆ(α)k (α)e2πiαx dα
Z−∞
∞
= fˆ(α)h(α)dα
Z−∞
∞
4.2.6
= f (α)ĥ(α)dα
Z−∞
∞
= f (α)k̂ (α − x)dα
Z−∞
∞
= f (x + α)k̂ (α)dα.
−∞
En intégrant en x,
Z ∞ Z ∞ Z ∞
|G (f )(x) − f (x)| dx ≤ |f (x + α) − f (x)| k̂ (α)dαdx = R
−∞ −∞ −∞
De plus,
Z ∞
0 ≤ |f (x + β) − f (x)| dx
Z−∞
∞ Z ∞
≤ |f (x + β)|dx + |f (x)|dx
−∞ −∞
= 2 · kf kL1 .
4.2. TRANSFORMÉES DE FOURIER* 143
Conclusion
Par le théorème de la convergence dominée,
Z ∞
lim R = 0 ⇔ lim |G (f )(x) − f (x)| dx = 0
→0 →0 −∞
⇔ G (f ) − f −→ 0 dans L1 (R),
ce qui implique que, à l’extraction d’une sous-suite près, (théorème 3.3.41, page 112),
Démonstration. On définit,
f_ (x) = f (−x).
On a donc que f_ ∈ L1 (R). Calculons,
Z ∞
fˆ_ (α) = f_ (x)e−2πiαx dx
Z−∞
∞
= f (y)e2πiαy dy
−∞
Z ∞
= f (y)e−2πiαy dy
−∞
= fˆ(α).
Si g = f ∗ f_ , alors
4.2.8 2
∗ f_ = fˆ · fˆ = fˆ .
ĝ = f\
2
Puisque g ∈ L1 et que fˆ ∈ L2 , on a que ĝ = fˆ ∈ L1 . Appliquons maintenant le théorème
précédent à g : Z ∞
g(x) = ĝ(α)e2πiαx dα.
−∞
Par la remarque précédente du théorème précédent, quitte à redéfinir g sur un ensemble de
mesure nulle, g est continue. Calculons,
Z ∞ Z ∞
2
|f (x)| dx = f (x)f_ (0 − x)dx
−∞ −∞
= f ∗ f_ (0) = g(0)
Z ∞
= ĝ(α)dα
−∞
Z ∞
fˆ(α)2 dα.
=
−∞
144 CHAPITRE 4. ANALYSE DE FOURIER
Remarque 4.3.1
Le fait d’avoir introduit un signe - rend cette équation complètement différente de celle de Laplace.
Equation de la chaleur
Soit u = (t, x), où x ∈ Rn . L’équation de la chaleur est
n
∂u X ∂ 2 u
− = 0,
∂t ∂x2ii=1
∂u ∂2u
= c2 2 , x ∈]0, L[, t > 0,
∂t ∂x
mais cette équation possède une infinité de solutions. On peut alors poser u(0, t) = u(L, t) = 0,
pour tout t > 0. De plus, on peut imposer une condition initiale
La fonction f est définie de [0, L] dans R et on impose, pour des raisons de compatibilité,
f (0) = f (L) = 0. Le système complet est donc
2
"
∂u
∂t = c2 ∂∂xu2 , x ∈ ]0, L[, t > 0,
(4.11)
u(x, 0) = f (x), x ∈ [0, L].
Remarque 4.3.2
Le calcul que l’on va faire ne sera pas très rigoureux, mais le résultat final sera juste.
4.3. APPLICATIONS AUX ÉQUATIONS AUX DÉRIVÉES PARTIELLES 145
2 ∂2u
"
∂u
∂t = c ∂x2 , x ∈]0, L[, t > 0
(4.12)
u(0, t) = u(L, t) = 0, ∀t ≥ 0.
La fonction u ≡ 0 est une solution du problème (4.12), qui est appelée solution triviale. On
s’intéresse maintenant à savoir s’il existe des solutions non-triviales du problème. On va chercher
des solutions de la forme
u(x, t) = v(x) · w(t).
Les équations deviennent
∂u
= v(x)w0 (t)
∂t
∂2u
= v 00 (x)w(t).
∂x2
Les conditions aux limites impliquent que v(0) = v(L) = 0. En injectant ce que l’on vient de
trouver dans l’équation, on trouve
∂u ∂2u
= v(x)w0 (t) = c2 = c2 · v 00 (x)w(t)
∂t ∂x2
0
v(x)w (t) c2 · v 00 (x)w(t)
=
c2 v(x)w(t) c2 v(x)w(t)
v 00 (x) w0 (t)
= −λ = 2 ,
v(x) c w(t)
Résumé
Le problème (4.13) a des solutions non-triviales si et seulement si µ = nπ L , c’est-à-dire si et
nπ 2
seulement si λ = L (remarquons que λ est alors une valeur propre du système).
Dans ce cas, les solutions sont nπ
vn (x) = βn sin x .
L
2
On veut ensuite résoudre le système (4.14) pour λ = nπ L . On a donc
nπ 2
w0 (t) = − c w(t),
L
qui a comme solution
nπ 2
w(t) = exp − c t .
L
Résumé
nπ nπ 2
∀n ∈ N, un (x, t) = βn sin x e−( L c) t .
L
A posteriori, un (x, t) = un satisfait (4.12).
Remarque
On peut montrer facilement que toute somme finie de solution est solution. En revanche, le
passage à l’infini devra être justifié à posteriori.
Etape 4 (vérification)
Il reste encore à trouver des hypothèses sur f qui garantissent que la solution trouvée soit
une vraie solution.
(i) Si f ∈ L1 (0, L), alors les coefficients de Fourier sont bornés (uniformément) et alors la
fonction u ∈ C ∞ ([0, L]×]0, ∞[). Pour la même raison, u(x, t) tend vers 0, lorsque t tend
vers l’infini.
t→0
(ii) Il reste à voir quand u(x, t) −→ f (x). Aux exercices, on montrera que si f ∈ C 4 , alors
le résultat est vrai. Cependant, il suffit que la fonction soit Hölder continue, mais c’est
beaucoup plus dur à montrer.
Remarque 4.3.4
La solution trouvée ici, satisfaisant aux conditions de bord, est la seule solution.
satisfait
2 ∂2u
∂u
∂t = c ∂x2 , x ∈ R, t > 0 (4.15)
u(x, 0) = f (x), x ∈ R.
2
On va traiter en parallèle le cas f (x) = e−πx .
On fait ensuite
Z ∞
∂v ∂u ∂
(α, t) = (x, t)e−2πiαx dx = F u (α, t).
∂t −∞ ∂t ∂t
Mais,
2
2
2∂ u ∂ u
F c 2
= c F
2
∂x ∂x2
= c2 (2πiα)2 F (u) (α, t)
= −4π 2 c2 α2 · v(α, t).
Résumé
Le problème 4.15 est devenu
∂v
∂t (α, t)= −4π 2 c2 α2 v(α, t), t>0
(4.16)
v(α, 0) = fˆ(α).
En fixant α, on a
2 c2 α2 t
v(α, t) = fˆ(α)e−4π ,
qui est la transformée de Fourier en x de u à t fixé.
148 CHAPITRE 4. ANALYSE DE FOURIER
Etape 2 (inversion)
On trouve, finalement,
Z ∞
u(x, t) = v(α, t)e2πiαx dα
Z−∞
∞
2 2
= fˆ(α)e−4πc α t+2πiαx dα.
−∞
Formellement
La solution de notre exemple est
2
1 − πx
u(x, t) = √ e 1+4πc2 t .
1 + 4π 2 c2 t
Etape 3 (vérification)
(i) Sous les hypothèses f ∈ L1 et fˆ ∈ L1 , on voit facilement que u ∈ C ∞ (R×]0, ∞[).
t→0
(ii) Il reste à voir que u(x, t) −→ f (x) (si f est suffisament régulière, c’est vrai).
Il est important de spécifier les valeurs de la fonction sur le bord du rectangle si l’on veut l’unicité
de la solution.
et
∆w = 0 dans Ω
w(x, 0) = α(x), w(x, M ) = β(x) (4.19)
w(0, y) = w(L, y) = 0.
où l’on suppose que λ est une constante, pour avoir des différentielles en deux variables différentes
égales.
On aimerait
et donc
f (0) = f (L) = 0.
Les systèmes deviennent alors
f 00 (y) + λ · f (x) = 0
(4.20)
f (0) = f (L) = 0.
g 00 (y) − λg(y) = 0
(4.21)
2
On observe que le système (4.20) a des solutions non-triviales si et seulement si λ = nπ
L ,n∈N
nπ
et, dans ce cas, fn (x) = sin L x . En termes d’algèbre linéaire, il s’agit des vecteurs et valeurs
propres du système. En revenant au système (4.21) avec le λ trouvé, on trouve des solutions de
la forme nπ nπ
gn (y) = an cosh y + bn sinh y .
L L
En remarquant qu’une somme finie de solutions est encore une solution, on va abuser un peu et
mettre une somme infinie :
∞
X nπ nπ nπ
w(x, y) = an cosh y + bn sinh y sin x . (4.22)
L L L
n=1
On trouve que,
Z L
2 nπ
an = α(z) · sin x dz.
L 0 L
Si
Z L
2 nπ
cn = β(z) · sin z dz,
L 0 L
alors
nπ nπ
bn sinh M = cn − an cosh M .
L L
Cas particulier
π
2π
γ = δ = 0, α(x) = 4 sin x , β(x) = − sin x .
L L
On a,
a1 = 4
an = 0, ∀n 6= 1
c1 = 0
c2 = −1
cn = 0, ∀n ≥ 3
cosh Lπ M
b1 = −a1
sinh Lπ M
c2
b2 =
sinh 2π
LM
bn = 0, ∀n ≥ 3.
Etape 4 (convergence)
∞
X cosh(nπ)
w(x, y) = an cosh(ny) − sinh(ny) sinh(nx)
sinh(nπ)
n=1
∞
X an
= [cosh(ny) · sinh(nπ) − cosh(nπ) · sinh(ny)] sinh(nx)
sinh(nπ)
n=1
∞
X an
= sinh (n(π − y)) .
sinh(nπ)
n=1
Si 0 < y ≤ π, sous des hypothèses très faibles sur α, par exemple si α ∈ L1 , on trouve une
fonction w ∈ C ∞ (]0, π[ × ]0, π[).
y→0
La seule question difficile est de montrer que w(x, y) −→ α(x). Si α est Hölder continue, ou
même continue, c’est vrai. Aux exercices, on supposera que α ∈ C 3 .
4.3. APPLICATIONS AUX ÉQUATIONS AUX DÉRIVÉES PARTIELLES 151
ϕ(x, y) = x2 + y.
Remarque :
Les deux dernières conditions servent à assurer la périodicité de la solution. Ces deux seules
conditions permettent d’assurer aussi la périodicité de la dérivée partielle par rapport à r et
pour les dérivées secondes. En ce qui concerne la périodicité de la deuxième dérivée par rapport
à θ, elle provient de la première équation, puisque les deux premiers termes sont 2π-périodiques,
le troisième aussi. A partir de là, on peut montrer que toutes les dérivées sont périodiques.
Dans le cas de l’exemple, on a
R2 R2
ψ(θ) = R2 cos2 θ + R sin θ = cos(2θ) + + R sin θ.
2 2
Maintenant qu’on a les coordonnées polaires, on peut séparer les variable (cela aurait été une
mauvaise idée de le faire avant).
1 1
f 00 (r)g(θ) + f 0 (r)g(θ) + 2 f (r)g 00 (θ) = 0,
r r
qui se transforme en !
2 f 00 (r) + 1r f 0 (r) g 00 (θ)
r =λ=− ,
f (r) g(θ)
152 CHAPITRE 4. ANALYSE DE FOURIER
et
En mettant λ = n2 dans (4.27), que l’on peut résoudre avec des séries, on trouve que
γ0 + δ0 log r n = 0
fn (r) =
γn r n n 6= 0, n ∈ Z.
Comme on cherche une solution dans le disque centré en l’origine, on doit écarter toute les
solutions singulières. Ainsi, la solution devient
∞
a0 X
an cos(nθ) + bn sin(nθ) rn .
v(r, θ) = + (4.28)
2
n=1
Remarquons que si l’on devait résoudre l’équation dans un anneau, privé de l’origine, on aurait
pu laisser ces termes.
R2 R2
Dans notre cas particulier, ψ(θ) = 2 + 2 cos(2θ) + R sin(θ), on trouve que
1
a0 = R2 , a1 = 0,a2 = , an = 0 ∀n ≥ 3
2
b1 = 1, bn = 0 ∀n ≥ 2.
4.3. APPLICATIONS AUX ÉQUATIONS AUX DÉRIVÉES PARTIELLES 153
2(x − iy)
f (x, y) = −1
x2 + y 2
2x −2y
= 2 2
+i 2
x +y x + y2
f −1 (w) = f −1 (α + iβ)
2(1 + α) −2β
= 2 2
+i .
(1 + α) + β (1 + α)2 + β 2
Etape 3
On peut maintenant trouver la solution de
∆u(x, y) = 0, (x, y) ∈ Ω
u(x, y) = ψ, (x, y) ∈ ∂Ω,
qui est u = v ◦ f .
2x
Dans notre cas particulier, on trouve que u(x, y) = x2 +y 2
.
où c ∈ R.
Solution de D’Alembert
D’Alember propose la solution suivante
Z x+ct
1 1
u(t, x) = [f (x + ct) + f (x − ct)] + g(s)ds.
2 2c x−ct
utt = c2 · uxx
t > 0, x ∈ ]0, L[
u(t, 0) = u(t, L) = 0 t>0
u(0, x) = α(x) x ∈ [0, L]
ut (0, x) = β(x) x ∈ [0, L].
On cherche un solution de la forme u(t, x) = f (x) · g(t). On écrit et on bidouille pour arriver à
f 00 (x) g 00 (t)
= −λ = 2 ,
f (x) c · g(t)
f 00 (x) + λf (x) = 0
(4.32)
f (0) = f (L) = 0,
4.3. APPLICATIONS AUX ÉQUATIONS AUX DÉRIVÉES PARTIELLES 155
et
nπ 2
On cherche des solutions non-triviales du problème (4.32) et on trouve que λ = L , n∈N
et que nπ
fn (x) = sin x .
L
En remettant ces données dans le problème (4.33), on trouve que
nπc nπc
gn (t) = an cos t + bn sin t .
L L
En combinant tout cela, on trouve :
∞
X nπc h nπc nπ i
u(t, x) = sin x an cos t + bn sin t .
L L L
n=1
Remarquons que, contrairement aux autres problèmes, sur l’intérieur du domaine, on n’a pas un
terme qui force une convergence rapide, ou bien une fonction analytique.
et donc Z L
2 nπ
an = α(y) sin y dy.
L 0 L
Pour trouver les bn , on fait :
∞
∂ X nπc nπ
u(t, x) = bn sin x ,
∂t t=0 L L
n=1
et donc Z L
nπc 2 nπ
bn = β(y) sin y dy.
L L 0 L
Chapitre 5
5.1 Introduction
On se pose les deux problèmes suivants :
(i) On cherche une fonction y :]a, b[−→ R satisfaisant
y (n) (t) = f t, y(t), y 0 (t), . . . , y (n−1) (t) .
x0 (t) = g t, x(t) , g : ]a, b[×Rn −→ Rn ce qui est équivalent au système x0i (t) = gi t, x(t) .
Remarque 5.1.1
L’équation (i) est un cas particulier du système (ii). En effet, en posant xi = y (i−1) et
x2 (t)
x3 (t)
..
g t, x(t) =
.
xn (t)
f t, x(t)
156
5.2. TRANSFORMÉE DE LAPLACE 157
x0 = a(y − x)
y 0 = bx − y − xz
z 0 = xy − cz.
Ces trois équations sont celles d’un système simplifié de météorologie. Selon les valeurs des trois
constantes, elles peuvent donner lieu à ce que l’on appelle l’effet papillon.
Les problèmes qui nous occuperont le plus sont les deux suivants :
Problème de Cauchy Soit x0 ∈ Rn , g : ]a, b[ × Rn −→ Rn et t0 ∈ ]a, b[. On cherche une fonc-
tion x : ]a, b[−→ Rn , t 7→ x(t), telle que
0
x (t) = g t, x(t) , t ∈ ]a, b[
x(t0 ) = x0 .
Problème aux limites Soit f : [a, b] × R × R −→ R. On cherche à trouver une fonction y telle
que 00
y (t) = f t, y(t), y 0 (t)
y(a) = α, y(b) = β.
Proposition 5.2.2
Soient f, g, γ0 et O comme dans la définition précédente.
On a les propriétés suivantes :
Holomorphie La transformée de Laplace de f , F est holomorphe dans O et
Z ∞
0
F (z) = − t · f (t)e−tz dt = L(h)(z), ∀z ∈ O,
0
où h(t) = t · f (t).
158 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
n−1
X
L f (n) (z) = z n L(f )(z) − z k f (n−k−1) (0), ∀z ∈ O.
k=0
Intégration Si f ∈ C(R) et
Z t
ϕ(t) = f (s)ds,
0
alors
L(f )(z)
L(ϕ)(z) = , ∀z ∈ O.
z
Décalage Si a > 0, b ∈ R et
ϕ(t) = e−bt f (at),
alors
1 z+b z+b
L(ϕ)(z) = L(f ) , ∀z tel que Re ≥ γ0 .
a a a
Convolution On a
L(f ∗ g)(z) = L(f )(z) · L(g)(z), z ∈ Ō.
(ii) On dit que f est localement lipschitzienne sur Ω, si pour tout O ⊂ Ω un ouvert tel que
O ⊂ Ω et O compact, il existe γ = γ(O) telle que
Exemple 5.3.2
Prenons Ω = R.
(i) f (x) = x2 est localement lipschitzienne mais pas globalement.
(ii) f (x) = sin x est globalement lipschitzienne (on prend γ = 1).
p
(iii) f (x) = |x| n’est pas localement lipschitzienne, mais est C 0,1/2 .
Proposition 5.3.3
Soit Ω ⊂ Rn un ouvert et f : Ω −→ RN . Alors,
5.3. PROBLÈME DE CAUCHY* 159
x(t0 ) = x0 .
Unicité De plus, s’il existe J ⊂ I un intervalle fermé tel que t0 ∈ J et y : J −→ Ω une fonction
de classe C 1 solution de "
y 0 (t) = f t, y(t) , ∀t ∈ J
y(t0 ) = x0 .
Alors x = y sur I0 ∩ J.
Remarque 5.3.5
L’existence est encore vraie si f est seulement continue (théorème de Cauchy-Peano). Le fait que
f soit localement lipschitzienne est nécessaire pour l’unicité.
Remarque 5.3.6
Sous ces hypothèses, le résultat n’est pas plus fort.
(i) Non-existence de solution globale
Soient Ω = I = R et f (x) = x2 . On cherche à résoudre
2
x0 (t) = x(t)
x(0) = 1.
x0 (t) = f t, x(t) ,
on trouve, en intégrant : Z t
x(t) = x0 + f τ, x(τ ) dτ.
t0
160 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
Il est évident que toute solution de notre problème est solution de l’équation intégrale.
Intéressons-nous maintenant à la réciproque. En fait, c’est vrai, car toute solution continue
est C 1 , et donc on a le droit de permuter dérivée et intégrale.
Etape 2 (opérateur T ) Soit X ⊂ C(I0 ; Ω), où I0 est à définir. Soit T : X −→ X, une appli-
cation définie de la manière suivante
Z t
T x(t) = x0 + f τ, x(τ ) dτ.
t0
On aimerait montrer que T possède un point fixe, qui serait alors solution de notre équation.
Pour cela, on commence par choisir r > 0 suffisament petit pour que [t0 − r, t0 + r] ⊂ I et
Br (x0 ) ⊂ Ω. On définit alors M = M (r) > 0 de la manière suivante :
n o
M = sup kf (t, x)k : t ∈ [t0 − r, t0 + r], x ∈ Br (x0 ) .
Soit alors,
r 2
δ = min r, , .
M γ
Dans ce cas, I0 = [t0 − δ, t0 + δ] et t0 ∈ int (I0 ). Soit maintenant,
X = {x ∈ C (I0 ; Rn ) : kx(t) − x0 k ≤ r, ∀t ∈ I0 }
= C I0 ; Br (x0 ) .
Ainsi, on a que
On a que v ∈ C 1 sauf en t = t0 :
b · u(t) t > t0
v 0 (t) =
−b · u(t) t < t0
De plus,
0 ≤ u(t) ≤ v(t), ∀t ∈ I.
Et
0 < v(t0 ) = a ≤ v(t), ∀t ∈ I.
Distinguons trois cas :
t > t0 Observer qu’alors,
v 0 (t) b · u(t)
0≤ = ≤ b,
v(t) v(t)
que l’on intègre : Z t
d
log v(τ ) ≤ b(t − t0 ),
t0 dτ
ce qui implique que,
0 ≤ u(t) ≤ v(t) ≤ a · eb|t−t0 | .
t = t0 Le résultat est trivial.
t < t0 Ressemble au premier cas.
162 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
0 ≤ u(t) ≤ an · eb|t−t0 | −→ 0.
Théorème 5.3.8
Soit I = ]α, β[, Ω ⊂ Rn un domaine et f ∈ C(I × Ω; Rn ) une fonction telle que x 7→ f (t, x) soit
lipschitzienne pour tout t. Soient y = y(t) et z = z(t) deux solutions de
x0 (t) = f t, x(t) , ∀t ∈ I.
Alors, pour t0 ∈ I,
|y(t) − z(t)| ≤ |y(t0 ) − z(t0 )| · eb|t−t0 | ,
où b est la constante de lipschitz mentionnée ci-dessus.
Démonstration. Appelons u(t) = |y(t) − z(t)|. Puisque y et z sont des solutions de x0 = f (t, x),
on a que Z t
y(t) − z(t) = y(t0 ) − z(t0 ) + f τ, y(τ ) − f τ, z(τ ) dτ.
t0
Proposition 5.3.10
Si la fonction, x 7→ f (t, x) est localement lipschitzienne pour tout t, alors toute solution de
l’équation habituelle admet un prolongement maximal. L’intervalle correspondant est ouvert.
Démonstration. Par le théorème de Picard, il existe un intervalle fermé I0 ⊂ I, t0 ∈ int (I0 ) ainsi
qu’une unique solution x telle que x0 (t) = f t, x(t) et x(t0 ) = x0 .
Soit
J = J = ]t0 − δ, t0 + [ : δ, > 0, J ⊂ I,
tel que ∃x = xJ
tel que x0J (t) = f t, xJ (t) et xJ (t0 ) = x(t0 ) = x0 .
et donc J0 est ouvert. A partir de toutes les solutions trouvées on va construire une solution
maximale xJ0 . Pour cela, remarquons que toutes les solutions sont définies en t0 . De plus, si x1
et x2 sont des solutions définies sur I1 et I2 respectivement, on sait, par le théorème de Picard,
que pour tout t ∈ I1 ∩ I2 , on a x1 (t) = x2 (t). Pour tout t ∈ J0 , il existe J ∈ J tel que t ∈ J. On
pose alors, xJ0 (t) = xJ (t) et, par la remarque précédente, la fonction xJ0 est bien définie.
Remarque 5.3.11
Le résultat reste vrai si la fonction x n’est pas lipschitzienne mais juste continue.
Théorème 5.3.12
Soit (t0 , x0 ) ∈ I × Ω, x ∈ C 1 (J; Ω) le prolongement maximal où t0 ∈ J = ]a, b[ ⊂ I = ]α, β[
satisfaisant l’équation habituelle. Alors, deux possibilités peuvent se produire :
(i) J = I, dans ce cas x est appelée solution globale ;
(ii) pour tout compact K ⊂ Ω, il existe t ∈ J tel que x(t) 6∈ K.
Démonstration. La démonstration est divisée en deux étapes.
Etape 1 On pose I = ]α, β[. Supposons que la condition (i) ne soit pas satisfaite avec b < β
et supposons, par l’absurde, qu’il existe un compact K ⊂ Ω tel que x(t) ∈ K pour tout
t ∈ ]t0 , b[. On va montrer que cela contredit la maximalité de J.
Comme b < β et que K est compact, alors il existe une constante M telle que |f (t, x)| ≤ M
pour tous (t, x) ∈ [t0 , b] × K.
Etape 2 Soient t1 , t2 ∈ [t0 , b[,
Z t2
0
|x(t2 ) − x(t1 )| = x (t)dt
t
Z 1t2
= f t, x(t) dt
t
Z 1t2
≤
M dt = M |t2 − t1 | ,
t1
ce qui implique que x est uniformément continue sur [t0 , b[, donc limt→b x(t) est bien définie
et on la note x(b). Montrons qu’en fait x ∈ C 1 ([t0 , b]; Ω) et en particulier x0 (b) = f b, x(b) ,
Le théorème de Picard nous permet de trouver une solution à l’équation x0 (t) = f t, x(t)
Corollaire 5.3.13
Soit Ω = Rn , f ∈ C telle que (t, x) 7→ f (t, x) et localement lipschitzienne en x pour tout t (la
constante de Lipschtiz dépend des compacts choisis pour chacune des deux variables). Soient de
plus g, h ∈ C 0 (I; R+ ) telles que
Alors, il existe une et une seule solution x ∈ C 1 (I; Rn ) de l’équation habituelle. De plus, elle est
globale.
Définition 5.3.16
Soit k·k une norme quelconque sur Rn (par exemple la norme euclidienne) et A ∈ Rn×n . Une
norme sympathique pour les matrices est
kAxk
kAk = sup = max kAxk .
x6=0 kxk kxk=1
Proposition 5.3.17
Soient A, B ∈ Rn×n , n ∈ N. Alors :
(i) kA + Bk ≤ kAk + kBk ;
(ii) kA · Bk ≤ kAk · kBk ;
(iii) kAn k ≤ kAkn .
Théorème 5.3.18
Soit A ∈ Rn×n et p ∈ N. On définit
p
X Ak
Sp = .
k!
k=0
Alors :
(i) La suite des Sp converge absolument vers
∞
A
X Ak
e = exp(A) = ,
k!
k=0
avec
eA
≤ ekAk .
eB = P · eA · P −1 .
Théorème 5.3.19
Soit le système x0 (t) = A · x(t) et x(0) = x0 , où x0 ∈ Rn et A ∈ Rn×n . Alors, ce problème admet
une solution globale unique et la solution est
x(t) = eAt · x0 .
Ainsi,
d At eA·(t+h) − eAt
e = lim
dt h→0 h
eAt · eAh − eAt
= lim
h→0 h
Ah
e − In
= eAt lim .
h→0 h
Et donc,
" ∞ #
d At At 1 X An hn
e = e lim − In
dt h→0 h n!
n=0
∞
" #
At
X An hn−1
= e lim A +
h→0 n!
n=2
At
= e A.
eAt · A = A · eAt .
Remarque 5.3.20
Le calcul de l’exponentielle de la matrice est une opération délicate. Dans la pratique, il est
préférable de ne pas calculer eA . Il vaut mieux procéder comme ceci
(i) Trouver les valeurs propres de la matrice A, λ1 ,. . . ,λs , avec leur multiplicité algébrique
n1 , . . . , ns (puissance de la racine dans le polynôme caractéristique).
(ii) On cherche des solutions de la forme
k −1
nX
wk (t) = pk (t) · eλk t = eλk ·t · ak,i · ti ,
i=0
j=0
5.3. PROBLÈME DE CAUCHY* 167
Soit A ∈ Rn×n une matrice dont les valeurs propres sont λ1 , . . . , λs avec leur multiplicité
algébrique n1 , . . . , ns . On peut écrire,
A = P ΛP −1 ,
x(0) = x0 ,
et donc
P −1 x0 (t) = ΛP −1 x(t)
x(0) = x0 .
En posant y = P −1 x, on a
y(0) = y0 = P −1 x(0) = P −1 x0 ,
ce qui implique
y 0 (t) = Λy(t)
y(0) = y0 .
On a
P −1 x(t) = y(t) = eΛt y0 = eΛt P −1 x0 ,
et donc
x(t) = P eΛt P −1 x0 .
Exemple 5.3.21
On va donner un exemple avec n = 2. Soit A ∈ R2×2 ainsi que λ1 et λ2 les valeurs propres de A.
On va distinguer plusieurs cas :
Cas 1 Les deux valeurs propres sont réelles et différentes :
On a alors λt
Λt e 1 0
e = .
0 eλ2 t
Théorème 5.3.22
Soient a0 , a1 , . . . , an−1 des nombres réels (on aurait pu les prendre complexes en modifiant la
suite) et y = y(t) solution de
Soit
p(λ) = λn + an−1 λn−1 + . . . + a1 λ + a0 = 0
le polynôme caractéristique et λ1 , . . . , λs les racines de p avec leur multiplicité n1 , . . . , ns . Alors
sont des solutions de l’équation ci-dessus. De plus, toute combinaison linéaire des yi,k est une
solution.
Dans un premier temps, on va traiter le cas où b(t) ≡ 0. On a vu que si A(t) ne dépend pas de
t, la solution de l’équation est x(t) = eAt · x0 .
0 (t)
Si n = 1, on a l’équation x0 (t) = a(t) · x(t), que l’on écrit xx(t) = a(t), ce qui nous donne la
solution Z t
x(t) = x0 · exp a(s)ds .
0
Proposition 5.3.23
Soit A(t) ∈ Rn×n , où A(t) ij = aij (t) sont des fonctions continues. Alors, l’ensemble des
solutions de "
x0 (t) = A(t) · x(t)
x(0) = x0 ,
Démonstration. Etape 1 Le fait que V soit un espace vectoriel est évident. Montrons que V est
de dimension n. Soient
x01 , . . . , x0n ,
une base de Rn et on résoud "
x0j (t) = A(t) · xj (t)
xj (0) = x0j ,
Etape 2 Montrons que la liste {x1 , . . . , xn } est linéairement indépendante. Soient β1 , . . . , βn tels
que
Xn
y(t) = βi · xi (t) = 0, ∀t.
i=1
En prenant t = 0, on a
y(0) = β1 x01 + . . . + βn x0n = 0,
et donc βi = 0, ∀1 ≤ i ≤ n, puisque les x0i forment une base de Rn .
Etape 3 Montrons que la liste est génératrice. Soit y = y(t) une solution de
y0 = β1 x01 + . . . + βn x0n .
z(0) = y(0) = y0 .
Par unicité des solutions, on a z(t) = y(t), ∀t.
F (t) = ... .. .. ,
. .
n n
x1 (t) . . . xn (t)
Proposition 5.3.25
Soit le système x0 (t) = A(t) · x(t) et F une matrice de solutions. Alors
(i) F 0 (t) = A(t) · F (t).
(ii) F est une matrice fondamentale si et seulement si il existe t0 ∈ R tel que det F (t0 ) 6= 0 (en
particulier, on aura que det F (t) 6= 0, ∀t ∈ R).
170 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
(iii) Si F1 et F2 sont deux matrices fondamentales. Alors il existe C ∈ Rn×n une matrice ne
dépendant pas du temps, inversible, telle que
F2 (t) = F1 (t) · C, ∀t ∈ R.
F2 (t0 ) = F1 (t0 ) · C.
Puisque les deux matrices Fi (t0 ) sont inversibles, C existe et est inversible.
Montrons maintenant que cette égalité reste vraie pour tout t ∈ R. En effet, F2 satisfait
"
F20 (t) = A(t) · F2 (t)
F2 (t0 ) = F2 (t0 ).
De plus, " 0
F1 (t) · C = F10 (t) · C = A(t) [F1 (t) · C] ,
F1 (t0 ) · C = F2 (t0 ).
Par unicité des solutions, on déduit que F2 (t) = F1 (t) · C pour tout t ∈ R.
et donc
n
0 X
xij (t) = aik (t) · xkj (t).
k=1
Dans ne cas où n = 2, on a
0
x11 (t) = a11 x21 + a12 x21
0
x21 (t) = a21 x11 + a22 x21
0
x12 (t) = ...
0
x22 (t) = ....
5.4. SÉRIES FORMELLES ET FONCTIONS GÉNÉRATRICES 171
Exemple 5.4.1
On a, par exemple, les équations d’ordre deux suivantes :
(i) Equation hypergéométrique
z(1 − z)u00 + γ − (α + β + 1) · z u0 − αβ · u = 0.
zu00 + (c − z)u0 − au = 0.
Ce qui implique
∞
X ∞
X
u0 (z) = k · ak · z k−1 = (k + 1)ak+1 · z k ,
k=1 k=0
et
∞
X ∞
X
u00 (z) = k · (k − 1) · ak · z k−2 = (k + 1)(k + 2)ak+2 · z k .
k=2 k=0
On substitue les deux dérivées dans l’équation de départ, pour trouver
(k + 1)(k + 2)ak+2 + pk · (k + 1)ak+1 + qk · ak = 0, ∀k ∈ N.
Exemple 5.4.2
Considérons l’équation
u00 + qu = 0, q > 0.
On aimerait donc,
(k + 2)(k + 1)ak+1 + qak = 0, ∀k ∈ N,
et l’on trouve
q2
ak+1 = ak−1 ,
(k + 2)(k + 1)k(k − 1)
ce qui implique
(−1)l · q l (−1)l q l
a2·l = a0 , a2l+1 = a1 ,
(2l)! (2l + 1)!
ce qui correspond à la solution connue
√ √
a0 cos ( qz) + a1 sin ( qz) .
Exemple 5.4.3 (Equation hypergéométrique)
Rappelons d’abord que l’équation est
z(1 − z)u00 + γ − (α + β + 1) · z u0 − αβy = 0.
L’une des solutions que l’on trouve pour cette équation est
∞
X α(α + 1) · . . . · (a + k − 1)β · . . . · (β + k − 1) z k
u(z) = F (α, β, γ, z) = · ,
γ(γ + 1) · . . . · (γ + k − 1) k!
k=0
De plus,
αk
ck = , ∀k = 0, 1, . . . , n − 1,
k!
et pour k ≥ n, ck est une fonction de (α0 , . . . , αn−1 ) est obtenue par dérivation formelle.
Démonstration. On va traiter seulement le cas où n = 2 et on va supposer que z0 = 0. L’équation
que l’on cherche à résoudre est
00
u (z) + α(z)u0 (z) + β(z)u(z) = 0
u(0) = α0 , u0 (0) = α1 .
On écrit
∞
X ∞
X
k
α(z) = ak z , β(z) = bk z k , |z| < r0 .
k=0 k=0
174 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
P∞
Etape 1 (calcul formel) Soit ϕ(z) = k=0 ck · z k . On a
ϕ(0) = c0 = α0 ϕ0 (0) = c1 = α1 .
On va calculer maintenant,
∞
X Xk
β(z)ϕ(z) = bk−j · cj z k ,
k=0 j=0
Ce qui revient à
k
X
(k + 2)(k + 1)ck+2 = − (j + 1)cj+1 ak−j + cj bk−j .
j=0
k
X
(j + 1)|cj+1 | + |cj | rj−k
(k + 1)(k + 1)|ck+2 | ≤ M ·
j=0
k
MX
(j + 1)|cj+1 | + |cj | rj
≤ k
r
j=0
k
MX
(j + 1)|cj+1 | + |cj | rj + M |ck+1 |r.
≤ k
r
j=0
k
MX
(j + 1)γj+1 + γj rj + M γk+1 · r.
(k + 2)(k + 1)γk+2 = k
r
j=0
5.4. SÉRIES FORMELLES ET FONCTIONS GÉNÉRATRICES 175
pour k et k + 1
k−1
M X
(j + 1)γj+1 + γj rj + M γk · r,
k(k + 1)γk+1 = k−1
r
j=0
k−2
M X
(j + 1)γj+1 + γj rj + M γk−1 · r.
k(k − 1)γk =
rk−2
j=0
(i) On dit que z0 est un point régulier pour l’équation Lu = 0 si pn (z0 ) 6= 0. Si ce n’est pas le
cas, on dit que z0 est un point singulier.
(z − z0 )n u(n) (z) + (z − z0 )n−1 bn−1 (z)u(n−1) (z) + . . . + (z − z0 )b1 (z)u0 (z) + b0 (z)u(z) = 0,
Remarque 5.4.8
Parfois, on trouve des points réguliers déguisés en singularités. Dans ce cas, on parle de singularité
éliminable. Par exemple, zu00 + sin z · u = 0.
Exemple 5.4.9
Soit l’équation
u00 (z) + α(z)u0 (z) + β(z)u(z) = 0,
où α et β sont analytiques au voisinage de z0 . Alors, z0 est un point régulier.
176 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
z(1 − z)u00 + γ − (α + β + 1) · z u0 − αβ · u = 0.
Les points z0 6∈ {0, 1} sont des points réguliers. Si z0 = 0 ou z0 = 1, il s’agit d’une singularité
z
régulière. En effet, en multipliant l’équation par 1−z , on trouve l’équation
γ − (α + β + 1)z 0 −αβz
z 2 u00 (z) + z u + u = 0,
1−z 1−z
Le premier point est que si z0 6= 0, il s’agit d’un point régulier. Si z0 = 0, on a directement une
singularité régulière.
Exemple 5.4.15
Soit l’équation connue et adorée
u00 + u = 0.
Clairement, z0 ∈ C est toujours un point régulier. Regardons maintenant le cas où z0 = ∞. On
écrit alors,
2 1
M v(t) = v 00 + v 0 + 4 v = 0,
t t
qui possède une singularité irrégulière en t0 = 0. En effet, en multipliant par t2 , on trouve
1
t2 v 00 + 2tv 0 + v = 0.
t2
5.4. SÉRIES FORMELLES ET FONCTIONS GÉNÉRATRICES 177
Exemple 5.4.16
Soit l’équation
z(1 − z)u00 + γ − (α + β + 1)z u0 − αβu = 0.
On pose
γ − (α + β + 1)z −αβ
a(z) = , b(z) = ,
z(1 − z) z(1 − z)
ce qui implique
2 1 γt − (α + β + 1)
p(t) = − · ,
t t t−1
et
−αβ
q(t) = .
t2 (t
− 1)
Il y a donc une singularité régulière à l’infini.
Exemple 5.4.17 (Bessel)
On rappelle l’équation
z 2 u00 + zu0 + z 2 − n2 u = 0.
On a
1 n2
a(z) = , b(z) = 1 − ,
z z2
ce qui nous permet de trouver
1
p(t) = ,
t
et
1
1 − n2 t2 .
q(t) = 4
t
Il y a donc une singularité irrégulière à l’infini.
Exemple 5.4.18 (Equation d’Euler homogène)
On rappelle que l’équation est
z 2 u00 + αzu0 + βu = 0.
Ecrivons,
α β
a(z) = , b(z) = ,
z z2
ce qui nous permet d’écrire
2−α
p(t) = ,
t
et
β
q(t) =.
t2
L’équation possède donc une singularité régulière à l’infini.
On cherche à établir le rapport qui existe entre les singularités au sens des séries de Laurent et
au sens du paragraphe précédent. On rappelle les définitions suivantes concernant les séries de
Laurent.
178 CHAPITRE 5. EQUATIONS DIFFÉRENTIELLES ORDINAIRES
(i) z0 est un point régulier de la série de Laurent si et seulement si a−k = 0, pour tout k ≥ 1.
(ii) Le point z0 est un pôle d’ordre m ≥ 0 si a−m 6= 0 et a−k = 0, pour tout k tel que k > m.
(iii) z0 est une singularité essentielle isolée si a−k 6= 0 pour une infinité de k positifs.
En ce qui concerne les équations différentielles, les définitions sont les suivantes.
(i) z0 est un point régulier si et seulement si p est régulier de z0 ce qui se produit si et seulement
si z0 est un point régulier de la série de Laurent de p.
(ii) z0 est une singularité régulière si et seulement si z0 est un pôle d’ordre un de p.
(iii) z0 est une singularité irrégulière si et seulement z0 est un pôle d’ordre supérieur à deux ou
une singularité essentielle isolée.
Cherchons formellement les solutions de l’équation donnée ci-dessus. On trouve donc,
Z z
u(z) = c exp − p(t)dt .
Comme cas particulier, on peut prendre l’équation d’Euler homogène, pour laquelle on a a(z) ≡ a
et b(z) ≡ b. Le polynôme indiciel est
g(ν) = ν(ν − 1) + aν + b.
Cas 2 Si ν1 − ν2 ∈ N, alors
∞
!
X
ν2 k
ϕ2 (z) = z 1+ ck · z + c(ν1 , ν2 )ϕ1 (z) log z,
k=1
et
∞
(−1)k
X 1 1 z 2k
K0 (z) = − 1 + + ... + + J0 (z) · log z.
k! 2 k 2
k=1
Chapitre 6
Divers
6.1 Citations
Vous ne pouvez pas vous rendre compte à quel point des fonctions et des ensembles peuvent
être mauvais. . . On en verra des monstres. . . Des véritables horreurs !
Là, vous voyez on utilise pas juste le fait que Ω est simplement connexe mais le fait qu’il est
ouvert. . . J’ai pris h très petit, mais si j’avais pris h grand, je serais mort.
C’est un résultat d’analyse de première année. . . Si vous le connaissez pas, il vous faut recu-
ler d’une case [retourner en première].
J’avais à résoudre ça. . . Je me dis "c’est trop pour un seul homme" et donc je bricole.
Quand vous trouvez un monstre [une fonction particulièrement dégueulasse], vous devez vous
émerveiller qu’on travaille dans un monde où on les évite.
Les autres parties étaientun peu branlantes. . . celle-ci le sera un peu plus. Vous Et là, vous faites
les choses à la physicienne : vous rentrez et sortez les choses de l’intégrale, sans vous demander
si cela à un sens. . . Comme les physiciens ou vous avant de rentrer à l’EPFL (bien que certains
mathématiciens le font encore en sortant de l’EPFL).
Sous cette hypothèse, on voit facilement. . . c’est-à-dire vous verrez aux exercices.
Aïe, j’ai fait ça comme un cochon. . . A l’heure de la grippe porcine, il faut faire attention.
On aurait pu poser cette question en première année. . . tout en sachant que personne n’y ré-
pondrait.
181
182 CHAPITRE 6. DIVERS
Les vieux ont tendances à parler de plus en plus de choses de moins en moins intéressantes.
Je peux faire ce que je veux pour autant que je retombe sur mes pattes.
Les algébristes, eux ne comprennent pas le principe de laisser tendre epsilon vers zéro. . .
Quand je donnais ce cours aux ingénieurs, je ne faissais pas ces raisonnements, ils ne com-
prennent pas les subtilités.
Chaque année, ce mail je le fous à la poubelle (en parlant du mail de Bartoldi au sujet des
mini-projets).
Mes collègues ne sont pas très objectifs, l’analyse occupe quand-même trois-quarts du volume
des mathématiques.
Vous avez probablement remarqué que les probabilités ne sont que de l’analyse appliquée.
D’habitude, pour les indiens et les africains, je dis non ! Mais celui là, je l’ai ramené d’un voyage,
on me l’avait conseillé.
Vous, les étudiants, vous êtes paresseux par nature : vous permutez limites et intégrales sans
réfléchir.
Pour les ondes, c’est comme pour les étudiants : si ça commence mal, ça restera toujours mal,
on ne peut les améliorer.