Transforme de Fourier
M. CHATEAU David 15/05/2010
Mmento sur la transforme de Fourier
Rsum
Table des matires
1 2 3 4 5 6 7 8 9 Espaces Transformation de Fourier Proprits Inversion Thorme de Parseval-Plancherel Convolution Corrlation Intgrales et sommes Fonction de Dirac 3 3 4 5 5 6 6 6 7 7 7
10 TF plusieurs variables 11 Incertitude
Espaces
CMT fonctions continues par morceaux priodique de priode T (sries) b p Lp [a, b] espace tel que a |f (t)| dt < + + p Lp (R) espace tel que |f (t)| dt < + L1 (R) et L2 (R) espace des fonctions sommables et de carr sommable S(R) espace de Schwarz (Stable par TF !) : e.v. sur C des fonctions C dcroissance rapide tout ordre. (idal) On a L2 L1 , S Lp Rq : savoir fonctions porte , heaviside H , gaussienne, sinus cardinal, dirac... Rq : [a, b] est un intervalle born.
Transformation de Fourier
C'est la gnralisation des sries de Fourier aux fonctions non priodiques. Attention, deux fonctions gales presque partout ont la mme TF ! ! Transforme de Fourier : fonction
F [f ] : R
C:u
f (t)ei2ut dt
Transforme de Fourier inverse : fonction
F [f ] : R
C:u
f (t)e+i2ut dt
Rq : Si f est paire ou impaire, transformer l'exponentielle en cosinus et sinus pour un calcul plus rapide ! !
F [f ](0) = F [f ](0) =
+
f (t)dt
Gnralisation : On peut passer du domaine temporel au domaine frquentiel par la transforme de Fourier (TF) d nie par :
T F (f (x, t)) =
+
f (x, t) ei(tkx) dx dt = F (k, )
L'opration inverse est ralise par la transforme de Fourier inverse :
T F (F (k, )) =
+
F (k, ) e+i(tkx) dk d = f (x, t)
Proprits
Attention, de faon gnrale il faut tre prudent car on a seulement des conditions ncessaires non su santes pour l'existence de la TF. Si f L1 (R) alors f admet une TF F [f ] C 0 sur R et limu+ F [f ](u) = 0 Donc, toute fonction borne sur un intervalle born admet une TF. Si f, g L1 (R) alors f F [g], F [f ]g L1 (R) (Formule d'change)
F [f ](x)g(x)dx =
f (x)F [g](x)dx
Rq : Valables aussi pour F .
F est linaire et conserve la parit de f . Si f paire F [f ] = F [f ] et si f impaire F [f ] = F [f ]
On a F [f ](u) = F [f ](u) et F [f ](u) = F [f ](u)
(dcalage modulation) f (t) = f (t ) e F [ f ](u) = ei2u F [f ](u)
(modulation dcalage) 0 f (t) = e+i20 t f (t) (exp = facteur de phase) e F [0 f ](u) = F [f ](u 0 )
t (changement d chelle) Da f (t) = f ( a ) (contraction ou dilatation) e
F [Da f ](u)
= |a|F [f ](au)
alors,
(drivation) Si f (C n L1 (R)) et f (k) L1 (R)k n (donc ok si f S(R)) e
F [f (k) ](u) = (i2u)k F [f ](u) + et donc (2u)k |F [f ](u)| |f (k) (t)|dt dmo : k = 1 par IPP puis rcurrence. C et
n
(drivation bis) Si tk f L1 (R) k n (donc ok si f S(R)) alors, F [f ] e
F [f ](k) (u) = (i2)k F [tk f ](u) + et donc F [f ](k) (u) |tk f (t)|dt
Inversion
Dans L1 (R), Th de rciprocit : Si f et F [f ] sont dans L1 (R) alors F [F [f ]](t) = f (t) en tout point o f est continue. Dans L1 (R), Th d'inversion locale : +A Si f continue par morceaux est dans L1 (R) alors limA+ A F (u)e+i2ut du = f (t). (rgularise de f ) Dans L2 (R) : Si f est dans L2 (R) alors F [F [f ]](t) = F [F [f ]](t) = f p.p.
S(R).
Dans S(R) : TF est alors une application linaire bijective de S(R) dans Si f est dans S(R) alors F [F [f ]](t) = F [F [f ]](t) = f
Thorme de Parseval-Plancherel
f et g dans L2 (R) alors
+
f (t)g(t)dt =
F [f ](u)F [g](u)du
d'o pour f = g
|f (t)| dt =
2
|F [f ](u)|2 du cad ||f ||2 = ||F [f ]||2
Rq : conservation de l'nergie car intgrale de la densit temporelle ou spectrale d'nergie. Rq : plus f est troite, plus F [f ] est large car principe d'incertitude. Rq : isomtrie sur L2 (R)
Convolution
(f g)(t) =
+
f (u)g(t u)du
Produit de convolution commutatif et linaire. Si f, g L1 (R) alors f g p.p. et f g L1 (R). De plus, Si f, g L2 (R) alors f g mais f g L2 (R) en gnral. / Si f, g S(R) alors f g et f g S(R). associatif.
Si f, g L1 (R) et g admet des drives bornes jusqu' l'ordre k, alors p k on a (f g)(p) = f g (p) Si f, g admettent une TF tel que f g existe et est sommable alors F [f g] = F [f ]F [g] et F [f g] = F [f ] F [g]
7 Corrlation
(f g)(t) =
+
f (u)g(u t)du =
f (t + u)g(u)du
Produit de corrlation pas commutatif. C'est un produit de convolution particulier : f g = f g On a F [f g] = F [f ]F [g] Si f = g , autocorrlation, d ni si f appartient L2 (R). On a alors F [f f ](u) = |F [f ]|2 (u) et (f f )(u) = (f f )(u) (hermitienne) + et si f relle, (f f ) est relle paire et |(f f )(t)| (f f )(0) = |f (t)|2 dt Cel traduit la conservation de l'nergie du signal.
8 Intgrales et sommes
eax dx =
(sinc x)2 dx =
+
1 2 = 2 n 6 n=1
Fonction de Dirac
En vrai, on devrait parler de distribution de Dirac. C'est une impulsion trs brve, un point lumineux. est l'lment neutre de la convolution.
(t) = lim
0
(t)
o` e (t) = u
t ( )
On a
F [a ](u) = ei2ua a (t) = (ta) =
e+i2u(ta) du
F [F [f ]](u) = f (u)
(t)f (t)dt = f (0)
(t a)f (t)dt = f (a)
(at) =
1 (t) f (t)(t a) = f (a)(t a) |a|
10
TF plusieurs variables
On gnralise sans di cults plusieurs variables.
L (R ) = {f : R C/
Rn 1 n n
|f ()|dn < } x x
F [f ]() = u
Rn
f ()ei2 u . x dn x x
La plupart des proprits se gnralisent facilement. On peut aussi appliquer ceci des champs de vecteurs. Rq : Table disponible sur le site. Rq : Attention deux fonctions gales presque partout ont la mme TF...
11 Incertitude
t 1 4 x p
o reprsente l'cart quadratique moyen. En physique quantique, la densit de probabilit est reprsente par |(x, t)|2 .
