Vous êtes sur la page 1sur 13

[http://mp.cpgedupuydelome.

fr] édité le 5 mai 2016 Enoncés 1

Développement en série de Fourier Exercice 4 [ 03176 ] [Correction]


Soit f : R → R la fonction paire, 2π-périodique, définie par
Exercice 1 [ 00951 ] [Correction] (
4x2 − π 2 si x ∈ [0 ; π/2]
Soit f une fonction continue 2π périodique. f (t) =
On suppose que la série de Fourier de f converge uniformément. Montrer que 8xπ − 3π 2 − 4x2 sinon
cette convergence a lieu vers la fonction f .
a) Montrer que f est de classe C 1 et calculer exprimer sa dérivée.
b) Calculer les coefficients de Fourier trigonométrique de la fonction f .
Exercice 2 [ 00952 ] [Correction] c) En déduire la valeur de
+∞
Soit f : R → R la fonction régularisée, 2π périodique, impaire, constante égale à 1 X (−1)n
sur ]0 ; π[.
n=0
(2n + 1)3
a) Calculer ses coefficients de Fourier trigonométriques.
b) Étudier la convergence simple ou uniforme de la série de Fourier vers f . Exercice 5 [ 00954 ] [Correction]
c) En déduire Soit f : R → R la fonction 2π périodique définie par
+∞ +∞
X (−1)p X 1
et f (x) = |cos x|
p=0
2p + 1 p=0
(2p + 1)2
a) Calculer les coefficients de Fourier trigonométriques de f .
d) Calculer b) En déduire la valeur
+∞ +∞
X 1 X (−1)n−1 +∞
X (−1)n+1
et
n=1
n2 n=1
n2 4n2 − 1
n=1

Exercice 3 [ 00953 ] [Correction] Exercice 6 [ 00955 ] [Correction]


Soit f : R → R l’application 2π périodique, paire, telle que Soit f : R → C, 2π-périodique, impaire et vérifiant
π−t
∀x ∈ [0 ; π], f (x) = x f (t) = sur ]0 ; π]
2
a) Calculer la série de Fourier de f . a) Préciser la convergence de la série de Fourier de f . La convergence est-elle
b) Étudier la convergence simple ou uniforme de la série de Fourier de f . uniforme ?
b) Calculer la série de Fourier de f .
c) Déterminer
+∞ +∞ c) En déduire la convergence et la valeur de
X 1 X 1
et +∞
(2k + 1)2 (2k + 1)4 X sin n
k=0 k=0
n
d) En déduire n=1
+∞ +∞
X 1 X 1 d) Calculer
2
et +∞
n=1
n n=1
n4 X 1
n 2
n=1

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Enoncés 2

Exercice 7 [ 00956 ] [Correction] a) Montrer que f admet une série de Fourier convergente sur R.
Soit la fonction f : R → R 2π périodique définie par Quel type de convergence est-ce ?
b) Expliciter les coefficients de Fourier de f .
∀x ∈ ]−π ; π], f (x) = ex
c) Pour tout x ∈
/ πZ, montrer l’égalité
a) Calculer les coefficients de Fourier exponentiels de f .

b) En déduire la valeur des sommes 1 X 2x
cotanx = +
x n=1 x2 − (nπ)2
+∞ +∞
X (−1)n X 1
2
et 2
n=0
n +1 n=0
n +1
Exercice 11 [ 00958 ] [Correction]
Soient α ∈ R∗ et f : R → R la fonction 2π périodique définie par
Exercice 8 [ 00957 ] [Correction]
Soient α ∈ R \ Z et f : R → R la fonction 2π périodique définie par f (x) = ch(αx) sur ]−π ; π]

f (x) = cos(αx) sur ]−π ; π] a) Déterminer les coefficients de Fourier an et bn de f .


