طريقة المعاملات غير المحددة

في الرياضيات ، تُعدّ طريقة المعاملات غير المحددة منهجًا لإيجاد حل خاص لبعض المعادلات التفاضلية العادية غير المتجانسة وعلاقات التكرار . وهي وثيقة الصلة بطريقة الإفناء ، ولكن بدلًا من استخدام نوع معين من المؤثرات التفاضلية (الإفناء) لإيجاد أفضل شكل ممكن للحل الخاص، يتم وضع فرضية أو "تخمين" للشكل المناسب، ثم يتم اختباره عن طريق تفاضل المعادلة الناتجة. بالنسبة للمعادلات المعقدة، تُعدّ طريقة الإفناء أو تغيير المعاملات أقل استهلاكًا للوقت.

لا تُعد المعاملات غير المحددة طريقة عامة مثل طريقة تغيير المعاملات ، لأنها لا تعمل إلا مع المعادلات التفاضلية التي تتبع أشكالاً معينة. [ 1 ]

وصف الطريقة

لنفترض معادلة تفاضلية عادية خطية غير متجانسة على الصورة التالية:

أنا=0نجأناy(أنا)+y(ن+1)=ز(x){\displaystyle \sum _{i=0}^{n}c_{i}y^{(i)}+y^{(n+1)}=g(x)}
أينy(أنا){\displaystyle y^{(i)}}يرمز إلى المشتقة رقم i منy{\displaystyle y}، وجأنا{\displaystyle c_{i}}يشير إلى دالة منx{\displaystyle x}.

توفر طريقة المعاملات غير المحددة طريقة مباشرة للحصول على حل هذه المعادلة التفاضلية العادية عندما يتم استيفاء معيارين: [ 2 ]

  1. جأنا{\displaystyle c_{i}}هي ثوابت.
  2. g ( x ) هي دالة ثابتة، أو دالة متعددة الحدود، أو دالة أسيةهـαx{\displaystyle e^{\alpha x}}دوال الجيب أو جيب التمامالخطيئةβx{\displaystyle \sin {\beta x}}أوكوسβx{\displaystyle \cos {\beta x}}أو المجاميع والضربات المحدودة لهذه الدوال (α{\displaystyle {\alpha }}،β{\displaystyle {\beta }}الثوابت).

تتألف الطريقة من إيجاد الحل المتجانس العامyج{\displaystyle y_{c}}للمعادلة التفاضلية الخطية المتجانسة التكميلية

أنا=0نجأناy(أنا)+y(ن+1)=0،{\displaystyle \sum _{i=0}^{n}c_{i}y^{(i)}+y^{(n+1)}=0,}

وتكامل خاصyص{\displaystyle y_{p}}معادلة تفاضلية عادية خطية غير متجانسة تستند إلىز(x){\displaystyle g(x)}ثم الحل العامy{\displaystyle y}المعادلة التفاضلية العادية غير المتجانسة الخطية ستكون

y=yج+yص.{\displaystyle y=y_{c}+y_{p}.}[ 3 ]

لوز(x){\displaystyle g(x)}يتكون من مجموع دالتينح(x)+w(x){\displaystyle h(x)+w(x)}ونقول ذلكyص1{\displaystyle y_{p_{1}}}هل الحل قائم علىح(x){\displaystyle h(x)}وyص2{\displaystyle y_{p_{2}}}الحل القائم علىw(x){\displaystyle w(x)}ثم، باستخدام مبدأ التراكب ، يمكننا القول إن التكامل الخاصyص{\displaystyle y_{p}}هو [ 3 ]

yص=yص1+yص2.{\displaystyle y_{p}=y_{p_{1}}+y_{p_{2}}.}

الأشكال النموذجية للتكامل الخاص

لإيجاد التكامل المحدد، نحتاج إلى تخمين شكله، مع ترك بعض المعاملات كمتغيرات لحلها. يأخذ هذا شكل المشتقة الأولى للدالة المكملة. فيما يلي جدول ببعض الدوال النموذجية والحل التخميني لها.

دالة xنموذج لـ y
كهـأx{\displaystyle ke^{ax}\!}جهـأx{\displaystyle Ce^{ax}\!}
كxن،ن=0،1،2،...{\displaystyle kx^{n},\;n=0,1,2,\ldots \!}

أنا=0نكأناxأنا{\displaystyle \sum _{i=0}^{n}K_{i}x^{i}\!}

ككوس(أx) أو كالخطيئة(أx){\displaystyle k\cos(ax){\text{ or }}k\sin(ax)\!}

ككوس(أx)+مالخطيئة(أx){\displaystyle K\cos(ax)+M\sin(ax)\!}

كهـأxكوس(بx) أو كهـأxالخطيئة(بx){\displaystyle ke^{ax}\cos(bx){\text{ or }}ke^{ax}\sin(bx)\!}

هـأx(ككوس(بx)+مالخطيئة(بx)){\displaystyle e^{ax}(K\cos(bx)+M\sin(bx))\!}

