Eine Technik zur Konstruktion von Reihenlösungen linearer gewöhnlicher Differentialgleichungen in der Nähe eines regulären Singularpunktes, indem man Potenzreihen mit einem möglicherweise nicht ganzzahligen Vorfaktor x^r zulässt, wobei r durch die indizielle Gleichung bestimmt wird.

Prinzip

Man sucht Lösungen der Form x^r ∑_{n≥0} a_n x^n, setzt dies in die Differentialgleichung ein, bestimmt r aus dem indizellen Polynom am Singularpunkt und berechnet dann rekursiv die Koeffizienten a_n; bei mehrfachen oder um ganze Zahlen differierenden Wurzeln treten logarithmische Terme auf.

Demonstration

Für die Bessel-Gleichung bei x=0 liefert die indizielle Gleichung die Exponenten ±ν; das Frobenius-Verfahren erzeugt die Bessel-Funktionen J_ν und J_-ν (und bei ganzzahligem ν enthält die zweite Lösung einen Logarithmus), und liefert konvergente Reihen in einer punktierten Umgebung des Singulars.

Fehlanwendung

Frobenius an einem irregulären Singularpunkt anzuwenden, wo das Reihenansatz versagt, oder das Vorhandensein logarithmischer Terme zu übersehen, wenn die indizellen Wurzeln sich um eine ganze Zahl unterscheiden; solche Fehlanwendung führt zu divergenten Reihen oder zum Verfehlen unabhängiger Lösungen.

Konsequenz

Eine systematische Konstruktion lokaler Fundamentallösungsysteme in der Nähe regulärer Singularpunkte, explizite Rekursionsformeln für Reihenkoeffizienten und Kriterien, wann zusätzliche Log-Terme notwendig sind, wodurch die lokale analytische Struktur präzise beschrieben wird.

Umkehrung

An einem gewöhnlichen (nicht-singulären) Punkt genügt die gewöhnliche Potenzreihenmethode ohne Exponentenverschiebung; die Rückkehr zu diesem Fall zeigt, dass Frobenius die gewöhnliche Reihenmethode verallgemeinert, indem es den führenden Exponenten r einführt.

Abgrenzung

Gilt für lineare ODEs in der Nähe regulärer Singularpunkte; nicht anwendbar auf allgemeine nichtlineare ODEs oder auf essentielle bzw. unregelmäßige Singularitäten ohne Anpassung (z. B. sind formale oder asymptotische Reihen dann erforderlich).

Semantische Spannung

Steht nahe an der gewöhnlichen Potenzreihenmethode und an asymptotischen Expansionsverfahren; Spannung besteht bei der Entscheidung, ob ein Punkt regulärer Singularpunkt (Frobenius anwendbar) oder unregelmäßig ist (andere Werkzeuge notwendig), und bei der Unterscheidung analytischer Lösungen von formalen Reihen.

Synthese

Frobenius ist eine kontrollierte Potenzreihenkonstruktion, die das gewöhnliche Reihenansatz durch x^r mal eine Potenzreihe ersetzt, die indizielle Gleichung zur Bestimmung von r verwendet und dann Rekursionen liefert, um lokale analytische Lösungen um reguläre Singularpunkte zu erhalten, einschließlich expliziter Regeln für Ausnahmefälle mit ganzzahligen Differenzen.