نمایش مبدأ برای معادله دیفرانسیل معمولی

{{ادغام از|معادله دیفرانسیل مرتبه اول}}
{{معادلات دیفرانسیل}}
در ریاضیات، '''معادلهٔ دیفرانسیل معمولی''' به معادله‌ای گفته می‌شود که در آن تابعی از تنها یک [[متغیر مستقل]] و مشتقات آن تابع نقش داشته باشند. عبارت «معمولی» در مقابل «[[معادلات دیفرانسیل با مشتقات جزئی]]» به کار می‌رود. در معادلات دیفرانسیل مشتقات جزئی دو یا چند متغیر وجود دارد.{{سخ}}
معادلات دیفرانسیل معمولی به دو دستهٔ خطی و غیرخطی تقسیم می‌شوند. جواب‌های یک [[معادله دیفرانسیل|معادلهٔ دیفرانسیل]] معمولی خطی را می‌توان با عدد ثابتی جمع یا در عدد ثابتی ضرب کرد. این دسته از معادلات به طور کامل و دقیق شناخته و بررسی شده‌اند و جواب‌های بستهٔ تحلیلی برایشان وجود دارد. در مقابل معادلات دیفرانسیل معمولی غیرخطی وجود قرار می‌گیرد که خاصیت جمع‌پذیری برای جواب‌هایشان صادق نیست. حل این معادلات در حالت کلی پیچیده‌تر است و به ندرت می‌توان برایشان جوابی بسته بر اساس توابع مقدماتی ریاضی یافت. در عوض برای چنین معادلاتی، می‌توان جواب‌هایی به صورت [[سری‌]] یا به فرم انتگرالی پیدا کرد. علاوه بر این، می‌توان به کمک روش‌های عددی با گرافیکی، که دستی یا رایانه‌ای قابل پیاده‌سازی‌اند، جواب معادلات دیفرانسیل غیرخطی را تخمین زد. این روش‌های تخمینی می‌توانند در غیاب جواب‌های تحلیلی و بسته، اطلاعات مفیدی در اختیار بگذارند.

معادلات دیفرانسیل در علوم پایه نظیر ریاضی، فیزیک، شیمی، زیست شناسی و ستاره شناسی و همچنین علوم مهندسی نظیر مکانیک، برق، مواد و [[مهندسی شیمی]] کاربردی گسترده و حضوری چشمگیر دارند. معادله دیفرانسیل یک دسته از معادلات ریاضی است که بیانگر رابطه بین یک تابع مجهول از یک یا چند متغیر مستقل و مشتق های مرتبه های مختلف آن نسبت به متغیرهای مستقل است. بسیاری از قوانین عمومی طبیعت(در فیزیک، شیمی، زیست شناسی و ستاره شناسی) طبیعی ترین بیان ریاضی خود را در زبان معادلات دیفرانسیل می یابند.<ref name=":0">{{یادکرد کتاب|عنوان=کتاب حل عددی معادلات دیفرانسیل با نرم‌افزار متلب(MATLAB) به همراه کدها و توابع متلب}}</ref>

با توجه به اینکه اغلب معادلات دیفرانسیل که به واقعیت پدیده ها نزدیک هستند، دارای ترم های غیرخطی و پیچیده می باشند و یافتن جواب تحلیلی برای آنها امری دشوار یا غیرممکن است. عدم وجود پاسخ تحلیلی برای این گونه معادلات پیچیده و غیرخطی، منجر به ایجاد و گسترش روش های حل عددی شده است. مهمترین پارامترهای ارزیابی روش های حل عددی، سرعت، دقت و صحت حل معادله است. با توجه به ارتقاء چشمگیر سرعت و ظرفیت [[پردازش اطلاعات]] در پردازنده ها و کامپیوترها در اواخر قرن نوزدهم، روشهای حل عددی نیز گسترده تر شدند و همچنان نیز این ارتقاء و گستردگی ادامه دارد.<ref name=":0"/>

