CONCOURS NATIONAL – MAROC - 1993

EHTP-EMI-ENIM-ENPL-ENSEM-ENSIAS-IAV-INPT
Epreuve d’analyse
Etude du comportement asymptotique en +∞
de la solution du problème de Cauchy :
xy''+ y'−4xy = 0

 y (0) = 1
Solution par Said BELALI

PARTIE I

Question 1: Ensemble de définition de D

1 a a
Posons z = x 2 et an = 2
. On a n = (n+1)2 d’où lim n = +∞ d'où le rayon de
( n !) a n+1 a n+1
zn x2n
convergence de la série ∑ (n!) 2 est +∞ . On en déduit que pour tout x ∈ R la série ∑ (n!) 2 est convergente .
Question 2 : S’ = {y0}
+∞
x2n
y0(x) = ∑ (n!) 2 est une série entière de rayon de convergence infinie donc indéfiniment dérivable sur R et de
n= 0
+∞ +∞
( 2 n + 2 ) x 2 n +1 ( 2 n + 2 )( 2 n + 1) x 2 n
plus : y '0 ( x ) = ∑ (( n + 1)!) 2
, y"0(x) = ∑ (( n + 1)!) 2
. Par ailleurs :
n= 0 n= 0
+∞
(2 n + 2)(2 n + 1) + (2 n + 2) − 4( n + 1) 2 2 n +1
xy0"(x) + y'0(x) - 4xy0(x) = ∑ (( n + 1)!) 2
x = 0 et y0(0) = 1 , d'où y0 ∈S' .
n=0
+∞
Réciproquement : Considérons y dans S' et posons : y(x) = ∑ a n xn de rayon de convergence R supposé non nul.
n= 0
+∞
On a : xy" + y' -4xy = 0 et y(0) = a0 = 1 , et par suite a1 + ∑ (( n + 1)2a n +1 − 4a n −1) x n = 0 , pour tout x <R ,
n =1
4
d'où on a la récurrence : a0 = 1 , a1 = 0 et an+2 = a n ,∀n ∈N .
( n + 2) 2
1
Ceci nous permet de voir que : a2n+1 = 0 et a2n = ,∀n ∈N , c’est à dire y = y0 .
( n!) 2
En conclusion S' = {y0} .

PARTIE II

Question 1: a) Théorème demandé

Le théorème peut s’énoncer :
+∞
+
Soient f et g deux fonctions continues définies sur [1,+∞[ à valeurs dans R . Si ∫ f ( t)dt est divergente et f est
1
x x
négligeable devant g quand x tend vers +∞ , alors ∫ f ( t)dt est négligeable devant ∫ g(t)dt .
1 1
b) Identité souhaitée
Les fonctions étant de classe C1 , on peut intégrer par parties :
x
x 4t
e  e4 t  x 4t
e e 4 x e4
x 4t
e
∫ t
dt =   +
 4 t 1 1 4 t
2
dt∫=
4x
−
4
+
4t 2
dt . ∫
1 1

Infty08
c) Equivalent demandé
e4x e4x
Les fonctions f(x) = et g(x) = vérifient les conditions du théorème car :
4x2 x
i) f et g sont continues positives sur [1 ,+∞[
f (x) 1
ii) = tend vers 0 quand x tend vers +∞ donc f est négligeable devant g
g(x) 4x
+∞ +∞
iii) 1 est négligeable devant f quand x tend vers +∞ et ∫ 1dx diverge , par suite ∫ f ( t)dt est une intégrale
1 1
divergente.
x 4t
e  e4 x e4   x e4 t 
Ceci nous permet de voir que ∫ dt −  −  = o dt c’est à dire que :
∫
t  4x 4  t 
1 1 
x 4t
e e4x e4 e4x
∫ t
dt ~
+∞ 4 x
− ~
4 +∞ 4 x
.
1

Question 2a) : Identité sur les coefficients binomiaux

2n
Considérons le polynôme P(x) = (1+x)2n . On a P(x) = ∑ Cp2nxp donc le coefficient de Xn est C n2n . Par ailleurs
p= 0
2
 n  2n
P(x) = (1+x)n (1+x)n =  C kn x k  =
 k =0 
∑ ∑
α p x p avec αp = ∑
C kn Cln , pour tout 0 ≤ p ≤ n. Par identification on
p= 0 k +l = p
n
obtient : C n2n = αn = ∑ C kn Cln = ∑ Ckn Cnn − k .
k +l=n k =0
b) Expression de y0 (x)2
+∞ +∞
∑ bk zk ∑
1
Posons y0(x) = avec z = x 2 et bk = pour tout k entier . Alors y0(x)2 = cn zn où
k= 0 (k !)2 n= 0

C kn C nn − k
n n n
Cn2 n
∑ bk bn− k = ∑ ((k !)(n − k )!) 2 = ∑
1
cn = c’est à dire cn = , pour tout n entier d'après a) .
k =0 k=0 k =0 (n!) 2 ( n !) 2

 ( 2 n )! 
2 +∞ 2
 ( 2 n )! 
(4x)2 n (4x)2 n
∑
(2 n)! 2 n
En particulier c n z = n
x =   et par suite y0(x) 2=
 2 n
.
(n!) 4 ( 2 n )! 2 n
 ( n !) 4  n= 0
( 2 n )!  ( n !) 4 
Question 3a) : Détermination de h
u  1 1
On a pour tout n entier : vn = ln  n+1  = 1+(n+ )ln(1- ).
 un  2 n+1
Cherchons un développement asymptotique de vn en 1/n+1 à l'ordre 2 :
1 1 1 1 1 1 1 1
ln(1- )= − − − + o( ) or vn = 1 + ( n + 1) ln(1 − ) − ln(1 − )
n+1 n + 1 2( n + 1) 2
3( n + 1) 3
( n + 1) 3 n+1 2 n+1
1 1 1 1 1 1 1
d’où : vn = 1 − 1 − − + o( )+ + + + o( ) c’est à dire:
2 ( n + 1) 3( n + 1) 2
( n + 1) 2 2 ( n + 1) 4 ( n + 1) 2
6( n + 1) 3
( n + 1) 3
−1 1 −1 −1
vn = + o( ) . La partie principale de vn est ~ .
12 ( n + 1) 2 ( n + 1) 2 12 ( n + 1) 2 12 n 2
−1
En conclusion la valeur de h demandée est .
12

b) Existence de k

Infty08
 n −1
−1
Etudions la convergence de un . Pour tout n ≥ 2 , on a ln(un) = 1 + ∑ v k . Comme vk est équivalent à 12 k 2
≤ 0,
k =1
la série de terme général vk est convergente , et par conséquent il existe λ ∈R tel que lim ln(un) = λ . Ceci
permet de voir que lim un = k avec k= eλ > 0 .

c) Equivalent de wn
nn n
D'après 3-b) on a un tend vers k donc n! est équivalent à k . On a de même :
en
4 n .n 2n 2n n 2 n +1
(2n)! ~ k et (n!)2 ~ k 2 .
e2n e2 n
( 2 n )! n 4n n2 n 2n e2n n 2
Par conséquent : wn = 2 n
~ k 2n 2 2 n +1 n
= .
( n !) 4 e k n 4 k

Question 4 : Dérivabilité de h
+∞ +∞
( 4x) 2 n 1 4 2n
On a h(x) = ∑ ( 2 n )! n
que l'on peut écrire sous la forme h(x) = ∑
d n z n = H(z) avec dn =
n ( 2 n )!
pour tout n
n=1 n=1
entier , et z = x2 . La dernière série a pour rayon de convergence :
an ( n + 1)( 2 n + 1)( 2 n + 2 )
R = lim = lim = +∞ , donc H est une série entière définie sur R et par suite
a n+1 16n
dérivable . On en déduit que h(x) = H(x2) est aussi dérivable sur R .
Par ailleurs , pour tout x > 0 , on a :
+∞
( 4 x) 2 n e 4 x + e −4 x e4x
∑
2 2 1
h'(x) = = ( ch (4 x) − 1) = − ~ .
x n =1 ( 2 n )! x x 2 x +∞ x

Question 5: Equivalent de y0
+∞ 2
(4x)2n  (2n )! 
∑
2 ( 2n)!
Nous avons d'après II-2-b) y0(x) = 2
  , comme wn  
