الحل الأساسي

في الرياضيات ، الحل الأساسي لمؤثر تفاضلي جزئي خطي L هو صياغة بلغة نظرية التوزيع للفكرة القديمة لدالة غرين (على الرغم من أن الحلول الأساسية، على عكس دوال غرين، لا تتناول الشروط الحدودية).

بدلالة دالة ديراك دلتا δ ( x ) ، فإن الحل الأساسي F هو حل للمعادلة غير المتجانسة

LF = δ ( x ) .

هنا يُفترض مسبقًا أن F عبارة عن توزيع .

لطالما استُخدم هذا المفهوم في دراسة لابلاس في بعدين وثلاثة أبعاد. وقد قام مارسيل ريز بدراسته في جميع أبعاد لابلاس .

أثبت برنارد مالغرانج وليون إهرنبريس وجود حل أساسي لأي مؤثر ذي معاملات ثابتة - وهي الحالة الأهم، والمرتبطة ارتباطًا مباشرًا بإمكانية استخدام الالتفاف لحل أي طرف أيمن - ويمكن الاطلاع على البرهان في كتاب جويل سمولر (1994). [ 1 ] في سياق التحليل الوظيفي ، تُطوَّر الحلول الأساسية عادةً عبر بديل فريدهولم وتُستكشف في نظرية فريدهولم .

مثال

لنفترض المعادلة التفاضلية التالية Lf = sin( x ) مع ل=د2دx2.{\displaystyle L={\frac {d^{2}}{dx^{2}}}.}

يمكن الحصول على الحلول الأساسية عن طريق حل المعادلة LF = δ ( x ) بشكل صريح، د2دx2F(x)=دلتا(x).{\displaystyle {\frac {d^{2}}{dx^{2}}}F(x)=\delta (x)\,.}

بما أن دالة الخطوة الوحدية (المعروفة أيضًا باسم دالة هيفسايد ) H لدينا ددxح(x)=دلتا(x)،{\displaystyle {\frac {d}{dx}}H(x)=\delta (x)\,,} يوجد حل ددxF(x)=ح(x)+ج.{\displaystyle {\frac {d}{dx}}F(x)=H(x)+C\,.} هنا C ثابت اختياري تم إدخاله بواسطة التكامل. وللتسهيل، نضع C = −1/2 .

بعد التكاملدFدx{\displaystyle {\frac {dF}{dx}}}وباختيار ثابت التكامل الجديد مساوياً للصفر، نحصل على F(x)=xح(x)-12x=12|x| .{\displaystyle F(x)=xH(x)-{\frac {1}{2}}x={\frac {1}{2}}|x|~.}

تحفيز

بمجرد إيجاد الحل الأساسي، يصبح من السهل إيجاد حل للمعادلة الأصلية، من خلال عملية الالتفاف بين الحل الأساسي والطرف الأيمن المطلوب.

تلعب الحلول الأساسية أيضًا دورًا مهمًا في الحل العددي للمعادلات التفاضلية الجزئية باستخدام طريقة العناصر الحدية .

تطبيق على المثال

لنفترض المؤثر L والمعادلة التفاضلية المذكورة في المثال، د2دx2و(x)=الخطيئة(x).{\displaystyle {\frac {d^{2}}{dx^{2}}}f(x)=\sin(x)\,.}

يمكننا إيجاد الحلو(x){\displaystyle f(x)}المعادلة الأصلية عن طريق الالتفاف (المشار إليه بعلامة النجمة) للطرف الأيمنالخطيئة(x){\displaystyle \sin(x)}مع الحل الأساسيF(x)=12|x|{\textstyle F(x)={\frac {1}{2}}|x|}: و(x)=(F*الخطيئة)(x):=-12|x-y|الخطيئة(y)دy.{\displaystyle f(x)=(F*\sin )(x):=\int _{-\infty }^{\infty }{\frac {1}{2}}|xy|\sin(y)\,dy\,.}

يُظهر هذا ضرورة توخي الحذر عند التعامل مع الدوال التي لا تتمتع بانتظام كافٍ (مثل الدعم المحدود، وقابلية التكامل L1 ) ، حيث نعلم أن الحل المطلوب هو f ( x ) = −sin( x ) ، بينما يتباعد التكامل المذكور أعلاه لجميع قيم x . ومع ذلك، فإن التعبيرين عن f متساويان كتوزيعات.

مثال يعمل بشكل أوضح