b) En déduire les valeurs des sommes
a) Déterminer les coefficients de Fourier an et bn de f .
+∞ +∞
b) En déduire les valeurs des sommes X (−1)n X 1
2 2
et
+∞ +∞ n=1
n +α n=1
n + α2
2
X (−1)n−1 X 1
2 − α2
et 2 − α2
n=1
n n=1
n
Exercice 12 [ 00959 ] [Correction]
c) En déduire enfin la valeur de
+∞
X 1 a) Domaine de définition de
n=1
n2
+∞
X 1
S(t) = ?
k2 − t2
k=0
Exercice 9 [ 03695 ] [Correction]
Soit α un réel non entier et f la fonction 2π-périodique donnée par b) Calculer les coefficients de Fourier an et bn de f (x) = cos(αx) définie sur
∀t ∈ ]−π ; π], f (t) = cos(αt) [−π ; π] avec α ∈ R \ Z.
c) Sur quel domaine f coïncide avec son développement en série de Fourier ?
a) Montrer que f est égale à sa somme de Fourier en précisant le type de
d) En déduire une expression de S(t).
convergence de celle-ci.
b) Calculer la somme de Fourier de f .
Exercice 13 [ 00960 ] [Correction]
Existe-t-il une suite (αn ) de réels telle que
Exercice 10 [ 03598 ] [Correction]
Soient α ∈ R \ Z et f : R → R la fonction 2π périodique définie par +∞
X
∀t ∈ [0 ; π], sin t = αn cos(nt) ?
f (t) = cos(αt) sur ]−π ; π] n=0

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Enoncés 3

Exercice 14 [ 00961 ] [Correction] √ a) Montrer que f est définie sur R et étudier sa parité.
La série de Fourier de la fonction f paire 2π-périodique qui vaut x pour b) Montrer que f est développable en série de Fourier.
x ∈ [0 ; π] converge-t-elle uniformément ? Que vaut sa somme ?
c) Calculer, en utilisant un logiciel de calcul formel, l’intégrale
Z +∞
Exercice 15 [ 02883 ] [Correction] cos t
dt
Soit α un réel non entier. −∞ b2 + t2
a) En utilisant la fonction 2π-périodique coïncidant avec x 7→ cos(αx) sur
[−π ; π], calculer d) En déduire les coefficients de Fourier de f .
+∞ e) Exprimer f à l’aide des fonctions usuelles.
X (−1)n
1 + 2α2
n=1
α 2 − n2
b) En déduire Exercice 18 [ 03227 ] [Correction]
+∞
X (−1)n Soit f : R → C, 2π-périodique, impaire et vérifiant
n=1
n2 π−x
0 < x < π =⇒ f (x) =
c) Ici 0 < α < 1. Montrer que 2
Z +∞
tα−1 π a) Calculer
dt = +∞
sin(nx)
1+t sin απ
X
0 S(x) =
n=1
n

Exercice 16 [ 02884 ] [Correction] b) Soit g : R → C, 2π-périodique, impaire, continue et définie par


Soient α ∈ R \ Z et fα l’unique fonction 2π-périodique de R dans R telle que pour
tout x ∈ [−π ; π], g est affine sur [0 ; 1] et ∀x ∈ [1 ; π], g(x) = S(x)
fα (x) = cos(αx)
Démontrer
a) Calculer les coefficients de Fourier de fα . +∞  2 +∞
X sin n X sin n
b) Montrer que =
+∞ n=1
n n=1
n
απ X (−1)n−1
= 1 + 2α2
sin(απ) n2 − α 2 c) Que vaut
n=1 +∞
X sin2 n
c) Si 0 < α < 1, montrer que ?
n=1
n4
+∞
tα−1
Z
π
dt =
0 1+t sin(απ)
Exercice 19 [ 03811 ] [Correction]
Former le développement en série de Fourier de la fonction 2π-périodique donnée
Exercice 17 [ 02885 ] [Correction]
par
Soit a > 0, x réel. On pose
f (t) = |sin t|
+∞
X 1 en précisant la nature de la convergence de cette série.
f (x) =
n=−∞
a2 + (x − 2nπ)2

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Enoncés 4

Exercice 20 [ 03617 ] [Correction]


Soit f : R → C une fonction 2π-périodique et k lipschitzienne. Pour n ∈ Z, on pose
Z 2π
1
cn (f ) = f (t)e−int dt
2π 0

a) Pour tout h ∈ R, on définit la fonction

fh : R → C, x 7→ f (x + h) − f (x)

Calculer cn (fh ) pour tout n ∈ Z.


b) En déduire que
(kh)2
 
X
2 nh 2
sin |cn (f )| ≤
2 4
n∈Z

c) En utilisant la concavité de la fonction sinus, montrer la convergence de la


série X 2
n2 |cn (f )|
n∈Z

d) Que peut-on en conclure ?


