Olivier Gilbert et Xavier Boucher

Physique Mathématique 3
PHY-1004

Devoir 1

Travail présenté à
Carmelle Robert

Physique
Université Laval
19 Janvier 2023
Olivier Gilbert Devoir 1 Xavier Boucher

1 ED homogène

18 ′ 2x(x + 2)
9(x + 1)y ′′ (x) + y (x) − y(x) = 0
x+2 (x + 1)
ON trouve nos points singulier pour nos fonctions p(x), q(x) et r(x)
18 2
P (x) = =
(x + 2)(9(x + 1)) (x + 2)(x + 1)
2x(x + 2)
Q(x) = −
9(x + 1)2
R(x) = 0
On voit qu’on a deux points singuliers à x = −1 et à x = −2. Il nous ait demandé de choisir un x0 = −1,
mais on ne peut pas avec la méthode générale, car pour cette méthode le x0 doit être analytique. On doit se tourner
vers la méthode de Frobenius pour des points singuliers réguliers. Avec x0 = −1, on effectue le test pour faire la
méthode de frobenius.
2 2
(x − x0 )p(x) = (x + 1) =
(x + 2)(x + 1) (x + 2)
2x(x + 2) −2x(x + 2)
(x − x0 )2 q(x) = − (x + 1)2 =
9(x + 1)2 9
On peut constater que les fonctions son analytiques pour ce x0 , donc on peut utiliser cette méthode. On a aussi un
domaine de convergence de 0 < x < ∞. On effectue le changement de variable suivant pour assomplir l’écriture.

t=x+1
2
tp(t) =
(t + 1)

−2(t − 1)(t + 1) −2t2 + 2

t2 q(t) = =
9 9
On utilise la règle des racines pour déterminer quelle cas de Frobenius on a.

r2 + (P0 − 1)r + Q0 = 0
Il faut d’abord trouver nos P0 et Q0 .
1
Pn = (tp)n |t0 =0
n!
1
P0 = (tp)|t0 =0 = 2
0!
1
Qn = (t2 p)n |t0 =0
n!
1 2 2
Q0 = (t p)|t0 =0 =
0! 9
2
r2 + (2 − 1)r + =0
9

9r2 + 9r + 2 = 0

Page 1 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

9r2 + 6r + 3r + 2 = 0
3r(3r + 2) + 1(3r + 2) = 0
(3r + 1)(3r + 2) = 0
1
r1 = −
3
2
r2 = −
3
1 2 1
∆r = r1 − r2 = − + =
3 3 3
Nous avons un cas 1 de Frobenius.
∞
X ∞
X
y(x) = tr1 an tn + tr2 bn tn
n=0 n=0
Il nous reste donc à chercher an et bn à l’aide de la règle de réccurence.
On commence par calculer an avec r1 .
La règle de réccurence est :

((n + r)(n + r − 1) + P0 (n + r) + Q0 )an + (P1 (n + r − 1) + (Q1 ))an−1 + (P2 (n + r − 2) + Q2 )an−2 + ... = 0

Il y aussi deux conditions à respecter :

a0 ̸= 0
ai<0 = 0
On commence par calculer an avec r = r1 . Il nous faut d’abord calculer Pn et Qn
1
Pn = (tp)n |t0 =0
n!

2
tp(t) =
(t + 1)
1 2
P1 = (tp)1 |t0 =0 = − |t0 =0 = −2
1! (t + 1)2
1 4
P2 = (tp)2 |t0 =0 = |t0 =0 = 2
2! 2 (t + 1)3
1 12
P3 = (tp)3 |t0 =0 = − = |t0 =0 = −2
3! 3! (t + 1)4
1 48
P4 = (tp)4 |t0 =0 = =2
4! 4! (t + 1)5
−2(t − 1)(t + 1) −2t2 + 2
t2 q(t) = =
9 9
1
Qn = (t2 p)n |t0 =0
n!
1 2 2
Q0 = (t p)|t0 =0 =
0! 9

Page 2 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

1 2 n 4t
Q1 = (t p) |t0 =0 = − |t0 =0 = 0
1! 9
1 2 n −4 2
Q2 = (t p) |t0 =0 = |t0 =0 = −
2! 2! · 9 9
Q3 = 0
Avec n=1,
1
r1 = −
3
1 1 1 1
((1 − )(1 − − 1) + P0 (1 − ) + Q0 )an + (P1 (1 − − 1) + (Q1 ))a0 = 0
3 3 3 3
1 1 1 2 1
((1 − )(− ) + 2(1 − ) + )a1 − (−2 )a0 = 0
3 3 3 9 3
4 2
a1 = − a0
3 3
1
a1 = − a0
2
Avec n =2,
1 1 1 1 1
((2 − )(2 − − 1) + P0 (2 − ) + Q0 ))a2 + (P1 (2 − − 1)+)a1 + (P2 (2 − − 2) + Q2 )a0 = 0
3 3 3 3 3

