Considere la ecuación $$x^2y''-8xy'+20y=0.$$ From an undergraduate ODE course, it is known that the two linearly are $y_1=x^5$ and $y_2=x^4$. Sin embargo, ¿por qué no considerar la posibilidad de soluciones, por ejemplo, como la siguiente: $$ y=\left\{ \begin{array}{c} x^5\;\;{\mbox{if}}\;\;x\leq 0\\ 0\;\;{\mbox{if}}\;\;x> 0. \end{array} \right. $$ Mientras que la solución anterior sólo es diferenciable 4 veces, es una perfectamente buena solución a la ecuación.
Entiendo que el punto de $x=0$ es singular y por lo tanto la unicidad teorema no se aplica allí. También esto no es exclusivo de la ecuación o que solución. El mismo tipo de soluciones puede obtenerse por otras ecuaciones con puntos singulares. El ejemplo anterior es conveniente, ya que es una simple ecuación diferencial con soluciones explícitas.
Pero mi pregunta es esta: ¿hay una razón por la que soluciones como la anterior, no se consideran? Es justo porque es demasiado complicado para ser incluido en los libros de texto? Tal vez debido a que no se extienden a las soluciones cuando la variable independiente se le permite ser complejo? O tal vez la gente rehúye a soluciones que no son lisas (es decir, no en $C^\infty$) cuando lisa soluciones existen?