Énoncé fourni par le CENTRALE-SUPELEC (CC)-BY-NC-SA

Exercice 21 [ 02510 ] [Correction]


On considère la fonction f définie sur R par

sin t + |sin t|
f (t) =
2
a) Préciser le mode de convergence de la série de Fourier de f .
b) En déduire
+∞ +∞
X 1 X 1
2
et
n=1
4n − 1 n=1
(4n − 1)2
2

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 5

Corrections d’où
+∞
X (−1)p π
=
Exercice 1 : [énoncé] p=0
2p + 1 4
Notons S la série de Fourier de f et Sp les sommes partielles.
L’égalité de Parseval donne
Puisque la fonction f est continue, il y a convergence en moyenne quadratique de
(Sp ) vers f . +∞ Z π
1X 16 1
f (t)2 dt = 1
Z 2π
1 2 2 2
=
|Sp (t) − f (t)| dt → 0 2 p=0 (2p + 1) π 2π −π
2π 0
Par hypothèse, il y a convergence uniforme de (Sp ) vers sa limite que nous avons donc
+∞
notée S et donc il y a aussi convergence en moyenne quadratique X 1 π2
=
Z 2π p=0
(2p + 1)2 8
1 2
|Sp (t) − S(t)| dt → 0 P+∞ 1
2π 0 d) n=1 n2 existe et
Par unicité de la limite pour la convergence en moyenne quadratique, on peut +∞ +∞ +∞
X 1 X 1 1X 1
affirmer f = S. = +
n=1
n2 p=0
(2p + 1)2 4 p=1 p2

d’où
Exercice 2 : [énoncé] +∞
X 1 4X
+∞
1 π2
2
= 2
=
n=1
n 3 p=0 (2p + 1) 6
a) f impaire donc
∀n ∈ N, an = 0 Aussi
+∞ +∞ +∞
Pour n ∈ N∗ , X (−1)n−1 X 1 1X 1 π2 π2 π2
1
Z π
1 − (−1) n = − = − =
bn = f (t) sin(nt) dt = 2 n=1
n2 p=1
(2p + 1)2 4 p=1 p2 8 24 12
π −π nπ
4
donc b2p = 0 et b2p+1 = (2p+1)π .
On a aussi c0 = 0 et pour n ∈ Z, n 6= 0. Exercice 3 : [énoncé]
Z π
1 (1 − (−1)n )
cn = f (t) e−i.nt dt = a) Puisque f est paire :
2π −π i.nπ ∀n ∈ N∗ , bn = 0
b) La fonction f étant C 1 par morceaux, la série de Fourier converge simplement Pour n ∈ N,
vers la régularisée de f . 1
Z π
2
Z π
La convergence ne peut pas être uniforme car la fonction limite n’est pas an = f (t) cos(nt) dt = t cos(nt) dt
π −π π 0
continue.
c) La convergence simple de la série de Fourier vers f (x) en x = π/2 donne : Pour n = 0 : a0 = π.
Pour n > 0 :
+∞ +∞
X 4 sin (2p+1)π 2 4 X (−1)p 
2 t

2
Z π
2((−1)n − 1)
= =1 an = sin(nt) − sin(nt) dt =
p=0
(2p + 1)π π p=0 2p + 1 π n nπ 0 n2 π
0

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 6

Aussi Z π
Exercice 4 : [énoncé]
1 π
c0 = tdt =
2π −π 2
a) Sur [0 ; π/2], on a
et pour n ∈ Z∗ : f (x) = 4x2 − π 2
π π
(−1)n − 1
Z Z
1 1 et donc f est de classe C 1 sur [0 ; π/2] avec
cn = f (t)e−i.nt dt = t cos(nt) dt =
2π −π π 0 n2 π
fd0 (0) = 0 et fg0 (π/2) = 4π
Par suite
+∞ +∞ Sur ]π/2 ; π], on a
1 X π 4 X cos(2k + 1)t
S(f )(t) = a0 + an cos(nt) = − f (x) = 8xπ − 3π 2 − 4x2
2 n=1
2 π (2k + 1)2
k=0
et cette relation est aussi valable pour x = π/2. On en déduit que f est de
1
b) f est continue et C par morceaux, la convergence est donc normale a fortiori classe C 1 sur [π/2 ; π] avec
simple et uniforme.
c) S(f )(t) = f (t). Pour t = 0, on obtient fd0 (π/2) = 4π et fg0 (π) = 0
+∞
X 1 π2 Par parité et périodicité, on peut affirmer que f est de classe C 1 sur R (et un
= dessin serait sûrement très convainquant. . . ) et f 0 est une fonction impaire,
(2k + 1)2 8
k=0 2π-périodique avec
Par la formule de Parseval : (
8x si x ∈ [0 ; π/2]
+∞ +∞
f 0 (t) =
Z π
1 1 1X 2 π2 8 X 1
(f (t))2 dt = a20 + a2k+1 = + 2 8π − 8x sinon
2π −π 4 2 4 π (2k + 1)4
k=0 k=0

Or b) Puisque la fonction f est paire, les coefficients bn sont nuls et


