Séries de Fourier PDF

[http://mp.cpgedupuydelome.
fr] dit le 6 aot 2013 Enoncs 1

Sries de Fourier
Polynmes trigonomtriques
Exercice 1 [ 00944 ] [correction]
Exprimer la fonction sin
2n
sur la base (e
k
)
kZ
(avec e
k
: e
ik
).
En dduire la valeur de
I
n
=
_
/2
0
sin
2n
d
Soient a
0
, a
1
, . . . , a
N
R non tous nuls et
P(z) =
N
k=0
a
k
z
k
a) Etablir
_
1
1
(P(t))
2
dt = i
_

0
(P(e
i
))
2
e
i
d
b) En dduire que
N
n=0
N
m=0
a
n
a
m
n +m+ 1

N
k=0
a
2
k
Exercice 3 Mines-Ponts MP [ 02877 ] [correction]
On pose, pour n N et x R : p
n
(x) = (1 + cos x)
n
puis
q
n
(x) =
p
n
(x)
_
p
n
(t) dt
a) Montrer que pour tout ]0, [,
lim
n+
_

q
n
(t) dt = 1
b) Soit f : R R 2-priodique et continue. On pose
g
n
(x) =
_

q
n
(t)f(x t) dt
Prouver la convergence uniforme sur R vers f de (g
n
).
c) Quel rsultat redmontre-t-on ainsi ?
Exercice 4 X MP [ 03042 ] [correction]
Dterminer les polynmes P C[X] tels que P(U) U o U = z C/ [z[ = 1.
Coecients de Fourier
Soit f : R C une fonction continue par morceaux -priodique.
On note a
n
(f) et b
n
(f) les coecients de Fourier de f comprise comme une
fonction 2-priodique.
Montrer que
n N, a
2n+1
(f) = b
2n+1
(f) = 0
Soit f : R C continue et 2-priodique.
Montrer que f est constante si, et seulement si,
n Z
, c
n
(f) = 0
Comportement asymptotique des coecients de
Fourier
Soit f : R C une fonction 2 priodique et continue par morceaux.
Montrer la convergence de la srie
[c
n
(f)[
n
Soit f : R C une fonction 2-priodique continue.
a) Montrer que si f de classe (
1
alors
c
n
(f) = o(1/n) quand [n[ +
b) Inversement tablir que sil existe > 2 tel que
c
n
(f) = O(1/[n[
) quand [n[ +
alors f est gale sa somme de Fourier et est une fonction de classe (
1
.
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 6 aot 2013 Enoncs 2
Soit f : R R une fonction 2-priodique continue.
a) Montrer que si f est de classe (
p
alors
c
|n|
(f) = o (1/n
p
) quand n +
b) Inversement justier que si
c
|n|
(f) = O
_
1/n
p+2
_
quand n +
alors f est de classe (
p
.
Soit f : R C 2 priodique.
On suppose quil existe > 0 et M R
+
vriant
x, y R, [f(x) f(y)[ M [x y[
a) Justier que f est continue

b) Pour a R et n Z, exprimer en fonction de c
n
(f) la valeur de
_
2
0
f(t +a)e
int
dt
c) Montrer quil existe R
+
vriant
n Z, [c
n
(f)[

[n[
d) On suppose > 1. Montrer que la srie de Fourier de f converge uniformment

vers f.
Dveloppement en srie de Fourier
Soit f une fonction continue 2 priodique.
On suppose que la srie de Fourier de f converge uniformment. Montrer que
cette convergence a lieu vers la fonction f.
Soit f : R R la fonction rgularise, 2 priodique, impaire, constante gale 1
sur ]0, [.
a) Calculer ses coecients de Fourier trigonomtriques.
b) Etudier la convergence simple ou uniforme de la srie de Fourier vers f.
c) En dduire
+
p=0
(1)
p
2p + 1
et
+
p=0
1
(2p + 1)
2
d) Calculer
+
n=1
1
n
2
et
+
n=1
(1)
n1
n
2
Soit f : R R lapplication 2 priodique, paire, telle que
x [0, ] , f(x) = x
a) Calculer la srie de Fourier de f.
b) Etudier la convergence simple ou uniforme de la srie de Fourier de f.
c) Dterminer
+
k=0
1
(2k + 1)
2
et
+
k=0
1
(2k + 1)
4
d) En dduire
+
n=1
1
n
2
et
+
n=1
1
n
4
Soit f : R R la fonction paire, 2-priodique, dnie par
f(t) =
_
4x
2
2
si x [0, /2]
8x 3
2
4x
2
sinon
a) Montrer que f est de classe (
1
et calculer exprimer sa drive.
b) Calculer les coecients de Fourier trigonomtrique de la fonction f.
c) En dduire la valeur de
+
n=0
(1)
n
(2n + 1)
3
Soit f : R R la fonction 2 priodique dnie par
f(x) = [cos x[
a) Calculer les coecients de Fourier trigonomtriques de f.
b) En dduire la valeur
+
n=1
(1)
n+1
4n
2
1
Soit f : R C, 2-priodique, impaire et vriant
f(t) =
t
2
sur ]0, ]
a) Prciser la convergence de la srie de Fourier de f. La convergence est-elle
uniforme ?
b) Calculer la srie de Fourier de f.
c) En dduire la convergence et la valeur de
+
n=1
sin n
n
d) Calculer
+
n=1
1
n
2
Exercice 17 CCP MP [ 00956 ] [correction]
Soit la fonction f : R R 2 priodique dnie par
x ], ] , f(x) = e
x
a) Calculer les coecients de Fourier exponentiels de f.
b) En dduire la valeur des sommes
+
n=0
(1)
n
n
2
+ 1
et
+
n=0
1
n
2
+ 1
Soient RZ et f : R R la fonction 2 priodique dnie par
f(x) = cos(x) sur ], ]
a) Dterminer les coecients de Fourier a
n
et b
n
de f.
b) En dduire les valeurs des sommes
+
n=1
(1)
n1
n
2
2
et
+
n=1
1
n
2
2
c) En dduire enn la valeur de
+
n=1
1
n
2
Soit un rel non entier et f la fonction 2-priodique donne par
t ], ] , f(t) = cos(t)
a) Montrer que f est gale sa somme de Fourier en prcisant le type de
convergence de celle-ci.
b) Calculer la somme de Fourier de f.
Soient RZ et f : R R la fonction 2 priodique dnie par
f(t) = cos(t) sur ], ]
a) Montrer que f admet une srie de Fourier convergente sur R.
Quel type de convergence est-ce ?
b) Expliciter les coecients de Fourier de f.
c) Pour tout x / Z, montrer lgalit
cotanx =
1
x
+
n=1
2x
x
2
(n)
2
Soient R
et f : R R la fonction 2 priodique dnie par

f(x) = ch(x) sur ], ]
a) Dterminer les coecients de Fourier a
n
et b
n
de f.
b) En dduire les valeurs des sommes
+
n=1
(1)
n
n
2
+
2
et
+
n=1
1
n
2
+
2
a) Domaine de dnition de
S(t) =
+
k=0
1
k
2
t
2
?
b) Calculer les coecients de Fourier a
n
et b
n
de f(x) = cos(x) dnie sur
[, ] avec RZ.
c) Sur quel domaine f concide avec son dveloppement en srie de Fourier ?
d) En dduire une expression de S(t).
Existe-t-il une suite (
n
) de rels telle que
t [0, ] , sin t =
+
n=0
n
cos(nt) ?
La srie de Fourier de la fonction f paire 2-priodique qui vaut

x pour
x [0, ] converge-t-elle uniformment ? Que vaut sa somme ?
Soit un rel non entier.
a) En utilisant la fonction 2-priodique concidant avec x cos(x) sur [, ],
calculer
1 + 2
2
+
n=1
(1)
n
2
n
2
b) En dduire
+
n=1
(1)
n
n
2
c) Ici 0 < < 1. Montrer que
_
+
0
t
1
1 +t
dt =

sin
Soient RZ et f
lunique fonction 2-priodique de R dans R telle que pour

tout x [, ],
f
(x) = cos(x)
a) Calculer les coecients de Fourier de f
.
b) Montrer que
sin()
= 1 + 2
2
+
n=1
(1)
n1
n
2
2
c) Si 0 < < 1, montrer que
_
+
0
t
1
1 +t
dt =

