Vous êtes sur la page 1sur 55

Conservatoire National

des Arts et Mtiers


MAA112

ANALYSE DE FOURIER
Nelly POINT

9 dcembre 2012

Table des matires


1 Intgration
1.1 Mthodes dintgration : rappels . . . . . . . . . . . . . . .
1.1.1 Utilisation de la linarit . . . . . . . . . . . . . . .
1.1.2 Changement de variables . . . . . . . . . . . . . . .
1.1.3 Intgration par parties . . . . . . . . . . . . . . . .
1.2 Gnralisation de la notion dintgrale . . . . . . . . . . .
1.2.1 Introduction . . . . . . . . . . . . . . . . . . . . . .
1.2.2 Intgrale gnralise : cas dun domaine non born .
1.2.3 Intgrale gnralise : cas dune fonction non borne
1.3 Intgrales double ou triple . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.

2 Les espaces L1 (I) et L2 (I)


2.1 Espace L1 (I) des fonctions sommables sur I
2.2 Espace L2 (I) des fonctions
de carr sommable sur I . . . . . . . . . . .
2.2.1 Exemples : . . . . . . . . . . . . . . .
2.3 Relation entre L1 (I) et L2 (I) . . . . . . . .
2.4 Complments . . . . . . . . . . . . . . . . .
2.5 Rappels sur les espaces vectoriels . . . . . .

.
.
.
.
.

3 Les
3.1
3.2
3.3
3.4
3.5

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

3
3
3
3
3
4
4
5
6
9

11
. . . . . . . . . . . . . . . . . 11
.
.
.
.
.

.
.
.
.
.

sries de Fourier
Introduction et rappels . . . . . . . . . . . . . .
Srie de Fourier trigonomtrique . . . . . . . . .
Srie de Fourier complexe . . . . . . . . . . . .
Convergence des sommes partielles de la srie de
Convergence ponctuelle des sommes
partielles de la srie de Fourier . . . . . . . . . .
3.6 Drivation terme terme . . . . . . . . . . . . .
3.7 Vrification des rsultats, erreurs usuelles . . . .
3.8 Remarques gnrales . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

13
14
14
15
16

. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
Fourier dans L2 (0, T )

.
.
.
.

.
.
.
.

19
19
20
21
23

.
.
.
.

.
.
.
.

.
.
.
.

24
24
24
25

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.
.

.
.
.
.

.
.
.
.

4 Le produit de convolution
27
4.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1

2
4.2
4.3
4.4
4.5

Proprits du produit de convolution


Le produit de convolution rgularise .
Utilit du produit de convolution . .
Intercorrlation, autocorrlation . . .
4.5.1 Cas dun signal rel . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

28
29
31
32
33

.
.
.
.
.
.

35
35
35
37
40
42
42

6 La transformation de Laplace
6.1 Dfinition de la transformation de Laplace . . . . . . . . . . . . . . . . . .
6.2 Proprits gnrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3 Utilisation de la transformation de Laplace . . . . . . . . . . . . . . . . . .

45
45
47
49

5 La transforme de Fourier
5.1 Introduction . . . . . . . . . . . . . . . . . . .
5.2 Transforme de Fourier dans L1 (IR) . . . . . .
5.3 Proprits de la transforme de Fourier . . . .
5.4 Transforme de Fourier dans L2 (IR) . . . . . .
5.5 Transforme de Fourier des fonctions usuelles .
5.6 Autocorrlation temporelle et Fourier . . . . .

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

7 Annexe
51
7.1 Fonctions dfinies par une intgrale . . . . . . . . . . . . . . . . . . . . . . 51
7.1.1 Motivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7.1.2 Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

Chapitre 1
Intgration
Ce chapitre contient un rappel des mthodes dintgration, une prsentation des intgrales
gnralises, et les proprits lmentaires des intgrales doubles.

1.1

Mthodes dintgration : rappels

1.1.1

Utilisation de la linarit

1. transformation de produits en sommes


(par exemple laide de formules de trigonomtrie)
2. dcomposition des fractions rationnelles en sommes de fonctions simples

1.1.2

Changement de variables

Si on pose x = (t) o est une fonction dfinie sur [, ], telle que () = a et () = b


et drivable et bijective de [, ] sur [a, b] alors on a
Z

f (x) dx =

avec = 1 (a) et = 1 (b)

1.1.3

f ((t)) 0 (t) dt

Intgration par parties

Formule qui dcoule de la formule bien connue de drivation dun produit :


(uv)0 = u0 v + u v 0
Elle peut scrire :
Z

b
0

u(x) v (x) dx = [u(x) v(x)


a

]ba

u0 (x) v(x) dx

(1.1)

Analyse

La notation diffrentielle du = u0 (x)dx et dv = v 0 (x)dx permet une criture plus


synthtique pour les primitives :
Z

Z
udv = uv

vdu

Lintgration par parties sutilise dans des cas bien spcifiques :


1. Pour intgrer le produit dun polynme par une exponentielle, par un cosinus, ou
par un sinus.
On pose alors u(x) = P (x) pour avoir de proche en proche des polynmes de degr
de plus en plus petit dans lintgrale calculer, jusqu obtenir un polynme de
degr zro donc constant.
2. Pour se dbarrasser des fonctions transcendantes qui ont des drives de type
fractions rationnelles comme ln(x), tan(x), et plus gnralement ln(F (x)) o F
est une fraction rationnelle etc ..
On pose alors u(x) = f (x) o f est la fonction transcendante.

1.2
1.2.1

Gnralisation de la notion dintgrale


Introduction