π π
π2
Z 
1 2 1 1 3
(f (t)) dt = t = 2 π
Z
2π −π π 3 0 3 an = f (t) cos(nt) dt
π 0
donc
+∞
X 1 π4 ce qui donne
= 32.(−1)n+1
(2k + 1)4 96 a2n = 0 et a2n+1 =
k=0
P+∞ π(2n + 1)3
1
d) n=1 n2 existe et
après quelques calculs pénibles, ou plus simplement après exploitation de la
+∞
X 1
+∞
X 1 1
+∞
X 1 relation
= + bn (f 0 ) = −nan (f )
n=1
n2 (2k + 1) 2 4 k2
k=0 k=1
voire de la relation
d’où an (f 00 ) = nbn (f 0 ) = −n2 an (f )
+∞
X 1 π2
2
= et en considérant la pseudo dérivée d’ordre 2 de f .
n=1
n 6
c) Puisque la fonction f est de classe C 1 , elle est égale à sa somme de Fourier et
De même on obtient donc
+∞
1 π4 +∞
32 X (−1)n+1
X
=
n 4 90 ∀x ∈ R, f (x) = cos((2n + 1)t)
n=1 π n=0 (2n + 1)3

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 7

En évaluant pour x = 0, on obtient d) Par la formule de Parseval


+∞ +∞
(−1)n π3
Z π
X 1X 1 1 2
3
= = |f (t)| dt
n=0
(2n + 1) 32 2 n=1 n2 2π −π

donc
+∞
2 π (π − t)2 π2
Z
Exercice 5 : [énoncé] X 1 1  3 π

= dt = −(π − t) =
n=1
n2 π 0 4 6π 0 6
a) La fonction f est paire. On obtient pour n ∈ N
(−1)n+1 4 Exercice 7 : [énoncé]
a2n (f ) = et a2n+1 (f ) = 0
π(4n2 − 1)
et bn (f ) = 0 pour n ∈ N∗ . a) Par définition, pour n ∈ Z,
b) La fonction f est de classe C 1 par morceaux, il y a donc convergence uniforme 1
Z 2π
de la série de Fourier vers f . En x = 0, on obtient : cn = f (t)e−int dt
2π 0
+∞
2 X (−1)n+1 4 Après calcul, on obtient
f (0) = +
π n=1 π(4n2 − 1) sh π (−1)n
cn (f ) =
π 1 − in
donc
+∞
X (−1)n+1 π−2 b) La fonction f est de classe C 1 par morceaux (mais pas continue) donc la série
2−1
= de Fourier converge simplement vers la fonction f ∗ régularisée de f avec
n=1
4n 4
(
∗ ex si x ∈ ]−π ; π[
f (x) =
Exercice 6 : [énoncé] ch(π) si x = π

Ainsi
a) f est C 1 par morceaux et régularisée donc la série de Fourier de f converge +∞
sh π X (−1)n inx
simplement vers f en vertu du théorème de Dirichlet. ∀x ∈ R, f ∗ (x) = e
π n=−∞ 1 − in
La convergence ne peut être uniforme car si telle est le cas f serait continue
en 0 en tant que limite uniforme d’une suite de fonctions continues. Pour x = 0, on obtient
+∞
b) La fonction f est paire. On obtient an = 0 et par intégration par parties π X (−1)n
=
bn = 1/n. sh π n=−∞ 1 − in
La série de Fourier de f permet d’écrire
Or
+∞
X sin(nt) +∞ +∞ +∞
f (t) = (−1)n (−1)n
 
