в окрестности регулярной особой точки . Уравнение можно разделить на , чтобы получить дифференциальное уравнение вида
которое не решаемо обычными методами степенных рядов, если p(z)/z или q(z)/z2 не являются аналитическими при z = 0. Метод Фробениуса позволяет найти решение такого дифференциального уравнения в виде степенных рядов, при условии что p(z) и q(z) сами являются аналитическими в 0 или, будучи аналитическим во всех остальных областях, в самой точке существует конечный предел.[2]
Метод Фробениуса говорит нам, что мы можем искать решение в виде степенных рядов
Дифференцируя этот ряд:
и подставляя в исходное уравнение, получаем:
Выражение
известно как определяющий полином, оно является квадратичным по r. В общем, определяющий полином является самым малым показателем степени для z в бесконечном ряду. В этом случае оказывается, что это r-й коэффициент, но также возможно для самой низкой степени иметь показатель r − 2, r − 1 или что-то ещё в зависимости от заданного дифференциального уравнения. В процессе синхронизации все ряды дифференциального уравнения начинаются с одинакового значения индекса (для приведённого выше выражения k = 1), но в конечном итоге можно получить сложные выражения. Тем не менее, в нахождении определяющих корней внимание сосредоточено только на коэффициенте низкой степени z.
Из этого следует, что общее выражение коэффициента zk+r
Эти коэффициенты должны быть равны нулю, поскольку они являются решениями дифференциальных уравнений, поэтому
Серии решения с Ak выше,
удовлетворяет
Если мы выбираем один из корней для определяющего полинома r в Ur(z), мы получаем решение дифференциального уравнения. Если разница между корнями не целое число, мы получим другое, линейно независимое решение для другого корня.
В предыдущем примере, у определяющего полинома был кратный корень, который даёт только одно решение данного дифференциального уравнения. В общем случае, метод Фробениуса даёт два независимых решения, при условии, что корни определяющего уравнения не отделены друг от друга целым числом.
Если корень повторяется или корни отличаются на целое число, тогда второе решение можно найти с помощью:
где — первое решение (с учётом большего корня в случае неравных корней), — это меньший корень, а постоянные и коэффициенты должны быть определены. Когда выбран (например, установив его на 1), затем и определяются до, но не включая , который можно выбрать произвольно. Тогда это определяет все остальные В некоторых случаях постоянная должна равняться нулю. Например, рассмотрим следующее дифференциальное уравнение (уравнение Куммера с a = 1 и b = 2):
Определяющее уравнение имеет корни −1 и 0. Из двух независимых решений и мы видим, что логарифмы в решении не появляются. Решение имеет степенной ряд, начинающееся с показателя степени ноль. В рядах, которые начинаются с рекуррентное соотношение не накладывает никаких ограничений на коэффициент при который можно выбрать произвольно. Если он равен нулю, то для этого дифференциального уравнения все остальные коэффициенты будут равны нулю и мы получаем решение .