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

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

${\displaystyle m\frac{{\mathrm{d}}^{2}x(t)}{\mathrm{d}{t}^2}=F(x(t)),}$

در حالت کلی، F به مکان ذره ‎(x(t))‎ در زمان t وابسته است، در نتیجه تابع ناشناختهٔ ‎ x(t)‎ در هر دو طرف معادله دیده می‌شود.

در این بخش فرض می‌کنیم که y متغیر وابسته و x متغیر مستقل است. در نتیجه ‎y=y(x)‎ تابعی ناشناخته از x است. نمادهای مختلفی برای مشتق‌گیری به کار می‌رود که بستگی به انتخاب نویسنده و نوع کاربرد آن دارد. در این نوشتار از نمادگذاری لایب‌نیتس (‎dy/dx،dy/dx،...dy/dx‎) در نمایش دیفرانسیل‌ها و انتگرال‌گیری و از نمادگذاری نیوتن و لاگرانژ(‎y′،y′′، ... y‎) برای نمایش فشردهٔ مشتق‌گیری استفاده می‌شود.

تعریف عمومی معادلهٔ دیفرانسیل معمولی

فرض کنید F تابعی معین از x، y و مشتقات y باشد. در این صورت معادله‌ای به فرم زیر:

${\displaystyle F\left(x,y,y^{\prime },\cdots y^{(n-1)}\right)=y^{(n)}}$

یک معادلهٔ دیفرانسیل معمولی صریح از مرتبهٔ n نامیده می‌شود.
در حالت کلی‌تر، فرم ضمنی معادلهٔ دیفرانسیل معمولی از مرتبهٔ n به شکل زیر در می‌آید:

${\displaystyle F\left(x,y,y^{\prime },y^{″},\cdots ,y^{(n)}\right)=0}$

دسته‌بندی‌های زیر برای معادلات دیفرانسیل معمولی وجود دارد:
خودگردان یا مستقل:(به انگلیسی: Autonomous) معادلهٔ دیفرانسیلی که به x وابسته نداشته باشد، خودگردان نامیده می‌شود.
خطی: یک معادلهٔ دیفرانسیل خطی نامیده می‌شود اگر بتوان F را به صورت یک ترکیب خطی از مشتقات y نوشت:

${\displaystyle y^{(n)}=\sum _{i=0}^{n-1}{a}_i(x)y^{(i)}+r(x)}$

که در آن ‎a_i(x)‎ و ‎r(x)‎ توابعی پیوسته از x هستند. معادلات غیرخطی را نمی‌توان به این فرم نوشت.
تابع ‎r(x)‎ تابع ورودی نامیده می‌شود که دو دسته‌بندی مهم را برای این دسته از معادلات شکل می‌دهد:
همگن: اگر ‎r(x)=0‎ باشد، معادله را همگن می‌نامند. برای چنین معادله‌ای y=0 یک جواب بدیهی به شمار می‌آید. جواب یک معادلهٔ خطی همگن، تابع مکمل نامیده می‌شود که با y_c نمایش داده می‌شود.
ناهمگن: ‎r(x) ≠ 0 ‎ معادله را ناهمگن می‌نامند. چنین معادله‌ای علاوه بر پاسخ عمومی، یک پاسخ خصوصی هم دارد که با y_p بیان می‌شود. در حالت کلی جواب یک معادلهٔ دیفرانسیل معمولی را می‌توان به فرم y = y_c + y_p نوشت.

برخی از معادلات دیفرانسیل جواب‌های بسته و دقیق دارند. چند دسته از این معادلات در این بخش معرفی می‌شوند. در جدول زیر P، Q، M و N توابعی انتگرال‌پذیر از x و y هستند. b و c ثوابتی معلوم و حقیقی و C₁، C₂ و ... ثوابتی اختیاری و در حالت کلی مختلط هستند.
در راه‌حل‌های انتگرالی λ و ε متغیرهای اختیاری انتگرال‌گیری هستند و عبارت F(λ)dλ∫ به معنای انتگرال‌گیری از تابع ‎F(λ)‎ نسبت به متغیر λ است و پس از انتگرال‌گیری می‌توان به جای λ، از متغیر x استفاده کرد.

