معادلة تفاضلية عادية

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

أما **المعادلة التفاضلية العاديّة**  تكون فيها الدالة بمتغير واحد، بعكس المعادلة التفاضلية الجزئية التي يكون فيها المتغير دالة بعدّة متغيرات، والمشتقات مشتقات جزئية.

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

من الممكن تصنيف المعادلات إلى فئات مختلفة بحسب رتبة المعادلة، حيث رتبة المعادلة هي أعلى مشتقة تظهر بالمعادلة، أما درجة المعادلة فهي الأس المرفوع اليها أعلى مشتقة.

مثال:
\ (y*)^9 - 5y = x</math> من مرتبة 2 ودرجة 9.

== معادلات من الرتبة الأولى ==

بشكل عام، يمكن عرض المعادلة من الرتبة الأولى بصورة <math>\ F\left(y, y', x\right)=0</math>. الهدف هو البحث عن دالة <math>\ y(x)</math> إذا عوضنها في <math>\ F</math> تكون النتيجة 0.

=== مثال ===
الدالة <math>\ F(y,y',x) = y' - 2y</math> المعادلة تكون <math>\ y'-2y=0</math>.الحل العام هو: <math>\ Ae^{2x}</math>. وبالفعل يتحقق <math>\ (Ae^{2x})'=2Ae^{2x}</math>, لذلك إذا عوّضنا تكون النتيجة <math>\ 2Ae^{2x}-2Ae^{2x}=0</math>, كالمطلوب.

كما ذكرنا، في معادلة تفاضلية نحصل على عدّة حلول متعددة، الحل المطلوب ممكن حصره بواسطة: شرط حدي - شرط ابتدائي (أنظر [[مسألة القيمة الحدية|شروط الحدية]]).

بشكل خاص؛ لمعادلات تفاضلية من الرتبة الأولى هناك [[مبرهنة بيكار ليندلوف]]
ذات خواص مهمة لايجاد الحل.

=== معادلة خطيّة متجانسة وغير متجانسة من الرتبة الأولى ===
تظهر معادلة خطية من الرتبة الأولى على الصورة <math>\ y'+p(x)y=q(x)</math>.
إذا كان <math>\ q(x)\equiv 0</math> تسمى المعادلة بالمعادلة المتجانسة؛ <math>\ y'+p(x)y=0</math>.

<math>\ y'+p(x)y=0</math>

<math>\ y'= -p(x)y</math>

<math>\ (y'/y)=-p(x)</math>

<math>\ \int (dy/y) = \int (-p(x))</math>

<math>\ y = Ce^{\int -p(x) dx} </math>

<math>\ C</math> هو معامل تكاملي، ونضيف حلا إضافيا يسمى [[الحل المنفرد]] <math>\ y(x)\equiv 0</math> وهو يتحقق في شرط حدي <math>\ C= 0</math>. إذا يمكن استنتاج هذا الحل من الحل العام لذلك الحال العام كامل.

المعادلة غير المتجانسة يمكن كتابة حلها حاصل جمع بين حل عام لمعادلة تفاضلية *متجانسة* وحل خاص لمعادلة تفاضلية *غير متجانسة*.

<math>\ y=y_H+y_P</math>

نعرض الآن حلا عاما للمعادلة التفاضلية غير المتجانسة <math>\ y'+p(x)y=q(x)</math>

نستعين في دالة <math>\  M(x)</math>:

<math>\ y'+p(x)y=q(x)</math>

نضرب الجهتين في الدالة المساعدة:

<math>\ M(x) y'+  M(x) p(x)y= M(x)q(x)</math>

نطلب:

<math>\ M(x)'= p(x)M(x)</math>

هي معادلة تفاضلية متجانسة، حلها:

<math>\ M(x)=e^{\int p(x)dx}</math>

نستعين في الدالة المساعدة لنصل إلى الحل النهائي:

<math>\ \int (M(x)y )'= \int M(x)q(x)</math>

<math>\  M(x)y = \int M(x)q(x) +c </math>

<math>\ y =(\int M(x)q(x)+c)/M(x) </math>

=== فصل المتغيرات ===

هي من الصورة:

<math>\  y' =g(x)h(y) </math>

طريقة الحل تكون بفصل المتغيرات ثم القيام بالتكامل.

أي أن:

<math>\ \int dy/h(y) = \int g(x)dx </math>

وهذا بالضبط ما قمنا به في المعادلة المتجانسة من الرتبة الأولى.

ملاحظة: فصل المتغيرات يعني فصل كل ما يتعلق بالمتغير المستقل <math>\ x </math> عن متغير المعادلة (المتغير التابع) <math>\ y(x) </math>.

==== معادلة الخط المستقيم ====

<math>\ y'= f(ax+by+c) </math>

نرمز:
<math>\ z=ax+by+c </math>
ومنها نعود لمعادلة فصل المتغيرات.

=== معادلة على الصورة (y'=f(y/x ===

نوصل الصورة المعطاة لمعادلة قابلة للفصل عن طريق الرمز لِ <math>\ z=y/x </math>.

=== معادلة برنولي ===

معادلة برنولي من الصورة <math>\ y'+p(x)y=q(x)y^n</math>.
واضح ان <math>\ y=0 </math> هو حل للمعادلة.

نفرض أن <math>\ y\ne0</math>، نقسم على <math>\ y^n </math> :

<math>\ y'/y^n + p(x)y/y^n =q(x) </math>
نرمز <math>\ z=y/y^n </math> أي <math>\ z=y^{1-n}</math>، فنحصل على الدالة الخطية <math>\ z'+(1-n)p(x)z=(1-n)q(x)</math>.

نجد <math>\ z </math> ومنها يمكننا ايجاد <math>\ y </math> - المتغير التابع المطلوب.

=== معادلة تامّة ===

لتكن <math>\ F(x,y) </math> دالة قابلة للاشتقاق. حيث <math>\ x(t) </math> و <math>\ y(t) </math>.
حسب [[قاعدة السلسلة]] يتحقق:
<math>\ \frac {dF}{dt} = \frac{\partial F}{\partial x} \frac {dx}{dt} +\frac{\partial F}{\partial y} \frac {dy}{dt} </math>

وبشكل رمزي نكتب: <math>\ dF = \frac{\partial F}{\partial x} dx +\frac{\partial F}{\partial y} dy </math>

إذا كانت <math>\ F(x,y)=const </math> حينئذ <math>\ dF=0 </math>.

من هذا المنطلق ننظر للمعادلة <math>\ P(x,y)dx+Q(x,y)dy=0 </math>:

# إذا تحقق <math>\ \frac{\partial P}{\partial y}= \frac{\partial Q} {\partial x} </math> حينها تسمى المعادلة معادلة تامّة.
# وإذا كانت دالة <math>\ F(x,y) </math> تحقق:
<math>\ \frac{\partial F}{\partial x}= P(x,y) </math> وأيضاً <math>\ \frac{\partial F}{\partial y}= Q(x,y) </math>.
تكون المعادلة شبيهة ل <math>\ dF = \frac{\partial F}{\partial x} dx +\frac{\partial F}{\partial y} dy </math>
وحينها نقول الحل هو *' \ F(x,y)=c  **.

***إذا لم تكن المعادلة تامّة***، أي أن <math>\ \frac{\partial P}{\partial y} \ne \frac{\partial Q} {\partial x} </math> حينها نستعين بمعامل التكامل <math>\ \mu (x,y) </math> بحيث:
<math>\ \mu (x,y) P(x,y)dx + \mu (x,y) Q(x,y)dy =0 </math> نطلب:

<math>\ \frac{\partial }{\partial y} ( \mu (x,y) P(x,y))=  \frac{\partial }{\partial y} ( \mu (x,y) Q(x,y) </math>

**ملاحظة: بشكل عام نطلب ان \ \mu(x)  -متعلقة فقط ب \ x  أو نطلب ان \ \mu(y)  -متعلقة فقط ب \ y  وذلك حسب المعادلة التي نريد حلها.'''

### معاني هندسية في المعادلات التفاضلية
حقل الاتجاه:
نستطيع تمثيل ميل كل حل خاص على المحور بواسطة اسهم -لا يوجد معنى لطول السهم- ، بحيث ان اختيار شرط بدائي يعطينا حل واحد هو دالة.
** إذا قمنا بالوصل بين الاسهم تظهر الحلول.

تصغير|عائلة حلول في المعادلة المعطاة. اختيار شرط بدائي يعطي حل واحد هو دالة.

### نظرية وجود وأحادية الحل لمعادلة تفاضلية رتبة أولى
معطى:
\ y(x_0)=y_0  وأيضاَ \ y'=f(x,y) 

نفرض أن الدالة \ f(x,y)  وكل مشتقاتها الجزئية حسب \  y  متصلة في المجال ثنائي البعد \  D  في محور \ (x,y)  وهذا المجال يحوي نقطة الشرط الحدي (أنظر شروط الحدية) \  (x_0,y_0) .

فنقول أنه موجود منطقة مستطيلة\ [x_0-h,x_0+h]  للنقطة \ x_0  على الأقل في المجال \ x_0-h \leq x\leq x_0+h   فيه حل موجود وهو \ y(x) .
وهو واحد ووحيد.

## معادلات تفاضلية من رتبة n
انظر معادلة تفاضلية خطية

## انظر أيضا
* مسألة القيمة الحدية
* علاقة استدعاء ذاتي
## المراجع

تصنيف:حساب تفاضلي
تصنيف:معادلات تفاضلية
تصنيف:معادلات تفاضلية عادية