در ریاضیات، از **روش سری توانی** برای جستجوی جواب سری توانی برای معادلات دیفرانسیل معین استفاده می‌شود. به‌طور کلی، چنین جوابی یک سری توانی با ضرایب ناشناخته فرض می‌کند، سپس آن جواب را در معادله دیفرانسیل جایگزین می‌کند تا رابطه بازگشتی ضرایب را پیدا کند.

روش
---

معادله دیفرانسیل خطی مرتبه دوم را در نظر بگیرید

{\displaystyle a\_{2}(z)f''(z)+a\_{1}(z)f'(z)+a\_{0}(z)f(z)=0.\;\!}
فرض کنید *a* 2 برای تمام *z*‌ها غیر صفر باشد. سپس می‌توانیم تقسیم کنیم تا بدست آوریم

{\displaystyle f''+{a\_{1}(z) \over a\_{2}(z)}f'+{a\_{0}(z) \over a\_{2}(z)}f=0.}
فرض کنید که *a*1/*a*2 و *a*0/*a*2 توابع تحلیلی هستند.

روش سری توانی خواستار ساخت یک جواب سری توانی است

{\displaystyle f=\sum \_{k=0}^{\infty }A\_{k}z^{k}.}
اگر مقدار *a*2 برای بعضی از *z*‌ها صفر باشد، روش فروبینوس، نوعی تغییر در این روش، برای مقابله با اصطلاح "نقاط تکین "مناسب است. این روش برای معادلات مرتبه بالاتر و همچنین برای سیستم‌ها به‌طور مشابه کار می‌کند.

مثال معمول
----------

بیایید به معادله دیفرانسیل هرمیت نگاه کنیم،

{\displaystyle f''-2zf'+\lambda f=0;\;\lambda =1}
ما می‌توانیم سعی کنیم یک راه حل سری بسازیم

{\displaystyle f=\sum \_{k=0}^{\infty }A\_{k}z^{k}}
{\displaystyle f'=\sum \_{k=1}^{\infty }kA\_{k}z^{k-1}}
{\displaystyle f''=\sum \_{k=2}^{\infty }k(k-1)A\_{k}z^{k-2}}
اینها را در معادله دیفرانسیل جایگزین کنید

{\displaystyle {\begin{aligned}&{}\quad \sum \_{k=2}^{\infty }k(k-1)A\_{k}z^{k-2}-2z\sum \_{k=1}^{\infty }kA\_{k}z^{k-1}+\sum \_{k=0}^{\infty }A\_{k}z^{k}=0\\&=\sum \_{k=2}^{\infty }k(k-1)A\_{k}z^{k-2}-\sum \_{k=1}^{\infty }2kA\_{k}z^{k}+\sum \_{k=0}^{\infty }A\_{k}z^{k}\end{aligned}}}
تغییر در اولین جمع

{\displaystyle {\begin{aligned}&=\sum \_{k=0}^{\infty }(k+2)(k+1)A\_{k+2}z^{k}-\sum \_{k=1}^{\infty }2kA\_{k}z^{k}+\sum \_{k=0}^{\infty }A\_{k}z^{k}\\&=2A\_{2}+\sum \_{k=1}^{\infty }(k+2)(k+1)A\_{k+2}z^{k}-\sum \_{k=1}^{\infty }2kA\_{k}z^{k}+A\_{0}+\sum \_{k=1}^{\infty }A\_{k}z^{k}\\&=2A\_{2}+A\_{0}+\sum \_{k=1}^{\infty }\left((k+2)(k+1)A\_{k+2}+(-2k+1)A\_{k}\right)z^{k}\end{aligned}}}
اگر این سری یک جواب باشد، تمام این ضرایب باید صفر باشند، بنابراین هم برای k=۰ و هم برای k> 0:

{\displaystyle (k+2)(k+1)A\_{k+2}+(-2k+1)A\_{k}=0\;\!}
برای بدست آوردن رابطه بازگشتی برای *A**k*+2 می‌توانیم این ترتیب را مرتب کنیم.

{\displaystyle (k+2)(k+1)A\_{k+2}=-(-2k+1)A\_{k}\;\!}
{\displaystyle A\_{k+2}={(2k-1) \over (k+2)(k+1)}A\_{k}\;\!}
اکنون، ما داریم

{\displaystyle A\_{2}={-1 \over (2)(1)}A\_{0}={-1 \over 2}A\_{0},\,A\_{3}={1 \over (3)(2)}A\_{1}={1 \over 6}A\_{1}}
ما می‌توانیم *A*0 و *A*1 را اگر شرایط اولیه وجود داشته باشد، تعیین کنیم، یعنی اگر یک مسئله مقدار اولیه داشته باشیم.

بنابراین ما داریم

{\displaystyle {\begin{aligned}A\_{4}&={1 \over 4}A\_{2}=\left({1 \over 4}\right)\left({-1 \over 2}\right)A\_{0}={-1 \over 8}A\_{0}\\[8pt]A\_{5}&={1 \over 4}A\_{3}=\left({1 \over 4}\right)\left({1 \over 6}\right)A\_{1}={1 \over 24}A\_{1}\\[8pt]A\_{6}&={7 \over 30}A\_{4}=\left({7 \over 30}\right)\left({-1 \over 8}\right)A\_{0}={-7 \over 240}A\_{0}\\[8pt]A\_{7}&={3 \over 14}A\_{5}=\left({3 \over 14}\right)\left({1 \over 24}\right)A\_{1}={1 \over 112}A\_{1}\end{aligned}}}
و جواب سری

{\displaystyle {\begin{aligned}f&=A\_{0}z^{0}+A\_{1}z^{1}+A\_{2}z^{2}+A\_{3}z^{3}+A\_{4}z^{4}+A\_{5}z^{5}+A\_{6}z^{6}+A\_{7}z^{7}+\cdots \\[8pt]&=A\_{0}z^{0}+A\_{1}z^{1}+{-1 \over 2}A\_{0}z^{2}+{1 \over 6}A\_{1}z^{3}+{-1 \over 8}A\_{0}z^{4}+{1 \over 24}A\_{1}z^{5}+{-7 \over 240}A\_{0}z^{6}+{1 \over 112}A\_{1}z^{7}+\cdots \\[8pt]&=A\_{0}z^{0}+{-1 \over 2}A\_{0}z^{2}+{-1 \over 8}A\_{0}z^{4}+{-7 \over 240}A\_{0}z^{6}+A\_{1}z+{1 \over 6}A\_{1}z^{3}+{1 \over 24}A\_{1}z^{5}+{1 \over 112}A\_{1}z^{7}+\cdots \end{aligned}}}
که می‌توانیم آن را به مجموع دو جواب سری مستقل خطی بشکنیم:

{\displaystyle f=A\_{0}\left(1+{-1 \over 2}z^{2}+{-1 \over 8}z^{4}+{-7 \over 240}z^{6}+\cdots \right)+A\_{1}\left(z+{1 \over 6}z^{3}+{1 \over 24}z^{5}+{1 \over 112}z^{7}+\cdots \right)}
که با استفاده از سری‌های فوق‌هندسی می‌تواند بیشتر ساده شود.

معادلات غیرخطی
--------------

روش سری توانی را می‌توان در معادلات دیفرانسیل غیرخطی معین اعمال کرد، البته با انعطاف‌پذیری کمتر. یک دسته بسیار بزرگ از معادلات غیرخطی را می‌توان با استفاده از روش پارکر-سوچاکی به‌صورت تحلیلی حل کرد.

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

* Weisstein, Eric W. "Frobenius Method". *MathWorld*.

منابع
-----

* Coddington, Earl A.; Levinson, Norman (1955). *Theory of Ordinary Differential Equations*. New York: McGraw–Hill.
* Hille, Einar (1976). *Ordinary Differential Equations in the Complex Domain*. Mineola: Dover Publications.
* Teschl, Gerald (2012). *Ordinary Differential Equations and Dynamical Systems*. Providence: American Mathematical Society. ISBN 978-0-8218-8328-0.
* Lozi, R.; Pogonin, V.A.; Pchelintsev, A.N. (2016). "A new accurate numerical method of approximation of chaotic solutions of dynamical model equations with quadratic nonlinearities" (PDF). *Chaos, Solitons & Fractals*. **91**: 108–114. doi:10.1016/j.chaos.2016.05.010.