Vous êtes sur la page 1sur 4
Université Paris-Dauphine 2020/2021 L3 Maths Topologie et Analyse Fonctionnelle Feuille 3 : Transformation de Fourier ‘On définit la transformée de Fourier d'une fonction intégrable f : R + C par Ro f pees Fe) = Foe [ seope* te Exercice 1. 1. Calculer la transformée de Fourier des fonctions suivantes ell, fal wo ={ (pour fs, on pourra trouver une équation différentielle satisfaite par fs). 2. Calculer fy * fg, et en déduire un nouveau calcul de fi. ela >0, si |z| < 1/2 si |z|> 1/2" Exercice 2. /Lien entre régularité de f et comportement en Vinfini de f, et vice-versa] L. Soit f une fonction réelle dans C1 (IR). Montrer que (©) =#€7©, VEER, ten deine f(6) = 9 (4) Meme question en supposant seulement f € C1(R)9 L'(R) ot f/ € E'(R), Généraliser la question précédente a Vordre & of k NY Donner une condition suffisante sur f pour avoir f € L'(IR). Montrer que si f € L'(R), et sig: ++ xf(x) est aussi dans L'(R), alors f est de classe C et FO = i106) Généraliser a Vordre & € N. 6. Soit f © L'(IR) telle que la fonction ¢ +» €F(€) est dans L1(R). Montrer que f coincide presque partout avec une fonction de classe C? sur R. 7. Tester ces résultats sur les fonctions (f;)r foo aa est une bijection. Montrer que lapplication { e Exercice 5. Montrer qu'il n’existe pas de fonction ¢ € L4(R) telle que VF Ee LNB), e+ f= f. (on dit que Valgebre (LMR), +,-,#) n'a pas d’élément unité pour la convolution). Exercice 6. [Extension @ L4(R)] Dans cet exercice, on des fonctions de L'(R) 1, Montrer que, si f € L?(R), taf(€) = ¢ "*F(€) pour presque tout £ €R. 2. Montrer que pour tout f € L'(IR), 9 € L7(R), la fonction ¢ + f(g(x — 6) est intégrable pour presque tout x € R, que la fonction f xg est bien définie presque partout, et que f+ € L?(R) avec IF * allo < | Fllallalle. 3. Montrer que pour tout f € L7(R), 9 € 1(R), Tg =VRTG pp. Cotte formule a-t-elle un sens si f,g € L?(R)? (R) des propriétés connues pour Exercice 7. /Mai 2016] Pour a € Rt, on pose fa = Ia} 1. Justifier sans calcul que fy, la transformée de Fourier de fa, appartient 4 (IR) mais pas a L7(RR). 2. Caleuler fy. [ (eye rs 3. Bn deduire la valeur de Exercice 8. {Transformation de Fourier sur RN] Pour une fonction u: RY + R de classe C?, on définit Au= SL, SF. Calculer Au pour uw € C2(R%) Exercice 9. [Equation de la chaleur.] On se propose de résoudre le probléme suivant : trouver tne fonction (4.2) u(t, 2) définie pour (t,.2) € (0, +o0[xR qui vérifie Véquation suivante of a Ox (0,2) = uol Y(t, 2) €]0, oofxR VreR 1. On suppose que 1 est solution de (+), et on pose a(t, €) = she fg u(t, 2)e“ de. Berire formellement le systeme satisfait par @ et le résoudre, En déduire une expression de u sous forme de convolution. 2. On définit w la fonction obtene formellement & la question précédente. Montrer que 1 € C*(J0, c0[XIR) si up € L1(R). Montrer que si up € C°(R) 1 L(R), alors lime so u(t, x) = up(2) pour tout « € R et qu’on peut ainsi prolonger u par continuité a [0, oo[xIR. Ainsi u est une solution de (+). Exercice 10. [Equation fonctionnelle : Mars 2012] On cherche & trouver toutes les fonctions ® : RR intégrables qui satisfont V’équation fonctionnelle &(2r) + (2x — 1) = ®(z) pour presque tout * € R, 1. Montrer que Ijo,) est une solution de (2), et calculer la transformée de Fourier de lio, Dans la suite de Vexercice, on prend ® € L'(R) une solution de (2). 2. Exprimer les transformées de Fourier des fonctions Bi :r+4 G(r) ot by: 2-4 (2x1) en fonction de &. 3. En déduire que & satisfait WEeR, 8) = (¢/2) 4. Montrer Didentité : Lew fae € ) 1__sin(§) - WN EN, sep (sy) a- your presque tout € € R. i »( EPA] Sage) PS Rappels : sin(0) = GE", cos(0) = “te, sin(20) = 2sin(0) cos(0) 5. En déduire ~ie/2sin(§/2) VEER", BE) = BO)e ot 6. Conclure en déterminant toutes les fonctions & € £*(R) solutions de (2). (2) Exercice 11. {Fonction caractéristique] $i X est ue variable aléatoire réclle, on définit sa fonction caractéristique : WEER, ¢x(t) = Efe), 1. Expliquer que yx ne dépend que de la loi de X. On peut done parler de la fonction caractéristique de Ja loi d'une variable aléatoire. 2. Calculer la fonction caractéristique de la loi N(m, 02). (On pourra utiliser Verercice 1.) 3. Calculer la loi de la somme de deux variables aléatoires indépendantes ayant pour lois respectives Nm, 03) et N(mz, 03). (On rappelle que la fonction caractéristique caractérise la loi: siyx = yy alors X et ¥ ont méme loi) 4, Montrer que si X a un moment d'ordre k € N, alors yx est de classe C*, et écrire un développement. limité de px a Vordre k en 0. Exercice 12. /Mai 2012/ On étudie Péquation fonetionnelle fefaf 1. Trouver toutes les solutions f € L'(R) 2. Montrer qu'il existe une infinité de solutions dans L?(R) (on pourra admettre la formule suivante, valable si (f,g) € L*(R) sont tels que f +9 € L?(R) Ff +9) = VIF) F(a). ) Exercice 13. [Polyndmes de Hermite et Transformeée de Fourier, Juillet 2013] On pose Vr €R, v(x) e**. On définit également WneN, WreR, Halt) = (-1)"e w(a). Calculer Ho, Hy, Ho. Montrer que pour tout n € N, Hy est un polynéme de degré n. Soit n €N. On pose Vr € RB, hn(z) = Hy(z)e7*/?. Montrer que hy € L'(R) M L2(R). Exprimer hf, en fonction de hy et hy, pour n € N. En déduire que pour tout n N, iy i)" Rn (On rappelte et on ne demande pas de démonstration du fait suivant : si ps2 ER e~*?, alors v LR) et P=). Exercice 14, {Equation de convolution, Mars 2013] Etant donné § € R¢., on cherche & résoudre l’équation fonctionnelle suivante, @inconnue u © L*(R) vreR, ul slag f woe tat (3) On pose ¥z € R,h(r) =e ! 1. Berire (3) sous forme d’une équation faisant intervenir le produit de convolution. 2. Calculer h, et constater en particulier que h ne s'annule pas sur R. 3. Montrer que si u € L1(R) est solution de (3), alors il existe une fonction gy : R + R, que l'on déterminera explicitement, telle que VEER, A(E)ga(E) = ALO) 4. Montrer que si # > 1/2, léquation (3) n'a pas de solution (on pourra voir que gs s‘anmule et en déduire une contradiction), Montrer que si €J0, 1/2, "équation a une unique solution que Fon déterminera, (On pourra utiliser sans démonstration que sid > 0 et paf:2-> f(Ae), alors jah (€) = (sy

Vous aimerez peut-être aussi