Vous êtes sur la page 1sur 119

UNIVERSITE NATIONALE DES SCIENCES, TECHNOLOGIES,

INGENIERIE ET MATHEMATIQUES (UNSTIM)

∼.∼.∼.∼.∼.∼

ECOLE NATIONALE SUPERIEURE DE GENIE MATHEMATIQUE ET


MODELISATION (ENSGMM)

∼.∼.∼.∼.∼.∼

METHODES MATHEMATIQUES POUR


L’INGENIEUR I

Enseignant : Dr ADETOLA Jamal

Année Académique:2022-2023
Contents

1 Fonction de la variable complexe 5


1.1 Variables et fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Limites et continuité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Fonctions usuelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1 Fonction exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.2 Fonctions trigonométriques et hyperboliques . . . . . . . . . . . . . . . . 7
1.4 Fonctions uniformes et multiformes . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.1 Logarithme complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4.2 Fonctions réciproques de cosinus,sinus et tangente . . . . . . . . . . . . . 9
1.4.3 Fonction puissance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Transformations complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.7 Opérateurs différentiels complexes . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.8 Analycité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.10 Intégrales curvilignes complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.11 Lien entre intégrales curvilignes et intégrales doubles . . . . . . . . . . . . . . . 23
1.12 Intégration des fonctions analytiques . . . . . . . . . . . . . . . . . . . . . . . . 25
1.13 Formule intégrale de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.14 Conséquences et applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.15 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.16 Série de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.17 Classification des singularités . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.18 Résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.18.1 Quelques méthodes pour le calcul des résidus . . . . . . . . . . . . . . . . 36
1.18.2 Application des résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.19 Singularités à l’infini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.20 Exercices . . . . . . . Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

1.21 Intégrales de la forme F (cos θ, sin θ)dθ . . . . . . . . . . . . . . . . . . . . . 42
Z0+∞
1.22 Intégrales de la forme f (x)dx . . . . . . . . . . . . . . . . . . . . . . . . . 43
Z−∞
+∞
1.23 Intégrales de la forme {cos(αx), sin(αx)dx} . . . . . . . . . . . . . . . . . . 45
−∞
1.24 Intégrales définies possédant un point singulier sur le contour d’intégration . . . 48
Z +∞
1.25 Intégrale de la forme xα−1 Q(x)dx . . . . . . . . . . . . . . . . . . . . . . . 50
0

1
2 CONTENTS

1.26 Somme de quelques séries numériques . . . . . . . . . . . . . . . . . . . . . . . . 50


1.27 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

2 Transformée de Laplace et ses applications 55


2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2 Définitions et fondamentaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.2.1 Définition de la transformée de Laplace L(.) . . . . . . . . . . . . . . . . 55
2.2.2 Conditions d’existence de la transformée de Laplace . . . . . . . . . . . . 56
2.2.3 Propriétés fondamentales de L(.) . . . . . . . . . . . . . . . . . . . . . . 56
2.3 Résolution d’EDO linéaires par la transformée de Laplace . . . . . . . . . . . . . 59
2.3.1 Exemple : une EDO linéaire d’ordre 1 très simple . . . . . . . . . . . . . 59
2.3.2 Cas général : EDO linéaire d’ordre n . . . . . . . . . . . . . . . . . . . . 60
2.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

3 Distributions 63
3.1 Rappel sur les fonctions mesurables. . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.1 Fonction localement intégrable . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.2 Fonctions intégrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1.3 Fonctions p-intégrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.4 Fonction essentiellement bornée . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.5 Inégalité de Hölder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.6 Produit de convolution de deux fonctions . . . . . . . . . . . . . . . . . . 64
3.1.7 Dérivabilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.1.8 Le support d’une fonction continue . . . . . . . . . . . . . . . . . . . . . 65
3.1.9 Notion de compact . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2 Fonctions test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.2.1 Notation multi indicielles . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.3 Fonctions de classe C ∞ à support compact . . . . . . . . . . . . . . . . . . . . . 66
3.3.1 Support d’une fonction continue . . . . . . . . . . . . . . . . . . . . . . . 66
3.3.2 Espace des fonctions test . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.3.3 Topologie de D(Ω) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.3.4 Ordre d’une distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.3.5 Distribution de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.4 Notion de distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.4.1 Distribution de type fonction . . . . . . . . . . . . . . . . . . . . . . . . 70
3.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

4 Transformée de Fourier 75
4.1 Définition et premières propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.1.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.1.2 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.2 Formules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.2.1 Transformée de Fourier de la dérivée . . . . . . . . . . . . . . . . . . . . 77
4.2.2 Transformée de Fourier de x 7→ xf (x) . . . . . . . . . . . . . . . . . . . . 78
4.2.3 Produit de convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.2.4 Inversion de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.2.5 Application à la résolution d’une équation intégrale . . . . . . . . . . . . 79

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CONTENTS 3

4.2.6 Fonctions sommables, de carré sommable . . . . . . . . . . . . . . . . . . 80


4.2.7 Transformée de Fourier d’une fonction de plusieurs variables . . . . . . . 80
4.3 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

5 Eléments du calcul vectoriel 85


5.1 Vecteur surface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.1.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.1.2 Projection du vecteur surface . . . . . . . . . . . . . . . . . . . . . . . . 86
5.2 Orientation de l’espace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.2.1 Convention d’orientation . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.2.2 Vecteurs vrais, pseudo-vecteurs . . . . . . . . . . . . . . . . . . . . . . . 89
5.3 Angle solide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.3.1 Rappel sur les angles solides . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.3.2 Interprétation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.3.3 Angles solides particuliers . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.4 Champs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.4.1 Champs de scalaires , champs de vecteurs . . . . . . . . . . . . . . . . . 91
5.4.2 Opérateurs relatifs aux champs . . . . . . . . . . . . . . . . . . . . . . . 92
5.4.3 Circulation et flux d’un champ de vecteurs . . . . . . . . . . . . . . . . . 95
5.5 Gradients et Laplaciens de 1/r . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5.5.1 Gradient de 1/r . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5.5.2 Laplacien de 1/r en fonction de M . . . . . . . . . . . . . . . . . . . . . . 100
5.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

6 Théorie de l’intégration 105


6.1 Mesure de Lebesgues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
6.1.1 Ensembles mesurables et mesure de Lebesgue . . . . . . . . . . . . . . . 105
6.2 Espace mesuré et application mesurable . . . . . . . . . . . . . . . . . . . . . . . 107
6.3 Intégrale de Lebesgues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6.3.1 Intégrale de Lebesgue sur Rd . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.3.2 Extensions aux fonctions à valeurs dans R ou dans C . . . . . . . . . . . 113
6.3.3 Théorème de convergence dominé . . . . . . . . . . . . . . . . . . . . . . 113
6.3.4 Intégrale dépendant d’un paramètre . . . . . . . . . . . . . . . . . . . . . 114
6.3.5 Dérivabilité sous le signe intégrale . . . . . . . . . . . . . . . . . . . . . . 114
6.4 Espaces Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.4.1 Inégalité de Hölder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.4.2 Théorème de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.4.3 Théorème du changement de variable . . . . . . . . . . . . . . . . . . . . 116
6.5 Espaces de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


4 CONTENTS

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


Chapter 1

Fonction de la variable complexe

Fonction complexe
1.1 Variables et fonctions

Définition 1.1.1 Soit D ⊂ C. On appelle fonction d’une variable complexe une application

f :D→C

z 7→ f (z)
z = x + iy ∈ D, f (z) = f (x + iy) = u(x, y) + iv(x, y), avec u(x, y)et v(x, y) sont respectivement
partie réelle et imaginaire de f (z). Soit l’application φ telle que

φ : C → P = R2
!
x
z = x + iy →
7 M=
y
z est l’affixe du point M et M est l’image de z.

Exemple 1.1.1
f : C∗ → C

1
z 7→ f (z) =
z

1 1 x −y
f (z) = = = 2 +i 2
z x + iy x +y 2 x + y2

x −y
On a u(x, y) = et v(x, y) = 2
x2 +y 2 x + y2

5
6 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1.2 Limites et continuité

Définition 1.2.1 lim f (z) = l ⇐⇒ ∀ ε > 0, ∃ α > 0, |z − z0 | < α =⇒ |f (z) − l| < ε


z→z0
On dit que f est continue en z0 ∈ D si z→z
lim f (z) = f (z0 ).
0
f est continue dans un domaine D si elle est continue en tout point de D.

Remarque 1.2.1 Soit l = a + ib et z0 = x0 + iy0 . Comme f (z) = f (x + iy) = u(x, y) + iv(x, y)


donc

• z→z
lim f (z) = l ⇐⇒ lim u(x, y) = a et lim v(x, y) = b,
0 (x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

• f est continue en z0 ⇐⇒ lim u(x, y) = u(x0 , y0 ) et


(x,y)→(x0 ,y0 )
lim v(x, y) = v(x0 , y0 )
(x,y)→(x0 ,y0 )

La limite n’existe pas si on peut trouver deux chemins(directions) où z → z0 qui donnent deux
valeurs différentes à la limite.
z
Exemple 1.2.1 1. z→zlim n’existe pas, car
0 z̄
Si z = x + i0 avec x → 0
z x + i0
lim = lim = 1,
z→z0 z̄ x→0 x − i0

Si z = x + i0 avec y → 0
z 0 + iy
lim = lim = −1.
z→z0 z̄ y→0 0 − iy

2. Les fonctions z 7→ z 2 , z 7→ z̄,z 7→ Re(z) et z 7→ Im(z) sont des fonctions continues sur C.

3. f est continue ⇐⇒ Re(f ), Im(f ), f¯ et |f | sont continues.

4. Les fonctions polynômes sont continues dans C.

5. Les fonctions rationnelles sont continues dans leur domaine de définition.

1.3 Fonctions usuelles


1.3.1 Fonction exponentielle

Définition 1.3.1 On définit l’exponentielle d’un nombre complexe


z = x + iy ∈ C par
z 7→ ez = ex (cos(y) + i sin(y)).

Propriété 1.3.1 1. |ez | = ex et arg(z) = y + 2kπ, k ∈ Z.


0 0
2. ∀z, z 0 ∈ C, ez+z = ez ez .

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 7

3. ez1 = ez1 ⇐⇒ z1 = z2 + 2kπi, k ∈ Z.


1
4. ∀z ∈ C, = e−z .
ez
5. ∀k ∈ Z, ∀z ∈ C, ez+2kπi = ez (La fonction ez est périodique de période 2kπi).
+∞
zn
6. ∀z ∈ C, ez =
X

n=0 n!
Si α > 0, par définition αz = ezlnα alors on a pour tout α1 , α2 > 0 et z1 , z2 ∈ C :

• (α1 α2 )z = α1z α2z .


• αz1 +z2 = αz1 αz2 .
• αz1 z2 = (αz1 )z2 .

1.3.2 Fonctions trigonométriques et hyperboliques


A partir de l’exponentielle complexe, on définit les fonctions cosinus et sinus par

eiz + e−iz +∞
z 2n
cos(z) = = (−1)n
X
, z ∈ C.
2 n=0 (2n)!

+∞
eiz − e−iz z 2n+1
sin(z) = = (−1)n
X
, z ∈ C.
2i n=0 (2n + 1)!

On définit aussi les fonctions hyperboliques

ez + e−z +∞
X z 2n
cosh(z) = = , z ∈ C,
2 n=0 (2n)!

+∞
ez − e−z X z 2n+1
sinh(z) = = , z ∈ C.
2 n=0 (2n + 1)!

Aussi on définit les fonctions

sin(z) e2iz − 1 π
 
i tan(z) = = 2iz ,z ∈ C \ + kπ, k ∈ Z ,
cos(z) e +1 2
cos(z) e2iz + 1
−i cot(z) = = 2iz , z ∈ C \ πZ,
sin(z) e −1

sinh(z) e2z − 1 2k + 1
( )
tanh(z) = = 2z ,z ∈ C \ πi, k ∈ Z ,
cosh(z) e +1 2

cosh(z) e2z + 1
coth(z) = = 2z , z ∈ C \ πiZ.
sinh(z) e −1

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


8 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Remarque 1.3.1 1. On a les relations suivantes


cos(z) = cosh(iz), sin(z) = −i sinh(iz), z ∈ C,
eiz = cos(z) + i sin(z), ∈ C.
cos2 (z) + sin2 (z) = 1, cosh2 (z) − sinh2 (z) = 1.

2. Les fonctions cos(z) et sin(z) sont 2π-périodiques.

3. Les fonctions cosh(z) et sinh(z) sont 2πi-périodiques.

1.4 Fonctions uniformes et multiformes


Une fonction f est appelée uniforme si à chaque valeur de z ne correspond qu’une seule valeur
de f (z).
Une fonction f est appelée multiforme si à chaque valeur de z correspond plusieurs valeurs
de f (z).
Une fonction multiforme peut être considérée comme un ensemble de fonctions uniformes,
chaque élément de cet ensemble étant appelé une branche (ou une détermination) de la fonction.

Exemple 1.4.1 1. z 7→ z 2 est une fonction uniforme.



2. z 7→ f (z) = z est une fonction multiforme, en effet;
z = reiθ = rei(θ+2kπ) , k ∈ Z,
√ √ θ+2kπ √ iθ
f (z) = z = rei( 2 ) = re 2 +kπi , k = 0, 1.
√ iθ
f (z) = ± re 2

Si on fait le tour complet autour de l’origine, on ne revient√pas à la valeur initiale. On dit


que 0 est un point de branchement de la fonction z 7→ f (z) = z.
Pour obtenir les fonctions uniformes (les branches), on pratique une “coupure”dans le plan
complexe allant de l’origine jusqu’à l’infini en suivant l’axe positif des x. Voir la figure suivante

N
J

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 9

1.4.1 Logarithme complexe

Définition 1.4.1 Soient z ∈ C∗ et w ∈ C. Si ew = z, on dit que le nombre complexe w ∈ C


est un logarithme de z ∈ C∗ .
Le logarithme complexe d’un nombre complexe z est donné par

ln(z) = ln |z| + iarg(z) + 2kπi, k ∈ Z

Le logarithme complexe est une fonction multiforme(infinité de branches).

Définition 1.4.2
ln(z) = ln |z| + iArg(z), −π < Arg(z) ≤ π
est appelé logarithme principal de z ou détermination principale du logarithme.

Exemple 1.4.2
√ π
ln(1 + i) = ln 2 + i + 2kπi, k ∈ Z
4

1.4.2 Fonctions réciproques de cosinus,sinus et tangente



arcsin(z) = −i ln(iz + 1 − z2) ,

arccos(z) = −i ln(z + i 1 − z 2 ),
i i+z
arctan(z) = ln( ).
2 i−z

1.4.3 Fonction puissance


f (z) = z α

• Si α ∈ Z, f est une fonction uniforme.

• Si α ∈
/ Z, f est une fonction multiforme.

f (z) = z α = ea ln(z) = eα[ln |z|+iarg(z)+2kπ] , k ∈ Z.

0 est un point de branchement.

1.5 Transformations complexes


Soient z = x + iy et f (z) = u(x, y) + iv(x, y). Soit D le domaine de définition des fonctions u
et v. Le système des équations
u = u(x, y)
(

v = v(x, y)
décrit une transformation ou une application D dans le plan (x, y) vers le plan (u, v).

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


10 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

y y
R
D
w = f (z)

x x

R est l’image de la région D par la fonction f.

Exemple 1.5.1 1. Soit f (z) = iz.Trouver l’image du demi-plan Re(z) ≥ 2 par f.


Soit z = x + iy =⇒ iz = −y + ix
Re(z) ≥ 2 =⇒ x > 2 et y ∈] − ∞, +∞[

u = u(x, y) = −y v≥2
( (

v = v(x, y) = x −∞ < u < +∞

v
N

2i

Iu

2. Trouver l’image de la droite x = 1 par la fonction f (z) = z 2 . z = x+iy → z 2 = x2 −y 2 +2ixy

u(x, y) = x2 − y 2
(

v(x, y) = 2xy

u(x, y) = 1 − y 2
(
x=1⇒ − ∞ < y < +∞
v(x, y) = 2y

v v2 √
y= ⇒u=1− ⇒ v 2 = 4(1 − u) ⇒ v = ±2 1 − u
2 4
Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur
CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 11

vN

I
0 u
−5 −4 −3 −2 −1 1 2 3
−1

−2

−3

−4

−5

3. Fonction exponentielle
Trouver l’image de la région

{z ∈ C, x ∈ Z et y ∈]α, α + 2π[}

Pour f (z) = ez
ex ∈]0, +∞[
(
e =e
z x+iy
=e e ⇒
x iy
arg ez = y ∈]α, α + 2π[.

4. Transformation homographique
Soit
az + b
w=
cz + d
et ad − cb 6= 0,on a
az + b bc−ad
" #
a
= + c d
2

cz + d c z+ c
bc − ad
Posons α = .La transformation homographique se compose de
c2

i) Translation z 7→ z2 = z + dc .
ii) Inversion z2 7→ z3 = 1
z2
.
iii) Similitude z3 7→ z4 = αz3 .
iv) Translation z4 7→ z5 = z4 + ac .

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


12 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Définition 1.5.1 Une transformation homographique est dite conforme si elle conserve les
angles , leurs grandeurs et leur sens.

1.6 Fonctions holomorphes

Définition 1.6.1 Soient D ⊂ R2 un domaine, (x0 , y0 ) ∈ D et g : D → C une fonction. La


dérivée partielle première par rapport à x (resp. par rapport à y) de g en (x0 , y0 ) si elle existe,
est définie par
∂g g(x, y0 ) − g(x0 , y0 )
(x0 , y0 ) = x→x
lim
∂x 0 x − x0
∂g g(x0 , y) − g(x0 , y0 )
(resp. (x0 , y0 ) = y→y
lim .)
∂y 0 y − y0

Soit h = x − x0 et k = y − y0 alors

∂g g(x0 + h, y0 ) − g(x0 , y0 )
(x0 , y0 ) = lim
∂x h→0 h
.

∂g g(x0 , y0 + k) − g(x0 , y0 )
(x0 , y0 ) = lim
∂y k→0 k

Définition 1.6.2 Une fonction g est dite de classe C 1 sur D si elle admet des dérivées
partielles premières par rapport à x et y continues sur D.

Définition 1.6.3 Soit D un domaine de C et f : D → C. f est dite dérivable (au sens


complexe) au point z0 ∈ D si et seulement si la limite suivante

f (z) − f (z0 )
lim
z→z0 z − z0
existe et est finie.On note f 0 (z0 ).

f (z0 + h) − f (z0 )
Posons h = z − z0 alors f est dérivable en z0 ⇐⇒ lim existe et est finie.
h→0 h

Exemple 1.6.1 1.
f :C→C
z 7→ f (z) = z 2 .
est dérivable dans C.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 13

2.
f :C→C
z 7→ f (z) = z̄.
n’est dérivable dans C,en effet;

Posons z = x + iy et z0 = x0 + iy0

z̄ − z¯0 (x − iy) − (x0 − iy0 )


lim = lim
z→z0 z − z0 (x,y)→(x0 ,y0 ) (x + iy) − (x0 + iy0 )
(x − x0 ) − i(y − y0 )
= lim .
(x,y)→(x0 ,y0 ) (x − x0 ) − i(y − y0 )
Fixons y = y0 ,
z̄ − z¯0 x − x0
lim = lim =1
z→z0 z − z0 x→x 0 x − x0

.
Fixons x = x0 ,
z̄ − z¯0 −i(y − y0 )
lim = lim = −1
z→z0 z − z0 y→y 0 i(y − y0 )

Définition 1.6.4 f est dite holomorphe dans un domaine D si elle est dérivable en tout point
de D.

Définition 1.6.5 Une fonction f est dite entière si elle est holomorphe sur le plan complexe
tout entier.

Soit f (z) = f (x + iy) = u(x, y) + iv(x, y)

Proposition 1.6.1 Si f est dérivable en z0 = x0 + iy0 , alors les fonctions u et v admettent en


(x
 0 , y0 ) des dérivées partielles premières par rapport à x et y et on a
∂u ∂v
(x0 , y0 ) = (x0 , y0 )



∂x ∂y

∂u ∂v (Conditions de Cauchy-Riemann)
(x0 , y0 ) = − (x0 , y0 )



∂y ∂x

Preuve. La dérivée de f au point z est donnée par


f (z + ∆z) − f (z)
f 0 (z) = lim
∆z→0 ∆z
En supposant que f (z) = u(x, u) + iv(x, y) et ∆z = ∆x + i∆y , alors on a
u(x + ∆x, y + ∆y) + iv(x + ∆x, y + ∆y) − u(x, y) − iv(x, y)
f 0 (z) = lim
∆z→0 ∆x + i∆y
La limite doit exister indépendamment de la manière dont ∆z tend vers 0. Ainsi , nous avons
deux cas.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


14 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1) ∆z → 0 avec ∆y = 0 et ∆z = ∆x. On a alors

u(x + ∆x, y) − u(x, y) + i [v(x + ∆x, y) − v(x, y)]


f 0 (z) = lim
∆x→0 ∆x
u(x + ∆x, y) − u(x, y) v(x + ∆x, y) − v(x, y)
= lim + i lim
∆x→0 ∆x ∆x→0 ∆x
∂u ∂v
= +i
∂x ∂x

2) ∆z → 0 avec ∆x = 0 et ∆z = i∆y.On a

u(x + ∆x, y) − u(x, y) v(x + ∆x, y) − v(x, y)


f 0 (x) = lim + i lim
∆y→0 i∆y ∆y→0 i∆y
∂u ∂v
= −i +
∂y ∂y

il vient 
∂u ∂v
=



∂x ∂y

∂u ∂v
= −



∂y ∂x

Proposition 1.6.2 Si les fonctions u et v admettent des derivées partielles premières continues
sur un voisinage de z0 = x0 + iy0 et si ces derivées satisfont aux relations de Cauchy-Riemann
en z = z0 alors f est dérivable en z0 .

∂u ∂u
Preuve. Soit w = f (z) = u(x, u)+iv(x, y).Les dérivées et étant supposées continues
∂x ∂y
∆u = u(x + ∆x, y + ∆y) − u(x, y)
= u(x + ∆x, y + ∆y) − u(x, y + ∆y) + u(x, y + ∆y) − u(x, y)
! !
∂u ∂u
= + ε1 ∆x + + ε2 ∆y
∂x ∂y
∂u ∂u
= ∆x + ∆y + ε1 ∆x + ε2 ∆y.
∂x ∂y
De même
∂v ∂v
∆v = ∆x + ∆y + µ1 ∆x + µ2 ∆y
∂x ∂y
D’où
! !
∂u ∂v ∂u ∂v
∆w = ∆u + i∆v = +i ∆x + +i ∆y + (ε1 + iµ1 )∆x + (ε2 + iµ2 )∆y
∂x ∂x ∂y ∂y

où ε1 + iµ1 → 0 et ε2 + iµ2 → 0 quand ∆x → 0. D’après les équations de Cauchy-Riemann

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 15

! !
∂u ∂v ∂v ∂u
∆w = +i ∆x + − +i ∆y + ε∆x + µ∆y
∂x ∂x ∂x ∂x
!
∂u ∂v
= +i (∆x + i∆y) + ε∆x + µ∆y.
∂x ∂x

D’où, en divisant par ∆z = ∆x + i∆y et en faisant tendre ∆z vers 0, on voit que

∂w ∆w ∂u ∂v
= f 0 (z) = lim = +i
∂z ∆z→0 ∆z ∂x ∂x

Exemple 1.6.2 f (z) = z̄ = x − iy


u(x, y) = x, et v(x, y) = −y
∂u ∂v
(x0 , y0 ) = 1 6= (x0 , y0 ) = −1.
∂x ∂y
⇒ f (z) = z̄ n’est pas dérivable.

Remarque 1.6.1 Soit z = x + iy alors


z + z̄ z − z̄
x= , y=
2 2i
donc
1 ∂
" #
∂ ∂ ∂x ∂ ∂y ∂
= + = −i ,
∂z ∂x ∂z ∂y ∂z 2 ∂x ∂y
1 ∂
" #
∂ ∂ ∂x ∂ ∂y ∂
= + = +i
∂ z̄ ∂x ∂ z̄ ∂y ∂ z̄ 2 ∂x ∂y

Proposition 1.6.3 Soit f une fonction de classe C 1 sur un domaine D (en tant que fonction
des deux variables x et y),alors
∂f
f est dérivable au point z0 ∈ D ⇐⇒ (z0 ) = 0.
∂ z̄

Exemple 1.6.3
f (z) = z̄
∂f
(z0 ) = 1 6= 0
∂ z̄
ainsi f n’est pas dérivable.

Proposition 1.6.4 Si f est une fonction dérivable à valeurs réelles dans un domaine D : f :
D ⊂ C → R alors f est constante.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


16 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1.7 Opérateurs différentiels complexes


¯ par
On définit les opérateurs ∇ et ∇

∂ ∂ ∂
∇= +i =2
∂x ∂y ∂ z̄

¯ = ∂ −i ∂ =2 ∂

∂x ∂y ∂z
Soit F (x, y) une fonction de classe C 1 et h(x, y) = u(x, y) + iv(x, y) une fonction complexe
différentiable de x ety.
En coordonnées conjuguées, on a
z + z̄ z − z̄
F (x, y) = F ( , ) = G(z, z̄), h(x, y) = B(z, z̄).
2 2i

1. Gradient.Nous définirons le gradient d’une fonction réelle(scalaire) par

∂F ∂F ∂G
grad F = ∇F = +i =2
∂x ∂y ∂ z̄

De la même façon, on définit le gradient d’une fonction complexe


h = u + iv, (vecteur) comme
!
∂ ∂
grad h = ∇h = +i (u + iv)
∂x ∂y

∂u ∂v ∂u ∂v
= − + i( + ).
∂x ∂y ∂y ∂x
∂B
En particulier, si la fonction B est dérivable en z alors = 0 et le gradient est nul(car les
∂ z̄
conditions de Cauchy-Riemann sont vérifiées).

2. Divergence.Nous définirons la divergence d’une fonction complexe (vecteur) par


!
¯ = ∂u + ∂v = 2Re ∂B
div h = Re(∇h)
∂x ∂y ∂z

3. Rotationnel.Nous définirons le rotationnel d’une fonction par


!
¯ = ∂v − ∂u = 2Im ∂B
rot h = Im(∇h)
∂x ∂y ∂z

4. Laplacien.On définit l’opérateur de Laplace (ou Laplacien) par


2 2
¯ = ∂ + ∂
∇2 = Re(∇∇)
∂x2 ∂y 2

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 17

Définition 1.7.1 Soit D ⊂ R2 un domaine et u : D → C. La fonction u est harmonique dans


D si elle y admet des dérivées partielles d’ordre deux continues qui y satisfont l’équation de
Laplace:
∂ 2u ∂ 2u
∇2 u = + = 0.
∂x2 ∂y 2

Exemple 1.7.1 La fonction u : (x, y) 7→ x2 − y 2 + 2xy est harmonique. En effet,

∂ 2 u(x, y) ∂ 2 u(x, y)
∇2 u(x, y) = + =2−2=0
∂x2 ∂y 2

1.8 Analycité

Définition 1.8.1 Une fonction f est dite analytique est un point si elle est dérivable dans un
voisinage de ce point.

Exemple 1.8.1 f : z 7→ |z|2 est dérivable seulement en 0, et elle n’est analytique en aucun
point.
∂f
f (z) = |z|2 = z z̄ ⇒ (z) = z = 0 ⇐⇒ z = 0.
∂ z̄

Critère de non analycité


Si les conditions de Cauchy-Riemann ne sont pas vérifiées en un point z ∈ D alors elle ne peut
être analytique.

Définition 1.8.2 Une fonction f est C-analytique sur un domaine D si et seulement si

∀z0 ∈ D, ∃ R > 0, ∃ {an }n∈N ⊂ C telles que



f (z) = an (z − z0 )n , avec|z − z0 | ≤ R.
X

n=0

Remarque 1.8.1 Soit D un domaine de C et f = u + iv : D → C. Si u et v vérifient les


conditions de Cauchy-Riemann en tout point de D (i.e. f est holomorphe sur D) ⇐⇒ f est
analytique dans D.

d z
Exemple 1.8.2 1. z 7→ ez est analytique sur C et (e ) = ez .
dz
2. La branche principale du logarithme complexe

z 7→ ln(z) = ln|z| + iArg(z), −π ≤ Arg(z) < π.

d 1
est analytique dans C \ (] − ∞, 0[), et on a (ln(z)) =
dz z
Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I
18 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Proposition 1.8.1 Soit D un domaine de C, z0 ∈ C et f une fonction analytique sur D, on a


alors l’équivalence entre les propriétés suivantes:

1. f est nulle sur D,

2. f est nulle sur un voisinage de z0 ,

3. f (n) (z0 ) = 0 pour tout n ∈ N

1.9 Exercices
Exercice 1 Calculer les limites suivantes si elles existent:
z̄ 2 − z 2 |z|2 z (2z + 3)(z − 1)
lim = 0, lim , lim , lim .
z→0 z z→0 z z→0 |z| z→−2i z 2 − 2z + 4

xy
Exercice 2 1.Montrer que la fonction u(x, y) = n’a pas de limite quand (x,y)→ (0, 0).
x2 + y2
2.Montrer les formules suivantes:

cos(iz) = cosh(z), sin(iz) = isinh(z)

3.Montrer que les fonctions sin(z) et cos(z) ne sont pas bornés dans C

Exercice 3 Calculer

a) sin(1 − i), b) ln(−1), c)2i , d) ln(1 + i)



