الحل الأساسي
في الرياضيات ، الحل الأساسي لمؤثر تفاضلي جزئي خطي L هو صياغة بلغة نظرية التوزيع للفكرة القديمة لدالة غرين (على الرغم من أن الحلول الأساسية، على عكس دوال غرين، لا تتناول الشروط الحدودية).
بدلالة دالة ديراك دلتا δ ( x ) ، فإن الحل الأساسي F هو حل للمعادلة غير المتجانسة
هنا يُفترض مسبقًا أن F عبارة عن توزيع .
لطالما استُخدم هذا المفهوم في دراسة لابلاس في بعدين وثلاثة أبعاد. وقد قام مارسيل ريز بدراسته في جميع أبعاد لابلاس .
أثبت برنارد مالغرانج وليون إهرنبريس وجود حل أساسي لأي مؤثر ذي معاملات ثابتة - وهي الحالة الأهم، والمرتبطة ارتباطًا مباشرًا بإمكانية استخدام الالتفاف لحل أي طرف أيمن - ويمكن الاطلاع على البرهان في كتاب جويل سمولر (1994). [ 1 ] في سياق التحليل الوظيفي ، تُطوَّر الحلول الأساسية عادةً عبر بديل فريدهولم وتُستكشف في نظرية فريدهولم .
مثال
لنفترض المعادلة التفاضلية التالية Lf = sin( x ) مع
يمكن الحصول على الحلول الأساسية عن طريق حل المعادلة LF = δ ( x ) بشكل صريح،
بما أن دالة الخطوة الوحدية (المعروفة أيضًا باسم دالة هيفسايد ) H لدينا يوجد حل هنا C ثابت اختياري تم إدخاله بواسطة التكامل. وللتسهيل، نضع C = −1/2 .
بعد التكاملوباختيار ثابت التكامل الجديد مساوياً للصفر، نحصل على
تحفيز
بمجرد إيجاد الحل الأساسي، يصبح من السهل إيجاد حل للمعادلة الأصلية، من خلال عملية الالتفاف بين الحل الأساسي والطرف الأيمن المطلوب.
تلعب الحلول الأساسية أيضًا دورًا مهمًا في الحل العددي للمعادلات التفاضلية الجزئية باستخدام طريقة العناصر الحدية .
تطبيق على المثال
لنفترض المؤثر L والمعادلة التفاضلية المذكورة في المثال،
يمكننا إيجاد الحلالمعادلة الأصلية عن طريق الالتفاف (المشار إليه بعلامة النجمة) للطرف الأيمنمع الحل الأساسي:
يُظهر هذا ضرورة توخي الحذر عند التعامل مع الدوال التي لا تتمتع بانتظام كافٍ (مثل الدعم المحدود، وقابلية التكامل L1 ) ، حيث نعلم أن الحل المطلوب هو f ( x ) = −sin( x ) ، بينما يتباعد التكامل المذكور أعلاه لجميع قيم x . ومع ذلك، فإن التعبيرين عن f متساويان كتوزيعات.
مثال يعمل بشكل أوضح
حيث I هي الدالة المميزة (المؤشرة) للفترة [ 0,1 ] . في هذه الحالة، يمكن التحقق من أن التفاف I مع F ( x ) = | x |/2 هو وهو حل، أي أن مشتقته الثانية تساوي I.
إثبات أن عملية الالتفاف هي حل
لنرمز إلى التفاف الدالتين F و g بالرمز F ∗ g . لنفترض أننا نحاول إيجاد حل للمعادلة Lf = g ( x ) . نريد إثبات أن F ∗ g هو حل للمعادلة السابقة، أي نريد إثبات أن L ( F ∗ g ) = g . عند تطبيق المؤثر التفاضلي ذي المعاملات الثابتة، L ، على الالتفاف، من المعروف أن بشرط أن يكون لـ L معاملات ثابتة.
إذا كان F هو الحل الأساسي، فإن الجانب الأيمن من المعادلة يختزل إلى
لكن بما أن دالة دلتا هي عنصر محايد في عملية الالتفاف، فإن هذا ببساطة هو g ( x ) . باختصار،
لذا، إذا كان F هو الحل الأساسي، فإن عملية الالتفاف F ∗ g هي أحد حلول المعادلة Lf = g ( x ) . هذا لا يعني أنه الحل الوحيد، إذ يمكن إيجاد حلول متعددة لشروط ابتدائية مختلفة.
الحلول الأساسية لبعض المعادلات التفاضلية الجزئية
يمكن الحصول على ما يلي عن طريق تحويل فورييه :
معادلة لابلاس
بالنسبة لمعادلة لابلاس ، الحلول الأساسية في بعدين وثلاثة أبعاد، على التوالي، هي
معادلة بواسون المحجوبة
بالنسبة لمعادلة بواسون المحجوبة ، الحلول الأساسية هي أينهي دالة بيسل معدلة من النوع الثاني.
في الأبعاد الأعلى، يتم إعطاء الحل الأساسي لمعادلة بواسون المحجوبة بواسطة جهد بيسل .
معادلة ثنائية التوافق
بالنسبة للمعادلة ثنائية التوافق ، للمعادلة ثنائية التوافقية حلول أساسية
معالجة الإشارات
في معالجة الإشارات ، يُطلق على نظير الحل الأساسي للمعادلة التفاضلية اسم استجابة النبضة للمرشح.
انظر أيضاً
مراجع
- "الحل الأساسي" ، موسوعة الرياضيات ، دار نشر EMS ، 2001 [1994]
- للاطلاع على تعديل دالة غرين على الحدود، انظر ملاحظات شيجو وو .
- المعادلات التفاضلية الجزئية
- الدوال المعممة
- توزيعات شوارتز
- نظرية فريدهولم
