Una técnica para construir soluciones en series de ecuaciones diferenciales ordinarias lineales cerca de un punto singular regular permitiendo series de potencias multiplicadas por un exponente posiblemente no entero determinado por una ecuación indicial.

Principio

Buscar soluciones de la forma x^r ∑_{n≥0} a_n x^n, sustituir en la ecuación diferencial, determinar r mediante el polinomio indicial en el punto singular y luego calcular recursivamente los coeficientes a_n; manejar raíces repetidas o que difieren por enteros mediante términos logarítmicos si es necesario.

Demostración

Para la ecuación de Bessel en x=0, la ecuación indicial da exponentes ±ν; el procedimiento de Frobenius produce las funciones de Bessel J_ν y J_-ν (y cuando ν es entero, la segunda solución implica un término logarítmico), proporcionando series convergentes en un entorno puncturado del singular.

Aplicación incorrecta

Aplicar Frobenius en un punto singular irregular donde el ansatz en series falla, o pasar por alto la posibilidad de términos logarítmicos cuando las raíces indiciales difieren por un entero; tal mal uso produce series divergentes o pierde soluciones independientes.

Consecuencia

Construcción sistemática de conjuntos fundamentales locales de soluciones cerca de puntos singulares regulares, relaciones de recurrencia explícitas para los coeficientes en la serie y criterios sobre cuándo son necesarios términos logarítmicos, proporcionando estructura analítica local precisa.

Inversión

En un punto ordinario (no singular) el método ordinario de series de potencias es suficiente y no se necesita el desplazamiento del exponente; volver a ese caso muestra que Frobenius generaliza la serie ordinaria introduciendo el exponente principal r.

Límite

Se aplica a EDO lineales cerca de puntos singulares regulares; no se aplica a EDO no lineales generales ni a puntos singulares esenciales o irregulares sin modificación (p. ej., entonces se necesitan series formales o asintóticas).

Tensión semántica

Está próximo al método de series ordinarias y a técnicas de expansión asintótica; la tensión aparece al decidir si el punto es singular regular (Frobenius aplicable) o irregular (requiere otras herramientas) y al distinguir soluciones analíticas reales de series formales.

Síntesis

Frobenius es una construcción controlada en series de potencias que sustituye el ansatz ordinario por x^r por una serie en potencias, usa la ecuación indicial para fijar r y produce recurrencias para obtener soluciones analíticas locales en torno a puntos singulares regulares, con reglas explícitas para los casos excepcionales de diferencias enteras.