e)ii , f ) arcsin(i), g)(cos(i))i , h)(−1) 2 .

Exercice 4 Résoudre dans C, les équations suivantes



e2z+4 = 3 3 + 3i,
z 2 = 3 + 4i
eiz − (1 + i)e−iz = i.

Montrer que
i
arctan(z) = [ln(i + z) − ln(i − z)]
2
Exercice 5 Indiquer parmi les fonctions suivantes celles qui sont holomorphes

f (z) = Im(z), f (z) = ez̄ , f (z) = z 2 + 5iz + 3 − i, f (z) = (Re(z))2 .

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 19

Exercice 6 Indiquer parmi ces fonctions celles qui sont analytiques

f (z) = zez , f (z) = z̄z 2 , f (z) = sin(3z).

Exercice 7 Déterminer les constantes réelles a, b et c telles que la fonction


f (z) = x + ay + i(bx + cy) soit holomorphe dans C.

Exercice 8 Soit la fonction u : (x, y) 7→ 2xy, trouver une fonction v telle que la fonction
f = u + iv soit holomorphe sur C. Exprimer f (z) à l’aide de la variable z.

Exercice 9 Montrer que la fonction

U (x, y) = x2 − y 2 − 2xy − 2x + 3y

est harmonique.
2. Trouver une fonction V (x, y) telle que la fonction complexe f (z) = U (x, y) + V (x, y) soit
holomorphe.

Exercice 10 Montrer que si l’on passe des coordonnées cartésiennes (x, y) aux coordonnées
polaires (r, θ), les conditions de Cauchy-Riemann prennent la forme
∂P 1 ∂Q ∂Q 1 ∂P
= et =−
∂r r ∂θ ∂r r ∂θ
Exercice 11 Montrer que le module et l’argument de la fonction analytique f (z) = R(x, y) exp iΦ(x, y)
∂R ∂Φ ∂R ∂Φ
sont liés par les relations =R et = −R
∂x ∂y ∂y ∂x
Exercice 12 Trouver la fonction analytique w = f (z) si l’on connaît sa partie réelle
u = 2(cosh x sin y − xy) et compte tenu de la condition f (0) = 0.

Exercice 13 Quelles sont conditions nécessaires pour que le trinôme u = ax2 + 2bxy + cy 2 soit
une fonction harmonique?

Exercice 14 Trouver les fonctions harmoniques de la forme u = f (x2 + y 2 ) qui diffèrent d’une
constante.

Intégration complexe
1.10 Intégrales curvilignes complexes

Définition 1.10.1 Soit D ⊂ C un domaine. On appelle arc dans D une application dérivable

γ : [a, b] → D

t 7→ γ(t)
γ(a) et γ(b) sont appelés l’origine et l’extrémité de l’arc γ respectivement.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


20 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

γ(b)


γ(a)

Définition 1.10.2 La réunion d’arcs est une application dérivable par morceaux dite chemin:
n
γ=
[
γi
i=1

γ2 γ3 •
γ1 I • I
• I

On décrit les points de l’arc au moyen de l’équation γ(t) = z(t) = x(t)+iy(t) avec a ≤ t ≤ b.

Exemple 1.10.1 Les segments orientés [z0 , z1 ] sont des arcs:

γ(t) = (1 − t)z0 + tz1 = z0 + t(z1 − z0 ), 0 ≤ t ≤ 1.

Définition 1.10.3 Un arc γ est dit fermé (Lacet ou contour) si son origine conincide avec son
extrémité. i.e.γ(a) = γ(b)

γ(a) = γ(b)


J

Exemple 1.10.2 Le cercle de centre z0 et de rayon r est un chemin fermé

γ(t) = z0 + reit , 0 ≤ t ≤ 2π.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 21

• z0

Définition 1.10.4 Un arc est dit simple s’il ne se coupe pas lui-même .

Définition 1.10.5 Une courbe simple et fermée est dite courbe de Jordan.

Définition 1.10.6 Soit z(t) = x(t) + iy(t), a ≤ t ≤ b, une paramétrisation qui décrit un arc γ.
Si x(t) et y(t) sont de classe C 1 sur [a, b] alors γ est appelée arc différentiable.

La longueur de l’arc est Z b


L(γ) = |z 0 (t)|dt
a
q
où |z 0 (t)| = x02 (t) + y 02 (t).
La longueur ne dépend pas de la paramétrisation.

Exemple 1.10.3

z(t) = reit , 0 ≤ t ≤ 2π
x(t) = r cos(t) ⇒ x0 (t) = −r sin(t)
y(t) = r sin ⇒ y 0 (t) = r cos(t)
Z 2π q Z 2π
L(γ) = (−r sin(t))2 + (r cos(t))2 dt = rdt = 2πr.
0 0

Définition 1.10.7 Soit f (t) = u(t) + iv(t), a ≤ t ≤ b avec u et v deux fonctions réelles
continues. On définit l’intégrale de f de a à b par
Z b Z b Z b
f (t)dt = u(t) + i v(t)dt
a a a

Z 1 Z 1 Z 1
1
Exemple 1.10.4 (2t + i) dt =
2
(4t − 1)dt + i
2
4t dt = + 2i.
0 0 0 3

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


22 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Z b Z b
Propriété 1.10.1 1. kf (t)dt = k f (t)dt, k ∈ C.
a a
Z b Z b Z b
2. (f (t) + g(t))dt = f (t)dt + g(t)dt.
a a a
Z b Z a
3. f (t)dt = − f (t)dt.
a b
Z b Z c Z b
4. f (t)dt = f (t)dt + f (t)dt
a a c

Définition 1.10.8 Soit f : D ⊂ C → C une fonction continue et γ : [a, b] → D un chemin.


L’intégrale curviligne de f sur le chemin γ est défini par
Z Z b
f (z)dz = f (γ(t))γ 0 (t)dt.
γ a

Exemple 1.10.5 Z
z̄dz,
γ
π π
γ(t) = eit , − ≤ t ≤ , γ 0 (t) = ieit ,
2 2
Z Z π Z π
2 2
z̄dz = e −it
ie dt = i
it
dt = iπ
γ − π2 − π2

N
2

1 γ
N
I
−1 0 1 2
−1

n
Remarque 1.10.1 1. Si γ = γi alors
S
i=1

Z n Z
f (z)dz = f (z)dz
X
γ i=1 γi

Z Z
2. f (z)dz = − f (z)dz, où γ − est le chemin opposé(inverse) de γ:
γ− γ
γ − : [a, b] → D
t 7→ γ − (t) = γ(a + b − t).

On a γ − (a) = γ(a) et γ − (b) = γ(b).

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 23

3. Z
f (z)dz ≤ M.L(γ), où M = sup |f (z)|.
γ z∈γ

Théorème 1.10.1 (Primitives). Soit D ⊂ C domaine


Z et f : D ⇒ C continue alors f admet
une primitive dans D ⇐⇒ ∀γ ⊂ D chemin fermé f (z)dz = 0
γ

Z
1
Exemple 1.10.6 1. dz où γ est le cercle de centre 0 et de rayon r.
γ z
γ(t) = reit , 0 ≤ t ≤ 2π
γ 0 (t) = ieit ,
Z
1 Z 2π
ireit Z 2π
dz = dt = i dt = 2πi 6= 0,
γ z 0 reit 0
1
donc f (z) = n’admet pas de primitive dans C∗
z
Z
1
2. dz où γ est le cercle de centre z0 et de rayon r.
γ z − z0
γ(t) = z0 + reit , 0 ≤ t ≤ 2π
γ 0 (t) = ireit , Z
1 Z 2π
ireit Z 2π
dz = dt = i dt = 2πi.
γ z − z0 0 reit 0
Z
1
3. dz, n 6= 1 où γ est le cercle de centre z0 et de rayon r.
γ (z − z0 )n
γ(t) = z0 + reit , 0 ≤ t ≤ 2π
γ 0 (t) = ireit ,

Z
1 Z 2π
ireit Z 2π
r−n+1 h i(1−n)t i2π
dz = dt = ir −n+1
ei(1−n)t
dt = e
γ (z − z0 )n 0 (reit )n 0 1−n 0

r−n+1 h i(1−n)2π i
= e −1 =0
1−n

1.11 Lien entre intégrales curvilignes et intégrales doubles

Théorème 1.11.1 (Théorème de Green). Soit D une partie de R2 bornée par un chemin simple
et fermé γ orienté positivement par rapport à D. Soient u et v deux fonctions de classe C 1 dans
D. Alors on a !
ZZ
∂v ∂u Z
− dxdy = udx + vdy
D ∂x ∂y γ

Exemple 1.11.1 Vérifier la formule de Green pour l’intégrale


Z
(x2 − 2xy)dx + (y 2 − x2 y)dy,
γ

où γ est le carré de sommets (0,0), (2,0), (2,2) et (0,2).


γ = γ1 ∪ γ2 ∪ γ3 ∪ γ4

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


24 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

3N
γ3
2 J

1H Nγ2
γ4
I I
0 γ
−1 1 1 2 3
−1

Z Z Z Z Z
= + + +
γ γ1 γ2 γ3 γ4

Sur γ1 y=0, dy=0 ,et 0 ≤ x ≤ 2

Z Z 2
8
(x − 2xy)dx + (y − x y)dy =
2 2 2
x2 dx =
γ1 0 3

Sur γ2 x=2, dx=0, et 0 ≤ y ≤ 2,

Z Z 2
8
(x2 − 2xy)dx + (y 2 − x2 y)dy = (y 2 − 4y)dy = −8
γ2 0 3

Sur γ3 y=2, dy=0 ,et 0 ≤ x ≤ 2

Z Z 2
8
(x − 2xy)dx + (y − x y)dy =
2 2 2
(x2 − 4x)dx = − + 8
γ3 0 3

Sur γ4 x=0, dx=0, et 0 ≤ y ≤ 2,

Z Z 2
8
(x2 − 2xy)dx + (y 2 − x2 y)dy = y 2 dy = −
γ4 0 3

donc
Z
8 8 8 8
(x2 − 2xy)dx + (y 2 − x2 y)dy = + −8− +8− =0
γ 3 3 3 3

En utilisant la formule de Green, on a

Z Z 2Z 2 Z 2 Z 2
(x2 − 2xy)dx + (y 2 − x2 y)dy = (−2xy + 2x)dxdy = 2 xdx (−y + 1)dy
γ 0 0 0 0
" #2 " #2
x2 y2
= 2 − +y = 2 × 2(−2 + 2) = 0.
2 0
2 0

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 25

1.12 Intégration des fonctions analytiques

Définition 1.12.1 Soit D un domaine de C, le bord(la frontière) δD de D se répartira comme


suit:

• Une courbe extérieure.

• k-1 courbes intérieures(k ≥ 1).

Lorsque k=1 on dit que le domaine D est simplement connexe.


Lorsque k > 1 on dit que le domaine D est multiplement connexe.

Figure 1.1: (A gauche)-Simplement connexe, (A droite)-Multiplement connexe

Remarque 1.12.1 Un domaine simplement connexe ne comporte aucun trou.

En 1825, le mathématicien Louis-Augustin Cauchy prouve l’un des théorèmes les plus
importants de l’analyse complexe.

Théorème 1.12.1 (Théorème de Cauchy) Soit f une une fonction holomorphe sur un domaine
simplement connexe D telle que f’ soit continue dans D, alors
Z
f (z)dz = 0
γ

où γ est un chemin fermé (Lacet) quelconque inclus dans D.

La démonstration est une conséquence directe du théorème de Green(théorème 1.11.1) et


des conditions de Cauchy-Riemann.

Preuve. Supposons que f 0 est continue dans le domaine D. Alors si f = u + iv, on sait que
les dérivées partielles sont continues.D’autre part,on a

Z Z
f (z)dz = [u(x, y) + iv(x, y)]d(x + iy)
γ γ
Z Z
= u(x, y)dx − v(x, y)dy + i v(x, y)dx + u(x, y)dy
γ γ
! !
ZZ
∂v ∂u ZZ
∂u ∂v
= − − dxdy + i − dxdy
D ∂x ∂y D ∂x ∂y

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


26 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Puisque la fonction f est analytique dans D, alors les fonctions u et v vérifient les conditions
de Cauchy-Riemann en tout point de D. Ce qui implique que
Z
f (z)dz = 0.
γ

En 1883, le mathématicien Edouard Goursat prouve que la condition que f 0 soit continue n’est
pas nécessaire.

Exemple 1.12.1 Soit γ un chemin fermé dans C alors


Z
ez dz = 0
γ

car la fonction z 7→ ez est holomorphe dans C.

Proposition 1.12.1 Soit f une fonction holomorphe sur un domaine simplement connexe D.
Soient γ1 et γ2 deux chemins dans D ayant les mêmes extrémités, alors
Z Z
f (z)dz = f (z)dz
γ1 γ2

L’intégrale dépend des extrémités.

Proposition 1.12.2 Soit f une fonction holomorphe sur un domaine simplement connexe D,
alors f admet une primitive F dans D, et pour tout chemin γ : [a, b] → D on a
Z
f (z)dz = F (γ(b)) − F (γ(b))
γ

En particulier, si γ est fermé (γ(a) = γ(b)) alors


Z
f (z)dz = 0.
γ

Conséquence 1.12.1 Soit D ⊂ C un domaine connexe borné par un chemin orienté positivement
par rapport à D.
Si f est holomorphe dans D et continue sur D ∪ δD alors
Z
f (z)dz = 0.
δD

Théorème 1.12.2 (Généralisation du théorème de Cauchy). Soit D ⊂ C un domaine borné


par un nombre fini de chemins orientés positivement par rapport à D: δD = γ1 ∪ (∪ni=2 γi ).
Si f est holomorphe dans D et continue sur D ∪ δD alors
Z
f (z)dz = 0,
δD

et on a Z n Z
f (z)dz = f (z)dz
X
γ1 i=2 γi

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 27

1.13 Formule intégrale de Cauchy

Théorème 1.13.1 (Formule intégrale de Cauchy (F.I.C.)) Soient f une fonction holomorphe
sur un domaine simplement connexe D, et z0 ∈ D. Alors on a pour tout chemin simple et fermé
γ orienté positivement par rapport à D et entourant z0

1 Z f (z)
f (z0 ) = dz
2πi γ z − z0

Z
ez
Exemple 1.13.1 1. dz et γ : le cercle de centre 0 et de rayon 2.
γ z−1

f (z) = ez , z0 = 1, f (1) = e,
Z
ez
dz = 2πif (1) = 2πie.
γ z−1
Z
z 2 − 4z + 4
2. dz et γ : le cercle de centre 0 et de rayon 2.
γ z+i

f (z) = z 2 − 4z + 4, z0 = −i, f (−i) = 3 + 4i,


Z
z 2 − 4z + 4
dz = 2πif (−i) = 2πi(3 + 4i).
γ z+i

N
γ
J

• I
0 1
• −i

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


28 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Théorème 1.13.2 (F.I.C. pour les dérivées d’ordre supérieur ).Soient f une fonction
holomorphe sur un domaine simplement connexe D et z0 ∈ D. Alors on a pour tout chemin
simple et fermé γ orienté positivement par rapport à D et entourant z0

n! Z f (z)
f (n)
(z0 ) = dz
2πi γ (z − z0 )n+1
Z
z+1
Exemple 1.13.2 1. et γ: le cercle de centre 0 et de rayon 1.
γ z4+ 2iz 3
z+1
z+1 z+1
= = z+2i
z 4 + 2iz 3 z 3 (z + 2i) z3
-2i est à l’extérieur du cercle γ donc on pose
z+1
f (z) = , z0 = 0,
z + 2i
z+1
Z
2πi 00
z+2i
dz = f (0),
γ z3 2!
2 − 4i 2+i
f 00 (z) = ⇒ f 00
(0) = ,
(z + 2i)3 4
Z
z+1 2πi 2 + i π π
dz = = − + i.
γ z + 2iz
4 3 2! 4 4 2

N
J γ
• I
0 1

• −2i

1.14 Conséquences et applications

Théorème 1.14.1 (Théorème de Moréa). Soit f une fonction Zcontinue sur un domaine
simplement connexe D. Si pour tout chemin fermé γ dans D , f (z)dz = 0 alors f est
γ
holomorphe dans D.

Preuve. La condition ∀ γ Z⊂ D, γ f (z)dz = 0 est équivalente à l’existence d’une primitive


R
z
de f dans D, à savoir F (z) = f (s)ds, z0 est fixé arbitrairement dans D i.e. ∀z ∈ D, F 0 (z) =
z0
f (z) donc F est holomorphe dans D. Ainsi F est C-analytique dans D, ce qui implique que f
est C-analytique dans D.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 29

Théorème 1.14.2 (Théoème de Liouville). Si f est holomorphe sur C et |f | ≤ M alors f est


constante.

Preuve. Soit z ∈ C,

n! Z f (s)
f (n) (z) = dz
2πi γ (s − z)n+1

n! Z f (s) n! M
f (n)
(z) = dz ≤ 2πr
2π γ (s − z) n+1 2π rn+1
γ est un cercle |s − z| = r, alors
n!
f (n) (z) ≤ M,
rn
pour n = 1, on a
M
|f 0 (z)| ≤ ,
r
si r → +∞, alors f 0 = 0. Donc f est constante.

Théorème 1.14.3 (Théorème de d’Alembert). Si P(z) est un polynôme de degré n, alors


,l’équation P (z) = 0 admet n racines dans C

Preuve. Posons P (z) = an z n + ...a1 z + a0 où n > 0 et an 6= 0.


1
Supposons par l’absurde que ∀z ∈ C, P (z) 6= 0 alors la fonction h(z) = est holomorphe
P (z)
dans C, de plus
1
h(z) =
an z n + ...a1 z + a0
1 1
= n → 0, quand z → +∞
z an + an−1 z + ... + a0 z −n
−1

i.e. ∀ε > 0, ∃R > 0 tel que |z| > R ⇒ |h(z)| < ε, cela signifie que h(z) est bornée dans
C \ D̄(0, R), d’autre part h est continue dans D̄(0, R), elle est donc bornée dans D̄(0, R), et
par suite h est bornée sur C. Donc, d’après le théorème de Liouville h(z) est constante donc
P (z) est constante(contradiction). Par conséquent P (z) admet au moins une racine z1 ∈ C,
d’où P (z) peut s’écrire P (z) = (z − z1 )Q(z), avec degQ(z) = n − 1, ainsi on peut montrer sans
peine que P (z) admet n racines dans C.

Théorème 1.14.4 (Principe du maximum). Soit D un domaine de C, toute fonction


holomorphe dans D possédant un maximum local dans D est constante sur D.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


30 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1.15 Exercices
Exercice 15 Calculer les intégrales suivantes
Z
1) z̄dz, où
γi

N N
1 1
γ1 N γ2
N
I I
0 0
−1 −1

Z
2) z̄dz, γ est le segment de droite [0, 2 + i]
γ
Z
1
3) dz, γ est le segment de droite [1, 2 + i]
γ z
Z
z
4) dz, γ est le cercle |z − (1 + i)| = 2.
γ (1 + i − z)2
Z
5) Re(z)dz, γ est le cercle |z| = 1.
γ
Z
6) z z̄dz,
γ

N
γ
J

I I
−R R

Z
7) |z 2 |dz,
γ

1
H N
I I
0 1

Exercice 16 Calculer les intégrales suivantes

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 31

Z
1 Z
ez Z
ez
dz, dz, dz
|z|=4 z2 + 1 |z|=2a z 2 + a2 |z|= 12 z(z − 1)

Z
cos(πz) Z
zez
dz, dz,
|z|=2 (z + 1)(z − 3) |z−1|=2 (z − 1)3

1 4
Z Z  
z
dz e − πz 4 dz,
|z|=1 z (z − 4)
3 |z|= 12 3

Z
eiz
dz
|z+i|=1 (z 2 + 1)2

Exercice 17 Calculer les intégrales

x = 5 cos(t)
Z (
1. (x − y )ds,
2 2
où γ est donné par , 0 ≤ t ≤ 2π
γ y = 5 sin(t)
Z
2. 4xdx + 2ydy, où γ est donné par x = y 3 + 1 de (0, −1) à (9, 2).
γZ
3. a) (x2 + y 2 )dx − 2xydy, où γ1 : y = x2 de (0, 0) à (1, 1). .
Zγ1
b) (x2 + y 2 )dx − 2xydy, où γ2 : x = y 2 de (1, 1) à (0, 0). .
γ2

