## [Frobenius-Methode](/de/node/61305) Definition 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 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 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 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 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 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 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 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 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.