معادلهٔ دیفرانسیل	روش حل	پاسخ کلی
معادلات قابل تفکیک
مرتبهٔ اول (جداپذیر نسبت به x و y) ${\displaystyle P_1(x)Q_1(y)+P_2(x)Q_2(y)\frac{dy}{dx}=0}$ ${\displaystyle P_1(x)Q_1(y)dx+P_2(x)Q_2(y)dy=0}$	جداسازی متغیرها(تقسیم کردن طرفین بر P2Q1).	${\displaystyle {\int }^x\frac{P_1(\lambda )}{P_2(\lambda )}d\lambda +{\int }^y\frac{Q_2(\lambda )}{Q_1(\lambda )}d\lambda =C}$
مرتبهٔ اول، جداپذیر نسبت به x ${\displaystyle \frac{dy}{dx}=F(x)}$ ${\displaystyle dy=F(x)dx}$	انتگرال‌گیری مستقیم	${\displaystyle y={\int }^{x}F(\lambda )d\lambda +C}$
مرتبه اول، خودگردان و جداپذیر نسبت به y ${\displaystyle \frac{dy}{dx}=F(y)}$ ${\displaystyle dy=F(y)dx}$	جداسازی متغیرها ( تقسیم کردن بر F)	${\displaystyle x={\int }^y\frac{d\lambda }{F(\lambda )}+C}$
مرتبه اول، جداپذیر نسبت به x و y ${\displaystyle P(y)\frac{dy}{dx}+Q(x)=0}$ ${\displaystyle P(y)dy+Q(x)dx=0}$	انتگرال‌گیری سراسری	${\displaystyle {\int }^{y}P(\lambda )d\lambda +{\int }^{x}Q(\lambda )d\lambda =C}$
معادلات مرتبهٔ اول عمومی
مرتبه اول، همگن ${\displaystyle \frac{dy}{dx}=F\left(\frac{y}{x}\right)}$	قرار دادن y = uxو سپس حل کردن با جداسازی متغیرها نسبت به u و x	${\displaystyle \ln (Cx)={\int }^{y/x}\frac{d\lambda }{F(\lambda )-\lambda }}$
مرتبهٔ اول، قابل جداسازی ${\displaystyle yM(xy)+xN(xy)\frac{dy}{dx}=0}$ ${\displaystyle yM(xy)dx+xN(xy)dy=0}$	جداسازی متغیرها (تقسیم کردن بر xy)	${\displaystyle \ln (Cx)={\int }^{xy}\frac{N(\lambda )d\lambda }{\lambda [N(\lambda )-M(\lambda )]}}$ اگر N = M، آن‌گاه پاسخ برابر با xy = C است.
معادلهٔ کامل، مرتبهٔ اول ${\displaystyle M(x,y)\frac{dy}{dx}+N(x,y)=0}$ ${\displaystyle M(x,y)dy+N(x,y)dx=0}$ که در آن ${\displaystyle \frac{\mathrm{\partial }M}{\mathrm{\partial }x}=\frac{\mathrm{\partial }N}{\mathrm{\partial }y}}$	انتگرال‌گیری سراسری	که در آن ‎Y(y)‎ و ‎X(x)‎ توابعی از انتگرال‌ها هستند (نه مقادیر ثابت) که به گونه‌ای تعیین می‌شوند تا تابع نهایی ‎n F(x, y)‎ معادلهٔ اولیه را ارضا کند.
معادلهٔ غیرکامل، مرتبهٔ اول ${\displaystyle M(x,y)\frac{dy}{dx}+N(x,y)=0}$ ${\displaystyle M(x,y)dy+N(x,y)dx=0}$ که در آن ${\displaystyle \frac{\mathrm{\partial }M}{\mathrm{\partial }x}\ne \frac{\mathrm{\partial }N}{\mathrm{\partial }y}}$	عامل انتگرال‌گیری ‎μ(x, y)‎ که رابطهٔ زیر را برآورده کند: ${\displaystyle \frac{\mathrm{\partial }(\mu M)}{\mathrm{\partial }x}=\frac{\mathrm{\partial }(\mu N)}{\mathrm{\partial }y}}$	اگر ‎μ(x, y)‎ پیدا شود:
معادلات عمومی مرتبهٔ دوم
مرتبه دوم، خودگردان ${\displaystyle \frac{d^{2}y}{d{x}^2}=F(y)}$	معادله را در 2dy/dx ضرب کنید، عبارت زیر را جایگزین کنید: ${\displaystyle 2\frac{dy}{dx}\frac{d^{2}y}{d{x}^2}=\frac{d}{dx}{\left(\frac{dy}{dx}\right)}^2}$ سپس دو بار انتگرال بگیرید.	${\displaystyle x=\pm {\int }^y\frac{d\lambda }{\sqrt{2{\int }^{\lambda }F(ϵ)dϵ+C_1}}+C_2}$
معادلات خطی تا درجهٔ nام
مرتبهٔ اول، ناهمگن، خطی با ضرایب تابعی ${\displaystyle \frac{dy}{dx}+P(x)y=Q(x)}$	عامل انتگرال‌گیری: ${\displaystyle e^{{\int }^{x}P(\lambda )d\lambda }}$	${\displaystyle y=e^{-{\int }^{x}P(\lambda )d\lambda }\left[{\int }^x{e}^{{\int }^{\lambda }P(ϵ)dϵ}Q(\lambda )d\lambda +C\right]}$
مرتبهٔ دوم، خطی، ناهمگن، ضرایب ثابت ${\displaystyle \frac{d^{2}y}{d{x}^2}+b\frac{dy}{dx}+cy=r(x)}$	پاسخ عمومی: با حل معادلهٔ مشخصه به دست می‌آید. پاسخ ویژه: با حدس زدن تابعی شبیه به تابع r و جای‌گذاری در معادلهٔ دیفرانسیل به دست می‌آید.	${\displaystyle y=y_c+y_p}$ اگر b> 4c, آن‌گاه: ${\displaystyle y_c=C_1{e}^{\left(-b+\sqrt{b^2-4c}\right)\frac{x}{2}}+C_2{e}^{-\left(b+\sqrt{b^2-4c}\right)\frac{x}{2}}}$ اگر b = 4c، آن‌گاه: ${\displaystyle y_c=(C_{1}x+C_2)e^{-bx/2}}$ اگر b <4c، آن‌گاه: ${\displaystyle 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]}$
درجهٔ nام، خطی، ناهمگن با ضرایب ثابت ${\displaystyle \sum _{j=0}^n{b}_j\frac{d^{j}y}{d{x}^j}=r(x)}$	تایع مکمل yc: فرض کنید yc = e، با جایگزین و حل کردن چندجمله‌ای نسبت به α توابع ناوابستهٔ خطی ${\displaystyle e^{{\alpha }_{j}x}}$ را پیدا کنید. پاسخ ویژه: با حدس زدن تابعی شبیه به تابع r و جای‌گذاری در معادلهٔ دیفرانسیل به دست می‌آید.	${\displaystyle y=y_c+y_p}$ از آن‌جا که αj جواب‌های یک چندجمله‌ای از درجهٔ n است، ${\displaystyle \prod _{j=1}^n\left(\alpha -{\alpha }_j\right)=0}$ ، پس: برای αj های متمایز: ${\displaystyle y_c=\sum _{j=1}^n{C}_j{e}^{{\alpha }_{j}x}}$ برای هر ریشهٔ αj که kj بار تکرار شده‌است: ${\displaystyle y_c=\sum _{j=1}^n\left(\sum _{\ell =1}^{k_j}{C}_{\ell }{x}^{\ell -1}\right)e^{{\alpha }_{j}x}}$