Exercices corrigés sur les séries de Fourier 1 Enoncés périodiqne f: R + R telle Exercice 1 Calculer la série de Fourier trigonométrique de la fonction gue f(r) = 7 — || sur |z,7]. La série converge-t-elle vers J? Exercice 2 Calculer la série de Fourier, sous forme trigonométrique, de In fonction 2r-périadique J:R Rtelle que f(x) = 2? sur (0,2n]. La serie converge-telle vers f°? Exercice 3 Soit f: R + R la fonction 2n-périodique, impaire, telle que no={ 1 six ]0,x] 0 sigan. (1) Calculer les coefficients de Fourier trigonométriques de f. (2) étudier la convergence (simple, uniforme) de la série de Fourier de f. (3) En déduive les valeurs des sommes Exercice 4 Soit (1) Caleuler les coefficients de Fourier exponentiels de la fonction f. (2) étudier Ta convergence (simple, uniforme) de la série de Fourier de (3) En dédluire les valeurs des sommes Sop So ast Exercice 5 Soit f: R + R la fonction 2n-périodique définie par I(x) =(e—7), 2 € [0,2Exercice 6 Snit f: R— R une fonction 2x-périodique continiiment différentiable, et soit a un réel non nul. On considére Péquation différentielle H(t) +ax(t) = f(t) ‘Trouver une solution 2x-périodique de cette équation en écrivant :r(t) et f(t) sous la forme de séries de Fourier trigonométrique. Appliquer ce résultat au cas 08 a= 1 et @-3)" site Dal f= Exercice 7 (Théoréme de Féjer) On note @(R/2xZ) ensemble des fonctions continues de R dans C et 2r-périodiques. On définit le produit de convolution de deux fonctions fi, fs € (R/27B) par (he w= x [" hle-wfaladan Pour tout k € IN*, soit gu: R > © la fonction définie par ele) =F (1) Montrer que (2) Montrer que yp satisfait les propriétés suivantes : (a) pour tout &, (2n)" [¥, yx(7) dr = 1; (b) pour tout © €]0,7[, (21) fisicje.n| Pe(#) dr + 0 lorsque k + oo. En déduire que, si f € @(R/2nZ), alors [ ® yp converge vers f uniformément sur R. (3) Calculer f @ gq. Conclure.2 Solutions Solution de Pexercice 1 Il est facile de voir que la fonction f est paire, de sorte que les coefficients by sont tous muls, et que Qe = = 2 vn an(f) Gf f(t) cos(nt) dt -2f cosine = f tontanar { well") st oe On a done SF Puisque la fonction f est continue sur R, le théoréme de Dirichlet montre que la série converge vers f en tout point de R Solution de Pexercice 2 La fonction f n'est ni paire ni impaire. Calculons ses coefficients de Fourier trigonométriques. D’une part, et autre part, pour n > 1, nlf) . 1 xia : sin(n ae sin(ni [emo] _ ated ah | +f ea} ) 1 Nes 5 on balf) = =f sin(nt) dt lo [essays f° “sete a} jo Io {Less uf 22 fusion [eal jo to 7 7 “| = ‘cos(nt) | sad nt ° al 4 On a done SF(S)() “y(se-a) 251 3La fonction f satisfait les hypotheses du théoréme de Dirichlet, et la série SF(f) converge en tout t “se sites) +f) -{ Jl) site 2nZ, 2 Qn? site WZ, Solution de Pexercice 3 (1) La fonction f etant impaire, an =0 pour tout n € IN. Pour n > 1, lo 7 om ba(f) = 2 f° sintat a ne 7 ” [ aay 21-(.1y" + sin est impair, 0 sinest pair. La série de Fourier trigonométrique de f est done donnée par sd SF Sp Bin (2k + Dt (‘No Laur pe tin (e+ De) (2) La fonction f satisfait les hypotheses du théoreme de Dirichlet, et Ia séri tout tere aren AOATE) _ 50, La convergence ne peut tre uniforme car la limite / mest pas continue. SF(f) converge en (3) Pour t= 7/2, ona: (2k +1)8) = sin Puisque f est impaire, légalité de Parseval donne 1 2 mle FOP at Ensuite, on a: St 1s ea S§S 1 . LMS oeeip tome LoreeSolution de lexercice 4 (1) Ona: elf) = “a lin (2) On verifie facilement que les hypotheses du théoreme de Dirichlet sont satisfaites, Il s'ensuit que SF(A)(t) = e0(F) + D> (en( fei + en fe ™) converge vers f(t) sit € ]—z,n[ et vers (f(r+) + fla-))/2 =cha sit =7. Autrement dit, sha yy (-1)" é site]—aal eye -{o. cin si La fonction somme n’étant pas continue, la convergence ne peut pas étre uniforme, (3) Pour £=0, on obtient : soit ahr d'ot Pon tire que Pour x, on obtient : soit don Pon tire queSolution de Pexercice 5 (1) On retmarque que f est paire, de sorte que ba(f) = 0 pour tout n. Par ailleurs, ms = 2, iff, 1 pey* Qn? wot) =+ f (r—7) arm 2 fy dy =. * ct, pour tout m > 1, 1 pe an(f) = (2-1)? cos(nz) dr w? cos(ny + nm) dy w eos(ny) dy (“Dr ot Von a effectué deux intéxrations par parties. La série de Fourier de f s’écrit done 2 eosnr “es mi (2) La fonction f est de classe @1(R). Le théoréme de Dirichlet permet donc de conclure que, pour tout 7 ER, SF(f\(a) = f(x). (3) D’aprés la question précédente, Hy a = On en déduit que Si a 2 ae 6 2B Solution de Pexorcice 6 : On écrit : SOQ = B+ (ancosnt + bysinnt) et (A, cosnt +B, sinnt) nt et, en dérivant terme a terme, 1'(0) = > (nBy cosnt — nAy sinnt) = On a alors H(t) +oa(t) = a“ + Yor, +0A,)cosnt + (aB, —nA,) sin nf] natEn identifiant les coefficients, on obtient A = %, a = ado, 2 55 tm — ny ay MB tOAn, te, An = “ae bn = OBy — Ag, My + by, Bn = a? La fonction f proposée est continiment dérivable sur R. Calculons ses coefficients de Fourier. On a: win=t f(-sf art" [-(-3) +3] # Par ailleurs, on remarque que la fonction f — ag(f)/2 est impaire, de sorte que a,(f) =0 pour n > 1 Enfin, Lofty iy Lp 3n\? a? onl) = =f (-3) sinmtaes = ff -(-¥) +5] sinneat = 2 pe LC 5) siuntaes 5 f sinnt dt h+fh avee Tomy h= [ (t—5) sinntat m2 cosnt]* | (7,7, a) cosnt = [-(-3) 7 + f2-D a tt 2 ; = cost dt _ | _ [ sinnt a) o dy om et an cosnt 1 nf sina = | nt” hay), Done Pale a(f) = On obtient Ap = 7?/2 et, pour tout k € IN*, Age = Bax = 0, 8 Axa = (2k — 1)2((2k — 1)? + 1) -8 ct Pas = Sap GESDaI)"Finalement, il est facile de voir que la série DY (By cosnt — nAy sin nt) = est uniformément convergente, et que par consequent Ia série as = +} (An cos nt + By sin nt), wi qui est aussi uniformément convergente, @ pour somme une fonction x(t) continiinent dérivable sur R, qui est solution de Péquation différentielle donnée. Solution de Pexercice 7 : (1) Mest facile de voir que, pour tout 1 € IN et tout 7 ¢ 2nZ, 1 1 yom = > amt erie mab costa — cos(l + 1) T= cos de sorte que caleul direct. (2) Comme J, eda est nulle pour m # 0 et vaut 2m pour m = 0, nous obtenons A * 1 yf meas Fixons maintenant ¢ € ]0,7[, et posons Ke [-m,—€] Ue, 7] et tout ke IN, cos” lex(z)] Done, pour k suffisamment grand, |yx(n)| < e, de sorte que ot le point (b) s‘ensuit. Puisque f est continue et 2-périoclique, elle est uniformément continue. Etant, donné ¢ > 0 fixé, il existe 1) € J0,7[ tel que 1 A <5 ie = Wy ER, |y'—y| <9 [Pu')- S| < Nous avons alors : 2n|(f ® pe — f(z) | f° ee—n) — see) onan < [se-0- sean = hth,oa . hm [Mea ~serlentnans 5 ae = — v) ~ $(2)| Pale) dy = 2 loo (y) dy ° Foca! w) ~ F02)| pala) dv < 211 Forcam La propriété (b) montre que 2IlFlleo ist PH) dus €/2 pour k suffisamment grand, et le résultat stensuit. Nous avons : ef se nbeutay ar 7 BYE. f(e—wem™ dy -2Yy mf payee a Th we (f BeAr) oi Pon a effectué le changement de variable yf = 2 —y. Fin notant: ¢m(f) le coefficient de Fourier complexe de f @ordre m et $;(f)(e) la somme partielle Pordre U de la série de Fourier de f, C'est A dire, em(f) : xf. Flyje™ dy et SiC F)(x) y em(fe™, nous voyons que (£® Gel RED im (Sen Nous avons done montré le théoréme de Féjer : si f © @(R/2nZ), la série de Fourier de f converge uniformément vers J au sens de Césaro, SUS)(2).