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
(0,1)
f
D
ix. Comment dvelopper une fonction en srie de Fourier ?
x. Injectivit de
Z n n
f c f )) ( (
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.
Soit
f
une fonction priodique de priode
2
T

, et continue par morceaux sur R .

On appelle srie de Fourier associe
f
: La srie trigonomtrique ( forme cosinus et sinus )
( ) ( ) ( ) ( ) ( ) ( )
0 1 1
( ) cos sin ...... cos cos
n n
S t a a t b t a n t b n t + + + + +
+. qui peut s'crire
( ) ( )
0
1
cos( ) sin( )
n n
n
S t a a n t b n t

+ +

. Les constantes a
0
,
n
a
et
n
b
;

1; 2;...... n
s'appellent les coefficients
de Fourier associ
f
.
O
0
1
( ) ( )
a T
a
a f f t dt
T
+

aR , quelconque ; et sur [ ]
; a a T +
,
pour tout N* n ( )
2
( ) ( )cos
a T
n
a
a f f t n t dt
T

+

et ( )
2
( ) ( )sin
a T
n
a
b f f t n t dt
T

+

avec aR et
2
T

.
Si de plus la srie ( )
0
1
( ) cos( ) sin( )
n k
n
S t a a n t b n t

+ +

converge vers une fonction

( ) f t
,cette srie
s'appelle la srie de Fourier associe la fonction f.
Nous utiliserons souvent la notation
( )
0
1
( ) cos( ) sin( )
n n
n
f t a a n t b n t

+ +
.
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 :
2 2 1
0
0
1 1 1
(1 cos( )) (cos( ) 1)
2 4
(1 ( 1) ) 0
(2 1)
4 sin(2 1)
( )
2 1
n
n
n
n p p
p
a
b n n
n n
b donc b et b
n p
p t
s t
p

]

]
]

+
+

(1) Remarque prliminaire :

Pour tout nombre entier 0 n et 2 / T
( ) ( ) ( ) ( ) ( ) ( )
0 0
1 1 1
sin cos cos 1 cos 2 1 0
T T
n t n t n T n
n n n



]
]

( ) ( ) ( ) ( ) ( )
0 0
1 1 1
cos sin sin 0 sin 2 0
T T
n t n t n T n
n n n


]
]

Si 0 n : ( ) cos 1 2 nt dt dt






. Si 0 n
( )
0
1 1 1
cos 0 sin sin sin0 0 nt dt nt n
n n n

]

]
]

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

]
+ +
]
]

(2) pour
n m
( ) ( ) cos cos 0 mt nt dt

et ( ) ( ) sin sin 0 mt nt dt

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

(4) pour
1 n et m n
( )
2
cos nt dt

et ( )
2
sin nt dt

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


+ + + +

( ) ( ) [ ] [ ]
1 1
sin sin cos(( ) cos(( )
2 2
n
J mt nt dt m n t dt m n t dt


+

( ) ( ) [ ] [ ]
1 1
sin cos sin(( ) sin(( )
2 2
n
k mt nt dt m n t dt m n t dt


+ +

Daprs (1) on obtient : ( ) ( )
si n
cos cos
0 si n
m
mt nt dt
m

'

; ( ) ( )
si n
sin sin
0 si n
m
mt nt dt
m

'

.
( ) ( )
0 si n
sin cos
0 si n
m
mt nt dt
m

'

-Si
m n
( ) [ ] [ ]
2
1 1 1
cos 1 cos(2 ) cos(2 ) 0
2 2 2
n
e nt dt n t dt dt n t dt




+ + +

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




+

ii. Cas particulier : fonction continue sur R et de priode 2
Thorme :.
Soit f une fonction 2 - priodique intgrable sur[ ]
;
. On dfinit

0
1
( ) ( )
2
a f f t dt

et pour 1 n : ( )
1
( ) ( )cos
n
a f f t nt dt

; ( )
1
( ) ( ) cos
n
b f f t nt dt

On peut aussi dfinir les intgrales sur lintervalle [ ]

0; 2
en crivant :

2
0
0
1
( ) ( )
2
a f f t dt

et pour 1 n : ( )
2
0
1
( ) ( ) cos
n
a f f t nt dt

; ( )
2
0
1
( ) ( )cos
n
b f f t nt dt

Remarque :
La fonction f tant priodique de priode
2
, il en est de mme des fonctions :

: ( )cos( ) g t f t nt a
et
: ( )sin( ) h t f t nt a
En effet : ( )
( 2 ) ( 2 ) cos( ( 2 )) ( ) cos 2 g t f t n t f t nt n + + + +
car f admet 2 pour priode
( )
( 2 ) ( ) cos g t f t nt +
car la fonction cosinus a pour priode 2
( 2 ) ( ) g t g t +
,
La dmonstration est analogue pour la fonction
( )sin( ) t f t nt a
.
Nous dduisons : Si f est continue sur
R
, de priode T , alors pour tout rel

0
( ) ( )
T T
f t dt f t dt
+

Sur [ ]
; 2 +
:
2
0
1
( ) ( )
2
a f f t dt

et
pour 1 n : ( )
2
1
( ) ( )cos
n
a f f t nt dt

et ( )
2
1
( ) ( )cos
n
b f f t nt dt

Dmonstration du thorme :
Nous allons calculer
( )
0
1
( ) cos( ) sin( )
n n
n
f t dt a a nt b nt dt

]
+ +
]
]

On admettra que lon peut intervertir le signe

et donc
( )
0 0
1 1 1
( ) cos( ) sin( ) cos( ) sin( )
n n n n
n n n
f t dt a a nt b nt dt a dt a nt dt b nt dt





]
+ + + +
]
]


0 0 0 0
1 1 1 1
( ) cos( ) sin( ) 2
n n n n
n n n n
f t dt a dt a nt dt b nt dt a dt a I b J a dt a






+ + + +


On en dduit :
0
1
( )
2
a f t dt

. Nous allons calculer

n
a
: pour tout entier 0 m >
( )
0
1
( ) cos cos( ) sin( ) cos
n n
n
f t mt dt a a nt b nt mt dt

] | `
+ +
]
. , ]

.
0
1 1
0
1 1
( ) cos cos cos( )cos sin( )cos
cos cos( )cos sin( )cos
n n
n n
n n
n n
f t mt dt a mtdt a nt mt dt b nt mtdt
a mtdt a nt mtdt b nt mt dt










+ +
+ +




A.BENHARI 5
( )
0
1 1
0 0
1 1 1 1
( )cos cos cos( ) cos sin( ) cos
cos
n n
n n
n n n n n n n n n n n
n n n n
f t mt dt a mtdt a nt mtdt b nt mtdt
a mt dt a I b k a I a I b k a e a

+ +
+ + + +

Daprs ce qui prcde : si

m n
, on a : 0 I ;
0
n
k
et
0
n
I
sauf si
m n

et on a ( )
1
( ) cos
n
a f t nt dt

.
On fait de mme pour
n
b
.
0
1 1
( )sin( ) sin cos( )sin sin( )sin
n n
n n
f t mt dt a mtdt a nt mtdt b nt mtdt





+ +



0 0
1 1 1 1
( ) sin( ) sin
n n n n n n n n n n n
n n n n
f t mt dt a mt dt a k b J a J a k b J b f b






+ + + +


.
( )
1
( )sin
n
b f t nt dt

Thorme admis
Si une srie de Fourier de terme gnral
cos( ) sin( )
n n n
u a n t b n t +
converge vers f , alors la fonction f est
priodique de priode
2
T

.cest dire de pulsation

2
T

.
iii. Cas gnral : fonction continue par morceaux sur R de priode T .
Soit f une fonction de priode T .En posant
2
T
x t

, on peut crire
( )
2
T
f x f t
| `

. ,
, on obtient alors
Une nouvelle fonction g de la variable relle x avec :
( ) ( )
2
T
g t f t f x
| `

. ,
.
On remarque que
( 2 ) ( ( 2 ) )
2 2
T T
g t f t f t T
| ` | `
+ + +


. , . ,
, la fonction f tant de priode T , on obtient :

( 2 ) ( ) g t 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 :
( ) ( ) ( )
( ) 0
1
( ) cos sin
n n
n
f x g t a a t b t

+ +

, en utilisant
2
T
x t

, on obtient :
2
t x
T

.Posons :
2
T

On en dduit : ( ) ( ) ( ) ( ) 0
1
( ) cos sin
n n
n
f x g x a a n x b n x

+ +

Le calcul de
0
a
nous a donn :
0
1
( )
2
a f t dt

, donc
0
1 1
2 2 2
T t
a f t dt f dt




| ` | `


. , . ,

On procde par un changement de variable
t
u

, on obtient
t u
donc dt du .
Pour
t
;
2
T
u

et pour
t
;
2
T
u

, donc
0
1
( )
2
a g t dt

( ) ( ) ( )
2 2 2
0
2 2 2
1 1 1
2 2 2
T T T
T T T
t
a f dt f u du f u du f u du
T

| `


. ,

.
on a : ( )
1
( )cos
n
a g t nt dt

donc
( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2 2 2
2 2 2 2
1 1 2
cos cos cos cos
2
T T T T
n T T T T
T
a f t nt dt f u n u du f u n u du f u n u du
T

| `


. ,

De la mme manire on obtient :
( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2 2 2
2 2 2 2
1 1 2
sin sin sin sin
2
T T T T
n T T T T
T
b f t nt dt f u n u du f u n u du f u n u du
T

| `


. ,

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

Le dveloppement en srie de Fourier dune fonction paire , sil existe, est

0
1
( ) cos( )
n
n
f t a a n t
+

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

La fonction g dfinie par
( ) ( )sin( ) g t f t n t
est telle que
( ) ( )sin( ) ( )sin( ) ( ) g t f t n t f t n t 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
n
b
sont nuls.
f est une fonction impaire :
Si f est une fonction impaire , alors pout tout nN . on a :
2
0
4
( ) ( )sin( )
T
n
b f f t n t dt
T

Le dveloppement en srie de Fourier dune fonction paire , sil existe, est

1
( ) sin( )
n
n
f t b n t
+

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

La fonction g dfinie par
( ) ( )sin( ) g t f t n t
est telle que
( ) ( ) cos( ) ( ) cos( ) ( ) g t f t n t f t n t 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
n
a
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

0
t
o la fonction f est continue on a : ( )
0 0 0 0 0
1
( ) ( ) cos( ) sin( )
n n
n
f t S t a a n t b n t
+

+ +

pour tout rel

0
t
o la fonction f nest pas continue on a :

( )
0 0 0 0 0 0
1
1
( ) cos( ) sin( ) ( ) ( )
2
n n
n
S t a a n t b n t f t f t
+
+

]
+ + +
]
.o
0
( ) f t
+
et
0
( ) f t

