الطريقة المباشرة في حساب التفاضل والتكامل للمتغيرات
تُثبت الطريقة المباشرة وجود مُصغِّر لدالة عن طريق العمل مع متتاليات التصغير والاندماج، بدلاً من حل معادلة أويلر-لاغرانج.
Definition
تُثبت الطريقة المباشرة أن الدالة تحقق حدها الأدنى عن طريق اختيار متتالية تصغير، واستخلاص متتالية جزئية متقاربة باستخدام الاندماج، واستخدام شبه الاستمرارية السفلية لإظهار أن النهاية هي مصغِّر فعلي.
Scope
يغطي هذا الموضوع متتاليات التصغير، والقسرية، والاندماج الضعيف في فضاءات سوبوليف، وشبه الاستمرارية السفلية الضعيفة وعلاقتها بتحدب الدالة التكاملية، ووجود المصغِّرات، ودور هذه الأفكار في النظرية الحديثة للمعادلات التفاضلية الجزئية وانتظام الحلول.
Core questions
- متى يُضمن أن الدالة تحقق حدها الأدنى؟
- ما هو الدور الذي تلعبه القسرية والاندماج؟
- لماذا تُعد شبه الاستمرارية السفلية الضعيفة، المرتبطة بالتحدب، الفرضية الأساسية؟
- كيف تربط هذه الطريقة المسائل التباينية بالمعادلات التفاضلية الجزئية؟
Key theories
- القسرية والاندماج الضعيف
- تُجبر القسرية متتاليات التصغير على البقاء محدودة في فضاء دالة مناسب، وتوفر الانعكاسية متتالية جزئية متقاربة بشكل ضعيف، مما يوفر مصغِّراً مرشحاً.
- شبه الاستمرارية السفلية الضعيفة والتحدب
- إذا كانت الدالة شبه مستمرة سفلية بشكل ضعيف، فإن القيمة عند النهاية الضعيفة لا تتجاوز الحد الأدنى النهائي، ويُعد تحدب الدالة التكاملية في التدرج هو الشرط القياسي الذي يضمن هذه الخاصية.
- وجود المصغِّرات
- يؤدي الجمع بين التقييد والاندماج الضعيف وشبه الاستمرارية السفلية إلى وجود مصغِّر، والذي يلبي بعد ذلك معادلة أويلر-لاغرانج بمعنى ضعيف.
Clinical relevance
تُعد الطريقة المباشرة أساس نظرية الوجود الحديثة للمعادلات التفاضلية الجزئية غير الخطية والنماذج التباينية في المرونة، وعلوم المواد، ومعالجة الصور، حيث تمثل المصغِّرات تكوينات التوازن.
History
دعا هيلبرت إلى إثبات وجود المصغِّرات مباشرة، مؤكداً مبدأ ديريتشليه حوالي عام 1900. قام تونيللي بتنظيم هذه الطريقة في عشرينيات القرن الماضي باستخدام شبه الاستمرارية السفلية، وقد أدى التطور اللاحق لفضاءات سوبوليف وشبه تحدب موراي إلى إعطائها شكلها التحليلي الوظيفي الحديث.
Key figures
- David Hilbert
- Leonida Tonelli
- Charles B. Morrey
- Sergei Sobolev
Related topics
Seminal works
- dacorogna2008
- evans2010
Frequently asked questions
- لماذا لا نحل معادلة أويلر-لاغرانج مباشرة؟
- معادلة أويلر-لاغرانج هي شرط ضروري فقط، وبالنسبة للمسائل غير الخطية قد يكون من المستحيل حلها بشكل صريح أو حتى معرفة وجود حل. تُثبت الطريقة المباشرة وجود مصغِّر أولاً، والذي ينتج عنه بعد ذلك حل ضعيف للمعادلة.
- لماذا التحدب مهم هنا؟
- يضمن تحدب الدالة التكاملية في التدرج شبه الاستمرارية السفلية الضعيفة للدالة، وهي الخاصية المطلوبة تماماً للانتقال إلى نهاية متتالية تصغير. بدونها، يمكن أن تتذبذب متتالية تصغير بحيث لا تكون نهايتها الضعيفة مصغِّراً.