On sait que si la fonction f est continue sur lintervalle ferm born [a, b] alors elle est
Rb
borne sur [a, b] et de plus a f (x) dx est dfinie (dfinie signifiant que si a, b sont des
Rb
nombres connus et si f est connue alors a f (x) dx est un nombre fini). On peut encore
Rb
dfinir a f (x) dx si la fonction f est continue par morceaux et si elle reste borne sur
lintervalle [a, b] born.
Par contre si lintervalle dintgration est non born ( ] , b], [a, +[ , ] , +[ )
ou si la fonction est non borne sur lintervalle , lintgrale est parfois dfinie et parfois
elle ne lest pas :
Z
0

dx
= [arctan x]+
= 0=
dfinie
0
2
1+x
2
2
Z +
dx
= [ln |x|]+
= + 0 pas dfinie
1
x
1
Z 1
dx
= [ln |x|]10 = 0 () = + pas dfinie
x
0

(1.2)
(1.3)
(1.4)

Dans ce chapitre on va essayer de prciser des rgles pour savoir a priori, sans calculer de
primitive, dans quel cas on se trouve.

Intgration

1.2.2

Intgrale gnralise : cas dun domaine non born

Dfinition 1.1 Soit f une fonction dfinie et continue sur [a, +[, on dit que lintgrale
R +
RX
f (x) dx converge au voisinage de + ssi la limite de a f (x) dx existe et est finie
a
lorsque X +.
Bien sur il y a une dfinition similaire dans le cas o a = .
Exemple 1 :
X

cos(x) dx = [sin(x)]X
0 = sin X 0

Cette quantit na pas de limite quand X tend vers + , do la divergente de lintgrale


Z +
cos(x) dx
0

Si a 6= 0 ,

R +

exp(ax) dx dpend de a . En effet



X
Z X
exp(ax)
1
exp(ax) dx =
= (exp(aX) 1)
a
a
0
0

Exemple 2 : La convergence de lintgrale

Or eaX tend vers linfiniR si a > 0 et vers 0 si a < 0 .


X
De plus si a = 0 , on a 0 dx = X + , donc
X+

Z
pour a 0 il y a divergence de

exp(ax) dx

(1.5)

pour a < 0 il y a convergence de

exp(ax) dx qui vaut


0

Z
Exemple fondamental :
1

dx
x

Daprs (1.3) lintgrale diverge pour = 1 .


X +1
Pour 6= 1 une primitive est F (X) = +1
Si > 1 alors X +1
Si < 1 alors X

+1

+ . On a donc

X+
X+

Z
1

dx
x

converge ssi
diverge ssi

>1
1

1
a

(1.6)

Analyse

Thorme de comparaison : Soient f et g deux fonctions positives telles que pour tout
x R[a, +[ , 0 f (x) g(x) alors
R + :
+
- si a f (x) dx diverge alors a g(x) dx diverge aussi.
R +
R +
- si a g(x) dx converge alors a f (x) dx converge aussi.
Pour lever une indtermination il est commode dutiliser la notion de fonctions quivalentes pour comparer le comportement de deux fonctions aux voisinage dun point.
Dfinition 1.2 f et g sont deux fonctions quivalentes au voisinage de a (a fini
f (x)
=1
ou infini) si f (x) g(x) lim
a
xa g(x)

Proposition 1.1 Soient deux fonctions f et g continues sur [a, +[ et quivalentes


au voisinage de +, alors
Z +
Z +
f (x) dx et
g(x) dx sont de mme nature
a

Thorme 1.1 Critre de Riemann.


Soit f une fonction continue sur [a, +[ :
Z +
cste
f (x) dx
f (x)
alors lintgrale
+ x
a

converge ssi

>1

Quand on peut lutiliser, ce critre permet dviter de calculer inutilement une primitive
dans le cas o une intgrale gnralise diverge.
Parfois ce critre nest pas utilisable et dans ce cas on utilise soit la dfinition, soit une
majoration ( si lon veut prouver la convergence de lintgrale) ou une minoration (dans
le cas contraire).

1.2.3

Intgrale gnralise : cas dune fonction non borne

Dfinition 1.3 Soit une fonction f dfinie et continue sur ]a, b] et telle que f (x) +,
xa
Rb
alors on dit que lintgrale a f (x) dx converge au voisinage de a ssi la limite de
Rb
f (x) dx existe et est finie lorsque 0
a+

Intgration

7
b

Z
Exemple fondamental en a :
a

dx
(x a)

Comme en (1.4), la primitive est en logarithme et lintgrale diverge pour = 1.


Pour 6= 1 , la fonction nest pas dfinie pour x = a et la primitive est F (X) =
(Xa)+1
+1

Si > 1 alors (X a)+1 +.


Xa

Si < 1 alors (X a)+1 0 . Donc on a :


Xa

Z
a

dx
(x a)

converge ssi

<1

diverge ssi

(1.7)

Proposition 1.2 Comparaison : Soient 2 fonctions f et g continues sur ]a, b] alors


Z
si x ]a, b]

on a

0 f (x) g(x)

alors

Z
f (x) dx

0
a

Thorme 1.2 Critre de Riemann.


Soit f une fonction continue sur ]a, b] avec b fini
Z b
cste
alors lintgrale
f (x) dx converge ssi
f (x)
a (x a)
a

g(x) dx.
a

<1

Attention : On ne peut pas dfinir y pour y < 0 , car si est non entier on ne peut
pas dire que cela signifie le produit de y par lui mme fois !
Pour un rel quelconque , on dfinit y par :
y = exp( ln y)
Il faut donc imprativement que y soit positif ( ou ventuellement nul).
Donc pour a < x < b on ne peut pas crire (x b) mais plutt (b x) . En suivant la
mme dmarche que ci-dessus on vrifie que :
Z
a

dx
(b x)

converge ssi

<1

diverge ssi

Thorme 1.3 Critre de Riemann.


Soit f une fonction continue sur [a, b[ avec a fini
Z b
cste
f (x)
alors lintgrale
f (x) dx converge ssi
b (b x)
a

(1.8)

<1

Analyse
Z

f (x) dx avec f (x) =

Exemple 1 : Convergence de
0

2x
.
(x + 2)(x2 + 2x + 2)

La fonction f est dfinie et continue sur IR \{2} donc sur [0, +[ . On a


f (x)

2
x2

A priori lintgrale converge. Une primitive est F (x) = ln(x2 + 2x + 2) 2 ln |x + 2|,


linfini ceci donne une forme indtermine + . Appliquons la dfinition en essayant
de lever cette indtermination
2

Z X
X + 2X + 2
(ln 2 2 ln 2)
f (x) dx = F (X) F (0) = ln
(X + 2)2
0

R +
2

ln
1
=
0
donc
f (x) dx converge et vaut ln 2.
or F (X) ln X

2
X
0
+

X+

RX
Sil ny a pas de fonction quivalente mais si f est positive alors F (X) = a f (x) dx
est une fonction croissante de X. On peut alors utiliser une majoration pour montrer la
convergence de lintgrale ou une minoration par une intgrale divergente pour montrer
la divergence grce la proposition (1.2).

Exemple 2 :

R +
0

exp(x2 ) dx

on aR 0 x x2 donc x2 x et 0 x
x2 donc 0
R +Sur [1, +[
R +
+
+
1
2
exp(x ) dx 1 exp(x) dx = [ exp(x)]1 = e donc 0 exp(x2 ) dx =
R11
R +
2
exp(x
)
dx
+
exp(x2 ) dx converge car sur [0, 1] la fonction est continue et sur
0
1
[1, +[ grace la majoration on a la convergence.
Si f nest pas positive ou de signe constant, pour montrer la convergence de lintgrale,
on essaye de majorer |f (x)| et on utilise le thorme suivant.
Thorme 1.4 Convergence absolue
Z

Z
|f (x)| dx converge

f (x)dx converge absolument donc converge


a

Dmonstration. Si f + est la partie positive de f et f loppos de la partie


R b ngative
+

alors |f | = f + f et f = f f et la proposition ci-dessus entraine que a f + (x) dx


Rb
Rb
Rb
Rb
et a f (x) dx convergent, ce qui entraine que a f (x) dx = a f + (x) dx a f (x) dx
converge aussi.

Intgration

9
+

Z
Exemple 3 :

sin x
dx .
x(1 + x)

Le domaine de la fonction est ]0, +[.


Il y a Z2 problmes
Z : Zla fonction nest pas dfinie en 0 et le domaine est non born.
1

On a
0

+
0

.
1

Pour x 0 la fonction estZprolongeable par continuit et reste borne car


1
sin x
sin x
x

0 donc
dx est dfinie.
x(1 + x) 0 x x0
x(1 + x)
0
sin x
Comme
ne garde pas un signe constant quand x +, on cherche
x(1 + x)
majorer la valeur absolue sur [1, +[.


sin x
1
1


x(1 + x) x(1 + x) x3/2
R +
comme = 3/2 > 1, on en dduit que lintgrale 0 |f (x)| dx converge et donc
R +
f (x) dx est absolument convergente.
0

1.3

Intgrales double ou triple

Les sections prcdentes ne concernent que les intgrales dune fonction dune seule variable relle. Dans ce cours il sera, de temps en temps, ncessaire de considrer des intgrales portant sur des fonctions de plusieurs variables relles.
Commenons par un exemple.
Soit f (x, y) la fonction nulle sur IR2 sauf pour (x, y) D = [a, b] [c, d] IR2 , avec f
continue sur D , nous pouvons dfinir

Z Z
Z b Z d
f (x, y) dy dx
f (x, y) dxdy =
D

On vrifie que lon trouve le mme rsultat en intgrant dabord en x puis en y :



Z Z
Z d Z b
f (x, y) dxdy =
f (x, y) dx dy
D

Remarque 1.1 Si f (x, y) = u(x)v(y) alors


Z b
 Z
Z Z
f (x, y) dxdy =
u(x)dx
D


v(y) dy

10

Analyse
Dans le cas dintgrales gnralises, on a le thorme suivant :

Thorme 1.5 de Fubini : Une fonction f (x, y) est sommable sur IR2 ssi |f (x, y)| est
sommable sur IR2 et alors

Z Z
Z Z
f (x, y) dxdy =
f (x, y) dx dy
IR2
IR
IR

Z Z
f (x, y) dy dx
=
IR

IR

Chapitre 2
Les espaces L1(I) et L2(I)
Lensemble des fonctions est muni dune structure despace vectoriel (on peut additionner
deux fonctions et on peut multiplier une fonction par un scalaire rel ou complexe).
Pour pouvoir valuer la prcision dune proximation dune fonction (ou dun signal) par
une autre fonction, il faut disposer dune notion de distance entre deux fonctions.
En fait de nombreux choix sont possibles, mais nous ne prsenterons ici que les 2 notions
les plus utiles en ce qui concerne les mathmatiques pour lingnieur.
Dans la suite I dsigne un intervalle, ce peut tre IR, ]0, +[, ]a, b[ , il peut donc tre
born ou non born.
Nous allons introduire pour les fonctions dfinies sur un intervalle I (born ou non) deux
normes diffrentes.
La premire, assez naturelle, consiste mesurer lcart entre 2 fonctions f et g par laire
qui spare leur courbe reprsentative. Si cette aire est nulle on dit que la norme est nulle.
La seconde norme considre ici consiste mesurer laire sous le carr de f g. Elle est
plus intressante pour lingnieur car que ce soit en traitement du signal, en lectricit
ou en mcanique le carr de cette norme permet de calculer lnergie dun signal ou une
puissance lectrique ou une nergie cintique ou encore une nergie de dformation, etc .

2.1

Espace L1(I) des fonctions sommables sur I

On considre lespace vectoriel sur IR des fonctions dfinies sur I et valeurs relles
(I born ou non).
Dfinition 2.1 Une fonction est dite sommable sur I si et seulement si
Z
|f (x)| dx < +
I

11

12

Analyse

Lensemble des fonctions sommables forme un sous espace vectoriel.


Si deux fonctions sommables f et g sont continues sur I alors
Z
|f (x) g(x)| dx
=0
x I,
f (x) = g(x).
I

Mais si f et g sont discontinues sur I , par exemple si ce sont 2 fonctions portes lgrement
diffrentes :


1 si 1 x 1
1 si 1 < x < 1
f (x) =
g(x) =
0
sinon
0
sinon
on voit que f (x) g(x) = 0 sauf pour x = 1 ou pour x = 1 et que
Z
|f (x) g(x)| dx = 0.
IR

cela signifie que si f et g sont seulement continues par morceaux, on peut seulement dire
que :
Z
|f (x) g(x)| dx = 0 f (x) = g(x) sauf pour x = 1 et x = 1
I

Les fonctions f et g sont donc gales sauf en ces points. On introduit la notion commode
de "presque partout" note pp.
Dfinition 2.2 Si deux fonctions sont gales sauf en un nombre finis de points ou mme
sur un ensemble dnombrable de points alors on dit que ces fonctions sont gales presque
partout.
On peut alors dire que :
Z
|f (x) g(x)| dx = 0

pp

f =g

On peut alors dfinir une norme sur le sous espace vectoriel des fonctions sommables sur
I par :
Z
kf kL1 = |f (x)| dx
I

et on a la proprit
kf kL1 = 0

pp

f =0

Dfinition 2.3 On note L1 (I) lensemble des fonctions sommables sur I o on confond
les fonctions gales presque partout. L1 (I) est muni de la norme :
Z
kf kL1 = |f (x)| dx
I

Espaces L1 et L2

13
pp

Ainsi on peut crire que kf kL1 = 0 f = 0 .


Remarque 2.1 Dans lespace vectoriel des fonctions valeurs complexes
Z
kf kL1 = |f (x)| dx
I

avec |f (x)| gal au module du nombre complexe f (x) .

2.2

Espace L2(I) des fonctions


de carr sommable sur I

On considre dabord lespace vectoriel sur IR des fonctions dfinies sur I et valeurs
relles.
Dfinition 2.4 Une fonction est dite de carr sommable sur I si et seulement si
Z
f (x)2 dx < +
I

Dfinition 2.5 On note L2 (I) lensemble des fonctions de carr sommable sur I o on
confond les fonctions gales presque partout.
L2 (I) est muni du produit scalaire :
Z
(f, g) = f (x)g(x) dx
I

et de la norme correspondante : kf kL2 =

qR
I

f (x)2 dx

Lespace L2 (I) est plus intressant que lespace L1 (I) pour 2 raisons :
1. la premire dordre physique car souvent lnergie dissipe sur un intervalle
de temps I = [0, T ] peut sexprimer comme lintgrale du carr dune fonction
(nergie electrique, nergie cintique, etc ), et la puissance dissipe est dfinie par
RT
1
|f (x)|2 dx.
T 0
2. la seconde raison est dordre mathmatique car lexistence dun produit scalaire
va permettre dutiliser les notions bien connues de gomtrie, comme la projection
orthogonale, pour trouver la meilleure approximation dune fonction sous certaines
conditions.
Comme on sera amen considrer des fonctions valeurs complexes, on utilisera une
gnralisation de la notion de produit scalaire, on dfinira dans ce cas le produit scalaire
gnralis (appel aussi produit hermitien) (f, g) par :
Z
(f, g) = f (x)g(x) dx
I

14

Analyse

o g(x) reprsente la valeur complexe conjugue de g(x).


On vrifie bien alors la positivit du produit scalaire dune fonction par elle mme :
Z
Z
(f, f ) = f (x)f (x) dx = |f (x)|2 dx
I

2.2.1

Exemples :

On peut facilement vrifier que les fonctions e|ax| ,


2

x2

1
, et la fonction gaussienne
+1

ex , sont dans L1 (IR) L2 (IR)


Le sinus cardinal : On peut aussi montrer que la fonction
on montre aussi (plus difficilement !) que

sin(x)

/ L1 (IR).
x

sin(x)
appartient L2 (IR),
x

Fonction sommable qui nest pas de carr sommable Le domaine de dfinition de


1
f (x) = p
est IR . Cette fonction est paire. En appliquant le critre de Rie2
|x|(x + 1)
mann en 0 et linfini, on montre que f L1 (IR). Mais comme la fonction au carr se
1
au voisinage de 0, on en dduit que f
/ L2 (IR) .
comporte comme
|x|
Fonction sommable sur un intervalle I qui nest pas sommable sur IR
1
On a p
/ L1 (IR) daprs le critre de Riemann linfini, mais sur lintervalle born
|x|
1
[1, 1] on a p L1 (1, 1) .
|x|
Remarques
Si f est continue, borne et support born (cest dire nulle hors de ce support) alors
f L1 (IR) L2 (IR).
Si I est un intervalle born et si f est borne et continue par morceaux sur I alors
f L1 (I) L2 (I).

2.3

Relation entre L1(I) et L2(I)

Si lintervalle I est non born, il ny a pas de relation dinclusion entre L1 (I) et L2 (I) ,
comme le montre les exemples ci-dessus.
Par contre dans le cas o lintervalle I = [a, b] est born, alors lingalit de Schwarz
permet de prouver que L2 (a, b) est inclus dans L1 (a, b).

Espaces L1 et L2

15

Ingalit de Schwarz
s
sZ b
Z b
Z b


2


f (x)g(x) dx
|f (x)| dx
|g(x)|2 dx

a

(2.1)

Cette ingalit est seulement linterprtation dans lespace L2 (a, b) de la proprit gnrale
concernant les produits scalaires et les normes associes.
Le produit scalaire de deux vecteurs est major en module par le produit des normes de
chacun des vecteurs
|(f, g)| kf k kgk
En choisissant pour g la fonction constante gale 1 sur [a, b], et pour f une fonction
gale son module, on obtient
Z b
sZ b



2


|f
(x)|
dx
|f
(x)|
dx
ba


a

et donc si la fonction f est dans L2 (a, b) elle est aussi forcment dans L1 (a, b).

2.4

Complments

Lintrt des espaces vectoriels en dimension finie, cest que, pour dfinir une transformation linaire, il suffit de la dfinir sur la base considre. Mais lensemble des fonctions
de la variable relle x est de dimension infinie (puisquil contient lensemble de toutes
les fonctions polynmiales, etc ...). La dimension infinie complique la situation. Mais on
montre que lespace L2 (I) est ce quon appelle un espace de Hilbert sparable , cest
dire quil existe un ensemble infini mais dnombrable de fonctions en , n N , orthogonales 2 2, et telles que toute fonction de lespace soit une combinaison linaire infinie
unique des lments de cette base :
f=

an e n

avec an = (f, en )

n=1

Cette dcomposition est unique et on a


n N

pp

an = 0 f = 0.

Lexemple le plus important en mathmatiques du signal est la dcomposition en srie


de Fourier qui nest rien dautre que la dcomposition dune fonction de lespace L2 (0, T )

16

Analyse

par rapport la base orthogonale forme par les fonctions


u0 (x) = 1
u1 (x) = cos(

2
x)
T

v1 (x) = sin(

2
x)
T

.......
uk (x) = cos(k

2
x)
T

vk (x) = sin(k

2
x)
T

.......
Les sries de Fourier font lobjet de ltude de chapitre suivant.

2.5

Rappels sur les espaces vectoriels

Un des exemples les plus lmentaires despace vectoriel est lespace IR3 .

Pour tout vecteur V de IR3 , si


e1 ,
e2 ,
e3 est une base de IR3 alors il existe un unique
triplet de nombres rels (x, y, z) tel que :

V =x
e1 + y
e2 + z
e3

(2.2)

Les nombres x, y, z sont les composantes du vecteur V par rapport la base (


e1 ,
e2 ,
e3 ).

Dans IR3 on dfinit un produit


scalaire
not
(
V
,
U



).


2
La norme associe, note V , est dfinie par V = ( V , V ).
Si deux vecteurs ont un produit scalaire nul, ces vecteurs sont dits orthogonaux.
Si un vecteur a une norme gale 1 , on dit quil est norm.
Un sous espace vectoriel est un sous ensemble stable par laddition des vecteurs et
par la multiplication par un nombre rel.
Pour trouver la meilleure approximation dun vecteur par un vecteur appartenant
un sous espace vectoriel on projette orthogonalement le vecteur sur le sous espace
vectoriel.
Pour faire de la gomtrie, on choisit une base orthonorme.

Pour dterminer la composante x du vecteur V par rapport la base orthonorme

(
e1 ,
e2 ,
e3 ), il suffit de faire le produit scalaire de V par le vecteur
e1 :

(V ,
e1 ) = (x
e1 + y
e2 + z
e3 ,
e1 )

= x ( e1 , e1 ) + y ( e2 , e1 ) + z (
e3 ,
e1 ) linarit du produit scalaire
=x+0+0
puisque la base est orthonorme
do


x = (V ,
e1 ) .

Espaces L1 et L2

17

En faisant de mme pour i = 2 et 3, on trouve les composantes du vecteur V par rapport



la base orthonorme {e1 ,
e2 ,
e3 } :


x = (V ,
e1 ),


y = (V ,
e2 ),


z = (V ,
e3 ).

(2.3)

Si U est un vecteur de composantes (x0 , y 0 , z 0 ) dans la base {


e1 ,
e2 ,
e3 } alors, en utilisant
la linarit du produit scalaire et lorthogonalit de la base, on obtient :

( V , U ) = (x
= (x

e1 + y

e +y

e2 + z
e3 , x0
e1 + y 0
e2 + z 0
e3 )

0
e2 + z e3 , x e1 ) + (x e1 + y
e2 + z
e3 , y 0
e2 )
1

0
+ (x e1 + y e2 + z e3 , z e3 )

= xx0 (
e1 ,
e1 ) + yy 0 (
e2 ,
e2 ) + zz 0 (
e3 ,
e3 ) orthogonalit de la base

Si de plus la base est norme, le produit scalaire est gal :

( V , U ) = xx0 + yy 0 + zz 0

(2.4)

Et donc la norme au carr de V sexprime en fonction de ses composantes par :



2
V
= ( V , V ) = x2 + y 2 + z 2

(2.5)

Si la base est seulement orthogonale sans tre norme, on a alors :

(V ,
e1 ) = x (
e1 ,
e1 ) + y (
e2 ,
e1 ) + z (
e3 ,
e1 ) = x k
e1 k + 0 + 0
Donc :


(V ,
e1 )
x=
2 ,

ke k


(V ,
e3 )
z=
2 .

ke k

(2.6)

2
2
2
2

e1 k + y 2 k
e2 k + z 2 k
e3 k
V = ( V , V ) = x2 k

(2.7)

et


(V ,
e2 )
y=
2 ,

ke k
2

Pour que lexpression de la norme en fonction des composantes soit simple, il est essentiel
que la base soit au moins orthogonale.
Ces proprits bien connues dans lespace IR3 , peuvent tre tendues des espaces
vectoriels plus gnraux.
Pour pouvoir parler despace vectoriel il faut avoir un ensemble dlments que lon peut
additionner et que lon peut multiplier par un nombre (ici rel ou complexe) . Un lment
de lespace vectoriel est appel vecteur par opposition au mot scalaire qui dsigne un
nombre de IR ou C.
Exemples :

18

Analyse
1. Lensemble des fonctions relles de la variable relle x forme un espace vectoriel sur
IR car on peut additionner 2 fonctions et on peut multiplier une fonction par un
nombre rel et ces 2 oprations vrifient les proprits qui donnent lensemble une
structure despace vectoriel sur IR .
2. De mme lensemble des fonctions valeurs complexes de la variable relle x forme
un espace vectoriel sur C.
3. Lensemble des fonctions polynmiales de degr n forment un sous espace vectoriel.
4. Les matrices m lignes et n colonnes forment un espace vectoriel sur C .

Les notions bien connues dans IR3 de norme de vecteur et de produit scalaire de 2 vecteurs
stendent aux espaces vectoriels abstraits.
Comme les espaces vectoriels qui vont nous intresser dans ce cours sont des espaces dont
les vecteurs sont des fonctions. Nous noterons f ou g deux lments quelconques dun
espace vectoriel E .
Dfinition 2.6 Une norme sur un espace vectoriel E rel ou complexe (i.e. les scalaires
sont dans K cest dire IR ou C) est une application de E dans IR+
f kf k
telle que :
kf k = 0 f = 0
kf k = || kf k
K
kf + gk kf k + kgk

(2.8)
(2.9)
(2.10)

Dfinition 2.7 Un produit scalaire dans un espace vectoriel E rel est une application
de E E dans lensemble des scalaires IR. (do le nom !) Si on note (f, g) le produit
scalaire de f et g, on doit avoir :
(f, g) = (g, f )
symtrie
(f + g, h) = (f, h) + (g, h)
(f, f ) 0
positivit
(f, f ) = 0 f = 0

linarit

(2.11)
(2.12)
(2.13)
(2.14)

Remarque
p2.2 Connaissant le produit scalaire, la norme associe est dfinie par :
kf k = (f, f ) .

Chapitre 3
Les sries de Fourier
3.1

Introduction et rappels

Lide fondamentale de Leonhard Euler (1707-1783) , utilise avec brio par Joseph Fourier
(1768-1830) pour rsoudre le problme de la diffusion de la chaleur, a t de dcomposer
toute fonction priodique en une somme infinie dharmoniques. Une srie trigonomtrique
S(x) scrit formellement :
2x
2x
n2x
n2x
S(x) = a0 + a1 cos(
) + b1 sin(
) + ... + an cos(
) + bn sin(
) + ...
T
T
T
T


X
n2x
n2x
= a0 +
an cos(
) + bn sin(
)
T
T
nN
Les coefficients an et bn sont des nombres rels et T est un nombre rel positif, qui
reprsente la priode de la somme S(x), si cette somme est dfinie. Cette srie admet
une formulation complexe quivalente :
X
in2x
S(x) =
cn exp(
)
T
nZ
avec
an ibn
an + ibn
et
cn =
2
2
Une srie trigonomtrique quelconque ne converge pas ncessairement vers une fonction.
Les sries trigonomtriques ont la particularit de pouvoir converger vers des fonctions
discontinues (ce qui nest pas le cas pour les sries entires).
Une fonction de priode T est parfaitement dfinie par son comportement sur un intervalle
de longueur T .
En traitement du signal, pour un signal f
RT
1. lnergie totale sur un intervalle [0, T ] est 0 |f (t)|2 dt
RT
2. la puissance dun signal priodique est T1 0 |f (t)|2 dt.
c 0 = a0

et pour

n N

cn =

19

20

Analyse

Ces deux notions font intervenir la norme dans L2 (0, T ). Si on considre la somme de 2
signaux f et g alors lnergie de la somme est
kf + gk2 = (f + g, f + g) = kf k2 + 2 (f, g) + kgk2 .
Pour que lnergie de la somme soit la somme des nergies, il faut que le produit scalaire
(f, g) soit nul, donc que les signaux f et g soient orthogonaux.
Limportance des sries trigonomtrique provient de ce que les fonctions
1, cos(

2x
n2x
n2x
2x
), sin(
), ... , cos(
), sin(
), ...
T
T
T
T

sont 2 2 orthogonales et que, de plus, elles forment une base de lespace L2 (0, T ).

3.2

Srie de Fourier trigonomtrique

Lensemble des fonctions valeurs relles dfinies sur un intervalle [0, T ] et de carr
sommable forme un espace vectoriel sur IR . Si on convient de confondre les fonctions qui
sont gales presque partout, alors on peut munir cet espace, not L2 (0, T ), dune norme
dfinie par :
s
Z T
kf kL2 (0,T ) =
f (x)2 dx
0

et dun produit scalaire :


Z
(f, g) =

f (x)g(x) dx
0

Thorme 3.1 Les fonctions 1, cos( 2x


), sin( 2x
), ..., cos( n2x
), sin( n2x
) , ... forment
T
T
T
T
2
une base orthogonale de lespace de Hilbert L (0, T ) . Cest--dire que toute fonction de
carr sommable sur [0,T], peut scrire comme une combinaison linaire infinie de ces
fonctions de base :
2x
2x
n2x
n2x
pp
f (x) = a0 + a1 cos(
) + b1 sin(
) + ... + an cos(
) + bn sin(
) + ...
T
T
T
T
Lgalit na lieu que presque partout puisque cest une galit dans L2 (0, T ).
On peut aisment vrifier que les fonctions 1, cos( 2x
), sin( 2x
), ..., cos( n2x
), sin( n2x
),
T
T
T
T
... sont deux deux orthogonales.
On peut dmontrer, et nous ladmettrons, que ces fonctions forment ce quon appelle une
base de lespace L2 (0, T ) .
Les coefficients de la srie de Fourier Sf de la fonction f dpendent bien sr de f . Pour
les dfinir, on utilise les proprits vues au chapitre 1.
Thorme 3.2 Les coefficients de la srie de Fourier Sf de la fonction f sont dfinis
par :

Sries de Fourier

21

1
a0 =
T

2
an =
T

f (x) dx

(3.1)

0
T

n2x
f (x) cos(
) dx
T

2
bn =
T

et

f (x) sin(
0

n2x
) dx
T

(3.2)

Et on a lidentit de Parseval :

|f (t)|2 dt = kf k2L2 (0,T ) = T


1X 2
an + b2n
a20 +
2 n=1

!
(3.3)

Dmonstration : La base ci-dessus est orthogonale mais pas norme. En introduisant la


on a :
pulsation = 2
T
k1k2L2 (0,T ) = T ,

kcos(nx)k2L2 (0,T ) = ksin(nx)k2L2 (0,T ) =

T
2

Grce lorthogonalit de la base, on dduit que :


a0 =

(f, 1)
,
(1, 1)

an =

(f, cos(nx))
,
kcos(nx)k2L2

an =

(f, sin(nx))
ksin(nx)k2L2

(3.4)

En utilisant (3.4) on obtient les formules donnant les coefficients de la srie de Fourier de
f (3.1), (3.2).
La gnralisation de la formule de Pythagore donne :
kf k2L2 (0,T )

a20

k1k2L2

a2n kcos(nx)k2L2 + b2n ksin(nx)k2L2

n=1

ce qui entrane lidentit de Parseval (3.3).


Cette identit de Parseval exprime que lnergie totale sur une priode est gale la
somme des nergies de chaque harmonique ou que la puissance est la somme
des puissances de chaque harmonique :
1
T

3.3

T
2

|f (t)| dt =
0

a20


1X 2
+
an + b2n
2 n=1

Srie de Fourier complexe

Lensemble des fonctions valeurs complexes, dfinies sur un intervalle [0, T ] et de module
au carr sommable forme un espace vectoriel sur C . Si on convient de confondre les

22

Analyse

fonctions qui sont gales presque partout, alors on peut munir cet espace, not L2 (0, T ),
dune norme dfinie par :
s
Z T
|f (x)|2 dx
kf kL2 (0,T ) =
0

et dun produit scalaire gnralis :


Z
(f, g) =

f (x)g(x) dx
0

Thorme 3.3 Les fonctions exponentielles complexes exp(inx), o n Z et o = 2


T
est la pulsation, forment une base orthogonale de lespace de Hilbert L2 (0, T ) sur C. Cest-dire que toute fonction de module au carr sommable sur [0,T], peut scrire comme une
combinaison linaire infinie de ces fonctions de base :
pp

f (x) =

cn exp(

nZ

in2x
).
T

Encore un fois lgalit na lieu que presque partout puisque cest une galit dans L2 (0, T ).
On peut aisment vrifier que les fonctions exp(inx) o n Z sont deux deux
orthogonales dans L2 (0, T ).
On peut dmontrer, et nous ladmettrons encore, que ces fonctions forment une base de
lespace L2 (0, T ) sur C.
Thorme 3.4 Les coefficients de la srie de Fourier complexe Sf de la fonction f sont
dfinis par :
Z
1 T
in2x
cn =
f (x) exp(
) dx
T 0
T
Et on a lidentit de Parseval :
Z

T
2

|f (x)| dx =
0

kf k2L2 (0,T )

=T

|cn |2

n=

Dmonstration : La base ci-dessus est orthogonale mais pas norme. On a :


Z T
Z T
2
2
kexp(inx)kL2 (0,T ) =
|exp(inx)| dx =
1 dx = T
0

Grce lorthogonalit de la base, on dduit que :


Z
Z
(f, exp(inx))
1 T
1 T
f (x)exp(inx) dx =
f (x) exp(inx) dx
cn =
=
exp( in2x ) 2 2
T 0
T 0
T
L

(3.5)

Sries de Fourier

23

Do les formules donnant les coefficients de la srie de Fourier de f .


Lidentit de Parseval (3.5) signifie que le carr de la norme du vecteur f est au coefficient
T prs la somme des carrs des modules des composantes cn de ce vecteur :
kf k2L2 (0,T )

=T

cn cn = T

n=

3.4

|cn |2

n=

Convergence des sommes partielles de la srie de


Fourier dans L2(0, T )

Soit f une fonction de L2 (0, T ) .


Dfinition 3.1 La somme de la valeur moyenne et des harmoniques dordre infrieur ou
gal n, sappelle la somme partielle dordre n de la srie de Fourier Sf de f et se note
Sn :
Sn (x) = a0 + a1 cos(

2x
2x
n2x
n2x
) + b1 sin(
) + ... + an cos(
) + bn sin(
).
T
T
T
T

Remarque 3.1 Cette somme partielle peut aussi sexprimer laide des cn :
Sn (x) =

k=n
X

ck exp(

k=n

ik2x
).
T

Thorme 3.5 Les sommes partielles Sn convergent au sens de la norme L2 (0, T ) vers
la fonction f cest dire que :
kSn f kL2 0
n

De plus on peut calculer lerreur commise en approximant f par Sn car on a :


kSn f k2L2 = kf k2L2 kSn k2L2
Lorsque n le rapport de lnergie du signal approch sur lnergie du signal initial
f , tend vers 100% :
kSn k2L2
100%
kf k2L2 n
Dmonstration : Comme les fonctions Sn f et Sn sont orthogonales et que lon a
f = (f Sn ) + Sn , on en dduit par Pythagore que :
kf k2L2 = kSn f k2L2 + kSn k2L2

24

Analyse

3.5

Convergence ponctuelle des sommes


partielles de la srie de Fourier

Thorme 3.6 (de Dirichlet) Soit f une fonction continue et drivable par morceaux
sur [0, T ], telle quen tout point de discontinuit x0 il y at une limite finie gauche
+
f (x
0 ) et une limite finie droite f (x0 ), alors la suite de fonctions forme par les sommes
partielles Sn (x) converge ponctuellement sur [0, T ] et on a :
Sn (x) Sf (x) = f (x)
n

Sn (x0 ) Sf (x0 ) =
n

pour tout x o f est continue

+
f (x
0 ) + f (x0 )
2

pour tout x0 o f est discontinue

La suite des sommes partielles Sn (x) converge presque partout vers la fonction f (x) .
Remarque 3.2 Il est clair que sous les hypothses du thorme ci-dessus la fonction f
est aussi une fonction de L2 (0, T ) .

3.6

Drivation terme terme

Thorme 3.7 Si la srie de Fourier Sf de f est absolument convergente, c--d si :


|a0 | +
ou si

(|an | + |bn |) <

n=1

|cn | <

n=

alors on peut driver cette srie terme terme et la srie drive converge presque partout
vers la fonction drive f 0 .

3.7

Vrification des rsultats, erreurs usuelles

Tout dabord, il est important de noter que si une fonction g est priodique de priode T ,
son intgrale sur [0, T ] est gale son intgrale sur nimporte quel intervalle de longueur
T :
Z T
Z +T
R
g(x) dx =
g(x) dx
0

En particulier si f est de priode T et paire (resp. impaire) alors il sera judicieux dintgrer
sur [ T2 , T2 ] pour calculer ses coefficients de Fourier plutt que sur [0, T ]. Il est alors facile
de vrifier que :
si f est paire,
si f est impaire,

alors
alors

bn = 0
an = 0

pour n 1
pour n 0

Sries de Fourier

25

Il est facile de vrifier sur un graphe que les valeurs calcules sont raisonnables.
- a0 doit tre le valeur moyenne de la fonction
- la parit de la srie doit tre celle de la fonction
- si T est la priode alors =

2
.
T

Les erreurs les plus usuelles sont les suivantes :


- si en intgrant on doit, par exemple, diviser par n 1, (resp. n k ), alors il faut traiter
part le cas n = 1 (resp. n = k ).
- si par exemple la fonction est dfinie par f (x) = x3 pour x [0, T /2], et est paire et
de priode T , alors il est faux dcrire :
Z
n2x
2 T 3
x cos(
) dx
an =
T 0
T
car la fonction nest plus gale x3 sur [T /2, T ] . Il faut utiliser la priodicit et
intgrer sur [T /2, T /2] , puis utiliser la parit de f et du cosinus.
- il est faux ensuite de dire que la srie de Fourier converge pp vers x3 .
En fait, elle ne converge vers x3 que sur [0, T /2[, sur ] T /2, 0] cest vers x3 et sur
]T /2, T ] cest vers (x T )3 .

3.8

Remarques gnrales

Toute fonction f dfinie sur un intervalle born peut tre prolonge sur IR par une fonction
priodique fe, mais il y a une infinit de faon de faire ce prolongement. Dans le cas dune
fonction dfinie sur [0, a] , on peut par exemple :
- la prolonger par priodicit de priode T = a
- la rendre paire puis la prolonger par priodicit de priode T = 2a
- la rendre impaire puis la prolonger par priodicit de priode T = 2a
Il y a bien dautres choix possibles. Mais il est important de noter que si on veut que
la somme partielle converge le plus rapidement possible vers f , il vaut mieux, si on le
peut, choisir le prolongement sur IR qui est le plus rgulier (cest--dire continu et le plus
drivable possible sur IR ).
La question qui se pose naturellement est de savoir si on ne pourrait pas obtenir un outil
similaire la dcomposition en srie de Fourier pour des fonctions dfinie sur IR et non
priodiques. Loutil correspondant est la transformation de Fourier.

26

Analyse

Chapitre 4
Le produit de convolution
4.1

Dfinitions

Le produit de convolution de deux fonctions f et g , est une fonction note


h = f g avec
h(x) =

R +

f (y)g(x y) dy

(4.1)

Le produit de convolution nest dfini que si cette intgrale gnralise est convergente.
Lintgrale ci-dessus fait intervenir 2 variables : la variable dintgration ou variable muette
(ici y ) et une autre qui permet de dcrire la fonction h produit de convolution des 2
fonctions f et g.
Une fonction est dite causale si elle est dfinie sur [0, [ et prolonge par 0 sur ] , 0[.
Si les fonctions f et g sont causales alors (4.1) peut tre simplifi.
Comme f et g sont nulles sur ] , 0[, on a
f (y) = 0 sur ] , 0[ et g(x y) = 0 pour x y < 0.
Il est trs important de comprendre que lon veut calculer la valeur de h en x et donc
x est impos, par contre ici la variable dintgration (muette) est y et elle doit parcourir
IR.
Donc on a g(x y) = 0 pour x < y c.a.d. pour y ]x, +[.
Si x 0, comme lintgrale porte sur les y > 0, on a x 0 < y donc g(x y) = 0 et
h(x) = 0.
Z
Z
+

f (y)g(x y) dy = 0 +

h(x) =

f (y)g(x y) dy
0

Si x > 0 , on peut crire


Z 0
Z x
Z +
h(x) =
f (y)g(x y) dy +
f (y)g(x y) dy +
f (y)g(x y) dy

0
x
Z x
=0+
f (y)g(x y) dy + 0
0

27

28

Analyse

Proposition 4.1 Si les fonctions f et g sont causales alors le produit de convolution


h = f g est aussi causal et il est dfini par :
si x > 0
si x 0

4.2

h(x) =

Rx
0

f (y)g(x y) dy
(4.2)

h(x) = 0

Proprits du produit de convolution

Proposition 4.2 Le produit de convolution est commutatif :


f g =gf

(4.3)

Dmonstration. En faisant dans (4.1) le changement de variable z = x y o x est


un paramtre fix, on obtient dz = dy et donc :
Z +
Z
(f g)(x) =
f (y)g(x y) dy =
f (x z)g(z) (dz)

or daprs la dfinition du produit de convolution (4.1) ceci est bien le produit de


convolution g f :
Z +
(g f )(x) =
g(z)f (x z) dz

Proposition 4.3 Si f et g ont mme parit alors la fonction f g est paire.


Si f et g ont des parits diffrentes alors la fonction f g est impaire.
Dmonstration. Selon que, pour tout x, f (x) = f (x) ou que f (x) = f (x) on
dit que f est paire ou impaire.
Pour tudier la parit du produit de convolution, calculons (f g)(x) ,
Z +
f (y)g(x y) dy
(f g)(x) =

si f et g ont mme parit, on a f (y)g(x y) = f (y)g(x + y), or en posant z = y :


Z +
Z
f (y)g(x + y) dy =
f (z)g(x z) (dz)

Comme z est une variable muette, cette dernire intgrale vaut (f g)(x) .
Si f et g ont des parits diffrentes alors on a f (y)g(x y) = f (y)g(x + y)
On obtient alors (f g)(x) = (f g)(x) .

Le produit de convolution

29

Proposition 4.4 Si f est nulle en dehors de [a, b] et si g est nulle en dehors de [c, d] ,
alors f g est nulle en dehors de [a + c, b + d] .
/ [a + c, b + d] alors en ce point (f g)(x) =
R +Dmonstration. Montrons que si x
f (y)g(x y) dy est nul. En fait il suffit de vrifier que pour un x de ce type le

produit f (y)g(x y) est nul quelle que soit la valeur de y .


a) si y
/ [a, b] , f (y) = 0 car f est nulle en dehors de [a, b] ,
b) si y [a, b], il suffit de voir si g(x y) est nulle quand x
/ [a + c, b + d].
Par hypothse g(x y) est nulle si (x y) nest pas dans [c, d] cest dire si
x
/ [y + c, y + d] mais comme y [a, b] , si on a x
/ [a + c, b + d] alors on a forcment
x
/ [y + c, y + d] et donc g(x y) = 0.
Corollaire 4.1 Si f et g sont nulles hors de IR+ alors f g est aussi nulle hors de IR+ .
Lensemble des y tels que f (y) 6= 0 permet de dfinir le support de la fonction f
(cest le plus petit ferme de IR contenant ces y tels que f (y) 6= 0).

4.3

Le produit de convolution rgularise

Dfinition 4.1 La fonction f est dite de classe C n sur IR si elle appartient C n (IR)
c. d. si f est n fois drivable et si la drive ni`eme , note f (n) , est continue sur IR.
Une fonction de classe C n+1 est plus rgulire quune fonction de classe C n .
Proposition 4.5 Si f est continue, borne sur IR , et si g est dans L1 (IR) alors f g est
continue sur IR
Si de plus la drive f 0 existe sur IR tout entier et est borne alors f g est drivable
sur IR tout entier et :
(f g)0 = f 0 g
(4.4)
Dmonstration. On est dans le cadre dapplication du thorme de convergence
domine explicit dans lannexe. En effet
Z +
(f g)(x) =
f (x y)g(y) dy

la fonction sous le signe intgral est une fonction continue de x comme f et cette fonction
f (x y)g(y) est, en valeur absolue, borne par une fonction sommable.En effet g 1 (IR) et
f est borne donc :
|f (x y)g(y)| M |g(y)|
Donc le thorme sapplique et f est continue, f (x y)g(y) est continue par rapport x
et donc lintgrale aussi.

30

Analyse

Mme dmarche pour la drivation. La drive de f (x y)g(y) par rapport x est


f 0 (x y)g(y) et comme
|f 0 (x y)g(y)| N |g(y)|
et que g est dans L1 (IR), cette fonction f 0 (x y)g(y) est sommable. On en dduit que la
drive par rapport x de f g est obtenue en drivant sous le signe intgral f (x y)g(y)
par rapport x :
Z +
0
f 0 (x y)g(y) dy = (f 0 g)(x)
x IR
(f g) (x) =

Attention si les hypothses de la proposition ne sont pas vrifies.


Exemple : Produit de convolution dune fonction porte par elle mme : h = P1 P1
Z +1/2
Z +
P1 (y)P1 (x y) dy =
1.P1 (x y) dy
h(x) =

1/2

Or P1 (x y) = 1 ssi x y [1/2, 1/2] cest dire 1/2 x y 1/2 ou encore


x 1/2 y x + 1/2
et P1 (y) = 1 ssi y [1/2, 1/2]
donc le produit vaut 1 ssi y [1/2, 1/2] [x 1/2, x + 1/2] et zro sinon.
Toute la question est dtudier lintersection de ces 2 intervalles selon la valeur donne
la variable x o on veut calculer la fonction produit de convolution.
Il y a en gnral 5 cas : lintervalle mobile peut tre soit gauche de lintervalle fixe, soit
gauche mais avec une intersection, soit lun des intervalle contient lautre, soit lintervalle
mobile a une intersection avec le fixe mais il est droite du fixe et enfin il peut aussi tre
compltement droite.
1) [x 1/2, x + 1/2] est gauche et extrieur [1/2, 1/2]
alors x + 1/2 < 1/2 x < 1 et h(x) = 0.
2) [x 1/2, x + 1/2] est gauche et a une intersection non vide avec [1/2, 1/2]
alors x 1/2 1/2 x + 1/2 1 x 0 et
Z x+1/2
h(x) =
1 dy = x + 1/2 (1/2) = x + 1
1/2

3) [x 1/2, x + 1/2] est dans [1/2, 1/2] ici comme les deux intervalles ont la mme
longueur cela correspond seulement x = 0 et alors
Z 1/2
h(x) =
1 dy = 1/2 (1/2) = 1
1/2

4) [x 1/2, x + 1/2] est droite et a une intersection non vide avec [1/2, 1/2]
alors x 1/2 1/2 x 1/2 < 0 x 1 et
Z +1/2
h(x) =
1 dy = 1/2 (x 1/2) = 1 x
x1/2

Le produit de convolution

31

5) [x 1/2, x + 1/2] est droite et extrieur [1/2, 1/2]


alors 1/2 < x 1/2 < 1 < x et h(x) = 0.
Le graphe de la fonction h, produit de convolution de P1 par P1 est :

On peut calculer la drive de la fonction h en tout point x 6= 1, 0, 1 et on a :

pour x ] 1, 0[
1
0
1
pour x ]0, +1[
h (x) =

0
pour x ] , 1[]1, +[
or la drive de la fonction P1 est 0 sauf en x = 1/2 , on a donc P10 P1 = 0 et ce nest
donc pas (P1 P1 )0 ( en effet P1 nest pas drivable sur tout IR ).
On verra que grce lutilisation de la notion de drivation au sens des distributions et lutilisation de distributions de Dirac, on pourra vrifier que, au sens des
distributions, (P1 P1 )0 = P10 P1 et que dans ce cadre la formule (f g)0 = f 0 g est
vraie sans aucune restriction !

4.4

Utilit du produit de convolution

Considrons lquation diffrentielle suivante :


y 0 (t) + ay(t) = f (t)
y(0) = y0

pour

t>0

(4.5)
(4.6)

En multipliant lquation par eat , le premier membre devient (y 0 (t) + ay(t)) eat qui est la
drive de y(t)eat .
En calculant lintgrale, entre 0 et x, des 2 membres de lgalit (4.5) on obtient :
Z x


at x
y(t)e 0 =
f (t)eat dt
0

32

Analyse

on obtient la solution :
ax

y(x) = y0 e

+e

ax

f (t)eat dt

Le premier terme est la solution gnrale de lquation diffrentielle linaire sans


second membre relative (4.5) (dite aussi quation homogne). Le second terme est
la solution particulire qui sannule en 0 de (4.5) . En faisant passer la quantit eax ,
constante par rapport t , dans lintgrale, on obtient :
Z x
Z x
Z x
atax
at
ax
f (t)ea(xt) dt
f (t)e
dt =
f (t)e dt =
e
0

Cette intgrale nest autre que le produit de convolution de 2 fonctions causales : f (x)u(x)
et eax u(x) o u(x) dsigne la fonction chelon .
On constate quune solution particulire de lquation complte est obtenue en
faisant le produit de convolution du second membre avec la solution de lquation
homogne.
En rsum la solution de (4.5) avec la donne initiale (4.6) est
y(x) = y0 eax + (f h)(x)

h(x) = eax u(x)

Lorsque (4.5) est lquation liant lentre f dun filtre linaire la sortie y, on constate
que pour y0 = 0 , la sortie correspondante y est le produit de convolution de lentre
f par h quon appelle rponse impulsionnelle (on verra pourquoi lors de ltude des
distributions).
Le produit de convolution intervient naturellement pour rsoudre les systmes diffrentiels
linaires coefficients constants. La quantit (f h)(x) reprsente un effet mmoire de f
qui dcroit au fur et mesure que x augmente (c. d. plus le temps x passe plus leffet
du pass devient petit ).

4.5

Intercorrlation, autocorrlation

En traitement du signal, lautocorrlation est souvent une fonction dun temps dont la
variable est note . Cest donc cette notation que nous utilisons ici.
Dfinition 4.2 Lintercorrlation de deux fonctions f et g est dfinie par :
Z +
Kf,g ( ) =
f (u + )g(u) du

Z +
=
f (v)g(v ) dv

= Kg,f ( )

Le produit de convolution

33

Dfinition 4.3 Lautocorrlation de f est dfinie par :


Z +
f (u + )f (u) du
K( ) =

(4.7)

Proposition 4.6 Lautocorrlation de f est toujours majore en module par le carr de


la norme de f dans L2 (IR) (autrement dit lautocorrlation est majore par lnergie du
signal) et il y a galit pour = 0.
|K( )| kf k2L2 et

IR

K(0) = kf k2L2

(4.8)

Dmonstration. Daprs lingalit de Schwarz, on a



Z +





k f (. + )k 2

(u)
du
f
(.)
f
(u
+

)f


L

L2

k f (. +

or

)k2L2

+
2

|f (u + )| du =

|f (y)|2 dy = kf k2L2

car lnergie
translation (y = u + do dy = du )

2 dun signal est invariante
par



2
2
2
et f (.) = kf kL2 car |f (t)| = f (t) donc on a pour toute valeur de , |K( )| kf k2L2
L2
par ailleurs lgalit a lieu pour = 0.

4.5.1

Cas dun signal rel

Proposition 4.7 Si f est un signal rel, lautocorrlation de f est une fonction paire.
Cest le produit de convolution de f par fe o fe est la fonction retourne dfinie par
fg
(t) = f (t) :
K( ) = K( ) et K = f fe
(4.9)
Dmonstration. On a :
Z +
Z
K( ) =
f (u + )f (u) du =

f (v)f (v ) dv = (f fe)( )

(4.10)

34

Analyse

Chapitre 5
La transforme de Fourier
5.1

Introduction

Toutes les fonctions ne sont pas priodiques ou dfinies sur un intervalle born et donc
prolongeable en une fonction priodique. Partant de la dfinition des coefficients de Fourier
complexes et en passant dune intgration sur un intervalle born une int gration sur
IR tout entier dpendant non pas dun param tre discret n mais dun paramtre continu
, on obtient la transforme de Fourier dune fonction dfinie sur IR .

5.2

Transforme de Fourier dans L1(IR)

Dfinition 5.1 La transforme de Fourier de f , note F(f ) ou f , est la fonction dfinie


pour tout de IR par :
Z

F(f )() =

f (x) exp(2ix)dx

(5.1)

Cette intgrale gnralise est dfinie et continue pour toute fonction f L1 (IR).
Dmonstration : En effet comme |f (x) exp(2ix)| = |f (x)| , cette intgrale est
absolument convergente si f est sommable sur IR et dans ce cas le thorme de convergence
domine sapplique et F(f )() est une fonction continue de puisque lexponentielle est
continue.
Remarque : La transforme de Fourier permet de passer dune description temporelle
du signal une description en frquence .
Il existe une autre dfinition de la transforme de Fourier, souvent utilise en mcanique,
qui permet de passer du temps la pulsation ( = 2). On a alors
Z +
F(f )() =
f (x) exp(ix)dx

35

36

Analyse

Lavantage de cette criture est dtre un peu plus proche de celle de la transformation de
Laplace que lon a dj vu et qui est loutil adquat pour les fonctions causales. Par contre
cela impose la division par un facteur 2 pour obtenir la transforme de Fourier inverse
et bien sur les formules des transformes de Fourier usuelles sont lgrement diffrentes.
Nous utiliserons la dfinition avec la frquence.
Exemples de transformes de Fourier
1. La fonction porte Pa (x) (note aussi ( xa ) )
vaut 1 sur lintervalle [a/2, a/2] et 0 ailleurs
Z +a/2
exp(ia) exp(ia)
F(Pa )() =
exp(2ix)dx =
2i
a/2
Ce calcul nest valable que si 6= 0 et alors
F(Pa )() = a
Si = 0
Z

sin(a)
a

+a/2

F(Pa )() =

dx = a
a/2

2. Lexponentielle causale dfinie par f (x) = u(x) exp(ax) o u(x) est la fonction
chelon (note aussi Y (x) ou H(x) comme Heaviside du nom de son inventeur).

+
Z +
exp((a + 2i)x)
F(f )() =
exp(ax) exp(2ix)dx =
(a + 2i)
0
0
comme |exp((a + 2i)x)| = |exp(ax) exp(2ix)| = exp(ax).1 et quil faut
imposer a > 0 afin que la fonction f soit sommable sur IR, la limite de cette quantit
est 0 lorsque x tend vers +. Donc
F(u(x) exp(ax))() =

1
(a + 2i)

Remarque : Les deux transformes de Fourier qui viennent dtre calcules ne sont pas
des fonctions sommables sur IR, mais elles sont de carr sommable. Il serait donc int
ressant de pouvoir tendre la dfinition de la transforme de Fourier aux fonctions de
L2 (IR) ce qui sera fait ci-dessous.
Proposition 5.1 (Admise) Si f L1 (IR), la transforme de Fourier de f est une
fonction de continue et borne sur IR et F(f )() 0 .

La transforme de Fourier

5.3

37

Proprits de la transforme de Fourier

Les proprits qui suivent sont valables que f soit dans L1 (IR) ou que f soit dans L2 (IR)
(car lon verra que lon peut tendre la transformation de Fourier lespace L2 (IR)).
Thorme 5.1 (admis) Si f et sa transforme de Fourier F(f ) sont dans L1 (IR) alors
pp

F(f )() exp(2ix)d

f (x) =

(5.2)

Plus prcisment, si f est continue et drivable par morceaux on a :


Z +

1
f (x+ ) + f (x )
F(f )() exp(2ix)d =
2

(5.3)

R +
Lintgrale F(f )() exp(2ix)d est donc :
- gale f (x) pour tout x o la fonction f est continue,
- gale la demi somme des limites droite et gauche en x de f sinon.

Dfinition 5.2 La transforme de Fourier inverse dune fonction g est la fonction


note F 1 (g) ou g ou encore F(g), dfinie pour tout de IR par :
F

(g)() =

g(x) exp(2ix)dx

(5.4)

on a bien :
pp

pp

F 1 (F(f )) = F(F 1 (f )) = f

(5.5)

On remarque que si f est relle alors F 1 (f )() est aussi F(f )(), le complexe conjugu
de F(f )() .
Proposition 5.2 : Symtrie hermitienne :
F 1 (f (x)) = F(f (x))
et donc si f est paire F 1 (f ) = F(f ).
Dmonstration : Le changement de variable u = x donne du = dx do
Z +
Z
1
F (f (x))() =
f (x) exp(2ix)dx =
f (u) exp(2i(u))du

+
Z +
=
f (u) exp(2iu)du = F(f (x))().

38

Analyse

Thorme 5.2 1) La transformation de Fourier est une application linaire


, C

F(f + g) = F(f ) + F(g)

2) f et F(f ) ont mme parit,


3) Si f est relle et paire F(f ) aussi est relle et paire
Si f est relle et impaire F(f ) est imaginaire pure et impaire.
Dmonstration
s = x donne ds = dx do
R + : 2) Le changement de variable
R
F(f )() = f (x) exp(2i()x)dx = + f (s) exp(2is)ds
aprs avoir chang le signe et les bornes
on a
si f est paire F(f )() = F(f )()
et
si f est impaire F(f )() = F(f )()
R +
3) Le complexe conjugu de F(f )() est F(f )() = f (x) exp(+2ix)dx
donc pour f relle F(f )() = F 1 (f (x))() = F(f (x))()
Or pour z C, z est rel si z = z et imaginaire pur si z = z
Et donc pour f relle et paire F(f )() = F(f (x))() donc F(f ) est r elle,
Pour f relle et impaire F(f )() = F(f (x))() donc F(f ) est imaginaire pure.
Thorme 5.3 Proprits gnrales
1) du retard :
F(f (x a))() = e2ia F(f (x))()
2) et de la translation en frquence
F(e2ixa f (x))() = F(f )( + a)
3) du changement dchelle :
F(f (ax))() =

F(f (x))( )
|a|
a

Dmonstration R1) En posant s = x a do ds = dx , on a


+
F(f (x a))() = f (x a) exp(2ix)dx
R +
.
= f (s) exp(2i(s + a)ds
R +
.
= f (s) exp(2is) exp(2ia)ds
R +
.
= exp(2ia) f (s) exp(2is)ds
R +
2) F(e2ixa f (x))() = f (x)e2ixa e2ix dx = F(f )( + a)
R +
3) F(f (ax))() = f (ax) exp(2ix)dx
En posant s = ax do ds = adx , si a est positif les bornes sont inchanges mais si a est
ngatif les bornes
sont changes mais ds = |a| dx do
R +
ds
1
F(f (ax))() = f (s) exp( 2is
) |a|
= |a|
F(f (x))( a )
a

La transforme de Fourier

39

Thorme 5.4 sur la transforme de Fourier des drives :


1) Si f est continue sur IR , si f et sa drive f 0 sont dans L1 (IR) alors :
F(f 0 )() = 2iF(f )()
2) si f , f 0 , f ... , f

(n1)

sont continues sur IR et toutes dans L1 (IR) ainsi que f


F(f

(n)

(n)

)() = (2i)n F(f )()

R +X
Dmonstration : Comme f est continue et que f 0 est dans L1 (IR) lintgrale 0 f 0 (x)dx =
f (X) f (0) converge quand X + donc f (X) L. Mais comme f est sommable
sur IR on doit
avoir L = 0 . De mme quand X on doit avoir f (X) 0.
R +
F(f 0 )() = f 0 (x) exp(2ix)dx
R +
+
.
= [f (x) exp(2ix)]
2if (x) exp(2ix)dx
Donc le crochet est nul et F(f 0 )() = 2iF(f )() .
Thorme 5.5 sur la drivation de la transforme de Fourier :
1)Si f (x) et xf (x) sont dans L1 (IR)
dF(f )()
= (2i)F(xf (x))()
d
2) Si f (x) et xn f (x) sont dans L1 (IR)
dn F(f )()
= (2i)n F((x)n f (x))()
n
d
R +
Dmonstration : 1) F(f )() = f (x) exp(2ix)dx
Pour calculer la drive de F(f )() on drive par rapport sous lintgrale (c.f. Annexe) :
dF(f )()
=
d

f (x)(2ix) exp(2ix)dx

Corollaire 5.1 Si f L1 (IR) est nulle hors dun intervalle born, sa transforme de
Fourier F(f ) est dans C (IR).
Dmonstration : Si f est nulle hors dun intervalle born [A, A] et appartient L1 (IR)
alors, pour tout entier n , xn f (x) est dans L1 (IR) car major par An |f (x)| et donc F(f )
est indfiniment drivable.

40

Analyse

Dfinition 5.3 Si f et g sont dans L1 (IR) alors leur produit de convolution f g existe
et est dans L1 (IR)
Z +
(f g)(x) =
f (x y)g(y)dy

Thorme 5.6 Transforme de Fourier et convolution


F(f g) = F(f )F(g)
et :
F(f g) = F(f ) F(g)

R + R +
Dmonstration : F(f g)() = f (x y)g(y)dy exp(2ix)dx
en permuttant lordre dintgration dans lintgrale double on a :

Z + Z +
f (x y) exp(2ix)dx g(y)dy
F(f g)() =

Z +
=
e2iy F(f )()g(y)dy

Z +
e2iy g(y)dy
= F(f )()

= F(f )()F(g)()

5.4

Transforme de Fourier dans L2(IR)

Une fonction f de L2 (IR) peut toujours tre considre comme la limite dune suite de
fonctions appartenant la fois L2 (IR) et L1 (IR). En effet, considrons la fonction
tronque fn , gale f sur lintervalle [n, n], et nulle ailleurs.
Cette fonction fn est bien dans L2 (IR) car :
Z +
Z +n
Z +n
Z +
2
2
2
|fn (x)| dx =
|fn (x)| dx =
|f (x)| dx
|f (x)|2 dx

donc kfn kL2 kf kL2 et de plus kfn f kL2

0 La suite de fonctions fn converge vers

n+

f dans L2 (IR). De plus les fonctions fn sont dans L1 (IR) daprs lingalit de Schwarz
car :
Z +n
 21 Z +n
 21
Z +
Z +


2
2
fn (x).1I[n,n] dx
|fn (x)| dx =
|f (x)| dx
|1| dx

n
n

2n kfn kL2
donc on peut appliquer la dfinition et calculer F(fn ) . On dfinit donc la transforme de
Fourier de f , quand f nest pas dans L1 (IR) mais seulement dans L2 (IR), par la limite
de la suite de fonctions F(fn ) dans L2 (IR).

La transforme de Fourier

41

Dfinition 5.4 La transforme de Fourier de f L2 (IR) est dfinie par


+n

L2 (IR)

f (x) exp(2ix)dx F(f )()


n+

Remarque : En pratique,
R +non oubliera souvent de prciser que F(f )() est la limite
dans L2 (IR) de la suite n f (x) exp(2ix)dx et on crira, par abus de langage,
R +
F(f )() = f (x) exp(2ix)dx, sachant que lon peut donner un sens prcis cette
expression que f soit dans L1 (IR) ou dans L2 (IR) .
Remarque : Un exemple type de fonction qui est dans L2 (IR) mais pas dans L1 (IR) est
la fonction sinus cardinal dont la transforme de Fourier est :
F(

sin(xa)
)() = Pa ()
xa

La fonction porte est discontinue en a/2. En effet quand une fonction nest pas dans
L1 (IR), sa transforme de Fourier nest plus forcment continue. Cependant, part la
continuit et la drivabilit, toutes les autres proprits du paragraphe 2 stendent dans
le cas o une fonction f est seulement dans L2 (IR).
Thorme 5.7 Parseval
Si f est dans L2 (IR) alors sa transforme de Fourier F(f ) est aussi dans L2 (IR) et les
fonctions f et F(f ) ont de plus des normes gales :
+

|F(f )()|2 d

|f (x)| dx =

(5.6)

Si f est un signal electronique, sa norme dans L2 (IR) reprsente son nergie que lon peut
donc calculer laide de lune ou lautre des intgrales ci-dessus.
La quantit |F(f )()|2 est appele densit spectrale dnergie du signal f car il
faut intgrer cette quantit sur lensemble du spectre pour avoir lnergie. Quant
F(f )() , cest le spectre dnergie du signal f et le module |F(f )()| est le spectre
damplitude tandis que largument de F(f )() est le spectre de phase.
Remarque 5.1 La transforme de Fourier F( f ) est parfois dfinie comme une fonction
de la pulsation = 2 , mais dans ce cas la transformation inverse est
F

1
(f)(x) =
2

f() exp(ix)d

avec

et
Z

f() =

f (x) exp(ix)dx

1
|f (x)| dx =
2
2

|F(f )()|2 d

42

Analyse

5.5

Transforme de Fourier des fonctions usuelles

Comme les fonctions ci-dessous sont paires, on a F 1 (f ) = F(f ), et donc le tableau


indique des couples de fonctions f et g telles que F(f ) = g et F(g) = f et peut se lire
dans les deux sens.
sin(a)
Pa (x)  a
a

a (x)  a

sin(a)
a

exp(a |x|) 

exp(ax2 ) 

5.6

2

2a
a2 + 4 2 2

2 2
exp(
)
a
a

Autocorrlation temporelle et Fourier

On rappelle la dfinition de lautocorrlation


Dfinition 5.5 Lautocorrlation de f est dfinie par :
Z +
f (u + )f (u) du
K( ) =

(5.7)

Remarque : Si f est un signal rel, et si on note fe la fonction dfinie par fg


(x) = f (x),
on peut remarquer que lautocorrlation de f est le produit de convolution de f par fe,
on a :
K( ) = (f fe)( )
cest une fonction paire K( ) = K( ) et on a
,

|K( )| kf k2L2

Il y a galit pour = 0 , lautocorrlation est maximale en 0 et elle est majore par le


carr de la norme de f dans L2 (IR).
Thorme 5.8 Wiener-Kinchine : Si f est un signal rel, la transforme de Fourier
de lautocorrlation de f est gale la densit spectrale dnergie de f :
F(K)() = |F(f )()|2

La transforme de Fourier

43

Dmonstration :
F(K) = F(f fe) = F(f )F(fe)
or

F(fe)() =

f (x) e

car f est un signal rel.

2ix

dx =

f (u) e2iu du = F(f (x))()

44

Analyse

Chapitre 6
La transformation de Laplace
La transformation de Fourier est trs utile car elle remplace une drivation par une
simple multiplication par 2i et un produit de convolution par un produit de deux
fonctions. Malheureusement elle ne peut tre utilise que pour des fonctions sommables ou
de carr sommable ; cela exclut par exemple les polynmes et les exponentielles croissantes.
Pour pouvoir travailler de la mme faon avec ces fonctions l, on introduit la
transformation de Laplace.
Les proprits gnrales de la transformation de Laplace sont similaires aux proprits
de la transformation de Fourier. La transformation de Fourier sapplique aux fonctions
dfinies sur IR mais condition quelles soient dans L1 (IR) ou dans L2 (IR) . La transformation de Laplace ne sapplique qu des fonctions dfinies sur IR+ et prolonges par 0
sur IR mais qui peuvent ventuellement tendre vers une constante ou vers linfini .

6.1

Dfinition de la transformation de Laplace

Dfinition 6.1 La transforme de Laplace dune fonction f est la fonction L(f ) dfinie
par :
Z +
L(f )(p) =
f (t) exp(pt) dt
(6.1)
0

o p est une variable relle ou complexe.


La transforme de Laplace dune fonction f nexiste que si lintgrale ci-dessus est dfinie.
Il suffit pour cela que f soit
- continue par morceaux sur [0, +[
- croissance au plus exponentielle linfini, cest dire que pour t assez grand, par
exemple t > A, il existe M > 0 et tels que :
|f (t)| < M exp(t)
45

46

Analyse

Sous ces hypothses, la transforme de Laplace L(f )(p) est d finie pour tout p > ,
si p est rel, ou, si p est complexe, pour Re(p) > .
La plus petite valeur de telle que L(f )(p) soit dfinie pour tout p vrifiant Re(p) > ,
est appele abscisse de convergence de la transforme de Laplace de f .
Il est important de noter que la transformation de Laplace ne dpend que des valeurs
de la fonction sur IR+ . Sur IR on suppose que f est identiquement nulle.
Exemples
1. Soit u(t) la fonction chelon dfinie par u(t) = 1 pour t 0 et u(t) = 0 pour
t < 0. Alors
+

Z +
exp(pt)
L(u(t))(p) =
exp(pt) dt =
p
0
0
Lexponentielle exp(pt) est un nombre complexe de module gal |exp(pt)| =
exp(Re(p)t) .
Si Re(p) > 0 alors exp(Re(p)t) 0 , exp(pt) est donc sommable sur IR+ et
t+
on a :
Z +
1
1
exp(pt) dt = 0
=
p
p
0
+
Si Re(p) < 0 , exp(pt) nest pas sommable sur IR et L(u(t))(p) nest pas dfinie.
On a donc :
1
pour Re(p) > 0 L(u(t))(p) =
(6.2)
p
2. Soit lexponentielle causale dfinie par u(t) exp(at). On a :
Z +
L(u(t) exp(at))(p) =
exp(at) exp(pt) dt
0

+
exp((a p)t)
=
ap
0
Lintgrale ne converge que pour Re(p a) > 0 . Donc
pour

Re(p a) > 0

L(u(t) exp(at))(p) =

pa

3. Si a = i avec rel, Re(p i$) = Re(p) on dduit de ce qui prcde :


pour

Re(p) > 0

L(u(t) exp(it))(p) =

1
p i

(6.3)

L(u(t) exp(it))(p) =

1
p + i

(6.4)

de mme :
pour Re(p) > 0

La transformation de Laplace

6.2

47

Proprits gnrales

Comme la transformation de Fourier, la transformation de Laplace est une application


linaire, cest dire que pour tous et rels ou complexes :
L(f + g) = L(f ) + L(g)

(6.5)

Application :en utilisant les formules dEuler et (6.3) et (6.4) :


pour Re(p) > 0

L(u(t) cos(t))(p) =

pour Re(p) > 0

L(u(t) sin(t))(p) =

p2

p
+ 2

(6.6)

p2

+ 2

(6.7)

On retrouve pour la transformation de Laplace le mme type de proprits que pour


transformation de Fourier.
Dans ce qui suit, la constante a est suppose strictement positive.
Thorme 6.1 du retard :
L(u(t a)f (t a))(p) = epa L(f (t))(p)

(6.8)

Dmonstration.
Z

L(u(t a)f (t a))(p) =

f (t a) exp(pt) dt
a

f (x) exp(p(x + a)) dx


0

= e

pa

f (x) exp(px) dx
0

et on a la proprit rciproque :
L(eat f (t))(p) = L(f )(p a)

(6.9)

Thorme 6.2 de changement dchelle :


1
p
L(f (at))(p) = L(f (t))( )
a
a
en effet :
Z

L(f (at))(p) =

f (at) exp(pt) dt
0

Z
=
0

x dx
1
p
f (x) exp(p )
= L(f (t))( )
a a
a
a

(6.10)

48

Analyse

Thorme 6.3 de la drive : si f est drivable sur IR+ tout entier et si f et f 0 sont
croissance au plus exponentielle linfini, alors :
L(f 0 )(p) = pL(f )(p) f (0+ )

(6.11)

en effet en faisant une intgration par partie :


Z +
0
f 0 (t) exp(pt) dt
L(f )(p) =
0
Z +
+
pf (t) exp(pt) dt
= [f (t) exp(pt)]0
0

Comme f est croissance au plus exponentielle linfini, pour t grand il existe M > 0 et
tels que :
|f (t) exp(pt)| < M exp(t) exp(Re(p)t)
donc pour Re(p) > , f (t) exp(pt) 0 et donc en notant f (0+ ) la limite droite
t+

de f (t) quand t 0, on obtient le rsultat annonc.


Plus gnralement, si f , f 0 , f ... , f (n) sont dfinies sur IR+ tout entier et si elles
sont croissance au plus exponentielle linfini, on a :

L(f

(n)

L(f )(p) = p2 L(f )(p) pf (0+ ) f 0 (0+ )

(6.12)

)(p) = pn L(f )(p) pn1 f (0+ ) pn2 f 0 (0+ ) ... f (n1) (0+ )

(6.13)

On a la proprit rciproque concernant la drive de la transformation de


Laplace :
dL(f )(p)
= L(tf (t))(p)
(6.14)
dp
en effet il suffit de driver sous le signe intgral (c.f. Annexe) :
Z +
 Z +
d
f (t) exp(pt) dt =
tf (t) exp(pt) dt
dp
0
0
do la formule gnrale :
dn L(f )(p)
= (1)n L(tn f (t))(p)
n
dp

(6.15)

La transformation de Laplace

49

Corollaire 6.1 La transforme de Laplace de la fonction polynomiale u(t)tn est :


L(u(t)tn )(p) =

n!
pn+1

(6.16)

En effet daprs (6.15) et connaissant la transforme de lchelon (6.2) on a :


L(u(t)tn )(p) = (1)n
dn
dpn

et

dn L(u)(p)
dpn

 
1
1
= (1)(2)....(n) n+1
p
p

Thorme 6.4 Transforme de Laplace et convolution


L(f g) = L(f )L(g)
Thorme 6.5

(6.17)

de la valeur initiale
lim pL(f )(p) = f (0+ )

p+

(6.18)

Thorme 6.6 de la valeur finale


lim pL(f )(p) = lim f (t)

p0+

t+

(6.19)

Remarque : Contrairement ce qui ce passe pour la transformation de Fourier, il nexiste


pas pour la transformation de Laplace, une transformation inverse simple.
Cependant, on doit remarquer que si deux fonctions ont mme transforme de
Laplace, elles sont gales presque partout sur IR+ .
Si, de plus, ces fonctions sont continues sur IR+ , elles sont gales partout.
Consquence pratique :
Si une transforme de Laplace est une fraction rationnelle, pour trouver son antcdant, il
suffit donc de dcomposer cette fraction rationnelle en lments simples, de lire lenvers
un tableau des transformes de Laplace usuelles et dutiliser la linarit.

6.3

Utilisation de la transformation de Laplace

La transformation de Laplace est parfaitement adapte pour rsoudre les quations


diffrentielles linaires et les systmes diffrentiels linaires. La formule (6.13) permet
de prendre en compte directement les donnes initiales, ce qui vite de devoir dterminer
les n constantes arbitraires de la solution gnrale dune quation diffrentielle dordre n
laide des conditions initiales.

50

Analyse

Exemple 6.1 Rsoudre lquation diffrentielle linaire, cest dire trouver les fonctions
deux fois drivables sur IR+ qui vrifient pour tout t > 0 :
ty 00 + 2y 0 + ty = 0 avec

y(0) = 1

On peut stonner quil ny ait quune condition initiale alors que lquation diffrentielle
est dordre 2, mais en fait lquation diffrentielle impose que, pour t = 0 , y 0 (0) = 0 .
En notant Y (p) = L(y(t))(p) , on obtient en utilisant (6.13) et (6.14) :


d
d 2
p Y (p) p + 2(pY (p) 1)
(Y (p)) = 0
dp
dp

do (p2 + 1)Y 0 (p) 1 = 0 et

d
1
Y (p) =
.
dp
1 + p2

(6.20)

Daprs les formules (6.14) et (6.7) on a


L(ty(t)) = L(sin t)
Cela entaine lgalit presque partout des fonctions ty(t) et sin t ; mais comme ces fonctions
sont continues sur IR+ elle sont donc gales partout :
y(t) =

sin t
t

pour t > 0

Quant la transforme de Laplace de y, on a daprs (6.14) et en intgrant (6.20) :


Y (p) = arctan p + Cste
or arctan p + arctan p1 = 2 et donc on peut aussi crire : Y (p) = arctan p1 + K avec
K = Cste 2 . En utilisant (6.18) on sait que
lim pL(f )(p) = f (0+ ) = 1

p+

or p(arctan p1 ) 1 (car arctan u u pour u voisin de 0), on obtient :


p+

lim pL(f )(p) = lim p(arctan

p+

p+

1
+ K) = 0 + lim pK = f (0+ ) = 1
p+
p

ce qui impose K = 0. Donc :


Y (p) = arctan

(= arctan p + )
p
2

Chapitre 7
Annexe
7.1
7.1.1

Fonctions dfinies par une intgrale


Motivations

Dans ce cours on tudie


1. la transformation de Fourier dune fonction f dfinie sur IR :
+

f (x) e2ix dx

] , +[ F(f )() =

2. la transformation de Laplace dune fonction causale f (dfinie sur IR+ )


Z
p C

f (x) epx dx

L(f )(p) =

3. le produit de convolution de deux fonctions f et g


Z

f (x)g( x) dx

] , +[ (f g)( ) =

4. lintercorrlation de deux fonctions f et g


Z

] , +[ Kf,g ( ) =

f (x)
g ( + x) dx

Dans chacun de ces cas on est amen tudier les proprits de fonctions qui sont
dfinies par des intgrales. Les thormes gnraux ci-dessous permettent de comprendre
la gense de certaines proprits.
51

52

7.1.2

Analyse

Proprits

Etudions donc la continuit et la drivabilit dune fonction F (y) dfinie par une
intgrale sur I :
Z
F (y) = f (x, y) dx
I

Thorme 7.1 Si I est un intervalle ferm born [a, b] et


1) si f (x, y) est dfinie et continue sur [a, b] [c, d],
alors la fonction F (y) est dfinie et continue sur [c, d]
est dfinie et continue sur [a, b]]c, d[
2) si la drive partielle f
y
alors la fonction F (y) est continment drivable sur ]c, d[ et sa drive est
Z b
f
0
F (y) =
(x, y) dx.
a y
Malheureusement, si I est non born ou si la fonction f nest pas dfinie et borne
sur tout [a, b] [c, d] , cela nest plus toujours vrai. Dans ce cas lintgrale est gnralise,
cest donc une limite, et les limites ne commuttent pas toujours avec la continuit et la
drivabilit.
On va donc devoir faire appel dans ces cas l un thorme qui est une consquence
dun thorme fondamental en analyse : le thorme de convergence domine.
Thorme 7.2 Soit F (y) dfinie par une intgrale sur I (intervalle ventuellement non
born ou f (x, y) non borne sur I )
Z
F (y) = f (x, y) dx
I

1) si f (x, y) est dfinie et continue sur I [c, d],


et si il existe g(x) sommable sur I telle que
Z
x I, y [c, d]

|f (x, y)| g(x)

avec

g(x) dx < +
I

alors la fonction F (y) est continue sur [c, d].


est dfinie et continue sur I]c, d[ ,
2) si de plus la drive partielle f
y
et si il existe h(x) sommable sur I telle que


Z
f

(x, y) h(x)
x I, y [c, d]
avec 0 h(x) dx < +
y

I
alors la fonction F (y) est continment drivable sur ]c, d[ et sa drive est
Z
dF (y)
f
0
F (y) =
=
(x, y) dx.
dy
I y

Fonctions dfinies par une intgrale

53

Exemple 7.1 La transforme de Fourier F(f )() dune fonction f L1 (IR) est continue.
Si de plus xf (x) L1 (IR) alors F(f )() est drivable et on a
Z +
Z +
d

2ix
F(f )() =
(f (x) e
) dx =
2ixf (x) e2ix dx
d

Car comme |e2ix | = |ei | = 1 puisque est rel et comme par hypothse xf (x) est
sommable le thorme ci-dessus sapplique et
d
F(f )() = 2iF(xf (x))()
d
Si f
/ L1 (IR) mais f L2 (IR) la transforme de Fourier de f est dfinie mais nest plus
forcment continue.
Exemple 7.2 Des fonctions trs utiles sont dfinies, elles aussi, par des intgrales
comme :
1. la fonction gamma
x IR

y x1 ey dy

(x) =

2. la fonction de Bessel J0
x IR

2
J0 (x) =

Z
0

cos(xy)
p
dy
1 y2