X X 1 1 X
n=1
n = −1 + (−1)n + = −1 + 2
n=−∞
1 − in n=0
1 − in 1 + in n=0
n2 + 1
c) Pour t = 1, on obtient
+∞ Par suite
sin n π−1 +∞
(−1)n
X
= X 1 π 
n 2 2
= 1+
n=1
n=0
n +1 2 sh π

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 8

De même avec x = π, on obtient Exercice 9 : [énoncé]


+∞
X 1 1
= (1 + π coth π) a) Par périodicité
n 2+1 2
n=0 f (−π) = f (π) = cos(απ) = cos(−απ)
Ainsi
Exercice 8 : [énoncé] ∀t ∈ [−π ; π], f (t) = cos(αt)
On peut donc affirmer que f est continue et de classe C 1 par morceaux. On
a) La fonction f est paire. On obtient bn = 0 pour n ≥ 1 et en déduit que la série de Fourier de f converge uniformément vers f sur R.
2α sin(απ) b) La fonction f est paire. Après calculs
an = (−1)n−1
π(n2 − α2 ) 2α sin(απ)
an = (−1)n−1 et bn = 0
pour n ∈ N. La série de Fourier de f converge normalement vers f car celle-ci π(n2 − α2 )
est continue et C 1 par morceaux. Par suite
et donc la série de Fourier de f est
+∞
sin(απ) X 2α sin(απ) +∞
f (x) = + (−1)n−1 2 − α2 )
cos(nx) sin(απ) X 2α sin(απ)
απ n=1
π(n + (−1)n−1 2 − α2 )
cos(nt)
απ n=1
π(n
b) Pour x = 0, on obtient
+∞
(−1)n−1
 
X 1 απ Exercice 10 : [énoncé]
= − 1
n=1
n2 − α2 2α2 sin(απ)

et pour x = π, a) La fonction f est continue et de classe C 1 par morceaux sur R car elle l’est
+∞ sur [−π ; π]. On en déduit que la série de Fourier de f converge uniformément
X 1 1 − απ cot απ
2 − α2
= vers f .
n=1
n 2α2
b) Après calculs, pour n ∈ N,
P+∞ 1
c) Il y a convergence normale de n=1 n2 −α 2 pour α ∈ [0 ; 1/2] donc quand
2α sin απ
an = (−1)n−1 et bn = 0
+∞ +∞ π(n2 − α2 )
X 1 X 1
2
= lim 2 − α2
n=1
n α→0
n=1
n c) Pour tout t = π, la convergence de la série de Fourier de f donne
Quand x → 0, +∞
1 1 sin απ X 2α sin(απ)
cot x = − x + o(x) cos(απ) = +
x 3 απ n=1
π(α2 − n2 )
donc quand α → 0,
1 − απ cot απ π2 et en posant x = απ on obtient

2α2 6 +∞
sin x X 2x sin x
d’où cos x = +
+∞ x x2 − (nπ)2
X 1 π2 n=1
2
=
n=1
n 6 ce qui fournit la relation demandée.

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 9

Exercice 11 : [énoncé] Exercice 13 : [énoncé]


Soit f la fonction 2π périodique paire définie sur [0 ; π] par f (t) = sin t. f est
a) La fonction f est paire. On obtient bn = 0 pour n ≥ 1 et continue et C 1 par morceaux. Sa série de Fourier converge donc normalement vers
f et cela permet d’écrire
2α sh απ
an = (−1)n +∞
π(α2 + n2 ) 1 X
∀t ∈ [0 ; π], sin t = a0 (f ) + an (f ) cos(nt)
2
pour n ∈ N. La série de Fourier de f converge normalement vers f car celle-ci n=1
est continue et C 1 par morceaux. Par suite
d’où le résultat.
+∞ π π
sh απ 2α sh απ
Z Z
X 2 1
f (x) = + (−1)n 2 + n2 )
cos nx an (f ) = sin t cos(nt) dt = sin(n + 1)t − sin(n − 1)t dt
απ n=1
π(α π 0 π 0

b) Pour x = 0, on obtient Si n = 1,
a1 (f ) = 0
+∞
(−1)n
 
X 1 απ Si n 6= 1,
= −1
n=1
n2 + α 2 2α2 sh(απ) π π
2(1 + (−1)n )
 