Exercice 18 En utilisant la formule intégrale de Cauchy, calculer l’intégrale


2
Z
ez
dz
C z 2 − 6z
si:
a)|z − 2| = 1, b)|z − 2| = 3, c)|z − 2| = 5.

Exercice 19 En utilisant les formules intégrales de Cauchy, calculer l’intégrale


Z
cosh z
dz.
|z|=2 (z + 1)3 (z − 1)
I
1
Exercice 20 1. En considérant I = dz sur l’ellipse x = a cos θ, y = b sin θ, a, b > 0,
z
démontrer que Z 2π 1 2π
2 dθ =
0 a2 cos2 θ + b sin θ
2 ab
Z 2π
sin θ cos θ
dθ = 0
0 a2 cos2 θ + b2 sin2 θ
2. Calculer l’intégrale
Z 2π
(2n)!
cos2n θdθ − 2π .
0 22n (n!)2

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


32 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Séries de Laurent
1.16 Série de Laurent

+∞
Définition 1.16.1 La série an (z − z0 )n est appelée série de Laurent de centre z0 et de
X

n=−∞
coefficients {an } ⊂ C.
+∞
a−2 a−1
an (z − z0 )n = · · · + + + a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·
X

n=−∞ (z − z0 ) 2 z − z0
+∞
La série an (z − z0 )n est appelée partie régulière de la série de Laurent. Si elle converge
X

n=0
pour |z − z0 | < R vers une fonction f1 (z) alors f1 est holomorphe pour |z − z0 | < R.
−1 +∞ +∞
a−n
La série an (z − z0 )n = a−n (z − z0 )−n = est appelée partie singulière de
X X X

n=1 (z − z0 )
n
n=−∞ n=1
1 1
la série de Laurent . Si elle converge pour < r0 ou bien |z − z0 | > 0 = r vers une
|z − z0 | r
fonction f2 (z) alors f2 est holomorphe pour |z − z0 | > r.
Ainsi, la série de Laurent converge dans la couronne : r < |z − z0 | < R

Théorème 1.16.1 (Théorème de Laurent ). Si f est holomorphe(analytique) dans la couronne


D = {z ∈ C, r < |z − z0 | < R}, alors ∀ z ∈ D,
+∞
f (z) = an (z − z0 )n
X

n=−∞

Les coefficients {an }n∈Z sont donnés par

1 Z f (s)
an = ds
2πi γ (s − z0 )n+1
où γ est un contour simple et fermé inclus dans D.

Preuve. Fixons z ∈ D = {z ∈ C, r < |z − z0 | < R}, et soit r0 R0 tel que

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 33

r < r0 < |z − z0 | < R0 < R


.
alors d’après la formule intǵrale de Cauchy, on a

1 Z f (s)
f (z) = ds
2πi δD s − z

−1 Z f (s) 1 Z f (s)
= ds + ds
2πi |s−z0 |=r0 s − z 2πi |s−z0 |=R0 s − z

Si s ∈ C(z0 , r0 ) on a |s − z0 | < |z − z0 |.

1 1 −1
= =
s − z0 + z0 − z
 
s−z (z − z0 ) 1 − s−z0
z−z0

(s − z0 )n
=−
X

n≥0 (z − z0 )
n+1

Donc
−1 Z f (s) 1 1 Z
ds = f (s)(s − z0 )n ds
X
2πi |s−z0 |=r0 s − z n≥0 (z − z0 ) n+1 2πi |s−z |=r0
0

1 1 Z
= f (s)(s − z0 )n−1 ds
X

n≥1 (z − z0 ) 2πi |s−z0 |=r


n 0

Si s ∈ C(z0 , R0 ) on a |s − z0 | > |z − z0 |.

1 1 1
= =
s − z0 + z0 − z
 
s−z (s − z0 ) 1 − z−z0
s−z0

(z − z0 )n
=
X

n≥0 (s − z0 )
n+1

Donc
1 Z f (s) n 1
Z
f (s)
ds = (z − z0 )
X
ds
2πi |s−z0 |=R s − z
0
n≥0 2πi |s−z0 |=R (s − z0 )n+1
0

i.e. ∀ z ∈ D, ∃ r0 tels que r < r0 < R0 et r0 < |z − z0 | < R0

1 1 Z f (s)
f (z) =
X
ds
n≥1 (z − z0 ) 2πi |s−z0 |=r (s − z0 )
n 0 −n+1

1 1 Z f (s)
+
X
ds
n≥1 (z − z0 ) 2πi |s−z0 |=R (s − z0 )
n 0 n+1

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


34 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Soit γ un chemin fermé inclus dans D. D’après le théorème de Cauchy généralisé on a pour
tout n ∈ Z,
Z
f (s) Z
f (s) Z
f (s)
ds = ds = ds
γ (s − z0 )n+1 |s−z0 |=r0 (s − z0 ) n+1 |s−z0 |=R0 (s − z0 )n+1

f (s)
puisque la fonction est holomorphe dans la couronne
(s − z0 )n+1
r0 < |z − z0 | < R0 .
+∞
1 Z f (s)
Ainsi f (z) = an (z − z0 ) , avec an =
n
X
ds, ∀ n ∈ Z.
n=−∞ 2πi γ (s − z0 )n+1

Exemple 1.16.1 Donner le développement en série de Laurent de


1
f (z) = valable dans les domaines suivants:
z(z − 1)
1. 0 < |z| < 1.
1 1 1 1 +∞
=− =− zn
X
z(z − 1) z1−z z n=0
.
2. 1 < |z| < +∞
1 1 1 1 +∞
X  1 n
= 2 = 2
z(z − 1) z 1− 1
z
z n=0 z
.
3. 0 < |z − 1| < 1
1 1 1 1 +∞
= = (−1)n (z − 1)n
X
z(z − 1) z −11+z −1 z − 1 n=0
.
4. 1 < |z − 1| < +∞
1 1 1 1 1 1 +∞
1
= = = (−1) n
X
z(z − 1) z −11+z −1 (z − 1)2 1 + z−1
1
(z − 1)2 n=0 (z − 1)n
.

1.17 Classification des singularités


Soit la série
+∞
an (z − z0 )n .
X

n=−∞

La partie singulière de la série de Laurent


−1 +∞ +∞
a−n
an (z − z0 )n = a−n (z − z0 )−n =
X X X
.
n=1 (z − z0 )
n
n=−∞ n=1

Le point z0 est dit point de singularité


Les types de singularité sont:

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 35

z0 Série de Laurent 0 < |z − z0 | < R

Singularité apparente a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·

Pôle simple a−1


z−z0
+ a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·

Pôle d’ordre n a−n


(z−z0 )n
+ a−n+1
(z−z0 )n −1
+ ··· + a−1
z−z0
+ a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·

Singularité essentielle ··· + a−2


(z−z0 )−2
+ a−1
z−z0
+ a0 + a1 (z − z0 ) + a2 (z − z0 )2 + · · ·

sin z
Exemple 1.17.1 1. f (z) =
z
0 est une singularité apparente car
sin z z2 z4
=1− + + ···
z 3! 5!
sin z
2. f (z) = 2
z
0 est un pôle simple car
sin z 1 z z3
= − + + ···
z2 z 3! 5!
sin z
3. f (z) = 4
z
0 est pôle d’ordre 3 car
sin z 1 1 z z3
= − + − + ···
z4 z 3 3!z 5! 7!
1
4. f (z) = e z
0 est une singularité essentielle car
z z2 1 1 1
ez = 1 + + + · · · ⇒ ez = 1 + + + ···
1! 2! 1!z 2!z 2

Propriété 1.17.1 1. Une fonction analytique f dans 0 < |z − z0 | < R possède un pôle d’ordre
n en z0 ssi f peut être écrite sous la forme
φ(z)
f (z) = ,
(z − z0 )n
où φ est analytique et φ(z0 ) 6= 0.
2. z0 est un pôle d’ordre n ⇐⇒ lim f (z) = +∞.
z→z0

3. z0 est une singularité apparente ⇐⇒ lim f (z) est finie.


z→z0

4. z0 est une singularité essentielle ⇐⇒ lim f (z) n’existe pas.


z→z0

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


36 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1.18 Résidus
Le coefficient a−1 dans la série de Laurent est dit résidu de la fonction f au point z0 , noté
a−1 = Res(f, z0 ).
1 i
Exemple 1.18.1 1. f (z) = 2
+ , 0 est un pôle d’ordre 2.
z z
Res(f, 0) = i.
3
2. f (z) = e z
3 3 32
f (z) = e z = 1 + + 2 + ···
z 2z
0 est une singularité essentielle
Res(f, 0) = 3.

1.18.1 Quelques méthodes pour le calcul des résidus


1. Si f possède un pôle simple au point z0 alors
Res(f, z0 ) = lim (z − z0 )f (z)
z→z0

2. Si f possède un pôle n au point z0 alors


1
Res(f, z0 ) = z→z
lim [(z − z0 )n f (z)](n−1)
0 (n − 1)!
3. Si
g(z)
f (x) =
h(z)
et la fonction h possède un zéro d’ordre 1, alors
g g(z0 )
Res(f, z0 ) = Res( , z0 ) = 0 .
h h (z0 )
1
Exemple 1.18.2 f (z) =
(z − 1)2 (z − 3)
f admet 3 comme pôle simple et 1 comme pôle double.
1 1
Res(f, 3) = lim (z − 3)f (z) = lim = .
z→3 z→3 (z − 1)2 8
1 1 1
0
−1

Res(f, 1) = lim [(z − 1)2 f (z)]0 = lim = lim =− .
1! z→1 z→1 z − 3 z→1 (z − 3)2 4
z2
2. f (z) =
z4 + 1
iπ kπi
z + 1 = 0 ⇒ z 4 = −1 ⇒ zk = e 4 + 2 , k ∈ Z
4

g(z) = z 2 , h(z) = z 4 + 1
π
z2 1 1 e− 4 1−i
Res(f, z0 ) = 03 = = iπ = = √ .
4z0 4z0 4e 4 4 4 2

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 37

On sait que

1 Z f (s) 1 Z
an = ds ⇒ a−1 = f (s)ds
2πi γ (s − z0 )n+1 2πi γ
Z
⇒ f (s)ds = 2πia−1
γ
Z
⇒ f (s)ds = 2πiRes(f, z0 )
γ

avec γ une courbe simple et fermée entourant z0 .

1.18.2 Application des résidus

Théorème 1.18.1 (Théorème des résidus). Soit D un domaine simplement connexe et γ la


frontière de D. Si f est analytique dans D sauf en un nombre fini de points z1 , z2 , ..., zn alors
Z n
f (z)dz = 2πi Res(f, zk ).
X
γ k=1

Preuve. D’après la généralisation du théorème de Cauchy on a


Z n Z n
f (z) = f (z)dz = 2πi Res(f, zk ).
X X
γ k=1 γk k=1

Z
1
Exemple 1.18.3 1. dz γ est le rectangle de sommets :
γ (z − 1)2 (z − 3)
(0, -1), (4, -1), (4, 1) et (0, 1).

γ
1 J
H • • N I
0 1 2 3 4
−1 I

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


38 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1 1 1
Z  
dz = 2πi(Res(f, 1) + Res(f, 3)) = 2πi − + =0
γ (z − 1) (z − 3)
2 4 4
Z
2z + 6
2. dz
|z−i|=2 z 2 + 4
z 2 + 4 = (z + 2i)(z − 2i),
Z
2z + 6
dz = 2πiRes(f, 2i)
|z−i|=2 z2 + 4
,
2z + 6 6 + 4i
Res(f, 2i) = lim =
z→2i (z + 2i)(z − 2i) 4i
Ainsi Z
2z + 6 6 + 4i
dz = 2πi = π(3 + 2i).
|z−i|=2 z +4
2 4i

1.19 Singularités à l’infini

Définition 1.19.1 f(z) est holomorphe à l’infini ⇐⇒ f ( z1 ) est holomorphe au voisinage de 0.


1
Exemple 1.19.1 e z est holomorphe à l?infini car ez est holomorphe au voisinage de 0.

Définition 1.19.2 L’∞ est une singularité apparente de f (z) ⇐⇒ 0 est une singularité
apparente de f ( z1 )

1
Exemple 1.19.2 f (z) = z sin( )
z
∞ est une singularité apparente car
3 5
1 sin z z − z3! + z5! + · · ·
f( ) = =
z z z
z2 z4
= 1− + + ···
3! 5!
0 est une singularité apparente

Définition 1.19.3 L’∞ est un pôle d’ordre n de f (z) ⇐⇒ 0 est un pôle d’ordre n de f ( z1 )

Exemple 1.19.3 f (z) = z 2 + 1


L’∞ est un pôle d’ordre 2 car f ( z1 ) = 1
z2
+ 1 possède 0 comme un pôle d’ordre 2.

Définition 1.19.4 L’∞ est une singularité essentielle de f (z) ⇐⇒ 0 est une singularité
essentielle de f ( z1 ).

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 39

1
Exemple 1.19.4 f (z) = ez , f ( z1 ) = e z

Définition 1.19.5 (Résidu à l’infini).


1 1
   
Res(f, ∞) = −Res 2
f ,0
z z
1
Exemple 1.19.5 f (z) = 1 − ⇒ Res(f, 0) = −1
z
1
f ( ) = 1 − z ⇒ ∞ est une singularité apparente.
z
1 1 1 1
2
f ( ) = 2 − ⇒ Res(f, ∞) = 1.
z z z z
Nous remarquons que
Res(f, ∞) + Res(f, 0) = 0.
Ainsi on a le théorème suivant

Théorème 1.19.1 Supposons que f est une fonction analytique dans C∞ = C ∪ {∞} sauf des
singulaités z1 , z2 , z3 , ..., zn , ∞, alors
n
Res(f, ∞) + Res(f, zk ) = 0.
X

k=1

Exemple 1.19.6 Calculer


Z
1 n
= 2π Res(f, zk ),
X
|z|=2 (z − 3)(z n − 1) k=1

avec n≥1
zk : les racines nième de 1.
On a n
Res(f, zk ) + Res(f, 3) + Res(f, ∞) = 0,
X

k=1
n
Res(f, zk ) = −Res(f, 3) − Res(f, ∞)
X

k=1
1 1
Res(f, 3) = lim (z − 3) = n .
z→3 (z − 3)(z − 1)
n 3 −1
1 1
   
Res(f, ∞) = −Res 2
f ,0
z z
1 1
! !
= −Res 2 ,0
z ( z1 − 3)( z1n − 1)
z n−1
!
= Res ,0
(1 − 3z)(1 − z n )
= 0.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


40 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Ainsi Z
1 2πi
dz = − n .
|z|=2 (z − 3)(z − 1)
n 3 −1

Théorème 1.19.2 Soit D un domaine borné par un nombre fini de chemins et f une fonction
analytique dans D, ∀ ∈ δD , f (z) 6= 0, alors

1 Z f 0 (z)
dz = Zf ,
2πi δD f (z)

où Zf : nombre de zéros de f dans D comptés avec leurs multiplicités.


Z
1
Exemple 1.19.7 1. dz = 2πi
|z|=1 z
2.
4π si D contient les deux zéros de z 2 − 3z + 2

2z − 3
Z 

= 2 = 2π si D contient un seul zéro de z 2 − 3z + 2
z − 3z + 2 
δD 
0 si D ne contient aucun zéro de z 2 − 3z + 2

Théorème 1.19.3 (Théorème de Rouché). Soit D un domaine borné et δD sa frontière.


Supposons que f(z) et g(z) sont des fonctions analytiques à l’intérieur de D avec

∀z ∈ δD, |f (z)| < |g(z)|

alors Zf = Zf +g .
Z : nombre de zéros avec leurs multiplicité.

Exemple 1.19.8 Soit P (z) = z 10 − 6z 9 − 3z + 1. Nous voulons déterminer le nombre des zéros
à l’intérieur du cercle |z| = 1.
Posons P(z) = f(z) + g(z) avec f (z) = −6z 9 + 1 et g(z) = z 10 − 3z alors

|f (z)| = | − 6z 9 + 1| > |6z 9 | − 1 = 6 − 1 = 5


et

g(z)| = |z 10 − 3z| < |z|10 + 3|z| = 4 < |f (z)|.


Ainsi par le théorème de Rouché f(z) et P(z) possèdent le même nombre de zéros à l’intérieur
du cercle |z| = 1, et puisque f(z) possède 9 zéros on peut conclure que P(z) possède aussi 9 zéros
à l’intérieur du cercle |z| = 1.

1.20 Exercices
Exercice 21 Donner le développement en série de Laurent des fonctions suivantes en précisant
dans quelles parties de C elles sont valables.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 41

1
Exercice 22 1) autour de 0, de 1, de -2.
(z + 2)(z − 1)
z
2) autour de 0, de 2, de 1.
z2 −1

Exercice 23 Donner le développement en série de Laurent de la fonction


1
f (z) = .
(z − 1)2 (z − 3)
dans les régions
1) 0 < |z − 1| < 2, 2) 0 < |z − 3| < 2.

Exercice 24 Quels sont les points singuliers des fonctions suivantes ; préciser leurs types.
ez ez 1 − cos z
1. 2. , 3. ,
z 2 (z − 1)(z − 2) z z

1 eiz zez
4. , 5. , 6.
z − z5
3 z2 + 1 z2 − 1
Calculer les résidus de ces fonctions.

Exercice 25 Calculer les intégrales suivantes


Z Z
ez
1. tan(z)dz, 2. dz,
|z|=2 |z|=2 z 4 + 5z 3

1 1
Z   Z
3 sin dz, 4. dz
|z|=1 z |z−i|= 21 z4 −1

Exercice 26 1.Calculer les résidus des fonctions suivantes


1 − ez
1. f (z) = z 2n (1 + z)−n , 2. f (z) = , 3. f (z) = e2z+1 .
1 + ez
2. Calculer les résidus à l’infini des fonctions suivantes
2
4
z3 ez

1. f (z) = 4 , 2. f (z) = z + , 3. f (z) =
z −1 z z
3. Calculer l’intégrale suivante
1
Z
z 99 e z
dz
|z|=2 z 100 + 1
Exercice 27 1. Développer en série de Laurent la fonction dans les couronnes indiquées :
1
f (z) = ,
(z − 2)(z − 3)
a) 2 < |z| < 3, b) 3 < |z| < +∞.
z2 − z + 3
2. Examiner les différents développement en série de Laurent de la fonction f (z) = 2
z − 3z + 2
en posant z0 = 0.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


42 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Exercice 28 1. Trouver les résidus de la fonction


1
f (z) =
z4 +1
en ses points singuliers.
2. Trouver le résidu de la fonction f (z) = z 3 sin z1 en son point singulier.

Exercice 29 1. En utilisant la formule des résidus, calculer l’intégrale


 
Z exp 1
z2
dz.
|z−i|= 23 z2 + 1

2. En utilisant la formule des résidus, calculer l’intégrale


 
Z sin 1
z
dz.
|z|=2 z−1

Application du calcul des résidus


Z 2π
1.21 Intégrales de la forme 0
F (cos θ, sin θ)dθ
Z 2π
L’idée principale est de convertir l’intégrale trigonométrique de la forme F (cos θ, sin θ)dθ
0
en une intégrale complexe sur un contour γ qui est le cercle unité |z|= 1

I
0 1

La paramétrisation du cercle unité est :z = eiθ , 0 ≤ θ ≤ 2π, donc


dz
dz = ieiθ dθ ⇒ dθ = ,
iz
eiθ + e−iθ z + z −1
cos θ = = ,
2 2
Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur
CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 43

eiθ − e−iθ z − z −1
sin θ = = .
2i 2i
L’intégrale devient
z + z −1 z − z −1
!
Z
dz
F , .
|z|=1 2 2i iz

Exemple 1.21.1
Z 2π
1 Z
1 dz
dθ =
(2 + cos θ)2
 −1

0 |z|=1 2 + z+z iz
2
4 Z
z
= dz
i |z|=1 (z 2 + 4z + 1)2
4Z z
= √ √ dz
i |z|=1 (z + 2 + 3)2 (z + 2 − 3)2
4 √
= 2πiRes(−2 + 3)
i

−2 + 3 est un pôle double de f.
#0
√ √
"
z
Res(−2 + 3) = lim √ (z + 2 − 3)
2
√ √
z→−2+ 3 (z + 2 + 3)2 (z + 2 − 3)2
" #0
z
= lim √ √
z→−2+ 3 (z + 2 + 3)2

−z + 2 + 3
= lim √ √
z→−2+ 3 (z + 2 + 3)3
1
= √ .
6 3

Ainsi Z 2π
1 4Z z 4π
dθ = dz = √ .
0 (2 + cos θ)2 i |z|=1 (z 2 + 4z + 1)2 3 3