1 1 1 2 1 1 2
((2 − )(1 − ) + 2(2 − ) + ))a2 + (−2(1 − )+)a1 + (2(− ) − )a0 = 0
3 3 3 9 3 3 9
a0
a2 =
21
Avec n=3,
1 1 1 1 1 1
((3− )(3− −1)+P0 (3− )+Q0 )a3 +(P1 (3− −1)+(Q1 ))a2 +(P2 (3− −2)+Q2 )a1 +(P3 (3− −3)+Q3 )a0 = 0
3 3 3 3 3 3

1 1 1 2 1 1 2 1
((3 − )(2 − ) + 2(3 − ) + )a3 + (−2(2 − )+)a2 + (2(1 − ) − )a1 + (−2(− ))a0 = 0
3 3 3 9 3 3 9 3
a0
a3 =
210
Maintenant pour bn , on a besoin de la règle de réccurence avec r2 .
Pour n=1,
−2 −2 −2 2 −2
((1 + )(1 + − 1) + 2(1 + ) + )b1 + (−2(1 + − 1))b0 + 0 + ... = 0
3 3 3 9 3
2b1 4b0
=−
3 3
b1 = −2b0
Pour n=2,

−2 −2 −2 2 −2 −2 2
((2 + )(2 + − 1) + 2(2 + ) + )b2 + (−2(2 + − 1))b1 + (2(2 + − 2) − )b0 + 0 = 0
3 3 3 9 3 3 9

Page 3 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

14b0
10b2 = −4b0 +
3
2b0 b0
b2 = =
30 15
Avec n=3,
2 2 2 2 2 2
((3− )(3− −1)+P0 (3− )+Q0 )b3 +(P1 (3− −1)+(Q1 ))b2 +(P2 (3− −2)+Q2 )b1 +(P3 (3− −3)+Q3 )b0 ... = 0
3 3 3 3 3 3

2 2 2 2 2 2 2 2
((3 − )(2 − ) + 2(3 − ) + )b3 + (−2(2 − )+)b2 + (2(1 − ) − )b1 + (−2(− ))b0 ... = 0
3 3 3 9 3 3 9 3
b0
b3 = −
30
1 a0 a0 a0 3 2 b0 b0
y(t) = t− 3 (a0 − t + t2 + t + ...) + t− 3 (b0 − 2b0 t + t2 − t3 + ...)
2 21 210 15 30
On retour en x pour avoir y(x).
1 a0 a0 a0 2 b0 b0
y(x) = (x+1)− 3 (a0 −(x+1) +(x+1)2 + (x+1)3 ...)+(x+1)− 3 (b0 −2b0 (x+1)+(x+1)2 − (x+1)3 ...)
2 21 210 15 30

2 Équation différentielle non homogène

2x2 y ′′ + xy ′ − xy = 3x + x2
On doit démontrer la solution suivante pour le domaine de convergence x > 0 :

! ! !
√ x x2 x3 x2 x3 x2 x x2
y(x) = A x 1 + + + + ... + B 1 + x + + + ... + 1+ + + ... − 3
3 30 630 6 90 6 15 420

On transforme l’équation en son équivalent de la forme standard :

1 ′ 1 3+x
y ′′ + y − y=
2x 2x 2x
1) Convergence et x0 :
Comme on veut x > 0, on choisit Frobenius avec x0 = 0 et on vérifie si x = 0 est bel et bien un PSR :
1
p(x) =
2x
−1
q(x) =
2x
3 1
r(x) = +
2x 2
1
x · p(x) =
2
−x
x2 · q(x) =
2

Page 4 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

Ces deux fonctions sont analytiques à x = 0, donc on peut prendre Frobenius.

2) Équation des racines

r2 + r(P0 − 1) + Q0 = 0

1
Pn = [x · p(x)](n)
n! 0
1 h i (n)
Qn = x2 · q(x)
n! 0
On calcule quelques valeurs de Pn et Qn :
 (0)
1 1 1
P0 = =
0! 2 0
2
 (1)
1 1
P1 = =0
1! 2 0
Comme nous avons atteint la dérivée d’une constante, nous pouvons conclure que tous les prochains Pn seront
nuls :
Pn>0 = 0
Maintenant, on calcule les Qn :
(0)
1 −x

Q0 = =0
0! 2 0
(1)
1 −x −1

