Master 1 Metiers de lEnseignement, Mathematiques - ULCO, La Mi-Voix, 2012/2013

ANALYSE 2
Fiche de Math
ematiques 9 - Series de Fourier.

S
eries trigonom
etriques

Coefficients de Fourier

R`
egles de convergence

Exercice 1

Soit f : R R la fonction paire, 2-periodique, definie par


4x2 2
si x [0, /2]
f (x) =
.
8x 3 2 4x2 sinon

1. Montrer que f est de classe C 1 et calculer sa derivee.

2. Calculer les coefficients de Fourier trigonometriques de la fonction f .
+
X
(1)n
3. En deduire la valeur de
.
(2n + 1)3
n=0
Correction :
1. Sur [0, /2], on a f (x) = 4x2 2 et donc f est de classe C 1 sur [0, /2] avec fd0 (0) = 0 et fg0 (/2) = 4.
Sur ]/2, ], on a f (x) = 8x 3 2 4x2 et cette relation est aussi valable pour x = /2. On en deduit que
f est de classe C 1 sur [/2, ] avec fd0 (/2) = 4 et fg0 () = 0. Par parite et periodicite, on peut affirmer
que f est de classe C 1 sur R (et un dessin serait s
urement tr`es convaincant) et f 0 est une fonction impaire,
2-periodique avec

8x
si x [0, /2]
f 0 (x) =
8 2x sinon
2. Puisque la fonction f est paire, les coefficients bn (f ) sont nuls et
!
Z
Z /2
Z
2
2
2
2
2
2
an (f ) =
f (t) cos(nt)dt =
(4t ) cos(nt)dt +
(8t 3 4t ) cos(nt)dt
0

0
/2
ce qui donne apr`es quelques calculs penibles
a2p (f ) = 0 et a2p+1 (f ) =

32(1)p+1
,
(2p + 1)3

ou plus simplement en exploitant la relation bn (f 0 ) = nan (f ), ou an (f 00 ) = nbn (f 0 ) = n2 an (f ) en

considerant la pseudo-derivee dordre 2 de f .
3. Puisque la fonction f est de classe C 1 , elle est egale `a sa somme de Fourier (Theor`eme de Dirichlet) et donc
x R, f (x) =

+
32 X (1)n+1
cos((2n + 1)x).
n=0 (2n + 1)3

En evaluant pour x = 0, on obtient

+
X

(1)n
3
=
.
3
(2n + 1)
32
n=0
Exercice 2

Soit f : R R la fonction 2-periodique definie par f (x) = | cos(x)|.

1. Calculer les coefficients de Fourier trigonometriques de f .

+
X
(1)n+1
2. En deduire la valeur de
.
4n2 1
n=0
Correction :
1/11

(1)n+1 4
et a2n+1 (f ) = 0 pour n N et bn (f ) = 0 pour n N? .
(4n2 1)
2. La fonction f est de classe C 1 par morceaux, il y a donc convergence uniforme de la serie de Fourier vers f .
En x = 0, on obtient :

1. a2n (f ) =

f (0) =
Exercice 3

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

=
.
2
2
n=1 (4n 1)
4n 1
4
n=1

Soit la fonction f : R R 2-periodique definie par

x ] , ], f (x) = exp(x).

1. Calculer les coefficients de Fourier exponentiels de f .

+
+
X
X
(1)n
1
2. En deduire la valeur des sommes
et
.
2+1
2+1
n
n
n=1
n=1
Correction :
sh (1)n
.
1 in
2. La fonction f est C 1 par morceaux donc la serie de Fourier converge simplement vers la fonction f ? regularisee
+
+
X

(1)n
sh X (1)n
exp(inx). Pour x = 0, on obtient
=
. Or,
de f . Ainsi, x R, f ? (x) =
n= 1 in
sh() n= 1 in
1. cn (f ) =



+
+
+
X
X
X
1
(1)n
1
2(1)n
n
= 1 +
(1)
+
= 1 +
.
1 in
1 in 1 + in
n2 + 1
n=
n=0
n=0
Par suite


+
X
(1)n
1

=
1
+
.
n2 + 1
2
sh()
n=0
De meme avec x = , on obtient
Exercice 4

+
X

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

Soient R\Z et f : R R la fonction 2-periodique definie par

f (x) = cos(x) sur ] , ].

1. Determiner les coefficients de Fourier an (f ) et bn (f ) de f .

+
+
X
X
1
(1)n1
et
.
2. En deduire les valeurs des sommes
2
2
2
n
n 2
n=1
n=1
3. En deduire enfin la valeur de

+
X
1
.
n2
n=1

Correction :
2 sin()
pour n N. La serie de Fourier de f converge
(n2 2 )
normalement vers f car celle-ci est continue et C 1 par morceaux. Par suite

1. bn (f ) = 0 pour n > 1 et an (f ) = (1)n1

f (x) =

2. Pour x = 0, on obtient

sin() X
2 sin()
+
(1)n1
cos(nx).

(n2 2 )
n=1



+
X
(1)n1
1

=
1

et pour x = ,
n2 2
22
sin()
n=1
+
X
n=1

3. Il y a convergence normale de
Quand x 0, cotan(x) =

n2

1
1 cotan()
=
.
2

22

+
X

+
+
X
X
1
1
1
pour

[0,
1/2]
donc
quand
=
lim
.
2
2
2
2
n0
n
n
n 2
n=1
n=1
n=1

+
X
1 cotan()
2
1
2
1 1
x + (x) donc

do`
u
=
.
0 6
x 3
22
n2
6
n=1

2/11

Exercice 5

Soient R? et f : R R la fonction 2-periodique definie par f (x) = ch(x) sur ] , ].

