Basic微分方程
What is
形如\(F(x,y,y',...,y^{(n)})=0\)
求\(y=f(x,y)\)
階:方程中導數的最高階數
解:y=y(x)
通解:\(y=y(x,C_i)\),當參數C有n個(n為方程的階)時,為通解
特解:略
變量可分離型求解
形如\(y'=f(x)g(y)\)
解法:
轉化為變量可分離型:
形如\(\frac{dy}{dx}=f(ax+by+c)\)
解法:
齊次微分方程:
形如\(\frac{dy}{dx}=\varphi(\frac{y}{x})\)
解法:
一階線性微分方程
形如\(y'+p(x)y=q(x)\)
Key:\(p(x)\)的處理
Key:\((e^{\int p(x)dx})'=p(x)e^{\int p(x)dx}\)
BRN方程
Key:Assign $z=y^{(1-n)}
Advanced更高階的微分方程處理
解的結構
齊次:
其中y1y2為互不相關的通解.
非齊次:
齊次的通解+非齊次的特解
基本情況的處理
-
有y'',y',x的:Assign\(u=y'\)
-
有y'',y',y的:Assign\(p=y',y''=\frac{dy}{dx}\cdot\frac{dp}{dy}=p\frac{dp}{dy}\)
一般情況的處理
齊次
形如
有特征方程\(\lambda^2+p\lambda+q=0\)
針對該方程有幾個處理方式:
-
\(\lambda\)有不同實數解時:通解為\(y=C_1e^{\lambda_1x}+C_2e^{\lambda_2x}\)
-
有重根時\(y=(C_1+C_2x)e^{\lambda x}\)
-
有虛數根\(\alpha\pm\beta i\)時\(y=e^{\alpha x}(C_1\sin\beta x+C_2\cos\beta x)\)
非齊次的特解
對於形如\(e^\lambda x\sum_m a_ix^i\)的附加項,有特解形式\(y^*=x^k\sum_m p_ix^ie^{\lambda x}\)
對於形如\(e^{\lambda x}(\sum_m a_ix^i\cos wx+\sum_n b_ix^i\sin wx)\)的,有特解形式\(y^*=x^k(\sum_{max(m,n)} u_ix^i\cos wx+\sum_{max(m,n)} v_ix^i\sin wx)\)
解釋:
-
k為重疊系數,即\(\lambda\)和特征方程的根有幾個重疊的.
-
\(\sum_m a_ix^i\)為最高次數為m的多項式.
-
\(p_i,u_i,v_i\)是待定系數,需要帶入方程求.