Q1 = =
1! 2 0
2
(2)
1 −x

Q2 = =0
2! 2 0
Nous avons aussi atteint la dérivée d’une constante, donc tous les prochains Qn seront nuls :

Qn>1 = 0

L’équation des racines devient donc

r
r2 −=0
2
1
 
r r− =0
2
1
r1 = r2 = 0
2
Nous avons donc un cas 1 de Frobenius.
Nous devons maintenant trouver la règle de récurrence pour r1 afin de trouver y1 :

[(n + r)(n + r − 1) + P0 (n + r) + Q0 ] an + [P1 (n + r − 1) + Q1 ] an−1 + ... = 0

En remplaçant Pn , Qn et r, on obtient :

Page 5 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

1 1 1 1 1
    
n+ n− + n+ an − an−1 = 0
2 2 2 2 2
an−1
an =
2n2 + n
On calcule les valeurs de quelques coefficients selon a0 :

a0 ̸= 0
a0
a1 =
3
a1 a0
a2 = =
10 30
a2 a0
a3 = =
21 630
a0 a0 a0 3
 
1
a0 y1 = x 2 a0 + x + x2 + x + ...
3 30 630
1 1 1 3
 
1
y1 = x 2 1 + x + x 2 + x + ...
3 30 630
∞ n
!
1 X Y 1 1
y1 = x + 2
2
xn+ 2
n=1 m=1
2m + m
On a maintenant la première partie de la solution homogène et nous cherchons la deuxième partie en trouvant
la règle de récurrence avec r2 = 0 :
1
P0 =
2
1
Q1 = −
2
(n(n − 1) + P0 n)bn + (Q1 )bn−1 = 0
n bn−1
(n(n − 1) + )bn − =0
2 2
bn−1
bn =
2(n(n − 1) + n2 )
bn−1
bn =
2n2
− 2n + n
bn−1
bn = 2
2n − n
Pour n=1,
b0
b1 = = b0
2(1)2 − 1
Pour n=2,

b1 b0
b2 = =
2(2)2 − 2 6
Pour n=3,

Page 6 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

b2 b0
b3 = 2
=
2(3) − 3 90
∞
X
b0 y2 = x0 bn xn
n=0
b0 2 b0 3
b0 y2 = b0 + b0 x + x + x + ...
6 90
!
x2 x3
b0 y2 = b0 1+x+ + + ...
6 90
!
x2 x3
y2 = 1+x+ + + ...
6 90
Pour trouver la partie non-homogène, on utilise la partie compatible avec 3x + x2 , qui est y2 . La forme de yp
sera donc
∞
X
yp = cn xn
n=0
On dérive yp :
∞
yp′ =
X
cn nxn−1
n=0
∞
yp′′ =
X
cn n(n − 1)xn−2
n=0
On remplace dans l’ED :

2x2 y ′′ + xy ′ − xy = 3x + x2

∞ ∞ ∞
! ! !
X X X
2 n−2 n−1 n
2x cn n(n − 1)x +x cn nx −x cn x = 3x + x2
n=0 n=0 n=0
∞ ∞ ∞
! ! !
X X X
n n n+1
2 cn n(n − 1)x + cn nx − cn x = 3x + x2
n=0 n=0 n=0
On fait un changement d’indice pour la dernière somme et on commence les deux premières à 1 puisqu’elles
sont multipliées par n de toute façon, donc le résultat ne changera pas.
∞ ∞ ∞
! ! !
X X X
n n n
2 cn n(n − 1)x + cn nx − cn−1 x = 3x + x2
n=1 n=1 n=1
On les regroupe :
∞
X
{2cn n(n − 1) + cn n − cn−1 } xn = 3x + x2
n=1
On se créé quelques équations (n = 1 , n = 2, n = 3, etc.) afin de trouver les coefficients :

c1 − c0 = 3 → c0 = c1 − 3

Page 7 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

c1 + 1
6c2 − c1 = 1 → c2 =
6
c1 + 1
15c3 = c2 → c3 =
90
On a donc la somme suivante :

c1 + 1 c1 + 1
   
(c1 − 3) + (c1 )x + x2 + x3 + ...
6 90
On peut la séparer en deux sommes distinctes plus la constante −3 :
! !
x2 x3 x2 x3 x4
= c1 1+x+ + + ... + + + ... − 3
6 90 6 90 2520
On reconnait que la première partie est simplement notre y2 que nous avons déjà trouvé, donc on garde seule-
ment le reste :
!
x2 x x2
yp = 1+ + + ... − 3
6 15 420
Nous avons donc notre solution finale :

