PHUNG Anh Tuan Groupe 97- Asinsa

TP MAPLE : SERIES DE FOURIER

1.

FScoef:=proc(f,t0,t1,N,a,b,SF) local n,T; T:=t1-t0; a[0]:=2/(T)*int(f(x),x=t0..t1): for n from 1 to N do a[n]:=2/(T)*int(f(x)*cos(2*Pi*n*x/T),x=t0..t1): b[n]:=2/(T)*int(f(x)*sin(2*Pi*n*x/T),x=t0..t1); od: SF:=t->a[0]/2+sum(a[k]*cos(2*Pi*k*t/T)+b[k]*sin(2*Pi*k*t/T),k=1..N): end proc:
2. Testons notre fonction Sfcoef en considrant les exemples suivants 3 f est la fonction 2 priodique dfinie sur *-, * par f(x)=cos (x) Cas N=1 ou 2 Cas N=3 (courbe de f : bleue, courbe de SF : rouge)

Calcul des coefficients de Fourier avec Maple : la procdure Fscoef suivante nous permet de calculer les coefficients de Fourier jusquau rang N(a0,a1,..,aN et b1,..,bN) ainsi qua la srie de Fourier SF qui associe f

(on ne voie quune seule courbe car les 2 courbes de f et de SF sont bien confondus) Cest normal cars on sait que cos3(x)= 3/4*cos(x)+1/4*cos(3*x) f est la fonction 2 priodique dfinie sur *-, * par f(x)=|cos3(x)| On nest plus dans le cas o on peut faire un dvelopement exact de f de lordre N finie. Pour N=4, on trouve bien une fonction SF assez proche de f

Avec N=15 on trouve la fonction SF: 4 8 cos(2 x) 8 cos(4 x) 8 cos(6 x) 8 cos(8 x) 8 cos(10 x) 8 cos(12 x) 8 cos(14 x) + + + + 3p 5p 35 p 315 p 1155 p 3003 p 6435 p 12155 p

Il ny que des terms an car f est paire donc bn=0 f est la fonction impaire et 2 priodique dfinie sur +0, + par f(x)=1/2*( x)*cos(x) et par f(0)=0. (Ici N=20) On observe une discontinuit de f (en 0) mais la continuit des SF. En plus, on trouve bien que SF(x=0)=0 et gale un demie de la somme de limite gauche et limite droit de f en 0. (thorme de Dirichlet)

3.

La fonction 2 priodique dfinie sur *0,2* par f(x)=sh(x)

(couleurs : f :bleue ; SF(N=4) :vert ;SF(N=20) :rouge) On observe une grand discontinuit de f mais toutes les fonction SF sont bien continues. (correspond la proposition 6.4 dans le cours). De plus on voit que avec n trs grand, il y a encore un grand dpassement entre f et SF. En cours, on sait que toutes les fonctions priodiques sont dveloppable en srie Fourier mais en ralit je trouve que plus que la fonction est non-gnral (par exemple : un signal lectrique de forme carr), plus quelle est difficile dvelopper en srie de Fourier.

Phnomne de Gibbs
On considre la fonction 2 priodique et impaire dfinie par f(0)=0 et par f(x)=1/2(x-) pour x]0, * 4. La srie de Fourier de f : f est impaire donc tous les an=0. Par calcul et vrification avec Maple, on a bn= -1/n

(f :bleue, SF(N=6) :rouge, SF(N=12) :verte, SF(N=18) :jaune) Encore une fois, on observe une discontinuit de f (en 0) mais la continuit des SF. En plus, on trouve bien que SF(x=0)=0 et gale un demie de la somme de limite gauche et limite droit de f en 0. (thorme de Dirichlet) On considre la suite de fonction (Sn)n dfinie pour n N* par

Sn := x
5.

k=1

S sin(kk x)
avec x[-,]

