Vous êtes sur la page 1sur 51

Cours de Mathmatiques Appliques 1

Mohamed ADDAM
www.lmpa.univ-littoral.fr/ addam/
addam.mohamed@gmail.com

4 janvier 2013

1. Mention Gnie civil. 1er anne. Anne 2012/2013


Table des matires

1 Variable complexe et mthode des rsidus 4


1.1 Ensembles R2 et C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Intgration sur des chemins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1 Integration sur un chemin . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.2 Indice dun complexe par rapport un chemin . . . . . . . . . . . . . . . 8
1.4 Le thorme de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.1 Thorme de Cauchy pour un triangle . . . . . . . . . . . . . . . . . . . 9
1.4.2 Formule de Cauchy dans un ensemble convexe . . . . . . . . . . . . . . 10
1.5 Srie entire, Points singuliers isols, Rsidus . . . . . . . . . . . . . . . . . . . 11
1.5.1 Sries entires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5.2 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5.3 Ples dune fonction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5.4 Thorme des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.5 Calcul pratique des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Fonctions mromorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7 Fonctions holomorphes et fonctions harmoniques . . . . . . . . . . . . . . . . . 14

2 Transforme de Fourier 16
2.1 Espaces L1 (R, dx) et L2 (R, dx) . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 La transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3 Drivation et transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4 Srie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4.1 Espaces de plus grande utilite en traitement de signal . . . . . . . . . . 19
2.4.2 Noyau de Poisson et Noyau de Dirichlet . . . . . . . . . . . . . . . . . . 21
2.4.3 Srie de Fourier dune fonction priodique . . . . . . . . . . . . . . . . 22
2.4.4 Thorme de convergence uniforme . . . . . . . . . . . . . . . . . . . . 23
2.5 Produit de convolution et transforme de Fourier . . . . . . . . . . . . . . . . . 24
2.6 Thorme disomorphisme de Fourier-Plancherel . . . . . . . . . . . . . . . . . 25
2.6.1 Formule de Parseval et puissance moyenne du signal . . . . . . . . . . . 25
2.6.2 Fonction dautocorrlation dun signal et densit spectrale dnergie . . . 26
2.7 Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.7.1 Dfinitions et notations . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.7.2 Drivation au sens de distributions . . . . . . . . . . . . . . . . . . . . . 28
2.7.3 Distributions tempres . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.7.4 Distributions support compact . . . . . . . . . . . . . . . . . . . . . . 29
2.7.5 La transforme de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.8 Transforme de Fourier discrte TFD . . . . . . . . . . . . . . . . . . . . . . . . 31
1
TABLE DES MATIRES 2

2.9 Transforme de Fourier matricielle . . . . . . . . . . . . . . . . . . . . . . . . . 31

3 Transforme de Laplace 33
3.1 Transformation des fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.1.1 Notations et dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.1.2 Caractrisation de la transforme de Laplace . . . . . . . . . . . . . . . 35
3.1.3 Holomorphie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.1.4 Proprit lmentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2 Fonction de transfert et traitement de signal . . . . . . . . . . . . . . . . . . . . 37
3.3 Thorme dinversion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.3.1 Comportement linfini de la transforme de Laplace . . . . . . . . . . . 38
3.3.2 Thorme dinversion complexe . . . . . . . . . . . . . . . . . . . . . . 38
3.3.3 Comparison des transformes de Fourier et de Laplace . . . . . . . . . . 40
3.4 Transforme de Laplace dune variable alatoire . . . . . . . . . . . . . . . . . . 40
3.4.1 Loi normale N (m, 2 ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.4.2 Thorme de Moivre-Laplace de la loi binomiale . . . . . . . . . . . . . 42

4 Fonctions spciales 43
4.1 Fonction Gamma : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.2 Fonction bta : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3 La fonction Gamma incomplte . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.4 La fonction erreur erf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.5 La fonction bta incomplte . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.6 Fonction de Bessel et reprsentation intgrale . . . . . . . . . . . . . . . . . . . 47
4.6.1 quation de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.6.2 Fonction de Bessel de seconde espce . . . . . . . . . . . . . . . . . . . 48
4.6.3 Comportement et formes asymptotiques . . . . . . . . . . . . . . . . . . 50
Notations

N := {0, 1, 2, . . .} lensemble des naturels,


(N) := {. . . , 2, 1, 0} lensemble des opposs des naturels,
N = N\{0} := {n N / n 6= 0},
Z := N (N) lensemble des entiers,
D lensemble des dcimaux,
Q := { qp / p Z, q N } lensemble des rationnels,
R lensemble des nombres rels,
C lensemble des nombres complexes.
On suppose connues les proprits lmentaires de ces ensembles.

3
Chapitre 1

Variable complexe et mthode des


rsidus

1.1 Ensembles R2 et C

On appelle le nombre imaginaire i, lcriture symbolique note i = 1. Dans ce cas, on dit
que i est solution de lquation
i2 + 1 = 0.

Le nombre i nappartient pas R puisquon ne peut pas parler de lcriture 1 dans R.
Lensemble R2 := {(x, y) / x, y R}. Soit (a, b) un couple dans lensemble R2 , et soit Tc la
transformation complexe qui associe au couple (a, b), le lcriture symbolique a + ib, alors on a
le schma suivant

T c : R2 C := {a + ib/ a R, b R}
(a, b) 7 a + ib.

On peut facilement monter que la transformation complexe

T c : R2 C
(x, y) 7 x + iy,

est une bijection de R2 dans C. Alors, par la suite on peut parler de R2 comme tant C.

Dfinition 1.1.1 Si r > 0 et si zo est un nombre complexe.


1. On appelle disque ouvert de centre zo et de rayon r, les sous-ensemble not D(zo , r),
dfini par
D(zo , r) := {z C / |z zo | < r}.
2. La fermture de D(zo , r) note par D(zo , r), est lensemble dfini par

D(zo , r) := {z C / |z zo | r}.

3. On dit quun ensemble de C est ouvert sil contient au moins un disque ouvert.

Dfinition 1.1.2 Un ensemble E dun espace X, est dit connexe sil nexiste pas deux ouverts
disjoints V et W tels quon a la fois
4
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 5

1. E V W ,
2. E V 6= et E W 6=

Dfinition 1.1.3 On appelle domaine tout sous-ensemble ouvert, connexe et non vide de C.

A partir de maintenant, la lettre dsignera un ouvert du plan C.

1.2 Fonctions holomorphes


Dfinition 1.2.1 Soit f une fonction dfinie dans un domaine D C valeurs complexes. La
fonction f est dite holomorphe sur D si elle drivable en tout point de D.
Si z = x + iy et f (z) = P (x, y) + iQ(x, y), o P et Q sont diffrentiables, la fonction est
drivable si et seulement si
P Q P Q
= = (conditions de Cauchy).
x y y x

Dfinition 1.2.2 Soit f une fonction de valeurs complexes.


1. Si zo et si la limite
f (z) f (zo )
lim
zzo z zo
0
existe, nous noterons cette limite f (zo ) et nous lappellerons la drive de f en zo .
2. Si f 0 (zo ) existe pour tout zo , nous dirons que f est holomorphe (ou analytique) dans
.
3. Lensemble ou la classe des fonctions holomorphes dans sera not H().

Remarque 1.2.1 Pour tre tout fait explicite, f 0 (zo ) existe si



f (z) f (zo )
> 0, > 0 tel que f (zo ) < ,
0
(z D(zo , r)\{zo }).
z zo

le nombre f 0 (zo ) est complexe et il est obtenu comme limite de quotients de nombres complexes.

Oprations sur les fonctions holomorphes


1. Si f H() et g H() alors f + g et f g appartiennent H().
2. Si f H(), si f () 1 , si g H(1 ) et si h = g f , alors h H(), et h0 peut se
calculer par la rgle
h0 (zo ) = g 0 (f (zo ))f 0 (zo ), zo .
3. Si f est holomorphe en zo , alors f est continue en zo .

Exemple 1.2.1 1. Pour tout n N, la fonction z 7 z n est holomorphe dans C.


2. Tout polynme z 7 P (z) valeurs complexes, est holomorphe dans C.
1
3. La fonction z 7 z est holomorphe dans C .
4. La fonction exponentielle complexe z 7 exp(z) est holomorphe dans C et on a exp0 (z) =
exp(z), z C.
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 6

1.3 Intgration sur des chemins


Dfinition 1.3.1 Si X est un espace topologique, une courbe dans X est une application continue
dun intervalle ferm born [, ] de R dans X ; ici < .
Nous appelons [, ] lintervalle de paramtrage de et nous noterons limage de par . On
crit
Im() = := {(t) / t [, ]}.
Si le point initial () de coincide avec son point final (), nous disons que est une courbe
ferm.

Un chemin est une courbe du plan, continument diffrentiable par morceaux. De faon plus ex-
plicite, un chemin dont lintervalle de paramtrage [, ], est une fonction continue et valeurs
complexes, dfinies sur [, ] et vrifiant les proprits suivantes :
i) Il existe un nombre fini de points si , = s0 < s1 < . . . < sn = ,
ii) La restriction de chaque intervalle [si1 , si ] (note |[si1 ,si ] ) a une drive continue
sur [si1 , si ],
iii) Aux points s1 , . . . , sn1 , les drives droite et gauche de peuvent diffrer.
Un chemin ferm est une courbe ferme qui reste toujours un chemin.

1.3.1 Integration sur un chemin


Soit un chemin dintervalle de paramtrage [, ], soit f une fonction continue sur Im() =
(cest--dire f : C). Lintgrale de f sur le chemin est dfinie comme une intgrale
sur lintervalle de paramtrage [, ] par lexpression suivante

R R

f (z)dz =
f ((t)) 0 (t)dt.

Proprit 1.3.1 Soit : [1 , 1 ] [, ] une application bijective et continument diffrentiable,


telle que (1 ) = et (1 ) = , et posons 1 = . Alors 1 est un chemin dont lintervalle
du paramtrage [1 , 1 ] ; lintgrale de f sur 1 est dfinie par

R 1 R 1 R
1
f (1 (t))10 (t)dt = 1
f (((t))) 0 ((t))0 (t)dt =
f ((t)) 0 (t)dt,

de sorte que le changement de paramtrage ne modifie pas lintgrale

R R

f (z)dz = 1
f (z)dz.

Chaque fois que cette dernire relation est vrifie pour deux chemins et 1 , nous considrerons
que et 1 comme chemins quivalents.
On peut remplacer un chemin par un autre chemin quivalent, cest --dire, de choisir lintervalle
de paramtrage notre gr.
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 7

Relation de Chasles
Si le point final de 1 coincide avec le point initial de 2 , nous pouvons choisir les intervalles
des paramtrage de sorte que 1 et 2 se raccordent pour former un seul chemin , ayant la mme
proprit

R R R

f (z)dz = 1 f (z)dz + 2 f (z)dz.

