Vous êtes sur la page 1sur 26

Grard Lavau - http://perso.wanadoo.fr/lavau/homepage.htm Vous avez toute libert pour tlcharger, imprimer, photocopier ce cours et le diffuser gratuitement.

Toute diffusion titre onreux ou utilisation commerciale est interdite sans accord de l'auteur.

SERIES DE FOURIER
PLAN Prambule historique I : Sries trigonomtriques 1) Dfinition 2) Produit scalaire, norme 3) Famille orthonormale II : Dveloppement en srie de Fourier 1) Coefficients de Fourier 2) Convergence en moyenne quadratique 3) Convergence simple et uniforme 4) Cas des fonctions Tpriodiques Annexe I : quelques reprsentations graphiques Annexe II : Quelques sommes de sries Prambule historique En 1746, D'Alembert tudie l'quation des cordes vibrantes : 1 2 y 2 y = c2 t2 x2 dont il donne les solutions sous la forme F(ct+x) + G(ctx) o F et G sont arbitraires. (c est la vitesse de propagation de l'onde). Vers 1750, Daniel Bernoulli pensait que toute solution peut s'obtenir comme superposition d'une srie d'harmoniques, par exemple y(x,t) = bn sin
n=1

nct nx cos dans le cas l l

o les deux extrmits de la corde sont fixes. Or dans le cas o la position initiale est donne par une condition y(x,0) = (x), ceci implique que (x) puisse se dvelopper en srie trigonomtrique bn sin

n=1

nx . A l'poque, ceci paraissait impossible, l'argument principal tant par exemple qu'une l fonction non priodique ne pouvait se reprsenter par une srie de fonctions priodiques. Qu'on songe par exemple une formule telle que :
42 4 4 + 2 cos(nx) sin(nx) 3 n=1 n n=1 n

pour reprsenter la fonction x2, alors que celle-ci n'est pas priodique. L'galit de la srie et de la fonction est nanmoins valable sur ]0,2[. Le problme fut relanc en 1822 lorsque Fourier dveloppa sa thorie analytique de la chaleur. T 2 T L'quation de la chaleur s'crit = D 2 , o T(x,t) est la temprature l'instant t au point t x d'abscisse x et D le coefficient de diffusion thermique. Si l'on maintient une temprature nulle aux extrmits, une solution formelle est donne par : -1-

T(x,t) = bn sin
n=1

nx Dn2t exp( 2 ) l l

avec l aussi l'obligation d'avoir (x) =

n=1

nx bn sin l si la temprature initiale est donne par T(x,0) =

(x). Fourier donne un certain nombre d'exemples et tablit un lien de rciprocit entre les formules suivantes : 2 2 1 1 an = (x)cosnxdx, bn = (x)sinnxdx 0 0 et (x) =
a0 + an cosnx + bn sinnx 2 n=1 n=1

Ds lors, les sries trigonomtriques vont se trouver au cur du dveloppement de l'analyse au XIXme. La srie dont les coefficients sont ainsi dfinis s'appelle srie de Fourier associe . Les questions qui se dvelopperont alors portent sur les points suivants : La fonction peut-elle tre arbitraire ? Ce qui ncessite une rflexion sur la notion de fonction et de continuit. Pour quelles fonctions les expressions an et bn sont-elles calculables ? Question lie au dveloppement de la thorie de l'intgration. Les sries convergent-elles, et si oui, est-ce vers ? Ce qui ncessite une thorie de la convergence. tant donne, y a-t-il unicit de la srie trigonomtrique qui converge vers (si tant est qu'il en existe une) ? Continuit, intgration, convergence. A l'poque de Fourier, aucune de ces notions n'est clairement prcise. Il faudra plus d'un sicle pour claircir la plupart des questions relatives aux sries trigonomtriques, avec la notion de fonction dveloppe par Dirichlet (1829), et celle d'intgrale par Riemann (1854) puis par Lebesgue (1902). Signalons enfin que c'est en rflechissant sur un problme d'unicit des sries trigonomtriques que Cantor dveloppa sa thorie des ensembles . Les formules de Fourier entrent dans un cadre beaucoup plus gnral, celui de l'analyse ou de la dcomposition d'un objet, puis celui de la synthse ou de la reconstruction de l'objet partir de ses lments dcomposs. Voici quelques exemples : Dans un espace vectoriel euclidien muni d'une base (ei). Un procd de dcomposition d'un vecteur V consiste calculer les produits scalaires <V,ei>. Ces informations sont redondantes si, la place d'une base, on dispose d'un systme gnrateur. Le procd de reconstruction consiste retrouver V partir des (ei). Si la base est orthonorme, il suffit de calculer <V,ei> ei. Sinon, il faudra au pralable dterminer la base (i) dite duale de la base (ei) et dfinie par les relations <ei,j> = 1 si i = j et 0 sinon. On a alors V = <V,ei> i. (Le produit scalaire des deux membres avec chaque ei donne le mme rsultat) Les sries de Fourier, objet de se chapitre. Il s'agit de dcomposer un signal priodique de priode 2 en la somme d'harmoniques de la forme cos(nx) ou sin(nx). Sous certaines hypothses, on a : -2-

Procd de dcomposition : 2 2 1 1 an = (x)cosnxdx, bn = (x)sinnxdx 0 0 Procd de reconstitution : (x) =


a0 + an cosnx + bn sinnx 2 n=1 n=1

La transforme de Fourier, qui n'est pas au programme de CPGE, mais que vous rencontrerez invitablement dans la suite de vos tudes. On peut le voir comme cas limite du cas prcdent si on considre une fonction f priodique de priode 2T sur l'intervalle [T,T], que l'on cherche 2nx 2nx ) et sin( ), lorsque T tend vers +. On est dcomposer en harmonique de la forme cos( T T amen remplacer le paramtre discret n lment de par un paramtre continu lment de . Sous certaines hypothses : Procd de dcomposition : ^ f () = f(t) exp( 2it) dt, Si f est un signal dpendant du temps t, on cherche dtecter dans ce signal la densit de l'harmonique de la forme exp(2it) de frquence . L'intgrale prcdente fournira une information sur cette harmonique. Procd de reconstruction : ^ f(x) = f () exp(2ix) d La symtrie des deux procds est remarquable.