Daprs la question 4, on en dduit facilement que la suite de fonctions (S n)n converge vers la fonction f dfinie par : 1/2(-x) pour x+0,+ 0 pour x=0 1/2(x+) pour x[-,0* On na quun convergence simple car Sn est continue avec tout entier n mais f nest pas continue en x=0 donc on ne peut pas avoir un convergence uniforme. 6. Driv de Sn : Avec Maple, on calcul la driv dS de Sn. On fait ensuite la diffrence entre dSn et lexpression dans lnonc : on trouve 0, a veut dire la driv de Sn est 1 1 sin n x cos (n + 1) x 2 2 dSn := x 1 sin x 2 On calcul la limite de dSn en 0: le rsultat est n. Rsoudre lquation dSn(x)=0 sur *0,+, on trouve x1=2k/n et x2= (2k+1)/(n+1) On considre vk=2k/n et uk=(2k+1)/(n+1) ce sont des solutions de lquation dSn(x)=0. On pose aussi tk=(uk+vk)/2 et sk=(uk+vk+1)/2 Avec Maple, on trouve bien dSn(tk)>0 (k<n/2) et dSn(sk)<0 (kn/2). (Jai utilis la fonction evalb(dSn(t(k)>0) qui donne la valeur logique TRUE si dSn(tk)>0) Remarque : dSn(tk=n/2)=0 mais on ninteresse pas ce rsultat car tn/2==un=2=vn=2 On en dduit le tableau de variation de Sn. (sur [uk-1,vk+1]avec kn/2) x Uk-1 vk uk vk+1 Sn(x) 0 0 + 0 0 Sn(x) Sn(uk-1) Sn(uk)

Sn(vk) 7.
(n)

Sn(vk+1)

a) Daprs le tableau prcdent, on voit bien que les maximas relatifs de Sn(x) sont les rels mk =Sn(uk) o kn/2 b) On a

do

c) Avec t [1/2* uk-1, 1/2*uk], thorme des accroissants finis nous donne : c [1/2* uk-1, 1/2*t] tel que : sin(1/2*t)=sin(1/2* uk-1)+sin(c)*(1/2*t-1/2* uk-1) 0 kn/2 implique 0c1/2*uk=(2k+1)/(n+1)/2 sin(c)=cos(c) 0 On en dduit que 0 sin(1/2*uk-1)sin(1/2*t)

d)

( appliquons cos(a)-cos(b)=-2sin((a+b)/2)sin((a-b)/2) ) Etudions cette expression avec Maple, on trouve quelle est nulle quand k=0 (que lon ninteresse pas car a implique m0=m-1) et (n) strictement ngative quelque soit k>0 mk<mk-1 do la suite (mk )k strictement dcroissante. 8. On considre la suite ( n)n de terme gnral n=supx *0,+ Sn(x) On a m0 = max{Sn(0)=0, mk, Sn()=0} donc m0= supx *0,+ Sn(x)= n Donc

Considrons lintgrale
Appliquons la somme de Reimann associe la fonction (avec xk=0+(-0)/(n+1)) en prenant une subdivision rgulire avec (n+1):

Valeur approche de I calcule par evalf(int(sin(t)/t,t=0..Pi))sur Maple :1.851937052 9. Notons =supx

[0,) f(x)=/2

On a I/

1.179 do (I- )/

0.179

Quand n tend vers infini, mme que x 0 de plus en plus proche de zro, on observe ici un dpassement 17.9% de S n(x0). Il vrifie clairement le phnomne de Gibbs : Au voisinage d'un point, o f a un saut de discontinuit, la somme partielle Sn de la srie de Fourier montre un dpassement substantiel prs de ce point. Une augmentation de n ne diminuera pas l'amplitude du dpassement, bien qu'avec cette augmentation n le dpassement s'effectue sur des intervalles de plus en plus petits.

Ce phnomne est trs rgulier en ralit : quand jai fait le TP physique Dvelopper en srie Fourier des signaux lectriques , jai vu bien ce phnomne avec le signal carr: