s

−dt
Z
1
s > −√
3
ρ(s) = √
2 0 4 + 8t3
1
s0 = − √ 3
2
√
3 πΓ 43


ρ (s0 ) = √
= ρ0
3
2Γ − 16
ρ est prolongeable par continuité en s0 la fonction ρ est strictement décrois-
sante sur l’intervalle [s0 , +∞[. ρ(0) = 0
−Γ( 13 )Γ( 56 )
lim ρ(s) = √3 √
2 π
= ρ∞
s→+∞
tableau de signe de ρ :

-lien entre ρ(s0 ) et ρ(+∞)

Propriété: ρ∞ = −2ρ0
démonstration:
Soit s ≥ s0
On considère le changement de variable de classe C ∞ et strictement décrois-
sant :
le
1
t1 = √
4 + 8t3
donc dt 2 3
dt = −12t · t1
1

Soit :
p
w(0) = 0 et w0 (s) = − 4 + 8w3 (s)
la fonction w vérifie l’équation différentielle du second ordre :
00
w (s) = 12w2 (s), w0 (0) = −2 , et w(0) = 0

u0 = 3uv 2 u(0) = 1

v 0 = −2u3 − v 3 v(0) = 0

1
 v
w=
u

u4 + 2uv 3 = 1
Si

f = u4 − uv 3 f (0) = 1

g = 2u3 v + v 4 g(0) = 0

h = u3 v − v 4 h(0) = 0
alors

f 3 + g 3 + h3 = 1
h
calcul de :
g
h 1 − w3
=
g 2 + w3
calcul de f 0 :

f 0 = 18u4 v 2

(uv)0 = −2f

−2
w0 =
u2
1
u2 = √
1 + 2w3
comme u est positive au voisinage de 0:
1
u= √
4
1 + 2w3
w
v= √
4
1 + 2w3
3w2
u0 =
(1 + 2w3 )3/4

2 + w3
v0 = −
(1 + 2w3 )3/4

2
 u0 v − uv 0 = 2

u0 v = 1 − f uv 0 = −1 − f

u00 = −3v − 9vf

u0 = 3uv 2 u(0) = 1

u00 = 3uv 4 − 6u4 v

v 00 = −12u3 v 2 + 3v 5

1 2
( )0 = 2
w v
1 2v 0
u3 = − −
3u 3
2 v0
v3 = +
3u 3
3 1
v 0 = − u3 −
2 2u