• Aucun résultat trouvé

Inversion de Fourier dans L1

N/A
N/A
Protected

Academic year: 2021

Partager "Inversion de Fourier dans L1"

Copied!
3
0
0

Texte intégral

(1)

3.9 Inversion de Fourier dans L1pRdq

Référence :J.M. Bony, Cours d’analyse - Théorie des distributions et analyse de Fou-rier, les Éditions de l’École Polytechnique, 2001.

Leçons concernées : 234, 235, 236, 239, 250. Lemme 1. Soit P L1pRdq telle que

Rd pxqdx “ 1 et pour tout " ° 0 soit "pxq :“

"´d px{"q. Alors pour tout f P L1pRdq, f ˚ " converge vers f dans L1pRdq.

Démonstration. On commence par démontrer le résultat pour f P C0

cpRdq. On prend R ° 0

tel que supppfq Ä r´R, Rsd. Soit ↵ ° 0, par uniforme continuité, il existe ° 0 tel que

@x, y P Rd,|x ´ y| † ñ |fpxq ´ fpyq| † ↵, et on suppose † 1. On remarque alors que

par un changement de variables on a f ˚ " pxq “≥Rdfpx ´ "tq ptqdt. On écrit donc, avec

Rd pxqdx “ 1 et par inégalité triangulaire,