→ la suite est
0
(2n)!  (n!) 4 
2 n n→+∞ k ( n!) 2 4n
2
2  (2n )!  2
équivalente à et par conséquent   ~ 2 .
k n  (n!) 4  +∞ k n
2 n

+∞ 2 +∞ 2 n n
4 2n zn  ( 2n)! 
∑ ∑
4 z 2
Considérons les fonctions suivantes : F(z) =  2 n  et G(z) = .
n= 0
( 2n)!  ( n!) 4  n =1
( 2n )! k 2 n
2
Nous avons les relations : ∀x ∈ R , y0(x)2 = F(x2) et h( x) = G(x2) . Les séries entières F(z) et G(z) vérifient
k2
2
les conditions du théorème précédent , donc F et G sont équivalentes en +∞ d'où y0(x)2 ~ h (x) . (*)
k2 +∞
Il nous suffit de déterminer un équivalent de h . h(x) est une série entière de rayon infini donc indéfiniment
dérivable sur R . On en déduit que h' est continue sur R , ce qui permet d’écrire pour tout x ≥ 1 :
x e4x
∫
h(x) = h(1) + h '( t ) dt . Les fonctions h' et
1 x
sont continues positives sur [1,+ ∞ [ équivalentes en +∞ et
x x 4t
e e4x
d'intégrales divergentes. Le cours permet d’affirmer que : ∫ h' (t )dt ~
+∞
∫ 4t
dt ~
+∞ 4x
, ou encore
1 1
e4x
h(x) ~ .
+∞ 4x
e2x
En conclusion d'après (*) , puisque y0(x) ≥ 0 : y0(x) ∼ en +∞ .
k 2x

Infty08
 PARTIE III

Question 1a) Evaluation de la somme f(t)

+∞
x neint xn xn
Comme x > 0 , pour tout t ∈R , on a :
n!
=
n!
; la série
n!
∑
étant convergente , la série
n= 0
+∞
x n eint
∑ n!
est normalement convergente sur R .
n= 0
+∞ +∞ (xeit ) n
x n eint
Par ailleurs : ∀ t∈ R , f(t) = ∑ n !
= ∑
n !
= exp(xeit) .
n= 0 n=0
b) continuité de f
f étant la composée de fonctions exponentielles est continue sur R .
Evaluation des coefficients de Fourier :
+∞
x ne i ( n − k ) t
Fixons nous k dans Z . La série ∑ n !
converge normalement donc uniformément vers f(t) e-ikt sur R et
n=0
∞

∑∫
π π
1 x n ei ( n − k ) t
par conséquent sur [- π , π ] , ce qui autorise : ∫ f (t )e −ikt dt = dt .
2π n!
−π −π
n= 0
π
1 i (n− k )t
Posons pour (n,k) ∈N × Z : an,k =
2π ∫e dt .
−π
i) Si k<0 : pour tout n ∈ N , an,k = 0 .
ii) Si k ≥ 0 : an,k = δk,n .
π
1 xk
D'après ce qui précède , on conclut que ∫ f (t )e− ikt dt = si k ≥ 0 , 0 sinon .
2π k!
−π

c) Egalité demandée
f étant définie continue 2π - périodique de R vers C , on a d'après l'identité de Parseval :
π +∞ 2
+∞ 2 k
1 π
∑ ∑
1 x
∫ f (t )e− ikt dt =
∫
2
f (t ) dt = .
2π −∞
2π −π k = 0 (k !)
2
−π
π π
1 1
Comme f (t ) = exp(x cos(t )) , il vient : y0(x) =
2π ∫ exp(2 x cos t )dt =
π ∫
exp(2 x cos t )dt .
−π 0

Question 2 : Autre expression de y0