sin()
Soit a > 0, x rel. On pose
f(x) =
+
n=
1
a
2
+ (x 2n)
2
a) Montrer que f est dnie sur R et tudier sa parit.
b) Montrer que f est dveloppable en srie de Fourier.
c) Calculer, en utilisant un logiciel de calcul formel, lintgrale
_
+
cos t
b
2
+t
2
dt
d) En dduire les coecients de Fourier de f.
e) Exprimer f laide des fonctions usuelles.
Soit f : R C, 2-priodique, impaire et vriant
0 < x < f(x) =
x
2
a) Calculer
S(x) =
+
n=1
sin(nx)
n
b) Soit g : R C, 2-priodique, impaire, continue et dnie par
g est ane sur [0, 1] et x [1, ] , g(x) = S(x)
Dmontrer
+
n=1
_
sin n
n
_
2
=
+
n=1
sin n
n
c) Que vaut
+
n=1
sin
2
n
n
4
?
Exercice 29 CCP PSI [ 03811 ] [correction]
Former le dveloppement en srie de Fourier de la fonction 2-priodique donne
par
f(t) = [sin t[
en prcisant la nature de la convergence de cette srie.
Exercice 30 Centrale PC [ 03617 ] [correction]
Soit f : R C une fonction 2-priodique et k lipschitzienne. Pour n Z, on pose
c
n
(f) =
1
2
_
2
0
f(t)e
int
dt
a) Pour tout h R, on dnit la fonction
f
h
: R C, x f(x +h) f(x)
Calculer c
n
(f
h
) pour tout n Z.
b) En dduire que
nZ
sin
2
_
nh
2
_
[c
n
(f)[
2
(kh)
2
4
c) En utilisant la concavit de la fonction sinus, montrer que
nZ
n
2
[c
n
(f)[
2
converge.
d) Que peut-on en conclure ?
Enonc fourni par le CENTRALE-SUPELEC (CC)-BY-NC-SA
Applications des sries de Fourier
Soient f, g : R C 2-priodiques, continues et paires. Pour tout x R, on pose
h(x) =
a
0
(f)a
0
(g)
2
+
+
n=1
a
n
(f)a
n
(g) cos(nx)
Justier que h existe, est continue et calculer ses coecients de Fourier rels.
Etablir que
|h|
2 |f|
|g|

Pour ]0, [, calculer de deux manires la partie relle de
_
1
0
_
+
n=0
t
n
e
i(n+1)
_
dt
an den dduire la valeur de
+
n=1
cos n
n
dsigne un rel de lintervalle ]0, [ et f la fonction 2 priodique dnie sur
], ] par
f(x) =
_
1 si [x[
0 sinon
a) Etudier la srie de Fourier de f ainsi que sa convergence.
b) Que vaut la somme de cette srie pour x = 0, pour x = ?
c) Calculer
+
n=1
sin
2
(n)
n
2
d) Justier et calculer
_
+
0
sin
2
t
t
2
dt
a) On note g la fonction 2-priodique dnie par
g(t) = t sur [0, 2[
Calculer les coecients de Fourier trigonomtriques de g.
b) Soit f : R R une fonction continue, (
1
par morceaux et 2-priodique.
Montrer que
+
n=1
b
n
(f)
n
=
1
2
_
2
0
( t)f(t) dt
c) Etablir que lidentit est encore vraie pour f seulement continue par morceaux.
Soit f (
1
([0, ] , R) telle que
f(0) = f() = 0 et
_

0
f
2
= 1
Montrer quil existe une suite relle (a
n
)
n1
telle que
+
n=1
a
2
n
=
2
et x [0, ] , f(x) =
+
n=1
a
n
n
sin(nx)
Exercice 36 Centrale MP [ 03250 ] [correction]
Soit f la somme sur C de la srie entire
n0
a
n
n!
z
n
suppose de rayon de convergence R = +.
Pour r 0, on pose
M(r) = sup
|z|=r
[f(z)[
et on suppose lexistence de
= lim
r+
ln M(r)
r
a) On suppose que > 1. Montrer la divergence de la srie

a
n
.
b) En utilisant les coecients de Fourier de lapplication t f(re
it
), montrer
[a
n
[ M(r)
n!
r
n
c) En dduire que, si < 1, la srie

a
n
converge.
f dsigne une fonction relle continue et 2 priodique sur R.
a) Dmontrer que la suite de fonction (F
n
)
n1
dnie par
F
n
(x) =
1
n
_
n
0
f(x +t)f(t) dt
converge vers une fonction F.
On prcisera la dnition de F en fonction de f ainsi que le mode de convergence
de la suite (F
n
)
n1
b) Dmontrer
|F|
F(0)
Dmontrer que pour tout x R
[sin(x)[ =
8
n=1
sin
2
(nx)
4n
2
1
Soit f la fonction 2-priodique dnie sur [0, 2[ par
f(x) =
x
2
a) Calculer les coecients de Fourier de la fonction g dnie par
g(x) = f(x + 1) f(x 1)
b) En dduire la valeur de
+
n=1
_
sin n
n
_
2
Soit f : R C de classe (
et 2-priodique.
On suppose quil existe M R vriant
p N, t R,
f
(p)
(t)
M
Dterminer f.
Soit f : R C une fonction de classe (
2
nulle en dehors de [A, A] (avec A > 0).
On dnit la transforme de Fourier de f par
x R,

f(x) =
_
+
f(x)e
ixt
dx
a) Montrer que la fonction

f est continue et que t t
2
f(t) est borne sur R.
b) Soit T > 2A. Montrer
x [T/2, T/2] , f(x) =
1
T
+
k=
f
_
2k
T
_
e
2ik
x
T
c) En dduire la formule dinversion de Fourier
x R, f(x) =
1
2
_
+
f(t)e
ixt
dt
On note (
2
?lespace vectoriel des fonctions 2-priodiques et continues de R
dans C.
a) Soient f et g deux lments de (
2
. Montrer que pour tout x R
+
n=
c
n
(f)c
n
(g)e
inx
=
1
2
_
2
0
f(x t)g(t) dt
On tudie lquation direntielle
(E) : y y
= h
avec h une fonction lment de (
2
.
b) Montrer que lquation (E) possde au plus une solution 2-priodique.
c) Dterminer la solution 2-priodique de lquation
y y
= e
p
avec e
p
: x e
ipx
d) On cherche dterminer une fonction g (
2
telle que, pour toute fonction
h : R C de classe (
1
2-priodique, la fonction f dnie par
x R, f(x) =
1
2
_
2
0
g(x t)h(t) dt
soit solution de lquation direntielle (E).
En supposant lexistence de g, calculer ses coecients de Fourier laide de la
question prcdente.
Conclure alors en utilisant le calcul initial.
Soit E lespace des f (
0
(R, C) 2-priodiques. On norme E en posant, si f E :
|f| =
1
2
_
2
0
[f[
Si f E, soit
G(f) : x R
_
+
0
e
t
f(x +t) dt C
a) Montrer que G est un endomorphisme continu de E.
b) Lendomorphisme G est-il inversible ?
c) Dterminer les valeurs propres et les vecteurs propres de G.
On note E lespace vectoriel des fonctions continues sur [0, 1[, valeurs relles et
de carr intgrable sur [0, 1[.
On note |f|
2
la norme dnie par
|f|
2
=
__
1
0
f(t)
2
dt
_1/2
a) Pour n N et f E, justier que t t
n
f(t) est intgrable sur [0, 1[.
On note alors
a
n
(f) =
_
1
0
t
n
f(t) dt
b) Soit P R[X], montrer que
_
1
1
P(t) dt +i
_

0
P(e
i
)e
i
d = 0
En dduire que
_
1
0
P(t)
2
dt
1
2
_

P(e
i
)
2
d
c) Vrier que, si f E, alors
n
k=0
a
k
(f)
2
=
_
1
0
_
n
k=0
a
k
(f)t
k
_
f(t) dt
En dduire que la srie

a
k
(f)
2
converge et que lon a
+
k=0
a
k
(f)
2
|f|
2
2
d) On pose, pour f E,
N(f) =
_
+
k=0
a
k
(f)
2
_
1/2
Montrer que N est une norme sur E.
e) Montrer que N nest pas quivalente la norme | . |
2
. On pourra considrer les
fonctions f
p
dnies, pour p 1 par
f
p
(x) =
_

p si x [0, 1/p]
1/
x si x ]1/p, 1[
Enonc fourni par le CENTRALE-SUPELEC (CC)-BY-NC-SA
a) Etablir
_
+
0
sin t
e
t
1
dt =
+
n=1
1
n
2
+ 1
b) Calculer les coecients de Fourier rels de la fonction 2-priodique dnie par
f(t) = cht pour t [, ]
sachant
_

0
cht. cos(nt) dt = (1)
n
sh
n
2
+ 1
c) En dduire la valeur de lintgrale du a).
Dveloppement trigonomtrique
Soit t ]1, 1[. Former le dveloppement en srie de Fourier de la fonction
x
sin x
1 2t cos x +t
2
Former le dveloppement en srie de Fourier de
x e
cos x
cos(sin x)
Pour [z[ < 1, calculer
_

0
1 z cos t
1 2z cos t +z
2
cos(nt) dt
Calculer
+
p=0
(1)
p
cos(2p + 1)x
(2p + 1)!
Soit la fonction f : R C 2-priodique donne par
f(t) = e
e
it
a) Dterminer les coecients de Fourier exponentiels de f.
b) Etablir
_
2
0
e
2 cos t
dt = 2
+
n=0
1
(n!)
2
Soient f, g : R C continues par morceaux et 2-priodiques.
a) Montrer la convergence de la somme
+
n=
[c
n
(f)c
n
(g)[
b) Soit : R C dnie par
(x) =
+
n=
c
n
(f)c
n
(g)e
inx
Calculer les coecients de Fourier de .
Soit a > 0.
a) Dvelopper en srie entire
x
1
x + e
a
b) En dduire le dveloppement en srie de Fourier de
t
1
cos t + cha
Noyau de Poisson
[Noyau de Poisson]
Soient r [0, 1[ et R.
a) Calculer
+
n=
e
in
r
|n|
b) Dterminer la srie de Fourier trigonomtrique de la fonction
f
r
: t
1
1 2r cos t +r
2
a) Soit x ]0, [. Former le dveloppement en srie entire en 0 de
t
1 t
2
1 2t cos x +t
2
b) En dduire le dveloppement en srie de Fourier de
x
cos
1 sin cos x
pour ]/2, /2[.
Soit f : R C une fonction 2-priodique et continue de coecients de Fourier
exponentiels c
n
, n Z.
a) Soit r ]0, 1[. Dterminer une fonction g
r
: R C vriant
+
n=
r
|n|
c
n
=
1
2
_
2
0
f(t)g
r
(t) dt
b) Montrer que la fonction g
r
est valeurs relles positives.
c) On suppose
n Z, c
n
R
+
Montrer que la srie de Fourier de f converge. Que vaut sa somme ?
Soient r ]0, 1[ et E lespace des fonctions continues 2-priodiques de R dans C.
a) Montrer quil existe une fonction P
r
E telle que : pour tout f E et x R,
nZ
r
|n|
c
n
(f)e
inx
=
1
2
_

f(t)P
r
(x t) dt
b) Calculer
_

P
r
(t) dt
c) Calculer
lim
r1
nZ
r
|n|
c
n
(f)e
inx
Pour r ]0, 1[, on dnit la fonction k : R R par
k(x) = 1 + 2
+
p=1
r
p
cos(px)
a) Montrer que la fonction k est dnie et continue sur R.
On note E lespace des fonctions continues 2-priodique. Pour f E, on pose
F(x) =
1
2
_
2
0
k(x t)f(t) dt
b) Exprimer F(x) laide des coecients de Fourier de f.
En dduire que F est lment de E et exprimer ses coecients de Fourier en
fonction de ceux de f.
On note, pour k 0, 1, S
k
lensemble des fonctions continues sur R,
2-priodiques, valeurs complexes telles que

nZ
n
k
c
n
(f)
converge (o
(c
n
(f))
nZ
dsigne la suite des coecients de Fourier de f).
On considre f une fonction de S
1
, r un rel tel que 0 < r < 1 et on dnir f
r
par
x R, f
r
(x) =

nZ
c
n
(f)r
|n|
e
inx
a) Calculer, pour x R,
+
n=1
r
n
sin(nx)
et en dduire que
+
n=1
r
n
cos(nx)
n
=
1
2
ln
_
1 2r cos(x) +r
2
_
b) On pose
K
r
(t) =
1
2
ln
_
1 2r cos(t) +r
2
2
_
Montrer quil existe une unique fonction u dans S
0
telle que, pour tout x R
_

