Serie Four Cor

Exercices - Sries de Fourier : corrig
Exercice 1 - Comprendre le cours - L2/Math Sp -

1. On peut bien sr se lancer dans des calculs trs complexes.... On peut ! Mais quand
mme, la dcomposition en srie de Fourier consiste reprsenter une fonction priodique
comme somme des fonctions priodiques les plus lmentaires possibles ( savoir les sinus
et les cosinus). Alors, bien entendu, la dcomposition en srie de Fourier de cos(5x) est
. . . cos(5x) ! A vous de voir si vous jugez utile de justier cela ! Cela dit, cest une bonne
occasion de rappeler que
_
2
0
cos(px) cos(qx)dx = 0 si p ,= q
et
_
2
0
cos(px) sin(qx)dx = 0 pour tous p, q.
2. Posons h = f g. Alors c
n
(h) = c
n
(f) c
n
(g) = 0. De plus, h est continue et vrie donc
les conclusions du thorme de Parseval, savoir
_

[h(t)[
2
dt =

nZ
[c
n
(h)[
2
= 0.
Puisque t [h(t)[
2
est continue, positive, dintgrale nulle sur [, ], on en dduit que
h = 0 sur [, ]. Par 2priodicit, f = g sur R tout entier.
3. Daprs le thorme de Parseval, on sait que
_

[f(t)[
2
dt =

nZ
[c
n
(f)[
2
.
La srie

nZ)
[c
n
(f)[
2
est donc convergente. Son terme gnral tend vers 0, et on conclut
que (c
n
(f)) converge bien vers 0 lorsque [n[ tend vers +.
4. Tout repose sur des intgrations par parties. En eet, si f est C
1
et 2priodique, on a
c
n
(f
) =
1
2
_

(t)e
int
dt
=
1
2
_
f(t)e
int
_
+
in
2
_

f(t)e
int
dt
= (in)c
n
(f).
Par rcurrence, on obtient que c
n
(f
(k)
) = (in)
k
c
n
(f). Pour n ,= 0, on a donc :
c
n
(f) =
1
i
k
n
k
c
n
(f
(k)
).
Pour conclure, il sut de remarquer que c
n
(f
(k)
) tend vers 0 lorsque [n[ tend vers +
daprs la question prcdente. Cette ide dintgration par parties est trs utile lorsquon
veut relier rgularit dune fonction et comportement de ses coecients de Fourier.
http://www.bibmath.net 1
5. La fonction f est de classe C
1
par morceaux. En eet, sur lintervalle [0, [, elle est la
restriction [0, [ dune fonction de classe C
1
sur [0, ] (la fonction identiquement gale
1), et sur [, 0[, elle est la restriction de dune fonction de classe C
1
sur [0, ] (la fonction
identiquement gale 1). Le thorme de convergence simple peut donc sappliquer. En
particulier, en 0, la srie de Fourier de f converge vers
1
2
_
lim
x0
f(x) + lim
x0
+
f(x)
_
= 0.
La srie de Fourier de f ne peut pas converger normalement vers f. En eet, si on avait
convergence normale, chaque somme partielle tant continue, la limite serait elle aussi
continue. Et f nest pas continue en 0.
6. f nest pas C
1
par morceaux : en eet, sinon, on pourrait dnir sur [0, ] une fonction
de classe C
1
qui concide avec f sur ]0, ]. Ce nest pas possible car f
(x) tend vers +

en 0.
Exercices de calcul
Exercice 2 - Quelques dcompositions en sries de Fourier - L2/Math Sp -
1. Cette fonction est impaire, les coecients en cosinus sont nuls. On a par dnition :
b
n
=
1
xsin(nx)dx.
On calcule ce coecient grce une intgration par parties :
b
n
= (1)
n+1
2
n
2. Cette fonction est elle-aussi impaire, et il sut l encore de calculer les coecients en
sinus :
b
n
=
1
_
0
(1) sin(nx)dx +
1
_

0
sin(nx)dx =
2
n
(1 cos(n)).
Ceci scrit plus simplement :
b
n
=
_
0 pour n pair
4
n
pour n impair
3. Remarquons que la fonction est paire : il sut de calculer les coecients en cosinus. On
a :
a
0
=
1
L
_
L/2
L/2
[x[dx =
2
L
_
L/2
0
xdx =
L
4
.
a
n
=
2
L
_
L/2
L/2
[x[ cos
_
2
L
nx
_
dx =
4
L
_
L/2
0
xcos
_
2
L
nx
_
dx.
On calcule ceci par intgration par parties pour trouver :
a
n
=
L
n
2
2
((1)
n
1) =
_
0 si n est pair
2L
n
2
2
si n est impair
Exercice 3 - Application aux calculs de sries - L2/Math Sp -
La fonction f est paire, ses coecients en sinus sont nuls, et on a :
a
0
=
1
2
_

x
2
dx =

2
3
,
a
n
=
2
_

0
x
2
cos(nx)dx.
La calcul de a
n
se fait par une double intgration par parties, et on trouve :
a
n
= (1)
n
4
n
2
.
Maintenant, f est continue et C
1
par morceaux : cette fonction est somme de sa srie de Fourier
pour tout rel, et on a donc, pour tout x dans [, ],
x
2
=

2
3
+ 4
n1
(1)
n
n
2
cos(nx).
Si lon fait x = , on obtient :
2
=

2
3
+ 4
n1
1
n
2
.
On obtient exactement :
n1
1
n
2
=

2
6
.
Si lon fait x = 0, on obtient cette fois :
n1
(1)
n+1
n
2
=

2
12
.
Pour calculer la dernire somme demande, il faut pouvoir mettre les coecients au carr, et
cest ce que lon obtient dans lgalit de Parseval, que lon peut appliquer ici puisque f est
continue :
1
2
_

x
4
dx =

4
9
+
1
2
n1
16
n
4
.
Ceci donne :
n1
1
n
4
=

4
8
_
1
5

1
9
_
=

4
90
.
Exercice 4 - Une variante - L2/Math Sp -
1. On a dabord :
a
0
(f) =
1
2
_
2
0
x
2
dx =
4
2
3
.
Dautre part, en ralisant deux intgrations par parties, on a :
a
n
(f) =
1
_
2
0
x
2
cos(nx)dx
=
1
_
x
2
sin nx
n
_
2
0
2
n
_
2
0
xsin(nx)dx
=
2
n
_
x
cos nx
n
_
2
0
2
n
2
_
2
0
cos(nx)dx
=
4
n
2
.
De mme, on trouve b
n
=
4
n
. La srie de Fourier de f est donc :
4
2
3
+

n1
_
4
n
2
cos(nx)
4
n
sin(nx)
_
.
2. f est C
1
par morceaux. Pour tout x de R, on a donc :
1
2
_
f(x + 0) +f(x 0)
_
=
4
2
3
+

n1
_
4
n
2
cos(nx)
4
n
sin(nx)
_
.
Pour x = 0, on trouve :
1
2
((2)
2
+ 0) =
4
2
3
+

n1
4
n
2
.
Ceci donne donc :
n1
1
n
2
=

2
6
.
Lautre somme se calcule en appliquant le thorme de Parseval. On a donc :
_
2
0
x
4
dx =
_
4
2
3
_
2
+
1
2
n1
_
16
n
4
+
16
2
n
2
_
.
En utilisant le fait que
_
2
0
x
4
dx =
16
4
5
, et en rinjectant le calcul prcdent, on trouve
que
n1
1
n
4
=

4
90
.
Exercice 5 - Termes impairs - L2/Math Sp -
Evidemment, la fonction est paire, donc les coecients de Fourier en sinus sont nuls. Cal-
culons les autres coecients :
a
0
(f) =
1
_

0
xdx = , a
n
=
2
_

0
xcos(nx)dx =
2
n
2
(cos(n) 1) .
Or, cos(n) = (1)
n
, et donc on a a
2n
= 0, et a
2n+1
=
4
(2n + 1)
2
. La srie de Fourier de f est
donc :
2

4
n0
cos((2n + 1)x
(2n + 1)
2
.
Elle est continue et C
1
par morceaux. Elle vrie donc les hypothses du thorme de Dirichlet,
et f est somme de sa srie de Fourier pour tout x de R. En particulier, pour x = 0, il vient :
n0
1
(2n + 1)
2
=

2
8
.
Enn, crivons lgalit de Parseval :
1
2
_

x
2
dx =

2
4
+
1
2

16
n0
1
(2n + 1)
4
.
En isolant la somme, on trouve donc :
n0
1
(2n + 1)
4
=

4
96
.
Exercice 6 - Exponentielle - L2/Math Sp -
On calcule les coecients de Fourier de f. On trouve
a
0
=
1
2
_

f(x)dx =
1
2
_
e
_
=
sinh
.
Pour n 1, il vient
a
n
=
1
f(x) cos(nx)dx
=
1
e
x
cos(nx)dx
=
1
e
x
'e(e
inx
)dx
= 'e
_
1
e
(1+in)x
dx
_
= 'e
_
1
_
1
1 +in
e
(1+in)
e
(1+in)
__
=
1
'e
_
(1)
n
e
(1)
n
e
1 +in
_
=
(1)
n
'e
_
2 sinh
1 +in
_
=
(1)
n
'e
_
2(1 in) sinh
n
2
+ 1
_
=
2(1)
n
sinh
(n
2
+ 1)
.
Pour les coecients en sinus, une dmarche similaire donne
b
n
=
(1)
n
m
_
2 sinh
1 +in
_
=
(1)
n
m
_
2(1 in) sinh
n
2
+ 1
_
=
2n(1)
n+1
sinh
(n
2
+ 1)
.
La srie de Fourier de f est donc
sinh
+

n1
2(1)
n
sinh
(n
2
+ 1)
cos(nx) +
2n(1)
n+1
sinh
(n
2
+ 1)
sin(nx).
Remarquons aussi que la fonction f est de classe C
1
par morceaux (mais elle nest pas continue
en les points +2k, k Z). Daprs le thorme de Dirichlet, la srie de Fourier de f converge
en chaque rel x vers
1
2
_
f(x
+
) +f(x
)
_
. En particulier, pour x = 0, on trouve
sinh
+

n1
2(1)
n
sinh
(n
2
+ 1)
cos(n0) +
2n(1)
n+1
sinh
(n
2
+ 1)
sin(n0) = f(0)
soit
sinh
+

n1
2(1)
n
sinh
(n
2
+ 1)
= 1.
On trouve donc
n1
(1)
n
n
2
+ 1
=

2 sinh

_
1
sinh
_
=
sinh
2 sinh
.
Pour calculer la premire somme, on choisit x = , et on remarque que
f(
+
) +f()
2
=
e
+e
2
= cosh .
On trouve donc
sinh
+

n1
2(1)
n
sinh
(n
2
+ 1)
cos(n) +
2n(1)
n+1
sinh
(n
2
+ 1)
sin(n) = cosh
soit
n1
1
n
2
+ 1
=

2 sinh

_
cosh
sinh
_
=
cosh sinh
2 sinh
.
Exercice 7 - Avec une autre priode - L2/Math Sp -
1. La fonction f est impaire. Les coecients de Fourier en cosinus sont donc nuls. Pour cal-
culer les coecients de Fourier en sinus, on utilise la formule et on ralise des intgrations
par parties successives.
b
n
=
_
1
1
f(t) sin(nt)dt
= 2
_
1
0
f(t) sin(nt)dt
=
2
n
_
1
0
(3t
2
1) cos(nt)dt
=
12
2
n
2
_
1
0
t sin(nt)dt
=
12
2
n
2
_
t cos(nt)
n
_
1
0
+
12
2
n
3
_
1
0
cos(nt)dt
=
(1)
n
12
3
n
3
.
2. Remarquons que la fonction f est continue et C
1
-par morceaux. La continuit nest pas
compltement triviale. Elle vient de limparit de la fonction f qui fait quon a un recolle-
ment continu en 1. Ainsi, en tout rel, f est somme de sa srie de Fourier. En particulier,
en 1/2, on a
3
8
= f
_
1
2
_
=
+
n=0
12(1)
n
3
n
3
sin
_
n
2
_
.
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 dduit que
3
8
=
+
p=0
(1)
p+1
12
3
(2p + 1)
3
=
+
p=0
(1)
p
(2p + 1)
3
=

3
32
.
Exercice 8 - Une galit tonnante ! - L2/Math Sp -
1. On commence par remarquer que la fonction est C
1
par morceaux (elle nest pas continue
en les points de 2Z) et est impaire, et donc les coecients de Fourier en cosinus sont nuls.
Pour calculer ceux en sinus, il sut dune simple intgration par parties, et on trouve que
la srie de Fourier de f est
n1
sin nx
n
.
Pour trouver la srie de Fourier de g, on peut chercher la valeur de g sur un intervalle de
longueur 2 puis intgrer... On peut aussi ruser de la faon suivante : on commence par
remarquer que g est paire (vrication facile). De plus, on a
_
2
0
g(x) cos(nx)dx =
_
2
0
f(x + 1) cos(nx)dx
_
2
0
f(x 1) cos(nx)dx
=
_
21
1
f(x + 1) cos(nx)dx
_
2+1
1
f(x 1) cos(nx)dx
=
_
2
0
f(u) cos(nu n)du
_
2
0
f(u) cos(nu +n)du
=
_
2
0
2f(u) sin(n) sin(nu)du
= 2
sin n
n
.
La srie de Fourier de g est donc
n1
2 sin n
n
cos(nx).
2. Puisque f est C
1
par morceaux et quelle est continue en 1, on a
n1
sin n
n
= f(1) =
1
2
.
Dautre part, g est continue par morceaux, 2-priodique, on peut donc lui appliquer le
thorme de Parseval, et on obtient
1
2
_
2
0
_
g(x)
_
2
dx =
1
2
n1
4 sin
2
n
n
2
.
Reste calculer lintgrale, et pour cela calculer g sur [0, 2] :
si x [1, 2 1], alors
g(x) =
x 1
2

x + 1
2
= 1.
si x [0, 1], alors f(x 1) = f(x 1 + 2) =
x+12
2
et on obtient donc
g(x) = 1 +.
si x [2 1, 2] alors f(x + 1) = f(x + 1 2) =
x1+2
2
et on obtient
g(x) = 1 +.
On en dduit
_
2
0
_
g(x)
_
2
dx = 2(1 +)
2
+ (2 2)(1)
2
= 2( 1).
Revenant lidentit de Parseval, on trouve
n1
sin
2
n
n
2
=
1
2
,
ce qui est bien lgalit demande.
Exercice 9 - Avec des sries entires - L2/Math Sp -
1. On crit
1
x +e
a
=
e
a
1 +e
a
x
= e
a

n0
(1)
n
e
na
x
n
dveloppement valable pour [x[ < e
a
.
2. Cest une simple vrication.
3. Puisque a > 0, on a [e
ix
[ < e
a
, et donc
e
a
e
ix
+e
a
=

n0
(1)
n
e
inx
e
na
.
Pour la seconde partie, il faut faire attention au fait que e
a
< 1, et donc que le rsultat
de la premire question ne peut pas sappliquer directement. Mais on crit
e
a
e
ix
+e
a
=
e
a
e
ix
1 +e
a
e
ix
=

n1
(1)
n1
e
nix
e
na
.
Il vient
g(x) =
1
sinh a
_
_
1 +

n1
(1)
n
e
na
_
e
inx
e
inx
_
_
_
=
1
sinh a
+

n1
2(1)
n
e
na
sinh a
cos(nx).
g scrit donc comme somme dune srie trigonomtrique qui converge uniformment (car
normalement, la srie

n1
e
na
est convergente) sur R. La srie de Fourier de g est donc
bien
1
sinh a
+

n1
2(1)
n
e
na
sinh a
cos(nx).
Exercice 10 - Dcomposition de sinus en produit inni - L2/Math Sp -
1. La fonction est paire, on a donc b
n
(f) = 0 pour tout n 1. De plus,
a
0
(f) =
1
2
_

cos(t)dt =
2 sin()
2
.
De mme, pour n 1, on ralise une double intgration par parties pour calculer a
n
(f) :
a
n
(f) =
1
cos(t) cos(nt)dt
=
1
n
[cos(t) sin(nt)]
+

n
_

sin(t) sin(nt)dt
=

n
_

sin(t) sin(nt)dt
=

n
2
[sin(t) cos(nt)]
+

2
n
2
cos(t) cos(nt)dt
=
2(1)
n+1
sin()
n
2
+

2
n
2
a
n
(f).
On en dduit que
a
n
(f)
_
1

2
n
2
_
=
2(1)
n+1
sin()
n
2
soit
a
n
(f) =
2(1)
n+1
sin()
(n
2
2
)
=
sin()

(1)
n
2
n
2
.
Ceci dmontre bien que la srie de Fourier de f est
sin()
_
1 + 2
2
+
n=1
(1)
n
2
n
2
cos(nt)
_
.
2. On remarque que, par parit de cos, la fonction f est continue (les seuls points qui pour-
raient poser problme sont ceux de + 2Z, mais on a bien par construction
lim
x
f(x) = cos() = cos() = lim

x
+
f(x)
et donc f est aussi continue en ces points). De plus, f est C
1
par morceaux. Ainsi, f est
en tout point somme de sa srie de Fourier. En particulier, en , on a
cos() =
sin()
_
1 + 2
2
+
n=1
(1)
n
2
n
2
(1)
n
_
.
Ceci entraine immdiatement que
cotan() =
1
+
+
n=1
2
(
2
n
2
)
.
3. On a
ln
_
1
t
2
n
2
_
n+
t
2
n
2
.
Puisque, t x, la srie
n1
t
2
n
2
est une srie numrique convergente dont le terme gn-
ral est toujours ngatif, on en dduit par critre dquivalence que la srie
n1
ln
_
1
t
2
n
2
_
converge pour chaque t ] 1, 1[. Ainsi, la srie de fonctions

n1
ln
_
1
t
2
n
2
_
converge
simplement vers une fonction g sur ] 1, 1[. Pour prouver que g est C
1
, on va utiliser un
argument de convergence uniforme de la srie des drives. Soit a ]0, 1[, et posons, pour
n 1 et t [a, a],
u
n
(t) = ln
_
1
t
2
n
2
_
.
Chaque fonction u
n
est drivable sur [a, a], avec
u
n
(t) =
2t
t
2
n
2
.
De plus, pour t [a, a], on a
n
2
t
2
n
2
a
2
et [2t[ a.
On en dduit que
[u
n
(t)[
2a
n
2
a
2
.
Le membre de droite (qui ne dpend pas de t !) est le terme gnral dune srie numrique
convergente. Ainsi, la srie de fonctions

n1
u
n
(t) converge normalement, donc unifor-
mment, sur [a, a]. On en dduit que g est de classe C
1
sur tout segment [a, a] ]1, 1[,
donc sur ] 1, 1[, avec
g
(t) =

n1
2t
t
2
n
2
.
4. Daprs les rsultats des questions prcdentes, on a, pour tout t ] 1, 1[, t ,= 0,
g
(t) = cotan(t)
1
t
.
On intgre cette relation et on obtient quil existe une constante C R tel que, pour tout
t ]0, 1[, on a
g(t) = ln
_
sin(t)
t
_
+C.
On fait tendre t vers 0. Le membre de gauche tend vers 0, celui de droite vers ln() +C.
On en dduit que C = ln et donc que, pour tout t [0, 1], on a
g(t) = ln
_
sin(t)
t
_
.
Un raisonnement similaire donne le mme rsultat sur [1, 0]. Passant lexponentielle,
on obtient
sin(t)
t
= exp(g(t))
= exp
_
+
k=1
ln
__
1
t
2
k
2
___
=
+
k=1
_
1
k
2
n
2
_
,
le symbole

+
k=1
devant tre compris comme lim
n+
n
k=1
.
Sries de Fourier - exercices thoriques
Exercice 11 - Des sommes partielles f - L3/Math Sp -
Puisque f est seulement suppose continue, le seul thorme "ponctuel" que lon a notre
disposition est celui de Fjer. Pour tout x, on a
f(x) = lim
N+
S
0
(f)(x) + +S
N
(f)(x)
N + 1
.
Maintenant, il est clair que
_
_
_
_
S
0
(f)(x) + +S
N
(f)(x)
N + 1
_
_
_
_
1,
ce qui prouve le rsultat
Exercice 12 - Rgularit et dcroissance des coecients - sans indications -
L2/L3/Math Sp/Oral Mines -
Supposons dabord que f est de classe C
. Alors, par intgrations par parties successives,

on a
c
n
(f) =
1
(in)
k
c
n
(f
(k)
).
Dautre part, les coecients de Fourier dune fonction continue tendent vers 0 en +. Cest
par exemple une consquence du thorme de Parseval. Ainsi, on a
n
k
c
n
(f) =
c
n
(f
(k)
)
i
k
|n|+
0.
Rciproquement, supposons que n
k
c
n
(f) 0 quand [n[ +. On considre la srie trigono-
mtrique
S(t) =

nZ
c
n
(f)e
int
.
Cette srie converge normalement sur R, car il existe une constante M > 0 telle que [c
n
(f)[
M
|n|
2
+1
pour tout n Z, et donc on a
[c
n
(f)e
int
[
M
[n[
2
+ 1
,
et le membre de droite de lingalit prcdente est le terme gnral dune srie numrique
convergente. Ainsi, S est dnie sur R tout entier, et est continue. De plus, on a
[(in)
k
c
n
(f)[
C
k
[n[
2
+ 1
pour une certaine constante C
k
puisque n
k+2
c
n
(f) 0 quand [n[ +. Ceci montre que
toutes les sries drives de S convergent normalement sur R, et donc que S dnit une fonc-
tion C
sur R.
Reste prouver que S et f coincident. Mais, S est somme dune srie trigonomtrique qui
converge normalement, donc uniformment, et donc ses coecients de Fourier sont les coef-
cients de la srie trigonomtrique. Autrement dit, on a c
n
(f) = c
n
(S). Maintenant, comme
consquence du thorme de Parseval, on sait que deux fonctions continues qui ont les mmes
coecients de Fourier sont gales. Donc f = S et f est C
.
Exercice 13 - Rgularit et dcroissance des coecients - avec indications -
L2/L3/Math Sp/Oral Mines -
1. Cest une consquence du thorme de Parseval : la srie

[c
n
(f)[
2
converge, son terme
gnral tend donc vers 0.
2. Par intgrations par parties successives, on trouve
c
n
(f) =
1
(in)
k
c
n
(f
(k)
).
3. En mettant ensemble les deux questions prcdentes, on trouve :
n
k
c
n
(f) =
c
n
(f
(k)
)
i
k
|n|+
0.
4. (a) Voir la question suivante
(b) La srie dnissant S converge normalement sur R, car il existe une constante M > 0
telle que [c
n
(f)[
M
|n|
2
+1
pour tout n Z, et donc on a
[c
n
(f)e
int
[
M
[n[
2
+ 1
,
et le membre de droite de lingalit prcdente est le terme gnral dune srie
numrique convergente. Ainsi, S est dnie sur R tout entier, et est continue. De
plus, on a
[(in)
k
c
n
(f)[
C
k
[n[
2
+ 1
pour une certaine constante C
k
puisque n
k+2
c
n
(f) 0 quand [n[ +. Ceci
montre que toutes les sries drives de S convergent normalement sur R, et donc
que S dnit une fonction C
sur R. S est somme dune srie trigonomtrique qui

converge normalement, donc uniformment, et donc ses coecients de Fourier sont
les coecients de la srie trigonomtrique.
(c) Soient u et v deux fonctions continues ayant les mmes coecients de Fourier. Alors
la fonction u v a ses coecients de Fourier nuls. Par le thorme de Parseval, on
en dduit que
_
2
0
[u(t) v(t)[
2
dt = 0.
Lintgrale sur [0, 2] de la fonction continue et positive [u v[
2
est nulle. Cest que
cette fonction est identiquement nulle, et donc que u = v.
(d) Il sut de mettre ensemble les rsultats prcdents.
5. Soit f : R R une application continue et 2-priodique. f est de classe C
si et
seulement si, pour tout k N, on a c
n
(f) = o(1/n
k
) quand [n[ tend vers +.
Exercice 14 - Rgularit et fonctions hldriennes - L3/Math Sp -
1. Par 2priodicite et changement de variables x = t +a, on sait que
c
n
(f) =
1
2
_
2
0
f(t +a)e
in(t+a)
dt =
e
ina
2
_
2
0
f(t +a)e
int
dt.
2. Lide est de faire apparaitre une dirence f(x) f(y) pour exploiter lhypothse. Pour
cela, on va faire la somme des deux expression de c
n
(f), celle que lon utilise usuellement et
celle tablie la question prcdente, et on va choisir a de sorte que e
ina
= 1, cest--dire
a = /n. Il vient
2c
n
(f) =
1
2
_
2
0
_
f(t) f(t +/n)
_
e
int
dt.
On en dduit
[c
n
(f)[
1
4
_
2
0
[f(t) f(t +/n)[dt
M
2n
.
Exercice 15 - Phnomne de Gibbs - L2/Math Sp -
1. (a) La fonction sin est concave dans [0, /2]. Son graphe est au-dessus de ses cordes, en
particulier au dessus de la corde qui relie le point (0, 0) au point (/2, 1). Ceci donne
exactement lingalit demande.
(b) Il sagit juste de lingalit de Taylor-Lagrange lordre 3 applique la fonction
t sin t, entre les points 0 et x.
(c) Puisque sin(t/2n)
+
t/2n, on en dduit que pour t ]0, ], (h
n
(t)) converge vers
sin t
t
. Soit h dni par h(t) =
sin t
t
si t ]0, ] et h(0) = 1. On va dmontrer que (h
n
)
converge uniformment vers h sur ]0, ]. On a, pour t ]0, ],
[h
n
(t) h(t)[ =
(2n)[ sin t[ [ sin(t/2n) (t/2n)[
[(2n)t sin(t/2n)[
.
Mais, [ sin t[ 1 et [ sin(t/2n) (t/2n)[
t
3
8n
3
. De plus, puisque t ]0, ], t/2n
]0, /2] et on a
sin(t/2n)
2

t
2n
=
t
n
ce qui donne nalement
[h
n
(t) h(t)[ 2n
t
3
8n
3

n
t
2
=
t
4n
2

2
4n
2
.
Ceci prouve bien la convergence uniforme de (h
n
) vers h sur lintervalle [0, ].
2. La fonction f est impaire, donc a
n
(f) = 0 pour tout n N. Pour n 1, on a
b
n
(f) =
1
f(t) sin(nt)dt =
1
_
0
sin(nt)dt +
1
_

0
sin(nt)dt
= +
1
n
_
cos(0) cos(n)
_
+
1
n
_
cos(n) cos(0)
_
=
1
n
_
2 2(1)
n
_
.
Ainsi, si n est pair, b
n
(f) = 0 et si n est impair, b
n
(f) =
4
n
. Puisque f est C
1
par
morceaux, sa srie de Fourier converge en tout point x R vers la demi-somme des
limites gauche et droite de f en x. En les points o f est continue, cette demi-somme
est bien sr gale f(x). En k, cette demi-somme fait 0, et donc vaut aussi f(k). Bien
sr, la convergence ne saurait tre uniforme, puisque f nest pas continue alors que chaque
somme partielle de la srie de Fourier lest.
3. S
n
est drivable comme somme de fonctions drivables, et de plus, pour tout x R, on a
S
n
(x) =
4
k=1
cos
_
(2k 1)x
_
.
Reste calculer cette somme. Si x = k, on trouve bien que S
n
(x) =
(1)
q
4n
. Pour x ,= k,
k Z, on crit que
S
n
(x) =
4
'e
_
n
k=1
e
i(2k1)x
_
.
On utilise ensuite la somme dune srie gomtrique :
n
k=1
e
i(2k1)x
= e
ix
n
k=1
e
2ikx
= e
ix
e
2ix
e
i(2n+2)x
1 e
2ix
=
e
ix
e
i(n+2)x
e
ix
e
inx
e
inx
e
ix
e
ix
= e
inx
sin(nx)
sin(x)
.
En prenant la partie relle, on trouve nalement
S
n
(x) =
4
cos(nx) sin(nx)
sin x
=
2

sin 2nx
sin x
.
Ainsi, en chaque point de la forme
k
2n
, k 1, . . . , 2n 1, la fonction S
n
sannule et
change de signe. Ainsi, S
n
prsente un extremum en ces points. De plus, S
n
ne sannule
sur lintervalle ]0, [ quen ces points. On a donc trouv les 2n 1 extrema locaux de f
sur ]0, [. Le premier dentre eux est bien atteint en x
n
=

2n
, et S
n
0 avant x
n
tandis
que S
n
0 aprs x
n
. x
n
est bien un maximum local de S
n
.
4. Puisque S
n
est continue, le thorme fondamental du calcul intgral nous dit que, pour
tout x R, on a
S
n
(x) S
n
(0) =
_
x
0
S
n
(t)dt.
Daprs les calculs eectus prcdemment, on trouve
S
n
(x) =
2
_
x
0
sin(2nt)
sin t
dt.
En particulier,
a
n
= S
n
(x
n
) =
2
_
/2n
0
sin(2nt)
sin t
dt.
Le changement de variables u = nt donne le rsultat souhait.
5. On a
a
n
=
2
_

0
h
n
(t)dt.
Or, la fonction (h
n
) converge uniformment vers h sur [0, ]. On peut donc permuter la
limite et lintgrale et on a
lim
n+
a
n
=
2
_

0
sin t
t
dt.
Exercice 16 - Sries trigonomtriques qui convergent uniformment - L2/L3/Math
Sp -
1. Ceci dcoule directement du critre de Cauchy uniforme. On peut aussi reprouver ceci
simplement (cest le sens facile du critre de Cauchy uniforme que lon utilise). Puisque
la srie converge uniformment sur I, pour tout > 0, il existe N N tel que, pour tout
x I et tout n N,
k=n
u
k
(x)
.
Puisque u
n
=

+
k=n
u
k
+
k=n+1
u
k
, on en dduit que pour tout n N et tout x I, on
a
[u
n
(x)[ 2.
Ceci prouve la fois que u
n
est borne sur I pour n assez grand, et aussi que (|u
n
|
)
tend vers 0.
2. Cest classique (et semblable au passage de lcriture dun nombre complexe de la forme
cartsienne la forme trigonomtrique). On met

a
2
+b
2
en facteur, et on a
a cos(x) +b sin(x) =
_
a
2
+b
2
_
a
a
2
+b
2
cos(x) +
b
a
2
+b
2
sin(x)
_
.
Posons u =
a
a
2
+b
2
et v =
b
a
2
+b
2
. Alors u et v sont deux rels tels que u
2
+ v
2
= 1. Il
existe donc R tel que u = cos() et v = sin(). On obtient donc
[a cos(x) +b sin(x)[ =
_
a
2
+b
2
cos() cos(x) + sin() sin(x)
=
_
a
2
+b
2
cos(x )
.
Or, la fonction x [ cos(x )[ atteint son maximum, qui vaut 1, en tous les points de
+Z. Puisque I est de longeur au moins , un de ces points est dans I. Ceci prouve que
le maximum de [a cos x +b sin x[ sur I est

a
2
+b
2
.
3. On utilise les deux questions prcdentes :
On sait que sup
xI
[a
n
cos(nx) +b
n
sin(nx)[ tend vers 0.
De plus, soit I
n
= nI = [n, n]. Alors
sup
xI
[a
n
cos(nx) +b
n
sin(nx)[ = sup
yI
n
[a
n
cos(y) +b
n
sin(y)[.
Or, pour n assez grand, I
n
est de longueur au moins et donc
sup
xI
[a
n
cos(nx) +b
n
sin(nx)[ =
_
a
2
n
+b
2
n
.
Combinant les deux proprits, on trouve que
lim
n+
_
a
2
n
+b
2
n
= 0 = lim
n+
a
2
n
+b
2
n
= 0
Ceci implique que lim
n+
a
2
n
= lim
n+
b
2
n
= 0 - on peut justier cela par le thorme
des gendarmes,
0 a
2
n
a
2
n
+b
2
n
.
Prenant la racine carre, on conclut que lim
n+
a
n
= lim
n+
b
n
= 0.
Exercice 17 - Thorme de Fjer - L2/L3/Math Sp -
1. Remarquons que le changement de variables y = x t et la 2priodicit des fonctions
assure que f e
k
= e
k
f. Ainsi, on en dduit
f e
k
(x) =
1
2
_

e
ik(xt)
f(t)dt =
_
1
2
e
ikt
f(t)dt
_
e
k
(x).
Par linarit, f S
n
est un polynme trigonomtrique, et on reconnait mme que cest la
nime somme partielle de la srie de Fourier de f.
2. Cest un calcul excessivement classique ! En remarquant que S
n
est une somme gom-
trique, on en dduit, pour x / R2Z :
S
n
(x) = e
inx
e
(2n+1)ix
1
e
ix
1
=
sin((n + 1)x/2)
sin(x/2)
.
On recommence, en utilisant lastuce classique dcrire sin((n + 1)x/2) = (e
i(n+1)x/2
).
On trouve :
n
k=0
e
(k+1/2)ix
= e
i(n+1)x/2
sin((n + 1)x/2)
sin(x/2)
.
Retournant C
n
en prenant la partie imaginaire, on trouve le rsultat demand.
3. La positivit de C
n
rsulte immdiatement de lexpression prcdente qui fait intervenir
un carr. Pour lintgrale, il sut dabord de remarquer que :
1
2
_

S
n
(t) = 1
(calcul immdiat), ce qui donne le mme rsultat pour C
n
par linarit. Ensuite, si x
[, ][, ], on a [ sin(x/2)[ [ sin(/2)[, ce qui entrane
[C
n
(x)[
1
(n + 1) sin
2
(/2)
,
quantit qui tend vers 0 indpendamment de x.
4. Remarquons dabord que si x R, on a :
f C
n
(x) =
1
2
_

f(x u)C
n
(u)du.
Prouvons la convergence uniforme. On xe > 0. On a :
[f C
n
(x) f(x)[ =
1
2
_

(f(x u) f(x))C
n
(u)du
.
On xe un ]0, 2] (une valeur prcise sera explicite plus tard), et on dcoupe lint-
grale. On obtient :
[fC
n
(x)f(x)[
1
2
_
||t
[f(xu)f(x)[C
n
(u)du+
1
2
_
|t|
[f(xu)f(x)[C
n
(u)du.
On gre les deux parties de lintgrale trs diremment. Dune part, f est une fonction
continue et priodique. Elle est donc borne par une constante M sur R (la borne M tant
celle qui apparait sur lintervalle [0, 2]). On a donc :
1
2
_
||t
[f(x u) f(x)[C
n
(u)du
2M
2
_
|t|
C
n
(u)du.
Maintenant, puisque la fonction C
n
converge uniformment vers 0 sur [, ] [, ],
lintgrale qui apparait dans cette dernire expression tend vers 0. Il existe donc N N
tel que, pour n N, on a
1
2
_
||t
[f(x u) f(x)[C
n
(u)du .
Pour lautre expression, on remarque que si est petit, xu et x seront proches, et on peut
esprer que [f(xu)f(x)[ sera petit. Il nous faut ici un argument duniforme continuit.
Cest possible, car toute fonction continue et priodique est en fait uniformment continue
(cest un trs bon exercice utilisant le thorme de Heine et des dcoupages avec des ).
Pour > 0 x, il existe donc > 0 (cest maintenant quon le xe) tel que
[z y[ = [f(z) f(y)[ .
On obtient
1
2
_
||t
[f(x u) f(x)[C
n
(u)du
1
2
_

C
n
(u)du .
Finalement, pour n N, on a bien
[f C
n
(x) f(x)[ 2,
ce qui prouve la convergence uniforme (sur R).
Applications des sries de Fourier
Exercice 18 - Ingalit entre f et sa drive - L2/L3/Math Sp -
1. Lhypothse donne c
0
(f) = 0, tandis quune intgration par parties donne
c
n
(f
) = inc
n
(f).
2. f tant de classe C
1
, elle est partout somme de sa srie de Fourier (et on a mme conver-
gence normale). On peut donc crire, en utilisant les rsultats de la question prcdente :
f(t) =

nZ
c
n
(f)e
int
=

nZ
1
in
c
n
(f
).
3. On applique lingalit de Cauchy-Schwarz, qui donne
[f(t)[
2
_
_

nZ
1
n
2
_
_
_
_

nZ
[c
n
(f
)[
2
_
_
.
La premire somme vaut, daprs le rappel,
2
/3, et pour la seconde, on utilise lidentit
de Parseval qui donne
nZ
[c
n
(f
)[
2
nZ
[c
n
(f
)[
2
=
1
2
_
2
0
_
f
(t)
_
2
dt.
On en dduit
[f
(t)[
2

6
_
2
0
_
f
(t)
_
2
dt
ce qui donne la conclusion.
Exercice 19 - Ingalit de Wirtinger - L2/Math Sp -
Le fait de regarder des ingalits concernant des intgrales de fonction prises au carr incite
utiliser lidentit de Parseval. On note c
n
(f) les coecients de Fourier trigonomtriques de
f. Lnonc donne c
n
(f) = 0. Par ailleurs, une simple intgration par parties montre que
c
n
(f
) = inc
n
(f). Lidentit de Parseval applique aux deux fonctions f et f
donne donc
1
2
_
2
0
[f(t)[
2
=

nZ
[c
n
(f)[
2
nZ
n
2
[c
n
(f)[
2
=

nZ
[c
n
(f
)[
2
=
1
2
_
2
0
[f
(t)[
2
dt,
ce qui donne lingalit voulue. Pour quil y ait galit, il faut que partout les ingalits soient
des galits. En particulier, on doit avoir n
2
[c
n
(f)[
2
= [c
n
(f)[
2
pour tout n Z
. Ceci entrane
en particulier que c
n
(f) = 0 pour [n[ > 1. Comme f est de classe C
1
, sa srie de Fourier converge
normalement vers f, et on obtient donc que f(t) = ae
it
+be
it
, avec a, b C. Rciproquement,
il est facile de vrier que pour des fonctions de cette forme, il y a galit.
Exercice 20 - Lien entre f et sa drive seconde - L2/Math Sp -
Par une double intgration par parties, on trouve que c
n
(f
) = n
2
c
n
(f). En particulier,
on a [c
n
(f
)[ [c
n
(f)[ 0 pour n ,= 0. De plus, on sait par hypothse que c
0
(f) = 0. Daprs
le thorme de Parseval, on a
_
2
0
[f
(t)[
2
dt =

n=0
[c
n
(f
)[
2
et
_
2
0
[f(t)[
2
dt =

n=0
[c
n
(f)[
2
.
Puisque [f
[ [f[, on en dduit que
n=0
[c
n
(f
)[
2
=

n=0
n
2
[c
n
(f)[
2
n=0
[c
n
(f)[
2
.
Ceci entrane ncessairement que c
n
(f) = 0 pour [n[ > 1. Ainsi, puisque c
0
(f) = 0, on doit avoir
f(t) = ae
it
+be
it
pour a, b des constantes complexes. Rciproquement, si f(t) = ae
it
+be
it
, on vrie facilement
que f
= f et donc [f
[ = [f[.
Exercice 21 - Fonctions 2priodiques et croissances des drives - L2/Math Sp
-
Procdons par analyse-synthse. Soit f une solution du problme. Puisque f est de classe
C
, f, ainsi que toutes ses drives, sont sommes de leur srie de Fourier qui converge norma-
lement sur R. On crit donc f(x) =

pZ
c
p
e
ipx
. On sait que c
p
(f
(n)
) = (ip)
n
c
p
(f). De plus, on
a
c
p
(f
(n)
)
=
1
2
_
2
0
f
(n)
(t)e
ipt
dt
1
2
_
2
0
M
n
dx
M
n
.
On en dduit
c
p
(f) M

n
[p[
n
.
Ainsi, ds que [p[ , faisant tendre n vers linni, on trouve que c
p
(f) = 0. Ainsi, f est
ncessairement un polynme trigonomtrique. Rciproquement, si f est un polynme trigono-
mtrique, il scrit f(x) =
p
0
p=p
0
c
p
e
ipx
. On a alors, pour tout n, f
(n)
(x) =
p
0
p=p
0
(ip)
n
c
p
e
ipx
,
do lon dduit
f
(n)
(x)
p
n
0
p
0
p=p
0
[c
p
[,
ce qui montre que f est solution du problme avec = p
0
et M =
p
0
p=p
0
[c
p
[.
Exercice 22 - Ingalit de Bernstein - L2/Math Sp -
1. On trouve que c
2k
(S) = 0, et c
2k+1
(S) = 2e
(2k+1)i
. En particulier, on a
kZ
[c
k
[ =

kZ
c
k
e
ik/2
.
Dautre part, puisque S est continue et de classe C
1
par morceaux, et que S est continue
en /2, on a
2
= S(/2) =

kZ
c
k
e
ik/2
=

kZ
[c
k
[.
2. On a
h
(t) =
n
j=1
i
j
a
j
e
i
j
t
=
n
j=1
iS(
j
)a
j
e
ijt
.
Puisque la srie de Fourier de S converge normalement vers S sur R, on a
h
(t) =
n
j=1
ia
j
e
i
j
t
_
_
kZ
c
k
(S)e
ikj
_
_
=

kZ
ic
k
(S)
_
_
n
j=1
a
j
e
i
j
(t+k)
_
_
=
+
k=
ic
k
(S)h(t +k)
do
[h
(t)[
+
k=
[c
k
(S)[|h|

2
|h|
.
3. Il sut de poser h(t) = P(t), avec =

2
, puis dappliquer le rsultat prcdent h, et
de remonter P !
Exercice 23 - Sries de Fourier et quations direntielles - L2/L3/Math Sp -
1. (a) On a, pour tout t R,

1
(n!)
2
e
int
1
(n!)
2
et le membre de droite est le terme gnral dune srie numrique convergente. La
srie trigonomtrique converge normalement, donc uniformment sur R.
(b) Puisque, pour chaque n N, la fonction f
n
: t
1
(n!)
2
e
int
est continue, et puisque
la srie trigonomtrique converge uniformment, la fonction f est continue. De plus,
f
n
est de classe C
2
et on a, pour tout t R,
n
(t)
n
(n!)
2
et

n
(t)
1
_
(n 1)!
_
2
.
Les membres de droite sont chaque fois des sries numriques convergentes (par
exemple, daprs la rgle de dAlembert), les sries de fonctions
n0
f
n
(t) et
n0
f
n
(t)
convergent donc normalement sur R. Ceci prouve que f est de classe C
2
, et de plus
que f
(t) =

n0
(in)
2
n!
e
int
. On en dduit
f
(t) +e
it
f(t) =

n1
1
_
(n 1)!
_
2
e
int
+

n0
1
(n!)
2
e
i(n+1)t
=

n0
1
(n!)
2
e
i(n+1)t
+

n0
1
(n!)
2
e
i(n+1)t
= 0.
La fonction f est donc bien solution de lquation direntielle (E).
2. (a) Il sut de faire une double intgration par parties pour prouver que
c
n
(g
) = (in)
2
c
n
(g) = n
2
c
n
(g).
(b) Puisque g est solution de lquation direntielle (E), on sait que g
(t) = g(t)e
it
pour tout t R. Ceci donne
c
n
(g
) =
1
2
_

g(t)e
it
e
int
dt
= c
n1
(g).
(c) Les deux rsultats prcdents pris ensemble prouvent que, pour chaque n Z, on a
c
n1
(g) = n
2
c
n
(g).
Par deux rcurrences faciles, on prouve alors que, pour tout n 0, c
n
(g) =
c
0
(g)
(n!)
2
,
et pour tout n < 0, c
n
(g) = 0. De plus, puisque g est C
1
et 2-priodique, elle est
somme de sa srie de Fourier. Autrement dit, on a
g(t) =

nZ
c
n
(g)e
int
= c
0
n0
1
(n!)
2
e
int
.
Ainsi, g est proportionnelle la fonction f et lensemble des solutions 2-priodiques
de (E) est lespace vectoriel engendr par f.
3. On rappelle que daprs le thorme de Cauchy, lensemble des solutions sur R de cette
quation est un espace vectoriel de dimension 2. Il existe donc des solutions qui ne sont
pas 2-priodiques.
Exercice 24 - Solutions priodiques dune quation direntielle - L2/L3/Math Sp
-
1. Par intgration par parties, on sait que c
n
(f
) = inc
n
(f). Dautre part, lquation di-
rentielle nous donne
c
n
(f
) =
1
2
_
2
0
f(t +)e
int
dt =
1
2
e
in
_
2
0
f(t +)e
in(t+)
dt = e
in
c
n
(f).
On en dduit la relation demande.
2. On rappelle quune fonction continue et 2-priodique est nulle si et seulement si c
n
(f) = 0
pour tout n. Si on a une solution non-nulle, il est ncessaire quil existe n dans N tel que
in = e
in
. Mais alors, prenant le module, ceci entrane aussi que n = 1 et e
i
= i, soit
= /2. Rciproquement, si = /2, alors la fonction t e
it
vrie lquation.
Exercice 25 - Equation de la chaleur - L3 -
1. On introduit la fonction u dans lquation aux drives partielles. En supposant que les
fonctions f et g ne sannulent pas, on obtient que :
(x, t) Q,
f
(x)
f(x)
=
g
(t)
g(t)
.
Comme le membre de droite ne dpend pas de x et celui de gauche ne dpend pas de x,
on en dduit lexistence dune constante R telle que :
f
(x) f(x) = 0 g
(t) g(t) = 0.
2. Il y a plusieurs possibilits pour rsoudre lquation direntielle vrie par f, suivant
les valeurs de . Dabord, si > 0, f scrit f(x) = Ae
x
+Be
x
. Puisque u vrie la
dernire condition impose, on a forcment : f(0) = f(L) = 0. Ceci donne le systme
_
A+B = 0
Ae
L
+Be
L
= 0
Ce systme tant inversible, ceci donne A = B = 0, et la fonction u est identiquement
nulle : ce nest gure intressant ! Si maintenant = 0, f scrit f(x) = Ax+B. On obtient
encore avec f(0) = f(L) = 0 que A = B = 0 : ce nest pas plus intressant ! La dernire
possibilit est donc < 0 : en posant tel que =
2
, f scrit Acos(x)+Bsin(x). La
valeur en 0 donne A = 0. Pour avoir B ,= 0, il faut donc que sin(L) = 0. Donc, =
k
L
,
avec k Z. On rsoud maintenant lquation pour g. On trouve g(t) = Ce
n
2
2
L
2
t
. Une
solution de lquation vriant aussi la dernire condition scrit donc
u(x, t) = C sin
_
n
L
x
_
e
n
2
2
L
2
t
.
La somme de deux solutions tant encore une solution (cest le principe de superposition),
une solution de la forme donne par lnonc est plausible.
3.

h est une fonction continue, C
1
par morceaux, 2Lpriodique, et impaire. Elle est donc
somme de sa srie de Fourier (qui converge normalement) et qui ne comporte que des
termes en sinus :
h(x) =

n1
b
n
(
h) sin
_
n
L
x
_
.
Si on veut faire concider u(x, 0) avec h(x), on est donc conduit poser a
k
= b
k
(h).
4. Passons ltape de synthse. Soit donc u donn par :
u(x, t) =

n1
b
n
(
h) sin
_
n
L
x
_
e
n
2
2
L
2
t
.
Remarquons dabord que cette srie est normalement convergente sur Q. On a en eet :
(x, t) Q,
b
n
(
h) sin
_
n
L
x
_
e
n
2
2
L
2
t
[b
n
(
h)[,
et on sait que la srie

[b
n
(
h)[ est convergente. Ainsi, ceci dnit bien une fonction

continue sur Q, et il est clair que u vrie les deux dernires conditions. Pour prouver
que u vrie aussi lquation de la chaleur, il est simplement ncessaire de prouver que
lon peut driver terme terme sous le signe somme. Ceci est justi par la convergence
normale de toutes les sries drives sur [0, L] [, +[, o est nimporte quel rel
strictement positif. Posons en eet u
n
(x, t) = b
n
(
h) sin
_
n
L
x
_
e
n
2
2
L
2
t
. Si et sont des
entiers, on a :
+
u
x
u
n
(x, t) = P
,
(n)b
n
(
h) sin
_
n
L
x
_
e
n
2
2
L
2
t
,
o P
,
est un polynme. En particulier, puisque la suite b
n
(
h) est borne par une

constante M, on a :

+
u
x
u
n
(x, t)
MP
,
(n)e
n
2
2
L
2

pour tout x [0, L] et tout t . Cette dernire srie converge, ce qui prouve le rsultat
voulu.
Spcial L3/Master
Exercice 26 - Formule sommatoire de Poisson - L3/M1 -
1. On va prouver que la srie est normalement convergente sur tout compact de R. Comme
il sagit de fonctions continues, la somme sera videmment continue. Fixons donc A > 0.
Si [x[ A, et [n[ 2A, on a [x +n[ [n[ [x[ [n[/2, ce qui donne par hypothse
[F(x +n)[
M
(1 +n/2)
.
Il sagit ici du terme gnral dune srie qui converge, et f est continue. Le changement
dindices n
= n + 1 montre en outre que f est continue.

2. On a :
c
m
(f) =
_
1
0
f(t)e
i2mt
dt =
_
1
0
nZ
F(t +n)e
i2mt
dt =

nZ
_
1
0
F(t +n)e
i2mt
.
Linterversion limite intgrale est ici justie par la convergence normale de
nZ
F(t+n)
sur [0, 1], et le fait que [e
i2mt
[ = 1. On obtient
c
m
(f) =

nZ
_
n+1
n
F(u)e
i2mu
du =
_

F(u)e
i2mu
du =

F(m).
3. Il sagit dun rsultat gnral qui dit que si la srie de Fourier dune fonction continue
est absolument convergente, alors elle est partout somme de sa srie de Fourier. Red-
montrons ce rsultat dans ce cas. Soit g(t) =

mZ
c
m
(f)e
imt
. Puisque

mZ
[c
m
(f)[ =
mZ
[
F(m)[ < +, g est une fonction continue qui est somme de sa srie de Fourier (s-
rie trigonomtrique qui converge uniformment). Maintenant, g et f sont deux fonctions
continues qui ont les mmes coecients de Fourier : elles sont gales !
4. Daprs les deux questions prcdentes, f est partout somme de sa srie de Fourier. Cest
en particulier le cas en 0. On obtient donc que
nZ
F(n) = f(0) =

nZ
F(m).
Exercice 27 - Thorme de Wiener-Lvy - M1 -
1. Posons g =

nZ

f(n)e
int
, qui est une fonction continue 2priodique (la srie converge
normalement). Dautre part, le thorme de convergence domine (par exemple) assure
que g(n) =

f(n). Par injectivit de la fonction qui un lment de L
1
(T) associe ses
coecients de Fourier, on en dduit que f = g.
2. Ecrivons f =

nZ

f(n)e
int
, et g =

nZ
g(n)e
int
. Les deux sries tant absolument
convergentes pour tout t, il est possible de prendre leur produit de Cauchy, et on a donc :
fg =

nZ
i+j=n
f(i) g(j)e
int
.
On a donc
|fg|
nZ
i+j=n
|
f(i) g(j).
On reconnait alors dans le membre de droite de cette dernire ingalit le produit de
Cauchy de

n
[
f(n)[ avec

n
[ g(n)[.
3. Une intgration par parties montre que
f(n) =

f
(n)
in
, n ,= 0.
En appliquant lingalit de Cauchy-Schwarz, puis le thorme de Parseval-Bessel ( la
fonction f
), il vient
nZ
[
f(n)[ [
f(0)[ +

n=0
1
[n[
[
(n)[
[
f(0)[ +
_
_
n=0
1
n
2
_
_
1/2
_
_
n=0
[
(n)[
2
_
_
1/2
[
f(0)[ +C
__
2
0
[f
(x)[
2
dx
_
1/2
.
4. Soit f A(T), et posons f
N
=

|n|N

f(n)e
int
. Alors on a
|f f
N
|
n>|N|
f(n),
quantit qui tend vers 0 comme reste dune srie divergente.
5. Puisque les V
x
recouvrent [0, 2], et que [0, 2], on peut en extraire un sous-recouvrement
ni V
1
, . . . , V
N
. Considrons
1
, . . . ,
N
une partition de lunit C
associe ce recouvre-
ment, ie
i
son support inclus dans V
i
,
i
est C
, et

n
j=1
j
= 1. On a alors, pour tout
x de [0, 2], f(x) =

N
j=1
g
j
(x)
j
(x). Prolongeons alors chaque
j
par 2priodicit en
une fonction C
sur R (il sut de remarquer quil est possible de supposer que chaque
voisinage V
j
peut tre inclus dans un intervalle de longueur infrieure 2). Par la ques-
tion prcdente,
j
et g
j
sont tous deux lments de A(T). Puisque A(T) est une algbre,
f est lment de A(T).
6. (a) Un calcul simple montre que
k
(0) =
1
2k
,

k
(n) =
k
n
2
(1 cos(n/k)).
On utilise alors lune des majorations suivantes
1 cos x
x
2
2
, 1 cos(x) 2
ce qui donne
nZ
[

k
(n)[
1
2
+
2
_
_
k
k
n=1
1
2k
2
+ 2k
+
n=k+1
1
n
2
_
_
.
Or,
k
k
n=1
1
2k
2

1
2
,
tandis quil est bien connu que (et cela sobtient par exemple en comparant une srie
et une intgrale)
+
n=k+1
1
n
2
= O(1/k),
ce qui donne bien la majoration!
(b) Supposons dabord f de classe C
. En utilisant le rsultat de la question 3., il sut

dtablir que

k
(0) et
_
2
0
[(
k
f)
[
2
tendent vers 0. Mais, 0 V
k
1, et le support
de V
k
est inclus dans [1/k, 1/k], do
[
V
k
(0)[
|f|
k
,
_

[V
k
(x)f
(x)[
2
dx
|f
|
2
k
.
On a enn [V
k
[ 2k, et par hypothse sur f, [f(x)[ |f
k
1
sur le support de
V
k
. Cela donne
_

[V
k
(x)f(x)[
2
dx
2|f
|
2
k
.
Traitons enn le cas o f nest plus suppos C
. Fixons > 0. Par la densit

des polynmes trigonomtriques dans A(T), il existe une fonction g de classe C
telle que |f g| et g(0) = 0. Par le rsultat prcdent, il existe K tel que

k K = |V
k
g| . Remarquons enn que la question prcdente entraine
lexistence de C > 0 tel que |V
k
| C. On a donc
|V
k
f| |V
k
(f g)| +|V
k
g| (C + 1)
ds que k K.
7. Soit R le rayon de convergence de la srie entire

c
n
z
n
. Pour k assez grand, |V
k
f| < R,
ce qui garantit la convergence de la srie
|c
k
(V
k
f)
n
|. A(T) tant un espace de Banach, la
convergence "absolue" des sries entrane leur convergence, et donc

k
c
k
(V
k
f)
n
converge
dans A(T). En outre, pour [x[ < 1/2k, V
k
f(x) = f(x). Autrement dit, F f concide au
voisinage de 0 avec

c
k
(V
k
f)
n
, qui est lment de A(T).
8. Daprs la question 5, il sut de prouver que pour tout a de [0, 2], F f concide au
voisinage de a avec une fonction de A(T). Pour cela, on pose
f
a
(x) = f(x +a) f(x), G
a
(z) = F(f(a) +z) F(f(a)).
f
a
et G
a
satisfont aux hypothses de la question prcdente : il existe donc une fonction
h
a
de A(T) telle que h
a
concide avec G
a
f
a
sur un voisinage de 0. Il sut alors de poser
g
a
(x) = h
a
(x a) +F(f(a)). g
a
concide avec F f au voisinage de a.
Exercice 28 - Une srie trigonomtrique qui nest pas une srie de Fourier... - M1
-
1. En crivant comme dans lnonc et en utilisant le thorme de Fatou, on a
+
n=
c
n
liminf
N+
N
n=N
_
1
n
N
_
c
n
.
Maintenant, la quantit de droite ( lintrieur de la limite) est exactement
N
(f)(0), et
cette quantit tend vers f(0).
2. Pour t 2Z, cest clair (le sinus est nul). Sinon, cela rsulte dune transformation dAbel,
et du fait que la srie

1
nln
2
n
est convergente.
3. Une intgration par parties entrane que c
n
(F) =
c
n
(f)
i
, et donc c
|n|
(F) =
a
|n|
2|n|
pour
[n[ 1. En vertu de la rponse la question 1, on en dduit

+
1
a
n
n
< +.
4. Rsulte de la question prcdente et du fait que

1
nln n
= +.
Exercice 29 - Divergence de la srie de Fourier dune fonction continue - M1 -
1. On a
[T
n
(f)[ =
1
2
_
2
0
D
n
(t)f(t)dt
|D
n
|
1
|f|
,
ce qui prouve que |T
n
| |D
n
|
1
. Pour lautre ingalit, lidal serait de pouvoir prendre
continue 2priodique telle que (t) = signe(D
n
(t)), auquel cas on aurait exactement
T
n
() = |D
n
|
1
= |D
n
|
1
||
.
La continuit est impossible satisfaire, mais il existe une suite
k
de fonctions continues,
avec |
k
|
1, qui converge simplement vers . Utilisant le thorme de convergence

domine, on obtient alors
lim
k
[T(
k
)[ = |D
n
|
1
,
alors quon a toujours |T
n
(
k
)| |D
n
|
1
, ce qui donne le rsultat.
2. Observons que D
n
(t) =
sin((n+1/2)t)
sin(t/2)
. Lide est de faire intervenir un changement de
variables, et de faire intervenir sin(t)/t. Ecrivons en eet
D
n
(t) =
sin((n + 1/2)t
t/2
+(t) sin((n + 1/2)t),
o (t) =
1
sin(t/2)

1
t/2
. Cette fonction est continue sur [0, 2], on peut appliquer le
thorme de Riemann-Lebesgue pour obtenir que
lim
n+
_
2
0
(t) sin((n + 1/2)t)dt = 0.
Dautre part, on a
_
2
0
[ sin((n + 1/2)t)[
t/2
=
_
(n+1/2)2
0
[sin(u)[
u/2
du.
Mais u
sin u
u
nest pas dans L
1
(R) et cette dernire quantit tend vers = , ce qui
prouve bien que |D
n
|
1
+.
3. Si pour toute fonction continue f, S
n
(f)(0) converge, alors
sup
n
[T
n
(f)[ < +.
Par le thorme de Banach-Steinhaus, on aurait sup
n
|T
n
| < +, ce qui nest pas le cas !

Serie Four Cor

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Serie Four Cor

Transféré par

Droits d'auteur :

Formats disponibles

Exercices - Sries de Fourier : corrig

Exercice 1 - Comprendre le cours - L2/Math Sp -

(x) tend vers +

f(x) = cos() = cos() = lim

. Alors, par intgrations par parties successives,

sur R. S est somme dune srie trigonomtrique qui

cos() cos(x) + sin() sin(x)

[ [f[, on en dduit que

h)[ est convergente. Ainsi, ceci dnit bien une fonction

h) est borne par une

= n + 1 montre en outre que f est continue.

. En utilisant le rsultat de la question 3., il sut

. Fixons > 0. Par la densit

telle que |f g| et g(0) = 0. Par le rsultat prcdent, il existe K tel que

1, qui converge simplement vers . Utilisant le thorme de convergence

Vous aimerez peut-être aussi