نرخ همگرایی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
←‏نرخ همگرایی: ابرابزار
ابرابزار
خط ۶:
{{سخ}}از جمله کاربردهای دیگر نرخ همگرایی می‌توان به مسایلی که به «گسسته سازیِ پروسه‌های پیوسته» می‌پردازند اشاره کرد.
 
== سرعت همگرایی برای روند هایروندهای تکراری(itereative) ==
=== مفاهیم پایه ===
فرض کنید که دنباله دلخواه <math>a_k</math> به عدد <math>L</math> همگراست
{{سخ}}
1۱- می گوییممی‌گوییم این دنباله به صورت خطی به عدد <math>L</math> همگراست اگر وجود داشته باشد ضریبی همانند <math>\mu \in (0, 1) </math> به طوری که داشته باشیم:
:<math> \lim_{k \to \infty} \frac{|a_{k+1} - L|}{|a_k - L|} = \mu</math>
 
{{سخ}}که در اینصورت به <math>\mu</math> نرخ همگرایی می گویندمی‌گویند.
 
{{سخ}}2۲- می گوییممی‌گوییم این دنباله به صورت فراخطی (سریع تر از خطی) به عدد <math>L</math> همگراست اگر:
:<math> \lim_{k \to \infty} \frac{|a_{k+1} - L|}{|a_k - L|} = 0</math>
 
{{سخ}}3۳- می گوییممی‌گوییم این دنباله به صورت فروخطی (کند ترکندتر از خطی) به عدد <math>L</math> همگراست اگر:
:<math> \lim_{k \to \infty} \frac{|a_{k+1} - L|}{|a_k - L|} = 1</math>
 
{{سخ}}4۴- اگر دنباله ای که همگرایی فروخطی دارد شرط زیر را ارضا کند:
:<math>\lim_{k \to \infty} \frac{|a_{k+2} - a_{k+1}|}{|a_{k+1} - a_k|} = 1,</math>
در این صورت همگرایی دنباله <math>a_k</math> همگرایِ لگاریتمی است یعنی می گوییممی‌گوییم این دنباله به صورت لگاریتمی به عدد<math>L</math> همگراست. بدیهی است که سرعت این همگرایی کند ترکندتر از همگرایی هایهمگرایی‌های خطی و فراخطی است.
 
