روشهای رونگه-کوتا
روشهای رونگه-کوتا راهحل یک معادله دیفرانسیل معمولی (ODE) را گام به گام با استفاده از چندین ارزیابی مرحلهای میانی از سمت راست پیش میبرند و به ترتیب بالایی دست مییابند بدون اینکه مراحل گذشته را ذخیره کنند.
Definition
یک روش رونگه-کوتا، روشی تکگامی برای معادلات دیفرانسیل معمولی است که مقدار بعدی راهحل را از مقدار فعلی با تشکیل ترکیبی وزنی از چندین مشتق مرحلهای که در نقاط میانی درون گام ارزیابی شدهاند، محاسبه میکند.
Scope
این موضوع شامل روشهای صریح و ضمنی رونگه-کوتا، نمایش آنها با جدول بوچر، شرایط مرتبه مشتق شده از نظریه درخت ریشهدار، جفتهای تعبیهشده برای کنترل تطبیقی اندازه گام، و ویژگیهای پایداری مطلق است که روشهای مناسب برای مسائل سخت و غیرسخت را متمایز میکند.
Core questions
- چگونه مراحل داخلی به یک روش تکگامی اجازه میدهند تا به مرتبه دقت بالایی دست یابد؟
- چگونه شرایط مرتبه برای یک روش رونگه-کوتا استخراج و سازماندهی میشوند؟
- چگونه جفتهای تعبیهشده یک تخمین خطای محلی ارزان برای کنترل اندازه گام ارائه میدهند؟
- چه چیزی روشهای رونگه-کوتا صریح را از ضمنی از نظر هزینه و پایداری متمایز میکند؟
Key theories
- جدول بوچر و شرایط مرتبه
- یک روش رونگه-کوتا با جدول بوچر ضرایب آن مشخص میشود، و شرط تطابق آن با بسط تیلور راهحل دقیق تا یک مرتبه معین، مجموعهای از شرایط مرتبه جبری را تولید میکند که به طور سیستماتیک با استفاده از درختان ریشهدار تولید میشوند.
- جفتهای تعبیهشده و کنترل تطبیقی
- دو روش که مراحل یکسان اما وزنهای متفاوتی دارند — یک جفت تعبیهشده مانند طرحهای رونگه-کوتا-فهلبرگ یا دورمند-پرینس — دو تخمین راهحل با مرتبه متفاوت تولید میکنند که اختلاف آنها خطای محلی را تخمین میزند و انتخاب خودکار اندازه گام را هدایت میکند.
Mechanisms
در هر گام، این روش سمت راست را در چندین نقطه مرحلهای ارزیابی میکند که هر یک به عنوان مقدار فعلی به علاوه ترکیبی از مشتقات مرحلهای قبلاً محاسبه شده تعریف میشود؛ راهحل جدید مجموع وزنی این مشتقات مرحلهای است. روشهای صریح مراحل را به گونهای مرتب میکنند که هر یک فقط به مراحل قبلی وابسته باشد و بتواند مستقیماً ارزیابی شود، در حالی که روشهای ضمنی مراحل را از طریق یک سیستم غیرخطی که در هر گام حل میشود، به هم متصل میکنند و پایداری قوی مورد نیاز برای مسائل سخت را به دست میآورند. جفتهای تعبیهشده ارزیابیهای مرحلهای را برای تولید یک تخمین همراه برای کنترل خطا مجدداً استفاده میکنند.
Clinical relevance
روشهای رونگه-کوتا، به ویژه جفتهای تطبیقی صریح مانند دورمند-پرینس، انتگرالگیرهای پیشفرض عمومی ODE در محیطهای محاسبات علمی هستند که برای شبیهسازی مسیر، سینتیک شیمیایی، سیستمهای کنترل و هر مسئله مقدار اولیه غیرسخت استفاده میشوند؛ روشهای رونگه-کوتا ضمنی همان چارچوب را به انتگرالگیری سخت و حفظکننده ساختار گسترش میدهند.
History
این روشها با کار رونگه در سال ۱۸۹۵ و طرحهای سیستماتیک کوتّا در سال ۱۹۰۱ آغاز شد؛ نظریه جبری جان بوچر در دهه ۱۹۶۰ شرایط مرتبه آنها را از طریق درختان ریشهدار سازماندهی کرد، و توسعه جفتهای تعبیهشده کارآمد مانند فهلبرگ و جفت دورمند-پرینس، انتگرالگیری تطبیقی رونگه-کوتا را به ابزار استانداردی که امروز است تبدیل کرد.
Key figures
- Carl Runge
- Wilhelm Kutta
- John C. Butcher
- John R. Dormand
Related topics
Seminal works
- hairer1993
- butcher2016
Frequently asked questions
- چرا به جای یک گام کوچک با روش اویلر، از چندین مرحله استفاده کنیم؟
- هر مرحله شیب را در نقطه متفاوتی درون گام نمونهبرداری میکند، و ترکیب آنها جملات خطای مرتبه پایین را حذف میکند، بنابراین یک روش رونگه-کوتا با گامهای بسیار بزرگتر از آنچه روش اویلر برای همان خطا نیاز دارد، به دقت بالایی دست مییابد.
- چه زمانی یک روش رونگه-کوتا ضمنی ارزش هزینه اضافی خود را دارد؟
- برای مسائل سخت، که در آنها روشهای صریح برای پایداری به گامهای بسیار کوچک و غیرعملی نیاز دارند، روشهای رونگه-کوتا ضمنی در اندازههای گام بزرگ پایدار میمانند. هزینه حل یک سیستم غیرخطی در هر گام، سپس با برداشتن گامهای بسیار کمتر، جبران میشود.