Anne 2012-2013

Cours dAnalyse Mathmatique II

F. Bastin

Prise de notes rdige par

Alice Salmon.

Avec la participation de :

Nicolas Ghaye (schmas)

Sandy Assent (relecture)

Prface
Avertissement
Ce texte rsulte dune mise en forme de notes prises au cours durant lanne acadmique 20062007. Ces notes ont ensuite t mises jour pour correspondre lanne 2007-2008 1 . Lessentiel
de la matire sy trouve donc en structure. Cependant, comme il sagit de notes prises en
direct , le texte ne reprend pas toutes les nuances, toutes les prcisions, toutes les explications,
tous les exemples et rfrences signals loccasion du cours oral (et ventuellement des sances
de questions-rponses et aux rptitions). Il ne constitue pas ce que lon peut appeller un
syllabus de cours, mais plutt un support quil convient de complter de faon personnelle en
suivant le cours et en cherchant les complments dinformations ncessaires.
Il convient aussi de bien faire attention la diversit des notations qui peut apparatre en
fonction des divers enseignants et syllabi. On citera pour rfrences de base :
EK : Kreyszig, Erwin, Advanced engineering mathematics, 9e dition : Wiley International
Editions, 2006.
ED : Delhez, Eric, Analyse, Centrale des cours de lA.E.E.S., 2006.
http ://www.afo.ulg.ac.be/ , site sur lequel il ne faut pas oublier de rcuprer les fichiers
pdf.
Il est galement important de remarquer que ces notes sont le fruit du travail des annes
acadmiques 2006-2007 et 2007-2008 et des ajouts/suppressions/corrections y ont t apports
depuis lors. Dans cet ordre dide, il est aussi important de noter que des complments sont
disponibles sur le site internet (via les pages de Mme Bastin relatives ce cours).
Remarque sur ldition 2012-2013 : cette version est pratiquement celle de 2011-2012 ; les
seules mises jour sont cette prface et une faute de frappe corrige dans la preuve du thorme
des rsidus.

Conseils
Les dmonstrations qui sont dans ces notes sont insuffisantes dans le sens o restitues
telles quelles lors de lexamen, elles ne rencontrent pas compltement les attentes de Mme Bastin.

Remerciements
Je tiens particulirement remercier Mme Bastin qui ma encourage publier ces notes de
cours afin daider les tudiants.
Elle ma permis dy apporter quelques modifications utiles pour la comprhension de tous.
1. Si vous retrouvez des erreurs ou des fautes de frappe vous pouvez en faire part F. Bastin

Introduction
Le cours est divis en trois parties principales : Analyse vectorielle, Fonctions holomorphes dune variable complexe, Introduction lanalyse de Fourier. Ces trois parties
installent et/ou prcisent des concepts danalyse mathmatique (Analyse II) tout fait classiques
et abondamment utiliss dans tout cursus dtudes scientifiques dingnieur.

Analyse vectorielle
Lanalyse vectorielle traite de vecteurs qui dpendent de variables, cest--dire de fonctions
valeurs vectorielles. On peut donc leur appliquer la fois des oprations algbriques (produit
scalaire, produit vectoriel) et des oprations relevant de lanalyse (drivation, intgration). Cette
notion est fondamentale car elle permet de modliser des grandeurs que lon souhaite dcrire en
chaque point et dont on souhaite ventuellement tudier lvolution au cours du temps (champ
magntique, lectrique, gravifique, . . . ). Les fonctions vectorielles (resp. scalaires) sont dans ce
cas plutt appeles champs vectoriels (resp. scalaires) et il importe de sassurer que les notions
introduites sont indpendantes des coordonnes servant les modliser.
La modlisation et ltude des phnomnes, des situations concrtes, passent ainsi par des
galits, des quations, faisant intervenir des champs, leurs drives, des intgrales (le long de
chemins, sur des surfaces). Une bonne connaissance des dfinitions et rsultats mathmatiques
faisant intervenir ces diverses notions est donc fondamentale pour aller de lavant dans les applications.
Cest la raison pour laquelle sont prsents dans le cadre de ce cours les oprateurs gradient,
divergence, rotationnel, leurs proprits fondamentales ainsi que plusieurs rsultats (comme le
thorme de Stokes 2 ) les faisant intervenir dans des intgrales de surface et curvilignes.

Fonctions dune variable complexe ; fonctions holomorphes

La thorie des fonctions de variables complexes se distingue de celle des variables relles.
Bien sr, un complexe peut tre vu comme un couple de rels (cest mme sa dfinition) : une
fonction de n variables complexes peut donc tre vue comme une fonction de 2n variables relles.
Cependant, la richesse des oprations que lon introduit au sein de lensemble des complexes,
leur signification gomtrique, en font un monde part , bien plus complexe que le cas
rel . Des rsultats assez surprenants (pour lintuition) apparaissent ; leur interprtation directe
est parfois difficile, cela mme par leur nature pleinement gomtrique ds le dpart.
Pourtant, lintervention de la complexification de grandeurs physiques (penser la thorie
du potentiel par exemple) permet de simplifier leur tude, car elle autorise lutilisation de
2. qui reprsente en fait un des piliers sur lequel pourrait se baser une grande partie de la thorie si on labordait
sous un autre angle.

rsultats puissants relatifs la thorie des fonctions de variables complexes, holomorphes en

particulier.
En guise de brve entre en matire (il ne sagit pas ici de reproduire la table des matires
prcise de cette partie), disons simplement quune fonction holomorphe est une fonction dune
variable complexe, valeurs complexes, qui est drivable au sens complexe :
f (z + h) f (z)
hC
h

lim

h0,

C.

Cette simple proprit est en fait quivalente (sous de faibles hypothses) au fait que f vrifie
lquation de Cauchy-Riemann (intimement lie lquation de Laplace)
Dx f + iDy f = 0
ou encore que son intgrale (curviligne) le long dune courbe ferme qui se dforme sur un point
est nulle
Z
Z
Z
f (z) dz = f (z) dx + i f (z) dy = 0
C

ou encore quelle se dveloppe localement en srie de puissances (Taylor). Bien sr, ceci ne
prendra tout son sens et sa force que lorsque les conditions prcises de validit seront installes.
Nanmoins, ces diffrentes expressions dune mme notion (dfinition) laissent entrevoir dj la
richesse des proprits de ces fonctions.
Notons encore que le terme fonction analytique complexe est parfois utilis la place de
fonction holomorphe .

Une introduction lanalyse de Fourier

La thorie de Fourier est prsente dans tellement de domaines et dapplications quune liste
exhaustive est impossible raliser ; en bref, disons simplement que son intervention en analyse
du signal est absolument fondamentale et que pour en faire une bonne utilisation (puisquelle est
suppose modliser des phnomnes prcis) il sagit den connatre la dfinition mathmatique,
de mme que les proprits fondamentales.
Dans le cadre de ce cours, on se contentera dune brve introduction, soutenue par linstallation dun cadre mathmatique rigoureux et permettant dj dentrevoir lampleur des applications.
Cette partie consistera ainsi simplement introduire la notion de transformation de Fourier
dune fonction intgrable et celle de srie trigonomtrique de Fourier.
Il est vrai que le cadre naturel de modlisation de diverses notions physiques utilise plutt
le cadre des fonctions de carr intgrable (L2 (Rn )). Cependant, ltude de celles-ci et de leur
transforme de Fourier, ncessite un bagage mathmatique relativement consquent. Par ailleurs,
la plupart des proprits se dduisent ( laide doutils mathmatiques non disponibles ce stade)
de celles de la transforme des fonctions intgrables. Ces transformes sexprimant directement
sous la forme dintgrales (ce qui nest pas le cas des transformes dans L2 qui demandent un
recours une limite), une bonne connaissance de la thorie de lintgration et de certains rsultats
danalyse de base suffisent en asseoir une introduction solide, susceptible dtre immdiatement
utilise et rapidement rentabilise (dans des cours un peu plus avancs).
Dans le mme esprit, lespace tout fait gnral L2 (A) (o A nest plus lespace tout entier)
joue aussi un rle considrable, notamment par le fait que cest un espace de Hilbert et que la
notion de base orthonorme et de dcomposition dans une base orthonorme y est exploitable,

ouvrant grand la porte toute une srie dapplications (thorie spectrale, analyse numrique et
rsolution dquations diffrentielles ou aux drives partielles, analyse du signal,. . . ) Dans le
cadre de ce cours, nous nous contenterons dtudier le cas des espaces L2 ([a, b]), o a, b sont des
rels. Ces espaces jouent un rle fondamental en analyse du signal, permettant notamment de
dcomposer un signal priodique en une srie faisant simplement intervenir une somme de sinus
et de cosinus (de mme priode) et dans laquelle les coefficients correspondent (en un sens
prciser) aux diffrentes frquences.

Table des matires

1 Rappels
1.1 Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Drivabilit, continuit, cas des fonctions dune variable ou de plusieurs variables
relles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Dfinition de la continuit . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2 Dfinition de la drivabilit . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.3 Dfinition dune fonction continment drivable . . . . . . . . . . . . . . .
1.2.4 Drivation des fonctions composes . . . . . . . . . . . . . . . . . . . . . .
1.3 Intgration (Lebesgue) une ou plusieurs variables . . . . . . . . . . . . . . . . .
1.3.1 Dfinitions et proprit gnrales . . . . . . . . . . . . . . . . . . . . . . .
1.3.2 Les critres de la convergence majore (Lebesgue) et monotone (Levi) . .
1.3.3 Critres pratiques dintgrabilit (n = 1) . . . . . . . . . . . . . . . . . . .
1.3.4 Techniques dintgration une variable . . . . . . . . . . . . . . . . . . . .
1.3.5 Intgration plusieurs variables et permutation de lordre . . . . . . . . .
1.3.6 Intgration par changement de variables . . . . . . . . . . . . . . . . . . .
1.3.7 Le thorme des intgrales paramtriques . . . . . . . . . . . . . . . . . .
1.3.8 Les intgrales flches . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9
9
10
10
11
12
12
13
14
15
16
17
18
20

2 Analyse vectorielle
2.1 Notions fondamentales (considres vues) . . . . . . . . . . . . .
2.1.1 Notations . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Fonctions vectorielles, champs vectoriels . . . . . . . . . . . . . .
2.2.1 Notion de drivation . . . . . . . . . . . . . . . . . . . . .
2.2.2 Exemples courants de fonctions vectorielles . . . . . . . .
2.3 Oprateurs vectoriels . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Le gradient . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2 La divergence . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.3 Le rotationnel . . . . . . . . . . . . . . . . . . . . . . . . .
2.4 Relations importantes entre les oprateurs vectoriels . . . . . . .
2.4.1 Thormes de primitivation : Rciproque 1 . . . . . . . .
2.4.2 Thormes de primitivation : Rciproque 2 . . . . . . . .
2.4.3 Thorme de primitivation 3 : dans le cas de la divergence
2.5 Courbes, surfaces et intgrales associes . . . . . . . . . . . . . .
2.5.1 Dfinitions et rappels . . . . . . . . . . . . . . . . . . . . .
2.5.2 Longueur dune courbe et aire dune surface . . . . . . . .
2.5.3 Intgrale sur un chemin (une courbe) . . . . . . . . . . . .
2.5.4 Intgrale curviligne, le long dun chemin . . . . . . . . . .

21
21
21
22
23
24
24
24
25
25
26
27
30
30
31
31
35
35
36

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

9
9

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

36
37
37
39
39
41
42
44
44
46

3 Fonctions holomorphes
3.1 Introduction et notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1 Un cas particulier dintgrales curvilignes . . . . . . . . . . . . . . . .
3.1.2 Premires proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Dfinition dune fonction holomorphe . . . . . . . . . . . . . . . . . . . . . . .
3.2.1 Proprits directes mais fondamentales . . . . . . . . . . . . . . . . . .
3.2.2 Remarques au sujet de lquation de Cauchy-Riemann . . . . . . . . .
3.3 Proprits relatives aux intgrales des fonctions holomorphes . . . . . . . . . .
3.4 Proprits de type gnral relatives aux fonctions holomorphes . . . . . . . .
3.5 Quelques exemples dintgrales dans ce cadre . . . . . . . . . . . . . . . . . .
3.6 Primitives dans le cadre des fonctions holomorphes . . . . . . . . . . . . . . .
3.7 Fonctions holomorphes lmentaires . . . . . . . . . . . . . . . . . . . . . . .
3.7.1 Le logarithme complexe . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7.2 Dfinition de la puissance gnralise . . . . . . . . . . . . . . . . . . .
3.8 Formule intgrale de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8.1 Preuve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8.2 Consquences de la formule dintgration de Cauchy . . . . . . . . . .
3.9 Sries de puissances, sries de Taylor . . . . . . . . . . . . . . . . . . . . . . .
3.9.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.9.2 Rayon de convergence, disque de convergence dune srie de puissances
3.9.3 Dveloppement de fonctions holomorphes en sries de puissances . . .
3.9.4 Zros des fonctions holomorphes . . . . . . . . . . . . . . . . . . . . .
3.10 Thorme des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10.1 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10.2 Remarques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10.3 Dmonstration du thorme de Laurent . . . . . . . . . . . . . . . . .
3.10.4 Ples et singularit essentielles . . . . . . . . . . . . . . . . . . . . . .
3.10.5 Thorme des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11 Rsultats complmentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11.1 Encoches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11.2 Lemme de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11.3 Application dans les intgrales flches . . . . . . . . . . . . . . . . . .
3.11.4 Transformation de Laplace . . . . . . . . . . . . . . . . . . . . . . . .
3.11.5 Application dans un cas particulier . . . . . . . . . . . . . . . . . . . .
3.11.6 Transformation conforme . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

49
49
49
50
50
51
52
52
53
53
53
54
54
56
56
56
58
60
60
61
62
63
64
64
65
66
69
71
75
75
76
76
77
78
81

2.6

2.7
2.8

2.5.5 Intgrale sur une surface . . . . . . . . . . . . . .

2.5.6 Intgrale surperficielle, le long dune surface . . .
2.5.7 Notion dorientation et dinvariance des intgrales
Formules . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.1 Formule de Green dans le plan . . . . . . . . . .
2.6.2 Formule de Gauss ou Thorme de la divergence
2.6.3 Formule de Stokes . . . . . . . . . . . . . . . . .
Lindpendance des intgrales . . . . . . . . . . . . . . .
2.7.1 Homotopie de chemins . . . . . . . . . . . . . . .
Champ exact . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

4 Introduction lanalyse de Fourier

4.1 La transforme de Fourier dans L1 (Rn ) . . . . . . . . . . . .
4.2 Thorme sur les Transformes de Fourier dans L1 . . . . .
4.2.1 Proprits gnrales . . . . . . . . . . . . . . . . . .
4.2.2 Proprit de transfert . . . . . . . . . . . . . . . . .
4.3 Thorme de Fourier . . . . . . . . . . . . . . . . . . . . . .
4.4 Espace vectoriel complexe, norm, de Hilbert . . . . . . . .
4.4.1 Proprits dun espace vectoriel complexe de Hilbert
4.4.2 L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Dveloppement en srie trigonomtrique de Fourier . . . .
4.5.1 Exemples . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

82
82
83
84
85
86
86
87
88
91
92

Chapitre 1

Rappels
Rfrences du chapitre
Thorie
Cours de premier bac ingnieur (les parties de ce cours parsmeront ce chapitre avec des
remarques).
Dans le EK (livre de rfrences) : paragraphes 9.6, 10.3, 9.1, 9.2, 9.3.
Exercices
Exercices du EK (se trouvant la fin des sections et la fin du chapitre).
Liste(s) dexercices disponible(s) sur le site du service : http ://www.afo.ulg.ac.be/

1.1

Notations

Une fonction est une loi mathmatique, elle est dsigne par une lettre par exemple : f , g,
...
La valeur de la fonction en un point est quant elle dsigne par f (x), g(x, y), (x, y, z),
...

1.2

Drivabilit, continuit, cas des fonctions dune variable ou

de plusieurs variables relles

Remarque : Attention aux diffrents comportements selon que f est dfinie sur une partie de R
ou une partie de Rn , n > 1
f : A R (ou C)
Rn

A
A est suppos ouvert 1 quand on parle de drive.

1.2.1

Dfinition de la continuit

f est continu en x0 A si limxx0 f (x) = f (x0 ).

1. Un ensemble ouvert (ou simplement un ouvert) de Rn est un ensemble de points de Rn tel que tout point
de possde un voisinage (une boule ouverte) entirement compris dans .

1.2.2

Dfinition de la drivabilit

Pour n=1
f est drivable en x0 A si limh0

f (x0 +h)f (x0 )

h

existe et est finie.

Notation : Df (x0 ) est la drive de la fonction f en x0 .

NB : Si f est drivable en x0 alors f est continu en x0 :
f (x) f (x0 )
.(x x0 )
x x0
f (x) f (x0 )
lim (f (x) f (x0 )) = lim [
.(x x0 )] = 0
xx0
xx0
x x0
f (x) f (x0 ) =

(x0 )
car limxx0 f (x)f
= Df (x0 ) C (f est drivable en x0 ) et le produit dun nombre par
xx0
0 = limxx0 (x x0 ) vaut toujours 0.

Pour n>1
Mettons-nous dans le cas o n = 2 :
f : A R (ou C)
A R2 est un ouvert du plan.
On dit que f est drivable par rapport sa premire variable (resp. seconde variable)
au point (x0 , y0 ) A lorsque limh0 f (x0 +h,y0h)f (x0 ,y0 ) existe et est finie (resp. lorsque
(x0 ,y0 )
limh0 f (x0 ,y0 +h)f
existe et est finie). Dans ces cas, les limites sont appeles drives
h
partielles et on dit que f est drivable en (x0 , y0 ).
Notations : Dx f (x0 , y0 ) ou
Remarque :
continue.
Exemple :

f
x (x0 , y0 ).

Une fonction plusieurs variables drivable en un point ny est pas forcment

f :R R:


(x, y)

= 0 si (x, y) = (0, 0)
= x2xy
si (x, y) 6= (0, 0)
+y 2

est drivable sur R2 mais nest pas continue en (0, 0).

NB : une fonction peut tre continue sans pour autant tre drivable.
Remarque : Lorsque n >1 et que la fonction f est drivable en un point en ses deux variables
et que ses drives sont continues, alors la fonction est continue en ce point.

1.2.3

Dfinition dune fonction continment drivable

f : A Rn R(C) est continment drivable dans A si ses drives partielles existent en tout
point de A et si celles-ci sont des fonctions continues sur A.

10

1.2.4

Drivation des fonctions composes

Remarque :
f (g) ou f (g1 , , gJ ) avec J > 1 sont deux cas ayant des hypothses diffrentes pour la
drivation des fonctions composes. Pour J > 1 on doit supposer f continment drivable.
Lorsque lon parle de drivation on travaille toujours avec des ouverts.
g et les gj sont dfinies dans une partie de Rn et valeurs relles (dans ce chapitre on ne
parle pas de fonctions dfinies sur une partie de Cn ).
J=1
Si g est drivable dans R si f est drivable dans I R et si {g(x) : x } I alors
f (g) et drivable dans et
D f (g(x)) = (Df )(g(x)) Dg(x)
| {z }

J>1 (et exemple de n = 2)

Soit f une fonction de deux variables x et y, continment drivable ; soient f1 et f2 deux autres
fonctions de deux variables x0 et y 0 , drivables. On dfinit la fonction compose F par


F (x0 , y 0 ) = f f1 (x0 , y 0 ) , f2 (x0 , y 0 )
et on a (analogue pour la drive partielle par rapport la seconde variable)



Dx0 F (x0 , y 0 ) = Dx f f1 (x0 , y 0 ), f2 (x0 , y 0 ) Dx0 f1 (x0 , y 0 )



+ Dy f f1 (x0 , y 0 ), f2 (x0 , y 0 ) Dx0 f2 (x0 , y 0 )
avec les relations naturelles habituelles entre les ouverts o les fonctions sont drivables.
Notion de drive totale
Soit f (x, y, z) : x = x(t); y = y(t); z = z(t)
les drives par rapport t sont notes : x = Dx(t) y = Dy(t) z = Dz(t)
On pose :
F (t) = f (x(t), y(t), z(t))
Par le thorme de drivation des fonctions composes (avec les hypothses habituelles)
DF (t) = (Dx f )(x(t),y(t),z(t)) Dx(t) + (Dy f )(x(t),y(t),z(t)) Dy(t) + (Dz f )(x(t),y(t),z(t)) Dz(t)
En notation abrge :
DF (t) =