Z +∞
1.22 Intégrales de la forme −∞
f (x)dx
Soit y = f (x) une fonction réelle définie et continue dans ] − ∞, +∞[. Soit l’intégrale impropre
Z +∞
f (x)dx:
−∞

1. Nous remplaçons la variable x par la variable complexe z.

2. On intègre la fonction f (z) sur le contour γ suivant

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


44 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

N
γR
J

• z3
• z2
• zn • z1

I I
−R R

γ est la réunion du segment [-R, R] et du demi-cercle γR .


3.
Z Z Z R
f (z)dz = f (z)dz + f (x)dx
γ γR −R
n
= 2πi Res(f, zk ),
X

k=1

avec zk , k = 1, 2, ...n, les pôles de f inclus dans l’intérieur de γ.


Z
4. Si on montre que f (z)dz → 0 quand R → +∞, alors
γR
Z +∞ Z R n
f (x)dx = lim f (x)dx = 2πi Res(f, zk )
X
−∞ R→+∞ −R
k=1

Théorème 1.22.1 (Lemme 1 de Jordan). Soit f une fonction complexe continue sur un secteur
θ1 ≤ θ ≤ θ2 et γR le chemin tel que γR (θ) = Reiθ , θ1 ≤ θ ≤ θ2 .
Si lim zf (z) = 0(resp. lim zf (z) = 0) alors
Z |z|→+∞ |z|→0 Z
f (z)dz → 0, quand R → +∞. (resp. f (z)dz → 0, quand R → 0. )
γR γR

Z Preuve. On a:
f (z)dz ≤ supz∈γR |f (z)|R|θ2 − θ1 | = supz∈γR |zf (z)||θ2 − θ1 |
γR
Donc Z
Si lim zf (z) = 0 alors lim f (z)dz = 0
|z|→+∞ R→+∞ γR
Z
Si lim zf (z) = 0 alors lim f (z)dz = 0
|z|→0 R→0 γR

P (z)
Remarque 1.22.1 Soit f (z) = où P et Q sont des polynômes de degrés n et m respectivement
Q(z)
avec m ≥ n + 2. Si γR est un demi-cercle de rayon R, alors
Z
f (z)dz → 0, quand R → +∞
γR

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 45

Exemple 1.22.1 Soit Z +∞


1
dx
−∞ x2 +1
1
1. Posons f (z) = , elle possède i et -i comme pôles simples.
z2 + 1

N
γR
J

•i

I I
−R R
•−i

1 1
2. Res(f, i) = lim(z − i) =
z→i z2 +1 2i
Z
1
dz = 2πiRes(f, i) = π
γ z2 +1
d’autre part
1
Z Z
1 Z R
1
dz = dz + dx = π
γ z2 + 1 γR z 2 + 1 −R x2 + 1

Par le théorème précédent z 2 + 1 est degré 2 ≥ 2 + 0 alors


Z
lim f (z)dz = 0
R→∞ γR

d’où Z +∞
1
dx = π.
−∞ x2 + 1
Z +∞
1.23 Intégrales de la forme −∞
{cos(αx), sin(αx)dx}
On sait que eiαx = cos(αx) + i sin(αx), α > 0, alors
Z +∞ Z +∞ Z +∞
f (x)eiαx
dx = f (x) cos(αx)dx + i f (x) sin(αx)dx.
−∞ −∞ −∞

P (x)
Supposons que la fonction f (x) = est continue sur ] − ∞, +∞[. Nous utilisons la
Z Q(x)
méthode précédente. Il reste le terme f (x)eiαz dz , on a le théorème suivant:
γR

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


46 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Théorème 1.23.1 (Lemme 2 de Jordan). Soit f :{Im(z) > 0} → C continue telle que
lim f (z) = 0 et soit α > 0 , alors
|z|→+∞
Z
lim f (z)eiαz dz = 0
R→+∞ γR

où γR est le demi-cercle : γR (θ) = Reiθ , 0 ≤ θ ≤ π.

Preuve.

Z Z π
f (z)eiαz dz = f (Reiθ )eiαR(cos θ+i sin θ) iReiθ dθ
γR 0
Z π
≤ R sup |f (z)| eiαR(cos θ+i sin θ) dθ
z∈γR 0
Z π
≤ R sup |f (z)| e−αR sin θ dθ
z∈γR 0


Z π π
Z
2 π
Or −αR sin θ
e dθ = 2e−αR sin θ dθ et sur le segment [0, ], on a sin θ ≥ d’où la
0 Z π 0 2 2
π
majoration e−αR sin θ dθ ≤ , ainsi
0 R
Z Z π
f (z)eiαz dz ≤ R sup |f (z)| e−αR sin θ dθ ≤ π sup |f (z)|
γR z∈γR 0 z∈γR

Z
comme lim f (z) = 0 on obtient lim f (z)eiαz dz = 0.
R→0 R→+∞ γR

P (z)
Remarque 1.23.1 Supposons que f (z) = avec P de degré n et Q de degré m ≥ n + 1.
Q(z)
Si γR est un demi-cercle de rayon R, alors
Z
lim f (z)eiαz dz = 0
R→+∞ γR

Exemple 1.23.1
Z +∞
x sin x 1 Z +∞ x sin x
dx = dx
0 x2 + 9 2 −∞ x2 + 9

Z
zeiz
dz = 2πRes(f, 3i)
γ z2 + 9
.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 47

N
γR
J

• 3i

I I
−R R

zeiz e−3
Res(f, 3i) = lim = .
z→3i z + 3i 2
D’autre part
Z
zeiz Z
zeiz Z R
xeix πi
dz = dz + dx = 3 .
γ z +9
2 γR z + 9
2 −R x + 9
2 e

Z
zeiz
lim dz = 0, car 2 ≥ 1 + 1.
R→+∞ γR z2 + 9
donc
Z +∞
xeix πi
dx = 3
−∞ x +9
2 e
Z +∞
x cos x Z +∞
x sin x πi
⇒ dx + i dx = 3 ,
−∞ x +9
2 −∞ x + 9
2 e
et par suite
Z +∞
x cos x
dx = 0
−∞ x2 + 9
et Z +∞
x sin x π
dx = 3 .
−∞ x +9
2 e
Finalement Z +∞
x sin x 1 Z +∞ x sin x π
dx = dx = 3
0 x +9
2 2 −∞ x + 9
2 2e

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


48 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1.24 Intégrales définies possédant un point singulier sur


le contour d’intégration
Z +∞
P (x)
Les intégrales impropres de la forme f (x)dx avec f (x) =
.
−∞ Q(x)
Supposons que f (z) admet des pôles sur l’axe des réels. Supposons que z = c est un pôle de la
fonction f(z) sur l’axe des réels

N

− γR
J

− γr
I
I p I I
−R 0 c R

Théorème 1.24.1 Supposons que f possède un pôle simple z = c sur l’axe des réels. Si γr est
le contour défini par z = c + reiθ , 0 ≤ θ ≤ π, alors
Z
lim f (z)dz = πiRes(f, c).
r→0 γr

a−1
Preuve. f peut s’écrire f (z) = + g(z) où g est holomorphe au voisinage de l’origine
z−c
et a−1 = Res(f, c). Donc

Z
a−1 Z Z
f (z)dz = dz + g(z)dz
γr γ z −c γr
Z rπ
a−1 iθ Z
= ire dθ + g(z)dz
0 reiθ γr
Z
= iπa−1 + g(z)dz
γr

on a Z
g(z)dz ≤ πr sup |g(z)|
γr z∈γr

comme g est holomorphe, elle est bornée au voisinage de c, donc


Z
lim g(z)dz = 0
r→0 γr

ainsi
Z
lim f (z)dz = πiRes(f, c).
r→0 γr

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 49

Exemple 1.24.1 Calculer Z +∞


sin x
dx.
−∞ x(x2 − 2x + 2)
Posons
1 1
f (z) = = ,
z(z 2 − 2z + 2) z(z − 1 − i)(z − 1 + i)

γR
J


I γr 1 + i
I I I
−R −r 0 r R

Z
eiz Z
eiz Z −r
eix
dz = dz + dx
γ z(z 2 − 2z + 2) γR z(z 2 − 2z + 2) −R x(x2 − 2x + 2)
Z
eiz Z R
eix
+ dz + dx
γr− z(z 2 − 2z + 2) r x(x2 − 2x + 2)

= 2πiRes(eiz f (z), 1 + i).

1 + i i−1
• Res(eiz f (z), 1 + i) = lim (z − 1 − i)eiz f (z) = − e .
z→1+i 4
e−1 e−1
=− (cos 1 + sin 1) − i (sin 1 − cos 1).
4 4
Z
eiz Z
eiz
• dz = − dz
γr− z(z 2 − 2z + 2) γr z(z 2 − 2z + 2)
eiz
!
πi
−→ −πiRes , 0 = − , quand r −→ 0.
z(z 2 − 2z + 2) 2
Z
eiz
• dz −→ 0 quand R → +∞, car lim f (z) = 0.
γR z(z 2 − 2z + 2) |z|→+∞

Si r → 0 et R → +∞ on obtient
Z +∞
eix πi 1 + i i−1
 
dx − = 2πi − e
−∞ x(x − 2x + 2)
2 2 4

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


50 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Z +∞
eix πi
⇒ dx = (−(1 + i)ei−1 + 1).
−∞ x(x − 2x + 2)
2 2
Ce qui implique que
Z +∞
sin x π
dx = (1 − e−1 (cos 1 + sin 1)).
−∞ x(x2 − 2x + 2) 2

Z +∞
1.25 Intégrale de la forme 0
xα−1Q(x)dx
Si la fonction est de la forme f (z) = z α−1 Q(z) avec f ayant un point critique en z = 0, alors
il faut faire une coupure depuis z = 0. Si la fonction Q n’a pas de pôles en z = 0 et si les
conditions du théorème 1.22.1 sont vérifiées, alors
n
Z +∞
πe−παi X
xα−1 Q(x)dx = − Res(z α−1 Q(z), zj ).
0 sin(πα) j=1

1.26 Somme de quelques séries numériques


Nous mentionnons ici quelques formules pour déterminer la somme de quelques séries particulières.

Théorème 1.26.1 Soit f : D → C, une fonction analytique dans le domaine D = C\


{z1 , · · · , zn } où zj n’appartient pas à Z.
S’il existe des constantes R, c >0 et a >1 telles que
c
|f (z)| ≤ , pour |z| ≥ R.
|z|α
+∞
Alors la série f (n) est convergente avec
X

n=−∞
+∞ n
f (n) = −π Res(cot(πz), zj )
X X

n=−∞ j=1

1.27 Exercices
Exercice 1.30
Calculer les intégrales suivantes
Z 2π
1 Z 2π
cos(θ)
1. √ dθ, 2. dθ
0 2 + cos(θ) 0 5 + cos(θ)

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 51

Exercice 1.31
Calculer les intégrales suivantes
Z +∞
1 Z +∞
1 Z +∞
1
1. dx, 2. dx 3. dx
−∞ (x + 1)(x2 + 9)
2 −∞ (x + 1)3
2 −∞ x4 +1

Exercice 1.32
Calculer les intégrales suivantes
Z +∞
sin x Z +∞
sin x
1. dx, 2. dx
−∞ x+i 0 x

Exercice 1.33
1. Calculer l’intégrale suivante
Z +∞
e3ix
dx.
−∞ x−i
2. En déduire la valeur de l’intégrale
Z +∞
cos(3x) + x sin(3x)
dx
0 x2 + 1

Exercice 1.34
Calculer les intégrales suivantes
Z +∞
sin x Z +∞
1 Z +∞
ln(x)
1. dx, 2. √ dx, 3. dx
−∞ (x + 1)(x − π)
2 0 x(x + 1) 0 x2 + 1

Exercice 1.35
Calculer les intégrales suivantes
Z +∞
cos x Z +∞
cos x
1. dx, 2. dx.
−∞ x2 + 1 0 x2 + 1

Exercice 1.36
Calculer
+∞
X 1
.
n=−∞ n + a
2 2

Exercice 1.37

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


52 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

1. Calculer, en coordonnées polaires, l’intégrale


Z ∞ Z ∞
2 +y 2 )
dx e−(x dy.
0 0

En déduire l’intégrale de Gauss Z ∞


2
I= e−x dx
0

2. En utilisant la question 1, calculer les intégrales de Fresnel


Z ∞
I= sin(x2 )dx
0

et Z ∞
J= cos(x2 )dx
0

(On applique la formule des résidus à la fonction f (z) = eiz ). Justifier le choix du
2

contour.

Exercice 1.38

1. Calculer les intégrales suivantes


Z ∞
1 Z +∞
1
a) dx, a, b > 0, b) dx,
0 (x2 + a2 )(x2 + b2 ) −∞ (1 + x2 )n+1
Z ∞
cos(mx)
c) dx.
0 x 2 + a2
2. Calculer l’intégrale Z +∞
2
F (α) = eiαx e−ax dx
−∞
En intégrant, pour α> 0,
2
f (z) = eiαz e−az
sur le rectangle de la figure, puis en faisant tendre R vers l’infini

− J

H − N

I I

Exercice 1.39
Soit f (z) une fonction analytique à l’intérieur d’un cercle C et sur C, ayant pour équation
|z| = R

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE 53

1. Ecrire la première formule intégrale de Cauchy pour la fonction f (z) au point z = reiθ
intérieur à C.
R2 iθ
2. Montrer que le point z 0 = e est l’extérieur du cercle C. En déduire la valeur de l’intégrale
r
1 I f (w)
J= dw.
2πi C w − Rr2 eiθ

3. Montrer que
1 Z 2π R2 − r 2
f (reiθ ) = f (Reiφ )dφ.
2π 0 R2 − 2Rr cos(θ − φ) + r2

Si u(r, θ) désigne la partie réelle de f (z), en déduire que

1 Z 2π R2 − r 2
u(r, θ) = u(R, φ)dφ.
2π 0 R2 − 2Rr cos(θ − φ) + r2

Que pensez-vous ? Vérifiez que la fonction u(r, θ) est harmonique, c’est-à-dire

∂ 2 u 1 ∂u 1 ∂ 2u
+ +
∂r2 r ∂r r2 ∂θ2

On considère un disque de rayon R = 1 plongé dans un potentiel électrique V sans source.


(On rappelle que dans ce cas que la fonction V est harmonique). Supposons qu’on puisse
mesurer le potentiel électrique V sur le bord du disque. Peut-on déduire le potentiel électrique
à l’intérieur du disque ?

Application: Si V (1, θ) = 1, 0 < θ < π et V (1, θ) = −1, π < θ < 2π. En déduire le
potentiel à l’intérieur du disque.

4. . En utilisant les formules intégrales démontrées dans la question 3, vérifier que


Z 2π
ecos φ cos(sin φ) 2π cos θ
dφ = e cos(sin θ).
0 5 − 4 cos(θ − φ) 3

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


54 CHAPTER 1. FONCTION DE LA VARIABLE COMPLEXE

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


Chapter 2

Transformée de Laplace et ses


applications

2.1 Introduction
Soit f une fonction de R à valeurs C. La transformée de Laplace de f notée L(f ) est un
opérateur intégral conduisant à une nouvelle fonction de variable p (p indépendante de x).
Notée F (p), elle est donnée par:
Z +∞
F (p) = f (t)e−pt dt
0

Si l’on veut insister sur la dépendance vis-à-vis de la fonction f , alors on note


Z +∞
L(f ) = f (t)e−pt dt
0

La transformée de Laplace a la particularité de transformer très simplement la dérivée de la


fonction originale f . Cette propriété permet un traitement simple des Equations Différentielles
Ordinaires linéaires d’ordre n.

2.2 Définitions et fondamentaux


2.2.1 Définition de la transformée de Laplace L(.)
Soit f une fonction de R à valeurs C ou R.

On appelle fonction causale une fonction définie sur R dont le support est borné à gauche
en 0 i.e. f est nulle pour tout x < 0.
Etant donnée une fonction g non causale , il suffit de considérer f (x) = H(x)g(x), H la fonction
de Heaviside , pour obtenir la fonction correspondante en version causale.
Dans tout ce cours nous supposerons que toutes les fonctions originales f sont de partie réelle
causale (Re(f (x)) = 0) pour x < 0.

55
56 CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS

Définition 2.2.1 Soit f une fonction causale (ou de partie causale).


On appelle transformée de Laplace la fonction F qui vérifie:
Z +∞
F (p) = f (t)e−pt dt
0

2.2.2 Conditions d’existence de la transformée de Laplace


f (t)
On suppose qu’il existe n ≥ 0 tel que lim =0
t→+∞ tn

• ∀ p ≥ 0 , l’intégrale F (p) existe

• La fonction F : p 7−→ F (p) est continue sur ]0, +∞[

• lim F (p) = 0
p→+∞

Z +∞
• La fonction F : p 7−→ F (p) est dérivable en ]0, +∞[ et F 0 (p) = − tf (t)e−pt dt
0

Exemple 2.2.1 (Exemples d’existence ou non)


La transformée de Laplace de cos(t) existe pour p > 0. En effet on a:
Z +∞ Z +∞
|F (p)| ≤ | cos(t)|e−pt dt ≤ e−pt dt.
0 0
Cette intégrale est convergente pour p > 0.
Z+∞
Par contre pour p = 0, F (p) = cos(t)dt n’admet pas de limite.
0
Enfin pour p < 0, lim (cos(t)e −pt
) = +∞ ; l’intégrale correspondante est donc divergente.
p→+∞

On peut facilement montrer que la transformée de Laplace de ex n’existe pour aucune valeur
2

de p.

2.2.3 Propriétés fondamentales de L(.)


Linéarité
L’opérateur de Laplace est par construction un opérateur linéaire.
En effet, pour toute fonctions (f, g) qui admettent une transformée de Laplace, on a:

∀ λ, µ ∈ R L(λf + µg) = λL(f ) + µL(g).

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS 57

Opérateur inverse L−1 (.)


La transformée de Laplace inverse L−1 (.) peut s’exprimer sous la forme d’une intégrale dans
le plan complexe. Mais, en pratique son expression n’est pas utilisée. On se servira plutôt des
tables des transformées de Laplace.
f(t) F(p) Validité
c
c p>0
p
n!
tn p>0
pn−1
1
eat p>a
p−a
n!
tn eat p>a
(p − a)n+1
w
sin(wt) p>0
p + w2
2

p
cos(wt) p>0
p + w2
2

√ 1
s
π
t p>0
2 p3
δ(t) 1 p∈R

Dérivation
La propriété qui suit est celle qui fait de la transformée de Laplace un outil de calcul essentiel
dans la résolution des équations linéaires.

Proposition 2.2.1 Soit f une fonction causale telle que sa transformée soit définie sur un
certain intervalle. Si f est de classe C 1 (R+ ) et si f’ est telle que sa transformée de Laplace est
bien définie alors:
L(f 0 ) = pL(f ) − f (0)
Par récurrence et sous les conditions d’existence, on obtient:
k
L(f (k+1) ) = pk+1 L(f )) − pi f (k−i) (0)
X

i=0

Intégration
Il n’est pas difficile, en utilisant la règle de dérivation ci-dessus de démontrer que:
1
Z 
L f = L(f )
p
Z
f étant la primitive de f s’annulant en p=0.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


58 CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS

Transformée d’un produit de convolution

Proposition 2.2.2 Soient f et g deux fonctions causales telles que leurs transformées de
Laplace F (p) = L(f ) et G(p) = L(g) soient bien définies.
On a:
L(f ∗ g) = F (p).G(p)

Quelques théorèmes

Théorème 2.2.1 (Théorème du retard)

L(f (t − τ )) = e−pτ L(f (t))

Démonstration:
Z +∞
L(f (t − τ )) = e−pt f (t − τ )dτ , (changement de variable y = t − τ )
Z0+∞
L(f (t − τ )) = e−p(y+τ ) f (y)dy
0 Z +∞
L(f (t − τ )) = e −pτ
. e−py f (y)dy
0

Théorème 2.2.2 (Théorème de la valeur initiale)

lim pF (p) = 0
p→+∞

Démonstration:
On sait que:
df (t) df (t)
! Z +∞
L pF (p) − f (0) = e−pt dt
dt 0 dt
Z +∞
df (t)
si p → +∞ alors e−pt dt → 0, on peut donc écrire :
0 dt
lim (pF (p) − f (0)) = 0
p→+∞

lim pF (p) = f (0) = lim f (t)


p→+∞ t→0

Théorème 2.2.3 (Théorème de la valeur finale)


Si la limite de f(t) existe et est finie lorsque t tend vers +∞ alors

lim pF (p) = lim f (t)


p→0 t→+∞

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS 59

2.3 Résolution d’EDO linéaires par la transformée de


Laplace
Les EDO linéaires du 1er ordre et 2ième ordre à coefficients constants se résolvent facilement à
l’aide d’une méthodologie claire et systématique. Par contre ces techniques ne s’appliquent pas
aux EDO d’ordre plus élevée (même lorsque celles-ci sont linéaires). Nous présentons dans ce
paragraphe tout l’intérêt de la transformée de Laplace : résoudre une EDO linéaire d’ordre n.

2.3.1 Exemple : une EDO linéaire d’ordre 1 très simple


Considérons l’EDO linéaire d’ordre 1 non homogène i.e. le cas (quasiment) le plus simple qui
soit. On cherche à résoudre le problème aux valeurs initiales suivant:

y 0 (t) + a0 y(t) = 1
(

Avec la C.I. y(0) = y0


Nous savons intégrer directement cette équation différentielle « à la main ». On obtient
alors l’expression de son unique solution:

y(t) = 1 + (y0 − 1) exp(−a0 t), ∀t ≥ 0


Résolvons à présent cette même équation différentielle mais par la transformée de Laplace.
On note :Y (p) = L(y(t))
Pour cela, on considère l’image par L de l’équation différentielle. On obtient :
L (y 0 (t) + a0 y(t) − 1) = 0 pour tout p tel que les transformées soient bien définies.
on obtient par la suite:
(p + a0 )Y (p) − y0 = L(1)
1 + y0 p
Y (p) =
p(p + a0 )
Y(p) est égal à une fraction rationnelle que l’on décompose en éléments simples:

1 1 1 1 1
Y (p) = − + y0 = + (y0 − 1)
p (p + a0 ) (p + a0 ) p (p + a0 )

Après exploitation de la table des transformées de Laplace, on obtient

Y (p) = L(H(t)) + (y0 − 1)L(exp(−a0 t))

Soit
L(y(t) − H(t) − (y0 − 1) exp(−a0 t)) = 0
On repasse à l’espace original en appliquant l’opérateur L−1 . On obtient pour t ≥ 0,

y(t) − 1 − (y0 − 1) exp(−a0 t) = 0

Soit (bien sûr) la solution obtenue précédemment.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


60 CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS

2.3.2 Cas général : EDO linéaire d’ordre n


La démarche illustrée dans le cas très simple précédent se généralise directement aux EDO
linéaires d’ordre n quelconque. En pratique les EDO rencontrées sont souvent d’ordre 2, 3 ou
4 maximum. Considérons l’EDO linéaire d’ordre n non homogène suivante :

y (n) (t) + an−1 y (n−1) (t) + · · · + a0 y(t) = f (t)


(

Avec les C.I. {y (n−1)


(0), ..., y(0)} donnés

Rappelons que l’on a :


k−1
L(y (k) )(t) = pL(y (k−1) )(t) − y (k−1) (0) = · · · = pk L(y(t)) − pi f (k−i−1) (0)
X

i=0

On note:Y (p) = L(y(t)) et F (p) = L(f (t))


On suppose pour des raisons de simplicité et clarté de calculs que :

y (n−1) (0) = ... = y(0) = 0

Etape 1: On considère la transformée de l’équation différentielle ; soit :

L(y (n) (t) + an−1 y (n−1) (t) + · · · + a0 y(t) − f (t)) = 0, ∀p

Par linéarité de l’opérateur L(.), on obtient :

(pn + an−1 pn−1 + · · · + a0 )Y (p) = F (p)

Soit:
F (p)
Y (p) =
(pn + an−1 pn−1 + · · · + a0 )
La transformée Y (p) de la solution recherchée y(t) est donc obtenue sous la forme d?une
fraction rationnelle.

Etape 2: On décompose cette fraction rationnelle en éléments simples de la forme :

1 (ap + b)
, m ≥ 1 et .
(p − z)m (p2 + c1 p + c0 )
Etape 3:On identifie chaque élément simple comme étant l’image d’une fonction connue.
Pour cela on utilise une table d’images usuelles par transformée de Laplace. On obtient
finalement la solution de l’EDO par inversion de chacun des éléments simples:

1 (ap + b)
! !
y(t) = −1
+ −1
X X
L L
(p − z)m (p + c1 p + c0 )
2

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS 61

2.4 Exercices
Exercice 30 Trouver la TL des fonctions suivantes :
sin(at); cos(at); sinh(at); cosh(at);

a2
Exercice 31 Trouver, par la méthode de votre choix, l’original de
(p2 + a2 )2
(p + a2 )
2
p2
Aide : Remarquez que vous pouvez écrire cette fonction comme 2 − , et que le
(p + a2 )2 (p2 + a2 )2
1 1
! !
d
dernier terme vaut p − . Il suffit ensuite d’utiliser les règles de manipulation
2 dp (p + a2 )
2

des TL pour remonter à l’originale.

Exercice 32 Calculer la transformée de Laplace de f1 (t) = eαt puis f2 (t) = t2 , f3 (t) =


sinh(t),
f4 (et ) = cosh(3t)

Exercice 33 Utiliser la table des transformées de Laplace pour déterminer la transformée


inverse des expressions suivantes:
e−2p 1 e−5p 5p − 1 −4p 3p2 − 12
!
s − π2 p p
a) + , b) + e , c) e + , d) e−3p
(p + 4)2 p + 4 s3 p2 + 4 p2 + 1 p2 + 2 (p2 − 16)(s + 5)

Exercice 34 Résoudre en utilisant transformée de Laplace

y 00 (t) − 4y(t) = 3e−t avec y 0 (0) = y(0) = 0

Exercice 35 Résoudre en utilisant transformée de Laplace

y 00 (t) = 3y 0 (t) − 2y(t) + et avec y 0 (0) = 0, y(0) = 1

Exercice 36 Résoudre

y 0 (t) − y(t) = et − t + 1 avec y(0) = 0

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


62 CHAPTER 2. TRANSFORMÉE DE LAPLACE ET SES APPLICATIONS

Exercice 37 Résoudre le système suivant:


3

y 00 + (z 0 − y 0 ) = − y


4

3
 z − (z − y ) =
00 0 0
z


4
avec les conditions initiales y(0) = z(0) = 0, y’(0)=1 et z’(0)= -1.

Exercice 38 Résoudre le système :

y10 (x) + 2y20 (x) + 3y30 (x) = 0





y 0 (x) − y20 (x) = 3x − 3
 1

y2 (x) + 2y3 (x) = 1 − x2
0

k!
Exercice 39 - Démontrez que L(tk ) =
pk+1
- Trouver la TL du delta de Dirac.
1
- Démontrez que la TL de la fonction escalier n=0 H(t − n) est
P
p(1 − e−p )

Exercice 40 Le mouvement d’une particule dans un champ magnétique peut être ramené à la
résolution du système suivant :
x0 = αy ; y 0 = −αx
où x, y sont les composantes du vecteur vitesse et α une constante proportionnelle aux
champs magnétique et à la charge de la particule. Les conditions initiales sont à t = 0 ,x = x0 ;
y = y0 . Résoudre ce système à l’aide des transformées de Laplace.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


Chapter 3

Distributions

La notion de distributions est une généralisation de celle des fonctions localement intégrables,
largement utilisées dans la théorie des équations différentielles, des équations aux dérivées
partielles et l’analyse de Fourier.

3.1 Rappel sur les fonctions mesurables.


La notion de fonction mesurable n’est pas définie dans ce cours. Il suffit de savoir que toute
fonction continue par morceaux est mesurable et que toute fonction qui peut s’écrire sous comme
une limite d’une suite de fonction continues est encore mesurable.

3.1.1 Fonction localement intégrable

Définition 3.1.1 Soit f une fonction f : R → R


On dit que f est localement intégrable si f est mesurable et pour tout a, b ∈ R,
Z b
|f (x)|dx < ∞, avec a < b
a

L’ensemble des fonctions intégrables sur R est noté L1loc (R)

3.1.2 Fonctions intégrables

Définition 3.1.2 Soit f une fonction f : R → R


On dit que f est localement intégrable lorsque
Z +∞
|f (x)|dx < ∞
−∞

L’ensemble de tous les fonctions intégrables est noté L1 (R)

63
64 CHAPTER 3. DISTRIBUTIONS

3.1.3 Fonctions p-intégrables