1 cos(n + 1)t 1 cos(n − 1)t
an (f ) = − − − =−
et pour x = π, π n+1 0 π n−1 0 π(n2 − 1)
+∞
X 1 απ coth(απ) − 1
2 + α2
=
n=1
n 2α2
Exercice 14 : [énoncé]
Le problème est qu’ici f n’est pas de classe C 1 par morceaux puisqu’elle n’admet
Exercice 12 : [énoncé] de dérivée à droite et à gauche en 0.
Pour n > 0, on a bn = 0 et

2 π√
Z π
a) S(t) est définie sur R \ Z. 2 √
Z
π 1 sin(nx)
2α sin απ an = x cos(nx) dx = x sin(nx) 0 − √ dx
b) an = (−1)n−1 π(n 2 −α2 ) et bn = 0. π 0 πn nπ 0 x
c) Puisque f est continue et C 1 par morceaux, le théorème de convergence donc
normale assure que la série de Fourier de f converge vers f sur R. Z π Z nπ
d) Pour x = π, on obtient : 1 sin(nx) 1 sin(u)
an = − √ dx = − 3/2 √ du
nπ 0 x n π 0 u
+∞
sin απ X 2α sin απ Or l’intégrale
cos απ = − +∞
π(n2 − α2 )
Z
απ sin u
n=1 √ du
0 u
donc
+∞ est convergente comme on peut le vérifier à l’aide d’une intégration par parties sur
X 1 1 π cot απ
2 − α2
= 2
− [1 ; +∞[
n 2α 2α 
n=1 Par conséquent, an = O 1/n3/2 donc la série de Fourier de f est normalement
puis convergente.
1 π cot απ Étant continue, la série de Fourier converge en moyenne quadratique vers f et
S(t) = − −
2α2 2α donc sa somme est égale à f .

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 10

Exercice 15 : [énoncé] Exercice 16 : [énoncé]

a) La fonction 2π-périodique étudiée est continue et de classe C 1 par morceaux a) La fonction f est paire donc bn = 0 pour n ≥ 1 et
dont développable en série de Fourier.
2 π
Z
2α(−1)n sin(απ) an = cos(αt) cos(nt) dt
an = et bn = 0 π 0
π(α2 − n2 )
En exploitant
La valeur en 0 de ce développement permet d’établir :
1
+∞ cos(a) cos(b) = (cos(a + b) + cos(a − b))
X (−1)n απ 2
1 + 2α2 2 − n2
=
n=1
α sin(απ) on obtient au terme des calculs
P+∞ n 2α sin απ
b) Par convergence normale, la fonction α 7→ n=1 n(−1) 2 −α2 est continue sur an = (−1)n−1
π(n2 − α2 )
[0 ; 1/2]. En passant à la limite quand α → 0, on obtient
+∞ pour n ∈ N.
(−1)n π2
  