(أنا=0نكأناxأنا)كوس(بx) أو  (أنا=0نكأناxأنا)الخطيئة(بx){\displaystyle \left(\sum _{i=0}^{n}k_{i}x^{i}\right)\cos(bx){\text{ or }}\ \left(\sum _{i=0}^{n}k_{i}x^{i}\right)\sin(bx)\!}

(أنا=0نسؤالأناxأنا)كوس(بx)+(أنا=0نRأناxأنا)الخطيئة(بx){\displaystyle \left(\sum _{i=0}^{n}Q_{i}x^{i}\right)\cos(bx)+\left(\sum _{i=0}^{n}R_{i}x^{i}\right)\sin(bx)}

(أنا=0نكأناxأنا)هـأxكوس(بx) أو (أنا=0نكأناxأنا)هـأxالخطيئة(بx){\displaystyle \left(\sum _{i=0}^{n}k_{i}x^{i}\right)e^{ax}\cos(bx){\text{ or }}\left(\sum _{i=0}^{n}k_{i}x^{i}\right)e^{ax}\sin(bx)\!}

هـأx((أنا=0نسؤالأناxأنا)كوس(بx)+(أنا=0نRأناxأنا)الخطيئة(بx)){\displaystyle e^{ax}\left(\left(\sum _{i=0}^{n}Q_{i}x^{i}\right)\cos(bx)+\left(\sum _{i=0}^{n}R_{i}x^{i}\right)\sin(bx)\right)}

إذا ظهر حدٌّ في التكامل الخاص أعلاه لـ y في الحل المتجانس، فمن الضروري ضربه بقوة كبيرة كافية لـ x لجعل الحل مستقلاً. إذا كانت دالة x عبارة عن مجموع حدود في الجدول أعلاه، فيمكن تخمين التكامل الخاص باستخدام مجموع الحدود المناظرة لـ y . [ 1 ]

أمثلة

المثال 1

أوجد تكاملاً خاصاً للمعادلة

y"+y=تكوست.{\displaystyle y''+y=t\cos t.}

الطرف الأيمن t  cos t له الشكل التالي: 

Pنهـαتكوسβت{\displaystyle P_{n}e^{\alpha t}\cos {\beta t}}

مع n = 2، α = 0، و β = 1.

بما أن α + = i هو جذر بسيط للمعادلة المميزة

λ2+1=0{\displaystyle \lambda ^{2}+1=0}

ينبغي أن نجرب تكاملاً معيناً من الشكل

yص=ت[F1(ت)هـαتكوسβت+جي1(ت)هـαتالخطيئةβت]=ت[F1(ت)كوست+جي1(ت)الخطيئةت]=ت[(أ0ت+أ1)كوست+(ب0ت+ب1)الخطيئةت]=(أ0ت2+أ1ت)كوست+(ب0ت2+ب1ت)الخطيئةت.{\displaystyle {\begin{aligned}y_{p}&=t\left[F_{1}(t)e^{\alpha t}\cos {\beta t}+G_{1}(t)e^{\alpha t}\sin {\beta t}\right]\\&=t\left[F_{1}(t)\cos t+G_{1}(t)\sin t\right]\\&=t\left[\left(A_{0}t+A_{1}\right)\cos t+\left(B_{0}t+B_{1}\right)\sin t\right]\\&=\left(A_{0}t^{2}+A_{1}t\right)\cos t+\left(B_{0}t^{2}+B_{1}t\right)\sin t.\end{aligned}}}

بإدخال y p في المعادلة التفاضلية، نحصل على المتطابقة

تكوست=yص"+yص=[(أ0ت2+أ1ت)كوست+(ب0ت2+ب1ت)الخطيئةت]"+[(أ0ت2+أ1ت)كوست+(ب0ت2+ب1ت)الخطيئةت]=[2أ0كوست+2(2أ0ت+أ1)(-الخطيئةت)+(أ0ت2+أ1ت)(-كوست)+2ب0الخطيئةت+2(2ب0ت+ب1)كوست+(ب0ت2+ب1ت)(-الخطيئةت)]+[(أ0ت2+أ1ت)كوست+(ب0ت2+ب1ت)الخطيئةت]=[4ب0ت+(2أ0+2ب1)]كوست+[-4أ0ت+(-2أ1+2ب0)]الخطيئةت.{\displaystyle {\begin{aligned}t\cos t&=y_{p}''+y_{p}\\&=\left[\left(A_{0}t^{2}+A_{1}t\right)\cos t+\left(B_{0}t^{2}+B_{1}t\right)\sin t\right]''+\left[\left(A_{0}t^{2}+A_{1}t\right)\cos t+\left(B_{0}t^{2}+B_{1}t\right)\sin t\right]\\&=\left[2A_{0}\cos t+2\left(2A_{0}t+A_{1}\right)(-\sin t)+\left(A_{0}t^{2}+A_{1}t\right)(-\cos t)+2B_{0}\sin t+2\left(2B_{0}t+B_{1}\right)\cos t+\left(B_{0}t^{2}+B_{1}t\right)(-\sin t)\right]\\&\qquad +\left[\left(A_{0}t^{2}+A_{1}t\right)\cos t+\left(B_{0}t^{2}+B_{1}t\right)\sin t\right]\\&=[4B_{0}t+(2A_{0}+2B_{1})]\cos t+[-4A_{0}t+(-2A_{1}+2B_{0})]\sin t.\end{aligned}}}

