Abdelkader BENHARI

SERIES DE FOURIER

In analysis, Fourier series are a fundamental tool in the study of periodic functions. It is from this concept that has developed the
branch of mathematics known as harmonic analysis.

The study of a periodic function with Fourier series has two components:
analysis, which consists of determining the result of its Fourier coefficients;
synthesis, which allows you to find, in a sense, function using the result of its coefficients.

Beyond the problem of decomposition, the theory of Fourier series establishes a correspondence between the periodic function
and the Fourier coefficients. Thus, Fourier analysis can be considered as a new way to describe the periodic functions. Operations
such as the derivation written simply in terms of Fourier coefficients. The construction of a periodic function of a functional
equation solution can be reduced to the construction of the corresponding Fourier coefficients.

Fourier series were introduced by Joseph Fourier in 1822, but it took a century to emerge as analysts study adapted the tools: a
theory of full and fulfilling the first concepts of functional analysis. They are still currently under active research for themselves,
and have attracted several new branches: harmonic analysis, signal theory, wavelets, etc..

Fourier series are found usually in the decomposition of periodic signals in the study of electric currents, brain waves in the sound
synthesis, image processing, etc..

A.BENHARI 1
 Sries de Fourier
I. Forme analytique
i. Polynmes trigonomtriques et srie de Fourier
ii. Cas particulier : fonction continue sur R et de priode 2
iii. Cas gnral : fonction continue par morceaux sur R de priode T .
iv. Conditions de Dirichlet
v. Analyse spectrale ( spectres)
vi. Formule de PARSEVAL
vii. Exercices
II. Forme complexe

A. Analyse harmonique
i. Moyenne
ii. Coefficients et srie de Fourier de f.
iii. Symtries
iv. Lemme de RiemannLebesgue

B. Un espace prhilbertien
i. Espace des fonctions continues 2 priodiques
ii. Des systmes orthogonaux
iii. Polynmes trigonomtriques
iv. Interprtation gomtrique des sries de Fourier
v. Un peu danalyse fonctionnelle
vi. Thorme de Parseval

C. Thormes fondamentaux
i. Divergence de la srie de Fourier
ii. Les thormes de Dirichlet
iii. Formules de Parseval

D. Exercices et complments
i. Fonctions variation borne
ii. Thorme de DiniLipschitz
iii. Thorme de Bernstein
iv. Polynmes de RudinShapiro
v. Suite de RudinShapiro
vi. Des polynmes trigonomtriques
vii. Des sries trigonomtriques
viii. Une srie entire uniformment convergente pas normalement convergente sur D f (0,1)
ix. Comment dvelopper une fonction en srie de Fourier ?

x. Injectivit de
f (c ( f ))
n nZ pour les fonctions continues

xi. Taille des coefficients et rgularit

xii. Sries remarquables obtenue partir des sries de Fourier
xiii. Rsolution dquations fonctionnelles (ide de Fourier)

A.BENHARI 2
 Sries de Fourier

En analyse, les sries de Fourier sont un outil fondamental dans l'tude des fonctions priodiques. C'est
partir de ce concept que s'est dveloppe la branche des mathmatiques connue sous le nom d'analyse
harmonique.

L'tude d'une fonction priodique par les sries de Fourier comprend deux volets :
l'analyse, qui consiste en la dtermination de la suite de ses coefficients de Fourier ;
la synthse, qui permet de retrouver, en un certain sens, la fonction l'aide de la suite de ses coefficients.

Au-del du problme de la dcomposition, la thorie des sries de Fourier tablit une correspondance entre
la fonction priodique et les coefficients de Fourier. De ce fait, l'analyse de Fourier peut tre considre
comme une nouvelle faon de dcrire les fonctions priodiques. Des oprations telles que la drivation
s'crivent simplement en termes de coefficients de Fourier. La construction d'une fonction priodique
solution d'une quation fonctionnelle peut se ramener la construction des coefficients de Fourier
correspondants.

Les sries de Fourier ont t introduites par Joseph Fourier en 1822, mais il fallut un sicle pour que les
analystes dgagent les outils d'tude adapts : une thorie de l'intgrale pleinement satisfaisante et les
premiers concepts de l'analyse fonctionnelle. Elles font encore actuellement l'objet de recherches actives
pour elles-mmes, et ont suscit plusieurs branches nouvelles : analyse harmonique, thorie du signal,
ondelettes, etc.

Les sries de Fourier se rencontrent usuellement dans la dcomposition de signaux priodiques, dans l'tude
des courants lectriques, des ondes crbrales, dans la synthse sonore, le traitement d'images, etc.

I. Forme analytique

i. Polynmes trigonomtriques et srie de Fourier

Dfinition.
2
Soit f une fonction priodique de priode T = , et continue par morceaux sur R .

f
On appelle srie de Fourier associe : La srie trigonomtrique ( forme cosinus et sinus )
S (t ) = a0 + ( a1 cos ( t ) + b1 sin ( t) ) + ...... +( an cos( nt) +bn cos( n t) ) +. qui peut s'crire

S ( t ) = a0 + ( a n cos(nt ) + bn sin(nt ) ) . Les constantes a0, an et bn ; n = 1; 2;...... s'appellent les coefficients
n =1

de Fourier associ f .
1 a +T
a R , quelconque ; et sur [ a ; a + T ] ,
T a
O a0 ( f ) = f (t )dt

2 a +T 2 a +T
f (t )cos ( nt ) dt f (t )sin ( nt ) dt avec
T a T a
pour tout n N * an ( f ) = et bn ( f ) = a R et
2
= .
T

Si de plus la srie S (t ) = a0 + ( a n cos(nt ) + bk sin(nt ) ) converge vers une fonction f (t ) ,cette srie
n =1
s'appelle la srie de Fourier associe la fonction f.

Nous utiliserons souvent la notation f (t ) = a0 + ( a n cos(n t ) + b n sin(nt ) ) .
n =1