y(x) = Ay1 + By2 + yp

! !
√ 1 1 1 3 x2 x3 x2 x x2
 
y(x) = A x 1 + x + x2 + x + ... + B 1 + x + + + ... + 1+ + + ... − 3
3 30 630 6 90 6 15 420

pour x > 0

3 Frobenius Cas 2
a)
16
(x − 4)y ′′ − 7y ′ + y=0
(x − 4)
On cherche les points singuliers.
−7
p(x) =
(x − 4)
16
q(x) =
(x − 4)2
On voit qu’à x = 4, il y a un point singulier.
Nous avons besoin d’un x0 > 4,donc on doit utiliser la méthode de Frobenius si on veut un x0 = 4.
−7
p(x)(x − 4) = (x − 4) = −7 = P0
(x − 4)
16
q(x)(x − 4)2 = (x − 4)2 = 16 = Q0
(x − 4)2

Page 8 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

On peut utiliser cette méthode.

r2 + (P0 − 1)r + Q0 = 0
r2 − 8r + 16 = 0

r1 = r2 = 4
∆r = 0
Nous avons un cas 2 !
b)
On commence par chercher y1 (x). Avec r1 = 4, on peut utiliser la règle de récurrence suivante :

((n + r)(n + r − 1) + P0 (n + r) + Q0 )an + (P1 (n + r − 1) + (Q1 )an−1 + (P2 (n + r − 2) + Q2 )an−2 + ... = 0

(n + 4)(n + 4 − 1) + P0 (n + 4) + Q0 )an = 0
On voit que ai>0 = 0.
y1 = (x − x0 )4 (a0 + 0 + ...0) = a0 (x − x0 )4 = t4 a0
IL nous reste que a0 qui est défini comme étant non-nul.
c)
On cherche y2 (x) à partir de y(x).
∞
X
y2 = y1 ln(t) + tr cn tn
n=1
∞
X
y2 = y1 ln(t) + cn tn+4
n=1
∞
y
y2′ = y1′ ln(t) +
X
+ cn · (n + 4)tn+3
t n=1
∞
2y ′ −y X
y2′′ = y1′′ ln(t) + + 2 + cn · (n + 4)(n + 3)tn+2
t t n=2
On remplace ensuite dans l’équation différentielle. On fait d’abord un changement de variable.t = x − 4

∞ ∞ ∞
2y ′ −y X y X 16
t(y1′′ ln(t)+ cn ·(n+4)(n+3)tn+2 )−7(y1′ ln(t)+ +
X
+ 2 + cn ·(n+4)tn+3 )+ (y1 ln(t)+ cn tn+4 ) = 0
t t n=2
t n=1
t n=1

Les parties avec un ln ·ED va donner 0.

∞ ∞ ∞
−y y X
2y ′ +
X X
−7 + cn · (n + 4)(n + 3)tn+3 − 7 cn · (n + 4)tn+3 + 16 cn tn+3 = 0
t t n=2 n=1 n=1

Nous devons maintenant remplacer nos y et y’.

Vue que y=t4 a0 , alors y ′ = 4t3 a0 .

∞
X ∞
X ∞
X
(8t3 a0 − 8t3 a0 ) + cn · (n + 4)(n + 3)tn+3 ) − 7 cn · (n + 4)tn+3 ) + 16 cn tn+3 = 0
n=2 n=1 n=1

Page 9 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

On peut mettre les termes à la tn .

∞
X ∞
X ∞
X
n n
cn−3 · (n + 1)(n)t − 7 cn−3 · (n + 1)t + 16 cn−3 tn = 0
n=5 n=4 n=4

On a aucune terme pour c0 , donc c0 = 0.

On décide de trouver les autres coéfficiants.
Pour n=4,

−7c1 · (4 + 1) + 16c1 = 0
c1 = 0
Pour n=5,

= c2 (5 + 1)5 − 7c2 (5 + 1) + 16c2 = 0

c2 = 0
Tout les termes de la série vont donner des coéfficiants nuls.

y2 = y1 ln(t) + 0
y2 = t4 a0 ln(t)
d)

y1 = t4 a0
Z t
1 −
Ru
p(x)dx
y2 (t) = y1 (t) [ e ]du
y1 (u)2
−7
p(x) =
t
Z u
p(x)dx = 7 ln (|u|)

Z t
1 7 ln(|u|)
y2 (t) = y1 (t) [ e ]du = y1 (t) ln(t) = a0 t4 ln(t)
(u4 )2
y(t) = a0 t4 + a0 t4 ln(t)