بمقارنة الجانبين، لدينا

{1=4ب00=2أ0+2ب10=-4أ00=-2أ1+2ب0{\displaystyle {\begin{cases}1=4B_{0}\\0=2A_{0}+2B_{1}\\0=-4A_{0}\\0=-2A_{1}+2B_{0}\end{cases}}}

والذي يحتوي على الحل

أ0=0،أ1=ب0=14،ب1=0.{\displaystyle A_{0}=0,\quad A_{1}=B_{0}={\frac {1}{4}},\quad B_{1}=0.}

ثم لدينا تكامل معين

yص=14تكوست+14ت2الخطيئةت.{\displaystyle y_{p}={\frac {1}{4}}t\cos t+{\frac {1}{4}}t^{2}\sin t.}

المثال 2

ضع في اعتبارك المعادلة التفاضلية الخطية غير المتجانسة التالية:

دyدx=y+هـx.{\displaystyle {\frac {dy}{dx}}=y+e^{x}.}

يشبه هذا المثال الأول أعلاه، باستثناء أن الجزء غير المتجانس (هـx{\displaystyle e^{x}}) ليس مستقلاً خطياً عن الحل العام للجزء المتجانس (ج1هـx{\displaystyle c_{1}e^{x}}ونتيجة لذلك، علينا أن نضرب تخميننا بقوة كبيرة كافية لـ x لجعله مستقلاً خطياً.

وهنا يصبح تخميننا كالتالي:

yص=أxهـx.{\displaystyle y_{p}=Axe^{x}.}

باستبدال هذه الدالة ومشتقتها في المعادلة التفاضلية، يمكن إيجاد قيمة A :

ددx(أxهـx)=أxهـx+هـx{\displaystyle {\frac {d}{dx}}\left(Axe^{x}\right)=Axe^{x}+e^{x}}
أxهـx+أهـx=أxهـx+هـx{\displaystyle Axe^{x}+Ae^{x}=Axe^{x}+e^{x}}
أ=1.{\displaystyle A=1.}

إذن، الحل العام لهذه المعادلة التفاضلية هو:

y=ج1هـx+xهـx.{\displaystyle y=c_{1}e^{x}+xe^{x}.}

المثال 3

أوجد الحل العام للمعادلة:

دyدت=ت2-y{\displaystyle {\frac {dy}{dt}}=t^{2}-y}

ت2{\displaystyle t^{2}}هي كثيرة حدود من الدرجة الثانية، لذلك نبحث عن حل باستخدام نفس الشكل.

yص=أت2+بت+ج،{\displaystyle y_{p}=At^{2}+Bt+C,}

بإدخال هذه الدالة تحديدًا في المعادلة الأصلية، نحصل على:

2أت+ب=ت2-(أت2+بت+ج)،{\displaystyle 2At+B=t^{2}-(At^{2}+Bt+C),}
2أت+ب=(1-أ)ت2-بت-ج،{\displaystyle 2At+B=(1-A)t^{2}-Bt-C,}
(أ-1)ت2+(2أ+ب)ت+(ب+ج)=0.{\displaystyle (A-1)t^{2}+(2A+B)t+(B+C)=0.}

مما يعطي:

أ-1=0،2أ+ب=0،ب+ج=0.{\displaystyle A-1=0,\quad 2A+B=0,\quad B+C=0.}

وبحل المعادلة لإيجاد الثوابت نحصل على:

yص=ت2-2ت+2{\displaystyle y_{p}=t^{2}-2t+2}

لإيجاد الحل العام،

y=yص+yج{\displaystyle y=y_{p}+y_{c}}

أينyج{\displaystyle y_{c}}هو المحلول المتجانسyج=ج1هـ-ت{\displaystyle y_{c}=c_{1}e^{-t}}وبالتالي، فإن الحل العام هو:

y=ت2-2ت+2+ج1هـ-ت{\displaystyle y=t^{2}-2t+2+c_{1}e^{-t}}

مراجع

  1. 1 2 رالف ب. غريمالدي (2000). "علاقات التكرار غير المتجانسة". القسم 3.3.3 من كتاب "دليل الرياضيات المتقطعة والتوافقية" . كينيث هـ. روزن، محرر. مطبعة سي آر سي. ISBN 0-8493-0149-1.
  2. زيل، دينيس ج.، ووارن س. رايت (2014). الرياضيات الهندسية المتقدمة . جونز وبارتليت. ص 125. ISBN  978-1-4496-7977-4.{{cite book}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  3. 1 2 دينيس ج. زيل (14 مايو 2008). مدخل إلى المعادلات التفاضلية . سينجايج ليرنينج. ISBN 978-0-495-10824-5.