Bonjour,
Pas par la méthode demandée, mais cela te permettra peut être d'aboutir en voyant où on devrait arriver au final... si je ne me suis pas trompé quelque part.
x²y" + 4xy' + (2-x²).y = 1
Avec x différent de 0 :
Posons y = z/x²
y' = (x²z'-2xz)/x^4
y' = (xz' - 2z)/x³
y" = [x³*(z'+xz"-2z')-3x²(xz'-2z)]/x^6
y" = [x*(z'+xz"-2z')-3(xz'-2z)]/x^4
y" = (xz'+x²z"-2xz'-3xz'+6z)/x^4
y" = (x²z"-4xz'+6z)/x^4
L'éq devient : (x²z"-4xz'+6z)/x² + 4(xz' - 2z)/x² + (2 - x²).z/x² = 1
(x²z" - 4xz' + 6z + 4xz' - 8z + 2z - x²z) = x²
x²z" - x²z = x²
z" - z = 1
Dont les solutions générales sont : z(x) = A.e^x + B.e^-x - 1
et donc y(x) = (A.e^x + B.e^-x - 1)/x²
***********
lim(x-->0+) [(A.e^x + B.e^-x - 1)/x²]
ne peut donner une valeur dans R que si lim(x-->0+) (A.e^x + B.e^-x - 1) = 0
donc si A + B - 1 = 0
Les solutions deviennent alors :
y(x) = (A.e^x + (1-A).e^-x - 1)/x²
Il reste à vérifier si lim(x--> 0+) [(A.e^x + (1-A).e^-x - 1)/x²] existe
C'est une indétermination du type 0/0 --> Règle du génial Marquis (de Lhospital)
= lim(x--> 0+) [(A.e^x - (1-A).e^-x)/(2x)]
Pour que cette limite existe, il faut que lim(x--> 0+) (A.e^x - (1-A).e^-x) = 0
Donc que A - (1-A) = 0 --> A = 1/2
La seule solution possible est alors : y(x) = ((1/2).e^x + (1/2).e^-x - 1)/x²
y(x) = (e^x + e^(-x) - 2)/(2x²)On vérifie que lim(x-->0+) [(e^x + e^(-x) - 2)/(2x²)] existe
C'est une indétermination du type 0/0 --> Règle du génial Marquis (de Lhospital)
= lim(x--> 0+) [(e^x - e^-x)/(4x)]
C'est une indétermination du type 0/0 --> Règle du génial Marquis (de Lhospital)
= lim(x-->0+) [(e^x + e^-x)/4] = 1/2 , la limite existe.
**************
