Bibm@th.

net

Rechercher sur le site...

Bibm@th

Rechercher sur le site...

Accueil Lycée Supérieur Bibliothèques Références Thèmes Forum

Mon compte
Bibliothèque d'exercicesBibliothèque de problèmesAutomatismes

Accueil

Lycée
Collège
Seconde
Grand Oral

Supérieur
Math Sup
Math Spé
Capes
Agreg interne
BTS

Bibliothèques
Bibliothèque d'exercices
Bibliothèque de problèmes
Automatismes

Références
Dictionnaire
Biographie de mathématiciens
Formulaire
Lexique français/anglais

Thèmes
Cryptographie et codes secrets
Jeux et énigmes
Carrés magiques
Mathématiques au quotidien
Dossiers

Forum
Mon compte

Ressources mathématiques > Base de données d'exercices > Exercices d'analyse >
Accéder à mon compte > Accéder à ma feuille d'exercices >

Exercices corrigés - Séries de Fourier

Exercice 1 - Comprendre le cours [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé

1. Donner la décomposition en série de Fourier de la fonction f définie par f (x) = cos(5x).

2. En utilisant le théorème de Parseval, prouver que deux fonctions continues 2π-périodiques
ayant les mêmes coefficients de Fourier sont égales.
3. Soit f une fonction continue 2π−périodique. Montrer que (cn (f )) tend vers 0 lorsque |n|
tend vers +∞.
4. On suppose de plus que f est de classe C k . Prouver que cn (f ) = o(1/nk ).
5. Soit f la fonction "créneau" définie par f (x) = 1 si x ∈ [0, π[, f (x) = −1 si x ∈ [−π, 0[, et
prolongée par 2π-périodicité. Quelle est la régularité de cette fonction? Que dire de la série de
Fourier de f en 0? Peut-on avoir convergence normale de la série de Fourier de f vers f sur
[−π, π]?

6. Soit f la fonction paire 2π-périodique définie par f (x) = √x sur [0, π]. f est-elle C 1 par
morceaux?

Indication
Corrigé

Exercices de calcul
Exercice 2 - Quelques décompositions en séries de Fourier [Signaler une erreur] [Ajouter à ma feuille
d'exos]

Enoncé
Déterminer les séries de Fourier (termes en sinus et cosinus) des fonctions suivantes :

1. f 2π−périodique, définie par f (x) = x si −π ≤ x < π.

2. la fonction créneau : f est 2π-périodique, définie par f (x) = 1 si x ∈ [0, π[ , et f (x) = −1 si
x ∈ [−π, 0[.
 3. la fonction L−périodique, où L > 0 , définie par f (x) = |x| si x ∈ [−L/2, L/2] .

Indication
Corrigé

1. Cette fonction est impaire, les coefficients en cosinus sont nuls. On a par définition :
π
1
bn = ∫ x sin(nx)dx.
π −π

On calcule ce coefficient grâce à une intégration par parties :

2
n+1
bn = (−1)
n

2. Cette fonction est elle-aussi impaire, et il suffit là encore de calculer les coefficients en sinus
:

0 π
1 1 2
bn = ∫ (−1) sin(nx)dx + ∫ sin(nx)dx = (1 − cos(nπ)).
π π nπ
−π 0

Ceci s'écrit plus simplement :

0 pour n pair
bn = {
4
pour n impair
nπ

3. Remarquons que la fonction est paire : il suffit de calculer les coefficients en cosinus. On a :

L/2 L/2
1 2 L
a0 = ∫ |x|dx = ∫ xdx = .
L L 4
−L/2 0

L/2 L/2
2 2π 4 2π
an = ∫ |x| cos( nx)dx = ∫ x cos( nx)dx.
L L L L
−L/2 0

On calcule ceci par intégration par parties pour trouver :

L 0 si n est pair
n
an = ((−1) − 1) = { 2L
n2 π 2 − si n est impair
n2 π 2

Exercice 3 - Application aux calculs de séries [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer la série de Fourier de la fonction périodique de période 2π définie par f (x) = x
2
pour
n+1
1 (−1) 1
−π ≤ x ≤ π . En déduire la somme des séries ∑ ,∑ , ∑ .
2 2 4
n n n
n≥1 n≥1 n≥1

Indication
Corrigé
La fonction f est paire, ses coefficients en sinus sont nuls, et on a :

π 2
1 π
2
a0 = ∫ x dx = ,
2π 3
−π
 π
2
2
an = ∫ x cos(nx)dx.
π
0

La calcul de an se fait par une double intégration par parties, et on trouve :

n
4
an = (−1) .
2
n

1
Maintenant, f est continue et C par morceaux : cette fonction est somme de sa série de Fourier pour
tout réel, et on a donc, pour tout x dans [−π, π],

2 n
π (−1)
2
x = + 4∑ cos(nx).
2
3 n
n≥1

Si l'on fait x = π, on obtient :

2
π 1
2
π = + 4∑ .
2
3 n
n≥1

On obtient exactement :

2
1 π
∑ = .
2
n 6
n≥1

Si l'on fait x = 0, on obtient cette fois :

n+1 2
(−1) π
∑ = .
2 12
n
n≥1

Pour calculer la dernière somme demandée, il faut pouvoir mettre les coefficients au carré, et c'est ce
que l'on obtient dans l'égalité de Parseval, que l'on peut appliquer ici puisque f est continue :

π 4
1 π 1 16
4
∫ x dx = + ∑ .
2π 9 2 4
−π n
n≥1

Ceci donne :

4 4
1 π 1 1 π
∑ = ( − ) = .
n4 8 5 9 90
n≥1

Exercice 4 - Application au calcul de séries [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f la fonction 2π−périodique, définie pour x ∈ [0, 2π[ par f (x) = x
2
.

1. Déterminer la série de Fourier de f .

1 1
2. Calculer ∑ , puis ∑ .
2 4
n n
n≥1 n≥1

Indication
Corrigé
1. Prenons d'abord garde au fait suivant : ce n'est pas parce que la fonction est définie par x2
sur [0, 2π[ que la fonction est paire. Sa définition par 2π-périodicité fait que f n'est pas égale à
2
x sur ]−2π, 0]. En particulier, on ne peut pas dire que les coefficients bn sont nuls. Pour le
calcul des coefficients de Fourier, on a d'abord :

2π 2
1 4π
2
a0 (f ) = ∫ x dx = .
2π 3
0

D'autre part, en réalisant deux intégrations par parties, on a :

2π
1
2
an (f ) = ∫ x cos(nx)dx
π 0

2π 2π
1 sin nx 2
2
= [x ] − ∫ x sin(nx)dx
π n πn
0 0

2π
2 2π 2
cos nx
= [x ] − ∫ cos(nx)dx
πn n 2
0 πn 0

4
= .
2
n

−4π
De même, on trouve bn = . La série de Fourier de f est donc :
n

2
4π 4 4π
+ ∑( cos(nx) − sin(nx)) .
2 n
3 n
n≥1

2. f
1
est C par morceaux. Pour tout x de R, on a donc :

2
1 4π 4 4π
(f (x + 0) + f (x − 0)) = + ∑( cos(nx) − sin(nx)) .
2 2 n
3 n
n≥1

Pour x = 0, on trouve :

2
1 4π 4
2
((2π) + 0) = + ∑ .
2
2 3 n
n≥1

Ceci donne donc :

2
1 π
∑ = .
2
n 6
n≥1

L'autre somme se calcule en appliquant le théorème de Parseval. On a donc :

2π 2 2 2
1 4π 1 16 16π
4
∫ x dx = ( ) + ∑( + ).
2π 2 4 2
0
3 n n
n≥1

4
1 2π 16π
En utilisant le fait que ∫
4
x dx = , et en réinjectant le calcul précédent, on trouve que
2π 0 5

4
1 π
∑ = .
4 90
n
n≥1
Exercice 5 - Termes impairs [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Déterminer la série de Fourier de la fonction 2π−périodique définie sur [−π, π] par f (x) = |x| . En
déduire la valeur des sommes suivantes :

+∞ +∞
1 1
∑ et ∑ .
2 4
(2n + 1) (2n + 1)
n=0 n=0

Indication
Corrigé
Évidemment, la fonction est paire, donc les coefficients de Fourier en sinus sont nuls. Calculons les
autres coefficients :
π π
1 π 2 2
a0 (f ) = ∫ xdx = , an = ∫ x cos(nx)dx = (cos(nπ) − 1) .
π 2 π 2
0 0 πn

−4
n
Or, cos(nπ) = (−1) , et donc on a a2n = 0, et a2n+1 = . La série de Fourier de f est
2
π(2n + 1)

donc :

π 4 cos((2n + 1)x)
− ∑ .
2 π 2
(2n + 1)
n≥0

1
Elle est continue et C par morceaux. Elle vérifie donc les hypothèses du théorème de Dirichlet, et f
est somme de sa série de Fourier pour tout x de R. En particulier, pour x = 0, il vient :

2
1 π
∑ = .
2 8
(2n + 1)
n≥0

Enfin, écrivons l'égalité de Parseval :

π 2
1 π 1 16 1
2
∫ x dx = + × × ∑ .
2
2π −π
4 2 π (2n + 1)4
n≥0

En isolant la somme, on trouve donc :

4
1 π
∑ = .
4
(2n + 1) 96
n≥0

Exercice 6 - Exponentielle [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit f la fonction 2π-périodique telle que f (x) = e
x
si x ∈ [−π, π[ . Déterminer la série de Fourier de f .
n
(−1)
1
En déduire la valeur des sommes suivantes : ∑n≥1 2
et ∑n≥1 2
.
n +1 n +1

Indication
Corrigé
On calcule les coefficients de Fourier de f . On trouve

π
1 1 sinh π
π −π
a0 = ∫ f (x)dx = (e − e ) = .
2π 2π π
−π
Pour n ≥ 1, il vient

π
1
an = ∫ f (x) cos(nx)dx
π
−π
π
1
x
= ∫ e cos(nx)dx
π
−π
π
1
x inx
= ∫ e Re(e )dx
π −π

π
1
(1+in)x
= Re ( ∫ e dx)
π
−π

1 1
(1+in)π (1+in)−π
= Re ( [ e − e ])
π 1 + in
n π n −π
1 (−1) e − (−1) e
= Re ( )
π 1 + in
n
(−1) 2 sinh π
= Re ( )
π 1 + in
n
(−1) 2(1 − in) sinh π
= Re ( )
π 2
n + 1
n
2(−1) sinh π
= .
2
π(n + 1)

Pour les coefficients en sinus, une démarche similaire donne

n
(−1) 2 sinh π
bn = Im ( )
π 1 + in
n
(−1) 2(1 − in) sinh π
= Im ( )
2
π n + 1
n+1
2n(−1) sinh π
= .
2
π(n + 1)

La série de Fourier de f est donc

n n+1
sinh π 2(−1) sinh π 2n(−1) sinh π
+ ∑ cos(nx) + sin(nx).
2 2
π π(n + 1) π(n + 1)
n≥1

Remarquons aussi que la fonction f est de classe C 1 par morceaux (mais elle n'est pas continue en
les points π + 2kπ, k ∈ Z). D'après le théorème de Dirichlet, la série de Fourier de f converge en
1
chaque réel x vers 2
(f (x
+
) + f (x
−
)). En particulier, pour x = 0, on trouve

n n+1
sinh π 2(−1) sinh π 2n(−1) sinh π
+ ∑ cos(n0) + sin(n0) = f (0)
2 2
π π(n + 1) π(n + 1)
n≥1

soit

n
sinh π 2(−1) sinh π
+ ∑ = 1.
π 2
π(n + 1)
n≥1

On trouve donc
 n
(−1) π sinh π π − sinh π
∑ = × (1 − ) = .
2
n + 1 2 sinh π π 2 sinh π
n≥1

Pour calculer la première somme, on choisit x = π, et on remarque que

+ π −π
f (π ) + f (π−) e + e
= = cosh π.
2 2

On trouve donc

n n+1
sinh π 2(−1) sinh π 2n(−1) sinh π
+ ∑ cos(nπ) + sin(nπ) = cosh π
π 2 2
π(n + 1) π(n + 1)
n≥1

soit

1 π sinh π π cosh π − sinh π

∑ = × (cosh π − ) = .
2 π
n + 1 2 sinh π 2 sinh π
n≥1

Exercice 7 - Avec une autre période [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f la fonction périodique de période 2 vérifiant f (x) = x − x
3
pour tout x ∈] − 1, 1] .

1. Déterminer les coefficients de Fourier de f .

p
(−1)
+∞
2. En déduire la somme de la série ∑p=0 3
.
(2p+1)

Indication
Corrigé

1. La fonction f est impaire. Les coefficients de Fourier en cosinus sont donc nuls. Pour
calculer les coefficients de Fourier en sinus, on utilise la formule et on réalise des intégrations
par parties successives.

bn = ∫ f (t) sin(nπt)dt
−1

= 2∫ f (t) sin(nπt)dt
0

1
−2
2
= ∫ (3t − 1) cos(nπt)dt
πn
0

1
12
= ∫ t sin(nπt)dt
2 2
π n 0

1 1
12 t cos(nπt) 12
= [− ] + ∫ cos(nπt)dt
2 2 2 3
π n πn π n 0
0

n+1
(−1) 12
= .
3 3
π n

2. Remarquons que la fonction f est continue et C 1 -par morceaux. La continuité n'est pas
complètement triviale. Elle vient de l'imparité de la fonction f qui fait qu'on a un recollement
continu en 1. Ainsi, en tout réel, f est somme de sa série de Fourier. En particulier, en 1/2, on a
 +∞ n+1
3 1 12(−1) π
= f ( ) = ∑ sin(n ).
3 3
8 2 π n 2
n=0

Or, sin(nπ/2) est nul si n est pair. Si n = 2p + 1, alors

π
sin(nπ/2) = sin(pπ +
2
) = (−1) .
p
On en déduit que

+∞ p +∞ p 3
3 (−1) 12 (−1) π
= ∑ ⟹ ∑ = .
3 3 3
8 π (2p + 1) (2p + 1) 32
p=0 p=0

Exercice 8 - Une égalité étonnante! [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
π−x
Soit f la fonction impaire et 2π-périodique définie par f (x) = si x ∈]0, π[ , et soit g définie sur R
2

par g(x) = f (x + 1) − f (x − 1) .

1. Déterminer les séries de Fourier de f et de g.

2
sin n sin n
2. En déduire que ∑n≥1 n
= ∑
n≥1 2
.
n

Indication
Corrigé

Exercice 9 - Avec des séries entières [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé

1
1. Développer en série entière la fonction f (x) =
x+e
a
,a > 0 .
2. Démontrer que, pour tout x ∈ R et tout a > 0 , on a
a −a
1 1 e e
= ( − ).
ix a ix −a
cos x + cosh a sinh a e + e e + e

3. En déduire le développement en série de Fourier de la fonction g définie par

1
g(x) = , a > 0.
cos x + cosh a

Indication
Corrigé

Exercice 10 - Décomposition de sinus en produit infini [Signaler une erreur] [Ajouter à ma

feuille d'exos]

Enoncé
Soit α ∈ R∖Z .

1. Prouver que la série de Fourier de la fonction f : R → R définie par f (t) = cos(αt) pour
t ∈ [−π, π[, et prolongée par 2π-périodicité est :

+∞ n
sin(απ) (−1)
2
(1 + 2α ∑ cos(nt)) .
2 2
απ α − n
n=1

2. En déduire que
 +∞
1 2α
cotan(απ) = + ∑ .
2 2
απ π(α − n )
n=1
2
t
3. Démontrer que la série ∑n≥1 ln(1 − 2
) converge pour tout t ∈] − 1, 1[ . On note, pour
n

,
t ∈] − 1, 1[ g(t) la somme de cette série. Prouver que g est une fonction de classe C 1 , et
calculer g .′

4. En déduire que, pour tout t ∈] − 1, 1[ , on a

+∞ 2
sin(πt) t
= ∏ (1 − ).
πt k
2
k=1

Indication
Corrigé

Exercices théoriques
Exercice 11 - Des sommes partielles à f [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f une fonction continue 2π−périodique telle que, pour chaque n, on ait ∥Sn (f )∥∞ ≤ 1 . Montrer
que ∥f ∥∞ ≤ 1.

Indication
Corrigé

Exercice 12 - Régularité et décroissance des coefficients - sans indications [Signaler une

erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit f : R → R une application continue et 2π-périodique. Montrer que f est de classe C ∞ si et
seulement si, pour tout k ∈ N , on a cn (f ) = o(1/n )
k
quand |n| tend vers +∞.

Indication
Corrigé

Exercice 13 - Régularité et décroissance des coefficients - avec indications [Signaler une

erreur] [Ajouter à ma feuille d'exos]

Enoncé
Soit f : R → R une application continue et 2π-périodique.

1. Démontrer que (cn (f )) tend vers 0 lorsque |n| tend vers +∞.
2. On suppose que f est C k . Établir une relation entre les coefficients de Fourier de f et ceux
de f (k) .
3. En déduire que si f est de classe C ∞ , alors cn (f ) = o(1/nk ) pour tout entier k.
4. Réciproquement, on suppose que cn (f ) = o(1/nk ) quand |n| → +∞ pour tout entier k et on
pose S(x) = ∑
n∈Z
cn (f )e
inx
.
4.1. Calculer les coefficients de Fourier de S .
4.2. Démontrer que S est de classe C ∞ .
4.3. En utilisant le théorème de Parseval, démontrer que deux fonctions continues qui
ont les mêmes coefficients de Fourier sont égales.
4.4. En déduire que f = S et donc que f est de classe C ∞ .
5. Quel théorème a-t-on démontré dans cet exercice?

Indication
 Corrigé

Exercice 14 - Régularité et fonctions höldériennes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f : R → C 2π -périodique. On suppose qu'il existe α > 0 et C > 0 tels que, pour tous x, y ∈ R ,
α
|f (x) − f (y)| ≤ C|x − y| .

1. Pour a ∈ R et n , exprimer
∈ Z

2π

−int
∫ f (t + a)e dt
0

en fonction de cn (f ).
2. En déduire l'existence de M > 0 tel que, pour tout n ∈ Z
∗
,

M
|cn (f )| ≤ .
α
n

Indication
Corrigé

Exercice 15 - Phénomène de Gibbs [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
On se propose dans cet exercice d'étudier la convergence de la série de Fourier de la fonction impaire,
2π-périodique, définie par

1 si x ∈]0, π[
f (x) = {
0 si x = kπ, k ∈ Z.

1. Question préliminaire :
2
1.1. Montrer que, pour tout x ∈ [0, π/2] , on a sin(x) ≥
π
x.
3
|x|

1.2. Montrer que, pour tout x ∈ R , on a | sin x − x| ≤

6
.

1.3. Soit hn la fonction définie sur [0, π] par

sin t
⎧ si t ≠ 0
t
(2n) sin( )
hn (t) = ⎨ 2n

⎩
1 si t = 0.

Déduire des questions précédentes que (hn ) converge uniformément sur [0, π] vers une
fonction h que l'on précisera.
2. Calculer la série de Fourier de f et prouver qu'elle converge simplement vers f . Y-a-t-il
convergence uniforme?
3. Soit Sn la (2n − 1)-ième somme partielle de la série de Fourier de f ,

n
4 sin ((2k − 1)x)
Sn (x) = ∑ .
π 2k − 1
k=1

Justifier que Sn est dérivable sur R et que sa dérivée vérifie

sin(2nx)
2
⎧ × si x ∉ πZ
π sin x
′
Sn (x) = ⎨
q
⎩ (−1) 4n
si x = qπ, q ∈ Z.
π
 En déduire que Sn présente (2n − 1) extrema locaux sur l'intervalle ]0, π[. Montrer que le
π
premier d'entre eux est un maximum et qu'il est atteint en xn =
2n
. On posera pour la suite
an = Sn (xn ).
4. Montrer que, pour tout x ∈ [0, π[ , on a

x
2 sin(2nt)
Sn (x) = ∫ dt.
π sin t
0

En déduire que
π
2 sin t
an = ∫ dt.
π t
0
(2n) sin( )
2n

2 π sin t
5. Montrer que limn→+∞ an =
π
∫
0 t
dt.

2 π sin t
On peut vérifier que π
∫
0 t
dt > 1.

Indication
Corrigé

Exercice 16 - Séries trigonométriques qui convergent uniformément [Signaler une erreur]

[Ajouter à ma feuille d'exos]

Enoncé

1. Soit une série de fonctions ∑n un uniformément convergente sur un intervalle I . Démontrer

que les fonctions un sont toutes bornées sur I pour n assez grand, et que ∥un ∥∞ tend vers 0
lorsque n tend vers +∞.
2. Soit I un intervalle fermé de longueur au moins égale à π, et a, b deux réels quelconques.
Montrer que le maximum de |a cos x + b sin x| sur I est √a2 + b2 .
3. Soit I = [α, β] un intervalle fermé de longueur strictement positive. On suppose que la série
de fonctions ∑n≥0 (an cos(nx) + bn sin(nx)) converge uniformément sur I . Montrer que
limn→+∞ an = limn→+∞ bn = 0 .

Indication
Corrigé

Exercice 17 - Théorème de Féjer [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Si f et g sont deux fonctions continues et 2π-périodiques, on définit leur produit de convolution par
π
1
f ⋆ g(x) = ∫ f (x − t)g(t)dt.
2π −π

Dans toute la suite, f désigne une telle fonction continue 2π−périodique. Pour k ∈ Z , on note
ek (x) = e
ikx
. On note

S0 + S1 + ⋯ + Sn
Sn = e−n + e−(n−1) + ⋯ + e0 + ⋯ + en−1 + en , Cn = .
n + 1

1. Montrer que f ⋆ Sn est un polynôme trigonométrique. Quel nom donne-t-on usuellement à

f ⋆ Sn ?

2. Montrer que si x ∈ R∖2πZ, on a :

 2
1 sin((n + 1)x/2)
Cn (x) = ( ) .
n + 1 sin(x/2)
1 π
3. Montrer que Cn ≥ 0 , que 2π
∫
−π
Cn (t)dt = 1 , et que pour tout α ,
∈]0, π] (Cn ) converge
uniformément vers 0 sur [−π, π]∖[−α, α].
4. Montrer que (f ⋆ Cn ) converge uniformément vers f sur R.

Ainsi, cet exercice prouve le théorème de Féjer : toute fonction continue 2π−périodique est limite
uniforme sur R de polynômes trigonométriques. En outre, il donne une suite qui réalise
l'approximation uniforme - la suite des moyennes de Ces\`aro de la série de Fourier de f .

Indication
Corrigé

Applications des séries de Fourier

Exercice 18 - Inégalité entre f et sa dérivée [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f : R → R une fonction 2π-périodique de classe C 1 et telle que

2π

∫ f (t)dt = 0.
0

1. Rappeler le lien entre les coefficients de Fourier cn (f ) et cn (f ′ ).

2. En déduire que, pour tout t ∈ R, on a

1
′
|f (t)| ≤ ∑ |cn (f )|.
∗ |n|
n∈Z

3. En déduire l'inégalité suivante :

2π
π 2
2 ′
∥f ∥∞ ≤ ∫ (f (t)) dt
6
0

2
1 π
(on rappelle que ∑n≥1 2
=
6
).
n

Indication
Corrigé

Exercice 19 - Inégalité de Wirtinger [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
2π
Soit f : R → C une application 2π−périodique de classe C 1 telle que ∫0 f (t)dt = 0 . Montrer que

2π 2π
2 ′ 2
∫ |f (t)| dt ≤ ∫ |f (t)| dt,
0 0

et caractériser l'égalité.

Indication
Corrigé

Exercice 20 - Lien entre f et sa dérivée seconde [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
 2π
Trouver toutes les fonctions f de classe C 2 sur [0, 2π] vérifiant ∫0 f (t)dt = 0 et |f ′′ | ≤ |f | .

Indication
Corrigé

Exercice 21 - Fonctions 2π−périodiques et croissances des dérivées [Signaler une erreur]

[Ajouter à ma feuille d'exos]

Enoncé
∗ ∗
Trouver les fonctions f ∈ C
∞
(R, C) 2π− périodiques pour lesquelles il existe λ ∈ R
+
et M ∈ R
+
tels
que :

∀n ∈ N, ∀x ∈ R, ∣f (n) (x)∣ ≤ M λn .
∣ ∣

Indication
Corrigé

Exercice 22 - Inégalité de Bernstein [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé

1. Soit S la fonction 2π−périodique définie par S(t) = t si −π/2 ≤ t ≤ π/2 , et S(t) = π − t si

π
π/2 ≤ t ≤ 3π/2 . Calculer ck (S) et en déduire que ∑k∈Z |ck (S)| = .
2
π
2. Soient λ1 , … , λn des réels distincts tels que maxj |λj | ≤
2
, a1 , … , an ∈ C , et
n
h(t) = ∑
j=1
aj e
iλj t
. Prouver que

π
′
∥h ∥∞ ≤ ∥h∥∞ .
2

3. En déduire le théorème de Bernstein suivant : si P (t) = ∑

j=1
aj e
iλjt
, avec λj des réels
distincts et maxj |λj | ≤ λ , alors

′
∥P ∥∞ ≤ λ∥P ∥∞ .

Indication
Corrigé

Exercice 23 - Séries de Fourier et équations différentielles [Signaler une erreur] [Ajouter à ma

feuille d'exos]

Enoncé
Le but de l'exercice est de déterminer si l'équation différentielle (E)

′′ it
y + e y = 0

admet des solutions 2π-périodiques.

1.
1.1. Montrer que la série trigonométrique ∑n≥0 converge uniformément sur R
1 int
e
2
(n!)

vers une fonction f 2π-périodique.

1.2. Montrer que la fonction f est de classe C 2 et qu'elle est solution de (E).
2. Soit g : R → C une solution 2π-périodique de classe C 2 de (E). On désigne par
∑
n∈Z
cn (g)e
int
et ∑n∈Z cn (g ′′ )eint les séries de Fourier respectives de g et de g ′′ .
2.1. Exprimer cn (g ′′ ) en fonction de cn (g).
2.2. En utilisant que g est solution de (E), exprimer cn (g ′′ ) en fonction de cn−1 (g).
 2.3. En déduire que l'ensemble des solutions 2π-périodiques de (E) est l'espace
vectoriel de dimension 1 engendré par la fonction f .
3. (E) possède-t-elle des solutions qui ne sont pas 2π-périodiques?

Indication
Corrigé

Exercice 24 - Solutions périodiques d'une équation différentielle [Signaler une erreur] [Ajouter à
ma feuille d'exos]

Enoncé
Soit f : R → C 2π -périodique, dérivable, telle qu'il existe λ ∈ R vérifiant

′
∀t ∈ R, f (t) = f (t + λ).

1. Démontrer que, pour tout n ∈ Z ,

inλ
(in − e )cn (f ) = 0.

2. En déduire pour quelle(s) valeur(s) de λ on peut effectivement trouver une telle fonction non
identiquement nulle.

Indication
Corrigé

Exercice 25 - Equation de la chaleur [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
On considère une barre métallique de longueur L, qu'on représente par le segment [0, L]. La
température à l'instant t au point d'abscisse x est notée u(x, t). On pose Q =]0, L[×]0, +∞[. La
¯¯
¯¯
fonction u est supposée continue sur Q, et de classe C ∞ sur Q. Elle vérifie en outre les conditions
suivantes :

2
∂u ∂ u
− = 0, si (x, t) ∈ Q (1)
2
∂t ∂x

(équation de la chaleur)

u(x, 0) = h(x) si x ∈ [0, L] (2)

(condition initiale), où h est une fonction de classe C 1 sur [0, L] avec h(0) = h(L) = 0

u(0, t) = u(L, t) = 0 si t ∈ [0, +∞[. (3)

On va démontrer l'existence d'une solution à ce problème.

1. Montrer que si la fonction u s'écrit sous la forme u(x, t) = f (x)g(t) (où f et g ne s'annulent
pas) et si u est solution de (1), alors les fonctions f et g vérifient chacune une équation
différentielle simple.
2. Résoudre ces équations différentielles en tenant compte de (3). En déduire qu'une fonction
−n2 π 2
nπ t
qui s'écrit u(x, t) = ∑ an sin( x)e L2 (en admettant que la série converge et qu'on peut
L
n≥1

la dériver terme à terme) est une solution de (1) et de (3).

~ ~
3. Soit h la fonction déduite de h par imparité et 2L−périodicité. Développer h en série de
Fourier. Quelle valeur donner aux an ?
4. Justifier que la fonction ainsi exhibée est bien solution du problème.
 Indication
Corrigé

Exercices typés master/agrégation

Exercice 26 - Formule sommatoire de Poisson [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit F ∈ L1 (R) ∩ C 0 (R). On note F^ sa transformée de Fourier. On suppose que F vérifie les deux
conditions suivantes :

M
∃M > 0, ∃α > 1, ∀x ∈ R, |F (x)| ≤ ,
α
(1 + |x|)

^
∑ |F (n)| < +∞.

n∈Z

Le but de l'exercice est de démontrer la formule sommatoire de Poisson, à savoir l'identité

^
∑ F (n) = ∑ F (n).

n∈Z n∈Z

1. Soit f la fonction définie sur R par f (x) = ∑ F (x + n) . Vérifier que ceci définit une
−∞

fonction continue sur R, 1-périodique.

2. Calculer les coefficients de Fourier exponentiels de f .
3. Justifier que f est partout somme de sa série de Fourier.
4. En déduire la formule sommatoire de Poisson.

Indication
Corrigé

Exercice 27 - Une série trigonométrique qui n'est pas une série de Fourier... [Signaler
une erreur] [Ajouter à ma feuille d'exos]

Enoncé

1. Soit f une fonction continue 2π−périodique telle que cn (f ) ≥ 0 pour tout n ∈ Z . Justifier
que ∑n∈Z cn (f ) < +∞ - on pourra écrire

+
|n|
∑ cn = ∑ lim inf (1 − ) cn ,
N →+∞ N
n∈Z n∈Z

et utiliser le théorème de F....

1
2. Soit ∑n≥2 sin(nt). Justifier que cette série trigonométrique converge pour tout t ∈ R .
ln n
+∞
3. Soit ∑1 an sin(nt) une série trigonométrique, où an ≥ 0 pour tout n ≥ 1 . On suppose que
an
cette série est la série de Fourier de f 1
∈ L (T) , c'est-à-dire que c0 (f ) ,
= 0 cn (f ) =
2i
si n ≥ 1
−an t
et c−n (f ) =
2i
si n ≥ 1 . Soit F = ∫
0
f (u)du . Calculer cn (F ), et en déduire que
+∞ an
∑ < +∞.
1 n
1
4. Montrer que la série trigonométrique (partout convergente) ∑n≥2 ln n
sin(nt) n'est pas une
série de Fourier.

Indication
Corrigé
Exercice 28 - Divergence de la série de Fourier d'une fonction continue [Signaler une
erreur] [Ajouter à ma feuille d'exos]

Enoncé
On note Dn le noyau de Dirichlet, et Tn l'application linéaire qui à f ∈ C(T) associe Sn (f )(0).

1. Montrer que ∥Tn ∥L(C(T)) = ∥Dn ∥1 .

2. Montrer que ∥Dn ∥1 → +∞.
3. En utilisant le théorème de Banach-Steinhaus, en déduire l'existence d'une fonction continue
dont la série de Fourier diverge en 0.

Indication
Corrigé

Exercice 29 - Théorème de Wiener-Lévy [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
Si f 1
∈ L (T) , on note (f^(n))n∈Z la suite de ses coefficients de Fourier. Soit A(T) l'ensemble des
éléments de L1 (T) tels que (f^(n)) est un élément de ℓ1 (Z), ∑n∈Z |f^(n)| < +∞ A(T) . est un espace
de Banach pour la norme ∥f ∥ = ∑
n∈Z
^
|f (n)| .

1. Montrer que si f ∈ A(T) , alors

^ int
f = ∑ f (n)e .

n∈Z

2. Montrer que si f et g sont éléments de A(T), alors f g est élément de A(T) et que

∥f g∥ ≤ ∥f ∥∥g∥.

3. Soit f une fonction continue, 2π−périodique, et C 1 par morceaux. Montrer que f ∈ A(T) , et
que l'on a

1/2
2π
2
^ ′
∥f ∥ ≤ |f (0)| + C(∫ |f (x)| dx)
0

(C est une constante qui ne dépend pas de f ).

4. Montrer que les polynômes trigonométriques sont denses dans A(T).
5. Soit f une fonction continue 2π−périodique telle que, pour tout x ∈ [0, 2π], il existe un
voisinage Vx de x et une fonction gx ∈ A(T) telle que gx (y) = f (y) pour tout y ∈ Vx . Montrer
que f appartient à A(T) (on pourra utiliser une partition de l'unité associée à un recouvrement
bien choisi de [0, 2π]).
6. Pour tout entier k ≥ 1, on considère la fonction 2π−périodique Δk telle que
Δk (x) = max(1 − k|x|, 0) pour |x| ≤ π.

6.1. Calculer les coefficients de Fourier de Δk ; en déduire que Δk ∈ A(T) et

sup ∥Δk ∥ < +∞ - on pourra établir que
k≥1

k +∞
1 2 1 1
^
∑ |Δk (n)| ≤ + (k ∑ + 2k ∑ )
2 2
2π π 2k n
n∈Z n=1 n=k+1

6.2. On pose Vk = 2Δk − Δ2k , et soit f ∈ A(T) telle que f (0) = 0. Montrer que, dans
A(T), la suite (Vk (f ))k≥1 converge vers 0. On pourra commencer par le cas où f est de
classe C ∞ et utiliser le résultat de la question 3.
7. Soit f ∈ A(T) telle que f (0) = 0, et soit F une fonction analytique au voisinage de 0. On
+∞ +∞
pose F (z) = ∑
n=0
cn z
n
. Montrer que, pour k assez grand, la série ∑n=0 ck (Vk f )n converge
 dans A(T). En déduire que F ∘ f coïncide, au voisinage de 0, avec une fonction appartenant à
A(T).

8. Déduire des résultats précédents le théorème de Wiener-Lévy (1934) : si f est un élément de

A(T) et si F est une fonction analytique au voisinage de f (T), alors F ∘ f ∈ A(T).

Indication
Corrigé

Discussions des forums

f ∘ g = g ∘ f

Des solutions de $ay''+by …

décryptez ce code simple …
definition nombre irratio …
Intégrale
les-mathematiques.net
Probabilités
graphes et Sherlock Holmes
Test de décryptage de mon …
Introduction à Wolfram Al …
Un réseau routier
Des cours et exercices de …
autre preuve suffisante d …
Équivalent original
Approximation affine à dr …
Accéder aux forums

Mathématicien du mois

Eugène Rouché (1832 - 1910)

Toutes les biographies
Signaler une erreur/Nous contacterMentions LégalesConfidentialité
ContactConfidentialitéMentions légales