π/2 π
1 1
Posons y0(x) = Q(x) + R(x) avec Q(x) =
π ∫ exp(2 x cos t )dt et R(x) =
π ∫ exp(2x cos t )dt .
0 π/2
π 1
Pour tout t ∈ [ , π ] , on a : cos(t) ≤ 0 , et par suite : 0 ≤ exp(2xcos(t)) ≤ 1 d’où : 0 ≤ R(x) ≤ , c’est à dire R
2 2
est bornée sur [0 , + ∞ [ .
π
En considérant le changement de variable u = 2(1 − cos( t )) de [0 , ] vers [0 , 2 ] , on obtient :
2
2

Q(x) =
exp(2 x)
π
∫
0
exp(− xu 2 )

1−
u2
4
du .

v
Le second changement de variable u = nous permet d’obtenir le résultat .
x

Infty08
Question 3 : Autre équivalent de y0
2 πx
Montrons que y 0 ( x)  
→ 1 .
exp( 2x) x→+∞
2x

En effet :
2 πx
exp( 2x)
y0 ( x) =
2
π ∫ 0
exp(−v 2 )

1−
v2

4x
dv +
2 πx
exp( 2x )
R ( x) ; R étant bornée sur [0 , +∞[ ,

2 πx
R ( x) tend vers 0 lorsque x tend vers +∞ .
exp( 2x)
2x 2x

Posons g(x) =
∫
0
exp(− v2 )

1−
v2

4x
dv -
∫ 0
exp(− v2 )dv ; on vérifie facilement que :

2x

g(x) =
1
4x
∫ 
v2 exp(− v2 )
2
1 + 1 − v  1 − v
0 
 4 x 
2

4x
dv et que : g (x) ≤
4
2 2x 2
x 0
v exp( − v 2 ) dv ≤
4
2 +∞ 2
x 0 ∫
v exp( − v 2 ) dv , ∫

cette dernière intégrale étant convergente d'où g(x)  

→ 0 .
x→+∞
2x 2x +∞

Par suite lim

x→+∞

0
∫v
4x
exp(− v2 )

1−
x→+∞

0
2
dv = lim
∫ exp(− v2 )dv =
∫0
exp(− v2 )dv =
2
π
.

exp( 2x )
En conclusion : y0(x) ~ .
+∞ 2 πx

+∞
−t2
Question 4 : Equivalent de ∫e dt
x
− x2 +∞ +∞ − t 2
e− x
2
e e
∫ e− t dt = ∫
2
a)  
→ 0 ce qui autorise l’intégration par parties : - dt .
2x x→+∞
x
2x
x
2t 2
+∞ − t 2 +∞
1 1 e 1 −t2
Pour tout t ∈ [x , +∞[ , on a :
2t 2
≤
2x 2
donc ∫ 2t 2
dt ≤
2x 2 ∫e dt et par suite :
x x
+∞
e− x e− x
2 2

−t2 +∞ − t 2 +∞ − t 2
∫e dt -
2x
= o(
x ∫
e dt ) en +∞ . En conclusion
x
e dt ~
+∞ 2x
. ∫
x

b) Existence de α0 , ... , αn
−
1 +∞ C2pp
∑
(2 p)!
On a pour tout u ∈ [0 , 1[ : (1 − u ) 2 = µ p u p avec µp = = . On peut donc écrire pour tout u dans
0 4 p ( p!) 2 4p
1 n +∞
−
[0 , 1/2] : (1 − u) 2 = ∑ µ p u p + Ψ (u) avec Ψ(u) = ∑ µ p u p .
0 p = n +1

Infty08
 2x

∫ ∑
n
2x 2x
exp(− v2 ) µp v2
On en déduit alors :
v2
dv =
(4 x )p 0
∫ v2 p exp(− v2 )dv + ∫ Ψ(
4x
) exp(− v2 )dv
0
1− p=0
0 4x

∑ ∑
n n
µ p +∞ 2 p µp +∞ 2x
v2
=
( 4 x) p 0
∫
v exp( − v 2 )dv −
( 4 x) p
∫ v 2 p exp( − v 2 )dv + ∫ Ψ(
4x
) exp(− v2 )dv .
2x 0
p=0 p =0
+∞
( 2 x )2 p −1
Un raisonnement analogue à 4a) conduit à : ∫ v2 p exp(− v2 )dv ~
+∞ 2
exp(−2 x) .
2x

∑
n
+∞
µp
Montrons que ε1(x) = x n +1− p ∫v
2p
exp( − v 2 )dv est une fonction bornée de x sur [0 , +∞[ . Pour tout
4p
p=0 2x

µ p +∞ µp
0≤ p ≤ n on a : x n +1− p p v2 p exp( − v2 )dv ~ p
∫ x n +1/ 2 exp( −2 x)  
→ 0 . Cette dernière fonction est
4 +∞ 2 2 x→+∞
2x
donc continue sur [0 , +∞[ , avec une une limite nulle en +∞ . Elle est donc bornée sur [0 , +∞[ pour tout
0≤ p ≤ n . En particulier ε1 est bornée sur [0 , +∞[ .
2x
v2
Montrons que ε2(x) = xn+1 ∫ Ψ(
4x
) exp(− v2 )dv prolongée en 0 par 0 est bornée sur [0 ,+∞[ . Le changement
0
1
t2
de variable v = 2x t pour x > 0 ,montre que ε2(x) = xn+1 2 x ∫ Ψ( ) exp( −2 xt 2 )dt , égalité vraie même pour
2
0
x = 0 , et permet de voir qu’elle est continue sur [0 , +∞[ comme produit de fonctions continues .
2p C2pp
Par ailleurs l’égalité : 4p = ∑ C2kp montre que µp =
4p
≤ 1 , ∀p ∈ N . Donc pour tout x > 0 on peut écrire :
k=0
n +1
 v2 
  n +1
∞  v2 
[ ]
∀ v∈ 0, 2 x , 0 ≤ Ψ(
v2
4x
)≤
v2 p
∑
p = n +1 ( 4 x)
p
=
v2
≤ 2  
 4x 
 4x 
. On en déduit alors que pour tout x > 0 :
1−
4x
2x +∞
2 2
0 ≤ ε2(x) ≤ ∫v ∫
exp( − v )dv ≤ n +1 v 2 exp( − v 2 )dv . En résumé ε2 est bornée sur [0 , +∞[ .
2 2
n +1
4 0
4 0
Considérons enfin ε3(x) = x n+1 x R(x) exp( −2 x) ; R étant bornée sur [0 , +∞[ , on en déduit que ε3 est bornée
sur [0 , +∞[ .
On a donc le résultat souhaité en prenant :
C2pp +∞ 2 p −1 1
∀ 0≤ p ≤ n , αp = p
16 π 0
∫
v exp( − v 2 ) dv et ∀x ∈ R , ε(x) = ε1( x ) + ε 2 ( x ) + ε 3( x ) .
π π

+∞ +∞
1 1 1 1
En particulier : α0 = ∫ exp( − v 2 ) dv = , α1 = ∫v exp( − v 2 )dv =
2
, par une simple intégration
π 2 π 8π 32 π
0 0
par parties .

Infty08
 PARTIE IV
a) Propriétés de λ et unicité de la solution
+∞
x2k
Les fonctions y et y0 sont deux fois dérivable sur R et y0(x) = 1+ ∑ 2
≥ 1 donc λ est bien définie et deux
k = 1 ( k !)
fois dérivable sur R . Par ailleurs on a successivement :
y = λ y0 , y' = λ’y0 +λ y0’ , y" = λ " y 0 + 2λ ' y'0 + λy"0 .
On en déduit que l’équation différentielle recherchée : xy0λ’’ +(2xy0’ + y0)λ’ = 0 .
En particulier pour x = 0 on a : y0(0)λ’(0) = λ’(0) = 0 . On posera dans la suite z = λ’. L’équation différentielle
a
en z est alors linéaire du première ordre . Elle s’intègre aisément sur ]0 , +∞[ en : λ’ = z = où a désigne un
xy02
réel .
Mais ( maladresse du problème !) on peut conclure directement que z = 0 sur [0 , +∞[ : en effet z est continue en
a
0 , avec z(0) = 0 . Il en découle : lim z( x) = lim = 0 et par suite a = 0 . Donc z = 0 et λ est constante
x→ 0 x→ 0 xy0 ( x) 2
x>0 x >0
sur [0 , +∞[ . Comme λ(0) = 1 , il vient que y coïncide avec y0 sur [0 , +∞[ .
En raisonnant de façon analogue sur ]-∞ , 0] , on conclut que y = y0 .

===============================

Infty08