pour toute fonction f continue sur = 1 2 .


Exercice 1.3.1 Soit [0, 1] lintervalle de paramtrage dun chemin , on pose 1 (t) = (1 t)
pour tout 0 t 1.
1. Vrifier que [0, 1] reste lintervalle de paramtrage du chemin 1 .
2. Montrer que 1 = .
3. Soit f une fonction continue sur ,
R1 R1
(a) Monter que 0 f (1 (t))10 (t)dt = 0 f ((s)) 0 (s)ds. Que peut-on dduire ?
R Z 1

(b) Monter que f (z)dz sup |f (z)| | 0 (t)|dt.
z 0
On note kf k = sup |f (z)|.
z

Remarque 1.3.1 Soit un chemin dintervalle de paramtrage [, ], soit f une fonction conti-
nue sur , on a
R Z

1. f (z)dz sup |f (z)| | 0 (t)|dt
z
R
2. La quantit | 0 (t)|dt sappelle la longueur du chemin sur son intervalle de param-
trage [, ]. On crit

R
Longueur() =
| 0 (t)|dt.

Exercice 1.3.2 1. Soit a un nombre complexe et r > 0. Le chemin dfini par

(t) = a + reit , t [0, 2]

est appel le cercle orient positivement, de centre a et de rayon r.


R R 2
(a) Montrer que f (z)dz = ir 0 f (a + rei )ei d
(b) Dterminer la longueur du chemin . Donner une explication ce rsultat ?
2. Soit a et b deux nombres complexes. Le chemin donn par

(t) = a + (b a)t, 0t1

est le segment orient [a, b].


R R1
(a) Montrer que [a,b] f (z)dz = (b a) 0 f (a + (b a)t)dt
(b) Dterminer la longueur du chemin . Donner une explication ce rsultat ?
(c) On dfinit 1 (t) = a(t)+b(t)
, t . Montrer que 1 est un chemin
quivalent au chemin .
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 8

1.3.2 Indice dun complexe par rapport un chemin


Dfinition 1.3.2 Soit un chemin ferm, le complmentaire de dans C. On appelle indice
de z par rapport , note par Ind (z), la quantit suivante

1
R d
Ind (z) = 2i z
, z .

Si est dintervalle de paramtrage [, ] alors on a

1
R 0 (t)
Ind (z) = 2i (t)z dt.

Thorme 1.3.1 (admis)


Soit un chemin ferm, le complmentaire de dans C. Ind est une fonction valeurs
entires sur qui est constante sur chaque composante connexe de et qui est nulle sur la
composante connexe non borne de .

Thorme 1.3.2 si est le cercle orient positivement de centre a et de rayon r, alors on a



1, si |z a| < r,
Ind (z) =
0, si |z a| > r.

Dmonstration.Daprs lexercice (1.3.2), on a a = (t) a = reit , alors il suffit de calculer


lindice pour z = a et on a
Z Z 2
1 d r 1 it
Ind (a) = = e dt = 1.
2i a 2 0 reit


Exercice 1.3.3 Montrer que si est le cercle orient ngativement de centre a et de rayon r,
alors on a 
1, si |z a| < r,
Ind (z) =
0, si |z a| > r.

1.4 Le thorme de Cauchy


Il y a plusieurs formes du thorme de Cauchy. Elles affirment toutes que si est un chemin
ferm dans , et si et satisfont certaines conditions, alors lintgrale de toute fonction f
H() le long du chemin est nulle. Nous allons tablir une version simple de ce fait, bien
suffisante pour de nombreuses applications.
Thorme 1.4.1 Soit F H() et f = F 0 une fonction continue dans . Alors on a
Z
f (z)dz = 0,

pour tout chemin ferm dans .


CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 9

Dmonstration. Si [, ] est lintervalle du paramtrage de , un rsultat fondamental danalyse


lmentaire montre que
Z Z
0
F (z)dz = F 0 ((t)) 0 (t)dt = F (()) F (())

et comme le chemin est ferm alors () = (), do le rsultat. 


n+1
z
Corollaire 1.4.1 Soit F (z) = n+1 et F 0 (z) = z n pour tout n 6= 1. Alors on a
Z
z n dz = 0

/ si
pour tout chemin ferm si n N, et pour les chemins ferms pour lesquels 0
n = 2, 3, . . ..

1.4.1 Thorme de Cauchy pour un triangle


Thorme 1.4.2 (admis)
Soit 4 un triangle ferm, inclus dans un ouvert du plan. Soit p et soit f une fonction
continue sur telle que f H( {p}). Alors on a
Z
f (z)dz = 0
4

o 4 = [a, b] [b, c] [c, a] lorsque 4 = (abc) est le triangle de sommets a, b et c.

Dfinition 1.4.1 Soit un sous-ensemble de C et , [0, 1] tels que + = 1. On dit est


convexe si pour tout z et z 0 dans alors z + z 0 .

Thorme 1.4.3 (Thorme de Cauchy dans un ensemble convexe)


Soit un ouvert convexe du plan, p et soit f une fonction continue sur telle que f
H( {p}). Alors on a Z
f (z)dz = 0

pour tout chemin ferm dans .

Dmonstration. Fixons a . Comme est convexe, contient le segment de droite dextr-


mits a et z pour tout z , de sorte que nous pouvons dfinir
Z
F (z) = f ()d, z .
[a,z]

Pour tout z et zo dans , le triangle de sommets a, zo et z est inclus dans ; alors daprs le
thorme (1.4.2) on a Z
F (z) F (zo ) = f ()d.
[zo ,z]

Fixant zo , nous obtenons ainsi


Z
F (z) F (zo ) 1
f (zo ) = [f () f (zo )]d,
z zo z zo [zo ,z]
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 10

si z 6= zo . Etant donn > 0, la continuit de f en zo montre quil existe un > 0 tel que

|F () F (zo )| < , ds que | zo | < .

Alors Z
F (z) F (zo ) 1

f (z o ) =
|z zo | f () f (z o )d ,
z zo [zo ,z]

F (z) F (zo ) Z

f (z o ) |z zo | d ,
z zo [zo ,z]

ds que | zo | < . Ceci montre que f = F 0 et daprs le thorme (1.4.1), on a


Z
f (z)dz = 0

pour tout chemin ferm dans . 

1.4.2 Formule de Cauchy dans un ensemble convexe


Thorme 1.4.4 Soit un chemin ferm dans un ouvert convexe et soit f H(). Si z et
/ , alors on a
si z Z
1 f ()
f (z).Ind (z) = d.
2i z
Par la suite, le cas le plus intressant est le cas o Ind (z) = 1 et on a.
Z
1 f ()
f (z) = d.
2i z

/ , et dfinissons
Dmonstration. Fixons z vrifiant les conditions z et si z
(
f ()f (z)
z , si , 6= z,
g() = 0
f (z), si = z.

Alors g satisfait les hypothses du thorme (1.4.3). Do


Z Z
1 1 f () f (z)
g()d = 0 d = 0
2i 2i z

ceci implique Z Z
1 f () 1 1
d f (z) d = 0,
2i z 2i z
| {z }
Ind (z)

do Z
1 f ()
d = f (z).Ind (z).
2i z

CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 11

1.5 Srie entire, Points singuliers isols, Rsidus


1.5.1 Sries entires
On appelle srie entire de terme gnral complexe cn (z a)n , la somme suivante
+
X
cn (z a)n . (1.1)
n=0
X
Une srie entire (complexe) est une somme de la forme an (z a)n o an , z et a sont
n0
X
complexes. On dit quelle converge absolument si la srie |an ||(z a)|n converge.
n0
X
sil existe un r > 0 tel que la srie |an |rn converge, alors pour tout |z a| < r la srie
n0
X
n
an (z a) converge vers f (z).
n0
Une srie entire est dite convergente sil existe une fonction f valeurs complexes telle
que
+
X
f (z) = cn (z a)n .
n=0

A toute srie entire est associe un nombre R [0, ] tel que la srie
P
+ n
n=0 cn (z a) converge dans D(a; r), r < R, et diverge si z / D(a, r).
Le nombre R sappelle le rayon de convergence de la srie entire et on le calcule par le
critre de Cauchy suivant :
1 1
= lim sup |cn | n .
R n+

On dit quune fonction f dfinie dans est dveloppable en une srie entire dans si
chaque disque D(a; r) correspond une srie (1.1) laquelle converge vers f (z) pour
tout z D(a; r).

Thorme 1.5.1 (admis)


Si f est dveloppable en srie entire dans , alors f H() et f 0 est aussi dveloppable en
srie entire dans . En fait, si lon a
+
X
f (z) = cn (z a)n , (1.2)
n=0

pour tout z D(a; r), alors pour ces mmes z on a aussi


+
X
f 0 (z) = ncn (z a)n1 . (1.3)
n=1

Les coefficients cn sont dtermins par la formule suivante

f (n) (a)
cn = , n N. (1.4)
n!
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 12

Pour tout ouvert de C, toute fonction holomorphe f H() est dveloppable en srie entire
dans , cest--dire
+ (n)
X f (a)
f (z) = (z a)n , z D(a; r) . (1.5)
n=0
n!

1.5.2 Sries de Laurent


Dfinition 1.5.1 Si a et si f H( {a}), on dit que f a une singularit isole au point a.
Si f peut tre dfinie en a de sorte que la fonction prolonge soit holomorphe dans , on dit que
la sigularit est artificielle.
Le point a est un point singulier isol de la fonction f si cette fonction est holomorphe dans un
disque D(a, r) de centre a et de rayon r > 0 sauf au point a. La fonction f est dveloppable en
srie de Laurent dans le disque D(a, r) :
+
X
f (z) = cn (z a)n .
n=

+
X
Dans la srie de Laurent, lexpression cn (z a)n sappelle la partie analytique et lexpres-
n=0
1
X
sion cn (z a)n sappelle la partie principale.
n=

1.5.3 Ples dune fonction


Dfinition 1.5.2 Soit a et soit f H({a}). Sil existe des nombres complexes c1 , . . . , cm ,
o m est un entier positif et o cm 6= 0, tels que
m
X ck
f (z)
(z a)k
k=1

ait une singularit


Pm artificielle en a, alors on dit que f a un ple dordre m en a.
La fonction k=1 ck (z a)k qui est un polynme en (z a)1 , est appele la partie
principale de f en a.
Dfinition 1.5.3 Soit f une fonction valeurs complexes telle quil existe deux fonctions P et Q
P (z)
valeurs complexes avec f (z) = Q(z) . Les ples de f sont les zros de Q.
Dfinition 1.5.4 Soit un domaine dans C, f H( {a}). Supposons que f ait un ple en a,
dont la partie principale est
X m
Q(z) = ck (z a)k .
k=1
On appelle le rsidus de f en a, le nombre c1 . On crit
Res(f ; a) = c1 .
Remarque 1.5.1 Si la fonction f est le quotient de deux fonctions holomorphes et et si a est
un zro simple de , alors a est un ple simple de f et le rsidu correspondant est
(a)
Res(f ; a) = .
0 (a)
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 13

1.5.4 Thorme des rsidus


Thorme 1.5.2 Soient un domaine convexe, a1 , . . . , an des points distincts de . Soit f une
fonction holomorphe dans {a1 , . . . , an }, et supposons que f ait un ple en chaque point ak
(1 k n). Si est un chemin ferm dans tel que ak / (k = 1, . . . , n), alors on a
Z Xn
f (z)dz = 2i Res(f ; ak ).Ind (ak ).
k=1

o bien Z n
X
f (z)dz = 2i Res(f ; ak ),
k=1

si Ind (ak ) = 1, 1 k n.
Dmonstration.Pour k = 1, . . . , n, soit Qk la partie principale de f en ak . Comme
f (Q1 + . . . + Qn )
na pas de singularits artificielles dans . Daprs le thorme de Cauchy (1.4.3), on a
Z Z Z
(f (z) (Q1 (z) + . . . + Qn (z)))dz = 0 f (z)dz = (Q1 (z) + . . . + Qn (z))dz

et daprs le corollaire (1.4.1) on a


Z
Qk (z)dz = Res(f ; ak ).Ind (ak ), k = 1, . . . , n

1.5.5 Calcul pratique des rsidus


La mthode gnrale consiste calculer le dveloppement en srie de Laurent et dterminer
par ce calcul le coefficient c1 .
Dans le cas dun ple on peut utiliser les formules suivantes :
i) Si zo est un ple simple : c1 = lim (z zo )f (z);
zzo
1
ii) Si zo est un ple dordre n : c1 = lim [(z zo )n f (z)](n1) ;
zzo (n 1)!

