Université des Sciences des Techniques Année universitaire 2023-2024

et des Technologies de Bamako (USTTB)

Faculté des Sciences et Techniques (FST)
DER Maths & info

Devoir n◦ 2 d’Analyse 4

Exercice 1. (7 pts)
On appelle fonction ζ de Riemann la fonction de la variable x ∈ R définie par la formule
X 1
ζ(x) = .
nx
n≥1

1. Donner le domaine de définition de ζ et démontrer qu’elle est strictement décrois-

sante sur celle-ci.
2. Prouver que ζ est continue sur son domaine de définition.
3. Déterminer lim ζ(x).
x→+∞
4. (a) Montrer que pour tout entier k ≥ 1 et tout s > 0, on a
Z k+1
1 dx 1
≤ ≤ s.
(k + 1)s k x s k

1
(b) En déduire que : ζ(x) ∼ .
1+ x−1
Exercice 2. (7 pts) Soit α un réel strictement positif.
1. Montrer, pour tout entier naturel n et pour tout réel x positif, que
n x
(−1)k xαk+1 1 − (−tα )n+1
X Z
= dt.
αk + 1 0 1 + tα
k=0

2. Montrer, pour tout x ∈ [0, 1], que

+∞ x
(−1)k xαk+1
Z
X dt
= .
αk + 1 0 1 + tα
k=0

Préciser cette formule lorsque α = 1 et α = 2.

+∞ +∞
X (−1)k X (−1)k
3. Calculer la somme des séries numériques : et .
2k + 1 k2k
k=0 k=1

Exercice 3. (7 pts) Soit f la fonction 2π-périodique sur R telle que f (x) = x2 si |x| ≤ π.
1. Déterminer la série de Fourier de f .
Z π +∞
4
X 1
2. Calculer x dx. En déduire la valeur de .
−π n4
n=1
+∞
π2 X (−1)n cos(nx)
3. Montrer que : x2 = +4 .
3 n2
n=1
+∞ +∞
X 1 X (−1)n
En déduire et .
n2 n2
n=1 n=1
USTTB Devoir n◦ 2 d’Analyse 4 FST

Solution de l’exercice 1.
1. La série définissant ζ(x) est une série de Riemann. Elle est convergente si et seule-
ment si x > 1. Donc le domaine de définition de ζ est D =]1, +∞[.
De plus, pour chaque n ≥ 1, les fonctions x 7→ n−x sont décroissantes, et même
strictement décroissantes pour n ≥ 2. Pour 1 < x < t, on a donc
X 1 X 1
1 + 2−x > 1 + 2−t et x
≥ .
n nt
n≥3 n≥3

Ajoutant les deux inégalités on en déduit que

ζ(x) > ζ(t),

ce qui prouve que ζ est décroissante.

2. Chaque fonction x 7→ n−x est continue sur son domaine de définition. Il suffit de
démontrer que la série de fonctions converge normalement, donc uniformément, sur
tout intervalle du type [a, +∞[, avec a > 1, pour prouver que la fonction est continue
sur ]1, +∞[. Or, pour tout s ∈ [a, +∞[, on a

1 1
≤ a,
nx n

et le terme de droite est le terme général d’une série numérique convergente. Ceci
prouve la convergence normale de f sur [a, +∞[.
3. Puisque la série définissant ζ converge uniforméméent sur [a, +∞[, on peut appliquer
le théorème d’interversion des limites, et on obtient
X 1

lim ζ(x) = lim x = 1.
x→+∞ x→+∞ n
n≥1

1 1 1
4. Pour t ∈ [k, k + 1], on a : ≤ x ≤ x.
(k + 1)s t k
En intégrant cette inégalité entre k et k + 1, on trouve
Z k+1
1 dt 1
≤ ≤ x.
(k + 1)s k tx k

On somme maintenant ces deux inégalités pour k allant de 1 à +∞. On obtient

Z +∞
dt
ζ(x) − 1 ≤ ≤ ζ(x).
1 tx
Z +∞
dt 1
Or x
= . On obtient finalement :
1 t x−1
1 1
≤ ζ(x) ≤ +1 ⇐⇒ 1 ≤ (x − 1)ζ(x) ≤ 1 + (x − 1) = x.
x−1 x−1
Par le théorème des gendarmes, (x − 1)ζ(x) tend vers 1 lorsque x tend vers 1.
1
D’où l’on obtient : ζ(x) ∼ x−1 .
1+

Solution de l’exercice 2. Soit α un réel strictement positif.

1. Pour tout réel positif t et pour tout entier naturel n, la formule exprimant la somme
des n premiers termes d’une suite géométrique nous donne
n
X 1 − (−tα )n+1
(−tα )k = .
1 + tα
k=0

Année universitaire 2023-2024 2 DER de maths & info

USTTB Devoir n◦ 2 d’Analyse 4 FST

Les fonctions considérées étant continues, on peut intégrer sur [0, x], et donc par
linéarité de l’intégrale
n
xX n x n
(−1)k xαk+1
Z X Z X
α k k αk
(−t ) dt = (−1) t dt = .
0 k=0 0 αk + 1
k=0 k=0

L’égalité demandée en résulte.

2. D’après la forrmule précédente, pour tout entier naturel n
n x x x α(n+1)
(−1)k xαk+1 (−tα )n+1
Z Z Z
X dt t
− = − dt = dt.
αk + 1 0 1 + tα 0 1 + tα 0 1 + tα
k=0

1
Par ailleurs, pour tout t ≥ 0, ≤ 1 et donc
1 + tα
n x x
(−1)k xαk+1 xα(n+1)+1
Z Z
X dt
− ≤ tα(n+1) dt = .
αk + 1 0 1 + tα 0 α(n + 1) + 1
k=0

xα(n+1)+1
Il s’ensuit, puisque lim = 0, que
n→+∞ α(n + 1) + 1

n x
(−1)k xαk+1
Z
X dt
lim = .
n→+∞ αk + 1 0 1 + tα
k=0

En particulier, pour tout x ∈ [0, 1],

+∞ +∞
X (−1)k−1 X (−1)k 2k+1
ln(1 + x) = xk et arctan x = x .
k 2k + 1
k=1 k=0

3. Il est alors immédiat que

+∞ +∞
X (−1)k π X (−1)k π
— Pour x = 1 on obtient : = arctan 1 = =⇒ = .
2k + 1 4 2k + 1 4
k=0 k=0
+∞ +∞
1 X (−1)k X (−1)k−1 1 2
— Pour x = on obtient : = − = − ln(1 + ) = ln =⇒
2 k2k k2k 2 3
k=1 k=1
+∞
X (−1)k 2
= ln .
k2k 3
k=1

Année universitaire 2023-2024 3 DER de maths & info