Académique Documents
Professionnel Documents
Culture Documents
Transform Fourier PDF
Transform Fourier PDF
LA TRANSFORME DE F OURIER
Dfinition 4.1.1
On dit que f est localement intgrable sur I si f est intgrable sur tout intervalle ferm born contenu
dans I.
Rb
Cest dire, f est localement intgrable sur I, si quelque soit [a, b] I, alors a f (x)dx existe.
Remarque 4.1.1
Il est clair que toutes les fonctions continues sont localement intgrables.
On note par Loc(I, R) = { f : I 7 R : f localement intgrable}.
On a alors C(I, R) Loc(I, R) et linclusion est stricte. Comme exemple la fonction f (x) = [x], (partie
entire de x) est localement intgrable mais non continue.
Proposition 4.1.1
Lensemble Loc(I, R) est un sous-espace vectoriel de F (I, R), (espace de toutes les fonctions dfinies
de I dans R).
61
LA TRANSFORME DE F OURIER
X
n1 n1 Z
X !
(k )k = f (t) cos(k (t x)dt)k
k=1 k=1
Par consquent
X
n1 Z
lim (k )k = ()d (lintgrale de Riemann.)
n /
k=1 n1 Z !
1X 1 X
n1
Donc lim (k )k = lim f (t) cos(k (t x))dt) k .
n n
Z k=1 Z Z k=1 !
1 1
Ainsi ()d = f (t) cos((t x))dt d.
/ /
Comme Z Z
1 1
lim ()d = ()d
/ 0
Z "Z # Z "Z #
1 1
lim f (t) cos((t x))dt d = f (t) cos((t x))dt d.
/ 0
On a finalement la relation pour f continue :
Z "Z #
1
f (x) = f (t) cos((t x))dt d
0
M er A N -E 62
4.2 Lintgrale de F ourier
Cette dernire expression est appele intgrale de F ourier. Cette galit a lieu en tout point
x o f est continue.
Si f possde des discontinuits, on a la formule valable pour tout x :
Z "Z #
1 f (x + 0) + f (x 0)
f (t) cos((t x))dt d =
0 2
Z
Posons maintenant () = f (t) cos((t x))dt. Il est clair que () = () et donc est
Z Z
1
paire et par suite ()d = ()d.
0 2
On a finalement :
Lintgrale de Fourier .
Z "Z #
1
f (x) = f (t) cos((t x)dt d
2
Posons : Z
1
F ( f )() = fb() = f (t)eit dt;
2
alors Z Z "Z #
1 2 f (x)
fb()e d =
ix
f (t)e i(tx)
dt d = = 2 f (x).
2 2
On peut crire gnralement si f possde des discontinuits :
Z
1 f (x + 0) + f (x 0)
fb()eix d =
2 2
63 M er A N -E
LA TRANSFORME DE F OURIER
Exemple 4.3.1
Soit f (x) = e|x| .
Z "Z 0 Z #
1 1
fb() = |x| ix
e e dx = x ix
e e dx + x ix
e e dx
2
"Z 0
Z 2 # 0
1 (1i)x 1 1 1 1 2
= e dx + e (1+i)x
dx = + = .
2 1 + i 1 i 2 1 +
2
2 0
4.4 Proprits
Lemme 4.4.1 (Riemann)
M er A N -E 64
4.4 Proprits
Preuve.
f intgrable sur [a, b] implique que pour tout > 0,
il existe une subdivision de [a, b] a = x0 < x1 < x2 < . . . < xn = b
et une fonction en escalier,
g : [a, b] 7 R telles que | f (t) g(t)| < .
Z b Z b 2(b a)
Z b
( f (t) g(t)) cos tdt | f (t) g(t)|| cos t|dt dt = .
a a 2(b a) a 2
Or, dans chaque intervalle ]xk , xk+1 [, la fonction g est constante et vaut g|]xk ,xk+1 [ (t) = ck .
On a alors,
Z b n1 Z xk+1
X X
n1 Z xk+1
g(t) cos t dt = g(t) cos t dt = ck cos t dt
a k=0 xk k=0 xk
X xk+1
1X
n1 n1
sin t
= ck = ck (sin xk+1 sin xk )0.
xk
k=0 k=0
Et par suite,
Z b
lim f (t) cos t dt = 0.
a
Raisonnement identique pour la deuxime intgrale.
Thorme 4.4.1
Preuve.
1. Cest immdiat Z car | f (x)eix | = | fZ(x)| qui est intgrable sur R par hypothse.
b 1
2. | f ()| | f (x)e | dx =
ix
| f (x)| dx = M.
2 Z
a
1
3. Posons I(a) = | f (x)| dx.
Z 2 a
1
lim I(a) = | f (x)| dx = I existe.
a 2
Soit > 0. Il existe alors b > 0 tel que |I I(b)| = I I(b) .
Z 2
1
| fb()| = f (x)eix dt =
2
Z b Z b Z
1 1 1
f (x)eix dx + f (x)eix dx + f (x)eix dx
2Z
b
2
Z b b 2
Z b
1 1 1
| f (x)| dx + f (x)eix dx + | f (x)| dx.
2 2 b 2 b
65 M er A N -E
LA TRANSFORME DE F OURIER
Z b
1
Donc | fb()| I I(b) + f (x)eix dx.
2 b
Comme la fonction f (x)e ix
est localement intgrable, daprs le lemme de Riemann (4.4.1),
Z b
lim f (x)eix dx = 0.
b
Z
1 b
Il existe alors M > 0, tel que pour tout || M, on a f (x)eix dx .
2 b 2
Il rsulte que pour tout || M, | fb()| + = , ce qui traduit le fait que lim fb() = 0.
2 2
Notations. ( Z )
K = f : R 7 C : f Loc(R) et | f (t)|dt < .
B = f : R 7 C : lim f (x) = 0 .
x
D : oprateur de drivation dfinie sur lensemble des fonction drivables D(R, C)
par D f = f .
P : oprateur dfini dans lensemble des fonctions B(R, C) par (P f )(x) = x f (x).
fb() = F ( f (x))()
Thorme 4.4.2 [Drive de la transforme de F ourier]
F ( f (x))() = iF (x f (x))()
Preuve.
Soit la fonction : R R 7 C dfinie par (t, x) = f (t)eitx .
possde les proprits suivantes :
a) est continue comme produit de deux fonctions continues
b) (t, x) = it f (t)eitx = it(t, x) est continue
x Z
c) Lintgrale (t, x)dt est normalement convergente car |(t, x)| = | f (t)| et f K
Z
d) (t, x)dt est normalement convergente car (t, x) = |t f (t)| = |(P f )(t)| et P f K
x x
Z
1
Pour ces raisons fb(x) = (t, x)dt est drivable dans R et on a :
2
Z Z
1 i
( fb) (x) = (D fb)(x) =
(t, x)dt = [t f (t, x)]eitx dt
2 x 2
M er A N -E 66
4.5 Quelques proprits de la transformation de F ourier
Preuve. Z x Z
1) Pour tout x R on a f (x) = f (0) + f (t)dt. Puisque D f K , lintgrale | f (t)|dt est
Z 0
convergente et par suite f (t)dt converge. Do lim f (x) = existe. Montrons que = 0.
x
Pour cela, on fait un raisonnement par labsurde. Supposons que , 0.
a) Supposons > 0.
lim f (x) = . Par dfinition de la limite, pour tout > 0 il existe M 0 tel que pour tout
x
x M on a : < f (x) Z< + . Choisissons
Z tel que
Z > 0. Il rsulte alors que f (x) > 0
a a a
pour tout x M. Donc ( )dx f (x)dx ( + )dx puis lorsquon fait tendre
Z M M ZM
a , on obtient f (x)dx et par consquent f (x)dx diverge. Il en est de mme
Z ZMM Z M
4.5.1 Linarit
Soient f, g K et , R. Alors F ( f + g)(x) = F ( f )(x) + F (g)(x).
La dmonstration de cette proprit est simple.
67 M er A N -E
LA TRANSFORME DE F OURIER
1
En posant k(t) = h(t), la fonction k est solution du problme pose.
2
Dfinition 4.5.1
Soit f, g : R 7 R deux fonctions intgrables sur R. On appelle
Z produit de convolution de f
par g, la fonction note f g : R 7 R dfinie par ( f g)(t) = f (t x)g(x)dx
Proposition 4.5.1
Preuve :
La preuve dcoule directement de la dfinition ; puisque :
R F ( f )() F (g)() = F (g)() F ( f )()
Exercice 1
Dmontrer la commutativit directement partir de la dfinition intgrale.
Z
En effet dans lintgrale ( f g)(t) = f (t x)g(x)dx, on fait le changement de variable
en posant t xZ = y. On obtient : Z
( f g)(t) = f (y)g(t y)dy = g(t y) f (y)dy = (g f )(t).
69 M er A N -E
LA TRANSFORME DE F OURIER
Lexpression r Z
2
f (x) = fbs () sin(x) d
0
Remarque 4.6.1
Soit f : R 7 R une fonction admettant une transforme de F ourier fb.
a) Si f est paire.Z Z
1
1
b
f () = f (x)e ix
dx = f (x) cos(x) i sin(x) dx
2 Z 2 Z
1 i
= f (x) cos(x) dx f (x) sin(x) dx.
2 2
Or la fonction x 7 f (x) cos(x) est paire et la fonction t 7 f (x) sin(x) est impaire. Il
sensuitr alors
Z : Z
2
fb() = f (x) cos(x) dx car f (x) sin(x) dx = 0. Do :
0
r Z
b b 2
f () = fc () = f (x) cos(x) dx
0
b) Si f est impaire.
Avec le mme raisonnement on obtient r Z lexpression :
Z
1 2
fb() = f (x)eix dx = i f (x) sin(x) dx. Do :
2 0
r Z
2
fb() = i f (x) sin(x) dx = ib fs ().
0
b
fs () = i fb().
M er A N -E 70