reprsentent
respectivement les limites droite et gauche de f en
0
t
.
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
2 2 1
0
4 8
0 ( cos( ) 1) 0
8 sin(2 1)
( )
2 1
n n p p
p
a b n b b
n n
p t
s t
p

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)
Si = k T/, f est discontinue , donc daprs le thorme de Dirichlet s(t)=
0 0
1 1
( ) ( ) (2 2) 0
2 2
f t f t
+
]
+
]

v. Analyse spectrale ( spectres)
Soit une fonction priodique f et sa srie de Fourier associe ( )
0
1
cos( ) sin( )
n n
n
a a n t b n t
+

+ +

Pour 0 n > , on peut crire

cos( ) sin( ) sin( )
n n n n n
u a n t b n t A n t +
avec
0
n
A
.
Or
sin( ) sin( ) cos cos( ) sin
n n n n n n
A n t A n t A n t
par identification , on obtient :

sin
cos
n n n
n n n
a A
b A

'

et on en dduit
2 2 2
2 2 2
sin
cos
n n n
n n n
a A
b A

'

, en additionnant membre membre :

( )
2 2 2 2 2 2 2 2 2 2
sin cos sin cos
n n n n n n n n n n
a b A A A A + + +
, donc
2 2
n n n
a b A + .
Dfinition :
La srie de Fourier associe f peut scrire ( )
0
1
( ) sin
n n
n
f t a A n t
+

avec
2 2
n n n
A a b + .
0
a
est la valeur moyenne de f sur une priode .Les termes suivants ( ) sin
n n
A n t
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 |
n
A

| en fonction de n.
Le spectre de frquence est la reprsentation graphique par un diagramme en btons de la suite
( )
n
A
vi. Formule de PARSEVAL
Thorme admis
Soit une fonction priodique f et sa srie de Fourier associe ( )
0
1
cos( ) sin( )
n n
n
a a n t b n t
+

+ +

On a :
2 2 2 2
0
1
1 1
( ) ( )
2
T
n n
n
f t dt a a b
T
+
+

+ +

R quelconque ( Formule de PARSEVAL)

Interprtation graphique de la formule de PARSEVAL
( ) ( )
0 0
1 1
cos( ) sin( ) sin
n n n n
n n
a a n t b n t a A n t
+ +

+ + +

.
Calculons la valeur efficace
n
E
des harmoniques
( ) ( )
2
2 2 2 2
0 0
1
sin sin
T T
n
n n n n
A
E A n t dt n t dt
T T


. En appliquant la formule trigonomtrique
A.BENHARI 8
2
1
sin (1 cos 2 )
2
x x , donc
( )
( )
( )
2 2
2
0 0 0
1 cos 2 cos 2
2 2
T T T
n n
n n n
A A
E n t dt dt n t dt
T T

]

]
]

Or
0
T
dt T

et ( ) ( ) ( ) ( )
0
0
1 1
cos 2 sin 2 sin 2 sin
2 2
T
T
n n n n
n t dt n t n T
n n


] ]

] ]

Or ( ) ( ) ( )
2
sin 2 sin 2 sin 4 sin
n n n n
n T n

| `


. ,
, donc ( )
0
cos 2 0
T
n
n t dt

On en dduit
2 2 2 2
2
2 2 2
n n n n
n
A A a b
E T
T
+
est la puissance de lharmonique de rang n ,
do sur une priode ,
2 2 2 2
0
0
1
1 1
( ) ( )
2
T
n n
n
f t dt a a b
T
+

+ +

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

+ +

.
Notations utilises en physique . on note souvent
2 2 2
n n n
A a b + , on peut alors crire
2 2 2 2
cos( ) sin( ) cos sin
n n
n n n
n n n n
a b
a n t b n t A n t n t
a b a b

| `

+ +

+ +
. ,
.
En posant
2 2
cos
n
n
n n
a
a b

+
et
2 2
sin
n
n
n n
b
a b

+
on obtient ( ) cos( ) sin( ) cos
n n n
a n t b n t n t +
vii. Exercices
Exercice 1 :
Trouver la srie de Fourier de
0, 2 0
( )
, 0 2
x
f x
x x
<

'

Rponse. On a L = 2, nous obtenons :
2
2
2
0
0
0
1 1 1
4 4 2 2
x
a x dx
]

]
]

.
( ) ( )
( )
2 2
2
0
1 1 2 1 2
cos cos( 1) 1 1
2 2 2 2
n
n
x
a x n dx n
n n

| ` | ` | `


. , . , . ,

( )
( )
2
1
0
2 cos(
1 2
sin 1
2 2
n
n
n
x
b x n dx
n n
+ | `


. ,

pour 1 n .
Par consquent, nous avons ( ) ( ) ( )
1
2 2
1
1 2 2
( 1) 1 cos( ) 1 sin( )
2 2 2
n
n
n
x x
f x n n
n n

| `
+ +

. ,

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 :
( ) (2 ) f t t t
.
Reprsentation graphique de cette fonction :
Calcul des coefficients de Fourier
A.BENHARI 9
2
3
2 2 2
2 2
0
0 0 0
0
1 1 1 1 1 8 1 4 2
( ) (2 ) 2 4
2 2 2 2 3 2 3 2 3 3
t
a f t dt t t dt t t dt t
]
]

]
]
]
]


2
T

.
2 2
0 0
2
( ) cos( ) (2 )cos
2
n
a f t n t dt t t n tdt

.avec une intgration par partie
et en posant:
1
'( ) cos ( ) sin u t n t u t n t
n

et
2
( ) 2 '( ) 2 2 v t t t v t t
on a : ( )
2
2 2
2
0 0
0
1 1
(2 ) cos 2 sin (2 2 )sin( )
n
a t t n tdt t t n t t n t dt
n n


]

]
]


2
0
1
(2 2 )sin( )
n
a t n t dt
n

;
on pose nouveau :
1
'( ) sin ( ) cos u t n t u t n t
n

;
( ) 2 2 '( ) 2 v t t v t
( )
2
2
0
0
1 1 2
2 2 cos cos( )
n
a t n t n t dt
n n n


]
]
+
]
]
]
]
]

;
2
0
1 2 2 2
cos( )
n
a n t dt
n n n n


]
+ +
]
]

( )
1 4 2 1
2 sin0
n
a sin n
n n n n


]
+ ]
] ]
]
;
2 2
4
n
a
n

f est paire donc les coefficients b

n
sont nuls. le dveloppement en srie de Fourier de f
est donc :
( )
0 2 2
1 1
2 4 1
( ) cos( ) sin( ) cos
3
n n
n n
f x a a n x b n x n x
n

+ +

+ +

II. Forme complexe du dveloppement en srie de Fourier dune fonction priodique
A. Analyse harmonique
On considre les fonctions
C R : f
T-priodiques continues par morceaux ( 0 > T )
On pose
T

i. Moyenne
Thorme :
Soit
C R : f
continue par morceaux T-priodique.
Alors la quantit

+T a
a
dt t f
T
) (
1
est indpendante de R a .
Dfinition :
On lappelle valeur moyenne de f sur une priode.
Dmonstration :
On a

+ +
+ +
T a
T
T
a
T a
a
f f f f
0
0
Or,


+ + a T a
T
T a
T
du u f dt T t f f
0
) ( ) (
A.BENHARI 10
Donc il nous reste


+ T T a
a
f f
0
.
ii. Coefficients et srie de Fourier de f.
Soit
C R : f
continue par morceaux T-priodique.
Coefficients complexes :
Pour Z n , on pose

+

+

T a
a
nt
T
i
T a
a
nt i
n
dt t f e
T
dt t f e
T
f c ) (
1
) (
1
) (
2
.

Srie de Fourier de f :
Cest la srie de terme gnral
n
u
o
) ( ) ( ,
0 0
f c x u x R
Et pour 1 n ,
x in
n
x in
n n
e f c e f c x u x
. .
) ( ) ( ) ( ,

+ R
De sorte que la n-ime somme partielle de f en R x est :



n
n k
x ik
k
n
k
k n
e f c x u x f S
.
0
) ( ) ( ) )( (

Attention :
Pour la srie de Fourier, on utilise la notation

+
0
) (
n
n
x u
et pas

+
n
x
T
ik
n
e f c
2
) (
(Les sries peuvent diverger)
Forme trigonomtrique :
On pose
) ( ) (
0 0
f c f a
: moyenne de f.
Et pour 1 n ,

,
`

.
|