1. Determiner les coefficients de Fourier an (f ) et bn (f ) de f .

+
+
X
X
(1)n
1
2. En deduire les valeurs des sommes
et
.
2
2
2
n +
n + 2
n=1
n=1
Correction :
2sh()
pour n N. La serie de Fourier de f converge normalement
(2 + n2 )
vers f car celle-ci est continue et C 1 par morceaux. Par suite,

1. bn (f ) = 0 pour n > 1 et an (f ) = (1)n

f (x) =

sh() X
2sh()
+
cos(nx).
(1)n

(2 + n2 )
n=1

2. Pour x = 0, on obtient


+
X
1

(1)n
=
1
n2 + 2
22 sh()
n=1
et pour x = ,
+
X
n=1

n2

coth() 1
1
=
.
2
+
22

Convergence des s
eries de Fourier au sens de Cesaro

Exercice 6 On designe par D lespace des fonctions de Dirichlet, cest-`a-dire lespace des fonctions f : R R
qui sont 2-periodiques, continues par morceaux et telles quen tout point de discontinuite a de f , on ait :
f (a) =

f (a ) + f (a+ )
.
2

Soient f D et g D definie par g(x) = f (x + a) o`

u a est un reel fixe. Exprimer les coefficients de Fourier de g
en fonction de ceux de f .
Correction : Pour n Z, on a :
Z 2
Z 2
1
1
cn (g) =
g(t) exp(int)dt =
f (t + a) exp(int)dt
2 0
2 0
Z a+2
Z 2
1
1
f (x) exp(in(x a))dx = exp(ina)
f (x) exp(inx)dx = exp(ina)cn (f ).
=
2 a
2 0
Il en resulte que :
an (g)

= cn (g) + cn (g) = exp(ina)cn (f ) + exp(ina)cn (f )

an (f ) ibn (f )
an (f ) + ibn (f )
+ exp(ina)
= exp(ina)
2
2
exp(ina) + exp(ina)
exp(ina) exp(ina)
=
an (f ) +
bn (f )
2
2i
= cos(na)an (f ) + sin(na)bn (f )

bn (g)

