TD n°6 : Fourier - Correction
Transcription
TD n°6 : Fourier - Correction
TD n°6: Fourier- Correction - Page 1 sur 6 TD n°6 : Fourier - Correction Séries de Fourier Coefficient de Fourier On considère une fonction f continue par morceaux et π-périodique. ππ π = ππ π = 2 π π π‘ cos π [π] 1 π π π‘ π βππ ππ‘ πββ€ π 2π π‘ ππ‘ π ππ = ππ + πβπ 2π π‘ π ; 2 π ππ π = π π‘ sin π [π] ; ππ = π ππ β πβπ ; ππ = 2π π‘ ππ‘ π πββ ππ β π ππ 2 Cas pratique : Si f est paire : ππ = 0 2 ππ π = 2 × π π 2 0 Si f impaire ππ = 0 2 ππ π = 2 × π 2π π π‘ cos π π‘ ππ‘ π π 2 π π‘ sin π 0 2π π‘ ππ‘ π Série de Fourier de f π0 ππ π₯ = + 2 β ππ cos π π=1 2π 2π π₯ + ππ sin π π₯ π π β ππ π ππ ππ π₯ = 2π π₯ π π=ββ Théorème de Dirichlet (1829) π π Soit π définie sur β, πͺπ par morceaux sur β 2 ; 2 et π-périodique. πππ’π π‘ππ’π‘ πéππ π₯ βΆ ππ π₯ = π π₯β + π π₯+ 2 Théorème de Parseval π π Soit π définie sur β, continue par morceaux sur β 2 ; 2 et π-périodique. β ππ π=ββ 2 1 = π π π‘ π 2 ππ‘ ππ’ π0 2 π β ππ 2 + ππ 2 = + π=1 2 π π π‘ 2 ππ‘ π On écrit aussi : M.Trabelsi, M. Regragui, M. Duffaud : http://www.math93.com/gestclasse/classes/ipsa_ing1.html TD n°6: Fourier- Correction - Page 2 sur 6 π0 π 2 + β 1 2 1 π ππ 2 + ππ 2 = π=1 π π‘ 2 ππ‘ π Exercice 1 : Soit f 2Ο-périodique définie par π π₯ = π₯ sur β Ο; Ο . 1. Montrer que : πΊπ π = π πβπ π¬π’π§ ππ β (βπ) π=π π On a ππ π = 0 (car f est impaire) et par IPP π 2 βπ β β , ππ π = π β βπ β ββ , ππ π = βπ (βπ)π π cos ππ sin ππ (βπ)π π‘ sin ππ‘ ππ‘ = β2 + 2 = βπ π π π²π 0 Donc on obtient le résultat demandé. 2. Convergence. πβπ π¬π’π§ ππ β (βπ) π=π π a. Montrer que : βπ β β π; π ; π π = La fonction f nβest pas continue sur β Ο; Ο puisque π π = π mais limβπ + π π₯ = βπ . Il y a donc une discontinuité en π₯ = ±Ο. Elle est bien πͺπ par morceaux puisquβelle est πΆ 1 sur β Ο; Ο . le théorème de Dirichlet affirme donc que la série va converger vers x sur β Ο; Ο et vers π π₯ β +π π₯ + 2 = 0 pour π₯ = ±Ο. On obtient donc le résultat demandé. b. Etudier le cas où π = π . Dans ce cas, tous les termes de la série sont nuls, et la somme est bien nulle comme attendue. π π π π 3. Cas particulier. Montrer que : π = π β π + π β π β¦ β¦ π Pour π₯ = 2 , on retrouve la série alternée demandée. 4. Application du Théorème de Parseval : Montrer que : π β π=π π² = π π π En appliquant la formule de Parseval, ce qui est l légitime car f est continue par morceaux sur β Ο; Ο donc π0 2 + 2 β ππ 2 + ππ 2 = π=1 β β 2 ππ = π=1 1 π π π=1 1 π π 2 π π‘ ππ‘ βπ (β1)π β2 π β 2 = π=1 4 π² 1 2π 3 2π² π‘ 2 ππ‘ = = π 3 3 βπ β π=π π π π = π π² M.Trabelsi, M. Regragui, M. Duffaud : http://www.math93.com/gestclasse/classes/ipsa_ing1.html TD n°6: Fourier- Correction - Page 3 sur 6 Exercice 2 : π π₯ = 1 sur 0; Ο π ππ = 0 πππ’π π β β€ Soit f 2Ο-périodique, impaire, définie par : 1. Représenter f. π β π=π π (ππ+π) π¬π’π§ 2. Montrer que : βπ β β, π π = ππ + π π βπ β ββ , ππ π = On a ππ π = 0 car f est impaire et par IPP, βπ β β , π2π = 0 , π 2 π sin ππ‘ ππ‘ = 0 2 1 β (β1)π ππ 4 π(2π + 1) π2π+1 = π définie sur β, πͺπ par morceaux sur β et 2Ο-périodique donc on peut appliquer le théorème de Dirichlet La série de Fourier réelle de f converge simplement et a pour somme la régularisée π de π. Or ici f est égale à sa régularisée, donc on obtient le résultat demandé. π 3. Montrer que : β (βπ) π=π ππ+π π 4. Montrer que : π β π=π ππ+π π π 2 = π . Il suffit de prendre π₯ = = π ² π On peut appliquer la formule de Parseval puisque f est continue par morceaux. β π0 2 + 2 ππ 2 + ππ 2 = π=1 β β 4 π(2π + 1) 2 ππ = π=1 π=1 1 π = π ² π 2 π π‘ ππ‘ βπ 16 = π² β π=1 1 (2π + 1)² 1 1 ππ‘ = 2π = 2 π βπ π=π π β π=π ππ 2 π π β 5. En déduire que : 1 π π π π = π (ππ + π)² π β (βπ) π=π ππ , ππ πππ π ² = β ππ Comme 2π+1 π=1 1 = π² π π=1 1 + (2π)² π π=0 1 (2π + 1)² On peut passer à la limite (en N) car toutes ces séries converges donc +β π=1 1 = π² 3 4 +β π=1 +β π=1 1 + (2π)² 1 π2 = 8 π² +β π=0 1 1 = (2π + 1)² 4 β ππππ βΆ π=π +β π=1 1 π2 + 8 π² π π ² = π π π M.Trabelsi, M. Regragui, M. Duffaud : http://www.math93.com/gestclasse/classes/ipsa_ing1.html TD n°6: Fourier- Correction - Page 4 sur 6 β π=π (βπ)π = ππ +β π=1 1 β (2π)² +β π=0 1 1 π² π 2 = β ππππ 8 (2π + 1)² 4 6 β π=π (βπ)π π2 = β ππ 12 Transformée de Fourier La transformée de Fourier (notée π ou TF) dβune fonction f donnée est une opération qui transforme une fonction f intégrable sur β en une autre fonction notée π ππ’ πΉ. β± βΆ π βΆ π ( ππ’ πΉ) π π₯ = +β 1 2π π π‘ π ππ₯π‘ ππ‘ ββ Remarque : Cette définition est celle adoptée par les physiciens, on peut aussi définir π sans le facteur 1 . 2π Il suffit en fait que le produit des constantes dans (1) et (2) fasse 1/2Ο Existence : Une condition suffisante dβexistence de π est que la fonction f soit absolument intégrable. La transformée de Fourier inverse. Soit f une fonction donnée admettant une TF π π₯β + π π₯+ 1 = 2 2π +β π π‘ π βππ₯π‘ ππ‘ ββ Exercice 3 : π π₯ = 1 si π₯ β€ π π π₯ = 0 π ππππ Calculer la TF f pour f définie par : Réponse : ππ π πππ ππ’π, π π₯ = 2 π ππ ππ₯ , π π ππ‘ πππ’π π = 0 π π₯ = π 2 π Exercice 4 : 1. Montrer que si f est paire : π π₯ = 2 π +β π π‘ cos π₯π‘ ππ‘ ππ‘ ππ’π π π₯ = 0 2 π +β π π‘ cos π₯π‘ ππ‘ 0 2. Montrer que si f est impaire : π π₯ = 2 π +β π π‘ sin π₯π‘ ππ‘ ππ‘ ππ’π π π₯ = 0 2 π +β π π‘ sin π₯π‘ ππ‘ 0 Exercice 5 : 1. Montrer que la TF π pour π définie par : π π₯ = 1 β π₯² si π₯ β€ 1 est π π₯ = 0 si π₯ > 1 π π₯ =2 2 π₯ cos π₯ β sin π₯ π π₯3 M.Trabelsi, M. Regragui, M. Duffaud : http://www.math93.com/gestclasse/classes/ipsa_ing1.html TD n°6: Fourier- Correction - Page 5 sur 6 2. Montrer que : β 0 π₯ cos π₯ β sin π₯ π₯ 3π cos ππ₯ = 3 π₯ 2 16 Exercices complémentaires autocorrectifs : Exercice 6 : Soit f 2Ο-périodique, paire, définie par : β π β π; π , π π = π. π π 1. Montrer que : βπ β β, π π = β π π π β π=π (ππ+π)² ππ¨π¬ ππ + π π 2 On a ππ π = 0 (car f est paire) et par IPP βπ β ββ , ππ π = π π 0 2 π‘ cos ππ‘ ππ‘ = ππ ² (β1)π β 1 2 π0 π = π βπ β β , π2π+1 π = π 0 π‘ ππ‘ = π β4 π(2π + 1)² π0 π = π 2. En déduire que : π β π§=π ππ§+π π = π² π On prend π₯ = 0. Exercice 7 : Soit f 2Ο-périodique, impaire, définie par : β π β π; π , π π = πππ² π. 1. Montrer que : βπ β β, π π = βπ π π β π=π ππβπ ππ+π (ππ+π) π¬π’π§ ππ + π π βπ β β , ππ = 0 βπ β ββ , π2π = 0 β8 βπ β β , π2π+1 = π 2π β 1 2π + 1 (2π + 3) 2. En déduire que : (βπ)π β π=π ππβπ ππ+π (ππ+π) = βπ π Avec π₯ = π/2 3. π β π=π ππβπ ² ππ+π ²(ππ+π)² ππ ² = πππ On applique Parseval Exercice 8 : 1. En utilisant le résultat de lβexercice 3, montrer que La transformée de Fourier inverse. π π₯ β +π π₯ + 2 = +β π¬π’π§ ππ ππ¨π¬ ππ ββ π 1 2π +β π ββ π π = π ππ π < π π ππ π = π π π ππ π > π π‘ π βππ₯π‘ ππ‘ donc M.Trabelsi, M. Regragui, M. Duffaud : http://www.math93.com/gestclasse/classes/ipsa_ing1.html TD n°6: Fourier- Correction - Page 6 sur 6 +β 1 2π 1 π +β ββ ββ 2 π ππ ππ₯ βππ₯π‘ π ππ‘ = π π π ππ ππ₯ 1 cos π₯π‘ ππ‘ + π π π +β ββ 1 π π π₯ < π 1 π π π₯ = π 2 0 π π π₯ > π π ππ ππ₯ sin π₯π‘ ππ‘ = π 1 π π π₯ < π 1 π π π₯ = π 2 0 π π π₯ > π La partie imaginaire est nulle (fonction impaire) donc on obtient le résultat demandé. 2. En déduire que : +β π¬π’π§ π π π π π = π π Suffit de prendre π₯ = 0 ππ‘ π = 1. M.Trabelsi, M. Regragui, M. Duffaud : http://www.math93.com/gestclasse/classes/ipsa_ing1.html