T a
a
n
dt
T
nt
t f
T
f a
. 2
cos ) (
2
) (

,

,
`

.
|

T a
a
n
dt
T
nt
t f
T
f b
. 2
sin ) (
2
) (

Relation :
Thorme :
On a
) ( ) (
0 0
f c f a
Pour 1 n , on a
) . sin( ) ( ) . cos( ) ( ) ( ) ( ,
. .
x n f b x n f a e f c e f c x
n n
x in
n
x in
n


+ +

R
Et donc
) ( ) ( ) ( f c f c f a
n n n
+
,
) ( ) ( ) ( f ic f ic f b
n n n

Ou )) ( ) ( (
2
1
) ( f ib f a f c
n n n
, )) ( ) ( (
2
1
) ( f ib f a f c
n n n
+

Dmonstration :
Il suffit dcrire les coefficients sous forme intgrale.
Autre criture de la srie de Fourier :

+ +
1
0
)) . sin( ) ( ) . cos( ) ( (
n
n n
x n f b x n f a a
iii. Symtries
On considre
C R : f
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
R
0
a
,
R N ) ( ), ( *, f b f a n
n n
.
Ou ) ( ) ( , f c f c n
n n
Z
(2) Si f est paire, on a
0 ) ( , 1 f b n
n
Et

2
0
0
) (
2
) (
T
dt t f
T
f a , et pour 1 n ,

2
0
) . cos( ) (
4
) (
T
dt t n t f
T
f a
n
.
Si f est impaire, on a
0 ) ( , 0 f a n
n
Et

2
0
) . sin( ) (
4
) ( , 1
T
dt t n t f
T
f b n
n

Dmonstration :
Le premier point est clair. Pour le deuxime :
Si f est paire,
) . sin( ) ( t n t f t
est impaire donc
0 ) ( f b
n
Et
) . cos( ) ( t n t f t
est paire, donc pour 1 n ,

+
2 2
2
0
) . cos( ) (
4
) . cos( ) (
2
) . cos( ) (
2
) (
T T
T
dt t n t f
T
dt t n t f
T
dt t n t f
T
f a
T a
a
n

Cest la mme chose pour f impaire.
Thorme : coefficients de Fourier dune drive
On suppose
C R : f
T-priodique,
1
C par morceaux et continue.
On pose

'

+ +

sinon )) ( ' ) ( ' ( lim

2
1
en drivable est si ) ( '
) (
0
h x f h x f
x f x f
x g
h
.
Alors g est continue par morceaux, T-priodique et on a :
) ( . ) ( , f c in g c n
n n
Z
Autrement dit, pour tout n,
) ( )' ( g S f S
n n

(
) ' ( f S
n

si f est drivable)
Rappel :
Comme f est suppose
1
C par morceaux, f a une limite droite et gauche en tout point.
Dmonstration :
(1) Si f est de classe
1
C :
Alors
' f g
, et :
[ ]
) ( .
) ( ) (
1
) (
1
) ( '
1
) ' (
0
.
0
0
.
0
.
f c in
dt e t f in
T
e t f
T
dt e t f
T
f c
n
T
t in
T
t in
T
t in
n

(2) Si f est
1
C par morceaux :
Soit R a tel que f et g soient dfinis et continus en a.
On note
T a a a a a
p
+ < < ...
1 0
les points o f nest ventuellement pas drivable.
A.BENHARI 12
Alors

+

1
0
. .
1
) ( ) ( ) ( .
p
j
a
a
t in
T a
a
t in
n
j
j
dt e t g dt e t g g c T

NB : ] , /[
1 + j j
a a
f
est de classe
1
C car f est continue sur
[ ]
1
,
+ j j
a a
et f a des limites en
j
a
et
1 + j
a
.
Comme ] , /[
1 + j j
a a
g
concide avec ( )

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


+

+
Do le rsultat.
iv. Lemme de RiemannLebesgue
Thorme :
Si [ ] C T f , 0 : est continue par morceaux, alors 0 ) ( lim
0
.

t
T
t in
n
dt e t f

Corollaire :
Si f est continue par morceaux et T-priodique, alors
0 ) ( lim
t
f c
n
n
Dmonstration :
Dj vu.
Exemple
Soit
R R : f
2 -priodique dfinie par [ ]
2
) ( , 2 , 0
x
x f x

Quelle est la srie de Fourier de f ?

Etudier la convergence de cette srie et calculer sa somme.
2

2
Si on pose

'

] 2 [ 0 si 0
] 2 [ 0 si ) (
) (
~

x
x x f
x f
Alors f
~
est impaire, et f
~
et f ont les mmes coefficients de Fourier.
Donc les
n
a
sont nuls pour tout N n .
On a 2 T , donc 1
Et






2
0
2
0
) . sin(
2
1
) . sin( ) (
1
) ( dt t n
t
dt t n t f f b
n
Soit en faisant une intgration par parties :
A.BENHARI 13
n n n
dt t n
n
t
t n f b
n

]
]
]

2 2
) . cos(
2
1
2
) . cos( ) ( .
0
2
0
2
0

Donc
n
f b n
n
1
) ( *, N
Et

1
. sin
) (
n
n
x n
f S
Calcul de
) ( f S
:
Si
0 ) ( , f S x Z
Si
Z x
:
On a

1
0
1
1
dt t
n
n
Soit N N . On a :

,
`

.
|

,
`

.
|

,
`

.
|

,
`

.
|

1
0
1
0
1
0
1
0
1
. 1
1
1
0
1
1
Im
1
Im
) 1 (
1
Im Im
) sin( ) (
dt
te
e
r dt
te
e
dt e t
te
e
dt e t
dt t nx f S
ix
ix
n
n
ix
ix
iNx N
ix
ix N
n
x in n
N
n
n
N
O
0
1 1
1
0

+

n
M
dt
te
t
r
ix
N
n , avec M tel que
[ ] M
te
t
ix

1
1
, 1 , 0
Et on a de plus
2
) sin 2 ln(
1
2
1
0
1
0
x
i
e t
dt
dt
te
e
x
ix ix
ix

Donc
) ( ) )( ( x f x f S
n
n

+
pour ] [ 2 , 0 x
B. Un espace prhilbertien
i. Espace des fonctions continues 2 priodiques
On note
2
C
lensemble des applications de R dans C continues et 2 -priodiques.
Structure :
Thorme :
2
C
est une sousalgbre de
) , ( C R B
munie de
+ , ,
Remarque :
On a un autre oprateur : la convolution dans
2
C
:
Pour
2
, C g f
, on pose
g f
lapplication dfinie par

2
0
) ( ) (
2
1
) )( ( , dt t g t x f x g f x R
On a vu que est une loi de composition interne, bilinaire, commutative, associative dans
2
C
.
A.BENHARI 14
Produit scalaire :
Thorme :
Lapplication

> <

2
0
2
2
) ( ) (
2
1
, ) , ( dt t g t f g f C g f est un produit scalaire sur
2
C
Mais
2
C
nest pas complet pour la norme
2
associe ce produit scalaire.
ii. Des systmes orthogonaux
Pour Z n , on dfinit lapplication
n
e
par
t in
n
e t e t
.
) ( , R
Pour N n ,
) cos( ) ( , nt t c t
n
R
Et pour 1 n ,
) sin( ) ( , nt t s t
n
R
Alors toutes les application introduites sont dans
2
C
.
La famille
Z n n
e ) (
est orthonormale
Et
*
) ( ) (
N N

n n n n
s c
est orthogonale, avec
2
1
, 1
2 2

n n
s c n
et
1
2
0
c
En effet :
m n
t im t in
dt e e
,
2
0
. .
2
1

pour
Z n m,
Et pour 1 n ,
2
1
) ( cos
2
1
2
0
2
2
2

dt nt c
n
iii. Polynmes trigonomtriques
Proprit :
Les familles
Z n n
e ) (
et
*
) , (
N
N

q
p q p
s c
sont libres.
Pour N N , on a
) 1 , 0 , , ( Vect ) , ( Vect N q N p s c N n e
q p n

Dmonstration :
Les familles sont libres car orthogonales et aucun vecteur nest nul.
Lgalit rsulte de formules de trigonomtrie.
On pose alors
) , ( Vect N n e T
n N

, et
N

n
N
T T
Dfinition :
Un lment de T sappelle polynme trigonomtrique.
Si { 0 \ T P , on appelle degr de P le plus petit entier N tel que
N
T P
.
Thorme :
T est le sous-espace de
2
C
engendr par
2
C
ou par
*
) , (
N
N

q
p q p
s c
De plus,
Z n n
e ) (
est une base orthonormale de T, et
*
) , (
N
N

q
p q p
s c
une base orthogonale.
On a donc un filtre de sous-espaces de
2
C
(pas tout fait un drapeau, la dimension augmente de
2) :
2 1 0 0
... C T T e T C
Exemples :
- Noyau de Dirichlet :
Pour N n , on pose
n
n
n k
k n
T e D


A.BENHARI 15
Formule :
) 2 / sin(
2
1 2
sin
) ( , 2 \
t
t
N
t D t
N

,
`

.
| +
Z R
Et
1 2 ) ( , 2 + N t D t
N
Z
Dmonstration :
Si
Z R 2 \ t
,
2 2
2
1
2
1
2 2
2
1
) ( ) (
) 1 2 (
) (
) 1 2 (
.
2
0
. .
1
1
1
) (
t t t t
i i
t N i t N i
i i
t N i
t N i
it
t N i
t in
N
j
t ij t iN
N
e e
e e
e e
e
e
e
e
e e e t D

+ +

+
+
+

- Noyau de Fjer :
On pose pour N n ,
n
n
n
T
n
D D
F
+
+ +

1
...
0
.
Formule : 0
sin
sin
1
1
) ( , 2 \
2
2
1
2
1

,
`

.
|
+

+
t
t
n
t F t
n
n
Z R
Et
1 ) ( , 2 + n t F t
n
Z
Dmonstration :
Si
Z 2 t
, )) 1 2 ( ... 3 1 (
1
1
) ( + + + +
+
n
n
t F
n
et on montre par rcurrence que
2
) 1 ( )) 1 2 ( ... 3 1 ( + + + + + n n , do lexpression.
Sinon :

,
`

.
|

+
+

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

,
`

.
|

,
`

.
|
+

Do la formule.
iv. Interprtation gomtrique des sries de Fourier
Thorme :
Soit
2
C f
. Pour tout N n ,
) ( f S
n
est la projection orthogonale de f sur
n
T
.
En particulier,
2
2
2 2
2
2
2
2
2
) ( ) ( ) ( ) ( f S f f c f S f f S f
n
n
n k
k n n
+ +


Dmonstration :
Ici, 2 T et 1 .
On a pour tout Z n , > <

f e dt t f e f c
n
t in
n
, ) (
2
1
) (
2
0
.

Donc


> <
n
n k
k k
n
n k
k k n
e f e e f c f S , ) ( ) (
Comme
{ n k e
k
,
est une base orthonormale de
n
T
,
) ( f S
n
est bien la projection orthogonale
de f sur
n
T
De plus,
) ( f S f
n

et
) ( f S
n
sont orthogonaux, donc daprs le thorme de Pythagore,
2
2
2
2
2
2
) ( ) ( f S f f S f
n n
+
A.BENHARI 16
Et comme de plus

n
n k
k k n
e f c f S ) ( ) (
o
{ n k e
k
,
est orthonormale, on a bien

n
n k
k n
f c f S
2 2
2
) ( ) (
.
Corollaire :
Pour tout
2
C f
, la famille
Z n n
f c )) ( (
est de carr sommable, c'est--dire que la srie de terme
gnral
2 2
) ( ) ( f c f c
n n
+ converge, et on a lingalit de Bessel :

+ +
+

2
0
2 2
2
1
2 2 2
0
) (
2
1
) ( ) ( ) ( dt t f f f c f c f c
n
n n
(On verra quil y a en fait galit)
Dmonstration :
Dcoule du thorme.
v. Un peu danalyse fonctionnelle
Thorme (de convergence normale de Dirichlet) :
Soit
C R : f
,
1
C par morceaux et continue, 2 -priodique.
Alors la srie de Fourier de f converge normalement vers f, c'est--dire :
Pour tout R x ,
) ( ) ( lim
.
x f e f c
n
n k
x ik
k
n

+
et la famille
Z n n
f c )) ( (
est sommable (c'est--dire
que la srie de terme gnral
) ( ) ( f c f c
n n
+
converge)
Dmonstration :
La famille
Z n n
f c )) ( (
est sommable.
En effet :
Soit
C R : g
dfinie par :
Pour R x , si f est drivable en x,
) ( ' ) ( x f x g
Sinon, )) ( ' ) ( ' (
2
1
) ( x f x f x g
g d
+
NB : comme f est partout continue et
1
C par morceaux,
d
f '
et
g
f '
existent en tout point.
On a
) ( . ) ( , f c in g c n
n n
Z
(dj vu)
Donc pour 1 n ,
( )

,
`

.
|
+ + +
+ +

2
2
2
2
) (
1
) (
1
2
1
) ( ) (
1
) ( ) (
g c
n
g c
n
g c g c
n
f c f c
n n
n n n n
( ) ( , ,
2 2
2
1
b a ab b a + R )
Reste montrer que lingalit de Bessel sapplique g (qui nest pas continue) :
Pour tout N n ,

n
n k
k k n
e g c g S ) ( ) (
vrifie
0 ) ( )) ( ( ) )( (
2
1
2
0

dx x g S g x g S
h
n n

.
En effet,

n
n k
x ik
n n
dx x h e g c dx x h x g S

2
0
.
2
0
) ( ) ( ) ( ) )( (
2
1
A.BENHARI 17
Et
0 ) )( ( ) ( ) (
) ( 2
2
0
) ( 2
2
0
2
0
.

g c
n
ikx
g c
ikx x ik
k k
x g S e x g e dx x h e

Do

+
+
n
n k
k
n n
n n
f c
dt t g S dt t g S t g
dt t g S t g S t g dt t g
2
2
0
2
0
2
0
2
2
0
2
2
0
2
) (
) )( (
2
1
) )( ( ) (
2
1
) )( ( ) )( ( ) (
2
1
) (
2
1





Donc la famille est bien sommable et on a encore lingalit.
Montrons maintenant la limite :
Lemme :
Pour tous R x et N n ,

2
0
) ( ) (
2
1
) )( ( ) )( ( dt t x f t D x f D x f S
n n n
En effet,

+
+ +

,
`

.
|

2
2 2
) (
2
) ( ) (
2
1
) ( ) (
2
1
) (
2
1
) (
2
1
) ( ) )( (
a
a
n
a
a
n
a
a
n
n k
t x ik
n
n k
ikx
a
a
ikt
n
n k
ikx
k n
dt t x f t D
dt t f t x D dt t f e
e dt t f e e f c x f S
Ainsi, pour tous R x et N n ,
) ( ) ( ) (
2
1
) ( ) )( ( x f dt t x f t D x f x f S
n n

Or, 1 ) (
2
1
2
0

dt t D
n
Donc

du x f u x f u D x f x f S
n n
)) ( ) ( )( (
2
1
) ( ) )( (
Et aussi

du x f u x f u D x f x f S
n n
)) ( ) ( )( (
2
1
) ( ) )( (
Mais comme
n
D
est pair,

+
+ +
+

+ +

du u u n
du x f u x f u x f
u n
du x f u x f u x f u D x f x f S
x
u
n n
) ( ) ) sin((
4
1
)) ( 2 ) ( ) ( (
sin
) ) sin((
4
1
)) ( 2 ) ( ) ( )( (
4
1
) ( ) )( (
2
1
2
2
1
O

'

+ +

0 si )) ( ' ) ( ' ( 2
0 si
sin
) ( 2 ) ( ) (
) (
2
u x f x f
u
x f u x f u x f
u
g d
u
x

Ainsi,
[ ] C , :
x
est continue ( 2
0
2
~ sin
u
u
u

)
A.BENHARI 18
Et daprs le lemme de Riemann Lebesgue, 0 ) ( lim

du u e
x
u i
Donc
0 ) ( ) )( ( lim
+
x f x f S
n
n
Thorme de Fjer :
NB : il existe des fonctions
C R : f
continues, 2 -priodiques telles que la srie de terme
gnral
) 0 )( ( f S
n
diverge. (voir complments la fin du cours)
Thorme :
Pour
2
C f
, la suite de terme gnral

n
k
k n
f S
n
f
0
) (
1
1
) (
converge uniformment
sur R vers f.
Lemme :
Pour tous
2
C f
et N n ,
f F f
n n
) (
.
En effet :
f D
n
f D
n
f S
n
f
n
k
k
n
k
k
n
k
k n

,
`

.
|
+

+

0 0 0
1
1
1
1
) (
1
1
) (
Pour tout R x , on a, du fait que 1 ) (
2
1

dt t F
n
:

dt t F x f t x f
dt t F x f dt t F t x f x f x f
n
n n n
) ( )) ( ) ( (
2
1
) ( ) (
2
1
) ( ) (
2
1
) ( ) )( (
On introduit le module de continuit uniforme

de f :
Pour 0 , on note
{ y x y f x f , ) ( ) ( ) (
.
Comme f est borne et continue, 2 -priodique,

est dfini et continu en 0.

Ainsi,

vrifie
0 ) ( lim
0

.
Soit tel que < 0 .
Alors pour tout R x ,

+
+

dt t F x f t x f
dt t F x f t x f dt t F x f t x f x f x f
n
n n n
) ( ) ( ) (
2
1
) ( ) ( ) (
2
1
) ( ) ( ) (
2
1
) ( ) )( (
Mais
n
F
est positive (on lavait vu pour le calcul de son expression)
Pour la premire intgrale, comme
t
, on a
) ( ) ( ) ( x f t x f
Pour les autres,

f x f t x f 2 ) ( ) (
Donc pour tout R x ,
A.BENHARI 19
) ( sin ) 1 (
2
) (
) ( sin
1
) ( sin
1
) 1 (
) (
) ( sin
) ( sin
) ( sin
) ( sin
) 1 (
) ( ) (
2
1
) ( ) ( ) ( ) (
2
1
) ( ) )( (
2
1
2
2
1
2
2
1
2
2
1
2
2
1
2
2
1
2
2
1
2
2

+
+

,
`

.
|
+
+
+

,
`

.
|
+
+
+

,
`

.
|
+ +

n
f
dt dt
n
f
dt
t
t
dt
t
t
n
f
dt t F
dt t F dt t F
f
dt t F x f x f
n n
n
n n n n

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

+
+
+

n
n
n
n
f
n f f
vi. Thorme de Parseval
Thorme :
Pour tout couple
) , ( g f
dlments de
2
C
, la famille
Z n n n
g c f c )) ( ) ( ( est sommable et on a
> <

g f dt t g t f g c f c
a
a
n
n n
, ) ( ) (
2
1
) ( ) (
2

Z
C'est--dire que
> <

+
g f g c f c
n
n k
k k
n
, ) ( ) ( lim
En particulier,

2
0
2 2
2
2
) (
2
1
) ( dt t f f f c
n
n
Z
Remarque :
Soit E un espace prhilbertien,
) (
n
F
une suite croissante (pour linclusion) de sous-espaces
de E de dimension finie. Pour E V , on considre la suite des projections orthogonales
) (V p
n
F

de V sur
n
F
.
Pour tout N n , on a alors :
2 2
2
) ( ) ( V p V V p V
n n
F F
+
Et on a les quivalences :
(1)
2
2
) ( lim V V p
n
F
n

+
(galit de Parseval)
(2) 0 ) ( lim
2

+
V p V
n
F
n
(3) G V o
N

n
n
F G
En effet :
) 1 ( ) 2 (
dcoule de lgalit de Pythagore.
) 3 ( ) 2 (
: si
0 ) ( V p V
n
F
, alors
V V p
n
F
n

+
) ( lim
Et
G F V p n
n F
n
) ( , N
. Donc V est limite dune suite dlments de G, donc est
adhrent G.
) 2 ( ) 3 (
:
Si G V , alors pour tout 0 > , il existe
G g
tel que
g V
A.BENHARI 20
Donc g est dans lun des
n
F
, disons
N
F
pour N N
Alors
g V V p V
N
F
) (
Or,
( )
N

n
F
V p V
n
) (
est dcroissante car
1 +

n n
F F
.
Donc
) ( , V p V N n
n
F
, ce qui montre la limite voulue.
On voit de plus que lgalit de Parseval est vraie pour tout E V si et seulement si
E G .
Thorme :
Lespace T est dense dans
2
C
pour

et
2
.
Dmonstrations :
Pour
2
C f
, la suite )) ( ... ) ( (
1
1
) (
0
f S f S
n
f
n n
+ +
+
converge uniformment sur R vers f.
Comme tous les
) ( f
n

sont dans T, il en rsulte que T est dense dans

2
C
pour

. Pour
2
C h
, on a de plus

h h
2
Donc
) ( f
n

tend aussi vers f pour

2
, et T est aussi dense dans
2
C
pour
2
.
Application :
Soit
2
C f
. Pour tout N n ,
n n
T f ) (
.
Donc
2 2
) ( ) , ( ) ( f f T f d f S f
n n n

Puis
0 ) ( lim
2

+
f S f
n
n
Do lgalit de Parseval :
( )
2
2
2
2
2
2
2
2
2
) ( lim ) ( lim ) ( lim f f S f f f S f c
n
n
n
n
n
n k
k
n

+ +

+

Cas de deux fonctions :
Soient
2
, C g f
.
Pour tout N n , on a
( )
2 2
2
1
) ( ) ( ) ( ) ( g c f c g c f c
n n n n
+
Donc la srie de terme gnral ) ( ) ( g c f c
n n
et celle de terme gnral ) ( ) ( g c f c
n n
convergent
absolument.
Calcul de la somme :
On a




> <
> < > < > <
n
n k
k k
n
n k
k k
n
n k
k k
n
n k
k k n
f c g c f e g c
e f g c e g c f g S f
) ( ) ( , ) (
, ) ( ) ( , ) ( ,
Do
0 ) ( ) ( , ) ( ) ( ,
2 2
> < > <
+

n
n n
n
n k
k k
g S g f g S g f g c f c g f
C. Thormes fondamentaux
On considre
C R : f
T-priodique, continue par morceaux.
i. Divergence de la srie de Fourier
Thorme :
A.BENHARI 21
Il existe des fonctions continues telles que
N n n
f S )) 0 )( ( (
diverge.
Lensemble de ces fonctions est mme une intersection dnombrable douverts, dense dans
2
C
pour

.
Dmonstration :
) , (
2

C
est une algbre de Banach (une fonction continue 2 -priodique est borne).
On considre alors les formes linaires
C ) 0 )( ( ) ( :
2
f S f l C f l
n n n
.
En considrant le noyau de Dirichlet (pair), on a la formule :

dt t D t f dt t D t f f S f l
n n n n
) ( ) (
2
1
) ( ) (
2
1
) 0 )( ( ) (
Alors
n
l
est continue pour

et

0
) (
1
) (
2
1
dt t D dt t D l
n n n
En effet, la continuit de
n
l
et la majoration de sa norme triple sont vidents ; pour lgalit : il
faudrait une fonction continue prenant les valeurs 1 t et ayant le mme signe que
n
D
, ce qui est
impossible. Pour obtenir lgalit, on prend une suite de fonctions continues affines par morceaux
N k k
f ) (
ayant le mme signe que
n
D
et valant 1 t sauf sur un voisinage des zros de
n
D
(en nombre
fini). Ainsi, on aura lgalit

prs pour tout 0 > , et donc lgalit.

(

0
) (
1
dt t D l
n n
sappelle constante de Lebesgue)
Montrons maintenant que
n
l
tend vers + quand n tend vers + :
On a

+

) (
0 0
2
1
0
2
2
1
2
1
sin
2
) ) sin((
2
sin
) ) sin((
1
n
t
n
dx
x
x
dt
t
t n
dt
t n
l
Et donc +
+

+
1
0
2
1
0
) 1 (
1
0
) 1 (
1
1 4
) 1 (
sin
2
sin
2
n
k
n
k
k
k
n
k
k
k
n
k
dx
k
x
dx
x
x
l

.
On applique ensuite le thorme de BanachSteinhaus :
Comme
2
C
est complet pour

, si
N n n
f l )) ( (
tait borne pour tout
2
C f
, alors
N n n
l ) (

serait aussi borne, ce qui nest pas le cas.
Il existe donc
2
C f
telle que
N n n
f S )) 0 )( ( (
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
C R : f
T-priodique et
1
C par morceaux.
Alors la srie de Fourier

+ +
1
. .
0
) ( ) (
n
x in
n
x in
n
e f c e f c c

converge simplement sur R vers
C R : g
dfinie par :
Si f est continue en x,
) ( ) ( x f x g
Sinon, )) ( ) ( (
2
1
) (
+
+ x f x f x g
Remarque :
Si f est continue,
f g
.
A.BENHARI 22
Plus gnralement, si f est sauts symtriques, c'est--dire si en tout point on a
)) ( ) ( (
2
1
) (
+
+ x f x f x f , alors
) ( f S
n
converge simplement vers f.
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
C R : f
T-priodique continue par morceaux.
Alors, en faisant le changement de variable
t u .
:
) ( ) (
2
1
) (
1
) (
2
0
.
0
.
g c du e f dt e t f
T
f c
n
u in
u
T
t in
n

o
C R : g
, continue par morceaux 2 -priodique, est dfinie par

,
`

.
|

2
) ( ,
Tx
f x g x R
Pour 2 T , le deuxime thorme est dj vu.
Pour le premier :
On reprend les formules donnant
) )( ( x f S
n
:

+ +
+ +

0
0 0
) ( )) ( ) ( (
2
1
) ( ) (
2
1
) ( ) (
2
1
) ( ) (
2
1
) )( (
dt t D t x f t x f
du u D u x f dt t D t x f
dt t D t x f x f S
n
n n
n n
Donc

+
+ + +
+ +

0
2
1
0
2
1
) ) sin(( ) (
2
1
) ( )) ( ) ( ) ( ) ( (
2
1
)) ( ) ( ( ) )( (
dt t n t
dt t D x f t x f x f t x f x f x f x f S
x
n n
O

'

+ +

+
+
0 si )) ( ' ) ( ' ( 2
0 si
sin
) ( ) ( ) ( ) (
) (
2
t x f x f
t
x f t x f x f t x f
t
t
x

, continue par morceaux.

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

Et donc
)) ( ) ( ( ) )( (
2
1
+
+
+ x f x f x f S
n
n
Autre dmonstration :
- En 0 x :
Si f est
1
C par morceaux, alors
)) 0 ( ) 0 ( ( ) 0 )( ( lim
2
1
+
+
+ f f f S
n
n
.
En effet, si f est continue, on a dj vu
Pour
0
f
2 -priodique telle que
2
) (
0
x
x f

si ] [ 2 , 0 x et
0 ) (
0
x f
si 0 x on a vu
que la srie de Fourier est

+
1
sin
n
n
nx
et quelle converge simplement vers
0
f
sur R.
On a ensuite le rsultat pour toute fonction
1
C par morceaux par linarit.
- Puis on fait un dcalage pour R x .
A.BENHARI 23
iii. Formules de Parseval
Thorme :
Soit 0 > T ,
C R : , g f
continues par morceaux et T-priodiques.
Alors la famille
Z n n n
g c f c )) ( ) ( ( est sommable, et on a :

T a
a
n
n n
dt t g t f
T
g c f c ) ( ) (
1
) ( ) (
Z
En particulier, pour
g f
, les familles suivantes sont sommables et on a :

+
+


,
`

.
|
+ +
T a
a
n
n n
n
n
dt t f
T
f b f a f a f c
2
1
2 2
2
1
2
0
2
) (
1
) ( ) ( ) ( ) (
Z
Dmonstration :
On se ramne ici encore 2 T 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.
On munit alors D de

> <

2
0
2
1
, g f g f .
Alors
> < ,
est un produit scalaire sur D.
Et
2
C
est dense dans D pour la norme
2
associe ce produit scalaire.
En effet :
Pour le caractre dfini positif : (les autres sont clairs)
Soit
D f
, supposons que
0 , > < f f
Alors 0 ) (
2
0
2

dt t f
Donc
2
) (t f est nulle en tout point de continuit.
Soient
2 ... 0
1 0
< < <
p
a a a
les discontinuits ventuelles de f.
Alors f est nulle sur
] [
1
,
+ i i
a a
pour tout
1 p i
et sur
] [ 2 ,
1
+ a a
p
.
Donc pour tout 1 i , 0 ) ( ) (
+
i i
a f a f , c'est--dire
0 ) (
i
a f
.
Donc f est nulle
(Remarque : si on avait suppos f seulement continue par morceaux, le rsultat est faux)
Soit maintenant
D f
avec une seule discontinuit ] [ 2 ; 0 a .
Pour * N n assez grand, on note
n

concidant avec f sur

[ ] ] [
n n
a a
1 1
, \ 2 , 0 +
et affine
sur
[ ]
n n
a a
1 1
, +
.
On a ainsi

n
n
a
a
n n
dt t f t f
1
1
2 2
2
) ( ) (
2
1

Or, f est borne (car continue par morceaux) sur [ ] 2 , 0 et

[ ]

f t t
n
) ( , 2 , 0
.
Donc
0
2
4
2
1
2
2 2
2
1
1

+

n
a
a
n
n
f
dt f f
n
n

Do la densit de
2
C
dans D. (on fait ensuite par linarit pour f ayant plusieurs points
de discontinuit)
Montrons maintenant la formule de Parseval sur D.
Posons
> < g f g f A , ) , (
et

Z n
n n
g c f c g f B ) ( ) ( ) , (
pour
D g f ,
.
A.BENHARI 24
Dj, A est sesquilinaire continue sur
2
D
.
Pour B :
Dj, B est dfini car daprs lingalit de Bessel (dont on a vu quelle est valable pour des
fonctions continues par morceaux), ( )
Z n
n
f c
2
) ( et ( )
Z n
n
g c
2
) ( sont sommables, et on a
pour tout Z n
) ) ( ) ( ( ) ( ) (
2 2
2
1
f c g c g c f c
n n n n
+
Donc ( )
Z n n n
g c f c ) ( ) ( 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 :
2 / 1
2
2 / 1
2
) ( ) ( ) ( ) (
,
`

.
|

,
`

.
|

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

Donc par passage la limite
2 2
) , ( g f g f B
Do la continuit de B. Ainsi, A et B sont continues sur
2
D
, gales sur
2
2
C dense dans
2
D
,
donc gales partout.
Cas des fonctions continues par morceaux sauts quelconques :
Lemme :
Soit
C R : f
continue par morceaux 2 -priodique ; alors il existe D f
~
tel que f f
~

sur [ ] 2 , 0 sauf en un nombre fini de points.
En effet :
Il suffit de prendre ) ( ) (
~
x f x f si f est continue en x
Et )) ( ) ( ( ) (
~
2
1
+
+ x f x f x f sinon.
Pour
C R : , g f
continues par morceaux 2 -priodiques, on a :
)
~
( ) ( , f c f c n
n n
Z et
2
2
~
f f
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 [ ] C b a f , : est dite variation borne sil existe
+
R M tel que
M a f a f b a a a a
p
i
i i p
< < <

+
1
0
1 1 0
) ( ) ( , ...
On pose alors
[ ]

+
< <

1
0
1
...
) ( ) ( sup ) , (
0
p
i
i i
b a a a
f
a f a f b a V
p
, variation totale de f sur [ ] b a, .
Proprits :
(1) Lensemble des fonctions [ ] C b a, variation borne est un sous-espace vectoriel de
[ ] ) , , ( C b a F
(2) Soit [ ] C c a f , : et [ ] c a b , .
Si f est variation borne sur [ ] b a, et sur [ ] c b, , alors elle est variation borne sur [ ] c a,
A.BENHARI 25
et
[ ] [ ] [ ]) , ( ) , ( ) , ( c b V b a V c a V
f f f
+
(3) Si f est de classe
1
C sur [ ] b a, , alors elle est variation borne.
(4) Une fonction lipschitzienne ou monotone sur [ ] b a, est variation borne sur [ ] b a, .
Dmonstration :
Dj, cest un espace vectoriel
Supposons f variation borne sur [ ] b a, et [ ] c b, .
Si b a ou c b , le rsultat est clair. Sinon :
Soient
c a a a a
p
< < < ...
1 0
des rels.
On note k tel que
b a
k

et
b a
k
>
+1
.
Alors
[ ]) , ( ) ( ) ( ) ( ) (
1
0
1
b a V a f b f a f a f
f k
k
i
i i
+

+
(vrai encore si
k
a b
)
Et [ ]) , ( ) ( ) ( ) ( ) (
1
1
1
1
c b V b f a f a f a f
f k
p
k i
i i
+
+

+
+
Donc
[ ] [ ]) , ( ) , (
) ( ) ( ) ( ) (
) ( ) ( ) ( ) (
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
1
c b V b a V
a f b f b f a f
a f a f a f a f
a f a f a f a f a f a f a f a f
f f
k k
p
k i
i i
k
i
i i
k k
p
k i
i i
k
i
i i
p
i
i i
+
+ +
+
+ +
+

+
+

+
+

+
+

+


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

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

+
c b V a f a f
f
p
k i
i i
Et donc [ ] [ ] [ ]) , ( ) ( ) ( ) , ( ) , (
1
0
1
c a V a f a f c b V b a V
f
p
i
i i f f
+ + +

+

Donc comme cest valable pour tout 0 > , on a
[ ] [ ] [ ]) , ( ) , ( ) , ( c a V c b V b a V
f f f
+
Do lgalit.
Pour (3) : pour tous
b a a a
p
< < ...
0
, on a

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

+

1
0
1
1
0
1
) ( ) (
p
i
i i
p
i
i i
a a k a f a f
Mais comme lapplication
x x
est variation borne sur [ ] b a, (elle y est de classe
1
C ),
A.BENHARI 26
il existe
+
R M tel que pour tous rels
b a a a
p
< < ...
0
, on ait M a a
p
i
i i

+
1
0
1
.
Et on a alors ' ) ( ) (
1
0
1
M a f a f
p
i
i i

+
o kM M '
Donc f est variation borne.
Si maintenant f est monotone, disons par exemple croissante :
Soient
b a a a
p
< < ...
0
des rels.
Alors ) ( ) ( )) ( ) ( ( ) ( ) (
1
0
1
1
0
1
a f b f a f a f a f a f
p
i
i i
p
i
i i

+
Donc ) ( ) ( ) ( ) (
1
0
1
a f b f a f a f
p
i
i i

+
.
Donc f est variation borne (
0 ) ( ) ( a f b f
)
Thorme :
Soit [ ] R b a f , : . Alors f est variation borne si et seulement si elle est diffrence de
deux fonctions croissantes.
En particulier, lensemble des fonctions [ ] C b a, variation borne est le
sous-espace engendr par les fonctions valeurs relles et croissantes.
Dmonstration :
Soit [ ] R b a f , : . Ainsi, pour tout [ ] b a x , , f est variation borne sur [ ] x a, , et on peut
noter
[ ]) , ( ) ( x a V x F
f

Alors F est croissante car pour x, y tels que

y x >
, on a :
[ ] ) ( ) , ( ) ( ) ( y F y x V y F x F
f
+
Montrons alors que
) ( ) ( : x f x F x B
est aussi croissante :
Pour tous
y x >
et toute subdivision
y y y a
p
< < ...
0
de [ ] y a, ,
x y y y y a
p p
< < <
+1 0
...
est une subdivision de [ ] x a, , donc
) ( ) ( ) ( ) ( ) (
1
0
1
x F y f x f y f y f
p
k
k k
+

+
Et en passant la borne suprieure sur les subdivisions de [ ] y a, ,
on obtient
) ( ) ( ) ( ) ( x F y f x f y F +
, soit
0 )) ( ) ( ( ) ( ) ( )) ( ) ( ( )) ( ) ( ( ) ( ) ( y f x f y f x f y f y F x f x F y B x B
Donc
B F f
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
C R : f
continue par morceaux 2 -priodique et variation borne sur [ ] 2 , 0 . Pour
tout * Z n , on a
n
K
f c
n
2
) ( o
[ ]) 2 , 0 (
f
V K
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
1 n
et
1 2 ,... 0 n k
, on a :

+
+

2
0
.
2
. .
2
0
.
) (
2
1
) 1 (
) (
2
1
) (
2
1
) (
dt k t f e
du k u f e dt t f e f c
n
t in k
k
k
n
ik u in t in
n
n
n
Donc

,
`

.
|
+

2
0
1 2
0
.
) ( . 2
1 2
0
) ( ) 1 ( ) ( 2 ) ( . 4 dt k t f e f c f nc
n
k
n
k t in
f c n
n
k
n n
n

Do
[ ]

+
+ + + +

2
0
2
0
) 2 , (
) ) 1 2 ( ( ... ) 2 ( ) ( ) ( ) ( . 4
dt t t V
dt n t f t f t f t f f nc
f
n n n n
Mais comme
[ ] [ ]) 2 , 0 ( ) 2 , (
f f
V t t V +
(par priodicit), on a
[ ]) 2 , 0 ( 2 ) ( . 4
f n
V f nc
Un exemple :
La fonction

+
1
3
2
) cos(
1
:
n
x n
n
x f
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
calculent en intgrant terme terme les sries de termes gnraux
*
3
2
) cos( ) cos(
1
N

,
`

.
|
n
px x n
n
et
*
3
2
) sin( ) cos(
1
N

,
`

.
|
n
px x n
n
pour
N p
.
On a ainsi
0 ) ( , 1 f b k
k
et

'

3
1
si
nul non cube un pas est n' si 0
) (
2
p k
k
f a
p
k
*
)) ( (
N k k
f ka
nest donc pas borne, et f nest pas variation borne.
ii. Thorme de DiniLipschitz
Dfinition :
Une fonction
C I f :
est dite hlderienne lorsquil existe 0 > K et 0 > tels que

y x K y f x f I y x ) ( ) ( , , .
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
le module de continuit uniforme

de f est tel que

t
t
t
) (
soit intgrable sur ] ] 1 ; 0
On sait quil existe des fonctions continues dont la srie de Fourier diverge en au moins un point.
Lemme de RiemannLebesgue uniforme :
Soit [ ] [ ] C d c b a K , , : continue. Alors

d
c
t i
dt e t x K x L

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

<

. On divise alors [ ] b a, en sousintervalles

[ ]
1
,
+ i i
a a
avec
b a a a
p
< < ...
0
de sorte que
d a a p i
i i
<
+1
, 1
Comme on a convergence simple, il existe 0 > tel que pour tout R ,
[ ]
2
) , ( , , 0

>
i
a L p i
Ainsi, pour tout [ ] b a x , , il existe i tel que
[ ]
1
,
+

i i
a a x
et donc pour tout R tel que
>
,
on a :

+
+ +

) ( ) (
2
) , ( ) , ( ) , ( ) , ( ) , ( ) , (
W c d
dt t a K t x K a L x L a L x L
d
c
i i i
Pour le thorme maintenant :
Il suffit de montrer la convergence uniforme de
) ( f S
n
vers f sur [ ] 2 , 0 .
On a dj vu que

dt
t n
x f t x f x f x f S
t
n
2
2
1
sin
) ) sin((
)) ( ) ( (
2
1
) ( ) )( (
.
Soit 0 > . Comme
t
t) (
est intgrable sur ] ] 1 , 0 , on peut choisir tel que < < 0 et

3
0
) (

<

dt
t
t
.
On dcoupe lintgrale prcdente en trois morceaux : [ ] , , [ ] , et [ ] , .
Pour tout [ ] 2 , 0 x , on a alors (en utilisant le fait que

t t
) sin(
2
sur [ ] , 0 ) :
3
2
) (
2
) ) sin((
sin
) (
sin
) ) sin((
)) ( ) ( (
0
2
1
2 2
2
1

+
+

dt
t
t
dt t n
t
dt
t n
x f t x f
t t
Enfin, selon le lemme, pour ce 0 > fix,

dt
t n
x f t x f x
t
2
2
1
sin
) ) sin((
)) ( ) ( (
tend
uniformment vers 0 lorsque
+ n
et il en est de mme pour

dt
t n
x f t x f x
t
2
2
1
sin
) ) sin((
)) ( ) ( (
. Ainsi, il existe N N tel que pour tout N n ,
3
2
sin
) ) sin((
)) ( ) ( (
2
2
1

dt
t n
x f t x f
t
et
3
2
sin
) ) sin((
)) ( ) ( (
2
2
1

dt
t n
x f t x f
t
Ainsi, pour tout N n et tout [ ] 2 , 0 x , on a
) ( ) )( ( x f x f S
n
A.BENHARI 29
Do la convergence.
iii. Thorme de Bernstein
Thorme :
Si f est 2 -priodique et hlderienne dexposant
2
1
> b
(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
Z n n
c ) (
.
Soit R h . Un changement de variables montre que les coefficients de Fourier de
) ( : h x f x g
h
+
vrifient ) ( ) ( f c e g c
n
inh
h n
, et ceux de
h h h
g g k


vrifient alors
) ( ) sin( 2 ) ( f c nh i k c
n h n

Ainsi, daprs la formule de Parseval,

+
Z n
n
f c nh dx h x f h x f
2
2
2
0
2
) ( ) ( sin 8 ) ( ) (

On note a, b tels que

b
y x a y f x f y x ) ( ) ( , ,
2
R (
2
1
> b
)
Soit alors 1 N ; on applique la relation prcdente avec
N
h
4

.
Comme pour
2

x , on a x x

2
sin , pour
N n N 2 <
, on peut minorer
) sin(nh
par
2
1 2
nh

.
Ainsi,

<
<

+
N n N
n
N n N
n
b
f c
f c nh dx h x f h x f h a
2
2
2
2
2
2
0
2
2 2
) ( 2
) ( ) ( sin 8 ) ( ) ( ) 2 ( . 2

C'est--dire
b
N
N k
k k
cN f c f c N
2
2
2 2
) ( ) ( , 1

+

o
b
b
a
c
2
2
4

Montrons maintenant que la famille
Z n n
c ) (
est sommable, c'est--dire que la srie de terme
gnral

+
<

1
2 2
p p
n
n p
c t
converge (en faisant un groupement de termes).
p
t
contient
1
2
+ p
termes, donc lingalit de CauchySchwarz et lingalit donnent :
p
p
b p
p
n
n
n
n p
r c c c c t
p p p p
' 2 ) 2 .( 2 ) ( 1 .
2
1
2
1
2 / 1
2 2
2
2 2
1 1

+

+
< <

+ +
Avec
b
r

2 / 1
2
. Comme
2
1
> b , la srie gomtrique de raison r converge, donc la famille
Z n n
c ) (
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 :
X Q P
0 0
et pour tout N n ,
n n n
Q X P P
n
2
1
+
+
,
n n n
Q X P Q
n
2
1

+
Proprits :
(1) Pour tout N n ,
n
P
et
n
Q
sont des polynmes de degr
n
2
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
1
) (
n n
c
de rels 1 t telle que :

+
+

n
n
n n
n
n
k
k
k
k
k
k
k
k
k
n
k
k
k n
X c X c X c Q X c P n
2
1 2
2
1
2
1
2
2
1
1
1
, , 1
(3) Pour tout z de module 1, on a
1
2 2
2 ) ( ) (
+
+
n
n n
z Q z P
Dmonstration :
(1)
(2) : Pour tout N n ,
n
P
et
n
Q
sont de la forme

n
k
k
n k n
X c P
2
1
,
,

n
k
k
n k n
X d Q
2
1
,
, avec
1
,
t
n k
c
,
1
,
t
n k
d
. On a de plus, pour
n
k 2 1 ,
n k n k n k
c d c
, 1 , 1 ,

+ +
et pour
1
2 1 2
+
+
n n
k ,
n k
n k n k
n
d d c
, 2
1 , 1 ,

+ +

.
Comme
n
P
est le tronqu en degr
n
2
de
1 + n
P
(c'est--dire que les
n
2
premiers
coefficients de
n
P
sont les mmes que ceux de
1 + n
P
), en posant
n k k
c c
,

o n est un entier
quelconque tel que k
n
2 , on dfinit une suite
1
) (
n n
c
pour laquelle

n
k
k
k n
X c P n
2
1
*, N .
Lgalit ) (
1
2
n n n
P P X Q
n

+

donne ensuite la premire expression de

n
Q
, et la seconde
dcoule de la comparaison entre
1
2
1
1

+
n n n
Q X P P
n
et
1
2
1
1

n n n
Q X P Q
n
(3) : on a mme pour tout C z ,
2 2 2 2
1
2
1
) ( 2 ) ( 2 ) ( ) ( z Q z z P z Q z P
n n n n
n
+ +
+ +
En effet, pour tous
C b a,
,
2 2
2 2
2 2
) ( ) ( ) ( ) (
b a
b b b a a b a a b b a b b a a a
b a b a b a b a b a b a
+
+ + + + +
+ + + + +
Et on utilise ensuite la dfinition de
1 + n
P
et
1 + n
Q
.
A.BENHARI 31
Ensuite, on fait par rcurrence pour lgalit avec
1 z
.
v. Suite de RudinShapiro
Dfinition :
La suite
*
) (
N k k
c
sappelle suite de RudinShapiro (elle a t introduite indpendamment
par les deux personnes dans les annes 50)
Calcul des
k
c
:
Proprit (Brillhart et Carlitz) :
On a pour tout * N k ,
) (
) 1 (
k N
k
c o
) (k N
est le nombre de 11 dans lcriture en base
2 de 1 k .
Dmonstration :
Par rcurrence : dj, la proprit est vraie pour 4 k . Supposons la vraie pour
1
2
+

n
k
pour N n . Avec les relations
) 2 ( ) (
1
2
1
2 2
1 1
2
1 2
1 1 1
n n n n n n n n n
P P X P Q X P X P Q X P P
n n n n
+ + + +
+ + + + + +
+ + +
,
on obtient

'

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

n
k , ce qui achve la rcurrence.
vi. Des polynmes trigonomtriques
Pour R t et
1 p
, on note n lunique entier tel que
n n
p 2 2
1
<

, et on pose alors

p
k
ikt
k p
e c t F
1
) ( et

+
+

p
k
ikt
k
k
ikt
k
p
k
ikt
k
p
n
n
n
e c e c e c t G
1 2
2
1 1
2
1
1
) (
Ainsi,
) ( ) (
2
it
n
e P t F
n

et
) ( ) (
2
it
n
e Q t G
n

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

,
) ( ) (
2
it
n
e Q t G
n

)
Supposons les ingalits vraies jusqu lindice
2 1 p
. Alors, en considrant n tel que
1 2 1 2
1
+
+ n n
p , on a pour tout R t :

+
+
+ +
n
n
n
n
p
k
ikt
k
t i it
n
p
k
ikt
k
it
n p
e c e e P e c e P t F
2
1
2
2
1 2
) ( ) ( ) (
Si
1
2 2


n n
p , alors ) (
2
2
1
2
1
2
t F e c e c
n
n n
n
p
p
k
ikt
k
p
k
ikt
k

+


(daprs la proprit (2) du 1))
Et si
1
2 2

>
n n
p , on a
n n n n
p 2 2 2 2
1
<
+
donc
A.BENHARI 32
) (
2
2
1 2
2
1
2
1
2
1
1
t G e c e c e c
n
n
n
n n
n
p
p
k
ikt
k
k
ikt
k
p
k
ikt
k

Do
) ( ) ( ) (
2
2
2
t F e it F t F
n
n
n
p
t i
p

+
ou
) ( ) ( ) (
2
2
2
t G e it F t F
n
n
n
p
t i
p

+
Et dans les deux cas par hypothse de rcurrence :
n n
p
p A t F 2 2 ) (
1
+
+
.
Mais comme p
n
2 et
2
2
p
p
n
, on a :
p A p
A
t F t
p
+ )
2
2 ( ) ( , R
.
Le cas de
p
G
est analogue.
vii. Des sries trigonomtriques
Thorme :
Pour tout
] ] 1 ;
2
1

, la srie

+
1 k
ikx k
e
k
c

converge uniformment sur R mais pas

normalement. Sa somme

h
est continue, 2 -priodique et vrifie

1
2
) )( (
k
ikx
k
e
x h h


Remarque :
On peut remplacer

k k f ) ( par toute fonction f dcroissant vers 0 telle que la srie de
terme gnral )) 1 ( ) ( ( + k f k f k converge. On ne peut pas amliorer ce rsultat car,
daprs la formule de Parseval, la srie de terme gnral
2
) (

k f doit converger.
Dmonstration :
Par une transformation dAbel, on a pour
m n >
, la majoration uniforme :

,
`

.
|
+

,
`

.
|
+
+ +

,
`

.
|
+
+ +

m k
n
m k
n
m k
k
n m
m
n k
k k
m
n k
ikt
k
k
m A
k k
n m A
k k
t F
n
t F
m
t F
k
t F t F
k
e c
2 / 1
2 / 1
1
2 / 1 2 / 1
1
1 1
1
2
) 1 (
1
) 1 (
1 1
) (
) ( ) ( ) ( ) (

(la srie de terme gnral
2 / 1
1
+
k
converge car 1
2
1
> + )
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 :

'

1 si
1
0 si 0
) (
n
n
n
h c
n

Lexpression des coefficients de Fourier dune convole donne

'

1 si
1
0 si 0
) (
2
n
n
n
h h c
n

,
et comme la srie de Fourier de

h h
est uniformment convergente (car normalement,
puisque 1 2 > ), 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

g h h
montre alors que

g h h
, c'est--dire que

1
2
.
) )( ( ,
n
t in
n
e
t h h t


R
viii. Une srie entire uniformment convergente pas normalement convergente sur
) 1 , 0 (
f
D
Principe du maximum pour les polynmes :
Proprit :
Pour tout polynme
] [ X P C
, on a
) ( sup ) ( sup
1 1
z P z P
z z

Preuve :
Soit
] [
0
X X a P
d
k
k
k
C

. Comme P est continu sur le compact

) 1 , 0 (
f
D
, il existe
) 1 , 0 (
0 f
D z
tel que
) ( ) ( sup
0
1
z P z P
z

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

donne :

+
d
k
ikt k
k it
k
e r
z P re z P
0
0
) (
0
!
) ( ) (
Et donc ) ( 2 ) (
0
2
0
0
z P dt re z P
it

. Ainsi, par choix de

0
z
,
) ( ) (
2
1
) (
0
2
0
0 0
z P dt re z P z P
it
+

Soit, comme P est continu,

) ( ) ( ,
0 0
z P re z P t
it
+ R
.
La formule de Parseval donne alors :

+
d
k
k
k it
k
r
z P dt re z P z P
0
2
2
2
0
) (
2
0
2
0
2
0
) ! (
) ( ) (
2
1
) (

Donc P est le polynme constant

) (
0
z P P
et on a
) ( sup ) ( sup
1 1
z P z P
z z

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
) 1 , 0 (
f
D
, et en
particulier toute fonction somme dune srie entire de rayon de convergence
strictement suprieur 1.
Une srie entire :
Proprit :
Pour
2
1
1 > , la srie entire

+
1 k
k
k
k
z
c

est uniformment convergente sur
) 1 , 0 (
f
D
mais
pas normalement convergente.
Dmonstration :
Le principe du maximum (pour les polynmes) montre que pour
2
1
> et
m n >
, on a :

m n
n
m k
k
k
z
n
m k
k
k
D z
F F
k
z
c
k
z
c
f 1
1
1
) 1 , 0 (
sup sup

A.BENHARI 34
Comme la suite
*
) (
N n n
F
est uniformment convergente sur R, la srie entire

+
1 k
k
k
k
z
c

est
uniformment de Cauchy, donc uniformment convergente sur
) 1 , 0 (
f
D
. Pour
2
1
1 > , elle
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
1
C par
morceaux.
(2) Mthode indirecte : (on suppose que 2 T )
On dveloppe f en srie trigonomtrique , c'est--dire

0
) ( ) (
n
n
x u x f
o
0 0
u
et

'

+
+

inx
n
inx
n
n n
n
e e
nx nx
x u n


ou
sin cos
) ( , 1
et on montre que les coefficients vrifient :
n n
f c n ) ( , Z
, c'est--dire que

+
+

2
0
.
) (
2
1
a
a
k
k
t in
n
dt t u e
, galit quon obtient
gnralement en constatant que la srie de fonctions

0
.
) (
k
t in
k
e t u
est uniformment convergente
sur [ ] 2 , + a a .
Exemples :
Soit C , f dfinie par ] ]
x
e x f x
.
) ( , ,

, 2 -priodique.
Graphe pour
2
1
a
:

f est de classe
1
C par morceaux, 2 -priodique
Coefficients de Fourier : on a

dt e f c
t in
n
) (
2
1
) (
(1) Si Z i , alors
x in
e x f x
0
) ( , R donc
T f
. Donc
f f S ) (
(2) Si Z i ,
) (
) ( sh
) 1 (
) ( 2
) 1 (
) ( 2 2
1
) (
) ( ) ( ) (
in
in
e e
in
e e
in
e
f c
n
n
in in t in
n

]
]
]