=== دنباله هایدنباله‌های فراخطی ===
به کمک تعریف زیر به ردهرده‌بندی بندی همگرایی هایهمگرایی‌های فراخطی می پردازیممی‌پردازیم:
{{سخ}}می گوییممی‌گوییم دنباله با شدت <math>q</math> به <math>L</math> همگراست (توجه: <math>q > 1</math>) اگر داشته باشیم که:
:<math>\lim_{k \to \infty} \frac{|a_{k+1} - L|}{|a_k - L|^q} < M</math>
توجه کنید که <math>M</math> یک عدد مثبت است (و لزوماً کوچکتر از 1۱ نیست).<ref><math>q</math> و می تواندمی‌تواند عددی غیر صحیح باشد به عنوان مثال در روش سکانت [//[:en.wikipedia.org/wiki/Secant_method:Secant method|روش سکانت]] دارای نرخ φ ≈ 1.618 است.</ref>
 
به ازای برخی مقادیر خاص <math>q</math> نام هایِ به خصوصی درنظر گرفته شده استشده‌است:
{{سخ}}1۱-اگر <math>q</math> برابر 2۲ باشد به دنباله <math>a_k</math> همگرای مربعی (مرتبه 2۲) گویند.
{{سخ}}2۲-اگر <math>q</math> برابر 3۳ باشد به دنباله <math>a_k</math> همگرای مکعبی (مرتبه 3۳) گویند و ... .
{{سخ}}بدیهی است که دنباله هایِ با <math>q>=2</math> در رده دنباله هایدنباله‌های فراخطی قرار میگیرندمی‌گیرند.
 
یکی از روش هایروش‌های کاربردیِ محاسبه <math>q</math> برای دنباله <math>a_k</math> محاسبه دنباله یدنبالهٔ زیر است که به عدد <math>q</math> همگراست:
:<math>q \approx \frac{\log \left|\frac{a_{k+1} - a_k}{a_k - a_{k-1}}\right|}{\log \left|\frac{a_k - a_{k-1}}{a_{k-1} - a_{k-2}}\right|}.</math>
 
=== بهبود و گسترش تعریف فوق ===
اشکال تعاریف فوق در این است که این تعاریف برخی دنباله هارا که همگرااند اما سرعت همگراییشان متغیر است را درنظر نمی‌گردد،براینمی‌گردد، برای مثال دنباله زیر
(با جمله عمومی <math>b_k = \frac1{4^{\left\lfloor \frac{k}{2} \right\rfloor}}</math>)را درنظر بگیرید،داریمبگیرید، داریم:
:<math>\begin{align}
b_0 &= 1 ,\, &&b_1 = 1 ,\, &&b_2 = \frac14 ,\, &&b_3 = \frac14 ,\, &&b_4 = \frac1{16} ,\, &&b_5 = \frac1{16} , &&\ldots ,
\end{align}</math>
 
{{سخ}}همانطورهمان‌طور که مشاهده می کنیدمی‌کنید این دنباله همگراست ولی در رده دسته بندی هایدسته‌بندی‌های ذکر شده قرار نمی‌گیرد لذا در برخی مواقع تعریف گسترش یافته زیر را درنظر می گیرندمی‌گیرند:
{{سخ}}تحت تعریف زیر دنباله <math>a_k</math> با حداقل شدت <math>q</math> همگرا است اگر وجود داشته باشد دنباله ای همانند <math>(\varepsilon_k)</math> به قسمی که شرط زیر ارضا شود:
 
سطر ۵۲ ⟵ ۵۳:
</math>
 
{{سخ}}و داریم که دنباله <math>(\varepsilon_k)</math> به عدد <math>0</math> با نرخ همگراییِ <math>q</math>(طبق تعریفِ پیشین) همگراست.
 
=== مثال هامثال‌ها ===
مثال اول:
{{سخ}}دنباله <math>a_k</math> با جمله عمومیِ <math>a_k = \frac1{2^k}</math>:
 
:<math>\begin{align}
a_0 &= 1 ,\, &&a_1 = \frac12 ,\, &&a_2 = \frac14 ,\, &&a_3 = \frac18 ,\, &&a_4 = \frac1{16} ,\, &&a_5 = \frac1{32} ,\, &&\ldots
\end{align}</math>
 
{{سخ}}همانطورهمان‌طور که مشاهده می کنیدمی‌کنید دنباله <math>(a_k)</math>به صورت خطی با نرخ <math>1/2</math> به عدد <math>0</math> همگرا است.
 
{{سخ}}مثال دوم:
{{سخ}}دنباله <math>b_k</math> با جمله عمومی <math>b_k = \frac1{4^{\left\lfloor \frac{k}{2} \right\rfloor}}</math>:
 
سطر ۷۱ ⟵ ۷۲:
\end{align}</math>
 
{{سخ}}همانطورهمان‌طور که مشاهده می کنیدمی‌کنید دنباله <math>(b_k)</math> تحت تعریف گسترش یافته (و نه با تعریف ابتدایی) به صورت خطی با نرخ <math>1/2</math> به عدد <math>0</math> همگرا است.
 
{{سخ}}مثال سوم:
{{سخ}}دنباله <math>c_k</math> با جمله عمومی <math>c_k = \frac1{2^{2^k}}</math>:
 
:<math>\begin{align}
c_0 &= \frac12 ,\, &&c_1 = \frac14 ,\, &&c_2 = \frac1{16} ,\, &&c_3 = \frac1{256} ,\, &&c_4 = \frac1{65\,536} ,\,&&\ldots
\end{align}</math>
 
{{سخ}}همانطورهمان‌طور که مشاهده می کنیدمی‌کنید دنباله <math>(c_k)</math> با نرخ فراخطی (در اصل مربعی یا همان همگرایی مرتبه2مرتبه۲)) به صفر همگراست.
 