== پیش‌زمینه ==
رد پای معادلات دیفرانسیل معمولی را در زمینه‌های مختلف علوم ریاضی، تجربی یا اجتماعی می‌توان یافت، زیرا این معادلات ''تغییرات'' را به زبان ریاضی بازگو می‌کنند. از آن‌جا که در این معادلات توابع، مشتقات و دیفرانسیل‌ها به یک‌دیگر پیوند می‌خوردند، از آن‌ها می‌توان برای بیان پدیده‌های دینامیکی و تغییر و تحول بهره گرفت.{{سخ}}
از شاخه‌هایی از علوم که معادلات دیفرانسیل معمولی در آن‌ها کارکردی اساسی دارند، به عنوان نمونه می‌توان به این موارد اشاره کرد: برخی حوزه‌های ریاضی هم‌چون [[هندسه]]، علوم مهندسی هم‌چون [[مکانیک تحلیلی]] و [[مهندسی برق]] (تحلیل رفتار [[مدارهای الکتریکی]])، [[زمین‌شناسی]] (پیش‌بینی آب و هوا)، [[شیمی]] (تحلیل زنجیره‌های [[واکنش هسته‌ای]])، [[زیست‌شناسی]] (گسترش بیماری‌های عفونی، تغییرات ژنتیکی)، [[بوم‌شناسی]] و مدل‌سازی جمعیت و [[اقتصاد]] (تغییرات سود و قیمت سهام)
{{سخ}}
بسیاری از ریاضیدانان برجستهٔ تاریخ در حل و بحث معادلات دیفرانسیل معمولی نقش داشته‌اند، از جمله: [[نیوتن]]، [[لایب‌نیتس]]، خاندان [[برنولی]]، [[ریکاتی]]، [[الکسی کلرو]]، [[دالامبر]] و [[لئونارد اویلر]].
{{سخ}}
به عنوان یک نمونهٔ ساده از این معادلات، می‌توان به [[قانون دوم نیوتن]] در حرکت اشاره کرد که در آن رابطهٔ جابه‌جایی(''x'') و زمان(''t)'' یک شیء تحت اثر نیروی ''F'' به معادلهٔ دیفرانسیل زیر منجر می‌شود:

:<math>m \frac{\mathrm{d}^2 x(t)}{\mathrm{d}t^2} = F(x(t)),\,</math>

در حالت کلی، ''F'' به مکان ذره {{چر}}''(x(t'')){{چر}} در زمان ''t'' وابسته است، در نتیجه تابع ناشناختهٔ {{چر}}'' x(t''){{چر}} در هر دو طرف معادله دیده می‌شود.<ref>{{harvtxt|Kreyszig|1972|p=64}}</ref><ref>{{harvtxt|Simmons|1972|pp=1,2}}</ref><ref>{{harvtxt|Halliday|Resnick|1977|p=78}}</ref><ref>{{harvtxt|Tipler|1991|pp=78–83}}</ref>

== تعاریف ==
در این بخش فرض می‌کنیم که ''y'' متغیر وابسته و ''x'' [[متغیرهای وابسته و مستقل|متغیر مستقل]] است. در نتیجه {{چر}}''y=y(x)''{{چر}} تابعی ناشناخته از ''x'' است. نمادهای مختلفی برای مشتق‌گیری به کار می‌رود که بستگی به انتخاب نویسنده و نوع کاربرد آن دارد. در این نوشتار از نمادگذاری لایب‌نیتس ({{چر}}''dy/dx''،''d''<sup>2</sup>''y/dx''<sup>2</sup>،...''d<sup>n</sup>y/dx<sup>n</sup>''{{چر}}) در نمایش دیفرانسیل‌ها و [[انتگرال|انتگرال‌گیری]] و از نمادگذاری نیوتن و لاگرانژ({{چر}}''y&prime;''،''y&prime;&prime;''، ... ''y''<sup>(''n'')</sup>{{چر}}) برای نمایش فشردهٔ مشتق‌گیری استفاده می‌شود.

