Professional Documents
Culture Documents
Ficpdffic00126 PDF#Page19
Ficpdffic00126 PDF#Page19
Séries entières
* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile
I : Incontournable
Exercice 1 **
Déterminer le rayon de convergence de la série entière proposée dans chacun des cas suivants :
1. Â+• n n
n=1 (ln n) z
p n n
2. Â+•
n=1 ( n) z
2 n
3. Â+•
n=0 (ln(n!)) z
1 n4 n
4. Â+•
n=1 2 ch 1n + cos 1n z
n
C2n
5. Â+• n
n=1 nn z
a
(ln(n!)) n
6. Â+•
n=1 n!b
z
a n
7. Â+• n ⇤ 2
n=0 1+bn z , (a, b) 2 (R+ )
Exercice 2
Calculer les sommes suivantes dans leur intervalle ouvert de convergence après avoir déterminé le rayon de
convergence de la série proposée.
1 3n n x n n
1) (**) Â+• n 2) (**) Â+• 3) (** I) Â+• 4) (**) Â+• n
n=2 n(n 1) x n=0 n+2 x n=0 2n+1 n=0 (2n+1)! x
x4n n n 1 n n +4n 1 n 2
5) (*) Â+•
n=0 (4n)! 6) (**) Â+• 7) (** I) Â+•
n=0 (ch n)x n=1 Âk=1 k x 7) Â+•
n=0 n!(n+2) x
9) (** I) Â+• ( 1)n xn 10) (*) Â+• n x4n 1 11) (**) Â+• 2 n+1 xn 12) (**) Â+• n+1 nx2n+1
n=1 n n=1 ( 1) 4n n=0 (n + 1)2 n=0 ( 1)
n
13) (***) Ân=0 an x où a0 = a1 = 1 et 8n 2 N,
+•
an+2 = an+1 + an
14) (**) Â+• n
n=0 an x où an est le nombre de couples (x, y) d’entiers naturels tels que
x + 5y = n.
Exercice 3
Développer en série entière les fonctions suivantes :
1 1
1) (*) (x 1)(x 2) 2) (*** I) x2 2tx+1 ,t 2R 3) (*) ln(x2 5x + 6)
4) (**) arctan 1 x xsincosa a , a 2]0, p[ 1
5) (**) (x 1)(x 2)...(x p) 6) (*** I) (arcsin x)2
R R
7) (*) 0x cos(t 2 ) dt 8) (*** I) x • t 4 +tdt2 +1 9) (**) cos x ch x.
1
H
Exercice 4 * I
(
sin x
si x 6= 0
Pour x réel, on pose f (x) = x . Montrer que f est ce classe C• sur R.
1 si x = 0
H
Exercice 5 *** I
k
Soient Pn = Ânk=0 Xk! et R > 0 donné. Montrer que pour n suffisamment grand, Pn n’a pas de racine dans le
disque fermé de centre 0 et de rayon R.
H
1. Montrer qu’il existe une et une seule suite (bn )n2N telle que 8n 2 N, Ânk=0 ak bn k = d0,n .
Exercice 7 *** I
R p/2
Pour n 2 N, on pose Wn = 0 cosn t dt. Rayon de convergence et somme de la série entière associée à la suite
(Wn )n2N .
H
Exercice 8 ***
1 2np
Calculer Â+•
n=1 n cos 3 xn pour x dans ] 1, 1[.
H
Exercice 9 *** I
n ( 1) n
x 1
Calculer Â+•
n=0 4n2 1
pour x dans ] 1, 1[ et en déduire les sommes Â+•
n=0 4n2 1
et Â+•
n=0 4n2 1 .
H
Exercice 10 ****
( 1)n
Pour n entier naturel, on pose un = 2n+1 Ânk=0 4k+1
1
. Convergence et somme de la série (numérique) de terme
général un .
H
Exercice 11 ***
Soit A une matrice carrée complexe de format p 2 N⇤ . Rayon de convergence et somme en fonction de cA de
la série entière Â+• n n
n=0 Tr(A )z .
H
Exercice 12 ***
R
Pour x réel, on pose F(x) = e x 0x et dt. En développant F en série entière par deux méthodes différentes,
2 2
2
H
Exercice 13 **
⇢
an+1 = an 2bn an n
On pose a0 = 1 et b0 = 0 puis pour tout entier naturel n, . Rayons et sommes de Â+•
n=0 n! x
bn+1 = 3an + 4bn
bn n
et Â+•
n=0 n! x .
H
Exercice 14 *** I
1 n
Rayon de convergence et somme de Â+•
n=1 nCn x . 2n
H
Exercice 15 *** I
⇣ ⌘
an
Soient (an )n2N et (bn )n2N deux suites de réels strictement positifs telles que la suite bn ait une limite
n2N
réelle k. (En particulier an = o(bn ) si k = 0 et an ⇠ bn si k = 1).On suppose de plus que la série entière
n!+• n!+•
associée à la suite (an )n2N a un rayon de convergence égal à 1 et que la série de terme général an diverge.
+•
a xn
1. Montrer que limx!1 Â n=0 n
Â+• b xn
= k.
n=0 n
2. Applications.
Exercice 16
an n
Soit (an )n2N une suite à valeurs dans { 1, 1}. Pour x réel on pose f (x) = Â+• n=0 n! x .
On suppose que pour tout entier naturel p et tout réel positif x, | f (p) (x)| 6 1. Déterminer f .
H
1. Montrer qu’il existe une suite de polynômes (Pn )n2N telle que pour tout entier naturel n, f (n) = Pn f et
que les Pn sont à coefficients entiers naturels. (Utiliser tan0 = 1 + tan2 ).
4. Calculer a0 , a1 , a2 ,..., a7 .
5. Vérifier que la fonction x 7! th x est développable en série entière. Préciser le rayon et la valeur des
coefficients en fonction des an .
Exercice 18 ***
3
R +• t 2 sin(tx) dt x2 /4 R x t 2 /4
Développer en série entière F(x) = 0 e et en déduire que pour tout réel x, F(x) = e 2 0 e dt.
Exercice 19 ***
Soit In le nombre d’involutions de [[1, n]]. Rayon de convergence et somme de la série entière associée à la suite
In
n! n2N⇤ .
H
1. Soit E un ensemble non vide muni d’une loi interne et an le nombre de parenthésages possibles d’un
produit de n éléménts de E ((a1 = 1 conventionnellement), a2 = 1, a3 = 2, a4 = 5, ...). Montrer que pour
tout n > 2, an = Ânk=11 ak an k .
2. Soit f la série entière associée à la suite (an ). On suppose momentanément le rayon R de cette série
strictement positif. Montrer que pour tout x de ] R, R[, ( f (x))2 f (x) + x = 0.
3. Calculer R et f .
4. En déduire an .
4
Correction de l’exercice 1 N
1. Soit z 6= 0. Pour n > e1/|z| , on a |z| ln n > 1 et donc la suite ((ln n)n zn ) ne tend pas vers 0 quand n tend
vers +•. Ainsi, pour tout nombre complexe non nul z, la série proposée diverge grossièrement.
R = 0.
p p
2. Soit z 6= 0. Pour n > |z|12 , on a |z| n > 1 et donc la suite (( n)n zn ) ne tend pas vers 0 quand n tend vers
+•. Pour tout nombre complexe non nul z, la série proposée diverge grossièrement.
R = 0.
p ⇣ p ⌘2
n n
(ln(n!))2 ⇠ ln2 e 2pn = n + 12 ln n n + ln( 2p) ⇠ n2 ln2 n.
n!+• n!+•
La série entière proposée a même rayon de convergence que la série entière associée à la suite (n2 ln2 n).
2 ln2 (n+1)
Comme limn!+• (n+1)n2 ln 2
n
= 1, la règle de d’A LEMBERT permet d’affirmer que
R = 1.
1
4. n4 ln 2 ch 1n + cos 1n 1
) = n4 ln 1 + 24n4 +o
1
n4
= 1 + o(1).
n!+• n!+• 24
1 n4
Donc 2 ch 1n + cos 1n ⇠ e1/24 et
n!+•
R = 1.
n+1
C2n+2
5. Pour n 2 N⇤ , posons an = (n+1)n+1
.
✓ ◆ n
an+1 (2n + 2)! n!2 nn (2n + 2)(2n + 1)nn 1 4n + 2 1
= ⇥ ⇥ = = ⇥ ⇥ 1+
an (2n)! (n + 1)!2 (n + 1)n+1 (n + 1)2 (n + 1)n+1 n+1 n+1 n
4
⇠ .
n!+• ne
an+1
et donc limn!+• an = 0. D’après la règle de d’A LEMBERT,
R = +•.
6. On a vu que ln(n!) ⇠ n ln n. Donc la série entière proposée a même rayon de convergence que la série
n!+• ⇣ ⌘
ln n)a
entière associée à la suite (n n!b . Puis
5
si b > 0, R = +•, si b = 0, R = 1 et si b < 0, R = 0.
7. Si a = 0, R = +•. On suppose a 6= 0.
an a n
• Si b > 1, ⇠
1+bn n!+• b et donc R = ba .
an an
• Si b = 1, 1+bn = 2 et R = a.
an
• Si 0 6 b < 1, ⇠
1+bn n!+• an et R = a.
Dans tous les cas
Max(1,b)
R= a si a > 0 et R = +• si a = 0.
Correction de l’exercice 2 N
1. La règle de d’A LEMBERT montre que la série proposée a un rayon de convergence égal à 1.
1 n
1ère solution. Pour x 2] 1, 1[, on pose f (x) = Â+•
n=2 n(n 1) x . f est dérivable sur ] 1, 1[ et pour x dans
] 1, 1[,
1 n x n
f 0 (x) = Â+• 1 = Â+•
n=2 n 1 x n=1 n = ln(1 x).
Rx 0
Puis, pour x 2] 1, 1[, f (x) = f (0) + 0 f (t)dt = (1 x) ln(1 x) + x.
2ème solution. Pour x 2] 1, 1[,
1 1 x n 1 x n
f (x) = Â+•
n=2 n 1 n xn = x Â+•
n=2 n 1 Â+•
n=2 n = x ln(1 x) + ln(1 x) + x.
x n
8x 2] 1, 1[, Â+•
n=2 n(n 1) = x ln(1 x) + ln(1 x) + x.
2. La règle de d’A LEMBERT montre que la série proposée a un rayon égal à 1. Pour x 2] 1, 1[\{0}
3n n x n 1 2 x n 1
Â+• +• n
n=0 n+2 x = 3 Ân=0 x 2 Â+•
n=0 n+2 = 3 1 x x2 Â+•
n=2 n = 3 1 x + x22 (x + ln(1 x))
(
3n n 3 1 1 x + x22 (x + ln(1 x)) si x 2] 1, 1[\{0}
8x 2] 1, 1[, Â+•
n=0 n+2 x = .
0 si x = 0
+• p 2n p 2n+1
+•
xn ( x) 1 +• ( x) 1 p p
 2n + 1 =  2n + 1 = px  2n + 1 = px (ln(1 + x) ln(1 x))
n=0 n=0 n=0
p
argth( x)
= p .
x
• Soit x 2] 1, 0[.
p 2n+1 p
+•
xn +•
n ( x)
n 1 +• x arctan( x)
 2n + 1 Â
= ( 1)
2n + 1
= p
x
 ( 1)n 2n + 1
= p
x
n=0 n=0 n=0
6
8 p
> argth(
p x)
>
< x
si x 2]0, 1[
xn 1 si x = 0
8x 2] 1, 1[, Â+•
n=0 2n+1 = .
>
> arctan(
p
x)
: p si x 2] 1, 0[
x
4. La règle de d’A LEMBERT montre que la série proposée a un rayon égal à +•. Pour x réel,
• Si x > 0,
p 2n p 2n+1 1 ⇣ p p ⌘
f (x) = 12 Â+• 1
n=0 (2n)! ( x)
1
p
2 x Â+• 1
n=0 (2n+1)! ( x) = 2 ch( x) p1
x
sh( x) .
• Si x < 0,
p 2n p 2n+1
f (x) = 12 Â+• n 1
n=0 ( 1) (2n)! x 2
p1 Â+• (
x n=0
1
1)n (2n+1)! x =
⇣ p p ⌘
1 1
2 cos( x) sin( x) .
p
x
8 ⇣ p p ⌘
> 1 p1
>
< 2 ch( x) x
sh( x) si x > 0
nx n
8x 2 R, Â+•
n=0 (2n+1)! =
0 si x = 0 .
>
> ⇣ p p ⌘
: 1 p1
2 cos( x) x
sin( x) si x < 0
5. Immédiatement R = +• et
x 1 4n
8x 2 R, Â+•
n=0 (4n)! = 2 (cos x + ch x).
en
⇤ ⇥
6. ch n ⇠ et donc R = 1e . Pour x dans 1 1
e, e ,
n!+• 2
! ✓ ◆
+• ⇣
+•
1 +•
x ⌘n 1 1 1 1 2 e + 1e x
 (ch n) x = 2n
 (ex) + Â
n
e
=
2 1 ex
+
1 x =
2 x2 e + 1e x + 1
n=0 n=0 n=0 e
1 x ch 1
= .
x2 2x ch 1 + 1
⇤ 1 1
⇥ +• 1 x ch 1
8x 2 e, e , Ân=0 (ch n) xn = x2 2x ch 1+1
.
+• x n
7. La série proposée est le produit de C AUCHY des séries entières Â+• n
n=0 x et Ân=1 n qui sont toutes deux
de rayon 1. Donc R > 1. Mais d’autre part, pour tout entier naturel non nul n, an = Ânk=1 1k > 1 et R 6 1.
Finalement R = 1. De plus, pour x dans ] 1, 1[, f (x) = 1 1 x ⇥ ln(1 x) = ln(1 x)
x 1 .
n 1 n ln(1 x)
8x 2 ] 1, 1[, Â+•
n=1 Âk=1 k x = x 1 .
7
8. La règle de d’A LEMBERT montre que le rayon de convergence est égal à +•.
n2 +4n 1 n3 +5n2 +3n 1
Pour n entier naturel donné, n!(n+2) = (n+2)! puis
1
Ensuite f (0) = 2 et pour x 6= 0,
+• +• +• +•
1 1 n 1 1
f (x) = Â (n 1)!
xn + 2 Â x 5Â xn + 5 Â xn
n=1 n=0 n! n=0 (n + 1)! n=0 (n + 2)!
ex 1 ex 1 x ex (x3 + 2x2 5x + 5) 5x
= xex + 2ex 5 +5 = .
x x2 x2
(
ex (x3 +2x2 5x+5) 5x
n2 +4n 1 n si x 2 R⇤
8x 2 R, Â+•
n=0 n!(n+2) x = 1
x2 .
2 si x = 0
2k+1
1
6 an = n( 1)n 6 n et donc R = 1. Pour x dans ] 1, 1[, f (x) = Â+• x +• k
9. Pour n 2 N⇤ , n k=0 2k+1 + Âk=1 (2k)x .
Puis
k k 1 k = 2x 0 1 0 2x
Â+• +•
k=1 (2k)x = 2x Âk=1 kx = 2x Â+•
k=0 x 1 x = (1 x)2
.
4 n ln(1+x4 )
1 n 1 (x )
10. R = 1. Pour x réel non nul dans ] 1, 1[, f (x) = x Â+•
n=1 ( 1) n = 4x et sinon f (0) = 0.
(
ln(1+x4 )
x4n 1 si x 6= 0
8x 2] 1, 1[, Â+•
n=1 ( 1)n 4n = 4x .
0 si x = 0
⇤ ⇥
11. La règle de d’A LEMBERT fournit R = 12 . Pour x dans 1 1
2, 2 ,
!
+• +• +• +•
 (n2 + 1)2n+1 xn = 2  (n + 2)(n + 1)(2x)n 3  (n + 1)(2x)n + 2  (2x)n
n=0 n=0 n=0 n=0
!00 !0 ! ✓ ◆
+• +• +•
1 2 4
=2 Â (2x)n 3 Â (2x)n + 2 Â (2x)n =2 2
1 2x
3 +
(1 2x)2 (1 2x)3
n=0 n=0 n=0
2(1 2x)2 6(1 2x) + 8 8x2 + 4x
=2 = 2 .
(1 2x)3 (1 2x)3
8
12. Pour x = 1, la suite (( 1)n+1 nx2n+1 ) n’est pas bornée et donc R > 1. Mais la série converge si |x| < 1 et
R 6 1. Finalement R = 1.
Pour x dans ] 1, 1[,
!
+• +• +•
1
 ( 1)n+1 nx2n+1 = 2 Â( 1)n+1 (2n + 2)x2n+1 2  ( 1)n+1 x2n+1
n=0 n=0 n=0
!0 ! ✓ ◆0 !
1 +• +•
1 x2 2x
=
2 Â( 1)n+1 x2n+2 + 2x  ( x2 )n =
2 1 + x2
+
1 + x2
n=0 n=0
x(1 + x2 ) x3 x x3
= + = .
1 + x 2 )2 1 + x 2 1 + x 2 )2
n+1 nx2n+1 = x3
8x 2] 1, 1[, Â+•
n=0 ( 1) 1+x2 )2
.
p p
1+ 5 1 5
13. 1ère solution. Les racines de l’équation caractéristique z2 z 1 = 0 sont a = 2 et b = 2 . On
sait qu’il existe deux nombres réels l et µ tels que pour tout entier naturel n,
⇣ p ⌘n ⇣ p ⌘n
an = l 1+2 5 + µ 1 2 5 .
⇣ p ⌘n+1
⇣ p ⌘n+1
p1 p1 1+ 5
1 5
Finalement, pour tout entier naturel n, an = 5 5 22 .
✓⇣ p ⌘ ◆ ✓⇣ p ⌘ ◆
n+1 n+1
1+ 5 1 5
Les séries entières respectivement associées aux suites 2 et 2 ont pour rayons
p p
respectifs (1+p1 5)/2 = 52 1 et (1 p1 5)/2 = 5+1 2 . Ces rayons étant distincts, la série proposée a pour
rayon
np p o p
5 1 5+1 5 1
R = Min 2 , 2 = 2 .
i p p h
5 1 5 1
Pour x dans 2 , 2 , on a
✓ ◆
+•
a +• b +• 1 a b a b 1
 n a x =n
p
5
 (ax)n p  (b x)n = p
5 n=0 5 1 ax 1 bx
= p ⇥
5 ab x2 (a + b )x + 1
n=0 n=0
1
= .
1 x x2
2ème solution. Supposons à priori le rayon R de la série proposée strictement positif. Pour x dans
] R, R[, on a
+• +• +•
f (x) = 1 + x + Â an xn = 1 + x + Â an+2 xn+2 = 1 + x + Â (an+1 + an )xn+2
n=2 n=0 n=0
+• +•
= 1 + x + x  an+1 xn+1 + x 2
 an xn (les deux séries ont même rayon)
n=0 n=0
2
= 1 + x + x( f (x) 1) + x f (x).
9
1
Donc, nécessairement 8x 2] R, R[, f (x) = 1 x x2
.
Réciproquement, la fraction rationnelle ci-dessus n’admet pas 0 pour pôle et est donc développable en
série entière.pLe rayon de convergence de la série obtenue est le minimum des modules des pôles de f
à savoir R = 52 1 . Notons Â+• n +• n
n=0 bn x ce développement. Pour tout x de ] R, R[, on a Ân=0 bn x (1 x
2 +• n +•
x ) = 1 et donc Ân=0 bn x Ân=0 bn x n+1 +• n+2 +• n +•
Ân=0 bn x = 1 ce qui s’écrit encore Ân=0 bn x Ân=1 bn 1 xn
+• n
Ân=2 bn 2 x = 1. Finalement
Par unicité des coefficients d’un développement en série entière, on a alors b0 = b1 = 1 et 8n > 2,
bn = bn 1 + bn 2. On en déduit alors par récurrence que 8n 2 N, bn = an .
i p p h
5 1 5 1 n 1
8x 2 2 , 2 , Â+•
n=0 an x = 1 x x2
.
Remarque. En généralisant le travail précédent, on peut montrer que les suites associées aux développements
en série entière des fractions rationnelles sont justement les suites vérifiant des relations de récurrence
linéaire.
1
f (x) = Â+•
k=0 x
k
Â+•
l=0 x
5l =
1 x ⇥ (1 1x)5 .
Remarque. De combien de façons peut -on payer 100 euros avec des pièces de 1, 2, 5, 10, 20 et 50
centimes d’euros, des pièces de 1 et 2 euros et des billets de 10 et 20 euros ? Soit N le nombre de
solutions. N est le nombre de solutions en nombres entiers a,b,... de l’équation
1
(1 x)(1 x2 )(1 x5 )(1 x10 )(1 x20 )(1 x50 )(1 x100 )(1 x200 )(1 x500 )(1 x1000 )(1 x2000 )
,
La remarque est néanmoins anecdotique et il semble bien préférable de dénombrer à la main le nombre
de solutions. Les exercices 19 et 20 de cette planche font bien mieux comprendre à quel point les séries
entières sont un outil intéressant pour les dénombrements.
Correction de l’exercice 3 N
Dans chaque question, on note f la fonction considérée.
1. f est développable en série entière à l’origine en tant que fraction rationelle n’admettant pas 0 pour pôle.
Le rayon du développement est le minimum des modules des pôles de f à savoir 1. Pour x dans ] 1, 1[,
1 1 1 1 n
f (x) = x 1 x 2 = 1 x 2 ⇥ 1 1 x = Â+•
n=0 x
n 1
2 Â+• x +•
n=0 2n = Ân=0 1
1
2n+1
xn .
2
2. f est développable en série entière à l’origine en tant que fraction rationelle n’admettant pas 0 pour pôle.
1er cas. Si |t| < 1, soit q = arccost. On a donc q 2]0, p[ et t = cos(q ). Pour tout réel x, on a
10
x2 2tx + 1 = x2 2x cos(q ) + 1 = (x eiq )(x e iq ),
avec eiq 6= e iq . Les pôles sont de modules 1 et le rayon du développement est donc égal à 1. Pour x
dans ] 1, 1[,
✓ ◆ ✓ ◆
1 1 1 1 1 e iq eiq
= = +
x2 2x cos(q ) + 1 2i sin(q ) x eiq x e iq 2i sin(q ) 1 xe iq 1 xeiq
!
+• +• +•
1 sin((n + 1)q ) n
=
2i sin(q )
eiq  einq xn e iq  e inq xn = Â
sin q
x .
n=0 n=0 n=0
1 sin((n+1)q ) n
8t 2] 1, 1[, 8x 2] 1, 1[, x2 2xt+1
= Â+•
n=0 sin q x où q = arccost.
on peut poser t = ch(q ) où q est un certain réel positif ou nul. Plus précisément,
2ème cas. Si t > 1, p
q = argcht = ln(t + t 2 1) 2]0, +•[. Pour tout réel x, on a
p
avec eq 6= e q.
Le minimum des modules des pôles de f est e q = p1
t+ t 2 1
=t t2 1. Le rayon du
p
développement est donc R = t t 2 1. Pour x 2] R, R[,
✓ ◆ ✓ ◆
1 1 1 1 1 eiq eq
= = +
x2 2x ch(q ) + 1 2 sh(q ) x eq x e q 2 sh(q ) 1 xe q 1 xeq
!
+• +• +•
1 sh((n + 1)q ) n
=
2 sh(q )
eq  enq xn e q  e nq xn = Â
sh q
x .
n=0 n=0 n=0
1 1 1 0 n
x2 2xt+1
= (1 x)2
= 1 x = Â+•
n=0 (n + 1)x
1 n n
Si t = 1, en remplaçant x par x, on obtient pour x 2] 1, 1[, (1+x)2
= Â+•
n=0 ( 1) (n + 1)x .
x x
ln(x2 5x + 6) = ln(2 x) + ln(3 x) = ln(6) + ln 1 2 + ln 1 3 ,
x x
et puisque pour x dans ] 2, 2[, 2 et 3 sont dans ] 1, 1[,
1 xn
ln(x2 5x + 6) = ln(6) Â+•
n=1 2n + 31n n,
4. Si cos⇤a = 0, la ⇥fonction
⇤ f est⇥ définie et dérivable sur D = R et si cos a 6= 0, f est définie et dérivable sur
D = •, cos1 a [ cos1 a , +• . Pour x 2 D,
1 1 sin a
f 0 (x) = sin a ⇥ (1 x cos a)2
⇥ 2 = x2 2x cos a+1
.
1+( 1 x xsincosa a )
11
D’après 2), la fonction f 0 est dans tous les cas développable en série entière, le rayon du développement
est 1 et pour x dans ] 1, 1[
sin((n+1)a) n
f 0 (x) = Â+•
n=0 sin a x .
On sait alors que la fonction f est développable en série entière, que le développement a même rayon de
convergence et s’obtient en intégrant terme à terme. Donc pour x dans ] 1, 1[,
Rx 0 +• sin(n+1)a) n+1
f (x) = f (0) + 0 f (t) dt = Ân=0 sin a x .
5. La fonction f est développable en série entière en tant que fraction rationnelle n’admettant pas 0 pour
pôle. Le rayon est le minimum des modules des pôles de f à savoir 1.
1 p lk
(x 1)(x 2)...(x p) = Âk=1 x k
1 k k Ck .
avec lk = ( 1) p k
(k 1)!(p k)! = ( 1) p p! p Par suite, pour x dans ] 1, 1[
✓ ◆ !
p
k k 1 1 ( 1) p p +•
xn
f (x) = Â( 1) p k
C
p! p k 1 x = Â ( 1)k+1Ckp
p! k=1 Â kn
k=1 k n=0
!
( 1) p +• p Ckp
= Â
p! n=0 Â ( 1)k+1 kn xn .
k=1
6. La fonction f est deux fois dérivable sur ] 1, 1[ et pour x dans ] 1, 1[, f 0 (x) = 2 p11 x2 arcsin x puis
1
f 00 (x) = 2x (1 x2 )3/2
arcsin x + 1 2x2 = x
1 x2
f 0 (x) + 1 2x2 .
+• +•
g est solution de (1) sur ] R, R[ , 8x 2] R, R[, (1 x2 ) Â n(n 1)an xn 2
x  nan xn 1
=2
n=2 n=1
+• +• +•
, 8x 2] R, R[, Â n(n 1)an xn 2
 n(n 1)an xn +  nan xn = 2
n=2 n=0 n=0
+• +•
, 8x 2] R, R[, Â n(n 1)an xn 2
 n2 an x n = 2
n=2 n=0
+• +•
, 8x 2] R, R[,  (n + 2)(n + 1)an+2 xn  n2 an xn = 2
n=0 n=0
+•
, 8x 2] R, R[, Â ((n + 2)(n + 1)an+2 n2 an )xn = 2
n=0
n2
, a2 = 1 et 8n 2 N⇤ , an+2 = an (par unicité des coefficients d’un DES
(n + 2)(n + 1)
12
En résumé, la fonction g est solution de (1) et (2) sur ] R, R[ si et seulement si a0 = a1 = 0 et a2 = 1 et
n2
8n 2 N⇤ , an+2 = (n+2)(n+1) an (3) puis
((2n 2) ⇥ . . . ⇥ 4 ⇥ 2)2
(3) , 8n 2 N, a2n+1 = 0 et a0 = 0, a2 = 1 et 8n > 2, a2n = a2
(2n) ⇥ (2n 1) . . . ⇥ 4 ⇥ 3
22n 1 ((n 1)!)2
, a0 = 0 et 8n 2 N, a2n+1 = 0 et 8n 2 N⇤ , a2n =
(2n)!
En résumé, sous l’hypothèse R > 0, la fonction g est solution de (1) et (2) sur ] R, R[ si et seulement si
22n 1 2n
8x 2] R, R[, g(x) = Â+•
n=1 n2Cn x . 2n
Réciproquement, calculons le rayon de la série entière précédente. Pour x réel non nul,
D’après la règle de d’A LEMBERT, la série proposée converge absolument pour |x| < 1 et diverge grossièrement
pour |x| > 1. Le rayon de la série proposée est donc 1 > 0 ce qui valide les calculs précédents.
Par unicité de la solution de (1) et (2) sur ] 1, 1[, f est développable en série entière et
2n 1
8x 2] 1, 1[, arcsin2 x = Â+• 2 2n
n=1 n2Cn x . 2n
4n
7. Pour tout réel x, cos(x2 ) = Â+• n x
n=0 ( 1) (2n)! (le rayon est infini). On sait alors que la fonction f est
développable en série entière, que le rayon du développement est encore infini et que l’on peut intégrer
terme à terme pour obtenir (en tenant compte de f (0) = 0)
Rx n x 4n+1
8x 2 R, 0 = Â+•
n=0 ( 1) (4n+1)⇥(2n)! .
1 1 t2
t 4 +t 2 +1
= 1 t6
= (1 t 2 ) Â+• 6n +• 6n
n=0 t = Ân=0 t Â+•
n=0 t
6n+2 = 1 t2 + t6 t 8 + t 12 t 14 + . . ..
R0 Rx R0 ⇣ ⌘
1 1 1 t 6n+1 t 6n+3
f (x) = • t 4 +t 2 +1
dt + 0 t 4 +t 2 +1
dt = • t 4 +t 2 +1
dt + Â+•
n=0 6n+1 6n+3 .
R0 1
Calcul de I = • t 4 +t 2 +1 dt. Par parité et réalité,
1 a a a a
t 4 +t 2 +1
= t j +t j2 t+ j t+ j2
,
13
1 1 2+ j2 1 j
avec a = 4 j3 +2 j
= 2(2+ j) = 2(2+ j)(2+ j2 )
= 6 . Puis
✓ ◆ ✓ ◆
1 1 1 j 1 j2 1 j 1 j2 1 3t + 3 3t + 3
= + = +
t 4 + t 2 + 1 6 t j t j2 t + j t + j2 6 t2 + t + 1 t2 t + 1
✓ ◆
1 2t + 1 1 2t 1 1
= + +
4 t2 + t + 1 t2 + t + 1 t2 t + 1 t2 t + 1
0 1
1 B 2t + 1 1 2t 1 1 C
= @ + ⇣ p ⌘2 + ⇣ p ⌘2 A .
4 t2 + t + 1 2 3 t2 t +1 1 2 3
t + 12 + 2 t 2 + 2
Par suite,
Z 0 ✓ 2 ◆ ✓ ◆ 0
1 1 t +t +1 2 2t + 1 2t 1 1 ⇣p p ⌘ p
4 2
dt = ln 2 + p arctan p + arctan p = p + = p .
• t +t +1 4 t t +1 3 3 3 • 2 3 2 2 2 3
En résumé,
Rx ⇣ ⌘
1 p t 6n+1 t 6n+3
8x 2] 1, 1[, • t 4 +t 2 +1
dt = p
2 3
+ Â+•
n=0 6n+1 6n+3 .
9. f est développable en série entière sur R en tant que produit de fonctions développables en série entière
sur R. Pour x réel,
1 ⇣ (1+i)x ⌘ 1 +• xn
cos x ch x = e + e(1 i)x + e( 1+i)x + e( 1 i)x = Â ((1 + i)n + (1 i)n + ( 1 + i)n + ( 1 i)n )
4 4 n=0 n!
1 +• ⇣ p p p p ⌘ xn
= Â ( 2eip/4 )n + ( 2e ip/4 )n + ( 2e3ip/4 )n + ( 2e 3ip/4 )n
4 n=0 n!
✓ ⇣ np ⌘ ✓ ◆◆ ⇣ np ⌘ ⇣ np ⌘ xn
1 +• p 3np xn 1 +• p n
= Â ( 2)n cos + cos = Â ( 2) cos cos
2 n=0 4 4 n! 4 n=0 2 4 n!
⇣ ⌘ ✓ ◆
1 +• p pp x2p 1 +• p 2kp x4k +•
x4k
= Â ( 2)2p ( 1) p cos = Â ( 2)4k ( 1)2k cos = Â ( 1)k 22k 2 .
4 p=0 2 (2p)! 4 k=0 2 (4k)! k=0 (4k)!
Correction de l’exercice 4 N
2n
Pour x réel non nul, f (x) = Â+• n x
n=0 ( 1) (2n+1)! ce qui reste vrai pour x = 0. La fonction f est donc développable
en série entière sur R et en particulier, la fonction f est de classe C• sur R.
Correction de l’exercice 5 N
Soit R > 0. Notons DR le disque fermé de centre 0 et de rayon R. Soient z 2 DR et n un entier naturel.
|Pn (z)| = |ez (ez Pn (z))| > |ez | |ez Pn (z)| > e R |ez Pn (z)|.
14
On sait que la suite de polynômes (Pn )n2N converge uniformément vers la fonction exponentielle sur DR .Donc
il existe un entier n0 tel que pour tout z 2 DR et tout entier n > n0 , |ez Pn (z)| 6 12 e R . Pour n > n0 et z 2 DR ,
|Pn (z)| > 12 e R > 0 et Pn ne s’annule pas dans DR .
Correction de l’exercice 6 N
On cherche une série entière Â+• n +• n x
n=0 bn x de rayon R strictement positif telle que Ân=0 an x Â+•
n=0 bn n = 1
pour x élément d’un certain intervalle ouvert non vide de centre 0. 8
>
> a0 b0 = 1
>
>
>
> a0 b1 + a1 b0 = 0
>
>
< a0 b2 + a1 b1 + a2 b0 = 0
Cette égalité impose à la suite (bn ) de vérifier le système d’équations ..
>
> .
>
>
>
> a b
0 n + a1 n 1 + . . . + an 1 b1 + an b0 = 1
b
>
> ..
:
.
2. Il faut alors vérifier que la série entière associée à la suite (bn )n2N a un rayon de convergence strictement
positif .
Soit R > 0 le rayon de la série associée à la suite (an )n2N et soit r un réel tel que 0 < r < R.
M
On sait que la suite (an rn )n2N est bornée et il existe M > 0 tel que pour tout entier naturel n, |an | 6 rn .
M M M(M+1)
b0 = 1 puis |b1 | = | a1 b0 | 6 r puis |b2 | = | a2 b0 a1 b1 | 6 r2
+ Mr ⇥ Mr = r2
puis
M(M+1)n 1
Montrons alors par récurrence que 8n 2 N⇤ , bn | 6 rn .
• C’est vrai pour n = 1.
M(M+1)k 1
• Soit n > 1, supposons que 8k 2 [[1, n]], |bk | 6 rk
. Alors
n
M(M + 1)k 1 MM
|bn+1 | 6 | an+1 b0 | + | an b1 | + ... + | a1 bn | 6
k
⇥ n+1 k
n+1
+Â
r k=1 r r
! ✓ ◆
n
M M (M + 1)n 1 M(M + 1)n
= 1 + M Â (M + 1)k 1 = n+1 1 + M = .
rn+1 k=1 r (M + 1) 1 rn+1
n
On a montré par récurrence que pour tout entier naturel non nul n, |bn | 6 M(M+1) rn+1
. En particulier , le
r
rayon R0 de la série entière associée à la suite (bn )n2N vérifie R0 > M+1 > 0. Ceci valide les calculs
initiaux sur ] r, r[ où r = Min(R, R0 ) > 0 et donc l’inverse d’une fonction f développable en série
entière à l’origine et telle que f (0) 6= 0 est développable en série entière à l’origine.
Correction de l’exercice 7 N
15
pp
On a déjà vu que Wn ⇠ 2n et la règle de d’A LEMBERT fournit R = 1. Soit x 2] 1, 1[.
⇥ p ⇤ n!+•
Pour tout t 2 0, 2 et tout entier naturel n, |xn cosn t| 6 |x|n . Comme la série numérique de terme général |x|n ,
n 2 N, converge, la série de⇥ fonctions
⇤ de terme général t 7! xn cosnt est normalement et donc uniformément
convergente sur le segment 0, p2 . D’après le théorème d’intégration terme à terme sur un segment,
Z p/2 Z p/2
! Z p/2
+• +• +•
1
 Wn xn =  xn 0
cosn t dt =
0
 xn cosn t dt = 0 1 x cost
dt
n=0 n=0 n=0
Z 1 ⇣t ⌘
1 2du
= (en posant u = tan )
0 1 x 11+uu2
2
1 + u2 2
2 0 131
Z 1
1 1 1 4arctan @ qu A5
=2 2
du = 2 ⇥ ⇥q
0 (1 + x)u + (1 x) 1+x 1 x 1 x
1+x 1+x 0
r
2 x+1
=p arctan .
1 x2 x 1
q
1, 1[, Â+• n p 2 x+1
8x 2] n=0 Wn x = 1 x2
arctan x 1.
Correction de l’exercice 8 N
Pour tout entier naturel non nul, |an | 6 1n et donc R > 1. Mais si x > 1, la suite 1n cos 2np n
3 x n>1 n’est pas
bornée comme on le voit en considérant
⇣ la⌘suite extraite des termes d’indices multiples de 3 et donc R = 1.
+• ( jx)n
Pour x dans ] 1, 1[, f (x) = Re Ân=1 n . Le problème est alors de ne pouvoir écrire ln(1 jx). Il faut
s’y prendre autrement.
f est donc dérivable sur ] 1, 1[ et pour x dans ] 1; 1[,
⇣ ⌘ ⇣ ⌘
2np j j(1 j2 x)
f 0 (x) = Â+•
n=1 cos 3 x n 1 = Re
Â+• n n 1
n=0 j x = Re 1 jx = Re x2 +x+1
= 12 x22x+1
+x+1
.
Rx 0 1
Par suite, pour x 2] 1, 1[, f (x) = f (0) + 0 f (t) dt = 2 ln(x2 + x + 1).
1 2np 1
8x 2] 1, 1[, Â+•
n=1 n cos 3 xn = 2 ln(x2 + x + 1).
Correction de l’exercice 9 N
Le rayon de la série considérée est égal 1. Soit x 2] 1, 1[.
n n
f (x) = 12 Â+•
n=0
1
2n 1
1
2n+1 xn = 1
2 1 + Â+• x
n=1 2n 1 Â+• x
n=0 2n+1 .
! ✓ ◆ +• p 2n+1 !
1 xn+1 +• +•
xn 1 p 1 ( x)
f (x) = 1+   = 1+ x p  2n + 1
2 n=0 2n + 1 n=0 2n + 1 2 x n=0
✓ ✓ ◆ ✓ p ◆◆
1 p 1 1+ x
= 1+ x p ln p .
2 x 1 x
16
! ✓ ◆ +• p 2n+1
!
1 xn+1 +• +•
xn 1 p 1 x
f (x) = 1+ Â Â = 1 x+ p Â( 1) n
2 n=0 2n + 1 n=0 2n + 1 2 x n=0 2n + 1
✓ ✓ ◆ ◆
1 p 1 p
= 1 x+ p arctan( x) .
2 x
• f (0) = 1.
( 1)n
Maintenant, la somme est en fait définie sur [ 1, 1] car les séries numériques de termes généraux 4n21 1 et 4n2 1
convergent. Vérifions que la somme est continue sur [ 1, 1].
n
Pour x dans [ 1, 1] et n 2 N⇤ , 4nx2 1 6 4n21 1 qui est le terme général d’une série numérique convergente. La
série entière considérée converge donc normalement sur [ 1, 1]. On en déduit que cette somme est continue
sur [ 1, 1]. Donc
+• ✓ ✓ ◆ ◆
1 1 p 1 p 1 p p p
 4n2 1
= f (1) = lim f (x) = lim
x!1 x!1 2
1+ x p
x
ln 1 + x + p (1 + x)(1
x
x) ln(1 x)
n=0 x<1 x<1
1
=
2
Remarque. Â+• 1
n=0 4n2 1
= limn!+• 1
2 Ânk=0 1
2k 1
1
2k+1 = limn!+• 1
2 1 1
2n+1 = 1
2 (série télescopique).
On a aussi
✓ ✓ ◆ ◆
+•
( 1)n 1 p 1 p
 4n2 1 = f ( 1) = x!
lim f (x) = lim
1 x! 1 2
1 x+ p
x
arctan( x)
n=0 x> 1 x> 1
1 p +2
= ( 1 2 arctan 1) = .
2 4
Correction de l’exercice 10 N
1
Pour tout entier naturel n, |an | > 2n+1 et donc la série proposée ne converge pas absolument.
Pour tout entier naturel n,
n ✓ ◆
1 1 1 n+1 1 1 1 n
1 1 1
|un | |un+1 | = Â
2n + 1 k=0 4k + 1 Â 4k + 1 =
2n + 3 k=0 2n + 1 2n + 3 Â 4k + 1 ⇥
2n + 3 4n + 5
k=0
n
2 1 1 1 1
= Â
(2n + 1)(2n + 3) k=0 4k + 1
>
(2n + 3)(4n + 5) (2n + 3)(2n + 1) (2n + 3)(4n + 5)
> 0.
La suite (|un |)n2N est donc décroissante. De plus, pour tout entier naturel non nul n,
Rk
Ânk=0 4k+1
1
6 Â4n+1 1 4n+1
k=1 k 6 1 + Âk=2
1
k 1 t dt = 1 + ln(4n + 1)
1+ln(4n+1)
et donc |un | 6 2n+1 . On en déduit que limn!+• un = 0. Finalement, la série proposée converge en vertu
du critère spécial aux séries alternées.
Considérons la série entière Â+• 2n+1 . La série de terme général a converge et donc R > 1 mais puisque
n=0 un x n
la série de terme général |an | diverge et donc R 6 1. Finalement, R = 1. Pour x 2] 1, 1[, posons f (x) =
2n+1 . Pour x dans ] 1, 1[,
Â+•
n=0 un x
! !
+• n +• n
1 1
f (x) = Â ( 1) Â
0 n
x =Â Â
2n
( x2 )n
n=0 k=0 4k + 1 n=0 k=0 4k + 1
! !
+•
( x 2 )n +•
= Â Â ( x2 )n (produit de C AUCHY de deux séries numériques absolument convergentes)
n=0 4n + 1 n=0
17
2 n 1
Donc, pour x dans ]0, 1[, f 0 (x) = g(x)h(x) où h(x) = Â+•
n=0 ( x ) = 1+x2
puis
p 4n+1
g(x) = p1 Â+• n 1
x n=0 ( 1) 4n+1 ( x) .
1 w
où a = 4w 3
= 4. Il vient alors
✓ ◆ p p !
1 1 w w w w 1 X 2 2 X 2+2
= + = p + p
4
X +1 4 X w X w X +w X +w 4 X2 2X + 1 X 2 + 2X + 1
p p !
1 2X + 2 2 2X 2 2
= p p p
4 2 X 2 + 2X + 1 X 2 2X + 1
0 1
p p p p
1 B 2X + 2 2 2X 2 2 C
= p @ p +⇣ ⌘2 ⇣ ⌘2 p +⇣ ⌘2 ⇣ ⌘2 A
2
4 2 X + 2X + 1 X 2 2X + 1
X + p12 + p12 X p1
2
+ p12
p p p
Ensuite, pour tout réel x 2]0, 1[, f 0 (x) = p1 k ( x) 1 2 = p1 k0 ( x) k ( x) et donc
x 1+x x
⇣ p ⌘ p 2
2
f (x) = f (0) + k x k(0)2 = k x
1 ⇣ p p ⇣ p p ⌘⌘2
= ln(X 2 + X 2 + 1) ln(X 2 X 2 + 1)) + 2 arctan(X 2 + 1) + arctan(X 2 1) .
32
Quand x tend vers 1, f (x) tend vers
⇣ ⇣ p ⌘ p p ⌘2 ⇣ p ⌘2
1
32 ln 2+
2
p2 + 2(arctan( 2 + 1) + arctan( 2
2
1)) = 1
32 ln(3 + 2 2) + p .
p p p ⇣ ⌘
(car arctan( 2 + 1) + arctan( 2 1
1) = arctan( 2 + 1) + arctan p2+1 = p2 ).
Enfin, pour x dans [0, 1] et n dans N, |un |xn |un+1 |xn+1 > (|un | |un+1 |)xn > 0 et la série numérique de terme
général un xn est alternée. D’après une majoration classique du reste à l’ordre n d’une telle série, pour tout entier
naturel n et tout réel x de [0, 1],
k n+1 6 |u
k=n+1 uk x 6 un+1 x
|Rn (x)| = Â+• n+1 |,
et donc Sup |Rn (x)| 6 |an+1 | ! 0. La convergence est uniforme sur [0, 1] et on en déduit que la somme est
x2[0,1] n!+•
continue sur [0, 1]. En particulier
1 ⇣ p ⌘2
Â+•
n=0 un = f (1) = lim f (x) = ln(3 + 2 2) + p .
x!1 32
x<1
⇣ ⌘ ⇣ p ⌘2
( 1)n
Â+•
n=0 2n+1 Ânk=0 4k+1
1
= 1
32 ln(3 + 2 2) + p .
18
Correction de l’exercice 11 N
Posons SpC A = (l1 , . . . , l p ). On sait que pour tout entier naturel n, Tr(An ) = l1n + ... + l pn .
Soit l un nombre complexe.
• Si l = 0, la série entière associée à la suite (l n )n2N est de rayon infini et pour tout nombre complexe z,
n n 1
n=0 l z = 1 = 1 l z .
Â+•
• Si l 6= 0, la série entière associée à la suite (l n ) est de rayon |l1 | et pour |z| < |l1 | , Â+• n n 1
n=0 l z = 1 l z .
1
Soit r = Max (|l1 |, . . . , |l p |) (r est le rayon spectral de la matrice A) et R = r si r 6= 0 et R = +• si r = 0.
Pour |z| < R,
! !
+• +• p p +•
 Tr(A )zn n
= Â Â (lk z) n
= Â Â (lk z) n
(somme de p séries convergentes)
n=0 n=0 k=1 k=1 n=0
p
1
= Â1 lk z
.
k=1
Il est alors clair que R est le rayon de convergence de la série entière proposée (développement en série entière
d’une fraction rationnelle). ✓ ◆
p c0 ( 1 ) 0
Si de plus, 0 < |z| < R, Ân=0 Tr(A )z = z Âk=1 1 l = 1 cA z1 (décomposition usuelle de PP ).
+• n n 1 1
z k z A z( )
Correction de l’exercice 12 N
2R
⇣ ⌘⇣ ⌘
Pour x réel, on sait que F(x) = e x 0x et dt = Â+•
2 +• n x2n +• x2n+1
Â
n=0 n=0 ( 1) n! Â n=0 n!(2n+1) .
La fonction F est impaire donc les coefficients d’indices pairs sont nuls. D’autre part, pour n 2 N, le coefficient
de x2n+1 du produit de Cauchy des deux séries précédentes vaut
( 1)n k
Ânk=0 k!(2k+1)
1
⇥ (n k)! .
+• +• +•
(⇤) , 8x 2 R, Â (2n + 1)an x2n + 2 Â an x2n+2 = 1 , 8x 2 R, a0 + Â ((2n + 1)an + 2an 1 )x2n = 1
n=0 n=0 n=1
2
, a0 = 1 et 8n > 1, (2n + 1)an + 2an 1 = 0 , a0 = 1 et 8n > 1, an = an 1
2n + 1
( 1)n 2n
a0 = 1 et 8n > 1, an = a0
(2n + 1)(2n 1) . . . 1
( 1)n 22n n!
, 8n 2 N, .
(2n + 1)!
( 1) 2 n! 2n+1 n 2n
On a montré que pour tout réel x, F(x) = Â+•
n=0 (2n+1)! x . Par unicité des coefficients d’une série entière,
8n 2 N, on obtient en particulier,
n k ( 1)n 22n n!
8n 2 N, Ânk=0 k!(2k+1)
1
⇥ ((n1)k)! = (2n+1)! .
Correction de l’exercice 13 N
19
Pour tout entier naturel n, an+1 + bn+1 = 2(an + bn ) et 3an+1 + 2bn+1 = 3an + 2bn (rappel : ces combinaisons
linéaires sont fournies par les vecteurs propres de t A si on ne les devine pas). On en déduit que pour tout entier
naturel n, an + bn = 2n (a0 + b0 ) = 2n et 3an + 2bn = 3a0 + 2b0 = 3. Finalement,
Les deux séries proposées sont alors clairement de rayons infini et pour tout réel x, f (x) = 3ex 2e2x et g(x) =
3(e2x ex ). (On peut avoir d’autres idées de résolution, plus astucieuses, mais au bout du compte moins
performantes).
Correction de l’exercice 14 N
Pour n > 1, posons an = nC1n . Pour n 2 N⇤ ,
2n
2
an+1 n (2n)! n
an = n+1 ⇥ (2n+2)! ⇥ (n+1)!
n!2
= 2(2n+1) (⇤).
an+1
Par suite, ! 14
an n!+• et d’après la règle de d’A LEMBERT, le rayon de la série entière considérée est R = 4.
Pour x 2 ] 4, 4[, posons f (x) = Â+• n
n=1 an x .
Les relations (⇤) s’écrivent encore 8n 2 N⇤ , 4(n + 1)an+1 2an+1 = nan .
Soit x 2] 4, 4[. On multiplie les deux membres de l’égalité précédente par xn+1 et on somme sur n. On obtient
ou encore x2 f 0 (x) = 4x( f 0 (x) a1 ) 2( f (x) a1 x) ou encore x(x 4) f 0 (x) + 2 f (x) = x (E). Soit I l’un
des deux intervalles ] 4, 0[ ou ]0, 4[.Sur I, l’équation (E) s’écrit :
f 0 (x) + 12 1
x
1
x 4 f (x) = 1
x 4.
q
1 1 1 |x 4|
Une primitive sur I de la fonction a : x 7! 2 x x 4 est la fonction A : x 7! 12 (ln |x 4| ln |x|) = ln |x| .
✓ ◆
1 0 1 1 1
f solution de (E) sur I , 8x 2 I, f (x) + f (x) =
2 x xx 4 4
s
1 |x 4|
, 8x 2 I, eA(x) f 0 (x) + a(x)eA(x) f (x) =
4 x |x|
1
, 8x 2 I, (eA f )0 (x) = p (⇤).
|x(x 4)|
1
Déterminons une primitive de la fonction x 7! p sur I.
|x(x 4)|
1 1 1 1
• Si I =]0, 4[, p =p =p et une primitive de la fonction x 7! p sur I est la fonction
|x(x 4)| x(4 x) 4 (x 2)2 |x(x 4)|
x 2
x 7! arcsin 2 . Puis
✓ ◆
A(x) x 2
f solution de (E) sur I , 9C 2 R/ 8x 2 I, e f (x) = arcsin +C
2
r ✓ ✓ ◆ ◆
x x 2
, 9C 2 R/ 8x 2 I, f (x) = arcsin +C .
4 x 2
1 1 1 1
• Si I =] 4, 0[, p =p =p et une primitive de la fonction x 7! p sur I est la
|x(x 4)| x(x 4) (2 x)2 4 |x(x 4)|
fonction x 7! argch 2 2 x . Puis
20
✓ ◆
2 x
f solution de (E) sur I , 9C0 2 R/ 8x 2 I, eA(x) f (x) = argch +C0
2
r ✓ ✓ ◆ ◆
0 x 2 x 0
, 9C 2 R/ 8x 2 I, f (x) = argch +C .
x 4 2
f doit être définie, continue et dérivable sur ] 4, 4[ et en particulier dérivable en 0. Ceci impose limx!0+ arcsin x 2 2 +
p q
C = 0 (car sinon f (x) ⇠+ C x) et donc C = p2 . Pour x 2]0, 4[, on a alors f (x) = 4 x x p2 arcsin 2 2 x =
q 0
x 2 x
4 x arccos 2 ce qui reste vrai pour x = 0 par continuité..
2 x
De même, limx!0 argch 2 +C0 = 0 et donc C0 = 0. On a montré que
8 q
< x 2 x
1 n 4 x arccos 2 si x 2 [0, 4[
8x 2] 4, 4[, Â+• n
n=1 nC2n x = q
x 2 x
.
: argch si x 2] 4, 0]
x 4 2
Correction de l’exercice 15 N
1. Soient A et B les sommes des séries entières associées aux suites a et b sur ] 1, 1[. La fonction B est
strictement positive sur ]0, 1[ et en particulier ne s’annule pas sur ]0, 1[.
• La suite a est positive donc la fonction A est croissante sur [0, 1[ et admet ainsi une limite réelle ou
infinie quand x tend vers 1 par valeurs inférieures. De plus, pour N entier naturel donné et x 2 [0, 1[, on a
n N n
n=0 an x > Ân=0 an x et donc
Â+•
N N
8N 2 N, lim A(x) >
x!1, x<1
lim
x!1, x<1
 an xn =  an .
n=0 n=0
Puisque la série de terme général positif an diverge, quand N tend tend vers +•, on obtient lim A(x) >
x!1, x<1
+• et donc lim A(x) = +•. Il en est de même pour B car la série de terme général bn diverge quelque
x!1, x<1
soit la valeur de k.
• On veut alors montrer que A kB = o(B).
x!1
Soit e > 0. Par hypothèse, an kbn o (bn ) et donc il existe un entier naturel N tel que pour n > N,
n!+•
e
|an kbn | 6 2 bn .
Soit x 2 [0, 1[.
Maintenant, B(x) tend vers +• quand x tend vers 1 par valeurs inférieures. Donc il existe a 2]0, 1[
tel que pour x 2]1 a, 1[, B(x) > e2 ÂNn=0 |an kbn |. Pour x 2]1 a, 1[, on a alors |A(x) kB(x)| <
e e
2 B(x) + 2 B(x) = eB(x).
A(x)
On a montré que 8e > 0, 9a 2]0, 1[/ 8x 2]1 a, 1[, |A(x) kB(x)| < eB(x) et donc limx!1 B(x) = k.
2. (a) La série entière proposée vérifie les hypothèses du 1) et de plus , ln n ⇠ 1 + 12 + ... + 1n . Donc
n!+•
n 1 n +• n x n ln(1 x)
f (x) ⇠ Â+•
n=1 Âk=1 k x = Ân=0 x Â+•
n=1 n = x 1 .
x!1
21
n ⇠ ln(1 x)
Â+•
n=1 (ln n)x x 1 .
x!1
(b) Soit p > 2. n p 1 ⇠ (n + 1)(n + 2)...(n + p 1). Comme les deux suites (n p 1 ) et ((n + 1)(n +
n!+•
2)...(n + p 1)) vérifient les hypothèses du 1)
p 1 xn ⇠ (p 1) 1 (p 1) (p 1)!
Â+•
n=0 n Â+•
n=0 (n + p 1)...(n + 1)xn = Â+•
n=0 x
n = 1 x = (1 x) p .
x!1
Par suite,
limx!1 (1 x) p Â+•
n=1 n
p 1 xn = (p 1)!.
Correction de l’exercice 16 N
Supposons qu’il existe un entier naturel p tel que a p = a p+1 . Le développement limité à l’ordre 1 de f (p) en 0
s’écrit f (p) (x) = f (p) (0) + x f (p+1) (0) + o(x) = a p (1 + x) + o(x) et on en déduit
x!0
x
| f (p) (x)| > |a p (1 + x)| |o(x)| = 1 + x |o(x)| > 1 + x (sur un voisinage pointé de 0 à droite)
2
x
= 1 + > 1 (sur un voisinage pointé de 0 à droite).
2
Donc si deux termes consécutifs sont égaux, f nne vérifie pas les conditions de l’énoncé ou encore si f vérifie
les conditions de l’énoncé, alors 8p 2 N, a p+1 = a p puis a p = ( 1) p a0 . Mais alors, nécessairement pour tout
réel x, f (x) = e x ou pour tout réel x, f (x) = e x .
Réciproquement, ces deux fonctions sont clairement solutions du problème posé.
Correction de l’exercice 17 N
⇤ p p⇥ ⇤ p p
⇥
1. La fonction f est de classe C• sur 2 , 2⇤ en tant
⇥ que quotient de fonctions de classe C• sur 2, 2
p p 0 2
dont le dénominateur ne s’annule pas sur 2 , 2 et de plus f = 1 + f .
Montrons par récurrence que pour tout⇤ naturel
⇥ n, il existe un polynôme Pn à coefficients entiers naturels
p p
tel que f (n) = Pn f (ou encore 8x 2 ,
2 2 , tan(n) (x) = P (tan x)).
n
22
⇥ ⇥
Le 1) montre que pour tout réel t de 0, p2 et tout entier naturel k, f (k) (t) = Pk (tant) > 0.
f (k) (0) k
Donc, d’une part k! x > 0 et d’autre part,
f (k) (0) k
La suite des sommes partielles de la série de terme général k! x > 0 est majorée et donc la série de
f (k) (0) k
terme général k! x converge.
⇥ ⇥
Ainsi, la série de TAYLOR de f à l’origine converge pour tout réel x de 0, p2 . Son rayon de convergence R
(k) ⇤ ⇤
est donc supérieur ou égal à p2 (et donc la série de terme général f k!(0) xk converge aussi pour x 2 p2 , 0 ).
Il n’y a par contre aucune raison pour le moment pour que sa somme soit f .
(n) ⇤ p p⇥
3. Pour n entier naturel donné, posons an = f n!(0) puis pour x dans +•
2 , 2 , posons g(x) = Ân=0 an xn .
On a vu que 8n 2 N⇤ , Pn+1 = Ânk=0 Pk Pn k . On divise les deux membres de ces égalités par n! et on prend
la valeur en 0 (= tan 0). On obtient
8n 2 N⇤ , (n + 1)an+1 = ak an k et aussi a0 = 0 et a1 = 1.
⇤ p p
⇥
Donc, pour x 2 2, 2 ,
! ! !2
+• +• n +• n +•
0
g (x) = Â (n + 1)an+1 x n
= 1+ Â Â ak an k x = 1+ Â
n
 ak an k
n
x = 1+ Â an x n
n=0 n=1 k=0 n=0 k=0 n=0
= 1 + g2 (x).
De plus, g(0) = a0 = 0.
⇤ ⇥ ⇤ ⇥
Pour⇤ x 2 ⇥ p2 , p2 , posons alors h(x) = arctan(g(x)). La fonction h est dérivable sur p p
2, 2 et pour
p p
x2 2, 2
g0 (x)
h0 (x) = 1+g2 (x)
= 1 puis h(x) = h(0) + (x 0) = x.
⇤ p p⇥
Ainsi, pour⇤ tout x ⇥2 2 , 2 , g(x) = tan x = f (x). Ceci montre déjà que f est développable en série
p p
entière sur ,
2 2 . Mais quand x tend vers p2 par valeurs inférieures, g(x) = f (x) tend vers +• et donc
R 6 p2 puis R = p2 .
⇤ p p⇥ ⇤ p p⇥
En résumé, la fonction tangente est développable en série entière sur 2 , 2 et pour x 2 2, 2 ,
+• n n
tan x = Ân=0 an x où a0 = 0, a1 = 1 et 8n 2 N , (n + 1)an+1 = Âk=0 ak an k . De plus, 8n 2 N, a2n = 0
⇤
4. a0 = a2 = a4 = a6 = 0 puis a1 = 1.
3a3 = a0 a2 + a21 + a2 a0 = 1 et donc a3 = 13 .
2 2
5a5 = 2a1 a3 = 3 et donc a5 = 15 .
4
7a7 = 2a1 a5 + a23 = 15 + 19 = 135
51
= 17
45 et a7 = 17
315 .
⇤ p p
⇥ 3 5 17x7
8x 2 2, 2 , tan x = x + x2 + 2x
15 + 315 + ...
⇤ p p
⇥
5. Pour tout réel x, th(x) = 1x tan(ix) et donc pour x 2 2, 2 ,
23
th(x) = 1i Â+•
n=0 a2n+1 (ix)
2n+1 = +• ( 1)n a
Ân=0 2n+1 x
2n+1 .
Correction de l’exercice 18 N
2 1
Soit x 2 R. La fonction t 7! e t sin(tx) est continue sur [0, +•[, négligeable devant t2
quand t tend vers +• et
est donc intégrable sur [0, +•[. La fonction F est donc définie sur R et impaire.
2
Soit x 2 R. Pour tout réel t, posons f (t) = e t sin(tx). Pour t 2 R, on a
2n+1
e t 2 sin(tx) = Â+• n x 2n+1 e t2 .
n=0 ( 1) (2n+1)! t
2n+1
x
Pour n 2 N et t 2 R, posons fn (t) = ( 1)n (2n+1)! t 2n+1 e t2 .
• Chaque fonction fn , n 2 N, est continue puis intégrable sur [0, +•[ car négligeable devant t12 quand t tend vers
+•.
• La série de fonctions de terme général fn , n 2 N, converge simplement vers la fonction f sur [0, +•[.
R +• +• |x|2n+1 R +• 2n+1 t 2 R 2
• Ensuite, Â+•
n=0 0 | f n (t)| dt = Ân=0 (2n+1)! 0 t e dt. Pour n 2 N, posons In = 0+• t 2n+1 e t dt.
Soit n 2 N⇤ . Soit A un réel strictement positif. Les deux fonctions t 7! t 2n et t 7! 1 t2 sont de classe C1 sur
2e
le segment [0, A]. On peut donc effectuer une intégration par parties et on obtient
Z A Z A A Z A
2n+1 t2 2n t2 1 2n t2 t2
t e dt = t ⇥ te dt = t e +n t 2n 1 e dt
0 0 2 0 0
Z A
1 2n A2 t2
= A e +n t 2n 1 e dt.
2 0
R +• t2 1
Quand A tend vers +•, on obtient In = nIn 1 . En tenant compte, de I0 = 0 te dt = 2 on a donc 8n 2 N,
In = n!2 puis
R +• n!|x| 2n+1
Â+•
n=0 0 | fn (t)| dt = Â+•
n=0 (2n+1)! .
(n+1)!|x|2n+3 (n+1)!|x|2n+3
(n+1)x2
Soient n 2 N et x 2 R. (2n+3)!
n!|x|2n+1
= (2n+3)(2n+2) et donc limn!+• (2n+3)!
n!|x|2n+1
= 0. D’après la règle de d’A LEMBERT,
(2n+1)! (2n+1)!
2n+1
la série numérique de terme général n!|x|
(2n+1)! converge.
En résumé, pour tout réel x,
• Chaque fonction fn , n 2 N, est continue puis intégrable sur [0, +•[ car négligeable devant t12 quand t tend vers
+•.
• La série de fonctions de terme général fn , n 2 N, converge simplement vers la fonction f sur [0, +•[.
R +•
• Â+•
n=0 0 | f n (t)| dt < +•.
D’après un théorème d’intégration terme à terme, pour tout réel x,
R +• t 2 sin(tx)
R +• n n!x 2n+1
0 e dt = Â+•
n=0 0 fn (t) dt = Â+•
n=0 ( 1) 2(2n+1)! .
2
2 /4 2 /4 ex /4
Par suite, pour tout réel x, ex F 0 (x) + 2x ex F(x) = 2 et donc
24
x2 /4 R x t 2 /4 x2 /4 R
dt = e 2 0x et /4 dt.
2
F(x) = F(0) + e 2 0e
R +• t 2 sin(tx) e x2 /4 R x t 2 /4
8x 2 R, 0 e dt = 2 0 e dt.
Correction de l’exercice 19 N
On a I0 = 0, I1 = 1 et I2 = 2 (l’identité et la transposition t1,2 ).
Soit n 2 N⇤ . Il y a In+1 involutions s de [[1, n + 2]] vérifiant s (n + 2) = n + 2 car la restriction d’une telle
permutation à [[1, n + 1]] est une involution de [[1, n + 1]] et réciproquement.
Si s (n + 2) = k 2 [[1, n + 1]], nécessairement s (k) = n + 2 puis la restriction de s à [[1, n + 2]] \ {k, n + 2} est
une involution et réciproquement Il y a In involutions de [[1, n + 2]] \ {k, n + 2} et n + 1 choix possibles de k et
donc (n + 1)In involutions de [[1, n + 2]] telles que s (n + 2) 6= n + 2. En résumé,
+• +• +•
In In+2 n+1 In+1 + (n + 1)In n+1
f 0 (x) = Â (n 1)!
xn 1
= 1 + 2x + Â
(n + 1)!
x = 1 + 2x + Â
(n + 1)!
x
n=1 n=1 n=1
+• +•
In n In
= 1 + 2x +  x + x  xn
n=2 n! n=1 n!
= 1 + 2x + f (x) x + x f (x) = 1 + x + (x + 1) f (x).
x2 x2 x2
Donc, pour x 2] R, R[, f 0 (x) + (x + 1) f (x) = x + 1 ou encore e 2 +x f 0 (x) + (x + 1)e 2 +x f (x) = (x + 1)e 2 +x .
Par suite, pour x 2] R, R[,
x2 Rx t2 x2
e 2 +x f (x) f (0) = 0 (t + 1)e
2 +t dt = e 2 +x 1,
x2
et puisque f (0) = 0, 8x 2] R, R[, f (x) = e 2 +x 1.
Réciproquement, la fonction précédente est développable en série entière sur R en vertu de théorèmes généraux
x2 In
(= e 2 ⇥ ex ) et les coefficients de ce développement vérifient les relations définissant n! de manière unique.
In
Donc, ces coefficients sont les n! ce qui montre que R = +•.
In n x2
8x 2 R, Â+•
n=1 n! x = e
2 +x 1.
Correction de l’exercice 20 N
1. Soient n > 2 puis k 2 [[1, n 1]]. On met une parenthèse autour de X1 ...Xk et une autour de Xk+1 ...Xn .
Ensuite, pour chacun des ak parenthésages de X1...Xk , il y a an k parenthésages possibles de Xk+1 ...Xn .
Finalement, en faisant varier k de 1 à n 1, on a montré que
8n > 2, an = Ânk=11 ak an k .
2. On suppose momentanément le rayon R de la série entière associé à la suite (an )n2N⇤ strictement positif.
On pose conventionnellement a0 = 0. Pour x 2] R, R[,
25
2 n n 1
f 2 (x) = Â+•
n=0 an x
n = Â+• n +•
n=0 (Âk=0 ak an k ) x = Ân=2 Âk=1 ak an k xn = Â+• n
n=2 an x = f (x) x,
et donc
p p
3. Nécessairement, pour tout x de ] R, R[, f (x) = 12 (1+ 1 + 4x) (I) ou f (x) = 12 (1 1 4x) (II). Ainsi,
pour chaque x 2] R, R[, on doit choisir l’une de ces deux expressions. Puisque f (0) = 0, il faut choisir
l’expression (II) quand x = 0.
⇤ ⇥ p ⇤ 1 1⇥
Pour x 2 14 , 14 , posons g(x) = 12 (1 1 4x). g est développable en série entière sur 4 , 4 en vertu
de théorèmes généraux. Notons (bn )n2N la suite des coefficients du développement. Puisque g(0) ⇤ 1=10,
⇥
0
on a b0 = 0 = a0 et puisque g (0) = 1, on a b1 = 1 = a1 . Enfin, la fonction g vérifie 8x 2 4 4 ,
,
g2 (x) = g(x) x et donc 8n > ⇤2, bn =⇥ Ânk=11 bk bn k . On en déduit par récurrence que pour tout entier
1 1
naturel n, bn = an et donc 8x 2 4 , 4 , f (x) = g(x).
⇤ 1 1
⇥ p
8x 2 4, 4 , f (x) = 12 (1 1 4x).
⇤ 1 1
⇥
4. Pour connaitre les an , il reste à développer la fonction g en série entière. Pour x 2 4, 4 ,
⇣ ⌘
g(x) = 12 (1 (1 4x)1/2 ) = 1
2 1 Â+• C n ( 4x)n = +• ( 1)n 1C n 22n 1 xn .
n=0 1/2 Ân=1 1/2
Enfin, pour n 2 N⇤ ,
1 1
1 ⇥ . . . ⇥ 12 (n 1) 2n 1 2n 1
⇥
( 1)n 1C1/2
n
22n 1
= ( 1)n 12 2
2 = ⇥ 1 ⇥ 3 ⇥ .... ⇥ (2n 3)
n! n!
2n 1 1 ⇥ 2 ⇥ 3 ⇥ .... ⇥ (2n 3) ⇥ (2n 2) (2n 2)! Cn 1
= ⇥ = = 2n 2 .
n! 2 ⇥ 4 ⇥ . . . ⇥ (2n 2) n!(n 1)! n
Donc
n 1
C2n
8n 2 N⇤ , an = n .
2
26