روش فروبینوس

در ریاضیات، **روش فروبینوس**، به نام فردیناند گئورگ فروبینوس نامگذاری شده‌است، که راهی‌ست برای یافتن جوابی با سری بی‌نهایت برای یک معادله دیفرانسیل مرتبه دوم به فرم

: z^2u*+p(z)zu'+q(z)u=0</math>

با

: <math>u' \equiv </math>و<math>u* \equiv 

در مجاورت نقطه تکینه منظم z=0 . می‌توان بهz^2 تقسیم کرد برای بدست آوردن یک معادله دیفرانسیل به فرم

: u*+{p(z) \over z}u'+{q(z) \over z^2}u = 0</math>

اگر *p* (*z*)/*z* یا *q* (*z*)/*z* <sup>2</sup> در *z* = ۰ [[تابع تحلیلی|تحلیلی]] نباشند با [[حل سری توانی معادلات دیفرانسیل|روش‌های سری توانی]] منظم قابل حل نیست. روش فروبینوس فرد را قادر می‌سازد برای چنین معادله دیفرانسیل یک راه حل سری توانی ایجاد کند، به شرطی که *p* (*z*) و *q* (*z*) خودشان در ۰ تحلیلی باشند یا در جای دیگر تحلیلی باشند، هر دو حد آنها در ۰ وجود دارد (و محدود هستند).

== توضیح ==
روش فروبینوس جستجوی راه حل سری توانی از این فرم است

: <math>u(z)=z^r \sum_{k=0}^\infty A_kz^k, \qquad (A_0 \neq 0)</math>

[[مشتق|مشتق‌گیری]]:

: <math>u'(z)=\sum_{k=0}^\infty (k+r)A_kz^{k+r-1}</math>
: <math>u*(z)=\sum_{k=0}^\infty (k+r-1)(k+r)A_kz^{k+r-2}

جایگزینی مشتق‌های فوق در ODE اصلی ما:

: \begin{align}
& z^2\sum_{k=0}^\infty (k+r-1)(k+r)A_kz^{k+r-2} + zp(z) \sum_{k=0}^\infty (k+r)A_kz^{k+r-1} + q(z)\sum_{k=0}^\infty A_kz^{k+r} \\
&= \sum_{k=0}^\infty (k+r-1) (k+r)A_kz^{k+r} + p(z) \sum_{k=0}^\infty (k+r)A_kz^{k+r} + q(z) \sum_{k=0}^\infty A_kz^{k+r} \\
& = \sum_{k=0}^\infty [(k+r-1)(k+r) A_kz^{k+r} + p(z) (k+r) A_kz^{k+r} + q(z) A_kz^{k+r}] \\
&= \sum_{k=0}^\infty \left[(k+r-1)(k+r) + p(z)(k+r) + q(z)\right] A_kz^{k+r} \\
& = \left[r(r-1)+p(z)r+q(z) \right] A_0z^r+\sum_{k=1}^\infty \left[(k+r-1)(k+r)+p(z)(k+r)+q(z) \right] A_kz^{k+r}=0
\end{align}

بیان

: r\left(r-1\right) + p\left(0\right)r + q\left(0\right) = I(r)

به *چندجمله‌ای نشان‌گر* معروف است، که در *r* درجه دوم است تعریف کلی *چندجمله‌ای نشانگر* ضریب کمترین توان *z* در سری بی‌نهایت است. در این حالت این اتفاق می‌افتد که این *ضریب rام* باشد، اما ممکن است کمترین نماینده ممکن *r* -2، *r* -1 *باشد* یا، چیز دیگری بستگی به معادله دیفرانسیل داده شده دارد. این جزئیات مهم است که بخاطر داشته باشید. در روند همگام سازی تمام سری معادله دیفرانسیل برای شروع با همان مقدار شاخص (که در عبارت فوق *k* = ۱)، می‌تواند با عبارات پیچیده‌ای پایان یابد. با این حال، در حل برای ریشه‌های شاخص فقط توجه به ضریب کمترین توان *z* است.

با استفاده از این، عبارت کلی ضریب *z* *k* + *r* است

: I(k+r)A_k+\sum_{j=0}^{k-1}{(j+r)p^{(k-j)}(0)+q^{(k-j)}(0) \over (k-j)!}A_j,

این ضرایب باید صفر باشند، زیرا باید جواب‌های معادله دیفرانسیل باشند، بنابراین

: I(k+r)A_k+\sum_{j=0}^{k-1} {(j+r)p^{(k-j)}(0)+q^{(k-j)}(0) \over (k-j)!} A_j=0
: \sum_{j=0}^{k-1}{(j+r)p^{(k-j)}(0)+q^{(k-j)}(0) \over (k-j)!}A_j=-I(k+r)A_k
: {1\over-I(k+r)}\sum_{j=0}^{k-1}{(j+r)p^{(k-j)}(0)+q^{(k-j)}(0) \over (k-j)!}A_j=A_k

جواب سری با *A**k* بالا،

: U_r(z)=\sum_{k=0}^{\infty}A_kz^{k+r}

راضی می‌کند

: z^2U_r(z)* + p(z)zU_r(z)' + q(z)U_r(z) = I(r)z^r</math>

== مثال ==
بگذارید حل کنیم

: <math>z^2f*-zf'+(1-z)f=0\,

تقسیم بر روی *z* 2 می‌دهد

: f*-{1\over z}f'+{1-z \over z^2}f=f*-{1\over z}f'+\left({1\over z^2} - {1 \over z}\right) f = 0

که دارای تکینگی لازم در است *z* = ۰

استفاده از راه‌حل سری

: \begin{align}
f &= \sum_{k=0}^\infty A_kz^{k+r} \\
f' &= \sum_{k=0}^\infty (k+r)A_kz^{k+r-1} \\
f* &= \sum_{k=0}^\infty (k+r)(k+r-1)A_kz^{k+r-2}
\end{align}</math>

حالا، با جایگزین‌کردن

: <math>\begin{align}
\sum_{k=0}^\infty &(k+r)(k+r-1) A_kz^{k+r-2}-\frac{1}{z} \sum_{k=0}^\infty (k+r)A_kz^{k+r-1} + \left(\frac{1}{z^2} - \frac{1}{z}\right) \sum_{k=0}^\infty A_kz^{k+r} \\
&= \sum_{k=0}^\infty (k+r)(k+r-1) A_kz^{k+r-2} -\frac{1}{z} \sum_{k=0}^\infty (k+r) A_kz^{k+r-1} +\frac{1}{z^2} \sum_{k=0}^\infty A_kz^{k+r} -\frac{1}{z} \sum_{k=0}^\infty A_kz^{k+r} \\
&= \sum_{k=0}^\infty (k+r)(k+r-1)A_kz^{k+r-2}-\sum_{k=0}^\infty (k+r)A_kz^{k+r-2}+\sum_{k=0}^\infty A_kz^{k+r-2}-\sum_{k=0}^\infty A_kz^{k+r-1} \\
&= \sum_{k=0}^\infty (k+r)(k+r-1)A_kz^{k+r-2}-\sum_{k=0}^\infty (k+r) A_kz^{k+r-2} + \sum_{k=0}^\infty A_kz^{k+r-2} - \sum_{k-1=0}^\infty A_{k-1}z^{k-1+r-1} \\
&= \sum_{k=0}^\infty (k+r)(k+r-1)A_kz^{k+r-2}-\sum_{k=0}^\infty (k+r)A_kz^{k+r-2}+\sum_{k=0}^\infty A_kz^{k+r-2}-\sum_{k=1}^\infty A_{k-1}z^{k+r-2} \\
&= \left \{ \sum_{k=0}^{\infty} \left ((k+r)(k+r-1) - (k+r) + 1\right ) A_kz^{k+r-2} \right \} -\sum_{k=1}^\infty A_{k-1}z^{k+r-2} \\
&= \left \{ \left ( r(r-1) - r +1 \right ) A_0 z^{r-2} + \sum_{k=1}^{\infty} \left ((k+r)(k+r-1) - (k+r) + 1\right ) A_kz^{k+r-2} \right \} - \sum_{k=1}^\infty A_{k-1}z^{k+r-2} \\
&= (r-1)^2 A_0 z^{r-2} + \left \{ \sum_{k=1}^{\infty} (k+r-1)^2 A_kz^{k+r-2} - \sum_{k=1}^\infty A_{k-1}z^{k+r-2} \right \} \\
&= (r-1)^2 A_0 z^{r-2} + \sum_{k=1}^{\infty} \left ( (k+r-1)^2 A_k - A_{k-1} \right ) z^{k+r-2}
\end{align}</math>

از ۰=<sup>2</sup>(*r* - 1) ریشه مضاعف را ۱ می‌گیریم. با استفاده از این ریشه، مجموعه ضریب<sup> </sup>*zk*<sup> + *r'' − 2 را صفر می‌کنیم (برای این که یک جواب باشد)، که به ما می‌دهد:

: (k+1-1)^2 A_k - A_{k-1} =k^2A_k-A_{k-1}=0

از این رو رابطه بازگشتی را داریم:

:  A_k = \frac{A_{k-1}}{k^2} 

با توجه به برخی شرایط اولیه، ما می‌توانیم بازگشتی را به‌طور کامل حل کنیم یا یک جواب را به صورت سری توانی بدست آوریم.

از آنجا که نسبت ضرایب A_k/A_{k-1} یک تابع گویا است، سری توانی را می‌توان به عنوان یک سری تعمیم‌یافته فوق‌هندسی نوشت.

## جستارهای وابسته
* قضیه فوکس
* نقطه تکینه منظم
* معادله دیفرانسیل مختلط
* سریال لوران

## پیوند به بیرون

* 
*  (Draft version available online at https://www.mat.univie.ac.at/~gerald/ftp/book-ode/). Chapter 4 contains the full method including proofs.

رده:صفحات با ترجمه بازبینی‌نشده
رده:معادلات دیفرانسیل معمولی