Supongamos que para algunas constantes α,β,γ que se nos da la siguiente EDO: αy″ Ahora, sé cómo encontrar la solución general para y(x) si alguno de \alpha,\beta,\gamma debería resultar 0 pero he acabado con el ODE 2y''+xy'+y=0. ¿Puede alguien indicarme los primeros (pocos) pasos de un procedimiento general que se pueda utilizar para este tipo de EDOs?
Respuestas
¿Demasiados anuncios?Escribe xy'+y como (xy)' e integrar para conseguirlo: y' + \frac{x}{2}y = c_1
Que puede resolverse mediante el factor integrador \exp\left(\int \frac{x}{2} \, dx\right) = \exp\left(\frac{x^2}{4}\right) . Sin embargo, la solución no puede escribirse en términos de funciones elementales:
\begin{align*} \exp\left(\frac{x^2}{4}\right)y' + \dfrac{x}{2}\exp\left(\frac{x^2}{4}\right)y &= c_1 \exp\left(\frac{x^2}{4}\right) \\ \exp\left(\frac{x^2}{4}\right)y &= c_1 \int \exp\left(\frac{x^2}{4}\right) \, dx + c_2 \end{align*}
Así: y = c_1 \exp\left(-\frac{x^2}{4}\right) \int \exp\left(\frac{x^2}{4}\right) \, dx + c_2\exp\left(-\frac{x^2}{4}\right)
Esto sólo funciona si \beta = \gamma pero sí funciona para el ODE que tienes.
Asuma su solución
y(x)=\sum_{k=0}^{\infty} a_k x^{k+\alpha} \,,
y se introduce en la ecuación diferencial y se intenta encontrar una relación de recurrencia en a_k . Por supuesto, hay que determinar \alpha como primer paso. El conocido método de series de potencia para la oda de segundo orden es Método de Frobenius .
Maple da la solución general utilizando las funciones M y U de Kummer.
y \left( x \right) =c_{{1}}{{\rm e}^{-{\frac {\beta\,{x}^{2}}{ 2 \alpha}}}} {{\rm M}\left(-{\frac {-2\,\beta+\gamma}{2\beta}},\frac{3}{2},\,{\frac {\beta\,{x}^{2}}{2\alpha}}\right)} x+c_{{2}}{{\rm e}^{-{\frac {\beta\,{x}^{2}}{2\alpha}}}} {{\rm U}\left(-{\frac {-2\,\beta+\gamma}{2\beta}},\,\frac{3}{2},\,{\frac {\beta\,{x}^{2}}{2\alpha}}\right)} x
También podría escribirse en términos de funciones hipergeométricas.
La forma general como la tienes, es una ecuación diferencial hipergeométrica. Puedes manipularla en una forma estándar y luego aplicar el método de Frobenius. Aquí ya está resuelto para varios casos:
http://en.wikipedia.org/wiki/Frobenius_solution_to_the_hypergeometric_equation