Donc la srie est simplement convergente, mais pas normalement.

Le thorme de Dirichlet donne :
A.BENHARI 35
Pour ] [ , x ,
x
n
inx n inx n
e
in
e
in
e

,
`

.
|

,
`

.
|
+

1
) 1 ( ) 1 ( 1 ) ( sh
Et en
x
:
2
1 1 1 ) ( sh
1



+

,
`

.
|

,
`

.
|
+
+

e e
in in
n
C'est--dire
) ( ch
2 1 ) ( sh
1
2 2

,
`

.
|
+
+

+
n
n
pour Z C i \
Consquence :
) coth(
2 1
, \
1
2 2

+
+

+
n
n
iZ C
Exemple 2 :
Soit ] [ 1 , 1 a . Dvelopper
) cos 1 ln( : x a x f
en srie de Fourier.
Etude :
F est de classe

C , 2 -priodique. Le thorme de Dirichlet sapplique donc :

0
cos ) ( ) ( ,
n
n
nx f a x f x R
(f est paire) et on a mme convergence normale.
x a
x a
x f x
cos 1
sin
) ( ' ,

R
On suppose 0 > a . On pose alors
ch
1
a
avec
0 >
.
On a alors
ix ix
ix ix
e e
e e
i
x
x
x f x

ch 2 cos ch
sin
) ( ' , R
Soit en posant
ix
e z :

,
`

.
|
+
,
`

.
|

1 0
2 2
2
2
2
) )( (
1
) )( (
1
) )( (
1
1 ch 2
1
) ( '
n
n
n
n
n n
z
e
i e z i i
e e e z
e
i
e z e e
e
i i
e z e z
z
i
z z
z
i x f

(car
1 <

e
z
e
ze
)
( )

+

1 1
sin 2 ) ( '
n
n
n
n inx n inx
nx e e e e e i x f

Donc

+ +
x
n
t u
n
x
dt nt e i a f dt t f x f
n
0
1
) (
0
sin ) 1 ln( ) 0 ( ) ( ' ) (

Or, la srie de terme gnral

n
u
est normalement convergente sur R. (
n
n
e u

)
Et les
n
u
sont continus.
Donc
A.BENHARI 36

,
`

.
|

1
2
2
1
) 1 ln(
1 1
cos 2
) 1 (
1
ln
cos 2 2 ) 1 ln(
cos 1
2 ) 1 ln( ) (
0
n
n
n
n
e
n
n
n
n
nx
n
e
e
a
nx
n
e
n
e
a
n
nx
e a x f
n

Attention :
On a un dveloppement de f en srie trigonomtrique, mais on nest pas sr que cest sa srie de
Fourier. Il faut maintenant montrer que
) (
0 0
f a
et
n
n
n
n
e
f a n

2
) ( *, N
Pour
1 p
, on a

0
0
0
cos cos
2
) cos( ) (
2
) ( dt pt nt dt pt t f f a
n
n p
On pose
pt nt t v
n n
cos cos ) (
. Alors
n
e
v
n
n n

2
, terme gnral dune srie
convergente.
On peut donc intgrer terme terme, et :
n
n
n p
n p
ptdt nt f a

0
2
0
,
cos cos
2
) (

x. Injectivit de
Z n n
f c f )) ( (
pour les fonctions continues
Thorme :
Lapplication qui
2
C f
associe
Z
Z
C
n n
f c )) ( ( est linaire injective.
Corollaire :
Soient
C R : , g f
2 -priodiques continues telles que
) ( ) ( , g c f c n
n n
Z
Alors
g f
.
Remarque :
Lapplication est aussi injective sur D.
Si
C R : , g f
, 2 -priodiques continues par morceaux sont tels que
) ( ) ( , g c f c n
n n
Z
,
alors f et g sont gales sauf sur une partie finie de [ ] 2 , 0 .
(Et ce mme si les sries divergent)
Dmonstration :
On applique lgalit de Parseval
g f
:

Z n
n
h c h
2 2
2
) (
. Donc si
0 ) ( , h c n
n
Z
, alors
0
2
h
. Si de plus h est continue ou continue
par morceaux sauts symtriques, alors h est nulle.
A.BENHARI 37
xi. Taille des coefficients et rgularit
Rappel :
Si
C R : f
est de classe
1
C et 2 -priodique, alors
) ( ) ' ( , f inc f c n
n n
Z
Proposition :
Si
C R : f
est 2 -priodique et de classe
k
C , alors
,
`

.
|

t
k
n
n
n
o f c
1
) (
Dmonstration :
Pour 0 n , on a ) (
1
) (
) (k
n
k
n
f c
in
f c

,
`

.
|

Le lemme de RiemannLebesgue pour

) (k
f montre que :
0 ) ( lim ) ( lim
) (

t t
k
n
n
n
k
n
f c f c n
Do le rsultat.
Proposition :
Soit
C R : f
, 2 -priodique continue. Soit N k
Si la srie de terme gnral
( ) ) ( ) ( f c f c n
n n
k

+
converge, alors f est de classe
k
C .
En particulier, si
,
`

.
|

+
t
2
1
) (
k
n
n
n
O f c
, alors f est de classe
k
C
Remarque :
On obtient lquivalence, pour
C R : f
, 2 -priodique continue :
f est de classe
0 ) ( lim ,
t

f c n p C
n
p
n
N
Dmonstration de la proposition :
Posons

+ +
1
0
) ( ) ( ) ( ) (
n
inx
n
inx
n
e f c e f c f c x g
. Alors :
(1) g est dfinie et de classe
k
C sur R, 2 -priodique.
En effet, posons pour N n et R x ,

'

inx
n
inx
n n
e f c e f c x u
f c x u
) ( ) ( ) (
) ( ) (
0 0
Alors pour tout N n ,
n
u
est de classe
k
C et
[ ] ) ) ( ) 1 ( ) ( ( ) )( ( , , , 0
) ( inx
n
j inx
n
j j
n
e f c e f c in x u x k j

+ R
Pour tout
[ ] k j , 0
, la srie de terme gnral
) ( j
n
u est normalement convergente sur R, donc
uniformment convergente, car
) ) ( ) ( ( ) ) ( ) ( ( ,
) (
f c f c n f c f c n u n
n n
k
n n
j j
n

+ + N
, terme gnral dune srie
convergente par hypothse.
Donc g est de classe
k
C , k fois drivable terme terme.
(2) g est 2 -priodique.
(3) Enfin,
f g
:
Dj, g est continue et 2 -priodique.
Calculons les
) (g c
p
:
A.BENHARI 38
Pour
Z p
,

,
`

.
|

2
0
0
) (
2
1
) ( dx e x u g c
n
ipx
n p
.
Posons alors pour N n et R x ,
ipx
n n
e x u x v

) ( ) (
Alors pour tout N n ,
n
v
est continue,


n n
u v
, donc la srie de terme gnral
n
v
est
normalement convergente.
On peut donc intgrer terme terme sur [ ] 2 , 0 :
) ( ) ( 2
2
1
) (
2
1
) (
0
,
0
2
0
f c f c dx x v g c
p
n
n n p
n
n p

xii. Sries remarquables obtenue partir des sries de Fourier

Exemple : on dfinit f sur R par
) (sin Arcsin ) ( , x x f x R
Etudions la srie de Fourier de f :
(1) Graphe :
f est 2 -priodique car sin lest, impaire. Sur
]
]
]