ª Rd|f ˚ " pxq ´ fpxq| dx § º R2d |fpx ´ "tq ´ fpxq|| ptq|dtdx “ ª Rd| ptq| ˆª Rd|fpx ´ "tq ´ fpxq|dx ˙ dt “ ª |t|† {"| ptq| ˜ª r´R´1,R`1s|fpx ´ "tq ´ fpxq|dx ¸ dt ` ª |t|° {"| ptq| ˆª Rd|fpx ´ "tq ´ fpxq|dx ˙ dt § ª |t|† {"| ptq| ˜ª r´R´1,R`1s↵dx ¸ dt` 2 ª |t|° {"| ptq|||f||1dt § p2R ` 2q|| ||1↵` 2||f||1 ª |t|° {"| ptq|dt.

Or puisque P L1pRdq, l’intégrale restante tend vers 0 lorsque " tend vers 0, ainsi, il

existe ° 0 tel que pour tout " † ,≥|t|° {"| ptq|dt † ↵ et on obtient donc la convergence voulue dans L1pRdq. On obtient alors le résultat voulu par densité de C0

cpRdq dans L1pRdq,

en utilisant la linéarité de la convolution, l’inégalité, pour deux fonctions f, g P L1pRdq

||f ˚ g||1 § ||f||1||g||1, et par inégalité triangulaire.

Définition 2. Pour f P L1pRdq, on définit sa transformée de Fourier comme la fonction

p fpxq “ Fpfqpxq “ ª Rd e´it¨xfptqdt. 79

(2)

Théorème 3. Soit f P L1pRdq telle que pf P L1pRdq, alors, presque partout, fpxq “ 1 p2⇡qd ª Rd eix¨tfpptqdt. Proposition 4. Soit a ° 0, alors

F´tfiÑ e´a|t|2¯pxq “´⇡ a

¯d{2

e´|x|2{4a.

Démonstration. On pose gpxq :“ F´e´t2¯pxq “≥Re´itxe´t2dt. On vérifie facilement avec le théorème de dérivation sous le signe intégral que g est de classe C1 sur R, et que g1pxq “

R´ite´itxe´t

2

dt 12Rie´itxp´2te´t2qdt “ ´x12Re´itxe´t2dtpar intégration par parties. Ainsi g vérifie 2g1pxq ´ xgpxq “ 0 et donc gpxq “?⇡e´x2{4

puisque≥Re´t2dt?⇡. D’autre part, si f P L1pRq, F pt fiÑ fp tqq pxq “ ª Re ´itxfpt qdt “ˇˇˇ1 ˇˇˇª Re ´it¨x{ fptqdt “ˇˇˇ1 ˇˇˇF`f˘´x¯

par changement de variables, d’où la formule voulue en dimension 1.

La dimension supérieure s’obtient facilement par le théorème de Fubini en remarquant que l’on peut écrire e´a|t|2

“ e´at2

1¨ ¨ ¨ e´at2d.

Démonstration (Théorème). Étape 1 : on remarque que 1 p2⇡qd ª Rd eix¨tfpptqdt “ 1 p2⇡qd ª Rd ˆª Rd eit¨px´yqfpyqdy ˙ dt mais on ne peut pas appliquer le théorème de Fubini. On pose donc pour " ° 0,

I"pxq :“ 1

p2⇡qd

º

R2d

eipx´yq¨te´"2|t|2{4fpyqdtdy.

On peut maintenant appliquer le théorème de Fubini : I"pxq “ 1 p2⇡qd ª Rd ª Rd eipx´yq¨te´"2|t|2{4fpyqdydt “ 1 p2⇡qd ª Rd eix¨te´"2|t|2{4 ˆª Rd e´iy¨tfpyqdy ˙ dt“ 1 p2⇡qd ª Rd eix¨te´"2|t|2{4fpptqdt. On applique alors le théorème de convergence dominée puisque par hypothèse pf P L1pRdq pour obtenir : I"pxq ›Ñ "Ñ0 1 p2⇡qd ª Rd eix¨tfpptqdt. 80

(3)

Étape 2 : d’autre part, si on intègre d’abord par rapport à t, on obtient I"pxq :“ 1 p2⇡qd ª Rd G"px ´ yqfpyqdy “ G"˚ f pxq. En posant G"pzq “ p2⇡q1 d ≥ Rdeiz¨te´" 2|t|2{4 dt.

Étape 3 : or, d’après la proposition précédente, G"pzq “ 1 p2⇡qd ˆ 4⇡ "2 ˙d{2 e´|z|2{"2 “ "´dG1pz{"q avec G1pzq “ ⇡´d{2e´|z| 2

dont on remarque qu’elle est d’intégrale 1. Ainsi, la famille pG"q"

vérifie les hypothèses du lemme. On obtient alors une convergence L1 de I

" vers f, donc

une convergence simple presque partout à une sous-suite près. On a donc le résultat. Application 5. La fonction caractéristique de la loi de Cauchy est

'ptq “ e´|t|.

Démonstration. On commence par calculer la fonction caractéristique de la loi de Laplace, c’est-à-dire la transformée de Fourier de la fonction f : x fiÑ 1

2e´|x|P L1pRq : pour ⇠ P R, p fp⇠q “ 1 2 ª Re ´ix⇠e´|x|dx 1 2 ª0 ´8e xp1´i⇠qdx` 1 2 ª`8 0 e´xp1`i⇠qdx “ 12 „ 1 1´ i⇠e xp1´i⇠q⇢0 ´8` 1 2 „ ´1 1` i⇠e ´xp1`i⇠q⇢`8 0 “ 1 2 ˆ 1 1´ i⇠ ` 1 1` i⇠ ˙ “ 1` ⇠1 2 “ ⇡gp⇠q

où g P L1pRq est la densité de la loi de Cauchy. On cherche donc à calculer pgpxq “ 1

⇡FpFpfqqpxq. Or, d’après la formule d’inversion, pour h P L1 telle que ph P L1,

FpFpxqqpxq “ 2⇡ hp´xq et donc pgpxq “ 2fp´xq “ e´|x|.

Commentaire : la démonstration du théorème seule est un peut courte, on peut donc rajouter au choix celle du lemme ou de la proposition.

Références

Documents relatifs

It follows that the generalized Eisenstein integral E ~ ( r allows an estimate of the following form. The constant C can be chosen locally uniformly in x.. To

[r]

THEOREME 3 (théorème ergodique presque sous-additf bis). fA converge en norme L1 selon le filtre moyennant vers un element invariant.. Demonstration. - Ce résultat

être étendu aux martingales prenant leurs valeurs dans le dual d’un espace de Banach, si ce dual est séparable, la convergence ayant lieu au sens fort dans ce

L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » ( http://www.sns.it/it/edizioni/riviste/annaliscienze/ ) implique l’accord

Par le même raisonnement que tout à l'heure, on démontre, par exemple, que lorsqu'une série donnée est la dérivée terme à terme d'une série irigonométrique ordi- naire dont la

en n’empêchant pas la fonction d’être représentable par une série F, ne peuvent pas être pris comme points de division pour l’application du théorème VI.

Il en résulte que la suite de fonctions ( R p ) converge uniformément vers 0 sur I et la propriété précédente s’applique... 4) Suites et séries de fonctions de classe