X 1 απ
2
= lim 2
− 1 =− b) La fonction f est continue et de classe C 1 par morceaux donc sa série de
n=1
n α→0 2α sin(απ) 12 Fourier converge uniformément vers elle-même. On peut alors écrire
c) a0 X
+∞
Z +∞ α−1 Z 1 α−1 Z +∞ α−1 ∀x ∈ R, f (x) = + an cos(nx)
t t t
dt = dt + dt 2 n=1
0 1+t 0 1 + t 1 1 +t
1 Z 1X+∞ N Z 1 1 +∞ ce qui donne
tα−1
Z X Z X
n α−1+n n α−1+n n α−1+n
dt = (−1) t dt = (−1) t dt+ (−1) t dt +∞
0 1+t 0 n=0 n=0 0 0 n=N +1 sin απ X 2α sin απ
f (x) = + (−1)n−1 2 − α2 )
cos(nx)
Par le critère spécial des séries alternées, απ n=1
π(n
Z +∞
Z
1 X 1
1 Pour x = 0, on obtient
(−1)n tα−1+n dt ≤ tα+N dt = →0

N + α+1

0 0 +∞
sin απ X (−1)n−1

n=N +1 sin απ
1= + 2α2
donc απ απ n=1 n2 − α2
1 +∞ Z 1 +∞
tα−1 (−1)n
Z X X
n α−1+n
dt = (−1) t = puis la relation voulue.
0 1+t n=0 0 n=0
n+α
c) La fonction
Par u = 1/t, tα−1
f : t 7→
+∞ 1 +∞ 1+t
tα−1 u−α (−1)n−1
Z Z X
dt = du = est définie et continue par morceaux sur ]0 ; +∞[. On vérifie f (t) ∼ tα−1 et
1 1+t 0 u+1 n=1
n−α t→0
f (t) ∼ 1/t2−α ce qui assure l’intégrabilité de f .
par la même démarche qu’au dessus. t→+∞

Par suite Par sommation géométrique


Z +∞ α−1 +∞
t 1 X (−1)n π Z 1 α−1 +∞
Z 1X
dt = + 2α = t
0 1 + t α α 2 − n2 sin(απ) dt = (−1)n tn+α−1 dt
n=1 0 1 + t 0 n=0

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 11

En décomposant la somme en deux Exercice 17 : [énoncé]

1 N
1X 1 +∞
tα−1
Z Z Z
1 1
P P
dt == (−1)n tn+α−1 dt +
X
(−1)n tn+α−1 dt a) Les séries n≥1 a2 +(x−2nπ) 2 et n≥1 a2 +(x+2nπ)2 sont absolument
0 1+t 0 n=0 0 n=N +1 convergentes donc f est définie sur R.
+∞  
D’une part 1 X 1 1
f (x) = 2 + + 2
a + x2 n=1 a2 + (x − 2nπ)2 a + (x + 2nπ)2
N
1X N +∞
(−1)n (−1)n
Z X X
(−1)n tn+α−1 dt = −→ est paire.
0 n=0 n=0
n+α N →+∞
n=0
n+α
b) Par translation d’indice, on observe que f est 2π-périodique.
la convergence de la série étant acquise par le critère spécial des séries Posons
1 1
alternées. fn (x) = 2 + 2
a + (x − 2nπ) 2 a + (x + 2nπ)2
D’autre part
P 0
fn est de classe C 1 ,
P
Z Z fn converge simplement et fn converge
1 X+∞
1 normalement sur [−π ; π] donc f est continue et C 1 par morceaux donc

n n+α−1
(−1) t dt ≤ tN +α dt =

N + 1+α développable en série de Fourier.

0 [0;1[
n=N +1
c)
+∞
la majoration de la somme étant obtenue par majoration du reste d’une série π eb
Z
cos t
vérifiant le critère spécial des séries alternées. dt =
−∞ b2 +t 2 b
On peut alors affirmer en passant à la limite quand N → +∞
d) f est paire donc bn = 0 pour tout n ∈ N∗ .
Z 1
tα−1
+∞
X (−1)n Pour n ∈ N,
dt =
0 1+t n+α Z Z π Z +∞
π X
n=0 1 1 cos(nt) 1 cos(nt) cos(nt)
an = f (t) cos(nt) = 2 2
dt+ + 2
Puisque par changement de variable π 2π π −π a +t π −π n=1 a2 + (t − 2nπ)2 a + (t + 2n
Z +∞
tα−1
Z 1
u−α Par convergence de la série des intégrales des valeurs absolues,
dt = du
1 1 + t u=1/t 0 u+1 +∞ Z π
1 X cos(nt)
an = 2 + (t − 2kπ)2
dt
on a aussi π −π a
k=−∞
+∞ +∞
tα−1 (−1)n
Z X
dt = En translatant les intégrales,
1 1+t n=0
n + (1 − α)
1 +∞ cos(nt) n +∞ cos u
Z Z
On en tire an = dt = du
Z +∞
tα−1
+∞
1 X (−1)n X (−1)n−1
+∞ π −∞ a2 + t2 π −∞ b2 + u2
dt = + +
0 1+t α n=0 n + α n=1 n − α avec b = an pour n 6= 0 et a0 = a1 .
et finalement e)
+∞ +∞ +∞
tα−1 (−1)n−1 1 ea (cos t − ea )
Z  
1 X π 1 1 X an 1 1
dt = + 2α = f (t) = + e cos(nt) = −1 + Re a+it
=
0 1+t α n=1
n 2 − α2 sin(απ) 2a a n=1 a 1−e a 1 − 2 ea cos t + e2a

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 12

Exercice 18 : [énoncé] Exercice 20 : [énoncé]