4 Cas 3 de Frobenius
a)
On cherche le test pour ∆r = 2. Par convention, comme r1 > r2 , nous avons r1 = r2 + 2. Nous utilisons la
relation de récurrence avec r1 pour n = 0 :

[r1 (r1 − 1) + P0 r1 + Q0 ] a0 = 0
Puisque a0 ̸= 0, nous avons [r1 (r1 − 1) + P0 r1 + Q0 ] = 0, que nous pouvons exprimer comme étant une fonction
F (r1 ) = 0 : En réutilisant notre r1 = r2 + 2, on a donc aussi F (r2 + 2) = 0 :

Page 10 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

F (r2 + 2) = [(r2 + 2)(r2 + 1) + P0 (r2 + 2) + Q0 ] = 0

Nous trouvons la relation de récurrence avec r2 pour n = 1 :

{(r2 + 1)r2 + P0 (r2 + 1) + Q0 } b1 + {P1 r2 + Q1 } b0 = 0

−(P1 r2 + Q1 )
b1 = b0
(r2 + 1)(r2 + P0 ) + Q0
Maintenant pour n = 2 :

{(r2 + 2)(r2 + 1) + P0 (r2 + 2) + Q0 } b2 + {P1 (r2 + 1) + Q1 } b1 + {P2 r2 + Q2 } b0 = 0

On reconnait que le terme multipliant a0 est exactement F (r2 + 2), donc il est nul. On trouve alors le test nous
permettant de savoir si r2 nous donne y2 et y1 :

{P1 (r2 + 1) + Q1 } b1 + {P2 r2 + Q2 } b0 = 0

On remplace b1 par l’expression qu’on a trouvé avec n = 1 :

−(P1 r2 + Q1 )
 
{P1 (r2 + 1) + Q1 } b0 + {P2 r2 + Q2 } b0 = 0
(r2 + 1)(r2 + P0 ) + Q0

P1 Q1 + 2r2 P2 − 2P1 r2 + Q1 + 2r2 Q2 + Q2 P0 + Q2 Q0 + 2r2 P2 P0 + r2 P2 Q0 + r2 Q2 P0

 
b0 = 0
(r2 + 1) (r2 + P0 ) + Q0

Nous avons donc notre test, si le contenu de la parenthèse est égal à 0, b0 ne sera peux ne pas être nul, donc
utiliser r2 va nous redonner y1 et y2 alors que si le contenu de notre paranthèse est non-nul, alors cela veut dire que
b0 = 0 et nous devrons passer par y2 = K ln(t)y1 + ∞ n
P
0 dn t :

P1 Q1 + 2r2 P2 − 2P1 r2 + Q1 + 2r2 Q2 + Q2 P0 + Q2 Q0 + 2r2 P2 P0 + r2 P2 Q0 + r2 Q2 P0 ?

=0
(r2 + 1) (r2 + P0 ) + Q0

b)
On réécrit l’équation sous sa forme standard :
3
y ′′ + y ′ − 5(x − 1)y = 0
(x − 1)
3
p(x) =
(x − 1)
q(x) = −5(x − 1)
r(x) = 0
En choisissant x0 = 1, on vérifie si x = 1 est bien un PSR :

(x − 1) · p(x) = 3
(x − 1)2 · q(x) = −5(x − 1)3

Page 11 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

Ces deux fonctions sont analytiques au point x = 1, donc on peut faire Frobenius. On calcule quelques Pn et
Qn :
1
P0 = [3](0) =3
0! 1

1
P1 = [3](1) =0
1! 1
On a atteint la dérivée d’une constante, donc
Pn>0 = 0
Maintenant, les Qn :

1 h i(0)
Q0 = −5(x − 1)3 =0
0! 1
1 h i(1)
Q1 = −5(x − 1)3 =0
1! 1
1 h i(2)
Q2 = −5(x − 1)3 =0
2! 1
1 h i(3)
Q3 = −5(x − 1)3 = −5
3! 0
Comme on a une constante, tous les prochains Qn seront nuls :

Qn>3 = 0
On utilise l’équation des racines :

r2 + r(P0 − 1) + Q0 = 0
r2 + 2r = 0
r1,2 = {0, −2}

∆r = 2
Nous pouvons donc utiliser notre test trouvé en a) :

P1 Q1 + 2r2 P2 − 2P1 r2 + Q1 + 2r2 Q2 + Q2 P0 + Q2 Q0 + 2r2 P2 P0 + r2 P2 Q0 + r2 Q2 P0 ?

=0
(r2 + 1) (r2 + P0 ) + Q0

0=0
Nous pouvons donc utiliser r2 dans la relation de récurrence :