Définition 3.1.3 Soit p ∈]1, +∞[. Une fonction f : R → R est dite p-intégrable sur R lorsque
Z +∞
|f (x)|p dx < ∞
−∞

et f est mesurable.

L’ensemble de toutes les fonctions p-intégrables sur R est noté Lp (R).


Lp (R) est une norme définie par:
Z +∞ 1
p
kf kLp (R) = |f (x)| dx
p
−∞

3.1.4 Fonction essentiellement bornée

Définition 3.1.4 Une fonction f : R → R est dite essentiellement bornée lorsqu’elle est
mesurable et qu’il existe c > 0 telle que |f (x)| ≤ c presque partout, x ∈ R
La plus petite constante c vérifiant cette propriété est notée kf k∞ et l’ensemble des fonctions
essentiellement bornées est L∞ (R)

3.1.5 Inégalité de Hölder


1 1
Soit p ∈ [1, +∞[ et q tel que: + = 1. Alors pour f, g telle f ∈ Lp (R) et g ∈ Lq (R), on a:
p q
Z +∞
f g ∈ L (R) et
1
|f (x)g(x)|dx ≤ kf kLp kgkLq
−∞

3.1.6 Produit de convolution de deux fonctions


Le produit de convolution de deux fonctions f ∈ Lp (R) et g ∈ Lq (R) est défini lorsque p, q ∈
1 1
[1, +∞[ vérifiant 1 ≤ + ≤ 2 par :
p q
Z +∞
(f ∗ g)(x) = f (y)g(x − y)dy ∀x ∈ R
−∞

Il satisfait aux propriétés suivantes:


1 1 1
f ∗ g ∈ Lγ (R) où γ ∈ [1, +∞[ et pour = + − 1, kf ∗ gk ≤ kf kp kgkq
γ p q

3.1.7 Dérivabilité
dn
Une fonction ϕ : R → R est indéfiniment dérivable sur R si f ( n) = n
f existe ∀ n ∈ N.
dt
L’ensemble des fonctions indéfiniment dérivables sur R est noté C ∞ (R)

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 3. DISTRIBUTIONS 65

3.1.8 Le support d’une fonction continue


Le support d’une fonction continue ϕ : R → R est le plus petit ensemble fermé contenant tous
les points x ∈ R où ϕ(x) 6= 0. En d’autres termes:

supp(ϕ) = {x ∈ R / ϕ(x) 6= 0}

3.1.9 Notion de compact


On dit qu’un ensemble A est un compact contenu dans R lorsque A est fermé et borné dans
Rn (n ∈ N∗ )

Remarque 3.1.1 1) L1loc et Lp sont des espaces vectoriels.


2) f, g ∈ L1loc sont des espaces si et seulement si f (x) = g(x) presque partout(c’est-à-dire
l’ensemble des x ∈ Ω /f (x) 6= g(x) est de mesure nulle).

3.2 Fonctions test


Dans tout ce qui suit, Ω désigne un ouvert de Rd , k un entier naturels ou le symbole ∞ (sauf
précision). On note C 0 (Ω) l’espace des fonctions continues sur Ω et par C k (Ω) l’espace des
fonctions k-fois dérivables et dont les dérivées k-ièmes sont continues sur Ω

3.2.1 Notation multi indicielles

Définition 3.2.1 Un multi-index α est un d-uplet d’entier α = (α1 , α2 , · · · , αd ) ∈ Nd .


On appelle longueur de α l’entier | α |= di=1 αi .
P

On définit la factorielle de α par α! = α1 !α2 !α3 ! · · · αd !


Si x ∈ Rd on pose xα = xα1 1 xα2 2 xα3 3 · · · xαd d
Si α et β deux
 multi-indices,α on dit  queαα1 ≤ β lorsque
αd αi ≤ βi ; ∀i = 1, · · · , d
On pose β = β!(α−β)! et ∂xα = ∂x1
α α! ∂ U ∂U
· · · ∂xd . Ainsi une fonction ϕ ∈ C k (Ω) si pour
∂U

tout α ∈ Nd tel que | α |≤ k, la fonction ϕ dans C 0 (Ω)


!
α β α−β
∂ (ϕψ) =
α
X
∂ ϕ∂ ψ
β≤α β

Exemple 3.2.1 α = (1; 2); α = (1; 1); α = (1; 2; 1);


∂αU 3U ∂αU ∂2U ∂αU ∂4U
∂xα
= ∂x∂1 ∂x 2 ; ∂xα = ∂x ∂x ; ∂xα = ∂x ∂x2 ∂x ;
1 2 1 3
2 2

Formule de Taylor avec reste intégral


Soit Ω un ouvert de Rd , n ≥ 1 un entier et ϕ une fonction de classe C n sur Ω.
Soit x, y deux éléments de Ω tel que [x; y] ⊂ Ω

1 α Z 1
Alors ϕ(x) = ∂ ϕ(y)(x − y)α + (x − y)α (1 − t)n−1 ∂ α ϕ(tx + (1 − t)y)dt
X X

|α|≤n−1
α! |α|=0
0

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


66 CHAPTER 3. DISTRIBUTIONS

n−1
(x − y)k (k) (x − y)n Z 1
ϕ(x) = ϕ (y) + (1 − t)n−1 ϕ(n) (tx + (1 − t)y)dt
X

k=0 k! (n − 1)! 0

d ≥ 1 et n = 1
d Z 1
∂ϕ
ϕ(X) = ϕ(Y ) + (xi + yi ) (1 − t) (tx + (1 − t)y)dt
X

i=1 0 ∂xi
Posons h = x − y alors x = y + h
n−1
hk (k) hn Z 1
ϕ(y + h) = ϕ (y) + (1 − t)n−1 ϕ(n) (th + y)dt
X

k=0 k! (n − 1)! 0

Pour y = 0 on a :
n−1
hk (k) hn Z 1
ϕ(h) = ϕ (0) + (1 − t)n−1 ϕ(n) (th)dt
X

k=0 k! (n − 1)! 0

A l’ordre 1 on a: Z 1
0
ϕ(h) = ϕ(0) + hϕ (0) + h 2
(1 − t)ϕ(2) (th)dt
0

3.3 Fonctions de classe C ∞ à support compact


3.3.1 Support d’une fonction continue
Le support d’une fonction ϕ est le sous-ensemble fermé de Rd noté Supp(ϕ) et définie par l’une
des assertions équivalentes suivantes :

¯
1. Supp(ϕ) = {xi n Ω, ϕ(x) 6= 0}

2. (Supp(ϕ))C est le plus grand ouvert où la fonction ϕ est nulle.

3. x0 ∈
/ Supp(ϕ) ⇔ ∃ un voisinage Vx0 de x0 tel que ∀ n ∈ Vx0 , ϕ(x) = 0

Remarque 3.3.1 .

1. Supp(ϕ) = φ ⇔ ϕ = 0 dans Ω

2. Supp(ϕψ) ≤ Supp(ϕ) ∩ Supp(ψ)

3. Si ϕ ∈ C k (Ω) alors pour tout α ∈ Nd tel que | α |≤ k, Supp(Dα (ϕ)) ≤ Supp(ϕ)

3.3.2 Espace des fonctions test


L’espace des fonctions test noté D(Ω) est l’ensemble des fonctions ϕ de classe C ∞ à rapport
compact contenues dans Ω. On note ϕ ∈ D(Ω) ⇔ ϕ ∈ C ∞ (Ω) et K = Supp(ϕ) ⊂⊂ Ω

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 3. DISTRIBUTIONS 67

Exemple 3.3.1

Soit ϕ : R → R

exp(−x2 ) si x ∈ ]−1; 1[
x 7→
0 sinon

Supp(ϕ) = [−1; 1] ⊂⊂ R
ϕ ∈ C ∞ (R) donc ϕ ∈ D(ϕ)

Soit ϕ0 : Rd → R
 2
exp(− |x| ) si | x |< 1
1−|x 2|
x 7→ 
0 sinon

On a ϕ0 ∈ D(Rd ) ?

Résultats

Soit E = x ∈ Rd / | x |< 1 = B(0, 1)


∀ x ∈ E, ϕ0 (x) 6= 0. Donc Supp(ϕ) = BF (0, 1) ⊂⊂ Rd
La fonction x 7→| x |2 est de classe C ∞ sur Rd en particulier sur B(0, 1) et
−|x|2
∀ x ∈ B(0, 1), 1− | x |2 6= 0 donc x 7→ 1−|x| 2 ∈ C

(B(0, 1))
Ainsi ϕ ∈ C (R )
∞ d

• Supp(ϕ0 ) ⊂⊂ Rd

• ϕ ∈ C ∞ (Rd )

Conclusion : ϕ0 ∈ D(Rd )

3.3.3 Topologie de D(Ω)


Pour définir la notion de topologie d’un espace nous allons définir la notion de convergence
D(Ω) des suites de cet espace.

Définition 3.3.1 Une suite (ϕn )n∈N d’élément de D(ϕ) tant vers ϕ dans D(Ω) lorsque :

1. ∃ un compact fixe K / ∀ n, Supp(ϕn ) ⊂ K

2. La suite (ϕn )n∈N et toutes les suites (Dα ϕn )n∈N converge uniformément respectivement
vers ϕ et Dα ϕ sur K

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


68 CHAPTER 3. DISTRIBUTIONS

Définition fonctionnelle

Une distribution sur l’ouvert Ω est une forme linéaire T : D(Ω) → C segmentiellement c’est-à-
dire pour toute suite (ϕn )n∈N d’éléments de D(Ω) vers 0, la suite < T, ϕn >→n→∞ 0. On note
D0 (Ω) l’ensemble des distributions sur Ω. L’écriture < T, ϕn > signifie ici un crochet de dualité
de T sur ϕn : T (ϕn ). D0 (Ω) n’est autre que le dual tolopogie de D(Ω).

Autre définition

Une forme linéaire T sur D(Ω) est une distribution sur Ω si et seulement si pour tout compact
K de Ω, ∃m ∈ N, et CK,m > 0 tels que ∀Φ ∈ D(Ω) avec Supp(ϕ) ⊂ K
|< T, ϕ >| ≤ CK,m max max|α|≤m,x∈K | (D)α (ϕ(x)) |
En posant Pk,m (ϕ) = max max|α|≤m,x∈K | (D)α (ϕ(x)) | on a : |< T, ϕ >|≤ CK,m PK,m (ϕ)

3.3.4 Ordre d’une distribution


Une forme linéaire T sur D(Ω) est une distribution d’ordre fini au plus m sur Ω, lorsqu’il existe
m ∈ N tel que pour tout compact K de Ω, il existe CK > 0 telle que pour toute fonction
ϕ ∈ D(Ω) avec Supp(ϕ) ⊂ K

|< T, ϕ >|≤ CK max max|α|<m,x∈K | (D)α (ϕ(x)) |

L’ordre de T est le plus petit nombre de dérivé qu’il faut pour contrôler l’action de T sur l’ordre
de P (ϕ)

Définition 3.3.2 On dit que f est localement intégrable sur E lorsque f est intégrale sur tout
intervalle fermé borné conten u dans E.
Z x
E = [a; +∞[ f ∈ L1Loc ([a; +∞[) ⇔ f (t)dt < ∞ avec x ∈ [a; +∞[
a

Exemple de distributions

Soit f ∈ L1Loc (Ω). On peut lui associer une distribution sur D(Ω) notée Tf
telle que ∀ϕ ∈ D(Ω) < T, ϕ >= Ω f ϕdx. Comme, f ∈ L1Loc (Ω) alors la restriction de f à tout
R

compact de Ω est intégral. Donc fK où K = Supp(ϕ) est intégral. Ainsi f ϕ ∈ L1 (Ω) car ϕ est
bornée. < T, ϕ >= Ω f ϕdx est bien définie.
R

Z
< Tf1 +λf2 , ϕ > = (f1 + λf2 )ϕdx
ZΩ Z
= f1 ϕdx + λ (f2 )ϕdx
Ω Ω

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 3. DISTRIBUTIONS 69

Z Z
| f ϕdx | ≤ | ϕ(x) |
Ω Ω Z
≤ max | ϕ(x) | | f (x) | dx
x∈Supp Suppϕ
≤ CK,0 max | ϕ(x) |
x∈K

Résultats

Il suffit de prouver que f ∈ L1Loc (R).


Soit a > 0 posons K = [−a; a] et calculons: I = −a ln(| x |)dx.
Ra

La fonction x 7→ ln(| x |) est continue sur [−a; 0[ et ]−a; 0] donc 0 est la seule borne impropre
de I.
Soit ε >R 0
I(ε) = Rεa ln(| x |)dx et I(−ε) R= −a ln(| x |)dx
R −ε

I(ε) = εa ln(xdx) et I(−ε) = −a −ε


ln(−x)dx
I(ε) = [xRln(x) − x]aε ; limε→0 I(ε) = a ln(a) − a ∈ R
I(−ε) = εa ln(t)dtR < ∞
Conclusion: I = −a a
ln(| x |)dx < ∞ d’où f ∈ L1Loc (R) par conséquent f est une dustribution.

3.3.5 Distribution de Dirac


Soit a ∈ Ω. La forme linéaire Sa : D(Ω) → C définie par:∀ ∈ D(Ω), < Sa , ϕ >= ϕ(a) est une
distribution sur Ω d’ordre 0. En effet, soit K ⊂⊂ Ω et soit ϕ ∈ D(Ω) tel que Supp(ϕ) ⊂ K.
Alors on a : |< Sa , ϕ >| = | ϕ(a) |≤ 1· || ϕ ||∞ Sa est une distribution d’ordre au plus zéro
(d’ordre 0)

Distribution positive
On dit qu’une distribution T ∈ D0 (Ω), ∀ϕ ∈ D(Ω), < T, ϕ > ≥ 0

1
Valeur principale de x

Soit ϕ ∈ D(R). On pose < Vp ( x1 , ϕ) > = limε→0 |x|>ε ϕ(x)


R
x
dx
Alors Vp ( x ) est une distribution sur Rd’ordre exactement 1
1

Démonstration

.........

Partie finie de xα
On peut chercher à continuer, à intégrer des fonctions non intégrables. Par exemple xα pour
−2 ≤ α ≤ −1 et x > 0 nous pouvons toujours les intégrer malgré quelles ne soient pas
intégrables. Z a Z a
Z a
xα ϕ(x)dx = xα ϕ(0)dx + xϕ0 (0)dx + · · ·
ε ε ε

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


70 CHAPTER 3. DISTRIBUTIONS

Définition 3.3.3 La partie finie de xα , notée P f (xα ) est la distribution


 définie par :
εα+1
∀ ϕ ∈ D(Ω), < P f (x ), ϕ > = limε→0 ε x ϕ(x)dx + α+1 ϕ(ε)
α
Ra α

Définition 3.3.4 Soit T une distribution T ∈ D(Ω) et soit ψ une fonction C ∞ , la forme
linéaire ψT définie sur D(Ω) par ∀ ψ ∈ D(Ω), < ψT, ϕ >=< T, ψϕ > est une distribution
appelée produit de ψ par T

Propriété 3.3.1 Soit T ∈ D0 (Ω) a ∈ C ∞ (Ω). (an )n∈N une suite qui converge vers a dans C ∞
et soit (Tn )n∈N une suite qui converge vers T dans D0 (Ω).
Alors an T →n→+∞ aT et an Tn →n→+∞ aT .
Si a ∈ C ∞ (Ω) et f ∈ L1Loc (Ω), aTf ≡ Taf

3.4 Notion de distribution

Définition 3.4.1 Une distribution est une application vérifiant:

T :D→R
ϕ 7→ F (ϕ) = hT, ϕi

–T est linéaire.
T (ϕ1 + λϕ2 ) = T (ϕ1 ) + λT (ϕ2 )
–T est séquentiellement continue sur Ω
N
∃ c > 0, |hT, ϕi| ≤ c kϕn k∞ où kϕk∞ = sup |ϕ(x)|
X

k=1 x∈Ω

Remarque 3.4.1 Une distribution est une fonctionnelle et non une fonction.

3.4.1 Distribution de type fonction

Définition 3.4.2 Une telle distribution est une application:

[f ] : D → R
ϕ 7→ [f ](ϕ)

définie par: Z +∞
[f ](ϕ) = h[f ], ϕi = f (x)ϕ(x)dx ∀ ϕ ∈ D(R) où f ∈ L0loc
−∞

Remarque 3.4.2 D0 (Ω) est l’espace de toutes les distributions.


- Toute fonction localement intégrable est une distribution.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 3. DISTRIBUTIONS 71

Exemple 3.4.1 Exemples de distributions.


1- Masse de Dirac, δx0 (ϕ) = ϕ(x0 ).
2- La fonction de Heaviside est une distribution.

hδ, ϕi = ϕ(a)

Propriété 3.4.1 1- [f ] = [g] ⇐⇒ f = g p.p

2- T, S ∈ D0 (Ω) alors T + S ∈ D0 (Ω) définie par

hT + S, ϕi = hT, ϕi + hS, ϕi ∀ ϕ ∈ D0 (Ω)

3- λT ∈ D0 (Ω) définie par


hλT, ϕi = λhT, ϕi ∀ ϕ ∈ D0 (Ω)

4- f T ∈ D0 (Ω) définie par


hf T, ϕi = hT, f ϕi ∀ ϕ ∈ D0 (Ω)

Dérivée au sens des distributions


Soit T ∈ D0 (Ω) et ϕ ∈ D(Ω), on a

hT 0 , ϕi = −hT, ϕ0 i ∀ ϕ ∈ D0 (Ω)

hT (n) , ϕi = (−1)n hT, ϕ(n) i ∀ ϕ ∈ D0 (Ω)

3.5 Exercices
Exercice 41 Prouver que l’application
Z +∞ 
N : f 7→ |f (x)| dx
p
−∞
est une norme.

Exercice 42 Prouver que la fonction x 7→ ln |x| est localement intégrable sur R.

√ √
Exercice 43 Montrer que fn : x 7→ n exp(−nx2 ) → πS0 dans D0 (R)

Exercice 44 Soit ϕ ∈ D(R) non identiquement nulle.


1
Pour tout n ≥ 1 et pour tout x ∈ R, on pose ϕn (x) = ϕ(nx).
n
Etudier la convergence uniforme de la suite (ϕn ) dans D(R).

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


72 CHAPTER 3. DISTRIBUTIONS

Exercice 45 Soit ϕZ une fonction de classe C ∞ à support compact telle que ϕ est nulle en
1
dehors de [-1,1] et ϕ(x)dx = 1. Le but de l’exercice est de construire une fonction ϕ de
−1
1 1
 
classe C ∞
égale à 1 sur − , et nulle en dehors de [-1,1].
2 2
1) Construire à partir de ϕ une une fonction de classe C ∞ , u égale à 0 sur ] − ∞, −1[ et égale
à 1 sur ]1, +∞[.
1
2) En déduire une fonction v égale à 1 sur ] − , +∞[ et nulle sur ] − ∞, −1] puis une fonction
2
1
w égale à 1 sur ] − ∞, [ et nulle sur ]1, +∞[.
2
3) Construire ϕ.

Exercice 46 Soit f ∈ C 0 (R) et ϕ ∈ D(R)


Prouver que Z +∞ Z +∞
f (x)ϕ(x)dx = − f (x)ϕ0 (x)dx
−∞ −∞

Exercice 47 Calculer δx0 au sens des distributions.

Exercice 48 On se place sur D0 (R).


ϕ(x)
Z
1. Soit ϕ ∈ D(R). Justifier que possède une limite lorsque ε → 0 et que la forme
|x|≥ε x
linéaire qui à ϕ ∈ D(R) associe cette limite est bien une distribution.(C’est la valeur
1 1
principale de notée Vp ( )).
x x
1
2. Calculer xVp ( )
x
3. Soit T1 la distribution associée à la fonction f définie par f (x) = sign(x). Calculer la
dérivée de T1 .

4. Soit T2 la distribution associée à la fonction g définie par g(x) = |x|. Calculer la dérivée
de T2 .

5. Soit T3 la distribution associée à la fonction h définie par h(x) = ln |x|. Calculer la dérivée
de T3 .

Exercice 49 Soit φ ∈ D(R) et posons pour tout n ∈ N, ϕn (x) = φ(x + n+11


) − φ(x).
Prouver que ϕn tant vers 0 dans D(R), ϕn → unif or.
ϕ, Supp(| ϕn − ϕ |) → 0, Dα ϕn → Dα ϕ,
Supp(| D ϕn − D ϕ |) → 0
α α

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 3. DISTRIBUTIONS 73

Exercice 50 Prouver que xVp ( x1 ) = 1 et que pour −2 < α < −1; xP f (xα ) = xα+1
fn (x) = sin(nx).
Soit ϕ ∈ D(Ω), fn ∈ L1Loc (R) donc fn ∈ D0 (R)
Z a
< Tf n , ϕ > = ϕ(x) sin(nx)dx
−a
1 a
1Za 0
 
= − cos(nx)ϕ(x) + ϕ (x) cos(nx)dx
n a n −a
1 Z a
lim < Tf n , ϕ > = lim ϕ0 (x) cos(nx)dx
n→+∞ n→+∞ n −a

Exercice 51 Prouver que la fonction f : x 7→ ln(| x |) définie une distribution sur R

Exercice 52 Soit φ ∈ D(R) et posons pour tout n ∈ N, ϕn (x) = φ(x + n+1


1
) − φ(x).
Prouver que ϕn tant vers 0 dans D(R), ϕn →unif or. ϕ, Supp(| ϕn − ϕ |) → 0, Dα ϕn → Dα ϕ,
Supp(| Dα ϕn − Dα ϕ |) → 0

Exercice 53 .

1. Prouver que P f (xα ) est une distribution sur R


R +∞ xα+1 0
2. Prouver que P f (xα ) = 0 α+1
ϕ (x)dx

3. Prouver que ϕ 7→ ϕ(x)


− 2 ϕ(0) est une distribution d’ordre au plus k, k à préciser.
R
|x|≥ε x2 dx ε

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


74 CHAPTER 3. DISTRIBUTIONS

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


Chapter 4

Transformée de Fourier

Dans ce chapitre , on considère la transformée de Fourier de fonctions définies sur tout R à


valeurs complexes et non périodiques.

4.1 Définition et premières propriétés


Pour introduire la transformée de Fourier relative à des fonctions non-périodiques on va définir
l’espace fonctionnel suivant:
Z
L (R) = {f : R → C,
1
|f (t)|dt < +∞}
R

L1 (R) est un espace de Banach, i.e. un espace vectoriel normé et complet, par rapport à la
norme: Z
||f || = |f (t)|dt, f ⊂ L1 (R)
R

4.1.1 Définition

Définition 4.1.1 Soit f une fonction de L1 (R). On appelle transformée de Fourier de f la


fonction de la variable k ∈ R, notée fˆ ou F[f ] , telle que:

ˆ 1 Z
F[f ] = f (k) = √ f (x)e−ikx dµ(x)

Remarque 4.1.1 -Pour que cette expression ait un sens il faut que f (x)e−ikx soit sommable,
ce qui est assuré par le fait que f ∈ L1 (R).
- Si f et g sont deux fonctions de L1 (R) telles que f = g presque partout sur R alors fˆ = ĝ.

Proposition 4.1.1 Soit f ∈ L1 (R), on a:


1. fˆ est bornée.
2. fˆ est continue.
3. lim fˆ = 0
|k|→+∞

75
76 CHAPTER 4. TRANSFORMÉE DE FOURIER

Exemples:
- On considère la fonction f définie par:
1 si x ∈] − a, a[
(
f= a>0
0 sinon
Sa transformée de Fourier est définie pour tout k réel comme :

1 Z
fˆ(k) = √ f (x)e−ikx dµ(x)

1 Z a −ikx
= √ e dx
2π −a
s
2 sin(ka)
= a
π ka
Remarque 4.1.2 : la transformée de Fourier n’appartient pas à L1 (R)

4.1.2 Propriétés
Linéarité
La transformée de Fourier est une application linéaire de L1 (R) dans l’espace des fonctions :

∀ (f1 , f2 ) ∈ L1 (R), ∀(b1 , b2 ) ∈ C, F[b1 f1 + b2 f2 ] = b1 fˆ1 + b2 fˆ2

Parité et réalité
On a les résultats suivants:
f fˆ
paire paire
impaire impaire
réelle à symétrie hermitique: fˆ(−k) = fˆ(k)
imaginaire pure à symétrie anti-hermitique :fˆ(−k) = −fˆ(k)

Changement d’échelle et translation

Théorème 4.1.1 (Théorème de changement d’échelle)


Soit f sommable, et a ∈ R∗ , alors on a:

1 ˆ k
!
F[f (ax)] = f
|a| a

Théorème 4.1.2 (Théorème de translation)


Soit f sommable, et b ∈ R, alors on a:

F[f (x + b)] = eikb fˆ(k)

On dit que la transformée de Fourier a subit un déphasage.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 4. TRANSFORMÉE DE FOURIER 77

Dans la table suivante on résume les plus importantes propriétés de la transformée de


Fourier, a, b, c ∈ R, a 6= 0 .

f fˆ
1 ˆ k
!
f (at) f
|a| a
f (t − b) e−ikb fˆ(k)
b
e−ik a ˆ k
!
f (at − b) f
|a| a
eict f (t) fˆ(k − c)

(f ∗ g)(t) 2π fˆ(k)ĝ(k)

f 0 (t) ik fˆ(k)

dn fˆ
(−it)n f (t) (k)
dk n
t2 k2
e− 2 e− 2

1 k2
√ e− 4c2
2 t2
e−c
c 2

4.2 Formules
4.2.1 Transformée de Fourier de la dérivée

Théorème 4.2.1 Soit f une fonction sommable et partout continue, dérivable presque partout
et telle que f’ soit sommable. Alors on a :

F[f 0 ] = ik fˆ(k)

Théorème 4.2.2 (Généralisation)


Soit f telle que ses m-1 dérivées existent et soient sommables, partout continues, et telle que la
dérivée d’ordre m de f existe presque partout et soit sommable. Alors :

F[f (m) ] = (ik)m fˆ(k)

De ces deux théorèmes, on peut déduire un résultat concernant la vitesse de décroissance


vers zéro de la transformée de Fourier de f en fonction de l’ordre maximal de dérivation de f .
En effet, si f est telle que f (m) soit sommable et définie presque partout, alors sa transformée
de Fourier est bornée :

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


78 CHAPTER 4. TRANSFORMÉE DE FOURIER

∃ M > 0, ∀ k ∈ R, |(ik)m fˆ| ≤ M


Donc, si k 6= 0, on a:

M
|fˆ(k)| ≤
|k|m
On voit donc que si f est indéfiniment dérivable, et que toutes ses dérivées sont sommables,
1
la transformée de Fourier de f décroît à l’infini plus vite que n’importe quelle puissance de ,
|k|
ce qui se vérifie aisément en prenant l’exemple d’une fonction gaussienne.

4.2.2 Transformée de Fourier de x 7→ xf (x)

Théorème 4.2.3 Soit f une fonction sommable sur R telle que la fonction définie par x 7→
xf (x), avec x réel , soit sommable sur R. Alors fˆ(k) est dérivable sur R et l’on a:
d ˆ
F[xf (x)] = i f (k)
dk

Théorème 4.2.4 (Généralisation)


Soit f une fonction sommable sur R telle que la fonction définie par x 7→ xm f (x) soit sommable
sur R. Alors la transformée de Fourier de f est m fois dérivable sur R et on a :
dm ˆ
F[xm f (x)] = im f (k)
dk m

4.2.3 Produit de convolution


Définition du produit de convolution
Soient f et gZ deux fonctions sommables sur R.
L’intégrale f (x − x0 )g(x0 )dµ(x0 ) existe pour presque tout x, et définit une fonction ∈ L1 (R)
appelée produit de convolution de f et g et notée f ∗ g:
Z
f ∗g = f (x − x0 )g(x0 )dµ(x0 )

Proposition 4.2.1 Le produit de convolution est commutatif

f ∗g =g∗f

Théorème 4.2.5 Soit f et g deux fonctions sommables sur R. On a :



F[f ∗ g] = 2π fˆ.ĝ

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 4. TRANSFORMÉE DE FOURIER 79

Démonstration:

ˆ 1 Z Z
0
2π f .ĝ = √ f (X)e −ikX
dµ(X) g(X 0 )e−ikX dµ(X 0 )

1 ZZ 0
= √ f (X)e−ikX g(X 0 )e−ikX dµ(X)dµ(X 0 )

(en posant x = X + X 0 et x0 = X 0 )
1 ZZ
= √ f (x − x0 )g(x0 )e−ikx dµ(x)dµ(x0 )

1 Z
Z 
= √ f (x − x )g(x )dµ(x ) e−ikx dµ(x)
0 0 0

1 Z
= √ (f ∗ g)(x)e−ikx dµ(x)

= F[f ∗ g]

4.2.4 Inversion de Fourier

Théorème 4.2.6 (Théorème d’inversion)


Soit f ∈ L1 (R), et soit fˆ sa transformée de Fourier. Si F est sommable alors on a presque
partout :
1 Z ˆ
f (x) = √ f (k) eikx dµ(k)

Définition 4.2.1 Soit g ∈ L1 (R).On définit l’opérateur inverse F − par:


1 Z
F − [g](x) = √ g(k) eikx dµ(k)

Proposition 4.2.2 Soit f une fonction sommable sur R. Si sa transformée de Fourier fˆ est
sommable sur R, alors presque partout on a:

f (x) = F − [F[f ]]

4.2.5 Application à la résolution d’une équation intégrale


On considère l’équation intégrale de type Fredholm, où f est une fonction sommable sur R :
Z
1
f (x − x0 ) f (x0 )dµ(x0 ) =
x2 + 1
On reconnaît l’expression du produit de convolution de f par elle même, donc on a :
√ 1 1 Z +∞ e−ikx 1
 
2π(F[f ](k))2 = F (k) = √ dx = √ πe−|k|
x2 + 1 2π −∞ x 2+1

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


80 CHAPTER 4. TRANSFORMÉE DE FOURIER

On a donc :

1 |k|
F[f ](k) = ± √ e− 2
2
On applique maintenant l’opérateur inverse, et on obtient finalement:

2 1
f (x) = ± √
π 4x2 + 1

4.2.6 Fonctions sommables, de carré sommable

Théorème 4.2.7 (Théorème de Plancherel)


Soit f une fonction sommable et de carré sommable sur R. Alors sa transformée de Fourier F
est de carré sommable et on a la relation :

|fˆ(k)|2 dµ(k)
Z Z
|f (x)| dµ(x) =
2

4.2.7 Transformée de Fourier d’une fonction de plusieurs variables




Soient les vecteurs de Rn , →

x = (x1 , ..., xn ) et k = (k1 , ..., kn ). On définit un produit scalaire
et une norme : v
n u n

− →
− →

x· k = xi ki || x || = t x2i
X uX

i=1 i=1

Définition 4.2.2 Avec ces notations, on considère f une fonction sommable de Rn dans C. On
définit la transformée de Fourier de f par :

− 1 −

fˆ( k ) =
Z

− −−

f ( x )e x·k
dµ(→

x)
(2π)n/2
avec : dµ(→

x ) = dµ(x1 ), ..., dµ(xn )

Remarque 4.2.1 Soit f (x1 , x2 ) ∈ L1 (R2 ). Si x1 f (x1 , x2 ) ∈ L1 (R2 ) alors:


F[f (x1 , x2 )](k1 , k2 ) = −iF[x1 f (x1 , x2 )](k1 , k2 )
∂k1

Proposition 4.2.3 Si f est radiale, c’est à dire ne dépend que de la norme du vecteur →

x ,
alors sa transformée est radiale.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 4. TRANSFORMÉE DE FOURIER 81

Exemple 4.2.1 Le potentiel de Yukawa est donné par :


1 −

f (→

x)= →− eλ|| x || , λ > 0
|| x ||


C’est une fonction radiale. Sa transformée de Fourier est définie pour tout k par :

− 1 −
→→
fˆ( k ) = λ||−

x || − k ·−
x
e e dx1 dx2 dx3
(2π)(3/2)

− →

Pour k donné on passe en coordonnées sphériques avec le vecteur →

x3 suivant k .


− 1 Z +∞ Z π Z 2π
1 −λr −i||− →
fˆ( k ) = e e r sin θ dr dθ dϕ
k ||r cos θ 2
(2π)(3/2) 0 0 0 r
1 −

Z +∞ Z π 
= 2π re −λr
e−i|| k ||r cos θ
sin θ dθ dr
(2π)(3/2) 0 0
s
2 1
= →

π || k ||2 + λ2

fˆ est bien une fonction radiale.

4.3 Exercices
Exercice 54 Calculer la transformée de Fourier de la fonction triangle définie par

1 + x
si − 1 ≤ x ≤ 0



f (x) = 1 − x si 0 ≤ x < 0 sinon

0 sinon

Exercice 55 . Produit de convolution


1. En utilisant la transformée de Fourier, montrer que l’algèbre L1 (R) ne possède pas d’unité,
c’est-à-dire qu’il n’existe pas de fonctions g ∈ L1 (R) telle que f ∗ g = f pour tout f ∈
L1 (R).
2. Résoudre dans L1 (R) l’équation f ∗ f = f

Exercice 56 En formant une équation différentielle vérifiée par f, calculer la valeur de


Z +∞ −t
e
f (x) = √ eitx dt
0 t
Z +∞ √
−u2 π
On rappelle que e du =
0 2

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


82 CHAPTER 4. TRANSFORMÉE DE FOURIER

Exercice 57 Pour α > 0, on pose f (x) = e−α|x|

1. Calculer la transformée de Fourier de f.

1
2. A l’aide de la formule de réciprocité, en déduire la transformée de Fourier de x 7→ .
1 + x2
1
3. Calculer f ∗ f puis la transformée de Fourier de x 7→ .
(1 + x2 )2
x
4. Déterminer la la transformée de Fourier de x 7→ .
(1 + x2 )2

1 −x2 /4t
Exercice 58 Pour t > 0, on pose qt (x) = √ e .
4πt
Calculer la transformée de Fourier de qt .
En déduire que qt ∗ qs = qs+t (La famille qt s’appelle semi-groupe de la chaleur).
On rappelle que la transformée de Fourier de la fonction fα définie par fα (x) = e−αx est
2

 1/2
π π2
fˆα (x) =
2
eαx
α

Exercice 59 Soit f ∈ L1 (R) telle que

x 7→ xfˆ(x) ∈ L1 (R).

Montrer que f coincide presque partout avec une fonction g de classe C 1 sur R que l’on
déterminera.

Exercice 60 Soit f ∈ L1 (R). On dira dans cet exercice que f est impaire si pour presque tout
x>0, f (−x) = −f (x).

1. Démontrer que
√ √ !
Z
−itx2 1 Z +∞ f ( u) f (− u) −iut
f (x)e dx = √ + √ e du.
R 2 0 u u

2. En déduire que si f est impaire si et seulement si, pour tout t ∈ R, f (x)e−itx dx = 0


R 2
R

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 4. TRANSFORMÉE DE FOURIER 83

Exercice 61 On considère une tige homogène très mince de longueur infinie. La température
de la tige au temps t ≥ 0 au point d’abscisse x ∈ R est notée u(t, x) On suppose que cette
fonction vérifie l’équation de la chaleur

∂ 2u

 ∂u

− =0
∂t ∂x2 (t, x) ∈]0, +∞[×R.
u(0, x) = u0 (x).

On suppose que u0 ∈ L1 (R), et on cherche une solution de l’équation précédente,C 1 par rapport
à la variable temps, et C 2 par rapport à la variable d’espace, sur ]0, +∞[, et telle que, pour
chaque x ∈ R, u(t, x) tend vers u0 (x) lorsque t tend vers 0.

Analyse: on suppose que l’équation précédente possède une solution u telle qu’il existe une
fonction g ∈ L1 (R), tendant vers 0 en l’infini, vérifiant, pour tout t ≥ 0,

∂u
|u(t, x)| ≤ g(x), (t, x) ≤ g(x)
∂t

On note Fx u(t, x) la transformée de Fourier de u par rapport à la variable d’espace x:


Z
Fx u(t, x) = u(t, s)e−2iπsx ds
R

1. Montrer que !
∂u ∂
Fx = Fx (u).
∂t ∂t

Montrer aussi que !


∂u2
Fx = −4π 2 x2 Fx (u)
∂x2

2. Pour chaque x ∈ R fixé, on note v(t) = Fx (u)(t, x). Montrer que v est une solution d’une
équation différentielle en t.

3. Résoudre cette équation.

4. En déduire la valeur de de u. On rappelle que

1
!!
x2 2 s2 t
F √ exp − (s) = e−4π
4πt 4t

Synthèse:Vérifier que la fonction u mise en évidence lors de l’analyse est bien solution de
l’équation de la chaleur.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


84 CHAPTER 4. TRANSFORMÉE DE FOURIER

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


Chapter 5

Eléments du calcul vectoriel(théorème


de Green ,Ostrogradski)

5.1 Vecteur surface

5.1.1 Définition

Définition 5.1.1 1) Surface élémentaire


On considère une surface élémentaire dS:

>
dS ~
dS

Le vecteur surface élémentaire de dS est un vecteur dS


~ ,orthogonal à dS, de norme
~ = dS (l’orientation n’est pas déterminée).
kdSk

2) Surface finie

~
>dS

ZZ
Le vecteur surface de cette surface est alors S
~= ~ (On oriente dS
dS ~ dans le même sens.
Deux "dS"
~ côte à côte sont dans le même sens.)
Attention, on n’a pas ici pour autant kSk~ =S
Par exemple, pour une surface fermée, S ~ = ~0

85
86 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

5.1.2 Projection du vecteur surface


>
S
Π

>
~σ ∆

Alors la projection du vecteur sur ∆ correspond au vecteur surface de la projection orthogonale


de la surface sur Π ⊥ ∆
Attention: On compte la projection algébriquement, c’est-à -dire que deux éléments de surface
dont la droite qui passe par ces deux points est parallèle à ∆, et dont la projection des vecteurs
surface sur ∆ ont des sens opposés "s’annulent":

Ainsi, les deux éléments de la surface (en forme de chaussette) qui intercepte le tube(de
section infinitésimale) ont la même projection sur le plan Π (à savoir la section du tube), mais
les projections ds vecteurs surface sont de sens opposés, donc les deux surfaces s’annulent.
Ainsi, sur le dessin, la projection de la chaussette sur Π est réduite au disque délimité par
l’ouverture.

Démonstration:
On prend un carré élémentaire de côté a:

~
dS
>

a
a
a
a

>
~u ∆

En coupe:

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 87

a ~
dS
a cosθ >
θ

> >
~u d~σ ∆

Ainsi,
d~σ cos(θ).~u = a × a cos(θ).~u

Donc d~σ est bien le vecteur surface de la projection du carré sur le plan perpendiculaire à ∆.
Pour une surface finie ouverte, il suffit d’intégrer:
ZZ ZZ 
a × a cos(θ).~u = a × a cos(θ) ~u

Application:
• Demi-sphère:

~
S

Comme la demi-sphère est invariante par rotation autour de l’axe représenté , S ~ sera aussi
invariant par une telle rotation, et sera donc sur l’axe.
De plus, une projection sur le plan orthogonal à l’axe donnera l’aire hachurée (le disque), donc
~ = πR2~u (où R est le rayon de la demi-sphère et ~u le vecteur unitaire de l’axe)
S
Une surface ouverte plus complexe avec comme contour le même cercle donnera aussi le même
résultat (comme la chaussette précédente)

• Surface fermée

On "coupe" la surface fermée en deux surfaces ouvertes par un plan, on note S~1 et S~2 les
deux vecteurs surface correspondant (qui sont orthogonaux au plan). On a alors S~1 = −S~2
puisque ce sont les vecteurs surface de la même surface mais chacun dans un sens.

5.2 Orientation de l’espace


5.2.1 Convention d’orientation
1) Convention 1 (du triède direct)

• Rotation autour d’un axe:


On définit (arbitrairement) le sens positif de rotation autour d’un axe ∆ dirigé par ~u:

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


88 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

>
~u +

• Triède (~a, ~b, ~c) direct:


~c

~b
~a

(c’est-à-dire que ~c est dans le sens de ~a ∧ ~b)


• Surface limitée par un contour:
Pour un disque

~
S

>
+

On dit alors que la surface et le contour sont orientés compatiblement (choix toujours
arbitraire).

Pour une surface quelconque:


Correspond à une transformation continue du disque

• Orientation du plan:
~u

+

(~u oriente la normale du plan)


2) Convention 2
• Orientation d’une surface fermée

Par convention les dS


~ sont "vers l’extérieur"

Attention:

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 89

Si on sépare la surface fermée en deux et qu’on oriente le contour, S~2 sera vers l’extérieur,
mais S~1 sera vers l’intérieur. Les dS~1 ne sont donc pas orientés dans le même sens que les
dS.
~

5.2.2 Vecteurs vrais, pseudo-vecteurs


1) Vecteurs vrais (polaires)
C’est un vecteur qui ne dépend pas de l’orientation choisie (convention 1).
Exemples:les vecteurs vitesse, accélération

2) Pseudo-vecteurs (axiaux)
Ces vecteurs dépendent de l’orientation de l’espace.
Exemples:
Vecteur rotation

~ serait vers le bas.


Dans l’autre orientation; Ω

Champ magnétique

~
B

>
I>0

Particularité: pour les symétries

Ce n’est pas une symétrie pour un vecteur axial (alors que c’est le cas pour un vecteur
polaire).

3) Produit vectoriel
Le produit vectoriel de deux vecteurs vrais donne un pseudo-vecteur, et celui d’un vecteur
vrai par un pseudo-vecteur donne un vecteur vrai.
Ainsi, comme avec la "règle des signes" (en notant + un vecteur vrai, - un pseudo-vecteur):

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


