الحل العددي للمعادلات التفاضلية الجزئية
يطور هذا المجال أساليب تقوم بتحويل المعادلات التفاضلية الجزئية إلى صيغة متقطعة في المكان والزمان، مستبدلةً المؤثرات المستمرة بأنظمة جبرية تقارب حلولها سلوك الحقول التي تحكمها القوانين الفيزيائية.
Definition
الحل العددي للمعادلات التفاضلية الجزئية هو بناء وتحليل الأساليب التي تقارب حلول المعادلات التفاضلية الجزئية عن طريق تقطيع المجال المكاني (والزمان)، مما ينتج عنه أنظمة محدودة من المعادلات الجبرية.
Scope
يغطي هذا المجال الأطر الرئيسية الثلاثة للتقطيع — طرق الفروق المحدودة، والعناصر المحدودة، والحجوم المحدودة — المطبقة على المعادلات الإهليلجية، والمكافئة، والزائدية؛ وتحليل الاتساق، والاستقرار، والتقارب (بما في ذلك نظرية لاكس للتكافؤ وشرط CFL)؛ والأنظمة الخطية وغير الخطية الكبيرة المتفرقة التي ينتجها التقطيع.
Sub-topics
Core questions
- كيف يتم تقطيع المؤثرات التفاضلية في المكان والزمان إلى أنظمة جبرية مستقرة ومتقاربة؟
- كيف يتحد الاتساق والاستقرار لضمان التقارب، كما هو الحال في نظرية لاكس للتكافؤ؟
- كيف يحدد نوع المعادلة التفاضلية الجزئية — إهليلجية، مكافئة، أو زائدية — الطريقة المناسبة وقيود الاستقرار؟
- كيف يتم حل الأنظمة الكبيرة المتفرقة الناتجة بكفاءة؟
Key theories
- نظرية لاكس للتكافؤ
- بالنسبة لتقريب الفروق المحدودة المتسق لمشكلة قيمة أولية خطية حسنة الوضع، فإن الاستقرار ضروري وكافٍ للتقارب؛ هذه النظرية هي حجر الزاوية الذي يختزل إثبات التقارب إلى التحقق من الاتساق والاستقرار.
- شروط الاستقرار ورقم CFL
- تكون المخططات الصريحة للمعادلات التفاضلية الجزئية المعتمدة على الزمن مستقرة فقط في ظل قيود على أحجام الخطوات؛ فبالنسبة للمسائل الزائدية، يتطلب شرط كورانت-فريدريكس-ليوي أن يحتوي المجال العددي للاعتماد على المجال الفيزيائي، مما يحد من الخطوة الزمنية بالنسبة للشبكة المكانية.
- المبادئ التباينية ومبادئ الحفظ
- تعتمد طرق العناصر المحدودة على الصياغات الضعيفة (التباينية) وإسقاط غاليركين، بينما تفرض طرق الحجوم المحدودة قوانين حفظ منفصلة؛ يوفر كل إطار طريقًا لتقطيعات متسقة ذات خصائص تقريبية قابلة للإثبات.
Clinical relevance
تُعد طرق المعادلات التفاضلية الجزئية العددية الأساس الحسابي للمحاكاة عبر الهندسة والعلوم الفيزيائية — ميكانيكا الإنشاءات والمواد الصلبة، وديناميكا الموائع والديناميكا الهوائية، وانتقال الحرارة، والكهرومغناطيسية، والجيوفيزياء، ونمذجة الطقس والمناخ، وإعادة بناء الصور الطبية — حيثما يجب حل معادلات الحقول المستمرة على أشكال هندسية معقدة تمنع الحلول ذات الصيغة المغلقة.
History
بدأ تحليل الفروق المحدودة للمعادلات التفاضلية الجزئية بورقة كورانت-فريدريكس-ليوي عام 1928؛ وظهرت طريقة العناصر المحدودة من الهندسة الإنشائية والرياضيات التباينية في الأربعينيات والستينيات من القرن الماضي، ونمت طرق الحجوم المحدودة جنبًا إلى جنب مع ديناميكا الموائع الحسابية، مع توفير نظرية لاكس للتكافؤ إطار التقارب الموحد في الخمسينيات.
Key figures
- Richard Courant
- Peter Lax
- Olga Ladyzhenskaya
- Randall J. LeVeque
Related topics
Seminal works
- morton2005
- leveque2007
Frequently asked questions
- لماذا توجد ثلاثة أطر مختلفة للتقطيع؟
- تُعد الفروق المحدودة الأبسط على الشبكات المنتظمة، وتتعامل العناصر المحدودة مع الأشكال الهندسية المعقدة والمسائل التباينية بشكل طبيعي، وتفرض الحجوم المحدودة الحفظ المحلي، مما يجعلها مثالية لتدفق الموائع. يعتمد الاختيار على الهندسة، ونوع المعادلة، والخصائص التي يجب الحفاظ عليها.
- ماذا يعني شرط CFL؟
- بالنسبة للمخططات الصريحة في المسائل الزائدية المعتمدة على الزمن، يحد شرط كورانت-فريدريكس-ليوي من مدى كبر الخطوة الزمنية بالنسبة لتباعد الشبكة المكانية، مما يضمن عدم انتقال المعلومات لأكثر من خلية شبكية واحدة في كل خطوة. يؤدي انتهاكه إلى عدم الاستقرار.