[(n − 2)(n − 3) + P0 (n − 2) + Q0 ] bn +[P1 (n − 3) + Q1 ] bn−1 +[P2 (n − 4) + Q2 ] bn−2 +[P3 (n − 5) + Q3 ] bn−3 = 0

[(n − 2)(n − 3) + 3(n − 2)] bn − 5bn−3 = 0

Page 12 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

5bn−3
bn =
n2 − 2n
On calcule les valeurs de quelques bn en sachant que b0 ̸= 0 et que bn<0 = 0 :

−5b−2
b1 = =0
1

0b2 = 5b−1 → b2 existe

5b0
b3 =
3

b4 = 0

b2
b5 =
3
5b3 25b0
b6 = =
24 72

b7 = 0

5b5 5b2
b8 = =
48 144
5b6 125b0
b9 = =
63 4536

...
Notre équation sera donc :

!
−2 2 5b0 (x − 1)3 b2 (x − 1)5 25b0 (x − 1)6 5b2 (x − 1)8 125b0 (x − 1)9
y = (x−1) b0 + b2 (x − 1) + + + + + + ...
3 3 72 144 4536

! !
−2 5(x − 1)3 25(x − 1)6 125(x − 1)9 (x − 1)3 5(x − 1)6
y = b0 (x − 1) 1+ + + + ... + b2 1 + + + ...
3 72 4536 3 144

pour x > 1

5 Équation de Bessel
Les équations de Bessel ont la forme :

t2 u′′ + tu′ + (t2 − ν 2 )u = 0

Page 13 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

a)

xy ′′ − y ′ + 9x3 y = 0
On multiplie par x pour retrouver la bonne forme :

x2 y ′′ − xy ′ + 9x4 y = 0
On retrouve la forme suivante :
h i
x2 y ′′ − (2a − 1)xy ′ + (b2 c2 x2c + a2 − ν 2 c2 )y = 0
On veut alors trouver les paramètres qui coincident avec notre équation en comparant l’équation avec la forme
générale :

(2a − 1) = 1 → a = 1
2c = 4 → c = 2
3
b2 c2 = 9 → b =
2
1
a2 = ν 2 c2 → ν =
2
On cherche la variable et la fonction de transformation telles que :

t = bxc et u = x−a y
r
3 2t
t = x2 → x =
2 3
y
u= → y = xu
x
On cherche notre équation sous la forme de Bessel qui devrait être celle-ci :

t2 u′′ + tu′ + (t2 − ν 2 )u = 0

Puisque nous avons ν = 12 , elle devrait être exactement :

1
 
t2 u′′ + tu′ + t2 − u=0
4
Pour ce faire, nous devrons calculer les dérivées de y selon x :

dy dy dt du
= = u + 3x2
dx dt dx dt
!
d2 y du dt du 2
2 d u dt
2
2d u du
2
= + 6x + 3x 2
= 9x x 2
+
dx dt dx dt dt dx dt dt
du d2 u
Pour alléger l’écriture, on va dorénavant définir u′ = et u′′ = . On remplace donc dans l’équation
dt dt2
différentielle initiale :

9x2 (x2 u′′ + u′ ) − u − 2x2 u′ + 9x4 u = 0

Page 14 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

9x4 u′′ + 6x2 u′ + (9x4 − 1)u = 0

On remplace les x par l’expression retrouvée selon t :

4t2 u′′ + 4tu′ + (4t2 − 1)u = 0

1
 
t2 u′′ + tu′ + t2 − u=0
4
Nous avons effectivement la bonne équation de Bessel. Il nous reste à trouver la solution générale, qui a la
forme suivante :

y(x) = xa Zν (bxc )
Notre solution générale sera donc : !
3x2
y(x) = xZ 1
2 2
! !
3x2 3x2
y(x) = xJ 1 + xY 1
2 2 2 2

b)

5
 
′′ ′
xy − 3y − 4x + y=0
x
Encore une fois, on multiplie par x pour retrouver la bonne forme :
 
x2 y ′′ − 3xy ′ − 4x2 + 5 y = 0
 
x2 y ′′ − 3xy ′ + −4x2 − 5 y = 0
On retrouve la forme suivante :
h i
x2 y ′′ − (2a − 1)xy ′ + (−b2 c2 x2c + a2 − ν 2 c2 )y = 0
On trouve les paramètres :

2a − 1 = 3 → a = 2
2c = 2 → c = 1
b2 c2 = 4 → b = 2
a2 − ν 2 c2 = −5 → ν = 1
On a donc la variable et la fonction de transformation suivantes :
t
t = 2x → x =
2
u = x−2 y → y = x2 u
L’équation de Bessel devra donc avoir la forme suivante :

