CPGE IBN TIMIYA - MARRAKECH
Exercice 17 - TD - 9
MP 3
Préliminaire.
+∞
X 1
Déterminer l’ensemble de définition de la fonction ζ qui à x ∈ R associe ζ(x) = .
n=1
nx
π2
On admettra dans tout le problème que ζ(2) = .
6
Pour tout n ∈ N∗ , on définit la fonction un de R∗+ dans R par :
x x
∀x > 0 , un (x) = − ln 1 + .
n n
Question 1.
1.1. Vérifier que ∀n ∈ N∗ , ∀x > 0 , un (x) ≥ 0.
1.2. Montrer que la série de fonctions de terme général un converge simplement sur ]0, +∞[.
+∞
X
Dans toute la suite du problème, un est notée S et γ désigne la valeur de S(1).
n=1
Question 2.
2.1. Prouver que S est dérivable sur [a, b].
2.2. En déduire que S est dérivable sur ]0, +∞[ et que :
+∞
dS X 1 1
∀x > 0 , (x) = − .
dx n=1
n n+x
Question 3.
p
X 1
Soit p ∈ N∗ . Montrer que lorsque p tend vers l’infini : = ln p + γ + o(1).
n=1
n
Question 4.
4.1. Prouver que :
p p
X X 1
un (x + 1) − un (x) = + ln(1 + x) − ln(p + 1 + x).
n=1 n=1
n
4.2. En déduire que :
∀x > 0 , S(x + 1) = S(x) + γ + ln(1 + x).
Question 5.
Soit ϕ la fonction définie de R∗+ dans R telle que :
1
∀x > 0 , ϕ(x) = exp −γx + S(x) .
x
5.1. Montrer que ∀x > 0 , ϕ(x + 1) = x ϕ(x).
5.2. Vérifier que ϕ est dérivable sur ]0, +∞[.
dϕ dϕ
Calculer (x) pour x > 0. Que vaut (1) ?
dx dx
Question 6.
Pour n ≥ 1, soit ϕn la fonction de R∗+ dans R telle que :
nx n!
∀x > 0 , ϕn (x) = .
x(x + 1) . . . (x + n)
Montrer que ∀x > 0 , ln ϕn (x) tend vers S(x) − xγ − ln x quand n tend vers +∞.
Question 7.
x
p exp
n (p entier naturel > 0).
Y
On note πp = x
n=1 1 +
n
7.1. Prouver la convergence de la suite (πp )p≥1 vers une limite L(x).
L(x)
7.2. En déduire que : ∀x > 0 , ϕ(x) = exp(−xγ).
x
1
Corrigé de DL36 MP3
Préliminaire.
La série de Riemann définissant ζ(x) converge si et seulement si x > 1, donc
L’ensemble de définition de la fonction ζ est ]1, +∞[.
Question 1.
x
1.1. Par concavité de la fonction ln, j’ai : ∀t > 0 , ln t ≤ t − 1, d’où, avec t = 1 + :
n
∀n ∈ N∗ , ∀x > 0 , un (x) ≥ 0.
1.2. Du développement limité de t 7→ ln(1 + t) en 0, je déduis, pour x > 0 fixé :
x2
x x 1 x 2 1
ln 1 + =n→∞ − · +o d’où un (x) ∼n→∞
n n 2 n n2 2n2
P
il en résulte, par comparaison à une série de Riemann, que la série numérique un (x) converge, cela pour tout x > 0,
autrement dit :
La série de fonctions de terme général un converge simplement sur ]0, +∞[.
Question 2.
2.1. Les fonctions un sont de classe C 1 sur [a, b], avec
1 1 x b
∀x ∈ [a, b] , u0n (x) = − d’où |u0n (x)| = ≤ 2.
n n+x n(x + n) n
X b P 0
Or, la série numérique converge. Ainsi, la série de fonctions un converge normalement sur [a, b] ; a fortiori,
n2 P
elle converge uniformément sur tout segment de [a, b] ; comme je viens de voir que un converge simplement sur
[a, b], je peux appliquer le théorème de dérivation terme à terme d’une série de fonctions : S est dérivable sur [a, b] (et
X∞
S0 = u0n ). En particulier
n=1
S est dérivable sur [a, b].
2.2. Le résultat précédent est établi pour tout couple (a, b) tel que 0 < a < b ; par conséquent :
+∞
dS P 1 1
S est dérivable sur ]0, +∞[ et : ∀x > 0 , (x) = − .
dx n=1 n n+x
Question 3.
Par définition des un , j’ai :
p p p p
X X 1 X X 1
un (1) = − ln(n + 1) − ln n = − ln(p + 1)
n=1 n=1
n n=1 n=1
n
d’où, puisque γ = S(1),
p p p
X 1 X X 1
− ln p − γ = un (1) + ln(p + 1) − ln p − S(1) = un (1) − S(1) + ln 1 + ,
n=1
n n=1 n=1
p
∞
X
qui tend vers 0 lorsque p tend vers l’infini, puisque S(1) = un (1). Autrement dit :
n=1
p
X 1
=p→∞ ln p + γ + o(1).
n=1
n
Question 4.
2
4.1. Fixons p ∈ N∗ et x > 0 ; j’ai
x+1 x+1 x x
∀n ∈ [[1, p]] , un (x + 1) − un (x) = − ln 1 + − + ln 1 +
n n n n
1
= − ln(n + x + 1) + ln(n + x)
n
En sommant, il reste après l’hécatombe :
p p
X X 1
un (x + 1) − un (x) = + ln(1 + x) − ln(p + 1 + x).
n=1 n=1
n
4.2. Soit x > 0 fixé ; j’ai pour p ∈ N∗ , d’après les résultats précédents :
p
X p
X
un (x + 1) − un (x) =p→∞ ln p + γ + o(1) + ln(1 + x) − ln(p + 1 + x)
n=1 n=1
1+x
=p→∞ γ + ln(1 + x) − ln 1 + + o(1),
p
d’où, par unicité de la limite lorsque p tend vers l’infini : S(x + 1) − S(x) = γ + ln(1 + x), autrement dit :
∀x > 0 , S(x + 1) = S(x) + γ + ln(1 + x).
Question 5.
5.1. Soit x > 0 ; d’après le résultat précédent,
1
ϕ(x + 1) = exp −γ(x + 1) + S(x + 1)
x+1
1
= exp −γ(x + 1) + S(x) + γ + ln(x + 1)
x+1
1
= exp −γx + S(x) exp ln(x + 1)
x+1
= exp −γx + S(x) ,
soit :
∀x > 0 , ϕ(x + 1) = x ϕ(x).
5.2. Nous avons vu que S était dérivable sur ]0, +∞[, donc, exp étant dérivable sur R, en vertu des théorèmes opératoires
classiques :
ϕ est dérivable sur ]0, +∞[.
J’applique les formules de dérivation d’un produit et d’une fonction composée :
1 1
∀x > 0 , ϕ0 (x) = − 2 exp −γx + S(x) + −γ + S 0 (x) exp −γx + S(x) ,
x x
soit
1
∀x > 0 , ϕ0 (x) = − − γ + S 0 (x) · ϕ(x).
x
Comme S(1) = γ, j’ai ϕ(1) = 1 ; de plus, d’après 2.2.,
p !
0
X 1 1 1
S (1) = lim − = lim 1 − = 1,
p→∞
n=1
n n+1 p→∞ p+1
d’où finalement :
ϕ0 (1) = −γ.
Question 6.
Soient n ≥ 1 et x > 0, j’ai par définition de ϕn :
n
X n
X
ln ϕn (x) = x ln n + ln k − ln x − ln(x + k)
k=1 k=1
n
X x
= x ln n − ln 1 + − ln x
k
k=1
n n
X X x
= x ln n + un (x) −
− ln x
n
k=1 k=1
n n
!
X X 1
= un (x) − x − ln n − ln x
k
k=1 k=1
3
D’où, par définition de S et grâce au 3.,
∀x > 0 , ln ϕn (x) tend vers S(x) − xγ − ln x quand n tend vers +∞.
Question 7.
7.1. Soient p ∈ N∗ et x > 0 ; πp est dans R+∗ et
p p p
X x X x X
ln πp = − ln 1 + = un (x) −→p→∞ S(x).
n=1
n n=1 n n=1
D’où, par continuité de la fonction exp :
La suite (πp )p≥1 converge vers L(x) = exp S(x).
7.2. Alors, par définition même de ϕ :
L(x)
∀x > 0 , ϕ(x) = exp(−xγ).
x