الرياضيات · المسرد

ما معنى معادلة تفاضلية خطية من الرتبة الأولى؟

تعريف 5.1 الرياضيات الجامعية — السنة 1 · الفصل 5 — المعادلات التفاضلية الخطية

ليكن II مجالًا ولتكن a,b ⁣:IRa, b \colon I \to \R (أو C\C) متصلتين. المعادلة

(E) ⁣:y+a(x)y=b(x),(E)\colon\quad y' + a(x)\,y = b(x),

ذات المجهول الدالة القابلة للاشتقاق y ⁣:IRy \colon I \to \R (أو C\C)، تُسمّى معادلة تفاضلية خطية من الرتبة الأولى. والمعادلة (H) ⁣:y+a(x)y=0(H)\colon y' + a(x) y = 0 هي معادلتها المتجانسة.

أمثلة

مثال 5.3 (معادلة متجانسة بمعامل متغير)

حُلَّ y+(cosx)y=0y' + (\cos x)\,y = 0 على R\R. الدالة الأصلية للدالة a(x)=cosxa(x) = \cos x هي A(x)=sinxA(x) = \sin x، ومنه فالحلول هي

y(x)=λesinx,λR.y(x) = \lambda\,\eu^{-\sin x}, \qquad \lambda \in \R .

وقراءتان. كل حلّ دوريّ (ودوره 2π2\pi) ولا ينعدم أبدًا إلا إذا كان λ=0\lambda = 0 — فإشارة λ\lambda هي إشارة yy إلى الأبد، لأن الدالة الأسّية لا يمكن أن تقطع الصفر. والحلّ الذي يحقق y(0)=y0y(0) = y_0 هو y0esinxy_0\eu^{-\sin x}: أي منحنٍ واحد بالضبط من العائلة يمرّ بكل نقطة ابتدائية، وهي الصورة الأحادية البُعد في المبرهنة 5.4 (2).

مثال 5.6 (التخمين يسبق المكاملة)

حُلَّ y+2xy=xy' + 2x\,y = x على R\R. تغيير الثابت يفي بالغرض (A=x2A = x^2 و μ=xex2\mu' = x\,\eu^{x^2} وμ=12ex2+λ\mu = \frac12\eu^{x^2} + \lambda)، لكن ملاحظة أن الثابت yp=12y_p = \frac12 حلٌّ للمعادلة (0+2x12=x0 + 2x\cdot\frac12 = x) أسرع. ومع الحلول المتجانسة λex2\lambda\,\eu^{-x^2}:

y(x)=12+λex2,λR.y(x) = \frac12 + \lambda\,\eu^{-x^2}, \qquad \lambda \in \R .

وكل حلّ يتقارب نحو 12\frac12 بسرعة بالغة عندما x±x \to \pm\infty: فالحل الخاص الثابت توازن تلتحق به كل الحلول. والفكرة النافذة: قبل إطلاق الطريقة العامة، أنفق عشر ثوانٍ في البحث عن حلّ خاص بيّن (ثابت، أو حدّانيّ، أو مضاعف للطرف الأيمن)؛ ثم تُتمّ مبرهنة البنية العمل.

مثال 5.8 (طرف أيمن عقديّ، وجوابان حقيقيان)

حُلَّ yy=cosxy' - y = \cos x و yy=sinxy' - y = \sin x دفعة واحدة. اعمل في C\C مع الطرف الأيمن eix\eu^{\iu x}: فتجريب yp=ceixy_p = c\,\eu^{\iu x} يعطي c(i1)eix=eixc(\iu - 1)\eu^{\iu x} = \eu^{\iu x}، ومنه

c=1i1=1i2,yp=(1+i)(cosx+isinx)2=sinxcosx2+isinxcosx2.c = \frac1{\iu - 1} = \frac{-1 - \iu}2, \qquad y_p = -\frac{(1 + \iu)(\cos x + \iu\sin x)}2 = \frac{\sin x - \cos x}2 + \iu\,\frac{-\sin x - \cos x}2 .

وبما أن للمعادلة معاملات حقيقية، ينفصل الجزآن الحقيقي والتخيلي: فالدالة sinxcosx2\frac{\sin x - \cos x}2 حلٌّ للمعادلة yy=cosxy' - y = \cos x، والدالة sinx+cosx2-\frac{\sin x + \cos x}2 حلٌّ للمعادلة yy=sinxy' - y = \sin x (وتحقق من الأولى: المشتقة cosx+sinx2\frac{\cos x + \sin x}2، ناقصَ الدالة، تعطي cosx\cos x). فقد عوّض سطر عقديّ واحد عن جولتين من تغيير الثابت — وهو الاقتصاد نفسه الذي يمنهجه الطريقة 5.13 من أجل الرتبة الثانية، وهو فائدة متكررة من الفصل 3.

اقرأ في الفصل ←