90 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

~a+

+

Exemple:
F~ = q(~v ∧ B)
~

5.3 Angle solide


5.3.1 Rappel sur les angles solides

−−→ ~r
On pose ~r = P M , puis on définit dα = dl.~n. 2
R
cos θ dl0
Ainsi, dα = dl = (où dl ⊥ P M ).
r r
Il est alors clair par homothétie que le dl0 ne peut être n’importe où. La définition de l’angle
da lpha est donc correcte (elle ne dépend pas de l’endroit où on fait la mesure).

Définition 5.3.1
Angle solide sous lequel, depuis le point P, on voit la surface infinitésimal en M:

~ ~r = dσ
dΩ = dS.
r3 r2
−−→
(où ~r = P M ) avec dσ = dS. cos θ
Pour une surface non élémentaire, on intègre la relation.

5.3.2 Interprétation
Pour une sphère de centre P et de rayon r, dS. cos θ correspond à la surface projetée de la

sphère. Ainsi dΩ = 2 dépend uniquement du cône centré en O et s’appuyant sur le contour
r
de dS (si l’on s’en éloigne, r augmente et la surface augmentera en r2 ).

5.3.3 Angles solides particuliers


• Demi cône de révolution

On prend une calotte sphérique avec le même angle α:

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 91

ZZ
~r 1 ZZ
Ainsi, Ω = dS. 3 = 2
~ dS. On a: dS 0 = rdθ × 2π × r sin θ.
r r
Donc
1 Za 0 Za
Ω= dS = 2π sin θ dθ = 2π(1 − cos α)
r2 0 0

Et pour une variation de l’angle de dθ, on a:

dΩ = 2π sin θ dθ
• Espace entier:
L’angle solide de l’espace entier correspond au cas précédent avec α = π. On a ainsi Ω = 4π

• Demi-espace:
π
Correspond aussi au cas précédent avec α = , donc Ω = 2π
2

5.4 Champs
5.4.1 Champs de scalaires , champs de vecteurs
Champ de scalaires.

Définition 5.4.1 On appelle champ de scalaires l’application f : ε → R, où ε est un espace


affine de dimension 3. En général, f dépend aussi de t : f (M, t)

-Choix d’une origine:


−−→ ˜r
On fixe un point O, et pour tout point M, on note ~r = OM . On a ainsi f (M ) = f~
˜
(pratiquement on confond f et f )

-Choix d’un système de coordonnées:


~r peut s’écrire en coordonnées cartésiennes , cylindriques ou sphériques. On a ainsi
f (~r) = f˜(x, y, z) en coordonnées cartésiennes. De même on confondra f˜ et f .

Champ de vecteurs

Définition 5.4.2 On appelle champ de vecteurs défini sur un ouvert U ⊂ R2 toute application
de U dans R2 telle que
V~ (x, y) = (V1 (x, y), V2 (x, y))
où V1 et V2 sont deux fonctions de U dans R. De la même manière on appelle champ de vecteurs
défini sur un ouvert U ⊂ R3 toute application de U dans R3 telle que

V~ (x, y, z) = (V1 (x, y, z), V2 (x, y, z), V3 (x, y, z))

où V1 , V3 et V3 sont deux fonctions de U dans R.


Si tous les Vi sont de classe C k sur U , on dit que V~ est de classe C k sur U.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


92 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

Définition 5.4.3 (Champ conservatif)


Un champ de vecteurs V~ est dit conservatif (i.e. il est un champ de gradients ) s’il existe une
fonction f : U → R, de classe C 1 , telle que ∇f = V~ . On dit alors que f est un potentiel de V~
sur U.

Exemple 5.4.1 Soit V~ (2x, 2y) un champ de vecteur dans R2 . Il est conservatif car f : R2 → R
définie par f (x, y) = x2 + y 2 vérifie ∇f = V~ .

Définition 5.4.4 (Champ à rotationnel nul)


Un champ de vecteurs V~ défini sur un ouver U de R2 est à rotationnel nul si

∂y (V1 ) = ∂x (V2 ).

Un champ de vecteurs V~ défini sur un ouver U de R3 est à rotationnel nul si

∂y (V3 ) = ∂z (V2 )





∂z (V1 ) = ∂x (V3 )
∂x (V2 ) = ∂y (V1 )

Théorème 5.4.1 (Théorème de Schwarz: condition nécessaire pour V~ conservatif)


Un champ de vecteurs V~ conservatif de classe C 1 est à rotationnel nul.

Théorème 5.4.2 (Théorème de Poincarré: condition suffisante pour V~ conservatif)

Si U est un ouvert étoilé ou si U est simplement connexe et V~ est un champ de vecteurs de


classe C 1 , alors

V~ est conservatif sur U ⇐⇒ V~ est à rotationnel nul sur U

Exemple 5.4.2 Soit V~ = (2x + y, 2y + x) un champ de vecteur dans R2 .


Conditions nécessaires pour V~ conservatif : comme ∂y (V1 ) = ∂y (2x+y) = 1 et ∂x (V2 ) =
∂x (2y + x) = 1, le champ est à rotationnel nul ;
Domaine de définition : R2 est simplement connexe donc la condition nécessaire est aussi
une condition suffisante;
Grâce au théorème de POINCARÉ on conclut que V~ est conservatif, c’est-à-dire qu’il existe
f : R2 → R telle que n ablaf = V~ . Par exemple f (x, y) = x2 + xy + y 2

5.4.2 Opérateurs relatifs aux champs


On trouve généralement pour les champs scalaires le gradient et le Laplacien(scalaire). Pour
les champs de vecteurs, on a aussi le Laplacien(vectoriel), la divergence et le rotationel.

Le gradient
On considère ici l’espace muni d’un repère (O, ~ux , ~uy , ~uz )

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 93

Définition 5.4.5 Soit f(x,y,z) un champ scalaire. On pose

−−→ ∂f ∂f ∂f
gradf = ~ux + ~uy + ~uz
∂x ∂y ∂z

• Notation ∇
~ =−
~ = ∂f ~ux + ∂f ~uy + ∂f ~uz (notation symbolique). Ainsi on a ∇f
On note ∇
−→
gradf.
∂x ∂y ∂z
Attention: Il ne faut pas essayer d’adapter la notation à d’autres systèmes de coordonnées,
les résultats seraient la plupart du temps faux.

• Définition intrinsèque du gradient

On considère le champ scalaire f (x, y, z). On a

∂f ∂f ∂f
df = dx + dy + dz et d~r = dx ~ux + dy ~uy + dz ~uz
∂x ∂y ∂z

On a donc df = ∇f ~ .d~r , et cette définition implicite de ∇f


~ est indépendante de la base
~ .d~r + ∂f dt.
choisie. Si de plus f dépend de t, on a ainsi df = ∇f
∂t
• Interprétation
On cherche les conséquences sur f d’un déplacement élémentaire.

Pour un déplacement élémentaire dans le plan orthogonal à ∇f~ , f ne varie pas:


df = ∇f.d~
~ r = 0. C’est au contraire en se déplaçant dans la direction de ∇f
~ (dans le même
sens ou à l’opposé ) que la variation sera plus importante.

• Gradient en coordonnées cylindriques et sphériques.


-Cylindriques
Expression du gradient avec f (r, θ, z):

∂f ∂f ∂f
df = dr + dθ + dz et d~r = dr~ur + rdθ.~uθ + dz~uz
∂r ∂θ ∂z
Ainsi,
~ = ∂f ~ur + 1 ∂f ~uθ + ∂f ~uz
∇f
∂r r ∂θ ∂z
-Sphériques
∂f ∂f ∂f
Avec f (r, θ, ϕ), on a: df = dr + dθ + dϕ et d~r = dr~ur + rdθ.~uθ + r sin θ dϕ ~uϕ
∂r ∂θ ∂ϕ

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


94 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

Ainsi
~ = ∂f ~ur + 1 ∂f ~uθ + 1 ∂f ~uϕ
∇f
∂r r ∂θ r sin θ ∂ϕ

La divergence

Définition 5.4.6 Pour un champ de vecteur A,


~ la divergence est donnée par:

~= ∂Ax ∂Ay ∂Az


div A + + = ∇·
~ A~
∂x ∂y ∂z

Propriétés:
C’est un opérateur linéaire, et il ne dépend pas de la base choisie. Pour un déplacement de M
à M’, on a une variation dA ~
    
dA 
∂Ax ∂Ax ∂Ax   
dx

 x
 ∂x ∂y ∂z 

   
    
 =  ∂Ay ∂Ay ∂Ay 
    
dAy   dy 
  

   ∂x ∂y ∂z   
    
 ∂Az ∂Az ∂Az   
    
dAz dz
 
∂x ∂y ∂z
| {z }
B

∂Ax ∂Ay ∂Az


Et T r(B) = + + = div A
~
∂x ∂y ∂z
Donc la matrice dans une autre base aura la même trace (puisqu’elles seront semblables), d’où
l’indépendance de la base de la divergence.

Le rotationnel