1.6 Fonctions mromorphes


Dfinition 1.6.1 Une fonction f nayant pas de singularit que des ples est dite une fonction
mromorphe.
Thorme 1.6.1 (admis)
Soit f une fonction mromorphe dans louvert de C. Soit A lensemble des points de en
lesquels f a un ple. Si est un chemin ferm de A tel que Ind () = 0 pour tout S2 ,
alors on a Z Xn
f (z)dz = 2i Res(f ; a).Ind (a),
aA
2 2
o S = R {} est la sphre de Riemann.
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 14

1.7 Fonctions holomorphes et fonctions harmoniques


Soit un ouvert dans C et (x, y) R2 tels que x + iy . Les drives partielles dune
fonction f de classe C 2 , par rapport x et y, sont respectivement notes par

f f
et .
x y

Les drives partielles secondes dune fonction f de classe C 2 , par rapport x et y, sont respecti-
vement notes par
2f 2f
et .
x2 y 2
On appelle le Laplacien loprateur, not 4, donn par

2 2
4= + ,
x2 y 2

et dfini pour toute fonction f de classe C 2 par

2f 2f
4f = + .
x2 y 2
En une dimension de lespace, not 1D, cest--dire une seule variable x le laplacien se rduit
lexpression
2
4=
x2
2 f
ainsi 4f = x2 qui est tout simplement la drive seconde de la fonction f .
Dfinition 1.7.1 Soit un ouvert dans C et (x, y) R2 tels que x + iy . Une fonction u de
classe C 2 sur est dite harmonique dans si et seulement si

4u = 0, cest--dire (4u)(x, y) = 0

Thorme 1.7.1 Si f est holomorphe dans un ouvert alors P = Ref et Q = Imf sont des
fonctions harmoniques dans . (Cest--dire sont de classe C 2 et vrifient lquation de Laplace

4f = 0 dans .)

Dmonstration.f est holomorphe dans un ouvert alors P et Q sont de classe C 2 et satisfait les
conditions de Cauchy
P Q P Q
= =
x y y x
il vient
2P 2Q 2P 2Q
= =
2x xy y 2 yx
do
2P 2P 2Q 2Q
4P = 2
+ 2
= =0
x y xy yx
de mme pour Q. 
CHAPITRE 1. VARIABLE COMPLEXE ET MTHODE DES RSIDUS 15

Remarque 1.7.1 Si P est une fonction harmonique de classe C 2 dans un ouvert connexe. Peut-on
associer P une autre fonction harmonique Q, dfinie une constante additive prs, telle que

f (z) = P (x, y) + iQ(x, y)

soit holomorphe ? La rponse est oui, en effet :


Si P est donn ; la fonction f (z) = P (x, y)+iQ(x, y) devait tre holomorphe alors les conditions
de Cauchy entrainent
P Q P Q
= =
x y y x
La diffrentielle totale de Q est
  
Q Q dx Q Q
dQ = = dx + dy.
x y dy x y

P P
dQ = dx + dy.
y x
do lobtention de Q.
Chapitre 2

Transforme de Fourier

La transforme de Fourier est un outil mathmatique qui permet de faciliter les calculs tho-
rique et de par la des calculs symboliques et traitement numrique. On entend par la srie de
Fourier la reprsentation approche dune fonction satisfaisant certaines conditions, ainsi cette s-
rie est caractrise par des coefficients dites coefficients de Fourier. Du point de vue pratique, nous
nous intresserons la transforme de Fourier rapide celle-ci est trs utile dans la programmation
numrique.

2.1 Espaces L1 (R, dx) et L2 (R, dx)


Les espaces L1 (R, dx) et L2 (R, dx) sont de plus grande utilit pour la transforme de Fourier.
Nous allons en parler privement :
Dfinition 2.1.1 Soit (, d) lespace mesur muni de la mesure d.
1. On appelle lespace des fonctions intgrables sur pour la mesure d, lespace not
L1 (, d) : Z
f L1 (, d) |f (x)|d(x) < .

Muni de la norme dfinie par
Z
kf k L1 = |f (x)|d(x),

on dit que lespace (L1 (, d), k . kL1 ) est norm de norme k . kL1 .
2. On appelle lespace des fonctions dnergie finie sur pour la mesure d, lespace not
L2 (, d) : Z
f L2 (, d) |f (x)|2 d(x) < .

Muni de la norme dfinie par
Z 1/2
2
kf kL2 = |f (x)| d(x) ,

2
on dit que lespace (L (, d), k . kL2 ) est norm de norme k . kL2 .
Lespace vectoriel L2 (, d) est muni du produit scalaire suivant :
Z
(f, g)L2 = f (x)g(x)d(x).

16
CHAPITRE 2. TRANSFORME DE FOURIER 17

Par le suite on sintressera des sous ensembles R et la musure d = dx est la mesure


longueur sur lensemble .
Proposition 2.1.1 (Ingalit de Cauchy-Schwarz). Si f, g L2 (, dx) alors on a
Z Z 1/2 Z 1/2
2 2 2
|f (x)g(x)| dx |f (x)| dx |g(x)| dx .

Dmonstration.Soit f, g L2 (, dx) et R. La fonction h = f + g appartient L2 (, dx)


puisque ce dernier est un espace vectoriel. On a
Z Z Z Z
2 2 2 2
(f (x) + g(x)) dx = |f (x)| dx + |g(x)| dx + 2 f (x)g(x)dx 0

R R R
On pose a =
|f (x)|2 dx, b =
|g(x)|2 dx et c =
f (x)g(x)dx alors

a + b2 + 2c 0 4 = 4c2 4ab 0

do le rsulta. 
Soit un sous ensemble de R, on appelle la fonction indicatrice, note , la fonction dfinie
par 
1, si x ,
(x) = 1 =
0, si x / .
Thorme 2.1.1 Si est un sous-ensemble de mesure finie ou born (cest--dire mes() =
|| < ), alors L2 (, dx) L1 (, dx). Linclusion est fausse si nest pas born.
Dmonstration.Soit f L2 (, dx), alors on a
Z Z Z 1/2 Z 1/2
2
|f (x)|dx = |f (x)|(x)dx |f (x)| dx (x)dx

Z Z 1/2
|f (x)|dx 2
|f (x)| dx (mes())1/2 ,

2
R 2
or f L (, dx) |f (x)| dx < , et mes() = || < , do
Z
|f (x)|dx < .

Support dune fonction et fonction causale


Soit f une fonction dfinie sur .
1. On appelle le support dune fonction f le sous ensemble, not supp(f ), dfini par

supp(f ) = {x / f (x) 6= 0}.

2. On dit que la fonction f est causale si son support supp(f ) est inclus dans R+ .
3. On appelle un signal dans toute fonction f dfinie sur .
CHAPITRE 2. TRANSFORME DE FOURIER 18

2.2 La transforme de Fourier


Dfinition 2.2.1 Soit R et f L2 (, dx) L1 (, dx). On appelle la transforme de
Fourier de la fonction f , note Ff ou fb, la fonction dfinie sur par
Z
(Ff )() = fb() = f (t)e2it dt,

o bien Z
1
(Ff )() = fb() = f (t)eit dt.
2

Exemple 2.2.1 1. Si = [a, b] alors


Z b
(Ff )() = fb() = f (t)e2it dt.
a

2. Si = R et f1 (t) = [T,T ] (t) (la fonction f1 sappelle le signal carr), alors on a


Z Z T
b
f1 () = [T,T ] (t)e 2it
dt = e2it dt
R T

sin(2T )
fb1 () = = 2T sinc(2T ).

La fonction sinc sappelle le sinus cardinal dfini par lexpression sinc(x) = sin(x) x .
 
|t|
3. Si = R et f2 (t) = 1 T [T,T ] (t) (la fonction f2 sappelle le signal triangle),
alors on a
Z   Z T  
b |t| 2it |t| 2it
f2 () = 1 [T,T ] (t)e dt = 1 e dt
R T T T
Z T  Z T
b |t| 2 1 cos(2T )
f2 () = 2 1 cos(2t)dt = sin(2t)dt = .
0 T 2T 0 2 2 2 T
fb2 () = T sinc(T ).
4. Si = R et f3 (t) = et/T R+ (t) (la fonction f sappelle le signal exponentiel causal),
alors on a Z +
fb3 () = et/T e2it dt
0

T
fb3 () = .
1 + 2iT
5. Si = R et f4 (t) = e|t|/T (la fonction f sappelle le signal exponentiel symtrique),
alors on a
Z + Z +
fb4 () = e|t|/T e2it dt = 2 et/T cos(2t)dt
0

T T
fb4 () = + .
1 2iT 1 + 2iT
2T
fb4 () = .
1 + 4 2 T 2 2
CHAPITRE 2. TRANSFORME DE FOURIER 19

2.3 Drivation et transforme de Fourier


On note par C0 (R) lespace des fonctions continues f telles que

lim f (x) = 0.
x

Lespace C0 (R) est muni de la norme de la convergence uniforme

kf k = sup |f (x)|.
xR

Thorme 2.3.1 1. Soit f L1 (R, dx) telle que la fonction t 7 tf (t), soit encore un lment
1
de L (R). Alors sa transforme de Fourier est drivable en tout x R, et
 0 Z +