f
f
f
x +
y +
z
x
y
z

11

Drive directionnelle
On cherche dfinir la drive de la fonction f dans la direction de ~h au point (x0 , y0 , z0 ).
On procde comme suit :
~
Soit ~h = [h1 , h2 , h3 ] (~h 6= ~0) et ~h = ~h
||h||

x(t) = x0 + t.h1
y(t) = y0 + t.h2
z(t) = z0 + t.h3
Par le thorme des fonction composes :



DF (0) = DF (t)t=0 = Df (x0 + t.h1 , y0 + t.h2 , z0 + t.h3 ) t=0
= D1 f (x0 , y0 , z0 ).h1 + D2 f (x0 , y0 , z0 ).h2 + D3 f (x0 , y0 , z0 ).h3
On introduit le vecteur des drives partielles le gradient :
h
i
~ = D1 f (x0 , y0 , z0 ) , D2 f (x0 , y0 , z0 ) , D3 f (x0 , y0 , z0 )
grad f = f
On a la drive de f dans la direction de ~h au point (x0 , y0 , z0 )

~
f (OP0 + t.h ) f (OP0 )
~ (x0 , y0 , z0 ) h
lim
= DF (0) = f
t0
t
||~h||

1.3
1.3.1

Intgration (Lebesgue) une ou plusieurs variables

Dfinitions et proprit gnrales

Nous adoptons le point de vue de lintgration de Lebesgue dans Rn (ou dans un ouvert de Rn ),
bas sur la notion de mesure de Lebesgue des semi-intervalles dans Rn (ou plus gnralement
dans un ouvert de Rn )
n
Y
(I) =
(bj aj )
j=1

si I =]a1 , b1 ] . . . ]an , bn ] (avec aj , bj R et aj < bj pour tout j) et sur la notion dintgrale

des fonctions tages 2
Z
L
L
X
X
f=
cl Il ,
f d =
cl (Il ).
l=1

l=1

Cest partir de ces notions, de celle de -mesurabilit et de celle de -ngligeabilit quest

dfinie la notion de fonction intgrable et dintgrale dune fonction intgrable.
Comme il a t convenu de privilgier la notion de mesure de Lebesgue (sauf mention du
contraire) par rapport toute autre mesure, cest la notation dx, dy, . . . qui sera utilise en
raccourci de la notation gnrale d(x), d(y) faisant appel une mesure gnrale .
Cela tant, rappelons que la dfinition de lintgrale de Lebesgue permet de retrouver ce que
lon appelle dans ce contexte linterprtation de Riemann de lintgrale 3 :
2. Pour rappel, une fonction tage est une combinaison linaire de fonctions caractristiques de semiintervalles.
3. dans une autre prsentation de la thorie, cest cette notion qui peut tre introduite en premier lieu ; cette
prsentation, plus directe au dbut, est cependant beaucoup moins aise manipuler dans la suite, notamment
dans les thormes gnraux relatifs lintgration et dans la dfinition de lintgrabilit et des intgrales
plusieurs variables.

12

Interprtation de Riemann de lintgrale

Si f est une fonction continue sur le compact K de Rn alors
Z
f (x) dx =
K

lim

m+

Lm
X

f (xl,m )mes(Xl,m )

l=1

o, pour tout m N, Lm dsigne un naturel strictement positif ou +

o, pour tout m N encore, K est lunion disjointe des ensembles mesurables Xl,m (l =
1, . . . , Lm ), avec limm+ sup1lLm diam(Xl,m ) = 0
o, pour tous l, m,
R on a xl,m Xl,m
o mes(Xl,m ) = Xl,m (x) dx.
Remarques :
1. Dans R, pour K = [a, b] et des partitions de [a, b] en dcoupages dont la largeur tend vers 0,
on retrouve bien linterprtation du fait que, dans le cas o f est positif, cette intgrale est
la limite de certaines sommes de surfaces de rectangles modlisant laire sous la courbe
reprsentative de f .
2. Signalons aussi que lon dit que f est intgrable sur une partie mesurable A de Rn si f A
est intgrable sur Rn . Lensemble des fonctions intgrables sur A est not L1 (A).

1.3.2

Les critres de la convergence majore (Lebesgue) et monotone (Levi)

Convergence monotone
Si la suite fm (m N) de fonctions intgrables et relles sur RRn est croissante presque partout
(resp. dcroissante presque partout) et si la suite numrique Rn fm (x)dx (m N) est majore
(resp. minore), alors
la suite fm converge presque partout (notons f sa limite)
cette limite est une fonction intgrable sur Rn
la suite fm converge vers f dans L1 (Rn ), ce qui signifie que la suite numrique
Z
|fm (x) f (x)| dx (m N)
Rn

converge vers 0. En particulier, on a limm+

13

Rn

fm (x)dx =

Rn

f (x)dx.

Convergence majore
Si la suite fm de fonctions mesurables sur Rn converge presque partout sur Rn vers f et sil
existe une fonction intgrable F telle que |fm | F presque partout pour tout m, alors
f est intgrable sur Rn
la suite fm converge vers f dans L1 (Rn ), ce qui signifie que la suite numrique
Z
|fm (x) f (x)| dx (m N)
Rn

converge vers 0. En particulier, on a limm+

1.3.3

Rn

fm (x)dx =

Rn

f (x)dx.

Critres pratiques dintgrabilit (n = 1)

