[http://mp.cpgedupuydelome.fr] édité le 10 juillet 2014 Corrections 5
donc la série entière Panxna un rayon de convergence R= 1.
Dans les deux cas, les calculs qui précèdent assure que la fonction somme de cette
série entière est solution de l’équation différentielle
(1 −x2)y00 −xy0+α2y= 0
vérifiant y(0) = 1 et y0(0) = 0. Par unicité des solutions à un tel problème
différentiel, on peut conclure que fest égale à la somme des cette série entière.
Exercice 6 : [énoncé]
Posons f:x7→ sh (arcsin x)
fvérifie l’équation différentielle
(1 −x2)y00 −xy0−y= 0
avec les conditions initiales y(0) = 0 et y0(0) = 1.
Analyse :
Soit Panxnune série entière de rayon de convergence R > 0et de somme S.
La fonction Svérifie sur ]−R, R[l’équation différentielle proposée et les conditions
initiales imposées si, et seulement si,
a0= 0, a1= 1 et ∀n∈N, an+2 =n2+ 1
(n+ 2)(n+ 1)an
Ceci donne
a2p= 0 et a2p+1 =
p
Q
k=1 (2p−1)2+ 1
(2p+ 1)!
Synthèse :
Soit Panxnla série entière déterminée par les coefficients précédemment
proposés.
Pour x6= 0 et up=a2p+1x2p+1 ; on a
up+1
up→ |x|2
donc le rayon de convergence de la série entière étudiée vaut 1. Par les calculs qui
précèdent on peut alors affirmer que sa somme Sest solution de l’équation
différentielle
(1 −x2)y00 −xy0−y= 0
vérifiant les conditions initiales y(0) = 0 et y0(0) = 1. Par unicité des solutions à
un tel problème différentiel, on peut conclure que fest la somme des la série
entière introduite sur ]−1,1[.
Exercice 7 : [énoncé]
a) La fonction fest impaire car produit d’une fonction paire par la primitive
s’annulant en 0 d’une fonction paire.
b) fest solution de l’équation différentielle
y0=xy + 1
c) La fonction t7→ e−t2/2est développable en série entière sur R, ces primitives le
sont donc aussi et, par produit de fonctions développable en série entière, on peut
affirmer que fest développable en série entière sur R. Par imparité, on peut
écrire ce développement
f(x) =
+∞
X
n=0
anx2n+1
et l’équation différentielle donne
∀n∈N?,(2n+ 1)an=an−1et a0= 1
On en déduit
an=2nn!
(2n+ 1)!
Exercice 8 : [énoncé]
a) Pour x∈R, on sait par la série exponentielle
e−x2=
+∞
X
n=0
(−1)n
n!x2n
La fonction x7→ Rx
0et2dtest la primitive s’annulant en 0 de x7→ ex2donc par
intégration de série entière
Zx
0
et2dt=
+∞
X
n=0
1
n!(2n+ 1)x2n+1
Par produit de Cauchy de séries absolument convergente.
f(x)=e−x2Zx
0
et2dt=
+∞
X
n=0
n
X
k=0
(−1)n−k
(n−k)!k!(2k+ 1)x2n+1
De plus fest solution de l’équation différentielle
f0(x)+2xf(x)=1
Diffusion autorisée à titre entièrement gratuit uniquement - dD