b
f (x) = 2i tf (t)e2ixt dt.

2. Si f L1 (R) C0 (R), telle que f soit drivable en tout x R ; on suppose en outre que
f 0 L1 (R). Alors :
Z +
d
(f 0 )(x) = 2i f (t)e2ixt dt = 2i fb(x).

Dmonstration.
1. La fonction t 7 tf (t) est intgrable, donc t 7 |tf (t)e2ixt | est intgrable et on peut
appliquer le thorme de drivation sous le signe intgrale :
 0 Z + Z +
b (tf (t)e2ixt )
f (x) = dt = 2i tf (t)e2ixt dt
x

2. Par une simple intgration par partie, on a


Z + Z +
d  +
(f 0 )(x) = f 0 (t)e2ixt dt = f (t)e2ixt + 2ix f (t)e2ixt dt

or f C0 (R) alors
 +
f (t)e2ixt
= 0.


2.4 Srie de Fourier


2.4.1 Espaces de plus grande utilite en traitement de signal
On dfinit les espaces `1 (Z), `2 (Z), `p (Z) pour 1 < p < et ` (Z) respectivement par :
X
`1 (Z) = {a = (an )nZ R / |an | < },
nZ
X
`2 (Z) = {a = (an )nZ R / |an |2 < },
nZ
CHAPITRE 2. TRANSFORME DE FOURIER 20

X
`p (Z) = {a = (an )nZ R / |an |p < },
nZ

` (Z) = {a = (an )nZ R / sup |an | < }.
nZ

Une proprit fondamentale est


`1 (Z) `2 (Z)
Lespace `1 (Z) muni de la norme X
kak1 = |an |
nZ

est un espace vectoriel norm et complet. De mme Lespace `2 (Z) muni de la norme
!1/2
X
2
kak2 = |an | .
nZ
CHAPITRE 2. TRANSFORME DE FOURIER 21

2.4.2 Noyau de Poisson et Noyau de Dirichlet


Soit x un nombre rel et r >
1. Soit |r| < 1, on appelle Noyau de Poisson la fonction valeurs relles, note Pr , donne
par la formule suivante X
Pr (x) = r|n| e2inx .
nZ

La fonction Pr est bien dfine, continue et priodique de priode 1 : en effet,


X re2ix re2ix
r|n| e2inx = 1 + 2ix
+ .
1 re 1 re2ix
nZ

On prouve que
Z 1
2 1 r2
Pr (x)dx = 1 et Pr (x) =
12 1 2r cos(2x) + r2

Le noyau de Poisson
3

2.5

2
y=Pr(x)

1.5

0.5

0
2 1.5 1 0.5 0 0.5 1 1.5 2
x

F IGURE 2.1 Reprsentation du Noyau de Poisson pour r = 1/2, on remarque la priodicit de


Pr
CHAPITRE 2. TRANSFORME DE FOURIER 22

2. On appelle Noyau de Dirichlet la fonction valeurs relles, note DN (x), donne par la
formule suivante
XN
sin((2N + 1)x)
DN (x) = e2inx =
sin(x)
n=N

10

4
y=D5(x)
2

4
0.5 0 0.5
x

F IGURE 2.2 Reprsentation du Noyau de Dirichlet pour N = 4 : On remarque que cette fonction
nest pas continue en zero

2.4.3 Srie de Fourier dune fonction priodique