= i(c
))
n (g) cn (g)) = i(exp(ina)cn (f ) exp(ina)cn (f 
an (f ) ibn (f )
an (f ) + ibn (f )
= i exp(ina)
exp(ina)
2
2
exp(ina) exp(ina)
exp(ina) + exp(ina)
bn (f )
an (f )
=
2
2i
= cos(na)bn (f ) sin(na)an (f ),

et

ce qui peut aussi se verifier avec :

an (g)

=
=
=

Z
Z
1 2
1 2
f (t + a) cos(nt)dt =
f (x) cos(n(x a))dx
0
0

Z 2
Z 2
1
cos(na)
f (x) cos(nx)dx + sin(na)
f (x) sin(nx)dx

0
0
cos(na)an (f ) + sin(na)bn (f )
3/11

et
bn (g)

=
=
=

Exercice 7

Z
Z
1 2
1 2
f (t + a) sin(nt)dt =
f (x) sin(n(x a))dx
0
0

Z 2
Z 2
1
cos(na)
f (x) sin(nx)dx sin(na)
f (x) cos(nx)dx

0
0
cos(na)bn (f ) sin(na)an (f ).

Soit f D continue et de classe C 1 par morceaux. Montrer que :

n Z? , cn (f ) =
n N? , an (f ) =

cn (f 0 )
in

bn (f 0 )
an (f 0 )
et bn (f ) =
.
n
n

Correction : Si f D est de classe C 1 par morceaux, il existe alors une subdivision de [0, 2] :
0 = a0 < a1 < . . . < ap = 2
telle que la restriction de f `
a chaque intervalle ]ak , ak+1 [ se prolonge par continuite en fonction de classe C 1 sur
[ak , ak+1 ] et on a, pour tout n Z? :
Z 2
p1 Z
1 X ak+1
1
f (t) exp(int)dt =
cn (f ) =
f (t) exp(int)dt
2 0
2
ak
k=0

et comme f est de classe C 1 sur [ak , ak+1 ], une integration par parties donne :
a

Z
Z ak+1
i ak+1 0
f (t) exp(int) k+1

f (t) exp(int)dt
f (t) exp(int)dt =
i
n
n ak
ak
ak
Z
+
f (a
i ak+1 0
k+1 ) exp(inak+1 ) f (ak ) exp(inak )

f (t) exp(int)dt.
= i
n
n ak
+
Si on suppose de plus que f est continue sur R, on a alors f (a
k ) = f (ak ) = f (ak ) pour tout k compris entre 0 et
p et :
p1
p1 Z
i X
i X ak+1 0
2cn (f ) =
(f (ak+1 ) exp(inak+1 ) f (ak ) exp(inak ))
f (t) exp(int)dt
n
n
k=0
k=0 ak
Z 2
p1 Z
1
i X ak+1 0
f (t) exp(int)dt =
f 0 (t) exp(int)dt
=
n
in 0
ak
k=0

puisque f est 2-periodique et cn (f ) =

an (f )

bn (f )

cn (f 0 )
. Il en resulte que :
in
cn (f 0 ) cn (f 0 )
bn (f 0 )
=
in
n
.
cn (f 0 ) + cn (f 0 )
an (f 0 )
=
i(cn (f ) cn (f )) =
n
n

cn (f ) + cn (f ) =

Remarque 4.1 Avec les notations et hypoth`eses precedentes, on a :

Z 2
1
c0 (f 0 ) =
f 0 (t)dt = 0
2 0
puisque f est 2-periodique. Donc la relation cn (f 0 ) = incn (f ) est valable pour tout n Z.

Probl`
emes dapproximation

Exercice 8

Montrer que pour tout entier naturel n les fonctions :

t 7 (cos(t))n et t 7 (sin(t))n

sont des polyn

omes trigonometriques.
Corection :
Pour tout entier naturel n, on note Pn lensemble des polynomes trigonometriques de degre inferieur ou egal `
a n.
On note P = nN Pn lespace de tous les polynomes trigonometriques, cest-`a-dire lensemble des fonctions de R
dans R, de la forme :
4/11

P : x 7 a0 +

n
X

(ak cos(kx) + bk sin(kx)).

k=1

Montrons maintenant le resultat par recurrence. Pour n = 0 et n = 1, cest evident. En supposant le resultat acquis
pour n 1, on a :
!
m
X
n
n+1
(cos(t))
= (cos(t)) cos(t) = a0 +
(ak cos(kt) + bk sin(kt)) cos(t)
= a0 cos(t) +

m
X

k=1

(ak cos(kt) cos(t) + bk sin(kt) cos(t))

k=1

avec :
cos(kt) cos(t) =

cos((k + 1)t) + cos((k 1)t)

P
2

sin(kt) cos(t) =

sin((k + 1)t) + sin((k 1)t)

P
2

et :

pour k 1, ce qui entrane (cos(t))n+1 P.

On proc`ede de meme pour (sin(t))n .
On peut aussi utiliser les exponentielles complexes et la formule du binome pour ecrire :
(cos(t))n =

n
n
1 X k
1 X k
(exp(it) + exp(it))n
=
C
exp(ikt)
exp(i(n

k)t)
=
Cn exp(i(2k n)t)
n
2n
2n
2n
k=0

k=0

et :
!
n
n
X
Cnk
1 X k
C
exp(i(2k

n)t)
=
cos((2k n)t) Pn .
n
2n
2n

(cos(t)) = Re

k=0

Exercice 9

k=0

Soit f D continue et de classe C 1 par morceaux de R dans R.

1. Montrer que :
+ p
X
an (f )2 + bn (f )2
n=1

r sZ 2

|f 0 (t)|2 dt.
6
0

2. Montrer que pour tous reels a, b, t, on a :

|a cos(t) + b sin(t)|

p
a2 + b2 .

3. Montrer que :
 s Z 2

Z 2


1

sup f (x)
f (t)dt
|f 0 (t)|2 dt.
2 0
6 0
xR
Correction :
1. Dans le cas o`
u f D est continue et de classe C 1 par morceaux, on a :
bn (f 0 )
an (f 0 )
et bn (f ) =
n
n
et linegalite de Cauchy-Schwarz dans lespace des suites reelles de carre sommable nous dit que :
n N? , an (f ) =

+ p
X

an (f )2 + bn (f )2

n=1

ce qui donne, compte tenu de

fonction f 0 D :
+ p
X
n=1

+
X
1p
an (f 0 )2 + bn (f 0 )2
n
n=1
v
v
u +
u +
uX 1 uX
t
t

(an (f 0 )2 + bn (f 0 )2 )
2
n
n=1
n=1

+
X

1
=
et de legalite de Parseval (voir derni`ere section) appliquee `
a la
2
n
6
n=1

an (f )2 + bn (f )2
6

Z
0

r sZ 2

|f 0 (t)|2 dt =
|f 0 (t)|2 dt
6
0
5/11

(on rappelle que a0 (f 0 ) = 0).

2. Si a2 + b2 = 0, cest evident, sinon il existe un reel tel que :
b
a

= cos() et
= sin()
a2 + b2
a2 + b2

2 
2
a
b
(puisque
+
= 1) et :
a2 + b2
a2 + b2
a
b

cos(t) +
sin(t) = cos() cos(t) + sin() sin(t) = cos( t) [1, 1].
2
2
2
a +b
a + b2
On peut aussi ecrire que :
a cos(t) + b sin(t) = a

exp(it) + exp(it)
exp(it) exp(it)
a ib
a + ib
+b
=
exp(it) +
exp(it)
2
2i
2
2

et :
 


p
 a ib   a + ib 
+
 |a + ib| = a2 + b2 .
|a cos(t) + b sin(t)| 



2
2
3. Comme f D est continue et de classe C 1 par morceaux, sa serie de Fourier converge normalement vers f
sur R et on a pour tout reel x :
 +



X



a
(f
)


0
f (x)
 = 
(a
(f
)
cos(nx)
+
b
(f
)
sin(nx))

n
n



2 
n=1

+
X

|an (f ) cos(nx) + bn (f ) sin(nx)|

n=1
s
Z
+ p
X
2 0 2
2
2
an (f ) + bn (f )
|f (t)| dt
6 0
n=1

cest-`
a-dire que :

 s Z 2
Z 2


1

sup f (x)
f (t)dt
|f 0 (t)|2 dt.
2 0
6 0
xR

Un exemple despace pr
ehilbertien

Exercice 10

Montrer que la serie trigonometrique

sin(nx)

est convergente sur R, mais quelle ne peut etre

n

la serie de Fourier dune fonction f D.

Correction : Le theor`eme dAbel nous assure la convergence de la serie trigonometrique pour tout x R\2Z
et pour x 2Z cette serie est nulle. Si cette serie est la serie de Fourier dune fonction f D, cela signifie
1
que an (f ) = 0 pour tout n 0, bn (f ) = pour tout n 1 et le theor`eme de Bessel nous dit que la serie
n


X
X1
1
2
(bn (f )) =
est convergente, ce qui nest pas vrai. On peut en fait remplacer la suite
par nimporte
n
n
n
X
quelle suite reelle (un )nN qui tend vers 0 en decroissant et telle que
u2n = +.
n

Th
eor`
eme de Parseval

Exercice 11

Soit f : R R la fonction regularisee, 2-periodique, impaire, constante egale `a 1 sur ]0, [.

1. Calculer ses coefficients de Fourier trigonometriques.

2. Etudier
la convergence simple ou uniforme de la serie de Fourier vers f .
+
+
X
X
(1)p
1
3. En deduire
et
.
2p
+
1
(2p
+
1)2
p=0
p=0
4. Calculer

+
X
X (1)n
1
et
.
n2
n2
n=1
n1

Correction :
6/11

1. f est impaire donc n N, an (f ) = 0.

Z
Z
Z
1
1 0
1 (1)n
Pour n N? , bn (f ) =
f (t) sin(nt)dt =
(1) sin(nt)dt +
(1) sin(nt)dt = 2
donc


n
Z T Z 2 Z x+T 0Z
4
(on a utilise :
=
=
=
en posant x = ).
b2p (f ) = 0 et b2p+1 (f ) =
(2p + 1)
0
0
x

n
X
4
On en deduit que Sn (x) =
sin((2p + 1)x).
(2p
+
1)
p=0
2. Dapr`es le theor`eme de Dirichlet, la fonction f etant C 1 par morceaux, la serie de Fourier converge simplement
vers la regularisee de f soit lim Sn (x) = f (x), ou encore
n+

lim

n
X

n+

4
sin((2p + 1)x) = f (x).
(2p
+
1)
p=0

Si x0 6= k (x0 nest pas un point de discontinuite), S(x) = f (x), et si x0 = k (x0 est un point de
dicontinuite), etant donne que f (x+ ) = f ( + ) = lim+ f (x) = 1 et f (x ) = f ( ) = lim f (x) = 1,
x

f (x+ ) + f (x )
S(x) =
= 0.
2

(qui nest pas un point de discontinuite)

3. La convergence simple de la serie de Fourier vers f (x) en x =
2
donne :


+ 4 sin (2p+1)
+
+
X
X
2
4 X (1)p

(1)p
=
=1
= .
(2p
+
1)

2p
+
1
2p
+
1
4
p=0
p=0
p=0
+

Legalite de Parseval donne

4.

16
1
1X
=
2 p=0 (2p + 1)2 2
2

f (t)2 dt = 1

+
X

1
2
=
.
2
(2p + 1)
8
p=0

+
+
+
+
+
X
X
X
X
1
1
1
1X 1
1
2
existe
et
=
+
do`
u
=
.
2
2
2
2
2
n
n
(2p + 1)
4 p=1 p
n
6
n=1
n=1
p=0
n=1

Ensuite,
Exercice 12

+
+
+
X
X
(1)n1
1
1X 1
2
2
2
=

=
.
2
2
2
n
(2p + 1)
4 p=1 p
8
24
12
n=1
p=1

Soit f : R R lapplication 2-periodique, paire, telle que x [0, ], f (x) = x.

1. Calculer la serie de Fourier de f .

2. Etudier
la convergence simple ou uniforme de la serie de Fourier de f .
+
+
X
X
1
1
3. Determiner
et
.
(2k + 1)2
(2k + 1)4
k=0

k=0

+
+
X
X
1
1
4. En deduire
et
.
2
4
n
n
n=1
n=1

Correction :
1. Puisque f est paire : n N, bn (f ) = 0. Ensuite,
Z 0



Z
Z
1
2
1 1 2

=
(t)dt +
(t)dt
=
tdt =
t
= .
2
2

2
2
Chasles
parite
0

0
0
0


Z
2 t
2
2
2((1)n 1)
Pour n 1 : an (f ) =
sin(nt)
sin(nt)dt = 2 [cos(nt)]0 =
.
n
n 0
n
n2
0
4
Donc, a2k (f ) = 0, k 1 et a2k+1 (f ) =
, k 0.
(2k + 1)2
n
n
X

4 X cos((2k + 1)x)
Par suite, Sn (x) = a0 (f ) +
ap (f ) cos(px) = +
.
2

(2k + 1)2
p=1

a0 (f ) =

1
2

f (t)dt =

1
2

f (t)dt

k=0

2. f est continue, C par morceaux donc dapr`es le theor`eme de Dirichlet, S(x) = lim Sn (x) = f (x) cest-`
a-dire
n+

+
2

+
X
k=0

cos((2k + 1)x)
= f (x).
(2k + 1)2

7/11

+
X

2
1
=
.
2
(2k + 1)
8
k=0
Par la formule de Parseval :
Z
+
+
1X
1
2
8 X
1
f (t)2 dt = 2a0 (f )2 +
.
a2k+1 (f )2 =
+ 2
2
2
4

(2k + 1)4

3. Pour x = 0, on obtient

k=0

Or

4.

1
2

f (t)2 dt =

+
X

1
existe et
n2
n=1

t2 dt =

+
X

1
=
n2
n=1

+
X
k=0

1 1 3
t
3


=
0

1
1
+
2
(2k + 1)
4

k=0

2
donc
3

+
X
k=1

+
X

4
1
=
.
4
(2k + 1)
96

k=0
+
X

1
do`
u
k2

+
X
2
4
1
1
=
=
.
De
m
e
me,
on
obtient
.
n2
6
n4
90
n=1
n=1

t
sur ]0, ].
2
1. Justifier que f est developpable en serie de Fourier et former ce developpement.
+
X
sin(n)
.
2. En deduire la convergence et la valeur de
n
n=1

Exercice 13

3. Calculer

Soit f : R C, 2-periodique, impaire et verifiant f (t) =

+
X
1
.
n2
n=1

Correction :
1. f est C 1 par morceaux et regularisee donc developpable en serie de Fourier. an (f ) = 0 et, par integration par
1
parties, bn (f ) = . Le developpement en serie de Fourier de f secrit
n
+
X
sin(nt)
f (t) =
.
n
n=1
2. Pour t = 1, on obtient

+
X
1
sin(n)
=
.
n
2
n=1

3. Par la formule de Parseval on a

Z
+
1X 1
1
=
|f (t)|2 dt donc
2 n=1 n2
2

Z
+
X
2 ( t)2
1
2
1
3
=
dt
=
[(

t)
]
=
.
0
n2
0
4
6
6
n=1
Z
Exercice 14

Pour ]0, [, calculer de deux mani`eres la partie reelle de

+
1X

tn exp(i(n + 1))dt afin den

0 n=0
+
X
cos(n)
deduire
.
n
n=1

Z
Correction : Dune part

+
1X

tn exp(i(n + 1))dt =

0 n=0

Z
0

exp(i)
dt =
1 t exp(i)

1
dt ce qui justifie
exp(i) t

lexistence de lintegrale.
Ensuite,
Z 1
Z 1
Z 1
dt
exp(i) t
cos() t
Re
= Re
dt =
dt = ln(2 sin(/2)).
2
exp(i)

t
|
exp(i)

t|
(cos()
t)2 + sin2 ()
0
0
0
Z
Dautre part

+
1X

t exp(i(n + 1))dt =

0 n=0

N
1X

t exp(i(n + 1))dt +

0 n=0

+
X

tn exp(i(n + 1))dt

0 n=N +1

donc
Z

+
1X

tn exp(i(n + 1))dt =

0 n=0

N
X
exp(i(n + 1))
+ N
n+1
n=0

 Z
Z
+
 1 X
  1 tN +1 exp(i(N + 2))  Z 1 tN +1
1


n
avec |N | = 
t exp(i(n + 1))dt = 
dt
dt =
0 o`
u
 0

1

t
exp(i)
m
m
(N
+ 2) N 0

0
0
n=N +1

m = min{|1 t exp(i)|/t [0, 1]} > 0. Ainsi

8/11

+
1X

tn exp(i(n + 1))dt =

0 n=0

+
X
exp(i(n + 1))
n+1
n=0

puis
Z
Re

+
1X

!
n

t exp(i(n + 1))dt

0 n=0

+
X
cos(n)
n
n=1

et enfin


+
X

cos(n)
= ln 2 sin
.
n
2
n=1
Exercice 15

designe un reel de lintervalle ]0, [ et f la fonction 2-periodique definie sur ] , ] par


1 si |x|
f (x) =
.
0 sinon

1. Etudier
la serie de Fourier de f ainsi que sa convergence.
2. Que vaut la somme de cette serie pour x = 0, pour x = ?
+
X
sin2 (n)
3. Calculer
.
n2
n=1
Z +
sin2 (t)
dt.
4. Justifier et calculer
t2
0
Correction :
Z
1. La fonction f est paire donc bn (f ) = 0 et an (f ) =

f (t) cos(nt)dt. On obtient a0 (f ) =

0

2
et an (f ) =

2 sin(n)
pour n N? . La serie de Fourier est alors
n

2 X sin(n) cos(nt)
+
.

n
n1

En vertu du theor`eme de Dirichlet, celle-ci converge en tout point vers la regularisee de f car la fonction f
est de classe C 1 par morceaux. Puisque la regularisee de f nest pas continue, cette convergence ne peut pas
etre uniforme.
2. La regularisee de f prend respectivement les valeurs 1 et 1/2 en 0 et .
3. Par la formule de Parseval, on obtient
Z
+
X
1 2 2
f (t)dt = 2a0 (f )2 +
an (f )2
0
n=1
On en deduit apr`es calculs
+
X
sin2 (n)
( )
=
.
2
n
2
n=1

sin2 (t)
4. La fonction : t
7
est integrable sur ]0, +[ car continue, prolongeable par continuite en 0 et
t2
1
dominee par t 7 2 en +. En decoupant lintegrale
t
Z +
+ Z (n+1)
+ Z
X
X
sin2 (t)
sin2 (t)
sin2 (n + t)
dt
=
dt
=
dt
t2
t2
(n + t)2
0
n=0 n
n=0 0
et donc
Z
0

On a 0 (t) =



+
+ Z
X
sin2 (n) X sin2 (n + t) sin(n2 )
sin2 (t)
dt
=
+

dt.
t2
n2
(n + t)2
(n)2
n=0
n=0 0

2 sin(t)
(t cos(t) sin(t)). Puisque 0 est continue et puisque
t3
t3/2 (t) 0 et t3/2 (t)
t0+

t+

0,
9/11

M
et en particulier
t3/2
M
t [n, (n + 1)], |0 (t)|
.
(n)3/2
Par linegalite des accroissements finis, on a alors
Z  2
  Z



sin (n + t) sin2 (n)
M

dt
dt
=
M


2
2
3/2
3/2
(n
+
t)
(n)
(n)
n
0
0
puis
 + Z 

+
 X sin2 (n + t) sin2 (n) 
X

dt
= C .


2
2
3/2


(n + t)
(n)
n
n=0 0
n=1
Z +
Z +
2

sin (t)

sin2 (t)
+
Ainsi
dt
=
dt = .
+
(
)
et
quand

0
,
on
obtient
t2
2
t2
2
0
0

il existe M R+ verifiant t ]0, +[, |0 (t)|

Exercice 16
1. On note g la fonction 2-periodique definie par g(t) = t sur [0, 2[. Calculer les coefficients de Fourier
trigonometriques de g.
2. Soit f : R R une fonction continue, C 1 par morceaux et 2-periodique. Montrer que
Z 2
+
X
1
bn (f )
( t)f (t)dt.
=
n
2 0
n=1

3. Etablir
que lidentite est encore vraie pour f seulement continue par morceaux.
Correction :
1. En representant la fonction
Z g, on peut voit qu`a la valeur en 0 [2] pr`es, cette fonction est impaire. Par suite
2
2
an (g) = 0 et bn (g) =
( t) sin(nt)dt = .
0
n
2. Puisque f est continue et C 1 par morceaux, f est developpable en serie de Fourier et donc
t [0, 2], f (t) = a0 (f ) +

+
X

(an (f ) cos(nt) + bn (f ) sin(nt)).

n=1

De plus, il y a convergence normale de cette serie de Fourier. On a alors

t [0, 2], ( t)f (t) = a0 (f )( t) +

+
X

( t)(an (f ) cos(nt) + bn (f ) sin(nt))

n=1

avec convergence normale de la serie de fonctions sous-jacente. On peut donc integrer terme `a terme sur le
segment [0, 2] cette serie de fonctions continues et ainsi obtenir

Z 2
Z
Z
+ 
X
an (f ) 2
1
a0 (f )
bn (f ) 2
( t)f (t)dt =
( t)dt +
( t) cos(nt)dt +
( t) sin(nt)dt .
2 0
2
2
2 0
0
n=1
En reconnaissant les coefficients de Fourier de g dej`a calcules
Z 2
+
X
1
bn (f )
.
( t)f (t)dt =
2 0
n
n=1
3. Par polarisation
Z

f (t)g(t)dt =
0

Exercice 17

1
4

Z

(f (t) + g(t))2 dt


(f (t) g(t))2 dt .

Soit t ] 1, 1[. Former le developpement en serie de Fourier de

x 7

Correction :
sin(x)
1 2t cos(x) + t2

=
=
=

sin(x)
.
1 2t cos(x) + t2

a
a
sin(x)
1
+
(avec a =
= )
t exp(ix) t exp(ix) 
exp(ix) exp(ix)
2i
1
Re i exp(ix)
1 t exp(ix)
+
X
tn sin((n + 1)x).
n=0

10/11

La fonction etudiee etant impaire, an (f ) = 0. Par convergence normale obtenue via |t| < 1, on a bn+1 (f ) = tn .
Ainsi lecriture precedente est le developpement en serie de Fourier de la fonction etudiee.
Exercice 18
Correction :

Former le developpement en serie de Fourier de x 7 exp(cos(x)) cos(sin(x)).

+
+
X
X
exp(inx)
1
=
cos(nx). Il reste `a justifier que ce developpement correspond
n!
n!
n=0
n=0
au developpement en serie de Fourier de la fonction. Puisque la fonction est paire, bn (f ) = 0. On a

exp(cos(x)) cos(sin(x)) = Re

1
2

a0 (f ) =

+
X

1
cos(nx)dx.
n=0 n!

Par convergence normale de la serie de fonctions engagee,

a0 (f ) =

+ Z
1 X 1
cos(nx)dx = 2.
2 n=0 n!

On a
an (f ) =

+
X

1
cos(mx) cos(nx)dx.
m=0 m!

Par convergence normale de la serie de fonctions engagee,

an (f ) =
Z

+ Z
1 X 1
cos(mx) cos(nx)dx.
m=0 m!

cos(mx) cos(nx)dx = 0 si m 6= n et

Or

cos(mx) cos(nx)dx = si m = n 6= 0. Ainsi an (f ) =

1
.
n!

Finalement, lecriture
exp(cos(x)) cos(sin(x)) =

+
X
1
cos(nx)
n!
n=0

est bien le developpement en serie de Fourier de la fonction consideree.

Z
1 z cos(t)
cos(nt)dt.
Exercice 19 Pour |z| < 1, calculer
1

2z cos(t) + z 2
0
Correction :


+
1
1 z cos(t)
1
1
1X
=
+
=
(exp(int) + exp(int))z n puis
1 2z cos(t) + z 2
2 1 exp(it)z
1 exp(it)z
2 n=0
+
X
1 z cos(t)
=
cos(nt)z n
1 2z cos(t) + z 2
n=0

avec convergence normale sur [0, ]. Par suite,

Z

1 z cos(t)
cos(nt) = z n
2
1

2z
cos(t)
+
z
2
0
compte tenu de lorthogonalite des fonctions t 7 cos(kt).

R
ef
erences
` Cours de mathematiques. Tome 2, Ana[1] Jacqueline LELONG-FERRAND, Jean-Marie ARNAUDIES.
lyse, 4`eme edition.
[2] Jean-Etienne ROMBALDI. Series enti`eres.
http ://[Link]/rombaldi/Capes/[Link]

11/11