L'analyse par ondelettes, domaine d'tude qui n'existait pas il y a quinze ans et qui connat depuis un dveloppement foudroyant en particulier dans la compression des donnes (n'en dplaise un certain ministre de l'ducation nationale qui pense que le dveloppement des mathmatiques s'est arrt Platon). Le terme ondelettes est inconnu d'un de mes dictionnaire de mathmatiques dit en 1993, mais apparat dans un autre dictionnaire, dit en 1999. Un site Internet parmi bien d'autres lui est ddi (http://www.mathsoft.com/wavelets.html). Comparable la transforme de Fourier, il s'agit d'obtenir une information sur une harmonique de frquence 0, mais localise au voisinage d'un instant t0. On introduit donc des fonctions de frquence 0, mais tendant rapidement vers 0 au del d'un certain voisinage de t0. Si (t0,0) est une telle famille de fonctions, on a, sous certaines hypothses : Procd de dcomposition : <f,t0,0> = f(t)t0,0(t) dt La quantit <f,t0,0> donne une information sur l'harmonique de frquence 0, au voisinage de t0. Procd de reconstruction : <f,t , > ht , (t) dt0 d0 f(t) = 0 0 0 0 pour certaines fonctions ht0,0 qui jouent le rle de base duale relativement aux t0,0. -3-

I : Sries trigonomtriques 1 Dfinition On appelle srie trigonomtrique une srie de fonction de la forme :
N 1 1 S(x) = a0 + ancos(nx) + bnsin(nx) = a0 + lim ancos(nx) + bnsin(nx) 2 2 n=1 N+ n=1

La raison pour laquelle le terme constant est les exponentielles complexes, on a : cos(nx) = La somme partielle SN(x) vaut donc : SN(x) =

1 a0 et non simplement a0 est la suivante. Si on utilise 2

einx + einx einx einx et sin(nx) = 2 2i

N N 1 1 a ibn inx an + ibn inx a0 + ancos(nx) + bnsin(nx) = a0 + n e + e 2 2 2 2 n=1 n=1

= avec c0 =

n = N

cn einx

a0 a ibn a + ibn 1 , et, pour n > 0, cn = n et cn = n . Le facteur apparat dans chaque 2 2 2 2 expression. On note alors : S(x) =
n =

cn einx

ce qu'on crira encore S =

n =

cn en o en est la fonction x einx.


1 + 2

Voici un premier exemple : pour r rel lment de [0,1[, les sries P = Q = rnsin(nx) sont normalement convergentes. P + iQ vaut :
n=1 1 1 1 1 reix 1 + rn einx = + = + 2 1 reix 2 r2 2rcosx + 1 2 n=1

n=1

rncos(nx) et

1 1 rcosx 1 1 r2 rsinx + 2 = 2 et Q = 2 2 r 2rcosx + 1 2 r 2rcosx + 1 r 2rcosx + 1 Dans l'exemple ci-dessus, on avait an = rn et bn = irn de sorte que an et bn peuvent prendre des valeurs complexes. Le cadre d'tude de ce chapitre est donc celui des fonctions d'une variable relle x, valeurs complexes.

P=

2 Produit scalaire, norme On considre des fonctions sur 2priodiques, continues par morceaux, valeurs complexes. On dfinit le produit scalaire de deux telles fonctions par :

-4-

1 1 1 f( f( <f,g> = t) g(t) dt = t) g(t) dt = 2 2 0 2 a La norme euclidienne associe est : || f ||2 = 1 2

a+2

f(t) g(t) dt

f(t) 2 dt

1 Le facteur est choisi de faon que la fonction constante 1 soit de norme 1. Pour dfinir une 2 fonction priodique de priode 2, il suffit de la dfinir sur un intervalle de longeur 2. Les valeurs aux points de discontinuit ne changent pas la valeur de l'intgrale. On note que : || f ||2 = 0 f(t) 2 dt = 0 f = 0 seulement si f est continue. Si f est continue par morceaux, f peut tre non nulle aux points de discontinuits, sauf si on a convenu que la valeur en un point de discontinuit est la moyenne entre la limite droite et gauche de ce point. C'est donc ce que nous supposerons dornavant. On remarque que || f ||2 || f ||, de sorte que si une suite de fonctions (fn) converge uniformment vers g, a fortiori, elle converge vers g pour la norme || ||2. La rciproque est fausse. 3 Famille orthonormale Pour le produit scalaire prcdent, la famille (einx)n forme une famille orthonormale, comme on peut le vrifier aisment. Regardons ce qu'il en est pour la famille {cos(nx) | n } {sin(nx) | n *}. On a : <1,1> = 1 Pour n diffrent de 0 1 1 2 <cos(nx),cos(nx)> = cos (nt) dt = 2 2 1 de mme, <sin(nx),sin(nx)> = 2 Pour n et m quelconques : <cos(nx),sin(mx)> = 0 Pour n diffrent de m : <cos(nx),cos(mx)> = 0 et <sin(nx),sin(mx)> = 0 Ainsi, la famille est orthogonale, mais pas norme. Les rsultats prcdents peuvent galement se einx einx einx + einx retrouver au moyen des formules cos(nx) = et sin(nx) = , en utilisant 2 2i l'orthonormalit des exponentielles.

PROPOSITION : La famille des (einx) forme un systme orthonorm maximal, ce qui signifie qu'il n'existe aucune fonction continue orthogonale au sous-espace vectoriel engendr par les exponentielles. Autrement dit : n , f(t) eint dt = 0 et f continue f = 0 ou encore :

-5-

puisque {einx | n

, f(t) cos(nt) dt = f(t) sin(nt) dt = 0 et f continue f = 0 } engendre le mme sous-espace vectoriel que {cos(nx) | n } {sin(nx)}.

Dmonstration 1 En effet, en sparant f en sa partie relle et imaginaire, on peut supposer que f est valeurs relles. Supposons donc que f est non nulle. Il existe donc x0 tel que f(x0) > 0 par exemple, et > 0 et > 0 tel que : x ]x0 , x0 + [, f(x) > Soit T(x) = 1 + cos(x x0) cos et Tn = Tn. On a alors : T 1 dans l'intervalle [x0 , x0 + ] T 1 + cos cos > 1 dans l'intervalle J = [x0 , x0 + ] et donc Tn (1 + cos cos)n 2 2 2 2 sur cet intervalle. T 1 l'extrieur de l'intervalle et donc Tn est borne En dveloppant Tn et en le linarisant, on a : n , f(t) Tn(t) dt = 0
 

n, f(t) Tn(t) dt +
J

f(t) Tn(t) dt + IJ


f(t) Tn(t) dt = 0
I

Or la premire intgrale est minore par (1 + cos cos)n qui tend vers +, la seconde est 2 positive et la troisime est borne. Il est donc impossible que la somme des trois reste constamment nulle. Dans le cas d'une fonction f continue par morceaux orthogonale aux (en), la mme dmonstration prouve f est nulle l o elle est continue. Si on a convenu que la valeur en un point de discontinuit est la moyenne entre la limite droite et gauche de ce point, alors f est identiquement nulle. Dmonstration 2 Dans le cas o f est continue, on sait (thorme de Stone-Weierstrass) que f est limite uniforme de polynmes trigonomtriques (combinaisons finies des einx). Soit (Pk)k une telle suite. On a :
 

k, f(t) Pk(t) dt = 0 En passant la limite (lgitime puisque la convergence est uniforme), on obtient : <f,f> = f(t) f(t) dt = 0 = f(t) dt D'o f = 0. Pour f continue par morceaux, la dmonstration est plus difficile. f n'est pas limite uniforme de polynmes sinon, f serait continue. Cependant, f est limite de polynmes pour la norme || ||2. En effet, on peut approximer f d'aussi prs que l'on veut par une fonction continue g ayant des pentes assez raides au voisinage des points de discontinuit de f ( || fg ||2 mesure en effet, non des -6-

diffrences de valeurs, mais des diffrences d'aires), et g peut s'approximer d'aussi prs que l'on veut par un polynme pour la norme || || , et donc pour la norme || ||2. (On exprime cette proprit en disant que les polynmes trigonomtriques forment un sous-espace vectoriel dense dans l'espace des fonctions continues par morceaux pour la norme || ||2). Si (Pk) est une suite de polynmes convergeant vers f pour la norme || ||2, on a, sachant que <Pk,f> = 0 : <f,f> = <fPk,f> || fPk ||2 || f ||2 qui tend vers 0 Donc <f,f> = 0 et on conclut que f est nulle. II : Dveloppement en srie de Fourier 1 Coefficients de Fourier Voici un premier thorme de convergence. PROPOSITION : Si les sries ( an) et ( bn) sont absolument convergentes, alors la srie ( un) converge normalement sur . La somme est une fonction S 2priodique continue. En outre, on a :
 

a0 = an = bn = cn =

1 S(t) dt = 2 <S,1> 0 1 S(t) cos(nt) dt = 2 <cos(nt),S> pour n > 0 0 1 S(t) sin(nt) dt = 2 <sin(nt),S> pour n > 0 0 1 int int S(t) e dt = <e ,S> pour tout n lment de 2 0


Dmonstration : On a en effet : un(x) an + bn pour n > 0. La srie convergeant uniformment, il est possible d'intervertir les symboles de sommation et d'intgration. Les formules indiques rsultent immdiatement des relations d'orthogonalit nonces au I3. L'hypothse donne dans la proposition est assez exigeante et est rarement respecte. D'autre part, les problmes que l'on rencontre sont plutt de la forme suivante : f tant donne, peut-elle se mettre sous la forme d'une srie trigonomtrique ? Rciproquement, on se donne donc une fonction continue f par morceaux et l'on pose : 1 an = f(t) cos(nt) dt = 2 <cos(nt),f> pour n 0 1 bn = f(t) sin(nt) dt = 2 <sin(nt),f> pour n > 0 ou encore 1 int cn = f(t) e dt = <en,f> pour tout n lment de 2


-7-

On notera ces coefficients an(f), bn(f) et cn(f) s'il y a lieu de prciser la fonction laquelle ils s'appliquent. On remarque que, si f est paire, bn est nul pour tout n, et si f est impaire, an est nul pour tout n. On a toujours : a ibn a + ibn n , cn = n et cn = n 2 2 ^ ^ On note parfois cn = f(n) de sorte que f dsigne la suite des coefficients cn.
 

1 La srie a0 + ancos(nx) + bnsin(nx) = cn einx s'appelle srie de Fourier associe f. On se pose 2 n=1 n =

la question de savoir : u Pour quelles fonctions f y atil convergence ? u Et y atil convergence vers f ? u De quel type de convergence s'agitil : a) de la convergence pour la norme || ||2 ? b) de la convergence simple ? Et dans ce cas, pour quels x y atil convergence ? c) de la convergence uniforme ? Et dans ce cas, sur quel ensemble ? On peut remarquer que la convergence uniforme entrane ncessairement les deux autres. C'est la convergence la plus forte. Ces questions sont dlicates et ont grandement conduit au XIXme sicle au dveloppement de la thorie des ensembles d'une part en ce qui concerne le point b), de l'intgrale de Lebesgue d'autre part, en ce qui concerne le point a). Dans le cas gnral, la srie de Fourier peut converger ou non, et si elle converge, elle peut converger vers f ou non. On a donc cherch prciser des hypothses sur f assurant la convergence vers f. Les conditions donnes dans le cours sont suffisantes, mais non ncessaires. EXEMPLES : u coefficients de Fourier de la fonction sg(x) = 1 pour x ]0,[ = 1 pour x ],0[ cette fonction tant impaire, an est nul pour tout n. 2 4 2 (1 (1)n) = 0 si n est pair et si n est impair. bn = sin(nt) dt = 0 n n La srie de Fourier associe sg(x) est donc 4

n impair

sin(nx) . On ne prononce pas pour le moment sur n

le fait de savoir si cette srie converge et si elle est gale sg(x). On aurait pu aussi calculer : 0 1 int 1 1 int 1 int int int cn = e sg(t) dt = e dt + e dt = e e dt 2 2 0 2 0 2 = i i 2i (1 (1)n) = 0 si n est pair et si n est impair. sin(nt) dt = 0 n n

u coefficients de Fourier de la fonction x sur [,] -8-

a0 =

1 2 2 t dt = et an = tcos(nt) dt = sin(nt) dt en intgrant par parties 0 n 0

2 4 = 2 [(1)n 1] = 0 si n est pair et 2 si n est impair. n n cos(nx) 4 La srie de Fourier associe x est . 2 n impair n2 u coefficients de Fourier de la fonction x sur ],[ 2 (1)n bn = tsin(nt) dt = 2 en intgrant par parties n
0

La srie de Fourier associe est 2

n=1

(1)n+1 sin(nx) n

u coefficients de Fourier de la fonction x2 sur ],[ 1 2 2 a0 = t2 dt = 2 et an = t2 cos(nt) dt 3 0 2 = 2t sin(nt) dt en intgrant par parties n 0 4 = (1)n 2 n La srie de Fourier associe x est
2 (1)n +4 cos(nx). n2 3 n=1

Voici quelques proprits des coefficients de Fourier : PROPOSITION i) cn(f) = cn(f) et cn(f+g) = cn(f) + cn(g) ii) Si f et g sont continues, f = g n, cn(f) = cn(g) 2 1 ^ ^ iii) La suite f est borne et || f || = Sup { cn | n } f(t) dt = || f ||1 2 0 iv) lim cn(f) = 0 (lemme de Riemann-Lebesgue) n
 

Dmonstration : i) vident ii) n, cn(f) = cn(g) n, cn(fg) = 0 ce qui signifie que fg est orthogonal toutes les exponentielles, or nous avons dj vu que cela signifiait que la fonction considre, ici fg, tait nulle. Si f et g sont continues par morceaux, f = g sauf ventuellement en un nombre fini de points. Les deux proprits peuvent se rsumer en disant que l'application f ^ f est une application linaire injective. En particulier, une fonction continue possdant des coefficients de Fourier tous nuls est