Soit f une fonction priodique de priode T de variable relle. On peutse contenter de dfinir
f par s restriction lintervalle [0, T [ en noubliant pas que si f est continue priodique

lim f (x) = f (0).


xT

Dfinition 2.4.1 On appelle srie de Fourier de la fonction continue f , la somme suivante


X Z
1 T
cn e( T ) , avec cn =
2int 2int
f (t)e T dt.
T 0
nZ

Remarque 2.4.1 Pour une fonction f relle de priode T , on peut considrer les coefficients et
la srie de Fourier rels :
Z   Z  
2 T 2nt 2 T 2nt
an = f (t) cos dt, bn = f (t) sin dt n N
T 0 T T 0 T
La srie de Fourier associe f est
+     
a0 X 2nx 2nx
+ an cos + bn sin .
2 n=1
T T

Bien entendu, comme il sagit dune srie infinie alors la question de la convergence de la srie
de Fourier vers une fonction f est plus dlicate traiter que dans le cas fini et fait lobjet de ce
paragraphe.
CHAPITRE 2. TRANSFORME DE FOURIER 23

Une fonction f sur R est dite priodique modulo 2Z si

t R, n Z, f (t 2n) = f (t).

le sous-ensemble 2Z est dnombrable discret.


La relation
x ymodulo(2Z) x y 2Z
est une relation dquivalence, alors on peut dfinir lensemble des classes dquivalences, not
T = R/(2Z), cet ensemble est appel un tore.

2.4.4 Thorme de convergence uniforme


Thorme 2.4.1 Soit f une fonction priodique sur R, de priode 1. On suppose que f est de
classe C 2 . Alors : X
f (x) = cn e2inx
nZ
R1 P
avec cn = 0
f (t)e2int dt et nZ |cn | < ;

la convergence de la srie de Fourier de f est normale (absolue et uniforme : convergence en


norme k . k

Dmonstration.Nous allons dabord montrer que la srie est normalement convergente ; nous
poserons ensuite : X
h(x) = cn e2inx
nZ

montrerons que f h 0.
puis nousP
La srie nZ |cn | est convergente. En intgrant par parties, nous avons :
Z 1 Z 1
1  + 1
f (t)e2int dt = f (t)e2int + f 0 (t)e2int dt.
0 2in 2in 0

Or f (0) = f (1) car f est priodique de priode 1. do :


Z 1 Z 1
1 1
cn = f 0 (t)e2int dt = f 00 (t)e2int dt
2in 0 4 2 n2 0

et Z 1
1 1
|cn | < |f 00 (t)|dt sup |f 00 (t)| <
4 2 n2 0 4 2 n2 t[0,1]
car f est de classe C 2 ; donc :

X X 1 +
X
1 00 1 00 1
|cn | sup |f (t)| = sup |f (t)| < .
4 2 t[0,1] n2 2 2 t[0,1] n=0
n 2
nZ nZ

Nous avons ainsi montr que la srie de Fourier de f convergeait uniformment sur R vers une
fonction h continue. Pour calculer
Z 1
h(t)e2ipt dt,
0
CHAPITRE 2. TRANSFORME DE FOURIER 24

on peut donc intgrer la somme de la srie terme terme et on obtient :


Z 1 X Z 1
h(t)e2ipt dt = cn e2ipt e2int dt = cp
0 nZ 0

puisque les exponentielles trigonomtriques non constantesn sont dintgrale nulle sur leur p-
riode, do : Z 1 Z 1
2int
cp = h(t)e dt = f (t)e2int dt.
0 0
R1 2int
0 [h(t) f (t)]e dt = 0 ds que p est un entier.
Considrons alors, pour |r| < 1, le noyau de Poisson Pr donn prcdement ; il est dfini continue
et priodique de priode 1 puisque la srie
X
r|n| e2inx
nZ

R1
converge normalement. Comme 0 [h(t) f (t)]e2int dt = 0 alors le produit scalaire de h f
avec e2in est nul, cest--dire que

h f, e2in = 0

alors (h f, Pr ) = 0 ce qui montre que


Z 1
[h(t) f (t)]Pr (t)dt = 0
0

Ce qui prouve que h(x) f (x) = 0 pour tout x. Finalement h f . 

Thorme 2.4.2 Soit f C(T) telle que f soit drivable en tout point de T et que f 0 L1 (T),
alors
d
(f 0 )(n) = 2infb(n).
X X
Soit g `1 = L1 (Z), telle que |ng(n)| < . Alors la fonction gb : x 7 g(n)e2inx
nZ nZ
de T dans C est alors drivable et :
X
g)0 (x) = 2i
(b ng(n)e2inx .
nZ

Exercice 2.4.1 Montrer que si f est une fonction drivable et intgrable ainsi que ses drives
alors
1 d
2 fb() = f (n) () 0, quand .
(2i)n

2.5 Produit de convolution et transforme de Fourier


Soit f et g deux fonctions intgrables sur un ensemble mesur (, d) muni de la mesure d.
On appelle produit de convolution de f et g la fonction intgrable h, note par h = f ? g, et
dfinie sur par Z
h(y) = f ? g(y) = f (x)g(y x)d(x)

CHAPITRE 2. TRANSFORME DE FOURIER 25

Dans le cas o = R et d = dx est la mesure longueur alors


Z
h(y) = f ? g(y) = f (x)g(y x)dx.
R

La convolution est un oprateur produit par une bote noire caractrise par une fonction g, qui
reoit son entre un signal f alors sa sortie on dtcte un signal h = f ? g.
Thorme 2.5.1 1. Si f L1 (R) et g L1 (R) alors f ? g L1 (R).
2. Si f L (R) et g L (R) alors f ? g L (R).
1

Dmonstration.
1. On a
Z Z Z Z
f ? g(y) = f (x)g(y x)dx |f ? g(y)|dy |f (x)||g(y x)|dxdy
R R R R
Z Z Z
|f ? g(y)|dy |f (x)|dx |g(y)|dy = kf kL1 kgkL1
R R R
2. On a
Z Z
f ? g(y) = f (x)g(y x)dx |f ? g(y)| sup |g(x)| |f (x)|dx
R xR R

sup |f ? g(y)| kgk kf kL1 .


yR


Thorme 2.5.2 Soit f, g L (R) L (R) alors f[
1 2
? g = fb. gb.
Dmonstration.
Z Z Z
f[
? g() = f ? g(t)e2it dt = f (x)g(t x)e2it dxdt
R R R

par un changement de variable = t x on a t = x +


Z Z Z Z
f[ ? g() = f (x)g()e2i(x+) dxd = f (x)e2ix dx g()e2i d
R R
|R {z } |R {z }
fb() g()
b

2.6 Thorme disomorphisme de Fourier-Plancherel


2.6.1 Formule de Parseval et puissance moyenne du signal
Thorme 2.6.1 (admis) La transforme de Fourier est un isomorphisme de L2 (R) dans lui-
mme. Et la transforme de Fourier inverse est donne par
Z Z
f (t) = b
f ()e 2it b
d avec f () = f (t)e2it dt.
R R

On a bien la formule de Parseval suivante :


Z Z
|fb()|2 d = |f (t)|2 dt
R R
CHAPITRE 2. TRANSFORME DE FOURIER 26

Dmonstration.Le produit scalaire dans L2 (R) entraine


Z Z Z
|f (t)|2 dt = (f, f )L2 = fb()fb()e2it e2it d = |fb()|2 d.
R R R


Proposition 2.6.1 On considre un signal priodique f de priode T , alors le signal f se dcom-
pose selon la srie de Fourier suivante :
X   Z  
nt 1 T nt
f (t) = an exp 2i o an = f (t) exp 2i dt
T T 0 T
nZ

De plus, la puissance moyenne du signal se calcule par la formule de Parseval


Z T X
1
|f (t)|2 dt = |an |2 .
T 0 nZ

Dmonstration. On a
X   X  !
nt mt
(f, f )L2 = an exp 2i , am exp 2i
T T
nZ mZ L2

alors
Z T Z T X Z T XX    
2 2 nt mt
|f (t)| dt = |an | dt + an am exp 2i exp 2i dt
0 0 0 T T
nZ nZ mZ

or pour n 6= m on a    
Z T
nt mt
exp 2i exp 2i dt = 0
0 T T
alors Z Z
T T X X
|f (t)|2 dt = |an |2 dt = T |an |2 ,
0 0 nZ nZ

do le rsultat. 

2.6.2 Fonction dautocorrlation dun signal et densit spectrale dnergie


Dfinition 2.6.1 Soit f un signal dnergie finie (cest--dire f L2 (R)).
1. On appelle la fonction dautocorrlation de f la fonction kf dfinie par :
Z
kf (x) = f (x + y)f (y)dy.

2. La fonction positive de la frquence dfinie par

R 7 |fb()|2 R+

est appele densit spectrale dnergie du signal.


CHAPITRE 2. TRANSFORME DE FOURIER 27

Proposition 2.6.2 Soit f un signal dnergie finie, alors


Z
kf (t) = |fb()|2 e2it d

Dmonstration.Par dfinition on a
Z +
kf (t) = (t f, f )L2 = f (t + x)f (x)dx

et Z Z
+ +
e2it fb()fb()d = (t f )(x)f (x)dx = (t f, f )L2

do Z +
e2it |fb()|2 d = kf (t).

2.7 Distributions
2.7.1 Dfinitions et notations
Soit X un espace vectoriel norm complet, une application T : X R est appele une
forme.
1. On dit que T est continue si limxx0 T (x) = T (x0 ) pour tout x0 X.
2. On dit que T est linaire si T (x + y) = T (x) + T (y) et T (x) = T (x) pour tout x, y X
et R.
Il est dusage de noter < T, x > limage de x par une forme linaire continue T . Les symboles
< , > sont appels crochets de dualit
Exemple 2.7.1 Soit X = C([0, 1]) muni de la norme du maximum k k et soient les deux formes
dfinies sur X par
Z 1
< T, f >= f (0), < S, f >= f (x) sin(x)dx
0

On vrifie facilement que T et S sont linaires et continues sur X.

Dfinition 2.7.1 Soit un ouvert de Rn (n 1). On dit quune suite (vn )nN D() converge
vers v D() sil existe un compact K tel que vn |K c = 0, pour tout n 0, et les drives
(k)
vn converge vers v (k) uniformment dans pour tout k 0.

Dfinition 2.7.2 On appelle distribution toute forme linaire continue T sur D(). T est dfinie
par
T : D() R, 7 T () :=< T, > .
On note par D0 () lespace vectoriel des distributions.
CHAPITRE 2. TRANSFORME DE FOURIER 28

Exemple 2.7.2 Toute fonction localement intgrable f est associe une distribution, note Tf ,
dfinie par Z
< Tf , >= f (x)(x)dx, D()

En particulier, L1`oc () D0 () o bien toute fonction localement intgrable est une distribution.
Si =]0, 1[, alors
Z 1
< Tf , >= f (x)(x)dx, D(]0, 1[).
0

2.7.2 Drivation au sens de distributions


Soit T une distribution, cest--dire T D0 (), pour tout k 0, T (k) est aussi une distribu-
tion, dfinie par
< T (k) , >= (1)k < T, (k) >, D().
En particulier, pour k = 1,
< T 0 , >= < T, 0 >, D(]0, 1[).
Exemple 2.7.3 Considrons la fonction de Heaviside ou la fonction chlon donne par

1, si x [0, +[,
H(x) =
0, si x ] , 0[.
La fonction H nest pas drivable au sens usuel du terme de la drivation, par contre elle possde
une drive au sens de distributions et on a
Z Z
< H 0 , >= H 0 (x)(x)dx = H 0 (x)(x)dx = (0) =< 0 , > .
R 0

D(R). Do H 0 = 0 la mesure de Dirac lorigine.

2.7.3 Distributions tempres


On note par S(R) lespace vectoriel des fonctions indfiniment diffrentiables dcroissance
rapide
f S(R) lim xn f (x) = 0, n N
|x|

Lespace D(R) est inclu dans S(R).


Dfinition 2.7.3 On appelle distribution tempre sur R toute forme linaire continue sur les-
pace S(R), et on note 7< T, > une telle forme linaire, pour T S 0 (R), dual S(R) et
S(R).
D(R) S(R) S 0 (R) D0 (R)
Dfinition 2.7.4 Soit T une distribution tempre. On appelle transforme de Fourier de T , et on
note Tb, lapplication linaire de S(R) dans C :
7< T,
b>
On voit que cette formule qui peut scrire symboliquement :
Z Z
b
(x)dT (x) = b
(x)dT (x).
R R

Proposition 2.7.1 La transforme de Fourier Tb dune distribution tempre est une distribution
tempre.
CHAPITRE 2. TRANSFORME DE FOURIER 29

2.7.4 Distributions support compact


Soit un ouvert de R et V un ouvert de . Soit T une distribution
On dit que T sannule sur V si

< T, >= 0, D(V )

On dit aussi que V est le domaine dannulation de T . Et, on appelle le support de T le sous-
ensemble K = CVR , on note supp(T ) = CVR .
La distribution T est dite support compact si CVR est compact.

Soit E() lespace vectoriel des fonctions indfiniment diffrentiables muni de la convergence
uniforme de la fonction, ainsi que de ses drives, sur tout compact K de .
Lespace vectoriel des distributions support compact est lespace vectoriel, not E 0 (), est les-
pace vectoriel des formes linaires continues sur E().
Proposition 2.7.2 Toute distribution support compact est tempre.
Dmonstration.lespace E() sinjecte par continuit dans S(), cest--dire

S() , E()

alors
E 0 () , S 0 ()

Proposition 2.7.3 Si T est une distribution support compact, sa transforme de Fourier Tb est
une fonction de E() dfinie par
Z
Tb() = e2it dT (t).

Dmonstration. Z Z
< Tb, >=< T,
b >= e2it ()ddT (t)
Z Z 
< Tb, >= e 2it
dT (t) ()d

Tb est donc la fonction localement intgrable dfinie par la formule :


Z
b
T () = e2it dT (t).

Vrifions que Tb est drivable au sens usuel


Z 2i(+)t
Tb( + ) Tb() e e2it
= dT (t)

Daprs la formule des accroissements finis :

e2i(+)t e2it
(2it)e2it

lorsque 0 et uniformment en t sur tout compact. 
CHAPITRE 2. TRANSFORME DE FOURIER 30

Exemple 2.7.4
Z Z
b0 () = e2it d 0 (t) = 2i e2it d(t) = 2i

Exemple 2.7.5 (Valeur principale de Cauchy)


Dans R, pour tout D(R), la quantit
Z
(x)
dx
|x|> x
admet une limite quand 0.
On a, au voisinage de 0,
(x) = (0) + x(x)
Z 1 Z 1
= (0) + x 0 (tx)dt, o (x) = 0 (tx)dt
0 0

Z Z Z
(x) 1
dx = (0) dt + (t)dt, o Supp() = [a, a]
|x|> x a|x|> t |x|>
 a  a  Z
= (0) ln ln + (t)dt
|x|>

Do Z Z
(x)
lim dx = (t)dt
0 |x|> x

car est bien dfinie en 0 et (0) = 0 (0).


Pour > 0, on a
Z
(x) a

dx 2 ln sup |(x)| < , o Supp() = K
|x|> x xK

Do Z  
(x) 1
dx = T () < Vp , >
|x|> x x
ce qui implique  
1
T Vp , dans D0 (R)
x

Vp x1 sappelle la valeur
 principale de Cauchy.
Dans R , on a Vp x1 = x1 L1`oc (R ) cest une distribution sur R .
 
1 1
Vp |R = est une distribution.
x x
1 1
Mais x / L1`oc (R) car
nest pas localement intgrable au voisinage de 0.
x

La valeur principale Vp x1 peut tre dfinie comme
 
1[n,] + 1[,n] 1
lim := Vp
0
n
x x

elle est dfinie comme la drive de x 7 ln(|x|) au sens de distribution.


CHAPITRE 2. TRANSFORME DE FOURIER 31

2.7.5 La transforme de Hilbert


on appelle la transforme de Hilbert lapplication H dfinie pour tout g S(R) par
Z
g(y x)
(Hg)(y) = lim dx.
n |x|> 1
n
x

Ce qui implique la dfinition suivante


 
1
Hg = Vp g
x
La transforme de Hilbert H peut tre dfinie sur L2 (R), et que H est une application linaire
continue de L2 (R) dans lui-mme

2.8 Transforme de Fourier discrte TFD


Soit t 7 f (t) un signal temps continu, on obtient une suite fe (n) = f (nT ), o e = T1
reprsente la frquence dchantionnage. Cherchons la relation qui lie la transform de Fourier
temps continu 7 fb() = F () de f et la transforme de Fourier temps discret Fe () de la
suite fe (n).
En utilisant que T e = 1, la transforme de Fourier temps discret Fe (p) de la suite fe (n)
scrit :
+
X +
X
2in
Fe () = fe (n)e = f (nT )e2in(e)T
n= n=

2.9 Transforme de Fourier matricielle


On considre lespace E = RN de dimension finie N et une base orthonormale {e0 , e1 , . . . , eN 1 }
de E. On considre lendomorphisme unitaire U de E dfini par

U ej = ej+1 , pour j {0, . . . , N 2},
U eN 1 = e0
U est appel lendomorphisme de dcalage.
Exercice 2.9.1 1. Montrer que U N = IN . En dduire que les valeurs propres de U sont
ncessairement dans lensemble des racines N-imes de lunit.
2. On pose :  
2ik
k = exp .
N
Montrer que k est une valeur propres de U et calculer les vecteurs propres norm associ
vk . Vrifier que les (vk ) forment une base orthonorme de E.
3. Soit f un vecteur de E. On pose

f (j) = (ej , f ), composante de f sur ej ,
fb(k) = (vk , f ), composante de f sur vj .
Montrer que
N 1  
1 X 2ijk
fb(k) = exp f (j).
N j=0 N
CHAPITRE 2. TRANSFORME DE FOURIER 32

N 1  
1 X 2ijk b
f (j) = exp f (k).
N k=0 N
Chapitre 3

Transforme de Laplace

La transformation de Laplace est dun usage courant dans les applications. Elle est souvent
prfre la transformation de Fourier pour des raisons techniques : la transformation de Fourier
fait appel des thories plus modernes mesures et distributions (XXe sicle) que la transforma-
tion de Laplace : fonctions analytiques (XIXe sicle).

3.1 Transformation des fonctions


3.1.1 Notations et dfinitions
1. On dit quune fonction f est localement intgrable sur R si pour tout ferm born K R
on a Z
|f (x)|dx < .
K

Lespace des fonctions localement intgrables sur R est not par L1loc (R).
2. On dit quune fonction f est support positif (ou fonction causale) si le support supp(f )
est inclus dans R+ . On crit supp(f ) R+ .

Dfinition 3.1.1 On dsigne par L+ lespace vectoriel des fonctions localement intgrables
support positif

Exemple 3.1.1 Soit a un nombre rel. La fonction t R+ 7 eat est un lment de L+ not
exp(a).

Dans ce chapitre, les fonctions sont dfinies sur R+ , et les intgrations portant sur la variable
muette note t sont faites sur R+ ; on crira ainsi :
Z Z
f (t)dt pour f (t)dt.
0

Lemme de sommabilit
Lemme 3.1.1 Soit p = x + iy et p0 = x0 + iy 0 . Si la fonction t 7 f (t) exp(pt) est intgrable
et si |x0 | x, alors la fonction t 7 f (t) exp(p0 t)

33
CHAPITRE 3. TRANSFORME DE LAPLACE 34

Dmonstration. On a |x0 | x x0 x x0 , alors x0 x x0 ,

|f (t) exp(p0 t)| = |f (t)| exp(x0 t) |f (t)| exp(xt)

alors Z Z
|f (t)| exp(x0 t)dt |f (t)| exp(xt)dt < .

Abscisse de sommabilit
Dfinition 3.1.2 Si f L+ , le nombre rel :

a = inf{x R / f () exp(x) L1 (R+ )}

est appel labscisse de sommabilit de f . Autrement dit,


Z
a = inf{x R / |f (t)| exp(xt)dt < }

Exemple 3.1.2 1. Si f est support compact (ferm born de R+ ), alors labscisse de som-
mabilit de f vaut ; en effet
Z Z
f (t) exp(xt)dt = f (t) exp(xt)dt <
0 Supp(f )

mme si x = .
2. Soit f (t) = exp(t2 ). Labscisse de sommabilit de f vaut + ; en effet,
Z Z Z
exp(t2 ) exp(xt)dt = exp(t2 xt)dt = exp(x2 /4) exp((t x/2)2 )dt
0

pour que cette intgrale soit finie, il faut que lim exp(x2 /4) = 0.
x+
3. Soit f (z) = exp(z) une fonction variable complexe. Labscisse de sommabilit de f vaut
Re(z) ; en effet,

f (z) exp(xz) = exp(z xz) = exp(Re(z) xRe(z)) exp(i(Im(z) xIm(z)))

| exp(Re(z) xRe(z)) exp(i(Im(z) xIm(z)))| = exp(Re(z) xRe(z))


ainsi a = Re(z).

Remarque 3.1.1 En gnral, labscisse de sommabilit dune fonction dpend de son comporte-
ment linfini et si :

f = O(g) cest--dire k, h | |f (t)| k|g(t)|,

alors labscisse de sommabilit de f est infrieure celle de g.


Si f est une fonction borne, alors son abscisse de sommabilit est ngative ou nulle.
CHAPITRE 3. TRANSFORME DE LAPLACE 35

Dfinition de la transforme de Laplace


Dfinition 3.1.3 Soit f L+ , et dabscisse de sommabilit, on dfinit la fonction Lf de la
variable complexe sur le demi-plan ouvert {z C | x > a} o z = x + iy par :
Z
Lf (z) = f (t) exp(zt)dt.

Autrement dit :
Z
Lf : {z C | Re(z) > a} C, z 7 f (t) exp(zt)dt.
0

Exemple 3.1.3 f (t) = 1 alors la transforme de Laplace de 1 est


Z
1
(L1)(z) = exp(zt)dt = ,
0 z
sur le demi-plan {z C | Re(z) > 0}

3.1.2 Caractrisation de la transforme de Laplace


On calcule la transforme de Fourier de la fonction t 7 g(t) = f (t) exp(xt) et on obtient
Z Z
gb() = g(t) exp(2it)dt = f (t) exp((x + 2i)t)dt = (Lf )(x + 2i) (3.1)

La relation entre la transforme de Fourier et la transforme de Laplace justifie linjectivit de la


transforme de Laplace partir de celle de la transforme de Fourier.
Ce rsultat a une grande porte pratique puisquil justifie la dtermination dune fonction par
transforme de Laplace.
Thorme 3.1.1 (de caractrisation)
Soient f et g deux fonctions de L+ dabscisse de sommabilit repectives a et b. Soit x > sup(a, b),
alors si :
y R, (Lf )(x + iy) = (Lg)(x + iy),
on a f = g presque partout.
Dmonstration. Daprs (3.1) et y = 2 on a
Z Z
f (t) exp((x + 2i)t)dt = g(t) exp((x + 2i)t)dt,

or de linjectivit de la transform de Fourier on dduit f (t) exp(xt) = g(t) exp(xt) pour


presque tout t ce qui permet de conclure. 

3.1.3 Holomorphie
Thorme 3.1.2 Soit f une fonction de L+ dabscisse de sommabilit a :
i) Labscisse de sommabilit de la fonction t R+ 7 (t)m f (t) est a.
ii) (Lf ) est une fonction holomorphe sur le demi-plan {z C / Re(z) > a} et :
Z
(Lf ) (z) = (t)m f (t) exp(zt)dt
(m)
CHAPITRE 3. TRANSFORME DE LAPLACE 36

Dmonstration.
i) Il est clair que si
t R+ 7 (t)m f (t) exp(xt)
est intgrable alors il en est de mme de

t R+ 7 f (t) exp(xt).

Rciproquement, soit x > a ; remarquons alors que :


 
m a+x
(t) f (t) exp(xt) = O f (t) exp( t)
2
a+x
et comme 2 > a, ces fonctions sont intgrables. Ainsi a est labscisse de sommabilit de

t R+ 7 (t)m f (t).

ii) On a par dfinition : Z


(Lf )(z) = f (t) exp(zt)dt.

Les drives en z de la fonction sous le signe somme sont :

t R+ 7 (t)m f (t) exp(zt).

Soit positif arbitrairement petit, sur le demi-plan :

{z = x + iy / x > a + },

on a |(t)m f (t) exp(zt)| |(t)m f (t) exp((a + )t)| et

g(t) = |(t)m f (t) exp((a + )t)| L1 (R+ ).

On vrifie les hypothses du thorme de drivation sous le signe somme et on obtient ainsi
lgalit dmontrer
Z
x > a (Lf )(m) (z) = (t)m f (t) exp(zt)dt;

Lf est bien holomorphe sur le demi-plan de sommabilit de f




3.1.4 Proprit lmentaires


les proprits suivantes sont dun usage constant en calacul technique. Elles font appel des
connaissances lmentaires dintgration.
Proprit 3.1.1 Soit f une fonction de L+ dabscisse de sommabilit a et soiot k un rel positif.
On pose g(t) = f (kt), alors labscisse de sommabilit de g est ka et :
1 z
Lf (z) = Lf .
k k
Dmonstration. une simple intgration par changement de variable montre le rsultat. 
CHAPITRE 3. TRANSFORME DE LAPLACE 37

Proprit 3.1.2 Soit f une fonction de L+ dabscisse de sommabilit a et soiot k un rel positif.
On pose g(t) = f (t k), alors labscisse de sommabilit de g est a et :
Lg(z) = exp(kz)Lf (z) .

Dmonstration. une simple intgration par changement de variable montre le rsultat. 


Proprit 3.1.3 Soit f une fonction de L+ drivable dont la drive est dans L+ :
Z x
f (x) = f (0+ ) + f 0 (t)dt,
0

(Lf 0 )(z) = zLf (z) f (0+ ).


Si f est n fois drivable et toutes ses drives sont dans L+ alors
n1
X
(Lf (n) )(z) = z n Lf (z) z nk1 f (k) (0+ ).
k=0

Dmonstration. Laisser pour exercice. 

3.2 Fonction de transfert et traitement de signal


1. On appelle la fonction de Heaviside la fonction u dfinie sur R par

1, si t 0,
u(t) =
0, si sinon.

2. On appelle la mesure de Dirac sur R en x0 une mesure note x0 telle que


Z
f (t)dx0 (t) = f (x0 ).
R
R
3. La transforme de Laplace de t est : Lt (z) = exp(zx)dt (x) = exp(zt)

Transforme de Laplace dune convolution


Soit f et g deux fonctions intgrables alors

L(f ? g) = L(f )L(g).

Fonction de transfert
Linversion dun oprateur diffrentiel coefficient constant est plus facile calculer sur les
images de Laplace que sur les fonctions originale.
0
Lquation diffrentielle f (n) + an1 f (n1) + . . . + a1 f + a0 f = g donne en image de Laplace :
(z n + an1 z n1 + . . . + a1 z + a0 )Lf (z) = Lg(z)

Do
1
Lf (z) = Lg(z).
z n + an1 z n1 + . . . + a1 z + a0
La fonction H(z) = zn +an1 zn11 +...+a1 z+a0 sappelle la fonction de transfert du systme gr
par lquation diffrentielle.
CHAPITRE 3. TRANSFORME DE LAPLACE 38

Dfinition 3.2.1 Plus gnralement, lquation dun filtre rel dentre f et de sortie g est :

g = h ? f,

o h est la rponse limpulsion 0 . Cette quation donne en image de Laplace :

Lg(z) = Lh(z).Lf (z).

La fonction z 7 Lh(z) de variable complexe sappelle la fonction de transfert du filtre.

Exemple 3.2.1 Considrons une quation diffrentielle du premier ordre associe un circuit
RC
Y 0 aY = X, o X est le signal dentre et Y est le signal de sortie
la transforme de Laplace implique

(z a)LY (z) = LX(z)


1
la fonction de transfert associe ce systme est H(z) = za ; cette fonction est holomorphe
dont le ple a.
Nous avons
LX(z)
LY (z) =
za
Thorme 3.2.1 (Thorme du retard)
Si Lf est dfinie pour x > a, alors L(t ? f ) lest aussi, et :

L(t ? f )(z) = ezt Lf (z).

Dmonstration.Il suffit dappliquer les techniques dintgration tout en respectant les proprits
de la mesure de Dirac. 

3.3 Thorme dinversion


3.3.1 Comportement linfini de la transforme de Laplace
Proposition 3.3.1 Soit f une fonction dabscisse de sommabilit a, alors Lf tend vers zro dans
le demi-plan {z C / Re(z) > a} lorsque z tend vers linfini.

Dmonstration. Soit z = a + + Rei , > 0 : limR ezt f (t) = 0. 

3.3.2 Thorme dinversion complexe


Soit F = Lf et a labscisse de sommabilit de f . si la fonction de la variable relle y 7
F (x + 2iy) est intgrable, alors :
Z x+i
1
x, x > a, f (t) = F (z)ezt dz
2i xi

presque partout par rapport la mesure longueur dx. En effet :


Z
F (x + 2iy) = f (t)ext e2iyt dt
CHAPITRE 3. TRANSFORME DE LAPLACE 39

do Z +
f (t)ext = F (x + 2iy)e2iyt dy p.p.

donc Z +
f (t) = F (x + 2iy)et(x+2iy) dy p.p.

par un changement de variable z = x + 2iy on a dz = 2idy, et on a


Z x+i
1
f (t) = F (z)etz dz p.p.
2i xi

Donc F est holomorphe pour x > a ne peut admettre quun original au plus qui soit une fonction
continue. Soit maintenant F une fonction holomorphe donne, on cherche des conditions sur F
pour que F soit la transforme de Laplace dune fonction.
Thorme 3.3.1 Soit F une fonction de la variable complexe telle que :
i) F soit holomorphe dans le demi-plan {z C / Re(z) > a} ;
ii) F converge dans le domaine dholomorphie vers zro lorsque z tend vers linfini ;
iii) pour tout x, x > a, la fonction de la variable relle y 7 F (x + iy) est intgrable sur R :
Si Z b+i
1
f (t) = F (z)etz dz (b > a),
2i bi
alors
i) f ainsi dfinie est nulle pour t < 0 ;
ii) f est indpendante du choix de b pour b > a ;
iii) F est la transforme de Laplace de la fonction f dabscisse de sommabilit a.