{{سخ}}مثال چهارم:
{{سخ}}دنباله <math>d_k</math> با جمله عمومی <math>d_k = \frac1{k+1}</math>:
 
سطر ۸۹ ⟵ ۹۰:
\end{align}</math>
 
{{سخ}}همانطورهمان‌طور که مشاهده می کنیدمی‌کنید دنباله <math>(d_k)</math> با نرخ فروخطی و لگاریتمی به صفر همگراست.
 
حال برای اینکه شهودمان از همگرایی بیشتر شود نمودار هر کدام از دنباله هایدنباله‌های ذکر شده را رسم می کنیممی‌کنیم:
 
[[پرونده:ConvergencePlots.png|بندانگشتی|alt=Plot showing the different rates of convergence for the sequences ''a''<sub>''k''</sub>, ''b''<sub>''k''</sub>, ''c''<sub>''k''</sub> and ''d''<sub>''k''</sub>.|همگرایی هایِ خطی، خطی (با تعریف گسترش یافته)،فراخطی، فراخطی (همگرایی مربعی (مرتبه2مرتبه۲)) و فروخطی (لگاریتمی)|600px|center]]
 
== سرعت همگرایی برای روند هایِ گسسته سازی(discretization) ==
همانند مطالب گفته شده برای بحث روندروندهای هایتکراری، تکراری،نرخنرخ همگرایی با نکات و تعاریفی نسبتاً مشابه برای بحث گسسته سازی هم مطرح میمی‌گردد. گردد.در اینجا فرض می شودمی‌شود که خواننده محترم با مبحث گسسته سازی([//[:en.wikipedia.org/wiki/:Discretization |گسسته سازی]])آشنااست. پارامتر مهم در این حالت شماره تکرار(iteration Number)نیست بلکه در این حالت (گسسته سازی) پارامتر مهم تعداد نقاط شبکه و فضای شبکه(grid Spacing) است و این دو پارامتر رابطه یرابطهٔ وارون بایکدیگر دارند.
{{سخ}}تعریف ریاضی:می گوییممی‌گوییم دنباله <math>(a_n)</math> به عدد ''L'' با شدت ''p'' همگرا می شودمی‌شود اگر وجود داشته باشد عدد ثابت ''C'' به طوریکه
:<math> |x_n - L| < C n^{-p} \text{ for all } n. </math>
که به صورت روبه رو نمایش داده می شودمی‌شود:
<math>|x_n - L | = \mathcal{O}(n^{-p})</math>،(جهت آشنایی با <math>\mathcal{O}</math> به [//[:en.wikipedia.org/wiki/Big_O_notation:Big O notation|نماد O بزرگ]] مراجعه کنید).
لازم بهاست ذکر استشود که از تعریف اخیر گفته شده در حل و بررسی معادلات دیفرانسیل معمولی(ODE) استفاده میمی‌شود. شود.(جهت آشنایی با معادلات دیفرانسیل معمولی به [//[:en.wikipedia.org/wiki/Numerical_methods_for_ordinary_differential_equations:Numerical methods for ordinary differential equations|معادلات دیفرانسیل معمولی ]]مراجعه کنید).
{{سخ}}یکی از روش هایروش‌های رایج و کاربردی جهت محاسبه یمحاسبهٔ نرخ همگرایی <math>p</math> برای روند هایروندهای گسسته سازی استفاده کردن از فرمول زیراست:
:<math>p \approx \frac{\log(e_\text{new}/e_\text{old})}{\log(h_\text{new}/h_\text{old})},</math>
 
که در اینجا <math>e_\text{new}</math> و <math>e_\text{old}</math> نشان دهنده یدهندهٔ خطاهای جدید و قدیم اند با توجه به قدم هایِ محاسبه ایِ <math>h_\text{new}</math> و <math>h_\text{old}</math> .
 
=== مثال هامثال‌ها ===
1۱- دنباله عددی <math>(d_k)</math> با <math>d_k = 1/(k+1)</math> که در قسمت قبل مطرح گردید را درنظر بگیرید. . نرخ همگرایی این دنباله برابر با 1۱ است. (با استناد به تعریف ذکر شده در قسمت گسسته سازی).
{{سخ}}2۲- دنباله عددی <math>(a_k)</math> باجمله عمومی <math>a_k = 2^{-k}</math>که در قسمت قبل مطرح گردید را درنظر بگیرید،همانطوربگیرید، همان‌طور که مشاهده می کنیدمی‌کنید این دنباله با شدت <math>p</math>(به ازای هر عدد <math>p</math>) همگراست،علیهمگراست، ذلکعلی میذلک توانمی‌توان گفت که این دنباله با نرخ نمایی همگراست. (با استناد به تعریف ذکر شده در قسمت گسسته سازی)
توجه کنید که طبق توافق قسمت قبل(روند های(روندهای تکراری) این دنباله با نرخ خطی همگرا بود.
{{سخ}}شدت همگرایی یک روند گسسته سازی به پارامتری به نام GTE آن مربوط است. (جهت اطلاع بیشتر به
[[:en:Truncation error (numerical integration)|پارامترGTE]] مراجعه کنید.
 
== روش هایروش‌های ارتقای نرخ همگرایی دنباله هادنباله‌ها ==
1- دنباله عددی <math>(d_k)</math> با <math>d_k = 1/(k+1)</math> که در قسمت قبل مطرح گردید را درنظر بگیرید. .نرخ همگرایی این دنباله برابر با 1 است.(با استناد به تعریف ذکر شده در قسمت گسسته سازی).
همانطورهمان‌طور که در ابتدا مطرح شد به کمک نرخ همگرایی می توانمی‌توان در محاسبات صرفه جویی کرد زیرا به کمک آن (نرخ همگرایی) می توانیممی‌توانیم حداقل تعداد تکرار لازم جهت رسیدن به دقت مطلوب را محاسبه کرد و سپس فقط تا همان تعداد مرحله محاسبات را ادامه داد. حال جالب است بدانید که روش هاییروش‌هایی وجود دارد که نرخ همگرایی یک دنباله را افزایش می دهندمی‌دهند به این طریق که از دنباله یدنبالهٔ ابتدایی موجود دنباله ای می سازدمی‌سازد که از نرخ همگرایی بیشتری نسبت به دنباله اولیه برخوردار است و بدین طریق در محاسبات انجامی صرف جویی بیشتری می کندمی‌کند.
{{سخ}}2- دنباله عددی <math>(a_k)</math> باجمله عمومی <math>a_k = 2^{-k}</math>که در قسمت قبل مطرح گردید را درنظر بگیرید،همانطور که مشاهده می کنید این دنباله با شدت <math>p</math>(به ازای هر عدد <math>p</math>) همگراست،علی ذلک می توان گفت که این دنباله با نرخ نمایی همگراست.(با استناد به تعریف ذکر شده در قسمت گسسته سازی)
{{سخ}}من جمله یجملهٔ این روش ها میروش‌ها توانمی‌توان به موارد زیر اشاره کرد:
توجه کنید که طبق توافق قسمت قبل(روند های تکراری) این دنباله با نرخ خطی همگرا بود.
{{سخ}}1- [[:en:Aitken%27s delta-squared processروش|آیتکین]].
{{سخ}}شدت همگرایی یک روند گسسته سازی به پارامتری به نام GTE آن مربوط است.(جهت اطلاع بیشتر به
{{سخ}}2- [//[:en.wikipedia.org/wiki/:Steffensen%27s_method27s method|روش استفنسن]]{{سخ}}3- [//[:en.wikipedia.org/wiki/Richardson_extrapolation:Richardson extrapolation|روش درون یابی ریچاردسون]]{{سخ}}4- [//[:en.wikipedia.org/wiki/Shanks_transformation:Shanks transformation|تبدیل شانکس]]{{سخ}}5- [//[:en.wikipedia.org/wiki/Van_Wijngaarden_transformation:Van تبدیلVan_WijngaardenWijngaarden transformation|تبدیلVan Wijngaarden]]{{سخ}}جهت آشنایی با تبدیل دنباله هادنباله‌ها به یکدیگر به لینک رو به رو می توانیدمی‌توانید مراجعه کنید. ([//[:en.wikipedia.org/wiki/Sequence_transformation:Sequence transformation|تبدیل دنباله هادنباله‌ها]])
[//en.wikipedia.org/wiki/Truncation_error_(numerical_integration) پارامترGTE] مراجعه کنید.
 
== روش های ارتقای نرخ همگرایی دنباله ها ==
همانطور که در ابتدا مطرح شد به کمک نرخ همگرایی می توان در محاسبات صرفه جویی کرد زیرا به کمک آن(نرخ همگرایی) می توانیم حداقل تعداد تکرار لازم جهت رسیدن به دقت مطلوب را محاسبه کرد و سپس فقط تا همان تعداد مرحله محاسبات را ادامه داد.حال جالب است بدانید که روش هایی وجود دارد که نرخ همگرایی یک دنباله را افزایش می دهند به این طریق که از دنباله ی ابتدایی موجود دنباله ای می سازد که از نرخ همگرایی بیشتری نسبت به دنباله اولیه برخوردار است و بدین طریق در محاسبات انجامی صرف جویی بیشتری می کند.
{{سخ}}من جمله ی این روش ها می توان به موارد زیر اشاره کرد:
{{سخ}}1- [//en.wikipedia.org/wiki/Aitken%27s_delta-squared_processروش آیتکین].
{{سخ}}2- [//en.wikipedia.org/wiki/Steffensen%27s_method روش استفنسن]{{سخ}}3- [//en.wikipedia.org/wiki/Richardson_extrapolation روش درون یابی ریچاردسون]{{سخ}}4- [//en.wikipedia.org/wiki/Shanks_transformation تبدیل شانکس]{{سخ}}5- [//en.wikipedia.org/wiki/Van_Wijngaarden_transformation تبدیلVan_Wijngaarden]{{سخ}}جهت آشنایی با تبدیل دنباله ها به یکدیگر به لینک رو به رو می توانید مراجعه کنید.([//en.wikipedia.org/wiki/Sequence_transformation تبدیل دنباله ها])
 
== منابع ==
۱- تعریف ابتدایی نرخ همگرایی از کتابِ Numerical analysis: a mathematical introduction, Clarendon Press, Oxford استخراج شده‌است.
 
1{{سخ}}۲- تعریف ابتداییگسترش یافته نرخ همگرایی از کتابِ Numerical analysis: a mathematical introduction, Clarendon Press,در Oxfordمنابع استخراجزیر شدهموجود است.
{{سخ}}2- تعریف گسترش یافته نرخ همگرایی در منابع زیر موجود است.
* http://web.mit.edu/rudin/www/MukherjeeRuSc11COLT.pdf
* Walter Gautschi (1997), ''Numerical analysis: an introduction,'' Birkhäuser, Boston.
* and David Mayers (2003), ''An introduction to numerical analysis,'' Cambridge University Press.
3۳- تعریف لگاریتمی از منبع زیر استخراج شده استشده‌است:
* {{cite journal | last = Van Tuyl | first = Andrew H. | year = 1994 | title = Acceleration of convergence of a family of logarithmically convergent sequences | journal = Mathematics of Computation | url = http://www.ams.org/journals/mcom/-}}