Définition 5.4.7 Le rotationnel est donné par la relation


   
 ∂  A 
  x
 ∂x   

−→ ~ ~
   
rotA = ∇ ∧ A  ∂ ∧ 
~=   
 A 
 ∂y   y 

   
 ∂   
   
Az
∂z

Propriétés
~ est un vecteur vrai −
-C’est un pseudo-vecteur, il dépend de la convention choisie. Si A
→~
rotA est
un pseudo-vecteur.
- C’est un opérateur linéaire.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 95

- Il est indépendant de la base choisie.

Le Laplacien
• Scalaire
−−→ ∂ 2f ∂ 2f ∂ 2f
Soit f un champ scalaire. On pose alors ∆f = div gradf = + + =∇ ~ =∇
~ · ∇f ~ 2f
∂x2 ∂y 2 ∂z 2

• Vectoriel
En coordonnées cartésiennes:
Pour A ~ = Ax~ux + Ay ~uy + Az ~uz , on pose ∇ ~=∇
~ 2A ~ 2 Ax~ux + ∇
~ 2 Ay ~uy + ∇
~ 2 Az ~uz . On a une
définition intrinséque:

~=−
~ 2A

−→ ~−−
grad div A
→ −→ ~ ~ ~ ~ ~
rot rotA = ∇∇ · A − ∇ ∧ (∇
~ ∧ A)
~

Formulaire
• Identités:

−→−−→
rotgrad = ~0 (∇ ~ = ~0)
~ ∧ ∇f
−→ ~ ·∇
div rotf = 0 (Ω ~ ∧A~ = 0)

• Produits:

~ g
∇f = ~ + f.~g
g.∇f
~ · fA
∇ ~ = ~ ·A
∇f ~ + f.∇
~ ·A
~
∇~ ∧ fA ~ = ~ ∧A
f.∇ ~ + ∇f
~ ∧A ~
~ · (A
∇ ~ ∧ B)
~ = ~ ·∇
B ~ ∧A ~−A ~·∇~ ∧B
~

• Composition:

~
∇g(f (~r)) = g 0 (f )f~

5.4.3 Circulation et flux d’un champ de vecteurs

1) Circulation

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


96 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

Définition 5.4.8 (Circulation d’un champ de vecteurs)


Soit V~ = (V1 , V2 ) un champ de vecteurs dans R2 et γ(t) = (x(t), y(t)) un arc orienté. V1 et V2
étant des fonctions continues, on appelle circulation de V~ le long de l’arc orienté γ le nombre
noté I
V~
γ

et défini par Z b
[V1 (x(t), y(t))x0 (t) + V2 (x(t), y(t))y 0 (t)]dt
a

Soit V~ = (V1 , V2 , V3 ) un champ de vecteurs dans R3 et γ(t) = (x(t), y(t), z(t)) un arc orienté.
V1 , V2 et V3 étant des fonctions continues, on appelle circulation de V~ le long de l’arc orienté
γ le nombre noté I
V~
γ

et défini par
Z b
[V1 (x(t), y(t), z(t))x0 (t) + V2 (x(t), y(t), z(t))y 0 (t) + V3 (x(t), y(t), z(t))z 0 (t)]dt
a

Exemple 5.4.3 La circulation du champ de vecteurs V~ = (?y, x) le long de la courbe γ :


[0; 2π] → R2 définie par γ(t) = (cos(t), sin(t)) est égale à
I Z 2π Z 2π
V~ = −y(t)x (t) + x(t)y (t)dt =
0 0
(− sin(t))(− sin(t)) + (cos(t))(cos(t))dt = 2π
γ 0 0

Proposition 5.4.1 Si V~ est un champ de vecteurs conservatif de potentiel f et si la courbe


γ : [a; b] → Rn a pour origine et extrémités respectivement les points γ(a) et γ(b) alors
I
V~ = f (γ(b)) − f (γ(a)).
γ

En particulier, si la courbe γ est fermée, c’est-à-dire si ses deux extrémités sont égales, alors la
circulation sur γ de tout champ de vecteurs conservatif est nulle.
Remarque 5.4.1 En mécanique, la circulation d’une force est égale au travail de cette force.
Donc si la force dérive d’un potentiel, son travail ne dépend que du point de départ et du point
d’arrivé.
Exemple 5.4.4 Soit le champ de vecteurs
V~ (x, y, z) = (2xy + z 3 , x2 , 3xz 2 )
On veut montrer qu’il dérive d’un potentiel scalaire et déterminer tous les potentiels scalaires
dont il dérive. D’une part, comme le champ est défini sur R3 qui est un ouvert étoilé, pour
prouver qu’il dérive d’un potentiel il suffit de montrer qu’il est à rotationnel nul :

∂y (V3 ) = ∂z (V2 ) ∂y (3xz )


= ∂z (x2 ) 0
=0
  
  2 
  

∂z (V1 ) = ∂x (V3 ) ⇔ ∂z (2xy + z 3 ) = ∂x (3xz 2 )

⇔ 3z 2 = 3z 2

∂x (V2 ) = ∂y (V1 ) ∂x (x2 ) = ∂y (2xy + z 3 ) 2x = 2x

 
 

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 97

D’autre part, il est possible de calculer les potentiels : on cherche en effet f de R3 dans R
tel que

∂x f (x, y, z) = 2xy + z 3






∂y f (x, y, z) = x2
∂z f (x, y, z) = 3xz 2 .

On résout ce système d’équations aux dérivées partielles : la deuxième donne par exemple
f (x, y, z) = x2 y + h(x, z). En la dérivant par rapport à z on trouve ∂z f (x, y, z) = ∂z h(x, z);
en utilisant la troisième équation on trouve ∂z h(x, z) = 3xz 2 d’où h(x, z) = xz 3 + g(x) et
donc f (x, y, z) = x2 y + xz 3 + g(x). En la dérivant par rapport à x on trouve ∂x f (x, y, z) =
2xy + z 3 + g 0 (x) ; en utilisant la première équation on trouve g 0 (x) = 0 d’où g(x) = C et
finalement
f (x, y, z) = x2 y + xz 3 + C, C ∈ R

Théorème 5.4.3 (Théorème de Stokes) On considère une surface ouverte Σ, orientée


compatiblement avec son contour Γ

Alors I ZZ
~ · d~l =
A (∇
~ ∧ A)
~ · dS
~
Γ Σ

Discussion:
Ce résultat donne une définition intrinsèque du rotationnel de A.
~ Pour retrouver les composantes
du rotationnel à partir de cette formule, par exemple la composante selon ~ux , on prend une
surface élémentaire dS, orientée selon ~ux .

Ainsi, dS
~ = dS.~ux , et d’après le théorème de Stokes
I ZZ
~ · d~l =
A (∇
~ ∧ A) ~ = (∇
~ · dS ~ ∧ A) ~ = (∇
~ · dS ~ ∧ A).dS
~ · ~ux
Γ dS

D’où l’on tire la composante selon ~ux , après calcul de l’intégrale et connaissant dS, A.
~
Pour le gradient on avait: Z Q Z Q
df = ~ · d~r
∇f
P P
Z Q
. Soit f (Q) − f (P ) = ~ · d~r
∇f
| {z } P
dim 0
| {z }
I ZZ dim 1

Ici, ~ · d~l =
A (∇
~ ∧ A) ~ , on gagne encore une dimension.
~ · dS
Γ Σ
| {z } | {z }
dim 1 dim 2

FormuleI de Kelvin:
Notons I~ = f d~l. Soit ~u un vecteur fixe quelconque . On note I = I~ · ~u. Ainsi:
Γ

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


98 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

I I ZZ
I = I~ · ~u = ~u · f d~l = (f~u) · d~l = (∇
~ ∧ f~u) · dS
~
ZZ Γ Γ Σ ZZ
= (f.∇
~ ∧ ~u + ∇f ~=−
~ ∧ ~u) · dS ~ ∧ dS
∇f ~ · ~u
Σ | {z } Σ
produit mixte
 ZZ 
= − ~ ∧ dS
∇f ~ · ~u
Σ

Comme cette égalité est valable pour tout ~u, on a


I ZZ
I~ = f d~l = − ~ ∧ dS
∇f ~
Γ Σ

• Champ à circulation conservative

Définition 5.4.9 C’est un champ pour lequel


Z Q
C = C(P, Q, Γ) = ~ · d~l
A
P
I
Pour toute courbe fermée Γ, ~ · d~l = 0
A
Γ
En tout point de l’espace, ∇
~ ∧A ~ = ~0
Il existe un champ scalaire f tel que A~ = ∇f
~
De la caractéristique précédente il découle que:
Si A = ∇f
~ ~ , alors ∇~ ∧A ~=∇ ~ = ~0, donc A
~ ∧ ∇f ~ est conservative. Et si tel est le cas , alors:
Z Q Z Q Z P
C= ~ · d~l =
A ~ · d~l −
A ~ · d~l
A
P O O
| {z } | {z }
f (Q) f (P )

~ · d~l = df, donc A


Donc pour Q très voisin de P A ~ = ∇f
~

Remarque 5.4.2 On note v = −f . Ainsi A ~ = −∇v.


~ On dit que A
~ dérive du potentiel scalaire
v. Ainsi, on a quatre formules équivalentes:
-A~ est à circulation conservative.
-A~ est irrotationnel.
-A~ dérive d’un potentiel scalaire.
-A~ est un champ de gradient.

2) Flux d’un champ de vecteur

Définition 5.4.10 On considère une surface Σ

On définit ZZ
φΣ = ~ · dS
A ~
Σ
Si la surface est ouverte, le signe de φΣ dépend de l’orientation choisie.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 99

Théorème 5.4.4 (Théorème de Green et Ostrogradsky)


On considère un champ A,
~ et une surface Σ fermée (orientée vers l’extérieur) délimitant un
volume v:

Alors ZZ ZZZ
A ~=
~ · dS ~ · A.dτ
∇ ~
Σ v

Cette formule donne aussi une définition intrinsèque de la divergence de A.


~

Conséquences:
ZZ ZZZ
A ~=−
~ ∧ dS ~ ∧ A.dτ
∇ ~
Σ v
- Formule "du gradient": ZZ ZZZ
~=
f dS ~
∇f.dτ
Σ v
(Faire le même raisonnement que pour la formule de Kelvin)

• Champs à flux conservatif.

Définition 5.4.11 Pour toutes surfaces Σ1 et Σ2 de même contour, on a φΣ1 = φΣ2

Ce qui équivaut à:
- φΣ = 0 pour toute surface fermée.
-∇~ ·A ~ = 0 en tout point de l’espace.
- Il existe un champ de vecteurs B ~=−
~ tel que A →~ ~
rotB. (B n’est pas unique : B
~0 = B
~ + ∇φ,
~ où
φ est quelconque, convient). Le potentiel vecteur est donc défini à "un gradient près".
Ainsi il est équivalent de dire que:
- A est à flux conservatif
~
-A~ est à divergence nulle
-A~ dérive d’un potentiel vecteur.

5.5 Gradients et Laplaciens de 1/r


5.5.1 Gradient de 1/r
p
M
p
P
−−→
On note ~r = P M , r = P M
1 1
On a: = f (P, M ) = q
r (xM − xP )2 + (yM − yP )2 + (zM − zP )2

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


100 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

1 1
On s’arrange ici pour avoir = f (P ) ou = f (M ) (c’est-à-dire qu’on fixe un des points)
r r
1
Calcul de ∇M (à P fixé):
~
r
p
~ur M
p >
P

~ M 1 = ∂ r ~ur = − 1 ~ur . ~ M 1 = − ~r . Et de la même façon ∇


~ P 1 = ~r = −∇
~M1
1
∇ Ainsi ∇
r ∂r r2 r r 3 r r 3 r

Remarque 5.5.1 Avec une fonction f (r) quelconque on a toujours ∇


~ P f (r) = −∇
~ M f (r)

5.5.2 Laplacien de 1/r en fonction de M


p
M
p
P

Effectuons le calcul :
Pour r 6= 0

~ 21 = ∇
∇ ~ ·∇~M1
r r
~
r
= −∇~ ·
r3
1~ ~ 1 · ~r
= − 3 ∇ · ~r − ∇
r r3
3 1
 2 !
~r
= − 3 −3× − 3 · ~r = 0
r r r

Pour r = 0
On considère un petit volume v autour de P entouré d’une surface fermée Σ

21 ~ M 1 dτ
ZZZ ZZZ
∇ dτ =
~ ~ ·∇

v r v r
ZZ
1
= ~ M dS
∇ ~
Σ r
ZZ
~r
= − 3
~
· dS
ZZ Σ r
= dΩ = −4π
Σ
|{z}
angle solide

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 101

Application:
~ 2 1 dτ
ZZZ
Calcul de f (M )∇
espace r
On réduit l’étude à une petite sphère entourant P de façon que f soit aussi proche de f (P )
qu’on le souhaite:

~ 2 1 dτ = ~ 2 1 dτ = −4π f (P )
ZZZ ZZZ
f (M )∇ f (P )∇
espace r r

5.6 Exercices
Exercice 62 Considérons le champ de vecteurs

V~ (x, y, z) = x~i + 2y~j + 3z~z.

Montrer que V~ est conservatif et en calculer un potentiel

Exercice 63 Considérons le champ de vecteurs


!
y
V~ (x, y) = + ey ~i + (g(x) + xey )~j
cos2 (x)

défini sur
−π π
 
D = {(x, y) ∈ ; × R}
2 2
Déterminer la fonction g de classe C ∞ (] − π/2; π/2[) telle que g(0) = 0 et V~ soit conservatif.
Déterminer ensuite pour le champ ainsi trouvé un potentiel.

Exercice 64 Considérons le champ de vecteurs

V~ (x, y) = (y sin(x) + xy cos(x) + ey )~i + (g(x) + xey )~j.

Déterminer la fonction g de classe C ∞ (R) telle que g(0) = 0 et V~ soit conservatif. Déterminer
ensuite pour le champ ainsi trouvé un potentiel.

Exercice 65 Considérons le champ de vecteurs


!
g(y)
V~ (x, y) = + cos(y) ~i + (2y ln x − x sin(y))~j.
x

Déterminer la fonction g de classe C ∞ (R) telle que g(1) = 1 de sorte que V~ soit conservatif.
Déterminer ensuite pour le champ ainsi trouvé le potentiel ϕ(x, y) tel que ϕ(1, π/2) = 0.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


102 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

Exercice 66 Considérons le champ de vecteurs

V~ (x, y, z) = (2xy sin z)~i + (x2 sin z)~j + (x2 y cos z)~k.

1. Montrer que V~ est conservatif.


2. Calculer un potentiel de V~ .

Exercice 67 Considérons le champ de vecteurs

V~ (x, y, z) = (2xz sin(y))~i + (x2 z cos(y))~j + (x2 sin(y))~k.

1. Montrer que V~ est conservatif.


2. Calculer un potentiel de V~ .

Exercice 68 Soit V~ le champ de vecteurs défini comme suit :

1 ~
! ! !
z z
V~ (x, y, z) = x + 2 ~i + y + 2 ~j + z − k
xy xy xy

1. Montrer que V~ est conservatif.


2. En déterminer un potentiel.
3. Calculer la circulation de V~ le long de la courbe γ de paramétrisation t 7→ (t, t2 , t3 ), t ∈ [1; 3].

Exercice 69 1. Établir si le champ de vecteurs suivant est conservatif sur R2 \ (0, 0) :

x3 + xy 2 + y~ 3x2 y + 3y 3 − x~
V~ = i+ j.
x2 + y 2 x2 + y 2

1
0<r< 1
2

−1 0 1 2 3 x
−1

2. Soit γr la famille de courbes


1
γr (t) = (1 + 2r cos(t), r sin(t)), t ∈ [0, 2π], r > 0, r 6=
2
I
Calculer V~ (t)dt en fonction de r
γr

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL 103

Exercice 70 Montrer que le champ de vecteurs


y ~ x
V~ = − i+ 2
x2 +y 2 x + y2
est non conservatif bien qu’il soit à rotationnel nul.

Exercice 71 1. Établir si le champ de vecteurs suivant est conservatif sur R2

V~ (x, y) = (x − y)~i − x~j.

2. Soit γ1 la courbe d’équation

γ1 (t) = (t2 − t + 1, t2 + 2t), t ∈ [0, 1]

et γ2 le segment
I de droite allant Idu point A ≡ (1, 0) au point B ≡ (1, 3).
Calculer V~ (t)dt. En déduire V~ (t)dt.
γ2 γ1

Exercice 72

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


104 CHAPTER 5. ELÉMENTS DU CALCUL VECTORIEL

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


Chapter 6

Théorie de l’intégration (Mesure de


Lebesgues, espace Lp et espaces de
Sobolev)

6.1 Mesure de Lebesgues


6.1.1 Ensembles mesurables et mesure de Lebesgue

Définition 6.1.1 Un pavé P dans Rd est un produit cartésien de d intervalles de R bornés