2
,
2

,
x x f ) (
.
Pour
]
]
]

2
3
,
2

,
x x x f )) (sin( Arcsin ) (

2

Donc f est continue,

1
C par morceaux.
(2) Calcul des coefficients :
0 ) ( , f a n
n
N
Pour 1 n ,

,
`

.
|

,
`

.
|
]
]
]

]
]
]

,
`

.
|
+
]
]
]

]
]
]

2
sin
4 sin sin 2
cos cos cos
) (
cos 2
) sin( ) (
2
) (
2
2 /
2
2 /
0
2
2 /
2 /
0
2 /
2 /
0
0

n
n n
nx
n
nx
dx
n
nx
dx
n
nx
n
nx
x
n
nx
x
dx nx x f f b
n
Donc daprs le thorme de Dirichlet,

1
2
2
sin
) sin( 4
) ( ,
n
nx
n
n
x f x

R
(3) Application : calcul de

+
1
2
1
n
n
On a

+
+

0
2
) ) 1 2 sin((
) 1 2 (
) 1 ( 4
) (
p
p
x p
p
x f

A.BENHARI 39
Donc en
2

x :

0
2
) 1 2 (
1 4
2
p
p

Puis

8 /
1
0
2
4 / ) 2 (
1
2
) 2 (
2
1
2
2
) 1 2 (
1
4
1 1

+
+
N
k
N
k
N
n
k k n
xiii. Rsolution dquations fonctionnelles (ide de Fourier)
Exemple dquation fonctionnelle :
f by ay y E + + ' ' ' : ) (
, o
C b a,
, 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
) (
n
c
pour tout Z n , on a :
) ( ) (
) ( ) ' ( ) ' ' ( ) (
2
y c b ain n
y bc y ac y c f c
n
n n n n
+ +
+ +
1
er
cas : 0 ,
2
+ + b ain n n Z
Alors
) (E
a au plus une solution 2 -priodique y, caractrise par :
b ain n
f c
y c n
n
n
+ +

2
) (
) ( , Z
2
me
cas : Sil existe une ou deux solutions Z
2 1
, n n 0
2
+ + b ain n .
Une condition ncessaire est que
0 ) ( ) (
2 1
f c f c
n n
pour une solution. Ainsi,
Soit
) (E
na pas de solution, soit
) (E
a une infinit de solution.
En effet, si
0
y
est solution, alors pour tout C C ,
x in
j
Ce x y x + ) (
0
(
2 , 1 j
) est aussi une
solution.
Peut-on dire mieux pour chacun des deux cas ?
(1) Si f est de classe
1
C par morceaux, alors

Z
R
n
inx
n
e f c x f x ) ( ) ( ,
Et la srie

Z n
n
f c ) (
converge.
- Si 0 ,
2
+ + b ain n n Z
Posons pour R x ,

+

+
+ +

1
0
2
) (
) (
) (
n
n
n
inx
n
x v v
b ain n
e f c
x g
Z
O
b
f c
v
) (
0
0
et
b ain n
e f c
b ain n
e f c
x v x n
inx
n
inx
n
n
+
+
+ +

2 2
) ( ) (
) ( , , R N
Alors g est de classe
2
C sur R et est solution de
) (E
.
En effet, les
n
v
sont de classe
2
C , et les sries de terme gnral
) ( j
n
v (
2 , 1 j
) sont normalement
convergentes car
( ) ) ( ) (
) ( ) (
2 2
) (
f c f c O
b ain n
f c
b ain n
f c
n v
n n
n
n n j j
n
t

,
`