K
r
(x t)u(t) dt = f
r
(x)
On dterminera les coecients de Fourier de u en fonction de ceux de f et on
vriera que u est indpendante de r.
c) Vrier que pour t ]0, [,
ln
_
1 2r cos(t) +r
2
2
_
ln 2 2 ln [sin t[
d) En dduire que
lim
r1
K
r
(x t)u(t) dt =
1
2
_

ln (1 cos(x t)) u(t) dt

e) Pour g S
0
, on dnit (g) par
x R, (g)(x) =
_

ln (1 cos(x t)) g(t) dt

Montrer que est un isomorphisme de S
0
sur S
1
.
Enonc fourni par le concours CENTRALE-SUPELEC (CC)-BY-NC-SA
Ingalits et sries de Fourier
[Ingalit de Wirtinger]
Soit f : R C une fonction 2 priodique de classe (
1
telle que
_
2
0
f = 0
a) Rappeler la relation existant entre c
n
(f) et c
n
(f
).
b) Montrer que
_
2
0
[f(t)[
2
dt
_
2
0
[f
(t)[
2
dt
et prciser les cas dgalits.
Soit f : R C une fonction 2 priodique de classe (
1
telle que
_
2
0
f = 0
a) Pourquoi peut-on appliquer la formule de Parseval aux fonctions f et f
.
b) Rappeler la relation existant entre c
n
(f) et c
n
(f
).
c) Montrer que
_
2
0
[f(t)[
2
dt
_
2
0
[f
(t)[
2
dt
d) On suppose que
_
2
0
[f(t)[
2
dt =
_
2
0
[f
(t)[
2
dt
Montrer que pour tout k Z 1, 0, 1, c
k
(f) = 0 ; en dduire, grce au
thorme de convergence uniforme des sries de Fourier, quil existe deux scalaires
A et B tels que f(x) = Ae
ix
+Be
ix
pour tout x R.
e) Rciproquement, montrer que si f(x) = Ae
ix
+Be
ix
alors
_
2
0
[f(t)[
2
dt =
_
2
0
[f
(t)[
2
dt
[Ingalit de Poincar]
Soit f : [0, 1] R de classe (
1
vriant f(0) = f(1) = 0. Etablir
_
1
0
f(t)
2
dt
1
2
_
1
0
(f
(t))
2
dt
Observer que la constante de majoration ne peut tre amliore.
Soit f : R R une fonction 2-priodique de classe (
1
et vriant
_
2
0
f(t) dt = 0
Montrer que
|f|
2

6
_
2
0
(f
(t))
2
dt
Soient f : R C 2-priodique et de classe (
2
et a, b R
+
tels que 4ab 1.
Etablir
a
_
2
0
[f[
2
+b
_
2
0
[f
[
2
_
2
0
[f
[
2
Sries de Fourier et quations direntielles
Dterminer les solutions 2 priodiques de lquation direntielle
y
+ e
it
y = 0
Soit CiZ et f continue sur R valeurs dans C et 2-priodique.
Soit y solution de lquation
y
+y = f
a) Montrer que y est de la forme
y(x) = e
x
_
y(0) +
_
x
0
f(t)e
t
dt
_
b) Montrer que y est 2-priodique si, et seulement si, y(0) = y(2) (on pourra
utiliser que z(x) = y(x + 2) est solution de lquation direntielle).
c) En dduire quil existe une unique fonction , 2-priodique solution de
lquation direntielle.
d) Montrer que admet un dveloppement en srie de Fourier et lexprimer en
fonction des coecients complexes de f.
Soit f : R C 2-priodique drivable telle quil existe R vriant
t R, f
(t) = f(t +) (*)

a) Montrer
n Z, (in e
in
)c
n
(f) = 0
b) Pour quel(s) R existe-t-il des fonctions 2-priodiques, autres que la
fonction nulle, vriant (*) ?
On considre la fonction f : R C 2-priodique donne par
f(x) =
ix
e
ix
1
sur ], 0[ ]0, [ , f(0) = 1 et f() = 0
Dvelopper f en srie de Fourier.
[http://mp.cpgedupuydelome.fr] dit le 6 aot 2013 Corrections 13
Corrections
Exercice 1 : [nonc]
Par la formule du binme
sin
2n
=
(1)
n
2
2n
2n
k=0
_
2n
k
_
(1)
k
e
2(nk)i
On en dduit
4I
n
=
_
2
0
sin
2n
d =
1
2
2n
_
2n
n
_
2
puis
I
n
=
(2n)!
(2
n
n!)
2
2
Exercice 2 : [nonc]
a) On introduit Q un polynme primitif de P
2
.
_

0
(P(e
i
))
2
e
i
d =
_
1
i
Q(e
i
)
_
0
= i [Q(t)]
1
1
= i
_
1
1
(P(t))
2
dt
b) Dune part
_
1
1
(P(t))
2
dt
_
1
0
(P(t))
2
dt =
N
n=0
N
m=0
a
n
a
m
n +m+ 1
et dautre part

i
_

0
(P(e
i
))
2
e
i
d
_

0
P(e
i
)
2
d
avec
_

0
P(e
i
)
2
d =
1
2
_

P(e
i
)
2
d
car P(e
i
) = P(e
i
) et
1
2
_

P(e
i
)
2
d =
N
k=0
[a
k
[
2
=
N
k=0
a
2
k
car les a
k
sont des rels composantes de la fonction P(e
i
) dans une base
orthonorme pour le produit scalaire en cours.
Exercice 3 : [nonc]
a) Pour ]0, [
q
n
(t) dt
(1 + cos t)
n
dt
_
(1 + cos t)
n
dt
(1 + cos t)
n
dt
_
(1 + cos t)
n
dt
(1 + cos t)
n
dt
2(1 + cos )
n
Or par convergence domine
_
(1 + cos t)
n
dt
(1 + cos )
n
=
_

_
1 + cos t
1 + cos
_
n
dt
n+
0
Ainsi
_

q
n
(t) dt 0
et par parit
_

q
n
(t) dt 0
On en dduit lim
n+
_
q
n
(t) dt = 1 car
_
q
n
(t) dt = 1.
b) On a
g
n
(x) f(x) =
_

q
n
(t)(f(x t) f(x)) dt
Puisque f est continue sur le segment [, ], elle y est uniformment continue.
Pour > 0, il existe > 0 vriant
[x y[ [f(x) f(y)[
On a alors

q
n
(t)(f(x t) f(x)) dt
q
n
(t) dt
Mais puisquon a aussi
q
n
(t)(f(x t) f(x)) dt
2 |f|
q
n
(t) dt
pour n assez grand,
q
n
(t)(f(x t) f(x)) dt

et nalement [g
n
(x) f(x)[ 3 indpendamment de x.
c) Par le changement de variable u = x t et par 2-priodicit,
g
n
(t) =
_

f(u)q
n
(x t) dt
et en dveloppant, cette expression se peroit comme un polynme
trigonomtrique.
On a dmontr le thorme de Weierstrass dans sa version trigonomtrique.
Exercice 4 : [nonc]
Soit P un polynme solution.
Le polynme P est non nul, on peut introduire son degr n et lcrire
P =
n
k=0
a
k
X
k
avec a
n
,= 0
Puisque

P(e
it
)
= 1 pour tout t R, on a P(e

it
)P(e
it
) = 1.
Mais
P(e
it
)P(e
it
) =
n
k=0
n
=0
a
k
a
e
i(k)t
et en dveloppant on obtient
a
n
a
0
e
int
+ (a
n
a
1
+a
n1
a
0
) e
i(n1)t
+ (a
n
a
2
+a
n1
a
1
+a
n2
a
2
) e
i(n2)t
+ +
(a
n
a
n
+ +a
0
a
0
) + = 1
On en dduit a
n
a
0
= 0, a
n
a
1
+a
n1
a
0
= 0,. . . ,
a
n
a
n1
+a
n1
a
n2
+ +a
1
a
0
= 0 et (a
n
a
n
+ +a
0
a
0
) = 1
Puisque a
n
,= 0, on obtient successivement a
0
= 0, a
1
= 0,. . . , a
n1
= 0 et
[a
n
[
2
= 1
Ainsi P(X) = aX
n
avec [a[ = 1.
Inversement, un tel polynme est solution.
Exercice 5 : [nonc]
On a
a
2n+1
(f) =
1
f(t) cos((2n + 1)t) dt

En coupant lintgrale en 0 et en procdant une translation
a
2n+1
(f) =
1
_

0
f(t) (cos((2n + 1)t) + cos((2n + 1)(t +))) dt
car la fonction f est -priodique.
Puisque
cos((2n + 1)t) + cos((2n + 1)(t +)) = 0
on peut conclure
a
2n+1
(f) = 0
On montre de mme
b
2n+1
(f) = 0
Exercice 6 : [nonc]
() immdiat par calcul.
() Si
n Z
, c
n
(f) = 0
alors la srie de Fourier de f est uniformment convergente et puisquelle converge
en norme quadratique vers f, la limite uniforme de la srie de Fourier de f ne
peut tre que f.
Ainsi la fonction f est constante.
Exercice 7 : [nonc]
Par Cauchy-Schwarz :
_
N
n=1
[c
n
(f)[
n
_2
n=1
[c
n
(f)[
2
N
n=1
1
n
2

1
2
_
2
0
[f(t)[
2
dt

2
6
ce qui permet de conclure.
Exercice 8 : [nonc]
a) On sait c
n
(f
) = inc
n
(f) et c
n
(f
) 0 donc c
n
(f) = o(1/n).
b) On a
S
n
(f) = c
0
e
0
+
n
k=1
c
k
e
k
+
n
k=1
c
k
e
k
avec e
k
: t e
ikt
vriant |e
k
|
= 1.
Puisque les sries

[c
n
[ et

[c
n
[ convergent, on tablit la convergence normale
des sries de fonctions

c
n
e
n
et

c
n
e
n
.
Ainsi la suite (S
n
(f)) des sommes partielles de Fourier converge uniformment sur
R. Notons S(f) sa limite.
Puisque | . |
2
| . |
, la convergence de (S
n
(f)) vers S(f) pour | . |
entrane
aussi cette convergence pour | . |
2
.
Or il est connu (S
n
(f)) converge vers f pour la norme | . |
2
et donc par unicit de
limite S(f) = f.
Puisque les fonctions e
n
sont de classe (
1
et vrient
|c
n
e
n
|
= [n[ [c
n
[
on peut par convergence normale armer que la fonction S(f) = f est de
classe (
1
.
Exercice 9 : [nonc]
a) On a sait c
n
(f
(p)
) = (in)
p
c
n
(f) et c
|n|
(f
(p)
) 0 car les coecients de Fourier
dune fonction continue par morceaux tendent vers 0.
On en dduit c
|n|
(f) = o (1/n
p
)
b) La srie de Fourier de f, ainsi que ses drives jusqu lordre p converge
uniformment sur R, donc la somme de la srie de Fourier de f est de classe (
p
et
de plus elle est gale f car elle converge aussi quadratiquement vers la fonction
continue f.
Exercice 10 : [nonc]
a) Soit x R. Quand y x, on a
[f(x) f(y)[ M [x y[
0
donc f(y) f(x).
b) On a
c
n
(f) =
1
2
_
2
0
f(t)e
int
dt
Par 2-priodicit,
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
c) Pour tout a R,
(1 e
ina
)c
n
(f) =
1
2
_
2
0
(f(t) f(t +a)) e
int
dt
Pour a tel que na = ,
2c
n
(f) =
1
2
_
2
0
(f(t) f(t +/n)) e
int
dt
En exploitant lingalit propose en hypothse
2 [c
n
(f)[ M

puis [c
n
(f)[

n
avec =
1
2
M
.
d) Puisque les sries

[c
n
(f)[ et

[c
n
(f)[ convergent, il y a convergence
normale et donc convergence uniforme des sries de fonctions

c
n
(f)e
int
et
c
n
(f)e
int
. On en dduit quil y a convergence uniforme de la srie de
Fourier de f vers une certaine fonction S(f). Or puisque la fonction f est
continue, il y aussi convergence quadratique de la srie de Fourier vers f. Mais la
convergence uniforme entranant la convergence quadratique, lunicit de la limite
donne S(f) = f.
Notons S la srie de Fourier de f et S
p
les sommes partielles.
Puisque la fonction f est continue, il y a convergence en moyenne quadratique de
(S
p
) vers f.
1
2
_
2
0
[S
p
(t) f(t)[
2
dt 0
Par hypothse, il y a convergence uniforme de (S
p
) vers sa limite que nous avons
note S et donc il y a aussi convergence en moyenne quadratique
1
2
_
2
0
[S
p
(t) S(t)[
2
dt 0
Par unicit de la limite pour la convergence en moyenne quadratique, on peut
armer f = S.
a) f impaire donc
n N, a
n
= 0
Pour n N
,
b
n
=
1
f(t) sin(nt)dt = 2
1 (1)
n
n
donc b
2p
= 0 et b
2p+1
=
4
(2p+1)
.
On a aussi c
0
= 0 et pour n Z, n ,= 0.
c
n
=
1
2
_

f(t)e
i.nt
dt =
(1 (1)
n
)
i.n
b) La fonction f tant (
1
par morceaux, la srie de Fourier converge simplement
vers la rgularise de f.
La convergence ne peut pas tre uniforme car la fonction limite nest pas continue.
c) La convergence simple de la srie de Fourier vers f(x) en x = /2 donne :
+
p=0
4 sin
(2p+1)
2
(2p + 1)
=
4
p=0
(1)
p
2p + 1
= 1
do
+
p=0
(1)
p
2p + 1
=

4
Lgalit de Parseval donne
1
2
+
p=0
16
(2p + 1)
2
2
=
1
2
_

f(t)
2
dt = 1
donc
+
p=0
1
(2p + 1)
2
=

2
8
d)
+
n=1
1
n
2
existe et
+
n=1
1
n
2
=
+
p=0
1
(2p + 1)
2
+
1
4
+
p=1
1
p
2
do
+
n=1
1
n
2
=
4
3
+
p=0
1
(2p + 1)
2
=
2
6
Aussi
+
n=1
(1)
n1
n
2
=
+
p=1
1
(2p + 1)
2

1
4
+
p=1
1
p
2
=

2
8

2
24
=

2
12
a) Puisque f est paire :
n N
, b
n
= 0
Pour n N,
a
n
=
1
f(t) cos(nt)dt =
2
_

0
t cos(nt)dt
Pour n = 0 : a
0
= .
Pour n > 0 :
a
n
=
2
_
t
n
sin(nt)
_
2
n
_

0
sin(nt)dt =
2((1)
n
1)
n
2
Aussi
c
0
=
1
2
_

t dt =

2
et pour n Z
:
c
n
=
1
2
_

f(t)e
i.nt
dt =
1
_

0
t cos(nt)dt =
(1)
n
1
n
2
Par suite
S(f)(t) =
1
2
a
0
+
+
n=1
a
n
cos(nt) =

2

4
k=0
cos(2k + 1)t
(2k + 1)
2
b) f est continue et (
1
par morceaux, la convergence est donc normale a fortiori
simple et uniforme.
c) S(f)(t) = f(t). Pour t = 0, on obtient
+
k=0
1
(2k + 1)
2
=

2
8
Par la formule de Parseval :
1
2
_

(f(t))
2
dt =
1
4
a
2
0
+
1
2
+
k=0
a
2
2k+1
=

2
4
+
8
2
+
k=0
1
(2k + 1)
4
Or
1
2
_

(f(t))
2
dt =
1
_
1
3
t
3
_
0
=

2
3
donc
+
k=0
1
(2k + 1)
4
=

4
96
d)
+
n=1
1
n
2
existe et
+
n=1
1
n
2
=
+
k=0
1
(2k + 1)
2
+
1
4
+
k=1
1
k
2
do
+
n=1
1
n
2
=

2
6
De mme on obtient
+
n=1
1
n
4
=

4
90
a) Sur [0, /2], on a
f(x) = 4x
2
2
et donc f est de classe (
1
sur [0, /2] avec
f
d
(0) = 0 et f
g
(/2) = 4
Sur ]/2, ], on a
f(x) = 8x 3
2
4x
2
et cette relation est aussi valable pour x = /2. On en dduit que f est de classe
(
1
sur [/2, ] avec
f
d
(/2) = 4 et f
g
() = 0
Par parit et priodicit, on peut armer que f est de classe (
1
sur R (et un
dessin serait srement trs convainquant. . . ) et f
est une fonction impaire,

2-priodique avec
f
(t) =
_
8x si x [0, /2]
8 8x sinon
a) Puisque la fonction f est paire, les coecients b
n
sont nuls et
a
n
=
2
_

0
f(t) cos(nt) dt
ce qui donne
a
2n
= 0 et a
2n+1
=
32.(1)
n+1
(2n + 1)
3
aprs quelques calculs pnibles, ou plus simplement aprs exploitation de la
relation
b
n
(f
) = na
n
(f)
voire de la relation
a
n
(f
) = nb
n
(f
) = n
2
a
n
(f)
et en considrant la pseudo drive dordre 2 de f.
c) Puisque la fonction f est de classe (
1
, elle est gale sa somme de Fourier et
donc
x R, f(x) =
32
n=0
(1)
n+1
(2n + 1)
3
cos((2n + 1)t)
En valuant pour x = 0, on obtient
+
n=0
(1)
n
(2n + 1)
3
=

3
32
a) La fonction f est paire. On obtient pour n N
a
2n
(f) =
(1)
n+1
4
(4n
2
1)
et a
2n+1
(f) = 0
et b
n
(f) = 0 pour n N
.
b) La fonction f est de classe (
1
par morceaux, il y a donc convergence uniforme
de la srie de Fourier vers f. En x = 0, on obtient :
f(0) =
2
+
+
n=1
(1)
n+1
4
(4n
2
1)
donc
+
n=1
(1)
n+1
4n
2
1
=
2
4
a) f est (
1
par morceaux et rgularise donc la srie de Fourier de f converge
simplement vers f en vertu du thorme de Dirichlet.
La convergence ne peut tre uniforme car si telle est le cas f serait continue en 0
en tant que limite uniforme dune suite de fonctions continues.
b) La fonction f est paire. On obtient a
n
= 0 et par intgration par parties
b
n
= 1/n.
La srie de Fourier de f permet dcrire
f(t) =
+
n=1
sin(nt)
n
b) Pour t = 1, on obtient
+
n=1
sin n
n
=
1
2
c) Par la formule de Parseval
1
2
+
n=1
1
n
2
=
1
2
_

[f(t)[
2
dt
donc
+
n=1
1
n
2
=
2
_

0
( t)
2
4
dt =
1
6
_
( t)
3
0
=

2
6
a) On obtient pour n Z
c
n
(f) =
sh
(1)
n
1 in
b) La fonction f est (
1
par morceaux donc la srie de Fourier converge
simplement vers la fonction f
rgularise de f.
Ainsi
x R, f
(x) =
sh
n=
(1)
n
1 in
e
inx
Pour x = 0, on obtient
sh
=
+
n=
(1)
n
1 in
Or
+
n=
(1)
n
1 in
= 1 +
+
n=0
(1)
n
_
1
1 in
+
1
1 +in
_
= 1 +
+
n=0
(1)
n
2
n
2
+ 1
Par suite
+
n=0
(1)
n
n
2
+ 1
=
1
2
_
1 +

sh
_
De mme avec x = , on obtient
+
n=0
1
n
2
+ 1
=
1
2
(1 + coth )
a) La fonction f est paire. On obtient b
n
= 0 pour n 1 et
a
n
= (1)
n1
2sin()
(n
2
2
)
pour n N. La srie de Fourier de f converge normalement vers f car celle-ci est
continue et (
1
par morceaux. Par suite
f(x) =
sin()
+
+
n=1
(1)
n1
2sin()
(n
2
2
)
cos(nx)
b) Pour x = 0, on obtient
+
n=1
(1)
n1
n
2
2
=
1
2
2
_

sin()
1
_
et pour x = ,
+
n=1
1
n
2
2
=
1 cot
2
2
c) Il y a convergence normale de
+
n=1
1
n
2
2
pour [0, 1/2] donc quand
+
n=1
1
n
2
= lim
0
+
n=1
1
n
2
2
Quand x 0,
cot x =
1
x

1
3
x +o(x)
donc quand 0,
1 cot
2
2

2
6
do
+
n=1
1
n
2
=

2
6
a) Par priodicit
f() = f() = cos() = cos()
Ainsi
t [, ] , f(t) = cos(t)
On peut donc armer que f est continue et de classe (
1
par morceaux. On en
dduit que la srie de Fourier de f converge uniformment vers f sur R.
b) La fonction f est paire. Aprs calculs
a
n
= (1)
n1
2sin()
(n
2
2
)
et b
n
= 0
et donc la srie de Fourier de f est
sin()
+
+
n=1
(1)
n1
2sin()
(n
2
2
)
cos(nt)
a) La fonction f est continue et de classe (
1
par morceaux sur R car elle lest sur
[, ]. On en dduit que la srie de Fourier de f converge uniformment vers f.
b) Aprs calculs, pour n N,
a
n
= (1)
n1
2sin
(n
2
2
)
et b
n
= 0
c) Pour tout t = , la convergence de la srie de Fourier de f donne
cos() =
sin
+
+
n=1
2sin()
(
2
n
2
)
et en posant x = on obtient
cos x =
sin x
x
+
+
n=1
2xsin x
x
2
(n)
2
ce qui fournit la relation demande.
a) La fonction f est paire. On obtient b
n
= 0 pour n 1 et
a
n
= (1)
n
2sh
(
2
+n
2
)
pour n N. La srie de Fourier de f converge normalement vers f car celle-ci est
continue et (
1
f(x) =
sh
+
+
n=1
(1)
n
2sh
(
2
+n
2
)
cos nx
+
n=1
(1)
n
n
2
+
2
=
1
2
2
_

sh()
1
_
et pour x = ,
+
n=1
1
n
2
+
2
=
coth() 1
2
2
a) S(t) est dnie sur RZ.
b) a
n
= (1)
n1 2sin
(n
2
2
)
et b
n
= 0.
c) Puisque f est continue et (
1
par morceaux, le thorme de convergence
normale assure que la srie de Fourier de f converge vers f sur R.
d) Pour x = , on obtient :
cos =
sin
n=1
2sin
(n
2
2
)
donc
+
n=1
1
n
2
2
=
1
2
2

cot
2
puis
S(t) =
1
2
2

cot
2
Soit f la fonction 2 priodique paire dnie sur [0, ] par f(t) = sin t. f est
continue et (
1
par morceaux. Sa srie de Fourier converge donc normalement vers
f et cela permet dcrire
t [0, ] , sin t =
1
2
a
0
(f) +
+
n=1
a
n
(f) cos(nt)
do le rsultat.
a
n
(f) =
2
_

0
sin t cos(nt) dt =
1
_

0
sin(n + 1)t sin(n 1)t dt
Si n = 1,
a
1
(f) = 0
Si n ,= 1,
a
n
(f) =
1
cos(n + 1)t
n + 1
_
cos(n 1)t
n 1
_
0
=
2(1 + (1)
n
)
(n
2
1)
Le problme est quici f nest pas de classe (
1
par morceaux puisquelle nadmet
de drive droite et gauche en 0.
Pour n > 0, on a b
n
= 0 et
a
n
=
2
_

0
xcos(nx) dx =
2
n
_
xsin(nx)
0

1
n
_

0
sin(nx)
x
dx
donc
a
n
=
1
n
_

0
sin(nx)
x
dx =
1
n
3/2
_
n
0
sin(u)
u
du
Or lintgrale
_
+
0
sin u
u
du
est convergente comme on peut le vrier laide dune intgration par parties sur
[1, +[
Par consquent, a
n
= O
_
1/n
3/2
_
donc la srie de Fourier de f est normalement
convergente.
Etant continue, la srie de Fourier converge en moyenne quadratique vers f et
donc sa somme est gale f.
a) La fonction 2-priodique tudie est continue et de classe (
1
par morceaux
dont dveloppable en srie de Fourier.
a
n
=
2(1)
n
sin()
(
2
n
2
)
et b
n
= 0
La valeur en 0 de ce dveloppement permet dtablir :
1 + 2
2
+
n=1
(1)
n
2
n
2
=

sin()
b) Par convergence normale, la fonction
+
n=1
(1)
n
n
2
2
est continue sur [0, 1/2].
En passant la limite quand 0, on obtient
+
n=1
(1)
n
n
2
= lim
0
_
1
2
2
_

sin()
1
__
=
2
12
c)
_
+
0
t
1
1 +t
dt =
_
1
0
t
1
1 +t
dt +
_
+
1
t
1
1 +t
dt
_
1
0
t
1
1 +t
dt =
_
1
0
+
n=0
(1)
n
t
1+n
dt =
N
n=0
_
1
0
(1)
n
t
1+n
dt+
_
1
0
+
n=N+1
(1)
n
t
1+n
dt
Par le critre spcial des sries alternes,
_
1
0
+
n=N+1
(1)
n
t
1+n
dt
_
1
0
t
+N
dt =
1
N + + 1
0
donc
_
1
0
t
1
1 +t
dt =
+
n=0
_
1
0
(1)
n
t
1+n
=
+
n=0
(1)
n
n +
Par u = 1/t,
_
+
1
t
1
1 +t
dt =
_
1
0
u
u + 1
du =
+
n=1
(1)
n1
n
par la mme dmarche quau dessus.
Par suite
_
+
0
t
1
1 +t
dt =
1
+ 2
+
n=1
(1)
n
2
n
2
=

sin()
a) b
n
= 0 pour n 1 et a
n
= (1)
n1 2sin
(n
2
2
)
pour n N.
b) La srie de Fourier de f converge normalement vers f car celle-ci est continue
et (
1
f(x) =
sin
+
+
n=1
(1)
n1
2sin
(n
2
2
)
cos(nx)
Pour x = 0, on obtient
1 =
sin
+ 2
2
sin
n=1
(1)
n1
n
2
2
puis la relation voulue.
c) La fonction f : t
t
1
1+t
est dnie et continue par morceaux sur ]0, +[. On
vrie f(t)
t0
t
1
et f(t)
t+
1
t
2
ce qui assure lintgrabilit de f.
_
1
0
t
1
1 +t
dt =
_
1
0
+
n=0
(1)
n
t
n+1
dt =
_
1
0
N
n=0
(1)
n
t
n+1
dt +
_
1
0
+
n=N+1
(1)
n
t
n+1
dt
_
1
0
N
n=0
(1)
n
t
n+1
dt =
N
n=0
(1)
n
n +

N+
+
n=0
(1)
n
n +
la convergence de la srie tant acquise par le critre spcial des sries alternes.
_
1
0
+
n=N+1
(1)
n
t
n+1
dt
_
[0,1[
t
N+
dt =
1
N + 1 +
la majoration du reste tant obtenue par le critre spcial des sries alternes.
On peut alors armer
_
1
0
t
1
1 +t
dt =
+
n=0
(1)
n
n +
Puisque
_
+
1
t
1
1 +t
dt =
u=1/t
_
1
0
u
u + 1
du
on a aussi
_
+
1
t
1
1 +t
dt =
+
n=0
(1)
n
n + (1 )
On en tire
_
+
0
t
1
1 +t
dt =
1
+
+
n=0
(1)
n
n +
+
+
n=1
(1)
n1
n
puis
_
+
0
t
1
1 +t
dt =
1
+ 2
+
n=1
(1)
n1
n
2
2
=

sin()
a) Les sries

n1
1
a
2
+(x2n)
2
et

n1
1
a
2
+(x+2n)
2
sont absolument convergentes
donc f est dnie sur R.
f(x) =
1
a
2
+x
2
+
+
n=1
_
1
a
2
+ (x 2n)
2
+
1
a
2
+ (x + 2n)
2
_
est paire.
b) Par translation dindice, on observe que f est 2-priodique.
Posons
f
n
(x) =
1
a
2
+ (x 2n)
2
+
1
a
2
+ (x + 2n)
2
f
n
est de classe (
1
,

f
n
converge simplement et

f
n
converge normalement sur
[, ] donc f est continue et (
1
par morceaux donc dveloppable en srie de
Fourier.
c)
_
+
cos t
b
2
+t
2
dt =
e
b
b
d) f est paire donc b
n
= 0 pour tout n N
.
Pour n N,
a
n
=
1
_
2
f(t) cos(nt) =
1
cos(nt)
a
2
+t
2
dt+
1
n=1
cos(nt)
a
2
+ (t 2n)
2
+
cos(nt)
a
2
+ (t + 2n)
2
dt
Par convergence de la srie des intgrales des valeurs absolues,
a
n
=
1
n=
_

cos(nt)
a
2
+ (t 2n)
2
dt
En translatant les intgrales,
a
n
=
1
_
+
cos(nt)
a
2
+t
2
dt =
n
_
+
cos u
b
2
+u
2
du
avec b = an pour n ,= 0 et a
0
=
1
a
.
e)
f(t) =
1
2a
+
1
a
+
n=1
e
an
cos(nt) =
1
a
_
1 + Re
1
1 e
a+it
_
=
1
a
e
a
(cos t 1)
1 2e
a
cos t + e
a
(sauf erreur. . . )
a) La fonction f est de classe (
1
par morceaux et rgularise donc dveloppable
en srie de Fourier.
a
n
= 0 et par intgration par parties b
n
= 1/n.
Le dveloppement en srie de Fourier de f scrit
f(x) =
+
n=1
sin(nx)
n
= S(x)
+
n=1
sin n
n
=
1
2
La fonction g est de classe (
1
par morceaux et continue donc dveloppable en
srie de Fourier.
a
n
= 0 et
b
n
=
2
_
1
0
1
2
t sin(nt) dt +
2
_

1
t
2
sin(nt) dt
Aprs calculs
b
n
=
sin n
n
2
On a alors
g(1) =
+
n=1
sin
2
n
n
2
= S(1) =
+
n=1
sin n
n
1
2
+
n=1
sin
2
n
n
4
=
1
_

0
[g(t)[
2
dt =
( 1)
2
6
La fonction f est paire, continue et de classe (
1
par morceaux. Sa srie de Fourier
converge donc uniformment vers elle-mme. Aprs calculs, on obtient
f(t) =
2
p=0
4
((2p)
2
1)
cos(2pt)
a) Par 2-priodicit
_
2
0
f(t +h)e
int
dt =
_
2+h
h
f(u)e
inu
e
inh
du =
_
2
0
f(u)e
inu
e
inh
du
donc
c
n
(f
h
) = (e
inh
1)c
n
(f)
b) On a
c
n
(f
h
) = 2ie
inh/2
sin
nh
2
c
n
(f)
donc
[c
n
(f
h
)[
2
= 4 sin
2
nh
2
[c
n
(f)[
2
puis par la formule de Parseval et la lipschitzianit de f
nZ
sin
2
_
nh
2
_
[c
n
(f)[
2
=
1
4

1
2
_
2
0
[f
h
(t)[
2
dt
(kh)
2
4
c) Par la concavit de la fonction sinus sur [0, /2], le graphe est au dessus de la
corde donc
x [0, /2] , sin x
2
x
Ainsi pour [nh[ on a
n
2
h
2
2
[c
n
(f)[
2
sin
2
_
nh
2
_
[c
n
(f)[
2
et donc
|nh|
n
2
h
2
2
[c
n
(f)[
2
nZ
sin
2
_
nh
2
_
[c
n
(f)[
2
(kh)
2
4
Ainsi
|nh|
n
2
[c
n
(f)[
2
(k)
2
4
Ceci valant pour tout h > 0, on peut en considrant h 0
+
assurer que les
sommes partielles de la srie

n
2
[c
n
(f)[
2
sont borne et que donc cette srie
converge.
d) Pour tout t R,
sup
tR
c
n
(f)e
int
= [c
n
(f)[
1
2
_
1
n
2
+n
2
[c
n
(f)[
2
_
en vertu de lingalit 2ab a
2
+b
2
. Par comparaison de sries termes positifs,
on peut armer la convergence normale de la srie des fonctions t c
n
(f)e
int
.
Cette convergence normale entrane une convergence en moyenne quadratique qui
ne peut avoir lieu que vers f (qui est continue car lipschitzienne). On peut donc
conclure que la srie de Fourier de f converge normalement vers f sur R.
Par lingalit de Cauchy-Schwarz
+
n=1
[a
n
(f)a
n
(g)[
+
n=1
[a
n
(f)[
2
+
n=1
[a
n
(g)[
2
< +
La srie servant dnir h savre donc normalement convergente do lexistence,
la continuit de h et la reconnaissance immdiate de ses coecients de Fourier.
De plus
1
2
[h(x)[
[a
0
(f)a
0
(g)[
4
+
1
2
+
n=1
[a
n
(f)a
n
(g)[
_
[a
0
(f)[
2
4
+
1
2
+
n=1
[a
n
(f)[
2
_
[a
0
(g)[
2
4
+
1
2
+
n=1
[a
n
(g)[
2
Par lgalit de Parseval :
1
2
[h(x)[
1
2
_
2
0
[f(t)[
2
dt
1
2
_
2
0
[g(t)[
2
dt |f|
|g|
et on conclut.
Dune part
_
1
0
+
n=0
t
n
e
i(n+1)
dt =
_
1
0
e
i
1 te
i
dt =
_
1
0
1
e
i
t
dt
ce qui justie lexistence de lintgrale. On peut alors calculer sa partie relle
Re
__
1
0
dt
e
i
t
_
= Re
_
_
1
0
e
i
t
[e
i
t[
2
dt
_
=
_
1
0
cos t
(cos t)
2
+ sin
2
dt = ln (2 sin(/2))
Dautre part
_
1
0
+
n=0
t
n
e
i(n+1)
dt =
_
1
0
N
n=0
t
n
e
i(n+1)
dt +
_
1
0
+
n=N+1
t
n
e
i(n+1)
dt
donc
_
1
0
+
n=0
t
n
e
i(n+1)
dt =
N
n=0
e
i(n+1)
n + 1
+
N
avec
[
N
[ =
_
1
0
+
n=N+1
t
n
e
i(n+1)
dt
_
1
0
t
N+1
e
i(N+2)
1 te
i
dt
_
1
0
t
N+1
m
dt =
1
m
(N + 2)
0
o
m
= min
_
1 te
i
/t [0, 1]
_
> 0
Ainsi
_
1
0
+
n=0
t
n
e
i(n+1)
dt =
+
n=0
e
i(n+1)
n + 1
puis
Re
_
_
1
0
+
n=0
t
n
e
i(n+1)
dt
_
=
+
n=1
cos n
n
Finalement
+
n=1
cos n
n
= ln
_
2 sin

2
_
a) La fonction f est paire donc b
n
= 0 et a
n
=
2
0
f(t) cos(nt) dt.
On obtient a
0
=
2
et a
n
=
2 sin(n)
n
pour n N
.
La srie de Fourier est alors
+
2
n1
sin(n) cos(nt)
n
En vertu du thorme de Dirichlet, celle-ci converge en tout point vers la
rgularise de f car la fonction f est de classe (
1
par morceaux.
Puisque la rgularise de f nest pas continue, cette convergence ne peut pas tre
uniforme.
b) La rgularise de f prend respectivement les valeurs 1 et 1/2 en 0 et .
1
2
_
2
f(t)
2
dt =
a
2
0
4
+
1
2
+
n=1
a
2
n
On en dduit aprs calculs
+
n=1
sin
2
(n)
n
2
=
( )
2
d) La fonction : t
sin
2
t
t
2
est intgrable sur ]0, +[ car continue, prolongeable
par continuit en 0 et domine par t
1
t
2
en +.
En dcoupant lintgrale
_
+
0
sin
2
t
t
2
dt =
+
n=0
_
(n+1)
n
sin
2
t
t
2
dt =
+
n=0
_

0
sin
2
(n +t)
(n +t)
2
dt
et donc
_
+
0
sin
2
t
t
2
dt =
+
n=0
sin
2
(n)
n
2
+
+
n=0
_

0
_
sin
2
(n +t)
(n +t)
2

sin
2
(n)
(n)
2
_
dt
On a
(t) =
2 sin t
t
3
(t cos t sin t)
Puisque
est continue et puisque

t
3/2
(t)
t0
+
0 et t
3/2
(t)
t+
0
il existe M R
+
vriant
t ]0, +[ , [
(t)[
M
t
3/2
et en particulier
t [n, (n + 1)] , [
(t)[
M
(n)
3/2
Par lingalit des accroissements nis, on a alors
_

0
_
sin
2
(n +t)
(n +t)
2

sin
2
(n)
(n)
2
_
dt
_

0
t
M
(n)
3/2
dt =
n
3/2
M
puis
n=0
_

0
_
sin
2
(n +t)
(n +t)
2

sin
2
(n)
(n)
2
_
dt
n=1
1
n
3/2
= C
Ainsi
_
+
0
sin
2
t
t
2
dt =

2
+O(
)
et quand 0
+
, on obtient
_
+
0
sin
2
t
t
2
dt =

2
a) En reprsentant la fonction g, on peut voit qu la valeur en 0 [2] prs, cette
fonction est impaire.
Par suite
a
n
(g) = 0 et b
n
(g) =
2
_

0
( t) sin(nt) dt =
2
n
b) Puisque f est continue et (
1
par morceaux f est dveloppable en srie de
Fourier et donc
t [0, 2] , f(t) =
a
0
(f)
2
+
+
n=1
(a
n
(f) cos(nt) +b
n
(f) sin(nt))
De plus, il y a convergence normale de cette srie de Fourier. On a alors
t [0, 2] , ( t)f(t) =
a
0
(f)
2
( t) +
+
n=1
( t) (a
n
(f) cos(nt) +b
n
(f) sin(nt))
avec convergence normale de la srie de fonctions sous-jacente. On peut donc
intgrer terme terme sur le segment [0, 2] cette srie de fonctions continues et
ainsi obtenir
1
2
_
2
0
( t)f(t) dt =
a
0
(f)
4
(t) dt+
+
n=1
_
a
n
(f)
2
_
2
0
( t) cos(nt) dt +
b
n
(f)
2
_
2
0
( t) sin(nt) dt
_
En reconnaissant les coecients de Fourier de g dj calculs
1
2
_
2
0
( t)f(t) dt =
+
n=1
b
n
(f)
n
c) Par polarisation
_
2
0
f(t)g(t) dt =
1
4
__
2
0
(f(t) +g(t))
2
dt
_
2
0
(f(t) g(t))
2
dt
_
Par la formule de Parseval
1
2
_
2
0
(f(t) g(t))
2
dt =
a
0
(f g)
2
4
+
1
2
+
n=1
_
a
n
(f g)
2
+b
n
(f g)
2
_
avec a
n
(f g) = a
n
(f) a
n
(g) et b
n
(f g) = b
n
(f) b
n
(g).
On en dduit
1
2
_
2
0
f(t)g(t) dt =
a
0
(f)a
0
(g)
4
+
1
2
+
n=1
(a
n
(f)a
n
(g) +b
n
(f)b
n
(g))
puis la relation voulue.
Soit g la fonction impaire 2-priodique obtenue partir de f.
g est continue et (
1
par morceaux donc dveloppable en srie de Fourier.
Ceci permet dcrire g(x) =
+
n=1
b
n
sin(nx) pour x R.
En posant a
n
= nb
n
, on a la relation f(x) =
+
n=1
an
n
sin(nx) pour x [0, ]
Les coecients de Fourier de g
se dduisant de ceux de g par intgration par

parties et sachant
_
2
0
g
2
= 2, la formule de Parseval applique g
donne
+
n=1
a
2
n
=
2
.
a) Par contrapose, supposons la convergence de

a
n
. La suite (a
n
) tend alors
vers 0 et est donc borne par un certain m R
+
. On a alors
[f(z)[ m
+
n=0
[z[
n
n!
= me
|z|
donc
M(r) me
r
puis
ln M(r)
r

ln m+r
r
1
donc 1.
b) Pour tout r R
+
, on a
f(re
it
) =
+
n=0
a
n
n!
r
n
e
int
Par convergence normale de la srie de fonctions sous-jacente
1
2
_
2
0
f(re
it
)e
int
dt =
+
k=0
a
k
k!
r
k
k,n
=
a
n
n!
r
n
puis
a
n
n!
r
n

1
2
_
2
0
f(re
it
)
dt M(r)
et enn lingalit demande.
c) Supposons < 1 et introduisons q ], 1[. Pour r assez grand, on a
ln M(r)
r
q
et donc
M(r) e
qr
En prenant r = n, on a pour n assez grand
[a
n
[
e
nq
n
n
n!
2n
e
nq
e
n
=

2n.
n
avec = e
q
/e vriant [[ < 1.
Puisque la srie de terme gnral

2n
n
converge, un argument de comparaison
de srie termes positifs assure labsolue convergence et donc la convergence de
a
n
.
Posons k
n
la partie entire de n/2. On peut crire
F
n
(x) =
1
n
_
2kn
0
f(x +t)f(t) dt +
n
(x)
avec
[
n
(x)[
1
n
_
n
2kn
|f|
2

2
n
|f|
2
En introduisant le produit scalaire hermitien usuelle sur lespace des fonctions

complexes continues 2 priodiques
1
2
_
2kn
0
f(x +t)f(t) = k
n
f
x
[ f)
avec f
x
: t f(x +t).
En notant (c
n
)
nZ
la suite des coecients de Fourier exponentiels de f, celle de
f
x
est
_
c
n
e
inx
_
nZ
et donc
f
x
[ f) =
+
n=
[c
n
[
2
e
inx
Posons
F(x) =
+
n=
[c
n
[
2
e
inx
=
1
2
_
2
0
f(x +t)f(t) dt
ce qui dnit une fonction continue 2-priodique.
On a
F
n
(x) =
2k
n
n
F(x) +(x)
et donc
[F
n
(x) F(x)[
n 2k
n
n
[F(x)[ +[(x)[
puis
[F
n
(x) F(x)[
2
n
|F|
+
2
n
|f|
2
Puisque ce majorant ne dpend pas de x,

|F
n
F|

2
n
|F|
+
2
n
|f|
2
0
et donc la suite (F
n
)
n1
converge uniformment vers F sur R.
b) On a
[F
n
(x)[
+
n=
[c
n
[
2
e
inx
=
+
n=
[c
n
[
2
= F(0)
donc
|F|
F(0)
La fonction x [sin x[ est 2-priodique, continue et de classe (
1
par morceaux,
elle est donc gale sa somme de Fourier (qui converge normalement).
Puisque cette fonction est paire b
n
= 0 et
a
n
=
2
_

0
sin xcos(nx) dx =
1
_

0
sin(n + 1)x sin(n 1)xdx
donc
a
n
=
2(1 + (1)
n
)
(n
2
1)
ce qui donne
a
0
=
4
, a
2p
=
4
(2p
2
1)
et a
2p+1
= 0
On en dduit
x R, [sin(x)[ =
2
n=1
cos(2nx)
4n
2
1
Or
cos(2nx) = 1 2 sin
2
x
et par convergence des sries introduites on obtient
x R, [sin(x)[ =
2
n=1
1
4n
2
1
+
8
n=1
sin
2
(nx)
4n
2
1
Enn, en valuant cette relation en x = 0, on obtient
2
n=1
1
4n
2
1
= 0
et on peut conclure.
a) Modions la valeur de f en 2k (k Z) en posant f(2k) = 0. La fonction
obtenue est 2-priodique et impaire. On a donc a
n
(f) = 0 et par intgration par
parties
b
n
(f) =
2
_

0
x
2
sin(nx) dx =
1
n
La fonction g est paire donc b
n
(g) = 0 et par translation de la variable
a
n
(g) =
1
_
2
0
f(x) cos(n(x 1)) dx
1
_
2
0
f(x) cos(n(x + 1)) dx
puis en dveloppant les expressions trigonomtriques
a
n
(g) = 2
sin(n)
_
2
0
f(x) sin(nx) dx = 2 sin(n)b
n
(f) =
2 sin(n)
n
b) Par la formule de Parseval
1
2
_
2
0
g(x)
2
dx =
a
0
(g)
2
4
+
1
2
+
n=1
a
n
(g)
2
Pour x [0, 1[, g(x) = 1 et pour x ]1, ], g(x) = 1 donc
1
2
_
2
0
g(x)
2
dx =
1
_

0
g(x)
2
dx =
1
2
_
( 1)
2
+ ( 1)
_
= 1
do
+
n=1
_
sin n
n
_
2
=
1
2
On sait
p N, n Z, c
n
(f
(p)
) = (in)
p
c
n
(f)
Or
c
n
(f
(p)
)

1
2
_
2
0
f
(p)
(t)
dt
M
2
donc pour tout p N
[c
n
(f)[
M
2n
p
Pour [n[ 2, on a n
p
p+
+ et on en dduit c
n
(f) = 0.
Puisque f est au moins de classe (
1
, f est gale sa somme de Fourier et donc de
la forme
f(t) = c
1
e
it
+c
0
+c
1
e
it
La rciproque est immdiate.
a) Posons u(x, t) = f(x)e
ixt
de sorte que
f(x) =
_
+
u(x, t) dt
La fonction u est dnie et continue sur R R et
(x, t) R
2
, [u(x, t)[ = [f(x)[ = (x)
avec : R R
+
continue par morceaux et intgrable puisque nulle en dehors de
[A, A].
Par domination, on peut armer que la fonction

f est continue.
Par deux intgration par parties
t
2
_
A
A
f(x)e
ixt
dx =
_
A
A
f
(x)e
ixt
dx
et donc
t
2

f(t)

_
A
A
[f
(x)[ dx = M
b) Considrons la fonction

f, T priodique et gale f sur [T/2, T/2].
La fonction

f est de classe (
2
et donc sa srie de Fourier converge vers elle-mme.
On peut alors crire
x R,

f(x) =
+
k=
c
k
(

f)e
2ik
x
T
avec
c
k
(

f) =
1
T
_
T/2
T/2
f(x)e
2ikx
T
dx =
1
T
_
+
f(x)e
2ikx
T
dx =
1
T
f
_
2k
T
_
c) On peut dcouper lintgrale convergente
_
+
f(t)e
ixt
dt =
+
k=
_
2(k+1)/T
2k/T
f(t)e
ixt
dt
et donc par la relation qui prcde
_
+
f(t)e
ixt
dt 2f(x) =
+
k=
_
2(k+1)/T
2k/T
_
f(t)

f(2k/T)
_
e
ixt
dt
Dcoupons la somme
+
k=
. . . =
N
k=N
. . . +

|k|>N
. . .
Puisque
f(t)
M/t
2
, on obtient
|k|>N
_
2(k+1)/T
2k/T
_
f(t)

f(2k/T)
_
e
ixt
dt
2
+
k=N
2
T
2M
(2k/T)
2
=
2MT
k=N
1
k
2

2MT
(N 1)

4MT
N
Comme

f est continue sur R et tend vers 0 en , cette fonction est
uniformment continue.
Soit > 0, il existe > 0 tel que
t, s R, [t s[
f(t)

f(s)

et alors si 2/T , on a
k=N
_
2(k+1)/T
2k/T
_
f(t)

f(2k/T)
_
e
ixt
dt
(2N + 1)
2
T
puis
_
+
f(t)e
ixt
dt 2f(x)
(2N + 1)
2
T
+
4MT
N
Considrons alors T =

N et pour N assez grand, 2/T et lon obtient
_
+
f(t)e
ixt
dt 2f(x)
(2N + 1)
N
2 +
4M
Ceci valant pour tout > 0, on peut conclure. . .

a) Soit x R. Notons f
x
la fonction dnie par f
x
(t) = f(x t).
Par changement de variable u = x t et la 2-priodicit on obtient
c
n
(f
x
) =
1
2
_
2
0
f(x t)e
int
dt =
1
2
_
2
0
f(t)e
in(xt)
dt = e
inx
c
n
(f)
Par calcul du produit scalaire dans (
2
via les coecients de Fourier
1
2
_
2
0
f
x
(t)g(t) dt =
+
n=
c
n
(f
x
)c
n
(g) =
+
n=
c
n
(f)c
n
(g)e
inx
b) Soient y
1
une solution 2-priodique de lquation (E), sil en existe.
Les autres solutions de (E) sont de la forme
y(x) = y
1
(x) +e
x
+e
x
avec , C
Si une telle fonction est 2-priodique, elle est ncessairement borne et donc
= = 0, do lunicit.
c) Puisque (e
p
)
= p
2
e
p
, la fonction donne par
y(x) =
1
p
2
+ 1
e
ipx
est solution de lquation y y
= e
p
.
d) Si g est solution alors pour h = e
p
, on obtient
1
p
2
+ 1
e
ipx
=
1
2
_
2
0
g(x t)e
ipt
dt =
1
2
_
2
0
g(t)e
ip(xt)
dt
On obtient donc
c
p
(g) =
1
2
_
2
0
g(t)e
ipt
dt =
1
p
2
+ 1
Suite cette analyse, considrons la fonction g : R C dnie par
g(t) =
+
n=
1
p
2
+ 1
e
ipt
On vrie aisment par convergence normale que g est continue, 2-priodique et
p Z, c
p
(g) =
1
p
2
+ 1
e
ipt
Considrons ensuite la fonction f dnie par
f(x) =
1
2
_
2
0
g(x t)h(t) dt
Par les calculs initiaux
f(x) =
+
n=
c
n
(g)c
n
(h)e
inx
=
+
n=
c
n
(h)
n
2
+ 1
e
inx
Comme la fonction h est de classe (
1
, elle est gale sa somme de Fourier et, plus
prcisment, les termes c
n
(h) sont sommables. On peut alors dmontrer par
convergence normale que la fonction f est de classe (
2
avec
f
(x) =
+
n=
n
2
c
n
(h)
n
2
+ 1
e
inx
de sorte que
f(x) f
(x) =
+
n=
c
n
(h)e
inx
= h(x)
a) On observe que [e
t
f(x +t)[ |f|
e
t
. Cette domination permet darmer
que G(f) est dnie et continue sur R. La 2-priodicit de G(f) est vidente et
la linarit de lapplication f G(f) lest aussi. Ainsi G est un endomorphisme
de E. De plus,
1
2
_
2
0
[G(f)[
1
2
_
2
0
__
+
0
e
t
[f(x +t)[ dt
_
dx
On peut appliquer le thorme de Fubini et armer
1
2
_
2
0
[G(f)[
1
2
_
+
0
e
t
__
2
0
[f(x +t)[ dx
_
dt
avec
1
2
_
2
0
[f(x +t)[ dx = |f|
car f est 2-priodique. Ainsi
|G(f)|
_
+
0
e
t
|f| dt = |f|
ce qui donne la continuit de lendomorphisme G.
b) Etudions les coecients de Fourier des fonctions f et G(f).
Pour n Z,
c
n
(G(f)) =
1
2
_
2
0
__
+
0
e
t
f(x +t)e
inx
dt
_
dx
On peut appliquer le thorme de Fubini et armer
c
n
(G(f)) =
1
2
_
+
0
e
t
e
int
__
2
0
f(x +t)e
in(x+t)
dx
_
dt
Ce qui donne
c
n
(G(f)) = c
n
(f)
_
+
0
e
(in1)t
dt =
c
n
(f)
in 1
La fonction
g : x
+
n=
e
inx
1 +[n[
3/2
est lment de E, sil existe f E vriant G(f) = g alors
c
n
(f) =
(in 1)
1 +[n[
3/2
do [c
n
(f)[
2
n+
1/n ce qui est incompatible avec la convergence de la srie
[c
n
(f)[
2
.
Ainsi la fonction G nest pas surjective.
c) Soit K et f E. Si G(f) = f alors pour tout n Z,
c
n
(f)
in 1
= c
n
(f)
Si /
_
1
in1
/n Z
_
alors une solution lquation G(f) = f vrie c
n
(f) = 0
pour tout n Z et donc |f| =
+
n=
[c
n
(f)[
2
= 0 donne f = 0.
Sil existe n
0
Z vriant =
1
in01
alors pour tout n ,= n
0
alors c
n
(f) = 0.
Posons alors g : x f(x) c
n0
(f)e
in0x
E. Pour tout n Z, c
n
(g) = 0 donc
g = 0 puis f : x c
n0
(f)e
in0x
. La rciproque est immdiate.
Finalement
SpG =
_
1
in 1
/n Z
_
et
E
1/(in1)
(G) = Vect(x e
inx
)
a) Il sut dexploiter
[t
n
f(t)[
1
2
_
t
2n
+f(t)
2
_
b) La relation est vraie pour P(X) = X
n
et se gnralise tout P R[X] par
linarit.
En vertu de ce qui prcde
_
1
0
P(t)
2
dt
_
1
1
P(t)
2
dt =
_
1
1
P(t)
2
dt
_

0
(P(e
i
))
2
e
i
d

Par lingalit triangulaire
_
1
0
P(t)
2
dt
_

0
P(e
i
)
2
d
et puisque
_
0
P(e
i
)
2
d =
=
_

0
P(e
i
)
2
d
avec P(e
i
) = P(e
i
) car P est un polynme rel, on obtient
_
1
0
P(t)
2
dt
1
2
_

P(e
i
)
2
d
c) De faon immdiate
n
k=0
a
k
(f)
2
=
n
k=0
a
k
(f)
_
1
0
t
k
f(t) dt =
_
1
0
_
n
k=0
a
k
(f)t
k
_
f(t) dt
_
n
k=0
a
k
(f)
2
_
2
_
_
_
1
0
_
n
k=0
a
k
(f)t
k
_
2
dt
_
_
__
1
0
f(t)
2
dt
_
avec
_
1
0
_
n
k=0
a
k
(f)t
k
_
2
dt
1
2
_

k=0
a
k
(f)e
ik
2
d =
n
k=0
a
k
(f)
2
en vertu de la formule de Parseval.
On en dduit
n
k=0
a
k
(f)
2

__
1
0
f(t)
2
dt
_
et lon peut ds lors conclure.
d) Lapplication N est bien dnie de E dans R
+
et on a videmment
N(.f) = [[ N(f) et N(f +g) = N(f) +N(g) car f a
k
(f) est linaire et que
la norme sur
2
(N, R) est bien connue.
Il reste montrer N(f) = 0 f = 0 i.e.
(k N, a
k
(f) = 0) f = 0
ce qui nest pas une mince aaire. . .
Considrons donc f E vriant
k N, a
k
(f) = 0
et en consquence immdiate
P R[X] ,
_
1
0
P(t)f(t) dt = 0
Pour N N, introduisons f
N
: [0, 1[ R dnie par
f
N
(t) =
_
_
_
f(t) si [f(t)[ N
N si f(t) > N
N si f(t) < N
La fonction f
N
est continue par construction mais il est incertain quelle soit
prolongeable par continuit en 1.
Dans un premier temps supposons nanmoins les fonctions f
N
toutes
prolongeables par continuit en 1.
Par le thorme de Weierstrass, il existe une suite de polynmes (P
n
)
nN
convergeant uniformment vers f
N
sur [0, 1] et donc cette suite de polynmes
converge aussi vers f
N
en norme | . |
2
sur E.
On a donc
_
1
0
P
n
(t)f
N
(t) dt
n+
_
1
0
f
N
(t)
2
dt
Or
_
1
0
P
n
(t)f
N
(t) dt =
_
1
0
P
n
(t)(f
N
(t) f(t)) dt
n+
_
1
0
f
N
(t) (f
N
(t) f(t)) dt
et lon en dduit
N N,
_
1
0
f
N
(t)f(t) dt = 0
Par convergence domine, on obtient quand N +
N N,
_
1
0
(f(t))
2
dt = 0
et lon peut conclure que la fonction f est nulle.
Il reste valider la dmonstration dans le cas o les fonctions f
N
ne pourraient
tre toutes prolonges par continuit en 1. Il sut pour cela dintroduire les
fonctions g
N
suivantes
g
N
(t) =
_
1 si t [0, 1 1/N]
N(t 1) si t
1
1
N
, 1
_
et de considrez dsormais les fonctions h
N
= f
N
g
N
.
La fonction h
N
se prolonge par continuit en 1 en posant h
N
(1) = 0 et on peut
reprendre la dmonstration qui prcde avec h
N
au lieu de f
N
.
e) Les fonctions f
p
sont bien lments de E. On a
|f
p
|
2
2
= 1 +
_
1
1/p
dx
x

p+
1
et
k N, [a
k
(f
p
)[
_
1
0
t
k
1
2
dt
1
k +
1
2
donc
N(f
p
)
_
+
k=0
1
(k + 1/2)
2
_
1/2
= C
te
Les normes N et | . |
2
ne sont donc pas quivalentes.
a) On a pour t > 0
sin t
e
t
1
=
+
n=1
sin t.e
nt
t sin t.e
nt
est intgrable sur ]0, +[ et
_
+
0
[sin t[ e
nt
dt
_
+
0
te
nt
dt =
1
n
2
est le terme gnral dune srie convergente donc t
sin t
e
t
1
est intgrable sur
]0, +[ et
_
+
0
sin t
e
t
1
dt =
+
n=1
_
+
0
sin t.e
nt
dt
avec
_
+
0
sin t.e
nt
dt = Im
_
+
0
e
(n+i)t
dt =
1
n
2
+ 1
Finalement
_
+
0
sin t
e
t
1
dt =
+
n=1
1
n
2
+ 1
b) b
n
= 0 et
a
n
=
(1)
n
(e
)
(n
2
+ 1)
c) La fonction f est continue et (
1
par morceaux.
On peut appliquer le thorme de convergence normale et en dduire
t [, ] , cht =
sh
+
2sh
n=1
(1)
n
n
2
+ 1
cos(nt)
Pour t = , on obtient
+
n=1
1
n
2
+ 1
=
coth 1
2
Par dcomposition en lments simples
sin x
1 2t cos x +t
2
=
a
t e
ix
+
a
t e
ix
avec
a =
sin x
e
ix
e
ix
=
1
2i
donc
sin x
1 2t cos x +t
2
= Re
_
1
i
1
t e
ix
_
= Re
_
ie
ix
1
1 te
ix
_
puis
sin x
1 2t cos x +t
2
=
+
n=0
t
n
sin(n + 1)x
La fonction tudie tant impaire a
n
= 0.
Par convergence normale obtenue via [t[ < 1, on a b
n+1
= t
n
Ainsi lcriture prcdente est le dveloppement en srie de Fourier de la fonction
tudie.
e
cos x
cos(sin x) = Re
_
e
cos x+i sin x
_
= Re
+
n=0
e
inx
n!
=
+
n=0
1
n!
cos(nx).
Il reste justier que ce dveloppement correspond au dveloppement en srie de
Fourier de la fonction.
Puisque la fonction est paire, b
n
= 0.
On a
a
0
=
1
n=0
1
n!
cos(nx) dx
Par convergence normale de la srie de fonctions engage,
a
0
=
1
n=0
_

1
n!
cos(nx) dx = 2
On a
a
n
=
1
m=0
1
m!
cos(mx) cos(nx) dx
Par convergence normale de la srie de fonctions engage,
a
n
=
1
m=0
_

1
m!
cos(mx) cos(nx) dx
Or
_
cos(mx) cos(nx) dx = 0 si m ,= n et
_
cos(mx) cos(nx) dx = si
m = n ,= 0.
Ainsi a
n
=
1
n!
.
Finalement, lcriture
e
cos x
cos(sin x) =
+
n=0
1
n!
cos(nx)
est bien le dveloppement en srie de Fourier de la fonction considre.
1 z cos t
1 2z cos t +z
2
=
1
2
_
1
1 (e
it
z)
+
1
1 (e
it
z)
_
=
1
2
+
n=0
(e
int
+ e
int
)z
n
puis
1 z cos t
1 2z cos t +z
2
=
+
n=0
cos(nt)z
n
avec convergence normale sur [0, ]. Par suite
_

0
1 z cos t
1 2z cos t +z
2
cos(nt) dt =

2
z
n
compte tenu de lorthogonalit des fonctions t cos(kt).
+
p=0
(1)
p
cos(2p + 1)x
(2p + 1)!
= Re
_
+
p=0
(1)
p
e
i(2p+1)x
(2p + 1)!
_
= Re(sin(e
ix
))
or sin(e
ix
) = sin(cos x +i sin x) = sin(cos x)ch(sin x) +ish(sin x) cos(cos x) donc
+
p=0
(1)
p
cos(2p + 1)x
(2p + 1)!
= sin(cos x)ch(sin x)
a) Pour tout t R on peut crire
f(t) =
+
n=0
e
int
n!
Puisque la srie termes positifs

1
n!
converge, on peut par convergence normale
calculer les coecients de Fourier de f en intgrant terme terme
c
p
(f) =
1
2
_
2
0
f(t)e
ipt
dt =
1
2
+
n=0
1
n!
_
2
0
e
i(np)t
dt
Et puisque
1
2
_
2
0
e
ikt
dt =
k,0
on obtient
c
p
(f) =
_
1/p! si p N
0 sinon
b) Par la formule de Parseval
+
n=0
1
(n!)
2
=
1
2
_
2
0
[f(t)[
2
dt
avec
[f(t)[
2
= f(t)f(t) = exp
_
e
it
+ e
it
_
= exp(2 cos t)
a) En vertu de lingalit
ab
1
2
_
a
2
+b
2
_
on a
[c
n
(f)c
n
(g)[
1
2
_
[c
n
(f)[
2
+[c
n
(g)[
2
_
Puisquil y a convergence des sommes
+
n=
[c
n
(f)[
2
et
+
n=
[c
n
(g)[
2
on peut, par comparaison de sries termes positifs, armer la convergence de la
somme tudie.
b) La fonction est dnie, continue et 2-priodique par convergence normale
de la srie de fonctions sous-jacente. Pour p Z
c
p
() =
1
2
_
2
+
n=
c
n
(f)c
n
(g)e
i(np)x
dx
Par convergence normale de la srie des fonctions continues
x c
n
(f)c
n
(g)e
i(np)x
on peut intgrer terme terme
c
p
() =
1
2
+
n=
c
n
(f)c
n
(g)
_
2
e
i(np)x
dx = c
p
(f)c
p
(g)
a) Pour [x[ < e
a
,
1
x + e
a
= e
a
1
1 +xe
a
= e
a
+
n=0
(1)
n
(xe
a
)
n
=
+
n=0
(1)
n
e
(n+1)a
x
n
b) On peut crire
1
cos t + cha
=
2e
it
e
2it
+ 2ch(a)e
it
+ 1
=
2e
it
(e
it
+ e
a
)(e
it
+ e
a
)
Par dcomposition en lments simples de la fraction
2X
(X + e
a
)(X + e
a
)
on obtient
2e
it
(e
it
+ e
a
)(e
it
+ e
a
)
=
e
a
sh(a)
e
it
+ e
a

e
a
sh(a)
e
it
+ e
a
Puisque

e
it
< 1, on peut dcomposer le premier terme comme ci-dessus et on

mne des calculs analogues pour la seconde somme
1
cos t + cha
=
1
sh(a)
+
n=0
(1)
n
e
na
e
int
e
a
e
it
sh(a)
+
n=0
(1)
n
e
na
e
int
En combinant les deux sommes
1
cos t + cha
=
1
sh(a)
_
1 +
+
n=1
2(1)
n
e
na
cos(nt)
_
Puisquil y a convergence de la srie

e
na
, on peut aisment tablir la
convergence normale permettant lintgration terme terme calculant les
coecients de Fourier trigonomtriques de la fonction considre. Sans surprise,
on obtient que la dcomposition prcdente sapparente la dcomposition en
srie de Fourier de la fonction tudie.
a) On a
n
k=n
e
ik
r
|k|
= 1+
n
k=0
e
ik
r
k
+
n
k=0
e
ik
r
k
n+
1
1 re
i
+
1
1 re
i
1 =
1 r
2
1 2r cos +r
2
b) Par ce qui prcde
f
r
(t) =
+
n=
r
|n|
1 r
2
e
int
Puisque les sries

n1
r
n
1r
2
et

n1
r
n
1r
2
convergent, on peut armer que

lcriture prcdente est le dveloppement en srie de Fourier de f
r
.
On en dduit le dveloppement en srie de Fourier trigonomtrique
f
r
(t) =
1
1 r
2
+
+
n=1
2r
n
1 r
2
cos(nt)
a)
1t
2
12t cos x+t
2
= 1 +
1
1te
ix
+
1
1te
ix
donc
1t
2
12t cos x+t
2
= 1 + 2
+
n=1
cos(nx)t
n
pour [t[ < 1.
b) cos =
1t
2
1+t
2
et sin =
2t
1+t
2
avec t = tan

2
]1, 1[ donc
cos
1 sin cos x
=
1 t
2
1 2t cos x +t
2
puis
cos
1 sin cos x
= 1 + 2
+
n=1
cos(nx) tan
n

2
pour x ]0, [.
Par parit cette galit vaut aussi pour x ], 0[. De plus par convergence
normale de la srie et donc continuit des fonctions engages cette galit vaut
encore sur [, ] puis sur R par priodicit.
Enn la convergence normale de la srie de fonctions permet aussi dassurer quon
a bien aaire au dveloppement en srie de Fourier recherch.
a) Considrons la fonction
g
r
: t
+
n=
r
|n|
e
int
= 1 +
+
n=1
r
n
(e
int
+ e
int
)
Puisque la srie

r
n
converge, la srie de fonctions dnissant g
r
converge
normalement et par suite g
r
est bien dnie, continue et 2-priodique.
De plus, par convergence normale, on peut armer que les coecients de Fourier
de g
r
sont les c
n
(g) = r
|n|
.
On a alors
1
2
_
2
0
f(t)g
r
(t) dt =
+
n=
c
n
(f)c
n
(g
r
) =
+
n=
c
n
r
|n|
b) Par sommation gomtrique
g
r
(t) =
+
n=
r
|n|
e
int
=
+
n=0
(r e
it
)
n
+
+
n=1
(r e
it
)
n
=
1 r
2
1 2r cos t +r
2
Il est alors immdiat darmer que g
r
est valeurs relles positives.
c) On a
1
2
_
2
0
f(t)g
r
(t) dt
1
2
_
2
0
|f|
g
r
(t) dt = |f|
c
0
(g) = |f|
La srie

c
n
est une srie termes positifs. Pour tout N N,
N
n=0
c
n
= lim
r1
N
n=0
c
n
r
n
Or

n=0
c
n
r
n
n=
c
n
r
|n|
|f|
donc
N
n=0
c
n
|f|
Puisque les sommes partielles de la srie

c
n
sont majores et puisque celle-ci est
termes positifs, on peut armer quelle converge. Il en est de mme pour la srie
c
n
.
Il est alors facile dtablir la convergence normale de la srie de Fourier de f et
donc sa convergence. De plus, lorsquune srie de Fourier converge normalement,
elle converge aussi en norme quadratique et alors sa limite ne peut que la fonction
dveloppe.
a) On a
nZ
r
|n|
c
n
(f)e
inx
=
1
2
nZ
_

f(t)r
|n|
e
in(xt)
dt
La srie des intgrales des valeurs absolues converge grce au terme gomtrique
r
|n|
, ceci permet dchanger somme et intgrale an darmer
nZ
r
|n|
c
n
(f)e
inx
=
1
2
_

f(t)P
r
(x t) dt
avec
P
r
(u) =

nZ
r
|n|
e
inu
On a
P
r
(u) =
1
1 re
iu
+
1
1 re
iu
1 =
1 r
2
1 2r cos u +r
2
donc P
r
E.
b) En permutant nouveau somme et intgrale,
_
P
r
(t) dt = 2 car
_
e
int
dt = 2
0,n
.
c) Par translation et 2-priodicit,
nZ
r
|n|
c
n
(f)e
inx
=
1
2
_

f(x t)P
r
(t) dt
donc
nZ
r
|n|
c
n
(f)e
inx
f(x) =
1
2
_

(f(x t) f(x)) P
r
(t) dt
Pour > 0, luniforme continuit de f sur [, ] assure lexistence dun > 0
vriant :
[x y[ [f(x) f(y)[
On a alors
(f(x t) f(x)) P
r
(t) dt
P
r
(t) dt
en ayant observ P
r
0.
Dautre part,
_

(f(x t) f(x)) P
r
(t) dt
r1
0
en vertu dune convergence domine par
2f
(1cos )
2
.
De mme
_

(f(x t) f(x)) P
r
(t) dt
r1
0
Ainsi pour r assez proche de 1
nZ
r
|n|
c
n
(f)e
inx
f(x)
3
Finalement
lim
r1
nZ
r
|n|
c
n
(f)e
inx
= f(x)
a) Puisque
x R, [r
p
cos(px)[ r
p
et puisque la srie

r
p
converge, on peut armer que la fonction est dnie et
continue sur R car somme dune srie normalement convergente de fonctions
continues.
b) On a
F(x) =
1
2
_
2
0
f(t) dt +
1
_
2
0
+
p=1
r
p
cos(p(x t))f(t) dt
Puisque
t [0, 2] , [r
p
cos(p(x t))f(t)[ |f|
r
p
Par convergence normale dune srie de fonctions continues, on peut intgrer
terme terme
F(x) =
1
2
_
2
0
f(t) dt +
1
p=1
_
2
0
r
p
cos(p(x t))f(t) dt
En dveloppant
cos(p(x t)) = cos(px) cos(pt) + sin(px) sin(pt)
on obtient
F(x) =
a
0
(f)
2
+
+
p=1
r
p
(a
p
(f) cos(px) +b
p
(f) sin(px))
Puisque les suites (a
p
(f)) et (b
p
(f)) sont bornes, les sries

r
p
a
p
(f) et
r
p
b
p
(f) sont absolument convergentes et on peut, par convergence normale,
reconnatre les coecients de Fourier de F partir de ce dveloppement
trigonomtrique
p N, a
p
(F) = r
p
a
p
(f) et b
p
(F) = r
p
b
p
(f)
a) La srie tudie converge en tant que partie imaginaire dune srie gomtrique
convergente que nous allons calculer. . .
+
n=1
r
n
e
inx
=
+
n=1
_
re
ix
_
n
=
re
ix
1 re
ix
car

re
ix
= r < 1
On en dduit
+
n=1
r
n
sin(nx) =
r sin(x)
1 2r cos(x) +r
2
En intgrant
_
x
0
+
n=1
r
n
sin(nt) dt =
_
x
0
r sin(t)
1 2r cos(t) +r
2
dt =
1
2
ln
1 2r cos(x) +r
2
(1 r)
2
Par une convergence normale justie via [r
n
sin(nx)[ r
n
, on peut intgrer
terme terme
_
x
0
+
n=1
r
n
sin(nt) dt =
+
n=1
_
x
0
r
n
sin(nt) dt =
+
n=1
r
n
(1 cos(nx))
n
On peut sparer la somme en deux par convergence des nouvelles sommes crites
_
x
0
+
n=1
r
n
sin(nt) dt =
+
n=1
r
n
n

+
n=1
cos(nx)
n
= ln(1 r)
+
n=1
cos(nx)
n
et lon en dduit la relation demande.
b) Puisque f o
1
, on a [n[ c
n
(f)
n
0 et donc a fortiori c
n
(f)
n
0. On
a alors

c
n
(f)r
n
e
inx
= [c
n
(f)r
n
[ = o(r
n
)
Par convergence normale, on peut donc armer que la fonction f
r
est bien
dnie, continue et lon peut calculer ses coecients de Fourier
c
n
(f
r
) = c
n
(f)r
|n|
Soit u une fonction de S
0
. Par convergence normale, la fonction u est continue.
Considrons la fonction 2-priodique (elle aussi continue par intgration sur un
segment) dnie par
v : x
_

K
r
(x t)u(t) dt
Puisque
K
r
(x t) =
1
2
ln 2 +

nZ
r
|n|
2 [n[
e
in(xt)
on obtient aprs une intgration terme terme justie par convergence normale
v(x) = ln(2)c
0
(u) +

nZ
r
|n|
[n[
c
n
(u)e
inx
Encore une fois par convergence normale, on peut calculer les coecients de
Fourier de v et lon obtient
c
0
(v) = ln(2)c
0
(u) et c
n
(v) =
r
|n|
[n[
c
n
(u)
Les fonctions f
r
et v tant continues, leur galit quivaut lgalit de leurs
coecients de Fourier, ce qui donne
c
0
(u) =
c
0
(f)
ln 2
et n Z
, c
n
(u) =
[n[ c
n
(f)
On vrie que la solution u ainsi dtermine est bien lment de S

0
car f est
lment de S
1
.
On vrie aussi que cette fonction u ne dpend pas du choix de r ]0, 1[.
c) Puisque (cos(t) r)
2
0 on obtient
1 2r cos(t) +r
2
sin
2
t
et donc
ln
_
1 2r cos(t) +r
2
2
_
= ln 2 ln(1 2r cos(t) +r
2
) ln 2 2 ln [sin t[
Ceci vaut pour tout t ]0, [ mais aussi, plus gnralement, pour t RZ.
d) Pour t x avec t / 2Z
lim
r1
K
r
(t) =
1
2
ln
_
2 2 cos(t)
2
_
=
1
2
ln (1 cos(t))
Par changement de variable
_

K
r
(x t)u(t) dt =
_

K
r
(t)u(x t) dt
On dcoupe en deux
_

K
r
(t)u(x t) dt =
_
0
K
r
(t)u(x t) dt +
_

0
K
r
(t)u(x t) dt
Pour t x dans ]0, [
lim
r1
K
r
(t)u(x t) =
1
2
ln (1 cos(t)) u(x t)
et
[K
r
(t)u(x t)[ = (ln 2 2 ln [sin t[) sup
xR
[u(x)[ = (t)
On vrie que la fonction est intgrable et on peut justier par convergence
domine
_

0
K
r
(t)u(x t) dt =
1
2
_

0
ln (1 cos(t)) u(x t) dt
On fait de mme avec lautre intgrale, on raccorde les deux et on ralise le
changement de variable inverse du prcdent pour obtenir
lim
r1
K
r
(x t)u(t) dt =
1
2
_

ln (1 cos(x t)) u(t) dt

e) Soit f S
1
. Fixons x R et considrons
u
n
(r) = c
n
(f)r
|n|
e
inx
Il y a convergence normale de la srie des fonctions r u
n
(r) car
[u
n
(r)[ [c
n
(f)[ avec f S
1
et
lim
r1
u
n
(r) = c
n
(f)e
inx
On en dduit
lim
r1
f
r
(x) = f(x)
Soit de plus u S
0
telle que
c
0
(u) =
c
0
(f)
ln 2
et n Z
, c
n
(u) =
[n[ c
n
(f)
Le rsultat de la question d) donne

(u)(x) = lim
r1
f
r
(x) = f(x)
Inversement, soit u S
0
et f dtermine de sorte que
c
0
(u) =
c
0
(f)
ln 2
et n Z
, c
n
(u) =
[n[ c
n
(f)
La fonction f est dans S

1
et par ce qui est dit ci-dessus
(u)(x) = f(x)
On en dduit que la fonction est bien dnie de S
0
dans S
1
, elle est videmment
linaire mais aussi injective et surjective en vertu des armations qui prcdent.
En fait, la fonction associe une fonction u S
0
la fonction f S
1
dtermine
par les coecients de Fourier
c
0
(f) = ln 2c
0
(u) et n Z
, c
n
(f) =
c
n
(u)
[n[
et, en ce sens, cest videmment un isomorphisme.
a) Puisque f est (
1
, on a par intgration par parties c
n
(f
) = inc
n
(f).
b) Puisque
_
2
0
f = 0, on a c
0
(f) = 0. Par lgalit de Parseval :
_
2
0
[f(t)[
2
dt = 2
+
n=
[c
n
(f)[
2
et
_
2
0
[f
(t)[
2
dt = 2
+
n=
[c
n
(f
)[
2
= 2
+
n=
n
2
[c
n
(f)[
2
Puisque c
0
(f) = 0, on peut crire
+
n=
[c
n
(f)[
2
n=
n
2
[c
n
(f)[
2
donc
_
2
0
[f(t)[
2
dt
_
2
0
[f
(t)[
2
dt
avec galit si, et seulement si,
n Z
, [c
n
(f)[ = [c
n
(f
)[ = n[c
n
(f)[
Ceci implique c
n
(f) = 0 pour tout n ,= 1 et, puisque la srie converge
normalement vers f, f est de la forme t e
it
+e
it
.
La rciproque est immdiate.
a) On peut appliquer la formule de Parseval ds que les fonctions sont
2-priodiques et continues par morceaux.
b) Puisque f est (
1
, on a par intgration par parties c
n
(f
) = inc
n
(f).
c) Puisque
_
2
0
f = 0, on a c
0
(f) = 0. Par lgalit de Parseval :
_
2
0
[f(t)[
2
dt = 2
+
n=
[c
n
(f)[
2
et
_
2
0
[f
(t)[
2
dt = 2
+
n=
[c
n
(f
)[
2
= 2
+
n=
n
2
[c
n
(f)[
2
Puisque c
0
(f) = 0, on peut crire
+
n=
[c
n
(f)[
2
n=
n
2
[c
n
(f)[
2
donc
_
2
0
[f(t)[
2
dt
_
2
0
[f
(t)[
2
dt
d) Sil y a galit alors
n Z
, [c
n
(f)[ = [c
n
(f
)[
donc
n Z
, [c
n
(f)[ = n[c
n
(f)[
Ceci implique c
n
(f) = 0 pour tout n ,= 1.
Puisque la fonction f est de classe (
1
, la srie de Fourier de f converge
uniformment vers f et donc
f(x) = c
1
(f)e
ix
+c
1
(f)e
ix
e) Les coecients de Fourier de f(x) = Ae
ix
+Be
ix
sont immdiats car il sagit
dun polynme trigonomtrique. On peut alors nouveau appliquer la formule de
Parseval pour assurer lgalit sans calcul.
Considrons la fonction g dnie sur [, ] par
g(x) =
_
f(t/) si t [0, ]
f(t/) si t [, 0[
La fonction g est continue en 0 car f(0) = 0.
Par construction la fonction g est impaire.
La fonction g est de classe (
1
sur [, ] car g
d
(0) =
1
(0) = g
g
(0).
Puisque g() = f(1) = 0 = g(), on peut prolonger la fonction g en une fonction
2-priodique et cette fonction est encore de classe (
1
car
g
g
() =
1
(1) = g
d
().
Enn, par imparit de g
_

g(x) dx = 0
En vertu de lingalit de Wirtinger
_

g(x)
2
dx
_

(x)
2
dx
Par parit, on en dduit
_

0
g(x)
2
dx
_

0
g
(x)
2
dx
Puis on obtient alors facilement
_
1
0
f(t)
2
dt
1
2
_
1
0
(f
(t))
2
dt
Pour f(t) = sin(t) les hypothses sont vries avec
_
1
0
f(t)
2
dt =
1
2
et
_
1
0
(f
(t))
2
dt =

2
2
La constante de majoration ne peut donc tre amliore.
Par le thorme de convergence normale, la fonction f est gale la somme de sa
srie de Fourier ce qui permet dcrire
f(t) =
+
n=
c
n
(f)e
int
avec c
0
(f) = 0 car la fonction f est suppose dintgrale nulle.
Sachant c
n
(f
) = inc
n
(f), on a encore
f(t) =

nZ
1
in
c
n
(f
)e
int
[f(t)[
2

nZ
1
n
2
nZ
[c
n
(f
)[
2
Or
nZ
1
n
2
= 2
+
n=1
1
n
2
=

2
3
et par la formule de Parseval
nZ
[c
n
(f
)[
2
n=
[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
et lon peut donc conclure.
On sait
c
n
(f
) = inc
n
(f) et c
n
(f
) = n
2
c
n
(f)
Par la formule de Parseval, lingalit demande quivaut
+
n=
(bn
4
n
2
+a) [c
n
(f)[
2
0
Or le trinme bn
4
n
2
+a est de signe constant positif (car b > 0 et
= 1 4ab 0).
Par sommation de quantits positives, lingalit propose a bien lieu.
Une telle fonction f est ncessairement de classe (
et donc gale la somme de

sa srie de Fourier. On peut donc crire
f(t) =
+
n=
c
n
e
int
Puisque c
n
(f
) = inc
n
(f), la satisfaction de lquation direntielle donne
n
2
c
n
(f) = c
n1
(f)
On en dduit c
n
= 0 pour tout n < 0 et c
n
= c
0
/(n!)
2
pour tout n N.
Inversement, les coecients proposs dnissent une fonction quon vrie tre de
classe (
2
(par un argument de convergence normale) et par calcul on vrie que
celle-ci est solution de lquation direntielle.
a) On vrie que
y : x e
x
_
y(0) +
_
x
0
f(t)e
t
dt
_
est solution de lquation direntielle et vrie y(0) = y(0) donc par le thorme
de Cauchy, y = y.
b) Si y est 2-priodique alors y(0) = y(2).
Inversement, si y(0) = y(2) alors z : x y(x + 2) est solution de lquation
direntielle et vrie z(0) = y(0) donc z = y.
Par suite y est 2-priodique si, et seulement si, y(0) = y(2) i.e.
y(0)(e
2
1) =
_
2
0
f(t)e
t
dt
avec e
2
1 ,= 0.
c) Par suite, il existe une unique solution 2-priodique lquation
direntielle, solution dtermine par
(0) =
1
e
2
1
_
2
0
f(t)e
t
dt
(avec e
2
,= 1 car / iZ).
d) Cette solution est de classe (
1
donc dveloppable en srie de Fourier.
(x) =
+
n=
c
n
e
inx
avec
c
n
= c
n
() =
1
c
n
(f
) =
1
(c
n
(f) c
n
(
))
et
c
n
(
) = inc
n
()
donc
c
n
=
c
n
(f)
in +
a) On a par intgration par parties
c
n
(f
) = inc
n
(f)
et
c
n
(f
) =
1
2
_
2
f(t +)e
int
dt =
1
2
e
in
_
2
f(t +)e
in(t+)
dt = e
in
c
n
(f)
On en dduit la relation propose.
b) Si lgalit
in = e
in
est vrie alors ncessairement [n[ = 1 et alors
e
i
= i
Si la condition e
i
= i nest pas vrie alors la proprit
n Z, (in e
in
)c
n
(f) = 0
entrane
n Z, c
n
(f) = 0
et donc f est la fonction nulle (en vertu de la formule de Parseval ou parce que f
est de classe (
1
donc dveloppable en srie de Fourier. . . )
Inversement, si e
i
= i alors les fonctions
f(t) = e
it
+e
it
vrient la relation (*) (et ce sont les seules) et parmi celles-ci gurent des
fonctions non nulles.
On en dduit quune condition ncessaire et susante pour quil existe des
fonctions 2-priodiques non nulles vriant (*) est que e
i
= i i.e.

2
+ 2Z
La fonction f est de classe (
1
par morceaux et rgularise donc dveloppable en
srie de Fourier.
Puisque sur (e
ix
1)f(x) = ix, on a sur ], [
(e
ix
1)f
(x) +ie
ix
f(x) = i
donc
c
n1
(f
) c
n
(f
) +ic
n1
(f) = i
0,n
Par intgration par parties (avec ici f(
) ,= f(
+
))
c
n
(f
) = i
(1)
n+1
2
+inc
n
(f)
ce qui donne
(1)
n
+n(c
n1
(f) c
n
(f)) =
0,n
Pour n > 0, on obtient
c
n
(f) = c
n1
(f) +
(1)
n
n
= c
0
(f) +
n
k=1
(1)
k
k
Or c
n
(f) 0 donc c
0
(f) = ln 2 puis, pour n 0,
c
n
(f) =
+
k=n+1
(1)
k1
k
De faon analogue, pour n > 0
c
n
(f) =
+
k=n
(1)
k1
k

Séries de Fourier PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Séries de Fourier PDF

Uploaded by

Copyright:

Available Formats

[http://mp.cpgedupuydelome.

fr] dit le 6 aot 2013 Enoncs 1

a) Justier que f est continue

d) On suppose > 1. Montrer que la srie de Fourier de f converge uniformment

et f : R R la fonction 2 priodique dnie par

lunique fonction 2-priodique de R dans R telle que pour

Exercice 32 [ 00970 ] [correction]

ln (1 cos(x t)) u(t) dt

ln (1 cos(x t)) g(t) dt

(t) = f(t +) (*)

= 1 pour tout t R, on a P(e

f(t) cos((2n + 1)t) dt

est une fonction impaire,

est continue et puisque

se dduisant de ceux de g par intgration par

En introduisant le produit scalaire hermitien usuelle sur lespace des fonctions

Puisque ce majorant ne dpend pas de x,

Ceci valant pour tout > 0, on peut conclure. . .

Diusion autorise titre entirement gratuit uniquement - dD

< 1, on peut dcomposer le premier terme comme ci-dessus et on

convergent, on peut armer que

Puisque les sommes partielles de la srie

On vrie que la solution u ainsi dtermine est bien lment de S

ln (1 cos(x t)) u(t) dt

Le rsultat de la question d) donne

La fonction f est dans S

et donc gale la somme de

You might also like