A.BENHARI 3
Exemple :
On considre la fonction f de priode 2 , dfinie sur [0 ; [ par : f(x) = 1 et sur [ , 2 [ par f(x) = -1
a) reprsenter graphiquement la fonction f sur lintervalle [-2 , 2 [
b) Calculer les coefficient de Fourier de f
c) Donner le dveloppement en srie de Fourier de f
Rponse :
an = 0
1 1 1
bn = (1 cos( n )) (cos(n ) 1)
n n
2 4
bn = (1 (1) n ) donc b2 p = 0 et b2 p +1 =
n (2 p + 1)
4 sin(2 p + 1)t
s (t ) =
p =0 2 p + 1

(1) Remarque prliminaire :

Pour tout nombre entier n 0 et T = 2 /
1 1 1
0 sin ( nt ) = n cos ( nt ) 0 = n ( cos ( nT ) 1) = n ( cos ( 2n ) 1) = 0
T T

1 1 1
0 cos ( nt ) = n sin ( nt ) 0 = n ( sin ( nT ) 0 ) = n sin ( 2n ) = 0
T T

1 1 1
Si n = 0 : cos ( nt ) dt = 1dt = 2 . Si n 0 cos ( nt ) dt = 0 = n sin nt 0 = n sin n n sin 0 = 0

1 1 1
Si n 0 : sin ( nt ) dt = n cos nt = n cos n + n cos n = 1+ ( 1 )= 0

(2) pour n m cos ( mt ) cos ( nt ) dt = 0 et sin ( mt ) sin ( nt ) dt = 0

(3) pour tous entiers m et n on a sin ( mt ) cos ( nt ) dt = 0

(4) pour n 1 et m = n cos ( nt ) dt = sin ( nt ) dt =
2 2
et
1
On utilise les identits trigonomtriques : sin(mt )cos( nt ) = [ sin((m + n)t + sin(m n)t ] ;
2
1 1
cos( mt )cos( nt ) = [ cos(( m + n)t + cos( m n)t ] ; sin( mt )sin( nt ) = [ cos(( m n)t cos( m + n)t ]
2 2
pour prouver les formules intgrales
1 1 1
I n = cos ( mt ) cos ( nt ) dt =

[ cos(m + n)t + cos(m n )t ] dt = [cos(m+ n )t ]dt+ [cos(m n )t ]dt
2 2 2
1 1
J n = sin ( mt ) sin ( nt ) dt = [ cos((m n )t ]dt [ cos((m+ n)t ] dt
2 2
1 1
kn = sin ( mt ) cos ( nt ) dt = [sin((m + n )t ]dt + [sin((m n )t dt ]
2 2
si n = m si n = m
Daprs (1) on obtient : cos ( mt ) cos ( nt ) dt = ; sin ( mt ) sin ( nt ) dt = .
0 si n m 0 si n m
0 si n = m
sin ( mt ) cos ( nt ) dt = 0 si n m
1 1 1
-Si m = n en = cos 2 ( nt ) dt = [ 1+ cos(2n)t ] dt = dt + [ cos(2n )t ] dt = + 0
2 2 2

A.BENHARI 4
 1 1 1
f n = sin 2 ( nt ) dt =
[ 1 cos(2n )t ] dt = dt [ cos(2n )t ] dt = + 0
2 2 2

ii. Cas particulier : fonction continue sur R et de priode 2

Thorme :.
Soit f une fonction 2 - priodique intgrable sur [ ; ] . On dfinit
1 1 1
f (t )dt f (t )cos ( nt ) dt f (t ) cos ( nt ) dt

a0 ( f ) = et pour n 1 : ; an ( f ) = bn ( f ) =
2
On peut aussi dfinir les intgrales sur lintervalle [ 0; 2 ] en crivant :
1 2 1 2 1 2
0 f (t ) cos ( nt ) dt f (t )cos ( nt ) dt
0 0
a0 ( f ) = f (t )dt et pour n 1 : an ( f ) = ; bn ( f ) =
2

Remarque :
La fonction f tant priodique de priode 2 , il en est de mme des fonctions :
g : t a f (t )cos( nt ) et h : t a f (t )sin(nt )
En effet : g (t + 2) = f (t + 2) cos(n(t + 2)) = f (t ) cos ( nt + 2n ) car f admet 2 pour priode
g (t + 2) = f (t ) cos ( nt ) car la fonction cosinus a pour priode 2 g (t + 2) = g (t ) ,
La dmonstration est analogue pour la fonction t a f (t )sin(nt ) .
Nous dduisons : Si f est continue sur R , de priode T , alors pour tout rel
+T T
f (t )dt = f (t )dt
0
1 + 2
Sur [ ; + 2 ] : a0 ( f ) = f (t )dt et
2
1 + 2 1 + 2
pour n 1 : an ( f ) = f (t )cos ( nt ) dt et bn ( f ) = f (t )cos ( nt ) dt

Dmonstration du thorme :


Nous allons calculer f (t )dt =
a 0 + ( a n cos(nt ) + b n sin(nt ) ) dt
n =1
On admettra que lon peut intervertir le signe et donc


f (t )dt = a0 +
n =1
( a n cos(nt ) + bn sin(nt ) ) dt=

a0 dt+
n= 1

an cos( nt ) dt+ bn
n= 1

sin( nt ) dt

f (t )dt = a 0dt + a n cos(nt )dt + b n sin(nt )dt = a 0dt + a nI + b nJ = a dt0 = 2 a 0

n =1 n= 1 n= 1 n= 1
1
2
On en dduit : a0 = f (t )dt . Nous allons calculer an : pour tout entier m > 0

f (t ) cos mt dt = a 0 + ( a n cos(nt ) + b nsin(nt ) ) cos mt dt .

n =1

f (t ) cos mt dt = a 0 cos mtdt +
n =1
a ncos(nt )cos mt dt + b nsin(nt )cos mtdt
n= 1

= a0 cos mtdt +

a n cos(nt )cos mtdt + b n sin(nt )cos mt dt
n =1 n= 1

A.BENHARI 5

f (t )cos ( mt ) dt = a 0 cos mtdt +
n =1
a n cos(nt ) cos mtdt + b n sin(nt ) cos mtdt

n= 1

= a0 cos mt dt +

a nI n + b nk n = a 0 I + a nI n+ b nk n= a n e n= a n
n =1 n= 1 n= 1 n= 1

Daprs ce qui prcde : si m n , on a : I = 0 ; kn = 0 et I n = 0 sauf si m = n

1
f (t ) cos ( nt ) dt .

et on a an =

On fait de mme pour bn . f (t )sin(mt )dt = a0 sin mtdt + an cos(nt )sin mtdt + bn sin(nt )sin mtdt
n =1 n =1

f ( t ) sin( mt ) dt= 0a sin mt dt + n an k + n bn J =0a J +n an k

n+ bn J n b =n f . n b=

n =1 n =1 n 1= n 1 =
1
f (t )sin ( nt ) dt

bn =

Thorme admis
Si une srie de Fourier de terme gnral un = an cos( nt ) + bn sin( n t ) converge vers f , alors la fonction f est
2 2
priodique de priode T = .cest dire de pulsation = .
T

iii. Cas gnral : fonction continue par morceaux sur R de priode T .

T T
Soit f une fonction de priode T .En posant x = t, on peut crire f ( x) = f t , on obtient alors
2 2
T
Une nouvelle fonction g de la variable relle x avec : g (t ) = f t = f ( x) .
2
T T
On remarque que g (t + 2) = f ( (t + 2) = f t + T ) , la fonction f tant de priode T , on obtient :
2 2
g (t + 2) = g (t ) . La fonction g est donc une fonction priodique de priode 2 .
En supposant que cette fonction soit dveloppable en srie de Fourier , on peut crire :
( )

2 2
f ( x ) = g ( t ) = a0 + an cos ( t ) + bn sin ( t ) , en utilisant x =
T
t, on obtient : t = x .Posons : =
n =1 2 T T

( )

On en dduit : f ( x) = g ( x ) = a0 + an cos ( nx ) + bn sin ( nx )
n =1

1 1 T 1 t
Le calcul de a0 nous a donn : a0 =
2 f (t )dt , donc a 0 =
2 f 2 t dt = 2 f dt

t
On procde par un changement de variable u = , on obtient t = u donc dt = du .

T T 1
2
Pour t = ; u = = et pour t = ; u = = , donc a0 = g (t )dt
2 2
T
1 t 1 2 T2 1 2
T

( ) ( ) T f (u )du .
2 2 2 2 2 T 2
a0 = f dt = T f u du = T f u du =

1
g (t )cos ( nt ) dt donc

on a : an =
T T
1 2 T 1 T 2
T
f t cos ( nt ) dt = 2T f (u ) cos (n u ) du = 2T f (u )cos (n u )du = 2T f u( )cos n( u du
)
2
an = T
2 2 2 T 2
De la mme manire on obtient :
1 2
T
T 1
T
2
T T
t sin ( nt ) dt = 2T f ( u ) sin ( n u ) du = 2T f ( u ) sin ( nu ) du= 2T f (u ) sin (n u ) du
2
bn = T f
2 2 2 T2

A.BENHARI 6
Cas particuliers :
f est une fonction paire :
4 T
Si f est une fonction paire , alors pout tout n N . on a : an ( f ) = 2 f (t )cos(nt )dt
0 T
+

Le dveloppement en srie de Fourier dune fonction paire , sil existe, est f (t ) = a0 + a n cos(nt )
n =1

En effet : soit f une fonction priodique dveloppable en srie de Fourier .

La fonction g dfinie par g (t ) = f (t )sin(nt ) est telle que g (t ) = f (t )sin(nt ) = f (t )sin(nt ) = g (t )
Cette fonction g est donc impaire , sa reprsentation graphique admet lorigine comme centre de symtrie
dans un repre orthogonal .Toute intgrale de g sur un intervalle du type [ a ; a ] est donc nulle , il en rsulte
que tous les coefficient bn sont nuls.
f est une fonction impaire :
T
4
Si f est une fonction impaire , alors pout tout n N . on a : bn ( f ) = 2 f (t )sin(nt )dt
T 0
+

Le dveloppement en srie de Fourier dune fonction paire , sil existe, est f (t ) = bn sin(nt )
n =1

En effet : soit f une fonction priodique dveloppable en srie de Fourier .

La fonction g dfinie par g (t ) = f (t )sin(nt ) est telle que g (t ) = f (t ) cos( nt ) = f (t ) cos(nt ) = g (t )
Cette fonction g est donc impaire , sa reprsentation graphique admet lorigine comme centre de symtrie
dans un repre orthogonal .Toute intgrale de g sur un intervalle du type [ a ; a ] est donc nulle , il en rsulte
que tous les coefficient an sont nuls

iv. Conditions de Dirichlet

On dit quune fonction priodique satisfait aux conditions de Dirichlet si :
Sauf en un nombre fini de point particuliers sur une priode, f est continue , drivable, et sa drive
f est continue.
En ces points particulier, f et f admettent des limites finies gauche et droite.

Thorme de Dirichlet
Si f est une fonction priodique satisfaisant aux conditions de Dirichlet alors :
+
pour tout rel t0 o la fonction f est continue on a : f (t0 ) = S (t0 ) = a0 + ( a n cos(nt0 ) + bn sin(nt0 ) )
n =1

pour tout rel t0 o la fonction f nest pas continue on a :

+
1
S (t0 ) = a0 + ( a n cos(n t 0) + b n sin(nt 0) ) =
f (t 0+) + f (t 0) .o
f (t0 + ) et f (t0 ) reprsentent
n =1 2
respectivement les limites droite et gauche de f en t0 .

Exemple :

Signal rectangulaire alternances gales

On considre la fonction f impaire de priode T, dfinie par f(t)= 2 sur [0 , T/2[ et f(t)= -2 sur [-T/2, 0[
On a :
Srie de Fourier
4 8
an = 0 bn = ( cos(n ) 1) b2 p = 0 b2 p +1 =
n n
8
sin(2 p + 1)t
s (t ) =
p =0 2 p + 1
Condition de Dirichlet :
Sauf au points t = k T/2, f est continue , drivable ( f(t) = 0 ) et f est bien continue
A.BENHARI 7
En ces points particuliers , f et f admettent des limites finies gauche et droite

Thorme de Dirichlet
Si t T/2 , f est continue en t donc daprs le thorme de Dirichlet s(t) = f(t)
1 1
Si = k T/, f est discontinue , donc daprs le thorme de Dirichlet s(t)= f (t0 + ) + f (t0 ) = (2 2) = 0
2 2

v. Analyse spectrale ( spectres)

+
Soit une fonction priodique f et sa srie de Fourier associe a0 + ( an cos(nt ) + bn sin(nt ) )
n =1

Pour n > 0 , on peut crire un = an cos(nt ) + bn sin(nt ) = An sin(nt n ) avec An 0 .

Or An sin(nt n ) = An sin(nt ) cos n An cos(nt ) sin n par identification , on obtient :
an = An sin n a 2 n = A2 n sin 2 n
et on en dduit 2 , en additionnant membre membre :
bn = An cos n b n = A n cos n
2 2

(
a 2 n + b 2 n = A2 n sin 2 n + A2 n cos 2 n = A2 n sin 2 n + cos 2 n = A2 n , donc) a 2 n + b 2 n = An .

Dfinition :
+
La srie de Fourier associe f peut scrire f (t ) = a0 + An sin ( n t n ) avec An = an2 + bn2 .
n =1

a0 est la valeur moyenne de f sur une priode .Les termes suivants An sin ( n t n ) sont les harmoniques

Remarque : le premier harmonique est parfois appel le fondamental.

Dfinition
On appelle spectre de frquence dune fonction priodique du temps, le diagramme en btons obtenu en
reprsentant | An | en fonction de n.
Le spectre de frquence est la reprsentation graphique par un diagramme en btons de la suite ( An )

vi. Formule de PARSEVAL

Thorme admis
+
Soit une fonction priodique f et sa srie de Fourier associe a0 + ( an cos(nt ) + bn sin(nt ) )
n =1
+
1 +T 1
On a :
T f 2 (t ) dt = a 20 +
2 n=1
(a 2 n + b2 n ) R quelconque ( Formule de PARSEVAL)

Interprtation graphique de la formule de PARSEVAL

+ +
a0 + ( an cos(nt ) + bn sin(nt ) ) = a 0+ A n sin ( n t n ).
n =1 n= 1

Calculons la valeur efficace En des harmoniques

1 An2
An2 sin 2 ( n t n ) dt = sin 2 ( n t n ) dt . En appliquant la formule trigonomtrique
T T
En2 =
T
0 T
0

A.BENHARI 8
 A2
( 1 cos ( 2n t ) ) dt = 2AT
2
1
dt cos ( 2n t n ) dt
T T T
sin 2 x = (1 cos 2 x) , donc En2 = n 0
n
n
2 2T 0 0
1 1
cos ( 2n t n ) dt = sin ( 2n t n ) =
0 2n (
sin 2n T n ) sin ( n )
T T

T
Or
0
dt = T et 0 2n
2
Or sin ( 2n T n ) = sin 2n n = sin ( 4 n ) = sin ( n ) , donc cos ( 2n t n ) dt = 0
T

An2 A2 a 2 + bn2
On en dduit En2 = T= n = n est la puissance de lharmonique de rang n ,
2T 2 2
T +
1 1
do sur une priode ,
T 0 f 2 (t )dt = a 20 +
2 n =1
(a 2 n + b 2 n ) .

1 x0 +T 1 + 2
Dune manire gnrale pour tout rel x0 :
T x 0
f 2 (t )dt = a 20 +
2 n =1
(a n + b 2 n ) .

Notations utilises en physique . on note souvent An2 = a 2 n + b 2 n , on peut alors crire

an bn
an cos( nt ) + bn sin( nt ) = An cos nt + sin nt .
a2 + b2 an2 + bn2
n n
an bn
En posant cos n = 2 2 et sin n = 2 2 on obtient an cos(nt ) + bn sin(nt ) = cos ( n t n )
an + bn an + bn

vii. Exercices

Exercice 1 :
0, 2 x < 0
Trouver la srie de Fourier de f ( x) =
x, 0 x 2
2
1 2 1 x2 1
Rponse. On a L = 2, nous obtenons : a0 =
4 0
x dx = = .
4 2 0 2
2 2

an =
1 2

2 0
x
x cos n
2

1 2
dx =
2 n
( cos(n ) 1) =
1 2

2 n
( 1) 1
n
( )
1 2 x 2 ( cos(n ) 2
= ( 1)
n +1
bn = x sin n dx = pour n 1 .
2 0 2 n n

2 x x
( 1 ) sin(n )
1 2
2 2 (
Par consquent, nous avons f ( x ) = + ( 1) n 1) cos(n
n +1
)+
2 n =1 n 2 n 2

Exercice 2 :
Dveloppement en srie de Fourier
On veut dvelopper en srie de Fourier la fonction f priodique de priode 2 et tel que pour tout rel x de
l'intervalle [0 ; 2[ on a : f (t ) = t (2 t ) .

Reprsentation graphique de cette fonction :

Calcul des coefficients de Fourier

A.BENHARI 9
 2
1 2 1 2 1 2 1 2 t3 1 8 1 4 2 2
a0 = f (t )dt = t (2 t )dt = 2t t 2dt = t = 4 3 = 2 3 = 3 = = .
2 0 2 0 2 0 2 3 0 2 T
2 2 2
an =
2 0
f (t ) cos(nt )dt = t (2 t )cos n tdt .avec une intgration par partie
0

1
et en posant: u '(t ) = cos n t u (t ) = sin n t et v(t ) = 2t t 2 v '(t ) = 2 2t
n
2
1 1 1
on a : an = 0 t (2 t ) cos n tdt = ( 2t t 2 ) sin n t 0 (2 2t )sin( n t ) dt an = 0 (2 2t )sin(n t )dt ;
2 2 2

n 0 n n
1
on pose nouveau : u '(t ) = sin n t u (t ) = cos n t ; v(t ) = 2 2t v '(t ) = 2
n
1 1
2
2 2 1 2 2 2 2
an = ( 2 2t ) cos n t + cos(n t )dt ; an = + + cos(n t )dt
n n 0 n 0
n n n n 0

1 4 2 1 4
an = + sin ( 2n ) sin 0 ; an = 2 2
n n n n n
f est paire donc les coefficients b n sont nuls. le dveloppement en srie de Fourier de f
+
2 4 + 1
est donc : f ( x) = a0 + ( a n cos(nx) + bn sin(n x) ) = cos n x
n =1 3 2 n =1 n2

II. Forme complexe du dveloppement en srie de Fourier dune fonction priodique

A. Analyse harmonique

On considre les fonctions f : R C T-priodiques continues par morceaux ( T > 0 )

2
On pose =
T

i. Moyenne

Thorme :
Soit f : R C continue par morceaux T-priodique.
1 a +T
Alors la quantit a f (t ) dt est indpendante de a R .
T
Dfinition :
On lappelle valeur moyenne de f sur une priode.
Dmonstration :
a +T 0 T a +T
On a a
f = f + f +
a 0 T
f
a +T a +T a
Or, T
f =
T
f (t T )dt = f (u ) du
0

A.BENHARI 10
 a +T T
Donc il nous reste a
f = f .
0

ii. Coefficients et srie de Fourier de f.

Soit f : R C continue par morceaux T-priodique.

Coefficients complexes :
1 a +T 1 a +T 2i nt
Pour n Z , on pose cn ( f ) = e i .nt f (t )dt = e T f (t )dt
T a T a
Srie de Fourier de f :
Cest la srie de terme gnral un o
x R , u0 ( x) = c0 ( f )
in . x
Et pour n 1 , x R , u n ( x) = cn ( f )e + cn ( f )e in . x
De sorte que la n-ime somme partielle de f en x R est :
n n
S n ( f )( x) = u k ( x) = c ( f )e
k
ik . x

k =0 k = n
Attention :
+ + 2 ik

u ( x)
x
Pour la srie de Fourier, on utilise la notation
n =0
n et pas c ( f )e
n =
n
T

(Les sries peuvent diverger)

Forme trigonomtrique :
On pose a0 ( f ) = c0 ( f ) : moyenne de f.
2 a +T 2 .nt 2 a +T 2 .nt
Et pour n 1 , an ( f ) = a f (t ) cos dt , bn ( f ) = a f (t ) sin dt
T T T T
Relation :
Thorme :
On a a0 ( f ) = c0 ( f )
Pour n 1 , on a
x R , cn ( f )e in . x + c n ( f )e in . x = an ( f ) cos(n.x) + bn ( f ) sin( n.x)
Et donc an ( f ) = cn ( f ) + cn ( f ) , bn ( f ) = icn ( f ) ic n ( f )
1 1
Ou cn ( f ) = (an ( f ) ibn ( f )) , c n ( f ) = ( an ( f ) + ibn ( f ))
2 2
Dmonstration :
Il suffit dcrire les coefficients sous forme intgrale.
Autre criture de la srie de Fourier :
+
a0 + (an ( f ) cos(n.x ) + bn ( f ) sin(n.x))
n =1

iii. Symtries

On considre f : R C continue par morceaux T-priodique.

A.BENHARI 11
 Morale :
Les symtries de f se retrouvent sur sa srie de Fourier :
Thorme :
(1) Si f est relle, alors a0 R , n N *, an ( f ), bn ( f ) R .
Ou n Z, cn ( f ) = c n ( f )
(2) Si f est paire, on a n 1, bn ( f ) = 0
2 T2 4 T2
Et a0 ( f ) = 0 f (t )dt , et pour n 1 , an ( f ) = 0 f (t ) cos(n.t )dt .
T T
Si f est impaire, on a n 0, a n ( f ) = 0
4 2 T

Et n 1, bn ( f ) = 0 f (t ) sin(n.t )dt
T
Dmonstration :
Le premier point est clair. Pour le deuxime :
Si f est paire, t f (t ) sin(n.t ) est impaire donc bn ( f ) = 0
Et t f (t ) cos(n.t ) est paire, donc pour n 1 ,
2 a +T 2 T2 4 T2
an ( f ) = f (t ) cos(n.t )dt = T f (t ) cos(n.t )dt = f (t ) cos(n.t )dt
T a T 2 T 0
Cest la mme chose pour f impaire.

Thorme : coefficients de Fourier dune drive

On suppose f : R C T-priodique, C 1 par morceaux et continue.
f ' ( x ) si f est drivable en x
On pose g ( x ) = 1 lim ( f ' ( x + h) + f ' ( x h)) sinon .
2 h0 +
Alors g est continue par morceaux, T-priodique et on a :
n Z, cn ( g ) = in.cn ( f )
Autrement dit, pour tout n, S n ( f )' = S n ( g ) ( = S n ( f ' ) si f est drivable)
Rappel :
Comme f est suppose C 1 par morceaux, f a une limite droite et gauche en tout point.
Dmonstration :
(1) Si f est de classe C 1 :
Alors g = f ' , et :
1 T
cn ( f ' ) = f ' (t )e in .t dt =
T 0
[1
] T 1 T
f (t )e in .t 0 (in ) f (t )e in .t dt
T T 0
=0

= in.cn ( f )
(2) Si f est C 1 par morceaux :
Soit a R tel que f et g soient dfinis et continus en a.
On note a0 = a < a1... < a p = a + T les points o f nest ventuellement pas drivable.

A.BENHARI 12
 p 1
a +T
g (t )e in .t dt =
a j +1
Alors T .cn ( g ) = a aj
g (t )e in .t dt
j =0

[ ]
NB : f /[ a j ,a j+1 ] est de classe C car f est continue sur a j , a j +1 et f a des limites en a j et a j +1 .
1

( )
Comme g /[ a j ,a j+1 ] concide avec f /[ a j ,a j+1 ] sauf peut-tre en a j ou en a j +1 , on peut faire
lintgration par partie et :
[ ]
p 1 p 1
T .cn ( g ) = f (t )e + in
a j +1
in .t T
0 f (t )e in .t dt = in.T .cn ( f )
aj
j =0 j =0

Do le rsultat.

iv. Lemme de RiemannLebesgue

Thorme :
Si f : [ 0, T ] C est continue par morceaux, alors lim
T

n 0
f (t )e in .t dt = 0

Corollaire :
Si f est continue par morceaux et T-priodique, alors nlim cn ( f ) = 0

Dmonstration :
Dj vu.

Exemple

x
Soit f : R R 2 -priodique dfinie par x [ 0,2 ], f ( x) =
2
Quelle est la srie de Fourier de f ?
Etudier la convergence de cette srie et calculer sa somme.

2

~ f ( x) si x / 0 [ 2 ]
Si on pose f ( x ) =
0 si x 0 [ 2 ]
~ ~
Alors f est impaire, et f et f ont les mmes coefficients de Fourier.
Donc les an sont nuls pour tout n N .
On a T = 2 , donc = 1
1 2 1 2 t
Et bn ( f ) = 0 f (t ) sin(n.t )dt = 0 sin(n.t ) dt
2
Soit en faisant une intgration par parties :

A.BENHARI 13
 2
t 1 2
2 0
.bn ( f ) = cos(n.t ) cos(n.t )dt
2n 0
=0

= + =
2n 2n n
1
Donc n N *, bn ( f ) =
n
+
sin n.x
Et S ( f ) =
n =1 n
Calcul de S ( f ) :
Si x Z, S ( f ) = 0
Si x Z :
1 1
On a = 0 t dt
n 1

n
Soit N . On a :
N
N
S N ( f ) = sin(nx )t n 1dt
1

0
n =1

1 N 1 e ix
= Im t n 1e in. x dt = Im (1 t N e iNx )dt
0 1 te
ix
0 n =1
1 eix 1 e ix
= Im dt rn


+
Im dt
0 1 te 0 1 te
ix n ix

t N
M 1
0 , avec M tel que t [ 0,1],
1
O rn 0 dt M
1 te ix
n +1 1 te ix
e ix
1 1 dt x
Et on a de plus 0 1 teix dt = 0 t e ix = ln(2 sin 2x ) + i 2
Donc S n ( f )( x) n f ( x) pour x ] 0,2 [
+

B. Un espace prhilbertien

i. Espace des fonctions continues 2 priodiques

On note C2 lensemble des applications de R dans C continues et 2 -priodiques.

Structure :

Thorme :
C2 est une sousalgbre de B (R , C ) munie de +, ,

Remarque :
On a un autre oprateur : la convolution dans C2 :
Pour f , g C2 , on pose f g lapplication dfinie par
1 2
2 0
x R , ( f g )( x) = f ( x t ) g (t )dt

On a vu que est une loi de composition interne, bilinaire, commutative, associative dans C2 .

A.BENHARI 14
 Produit scalaire :
Thorme :
1 2
Lapplication ( f , g ) C2 < f , g > =
2
f (t ) g (t )dt est un produit scalaire sur C2
2 0

Mais C2 nest pas complet pour la norme 2 associe ce produit scalaire.

ii. Des systmes orthogonaux

Pour n Z , on dfinit lapplication en par t R , en (t ) = e

in.t

Pour n N , t R , cn (t ) = cos(nt )
Et pour n 1 , t R , sn (t ) = sin( nt )
Alors toutes les application introduites sont dans C2 .
La famille (en ) nZ est orthonormale
1
Et (cn ) nN ( sn ) nN * est orthogonale, avec n 1, cn 2
= sn 2
= et c0 2
=1
2
En effet :
1 2 in.t im.t
2 0
e e dt = n ,m pour m, n Z
1 2 1

2
Et pour n 1 , cn 2 = cos 2 (nt )dt =
2 0 2

iii. Polynmes trigonomtriques

Proprit :
Les familles (en ) nZ et (c p , sq ) qpNN* sont libres.
Pour N N , on a Vect (en , n N ) = Vect (c p , sq ,0 p N ,1 q N )
Dmonstration :
Les familles sont libres car orthogonales et aucun vecteur nest nul.
Lgalit rsulte de formules de trigonomtrie.

On pose alors TN = Vect (en , n N ) , et T = T N

nN
Dfinition :
Un lment de T sappelle polynme trigonomtrique.
Si P T \ { 0} , on appelle degr de P le plus petit entier N tel que P TN .
Thorme :
T est le sous-espace de C2 engendr par C2 ou par (c p , sq ) qpNN*

De plus, (en ) nZ est une base orthonormale de T, et (c p , sq ) qpNN* une base orthogonale.
On a donc un filtre de sous-espaces de C2 (pas tout fait un drapeau, la dimension augmente de
2) : T0 = C e0 T1... T C2

Exemples :
- Noyau de Dirichlet :
n
Pour n N , on pose Dn = e
k =n
k Tn

A.BENHARI 15
 2N +1
sin t
Formule :
t R \ 2 Z, DN (t ) = 2
sin(t / 2)
Et t 2 Z, DN (t ) = 2 N + 1
Dmonstration :
Si t R \ 2 Z ,
2N
1 e i ( 2 N +1) t
DN (t ) = e iN .t e ij .t = e in.t
j =0 1 eit
i ( N + 12 ) t i ( N + 12 ) t
i ( N + 12 ) t 1 ei ( 2 N +1) t e e
=e i t it
= i 2t it
e 2 e 2 e e 2
- Noyau de Fjer :
D0 + ... + Dn
On pose pour n N , Fn = Tn .
n +1
2
1 sin n2+1 t
Formule : t R \ 2 Z, Fn (t ) = 0
n + 1 sin 12 t
Et t 2 Z, Fn (t ) = n + 1
Dmonstration :
1
Si t 2 Z , Fn (t ) = (1 + 3 + ... + (2n + 1)) et on montre par rcurrence que
n +1
(1 + 3 + ... + (2n + 1)) = (n + 1) 2 , do lexpression.
n ei ( k + 2 )t
1
sin( k + 12 )t
n
Sinon : ( n + 1) Fn (t ) = sin 2t
= Im
k =0 sin t


k =0 2
n
i ( k + 12 ) t 1 e i ( n +1) t
1 cos((n + 1)t ) sin 2 n2+1 t
Et ( n + 1) sin t
F
2 n (t ) = Im
k =0
e

= Im
2i sin t = 2 sin 2t
=
sin 2t
2

Do la formule.

iv. Interprtation gomtrique des sries de Fourier

Thorme :
Soit f C2 . Pour tout n N , S n ( f ) est la projection orthogonale de f sur Tn .
n

c (f)
2 2 2 2 2
En particulier, f 2
= Sn ( f ) 2 + f Sn ( f ) 2 = k + f Sn ( f ) 2
k = n

Dmonstration :
Ici, T = 2 et = 1 .
1 2
On a pour tout n Z , cn ( f ) =
2 0
e in.t f (t )dt = < en , f >
n n
Donc S n ( f ) = ck ( f )ek =
k =n
< e , f
k =n
k > ek

Comme {ek , k n} est une base orthonormale de Tn , S n ( f ) est bien la projection orthogonale
de f sur Tn
De plus, f S n ( f ) et S n ( f ) sont orthogonaux, donc daprs le thorme de Pythagore,
2 2 2
f 2
= Sn ( f ) 2 + f Sn ( f ) 2

A.BENHARI 16
 n
Et comme de plus S n ( f ) = c ( f )e k k o {e , k n}
k est orthonormale, on a bien
k =n
n

c (f)
2 2
Sn ( f ) 2 = k .
k = n

Corollaire :
Pour tout f C2 , la famille (cn ( f )) nZ est de carr sommable, c'est--dire que la srie de terme
2 2
gnral cn ( f ) + cn ( f ) converge, et on a lingalit de Bessel :
+
1 2
c0 ( f ) + cn ( f ) + cn ( f ) f
2 2 2 2 2
= f (t ) dt
n =1
2
2 0

(On verra quil y a en fait galit)

Dmonstration :
Dcoule du thorme.

v. Un peu danalyse fonctionnelle

Thorme (de convergence normale de Dirichlet) :

Soit f : R C , C 1 par morceaux et continue, 2 -priodique.
Alors la srie de Fourier de f converge normalement vers f, c'est--dire :
n
Pour tout x R , nlim
+
ck ( f )eik . x = f ( x) et la famille (cn ( f ))nZ est sommable (c'est--dire
k =n

que la srie de terme gnral cn ( f ) + c n ( f ) converge)

Dmonstration :
La famille (cn ( f )) nZ est sommable.
En effet :
Soit g : R C dfinie par :
Pour x R , si f est drivable en x, g ( x) = f ' ( x )
1
Sinon, g ( x) = ( f 'd ( x) + f ' g ( x))
2
NB : comme f est partout continue et C 1 par morceaux, f 'd et f ' g existent en tout point.
On a n Z, cn ( g ) = in.cn ( f ) (dj vu)
Donc pour n 1 ,
cn ( f ) + c n ( f ) = ( cn ( g ) + c n ( g ) )
1
n
1 1 2 1 2
2 + cn ( g ) + 2 + c n ( g )
2n n
( a, b R , ab 2 (a + b ) )
1 2 2

Reste montrer que lingalit de Bessel sapplique g (qui nest pas continue) :
n 1 2
2 0
Pour tout n N , n S ( g ) = ck ( g )ek vrifie S n ( g )( x)( g S n ( g ))( x)dx = 0 .

k = n h
n
1 2 2
En effet,
2
0
S n ( g )( x)h( x )dx = c ( g )
k =n
n
0
e ik . x h( x)dx

A.BENHARI 17
 2 2 2

Et
e ik . x h( x )dx = e ikx g ( x) e ikx S n ( g )( x) = 0
0
0
0

2 c k ( g ) 2 c k ( g )

Do
1 2 1 2

2 2
g (t ) dt = g (t ) S n ( g )(t ) + S n ( g )(t ) dt
2 0 2 0
1 2 1 2

2 2
= g (t ) S n ( g )(t ) dt + S n ( g )(t ) dt
20 2 0

0
n

c (f)
2
k
k =n

Donc la famille est bien sommable et on a encore lingalit.

Montrons maintenant la limite :

Lemme :
1 2
Pour tous x R et n N , S n ( f )( x) = ( Dn f )( x) =
2
0
Dn (t ) f ( x t )dt
En effet,
n n
1

a + 2
S n ( f )( x) = c ( f )e ikx
= e ikt f (t )dt e ikx
k = n
k
2 k = n
a
n
1 a + 2 1 a + 2
=
2 a k = n
e ik ( x t ) f (t )dt =
2 a
Dn ( x t ) f (t )dt

1 a + 2
2 a
= Dn (t ) f ( x t )dt
Ainsi, pour tous x R et n N ,
1
2
S n ( f )( x) f ( x) = Dn (t ) f ( x t )dt f ( x)
1 2
2 0
Or, Dn (t )dt = 1
1
2
Donc S n ( f )( x) f ( x) = Dn (u )( f ( x + u ) f ( x))du
1
2
Et aussi S n ( f )( x) f ( x) = Dn (u )( f ( x u ) f ( x ))du

Mais comme Dn est pair,

1
4
S n ( f )( x) f ( x ) = Dn (u )( f ( x + u ) + f ( x u ) 2 f ( x))du

1 sin((n + 12 )u )
4
= ( f ( x + u ) + f ( x u ) 2 f ( x))du
sin u2
1
4
= sin((n + 12 )u ) x (u )du

f ( x + u ) + f ( x u ) 2 f ( x)
si u 0
O x (u ) = sin u2
2( f 'd ( x ) f ' g ( x)) si u = 0
Ainsi, x : [ , ] C est continue ( sin 2 u ~
u u
0 2
)

A.BENHARI 18

e
iu
Et daprs le lemme de Riemann Lebesgue, lim x (u )du = 0

Donc nlim S n ( f )( x) f ( x) = 0
+

Thorme de Fjer :
NB : il existe des fonctions f : R C continues, 2 -priodiques telles que la srie de terme
gnral S n ( f )(0) diverge. (voir complments la fin du cours)
Thorme :
1 n
Pour f C2 , la suite de terme gnral n ( f ) = S k ( f ) converge uniformment
n + 1 k =0
sur R vers f.

Lemme :
Pour tous f C2 et n N , n ( f ) = Fn f .
1 n 1 n 1 n
En effet : n ( f ) =
n + 1 k =0
Sk ( f ) =
n + 1 k =0
Dk f =
n + 1 k =0
Dk f

1
2
Pour tout x R , on a, du fait que Fn (t )dt = 1 :
1 1
n ( f )( x) f ( x) =
2
f ( x t ) Fn (t )dt
2
f ( x) Fn (t )dt

1
2
= ( f ( x t ) f ( x)) Fn (t )dt
On introduit le module de continuit uniforme de f :
Pour 0 , on note ( ) = { f ( x ) f ( y ) , x y } .
Comme f est borne et continue, 2 -priodique, est dfini et continu en 0.
Ainsi, vrifie lim ( ) = 0 .
0
Soit tel que 0 < .
Alors pour tout x R ,
1 1
n ( f )( x ) f ( x)
2
f ( x t ) f ( x) Fn (t ) dt +
2
f ( x t ) f ( x ) Fn (t ) dt

1
2
+ f ( x t ) f ( x ) Fn (t ) dt

Mais Fn est positive (on lavait vu pour le calcul de son expression)

Pour la premire intgrale, comme t , on a f ( x t ) f ( x) ( )
Pour les autres, f ( x t ) f ( x) 2 f
Donc pour tout x R ,

A.BENHARI 19
 1 f
( ) Fn (t )dt + Fn (t )dt + Fn (t )dt

n ( f )( x ) f ( x)
2
1
( ) Fn (t )dt
2
2

sin 2 ( n2+1 t )
f 2
sin ( n +1 t )
+
dt + sin ( 12 t )
2
dt
(n + 1) sin ( 12 t )
2 2

f 1 1
( ) + dt + dt
(n + 1) sin ( 12 )
2 sin ( 1 )
2
2
2 f
( ) +
(n + 1) sin 2 ( 12 )
Comme cest vrai pour tout tel que 0 < et tout x R , on peut prendre = n 1/ 3
2 f
Et alors n ( f ) f (n ) +
1/ 3
0
(n + 1) sin 2 ( n 2 ) n +
1 / 3

vi. Thorme de Parseval

Thorme :
Pour tout couple ( f , g ) dlments de C2 , la famille (cn ( f )cn ( g )) nZ est sommable et on a
1 a + 2

nZ
cn ( f )cn ( g ) =
2 a
f (t ) g (t )dt = < f , g >
n
C'est--dire que nlim
+
ck ( f )ck ( g ) = < f , g >
k = n
1 2
c (f)
2 2 2
En particulier, n = f = f (t ) dt
nZ
2
2 0

Remarque :
Soit E un espace prhilbertien, ( Fn ) une suite croissante (pour linclusion) de sous-espaces
de E de dimension finie. Pour V E , on considre la suite des projections orthogonales p Fn (V )
de V sur Fn .
2 2 2
Pour tout n N , on a alors : V = pFn (V ) + V pFn (V )
Et on a les quivalences :
2 2
(1) lim p Fn (V ) = V (galit de Parseval)
n +
2
(2) lim V pFn (V ) = 0
n +

(3) V G o G = F n
nN
En effet :
(2) (1) dcoule de lgalit de Pythagore.
(2) (3) : si V pFn (V ) 0 , alors nlim p Fn (V ) = V
+

Et n N , pFn (V ) Fn G . Donc V est limite dune suite dlments de G, donc est

adhrent G.
(3) (2) :
Si V G , alors pour tout > 0 , il existe g G tel que V g

A.BENHARI 20
 Donc g est dans lun des Fn , disons FN pour N N
Alors V pFN (V ) V g
(
Or, V p Fn (V ) ) nN
est dcroissante car Fn Fn +1 .
Donc n N , V p Fn (V ) , ce qui montre la limite voulue.
On voit de plus que lgalit de Parseval est vraie pour tout V E si et seulement si
G =E.
Thorme :
Lespace T est dense dans C2 pour et 2 .
Dmonstrations :
1
Pour f C2 , la suite n ( f ) = ( S 0 ( f ) + ... + S n ( f )) converge uniformment sur R vers f.
n +1
Comme tous les n ( f ) sont dans T, il en rsulte que T est dense dans C2 pour . Pour
h C2 , on a de plus h 2 h

Donc n ( f ) tend aussi vers f pour 2 , et T est aussi dense dans C2 pour 2 .
Application :
Soit f C2 . Pour tout n N , n ( f ) Tn .
Donc f S n ( f ) 2 = d ( f , Tn ) f n ( f ) 2
Puis nlim f Sn ( f ) 2 = 0
+

Do lgalit de Parseval :
( )=
n

c (f)
2 2 2 2 2
lim k = lim S n ( f ) 2 = lim f 2
f Sn ( f ) 2
f 2
n + n + n +
k =n
Cas de deux fonctions :
Soient f , g C2 .
Pour tout n N , on a cn ( f )cn ( g ) 1
2
(c ( f )
n
2
+ cn ( g )
2
)
Donc la srie de terme gnral cn ( f )cn ( g ) et celle de terme gnral c n ( f )cn ( g ) convergent
absolument.
Calcul de la somme :
On a
n n
< f , S n ( g ) > = < f , ck ( g )ek > = ck ( g ) < f , ek >
k =n k =n
n n
= c ( g )< e , f
k =n
k k >= c ( g )c ( f )
k = n
k k

n
Do < f , g > ck ( f )ck ( g ) = < f , g S n ( g ) > f 2
g S n ( g ) 2 n 0
+
k =n

C. Thormes fondamentaux

On considre f : R C T-priodique, continue par morceaux.

i. Divergence de la srie de Fourier

Thorme :

A.BENHARI 21
 Il existe des fonctions continues telles que ( S n ( f )(0)) nN diverge.
Lensemble de ces fonctions est mme une intersection dnombrable douverts, dense dans C2
pour .
Dmonstration :
(C2 , ) est une algbre de Banach (une fonction continue 2 -priodique est borne).
On considre alors les formes linaires ln : f C2 ln ( f ) = S n ( f )(0) C .
En considrant le noyau de Dirichlet (pair), on a la formule :
1 1
2 2
ln ( f ) = S n ( f )(0) = f ( t ) Dn (t ) dt = f (t ) Dn (t )dt
1 1
Alors ln est continue pour et ln =
2
Dn (t ) dt = Dn (t ) dt
0
En effet, la continuit de ln et la majoration de sa norme triple sont vidents ; pour lgalit : il
faudrait une fonction continue prenant les valeurs 1 et ayant le mme signe que Dn , ce qui est
impossible. Pour obtenir lgalit, on prend une suite de fonctions continues affines par morceaux
( f k ) kN ayant le mme signe que Dn et valant 1 sauf sur un voisinage des zros de Dn (en nombre
fini). Ainsi, on aura lgalit prs pour tout > 0 , et donc lgalit.
1
( ln = 0 Dn (t ) dt sappelle constante de Lebesgue)

Montrons maintenant que ln tend vers + quand n tend vers + :
1 sin((n + 12 )t )
2 sin((n + 12 )t ) 2 ( n + 12 ) sin x
On a ln 0 sin 2t
=

dt
0 t
dt =
0 x
dx

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

Et donc ln k dx dx 2 + .
k =0 x k =0 k (k + 1) k =0 k + 1
On applique ensuite le thorme de BanachSteinhaus :
Comme C2 est complet pour , si (ln ( f )) nN tait borne pour tout f C2 , alors ( ln ) nN
serait aussi borne, ce qui nest pas le cas.
Il existe donc f C2 telle que ( S n ( f )(0)) nN est non borne, et par l non convergente.
Quant la densit de lensemble de ces fonctions, elle rsulte du mme thorme de
BanachSteinhaus.

ii. Les thormes de Dirichlet

Thorme (convergence simple) :

Soit f : R C T-priodique et C 1 par morceaux.
+
Alors la srie de Fourier c0 + cn ( f )e
in . x
+ cn ( f )e in . x converge simplement sur R vers
n =1
g : R C dfinie par :
Si f est continue en x, g ( x) = f ( x)
1 +
Sinon, g ( x) = ( f ( x ) + f ( x ))
2
Remarque :
Si f est continue, g = f .

A.BENHARI 22
 Plus gnralement, si f est sauts symtriques, c'est--dire si en tout point on a
1
f ( x) = ( f ( x + ) + f ( x )) , alors S n ( f ) converge simplement vers f.
2
Thorme :
Sous les mmes hypothses, si de plus f est continue, alors la convergence de la srie
est normale.

Dmonstration :
Par changement de variable affine, on ramne le cas T-priodique 2 -priodique :
Soit f : R C T-priodique continue par morceaux.
Alors, en faisant le changement de variable u = .t :
1 T 1 2 u in.u
cn ( f ) = f (t )e in .t dt =
2 0
f ( )e du = cn ( g )
T 0
o g : R C , continue par morceaux 2 -priodique, est dfinie par
Tx
x R , g ( x) = f
2
Pour T = 2 , le deuxime thorme est dj vu.
Pour le premier :
On reprend les formules donnant S n ( f )( x) :
1
2
S n ( f )( x) = f ( x t ) Dn (t )dt

1 1
2 0 2 0
= f ( x t ) D n ( t ) dt + f ( x + u ) Dn (u )du

1
2 0
= ( f ( x + t ) + f ( x t )) Dn (t )dt
Donc
1
2 0
S n ( f )( x) 12 ( f ( x + ) + f ( x )) = ( f ( x + t ) f ( x + ) + f ( x t ) f ( x )) Dn (t )dt

1
2 0
= x (t ) sin((n + 12 )t )dt

f (x + t) f (x+ ) + f (x t) f (x )
si t 0
O x (t ) = sin 2t , continue par morceaux.
+
2( f ' ( x ) f ' ( x )) si t = 0


Ainsi, daprs le lemme de RiemannLebesgue, 0
x (t ) sin(( n + 12 )t )dt n 0
+

Et donc S n ( f )( x) n 12 ( f ( x + ) + f ( x ))
+

Autre dmonstration :
- En x = 0 :
Si f est C 1 par morceaux, alors nlim S n ( f )(0) = 12 ( f (0 + ) + f (0 )) .
+

En effet, si f est continue, on a dj vu

x
Pour f 0 2 -priodique telle que f 0 ( x ) = si x ] 0,2 [ et f 0 ( x) = 0 si x = 0 on a vu
2
+
sin nx
que la srie de Fourier est et quelle converge simplement vers f 0 sur R.
n =1 n
On a ensuite le rsultat pour toute fonction C 1 par morceaux par linarit.
- Puis on fait un dcalage pour x R .
A.BENHARI 23
 iii. Formules de Parseval

Thorme :
Soit T > 0 , f , g : R C continues par morceaux et T-priodiques.
Alors la famille (cn ( f )cn ( g )) nZ est sommable, et on a :
1 a +T

nZ
cn ( f )cn ( g ) = f (t ) g (t )dt
T a
En particulier, pour f = g , les familles suivantes sont sommables et on a :
1 2
+
1 a +T
2 an ( f ) + bn ( f ) =
2 2 2 2
c n ( f ) = a 0 ( f ) + f (t ) dt
nZ n =1 T a
Dmonstration :
On se ramne ici encore T = 2 de la mme faon.
Le rsultat a t vu pour f et g continus.
On considre lensemble D des fonctions continues par morceaux 2 -priodiques
sauts symtriques.
1 2
2 0
On munit alors D de < f , g > = fg .
Alors < , > est un produit scalaire sur D.
Et C2 est dense dans D pour la norme 2 associe ce produit scalaire.
En effet :
Pour le caractre dfini positif : (les autres sont clairs)
Soit f D , supposons que < f , f > = 0
2

2
Alors f (t ) dt = 0
0
2
Donc f (t ) est nulle en tout point de continuit.
Soient 0 = a0 < a1 < ... < a p = 2 les discontinuits ventuelles de f.
] [
Alors f est nulle sur ] ai , ai +1 [ pour tout i p 1 et sur a p , a1 + 2 .
Donc pour tout i 1 , f (ai ) = f (ai ) = 0 , c'est--dire f ( ai ) = 0 .
+

Donc f est nulle

(Remarque : si on avait suppos f seulement continue par morceaux, le rsultat est faux)
Soit maintenant f D avec une seule discontinuit a ] 0;2 [ .
Pour n N * assez grand, on note n concidant avec f sur [ 0,2 ] \ ] a 1n , a + 1n [ et affine
sur [ a 1n , a + 1n ] .
1 a + 1n

2 2
On a ainsi n f 2 = n (t ) f (t ) dt
2 na 1

Or, f est borne (car continue par morceaux) sur [ 0,2 ] et t [ 0,2 ], n (t ) f .
2
1 a + 1n 2 f
2 a 1n
2 2
Donc n f 4 f dt = n 0
2
n +

Do la densit de C2 dans D. (on fait ensuite par linarit pour f ayant plusieurs points
de discontinuit)

Montrons maintenant la formule de Parseval sur D.

Posons A( f , g ) = < f , g > et B ( f , g ) = cn ( f )cn ( g ) pour f , g D .
nZ

A.BENHARI 24
 Dj, A est sesquilinaire continue sur D 2 .
Pour B :
Dj, B est dfini car daprs lingalit de Bessel (dont on a vu quelle est valable pour des
2
( 2
)
fonctions continues par morceaux), cn ( f ) nZ et cn ( g ) nZ sont sommables, et on a ( )
2 2
pour tout n Z cn ( f )cn ( g ) 12 ( cn ( g ) + cn ( f ) )
( )
Donc cn ( f )cn ( g ) nZ est sommable et B est bien dfinie.
De plus B est sesquilinaire, continue pour 2 :
On a en effet, daprs une ingalit de Cauchy-Schwarz :
1/ 2 1/ 2
N
N 2 N 2

k = N
c k ( f )c k ( g )
k = N
c k ( f ) ck ( g )
k = N
N
Puis avec lingalit de Bessel c ( f )c ( g )
k = N
k k f 2
g 2

Donc par passage la limite B ( f , g ) f 2

g 2
2
Do la continuit de B. Ainsi, A et B sont continues sur D 2 , gales sur C2 dense dans D 2 ,
donc gales partout.
Cas des fonctions continues par morceaux sauts quelconques :
Lemme :
~ ~
Soit f : R C continue par morceaux 2 -priodique ; alors il existe f D tel que f = f
sur [ 0,2 ] sauf en un nombre fini de points.
En effet :
~
Il suffit de prendre f ( x ) = f ( x) si f est continue en x
~
Et f ( x ) = 12 ( f ( x + ) + f ( x )) sinon.
Pour f , g : R C continues par morceaux 2 -priodiques, on a :
~ ~
n Z, cn ( f ) = cn ( f ) et f 2 = f 2
~
Donc comme la formule de Parseval est vraie pour f et g~ , elle lest pour f et g.

D. Exercices et complments

i. Fonctions variation borne

Gnralits :
Une fonction f : [ a, b] C est dite variation borne sil existe M R + tel que
p 1
a = a0 < a1 < ... < a p = b, f (ai +1 ) f (ai ) M
i =0
p 1

On pose alors V f ([ a, b] ) = sup f ( ai +1 ) f (ai ) , variation totale de f sur [ a, b] .

a = a0 <...< a p =b i = 0

Proprits :
(1) Lensemble des fonctions [ a, b] C variation borne est un sous-espace vectoriel de
F ([ a, b], C )
(2) Soit f : [ a, c ] C et b [ a, c ] .
Si f est variation borne sur [ a, b] et sur [ b, c ] , alors elle est variation borne sur [ a, c ]

A.BENHARI 25
 et V f ([ a, c ]) = V f ([ a, b]) + V f ([ b, c ] )
(3) Si f est de classe C 1 sur [ a, b] , alors elle est variation borne.
(4) Une fonction lipschitzienne ou monotone sur [ a, b] est variation borne sur [ a, b] .
Dmonstration :
Dj, cest un espace vectoriel
Supposons f variation borne sur [ a, b] et [ b, c ] .
Si a = b ou b = c , le rsultat est clair. Sinon :
Soient a = a0 < a1 < ... < a p = c des rels.
On note k tel que ak b et ak +1 > b .
k 1
Alors f (ai +1 ) f (ai ) + f (b) f (ak ) V f ([ a, b]) (vrai encore si b = ak )
i =0
p 1
Et f (ai +1 ) f (ai ) + f (ak +1 ) f (b) V f ([ b, c ] )
i = k +1
Donc
p 1 k 1 p 1

i =0
f (ai +1 ) f (ai ) = f (ai +1 ) f (ai ) +
i =1

i = k +1
f ( ai +1 ) f (ai ) + f (ak +1 ) f (ak )
k 1 p 1
f (ai +1 ) f (ai ) + f ( ai +1 ) f (ai )
i =1 i = k +1

+ f (ak +1 ) f (b) + f (b) f (ak )

V f ([ a, b] ) + V f ([ b, c ])
Donc f est variation borne sur [ a, c ] et dj V f ([ a, c ]) V f ([ a, b]) + V f ([ b, c ] ) .
Soit > 0 . Alors V f ([ a, b] ) + V f ([ b, c ] ) V f ([ a, c ] ) + .
En effet, il existe alors a = a0 < ... < ak = b rels tels que
k 1

f (ai +1 ) f (ai ) V f ([ a, b] ) 2
i =0
p 1
Et b = ak < ... < a p = c tels que f (ai +1 ) f (ai ) V f ([ b, c ]) 2
i=k
p 1
Et donc V f ([ a, b] ) + V f ([ b, c ] ) + f (ai +1 ) f ( ai ) + V f ([ a, c ])
i =0

Donc comme cest valable pour tout > 0 , on a V f ([ a, b] ) + V f ([ b, c ] ) V f ([ a, c ] )

Do lgalit.
Pour (3) : pour tous a = a0 < ... < a p = b , on a
p 1 p 1

f (ai +1 ) f (ai ) =
ai +1 b
f ' (t )dt f ' (t ) dt .
ai a
i =0 i =0
Pour (4) :
Soit f lipschitzienne :
Il existe alors k R + tel que x, y [ a, b ], f ( x) f ( y ) k x y .
Soient a = a0 < ... < a p = b des rels.
p 1 p 1
Alors
i =0
f (ai +1 ) f (ai ) k ai +1 ai
i =0

Mais comme lapplication x x est variation borne sur [ a, b] (elle y est de classe C 1 ),

A.BENHARI 26
 p 1
il existe M R + tel que pour tous rels a = a0 < ... < a p = b , on ait a
i =0
i +1 ai M .
p 1
Et on a alors
i =0
f (ai +1 ) f (ai ) M ' o M ' = kM

Donc f est variation borne.

Si maintenant f est monotone, disons par exemple croissante :
Soient a = a0 < ... < a p = b des rels.
p 1 p 1
Alors
i =0
f (ai +1 ) f (ai ) = ( f (ai +1 ) f (ai )) = f (b) f (a )
i =0
p 1
Donc i =0
f (ai +1 ) f (ai ) f (b) f (a ) .

Donc f est variation borne ( f (b) f (a ) 0 )

Thorme :
Soit f : [ a, b ] R . Alors f est variation borne si et seulement si elle est diffrence de
deux fonctions croissantes.
En particulier, lensemble des fonctions [ a, b] C variation borne est le
sous-espace engendr par les fonctions valeurs relles et croissantes.
Dmonstration :
Soit f : [ a, b ] R . Ainsi, pour tout x [ a, b] , f est variation borne sur [ a, x ] , et on peut
noter F ( x) = V f ([ a, x ] )
Alors F est croissante car pour x, y tels que x > y , on a :
F ( x) = F ( y ) + V f ([ x, y ]) F ( y )
Montrons alors que B : x F ( x) f ( x) est aussi croissante :
Pour tous x > y et toute subdivision a = y0 < ... < y p = y de [ a, y ] ,
a = y0 < ... < y p = y < y p +1 = x est une subdivision de [ a, x ] , donc
p 1

k =0
f ( yk +1 ) f ( yk ) + f ( x) f ( y ) F ( x )

Et en passant la borne suprieure sur les subdivisions de [ a, y ] ,

on obtient F ( y ) + f ( x) f ( y ) F ( x) , soit
B ( x ) B ( y ) = ( F ( x ) f ( x)) ( F ( y ) f ( y )) f ( x ) f ( y ) ( f ( x ) f ( y )) 0
Donc f = F B avec F et B croissantes.
La rciproque est vraie daprs les proprits (1) et (4) prcdentes.
Pour les fonctions complexes, si f est variation borne, alors Re( f ) et Im( f ) le sont
aussi, donc sont combinaisons linaires de fonctions croissantes et donc f aussi.

Cas des fonctions 2 -priodiques :

Proprit :
Soit f : R C continue par morceaux 2 -priodique et variation borne sur [ 0,2 ] . Pour
K
tout n Z * , on a cn ( f ) o K = V f ([ 0,2 ])
2n
Remarque :
Une fonction variation borne est rgle car elle est combinaison linaire de fonctions
croissantes, qui sont rgles (c'est--dire qui admettent une limite finie droite et gauche en tout
point). Avec une thorie de lintgration plus complte, on pourrait donc se passer de la continuit par
morceaux.
A.BENHARI 27
 Dmonstration :
Pour n 1 et k = 0,...2n 1 , on a :
1 2 in.t 1 2 k n in.u ik .
2 0 2 k n
cn ( f ) = e f (t ) dt = e f (u + k n ) du

1 2 in.t
2 0
= (1) k e f (t + k n )dt
2 n 1 2 2 n 1
4 .ncn ( f ) = 2 cn ( f ) = e in.t (1) k f (t + k n ) dt
Donc 0
k =0
k =
0

2 n .c n ( f )

Do
2
4 . ncn ( f ) f (t ) f (t + n ) + f (t + 2 n ) ... f (t + (2n 1) n ) dt
0

V f ([ t , t + 2 ] )dt
2

Mais comme V f ([ t , t + 2 ] ) = V f ([ 0,2 ] ) (par priodicit), on a

4 . ncn ( f ) 2V f ([ 0,2 ] )
Un exemple :
+
1
La fonction f : x n
n =1
2
cos(n 3 x) est continue mais pas variation borne ; ce nest pas

une diffrence de fonctions croissantes.

f est bien dfinie, continue et 2 -priodique sur R, car la srie trigonomtrique la dfinissant est
normalement convergente. De plus, comme il y a convergence normale, ses coefficients de Fourier se
1 3
calculent en intgrant terme terme les sries de termes gnraux 2 cos(n x) cos( px) et
n nN *
1 3
2 cos(n x) sin( px) pour p N .
n nN *
0 si k n' est pas un cube non nul
On a ainsi k 1, bk ( f ) = 0 et ak ( f ) = 1 si k = p 3
p 2
(kak ( f )) kN * nest donc pas borne, et f nest pas variation borne.

ii. Thorme de DiniLipschitz

Dfinition :
Une fonction f : I C est dite hlderienne lorsquil existe K > 0 et > 0 tels que

x, y I , f ( x) f ( y ) K x y .
Thorme :
Si f est 2 -priodique et hlderienne, la srie de Fourier de f converge uniformment vers f
sur R.
Remarque :
Plus gnralement, la conclusion subsiste si on remplace le caractre hlderien par le fait que
(t )
le module de continuit uniforme de f est tel que t soit intgrable sur ]0;1]
t
On sait quil existe des fonctions continues dont la srie de Fourier diverge en au moins un point.
Lemme de RiemannLebesgue uniforme :
Soit K : [ a, b] [ c, d ] C continue. Alors L( x, ) = K ( x, t )e it dt tend vers 0 lorsque
d

A.BENHARI 28
 tend vers , et ce uniformment en x [ a, b] .
En effet :
On a dj la convergence simple vers 0 sur [ a, b] daprs le lemme de RiemannLebesgue
classique.
On munit R 2 de la norme ( x, t ) = max( x , t ) et on note W le module de continuit uniforme de
K sur [ a, b] [ c, d ] . Ainsi, W est croissant, continu en 0 (car K est continue sur un compact, donc
uniformment continue) et W (0) = 0 .
Soit > 0 .

On note > 0 tel que W ( ) < . On divise alors [ a, b] en sousintervalles [ ai , ai +1 ] avec
2(d c)
a = a0 < ... < a p = b de sorte que i p 1, ai +1 ai < d
Comme on a convergence simple, il existe > 0 tel que pour tout R ,
> i [ 0, p ], L(ai , ) 2
Ainsi, pour tout x [ a, b] , il existe i tel que x [ ai , ai +1 ] et donc pour tout R tel que > ,
on a :
d
L( x, ) L(ai , ) + L( x, ) L(ai , ) + K ( x, t ) K (ai , t ) dt
c

+ ( d c)W ( )
2

Pour le thorme maintenant :

Il suffit de montrer la convergence uniforme de S n ( f ) vers f sur [ 0,2 ] .
1 sin((n + 12 )t )
2
On a dj vu que n S ( f )( x ) f ( x ) = ( f ( x t ) f ( x )) dt .
sin 2t
(t)
Soit > 0 . Comme est intgrable sur ]0,1] , on peut choisir tel que 0 < < et
t
(t )
0 t dt < 3 .
On dcoupe lintgrale prcdente en trois morceaux : [ , ] , [ , ] et [ , ] .
Pour tout x [ 0,2 ] , on a alors (en utilisant le fait que sin( 2t ) t sur [ 0, ] ) :
sin((n + 12 )t ) ( t )


( f ( x t ) f ( x))
sin 2
t
dt
sin t
2
sin((n + 12 )t ) dt

(t )
2 dt 2
0 t 3
sin((n + 12 )t )
Enfin, selon le lemme, pour ce > 0 fix, x ( f ( x t ) f ( x)) dt tend
sin 2t
uniformment vers 0 lorsque n + et il en est de mme pour
sin((n + 12 )t )
x ( f ( x t ) f ( x)) dt . Ainsi, il existe N N tel que pour tout n N ,
sin 2t
sin((n + 12 )t ) sin((n + 12 )t )
( f ( x t ) f ( x))
sin 2t
dt 2
3
et
( f ( x t ) f ( x))
sin 2t
dt 2
3
Ainsi, pour tout n N et tout x [ 0,2 ] , on a S n ( f )( x) f ( x )

A.BENHARI 29
 Do la convergence.

iii. Thorme de Bernstein

Thorme :
Si f est 2 -priodique et hlderienne dexposant b > 12 (par exemple lipschitzienne), alors la
srie de Fourier converge normalement vers f.
Remarque :
Avec la suite de RudinShapiro, on verra que le thorme de Bernstein est optimal, c'est--dire
quil existe f hlderienne dexposant suprieur dont la srie de Fourier nest pas
normalement convergente. Il faut enfin comparer ces proprits au thorme de DiniLipschitz
selon lequel la srie de Fourier dune fonction hlderienne converge uniformment vers la
fonction (et pour tout exposant de Hlder)
Dmonstration du thorme :
Soit f 2 -priodique hlderienne de coefficients de Fourier (cn ) nZ .
Soit h R . Un changement de variables montre que les coefficients de Fourier de
g h : x f ( x + h) vrifient cn ( g h ) = e inh cn ( f ) , et ceux de k h = g h g h vrifient alors
cn (k h ) = 2i sin( nh)cn ( f )
Ainsi, daprs la formule de Parseval,
2
f ( x + h) f ( x h) dx = 8 sin 2 (nh) cn ( f )
2 2
0
nZ
b
On note a, b tels que x, y R , f ( x) f ( y ) a x y ( b > 12 )
2

Soit alors N 1 ; on applique la relation prcdente avec h = .
4N
2
Comme pour x , on a sin x x , pour N < n 2 N , on peut minorer sin(nh) par
2
2 1
nh .
2
Ainsi,
2
2 .a 2 (2h) 2b sin
2 2
f ( x + h) f ( x h) dx 8 2
(nh) cn ( f )
0
N < n 2 N

c (f)
2
2 n
N < n 2 N
2N
a 2 2b
C'est--dire N 1, ck ( f ) + ck ( f ) cN
2b 2 2
o c =
k =N 4b
Montrons maintenant que la famille (cn ) nZ est sommable, c'est--dire que la srie de terme

gnral p 2 p <
t = cn
n 2 p+1
converge (en faisant un groupement de termes).
t p contient 2 p +1 termes, donc lingalit de CauchySchwarz et lingalit donnent :
p +1 p +1

cn .1 ( cn )1/ 2 2
2
tp = 2
c.(2 p ) b 2 2
= c' r p
p p +1 p p +1
2 < n 2 2 < n 2

1
Avec r = 21/ 2b . Comme b > , la srie gomtrique de raison r converge, donc la famille
2
(cn ) nZ est sommable, c'est--dire que la srie de Fourier de f converge normalement.
Reste montrer que la somme de cette srie est bien f :

A.BENHARI 30
 Soit g la fonction somme de la srie de Fourier de f. Comme il y a convergence normale, g est
continue et pour calculer ses coefficients, on peut intgrer terme terme. Ainsi, f et g sont
continues et on remarque quelles ont les mmes coefficients de Fourier. Donc elles sont gales.

iv. Polynmes de RudinShapiro

On considre les polynmes dfinis par :

P0 = Q0 = X et pour tout n N ,
n n
Pn +1 = Pn + X 2 Qn , Qn +1 = Pn X 2 Qn
Proprits :
(1) Pour tout n N , Pn et Qn sont des polynmes de degr 2 n et de valuation 1 (rappel :
la valuation est le coefficient minimal non nul, ou aussi la multiplicit de 0 en tant
que racine du polynme).
(2) Il existe une suite (cn ) n1 de rels 1 telle que :
2n 2n 2 n1 2n
n 1, Pn = ck X , Qn = ck + 2 n X = ck X
k k k
c X k
k

k =1 k =1 k =1 k = 2 n1 +1
2 2
(3) Pour tout z de module 1, on a Pn ( z ) + Qn ( z ) = 2 n +1

Dmonstration :
(1)
2n 2n
(2) : Pour tout n N , Pn et Qn sont de la forme Pn = ck ,n X , Qn = d k ,n X k , avec k

k =1 k =1

ck ,n = 1 , d k ,n = 1 . On a de plus, pour 1 k 2 , ck ,n +1 = d k ,n +1 = ck ,n et pour 2 n + 1 k 2 n +1 ,

n

ck ,n +1 = d k ,n +1 = d k 2n ,n .
Comme Pn est le tronqu en degr 2 n de Pn +1 (c'est--dire que les 2 n premiers
coefficients de Pn sont les mmes que ceux de Pn +1 ), en posant ck = ck ,n o n est un entier
quelconque tel que 2 n k , on dfinit une suite (cn ) n1 pour laquelle
2n
n N *, Pn = ck X k .
k =1
n
Lgalit Qn = X 2 ( Pn +1 Pn ) donne ensuite la premire expression de Qn , et la seconde
n 1 n1
dcoule de la comparaison entre Pn = Pn 1 + X 2 Qn 1 et Qn = Pn 1 X 2 Qn 1
(3) : on a mme pour tout z C ,
2 2 2 2n 2
Pn +1 ( z ) + Qn +1 ( z ) = 2 Pn ( z ) + 2 z Qn ( z )
En effet, pour tous a, b C ,
2 2
a + b + a b = ( a + b) ( a + b ) + ( a b )( a b )
= aa + ab + ba + bb + aa ba ab + bb
2 2
= 2a + 2b
Et on utilise ensuite la dfinition de Pn +1 et Qn +1 .

A.BENHARI 31
 Ensuite, on fait par rcurrence pour lgalit avec z = 1 .

v. Suite de RudinShapiro

Dfinition :
La suite (ck ) kN * sappelle suite de RudinShapiro (elle a t introduite indpendamment
par les deux personnes dans les annes 50)
Calcul des ck :
Proprit (Brillhart et Carlitz) :
On a pour tout k N * , ck = (1)
N (k )
o N (k ) est le nombre de 11 dans lcriture en base
2 de k 1 .
Dmonstration :
Par rcurrence : dj, la proprit est vraie pour k 4 . Supposons la vraie pour k 2 n +1
pour n N . Avec les relations
n +1 n +1 n n +1
Pn + 2 = Pn +1 + X 2 Qn +1 = Pn +1 + X 2 ( Pn X 2 Qn ) = Pn +1 + X 2 ( Pn +1 + 2 Pn ) ,
c j si 1 j 2 n
on obtient c2 n+1 + j = n +1
c j si 2 + 1 j 2
n

De plus, si 1 j 2 n , lcriture binaire de 2 n +1 + j 1 sobtient en ajoutant 10 gauche de

celle de j 1 , donc le nombre de 11 ne change pas ; et si 2 n + 1 j 2 n +1 , lcriture
binaire de 2 n +1 + j 1 sobtient en ajoutant 1 gauche de celle de j 1 ; or, dans ce cas,
lcriture binaire de j 1 commence dj par un 1, donc le nombre de 11 augmente de 1.
La relation est donc vraie pour k 2 n + 2 , ce qui achve la rcurrence.

vi. Des polynmes trigonomtriques

Pour t R et p 1 , on note n lunique entier tel que 2 n 1 < p 2 n , et on pose alors

p p 2 n1 p
Fp (t ) = ck e ikt
et G p (t ) = ck + 2 n e = ck e
ikt ikt
c e k
ikt

n1
k =1 k =1 k =1 k =2 +1

Ainsi, F2n (t ) = Pn (e ) et G2n (t ) = Qn (e ) .

it it

Proprit :
Pour tout p 1 et tout x R , Fp ( x) A p et G p ( x ) A p o A = 2 + 2 .
En effet :
Lorsque p est une puissance de 2, lingalit dcoule de la proprit (3) vue en 1). (car
2 A et F2 n (t ) = Pn (e ) , G2n (t ) = Qn (e ) )
it it

Supposons les ingalits vraies jusqu lindice p 1 2 . Alors, en considrant n tel que
2 n + 1 p 2 n +1 1 , on a pour tout t R :
p p 2n
Fp (t ) = Pn (e ) +
it
c e k
ikt
= Pn (e ) + e
it i 2n t
c
k =1
k + 2n
e ikt
k = 2 n +1
p 2n p 2n
Si p 2 n 2 n 1 , alors c
k =1
k + 2n
e ikt = c e
k =1
k
ikt
= Fp 2 n (t ) (daprs la proprit (2) du 1))

Et si p 2 n > 2 n 1 , on a p 2 n < 2 n +1
2 n = 2 n donc

A.BENHARI 32
 p 2n 2 n1 p 2n

c
k =1
k + 2n
e = ck e
ikt

k =1
ikt
c e n 1
k
ikt
= G p 2n (t )
k =2 +1
n n
Do Fp (t ) = F2n (it ) + e Fp 2n (t ) ou Fp (t ) = F2 n (it ) + e G p 2n (t )
i2 t i2 t

Et dans les deux cas par hypothse de rcurrence :

Fp (t ) 2 n +1 + A p 2 n .
p
Mais comme 2 n p et p 2
n
, on a :
2
A
t R , Fp (t ) ( 2 + ) p=A p.
2
Le cas de G p est analogue.

vii. Des sries trigonomtriques

Thorme :
+
ck
Pour tout ] 12 ;1] , la srie k e ikx
converge uniformment sur R mais pas
k =1
+
e ikx
normalement. Sa somme h est continue, 2 -priodique et vrifie (h h )( x) = 2
k =1 k

Remarque :
On peut remplacer f (k ) = k par toute fonction f dcroissant vers 0 telle que la srie de
terme gnral k ( f (k ) f (k + 1)) converge. On ne peut pas amliorer ce rsultat car,
daprs la formule de Parseval, la srie de terme gnral f ( k ) 2 doit converger.
Dmonstration :
Par une transformation dAbel, on a pour n > m , la majoration uniforme :
m
ck e ikt m
Fk (t ) Fk 1 (t ) Fm 1 (t ) Fn (t ) n 1 1 1

k =n k

=
k
=
m
+ + Fk (t )
n k ( k + 1)


k =n k =m
n 1
1 1/ 2 + 1
A m1/ 2 + n1/ 2 +

A 2m + +1/ 2
k = m ( k + 1) k k =m k
1 1
(la srie de terme gnral +1/ 2 converge car + > 1 )
k 2
On voit donc que la srie vrifie le critre de Cauchy pour la convergence uniforme. Elle
est donc uniformment convergente. Ainsi, la somme h de la srie est continue, 2 -
priodique, et ses coefficients de Fourier sobtiennent en intgrant terme terme la srie
trigonomtrique :
0 si n 0
cn (h ) = 1
si n 1
n
0 si n 0
Lexpression des coefficients de Fourier dune convole donne n c ( h h ) = 1 si n 1 ,
n 2
et comme la srie de Fourier de h h est uniformment convergente (car normalement,
puisque 2 > 1 ), sa somme g est une fonction continue dont les coefficients sobtiennent

A.BENHARI 33
 terme terme, c'est--dire que ce sont ceux de h h . La formule de Parseval applique
+
e in.t
h h g montre alors que h h = g , c'est--dire que t R , (h h )(t ) = 2
n =1 n

D f (0,1)
viii. Une srie entire uniformment convergente pas normalement convergente sur

Principe du maximum pour les polynmes :

Proprit :
Pour tout polynme P C [ X ] , on a sup P( z ) = sup P ( z )
z 1 z =1

Preuve :
d
Soit P = ak X C [ X ] . Comme P est continu sur le compact D f (0,1) , il existe
k

k =0

z0 D f (0,1) tel que sup P( z ) = P( z0 ) . Supposons z0 < 1

z 1

On considre alors r > 0 tel que z0 + r < 1 . La formule de Taylor polynomial en z0

donne :
d
r k eikt
P ( z0 + re it ) = P ( k ) ( z0 )
k =0 k!
2
Et donc 0
P ( z0 + re it )dt = 2P ( z0 ) . Ainsi, par choix de z0 ,
1 2
2 0
P( z0 ) P ( z0 + re it ) dt P ( z0 )

Soit, comme P est continu, t R , P( z0 + re ) = P( z0 ) .

it

La formule de Parseval donne alors :

d 2k
1 2 2 r

2 0
it 2

2
P( z0 ) = P ( z 0 + re ) dt = P (k )
( z 0 )
k =0 ( k!) 2
Donc P est le polynme constant P = P( z ) et on a sup P( z ) = sup P ( z )
0 z 1 z =1

Remarque :
(1) On a mme prouv ici que si le maximum est atteint dans le disque ouvert, alors P est
constant.
(2) La preuve sapplique toute fonction analytique sur un ouvert contenant D f (0,1) , et en
particulier toute fonction somme dune srie entire de rayon de convergence
strictement suprieur 1.

Une srie entire :

Proprit :
+
1 zk
Pour 1 > , la srie entire
2
ck
k =1 k
est uniformment convergente sur D f (0,1) mais

pas normalement convergente.

Dmonstration :
1
Le principe du maximum (pour les polynmes) montre que pour > et n > m , on a :
2
n
zk n
zk
sup
zD f ( 0 ,1) k = m +1
ck
k
= sup k k = Fn Fm
z =1 k = m +1
c

A.BENHARI 34
 +
zk
Comme la suite ( Fn ) nN * est uniformment convergente sur R, la srie entire
k =1 k
est ck
1
uniformment de Cauchy, donc uniformment convergente sur D f (0,1) . Pour 1 > , elle
2
nest pas normalement convergente.

ix. Comment dvelopper une fonction en srie de Fourier ?

Dvelopper une fonction f en srie de Fourier signifie :

- Dterminer les coefficients de Fourier de f.
- Appliquer le thorme de Dirichlet

On a deux mthodes :
(1) La mthode directe, calcul des coefficients, vrification du fait que f est de classe C 1 par
morceaux.
(2) Mthode indirecte : (on suppose que T = 2 )
+
On dveloppe f en srie trigonomtrique , c'est--dire f ( x) = u n ( x ) o u0 = 0 et
n =0

cos nx + n sin nx
n 1, un ( x ) = n et on montre que les coefficients vrifient :
ou n e + n e
inx inx

+
1 a + 2
n Z, cn ( f ) = n , c'est--dire que n = e in.t u k (t )dt , galit quon obtient
2 a
k =0
+
gnralement en constatant que la srie de fonctions u
k =0
k (t )e in.t est uniformment convergente

sur [ a, a + 2 ] .

Exemples :
Soit C , f dfinie par x ] , ], f ( x) = e . x , 2 -priodique.
Graphe pour a = 12 :

f est de classe C 1 par morceaux, 2 -priodique

1 ( in ) t
2
Coefficients de Fourier : on a cn ( f ) = e dt

(1) Si iZ , alors x R , f ( x) = e in0 x donc f T . Donc S ( f ) = f

(2) Si iZ ,

e ( in ) t
1 e ( in ) e ( in ) n e

e
cn ( f ) = = = (1)
2
in 2 ( in) 2 ( in)
sh ( )
= (1) n
( in)
Donc la srie est simplement convergente, mais pas normalement.
Le thorme de Dirichlet donne :
A.BENHARI 35
 sh ( ) 1 + (1) n e inx (1) n e inx x
Pour x ] , [ , + + = e
n =1 in + in
sh ( ) 1 + 1 1 e + e
Et en x = : + + =
n =1 in + in 2
sh ( ) 1 + 2
C'est--dire + = ch ( ) pour C \ iZ
n =1 2 + n 2
1 + 2
Consquence : C \ iZ, + 2 = coth( )
n =1 + n 2

Exemple 2 :
Soit a ] 1,1[ . Dvelopper f : x ln(1 a cos x) en srie de Fourier.
Etude :
F est de classe C , 2 -priodique. Le thorme de Dirichlet sapplique donc :
+
x R , f ( x) = an ( f ) cos nx (f est paire) et on a mme convergence normale.
n =0
a sin x
x R , f ' ( x) =
1 a cos x
1
On suppose a > 0 . On pose alors a = avec > 0 .
ch
sin x e ix e ix
On a alors x R , f ' ( x) = = i
ch cos x 2ch e ix e ix
Soit en posant z = e ix :
z 2 1 z 2 1
f ' ( x) = i 2 =i
z 2 zch + 1 ( z e )( z e )
e 2 1 e 2 1
= i+i + i
(e e )( z e ) ( z e )(e e )
+ n n + e n
= i i z e + i n
n =0 n =1 z
e
(car ze = = e < 1 )
z

( )
+ +
f ' ( x) = i e inx e n e inx e n = 2 e n sin nx
n =1 n =1
x +
e sinntdt
x
Donc f ( x ) = 0 f ' (t )dt + f (0) = ln(1 a ) + i 0
n

n =1 un (t )

Or, la srie de terme gnral u n est normalement convergente sur R. ( un

= e n )
Et les un sont continus.

Donc

A.BENHARI 36
 + n + n
+
1 cos nx e e
f ( x) = ln(1 a ) + 2 e n = ln(1 a) + 2 2 cos nx
n =1 n n =1 n

n =1 n

ln(1 e )

+ n
1 a e
= ln
2
2
(1 e ) n =1
n
cos nx


0 n
2
Attention :
On a un dveloppement de f en srie trigonomtrique, mais on nest pas sr que cest sa srie de
2e n
Fourier. Il faut maintenant montrer que 0 = a0 ( f ) et n N *, an ( f ) = = n
n
2 2 +
Pour p 1 a
, on a p ( f ) =
0
f ( t ) cos( pt ) dt = n cos nt cos ptdt
0 n =0
2e n
On pose vn (t ) = n cos nt cos pt . Alors vn = n = , terme gnral dune srie
n
convergente.
On peut donc intgrer terme terme, et :
2 +
a p ( f ) = n cos nt cos ptdt = n
n=0 0


= p ,n
2

x. Injectivit de f (cn ( f )) nZ pour les fonctions continues

Thorme :
Lapplication qui f C2 associe (cn ( f )) nZ C est linaire injective.
Z

Corollaire :
Soient f , g : R C 2 -priodiques continues telles que n Z, cn ( f ) = cn ( g )
Alors f = g .
Remarque :
Lapplication est aussi injective sur D.
Si f , g : R C , 2 -priodiques continues par morceaux sont tels que n Z, cn ( f ) = cn ( g ) ,
alors f et g sont gales sauf sur une partie finie de [ 0,2 ] .
(Et ce mme si les sries divergent)
Dmonstration :
On applique lgalit de Parseval f g :
h 2 = cn (h) . Donc si n Z, cn (h) = 0 , alors h = 0 . Si de plus h est continue ou continue
2 2

2
nZ
par morceaux sauts symtriques, alors h est nulle.

A.BENHARI 37
 xi. Taille des coefficients et rgularit

Rappel :
Si f : R C est de classe C 1 et 2 -priodique, alors n Z, cn ( f ' ) = incn ( f )

Proposition :
1
Si f : R C est 2 -priodique et de classe C k , alors cn ( f ) n= o k
n
Dmonstration :
k
1
Pour n 0 , on a cn ( f ) = cn ( f (k ) )
in
Le lemme de RiemannLebesgue pour f (k ) montre que :
lim n k cn ( f ) = lim cn ( f ( k ) ) = 0
n n

Do le rsultat.

Proposition :
Soit f : R C , 2 -priodique continue. Soit k N
Si la srie de terme gnral n ( cn ( f ) + c n ( f ) ) converge, alors f est de classe C k .
k

1
En particulier, si cn ( f ) n= O k + 2 , alors f est de classe C k
n
Remarque :
On obtient lquivalence, pour f : R C , 2 -priodique continue :

f est de classe C p N , lim n cn ( f ) = 0
p
n

Dmonstration de la proposition :
+
Posons g ( x) = c0 ( f ) + cn ( f )e + c n ( f )e . Alors :
inx inx

n =1

(1) g est dfinie et de classe C k sur R, 2 -priodique.

u0 ( x ) = c0 ( f )
En effet, posons pour n N et x R , inx
u n ( x ) = cn ( f )e + c n ( f )e
inx

Alors pour tout n N , u n est de classe C k et

j [ 0, k ], x R , u n( j ) ( x )(in) j (cn ( f )e inx + (1) j cn ( f )e inx )
Pour tout j [ 0, k ] , la srie de terme gnral u n est normalement convergente sur R, donc
( j)

uniformment convergente, car

n N , u n( j ) n j ( cn ( f ) + cn ( f ) ) n k ( cn ( f ) + c n ( f ) ) , terme gnral dune srie

convergente par hypothse.
Donc g est de classe C k , k fois drivable terme terme.
(2) g est 2 -priodique.
(3) Enfin, g = f :
Dj, g est continue et 2 -priodique.

Calculons les c p (g ) :

A.BENHARI 38
 +
1 2
Pour p Z , c p ( g ) =0
2
n =0
un ( x)e ipx dx .

ipx
Posons alors pour n N et x R , vn ( x) = u n ( x )e
Alors pour tout n N , vn est continue, vn = u n , donc la srie de terme gnral vn est
normalement convergente.
On peut donc intgrer terme terme sur [ 0,2 ] :
1 + 2 1 +
cp (g) = n
2 n =0 0
v ( x ) dx = 2cn ( f ) = c p ( f )
2 n =0 p ,n

xii. Sries remarquables obtenue partir des sries de Fourier

Exemple : on dfinit f sur R par x R , f ( x) = Arcsin(sin x )

Etudions la srie de Fourier de f :
(1) Graphe :

f est 2 -priodique car sin lest, impaire. Sur , , f ( x) = x .
2 2
3
Pour , , f ( x) = Arcsin(sin( x)) = x
2 2

2

Donc f est continue, C 1 par morceaux.

(2) Calcul des coefficients :
n N , an ( f ) = 0
Pour n 1 ,
2
bn ( f ) = f ( x) sin( nx)dx
0
2 cos nx
/2
cos nx / 2 cos nx cos nx
= x ( x) + dx dx
n 0 n / 2 0 n /2 n

2 sin nx sin nx
/2
4
= 2 2 = 2 sin n

n 0
n / 2 n 2
Donc daprs le thorme de Dirichlet,
4 + sin( n 2 )
x R , f ( x) = sin nx
n =1 n 2

+
1
(3) Application : calcul de n
n =1
2

4 + (1) p
On a f ( x ) =
p =0 (2 p + 1) 2
sin((2 p + 1) x)

A.BENHARI 39
 4 + 1
Donc en x = : =
2 2 p =0 ( 2 p + 1)
2

2N N N 1
1 1 1

Puis n =1 n 2
=
k =1 4k
2
+ (2k + 1) 2
k =0
( 2 ) ( 2 ) / 4 2 / 8

xiii. Rsolution dquations fonctionnelles (ide de Fourier)

Exemple dquation fonctionnelle :

( E ) : y ' '+ ay '+by = f , o a, b C , f est continue 2 -priodique.
On cherche une condition ncessaire et suffisante pour que (E ) ait au moins une solution 2 -
priodique.

Analyse spectrale :
On cherche les coefficients de y si y est une solution 2 -priodique de (E ) .
Par linarit de cn ( ) pour tout n Z , on a :
cn ( f ) = cn ( y ' ' ) + acn ( y ' ) + bcn ( y )
= (n 2 + ain + b)cn ( y )
1er cas : n Z,n 2 + ain + b 0
Alors (E ) a au plus une solution 2 -priodique y, caractrise par :
cn ( f )
n Z, cn ( y ) =
n + ain + b
2

2 cas : Sil existe une ou deux solutions n1 , n2 Z n 2 + ain + b = 0 .

me

Une condition ncessaire est que cn1 ( f ) = cn2 ( f ) = 0 pour une solution. Ainsi,
Soit (E ) na pas de solution, soit (E ) a une infinit de solution.
En effet, si y0 est solution, alors pour tout C C , x y0 ( x) + Ce j ( j = 1,2 ) est aussi une
in x

solution.
Peut-on dire mieux pour chacun des deux cas ?
(1) Si f est de classe C 1 par morceaux, alors x R , f ( x) = cn ( f )e
inx

nZ

Et la srie cn ( f ) converge.
nZ

- Si n Z,n 2 + ain + b 0
+
cn ( f )e inx
Posons pour x R , g ( x) = 2 = v0 + vn ( x)
nZ n + ain + b n =1
inx
c0 ( f ) c ( f )e c ( f )einx
O v0 = et n N , x R , vn ( x) = n2 + 2n
b n + ain + b n ain + b
Alors g est de classe C sur R et est solution de (E ) .
2

En effet, les vn sont de classe C 2 , et les sries de terme gnral vn ( j = 1,2 ) sont normalement
( j)

convergentes car
cn ( f ) c n ( f )
vn( j ) n j + = O( c ( f ) + c ( f ) )
n 2 + ain + b n 2 ain + b n n n

Donc g est de classe C 2 , drivable terme terme et :

A.BENHARI 40
 bcn ( f )e inx + inacn ( f )e inx n 2 cn ( f )e inx
x R , g ' ' ( x ) + ag ' ( x) + bg ( x) =
nZ n 2 + b + ain
= c ( f )e
nZ
n
inx
= f ( x)

- Si n 2 + ain + b sannule pour n1 , n2 Z :

cn ( f )e inx
On pose g ( x ) = 2
n n1 , n2 n + ain + b

On a le mme rsultat (sachant que cn1 ( f ) = cn2 ( f ) = 0 )

(2) Si maintenant f nest que continue :
On va montrer que si n Z, ( n + ain + b = 0 cn ( f ) = 0) ,
2

Alors (E ) a au moins une solution 2 -priodique.

On va utiliser la variation des constantes et lexpression intgrale des solutions :
Equation sans second membre : y ' '+ ay '+by = 0
Equation caractristique : r 2 + ar + b = 0
On suppose que = a 2 4b 0 . Ainsi, on a deux racines r1 , r2 distinctes.
Un systme fondamental de solutions est donc x e r1x , x e r2 x .
y ( x) = ( x )e r1 x + ( x)e r2 x
Dans (E ) , on pose r2 x .
y ' ( x) = ( x )r1e + ( x) r2 e
r1 x

' ( x)e r1x + ' ( x)e r2 x = 0

Alors
' ( x)r1e + ' ( x )r2 e = f ( x)
r1 x r2 x

f ( x)e r1x f ( x)e r2 x

Donc ' ( x) = , ' ( x) =
r2 r1 r1 r2

La solution gnral de (E ) scrit donc :

r t
x f (t ) e 1 r t
x f (t ) e 2
y ( x) = A dt e r1 x + B dt e r2 x
0 r2 r1 0 r1 r2
x f (t ) e
r1t
r1 x r t
x f (t ) e 2 r2 x
(Et y ' ( x ) =


A 0 r2 r1
dt


r 1e +


B 0 r1 r2
dt r2 e )

Alors y est 2 -priodique si et seulement si y (0) = y ( 2 ) et y ' (0) = y ' (2 )
En effet, comme f est 2 -priodique, si y est solution, alors z : x y ( x + 2 ) lest aussi.
y (0) = y (2 ) = z (0)
Donc si , alors daprs le thorme de Cauchy y = z
y ' ( 0 ) = y ' ( 2 ) = z ' ( 0 )

Il suffit donc de montrer quil existe A et B tels que y (0) = y (2 ) et y ' (0) = y ' (2 ) ,
c'est--dire :
r t
2 f (t )e 1 2 f (t )e 2
r t

A + B = A 0 dt e r1 2 + B dt e r2 2
r2 r1 0 r1 r2


Ar + Br = A 2 f (t )e
r1t
2 f (t )e r2t
r2 2

r1 2
dt
r e +
B dt r2 e
1 2
0 r2 r1
1
0 r1 r2

A.BENHARI 41
 r t
2 f (t )e 1 r1 2


A =


A 0 r r
dt e

(1)
Ou, comme r1 r2 :
2 1

B = B
r t
2 f (t )e 2


0 r1 r2
dt e r2 2 (2)

Discussion :
Si e 2 .r1 1 , il existe A unique tel que (1)
Si e 2 .r1 = 1 , alors r1 = in o n Z
Et donc (in) 2 + a(in) + b = 0 , c'est--dire n 2 + ain + b = 0
Donc cn ( f ) = 0 et (1) devient A = A , qui a une infinit de solutions.

On fait la mme chose pour B.

[1] A.Angot (1972) Complment de mathmatique , Editions Masson

[2] R.lasser(1996) Introduction to Fourier series, M. Dekker

A.BENHARI 42