-9-

^ ncessairement nulle. Nous montrerons plus loin que f appartient l2, espace vectoriel des suites (cn) telles que

n=

converge.

[Rciproquement, si on se donne une telle suite c, existe-t-il une fonction f dont les coefficients de Fourier soient ^ justement la suite c (autrement dit, l'application f f est-elle surjective ?). La rponse est au-del de ce qu'on peut faire en CPGE. Disons simplement qu'une telle fonction existe, mais qu'elle n'est pas continue par morceaux ; elle est de carr intgrable, mais au sens de l'intgrale dveloppe par Lebesgue au dbut du sicle, plus complte que l'intgrale de Riemann.]

iii) vident. iv) Dmonstration 1 : On commence par montrer cette proprit pour les fonctions en escaliers. Par linarit, il suffit mme de la montrer pour les fonctions constantes gales 1 sur un intervalle [a,b] quelconque : b int 1 inb ina e dt = in(e e ) qui tend vers 0 quand n tend vers . a Soit f continue. f est limite uniforme de fonctions en escaliers (fk). Alors : int int int f(t)e dt = (f(t) fk(t)) e dt + fk(t)e dt Soit > 0 et k tel que || f fk || < . On a alors : 1 1 int int f(t)e dt + fk(t)e dt 2 2 Pour ce k, il existe N tel que, pour tout n N, 1 int donc, pour n N, f(t)e dt < 2 . 2 Dmonstration 2 : Au moyen de la relation de Chasles, on se ramne des intervalles [a,b] o f est continue. Sur un tel intervalle, f est uniformment continue, c'est dire : , , x, y, xy < f(x)f(y) < On subdivise l'intervalle [a,b] en N intervalles [tk, tk+1], 0 k < N, de longueur strictement infrieure . On a alors : 1 1 N1 tk+1 int f(t)eint dt f(t)e dt = 2 2 k=0 tk =
N1 tk+1 1 N1 tk+1 int (f(t) f(tk)) eint dt + 1 f(tk)e dt 2 k=0 tk 2 k=0 tk

