CY Cergy Paris Université Analyse de Fourier

Licence 3 Mathématiques 2022-2023

Devoir à la maison N◦ 1

Exercice 1. Inégalité de Hilbert.

1.a. Soit k ≥ 0. Vérifier que
∫ 1 ∫ π
x dx = −i
k
ei(k+1)θ dθ.
−1 0

b. Soit P ∈ C[X]. En déduire que

∫ 1 ∫ π
P (x) dx = −i
2
P (eiθ )2 eiθ dθ.
−1 0

∑
N
2.a. Soit Q = ak X k un polynôme à coefficients réels. Considérons la fonction
k=0

∀θ ∈ R, Φ(θ) = Q(eiθ ).

Vérifier que la fonction Φ est 2π-périodique et de classe C ∞ sur R.

b. Calculer les coefficients de Fourier (cn (Φ))n∈Z de la fonction Φ.
c. En déduire que
∫ π ∑
N
|Q(eiθ )|2 dθ = π a2k .
0 k=0

3.a. Montrer que

∫ 1 ∑
N ∑
N
2 ak aℓ
Q(x) dx = .
0 k+ℓ+1
k=0 ℓ=0

b. En déduire l’inégalité de Hilbert

∑
N ∑
N
ak aℓ ∑ N
≤π a2k .
k+ℓ+1
k=0 ℓ=0 k=0

Exercice 2. Fonction continue dont la série de Fourier est divergente.

1.a. Soit q ∈ N. Considérons la fonction 2π-périodique définie par
( 2q + 1 )
∀x ∈ [−π, π], gq (x) = sin |x| .
2

a. Vérifier que la fonction gq est paire, continue et de classe C 1 par morceaux sur R.
b. Vérifier que les coefficients de Fourier (ap,q )p≥0 et (bp,q )p≥1 de la fonction gq sont égaux
à
2 (q + 1/2)
∀p ≥ 0, ap,q = ( ) , et ∀p ≥ 1, bp,q = 0.
π (q + 1/2)2 − p2

1
 ∑
c. En déduire que la série a0,q /2 + p≥1 ap,q est convergente et que sa somme est égale à

a0,q ∑
+∞
+ ap,q = 0.
2
p=1

2. Soit
a0,q ∑
p
∀p ∈ N, σp,q = + an,q .
2
n=1

a. Vérifier que
∀0 ≤ p ≤ q, σp,q ≥ 0.

b. Montrer que la suite (σp,q )p≥q est décroissante, de limite nulle.

c. En déduire que
∀p ∈ N, σp,q ≥ 0.

3.a. Vérifier que ∫ x

du 1 (1 + x)
∀0 < x < 1, = ln .
0 1 − u2 2 1−x
b. Vérifier que
∫ p
q + 1/2 q + 1/2
∀1 ≤ p ≤ q, ≥ dt.
(q + 1/2)2 − p2 p−1 (q + 1/2)2 − t2

c. En déduire que
1 ( )
σq,q ≥ ln 4q + 1 .
π

4. Soit
g2n3 −1 (x)
∀n ≥ 1, ∀x ∈ R, fn (x) = .
n2
a. Vérifier que les fonctions fn sont paires, 2π-périodiques et continues sur R.
∑
b. Vérifier que la série de fonctions n≥1 fn (x) est normalement convergente sur R.
c. En déduire que sa somme S donnée par
∑
+∞
g (x)
2n3 −1
∀x ∈ R, S(x) = ,
n2
n=1

est bien définie, paire, 2π-périodique et continue sur R.

5. Considérons les coefficients de Fourier (Am )m≥0 et (Bm )m≥1 de la fonction S, et les
sommes partielles SM de sa série de Fourier

A0 ∑ ( )
M
∀M ≥ 1, ∀x ∈ R, SM (x) = + Ak cos(kx) + Bk sin(kx) .
2
k=1

a. Montrer que
∑
+∞ a
m,2n3 −1
∀m ≥ 0, Am = , et ∀m ≥ 1, Bm = 0.
n2
n=1

2
b. En déduire que
∑
+∞ σ
M,2n3 −1
∀M ≥ 1, SM (0) = .
n2
n=1

6.a. Montrer que

1 ( 3 )
∀p ≥ 1, S2p3 −1 (0) ≥ 2
ln 2p +1 + 1 .
πp
b. Vérifier que
1 ( 3 )
2
ln 2p +1 + 1 → +∞.
2p p→+∞

c. Conclure que la série de Fourier de la fonction S en x = 0 est divergente.