Maths MP

Exercices

Sries de Fourier
Les indications ne sont ici que pour tre consultes aprs le TD (pour les exercices non traits). Avant
et pendant le TD, tenez bon et nallez pas les consulter !

Des dveloppements

Exercice 1 CCP 2009

x
Soit f la fonction 2-priodique, telle que f (x) =
pour x ]0, 2[ et f (0) = 0.
2
1. Montrer que f est gale la somme de sa srie de Fourier.
2. Calculer cette srie de Fourier.
+
X
1

3. En dduire
2
n
n=1
Exercice 2 Calculer le dveloppement en srie de Fourier de lapplication paire 2-priodique conci+
+
X
X
1
(1)n+1
dant avec x 7 x2 sur [, ]. En dduire la valeur de
et

n4
n4
n=1
n=1
Exercice 3 Soit f la fonction 2 priodique concidant avec x 7 ex sur [, [. Dvelopper f en srie
de Fourier, puis calculer :
+

X
X
1
(1)n
et

2
n +1
n2 + 1
n=1
n=1
Exercice 4 Soit a un rel non nul. On dfinit f la fonction 2-priodique telle que f (x) = eax pour
tout x [0, 2[.
1. Donner le dveloppement en sries de Fourier de f .
+
+
X
X
a
1
2. Calculer

En
dduire

2 + n2
2
a
n
n=1
n=1
3. Que vaut lim

a+

+
X
n=1

a2

a
?
+ n2

Exercice 5 CCP 2009

Pour [0, ], on dfinit f impaire, 2-priodique telle que f (x) =

( )x si x [0, ]
( x) si x [, ]

1. Calculer les coefficients de Fourier de f .

ZZ
2. Calculer
fx (y)dxdy, avec D = [0, ]2 .
3. En dduire

D
+
X

+
X
1
1
et

4
4
(2n
+
1)
n
n=0
n=1

Exercice 6 Soit f la fonction 2-priodique impaire valant 1 sur ]0, [ et nulle en 0 et .

1. Dvelopper f en srie de Fourier.
+
+
X
X
(1)n
1
2. Calculer
et

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

3. En dduire la valeur de

+
+
X
X
(1)n+1
1
et

n2
n2
n=1
n=1

Exercice 7 Soit g la fonction paire, 2-priodique telle que g(x) = 1

x
pour x [0, ].

1. Dvelopper g en srie de Fourier.

+
+
X
X
1
1
2. Calculer
et

2
(2n
+
1)
(2n
+
1)4
n=0
n=0
3. En dduire la valeur de

+
X
1

4
n
n=1

Exercice 8 Soit f la fonction 2 priodique impaire telle que f (x) = x( x) sur [0, ]. Dvelopper f

X
(1)n

en srie de Fourier, puis calculer

(2n + 1)3
n=1
Exercice 9 Calculer la srie de Fourier de f : x 7 max(0, sin x), puis tudier sa convergence.
Exercice 10 Mines 2010
Montrer :
x R,

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

min |x (2k + 1)| = +

kZ
2
n=0 (2n + 1)2

Exercice 11 Pour x R, on pose S(x) =

+
X
sin3 (nx)

n!
n=1

1. Montrer que S est dfinie et de classe C sur R.

2. Dterminer le dveloppement en srie de Fourier de S.
3. Expliciter S.
Exercice 12 Montrer :
x R,

|sin x| =

Exercice 13 Une bien trange formule

Soit f la fonction 2-priodique, telle que f (x) =

+
8 X sin2 nx

n=1 4n2 1

x
pour x [0, 2[.
2

1. Dvelopper f en srie de Fourier.

2. Donner les dveloppements de Fourier de g : x 7 f (x + 1) et h : x 7 f (x 1).
3. Montrer :

+
+
X
sin n X sin2 n
=

n
n2
n=1
n=1

Exercice 14 On fixe x ]0, /2[. On dfinit ensuite fx la fonction 2-priodique paire nulle sur [2x, ],
t
avec fx (t) = 1
pour t [0, 2x]. Dvelopper fx en srie de Fourier, et en dduire les valeurs de
2x
+
X
sin2 (nx)
n2
n=1

et

+
X
sin4 (nx)

n4
n=1

Questions plus thoriques

Exercice 15 Injectivit des coefficients de Fourier

Soient f et g deux fonctions continues 2-priodiques dont tous les coefficients de Fourier sont gaux.
Montrer que f = g.
(an cos(nx) + bn sin(nx))
n=0
an 0 en bn 0.
n+
n+

Exercice 16 On suppose que

valle non trivial. Montrer que

+
X

converge uniformment vers 0 sur un inter-

On a vu (mais ctait plus difficile prouver) que le rsultat reste vrai en cas de convergence simple.
Exercice 17 Soit f une fonction 2-priodique. Que dire de ses coefficients de Fourier (en tant que
fonction 2-priodique) si f est en fait -priodique ? Et si f (x + ) = f (x) pour tout x ?
Exercice 18 Dveloppements eulriens
Soit C \ Z
1. Calculer srie de Fourier de la fonction 2-priodique dfinie par f (x) = cos(x) pour x ] , ].
2. En dduire :
z C \ Z,

cotan(z) =

+
X
1
1

+ 2z
2
z
z n2
n=1

1
+ (avec un peu de soin : il ny a pas convergence normale sur
x
R, mais a se passe bien si on travaille sur [M, M ] et quon isole certains termes), on trouve galement
+
X
1
1
1
pour x 6 0 [] :
=
Enfin, en intgrant (le prolongement de) u 7 cotan(u)
2
2
(x n)
u
sin x
n=
entre 0 et x, on trouve :

+
Y
x2
x R,
sin x = x
1 2 2
n
n=1
En drivant la relation cotan(x) =

Exercice 19 Mines 2010

1. Donner le domaine de dfinition de x 7

+
X
sin(nx)

n
n=1

2. Existe-t-il une fonction continue par morceaux, 2-priodique dont la srie de Fourier soit celle de
la question prcdente ?
+
X
cos(nx)

3. Montrer que x 7
est bien dfinie et continue sur R. Est-elle de classe C 1 ?
n
n
n=1
Exercice 20 Mines 2010
Soit f une fonction continue et2-priodique
de R dans C. Montrer que f est de classe C si et seulement

1
si pour tout k N, cn (f ) = o

nk
Exercice 21 En utilisant le dveloppement en srie de Fourier de |sin|, prouver que pour toute application f C([a, b], R), on a :
Z
Z b
2 b
f.
f (t) |sin nt| dt
n+ a
a
Exercice 22 On dfinit, pour n N et x R : fn (x) =

n
X
sin(kx)
k=1

1. Dterminer la position du premier maximum relatif strictement positif de fn .

2. Vers quoi tend fn (xn ) lorsque n tend vers + ?

3. En regardant lexercice 1 ou 13, conclure un phnomne intressant !
Exercice 23 Mines 2010

1. Montrer que (1, 2, 3) constitue un systme libre du Q-espace vectoriel R.
2. Soient f, g C 0 (R, C) 1-priodiques, (, ) R2 tel que (1, , ) est Q-libre. Montrer :
Z 1 Z 1
N
1 X
g.
f (n)g(n)
f
N + 0
N n=1
0
(a) si f : x 7 e2ipx et g : x 7 e2iqx avec (p, q) Z2 ;
(b) si f et g sont des polynmes trigonomtriques ;
(c) dans le cas gnral.
3. Soit (, ) R2 tel que (1, , ) est Q-libre. Montrer que lensemble
{(n bnc, n bnc) | n N}
est dense dans [0, 1]2 .
Exercice 24 Formule sommatoire de Poisson
La classe de Schwartz est lensemble des fonctions de R dans C de classe C , avec f (p) (t) = o(1/tn ) au
voisinage de , et ceci pour tout (p, n) N2 . On dfinit alors pour une telle fonction sa transforme
de Fourier :
Z
x R,
fb(x) =
f (t)e2ixt dt.
R

En considrant la fonction F : t R 7

f (t + n), montrer :

nZ

fb(n) =

nZ

f (n).

nZ

Exercice 25 X 2010 Plus gnralement, dveloppement

dune fonction Hlderienne

Soit f la fonction paire 2-priodique valant x sur [0, ]. Montrer que f est ponctuellement gale sa
srie de Fourier.
Exercice 26 Sommes de Fejr
Soit f continue 2-priodique de R dans C. On note Sn (f ) sa n-ime somme de Fourier, et on dfinit,
pour n > 1 :
n
1 X
Tn (f ) =
Sk (f ).
n+1
k=0

1. Exprimer Tn (f ) comme un produit de convolution f ? Fn , avec Fn un noyau quon calculera.

2. Prouver que Tn (f ) converge vers f uniformment sur R.
3. Au fait, quel rsultat de convergence uniforme a-t-on pour Sn (f ) ?

Applications

Exercice 27 Montrer que lquation diffrentielle y (4) + y 00 + y = |sin t| possde une unique solution
-priodique.
Exercice 28 X 2010 (PC) Wirtinger
b

(b a)2
4 2
a
Cela reste vrai pour des fonctions valeurs complexes (mettre des modules !).

Soit f C 1 ([a, b], R) et de moyenne nulle sur [a, b]. Montrer :

f2 6

Z
a

f 02 . Cas dgalit ?

Exercice 29 X 2010
Soit f C 1 sur [0, 1] nulle en 0 et 1. Montrer :

f2 6

1
2

Exercice 30 Ingalit isoprimtrique

1. Soient f, g 2-priodiques de classe C 1 . Montrer :
 Z
Z 2


f g 0  6
2 

f 02 . Cas dgalit ?

(f 02 + g 02 ).

2. Soit un arc de classe C ferm simple (pas de point double) de longueur l. Soit A laire du
domaine intrieur dlimit par . Montrer :
A6

1 2
l .
4

Exercice 31

1
1. Existe-t-il f continue 2-priodique dont les coefficients de Fourier sont : an = n et bn = 0 ?
2
Z
dt
2. En dduire la valeur de

0 5 4 cos t

Exercice 32 Une astuce la noix pour terminer...

Z
Dterminer f C 2 (R, R) 2-priodiques telles que

f = 0, avec de plus |f 00 | 6 |f |.

Des indications
1
Exercice 1 : f est impaire, et bn (f ) = Comme f est de classe C 1 par morceaux, sa srie de
n
Fourier de converge vers sa rgularise... qui est elle-mme. Enfin, Parseval devrait permettre de
conclure.
4
2 2
Exercice 2 : an = (1)n 2 pour n > 0, et a0 =
. Parseval fait le reste pour la premire somme
n
3
4

(4)
(qui vaut donc
), et le cas altern se calcule avec lastuce classique : elle vaut (4) 2 4 =
90
2
7 4
.
720
2 sinh
2(1)n sinh
2n(1)n sinh
Exercice 3 : a0 =
et pour n > 1, an =
et
b
=
La srie de
n

(1 + n2 )
(1 + n2 )
+

X
1
1
=

1
Fourier converge simplement vers la rgularise, ce qui donne en :
n2 + 1
2 tanh
n=1



X (1)n
1

et
=
1

2+1
n
2
sinh

n=1


1
a
Exercice 4 : Du mme tonneau bien entendu. La premire somme vaut
1 : la
2a tanh(a)
diviser par a puis faire tendre a vers 0 (convergence domine) est ensuite une bonne ide. Cette

quantit tend vers

lorsque a tend vers +.
2
2 sin(n)
2
Exercice 5 : Parions pour bn (f ) =
Lintgrale vaut
, et aprs deux interversions de
2
n
12
+
X 1
symboles, elle vaut galement 8

n4
n=1

0
si n est pair

fournit
Exercice 6 : an = 0 et bn =
Ensuite, on droule : Dirichlet en
4

2
sinon
n
+
X
(1)n

= , relation qui peut dailleurs se comprendre comme : arctan 1 = Parseval donne

2n
+
1
4
4
n=0
5

+
X

2
1
=
On peut ensuite partitionner les entiers entre : ceux qui sont impairs, sont qui
(2n + 1)2
8
n=0
sont gaux 2 fois un impair, 4 fois un impair... Enfin, le calcul de la dernire somme laide de
la prcdente est classique...

0
si n est pair
Exercice 7 : a0 = 1, bn = 0, et pour n > 0 : an =
Ensuite, Dirichlet en 0
4

sinon
2
2
n
+
X
2
1
=
et Parseval pour trouver
Pour terminer, on partitionne nouveau les entiers
(2n + 1)4
96
n=0
entre les impairs, les doubles dimpairs, etc...

0
si n est pair

Exercice 8 : an = 0, et pour n > 0 : bn =

Ensuite, Dirichlet en pour trouver
8

2
sinon
n3
+
X
3
(1)n
=

(2n + 1)3
32
n=0
1
Exercice 9 : Pour gagner quelques nanosecondes, on peut sintresser g : x 7 f (x) sin x qui
2

0
si n est impair

2
si n = 0
La convergence doit donc tre tout
est paire. Je trouve alors an (g) =

sinon
(1 n2 )
ce quil y a de plus normale sur R
Exercice 10 : Hum... cette distance ne serait-elle pas 2-priodique ? Elle est de plus continue et
affine par morceaux, donc...
Exercice 11 : Linariser ! La convergence de la srie et de ses sries drives sont normales. Justifier
soigneusement le fait que la srie obtenue en linarisant est bien la srie de Fourier de S... Enfin,
les sinus tant des parties imaginaires, on trouve :
S(x) =

3 cos x
1
e
sin(sin x) ecos 3x sin(sin 3x).
4
4

Exercice 12 : Cest peu prs les mme calculs que pour lexercice 9. On note que cos(2kx) =
+
X
1
1
= (dcomposition puis collision).
1 2 sin2 kx, et
4k 2 1
2
k=1
Exercice 13 : Voir lexercice 1 pour le dveloppement. Ensuite, Dirichlet pour f en 1 et Parseval
1
pour g h nous donnent les valeurs des deux sommes : il sagit de

2
2
2x
1 cos(2nx)
2 sin (nx)
Exercice 14 : a0 =
et pour n > 1, an =
=
puis avec Dirichlet en 0 :

n2 x
n2 x
+
+
X
X
sin2 (nx)
x 
x
sin4 (nx)
=

Parseval
donne
une
formule
du
mme
type
pour
n2
2

n4
n=1
n=1
Exercice 15 : Parsevaliser sur f g.
p
a2n + b2n cos(nx ) prend comme valeur maximale
Exercice 16 : an cos(nx) + bn sin(nx) =
p
2
a2n + b2n ds que lintervalle est de longueur au moins
, ce qui doit bien tre vrai partir dun
n
certain rang...
Exercice 17 : Les termes impairs (respectivement pairs) sont nuls.
2 sin()
Exercice 18 : an =
, et Dirichlet en permet de conclure.
(2 n2 )
Exercice 19 : Abel, Parseval, cn (f 0 ) =
1
1
Exercice 20 : Naurait-on pas cn (f ) =
cn (f 0 ) ? Ben si. Et donc |cn (f )| = K cn (f (K) ), ce qui
in
n
prouve le sens direct. Pour lautre, convergence normale de la srie de Fourier de f ainsi que de
toutes ses drives, donc la somme S est C , et comme f est continue, Parseval nous assure que
f S est nulle.
6

 Exercice 21 : On part de
|sin x| =

+
4 X cos(2kx)
2

+

1 4k 2
k=1

Pour lintgrale demande, on peut intervertir les deux symboles par convergence normale. On voit
alors apparatre le terme cible, ainsi quune somme de termes tendant (pour n ) vers 0, tout
K
en tant domine par quelque chose de la forme 2 : cest gagn par convergence domine.
k

Exercice 22 : On calcule fn0 (x), qui sannule en changeant de signe pour la premire fois (sur
Z R+ ) en
sin t

xn =
Ensuite, fn (xn ) est (presque) une somme de Riemann, et ainsi : fn (xn )
dt.
n+ 0
n+1
t
x
On sait que fn converge simplement vers la fonction f 2-priodique gale
sur ]0, 2[ et
2
Z
sin t

nulle en 0. On a donc fn (xn ) f (xn )

dt 6= 0, donc fn ne tend pas uniformment
n+ 0
t
2
vers 0 sur R. Cest le phnomne de Gibbs. Qui laissa Michelson bien perplexe.
Exercice 23 : Calcul direct, bilinarit, epsilonisation par Stone. Ensuite, on suppose que [a, b][c, d]
nest pas visit par la suite, et on prend pour f (resp. g) une fonction continue non nulle, positive,
support inclus dans [a, b] (resp. [c, d])...

Exercice 24Z
: La fonction F est
srie de Fourier :
 de classe C et 1-priodique, donc gale saX
1
X
2inx
2int
e
F (x)dx e
. En valuant en 0, on trouve dune part
f (n) et dautre
F (t) =
0

nZ

part

XZ
nZ

nZ

e2inx F (x)dx Dans lintgrale, on crit F comme une somme on intervertit les deux

symboles par convergence normale, et un changement

de variable x = p + u nous amne fb(n)...
Z
1
Dn (t) (f (x + t) + f (x t) 2f (x)) dt donc si f
Exercice 25 : On a f (x) Sn (f )(x) =
2
Z
1
f (x + t) + f (x t) 2f (x)
dt avec la
sin ((n + 1/2) t)
est Hlderienne, on crit : n (x) =
2
sin t

minoration usuelle de sin t et la majoration de numrateur par 2 t, puis Riemann-Lebesgue sur le

bidule intgrable : epsiloniser en dgageant [, ]...
Exercice 26 : Dj, Sn = f ? Dn , avec Dn le noyau de Dirichlet, donc par linarit de la convolution,
Tn (f ) = f ? Fn , avec

2
n
1 X
sin(nx/2)
1
Fn (x) =
Dn (x) =

n+1
2n sin(x/2)
k=0

Le caractre positif
de Fn va tre crucial : Fn hrite des proprits de noyau de Dn , savoir :
Z
Z

Fn = 1 et
Fn 0 pour tout > 0. Le caractre positif de Fn nous vite davoir

|x|>

n+

faire des hypothses au del de la continuit pour f . En effet,

Z
1
(f f ? Fn ) (x) =
Fn (t) (f (x) f (x t)) dt,
2
et par ingalits triangulaires :
1
|(f f ? Fn ) (x)| 6
2

2 kf k
Fn (t) |f (x) f (x t)| dt +
2

Z
Fn (t).
|x|>

Le premier morceau est contrl uniformment grce luniforme continuit de f ...

Pour information, kDn k1 est de lordre de ln n, donc tend vers + : en adaptant la preuve prcdente, le premier terme du membre de droite tend vers +...
Exercice 27 : On reprend le dveloppement :
+
4 X cos(2kx)
2
|sin x| = +

1 4k 2
k=1

Analyse : si y est une solution -priodique de cette quation, alors elle est de classe C4 , et mme
C 5 par morceaux. Elle est donc ponctuellement gale sa srie de Fourier (avec convergence normale,
a0 X
(an cos(2nx) + bn sin(2nx)),
ainsi que pour les quatre premires drives). En crivant y(t) = +
2
on a alors par unicit des dveloppements en sries de Fourier (les fonctions en jeu sont conti4
4
nues) : bn = 0, a0 =
et pour tout n > 1, an =
(on a vrifi que

(1 4n2 )(16n4 4n2 + 1)

4
2
2
2
2
16n 4n + 1 = (4n 1) + 4n > 0). Il y a donc unicit dune ventuelle solution -priodique.
a0
Rciproquement, si on dfinit les an et bn ainsi, alors la srie trigonomtrique y0 (t) :=
+
2
X
(an cos(2nx) + bn sin(2nx)) est de classe C 4 , et vrifie bien lquation demande (convergence
normale de la srie et de ses quatre premires drives).
Exercice 28 : on peut tendre f en une fonction C 1 par morceaux dfinie sur R et b a priodique.
On peut ventuellement traiter le cas b a = 2, pour lequel on biparsevalise :
1
2

f2 =

X
|n|>1

|cn (f )| =

Z b
X |cn (f 0 )|2
X
X
1
0 2
0 2
6
|c
(f
)|
6
|c
(f
)|
=
f 02
n
n
n2
2 a

|n|>1

nZ

|n|>1


ba
t qui devient 2-priodique...
2
Les cas dgalit sobtiennent en regardant comme toujours attentivement la chane dingalit.
Exercice 29 : Ben... utiliser Wirtinger aprs avoir prolong f en une fonction 2-priodique, C 1 et
de moyenne nulle sur une priode...
Dans le genre exo culturel, bravo...
1
Exercice 30 : |ab| 6 (a2 + b2 ), puis Wirtinger... Par homognit, on peut se placer dans le cas
2



dune courbe de longueur 2, avec une paramtrisation normale ( Vt = 1 pour tout t). Il reste
alors noter que Green-Riemann
nous donne laire
 domaine intrieur...
Z
ZZ du
Q P
Aheum, pour les tourdis :
(P dx + Qdy) =

dxdy, ce qui nous donne quelque

x
y
D
D
chose dintressant si Q = x et P = 0...
Exercice 31 : Ben, il suffit de poser (la convergence tant normale) :



ix
X  eix n
1 X cos(nx)
1
3
= 1 Re 1 + e

f (x) := +
=
+
Re

= =
n
ix
2
2
2
2
2
2e
2 (5 4 cos x)
Le passage ba quelconque peut se faire en posant g(t) = f

n>1

n>1

Linterversion utilise pour le calcul de lintgrale se justifie sans mal, et cette dernire intgrale

vaut donc On pouvait aussi sintresser au premier coefficient de Fourier de f ...

3
Quid si on ne vous donne pas la bonne srie trigonomtrique ? Voila comment faire :
1
2eit
2eit
1


=
=
=

5
5 4 cos t
5 2eit 2eit
e2it 2 eit + 1
eit 12 (eit 1)
1
avec |u| < 1.
1u
0
Exercice 32 : Ben, Wirtinger deux fois (f est bien de moyenne nulle...) ! On se retrouve dans
le cas dgalit de Wirtinger, donc il y a galit exactement pour les fonctions de la forme x 7
K cos(x ).
On continue en dcomposant en lments simples et on termine en dveloppant