Académique Documents
Professionnel Documents
Culture Documents
LA TRANSFORME DE F OURIER
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).
| f (t)|dt converge.
LA TRANSFORME DE F OURIER
Alors pour tout x [, ] on a :
i a0 X
n
n
a0 X h
(a)
f (x) = +
an cos(nx)+bn sin(nx) = +
an cos
x + bn sin
x
2 n=1
2 n=1
Z /
Z
1
n
(b)
an =
f (x) cos(nx)dx =
f (x) cos
x dx
/
Z /
Z
1
n
(c)
bn =
f (x) sin(nx)dx =
f (x) sin
x dx
/
f (x) =
f (x)dx +
f (t) cos
t cos
x + sin
t sin
x dt =
2
n=1
1
2
1X
f (x)dx +
n=1
n
f (t) cos
(t x) dt
(1)
2
n
Posons 1 = , 2 =
, . . . , n =
et n = n n1 = .
Z +
1
1 X
f (x) =
f (t)dt +
f (t) cos n (t x)dt n
2
n=1
Z +
Posons (n ) =
f (t) cos (n (t x)) dt. Il rsulte de cela
n1
X
(k )k =
k=1
Par consquent
Z
n1
X
lim
(k )k =
n1 Z
X
k=1
!
n1
1 X
1X
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
()d =
()d
lim
/
0
#
#
Z "Z
Z "Z
1
1
lim
f (t) cos((t x))dt d =
f (t) cos((t x))dt d.
/
0
M er A N -E
62
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.
2
0
On a finalement :
Lintgrale de Fourier .
#
Z "Z
1
f (x) =
f (t) cos((t x)dt d
2
"Z
()d = 0 =
Z a "Z
a
#
f (t) sin((t x))dt d = 0.
#
f (t) sin((t x))dt d.
alors
1
F ( f )() = fb() =
2
f (t)eit dt;
#
Z "Z
2 f (x)
1
i(tx)
fb()e d =
f (t)e
dt d =
= 2 f (x).
2
2
On peut crire gnralement si f possde des discontinuits :
Z
f (x + 0) + f (x 0)
1
fb()eix d =
2
2
Z
ix
63
M er A N -E
LA TRANSFORME DE F OURIER
f (x)eix dx
0
"Z 0
#
Z
1
1
1
1
1
2
(1i)x
(1+i)x
e
dx +
e
dx =
+
=
.
=
2
2
0
2 1 + i 1 i
2 1 +
Puisque f est continue
inverse donne :
Z sur R, La transformae
Z
1
1
1
f (x) = e|x| =
fb()eix d =
eix d
2
1
+
Z2
Z
Z
1 cos x
i
sin x
2 cos x
=
d +
d =
d + i.0 ;
1 + 2
1 + 2
0 1 + 2
do :
Z
cos x
d = e|x| .
2
1+
2
0
Z
cos x
En particulier on a ;
dx =
2
1+x
2e
0
4.4 Proprits
Lemme 4.4.1 (Riemann)
On pose IK = R ou C. Soit f : [a, b] 7 IK une fonction intgrable sur [a, b].
Alors les fonctions f (t) cos t et f (t) sin t sont intgrables dans [a, b] pour tout
dans R et on a :
Z b
Z b
lim
f (t) cos t dt = lim
f (t) sin t dt = 0
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,
dt = .
| f (t) g(t)|| cos t|dt
( f (t) g(t)) cos tdt
2(b a) a
2
a
a
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
Z xk+1
n1 Z xk+1
n1
X
X
g(t) cos t dt =
g(t) cos t dt =
ck
cos t dt
a
xk
k=0
n1
X
ck
k=0
Et par suite,
Z b
lim
f (t) cos t dt = 0.
sin t
xk+1
xk
k=0
xk
n1
1X
=
ck (sin xk+1 sin xk )0.
k=0
Preuve.
1. Cest immdiat
| f (x)eix | = | fZ(x)| qui est intgrable sur R par hypothse.
Z car
1
ix
b
2. | f ()|
| f (x)e | dx =
| 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
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
ix
Comme la fonction f (x)e
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
2 b
Il rsulte que pour tout || M, | fb()| + = , ce qui traduit le fait que lim fb() = 0.
2 2
Notations.
K = f : R 7 C : f Loc(R) et
B = f : R 7 C : lim f (x) = 0 .
)
| f (t)|dt < .
i) f K
ii) f continue
iii) P f K
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
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
M er A N -E
66
1. f K
2. f C1 (R)
3. D f K
Alors f B et
F ( f (x))() = iF ( f (x))()
Preuve.
ix
1
2) i(P fb)(x) = ix fb(x) =
f (x)eix dx =
ix f (x)eix dx.
2
2
itx
Une intgration"par parties avec
u
=
f
et
dv
=
ixe
dt, Z
on obtient :
#
Z
1
1
itx
itx
b
df )(x).
i(P f )(x) =
e f (t) +
f (t)e dt =
f (t)eitx dt = (D
2
2
4.5.1 Linarit
67
M er A N -E
LA TRANSFORME DE F OURIER
1
1
i(t+T)
Alors F ( fT )() =
f (t)e
dt =
f (t)eit eiT dt =
2
2
Z
eiT
f (t)eit dt.
2
Donc F ( fT )() = eiT F ( f )().
1
1
dt 1
1
(t/k)
(/k)
i
it
F ( fk )() =
=
.
f (t)e
f (t)e
dt = F ( f )
k
k
k
k
2
2
Z
Z
1
1
ix
f (x)e
dx
g(y)eiy dy
F ( f )() F (g)() =
2
2
Z
Z
1
i(x+y)
=
f (x)g(y)e
dxdy
2
Posons : x + y = t et donc dy = dt, lintgrale double devient :
Z Z
1
F ( f )() F (g)() =
f (x)g(t x)eit dxdt
2
Z
Posons : h(t) =
f (x)g(t x) dx, on a donc :
Z
1
F ( f )() F (g)() =
h(t)eit dt
2
!
Z
1
1
it
=
h(t)e
dt
2
2
1
= F (h)()
2
M er A N -E
68
f (t x)g(x)dx
Proposition 4.5.1
Le produit de convolution est commutatif ; et on a :
f (y)g(t y)dy =
f (x) =
fbc () cos(x) d
69
M er A N -E
LA TRANSFORME DE F OURIER
2. On appelle sinus-transforme de F ourier de f , la fonction :
r Z
2
fbs () =
f (x) sin(x) dx
0
Lexpression
f (x) =
fbs () sin(x) d
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
ix
b
f () =
f (x)e
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
2
b
b
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
f (x) sin(x) dx. Do :
f (x)eix dx = i
fb() =
0
2
r Z
2
f (x) sin(x) dx = ib
fs ().
fb() = i
0
b
fs () = i fb().
M er A N -E
70