Exemple 3.3.1 Considrons une quation diffrentielle du premier ordre associe un circuit
RC
Y 0 aY = X, o X est le signal dentre et Y est le signal de sortie
la transforme de Laplace implique

(z a)LY (z) = LX(z)


1
la fonction de transfert associe ce systme est H(z) = za ; cette fonction est holomorphe
dont le ple a.
Nous avons
LX(z)
LY (z) =
za
alors Z b+i Z b+i
1 tz 1 LX(z)
Y (t) = LY (z)e dz = dz
2i bi 2i bi z a
o b > t0 avec t0 est lindice de sommabilit de Y .
CHAPITRE 3. TRANSFORME DE LAPLACE 40

3.3.3 Comparison des transformes de Fourier et de Laplace


lees dfinitions de la transforme de Fourier et de la transforme de Laplace dune fonction
intgrable f support dans [0, +[.
Z
fb() = f (t)e2it dt
Z
Lf (z) = f (t)ezt dt.

Il est clair quon a Z


Lf ( + 2i) = f (t)e(+2i)t dt,

daprs le thorme de la convergence majore on a

fb() = lim Lf ( + 2i).


0

Si f nest plus support dans [0, +[, on dfinit la transforme de Laplace tendue par :
( R +
f (t)ezt dt, si Re(z) > 0,
Lf (z) = R00
f (t)ezt dt, si Re(z) < 0.

Toujours daprss le thorme de la convergence majore, on a

fb() = lim [Lf ( + 2i) Lf ( + 2i)] .


0

3.4 Transforme de Laplace dune variable alatoire


Soit (, , P ) un espace probabilis.
Dfinition 3.4.1 Soit X une variable alatoire. Soit IX lensemble des z rels tels
LX (z) = E[ezX ]
existe. La fonction z 7 LX (z) dfinie sur IX est appele la transforme de Laplace de X :
Z
LX (z) = xezx dP (x)

*Si X tait une variable alatoire densit de probabilit f alors


Z
LX (z) = xezx f (x)dx.

Proprit 3.4.1 Nous avons les proprits suivantes :


1. Lensemble IX est un intervalle contenant 0.
2. Si 0 est dans lintrieur de IX ; la transforme de Laplace est dveloppable en srie entire
et les coefficients de cette srie sont les an dfinis par
1 (n) 1
an = L (0) = E[X n ] :
n! X n!
on a
X
1
LX (z) = E[X n ]z n .
n=0
n!
CHAPITRE 3. TRANSFORME DE LAPLACE 41

3. Si IX est de longueur positive, la loi de X est caractrise par sa transforme de Laplace.


Plus prcisment, si IX IY est de longueur positive et si LX = LY sur cet intervalle,
alors X et Y sont de mme loi.
4. Si X et Y sont indpendantes, alors IX+Y = IX IY et , pour z dans cet intervalle :

LX+Y (z) = LX (z)LY (z).

5. Si a et b sont rels avec a 6= 0 alors IaX+b = a1 IX et LaX+b (z) = exp(bz)LX (az).

3.4.1 Loi normale N (m, 2)


Cest la loi la plus importante du calcul des probabilits. On lappelle aussi une loi gaussienne,
une loi de Laplace- Gauss, ou encore une seconde loi de Laplace. Si m R et si > 0 ; elle est
dfinie par sa densit :  
1 (x m)2
f (x) = exp
2 2 2
Le fait que ce soit une densit de probabilit nest pas vident, car il faut vrifier que lintgrale de
cette fonction > 0 est 1. Si on ladmet pour le cas m = 0 et = 1, on se ramne facilement ce
cas particulier en posant x = y + m. Cette remarque permet alors de montrer que la transforme
de Laplace dune variable alatoire Y de loi N (0, 1) est
Z +
zY 1 y2 z2
LX (z) = E[e ]= e 2 +zy
dy = e 2 .
2

Pour voir cette dernire galit il suffit dcrire que la densit de N (z, 1) est dintgrale 1. Re-
marquons que lintervalle dexistence est IY = R.
Ensuite, on remarque que si Y est de loi N (0, 1), alors X = Y + m est de loi N (m, 2 ). Pour
le voir, il suffit dcrire la fonction de rpartition de X de la manire suivante :
 
xm xm
FX (x) = P ([Y + m < x]) = P ([Y < ]) = FY

on drive alors les deux membres extrmes de la ligne ci dessus : gauche on obtient la densit
cherche de X, droite en utilisant le thorme de drivation des fonctions composes et le fait
x2
que la densit de Y est par hypothse 12 e 2 : ceci fournit pour la densit de la loi N (m, 2 )
comme annonc.
La transforme de Laplace de la variable alatoire X de loi N (m, 2 ) est
 2 2 
z
LX (z) = exp + mz
2

1. E[X] = m et Var(X) = 2 .
2. si X1 et X2 sont des variables alatoires indpendantes et de lois respectives N (m1 , 12 ) et
N (m2 , 22 ), alors X1 + X2 est de loi N (m1 + m2 , 12 + 22 ).
3. La fonction de rpartition de la variable alatoitre rduite (i.e. de la loi N (0, 1)), est
Z x
1 y2
(x) = e 2 dy
2
CHAPITRE 3. TRANSFORME DE LAPLACE 42

3.4.2 Thorme de Moivre-Laplace de la loi binomiale


On rencontre la loi N (0, 1)) dans la nature comme approximation de bien des lois. La plus
ancienne est lapproximation de Moivre Laplace de la loi binomiale :
Thorme 3.4.1 Si X est la loi binomiale B(n, p), alors la loi de Xnp tend vers la loi
np(1p)
normale rduite N (0, 1)) dans le sens suivant : pour tout intervalle [a, b] on a
! Z b
X np 1 t2
lim P [a p b] = e 2 dt
n+ np(1 p) 2 a

Une autre prsentation de ce thorme de Moivre-Laplace est donc


 p p  Z b
1 t2
lim P [a np(1 p) + np X b np(1 p) + np] = e 2 dt
n+ 2 a
 p p 
cest--dire que P [a np(1 p) + np X b np(1 p) + np] est approche par (b)
(a). Cette approximation est la base de la statistique.
*La transforme de Laplace de la variable alatoire Y = Xnp est
np(1p)

!n !
pz npz
LY (z) = 1p+ p exp p
np(1 p) np(1 p)

on obtient par un calcul de dveloppement limit que


z2
lim LY (z) = e 2
n+
Chapitre 4

Fonctions spciales : gamma, bta,


Bessel et reprsentation intgrale
des fonctions de Bessel

4.1 Fonction Gamma :


Soit z C un nombre complexe, on dfinit pour tout rel positif x, la fonction puissance
x 7 xz par
xz = ez ln(x)
Lemme 4.1.1 Soit z un nombre complexe. La fonction t 7 tz1 et est intgrable sur ]0, +[
si et seulement si Re(z) > 0.
Dmonstration. La fonction t 7 tz1 et est continue sur ]0, +[ pour nombre complexe z.
Le lemme se dmontre laide des thormes de comparaisons du calcul intgral et des formules
suivantes

|tz1 e t| = tRe(z)1 et t0+ tRe(z)1 et |tz1 e t| = tRe(z)1 et =t+ o(et/2 ).


Dfinition 4.1.1 On appelle la fonction Gamma, note , la fonction
: {z C / Re(z) > 0} C dfinie par lexpression intgrale suivante :
Z +
(z) = tz1 et dt.
0

Dune faon analogue, on dfinit la fonction a par lexpression suivante :


Z a
a (z) = tz1 et dt.
0

Exemple 4.1.1 Pour a > 0 on a


Z a  a
a (1) = t11 et dt = et 0 = 1 ea 1
0

lorsque a +. Do (1) = 1.
43
CHAPITRE 4. FONCTIONS SPCIALES 44

Proposition 4.1.1 on a (z + 1) = z(z).


Ra
Dmonstration. On a a (z + 1) = 0 tz et dt. Par une intgration par partie, on a
Z a
a (z + 1) = tz1 et dt = az ea + za (z).
0

Ce qui implique
|a (z + 1) za (z)| aRe(z) ea 0
lorsque a +. Do
(z + 1) = z(z)

Corollaire 4.1.1 Pour n N , on a (n + 1) = n!.
Dmonstration. Pour n N , on a (n + 1) = n(n), (n) = (n 1)(n 1), . . . . . . et par
recurrence on obtient (2) = 1. Do
(n) = n (n 1) . . . 2 1 = n!


4.2 Fonction bta :


Le coefficient du binme est dfinit pour tout 0 k n, par
n!
Ckn = (nk ) = .
k!(n k)!
On a la relation suivante
nk k
Ck+1
n = C .
k+1 n
Dfinition 4.2.1 On appelle fonction bta, la fonction note , dfinie par
Z 1
(z, w) = tz1 (1 t)w1 dt
0

o Re(z) > 0 et Re(w) > 0.


(p)(q)
Proposition 4.2.1 Pour p > 0 et q > 0, on a (p, q) = .
(p + q)
Dmonstration. On note V = {(x, y) R2 / x > 0, y > 0}. On a
Z
(p)(q) = xp1 y q1 exy dxdy
V

Soit : U V , (, t) = (x, y) o x = t et y = (1 t) et U est la boule ouverte.


Le jacobien de est : Jac() = .
Alors,
Z Z
p1 q1 xy
x y e dxdy = p+q2 tp1 (1 t)q1 e | |ddt
V U
Z 1 Z +
p1 q1
= t (1 t) dt p+q1 e d
0 0
CHAPITRE 4. FONCTIONS SPCIALES 45

Do
(p)(q) = (p + q)(p, q), p > 0, q > 0

Thorme 4.2.1 Pour (z, w) C2 avec Re(z) > 0 et Re(w) > 0 on a

(z)(w)
(z, w) = .
(z + w)

Valeurs particulires :

Proprit 4.2.1 On a (p)(1 p) = (p, 1 p) = si 0 < p < 1.
sin(p)
En particulier, (1/2) = . Si n est un entier positif :
  r
1 1 3 5 . . . (2n 1) 2n!
n+ = n
= .
2 2 22n n!

Formule des complments :


Proposition 4.2.2 Pour tout z C tel que 0 < Re(z) < 1, on a

(z)(1 z) = (z, 1 z) =
sin(z)

cette formule reste valable par prolongement analytique si z C\Z.

Exemple 4.2.1
  Z 1
11 5
B , = t7/4 (1 t)1/4 dt
4 4 0
   
114 4
5
11 4 4
5
= =
11 4 + 4
5 (4)
     1 
(4) = 3! = 6, 11 7 7 7 7 3 3
4 = 4 + 1 = 4 4 = 4 4 4 et 4 = 4
5 1
4 .
     
11 5 1 7 3 1 1 3
B , =
4 4 6 4 4 4 4 4
1 7 3 1
=
6 4 4 4 sin(/4)

7 2
= .
128

4.3 La fonction Gamma incomplte


La fonction Gamma incomplte est dfinie par
Z x
1
Pa (x) = et ta1 dt, a>0
(a) 0
On a bien les limites suivantes
CHAPITRE 4. FONCTIONS SPCIALES 46

a) lim Pa (x) = 0,
x0
b) lim Pa (x) = 1.
x+
La fonction Gamma incomplte x 7 Pa (x) est une fonction croissante.
La fonction x 7 Qa (x) = 1 Pa (x) est dfinie par
Z +
1
Qa (x) = et ta1 dt, a>0
(a) x

Dune faon analogue, on a bien les limites suivantes


a) lim Qa (x) = 1,
x0
b) lim Qa (x) = 0.
x+