Page 15 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

t2 u′′ + tu′ + (t2 − ν 2 )u = 0

t2 u′′ + tu′ + (t2 − 1)u = 0
On calcule les dérivées de y selon x :

dy du
= 2xu + 2x2
dx dt

d2 y 2
2d u du
2
= 4x 2
+ 8x + 2u
dx dt dt
du
On remplace dans l’équation différentielle en utilisation la notation u′ = comme au a) :
dt
5
 
′′ ′
xy − 3y − 4x + y=0
x
     
x 2x2 u′′ + 8xu′ + 2u − 3 2xu + 2x2 u′ − 4x2 + 5 xu = 0

4x3 u′′ + 2x2 u′ − (9x + 4x3 )u = 0

4x2 u′′ + 2xu′ − (4x2 + 9)u = 0
t
On remplace les x par 2 :
!
t2 t t2
4 u′′ + 2 u′ − 4 + 9 u = 0
4 2 4

t2 u′′ + tu′ − (t2 + 9) = 0

La solution générale de cette équation de Bessel est :

y(x) = xa Zν (bxc )

y(x) = x2 Z1 (2x)

6 Équation hypergéométrique

x(1 − x)y ′′ + (γ − (α + β + 1)x)y ′ − αβy = 0

On trouve nos coéfficiants pour trouver nos PS.

(γ − (α + β + 1)x)
p(x) =
x(1 − x)
−αβ
q(x) =
x(1 − x)
On a donc des PS à x = 0 et x = 1. On doit solutionner pour x0 = 0, donc on doit utiliser la méthode de
Frobenius.
On regarde si 0 est un PSR.

Page 16 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

(γ − (α + β + 1)x)
xp(x) =
(1 − x)
−xαβ
x2 q(x) =
(1 − x)
On peut utiliser Froebenius, car c’est 0 est un PSR.
On utilise maitenant la règle des racines pour savoir qu’elle cas nous avons.

r2 + (P0 − 1)r + Q0 = 0
P0 = γ
Q0 = 0
r(r + (γ − 1)) = 0
r1 = 0

r2 = 1 − γ
∆r = r1 − r2 = γ − 1
Où γ représente un nombre non-entier, donc on va avoir un cas 1 !

γ−β−α−1 1
P1 = 2 |0 = (γ − β − α − 1) = (γ − (α + β + 1))
(x − 1) 1!