=== تعریف عمومی معادلهٔ دیفرانسیل معمولی ===
فرض کنید ''F'' تابعی معین از ''x''، ''y'' و مشتقات ''y'' باشد. در این صورت معادله‌ای به فرم زیر:
:<math>F\left (x,y,y',\cdots y^{(n-1)} \right )=y^{(n)}</math>
یک ''معادلهٔ دیفرانسیل معمولی'' صریح از ''مرتبهٔ n'' نامیده می‌شود.{{سخ}}
در حالت کلی‌تر، فرم ''ضمنی'' معادلهٔ دیفرانسیل معمولی از مرتبهٔ n به شکل زیر در می‌آید:
:<math>F\left(x, y, y', y'',\ \cdots,\ y^{(n)}\right) = 0</math>
{{سخ}}
دسته‌بندی‌های زیر برای معادلات دیفرانسیل معمولی وجود دارد:{{سخ}}
'''خودگردان''' یا '''مستقل''':{{به انگلیسی|Autonomous}}
معادلهٔ دیفرانسیلی که به ''x'' وابسته نداشته باشد، خودگردان نامیده می‌شود.{{سخ}}
'''خطی''':
یک معادلهٔ دیفرانسیل خطی نامیده می‌شود اگر بتوان ''F'' را به صورت یک [[ترکیب خطی]] از مشتقات ''y'' نوشت:
:<math>y^{(n)} = \sum_{i=0}^{n-1} a_i(x) y^{(i)} + r(x)</math>
که در آن {{چر}}''a''<sub>''i''</sub>(''x''){{چر}} و {{چر}}''r''(''x''){{چر}} توابعی پیوسته از ''x'' هستند. '''معادلات غیرخطی''' را نمی‌توان به این فرم نوشت.{{سخ}}
تابع {{چر}}''r(x)''{{چر}} ''تابع ورودی'' نامیده می‌شود که دو دسته‌بندی مهم را برای این دسته از معادلات شکل می‌دهد:{{سخ}}
'''همگن''': اگر {{چر}}''r(x)=0''{{چر}} باشد، معادله را همگن می‌نامند. برای چنین معادله‌ای ''y=0'' یک جواب بدیهی به شمار می‌آید. جواب یک معادلهٔ خطی همگن، تابع مکمل نامیده می‌شود که با ''y<sub>c</sub>'' نمایش داده می‌شود.{{سخ}}
'''ناهمگن''': {{چر}}''r''(''x'') ≠ 0 {{چر}} معادله را ناهمگن می‌نامند. چنین معادله‌ای علاوه بر پاسخ عمومی، یک پاسخ خصوصی هم دارد که با ''y<sub>p</sub>'' بیان می‌شود. در حالت کلی جواب یک معادلهٔ دیفرانسیل معمولی را می‌توان به فرم ''y'' = ''y<sub>c</sub>'' + ''y<sub>p</sub>'' نوشت.

== خلاصه‌ای از روش‌های حل برخی از معادلات ==
برخی از معادلات دیفرانسیل جواب‌های بسته و دقیق دارند. چند دسته از این معادلات در این بخش معرفی می‌شوند. در جدول زیر ''P''، ''Q''، ''M'' و ''N'' توابعی انتگرال‌پذیر از ''x'' و ''y'' هستند. ''b'' و ''c'' ثوابتی معلوم و [[حقیقی]] و ''C''<sub>1</sub>، ''C''<sub>2</sub> و ... ثوابتی اختیاری و در حالت کلی [[مختلط]] هستند.
{{سخ}}در راه‌حل‌های انتگرالی λ و ε متغیرهای اختیاری انتگرال‌گیری هستند و عبارت <sup>''x''</sup>''F''(λ)dλ∫ به معنای انتگرال‌گیری از تابع {{چر}}''F''(λ){{چر}} نسبت به متغیر λ است و پس از انتگرال‌گیری می‌توان به جای λ، از متغیر x استفاده کرد.
{{سخ}}
:{| class="wikitable"
|-
! scope="col" width="200px" | معادلهٔ دیفرانسیل
! scope="col" width="100px" | روش حل
! scope="col" width="400px" | پاسخ کلی
|-
! colspan="3" | معادلات قابل تفکیک
|-
| مرتبهٔ اول (جداپذیر نسبت به ''x'' و ''y'')

<math> P_1(x)Q_1(y) + P_2(x)Q_2(y)\,\frac{dy}{dx} = 0 \,\!</math>

<math> P_1(x)Q_1(y)\,dx + P_2(x)Q_2(y)\,dy = 0 \,\!</math>
|| جداسازی متغیرها(تقسیم کردن طرفین بر ''P''<sub>2</sub>''Q''<sub>1</sub>).
|| <math> \int^x \frac{P_1(\lambda)}{P_2(\lambda)}\,d\lambda + \int^y \frac{Q_2(\lambda)}{Q_1(\lambda)}\,d\lambda = C \,\!</math>
|-
| مرتبهٔ اول، جداپذیر نسبت به ''x''
<math>\frac{dy}{dx} = F(x)\,\!</math>

<math>dy= F(x) \, dx\,\!</math>
||انتگرال‌گیری مستقیم
|| <math>y= \int^x F(\lambda) \, d\lambda + C \,\!</math>
|-
| مرتبه اول، خودگردان و جداپذیر نسبت به ''y''

<math>\frac{dy}{dx} = F(y)\,\!</math>

<math>dy= F(y) \, dx\,\!</math>
|| [[جداسازی متغیرها]] ( تقسیم کردن بر ''F'')
|| <math>x=\int^y \frac{d\lambda}{F(\lambda)}+C\,\!</math>
|-
| مرتبه اول، جداپذیر نسبت به ''x'' و ''y''

<math>P(y)\frac{dy}{dx} + Q(x)= 0\,\!</math>

<math>P(y)\,dy + Q(x)\,dx =0\,\!</math>
|| انتگرال‌گیری سراسری
|| <math>\int^y P(\lambda)\,{d\lambda} + \int^x Q(\lambda)\,d\lambda = C\,\!</math>
|-
! colspan="3"| معادلات مرتبهٔ اول عمومی
|-
| مرتبه اول، همگن

<math>\frac{dy}{dx} = F \left( \frac{y}{x} \right ) \,\!</math>
|| قرار دادن ''y = ux''و سپس حل کردن با جداسازی متغیرها نسبت به ''u'' و ''x''
|| <math> \ln (Cx) = \int^{y/x} \frac{d\lambda}{F(\lambda) - \lambda} \, \! </math>
|-
| مرتبهٔ اول، قابل جداسازی

<math> yM(xy) + xN(xy)\,\frac{dy}{dx} = 0 \,\!</math>

<math> yM(xy)\,dx + xN(xy)\,dy = 0 \,\!</math>

|| جداسازی متغیرها (تقسیم کردن بر ''xy'')
||
<math> \ln (Cx) = \int^{xy} \frac{N(\lambda)\,d\lambda}{\lambda [N(\lambda)-M(\lambda)] } \,\!</math>

اگر ''N'' = ''M''، آن‌گاه پاسخ برابر با ''xy = C'' است.
|-
| معادلهٔ کامل، مرتبهٔ اول

<math> M(x,y) \frac{dy}{dx} + N(x,y) = 0 \,\!</math>

<math> M(x,y)\,dy + N(x,y)\,dx = 0 \,\!</math>

که در آن <math> \frac{\partial M}{\partial x} = \frac{\partial N}{\partial y} \, \! </math>

|| انتگرال‌گیری سراسری
|| <math> \begin{align}
F(x,y) & = \int^y M(x,\lambda)\,d\lambda + \int^x N(\lambda,y)\,d\lambda \\
 & + Y(y) + X(x) = C 
\end{align} \,\!</math>

که در آن {{چر}}''Y''(''y''){{چر}} و {{چر}}''X''(''x''){{چر}} توابعی از انتگرال‌ها هستند (نه مقادیر ثابت) که به گونه‌ای تعیین می‌شوند تا تابع نهایی {{چر}}n ''F''(''x, y''){{چر}} معادلهٔ اولیه را ارضا کند.
|-
| معادلهٔ غیرکامل، مرتبهٔ اول

<math> M(x,y) \frac{dy}{dx} + N(x,y) = 0 \,\!</math>

<math> M(x,y)\,dy + N(x,y)\,dx = 0 \,\!</math>

که در آن <math> \frac{\partial M}{\partial x} \neq \frac{\partial N}{\partial y} \, \! </math>
|| [[عامل انتگرال‌گیری]] {{چر}}μ(''x, y''){{چر}} که رابطهٔ زیر را برآورده کند:

<math> \frac{\partial (\mu M)}{\partial x} = \frac{\partial (\mu N)}{\partial y} \, \! </math>
|| اگر {{چر}}μ(''x, y''){{چر}} پیدا شود:

<math> \begin{align}
F(x,y) & = \int^y \mu(x,\lambda)M(x,\lambda)\,d\lambda + \int^x \mu(\lambda,y)N(\lambda,y)\,d\lambda \\
& + Y(y) + X(x) = C \\
\end{align} \, \! </math>
|-
! colspan="3"| معادلات عمومی مرتبهٔ دوم
|-
| مرتبه دوم، خودگردان<ref>Further Elementary Analysis, R. Porter, G.Bell & Sons (London), 1978, {{ISBN|0-7135-1594-5|en}}</ref>

<math>\frac{d^2y}{dx^2} = F(y) \,\!</math>
|| معادله را در 2''dy/dx'' ضرب کنید، عبارت زیر را جایگزین کنید: <math>2 \frac{dy}{dx}\frac{d^2y}{dx^2} = \frac{d}{dx}\left(\frac{dy}{dx}\right)^2 \,\!</math> سپس دو بار انتگرال بگیرید.
|| <math> x = \pm \int^y \frac{ d \lambda}{\sqrt{2 \int^\lambda F(\epsilon) \, d \epsilon + C_1}} + C_2 \, \! </math>
|-
! colspan="3"| معادلات خطی تا درجهٔ ''n''ام
|-
| مرتبهٔ اول، ناهمگن، خطی با ضرایب تابعی

<math>\frac{dy}{dx} + P(x)y=Q(x)\,\!</math>

|| عامل انتگرال‌گیری: <math>e^{\int^x P(\lambda)\,d\lambda}</math>
|| <math>y = e^{- \int^x P(\lambda) \, d\lambda}\left[\int^x e^{\int^\lambda P(\epsilon) \, d\epsilon}Q(\lambda) \, {d\lambda} +C \right]</math>
|-
| مرتبهٔ دوم، خطی، ناهمگن، ضرایب ثابت<ref name="MMPE">Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISC_2N 978-0-521-86153-3</ref>

<math>\frac{d^2y}{dx^2} + b\frac{dy}{dx} + cy = r(x)\,\!</math>
|| پاسخ عمومی: با حل معادلهٔ مشخصه به دست می‌آید.

پاسخ ویژه: با حدس زدن تابعی شبیه به تابع ''r'' و جای‌گذاری در معادلهٔ دیفرانسیل به دست می‌آید.
|| <math>y=y_c+y_p</math>

اگر ''b''<sup>2</sup>> 4''c'', آن‌گاه:

<math>y_c=C_1e^{ \left ( -b+\sqrt{b^2 - 4c} \right )\frac{x}{2}} + C_2e^{-\left ( b+\sqrt{b^2 - 4c} \right )\frac{x}{2}}\,\!</math>

اگر ''b''<sup>2</sup> = 4''c''، آن‌گاه:

<math>y_c = (C_1x + C_2)e^{-bx/2}\,\!</math>

اگر ''b''<sup>2</sup> <4''c''، آن‌گاه:

<math> y_c = e^{ -b\frac{x}{2}} \left [ C_1 \sin{\left ( \sqrt{\left | b^2-4c \right |}\frac{x}{2} \right )} + C_2\cos{\left ( \sqrt{\left | b^2-4c \right |}\frac{x}{2} \right )} \right ]  \,\!</math>
|-
|درجهٔ ''n''ام، خطی، ناهمگن با ضرایب ثابت

<math> \sum_{j=0}^n b_j \frac{d^j y}{dx^j} = r(x)\,\!</math>
|| تایع مکمل ''y<sub>c</sub>'': فرض کنید ''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>، با جایگزین و حل کردن چندجمله‌ای نسبت به α توابع ناوابستهٔ خطی <math>e^{\alpha_j x}</math> را پیدا کنید.

پاسخ ویژه: با حدس زدن تابعی شبیه به تابع ''r'' و جای‌گذاری در معادلهٔ دیفرانسیل به دست می‌آید.

|| <math>y=y_c+y_p</math>

از آن‌جا که α<sub>''j''</sub> جواب‌های یک چندجمله‌ای از درجهٔ ''n'' است،{{سخ}}<math> \prod_{j=1}^n \left ( \alpha - \alpha_j \right ) = 0 \,\!</math>، پس:{{سخ}}

برای α<sub>''j''</sub> های متمایز:

<math> y_c = \sum_{j=1}^n C_j e^{\alpha_j x} \,\!</math>

برای هر ریشهٔ α<sub>''j''</sub> که ''k<sub>j</sub>'' بار تکرار شده‌است:

<math> y_c = \sum_{j=1}^n \left( \sum_{\ell=1}^{k_j} C_\ell x^{\ell-1}\right )e^{\alpha_j x} \,\!</math>

|}

== منابع ==
{{پانویس}}
{{آنالیز-پاورقی}}
{{موضوعات سامانه‌های پیچیده}}
{{ریاضیات صنعتی و کاربردی}}
[[رده:حساب دیفرانسیل]]
[[رده:معادلات دیفرانسیل معمولی]]