(ouvert, fermé, semi-ouvert ou semi-fermé).
d
P = ]ai ; bi [ où ai ≤ bi , des nombres réels, i = 1, ..., d
Y

i=1

Volume du pavé : V = | P |
= (b1 − a1 )(b2 − a2 )...(bd − ad )

Définition 6.1.2 Une union de pavé est dite disjointe si les intérieurs des pavés sont disjoints.

Remarque 6.1.1 Un cube est un pavé pour lequel

b1 − a1 = b2 − a2 = ... = bd − ad

L’intérêt de ces cubes et pavés provient du fait qu’ils approchent bien les ouverts de Rd

Propriété 6.1.1 Tout ouvert θ de Rd peut s’écrire comme union dénombrable de cubes quasi-
disjoints.

105
106 CHAPTER 6. THÉORIE DE L’INTÉGRATION

Définition 6.1.3 Soit E une partie de Rd . On appelle mesure extérieure de E, le nombre réel
défini par
 
X∞ ∞ 
λ∗d (E) : inf |Cj | / ∀ j ≥ 1 où Cj est un cube f ermé et E ⊂
[
Cj
 
j=1 j=1

∞ ∞
Si E = Ej alors λ∗d (E) ≤ λ∗d (Ej )
[ X

j=1 j=1
Si E = E1 ∪ E2 avec d(E1 , E2 ) > 0 alors λ∗d (E) = λ∗d (E1 ) + λ∗d (E2 )
Si E1 et E2 est une réunion disjointe de E ⊂ Rd , alors λ∗d (E1 ∪ E2 ) = λ∗d (E1 ) + λ∗d (E2 )

Rappel


a est un minorant de A
a = inf(A) ⇔ 
∀ ε > 0, ∃ x ∈ A / a ≤ x < a + 
C’est-à-dire le plus grand des minorants

a est un majorant de A
a = sup(A) ⇔
∀ ε > 0, ∃ x ∈ A / a −  < x ≤ a

C’est -à-dire le plus petit des majorants

Définition 6.1.4 Un sous ensemble de Rd est dit Lebesgue mesurable ou mesurable au sens
de Lebesgue ou simplement mesurable, si ∀ ε > 0, ∃ un ouvert θ / λ∗d (θ , E) < ε On retient
donc la propriété suivante

• Tout ouvert de Rd est mesurable

• Toute réunion dénombrable d’ensemble mesurable est mesurable

• Le complémentaire d’ensemble mesurable est aussi mesurable

On peut donc définie la notion de mesure pour un ensemble mesurable E ⊂ Rd , mesurable alors
λ∗d (E) = λd (E).
∞ ∞
Si E = Ei alors λd (E) = λd (Ei )
[ X

i=1 i=1

Propriété 6.1.2 Soit x ∈ Rd x + E = {x + y avec y ∈ E} λd (x + E) = λd (E)

Remarque 6.1.2 On note souvent la mesure de Lebesgue par dx au lieu de λd

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 6. THÉORIE DE L’INTÉGRATION 107

6.2 Espace mesuré et application mesurable

Définition 6.2.1 Soit X un ensemble. On appelle tribu sur X un sous ensemble M de


l’ensemble des parties de X P(X) qui vérifie les conditions suivantes :

1. X ∈ M

2. Si A ∈ M alors A complémentaire de A Ac ∈ M

3. Si (An )n∈N est une suite d’éléments de M alors


[
An ∈ M
n∈N

Les éléments de M sont appelés ensembles mesurables. Un espace mesurable est le couple (X,
M) où X est un ensemble et M une tribu
Exemple 6.2.1 Tribu de Lebesgue sur Rd
L’ensemble des parties de Rd mesurables forme une tribu sur Rd qu’on note souvent ML (Rd )
Exemple 6.2.2 On appelle tribu Borélienne de Rd la tribu B(Rd ) engendrée par les ouverts
de Rd la tribu B(Rd ) engendrée par les ouverts de Rd c’est-à-dire la plus petite tribu de Rd
contenant tous les ouverts de Rd

Définition 6.2.2 Soit XM un espace mesurable.


Une mesure de XM est toute application µ : M → [0; +∞[ [ tel que µ(φ)
X= 0 et si (An )n∈N est
une suite de partie mesurables avec Al 6= Ak ∀ k 6= l alors µ( An ) = µ(An ) (σ addictivité)
n∈N n∈N
Si µ est une mesure sur (X, M) alors le triplet (X, M, µ) est appelé espace mesuré.
Exemple 6.2.3 .

• La mesure de Lebesgue est une mesure sur (Rd , M (Rd ))


• Les
Z mesures àZ poids de la forme dµ(x) = h(x)dx, h > 0 et qui vérifie ∀ f mesurable,
f dµ(x) = f (x)h(x)dx
Rd Rd

• Mesure discrète dµ = dj Saj et qui vérifie ∀f mesurable f (x)dµ(x) = dj f (aj )


P R P
Rd

Définition 6.2.3 On appelle mesure de Radon positif sur un ouvert Ω ⊂ Rd une mesure
positive µ sur la tribu borélienne B(Ω) qui est finie sur le compact K ∀ K compact ⊂ Ω, µ(K) <
∞.
On appelle mesure de Radon toute combinaison linéaire µ1 − µ2 + i(µ3 − µ4 ) où les µi sont des
mesures de mesures de Radon positives.

Définition 6.2.4 Soit (X, M, µ) un espace mesuré et soit P une propriété définie sur X. On
dit que P est vrai µ-presque partout si elle est vrai hors d’un ensemble mesurable de mesure µ
et on écrit P vraie µ-PP. On dit encore que P est vrai pour µ-presque pour tout x dans X. Soit
(X, M) et (Y, N ) deux espaces mesurables. Une application f : X → Y est dite mesurable
lorsque pour tout ensemble N ∀ N ∈ N son image réciproque par f est mesurable. C’est-à-dire
f −1 (N ) ∈ M

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


108 CHAPTER 6. THÉORIE DE L’INTÉGRATION

Exemple 6.2.4 On considère un espace mesurable (X, M) et on munit R de la tribu borélienne.


Pour toute partie A de X, la fonction caractéristique IA est mesurable si et seulement si A est
mesurable.

Définition 6.2.5 (Première tentative de définition d’une mesure).


Une mesure sur un ensemble X est une application µ : P(X) → [0, +∞] avec les propriétés
suivantes :
1. µ(φ) = 0
2. Si (Ai )i∈N est une suite de parties de X deux à deux disjointes, c’est-à -dire si Ai ∩ Aj = φ
+∞
pour tout i 6= j, alors µ( i∈N Ai ) = µ(Ai ).
S X

i=0

Remarque 6.2.1 Ci-dessus, P(X) désigne l’ensemble des parties de X. La définition donnée
plus haut est très exigeante : en général, on ne demande pas que toutes les parties de X aient
une mesure. Ceci amène à introduire une notion un peu plus précise (en particulier, dire
quelles propriétés on attend de l’ensemble des parties qui admettent une mesure, qu’on appelle
les parties mesurables). Dans cette partie du cours, on va prétendre que toutes les parties
sont mesurables ; pour que les théorèmes présentés dans cette partie soient vraiment corrects,
on va ajouter en gras les hypothèses nécessaires de mesurabilité - que vous pouvez ignorer en
première lecture, et sur lesquelles vous pourrez revenir après avoir lu la suite du cours.

Définition 6.2.6 Comme on autorise que des parties aient une mesure infinie (intuitivement,
la mesure généralise les notions de longueur/d’aire/de volume, et on « voit » bien que R, par
exemple, est de longueur infinie), il faut donner quelques précisions :
–Pour tout t ∈ [0, +∞], +∞ + t = t + ∞ = +∞
–Pour tout t fini, +∞ − t = +∞
– (+∞) − (+∞) n’est pas défini.
Dans l’énoncé des propriétés de l’intégrale, on va aussi devoir écrire des multiplications, avec
les conventions suivantes :
– 0 · (+∞) = (+∞) · 0
– Si t > 0, t · (+∞) = (+∞) · t = +∞

Proposition 6.2.1 Soit µ une mesure sur un ensemble X.


–Si A0 , ..., An sont des parties deux à deux disjointes et mesurables, alors
n n
!
Ai = µ(Ai )
[ X
µ
i=0 i=0

–Si A ⊆ B et A et B sont mesurables alors µ(A) ≥ µ(B)

Preuve:
Pour voir que la première propriété est vraie, il suffit de définir An+1 = An+2 = ... = φ et
d’appliquer la définition d’une mesure :
 
n +∞ n +∞ n n
!
Ai = µ  Ai  = µ(Ai ) = µ(Ai ) + µ(Ai ) = µ(Ai ) + 0 = µ(Ai )
[ [ X X X X X
µ
i=0 i∈N i=0 i=0 i=n+1 i=0 i=0

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 6. THÉORIE DE L’INTÉGRATION 109

Pour la deuxième propriété on utilise le fait que B = A ∪ (B \ A) et que et que B A est


mesurable pour écrire:
µ(B) = µ(A) + µ(B \ A) ≥ µ(A).
Attention: si A ⊆ B et et A et B sont mesurables, on a envie d’écrire µ(A) = µ(B) −
µ(B \ A). Ceci peut ne pas avoir de sens, si µ(B \ A) est infini ! Avant d’écrire une telle égalité,
il faut vérifier que µ(B \ A) < +∞ . Pour l’instant, on va se concentrer sur une mesure, sur un
ensemble très particulier : la mesure de Lebesgue sur R.

Définition 6.2.7 Il existe une unique mesure λ sur R (définie sur la tribu borélienne de R),
appelée mesure de Lebesgue et telle que pour tout segment [a, b] on ait λ([a, b]) = b − a.

Remarque 6.2.2 Par convention, Ã chaque fois qu’on écrira [a, b], on supposera que a, b
sont des réels et a ≤ b. Intuitivement, b - a correspond à la longueur du segment [a, b]; la
mesure de Lebesgue permet d’associer une notion de longueur à des parties plus compliquées
de R (au moins, à toutes les parties boréliennes). Notons quelques conséquences immédiates de
cette définition.

Proposition 6.2.2 – Pour tout x ∈ R on a λ({x}) = 0.


– Si (xn ) est une suite de nombres réels, alors λ({x}n∈N ) = 0 .
- Pour tous réels a, b avec a ≤ b on a λ([a, b]) = λ(]a, b[) = λ([a, b[) = λ(]a, b]) = b−a. Une idée
fondamentale en théorie de la mesure est qu’on peut, la plupart du temps, négliger les parties
de mesure nulle : elle n’ont pas d’influence sur la valeur d’une intégrale, par exemple.

Définition 6.2.8 Une partie borélienne A ⊆ R est dite négligeable si λ(A) = 0. On dit aussi
que presque tout x appartient à R \ A, ou encore que x ∈ R \ A est vrai presque partout.
En particulier, si f, g : R → R sont des fonctions boréliennes, on dit que f et g sont égales
presque partout si λ({x : f (x) 6= g(x)}) = 0 (c’est-à -dire, si l’ensemble de tous les x tels que
f (x) 6= g(x) est négligeable, ou encore si f (x) = g(x) pour presque tout x).

0 si x ∈
/N
Exemple 6.2.5 La fonction f définie sur R par f (x) = 
x sinon

est borélienne et nulle presque partout.

6.3 Intégrale de Lebesgues


L’idée de base de la construction de l’intégrale de Lebesgue est la suivante :
Si f : R → R est borélienne et ne prend qu’un nombre fini de valeurs α1 , ..., αn , alors on
Z n
voudrait avoir f dλ = αi λ({x : f (x) = αi }).
X
R i=1
Par exemple, si f est une fonction en escalier (qui est continue par morceaux et donc borélienne),
cette définition nous redonne la valeur habituelle de l’intégrale de f . Dans le cadre de la
théorie de la mesure, on commence par utiliser un procédé de passage à la limite (qu’on ne

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


110 CHAPTER 6. THÉORIE DE L’INTÉGRATION

détaillera pas) pour étendre la définition ci-dessus à l’intégrale de toutes les fonctions positives
et mesurables; une fois qu’on sait intégrer toutes les fonctions à valeurs positives, on peut
définir facilement l’intégrale de n’importe quelle fonction mesurable. En effet, étant donnée
une fonction f , on peut définir sa partie positive f + et sa partie négative f − en posant:
 
f (x) si f (x) ≥ 0 −f (x) si f (x) ≤ 0
f + (x) =  et f − (x) = 
0 sinon 0 sinon
Alors, f + et f − sont deux fonctions mesurables et à valeurs positives, et par définition
f = f + − f + . Si on sait intégrer
Z lesZfonctions mesurables
Z et à valeurs positives, il nous reste
donc simplement à poser f dλ = f dλ − f dλ (et ce processus s’applique pour toute
+ −
R R R
mesure, pas seulement pour la mesure de Lebesgue).
On va admettre qu’on peut construire une notion d’intégrale ayant les propriétés suivantes :
Z
1. Si f est la fonction caractéristique d’une partie A de R borélienne, alors f dλ = λ(A).
R

2. Pour toutes fonctions boréliennes f, g : R → [0, +∞] et toute constante c ≥ 0 , on a :


Z Z Z Z Z
cf dλ = c f dλ et (f + g)dλ = f dλ + gdλ
R R R R R

(En particulier, l’intégrale de la fonction nulle vaut 0.)

3. Pour toutes fonctions boréliennes f, g : R → [0, +∞],


Z Z
si f = g presque partout alors f dλ = gdλ.
R R

4.Pour toutes fonctions boréliennes f, g : R → [0, +∞],


Z Z
si f ≤ g (presque partout) alors 0 ≤ f dλ ≤ gdλ.
R R

Remarque 6.3.1 Il est pratique d’autoriser le fait que les fonctions prennent la valeur
Z +∞ . Si
λ({x : f (x) = +∞}) > 0 et f : R → [0, +∞] est borélienne, alors on a toujours f dλ = +∞.
R
En particulier, si f : R → [0, +∞] est d’intégrale finie alors f (x) < +∞ presque partout, et
on peut se ramener à considérer l’intégrale d’une fonction à valeurs finies en intégrant f sur
l’ensemble {x : f (x) < +∞}, ce que permet la définition suivante.

Définition 6.3.1 Étant donnée une partie A de R borélienne, et f : R → [0, +∞] borélienne,
on définit Z Z
f dλ = f 1A d(λ)
A R
Z
(En particulier, pour toute constante c ≥ 0, cdλ = cλ(A).)
A

Remarque 6.3.2 1A désigne la fonction caractéristique de A, c’est-à -dire que 1A (x) si x ∈ A


et 0 sinon. C’est une fonction borélienne si, et seulement si, A est borélien. Ainsi, f 1A est la
fonction qui est égale à f sur A, et à 0 ailleurs.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 6. THÉORIE DE L’INTÉGRATION 111

Proposition 6.3.1 5. Si A est borélien et λ(A) = 0 alors f dλ = 0 pour toute fonction


R
A
f : R → [0, +∞] borélienne.

6. Si A1 , A2 sont des parties de R boréliennes et disjointes, alors pour toute fonction f : R →


[0, +∞] borélienne, on a Z Z Z
f dλ = f dλ + f dλ.
A1 ∪A2 A1 A2

Remarque 6.3.3 Pour intégrer une fonction à valeurs positives sur une partie A, il suffit
qu’elle soit au moins définie sur A:
Z si f : XZ ⊆ R → R est une fonction borélienne et A une
partie borélienne de X, on définit f dλ = gdλ où g est un (n’importe quel) prolongement
A A
borélien de f à
R

(par exemple g définie par g(x) = f (x) pour x ∈ X et g(x) = 0 pour x ∈ RX ).


Z
Attention: on peut définir l’intégrale f dλ pour toute fonction borélienne f à valeurs
R
positives ; mais cette intégrale peut valoir +∞. Une idée intuitive est que, dans le cas d’une
fonction à valeurs positives, l’intégrale de f coincide avec « l’aire sous la courbe représentative
de f » ; et cette aire peut éventuellement être infinie : par exemple, si f est la fonction constante
égale à 1 sur R, alors le domaine limité par le graphe de f et l’axe des abscisses est un « rectangle
»dont un côté est de longueur 1 est l’autre de longueur infinie, et on voit bien que l’aire d’un tel
domaine est infinie. Mais si f change de signe, alors la notion d’« aire sous la courbe »devient
plus compliquée à interpréter.

Définition 6.3.2 Soit f : X ⊆ R → Z R une fonction borélienne. On dit que f est intégrable
sur une partie A borélienne de X si |f |dλ < +∞.
R

Dans ce cas,f + et f − sont également intégrables sur A (par la propriété (4)) et on définit
Z Z Z
f dλ = +
f dλ − f − dλ
A A A

Z
Attention:dans le cadre de la théorie de Lebesgue, on définit f dλ uniquement quand f
Z A
est intégrable sur A (c.à .d. f dλ < +∞) et on ne considère pas les intégrales généralisées
R
semi-convergentes qui apparaissent dans la théorie de l’intégrale de Riemann.
On retrouve les propriétés (1), (2), (3), (4), (5), (6) ci-dessus qui sont cette fois vraies pour des
fonctions boréliennes intégrables.

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


112 CHAPTER 6. THÉORIE DE L’INTÉGRATION

Proposition 6.3.2 Pour toutes fonctions boréliennes f, g : X ⊆ R → R intégrables sur une


partie borélienne A ⊆ X on a:
1. A 1dλ = λ(A);
R

2. Pour toutes constantes réelles α et β, la fonction αf + βg est également intégrable sur A et


Z Z
(αf + βg)dλ = α dλ + βgdλ (linéarité de l’intégrale);
A A
Z Z
3. si f = g presque partout, alors f dλ = gdλ;
Z A A
4. f ≥ 0 presque partout, alors f dλ ≥ 0 (positivité de l’intégrale);
A Z
si f ≤ g presque partout, alors f dλ ≤ 0 (monotonie de l’intégrale);
Z A
5. si λ(A) = 0 alors f dλ = 0 ;
A

6. Si A1 , A2 sont des parties boréliennes de A telles que λ(A1 ∩ A2 ) = 0, alors


Z Z Z
f dλ = f dλ + f dλ
A1 ∪A2 A1 A2

On a de plus
7. L’inégalité triangulaire
Z Z Z
(f + g)dλ ≤ |f |dλ + |g|dλ
A A A

6.3.1 Intégrale de Lebesgue sur Rd

Définition 6.3.3 On appelle fonction étagée toute combinaison linéaire finie d’indicatrice

d’ensemble mesurable ϕ = αj IAj , αj ∈ R, Aj ⊂ Rd est mesurable.
X

j=1

Définition 6.3.4 On appelle intégrale de ϕ dans Rd la quantité


Z m
ϕdλj = αj λd(Aj ) ⊂ [0, +∞[
X
Rd j=1

Propriété 6.3.1 Soit f : Rd → [0; +∞] une fonction mesurable.


Alors ∃ une suite (ϕn )n∈N : Rd → [0; +∞] de fonction étagée mesurable telle que

1. 0 ≤ ϕn ≤ ϕn+1 ≤ f ∀n ∈ N

2. (ϕn )n∈N converge simplement vers f.

De plus f est bornée sur A ⊂ X la suite converge uniformément vers f sur A ⊂ X

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 6. THÉORIE DE L’INTÉGRATION 113

6.3.2 Extensions aux fonctions à valeurs dans R ou dans C


Soit f : Rd → R une application mesurable. Notons f+ et f− les applications f+ = max(f, 0)
et f− = max(−f, 0). Les applications f+ et f− sont mesurables et sont à valeur dans [0; +∞]

f = f+ − f− et | f |= f+ + f−

Définition 6.3.5 Une application f : Rd → R est dite intégrale par mesure de λd si f est
mesurable et Rd | f | dλd < ∞. Dans ce cas on appelle intégrale
R

Z Z Z
f dλd = f+ dλd − f− dλd
Rd Rd Rd

et on note L1 (Rd ), l’ensemble des fonctions intégrables à valeurs réelles.

6.3.3 Théorème de convergence dominé


Soit fn : Rd → C une suite de fonctions intégrables. On suppose que:

1. Il existe une fonction f : Rd → R telle que fn convergence simplement vers f presque


partout sur Rd

2. Il existe une fonction f : Rd → [0; +∞[ / ∀ n ∈ N, | fn |≤ g presque partout sur Rd

Alors, la fonction f est intégrable sur Rd et on a:


Z Z Z Z
lim | f − fn |= 0 et lim fn = lim fn = f
n→+∞ Rd n→+∞ Rd Rd n→+∞ Rd

R √n t2 n
Exemple 6.3.1 Calculer : limn→+∞ 0 (1 − n
) dt; n ∈ N∗

Résultats
Z √n
t2 n Z R
t2
(1 − ) dt = 1[0,√n] (1 − )n dt
0 n 0 n

Posons fn :R → [0; +∞[


t2 n
t 7→ 1[0,√n] (1 − )
n

t2
lim fn = lim 1[0,√n] exp(n ln(1 − ))
n→+∞ n→+∞ n
= exp(−t2 )
t2
∀ t ∈ R, fn (t) =1[0,√n] exp(n ln(1 − ))
n

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


114 CHAPTER 6. THÉORIE DE L’INTÉGRATION

Vérifions si ln(1 + t) ≤ t
Soit ϕ : t 7→ ln(t + 1) − t
0 t2
ϕ (t) = 1+t
−t
∀ t ∈ ]−1; +∞[ ln(1 + t) ≤ t alors n ln(1 − n
) ≤ −t2 donc fn (t) = exp(−t2 )

Z √n √
t2 n Z n t2 n
lim (1 − ) dt = lim (1 − ) dt
n→+∞ 0 n 0 n→+∞ n
Z +∞
= exp(−t2 )dt d’où
Z √n √0
t2 n π
lim (1 − ) dt =
n→+∞ 0 n 2

6.3.4 Intégrale dépendant d’un paramètre


Continuité sous le signe intégrale

Soit a ∈ Rp . On considère f : Rp x Rd → C telles que :

1. ∀ x ∈ Rp , l’application partielle fx : y 7→ f (x, y) est mesurable

2. ∀ y ∈ Rd , l’application partielle fy : x 7→ f (x, y) est continue en a

3. ∃ g ∈ L1 (Rd , R+ ) / | f (x, y) |≤ g(y)


∀x ∈ Rp et pour presque tout y ∈ Rd alors la fonction
Z
F : Rd → C / F (x) = f (x, y)dµ(y)estv bien définie et continue au point a
Rd

6.3.5 Dérivabilité sous le signe intégrale


Soit θ un ouvert de Rd
f : θ x Rd → C telles que :

1. ∀ x ∈ Rp , fx : y 7→ f (x, y) est intégrable

2. ∀ y ∈ Rd , fy : x 7→ f (x, y) est de classe C1 sur θ

3. ∃ g ∈ L1 (Rd , R+ ) / | ∂x
∂f
i
(x, y) |≤ g(x),
∃ x ∈ R et pour presque tout y ∈ Rd
p

alors la fonction F : Rd → C / F (x) = f (x, y)dµ(y) est bien définie et de classe C 1 sur θ
R
Rd

∂F (x) Z ∂f
= (x, y)dµ(y)
∂xi Rd ∂xi

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 6. THÉORIE DE L’INTÉGRATION 115

6.4 Espaces Lp
Les espaces de Lebesgues sont des espaces fondamentaux en théorie de l’intégration.

Définition 6.4.1 (espaces de Lebesgues).


Soit (X, B, s) un espace mesuré et p > 1 un réel. On appelle espace de Lebesgues Lp (X)
l’ensemble des fonctions f : X → C qui sont mesurables et qui vérifient
Z
|f |p ds < +∞
X

L’espace vectoriel Lp (X) est muni de semi-norme


Z 1/p
kf k =
p
|f | ds < +∞
p
X

Ce n’est en général pas une norme. Par exemple , si (X, B, s) est R muni de la tribu des
boréliens et de la mesure de Lebesgues , la fonction valant 1 en un point x0 et nulle ailleurs a
une norme égale à 0 sans être identiquement nulle.
Pour faire de Lp (X) un espace normé, il faut identifier les fonctions qui sont égales presque
partout : l’ensemble des classes d’équivalence modulo cette relation est noté Lp (X). C’est un
espace de Banach pour la norme précédente.

Le cas p = +∞ est un peu particulier. L+∞ (X) est défini comme l’ensemble des fonctions
f : X → C mesurables telles qu’il existe un réel C > 0 avec |f | ≤ C s-presque partout. On le
munit de la semi-norme

kf k∞ = inf {C > 0 : |f | ≤ C s − presque partout}

Comme précédemment, l’ensemble des classes d’équivalence de cet espace pour la relation
d’égalité presque partout forme un espace de Banach, noté L∞ (X)

Soit P ∈ R∗+ . On note Lp (Rd ) l’ensemble des fonctions f mesurables de Rd dans C qui
vérifie : Rd | f |p dλp < ∞
R

Définition 6.4.2 On appelle Lp (Rd ) l’espace des classes de fonctions égale presque partout qui
sert dans Lp (Rd ). Plus précisement, on définit la relation d’équivalence ∼ sur Lp (Rd ) par :
f ∼ g ⇔ f = g presque partout et dans ce cas Lp (Rd ) = Lp (Rd ) / ∼ On identifier alors la
classe d’équivalence de f ∈ Lp (Rd ) qui est un élément de Lp (Rp ) avec son représentant f
1
Pour f ∈ Lp (Rd ), on pose k f kp = ( Rp | f |p dλd ) p
R

L’application k · kp : f 7→k f kp est une norme sur Lp (Rd )

Remarque 6.4.1 Pour un ouvert Ω de Rd , R


on définit également Lp (Ω) := {f, mesurable / Ω | f |p dλd < ∞}.
Dans les espaces Lp (1 ≥ p < ∞) on a un théorème de convergence dominé en remplaçant
intégrale par g ∈ Lp et la convergence à lieu dans Lp

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


116 CHAPTER 6. THÉORIE DE L’INTÉGRATION

6.4.1 Inégalité de Hölder


Soit f et g deux fonctions mesurables de Rd dans [0; +∞] alors ∀ p ≥ 1, si q est l’exposant
conjugué de p c’est-à-dire p1 + 1q = 1 et f ∈ Lp (Rp ), g ∈ Lp (Rp ) alors f xg ∈ L1 (Rp ) et
Z
f gdλd ≤k f kLp (Rd ) k g kLq (Rd )
Rd

6.4.2 Théorème de Fubini


Soit f ∈ L1 (Rd+p ). Alors les fonctions : x 7→ f (x, y)dy et y 7→ f (x, y)dx L1 (Rd ) et
R R
Rp Rd
L1 (Rp ) de plus :
Z Z Z Z Z Z
f (x, y)dxdy = ( f (x, y)dx)dy = ( f (x, y)dy)dx
Rd+p Rp Rd Rd Rp

6.4.3 Théorème du changement de variable


Soit ϕ : U → V = ϕ(U ).
Un C 1 -difféomorphisme entreR deux ouverts Rde Rd , alors pour toute fonction g mesurable et
positive g : ϕ(U ) → [0; +∞], ϕ(U ) g(x)dx = U g(ϕ(x)) | det Jϕ (x) | dx.
De plus une fonction f mesurable f : ϕ(U ) → C est intégrable sur ϕ(U ) si et seulement si
f ◦ ϕ | det Jϕ(·) | est intégrable sur U et on a:
Z Z
f (x)dx = f (ϕ(x)) | det Jϕ (x) | dx
ϕ(U ) U

ϕ(t) = x ; dx =| det Jϕ (x) | dt.

6.5 Espaces de Sobolev


6.5.1 Introduction

Définition 6.5.1 (Espace de Hilbert)


Un espace de Hilbert est un espace vectoriel H muni d’un produit scalaire hu, vi, et qui est
complet pour la norme hu, vi1/2 Un produit scalaire hu, vi est une forme bilinéaire de H × H
dans R symétrique, définie positive.

Théorème 6.5.1 (Théorème de projection)


Soit K ⊂ H, H Hilbert, K convexe fermé non vide. Alors pour tout u ∈ H il existe v ∈ K
unique t.q.
ku − vk = inf ku − wk = min ku − wk.
w∈K w∈K

De plus v caractérisé par

v ∈ K, hu − v, w − vi ≤ 0, ∀ w ∈ K.

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur


CHAPTER 6. THÉORIE DE L’INTÉGRATION 117

6.6 Exercices
R +∞ exp(−xt2 )
Exercice 73 Prouver que F : x 7→ 0 1+t2
dt est de classe C 1 sur R∗+

Résultats
Z +∞
exp(−xt2 )
F : x 7→ dt
0 1 + t2

Soit f : R∗+ x R → R
exp(−xt2 )
(x, t) 7→
1 + t2
2
Pour x ∈ R∗+ fixe la fonction t 7→ exp(−xt 1+t2
)
est continue sur R+ donc +∞ est la seule borne
impropre.
Z +∞
exp(−xt2 )
dt,
0 1 + t2 2)
on a ∀x ∈ R∗+ et t ∈ R | exp(−xt
1+t2 |≤ 1+t1
2 et

dt = limx→+∞ [arctan(t)]0 = limx→+∞ (arctan(x) − arctan(0)) = π2 < ∞ alors elle est


R +∞ 1 x
0 1+t2
intégrable.
2)
Pour t ∈ R+ , la fonction x 7→ exp(−xt
1+t2
est de classe C 1 sur R∗+ , et
−t2 exp(−xt2 )
on a ∀(x, t) ∈ R∗+ XR+ , ∂f
∂x
(x, t) = 1+t2
−t2 exp(−xt2 )
La fonction (x, t) 7→ 1+t2
est continue sur R∗+ x R et
2 2 2 2) exp(−xt2 )
t2
∀ (x, t) ∈ R∗+ x R+ , | −t exp(−xt
1+t2
)
|= t exp(−xt
1+t2
; 1+t 2 ≤ 1 alors
≤ exp(−xt2 )
1+t2
Soit a > 0 tel que x ∈ ]a; +∞[ on a : x > a donc −x < −a alors exp(−xt2 ) < exp(−at2 ).
2 2)
Ainsi | −t exp(−xt
1+t2
|≤ exp(−at2 )
Posons g(t) = exp(−at 2
) √
; = 0+∞ exp(−( at)2 )dt
R +∞ R +∞

R
0 g(t)dt < 0 g(t)dt
√ √
u = at du = 2√πa < ∞
D’où F est de classe C 1 sur R∗+ .

Exercice 74 Calculer I = exp(−x2 )dx


R +∞
−∞

Résultats

I= π

Exercice 75 On définit une suite {An } de sous ensemble de R la limite supérieure et inférieure
∞ [
∞ ∞ \

de An en posant respectivement lim An = An et lim An =
\ [
An
n→+∞ n→+∞
k=1 n=1 k=1 n=1

1. Prouver que si An est mesurable pour tout n ∈ N∗ alors la mesure de la limite inférieure de
A est inférieure ou égale à la limite inférieure de la mesure de An m(lim inf n→+∞ An ) ≤
lim inf n→+∞ m(An )

2. Prouver que si de plus m(An ∪An+1 ∪. . . ) < ∞ alors m(lim supn→+∞ An ) ≤ lim supn→+∞ m(An )

Méthodes Mathématiques de l’Ingénieur Copiright@ Jamal Adetola ENSGMM I


118 CHAPTER 6. THÉORIE DE L’INTÉGRATION

m(A) : mesure de A

Exercice 76 On dit que {An } converge si lim inf n→+∞ An = lim supn→+∞ An et on note
limn→+∞ An

1. Prouver qu’une suite monotone d’ensemble est convergente

2. Prouver que si une suite d’ensemble mesurable An / An ⊂ B et mes(B̄) fini converge


alors la mesure de la limite de An est

lim (m(An )) = m( lim (An ))


n→+∞ n→+∞

Exercice 77 Soit f : [0; 1] → R une fonction continue telle que f (0) = f (1) = 0 On pose A =
{h ∈ [0; 1] / f (x + h) = f (x), pour un certain x ∈ [0; 1]} Prouver que la mesure de Lebesgue
de A est au moins égale à 12

Exercice 78 .

1. Prouve que ϕ : x 7→ −∞
+∞ arctan(x+t)
est définie et dérivable sur Rpuis calculer sa fonction
R
1+t2
dt
dérivée. En déduit ϕ(x)
π
2. Calculer à l’aide d’une relation de récurrence l’intégrale In = sin(2n+1)
n∈N
R 2
0 sin(x)
dx,
h i
3. Etudier les variations sur 0; π2 de la fonction ϕ : x 7→ 1
x
− 1
sin(x)
π
4. Prouve que : limn→+∞ ( x1 − 1
) sin(2x + 1)xdx = 0 en utilisant la seconde formule
R 2
0 sin(x)
de la moyenne

5. En déduire que dx =
R +∞ sin(x) π
0 x 2
R +∞ sin3 (t)
6. En déduire que f (x) = dt, g(x, y) = dt et h =
R +∞ sin(tx) R +∞ sin(tx) sin(ty)
0 t 0 t 0 t3
dt

Copiright@ Jamal Adetola ENSGMM I Méthodes Mathématiques de l’Ingénieur

Vous aimerez peut-être aussi