2 (γ − β − α − 1) 1
P2 = − 3 |0 = 2(γ − β − α − 1)| = (γ − (α + β + 1))
(x − 1) 2!
6 (γ − β − α − 1) 1
P3 = 4 |0 = 6(γ − β − α − 1) = (γ − (α + β + 1)
(x − 1) 3!
Pn = (γ − (α + β + 1))

−αβ 1
Q1 = |0 = −αβ
(x − 1)2 1!
−2αβ 1
Q2 = − |0 = −αβ
(x − 1)3 2!
−6αβ 1
Q3 = 4 |0 3! = −αβ
(x − 1)
Qn = −αβ
Avec r=0

((n)(n − 1) + nP0 + Q0 )an + ((P1 )(n − 1) + (Q1 )an−1 + (P2 (n − 2) + Q2 )an−2 + ... = 0

Pour n=1,
(((1 − 1 + γ)a1 + (γ − β − α − 1(1 − 1) − (αβ))a0 = 0

Page 17 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

a0 αβ
a1 =
γ
Pour n=2,

((2)(2 − 1) + 2P0 )a2 + ((P1 )(2 − 1) + (Q1 )a1 + (P2 (2 − 2) + Q2 )a0 + ... = 0

((2 + 2P0 )a2 + ((P1 + Q1 )a1 + (Q2 )a0 = 0

a0 αβ
(2 + 2γ)a2 + (γ − (α + β + 1) − αβ) + −αβa0 = 0
γ

γ(2 + 2γ)a2 = ((−γ + (α + β + 1) + αβ)αβ) + γαβ)a0

α(α + 1)β(β + 1)
a2 =
2!(γ(γ + 1))
On peut généraliser la regle de réccurence.

an n(n + γ − 1) − (n + α − 1)(n + β − 1)an−1 = 0

On peut aussi écrire la regle de réccurence avec la notation factorielle pour obtenir :

(α)n (β)n
an = a0
(γ)n n!
∞
X
a0 y1 (x) = x 0
an xn
n=0

a0 y1 (x) = a0 (1 + xa1 + x2 a2 + ...)

αβ α(α + 1)β(β + 1)
a0 y1 (x) = a0 (1 + (x( ) + x2 ( ) + ...)
γ 2!(γ(γ + 1))
αβ α(α + 1)β(β + 1)
y1 (x) = 1 + (x( ) + x2 ( ) + ...)
γ 2!(γ(γ + 1))
On peut réécrire notre solution en série de puissance avec la notation factorielle.
∞
X (α)n (β)n n
y1 (x) = 1 + x
n=1
(γ)n n!

Si on prend la notation factorielle et qu’on trouve sa formule, alors essayons :

(n + k − 1)! = (n + k − 1)(n + k − 2)(n + k − 3)(n + k − 4)(n + k − 5)...(n)!

Alors n! va donner :

n! = (n − 1)(n − 2)(n − 3)(n − 4)...

On voit donc qu’après n! dans la factorisation de (n + k − 1)!, les termes dans la notation factorielle ne sont plus
utilisés.

Page 18 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

Alors, la notation factorielle équivaut à :

(n + k − 1)! Γ(n + k)
(n)k = =
(n − 1)! Γ(n)

On peut transformer notre solution avec l’aide des Γ.

∞
X (α)n (β)n n
y1 (x) = 1 + x
n=1
(γ)n n!
∞
X xn Γ(n + α) Γ(n + β) Γ(γ)
y1 (x) = 1 +
n=1
n! Γ(α) Γ(β) Γ(n + γ)
Nous pouvons sortir des termes de la série de puissance pour obtenir :
∞
Γ(γ) X xn Γ(α + n)Γ(β + n)
y1 (x) = 1 + ·
Γ(α)Γ(β) n=1 n! Γ(γ + n)

Maintenant, pour la 2e partie de la solution, on trouve les coéfficiants bn avec r = 1 − γ.

((n+1−γ)(n+1−γ−1)+γ(n+1−γ))an +((γ−(α+β+1))(n+1−γ−1)+(−αβ)an−1 +((γ−(α+β+1))(n+1−γ−2)+−αβ)a

Pour n=1,

((1 + 1 − γ)(1 + 1 − γ − 1) + γ(1 + 1 − γ))b1 + ((γ − (α + β + 1))(1 + 1 − γ − 1) + (−αβ)b0 + = 0

(2 − γ)b1 = (γ 2 − 2γ − αγ − βγ + αβ + α + β + 1)b0
(α + 1 − γ)(β + 1 − γ)
b1 = b0
n!(2 − γ)
Nous allons avoir une forme en notation factorielle comme pour la 1re partie à cause des termes Pn et Qn qui ne
varient pas en fonction de n.
Donc,
(α + 1 − γ)n (β + 1 − γ)n
bn = b0
n!(2 − γ)n
∞
X
b0 y2 (x) = x1−γ bn xn
n=0
1−γ
a0 y2 (x) = x (b0 + xb1 + ...)

(α + 1 − γ)(β + 1 − γ)
b0 y2 (x) = x1−γ (b0 + x( b0 ) + ...)
n!(2 − γ)
∞
X (α + 1 − γ)n (β + 1 − γ)n 1−γ+n
y2 (x) = x1−γ + x
n=1
n!(2 − γ)n
b)
1 ′ 1
4(x − 1)y ′′ + (6 − )y − y=0
x 4x

Page 19 de 20
Olivier Gilbert Devoir 1 Xavier Boucher

6x − 1 ′ 1
x(x − 1)y ′′ + ( )y − y = 0
4 16
Nous avons une forme similaire à x(1 − x)y + (γ − (α + β + 1)x)y ′ − αβy = 0
′′

3x 1 ′ 1
x(x − 1)y ′′ + ( − )y − y = 0
2 4 16
On peut trouver nos valeurs.
1
γ=−
4
3x
= −(α + β + 1)x
2
5
=α+β
2
1
− = −αβ
16
1
β=
16α
5 1
=α+
2 16α
5α 1
α2 − + =0
2 16
√
5±2 6
α=
4
1 4 1
β= = √ = √
16α 16(5 ± 2 6) 4(5 ± 2 6)
Comme nous avons tous les termes nécessaires pour avoir une√forme hypergéométrique on peut directement aller à
la solution en remplacant avec les valeurs suivante : α = 5±24 6 , β = 4(5±2
1√
6)
et γ = − 14 .

y(x) = y1 (x) + y2 (x)

∞ ∞
Γ(γ) X xn Γ(α + n)Γ(β + n) 1−γ
X (α + 1 − γ)n (β + 1 − γ)n 1−γ+n
y(x) = 1 + · +x + x
Γ(α)Γ(β) n=1 n! Γ(γ + n) n=1
n!(2 − γ)n

Page 20 de 20