حل عددی معادلات دیفرانسیل با مشتقات جزئی

این حوزه به توسعه روش‌هایی می‌پردازد که معادلات دیفرانسیل با مشتقات جزئی را در فضا و زمان گسسته‌سازی می‌کنند و عملگرهای پیوسته را با سیستم‌های جبری جایگزین می‌نمایند که راه‌حل‌های آن‌ها رفتار میدان‌های تحت حاکمیت قوانین فیزیکی را تخمین می‌زنند.

Definition

حل عددی معادلات دیفرانسیل با مشتقات جزئی، ساخت و تحلیل روش‌هایی است که با گسسته‌سازی دامنه فضایی (و زمان)، راه‌حل‌های معادلات دیفرانسیل با مشتقات جزئی را تخمین می‌زنند و منجر به سیستم‌های متناهی از معادلات جبری می‌شوند.

Scope

این حوزه سه چارچوب اصلی گسسته‌سازی — روش‌های تفاضل محدود، اجزای محدود، و حجم محدود — را که برای معادلات بیضوی، سهموی، و هذلولی به کار می‌روند، پوشش می‌دهد؛ همچنین تحلیل سازگاری، پایداری، و همگرایی (شامل قضیه هم‌ارزی لاکس و شرط CFL)؛ و سیستم‌های خطی و غیرخطی بزرگ و تنک که گسسته‌سازی تولید می‌کند.

Sub-topics

• روش‌های تفاضل محدود
• روش‌های اجزای محدود
• روش‌های حجم محدود

Core questions

• چگونه عملگرهای دیفرانسیل در فضا و زمان به سیستم‌های جبری پایدار و همگرا گسسته‌سازی می‌شوند؟
• چگونه سازگاری و پایداری با هم ترکیب می‌شوند تا همگرایی را تضمین کنند، همانطور که در قضیه هم‌ارزی لاکس آمده است؟
• چگونه نوع معادله دیفرانسیل با مشتقات جزئی — بیضوی، سهموی، یا هذلولی — روش مناسب و محدودیت‌های پایداری را دیکته می‌کند؟
• چگونه سیستم‌های تنک بزرگ حاصله به طور کارآمد حل می‌شوند؟

Key theories

قضیه هم‌ارزی لاکس

برای یک تقریب تفاضل محدود سازگار با یک مسئله مقدار اولیه خطی خوش‌وضع، پایداری برای همگرایی لازم و کافی است؛ این قضیه سنگ بنایی است که اثبات همگرایی را به بررسی سازگاری و پایداری تقلیل می‌دهد.

شرایط پایداری و عدد CFL

طرح‌های صریح برای معادلات دیفرانسیل با مشتقات جزئی وابسته به زمان تنها تحت محدودیت‌هایی بر اندازه‌های گام پایدار هستند؛ برای مسائل هذلولی، شرط Courant-Friedrichs-Lewy ایجاب می‌کند که دامنه وابستگی عددی شامل دامنه فیزیکی باشد، که گام زمانی را نسبت به شبکه فضایی محدود می‌کند.

اصول تغییراتی و بقا

روش‌های اجزای محدود بر فرمول‌بندی‌های ضعیف (تغییراتی) و تصویر گالرکین استوارند، در حالی که روش‌های حجم محدود قوانین بقای گسسته را اعمال می‌کنند؛ هر چارچوب مسیری را برای گسسته‌سازی‌های سازگار با ویژگی‌های تقریبی قابل اثبات فراهم می‌کند.

Clinical relevance

روش‌های عددی معادلات دیفرانسیل با مشتقات جزئی، اساس محاسباتی شبیه‌سازی در مهندسی و علوم فیزیکی هستند — مکانیک سازه و جامدات، دینامیک سیالات و آیرودینامیک، انتقال حرارت، الکترومغناطیس، ژئوفیزیک، مدل‌سازی آب و هوا، و بازسازی تصویربرداری پزشکی — هر جا که معادلات میدان پیوسته باید بر روی هندسه‌های پیچیده حل شوند که راه‌حل‌های فرم بسته را غیرممکن می‌سازند.

History

تحلیل تفاضل محدود معادلات دیفرانسیل با مشتقات جزئی با مقاله Courant-Friedrichs-Lewy در سال ۱۹۲۸ آغاز شد؛ روش اجزای محدود از مهندسی سازه و ریاضیات تغییراتی در دهه‌های ۱۹۴۰-۱۹۶۰ پدید آمد، و روش‌های حجم محدود در کنار دینامیک سیالات محاسباتی رشد کردند، با قضیه هم‌ارزی لاکس که چارچوب همگرایی یکپارچه را در دهه ۱۹۵۰ فراهم آورد.

Key figures

• Richard Courant
• Peter Lax
• Olga Ladyzhenskaya
• Randall J. LeVeque

Seminal works

• morton2005
• leveque2007

Frequently asked questions

چرا سه چارچوب گسسته‌سازی متفاوت وجود دارد؟

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

شرط CFL به چه معناست؟

برای طرح‌های صریح در مسائل هذلولی وابسته به زمان، شرط Courant-Friedrichs-Lewy میزان بزرگی گام زمانی را نسبت به فاصله شبکه فضایی محدود می‌کند و تضمین می‌کند که اطلاعات بیش از یک سلول شبکه در هر گام حرکت نکند. نقض آن باعث ناپایداری می‌شود.