1 int fk(t)e dt < 2

- 10 -

La deuxime somme vaut

1 2

N1

tk+1 1 f(tk) eint dt = 2 k=0 tk

N1

1 f(tk) in[exp(intk+1) (exp(intk)], qui k=0

tend vers 0 quand n tend vers (le numrateur est born et le dnominateur contient n en facteur). On peut donc le rendre infrieur pour n assez grand. En ce qui concerne la premire somme, les f(t) f(tk) sont majors en module par , puisque, sur chaque intervalle [tk, tk+1], t tk est infrieur et on applique l'hypothse de continuit uniforme. Il en rsulte que la premire somme est majore en module par et que par 2 pour n assez grand. Dmonstration 3 : Soit f continue par morceaux et > 0. On peut approximer f par une fonction continue g aux points de discontinuit de f en prenant pour g des pentes assez raides, de faon || f g ||1 < , o l'on pose 1 || f g ||1 = f(t) g(t) dt. On sait par ailleurs (thorme de Weierstrass) que toute fonction g 2

1 int f(t)e dt est majore 2

continue sur un segment est limite uniforme de polynmes trigonomtriques Pk. Soit K entier tel que || g PK || < . On a a fortiori || g PK ||1 || g PK || < , donc || f PK ||1 < 2. On a alors, pour n suprieur en valeur absolue au degr de PK : 1 1 int int cn = f( t ) e d t = (f(t) PK) e dt car <en,PK> = 0 2 2

donc cn < 2. Dmonstration 4 : Soit f continue par morceaux : 1 1 inu int cn = f(t) e dt = f(u + n ) e du 2 2 en posant t = u + et en profitant de la priodicit des fonctions. n 1 int cn = [f(t) f(t + n )] e dt 4

1 cn 4

f(t) f(t + ) dt n

La suite de fonctions n : t f(t) f(t + ) que l'on intgre converge simplement vers la fonction n nulle sauf ventuellement aux points t o f est discontinue et qui sont en nombre fini. En outre, f tant borne, il en est de mme de la suite (n). On peut donc appliquer le thorme de convergence domine pour conclure que l'intgrale, et donc (cn), converge vers 0. Dmonstration 5 : - 11 -

Par la relation de Chasles, on se ramne des intervalles o f est continue. Sur cet intervalle, on approxime f par un polynme P uniformment moins de (Thorme de Weierstrass). Pour ce polynme, on a, en intgrant par parties : b b P(b)einb P(a)eina 1 int + + P'(t)eint dt P(t)e dt = in in in a a expression qui tend vers 0 lorsque n tend vers l'infini. Pour n assez grand, on a donc : int P(t)e dt < a et donc : int int int f(t)e dt (f(t) P(t))e dt + P(t)e dt a a a (ba) || f P || + < (b a + 1) . Plus gnralement, on notera que si f est C1 par morceaux, la dmonstration est beaucoup plus simple. Il suffit en effet d'effectuer une intgration par parties, en posant u(t) = f(t) et v'(t) = eint. On obtient alors : f()ein f()ein 1 int int f( t ) e d t = + + f '(t)e dt in in in
b b b b

1 f '(t)eint dt car f()ein = f()ein cause de la priodicit. in

1 cn(f) = cn(f ') in

1 Chaque terme de la somme est le produit d'une quantit borne par . La relation ci-dessus peut n s'crire cn(f ') = in cn(f), ce qui signifie que, si
n =

cn einx est la srie de Fourier associe f, alors

n =

in cn einx est la srie de Fourier associe f ', ce qui n'est gure surprenant. Par rcurrence, si f est

Ck1 et Ck par morceaux, alors cn(f(k)) = (in)k cn(f), autrement dit, cn(f) = o(1/nk) quand n tend vers . Plus f est rgulire, plus ses coefficients de Fourier converge vite vers 0. Si f est C, ses 1 coefficients sont dits convergence rapide. Ils sont ngligeables devant toute puissance de . n La proprit iv) peut nonce galement que les suites f(t)cos(nt) dt et f(t)sin(nt) dt tendent a a vers 0. On notera enfin que le fait que n soit entier n'est pas intervenu, et que la mme conclusion s'applique pour une variable n relle qui tendrait vers l'infini. EXEMPLE :
b b

- 12 -

cos(nx) 4 Reprenons la srie de Fourier de la fonction x sur [,]. Cette srie vaut . Dans 2 n impair n2 le cas prsent, la srie est normalement convergente (elle est majore par Cte
n impair

1 qui n2

converge). La somme S est donc continue, et ayant mme coefficients de Fourier que x , elle lui est gale. On peut donc conclure que : cos(nx) 4 x [,], x = 2 n impair n2 Par exemple, pour x = 0, on obtient : 1 1 2 4 0= 2 2 = 2 n impair n 8 n impair n On remarque bien que la fonction est C1 par morceaux et que les coefficients sont de l'ordre de n2, 1 ngligeables devant . n 2 Convergence en moyenne quadratique Il s'agit de la convergence pour la norme || ||2. PROPOSITION : Soit f continue par morceaux, 2-priodique. Alors les sommes partielles convergent vers f pour la norme || ||2. En outre, on dispose des formules suivantes (Parseval) o an et bn sont supposs rels :

n =

cn 2 =

1 2

f(t) 2 dt =

a02 1 + (an2 + bn2) 4 2 n=1

1 a a' 1 f( cn dn = t)g(t) dt = 0 0 + (anan' + bnbn') 4 2 n=1 2 n = o dn, an' et bn' sont les coefficients de Fourier de la fonction g. Les formules de Parseval se rsument galement sous la forme : ^ = <f,g> || ^ f || = || f || et <^ f,g>
2 2

o le produit scalaire et la norme des membres de gauche est dfini dans l'espace l2 des sries de carrs sommables savoir || c ||2 =

n =

et

<c,d> =

n =

cn dn.

La formule de Parseval possde une interprtation physique. Si f reprsente l'intensit d'un courant 1 2 lectrique en un point donn, f 2 est proportionnelle l'nergie diffuse par effet Joule. f(t) dt 2

- 13 -

est la moyenne de cette nergie. La somme

a02 1 + 2 4

n=1

(an2 + bn2) n'est autre que la somme de

chacune des nergies correspondant chacune des composantes sinusodales de f. Dmonstration 1 : cn = <en, f> est le produit scalaire de f par en. Ce nombre est la composante de la projection orthogonale de f sur la droite engendre par en. Plus gnralement SN(x) =
n = N

cn einx est la projection

de f sur le sous-espace vectoriel EN engendr par {en | N n N}. Il est en effet facile de vrifier que, pour tout n, en et f SN sont orthogonaux, en rappelant que les en sont orthonorms : <en, SN f> = <en, SN> <en, f> = cn cn = 0 Il en rsulte galement que || f ||22 = || SN ||22 + || f SN ||22 (thorme de pythagore). On a en particulier : || SN ||22 || f ||22 soit encore :

n = N

1 2

f(t) 2 dt (ingalit de Bessel)

Quand N tend vers l'infini, on obtient :

n =

cn 2

1 2

f(t) 2 dt

ce qui prouve que la srie

n =

est convergente, (et donne une autre dmonstration du fait que cn

tend vers 0 quand n tend vers ). Il en sera de mme de la srie

n =

2 n

relative la fonction g, et

cn2 + dn2 de la srie cn dn puisque cn dn . 2 n = 1 f( Considrons maintenant la fonction auxiliaire h(x) = t)g(t + x) dt. Il est clair que, si f et g 2 sont continues, h l'est aussi. Nous admettrons que cela reste vrai si f et g sont continues par morceaux (ce n'est pas trs difficile montrer mais sans grand intrt ici). Cherchons ses coefficients de Fourier. 1 1 inx <en,h> = f(t)g(t + x) dt einx dx h(x) e dx = 2 2 4 = 1 inx dxdt o D est le carr [,]2 2 f(t)g(t + x) e 4 D - 14

int 1 in(t+x) dxdt 2 f(t) e g(t + x) e 4 D 1 = 2 f(t) eint g(t + x) ein(t+x) dx dt 4 =


int 1 f( = t) e dt dn = cn dn 2

int 1 = 2 f(t) e g(x) einx dx dt en utilisant la priodicit de g 4

La srie de Fourier associe h est donc

n =

cn dn einx mais cette srie est normalement convergente.

Elle est donc continue et possde les mmes coefficients de Fourier que h. Elle est donc gale h. Nous avons donc prouv que : 1 f( t)g(t + x) dt = cn dn einx 2 n =

Pour x = 0, on obtient la deuxime formule de Parseval. Pour f = g, on obtient la premire. Enfin, cette premire formule de Parseval exprime que lim || SN ||2 = || f ||2 N+ La relation || f ||22 = || SN ||22 + || f SN ||22 permet donc de conclure que lim || f SN ||2 = 0 N+ autrement dit, SN converge vers f au sens de la norme || ||2. Nous rappelons que cela ne signifie nullement que SN converge vers f pour la convergence simple ou uniforme. Concluons en remarquant que || f SN ||2 n'est autre que la distance de f au sous-espace vectoriel EN. En effet, pour g lment de EN, f g est encore orthogonal f SN, de sorte que le thorme de Pythagore s'applique encore : || f g ||22 = || SN g ||22 + || f SN ||22 || f SN ||22 || f g ||2 || f SN ||2 avec galit si et seulement si g = SN. Dmonstration 2 : Nous avons vu que f est limite de polynmes trigonomtriques Pk. On remarque par ailleurs que SN(x) =
n = N

cn einx est la projection de f sur le sous-espace vectoriel EN engendr par

{en | N n N}. Il est en effet facile de vrifier que, pour tout n, en et f SN sont orthogonaux, en rappelant que les en sont orthonorms : <en, SN f> = <en, SN> <en, f> = cn cn = 0 On a donc || f ||22 = || SN ||22 + || f SN ||22 (thorme de Pythagore), et en particulier : || SN ||22 || f ||22 ce qui s'exprime par : - 15 -

n = N

cn 2

1 2

f(t) 2 dt (ingalit de Bessel)

Par ailleurs, si Pk appartient EN, il en rsulte que || f Pk ||22 = || SN Pk ||22 + || f SN ||22 ( nouveau le thorme de Pythagore) et donc que || f SN ||2 || f Pk ||2. Pour tout > 0, il existe k tel que || f Pk ||2 < et si Pk appartient EN, EN tant inclus dans En pour n N, on en conclut que : n N, || f SN ||2 < autrement dit, lim SN = f pour la norme || ||2. N+ De l'ingalit, || f ||2 || SN ||2 || f SN ||2, on en dduit galement que encore, en prenant les carrs des normes : cn lim N+n = N

N+

lim || SN ||2 = || f ||2 ou

1 = 2

f(t) 2 dt

et l'on reconnat la premire formule de Parseval. ^ Sachant que || f ||2 = || f ||2, on en dduit la seconde galit , en utilisant la formule : 1 <f,g> = ( || f + g ||22 || f g ||22 i || f + ig ||22 + i || f ig ||22 ) 4 1 ^ || 2 || ^ ^ || 2 i || ^ ^ || 2 + i || ^ ^ || 2 ) <f,g> = ( || ^ f+g fg f + ig f ig 2 2 2 2 4 ^ <f,g> = <^ f,g> La formule de Parseval permet d'obtenir des sries difficiles sommer en gnral. EXEMPLES : u Soit f(x) = sg(x). Sa srie de Fourier associe est 8 2 4 nx) . La formule de Parseval donne : sin( n impair n

n impair

1 1 dt = 1 2 = n 2

n impair

1 2 = n2 8

On en dduit d'ailleurs une autre sommation :


1 n 2 =

n=1

n impair

1 + n2 n pair

1 2 1 2 1 1 2 1 1 = + = + = + 8 p=1 4p2 8 4 p=1 p2 8 4 p=1 n2 n2

p=1

1 2 = n2 6

4 u Soit f(x) = x . Sa srie de Fourier associe est cos(nx). La formule de Parseval donne : 2 n impair n2 2 8 + 4 2

n impair

1 1 2 2 1 4 = t d t = = 4 n4 2 3 96 n impair n

- 16 -

Un raisonnement comparable au prcdent donne alors :


1 4 n 4 = 90 n=1

u Soit f(x) = x. Sa srie de Fourier est 2

n=1

(1)n+1 sin(nx) . La formule de Parseval donne : n

n=1

1 1 2 1 2 2 t dt = 2 = formule dj vue plus haut. 2 = n 2 3 6 n=1 n

u Soit f(x) = x2. Sa srie de Fourier est

(1)n 2 +4 cos(nx). La formule de Parseval donne : 3 n2 n=1

1 1 4 4 1 4 4 +8 4= t dt = 5 d'o 4 = 90 9 2 n=1 n n=1 n

u La formule de Parseval correspondant f(x) = x et g(x) = sg(x) donne : 4 1 1 1 2 = dj rencontre n2 = t sg(t) dt = 1 t dt = 2 n impair n2 8 n impair 2 0 3- Convergence simple et uniforme La continuit de f ne suffit pas assurer la convergence de la srie de Fourier vers f, qu'elle soit simple ou uniforme. Il est possible que la srie de Fourier d'une fonction continue diverge en une infinit de points. Cependant, en renforant les hypothses, on obtient des rsultats satisfaisants. Le cas le plus simple est le suivant : PROPOSITION : Soit f continue de classe C1 par morceaux. Alors la srie de Fourier converge normalement (et donc uniformment) vers f. En effet, nous savons que cn(f) =

1 1 c (f ') cn(f ') et donc que cn(f) = cn(f ') = n in in n

1 1 a2 + b2 ( 2 + cn(f ') 2 ) en utilisant l'ingalit ab 2 n 2 1 Or les deux sries de terme gnral 2 et cn(f ') 2 sont toutes deux convergentes. Il en est donc de n cn(f) mme de la srie de terme gnral cn(f) , ce qui signifie que la srie de Fourier
n =

cn einx est

normalement convergente vers une fonction continue S. Celle-ci ayant les mmes coefficients de Fourier que f elle-mme continue, les deux fonctions sont gales. EXEMPLES : Les hypothses du thorme s'applique la fonction x ou x2 sur [,]. On a donc : - 17 -

cos(nx) 4 x [,], x = 2 n impair n2 et x2 =


2 (1)n +4 cos(nx) 3 n2 n=1 1 2 (1)n+1 2 n2 = 8 et n2 = 12. Pour x = , n impair n=1

Pour x = 0, les deux formules donnent respectivement la deuxime donne

n=1

1 2 = . n2 6

Une hypothse plus faible est contenue dans le thorme suivant : PROPOSITION 2 (THEOREME DE DIRICHLET) : Soit f de classe C1 par morceaux (mais non ncessairement continue). Alors la srie de Fourier converge simplement vers f, aux points x en lesquels f est continue. Aux points x o f est f(x+) + f(x) des limites gauche et discontinue, la srie de Fourier converge vers la moyenne 2 droite de f en x. Si f est discontinue, il est impossible qu'il y ait convergence uniforme (puisque les sommes partielles sont continue et pas f) ; ci-dessous la trentime somme partielle de la srie de Fourier de la fonction signe(x) :

Dmonstration : Dirichlet donna en 1829 une premire dmonstration de convergence des sries de Fourier. Dirichlet supposait les fonctions monotones, mais nous pouvons adapter sa dmonstration nos propres hypothses. Soit SN une somme partielle de la srie de Fourier d'une fonction de classe C1 par morceaux. On a : SN(x) =
n = N

cn einx

- 18 -

1 2

N inx int e f( t ) e d t n = N n = N N

N 1 f(t) ein(xt) dt = 2 n = N N 1 f(x+t) eint dt = 2 n = N en faisant le changement de variable t tx et en utilisant la priodicit des fonctions N 1 f(x+t) eint dt = 2 n = N Or la somme dans l'intgrale est une suite gomtrique de raison eit et de premier terme eiNt, le nombre de termes tant 2N+1. Cette somme vaut donc :

n = N

1e eint = eiNt 1 eit pour t 0 1 ei(N + 1/2)t 2i sin(N + )t 2 = eiNt t eit/2 2i sin 2 1 sin(N + )t 2 = t sin 2

i(2N+1)t

D'o : sin(N + )t 2 1 f( x + t ) dt SN(x) = t 2 sin 2 0 1 sin(N + )t 2 1 = f(x+t) dt t 2 sin 2 1

1 + 2 0

1 sin(N + )t 2 f(x+t) dt t sin 2

Considrons la premire intgrale (respectivement la deuxime). Notons f(x) la limite gauche de x (respectivement f(x+) sa limite droite). On a : 0 0 1 1 sin(N + ) t sin(N + )t 2 2 1 1 f(x+t) dt = [f(x+t) f(x )] dt t t 2 2 sin sin 2 2

sin(N + )t 2 1 + f( x ) dt t 2 sin 2 1 - 19 -

f(x+t) f(x) . Cette fonction admet t sin 2 une limite finie quand t tend vers 0 , savoir 2f '(x ). Elle est donc continue par morceaux. Le lemme de Lebesgue vu en II-1 permet de conclure que la premire intgrale tend vers 0 quand N tend vers l'infini. Quant la deuxime, une fois mis f(x) en facteur, il suffit de revenir aux exponentielles pour voir que : 0 1 0 N sin(N + 2)t eint dt = d t = t n = N sin 2 La premire intgrale fait intervenir la fonction qui, t, associe

sin(N + )t 2 1 dt Cela montre donc que f(x+t) t 2 sin 2 1 N tend vers +.

tend vers

f(x) quand N tend vers +. 2 f(x+) + f(x) quand 2

On procde de mme pour l'autre moiti et l'on montre ainsi que SN(x) tend vers

Les deux thormes utilisent le fait que la fonction est C1 par morceaux. Si on retire cette hypothse, il se peut que la srie de Fourier diverge. Cela n'est pas en soi un dfaut des sries de Fourier, mais plutt un dfaut du procd de sommation choisi, savoir la limite usuelle des sommes partielles. Il existe en effet d'autres procds de sommation permettant de donner un sens des sries de Fourier qui divergent au sens usuel. Par exemple, Fejer a montr peu aprs 1900 que, si f est continue par f(x+) + f(x) morceaux, la moyenne arithmtique des sommes partielles converge vers , et que, si f est 2 continue, cette moyenne converge uniformment. On dit que les sommes partielles convergent au sens de Cesaro. Le procd de sommation de Cesaro est donc mieux adapt que le procd usuel puisqu'il ncessite moins d'hypothses. Il existe galement le procd de sommation d'Abel qui consiste chercher la limite, quand r tend vers 1, des sries (qui convergent au sens usuel)
a0 + an rn cos(n) + bn rn sin(n). 2 n=1 n=1

4 Cas des fonctions Tpriodiques 2 t la pulsation. La fonction F(t) = f( ) = f(x) est T alors priodique de priode 2 et on peut lui appliquer les rsultats prcdents. On revient f en posant f(x) = F(x) = F(t), o t = x. On prend comme base eint = einx, sin(nt) = sin(nx) et cos(nt) = cos(nx) sur un intervalle de longueur T, par exemple [0,T]. Le produit scalaire est donn par : T 2 2 1 1 1 F(t) G(t) dt = f(t/) g(t/) dt = f(x) g(x) dx avec x = t T 0 2 0 2 0 Les coefficients de Fourier sont : T 1 cn = <einx,f> = einx f(x) dx T 0 Si T est la priode de la fonction f, on note = - 20 -

a0 =

2 f(x) dx T 0
T

2 an = cos(nx) f(x) dx T 0 2 sin(nx) f(x) dx T 0 En particulier, pour une fonction priodique de priode 1, on a : 1 cn = <e2inx,f> = e2inx f(x) dx 0 bn =
0 + ancos(nx) + bnsin(nx). Celle-ci converge cn ein x = a 2 n=1 1 T

La srie de Fourier associe f est

n =

vers f pour la norme || ||2. Si f est continue C par morceaux, la srie converge normalement vers f. f(x+) + f(x) Si f est non continue mais C1 par morceaux, alors la srie converge simplement vers . On 2 dispose de la formule de Parseval :

n =

cn 2 =

1 a0 2 1 2 d x = f( x ) + (an2 + bn2) T 4 2 n=1 0


T T

1 a0 a0' 1 cn dn = f( x )g( x ) d x = + (anan' + bnbn') T 0 4 2 n=1 n = Le terme constant a0 est la valeur moyenne de f sur une priode. Si f reprsente une intensit de 2 a0 + 2

courant par exemple, la formule f(x) =

ancos(nx) + bnsin(nx)
n=1

obtenue dans les cas

favorables exprime le fait qu'une intensit priodique peut s'obtenir comme superposition de courant T 1 sinusodaux. f(x) 2 dx est proportionnel la puissance moyenne au cours d'une priode, alors T 0 2 a 1 que 0 est proportionnel la puissance du courant continu, an2 est proportionnel la puissance 2 4 1 2 moyenne du courant en cos(nx), bn est proportionnel la puissance moyenne du courant en 2 sin(nx). Ainsi, la formule de Parseval exprime que la puissance totale est la somme des puissances de chaque harmonique. Annexe I : quelques reprsentations graphiques On reprsente ci-dessous les trois types de fonctions les plus courantes qu'on puisse rencontrer, ainsi que la somme partielle des sries de Fourier limite aux dix premires harmoniques, pour x variant de . On trace galement la diffrence des deux (dans ce cas, on ne prend pas de repre orthonorm) : - 21 -

u sg(x) et

4 4 sin((2k+1)x) 2k+1 k =0

La fonction est continue par morceaux. Il y aura convergence simple sans convergence uniforme, et 1 la srie converge lentement (terme gnral en ). L'approximation est mdiocre. Augmenter le n nombre de termes ne fait pas disparatre les oscillations au voisinage du point de discontinuit (phnomne de Gibbs) : 1

1 4 u x et 2 k+1)x) . La convergence de la srie est normale, donc uniforme. cos((2 (2k+1)2


4

k=0

L'approximation est bonne sur tout l'intervalle, mme avec peu de termes. On notera que, dans le deuxime graphique, y varie de 0,06 0,06 alors qu'il variait de 1 1 ci-dessus. 0,06

0,06 u exp(cos(x)) et a0 10 + an cos(nx). La fonction est C donc les coefficients de Fourier tendent vers 2 n=1

0 trs rapidement. Les valeurs approches des an sont, partir de n = 0 : 2.532131755 1.130318208 0.2714953395 0.04433684985 0.005474240438 - 22 -

0.0005429261447 0.00004497732298 0.000003198436413 0.0000001992125295 0.00000001103672340 0.0000000005506384482 La convergence de la srie est normale et l'approximation excellente. On ne voit qu'un seul graphique dans le premier dessin. La diffrence des deux fonctions est infrieure 1010 et n'est pas visualise par MAPLE. On se limite donc aux cinq premires harmoniques pour le deuxime graphique, avec une diffrence trs faible. 0,00004

0,00004

Annexe II : quelques sries 1 n 1 r2 1 + r cos(nx) = 2 2 n=1 2 r 2rcosx + 1 pour r < 1, x


 

n=0

rncos(nx) = r2 2rcosx + 1 rncos(nx) =

1 rcosx

pour r < 1, x


n=1

rcosx r2 r2 2rcosx + 1

pour r < 1, x pour r < 1, x


!

n=1

x rnsin(nx) = r2 2rrsin cosx + 1

n nx) 1 1 = ln 2 r cos( n 2 r 2rcosx + 1 n=1 n nx) rsinx = arctan r sin( n 1 rcosx n=1 nx) = ln cos( n

pour r < 1, x
"

"

pour r < 1, x
#

n=1

1 2 sin(x/2)

x
$

2
%

- 23 -

n=1

cos(nx) x (1)n+1 n = ln (2 cos 2)

sur ],[ sur ]0,[ sur ] , [ 2 2 sur ]0,2[ sur ],[ sur ]0,[ sur ]; [ sur [0,2] sur ]0,[ sur ]0,[ sur [,] sur [,] sur [ , ] 2 2 sur ]0, 2[ pour 0 k h de faon que h+k pour 0 h

n=0

cos((2n+1)x) 1 x = ln tan 2 2 2n+1

n=0

n+1)x) = (1)n cos((2 4 2n+1

n=1

sin(nx) x = 2 n

sin(nx) = signe(x) 4 n n impair

sin(nx) x = 4 2 n n pair

n=1

sin(nx) x (1)n+1 n = 2
nx) 3x2 6x + 22 = cos( 2 n 12

n=1

n impair

nx) 2 2x = cos( n2 8

n pair

nx) 6x2 6x + 2 = cos( n2 24

n=1

cos(nx) 2 3x2 (1)n+1 n2 = 12

4 2

n impair

nx) = x cos( 2 n

n=0

n+1)x) x = (1)n sin((2 4 (2n+1)2

n =

einx = ei(x) n + sin()

)sin(nk) k(h) = sin(nhn 2 2 n=1 2 h) sin n(2nh) = h( 2 n=1

- 24 -

cos(x) =

sin() 2 sin() + (1)n 2 cos(nx) ( n2) n=1

sur [,]

cotan() =

1 2 1 1 2x + 2 2 ou cotan x = x + 2 2 2 n=1 n n=1 x n pour 0 < x < pour 0 < x < sur ]0,[ (Mines-Ponts I - 1997. Dans le mme sin4t 2 pb, on trouve 4 dt = 3 t

sinx =

2 4 cos(2nx) 2 n=1 4n 1 n 8 2 sin(2nx) n=1 4n 1

cosx =

1 1 = sin2x n = (x + n)2

n=1

nx) x3 2x = (1)n sin( n3 12 nx) x3 3x2 + 22x = sin( n3 12

sur [,] sur [0,2] sur [0,] sur [0,] sur [ , ] 2 2

n=1

n impair

nx) 2x x2 = sin( n3 8

n pair

nx) 2x3 3x2 + 2x = sin( n3 24

n=0

n+1)x) 3 4x2 = (1)n cos((2 (2n+1)3 32

n=1

1 2 = n2 6

= (2n 1 + 1)2 n=0 1 2 n 2 = 24 n pair


n+1 2 = (1) 2 n 12

n impair

1 2 = n2 8

n=1

n=0

(1)n 3 = (2n+1)3 32 - 25 -

4 = 90 n=1 n 4 = 96 n impair n

n=1

1 6 = n6 945 1 4

6 = 960 n impair n

- 26 -

Vous aimerez peut-être aussi