.
|
+
+
+ +

Donc g est de classe

2
C , drivable terme terme et :
A.BENHARI 40
) ( ) (
) ( ) ( ) (
) ( ) ( ' ) ( ' ' ,
2
2
x f e f c
ain b n
e f c n e f inac e f bc
x bg x ag x g x
n
inx
n
n
inx
n
inx
n
inx
n

+ +
+
+ +

Z
Z
R
- Si b ain n + +
2
sannule pour Z
2 1
, n n :
On pose

+ +

2 1
,
2
) (
) (
n n n
inx
n
b ain n
e f c
x g
On a le mme rsultat (sachant que
0 ) ( ) (
2 1
f c f c
n n
)
(2) Si maintenant f nest que continue :
On va montrer que si ) 0 ) ( 0 ( ,
2
+ + f c b ain n n
n
Z ,
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 :
0 ' ' ' + + by ay y
Equation caractristique : 0
2
+ + b ar r
On suppose que 0 4
2
b a . Ainsi, on a deux racines
1
r ,
2
r distinctes.
Un systme fondamental de solutions est donc
x r
e x
1
,
x r
e x
2
.
Dans
) (E
, on pose

'

+
+
x r x r
x r x r
e r x e r x x y
e x e x x y
2 1
2 1
2 1
) ( ) ( ) ( '
) ( ) ( ) (


.
Alors

'

+
+
) ( ) ( ' ) ( '
0 ) ( ' ) ( '
2 1
2 1
2 1
x f e r x e r x
e x e x
x r x r
x r x r


Donc
1 2
1
) (
) ( '
r r
e x f
x
x r

,
2 1
2
) (
) ( '
r r
e x f
x
x r

La solution gnral de
) (E
scrit donc :
x r
x
t r
x r
x
t r
e dt
r r
e t f
B e dt
r r
e t f
A x y
2
2
1
1
0
2 1
0
1 2
) ( ) (
) (

,
`

.
|

,
`

.
|

(Et
x r
x
t r
x r
x
t r
e r dt
r r
e t f
B e r dt
r r
e t f
A x y
2
2
1
1
2
0
2 1
1
0
1 2
) ( ) (
) ( '

,
`

.
|

,
`

.
|

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

'

) 0 ( ' ) 2 ( ' ) 0 ( '
) 0 ( ) 2 ( ) 0 (
z y y
z y y

, alors daprs le thorme de Cauchy

z y
Il suffit donc de montrer quil existe A et B tels que
) 2 ( ) 0 ( y y
et
) 2 ( ' ) 0 ( ' y y
,
c'est--dire :

'

,
`

.
|

,
`

.
|

,
`

.
|

,
`

.
|

2
2
2
0
2 1
2
1
2
0
1 2
2 1
2
2
0
2 1
2
2
0
1 2
2
2
1
1
2
2
1
1
) ( ) (
) ( ) (
r
t r
r
t r
r
t r
r
t r
e r dt
r r
e t f
B e r dt
r r
e t f
A Br Ar
e dt
r r
e t f
B e dt
r r
e t f
A B A
A.BENHARI 41
Ou, comme
2 1
r r :

'

,
`

.
|

,
`

.
|

) 2 (
) (
) 1 (
) (
2
2
0
2 1
2
2
0
1 2
2
2
1
1

r
t r
r
t r
e dt
r r
e t f
B B
e dt
r r
e t f
A A
Discussion :
Si 1
1
. 2

r
e

, il existe A unique tel que (1)
Si 1
1
. 2

r
e

, alors in r
1
o Z n
Et donc 0 ) ( ) (
2
+ + b in a in , c'est--dire 0
2
+ + b ain n
Donc
0 ) ( f c
n
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