د2دx2و(x)=أنا(x)،{\displaystyle {\frac {d^{2}}{dx^{2}}}f(x)=I(x)\,,} حيث I هي الدالة المميزة (المؤشرة) للفترة [ 0,1 ] . في هذه الحالة، يمكن التحقق من أن التفاف I مع F ( x ) = | x |/2 هو (أنا*F)(x)={12x2-12x+14،0x1|12x-14|،خلاف ذلك{\displaystyle (I*F)(x)={\begin{cases}{\frac {1}{2}}x^{2}-{\frac {1}{2}}x+{\frac {1}{4}},&0\leq x\leq 1\\|{\frac {1}{2}}x-{\frac {1}{4}}|,&{\text{otherwise}}\end{cases}}}وهو حل، أي أن مشتقته الثانية تساوي I.

إثبات أن عملية الالتفاف هي حل

لنرمز إلى التفاف الدالتين F و g بالرمز Fg . لنفترض أننا نحاول إيجاد حل للمعادلة Lf = g ( x ) . نريد إثبات أن Fg هو حل للمعادلة السابقة، أي نريد إثبات أن L ( Fg ) = g . عند تطبيق المؤثر التفاضلي ذي المعاملات الثابتة، L ، على الالتفاف، من المعروف أن ل(F*ز)=(لF)*ز،{\displaystyle L(F*g)=(LF)*g\,,} بشرط أن يكون لـ L معاملات ثابتة.

إذا كان F هو الحل الأساسي، فإن الجانب الأيمن من المعادلة يختزل إلى دلتا*ز .{\displaystyle \delta *g~.}

لكن بما أن دالة دلتا هي عنصر محايد في عملية الالتفاف، فإن هذا ببساطة هو g ( x ) . باختصار، ل(F*ز)=(لF)*ز=دلتا(x)*ز(x)=-دلتا(x-y)ز(y)دy=ز(x).{\displaystyle L(F*g)=(LF)*g=\delta (x)*g(x)=\int _{-\infty }^{\infty }\delta (x-y)g(y)\,dy=g(x)\,.}

لذا، إذا كان F هو الحل الأساسي، فإن عملية الالتفاف Fg هي أحد حلول المعادلة Lf = g ( x ) . هذا لا يعني أنه الحل الوحيد، إذ يمكن إيجاد حلول متعددة لشروط ابتدائية مختلفة.

الحلول الأساسية لبعض المعادلات التفاضلية الجزئية

يمكن الحصول على ما يلي عن طريق تحويل فورييه :

معادلة لابلاس

بالنسبة لمعادلة لابلاس ، [-Δ]Φ(x،x)=دلتا(x-x){\displaystyle [-\Delta ]\Phi (\mathbf {x} ,\mathbf {x} ')=\delta (\mathbf {x} -\mathbf {x} ')} الحلول الأساسية في بعدين وثلاثة أبعاد، على التوالي، هي Φثنائي الأبعاد(x،x)=-12πln|x-x|،Φثلاثي الأبعاد(x،x)=14π|x-x| .{\displaystyle \Phi _{\textrm {2D}}(\mathbf {x} ,\mathbf {x} ')=-{\frac {1}{2\pi }}\ln |\mathbf {x} -\mathbf {x} '|,\qquad \Phi _{\textrm {3D}}(\mathbf {x} ,\mathbf {x} ')={\frac {1}{4\pi |\mathbf {x} -\mathbf {x} '|}}~.}

معادلة بواسون المحجوبة

بالنسبة لمعادلة بواسون المحجوبة ، [-Δ+ك2]Φ(x،x)=دلتا(x-x)،كR،{\displaystyle [-\Delta +k^{2}]\Phi (\mathbf {x} ,\mathbf {x} ')=\delta (\mathbf {x} -\mathbf {x} '),\quad k\in \mathbb {R} ,} الحلول الأساسية هي Φثنائي الأبعاد(x،x)=12πك0(ك|x-x|)،Φثلاثي الأبعاد(x،x)=خبرة(-ك|x-x|)4π|x-x|،{\displaystyle \Phi _{\textrm {2D}}(\mathbf {x} ,\mathbf {x} ')={\frac {1}{2\pi }}K_{0}(k|\mathbf {x} -\mathbf {x} '|),\qquad \Phi _{\textrm {3D}}(\mathbf {x} ,\mathbf {x} ')={\frac {\exp(-k|\mathbf {x} -\mathbf {x} '|)}{4\pi |\mathbf {x} -\mathbf {x} '|}},} أينك0{\displaystyle K_{0}}هي دالة بيسل معدلة من النوع الثاني.

في الأبعاد الأعلى، يتم إعطاء الحل الأساسي لمعادلة بواسون المحجوبة بواسطة جهد بيسل .

معادلة ثنائية التوافق

بالنسبة للمعادلة ثنائية التوافق ، [-Δ2]Φ(x،x)=دلتا(x-x){\displaystyle [-\Delta ^{2}]\Phi (\mathbf {x} ,\mathbf {x} ')=\delta (\mathbf {x} -\mathbf {x} ')} للمعادلة ثنائية التوافقية حلول أساسية Φثنائي الأبعاد(x،x)=-|x-x|28πln|x-x|،Φثلاثي الأبعاد(x،x)=|x-x|8π .{\displaystyle \Phi _{\textrm {2D}}(\mathbf {x} ,\mathbf {x} ')=-{\frac {|\mathbf {x} -\mathbf {x} '|^{2}}{8\pi }}\ln |\mathbf {x} -\mathbf {x} '|,\qquad \Phi _{\textrm {3D}}(\mathbf {x} ,\mathbf {x} ')={\frac {|\mathbf {x} -\mathbf {x} '|}{8\pi }}~.}

معالجة الإشارات

في معالجة الإشارات ، يُطلق على نظير الحل الأساسي للمعادلة التفاضلية اسم استجابة النبضة للمرشح.

انظر أيضاً

مراجع

  1. سمولر، جويل (1994). "7. نظرية التوزيع". موجات الصدمة ومعادلات رد الفعل والانتشار (  الطبعة الثانية). سبرينغر نيويورك. ISBN 978-0-387-94259-9.