a) La fonction f est de classe C 1 par morceaux et régularisée donc développable a) Par 2π-périodicité
en série de Fourier. Z 2π Z 2π+h Z 2π
an = 0 et par intégration par parties bn = 1/n. −int −inu inh
f (t + h)e dt = f (u)e e du = f (u)e−inu einh du
Le développement en série de Fourier de f s’écrit 0 h 0

+∞ donc
X sin(nx)
f (x) = = S(x) cn (fh ) = (einh − 1)cn (f )
n=1
n
b) On a
b) Pour x = 1, on obtient nh
+∞ cn (fh ) = 2ieinh/2 sin cn (f )
X sin n π−1 2
=
n=1
n 2 donc
nh
2 2
|cn (fh )| = 4 sin2
|cn (f )|
La fonction g est de classe C 1 par morceaux et continue donc développable en 2
série de Fourier. puis par la formule de Parseval et la lipschitzianité de f
an = 0 et
Z 2π
(kh)2
 
X nh 2 1 1 2
2 1 π−1 2 π π−t sin2 |cn (f )| = × |fh (t)| dt ≤
Z Z
bn = t sin(nt) dt + sin(nt) dt 2 4 2π 0 4
π 0 2 π 1 2 n∈Z

Après calculs c) Par la concavité de la fonction sinus sur [0 ; π/2], le graphe est au dessus de la
sin n corde donc
bn = 2 2
n ∀x ∈ [0 ; π/2], sin x ≥ x
On a alors π
+∞ +∞
X sin2 n X sin n Ainsi pour |nh| ≤ π on a
g(1) = 2
= S(1) =
n n
n2 h2
 
n=1 n=1
2 2 nh 2
2
|cn (f )| ≤ sin |cn (f )|
c) Par la formule de Parseval π 2

+∞ et donc
1 X sin2 n 1 π (π − 1)2
Z
2
= |g(t)| dt = X n2 h2 (kh)2
 
2 n=1 n4 π 0 6 2
X
2 nh 2
2
|cn (f )| ≤ sin |cn (f )| ≤
π 2 4
|nh|≤π nZ

Exercice 19 : [énoncé] Ainsi


La fonction f est paire, continue et de classe C 1 par morceaux. Sa série de Fourier
X 2 (kπ)2
n2 |cn (f )| ≤
converge donc uniformément vers elle-même. Après calculs, on obtient 4
|nh|≤π

2 X
+∞
4 Ceci valant pour tout h > 0, Pon peut en considérant h → 0+ assurer que les
f (t) = − cos(2pt) 2
π p=0 π((2p)2 − 1) sommes partielles de la série n2 |cn (f )| sont bornée et que donc cette série
converge.

Diffusion autorisée à titre entièrement gratuit uniquement - dD


[http://mp.cpgedupuydelome.fr] édité le 5 mai 2016 Corrections 13

d) Pour tout t ∈ R,
 
1 1 2
sup cn (f )eint = |cn (f )| ≤ + n2 |cn (f )|

t∈R 2 n2
en vertu de l’inégalité 2ab ≤ a2 + b2 . Par comparaison de séries à termes
positifs, on peut affirmer la convergence normale de la série des fonctions
t 7→ cn (f )eint . Cette convergence normale entraîne une convergence en
moyenne quadratique qui ne peut avoir lieu que vers f (qui est continue car
lipschitzienne). On peut donc conclure que la série de Fourier de f converge
normalement vers f sur R.

Exercice 21 : [énoncé]

a) La fonction f est continue, 2π-périodique et de classe C 1 par morceaux. La


série de Fourier de f converge donc uniformément vers f .
b) Après calculs
2
a2n (f ) = − , a2n+1 (f ) = 0
π(4n2 − 1)
et
b1 (f ) = 1/2 et bn (f ) = 0 pour n > 1
La série de Fourier de f est donc
+∞
1 1 X 2
+ sin(t) + − 2 − 1)
cos(nt)
π 2 n=1
π(4n

En calculant en t = 0, on obtient

X 1 1
2−1
=
n=1
4n 2

(ce qui aurai pu aussi s’obtenir par décomposition en éléments simples puis
télescopage).
Par la formule de Parseval
+∞
1 1 1 2 X 1
= 2
+ +
4 4π 8 π n=1 (4n − 1)2
2 2

et donc
+∞
X 1 π2 1
= −
n=1
(4n2 − 1) 2 16 2

Diffusion autorisée à titre entièrement gratuit uniquement - dD

Vous aimerez peut-être aussi