4.4 La fonction erreur erf


La fonction erf est la fonction dfinie par lexpression suivante :
Z x
2 2
erf(x) = et dt.
0

On a les limites suivantes :


a) lim erf(x) = 0,
x0
b) lim erf(x) = 1,
x+
c) erf(x) = erf(x)

Proprit 4.4.1 On a
erf(x) = P1/2 (x2 ).

4.5 La fonction bta incomplte


On appelle la fonction bta incomplte, la fonction note Ix (a, b), dfinie par
Z x
1
Ix (a, b) = ta1 (1 t)b1 , a, b > 0, 0 < t < 1.
(a, b) 0

On a les limites suivantes :


a) lim Ix (a, b) = 0,
x0
b) lim Ix (a, b) = 1.
x1
et on a la relation suivante :
Ix (a, b) = 1 I1x (a, b).
CHAPITRE 4. FONCTIONS SPCIALES 47

4.6 Fonction de Bessel et reprsentation intgrale


4.6.1 quation de Bessel
Cest une quation de type
 
d2 Y 1 dY 2
+ + 1 Y = 0,
dz 2 z dz z2

que lon rencontre dans de nombreux problmes de physique, particulirement ceux prsentant
une symtrie cylindrique : problmes de membranes, oscillations lectro-magntiques dans une
cavit cylindrique (comme un fil lectrique...), dplacement libre dune particule en Mcanique
Quantique, etc.
Nous cherchons donc des solutions (mthode dite de Frobenius) sous la forme de srie entire de
la forme
+
X +
X +
X
dY d2 Y
Y = zp an z n : = pz p1 an z n , = p(p 1)z p2
an z n
n=0
dz n=0
dz 2 n=0

