UE MAT401
Devoir Surveillé 2, Mercredi 20 Avril 2005
Durée: 1 heure 20 mn
Documents non autorisés
Exercice 1.
On considère l’équation différentielle du second ordre :
ty 00 (t) + 3y 0 (t) − 4t3 y(t) = 0 . (∗)
a. Montrer que si [an tn ]n≥0 est une série entière de rayon de convergence R
strictement positif dont la somme S est solution de l’équation différentielle
(*), on a
∀p ∈ IN∗ , 2p(2p + 1)a4p = a4(p−1)
∀p ∈ IN , a4p+1 = a4p+2 = a4p+3 = 0 .
b. Montrer qu’il existe une unique série entière [an tn ]n≥0 de rayon de conver-
gence R = +∞ dont la somme S est solution de l’équation différentielle (*)
sur IR et satisfait de plus à la condition S(0) = 1 (on calculera explicitement
les coefficients an , n ∈ IN).
c. Exprimer la fonction S trouvée à la question b) en termes de la fonction
sinh (“sinus hyperbolique”) dont on rappellera le développement en série
entière au voisinage de l’origine.
Exercice 2.
a. Soit ζ la fonction définie sur ]1, +∞[ par
∞
X 1
ζ(t) := t
.
k=1 k
En utilisant un théorème du cours que l’on citera avec soin, montrer que la
fonction ζ est une fonction C 1 sur ]1, +∞[ et que la dérivée de ζ sur ]1, +∞[
est la fonction : ∞
0
X log k
ζ : t ∈]1, +∞[7−→ − t
,
k=1 k
où log désigne la fonction logarithme néperien.
b. Soit x un nombre réel strictement positif et (fn )n≥0 la suite de fonctions
sur [0, +∞[ définie par
fn (t) := tx e−nt .
1
Montrer que la suite (fn )n≥0 converge uniformément vers la fonction iden-
tiquement nulle sur [0, +∞[ (on cherchera dans un premier temps où la fonc-
tion fn atteint son maximum sur [0, +∞[).
c. Vérifier pour tout t > 0 l’identité :
n
1 X
−kt e−nt
− e = .
et − 1 k=1 et − 1
d. Montrer que pour tout x > 0, l’intégrale
Z +∞ tx
dt
0 et − 1
est convergente. Déduire de b) que
!
+∞ tx
Z
lim × tx e−nt dt = 0 .
n→+∞ 0 et − 1
e. Déduire de c) et de d) la formule suivante :
+∞ t2x dt ∞ Z +∞
Z
t2x e−kt dt
X
∀x > 0 , =
0 et − 1 k=1 0
Z ∞
= ζ(2x + 1) × u2x e−u du
0
(on pensera à utiliser un changement de variable dans les intégrales impropres
pour passer de la première ligne à la deuxième).