Par dfinition, une fonction dfinie presque partout sur ]a, b[ R (intervalle non ncessairement born) est intgrable en a+ sil existe un rel a0 ]a, b[ tel que f soit intgrable sur ]a, a0 [. De
mme, f est intgrable en b sil existe un rel b0 ]a, b[ tel que f soit intgrable sur ]b0 , b[. De la
sorte, lorsque f est continu sur ]a, b[, son intgrabilit sur ]a, b[ est quivalente son intgrabilit
en a+ et en b .
Citons tout dabord deux cas trs utiles o il est ais de vrifier lintgrabilit dune fonction
continue f sur ]a, b[ :

1. si F est intgrable sur ]a, b[ et si |f | F presque partout sur ]a, b[ alors f est intgrable
sur ]a, b[ ;
2. si a est rel et si f admet une limite finie en a+ , alors f est intgrable en a+ ; de mme en
b .
De mme, on obtient aisment le rsultat suivant :
3. si f est une fonction mesurable, relle et de signe constant sur ]a, b[ et si elle est intgrable sur
tout intervalle du type ]a0 , b[ (a0 ]a, b[)
alors f est intgrable sur ]a, b[ si et seulement sil existe une suite dcroissante am (m N) de
Rb
lintervalle ]a, b[ qui tend vers a telle que la suite am f (x) dx (m N) converge vers une limite
finie.
Remarque : un rsultat analogue peut tre obtenu en b , avec une suite croissante bm (m N)
de lintervalle ]a, b[.
NB : la proposition (3) est notamment utilise si f est continu sur lintervalle ]a, b[ et intgrable
en b ,
Les critres pratiques dintgrabilit suivants sont bass sur le premier rsultat rappel cidessus et sur lintgrabilit de 4 x 7 x1s en 0+ ou en +.
4. rappelons que cette fonction est intgrable en 0+ si et seulement si s < 1 et est intgrable en + si et

14

Critres pratiques dintgrabilit

Soit f une fonction continue sur ]a, b[.

Si a R, alors f est intgrable en a+ sil existe s < 1 tel que
lim (x a)s |f (x)|

xa+

existe et est fini.

Si a = , alors f est intgrable en sil existe s > 1 tel que

lim |x|s |f (x)|

existe et est fini.

Si b R, alors f est intgrable en b sil existe s < 1 tel que

lim (b x)s |f (x)|

xa+

existe et est fini.

Si b = +, alors f est intgrable en + sil existe s > 1 tel que

lim xs |f (x)|

x+

existe et est fini.

Critres pratiques de non-intgrabilit

De mme, on obtient des critres de non-intgrabilit sur ]a, b[ : si f C0 (]a, b[), alors f nest
pas intgrable sur cet intervalle dans les cas suivants :

aR

lim (x a)f (x) existe et diffre de 0

&

xa+

a =

&

lim |x|f (x) existe et diffre de 0

bR

lim (b x)f (x) existe et diffre de 0

&

xa+

b = +

1.3.4

&

lim xf (x) existe et diffre de 0

x+

Techniques dintgration une variable

Voir le cours de premier bachelier. Pour rappel les mthodes principales sont :
par parties
par variation de primitive
par changement de variable

seulement si s > 1 ; ce rsultat est aisment dmontr en utilisant (3)

15

1.3.5

Intgration plusieurs variables et permutation de lordre

Les thormes de Tonelli et Fubini (n > 1)

On pose n = n0 + n00 , avec n0 , n00 N0
Thorme de Fubini
Pour toute fonction f L1 (Rn )
0
00
pour presque toutR x00 Rn , la fonction x0 7 f (x0 , x00 ) est intgrable sur Rn
00
la fonction x00 7 Rn0 f (x0 , x00 )dx0 est intgrable sur Rn
on a

Z
Z
Z
0 00
0
f (x , x ) dx dx00
f (x)dx =
Rn00

Rn

Rn0

Lhypothse dintgrabilit de f sur Rn est souvent obtenue au moyen du thorme suivant 5 .

Thorme de Tonelli
0

Soit f une fonction mesurable

sur Rn . Si x0 7 |f (x0 , x00 )| est intgrable sur Rn pour presque
R
00
00
00
n
00
tout x R et si x 7 Rn0 |f (x0 , x00 )| dx0 est intgrable sur Rn , alors f est intgrable sur Rn .
Remarque : Le cas de lintgration sur Rn est un cas particulier, on peut bien entendu rduire
lintgration sur un ensemble A Rn .
Exemples
1. Soient deux fonctions g1 , g2 , continues sur [a, b]
A = {(x, y) : x [a, b] & g1 (x) y g2 (x)}
on a alors,
ZZ

Z
f (x, y)dxdy =

g2 (x)

dx
a

f (x, y)dy
g1 (x)

2. Calculer laire de lensemble suivant de deux manires diffrentes

Figure 1.1 Reprsentation de lensemble A

5. Remarquez que, dans le cours de premier bachelier, ce thorme tait appel Critre de Tonelli.

16

1.3.6

Intgration par changement de variables

A deux variables
Si f est intgrable sur alors
ZZ
ZZ
f (x, y)dxdy =
0

f (g1 (x0 , y 0 ), g2 (x0 , y 0 ))|det J(x0 , y 0 )|dx0 dy 0

Avec le changement de variables entre les ouverts et 0 (suppos au moins C1 ) :


x = g1 (x0 , y 0 )
y = g2 (x0 , y 0 )
o


 D 0 g Dx0 g2
|det J(x , y )| = |  x 1
Dy0 g1 Dy0 g2
0

Figure 1.2 Changement de variables

Cas des coordonnes polaires

[0, 2[, r > 0. On portera une attention particulire la notion de bijectivit et de
drivabilit.
x = r cos
y = r sin
|det J| = r
ZZ
f (x, y)dxdy =
f (r cos , r sin )r ddr

ZZ

A0

Cas des coordonnes sphriques

[0, 2[, [0, ], r > 0. On portera une attention particulire la notion de bijectivit
et de drivabilit.
x = r sin cos

y = r sin sin

z = r cos
|det J| = r2 sin
ZZZ
ZZZ
f (x, y, z)dxdydz =
f (r sin cos , r sin sin , r cos ) r2 sin ddrd
A

A0

17

1.3.7

Le thorme des intgrales paramtriques

Une version frquente du thorme des intgrales paramtriques se prsente comme suit.
On suppose que f est une fonction de n + p variables relles ((x, ) 7 f (x, )) avec =
ouvert de Rp et x A = partie mesurable de Rn . Ici, la variable x va jouer le rle de variable
dintgration et la variable celui de paramtre (notons que lon utilise aussi souvent la notation
f (x)). On souhaite en fait considrer la fonction
Z
f (x, ) dx
I : 7
A

et la driver sous le signe :

D I()

D f (x, ) dx.

=
A

(Signalons que cela peut se rvler dlicat car il sagit en fait de la permutation de deux limites.)
Pour tre en mesure daffirmer que ce rsultat est correct, il y a bien sr des hypothses naturelles,
comme la drivabilit de f par rapport et lintgrabilit en x des drives par rapport . En
plus, pour sassurer de lgalit des deux membres, on utilise une hypothse du style convergence
majore .
Thorme des intgrales paramtriques, version n = p = 1
Lorsque le paramtre et la variable dintgration sont rels (n = p = 1), le rsultat snonce
comme suit.
Soient un ouvert de R (ensemble de variation du paramtre ) et A R un sous-ensemble
mesurable de R (ensemble dintgration).
Si
1. pour presque tout x A, f (x) est une fonction continment drivable dans
2. , f et D f sont intgrables sur A
3. K compact inclus dans , F L1 (A) tel que |D f | F (x) pp. sur A K.
alors la fonction est continment drivable sur et on a
Z
Z
D
f (x)dx =
D f (x)dx
A

Remarque Lapplication de ce thorme se fait trs facilement dans le cas o A est un compact
et o f (x), D f (x) sont continues en (x, ).
Application
Si a > 0, b R, alors
Z

e
0

ax2

1
cos bx dx =
2

b2
e 4a
a

Sens de lintgrale :
2
Lintgrale a un sens, car la fonction est continue en 0+ et que limx+ x2 eax = 0 si a > 0.

18

Rsolution :
Utilisation des intgrales paramtriques : = R
A = ensemble dintgration = [0, +[
2
On fixe a > 0 et on pose : fb (x) = eax cos bx
1. x > 0 b fb (x) est C1 sur
2. b R fb L1 ([0, +[) et Db fb L1 ([0, +[)
3. Soit K un compact R, on a
2

|Db fb | = | x sin bx|eax

2

= xeax | sin bx|

2

xeax
Ainsi b

R +
0

L1 (A)

eax cos bx = F (b) est continment drivable sur R et

+

Db F (b) = Db

ax2

cos bx dx =

eax Db cos bx dx

Db F (b) =

eax x sin bx dx

On obtient aussi :
b2

b2

b2

Db (e 4a F (b)) = Db e 4a F (b) + e 4a Db F (b)

"
#
Z +
b2
b
2
=
F (b)
x.eax sin bx dx e 4a
2a
0
b R

= 0
Car
Z

x.eax sin bx dx

Par une intgration par parties, on obtient :

=

h 1
| 2a

ax2

i+ b Z +
2
sin(bx)
+
eax cos bx dx
0
{z
} 2a | 0
{z
}

=0

F (b)

b2

Ds lors, r R tel que e 4a F (b) = r

Pour b = 0 on a

b R

1
r = e F (0) =
2
0

(F (0) est lintgrale de Poisson). Do la conclusion.

19

Thorme des intgrales paramtriques

Soit f une fonction de n + p variables relles ((x, ) 7 f (x, )) avec = ouvert de Rp et
x A = partie mesurable de Rn . On suppose que
1. pour presque tout x A, la fonction 7 f (x, ) est de classe CL dans ,
2. pour tout multi-indice de longueur strictement infrieure L, la fonction x 7 D f (x, )
est intgrable sur A,
3. pour tout multi-indice de longueur L et pour tout compact K de Rp inclus dans , il
existe une fonction intgrable F,K sur A telle que
sup |D f (x, )| F,K (x) presque partout sur A

Dans ces conditions, la fonction I : 7

A f (x, )

D I()

Z
=

dx est de classe CL dans et

D f (x, ) dx

pour tout multi-indice dont la longueur ne dpasse pas L.

Remarques :
- Un cas trs pratique est celui-ci : les hypothses sont vrifies lorsque A est un compact, que f
est de classe CL par rapport et que les drives sont continues dans A .
- Ce rsultat sera notamment utilis (avec n = 1 et p = 2) dans le chapitre concernant les
fonctions holomorphes.

1.3.8

Les intgrales flches

Soit f C0 (]a, b]). Vu la dfinition de lintgrabilit, il se peut que f ne soit pas intgrable
Rb
en a+ mais que la limite lima0 a+ a0 f (x)dx existe et soit finie 6 . Dans ces conditions, on dit
que f admet une intgrale flche en a+ et on appelle intgrale flche de f sur ]a, b[ la limite
ci-dessus. On crit
Z
Z
b

f (x) dx = lim
0

a a a0

f (x)dx.

De mme, si f est continu sur [a, b[, il se peut que f ne soit pas intgrable en b mais que
R b0
limb0 b a f (x)dx existe et soit fini. On dfinit lintgrale flche de f en b de manire analogue
Z

Z
f (x) dx = lim

b0 b

b0

f (x)dx.
a

6. Une autre description de cette situation est la suivante : lima0 a

C

20

Rb

a0

|f (x)|dx = + et lima0 a+

Rb

a0

f (x)dx

Chapitre 2

Analyse vectorielle
Rfrences du chapitre - Partie I
Thorie
Dans le EK (livre de rfrence) : paragraphes 9.4, 9.5, 9.7, 9.8, 9.9.
le cours (complments importants au livre)
Exercices
Exercices du EK (se trouvant la fin des sections et la fin du chapitre).
Liste(s) dexercices disponible(s) sur le site du service : http ://www.afo.ulg.ac.be/

2.1

Notions fondamentales (considres vues)

addition de deux vecteurs et multiplication dun vecteur par un scalaire

produit scalaire de 2 vecteurs et produit vectoriel de 2 vecteurs
notion de base (du plan, de lespace) et de composantes dun vecteur dans une base
notion de projection orthogonale (sur une droite vectorielle ou sur un plan vectoriel) et
expressions pratiques pour les dterminer
diverses expressions analytiques : longueur dun vecteur (norme), produit scalaire de deux
vecteurs, produit vectoriel de 2 vecteurs.

2.1.1

Notations

Les vecteurs scrivent : ~v ou v ou v

Les composantes relles dans cette partie du cours sont notes entre crochets :
~v = [v1 , v2 , v3 ] = v1~e1 + v2~e2 + v3~e3
Les coordonnes dun point sont notes entre parenthses (x1 , x2 , x3 ).
Le produit scalaire : ~a ~b
Le produit vectoriel : ~a ~b ou ~a ~b

21

2.2

Fonctions vectorielles, champs vectoriels

Champ scalaire

f : A Rn R (ou C)

Exemple La distance entre deux points est un champ scalaire :

f (P ) = dist(P0 ; P ) =

p
(x x0 )2 + (y y0 )2 + (z z0 )2

o (x, y, z) sont les coordonnes de P et (x0 , y0 , z0 ) sont les coordonnes de P0 , un point fix.
Reprsentation On prend lhabitude de reprsenter un champ scalaire par des surfaces quipotentielles (ou des courbes de niveau).
Champ vectoriel

f~ : A Rm Rn

(n = 2, 3 et m = 1, 2, 3)

Exemple : A tout instant t fix, la vitesse de rotation dun corps de lespace autour dun axe
donne un exemple de champ vectoriel.

~ = ~e3
~
f (x, y, z) = ~v (x, y, z)

=
~ OP = ~e3 (x~e1 + y~e2 + z~e3 )
= (y~e1 + x~e2 )
= [y, x, 0]
f(x,y) =[-y,x]

Figure 2.1 Reprsentation du champ f~ = [y, x] dans le plan du mouvement (vue du dessus)

22

Remarque : Il faut bien remarquer quau vu des conventions, on a

f~(x, y, z) = [f1 (x, y, z), f2 (x, y, z), f3 (x, y, z)] o f1 , f2 , f3 sont des champs scalaires.
Diffrence entre un champ vectoriel (resp. scalaire) et une fonction vectorielle (resp. scalaire)
Un champ vectoriel est une application dfinie en tout point de lespace (ou du plan). Cest
donc une loi qui dpend des points ( champ physique). En pratique, on se sert des coordonnes
des points et/ou des composantes des vecteurs pour transformer les champs vectoriels en fonctions
vectorielles, i.e. des lois dfinies sur un ensemble de (x, y, z) (ou plus si on travaille dans Rn ). Et
il faut donc normalement tudier lindpendance de ces lois vis--vis du systme daxes (ou de
la base) employs si on veut tre certain que les proprits trouves ne dpendent que du point,
et non de la base/repre choisis.
Un champ vectoriel peut donc tre interprt comme une entit physique et la fonction
vectorielle comme le modle mathmatique qui exprime cette entit physique. partir du
moment o la fonction vectorielle ne dpend pas du systme daxes, on lappelle champ vectoriel
sans distinction.
Des exemples de dmonstration de lindpendance dune fonction vectorielle (en particulier
les oprateurs vectoriels) par rapport un systme daxes se trouvent dans la section 9.9 Annexe
4 du EK.

2.2.1

Notion de drivation

Les fonctions vectorielles sont en fait des fonctions dune ou plusieurs variables relles
valeur dans Rn avec n = 2, 3. Ds lors on applique la notion de drive et de drive partielle
des composantes de f~ (dans le cas dun champ vectoriel).
Par exemple, si f~(x, y, z) = [f1 (x, y, z), f2 (x, y, z), f3 (x, y, z)], la drive selon x est :
Dx f~ = [Dx f1 (x, y, z), Dx f2 (x, y, z), Dx f3 (x, y, z)]
Ou encore : f~(t) = [f1 (t), f2 (t), f3 (t)] dont la drive donne simplement
Df~(t) = [Df1 (t), Df2 (t), Df3 (t)]
Drives de produits
Dans le cas de la drive dun produit dune fonction scalaire et dune fonction vectorielle :
D((t).f~(t)) = [0 f1 + f10 , 0 f2 + f20 , 0 f3 + f30 ]
= [0 f1 , 0 f2 , 0 f3 ] + [f10 , f20 , f30 ]
= D.f~ + .Df~
Tous les cas de produits vectoriels, produits scalaires se font selon la rgle de drivation des
produits et peuvent tre retrouvs par le mme genre de dveloppement que ci-dessus.
Produit vectoriel
D(~g (t) f~(t)) = D~g f~ + ~g Df~
En particulier, si f~ est constant, on a
D(~g (t) f~(t)) = D~g f~

23

Produit scalaire
D(~g (t) f~(t)) = D~g f~ + ~g Df~
En particulier, si f~ est constant, on a
D(~g (t) f~(t)) = D~g f~

2.2.2

Exemples courants de fonctions vectorielles

Les fonctions vectorielles les plus utilises sont les chemins et les couvertures . Ces
fonctions consistent en un paramtrage respectivement de courbes et de surfaces.
La section 2.5 vous permettra de dcouvrir ces exemples particuliers.

2.3
2.3.1

Oprateurs vectoriels
Le gradient

Soit un champ scalaire f

1

R

( ouvert de R2 ou R3 ).

Le gradient de f est le champ vectoriel :

h
~
(x, y, z) 7 grad f = f
= Dx f (x, y, z) ,

Dy f (x, y, z) ,

Dz f (x, y, z)

= Dx f (x, y, z)~e1 + Dy f (x, y, z)~e2 + Dz f (x, y, z)~e3

o ~e1 , ~e2 , ~e3 dsigne une base orthornorme de lespace R3 .
Le gradient est donc un oprateur qui transforme un champ scalaire en un champ vectoriel.
NB : Le gradient dun champ scalaire est une fonction vectorielle indpendante de la base orthonorme de lespace dans lequel il est exprim (voir EK p405 - Thorme 1), le gradient est
donc un champ vectoriel.
Remarques
La drive directionnelle de f dans la direction de ~h au point (x0 , y0 , z0 ) est
~ (x0 , y0 , z0 ) ~h (c.f. rappels).
f
~
||h||

Soit une surface S dquation cartsienne f (x, y, z) = 0. Pour un point (x0 , y0 , z0 ) 1 par
lequel passe une courbe qui est incluse dans la surface, on a t voisin de t0
F (t) = f (x(t), y(t), z(t)) = 0
donc
~ (x0 , y0 , z0 ) [x(t
0 = DF (t0 ) = f
0 ), y(t
0 ), z(t
0 )]
Le gradient est donc orthogonal la surface.
Exemples : Dterminer le gradient des fonctions scalaires donnes explicitement par f (x, y, z) =


x.ey + z et f (x, y, z) = 1r o r = dist O, P (x, y, z) .
1. Avec x(t0 ) = x0 , y(t0 ) = y0 , z(t0 ) = z0

24

2.3.2

La divergence

Soit un champ vectoriel f~ Rn ( ouvert Rn )

La divergence de f~ = [f1 , f2 , f3 ] est le champ scalaire :
~ f~
(x, y, z) 7 div f~ = Dx f1 + Dy f2 + Dz f3 =

Remarques :
~ f~. Cette dernire galit indique en fait une notation et nest pas le produit
div f~ =
scalaire de deux vecteurs. Cependant, vu la dfinition, on peut faire "comme si" ctait le
produit scalaire de f et du "vecteur gradient".
La divergence reprsente par exemple le rapport entre le flux entrant et sortant dune
membrane.
Calcul de la divergence de ~v (x, y, z) = [3xy, 2xy, yz 2 ] on a : div ~v = 3y + 2x 2yz.
La divergence est un oprateur qui transforme un champ vectoriel en un champ scalaire.
La divergence dun champ vectoriel est une fonction scalaire indpendante du systme
daxes dans lequel elle est calcule (voir EK p 411), cest pour cela que cette fonction
scalaire porte le nom de champ scalaire.

2.3.3

Le rotationnel

Soit un champ vectoriel f~ : R3 ( ouvert R3 )

Le rotationnel de f~ est le champ vectoriel :
~ f~ = (Dy f3 Dz f2 )~e1 + (Dz f1 Dx f3 )~e2 + (Dx f2 Dy f1 )~e3
rotf~(x, y, z) =

Remarques :
Le rotationnel est un oprateur qui transforme un champ vectoriel en un champ vectoriel.
Par exemple : le rotationnel est un vecteur parallle laxe de rotation et de module gal
la vitesse angulaire de rotation. Il dcrit donc la manire dont un corps tourne autour
dun axe.
~v (x, y, z) = [xy, 3zx, z] a pour rotationnel : rot~v = 3x~e1 + (3z x)~e3
Si vous avez un champ valeurs dans R2 et dont vous voulez connatre le rotationnel dans
R3 , vous considrez simplement que la dernire composante de f~ est nulle.
A un point de lespace repsent par ses coordonnes, le rotationnel associe un vecteur dont
la longueur et la direction sont indpendantes du systme daxes dans lequel les coordonnes
sont considres (voir EK p416) ; cest donc un champ vectoriel.

25

2.4

Relations importantes entre les oprateurs vectoriels

C

1.

Si : 2 R, alors

~
~
~
rot()
=
= ~0 dans

Preuve
~

= [Dx , Dy , Dz ]
|{z} |{z} |{z}
f1

f2

f3

~
rot
= [Dy Dz Dz Dy , Dz Dx Dx Dz , Dx Dy Dy Dx ]
= ~0 car nous avons suppos de classe C2

2.

C
Si f~ : 2 R3 , alors

~ (
~ f~) = 0 dans
div(rotf~) =

Preuve
La preuve de cette proprit peut tre obtenue par un raisonnement similaire celui fait
ci-dessus.

Thormes de primitivation
Nous avons deux relations qui sont toujours vraies pour un ouvert quelconque, est-il possible de leur trouver une rciproque ?

~ = f~
Si rotf~ = ~0 = ? tel que grad =
~ f~ = ~b
Si div ~b = 0 = ?f~ tel que rotf~ =

Parfois mais pas toujours ! !

Remarque : Lutilisation de ces rsultats :
Il est important de savoir quand un champ vectoriel drive dun potentiel : les intgrales faisant
intervenir ces divers lments reprsentent/modlisent des situations concrtes.
On revient plus loin sur le cas dun champ vectoriel drivant dun potentiel scalaire dans le cadre
des intgrales curvilignes et des fonctions holomorphes.

26

2.4.1

Thormes de primitivation : Rciproque 1

Exemple montrant quil nexiste pas toujours une fonction convenant :

Soit = R3 \{(0, 0, z) : z R} et la fonction de classe C
y
x
f =[ 2
, 2
, 0]
2
x + y x + y2
| {z } | {z }
f1

f2

on a bien le rotationnel de ce champ nul :

x
y
) Dy ( 2
)]
2
+y
x + y2
(x2 + y 2 ) 2x2 (x2 + y 2 ) + 2y 2

]
= [0, 0,
(x2 + y 2 )2
(x2 + y 2 )2
= ~0 (x, y, z)

rotf~ = [0, 0, Dx (

x2

Par labsurde, supposons quil existe une fonction scalaire

C
: 1 R telle que grad = f~ dans [D1 , D2 , D3 ] = [f1 , f2 , f3 ]

Dfinissons F () = (cos , sin , 0), [0, 2]. On calcule la drive de la fonction F par le
thorme de drivation des fonctions composes.
D F () = D (cos , sin , 0) = D 1 (cos, sin , 0).( sin ) + D 2 (cos, sin , 0). cos
= f1 (cos, sin , 0).( sin ) + f2 (cos, sin , 0). cos
sin2
cos2
=
+
cos2 + sin2 cos2 + sin2
= 1
[0, 2]
Dautre part on a aussi :
Z 2
I=
D F d = F (2) F (0) = (1, 0, 0) (1, 0, 0) = 0
0

Mais nous avons trouv que la drive de F valait 1 en supposant qu rpondait la

question, donc on obtient aussi
Z 2
I=
1d = 2
0
C

Ce qui conduit un absurdit. Il nexiste donc pas de fonction scalaire : 1 R telle que
grad = f~ dans
Sous quelles hypothses la proprit est-elle correcte ?
Un ouvert de Rn est dit toil par rapport un point x0 ( ) si
x , le segment {(1 t)x0 + tx : t [0, 1]} est inclus dans

Quelques remarques : notez la diffrence entre un ouvert toil et un connexe ou un convexe.

27

Figure 2.2 Ouvert toil

toil connexe, connexe 6 toil.
toil
6 convexe, convexe toil.
convexe connexe, connexe 6 convexe.
Thorme
Soit un ouvert toil par rapport x0 et soient f1 , ..., fn : R de classe C1 .
Alors il existe C2 () tel que Dxj = fj , j les fj vrifient les galits croises, savoir
Dxj fk = Dxk fj

j, k = 1, . . . , n

Dans R3 , la condition sur les drives scrit :

D1 f2 = D2 f1 et D1 f3 = D3 f1 et D2 f3 = D3 f2
cest--dire rotf~ = ~0.
~
Ainsi, en bref, dans un ouvert toil rotf~ = ~0 : f~ = grad =
Remarque : Cette proprit se gnralise dautres types douverts : les ouverts simplement
connexes.
Par dfinition, un ouvert est dit simplement connexe lorsque tout chemin ferm peut se dformer
continment sur un point, la dformation se faisant dans louvert (c.f. plus loin : on dit que le
chemin est homotope un chemin constant).
Dmonstration
est vident car si vous avez un champ f de classe C1 tel que les composantes de f soient
les drives partielles dun mme champ scalaire, alors :
Dxj fk = Dj Dk = Dxk fj
car est de classe C2 .

28

 supposons que louvert soit toil par rapport lorigine. On pose 2 :

Z 1
(x1 , . . . , xn ) =
~x f~(tx1 , . . . , txn )dt
0

o ~x = [x1 , . . . , xn ]
Lintgrale est dfinie car on sait que les points (tx1 , ..., txn ), t [0, 1] appartiennent louvert
( est toil).
On a ici une application dun cas des intgrales paramtriques pour le calcul des Dxj .
1

~x f~(tx1 , . . . , txn )dt =

n
1X

0 r=1

xr fr (tx1 , . . . , txn )dt

|
{z
}

Les intgrales paramtriques sappliquent trs facilement ici car f~ est C1 et que lon se trouve
sur un compact !
1

n
X

0 r=1
Z 1"X
n

D xj =

D xj
0

r=1
n
1X

xr fr (tx1 , . . . , txn ) dt

Dxj (xr fr (tx1 , . . . , txn ))dt

#
xr t(Dj fr )(tx1 , . . . , txn ) + fj (tx1 , . . . , txn ) + txj (Dj fj )(tx1 , . . . , txn ) dt

r6=j
r=1
1

=
0

"

n
X

D r fj
#
z }| {
xr t (Dj fr )(tx1 , . . . , txn ) +fj (tx1 , . . . , txn ) dt

|r=1

{z

tDt fj (tx1 , ,txn )

5

Dt tfj (tx1 , . . . , txn ) dt

0
6

= fj (x1 , . . . , xn )
1. Passage de la drive sous le signe dintgration par le thorme des intgrales paramtriques.
2. La drive dune somme (finie) est gale la somme des drives.
3. Drivation dun produit
4. Recombinaison de la somme.
5. Egalit des drives croises (hypothse).
6. Calcul de lintgrale par variation de primitive.
2. Ceci peut tre interprt de la manire suivante : est un potentiel = lintgration du champ f~ le long du
segment joignant lorigine x.
On peut gnraliser ce rsultat dautres types douverts.
Voir la transition entre les chapitres 2 et 3

29

Remarque : Comme tout point dun ouvert est le centre dun ouvert toil (par exemple une
boule) qui est inclus dans , on peut dduire du rsultat prcdent la proprit suivante : si f
est de classe C1 dans un ouvert, alors f drive localement dun potentiel si et seulement si ses
composantes vrifient les galits des drives croises. Plus prcisment :
Soient f1 , . . . , fn : R de classe C1 , alors les fj vrifient les galits croises x0 ,
il existe un voisinage de 0 de x0 et 0 C2 (0 ) tel que Dj 0 = fj j.

2.4.2

Thormes de primitivation : Rciproque 2

C
~ (
~ f~) = 0 dans .
Si f~ : 2 R3 , alors div(rotf~) =
La rciproque scrit : si div ~b = 0, alors f~ tel que ~b = rotf~. Mais cette relation nest pas
toujours vraie.
La rciproque est vraie si est un ouvert toil.

Soit un ouvert toil par rapport x0 et soit ~b : R3 de classe C1 , alors

f~ : R3 tel que ~b = rotf~ div ~b = 0

Preuve
ok
Supposons louvert toil en lorigine (x0 = 0), on pose
f~(x, y, z) =

~b(tx, ty, tz) ~x t dt

o ~x = [x, y, z]
Ensuite, on vrifie que f~ est C2 par les intgrales paramtriques et donc ~b = rotf~ dans .

2.4.3

Thorme de primitivation 3 : dans le cas de la divergence

On montre que
C

R3 , : 1 R
C

~a : 2 R3 tel que div ~a =

30

Rfrences du chapitre - Partie II

Thorie
Dans le EK chapitre 10, paragraphes 10.1, 10.2, 10.4, 10.5, 10.6, 10.7, 10.8, 10.9.
le cours
Exercices
Liste(s) dexercices disponible(s) sur le site du service : http ://www.afo.ulg.ac.be/

2.5
2.5.1

Courbes, surfaces et intgrales associes

Dfinitions et rappels

Nous nous plaons dans R3 , la notion de courbe ou de surface plane apparatra comme un
cas particulier.
Dfinition dune courbe
Un courbe de lespace est un ensemble de points dont les coordonnes cartsiennes peuvent
tre dfinies par trois fonctions scalaires dune variable relle.
C = {P (x, y, z) : x = x(t), y = y(t), z = z(t), t I R}

le paramtrage est : OP = ~ (t) = [x(t), y(t), z(t)]

Dfinition quivalente : On peut aussi dfinir une courbe de manire quivalente grce une
fonction vectorielle :
Une courbe de lespace est un ensemble de points dcrit laide dune fonction dune variable
relle valeurs vectorielles. Cette fonction est appele paramtrage ou chemin et est la plupart
du temps dfinie sur un intervalle (ou une union dintervalles).

~ : I R R3

t 7 ~ (t) = [1 (t), 2 (t), 3 (t)]

C = {P (x, y, z) : x = 1 (t), y = 2 (t), z = 3 (t),

(chemin)

t I}

(courbe)

Remarques
Une courbe est un ensemble de points. Il y a bien sr plusieurs paramtrages pour une
mme courbe.
Bien souvent, il est sous-entendu quun chemin est une fonction continue ; la notion de
rgularit est celle de la drivabilit (y compris sur un intervalle ferm). On utilisera souvent
des chemins de classe C1 par morceaux 3 .
Dfinition dune surface
Une surface est un ensemble de points dcrit laide dun paramtrage (souvent suppos
rgulier) qui dpend de 2 variables relles.
3. cela signifie que ~ est continu sur I, que I peut scrire sous la forme dune union finie dintervalles telle
que la restriction de ~ chacun des intervalles de cette union soit de classe C1 .

31

 ~
S = {P (x, y, z) : OP = (u,
v); (u, v) K R2 }

Remarques
Une surface est un ensemble de points. Il y a bien sr plusieurs paramtrages pour une
mme surface.
Un paramtrage dune surface est souvent appel couverture.
Paramtrages, rgularit et orientation
Courbes
Il est vident quune mme courbe peut tre reprsente par plusieurs paramtrages. Afin de
dfinir les notions dorientation, de vecteur tangent unitaire, dintgrales sur des courbes en
utilisant des paramtrages, il est donc indispensable de ne travailler quavec une famille de
paramtrages autorisant des dfinitions intrinsques.
Pour de nombreuses applications, il suffira de travailler avec des chemins rectifiables (et injectifs).
Le chemin ~ dfini sur [a, b] est dit rectifiable si lensemble

J
X

k~ (aj ) ~ (aj1 )k : a0 , . . . , aJ dcoupage de [a, b]

j=1

est born.
Dans ce cas, sa borne suprieure est appele longueur de ~ et est note L~ .
Signalons lexemple fondamental suivant : si ~ est de classe C1 par morceaux, alors il est rectifiable
et injectif (sauf aux extrmits dans le cas de chemins ferms 4 ).
Rappelons quun chemin injectif est qualifi de chemin simple et quune courbe simple est
une courbe qui admet un paramtrage par un chemin simple.
courbe plane : dans le cas o ~ (t) = [t, f (t), 0] (courbe plane dcrite par une fonction), on obtient
Z bp
1 + (Df )2 dt
a

Exemple : la chanette
f (x) = cosh x =

ex + ex
,
2

x un intervalle compact

Reprsenter f et calculer la longueur de la courbe qui reprsente f pour x [1; 1].

Surfaces
Dans le contexte du cours, nous nutiliserons les surfaces que dans un cadre trs pratique. Nous
nous contenterons des dfinitions et proprits pratiques suivantes, lesquelles sont rigoureuses
dun point de vue mathmatique mais ne rencontrent certes pas une tude plus vaste de la
thorie des surfaces.
4. que lon appelle aussi lacets

32

Nous nous plaons demble dans un contexte qui va autoriser la dfinition dintgrales intrinsques.
Par dfinition, une couverture est la donne dun compact 5 K de R2 , dune fonction vectorielle
~
de classe C1 dans un ouvert contenant K, valeurs dans R3 , vrifiant les proprits suivantes
~ est injective sur lintrieur de K,
lapplication
~ de classe C1 dans un ouvert de R3 contenant limage
et il existe une fonction vectorielle


6
~ de lintrieur de K telle que
~ 1 (t, s), 2 (u, v), 3 (u, v) = [u, v] pour tout (u, v)
par
appartenant lintrieur de K.
On appelle surface (ou portion rgulire de surface), une partie S de R3 pour laquelle il existe
une couverture dont limage est S.
En pratique
Pour la suite des dfinitions nous considrerons que :
le chemin ~ = [1 , 2 , 3 ] : I = [a, b] R3 (R2 ) est suffisamment rgulier au sens de la
drivabilit et de la non annulation de la drive (en aucun point), rectifiable. Ce chemin
sert paramtrer une courbe.
~ : K R2 R3 est suffisamment rgulire 7 et sert paramtrer une
la couverture
surface.
Orientation
Soit ~ (t), t [a, b] une reprsentation paramtrique simple de la courbe simple C. Alors, pour
toute reprsentation paramtrique simple ~r(t), t [c, d] de C, il existe une fonction f , continue
et strictement monotone sur [c, d], dimage gale [a, b] et telle que 8 ~r(t) = ~ (f (t)) pour tout
t [c, d].
Entre les paramtrages simples dune mme courbe, on peut ainsi dfinir une relation dquivalence : deux paramtrages sont dits quivalents si la fonction qui permet de passer de lun
lautre est strictement croissante. Cette relation dfinit deux classes et choisir lune des deux
classes sappelle orienter la courbe.
On crit alors C+ pour signifier que lon a orient la courbe.
Sans entrer dans les dtails, disons que lon tablit pour les surfaces un rsultat analogue
celui des paramtrages de courbes par des chemins simples : quand on dispose de deux couvertures
dune mme surface 9 , on montre quil y a toujours un changement de variables entre les deux.
On rpartit alors les couvertures en deux classes, selon le signe du dterminant jacobien du
changement de variables qui permet de passer de lune lautre. Orienter la surface consiste
alors choisir lune des deux classes.
On crit alors S+ pour signifier que lon a orient la surface.
5. on supposera que lintrieur de K est non vide
~ de faon rgulire
6. Cela signifie que lon doit pouvoir inverser
7. Rgulire au sens indiqu au dessus, ajout de la condition de non-annulation de la fonction (u, v) 7
~ Dv
~ en tout point de lintrieur de K.
~ (u, v) := Du
N
8. cette relation caractrise en fait f
9. cest ici quil faudrait prendre soin de prciser sil sagit de notion locale ou globale que lon considre

33

Vecteur tangent
En un point dune courbe

Un vecteur tangent en un point P tel que OP = ~ (t) dune courbe rgulire est donn par la
drive du (dun) paramtrage.
~v (t) = D~ (t)

Remarques :
Le vecteur tangent non-unitaire est not ~v pour rappeler la vitesse en physique.
Si lon change de paramtrage, les vecteurs tangents obtenus ainsi ne sont pas les mmes
en gnral, mais ils sont multiples lun de lautre.
Si lon considre prsent une courbe oriente (et rgulire), tous les vecteurs obtenus par le
processus prcdent, diviss par leur norme, sont gaux (et changer dorientation donne simplement le vecteur oppos).
On dfinit ainsi le vecteur tangent unitaire au point P de la courbe oriente C+ :
~t(P ) = D~ (t)
kD~ (t)k
quel que soit le paramtrage ~ de la courbe pour autant quil appartienne lorientation choisie.
En un point dune surface
~ et Dv .
~
Lensemble des vecteurs tangents la surface S est le plan vectoriel engendr par Du
Vecteur normal
En un point dune surface
~ Dv
~ est orthogonal au plan tangent la
~ (u, v) = Du
Pour tout (u, v), le vecteur normal : N
surface au point paramtr par (u, v).
On peut donc aussi dfinir une normale unitaire continue
~n(u, v) =

~ (u, v)
N
~ (u, v)k
kN

~ de lintrieur de K.
en tout point de limage par
Remarque : On dit que lon peut orienter cette partie de la surface (ie celle qui correspond
limage par de lintrieur de K). Quand on dfinit un vecteur normal unitaire laide dune
couverture, un changement de couverture de la mme orientation ne change pas le vecteur normal
unitaire ; par contre, une couverture de lautre orientation donne loppos du vecteur en guise de
vecteur normal unitaire.

34

2.5.2

Longueur dune courbe et aire dune surface

Longueur de courbe et chemin rectifiable

Soit un chemin ~ continment drivable dans un ensemble ouvert 10 I R. Dans ce cas,
le chemin est dit rectifiable lorsque que la fonction t 7 ||D~ (t)|| est intgrable sur I.
La longueur dun chemin rectifiable est (en crivant I =]a, b[)
Z

||D~ (t)||dt
a

Aire dune surface

Laire de la surface S est :

Z Z 

 ~
~ dudv
Du Dv
K

2.5.3

Intgrale sur un chemin (une courbe)

Soient :
C
f~ = [f1 , f2 , f3 ] : 0 R3 (ou C3 )

R3 ouvert.

C0

g : R,
C
~ = [1 , 2 , 3 ] : [a, b] R 1 ,
C1 3
~ : K R2

R .
Lintgrale sur un chemin est une gnralisation du cas prcdent dans lequel g = 1 11 .

Z
g ds =

g(1 (t), 2 (t), 3 (t))||Dt~ (t)|| dt

a

est lintgrale de g sur le chemin ~ : un paramtrage rgulier dune courbe C

R
Si elle est indpendante du paramtrage ~ de la courbe C on la note C g ds.
Pour rappel : (cours de gomtrie)
Ceci correspond lintgrale dune fonction continue g sur une courbe (rectifiable) C vue en
gomtrie et dans laquelle le paramtre est labscisse curviligne.
Z
Z s1
gds =
gds
C

s0

10. Il nest pas ncessaire de considrer I comme un intervalle ouvert mais il faut alors faire attention aux
notions de drivation sur un ferm.
11. Voir EK pour une interprtation du cas particulier g = 1

35

o s dsigne labscisse curviligne. Si on utilise un autre paramtrage (rgulier et injectif), un

changement de variable donne
Z b
Z
g(~ (t))kD~ (t)kdt
gds =
C

(En fait, lintgrale faisant intervenir labscisse curviligne est un cas particulier de celui-ci puisque
dans ce cas, la drive de ~R(s) est de longueur 1.)
t
Pour rappel encore : s(t) = t0 kD~ (x)kdx. Cette intgrale ne dpend pas du paramtrage (injectif
et rgulier).

2.5.4

Intgrale curviligne, le long dun chemin

Lintgrale le long du chemin ~ de f~ est par dfinition :

b

Z
f1 dx + f2 dy + f3 dz =

Z b

f~(1 (t), 2 (t), 3 (t)) Dt~ (t) dt

f1 (1 (t), 2 (t), 3 (t))Dt 1 (t) + f2 (1 (t), 2 (t), 3 (t))Dt 2 (t)


+f3 (1 (t), 2 (t), 3 (t))Dt 3 (t) dt

Remarques :
H
Si la courbe est ferme, elle se note par ~ f1 dx + f2 dy + f3 dz
Faire attention ne pas confondre avec lintgrale sur une courbe ou sur un chemin.
R
En gnral, cette intgrale dpend du chemin, i.e. du paramtrage. Lutilisation de C est un
abus de notation. Il existe des conditions suffisantes permettant daffirmer lindpendance
vis-- vis du paramtrage.
Dans ce cas, on doit galement faire attention lorientation. Cependant, avec des hypothses naturelles, on peut dfinir la notion dintgrale curviligne dune fonction sur une
courbe oriente.
Lien entre lintgrale sur une courbe et lintgrale curviligne
Z

g(~ (t)) Dt 1 (t)dt

g dx =
~

Z
=

g(~ (t))
Za

Dt 1 (t)
||Dt~ (t)||dt
||Dt~ (t)||

g t1 ds
~

o t1 est la premire composante du vecteur unitaire tangent (unique lorientation prs). On

fait de mme pour les intgrales en dy et dz.

2.5.5

Intgrale sur une surface

Lintgrale sur une surface est une gnralisation de la formule de laire (g = 1).

36

ZZ

ZZ
g d =
~

~ v))kN
~ (u, v)k dudv
g((u,

o
~ Dv
~
~ (u, v) = Du
N
~ v), (u, v) K (un paramtrage injectif
est le vecteur normal la surface S paramtre par (u,
et rgulier).

2.5.6

Intgrale surperficielle, le long dune surface

Les intgrales superficielles sont des intgrales du type

ZZ
ZZ
~ v))N3 (u, v)dudv
f3 dx dy =
f3 ((u,
~

K
ZZ
ZZ
~ v))N2 (u, v)dudv
f2 dx dz =
f2 ((u,
~

K
ZZ
ZZ
~ v))N1 (u, v)dudv
f1 dy dz =
f1 ((u,
~

~ v) Dv (u,
~ v).
~ :N
~ (u, v) = Du (u,
o N1 , N2 , N3 sont les composantes du vecteur normal N
~ Ce nest que
Remarques : La dfinition fait intervenir une couverture (i.e. un paramtrage ).
sous certaines conditions
(injectivits, orientation, rgularit) que lon peut rigoureusement utiRR
liser la notation S .
Le lien entre intgrale superficielle et intgrale sur une surface
ZZ
ZZ
ZZ
~
g((u, v))N3 (u, v)dudv =
gn3 d =
g dx dy
S

o n3 est la troisime composante du vecteur normal unitaire (et analogue pour les autres cas).

2.5.7

Notion dorientation et dinvariance des intgrales

Bien que lon dfinisse toutes les intgrales curvilignes, sur des courbes et sur des surfaces
grce un paramtrage (ce qui est un abus de langage), la valeur de lintgrale est bien indpendante du paramtrage choisi pour autant que certaines prcautions dinjectivit, dorientation et
de rgularit soient prises.

Invariance de lintgrale sur des chemins simples rectifiables qui ont la mme image
Si lon dispose de deux paramtrages dune mme courbe simple par des chemins simples
rectifiables ~1 et ~2 et si g est une fonction continue sur la courbe, alors
Z
Z
g ds =
g ds.
~1

~2

37

On peut alors dfinir lintgrale de g sur la courbe simple rectifiable C comme tant lintgrale
de g sur nimporte quel chemin simple rectifiable ~ paramtrant la courbe :
Z
Z
g ds.
g ds =
C

Intgrale curviligne le long de chemins rectifiables qui ont la mme image

Si lon dispose de deux paramtrages dune mme courbe simple par des chemins simples
rectifiables ~1 et ~2 et si f~ est une fonction continue sur la courbe, alors
Z
Z
f1 dx + f2 dy + f3 dz
f1 dx + f2 dy + f3 dz =
~2

~1

le signe + correspondant au cas o les paramtrages font partie de la mme orientation et le

signe au cas o leurs orientations sont diffrentes.
On peut alors dfinir lintgrale curviligne de f le long de la courbe simple rectifiable oriente
C+ comme tant lintgrale de f sur nimporte quel chemin simple rectifiable ~ paramtrant la
courbe et qui appartient lorientation choisie :
Z
Z
f1 dx + f2 dy + f3 dz =
f1 dx + f2 dy + f3 dz.
C+

Invariance de lintgrale sur des couvertures qui ont la mme image.

~ 1 , K1 ) et (
~ 2 , K2 ) dune mme surface S et si g est une
Si lon dispose de deux couvertures (
fonction continue sur S, alors
Z
Z




~2
1
1
2
2
~ 1 (u, v))
~
~
~
~
g(
D

du
dv
=
g(

(u,
v))
D

u

u
du dv.
v
v
K1

K2

On peut alors dfinir lintgrale dune fonction g C0 (S) sur la surface S, note
ZZ
ZZ


~ v))
~ Dv
~
g d =
g((u,
Du
du dv
S

~ K) choisie pour paramtrer S.

quelle que soit la couverture (,

38

RR

Sg

d par

2.6
2.6.1

Formules
Formule de Green dans le plan

Soient K un compact du plan xy dont le contour C est compos de lunion finie de courbes
planes orientes et f~ = [f1 , f2 ] : R2 ou C2 tel que K R2 et f1 , f2 sont continment
drivables dans R2 . On a
ZZ
I
(Dx f2 Dy f1 )dxdy =
(f1 dx + f2 dy)
C+

Dmonstration dans un cas particulier

Ce cas est le cas particulier o le compact est parallle laxe des y .
C

u, v : [a, b] 0 R
C

u, v : ]a, b[1 R
Du, Dv L1 (]a, b[)
u(x) < v(x), x ]a, b[
K=

(x, y) : x [a, b] & u(x) y v(x)

La courbe C+ est la courbe oriente aire gauche constitue de la juxtaposition des courbes
orientes C1 , C2 , C3 , C4 .
Montrons que
ZZ
Z
Dx f2 dxdy =
f2 dy
(1)
C+

et que
ZZ

Z
Dy f1 dxdy =

K
C
lorsque f~ = [f1 , f2 ] : 1 R2 ,

C+

f1 dx

(2)

Figure 2.3 Reprsentation du compact K

39

Membre de gauche de (1) :

Z bZ

ZZ
K

v(x)

Dx f2 (x, y)dydx

Dx f2 dxdy =
| {z }

L1 (K)

u(x)

Intgrale paramtrique dont les bornes dpendent du paramtre.

Z

v(x)

f2 (x, y)dy
{z
}

Dx
u(x)

F (u(x),v(x),x)

qui ressemble

f2 (, y)dy

F (, , ) =

On pose G(x) = F (u(x), v(x), x) et on drive en utilisant le thorme de drivation des fonctions
composes (dont vous noublierez pas de vrifier les hypothses).
Rappel sur les primitives, pour f continu sur un intervalle ouvert contenant t0 :
Z t
g(t) =
f (s)ds Dt g(t) = f (t)
t0

Ici, on a alors,
Dx G(x) = Dx F (u(x), v(x), x) = (D F )(u(x),v(x),x) u0 (x) + (D F )(u(x),v(x),x) v 0 (x) + (D F )(u(x),v(x),x)
Z v(x)
0
0
= f2 (x, u(x))u (x) + f2 (x, v(x))v (x) +
Dx f2 (x, y)dy
u(x)

donc
ZZ

Z b

Dx f2 dxdy =
K


Dx G(x) + f2 (x, u(x))u0 (x) f2 (x, v(x))v 0 (x) dx

a
v(b)

v(a)

f2 (b, y)dy

=
u(b)

Z
f2 (a, y)dy +

u(a)

[f2 (x, u(x))u0 (x) f2 (x, v(x))v 0 (x)]dx

Membre de droite de (1) :

C1 : [b, t],

t [u(b), v(b)]

C2 : [t, v(t)],
C3 : [a, t],

t [a, b]
t [u(a), v(a)]

C4 : [t, u(t)],

Z
=

C+

Z
+

C1
Z v(b)

Z
+

C2

Z
+

C3

C4

Z
f2 (b, t).1dt

=
u(b)

t [a, b]

v(a)

f2 (t, v(t))v dt
a

f2 (a, t)dt +
u(a)

et lgalit 1 dtre prouve.

40

Z
a

f2 (t, u(t))u0 dt

Membre de gauche (2) :

Z
ZZ
Dy f1 dxdy =

Dy f1 (x, y)dy dx

v(x)

f1 (x, v(x)) f1 (x, u(x)) dx

u(x)

par variation de primitive.

Membre de droite de lgalite (2) :
Z
Z
Z
Z
Z
+
+
+
=
C1
v(b)

C+

C2

C3

C4

Z
f1 (b, t).0 dt

=
u(b)

Z
=

Z
f1 (t, v(t)).1 dt

Z
f1 (a, t).0 dt +

a
b

v(a)

u(a)

f1 (t, u(t)).1 dt
a

f1 (t, u(t)) dt

f1 (t, v(t)) dt +
a

Et la formule complte dtre prouve.

Application de la formule de Green
La formule de Green scrit
ZZ
I
(Dx f2 Dy f1 )dxdy =

C+

(f1 dx + f2 dy)

dans le cas de f2 = x et f1 = 0, on a
ZZ

I
dxdy =

x.dy
C+

et pour f1 = y et f2 = 0, on a
ZZ

I
y.dx

dxdy =
C+

Ceci permet dappliquer la formule de Green au cas du calcul daire de surfaces planes.
2
2
Par exemple : aire dune ellipse dquation cartsienne xa2 + yb2 = 1
Paramtrage de C, bord de K :

x = x(t) = a cos t
, t [0; 2]
y = y(t) = b sin t
ZZ
Z 2
Z 2
Z
Z
ab 2
ab 2
2
dxdy =
a cos t bD sin t dt = ab
cos t dt =
(cos 2t + 1)dt =
dt = ab
2 0
2 0
K
0
0

2.6.2

Formule de Gauss ou Thorme de la divergence

Soient V un compact de lespace (R3 ) dont la frontire S est compose de lunion finie de surfaces
orientables et f~ = [f1 , f2 , f3 ] : R3 , une fonction vectorielle de classe C1 telle que V
R3 . Alors
ZZZ
ZZ
~
div f dxdydz =
f~ ~n d
S

o ~n est la normale unitaire extrieure la surface S.

41

Application
Soit U un champ scalaire inconnu qui reprsente la temprature en chaque point dun corps.
La quantit de chaleur qui entre dans le volume par unit de temps :
ZZ
~
U
~n d
|{z}
S

f (x,y,z)

Vu que cest une modlisation dun systme rel, on trouve que U doit vrifier :
ZZ
ZZZ
~ ~nd
Dt U dxdydz =
U
S

Grce au thorme de Gauss, on peut galer :

ZZZ
ZZZ
~ dxdydz
div U
Dt U dxdydz =
V

do, la relation appele "quation de la chaleur"

~ = 4U
Dt U = div U
o
4U = Dx2 U + Dy2 U + Dz2 U
est le Laplacien de la fonction scalaire U .
Exemples Dautres exemples dapplication peuvent tre trouvs la page 459 du EK. La section
10.8 page 463 donne aussi deux exemples ainsi que linterprtation physique de la divergence.

2.6.3

Formule de Stokes

Soient S une union finie de surfaces rgulires orientables* dont la frontire est la courbe ferme
oriente* C compose dune union finie darcs de courbes rguliers et f~ = [f1 , f2 , f3 ] de classe
C1 : R3 telle que S R3 , alors
ZZ
I
I
~
~
~
rotf ~n d = f t ds = f1 dx + f2 dy + f3 dz
S

o ~n est la normale unitaire S et ~t est le vecteur tangent unitaire C.

* La courbe C est oriente de manire respecter la rgle du tire-bouchon lors de son parcours
par rapport lorientation de ~n.
Exercice : Vrifier que cette formule gnralise la formule de Green dans le plan.
Exemple
Retour un exemple de champ dont la divergence est nulle mais qui ne drive pas dun
potentiel vectoriel.
~r
~a =
avec ~r = [x, y, z] et = R30
||~r||3

42

Figure 2.4 Sphre

Par labsurde : si il existe f~ : R3 de classe C2 tel que rotf~ = ~a, alors
ZZ
ZZ
ZZ
~r
~
rotf ~n d =
~n d =
d = 4
r||3
S
S ||~
S
Par Stokes sur chacune des deux parties de la sphre :
ZZ
ZZ
ZZ
~
~
rotf ~n d =
rotf ~n1 d +
rotf~ ~n2 d
S
S1
S2
I
I
~
~
=
f tds +
f~ ~tds
C1

C2

= 0
Parce que C1 = C2 (orientation oppose).
Lexistence de deux valeurs diffrentes pour lintgrale donne lieu une absurdit. On en dduit
que f~ nexiste pas. Ce qui ne doit pas surprendre : ntait pas toil.

43

Lien avec le chapitre 3

2.7

Lindpendance des intgrales

Nous allons tudier lindpendance de certaines intgrales curvilignes vis--vis de chemins

reliant deux points.

2.7.1

Homotopie de chemins

Soit deux chemins ~ , ~ 0 : [a, b] Rn de classe C0 .

Dfinition :
~ et ~ 0 sont dits homotopes dans comme chemins extrmits fixes lorsque :
~ : [a, b] [0, 1] continu tel que
H
~ 0)
~ (t) = H(t,
~ 1)
~ 0 (t) = H(t,

t [a, b]

t [a, b]
0
~
H(a, s) = ~ (a) = ~ (a) s [0, 1]
~ s) = ~ (b) = ~ 0 (b) s [0, 1]
H(b,

Figure 2.5 Homotopie de chemins extrmits fixes

44

~ : [a, b][0, 1] continu.

~ et ~ 0 sont dits homotopes dans comme chemins ferms lorsque H
~ 0) t [a, b]
~ (t) = H(t,
0
~ 1) t [a, b]
~ (t) = H(t,
~
~ s) s [0, 1]
H(a,
s) = H(b,

Figure 2.6 Homotopie de chemins ferms

Proprits :
~ de classe Cp,
si ~ et ~ 0 sont Cp alors on peut prendre H
tout chemin continu est toujours homotope un chemin C1 (homotopie extrmits fixes)
Invariance par homotopie

Soit
f~ = [f1 , fn ] : Rn Cn , de classe C1
si Dj fk = Dk fj

j, k = 1, , n, dans , alors
Z
Z
f1 dx1 + + fn dxn =
f1 dx1 + + fn dxn
~ 0

pour tous chemins ~ , ~ 0 de classe C1 , homotopes dans .

Preuve On a (par dfinition)
Z

f~(~ (t)) D~ (t)dt =

f1 dx1 + + fn dxn =
~

Z
~ 0

~ 0)) DH(t,
~ 0)dt
f~(H(t,

a
b

f~(~ 0 (t)) D~ 0 (t)dt =

f1 dx1 + + fn dxn =
a

~ 1)) DH(t,
~ 1)dt
f~(H(t,

Cela tant, pour tout s [0, 1], lintgrale

Z
F (s) =

~ s)) DH(t,
~ s)dt
f~(H(t,

est bien dfinie et reprsente une fonction continue. On va voir (par les intgrales paramtriques)
que cette fonction est en fait drivable sur ]0, 1[ et que sa drive est nulle dans cet intervalle.

45

On pourra alors conclure que F est indpendante de s [0, 1], et obtenir la thse, savoir
F (0) = F (1).
Aprs vrification des hypothses (intgrales paramtriques), on obtient
Z b
n
X
~ s))Dt Hj (t, s) dt
Ds
fj (H(t,
Ds F (s) =
a

j=1

Z bX
n 

~ s))Ds Dt Hj (t, s) + Dt Hj (t, s)

fj (H(t,

a j=1

j=1 k=1

Z bX
n X
n
a

~ s Hk Dt Hj +
Dk fj (H)D
| {z }
Dj fk

~ s Hk Dt Hj +
Dj fk (H)D

j=1 k=1

Z bX
n 
a

~ s Dt Hk +
fk (H)D


~ s Dt Hj dt
fj (H)D

j=1
n
X


~ s Dt Hk dt
fk (H)D

n
X

~ s Hk Dt Hj
Dj fk (H)D



dt

j=1

k=1

n
X

k=1

{z

|
=


~ s Hk (t, s) dt
(Dk fj )(H)D

k=1

Z bX
n X
n
a

n
X

~
Dt (fk (H)D
s Hk )



~ s)) Ds H(t,
~ s) dt
Dt f~(H(t,

~ s)) Ds H(b,
~ s) f~(H(a,
~
~
= f~(H(b,
s)) Ds H(a,
s)
= 0
Car on a une homotopie (voir dfinition)
Gnralisation Dans le cas o f~ est seulement continu (dans ce cas lhypothse sur les drives
croises est obsolte), on remplace lhypothse des drives croises par lexistence locale de
de classe C1 tel que f~ = grad .
Remarque : Lorsque que le champ est C1 , lhypothse des drives croises quivaut lexistence
du gradient (global ou local en fonction des proprits de ).

2.8

Champ exact

Remarques :
Ces notions seront importantes dans le chapitre 3 :
intgrales curvilignes,
annulation du rotationnel,
champ exact (drivant dun potentiel).
Pour rappel, lintgrale curviligne de f~ = [f1 , ..., fn ] sur la courbe paramtre par ~ =
[1 , ..., n ] est
Z
Z b
f1 dx1 + f2 dx2 + + fn dxn =
[f1 (1 (t), , n (t))Dt 1 + + fn (1 (t), , n (t))Dt n ]dt
C

En notation abrge :
Z
=

f~(~ (t)) D~ (t)dt

46

C
Soit f~ = [f1 , , fn ] : 1 Rn avec n N0 , ouvert de Rn .
C

1. : 2 R tel que :

f~ = grad
m

2. Lintgrale curviligne de f~ pour tout chemin ferm est nulle (ou encore lintgrale curviligne
de f~ ne dpend pas du chemin, seulement des deux extrmits de ce chemin).

3. On a galit des drives croises Dj fk = Dk fj

rotf~ = ~0)

j, k {1, , n}. (cd, quand n = 3 :

Si est simplement connexe, on a en plus : 3. 2.

Remarque :
Si f~ drive dun champ potentiel scalaire alors f~ est appele un champ exact.
Les chemins considrs sont constitus de la juxtaposition dun nombre fini de chemins de
classe C1 (c.f. hypothses EK p 421)
Preuve : considrons le cas n = 3
(1) (2) ?
I
C

f1 dx + f2 dy + f3 dz =

D1 dx + D2 dy + D3 dz
a

(D1 )(~ (t))Dt 1 + (D2 )(~ (t))Dt 2 + (D3 )(~ (t))Dt 3 dt

a

Dt ((1 , 2 , 3 ))dt = (~ (b)) (~ (a)) = (B) (A)

=
a

La solution ne dpend pas du chemin parcouru, seulement des deux extrmits.

Figure 2.7 Indpendance du chemin

En consquence,
I
C

f1 dx + f2 dx + f3 dz = 0 C chemin ferm

est vident car par la relation () on a

I
f1 dx + f2 dy + f3 dz = (A) (A) = 0
C

47

()

(2) (1) ? On peut supposer connexe 12 .

Montrons que fonction scalaire de classe C1 telle que f~ = grad dans .
Fixons un point P0 dans . Si P (x, y, z) est un point quelconque de , soit ~P un chemin reliant
P0 P en restant dans 13 . On pose
Z
(x, y, z) = f1 dx + f2 dy + f3 dz
~

ce qui a bien un sens, vu lhypothse.

La fonction convient-t-elle ? Montrons que 14 :
D1 = f1
On a :

Figure 2.8 Segment horizontal

Z

(x + h, y, z) (x, y, z) =

f1 dx + f2 dy + f3 dz =
Segmenthorizontal

f1 (x + th, y, z)h dt
0

Ainsi,
(x + h, y, z) (x, y, z)
= lim
h0
h0
h

f1 (x + th, y, z)dt = f1 (x, y, z)

D1 (x, y, z) = lim

~ =0
(2) (3) ? Dans R3 cest vident : si C2 , on a rot
(3) (2) ? Si f~ C1 : Cn vrifie les galits croises et si est simplement connexe alors,
par homotopie un chemin constant :
Z
f1 dx1 + + fn dxn = 0
~

pour tout chemin ferm ~ de classe C1 .

Relation entre les diffrents points :
Comme (2) (3) avec lquivalence (1) et (2) on sait aussi que (1) implique (3).
Quand est simplement connexe (ce qui est le cas des ouverts toils), toutes les relations sont
ncessaires et suffisantes.
Remarque : voir aussi EK p 428.
12. il est alors connexe par arcs et lexistence de chemins continus joingnant deux points est assure
13. comme est connexe par arcs, cest possible
14. analogue pour les autres drives

48

Chapitre 3

Fonctions holomorphes
Rfrences du chapitre
Thorie
Dans le EK (livre de rfrence) : chapitres 13, 14, 15, 16
Exercices
Exercices du EK (se trouvant la fin des sections et la fin des chapitres).
Applications : chapitres 17 et 18.
Liste(s) dexercices disponible(s) sur le site du service : http ://www.afo.ulg.ac.be/

3.1

Introduction et notations

On travaille avec C qui est semblable R2 en ce qui concerne la topologie.

zC

avec x, y R

z = (x, y) = x + iy

f dfinie dans C f (z) = f (x, y). Ce qui permettra de parler des drivations partielles,
de C1 et dutiliser les proprits et thormes usuels dans ce cadre.
(C identifi R2 en ce qui concerne les variables.)

3.1.1

Un cas particulier dintgrales curvilignes

f : C = R2 0 C
: [a, b] C de classe C1
|{z}
IR

= 1 + i2 o 1 , 2 sont valeurs relles. On dfinit aussi ~ = [1 , 2 ].

Dfinition :
Z
Z
f (z)dz = f dx + if dy

Il sagit donc dune intgrale curviligne sur un chemin (courbe) du plan o le champ a deux
composantes complexes : f , if .
|{z} |{z}
f1

f2

49

On a donc :
Z

Z
f (z)dz =

f dx + if dy
~

Z b


f (1 (t), 2 (t))Dt 1 (t) + if (1 (t), 2 (t))Dt 2 (t) dt

a
b

(f (1 (t), 2 (t))Dt (t))dt

=
a
b

Z
=

(f ((t))Dt (t))dt
a

Attention (t) est un complexe.

3.1.2

Premires proprits

On suppose que f est continu sur la courbe C et que le paramtrage est de classe C1 (sur
le ferm [a, b]).
1. Lorsque f1 = f = Dx et f2 = if = Dy , on obtient :
Z
Z
Z b


f (z)dz = f (z)dz =
(Dx )(1 (t), 2 (t))Dt 1 (t) + (Dy )(1 (t), 2 (t))Dt 2 (t) dt
C

Z
=

Dt ((1 (t), 2 (t))dt

a

= ((b)) ((a))
Ce qui tait le rsultat obtenu dans Rn pour les champs exacts.
2. On a aussi :
Z
Z
Z b

  b

 f (z)dz  = 
f ((t))Dt (t)dt sup |f |
|Dt |dt
C

)2

)2

avec |Dt | = module complexe = (Dt 1 + (Dt 2 = ||Dt~ ||

Do
Z


 f (z)dz  sup |f | LC
C

3.2

Dfinition dune fonction holomorphe

Soit un ouvert de C et f : C.
Si z0 est tel que :
f (z0 + h) f (z0 )
hC,h0
h
lim

existe et est finie,

on dit alors que la fonction est holomorphe en z0 .

Une fonction holomorphe dans est une fonction qui est holomorphe en tout point de .
Notation :
f (z0 + h) f (z0 )
= Df (z0 )
h0
h
lim

50

Exemples :
f (z) = z , f (z) = z 2 , f (z) = z m m N sont des fonctions holomorphes dans C.
Par contre f (z) = z nest pas holomorphe dans C.
Prenons h un rel pur :
f (z0 + h) f (z0 )
h
= lim = 1
h0
h0 h
h
Prenons h un imaginaire pur :
lim

f (z0 + h) f (z0 )
h
= lim = 1
h0 h
h
Par unicit de la limite, la limite nexiste pas.
lim

h0

3.2.1

Proprits directes mais fondamentales

1. Si f est holomorphe dans , alors

f est continue dans
lim f (z) = lim
zz0
zz0
|

f (z) f (z0 )
(z z0 ) +f (z0 )
z z0
{z
}
=0

f est drivable par rapport x et y dans et vrifie Dx f + iDy f = 0 1 dans .

Dx f = Df , Dy f = iDf
f (z + h) f (z)
f (x + h, y) f (x, y)
= Dx f = lim
= Df (z)
hR,h0
hR,h0
h
h
lim

f (x, y + h) f (x, y)
f (z + ih) f (z)
= iDy f = lim
= Df (z)
hR,h0
hR,h0
(i)h
(i)h
2. Si f C1 () (par rapport aux variables relles) et si Dx f + iDy f = 0 dans alors f est
holomorphe dans .
lim

Preuve : On suppose f C1 et D1 f + iD2 f = 0 dans . z ,

On considre : z = x + iy = (x, y) x, y R et h = <h + i=h
On a :

h C tel que z + h

f (z + h) f (z) = f (x + <h, y + =h) f (x, y)

Z 1
=
Dt (f (x + t<h, y + t=h))dt
0
Z 1
=
[(D1 f )z+th <h + (D2 f )z+th =h]dt
0
Z 1
=
[(D1 f )z+th <h + i(D1 f )z+th =h]dt
0
Z 1
=
(D1 f )z+th (<h
| +
{zi=h})dt
0

Donc
f (z + h) f (z)
lim
= lim
hC,h0
h0
h
1. Appele quation de Cauchy-Riemann

51

(D1 f )z+th dt = (D1 f )(z)

0

3.2.2

Remarques au sujet de lquation de Cauchy-Riemann

Sous forme complexe :

Dx f + iDy f = 0

(CR)

NB : Cela peut aussi scrire Dx (if ) = Dy f .

En crivant : f = <f + i=f = u + iv (avec <f = u partie relle de f et =f = v partie imaginaire
de f ). On a :
Dx f + iDy f = Dx (u + iv) + iDy (u + iv) = Dx u Dy v + i(Dx v + Dy u)

On obtient "Cauchy Riemann Rel" :


Dx <f = Dy =f
Dx =f = Dy <f

(CRR)

Manipulation des notions dans lintgrale curviligne

Z
Z
Z
Z
Z
f (z)dz = f dx + if dy = (<f +i=f )dx+(i<f =f )dy = <f dx =f dy + i =f dx + <f dy

~
~
~
~
|
{z
}
|
{z
} |
{z
}
1

(CR) traduit lgalit des drives croises pour 1.

(CRR) traduit lgalit des drives croises pour 2 et 3 :
Complments et applications Voir E.K. 13.4 (page 678) et chapitre 18 (pages 749 et s.)

3.3

Proprits relatives aux intgrales des fonctions holomorphes

Si f est holomorphe dans (ouvert de C) et de classe C1 , alors

Z
Z
f (z)dz =
f (z)dz
0

pour tous chemins , 0 de classe C1 (par morceaux) qui sont homotopes dans .
Car nous avons dmontr linvariance par homotopie pour des fonctions de classe C1 qui
respectaient les galits croises avec ~ , ~ 0 de classe C1 homotopes dans . Les galits croises
sont traduites par Cauchy-Riemann pour une fonction C1 .
En particulier Si f est holomorphe dans et de classe C1 ,
Z
f (z)dz = 0

si est ferm et si est homotope un chemin constant (un point).

NB : On peut galement dmontrer ce rsultat sans lhypothse f de classe C1 () .

52

3.4

Proprits de type gnral relatives aux fonctions holomorphes

1. Toute combinaison linaire de fonctions holomorphes est holomorphe.

2. Le produit de deux fonctions holomorphes est holomorphe.
3. Si f est holomorphe dans et si f (z) 6= 0, z alors

1
f

est holomorphe dans .

4. Tout polynme est holomorphe dans C. (P (z) = a0 + a1 z + + an z n ).

P+ z m
5. f (z) = ez =
m=0 m! est holomorphe dans C (par Cauchy-Riemann et drivation des
sries de puissances).
6. Si f est holomorphe dans louvert connexe et tel que Df = 0 dans alors f est constant
dans . De fait, on a

Dx f = Df = 0
Df = 0
f = constante dans
Dy f = iDf = 0
7. Si f est holomorphe dans louvert connexe et valeurs relles, alors f est constant dans
.
8. Si f est holomorphe dans et si : [a, b] C est de classe C1 , alors
Dt (f ((t))) = (Df )(t) Dt
9. Si f est holomorphe dans , g est holomorphe dans et g() , alors f g est holomorphe
dans et D(f g) = (Df )g Dg.
10. Si f est holomorphe dans et de classe C2 alors f, <f et =f vrifient 4u = 0 dans (on
dit que =f et <f sont des fonctions harmoniques relles).
Preuve Rappelons que 4 = Dx2 + Dy2 . Cela tant, si f est holomorphe, alors Dx f = iDy f
donc
Dx2 f = iDx Dy f = iDy Dx f = i2 Dy2 f
do la conclusion.

3.5

Quelques exemples dintgrales dans ce cadre

Exemple Si (t) = eit , t [0, 2], calculez :

R
1. zdz = 0 car le cercle se racrapotte sur un point et f est holomorphe dans C
R
2. zdz = 2i NB : la fonction conjuge nest pas holomorphe.
R
3. z1 dz = 2i La fonction nest pas holomorphe lorigine.
R
4. z12 dz = 0 Parce que cest la valeur de lintgrale, pas pour des raisons homotopiques.

3.6

Primitives dans le cadre des fonctions holomorphes

Si f est holomorphe dans simplement connexe, alors il existe F holomorphe dans tel que :
DF = f
Preuve : Ceci est une consquence de la relation de Cauchy-Riemman et de tout ce que nous
avons vu dans le chapitre II propos des champs exacts.

53

3.7

Fonctions holomorphes lmentaires

Nous avons dj : polynmes, fractions rationelles, exponentielles. Pour rappel

La fonction exponentielle est en fait dfinie dans C et est mme holomorphe dans C :
exp(z) = ez =

+ m
X
z
m!

zC

m=0

et on dfinit aussi
cos z =

eiz + eiz
,
2

cosh z =

ez + ez
2

sin z =

eiz eiz
,
2i

sinh z =

ez ez
2

NB : cos(iz) = cosh z et sin(iz) = i sinh z

3.7.1

Le logarithme complexe

La fonction exponentielle est holomorphe dans C mais elle ny est pas injective !
exp(z + 2im) = exp(z) m Z, z C
Lide pour dfinir un logarithme est pourtant la mme que lorsquon travaille avec des fonctions
de variables relles, inverser :
u = ez z en fonction de u?
On a
z = x + iy = u = ex eiy = |u| = ex = ln |u| = x et y = argument de u.
On considre alors la fonction argument :
Arg
(valeur principale de largument dun complexe non nul, valeurs dans ] , ])
elle est bien dfinie dans C0 et est valeurs dans ] , ] (convention) ; elle nest cependant
pas continue dans C0
elle est de classe C dans = C\] , 0] et
Dx Arg(x, y) =

y
,
+ y2

x2

Dy Arg(x, y) =

x2

x
+ y2

Et grce cette nouvelle fonction on dfinit le logarithme complexe.

54

Figure 3.1 Valeur de largument dans le plan complexe

Dfinition du logarithme complexe et proprits :
Soit = C\] , 0],
Ln : C : z 7 ln |z| + iArgz
Ln est de classe C dans ,
1. holomorphe dans ,
2. DLnz =
3. eLnz = z
4.

Ln(ez )

1
z

dans ,
z

= z + 2ik

z tels que ez

Remarque. En fait, le logarithme est dfinit (par lexpression ci-dessus) dans le complmentaire
de lorigine ; il ny est cependant pas continu (cf fonction Arg)
Preuve : Calculons les drives de Ln :
Dx Lnz = Dx ln

p
1 2x
y
x iy
x2 + y 2 + iDx arg z =
+i 2
= 2
2
2
2
2x +y
x +y
x + y2

Dy Lnz = Dy ln

p
1 2y
x
y + ix
x2 + y 2 + iDy arg z =
+i 2
= 2
2
2
2
2x +y
x +y
x + y2

1. Ln est holomorphe car il est de clsse C1 et vrifie lquation de Cauchy-Riemann

(Dx + iDy)Lnz =

x iy + i(y + ix)
=0
x2 + y 2

2. On a
DLnz = Dx Lnz =
3. eLnz = eln |z| .eiArg(z) = |z|. exp(iArgz) = z
4.

Ln ez

ln |ez |

=
] , ].

iArgez

z
1
=
zz
z

= x + i(y + 2k) = z + i2k parce que largument doit tre dans

Remarques

55

 Le logarithme dun produit nest plus gal la somme des logarithmes : exemple :
ln(z1 z2 ) 6= ln z1 + ln z2
A regarder avec z1 = z2 = 1 + i et z1 = 1 + i et z2 = 1 + i
Il existe dautres dfinitions du logarithme, ce sont simplement le mme genre de logarithme
sur un ouvert diffrent.
Ex : largument entre ]0, 2] scrit : log0 . On place en fait la coupure en une autre
demi-droite.

3.7.2

Dfinition de la puissance gnralise

C,

z ,

z = eLnz

Attention toujours retourner la dfinition pour faire les calculs et ne pas garder les habitudes des rels.

3.8

Formule intgrale de Cauchy

Soit f une fonction holomorphe dans et soit z0 . Si 0 < r < dist(z0 , {) et si r est le
chemin r (t) = z0 + reit , t [0, 2], alors

Z
1
f (u)
f (z) si |z z0 | < r
du =
0 si |z z0 | > r
2i r u z

3.8.1

Preuve

Cas 1 : |z z0 | > r

r
z0
r

Figure 3.2 Le point z se trouve hors du cercle

(u)
La fonction : u 7 fuz
est holomorphe dans \{z} ; le chemin r est homotope un chemin
constant (z0 ) dans \{z}. Ds lors :
Z
1
f (u)
du = 0
2i r u z

56

Cas 2 : |z z0 | < r
Soit > 0 tel que < r |z z0 | ; posons (t) = z + eit , t [0; 2]. Les chemins r et
f (u)
sont homotopes dans \{z} et la fonction u 7 (uz)
est holomorphe dans \{z}.

Figure 3.3 Le point z se trouve dans le cercle

Une fonction H donnant lhomotopie est la suivante
H(t, s) = (1 s)r (t) + s (t); t [0; 2], s [0, 1]
H : [0, 2] [0, 1] \{z}
Reste-t-elle dans ? Oui car la combinaison est convexe. Le segment qui joint les deux points
de lhomotopie reste dans la boule, car la boule est dans .
Est-ce que cela passe par z ? Non, car quels que soient s et t, on a
H(t, s) z = (1 s)r (t) + s (t) z
= (1 s)(z0 + reit ) + s(z + eit ) z
= eit ((1 s)r + s) + (1 s)z0 + z(s 1)
|H(t, s) z| = |eit ((1 s)r + s) + (1 s)z0 + z(s 1)|
= |eit ((1 s)r + s) + (1 s)(z0 z)|
|(1 s)r + s (1 s)|z z0 ||
|(1 s)(r |z z0 |) + s|
(1 s)(r |z z0 |) + s
(1 s) + s = 6= 0
car < r |z z0 | par hypothse. Ds lors,
Z
r

f (u)
du =
uz

f (u)
du =
uz

Z
0

f (z + eit ) it
ie dt = i
eit

f (z + eit )dt

et (Lebesgue sur un compact)

Z
r

f (u)
du = lim
0
uz

f (u)
du = i
uz

57

f (z)dt = 2if (z)

0

3.8.2

Consquences de la formule dintgration de Cauchy

Rgularit et reprsentation des drives

Si f est holomorphe dans , alors

1. f est de classe C dans (par rapport ses variables relles)
2. Df est holomorphe dans , D2 f est holomorphe dans , ... , Dn f est holomorphe dans .
r (t) = z0 + reit , t [0, 2].
Z
f (u)
m!
m
D f (z) =
du, m N
2i r (u z)m+1

3. Si |z z0 | < r, 0 < r < dist(z0 , {),

NB Le chemin dintgration peut tre bien sr chang en utilisant le rsultat dinvariance par
homotopie qui peut tre trs utile dans les calculs dintgrales.
Preuve
1
2i

Z
r

f (u)
du = f (z)
uz

pour |z z0 | < r

Avec le thorme de drivation des intgrales paramtriques, on pourra arriver trouver facilement les drives de f en fonction de z. Avec r (t) = z0 + reit , z = (x, y) = x + iy (x et y rels),
on a
Z
Z 2
1
f (u)
1
f (z0 + reit )rieit
f (z) =
du =
dt
2i r u z
2i 0
z0 + reit z
Lensemble de variation des paramtres (x, y) est = b(z0 , < r)
Lensemble dintgration : [0, 2]
On a
1. t fix
f (z0 + reit )rieit
(x, y) 7 F (t, x, y) =
C ()
z0 + reit z
2. Dx F =

f (z0 +reit )rieit

,
(z0 +reit (x+iy))2

il vient :
Dxk F =
0

Dyk F =

f (z0 + reit )rieit

k!
(z0 + reit (x + iy))k+1

f (z0 + reit )rieit

0
k 0 !ik
(z0 + reit (x + iy))k0 +1

Donc,
 f (z + reit )rC 
0


0
|Dxk Dyk F | 
C
(z0 + reit z)k+k0 +1
|
{z
}
Continue en x,y,t

si z = x + iy K .
R
f (u)
1
Les intgrales paramtriques donnent f de classe C dans et Df (z) = 2i
r (uz)2 du.
Cette fonction z 7 Df est encore holomorphe dans car elle est C et (Cauchy Riemann) :
Z
Z
f (u)
1
(Dx + iDy )
du =
f (u)(Dx + iDy )
du = 0
2
(u z)2
r (u z)
r
car

1
(uz)2

est holomorphe (en la variable z).

58

Thorme de Liouville
Si f est holomorphe dans C (on dit que f est une fonction entire) et sil existe N N,
tels que :
|f (z)| C(1 + |z|)N z C

C>0

alors f est un polynme de degr plus petit ou gal N .

Preuve Soit z C. Montrons que DN +1 f (z) = 0.
Pour tout r > 0 tel que |z| < r, si r (t) = reit , t [0, 2], on a
Z
f (u)
(N + 1)!
DN +1 f (z) =
du |z| < r
2i
(u

z)N +2
r
(N + 1)!
|f (u)|
|DN +1 f (z)|
2r sup
N +2
2
|u|=r |u z|
(N + 1)!rC

(1 + r)N
(r |z|)N +2

Passons la limite quand r + (on peut le faire vu lhypothse sur f ) on a alors :

|DN +1 f (z)| 0. Donc DN +1 f (z) = 0.
Alors f est un polynme de degr plus petit ou gal N ?
Oui car on a les hypothses adquates sur f et
DN +1 f = 0

D(DN f ) = 0

DN f

constante = aN

D f

D(aN z)

f aN z)

D(D

N 1

N 1

f aN z

=
aN 1
..
. (etc)

Principe du maximum

Si f est holomorphe dans connexe et si z0 est tel que |f (z0 )| = sup |f |, alors f est
constante dans
Si est un ouvert born de C, si f est holomorphe dans et continue dans , alors sup |f | =
sup |f |
sa frontire (revoir la topologie).
o est ladhrence de et

59

Thorme de Weierstrass
Si fm est holomorphe dans quel que soit le naturel m et si K compact on a
supzK |fm (z) f (z)| 0 (convergence uniforme des drives sur K), alors f est holomorphe
dans et
sup |Dk fm (z) Dk f (z)| 0 k N, K (compact)
zK

3.9
3.9.1

Sries de puissances, sries de Taylor

Dfinition

Une srie de puissances est une srie du type

S(z) =

am (z z0 )m

m=0

avec am C m N, z0 C(constantes donnes)

z C.

Etude de la convergence de S(z) et des proprits de S

Si R > 0, C > 0 sont tels que
sup Rm |am | C
m

alors :
1. la srie S converge absolument et uniformment sur tout compact de la boule ouverte
B = {z C : |z z0 | < R}
2. S est holomorphe dans B = B(z0 , < R)
3. On a k N0
k

D S(z) =

+
X

m (m 1) (m k + 1)am (z z0 )mk

m=k

Pour obtenir ce rsultat, on

utilise le thorme de Weierstrass dans le cas des sries ( fm =
P+
holomorphe
dans

m,
sur tout compact de : on obtient
m=1 fm converge uniformment
P
P
k
k
que f = m fm est holomorphe dans , et D f = m D fm quel que soit le naturel k.)

Figure 3.4 K {z : |z z0 | r} avec r < R

60

Application dans le cas des sries de puissances (dans ce cas, les fm sont des polynmes) :
= B(z0 , < R), f = S
K compact de
q
X
sup |
am (z z0 )m | 0? si p, q +
zK m=p

sup |

q
X

am (z z0 ) |

zK m=p

q
X
m=p
q
X

|am |rm
|am |Rm

m=p
q
X

m=p

 r m

 r m
R

R
0 si

p, q +

Remarques
Si S converge en z1 (6= z0 ) alors elle converge absolument et uniformment sur tout compact
de B(z0 , < R0 ) avec R0 = |z z1 |, elle est holomorphe et drivable terme terme dans
B(z0 , < R0 ). (consquence du point (1))
Si S ne converge pas en z2 alors elle ne converge en aucun z tel que |z z0 | > |z0 z2 |

Figure 3.5

3.9.2

Rayon de convergence, disque de convergence dune srie de puissances

On considre la srie de puissances

S(z) =

+
X

am (z z0 )m

m=0

On appelle boule (ou disque) ou encore domaine de convergence de S lunion de toutes les
B(z0 , < R) o la srie converge. Le rayon RS (qui peut tre nul ou infini) de ce disque est appel
rayon de convergence de la srie S.
Ainsi, par dfinition, S(z) converge si |z z0 | < RS et diverge lorsque |z z0 | > RS .
NB : En toute gnralit, on ne peut rien dire sur la convergence en z : |z z0 | = RS .

61

Calcul du rayon de convergence (un exemple de cas pratique)

am+1
| = 0 RS = +
am
am+1
lim |
| = + RS = 0
m+ am
am+1
1
lim |
| = L RS =
m+ am
L
lim |

m+

3.9.3

Dveloppement de fonctions holomorphes en sries de puissances

On a vu quune srie de puissances dfinissait une fonction holomorphe (dans une boule). Rciproquement, toute fonction holomorphe se dveloppe de la sorte (mais il convient de prciser
o lgalit entre f et son dveloppement a lieu).
Si f est holomorphe dans (ouvert de C) et si z0 , on a :
f (z) =

+
X
Dm f (z0 )
(z z0 )m
m!

m=0

pour tout z tq |z z0 | < dist(z0 , {) = r0

Remarques Vu le rsultat prcdent, ceci implique aussi que la convergence est absolue et
uniforme dans tout compact de B(z0 , < r0 ) et que la srie est drivable terme terme.
Dmonstration On fixe z tel que |z z0 | < r0
Alors, si r > 0 est tel que |z z0 | < r < r0 , on a
Z
f (u)
1
du
f (z) =
2i r u z
avec r (t) = z0 + reit , t [0, 2].
Pour tout M N0 on a
M
1 
X
1
1
z z 0 m
(z z0 )M
=
+
uz
u z0
u z0
(u z).(u z0 )M
m=0

car
M
1 
X
1
z z0 m
=
u z0
u z0
m=0

zz0 M
1 ( uz
)
0

zz0
( uz
)
0

1
u z0

 z z M
1
0
1
uz
u z0

Et il vient en remplaant :
Z
M 1 Z
1 X
(z z0 )m
1
(z z0 )M
f (z) =
f (u)
f
(u)
du
+
du
2i
(u z0 )m+1
2i r
(u z)(u z0 )M
r
m=0

62

M
1
X
m=0

1 m!
m! 2i
|

Z
r

1
f (u)
du(z z0 )m +
m+1
(u z0 )
2i
{z
}
|

Dm f (z

Z
r

0)

f (u) (z z0 )M
du
(u z) (u z0 )M
{z
}
=reste

Le reste tend vers 0 si M car :

 1 Z
 f (u)   z z M
f (u) (z z0 )M 
1


 
0
du

2r
sup





M
2i r (u z) (u z0 )
2
r
|uz0 |=r u z




 zz0 
 zz0 M
avec  r  < 1, donc  r  0 si M .

3.9.4

Zros des fonctions holomorphes

On appelle zro dune fonction holomorphe f tout z0 tel que f (z0 ) = 0.

Un zro est dit p-uple (p naturel >0) lorsque
Dm f (z0 ) = 0 m = 0, , p 1 & Dp f (z0 ) 6= 0
Un zro est dit dordre infini lorsque :
Dm f (z0 ) = 0 m N

Proprits
1. Si f est holomorphe dans , connexe, et si f possde un zro dordre infini, alors f = 0
dans .
2. Soit p N0 . La fonction holomorphe possde z0 comme zro p-uple si et seulement sil
existe h, holomorphe au voisinage de z0 , tel que
f (z) = (z z0 )p h(z) au voisinage de z0

& h(z0 ) 6= 0

Tout zro p-uple est donc isol.

3. Si f est holomorphe dans connexe, si zm (m N0 ) est une suite de zros de f , distincts
deux deux, tels que zm z0 alors f = 0 dans .
En particulier si f est holomorphe dans connexe sannule dans un ouvert alors
f est nulle dans .
Preuve des proprits
1. z0 , Dm f (z0 ) = 0 m
E := {z : Dm f (z) = 0 m N}
E=
6 ; E est ferm (E = mN {z : Dm f (z) = 0})
E est ouvert ? Si il lest alors E = .

63

Soit z1 E ; montrer quil existe r1 > 0 tel que|z z1 | < r1 z E. Taylor en z1 :

f (z) =

+
X
Dm f (z1 )
(z z1 )m = 0 Dm f (z1 ) = 0 m
m!

m=0

pour z : |z z1 | < r1 = dist(z1 , {).

Donc Dk f (z) = 0 z : |z z1 | < r1 & k
NB : ouvert connexe avec E 6= , E ferm, E ouvert E = .
Sinon E, \E deux ouverts 6= dunion . 2
2. Consquence du dveloppement de Taylor.
Soit z0 zro p-uple de f . On a
f (z) =

+
X
Dm f (z0 )
(z z0 )m
m!

au voisinage de z0

m=0

+
X
Dm f (z0 )
(z z0 )mp
= (z z0 )
m!
m=p
|
{z
}
p

h(z)

avec h(z0 ) 6= 0 puisque la driv dordre p de f nest pas nulle en z0 .

Soit f (z) = (z z0 )p h(z) au voisinage de z0 avec h holomorphe et h(z0 ) 6= 0

Dk f (z0 )? = 0 si k = 0, , p 1
Dp f (z0 )? 6= 0 si k = p
Soit k p 1
k
X
Dk f (z0 ) =
Ckj Dj (z z0 )p |z0 Dkj h(z0 ) = 0
j=0

Soit k = p
p

D f (z0 ) =

p
X

Cpj Dj (z z0 )p |z0 Dpj h(z0 ) = Cpp Dp (z z0 )p |z=z0 h(z0 ) 6= 0

j=0

3. f (zm ) f (z0 ) donc z0 est un zro de f . Si z0 est dordre fini alors r > 0 : f (z) 6= 0 si
| {z }
0

0 < |z z0 | < r. Mais comme on a une suite de zros qui converge vers z0 il finissent par
entrer dans la boule de rayon r, cest donc absurde.
Donc z0 est dordre infini. La fonction est donc nulle dans .

3.10
3.10.1

Thorme des rsidus

Sries de Laurent

Si f est holomorphe dans \{z0 } (c..d. z0 est une singularit isole), on peut dcrire compltement la structure de f au voisinage de z0 .
2. Ltudiant, ici, fera attention relire la notion douvert et de ferm sachant quil faut savoir dans quel
"espace" on les considre.

64

Soit un ouvert de C, soit z0 et soit f holomorphe dans \{z0 }. Alors il existe un couple
unique h, H de fonctions telles que
1. h holomorphe dans
2. H holomorphe dans C et H(0) = 0.
1
3. f (z) = h(z) + H( zz
); z \{z0 }
0

De plus, on a
h(z) =

+
X

am (z z0 )m , |z z0 | < r0

m=0
+
X

H(z) =

am z m ,

zC

m=1

avec r0 = dist(z0 , {), r = z0 + reit avec t [0, 2] 0 < r < r0

Z
f (u)
1
du m Z
am =
2i r (u z0 )m+1

3.10.2

Remarques

Le thorme donne donc (au voisinage de z0 (pas en z0 ) si z0 est une singularit de f )

f (z) =

+
X

am (z z0 )m

m=
+
X
m=1

+
X
am
+
am (z z0 )m
(z z0 )m
m=0

et on a aussi la forme explicite pour les am (m Z).

Remarquons que lorsque f est holomorphe dans , alors on retrouve le dveloppement de
Taylor :
si m N alors
Z
1
f (u)
Dm f (z0 )
am =
du
=
2i r (u z0 )m+1
m!
si (m) N0 alors
am

1
=
2i

Z
r

f (u).(u z0 )m1 du = 0
|
{z
}
holomorphe dans

car pour m strictement ngatif, m 1 est positif, et le chemin est homotope un

chemin constant dans .
Quand m = 1
Z
1
1
a1 =
f (u)du = coefficient de
dans le dveloppement de Laurent
2i r
z z0
Cest ce que lon appelle (voir plus loin) le rsidu de f en la singularit isole z0 .

65

Exemples
1. f : z 7 e1/z est holomorphe dans C0 et le dveloppement de Laurent en 0 est
f (z) =

X
m0

h(z) = 1 et H(z) =
2. f : z 7

1
z(z+1)

P+

zm

+
X
1
1 1
=
1
+
.
m!z m
m! z m
m=1

= ez 1

m=1 m!

est holomorphe dans C\{0, 1} et on a

1
1
1
=
z(z + 1)
z z+1

z0 = 0 est une singularit isole. De mme que z0 = 1.

Le dveloppement de Laurent en 0 est donc
f (z) =

1
1
+ ;
z+1 z

H(z) = z

h(z) =

1
z+1

Et, le dveloppement de Laurent en 1 vaut

f (z) =

1
1

;
z z+1

H(z) = z

h(z) =

1
z

Faites attention lidentification de H.

3. f (z) = sin( z1 ) est holomorphe dans C0 . Dveloppement de Laurent ?
+
X
eix eix
x2m+1
=
sin x =
(1)m
2i
(2m + 1)!
m0

f (z) =

+
X

(1)m

m0

1
(2m + 1)!z 2m+1

h = 0 et H(z) = sin z
4. O ces fonctions sont-elles holomorphes, quelles sont leurs singularits isoles ? Quel est
leur rsidu et le dveloppement de Laurent (correspondant chaque singularit isole) ?
f1 (z) =

3.10.3

1
z 4 + 2z 2 + 1

f2 (z) = ez+1/z

f3 (z) =

1
z4 + 1

Dmonstration du thorme de Laurent

Soit z tel que 0 < |z z0 | < r0 . On dfinit F dans \{z0 } par :

(
f (u)f (z)
si u \{z, z0 }
uz
F (u) =
()
Df (z) si u = z
Fz (u) est holomorphe dans \{z0 }.
Cest clair pour louvert \{z, z0 }. Le principal problme se trouve en u = z.
Dans un voisinage de z, on a :
Z 1
Z 1
f (u) f (z) =
Dt (f (z + t(u z)))dt = (u z)
(Df )z+t(uz) dt
0

66

R1
Pour u = z on a F (u) = F (z) = Df (z) = 0 (Df )z+t(uz) dt. Ds lors
Z 1
(Df )z+t(uz) dt
au voisinage de z
F (u) =
0

Le membre de droite tant lintgrale (paramtrique) dune fonction de u holomorphe en u au

voisinage de z, donc en z, lgalit nous garantit que F (u) est aussi holomorphe en z.
Recherche des candidats H et h
Soient r et tels que 0 < < |z z0 | < r < r0 , avec r (t) = z0 + reit et (t) = z0 + eit ,
t [0, 2]. Les chemins r et sont homotopes dans \{z0 }, on a donc :
Z
Z
F (u)du
F (u)du =

Or,
Z

Z
F (u)du =

Z
=
r

f (u) f (z)
du
uz
Z
1
f (u)
du f (z)
du
uz
r u z

La reprsentation intgrale de Cauchy donne directement

Z
1
du = 2i
r u z
De plus,
Z

Z
F (u)du =

f (u) f (z)
du =
uz

f (u)
du f (z)
uz

1
du
uz
{z
}
=0

Comme on a,
Z

Z
F (u)du =

Z
r

F (u)du

f (u)
du f (z) 2i =
uz

f (u)
du
uz

Donc il vient,
1
f (z) =
2i

Z
r

f (u)
1
du
uz
2i

f (u)
du
uz

Examen de passage de h et H
1. Dfinissons h dans B = {z : |z z0 | < dist(z, {) = r0 }
Si z B avec r > 0 tel que |z z0 | < r < r0 , r (t) = z0 + reit , t [0, 2], on a alors la
fonction suivante, holomorphe dans B 3 :
Z
1
f (u)
h(z) =
du
2i r u z
3. Ce rsultat est obtenu suite la vrification de la relation de "Cauchy-Riemann" par drivation sous le
signe de aux intgrales paramtriques

67

De plus on a (par Taylor) :

h(z) =

+
X

(z z0 )m

m=0

Dm h(z0 )
,
m!

|z z0 | < r0

Avec (intgrales paramtriques ok)

1
D h(z0 ) = m!
2i
|
m

Z
r

f (u)
du
(u z0 )m+1
{z
}

m0

am

2. Dfinissons H dans C
1
Z1 = z z0 z = z0 + Z1 ,
Soit : Z = zz
0
1
= |Z|, le candidat H
Si 0 < < |z z0 | < r0 et 1 > |zz
0|
Z
Z
1
f (u)
Z
f (u)
H(Z) =
du =
du
1
2i u z0 Z
2i Z(u z0 ) + 1
1

et (t) = z0 + eit , t [0, 2]

Z
Z
f (u)
H(z) =
du
2i 1 Z(u z0 )

Dfinition de H : Z C, avec |Z| <

Par les intgrales paramtriques, cette fonction est holomorphe dans C et nous avons
H(0) = 0.
On applique Taylor puisque H est holomorphe dans C,
H(Z) =

+
X

Zm

m=1

D H(0) =
=
=
Dm H(0)
m!

Dm H(0)
m!

Z C

Z
m

f (u)
1 X j j 

mj
Cm D Z 
D
du
2i
Z=0
Z=0
1 Z(u z0 )
j=0
Z

m m1
f (u)

D
du
2i
1

Z(u

z
)
Z=0
0

Z
m
f (u)
(m 1)!
(u z0 )m1 du
2i
1
Z
1
f (u)
du = am
2i (u z0 )m+1

En considrant linvariance par homotopie pour le rsultat avec am .

Unicit du dveloppement de Laurent
Supposons que 2 couples rpondent la question :
1
1
f (z) = h1 (z) + H1 (
) = h2 (z) + H2 (
) ()
z z0
z z0
Pour z \{z0 }. Montrons quils sont gaux : h1 = h2 et H1 = H2 .
On dfinit :

h1 (z) h2 (z) z
F (z) =
1
1
H2 ( zz
) H1 ( zz
), z C\{z0 }
0
0
F est bien dfinie vu *, donc elle dfinit une fonction entire (dfinie sur tout C).
F est borne dans C :

68

 F = h1 h2 dans {z : |z z0 | r} et y est born

1
1
1
F = H2 ( zz
) H1 ( zz
) dans C mais : Z = zz
est tel que |Z| < 1r . Il vient par
0
0
0
continuit de F sur C quelle y est borne dans : {Z : |Z| 1r }.
Comme F est borne dans C, holomorhe dans C, elle est constante (thorme de Liouville). :
F (z) = C.
Si z 6= z0 , pour zm = z0 + m , m N0 , on a
C = F (z) = H2 (
C = F (zm ) = H2 (

3.10.4

1
1
) H1 (
)
z z0
z z0

1
1
) H1 ( ) 0 si m +
m
m

Ples et singularit essentielles

Si z0 est une singularit isole de f et si f est borne dans un voisinage de z0 alors f se prolonge
en une fonction holomorphe en z0 .
1
Preuve Le thorme de Laurent donne f (z) = h(z) + H( zz
) au voisinage de z0 (sauf z0 ) avec
0
1
h holomorphe en z0 . On obtient donc |H( zz0 )| C pour 0 < |z z0 | < donc |H(Z)| C
pour |Z| > 1 . Vu le thorme de Liouville et H(0) = 0, on obtient H = 0.

Remarque : Si limzz0 f (z) C alors f est borne au voisinage de z0 .

Si z0 est une singularit isole de f on appelle la singularit z0 un ple dordre p pour f si

H(z) est un polynme de degr p N0 .
dans le cas o H(z) est une srie infinie (nest pas un polynme) on dit que la singularit z0
est une singularit essentielle.

Remarque le cas H polynme de degr 0 correspond au cas o f se prolonge en une fonction

holomorphe en z0 . On parle aussi de ple dordre 0 dans ce cas.
Proprits
1. Si p N0 et si z (z z0 )p f (z) est born au voisinage de z0 alors z0 est un ple dordre
p au plus. Si la limite nest pas nulle, on a un ple exactement dordre p.
2. Si p N0 alors z0 est un ple dordre p pour f si et seulement si g holomorphe au voisinage
de z0 (compris) tel que, au voisinage de z0 ,
g(z0 ) 6= 0 et f (z) =

g(z)
(z z0 )p

Preuve
1. Est une gnralisation de la proprit ci-dessus. Par le thorme de Laurent, on a
f (z) = h(z) + H(

69

1
)
z z0

au voisinage de z0 (sauf en z0 ) donc

1
)
(z z0 )p f (z) (z z0 )p h(z) = (z z0 )p H(
|
{z
}
z z0
Borne dans 0<|zz0 |<

Il sensuit que
|z z0 |p |H(

1
)| C
z z0

pour z : 0 < |z z0 | <

|H(Z)| C 0 (|Z|p + 1) Z C

|H(Z)| C|Z|p

pour |Z| >

Alors H est un polynme de degr plus petit ou gal p (Liouville).

De plus, z0 est un ple dordre p exactement si et seulement si limzz0 (z z0 )p f (z) C0 .
En effet
(z z0

)p f (z)

= (z z0 ) h(z) +
|
{z
}
0

f (z)

= h(z) +

am

m=1

p
X

am

m=1
p

(z z0 ) f (z) = (z z0 )h(z) +
|
|
{z
}
{z
}
0

limite finie 6=0

p
X

1
(z z0 )p
(z z0 )m
{z
}
ap 6=0

1
(z z0 )m

p
X

am

|m=1

1
(z z0 )p
(z z0 )m
{z
}
ap

2. Dune part, si z0 est un ple dordre p, alors

f (z) = h(z) +

p
X

am

m=1

1
(z z0 )m

p
X
1
am (z z0 )m+p
(z z0 )p
m=1
P
(z z0 )p h(z) + pm=1 am (z z0 )pm
(z z0 )p

= h(z) +
=

le numrateur a bien les proprits requises de g.

Rciproquement, si
g(z)
f (z) =
(z z0 )p
avec g holomorphe au voisinage de z0 et non nul en ce point, on a
lim (z z0 )p f (z) = lim g(z) = g(z0 ) C0

zz0

zz0

70

Rsum au sujet des ples et singularits essentielles

p N0 , z0 est un ple dordre p

lim (z z0 )p f (z) C0
zz0

z0 est un ple dordre p 1 limzz0 f (z) =

z0 est une singularit essentielle limzz0 f (z) nexiste pas.
Remarque : Un complment dinformation sur les ples et singularits intitul A propos de la
limite des valeurs dune fonction holomorphe au voisinage dune singularit isole est disponible sur le site http ://www.afo.ulg.ac.be/ sous la forme dun ajout au cours du 13/11/07 et du
04/11/08.
Preuve
vident car dmontr prcdemment.
g(z)
f (z) = (zz
p donc limzz0 f (z) = .
0)
on a |f (z)| 1 si 0 < |(z z0 )| < donc f1 est holomorphe au voisinage de z0 (exclu).
1
limzz0 f (z)
= 0 donc 1/f se prolonge en une fonction holomorphe en z0 .
1
= (z z0 ) g(z)
f (z)
avec g(z0 ) 6= 0 et holomorphe au voisinage de z0 . Donc
f (z) =

1/g(z)
(z z0 )

si est nul : on a un ple dordre 0.

si 1 on a un ple dordre p car limzz0 f (z) = (hypothse).
Par labsurde, on a deux cas si la limite existe :
1. soit limzz0 f (z) est infinie, donc z0 est un ple au vu du point (2) du rsum, ainsi
z0 nest pas une singularit essentielle.
2. soit limzz0 f (z) est finie, cest dire limzz0 f (z) C alors f se prolonge en une
fonction holomorphe en z0 , do z0 nest pas une singularit.
Par labsurde, si z0 nest pas une singularit essentielle, alors cest un ple. Cest soit
un ple dordre 0 et on obtient que la fonction se prolonge en une fonction holomorphe en
z0 la limite est finie (absurde). Ou cest un ple dordre 1, dans ce cas la limite est
infinie par le point 2 (absurde).

3.10.5

Thorme des rsidus

R
Ce rsultat permet de calculer f (z)dz lorsque est un chemin ferm qui nentoure que des
R
singularits isoles de f (en exprimant certaines intgrales "relles" partir dintgrales dz
avec un chemin ferm). Ce rsultat permet galement de nombreuses utilisations dans le cadre
de lintgration au sens rel et dans le cadre de la sommation de sries.

71

Dfinition
Si z0 est une singularit isole de la fonction holomorphe f , on appelle rsidu de f en z0 la valeur
de lintgrale :
Z
1
f (z)dz = Resz0 f
2i r
o r (t) = z0 + reit , t [0, 2], 0 < r < dist(z0 , {).
Thorme des rsidus
Soient f holomorphe dans \{z1 , zJ }, un chemin ferm homotope un chemin constant
dans et ne passant pas par les points zj , alors
Z
f (z)dz = 2i

o I (zj ) =

1
2i

dz
zzj

J
X

Reszj f I (zj )

j=1

o j = 1, , J.

( I (zj ) est appel indice de par rapport zj . Lindice compte le nombre de tours que fait
autour de zj .)
Remarque z0 ,
[0, 2].

f holomorphe dans \{z0 }, 0 < r < r0 = dist(z0 , {) et r (t) = z0 +reit , t

1
Resz0 f =
2i

Z
f (z)dz = a1
r

Dmonstration
1
) dans (\{z1 , , zj1 , zj+1 , , zJ }) \{zj } =
j = 1, J f (z) = h(j) (z) + H (j) ( zz
j
\{z1 , , zj1 , zj , zj+1 , , zJ } par le thorme de Laurent. Cela tant, la fonction

F : z 7 f (z)

J
X

H (j) (

j=1

1
)
z zj

se prolonge en une fonction holomorphe dans car (analogue pour les autres singularits)
lim F (z) =

zz1

lim [f (z)

zz1

J
X
j=1

= h(1) (z1 )

J
X
j=2

Donc

H (j) (

H (j) (

1
) C.
z1 zj

F (z)dz = 0 (homotopie un chemin constant).

72

1
)]
z zj

Ds lors,
Z
f (z)dz =

J Z
X
j=1

H (j) (

(j)

J Z
X

a1
dz +
z zj

j=1

1
)dz
z zj
(j)


am
dz
m
m2 (z zj )
{z
}
|

Z X

=0

J Z
X
j=1

(j)
a1

z zj

dz

car, on a
(j)

(j)

am
a
1
= m D
m
(z zj )
1 m (z zj )m1
pour m 2
(j)
X (j)
X (j)
am
1
=
=
D
am DF (j) (z)
a
m
(z zj )m
(1 m)(z zj )m1
m2
m2
|
{z
} m2

F (j) (z)

avec

DF (j) (z)dz = F (j) ((b)) F (j) ((a)) = 0

car est un chemin ferm.

Lindice...
Avec = zj + eit ,

t [0, 4] on a,
1
I (zj ) =
2i

ieit
4
dt =
=2
it
e

Si on tourne dans le mauvais sens (sens horlogique), lindice est un naturel ngatif.
Si le chemin nentoure pas la singularit, par dformation homotope un chemin constant, on a
une intgrale nulle.
Les rsidus
Si f est holomorphe dans \{z0 },
1
Resz0 f =
2i

Z
f (z)dz
r

Proprits
Si on se rfre la dcomposition de Laurent : Resz0 f = a1 = DH(0)
Si z0 est un ple dordre plus petit ou gal p :



1

p1
p
Resz0 f =
D
(z z0 ) f (z) 

(p 1)!
z=z0

73

Dmonstration : on a
Resz0 f

=
=

(z z0 )p f (z)dz
(p 1)!
=
p
(z z0 )
2i(p 1)!
r



1

p1
p
D
(z z0 ) f (z) 

(p 1)!
1
2i

Z
r

(z z0 )p f (z)
dz
(z z0 )p1+1

z=z0

En particulier, si f1 et f2 sont holomorphes au voisinage de z0 (y compris) et si z0 est un

zro simple (c..d. dordre un) de f2 alors :
Resz0

f1
f1 (z0 )
=
f2
Df2 (z0 )

Dmonstration. Si f1 et f2 sont holomorphes au voisinage de z0 (y compris) et si z0 est un

(z)
zro simple (c..d. dordre un) de f2 , on a f (z) = ff21 (z)
= (zzf10(z)
)g2 (z) qui implique que z0
est un ple dordre 1 de f . Ainsi,
Resz0

f1 (z)
f1
= lim (z z0 )
= lim
f2 zz0
f2 (z) zz0

f1 (z)
f2 (z)f2 (z0 )
zz0

f1 (z0 )
Df2 (z0 )

Exemple
Z

I=
0

Sens de lintgrale : ok R
Fonction paire : I = 12 R

dx
1 + x4

dx
1+x4

que nous allons "fermer - borner" (il est ncessaire pour le

R R dx
thorme des rsidus que soit ferm born). I = 12 limR+ R 1+x
4
1
que nous immergeons dans le plan complexe : f (z) = 1+z 4 qui est holomorphe dans
+2k

C\{z1 , z2 , z3 , z4 } avec zk = ei 4 , on a donc : z1 = ei 4 ; z2 = ei 4 ; z3 = ei 4 ; z4 = ei 4 .

En considrant la demi circonfrence CR , soit r la juxtaposition de R et de CR . On a
alors, r homotope un chemin constant dans C et f holomorphe dans C\{z1 , z2 , z3 , z4 }.
Par le thorme des rsidus :
Z
1
1
f (z)dz = 2i(Resz0 f + Resz1 f ) = 2i( 3 + 3 )
4z0
4z1
r

z0
z1
i i/4
i
2
2
3i/4
+
)=
(e
+e
) = (2i
)=
= 2i(
4 4
2
2
2
2
On a donc
! Z

Z
Z
Z
Z
+
2
dx
= lim
+
lim
f (z)dz = lim
f (z)dz+
f (z)dz =
f (z)dz
4 R+
R+ R
R+
2
R
CR
1 + x
CR
|
{z
}
=0

car : |

CR

f (z)dz|

1
R
R4 1

0 R + (le module de z sur C =

2
I=
4

4. On a en effet,
| |a| |b| | |a + b| |a| + |b|

74

R) 4 .

Ds lors,

3.11
3.11.1

Rsultats complmentaires
Encoches

Petites encoches

Figure 3.6 Petites encoches

Si f est continu dans un cne (partie borne d cne) de sommet z0 (sauf en z0 ) si et

limzz0 f (z).(z z0 ) = A C, alors
Z
f (z)dz = iA
lim
0+

NB : si z0 est un ple dordre 1 alors A = Resz0 f .

Grandes encoches

Figure 3.7 Grandes encoches

Si f est continu dans une partie de cne (complmentaire dune partie borne) et
limz f (z).(z z0 ) = A C, alors
Z
lim
f (z)dz = iA
R R

75

3.11.2

Lemme de Jordan

Si f est continue dans C (partie non borne du cne) et limzC f (z) = 0, alors
Z
lim
eaz f (z)dz = 0
R+ R

Avec a bien plac par rapport z0 (voir dessin).

Figure 3.8 Jordan

3.11.3

Application dans les intgrales flches

Z

I=
0

sin x
dx = lim
R+
x

Z
0

sin x
dx = /2
x

Soit R > 0 , lintgrale suivante :

Z
0

sin x
dx =
x
=

sin x
dx
x

Z R ix 
 Z eix
1
e
lim
dx +
dx
2i 0+
x
R x

lim

0+

eix = cos x + i sin x

iz
la fonction intgrer : f (z) = ez est holomorphe dans C0 (0 est un ple dordre 1).
On introduit les chemins suivants : , + , CR , C , et on dfinit R, la juxtaposition de ces 4
chemins.
Z
Z
Z
Z
Z
f (z)dz = 0 =
f (z)dz +
f (z)dz +
f (z)dz +
f (z)dz

+
CR
C
|
{z
}
R

R
ix
eix
dx+ R ex dx
x

Et on sait que, vu le rsultat des petites encoches :

Z
lim
f (z)dz = i 1 ()
0+

76

Par Jordan, avec z0 = 0 , a = i, la position de Jordan est respecte.

Z
eiz
lim
dz = 0
R+ CR z
Conclusion :
En passant la limite pour 0+ ,
0 =

lim

Z

0+

Z
= 2i
0

eix
dx +
x

sin x
dx i +
x

eix 
dx + (i) +
x

Z
f (z)dz
CR

Z
f (z)dz
CR

En passant la limite pour R +, on obtient le rsultat annonc

Z
sin x
0 = 2i
dx i
x
0

3.11.4

Transformation de Laplace

NB : Rfrences et applications : liste(s) dexercices et E.K.

La transformation de Laplace unilatrale de f en p C
Z +
Lp f =
epx f (x)dx
0

Pour p : x 7 f (x)epx intgrable sur ]0, +[.

Proprits :
Lp (Df ) =

epx Df (x)dx = pLp f f (0)

Lp (D2 f ) = p2 Lp f pf (0) Df (0)

On peut donc rsoudre des quations diffrentielles du genre :
aD2 f + bDf + cf = g
Donne, si (Df (0) = 0, f (0) = 0)
(ap2 + pb + c)Lp f = Lp g Lp f =

Lp g
ap2 + pb + c

Pour trouver la valeur de f il faut inverser la transformation de Laplace. On a pour cela la

proprit suivante :
La fonction F dfinie par F (p) = Lp f est holomorphe dans le demi-plan {z C : <z > a}
lorsque a = inf(r R : erx f (x) L1 (]0, +[)) (+ le cas o a = ).

77

3.11.5

Application dans un cas particulier

F (z) =

z2

a
,
+ a2

a>0

On dfinit (x R) :
f (x) =
=

Z
1
lim
exz F (z)dz
2i R+ R
Z
1
ex(x0 +it) F (x0 + it) dt
2 R

pour x0 > 0 fix.

Alors
1. Cette dfinition a un sens dun point de vue intgrabilit.
2. La dfinition est indpendante du point x0 > 0 choisi
3. f (x) = 0 si x < 0
P
4. f (x) = Jj=1 Reszj (exz F (z)), (x0 > 0) o les zj sont les ples de F .
R +
5. 0 ezx f (x)dx = F (z) dans le demi-plan {z C : <z > 0}
Dmonstration
1. Intgrable car le module de lintgrale est major par une constante.
2. Indpendante de x0 ?

Figure 3.9 Indpendance par rapport x0

Z
lim

R+ 0
R

exz F (z)dz = lim

R+ 1
R

exz F (z)dz

Formons lintgrale sur les chemins 0R , B + , 1R , B (juxtaposition note ). Par homotopie, on a :

Z
0 = exz F (z)dz

78

Ainsi,
Z

xz

xz

e F (z)dz +

e F (z)dz =
1R

0R

Car, nous avons :

Z

Z



exz F (z)dz  = 

B+

B+

x1

Z
et

e F (z)dz +
{z
0,

exz F (z)dz
}



ex(t+iR) F (t + iR)dt

x0

|{z}
C

xz

x1

|F (t + iR)|dt = C

x1

x0

x0

1
dt 0
|(t + iR)2 + a2 |

3. f (x) = 0 si x < 0 car

Figure 3.10 Si x < 0

Z
1
f (x) =
lim
exz F (z)dz
2i R+ R
Par homotopie un chemin constant,
Z
Z
xz
e F (z)dz +
exz F (z)dz = 0
R
CR
|
{z
}
0

R(Jordan)

do f (x) = 0.
P
4. f (x) = Jj=1 Reszj (exz F (z)), (x0 > 0) o les zj sont les ples de F

Figure 3.11 Si x > 0

Par le thorme des rsidus
Z
Z
exz F (z)dz +
exz F (z)dz = 2i(Resia (ezx F (z) + Resia (ezx F (z))

C
| R {z
}
| R {z
}
f (x)2i

R(Jordan)

79

Et on a,
2i[Resia (ezx F (z)) + Resia (ezx F (z))] =

exia a exia a
+
= sin(ax)
2ia
2ia

5. Pour z > 0 Rel !

Z


 Z +
ezx eiax dx
ezx sin(ax)dx = =
0

 Z +
ex(zia) dx
= =
0

1
= =
z ia
z + ia
a
= = 2
= 2
2
z +a
z + a2
Donc,
Z

ezx f (x)dx =

z2

a
= F (z)
+ a2

Les deux fonctions sont holomorphes dans <z > 0 et sont gales en une suite de points de
louvert qui converge, donc gales partout.
Thorme gnral
On donne F holomorphe dans = {z C : <z > a} telle que |F (z)|
(a, , C sont des rels, , C > 0). Pour x0 > a, on dfinit :
Z
1
exz F (z)dz
lim
f (x) =
2i R+ R
Z
1
=
ex(x0 +it) F (x0 + it) dt
2 R

C
(1+|z|)1+

pour z grand.

Pour x0 > 0 fix. On a alors :

1. La dfinition est indpendante du point x0 > 0 choisi
2. f (x) = 0 si x < 0
3. Lp f = F (p),

<p > x0 > a

Cas particulier o F est une fraction rationnelle :

f est dfinie partir de x0 > sup1jJ Reszj , (z1 , zJ ) sont les ples de F . Et on a,
f (x) =

J
X

Reszj (ezx F (z)) x > 0

j=1

80

3.11.6

Transformation conforme

Soient , V ouverts de C. Une fonction f : V est dite conforme si elle est holomorphe et
bijective.
Exemples de transformations conformes
Les transformations conformes C C sont des polynmes de degr 1. Ce qui peut scrire :
f est conforme a, b C, a 6= 0 : f (z) = az + b, z C
Les transformations conformes qui associent la boule unit (B = {z C : |z| < 1) la
za
boule unit sont exactement f = ca o a, c C, |c| = 1, |a| < 1 et a = 1az
La transformation de Joukowski est une transformation de la forme :
1
a2
f (z) = (z + )
2
z
Proprits principales des transformations conformes

f 1 est conforme.
Df ne sannule pas.
f conserve les angles orients.
f conserve les solutions de 4
Thorme de Riemann : si 6= , 6= C et simplement connexe, alors est conforme
la boule unit.

81

Chapitre 4

Introduction lanalyse de Fourier

4.1

La transforme de Fourier dans L1 (Rn )

Soit f L1 (Rn ). La transforme de Fourier de f est la fonction dfinie dans Rn par :

Z
b
f (y) = (Ff )y = Fy f =
ei<x,y> f (x)dx, y Rn
Rn

o < x, y >= x1 y1 + + xn yn .
Remarque
Au sujet des notations, on rencontre aussi :
Z
+
Fy+ f =
ei<x,y> f (x)dx = Fxy
f (x)
Rn

Fy f

Z
=
Rn

ei<x,y> f (x)dx = Fxy

f (x)

Au sujetR de la dfinition : parfois on utilise un facteur 2 (ou 2), c..d. 2 < y, x > ou
(2)n/2 . Selon la dfinition utilise dans la littrature, lintgrale a une valeur lgrement
diffrente et les formules scrivent aussi de manire diffrente.
F est une transformation linaire.
Exemples pour n = 1
Z
Fy ]a;a[ =
eixy ]a;a[ (x) dx
ZRa
=
eixy dx
a
(
Z a
2a si y = 0
= 2
cos(xy)dx =
2 sin(ay)
{z }
si y 6= 0
0 |
y
Dx sin(xy)
y

82

On a aussi que la transforme dune gaussienne est une gaussienne : pour a > 0 et y R, on a
Z
2

ax2
eixy eax dx
Fxy e
=
R
Z +
2
cos(xy)eax dx
= 2
r0
y2
=
e 4a
a

4.2

Thorme sur les Transformes de Fourier dans L1

Si f L1 (Rn ) alors Ff est

uniformment continue dans Rn
borne dans Rn
tend vers 0 linfini

Dmonstration (pour n = 1)
y R, h R,
Fy+h f Fy f

(ei(y+h)x eiyx )f (x)dx

=
ZR

eixy (eihx 1)f (x)dx

=
R

Donc,
sup |Fy+h f Fy f |

yR

|eihx 1| |f (x)|dx

qui tend vers 0 si h 0 par Lebesgue. La fonction est donc uniformment continue 1 .

Z
Fy f =
eixy f (x)dx y R
R

donc

Z
|Fy f |

|f (x)|dx, y
|
{z
}
R

constante

Soit I = [a, b] (avec a, b rels, a < b). Par calcul direct, on montre que

Z
Z b
y=0
ba
ixy
ixy
iyb
iya
Fy I =
e
I (x)dx =
e
dx =
e
e

y=
6 0
R
a
iy
1. Rappel sur la continuit : Continuit dune fonction g en x0 (de son domaine A)
> 0, : |x x0 | |g(x) g(x0 )|
Continuit uniforme de g sur A
> 0, : x, y A : |x y| : |g(x) g(y)|

83

Do
lim Fy I = 0

Cas gnral : f L1 (Rn ), soit  > 0. Comme f est intgrable, il existe une fonction tage
(cest--dire une combinaison linaire de fonctions caractristiques du type de ci-dessus) telle que
Z

|f (x) (x)|dx
2
R
alors,
|Fy f | = |Fy f Fy + Fy | = |Fy (f ) + Fy |
|Fy (f )| + |Fy |
Z
|f (x) (x)|dx + |Fy |

+ |Fy |
2


+

2 2


si |y| est grand.

4.2.1

Proprits gnrales

si f L1 (R), si a R0 , b R, alors
Fxy f (ax + b) =

1 iyb
e a Fy/a f
|a|

si f CL (R) et Dl f L1 (R)(l = 0, , L) alors :

Fy (Dl f ) = (iy)l Fy f

(l = 0, , L)

si xl f (x), x R est intgrable l = 0, , L, alors :

Ff CL (R)etDyl Fy f = (i)l Fxy (xl f (x))
Dmonstration
1.

Fxy
f (ax + b) =

Z
R

=
=

84

eiyx f (ax
+ }b)dx
| {z

u
Z
ub
1
eiy a f (u)du
|a| R
Z
iyu
1 iyb
ea
e a f (u)du
|a|
R

2. L = 1
Z

eixy Dx f (x)dx
Z
+
ixy
= [e
f (x)] (iy)eixy f (x)dx
R
Z
= iy eixy f (x)dx = (iy)Fy f

Fy (Df ) =

3. Par les intgrales paramtriques, avec lensemble dintgration = R et lensemble de variation du paramtre = R,
Z

Fy f =
eixy f (x)dx
R

On vrifie les hypothses :

(a) pour tout point x, y 7 eixy f (x) est de classe C dans R.
(b) y fix, eixy f (x) et (ix)eixy f (x) sont intgrables (par rapport x) sur R
(c) K R compact ;

sup |xeixy f (x)| |xf (x)|

yK

Donc, Fy f C1 (R) et

Dy F f

Dy eixy f (x)dx
Z
= (i) eixy xf (x)dx
=

4.2.2

Proprit de transfert

Si f, g L1 (Rn ) alors

Z
Rn

Fy f g(y)dy =

Z
Rn

f (y) Fy g dy

Dmonstration En appliquant le thorme de Tonelli-Fubini, on a successivement

Z
Z Z


Fy f g(y)dy =
eixy f (x)dx g(y)dy
n
n
Rn
ZR  ZR

=
eixy g(y)dy f (x)dx
n
Rn
ZR
=
Fx g f (x)dx.
Rn

85

4.3

Thorme de Fourier

Si f L1 (Rn ) et si F f L1 (Rn ) alors

F F f = (2)n f
presque partout dans Rn
Dmonstration Effectuons cette preuve dans le cas n = 1 et f born.
Par la proprit relative la transformation de Fourier et aux translations et par le thorme
de Lebesgue, on a
Z
Z
Z
2

+
ixy
Fy F f =
e Fx f dx =
Ftx f (t + y) dx = lim
ex Fx f (. + y)dx
0 R
{z
}
R
R|
Fx f (+y)

puis, par le thorme de transfert :

Z
= lim

0 R

Fxt
ex f (t + y)dt

ensuite, vu les proprits des transformes de Fourier dune gaussienne,

Z r
t2
= lim
e 4 f (t + y)dt
0 R

ensuite, par le changement de variable

Z
= lim

0 R

= u, dont le jacobien vaut 2

r

u2
e f (2 u + y)du

et enfin, par Lebesgue 2 et par Poisson, en tout y o f est continu,

Z

2
= 2 eu = duf (y) = 2f (y)
R

4.4

Espace vectoriel complexe, norm, de Hilbert

Soit E un espace vectoriel complexe.

Une norme sur E est une fonction || || : E [0, +[ telle que :
||e|| = 0 e = 0
||e + f || ||e|| + ||f || f, e E
||ce|| = |c|.||e|| e E, c C
Exemples de normes
||f || = sup |f (x)|
x[a,b]

Z
||f ||1 =

|f (x)|dx
a

2. f est born et eu est intgrable et ne dpend pas de

86

 Un produit scalaire sur E est une fonction < , >: E E C telle que :
< e + f, g >=< e, g > + < f, g >
< ce, g >= c < e, g >
e, f, g E et c C
< f, g >= < g, f > f, g E
< f, f > 0 f E
< f, f >= 0 f = 0
Proprit
Si < , > est un produit scalaire sur E alors la fonction || || dfinie par
||f || = < f, f > est une norme sur E et on a lingalit de Cauchy-Schwarz :
| < f, g > | ||f || ||g||

f, g E

Si < , > est un produit scalaire sur E, on dit que E est pr-hilbertien. On dfinit alors
une topologie sur E (ouverts, ferms, ...) en utilisant la norme associe < , >.
Lorsque les suites de Cauchy de cet espace sont convergentes, on dit que E est complet ou
plus prcisment ici, on dit que E est un espace de Hilbert.

4.4.1

Proprits dun espace vectoriel complexe de Hilbert

Soient les suites fm (m N) et gm (m N) qui convergent respectivement vers f et g dans E.

Alors
||fm || ||f || et < fm , gm >< f, g >

Dmonstration On a
| ||fm || ||f || | ||fm f || m
donc on obtient directement la premire partie de la proprit.
Par ailleurs, on a
< fm , gm > < f, g > = < fm f, gm > + < f, gm > < f, g >
= < fm f, gm > + < f, gm g >
Il sensuit que
| < fm , gm > < f, g > | | < fm f, gm > | + | < f, gm g > |
||fm f ||.||gm || + ||f ||.||gm g||
C||fm f || + ||f ||.||gm g||
do : ok.
Exemples despaces de Hilbert :

Rn , Cn , , L2 (A) o A = partie mesurable de Rn (voir suite).

87

4.4.2

L2

Soit A une partie mesurable de Rn

L2 (A) = {f mesurable sur A : |f |2 L1 }
On dfinit si f, g L2 ,

Z
f (x)g(x)dx

< f, g >=
A

sZ

|f (x)|2 dx

||f || =
A

Ces dfinitions rpondent bien nos exigences sur la norme et le produit scalaire.
On dmontre que cet espace est un espace de Hilbert.


NB : |f (x)g(x)| est intgrable car major par 21 |f (x)|2 + |g(x)|2
Proprits de L2 (A)
Remarque : Tout ceci pourrait se faire dans un espace de Hilbert (et mme pr-hilbert) tout
fait gnral.
Dfinition
f, g L2 (A)
R
sont orthogonaux si < f, g >= A f(x)g(x)dx = 0
f L2 (A) est dit norm si ||f || = < f, f > = 1
f, g L2 (A) sont dit orthonorms sils sont orthogonaux et norms.

Pythagore Gnralis

Soient

u1 , , uJ L2 (A) orthogonaux 2 2
c1 , , cJ C

Alors,
||

J
X

cj uj || =

j=1

J
X

|cj |2 ||uj ||2

j=1

Dans le cas dune infinit dlements de lespace de Hilbert, on a un rsultat analogue (ici,
on utilise alors la convergence et le fait que lespace est complet.)

88

Soient

um (m N0 ) une suite dlments de L2 (A), orthogonaux 2 2

cm (m N0 ) une suite de complexes
P
P+
2
2
Alors la srie m=1 cm um converge dans L2 (A) la srie +
m=1 |cm | ||um || converge dans R.
Dans ce cas, on a aussi
+
+
X
X
||
cm um ||2 =
|cm |2 ||um ||2


m=1

m=1

Dmonstration Pour la premire partie,

||

J
X

cj uj ||2 =<

j=1
J X
J
X
j=1 k=1

J
X

cj uj ,

j=1

cj ck < uj , uk > =
| {z }
0 sij6=k

J
X

ck uk >

k=1
J
X

cj cj ||uj ||2

j=1

Dans le cas des sries, on doit tre plus prudent (tronons de Cauchy) :
 q
2
q
 X

X


cm um  =
|cm |2 ||um ||2



m=p

m=p

Projection othorgonale gnralise

Soit f L2 (A) et soit um (m N0 ) une suite orthonorme de lespace L2 (A). Alors il existe des
coefficients cm (m N0 ) et g L2 (A) uniques tels que :

< g, um >= 0 m
P
P+
2
f = g + +
m=1 cm um ,
m=1 |cm | converge
P
2
On a en fait cm =< f, um > et aussi ||f ||2 = ||g||2 + +
m=1 | < f, um > | .
Donc
+
X
2
| < f, um > |2
||f ||
m=1

appele ingalit de Bessel.

Preuve
Unicit : soient cm , g & c0m , g 0 rpondant la thse. Alors, m0 , on a
+
X

< f, um0 > = < g, um0 > +

cm mm0 = cm0

m=1
+
X

= < g 0 , um0 > +

m=1

89

c0m mm0 = c0m0

Figure 4.1 Projection orthogonale gnralise

g=f

+
X

cm um = f

m=1

+
X

c0m um = g 0

m=1

m N0 et

Existence : Posons cm =< f, um >

() gM = f

M
X

< f, um > um

M N0

m=1

On a < gM , um >= 0 si m M car :

< gM , um > =

M
X
k=1

M
X

< f, uk > uk , um =< f, um >
< f, uk > < uk , um >
|
{z
}
k=1

km

= < f, um > < f, um >

Donc par Pythagore gnralis :
||f ||2 = ||gM +

M
X

< f, um > um ||2

m=1
M
X

= ||gM ||2 +

| < f, um > |2

m=1

M
X
m=1

| < f, um > |2
|
{z
}

|cm |2

P
2
Ainsi, la suite M
m=1 cm um (M N0 ) converge dans L (A) et (voir sa dfinition) la suite
gM (M N0 ) converge aussi. Notons g sa limite. Vu (), on a
f =g+

+
X

cm um

m=1

et
< g, um0 >=

lim

M +

90

< gM , um0 >= 0 m0

Suite orthonorme totale de fonctions de L2 (A)

Une suite orthornome um

(m N0 ) de L2 (A) est dite totale lorsque

f L2 (A) et < f, um >= 0 m f = 0

Caractrisation : La suite um (m N0 ) est totale

f L2 , > 0 c1 , cM C : ||

M
X

cm um f || <

m=1

Consquences dans la projection orthogonale gnralise

Soit um (m N0 ) une suite orthonorme totale de L2 (A). Alors, f, g L2 (A), on a
f=

+
X

< f, um > um

dans L2 (A)

m=1

< f, g >=

+
X

< f, um > < g, um > dans C

m=1

Remarques
1. En particulier, ||f ||2 =

P+

m=1 |

< f, um > |2 .

2. Cela est valable dans un espace de Hilbert gnral.

3. Cela gnralise la notion de base orthornome dun espace de dimension finie.

4.5

Dveloppement en srie trigonomtrique de Fourier

On considre le cas n = 1.
Soit L2 ([a, b]) avec a, b rels, a < b. On va prouver le rsultat suivant :
Les fonctions
um (x) =

2imx
1
e ba ,
ba

mZ

forment une suite orthonorme totale dans L2 ([a, b])

Autres possibilit
L2 ([a, b])

Les fonctions suivantes forment aussi une suite orthonorme totale dans
r
1
2
2mx
f0 (x) =
, fm (x) =
cos (
)
ba
ba
ba
r
2
2mx
gm (x) =
sin (
) m N0
ba
ba

91

forment une suite orthonorme totale dans L2 ([a, b]) (cest pour quelle soit norme que des
apparaissent).

Dmonstration
Les fonctions sont orthonormes :
Rappel < f, g >=

Rb
a

f (x)g(x)dx et ||f || =

On a :

Z
||um || = (
Z

< um , uk >=

!1/2
< f, f > =

Z
a

|e

2ix
(mk)
ba

{z

|f (x)|2 dx

1
.1)1/2 = 1 m
ba

2imx
ba

.e

2ikx
ba

dx

1
ba

Rb

1
ba

"

(m 6= k)

2ix
1
dx} =
e ba (mk)
2i(m k)

#b

2ix (mk)
De ba

=0
a

Totalit
Les personnes intresses par la dmonstration de la totalit des suites de Fourier se rfreront
aux notes complmentaires de Mme Bastin (disponibles en annexe) ou la littrature gnrale
sur ce sujet.

4.5.1

Exemples

Figure 4.2 f (x) =

x
2

Dvelopper

x
2
2
en srie trigonomtrique de Fourier dans L ([0, 2]) et en dduire que
f (x) =

+
X
1
2
=
m2
6

m=1

On a f L2 ([0, 2],
1 2imx
1
um (x) = e 2 = eimx ,
2
2

92

mZ

1
< f, u0 >=
2

x
1
dx =
2
2

u
du = 0
2

et, pou m 6= 0,
< f, um

1
>=
2

1
x imx
1 h x eimx i2
1

+0 =
e
dx =
() =
2
2 im 0
2
2 2im
2im

Le dveloppement dans L2 ([0, 2]) est donc

f (x) =

+
X
m=1
+
X
m=1

1
+

X
X
eimx

eimx

 imx

=
+
e
eimx
2im
2 m= 2im 2 m=1 2im

sin(mx)
m

On a aussi
||f ||2 = 2

+
X

| < f, um > |2 = 2

m=1

+
X
m=1

+
X
1
2
=

2
2m
m2
m=1

et (par dfinition de la norme)

||f ||2 =

Z
0

x
2
1
dx =
2
4

( x)2 dx =

93

1 3
3
( + 3 ) =
12
6

Annexe A

Complment au chapitre 4 : Les sries

de Fourier
Analyse II, Ajout aux transparents, 2007-2008

FB, 28 aot 2012(V1 : 21-11-06)

Introduction lanalyse de Fourier

Ajout aux transparents (cours du mardi 11 dcembre 2007)
Si a, b R, a < b et si m Z, on pose
um (x) =

2imx
1
e ba , x R.
ba

Si f L2 ([a, b]) on dfinit galement la suite de sommes partielles suivante

SM (f ) =

M
X

< f, um > um ,

M N0 .

m=M

Rsultats auxiliaires.
Pour tout M N0 , posons (noyau de Dirichlet)

sin((2M +1) 2t )
sin( t )
DM (t) =
2M + 12

si t ]0, 2[
si t {0, 2}.

Proprits.
(1) Pour tout M N0 , on a
DM (t) =

M
X

eimt ,

DM (t) dt = 2.
0

m=M

(2) Pour toute fonction 2-priodique f appartenant L2 ([0, 2]) et pour tout M N0 , on a
1
SM (f )(x) =
2

DM (y)f (x y) dy,
0

94

x R.

(3) Pour toute fonction f de classe C1 par morceaux sur [0, 2], on a f L2 ([0, 2]) et
lim SM (f )(x) = f (x)

M +

en tout x ]0, 2[ o f est drivable.

Preuve. (1) Le premier point rsulte dune sommation de termes conscutifs dune suite gomtrique.
(2) On a successivement
SM (f )(x) =

Z 2
M
1 X
f (y)eimy dy eimx
2
0
m=M

=
=

1
2

1
2

1
2

M
X

eim(xy) f (y) dy

m=M
M
X

eimy f (x y) dy

m=M
2

DM (y)f (x y) dy.
0

R 2
1
(3) Prolongeons f pp sur R par 2 priodisation. Comme f (x) = 2
0 DM (y)f (x)dy pour
tout M , on obtient
Z 2


1
SM (f )(x) f (x) =
DM (y) f (x y) f (x) dy
2 0
Z 2

1
y  f (x y) f (x)
=
sin (2M + 1)
dy
2 0
2
sin(y/2)
(x)
Si x ]0, 2[ est un point o f est drivable, la fonction y 7 f (xy)f
admet une limite finie
sin(y/2)
+

en 0 et en (2) . Il sensuit quelle est intgrable sur ]0, 2[. Ainsi, SM (f )(x) f (x) 0 si
M + en utilisant les proprits linfini des transformes de Fourier dans L1 (R).

Sous les mmes conditions que dans la partie (3), on montre de manire analogue que lon a
lim SM (f )(x) =

M +

f (x+) + f (x)
2

en tout x ]0, 2[, avec f (x+) =limite droite de f en x et avec f (x) =limite gauche de f
en x ; on a aussi
lim SM (f )(0) =

M +

lim SM (f )(2) =

M +

f (0+ ) + f ((2) )
2

Thorme
Les fonctions um (m Z) forment une suite orthonorme totale dans L2 ([a, b])
Preuve. Un calcul direct montre que les fonctions sont orthogonales deux deux et que leur
norme dans L2 ([a, b]) vaut 1.

95

Dmontrons prsent que ces fonctions forment une suite totale. Pour plus de facilit dans
les notations, considrons a = 0 et b = 2.
Soit f L2 ([0, 2]) tel que < f, um >= 0 pour tout m. Montrons que f = 0.
Vu le thorme dapproximation dans L2 , il existe une suite de fonctions tages m (m N0 )
qui converge vers f dans L2 ([0, 2]) ; cette suite est donc telle que
lim

m+

< f, m >= kf k2 .

Vu les rsultats auxiliaires prcdents, pour tout m, on a

lim SM (m )(x) = m (x)

M +

en tout rel x de [0, 2] sauf un nombre fini dentre eux ; comme la suite est convergente dans
L2 ([0, 2]), on a aussi
lim SM (m ) = m
M +

dans

L2 ([0, 2]).

Il sensuit que, pour tout m

< f, m >=

lim

M +

< f, SM (m ) >= 0

donc
0=

lim

m+

< f, m >= kf k2

et par suite f = 0.

FB, 28 aot 2012

96