do en remplaant dans lquation et en identifiant les coefficients les relations :

(p2 2 )a0 = 0,
((p + 1)2 2 )a1 = 0
.................. ... ............
((p + 1)2 2 )an + an2 = 0

La premire relation nous donne p = , choisissons positif sil est rel ou la partie relle
positive sil est imaginaire ; a0 est alors quelconque.
1. Premier cas :
si p = > 0, on a alors

(2p+1)a1 = 0, (4p+4)a2 +a0 = 0, (6p+9)a3 +a1 = 0, . . . , (2pn+n2 )an +an2 = 0

donc les coefficients dordre impair sont nuls et les pairs sobtiennent en fonction de a0 par

(1)k
a2k = a0 .
4k ( + 1)( + 2) . . . ( + k)

On dfinit alors la fonction de Bessel J de premire espce dordre par le choix de


1
a0 = 2(+1) , ce qui permet de donner une criture compacte de J grce la proprit
de base de la fonction gamma : la fonction de Bessel note J (x) est dfinie par la srie
entire suivante : k
  X +
1 41 z 2
J (z) = z ,
2 k!( + k + 1)
k=0

o ( + k + 1) = ( + 1)( + 2) . . . ( + k)( + 1).


2. Deuxime cas :
si p = , alors les coefficients pairs sont tels que

2k(2k + 1 2)a2k + a2k2 = 0


CHAPITRE 4. FONCTIONS SPCIALES 48

et les coefficients impairs sont tels que


2k(2k + 1 2)a2k+1 + a2k1 = 0;
/ { 2m+1
si 2 , m N} alors les coefficients impairs sont nuls et de la mme manire on
obtient k
  X +
1 41 z 2
J (z) = z .
2 k!( + k + 1)
k=0
Dans le cas o nest pas un entier, les fonctions J et J sont linairement indpendants
et forment une base de lespace des solutions : en effet, ne prend pas les valeurs infinies
que pour des valeurs entires, aussi lorsquon fait tendre z vers 0, J tend vers 0 ( cause
 
du terme 12 z ) alors que la fonction J tend vers linfini ( cause du terme 21 z ). On
a donc la forme gnrale des solutions, galement appeeles fonction cylindriques :
Z (z) = AJ (z) + BJ (z).
Dans le cas o = n est un entier, on a ( + k + 1) = (k n + 1), or (k) = si
k est un entier ngatif, donc tous les termes de Jn sont nuls jusqu un rang k 0 ou k 0 est
le dernier entier pour lequel k n + 1 < 0 ; nous pouvons alors crire
 n X + k+n  n X + k
1 41 x2 n 1 41 x2
Jn (z) = z = (1) z = (1)n Jn (z),
2 k!(k + n)! 2 k!(k + n)!
k=0 k=0

et nos deux fonctions ne sont plus indpendantes. Comme lquation de Bessel est dordre
2, lespace des solutions lest galement, il nous faut trouver une deuxime solution...

4.6.2 Fonction de Bessel de seconde espce


Nous allons chercher une fonction Y telle que
J (x) cos() J (x)
J (z) = cos()J (z) sin()Y (z) Y (x) =
sin()
il est clair que si est un entier on retombe sur une solution particulire de lquation de Bes-
sel ; par contre si on fait tendre vers un entier n, la fonction Y se prsente comme une forme
indtermine (cos(n) = (1)n ) ; appliquons la rgle de lHospital :
sin()J (z) + cos()(J (z))0 (J (z))0
Yn (z) = lim
n cos()
1h i 1h i
= 0
lim (J (z)) (1)n lim (J (z))0 .
n n
Il nous faut donc calculer la drive de J : utilisons le dveloppement en srie entire
  X + k + k
1 14 z 2 X 14 z 2
ln( 21 z )
J (z) = z =e ,
2 k!( + k + 1) k!( + k + 1)
k=0 k=0

  + k   X + 0 k
dJ (z) 1 X 41 z 2 1 ( + k + 1) 14 z 2
ln( 21 z )
= ln z e z
d 2 k!( + k + 1) 2 k!2 ( + k + 1)
k=0 k=0
    X + k
1 1 14 z 2 0 ( + k + 1)
= ln z J (z) z
2 2 k!( + k + 1) ( + k + 1)
k=0
CHAPITRE 4. FONCTIONS SPCIALES 49

Faisons tendre vers n, la drive logarithmique de est une fonction digamma :


0 ( + k + 1)
( + k + 1) =
( + k + 1)
do k
   n X
+
dJ (z) 1 1 14 z 2
lim = ln z Jn (z) z ( + k + 1);
n d 2 2 k!(n + k)!
k=0

pour J (z) nous utilisons la formule des complments :



(z)(1 z) = ( k)(1 + k) = = (1)k
sin(z) sin(( k)) sin()
soit en sparant la sommation lordre n 1, n tant lentier immdiatement suprieur :

  n1  2k   X
+ k
1 X ( k) sin() 1 1 41 z 2
J = z z + z ;
2 k! 2 2 k!( + k + 1)
k=0 k=n

il nous reste driver par rapport :


  X 1 
n1   2k
dJ (z) 1 0 sin() 1
= ln z J (z) + ( k) + ( k) cos() z
d 2 k! 2
k=0
  X + k
1 41 z 2
+ z 0 ( + k + 1)
2 k!2 ( + k + 1)
k=n

lorsquon fait tendre vers n, on a



 n1
X 1  2kn
dJ (z) 1 n 1
lim = ln z Jn (z) + (1) (n k) z
n d 2 k! 2
k=0
 n X + k
1 14 z 2
+ z 0 (n + k + 1);
2 k!2 (n + k + 1)
k=n

on peut alors faire un dcalage de n indices en remplaant k n par k ce qui donne


  X (n k)  1 2kn
n1
dJ (z) 1n n
lim = (1) ln z Jn (z) + (1) z
n d 2 k! 2
k=0
 n X+ k
1 41 z 2 0 (k + 1)
+ z ;
2 (n + k)!k! (k + 1)
k=0

On obtient aussi une relation analogue pour Yn soit


  n1  2kn
2 1 1 X (n k 1) 1
Yn (z) = ln z Jn (z) z
2 k! 2
k=0
 n X + k  
1 1 41 z 2 0 (k) 0 (k + 1)
z + ;
2 (n + k)!k! (k) (k + 1)
k=0
CHAPITRE 4. FONCTIONS SPCIALES 50

4.6.3 Comportement et formes asymptotiques


Pour x < , la fonction de Bessel possde des formes asymptotiques pour 0 < x  :
 
1 1
J (x) x , 0,
( + 1) 2
2
Y0 (x) ln(x),

 
() 1
Y (x) x , > 0.
2

Pour x > , les formes asymptotiques pour x  ,


r  
2 1 1
J (x) cos x ,
x 2 4
r  
2 1 1
Y (x) sin x .
x 2 4

Les fonctions de Bessel satisfont les relations de rcurrence suivantes


2n
Jn+1 (x) = Jn (x) Jn1 (x),
x
2n
Yn+1 (x) = Yn (x) Yn1 (x).
x