已知特解的二阶微分方程降阶求解的纠错验证
咱们来一步步梳理这个二阶线性微分方程降阶求解的过程,找出之前的错误,验证最终正确的解法:
问题描述
已知 ( y = e^{2x} ) 是微分方程
$$ (2x+1)y'' - 4(x+1)y' + 4y = 0 $$
的一个解,通过降阶法求线性无关的另一个解,并写出通解。
第一次尝试的错误解法
一开始你假设 ( y = e^{2x}v ),求导的步骤是完全正确的:
\begin{align*}
\dfrac{dy}{dx} &= e^{2x} \dfrac{dv}{dx} + 2 e^{2x} v \
\dfrac{d2y}{dx2} &= e^{2x} \dfrac{d2v}{dx2} + 4 e^{2x} \dfrac{dv}{dx} + 4 e^{2x} v \
\end{align*}
代入原方程化简到一阶方程的过程也没问题,但在求解 ( w = \frac{dv}{dx} ) 的积分时,犯了两个关键错误:
- 处理分式积分时,把 ( \frac{4x}{2x+1} = 2 - \frac{2}{2x+1} ) 代入后,积分结果的系数算错了,错误地写成了 ( \ln{|w|} + 2x - 2\ln{|2x+1|} = c_1 ),这里的系数应该是1而不是2;
- 后续用在线积分计算器得到的积分结果完全错误,导致最终通解偏离正确形式。
对应的错误推导结果:
\begin{align*}
\ln{|w|} + 2x - 2\ln{|2x+1|} &= c_1 \
\ln{ \dfrac{|w|}{(2x+1)^2}} + 2x &= c_1 \
e^{2x}\left( \dfrac{w}{(2x+1)^2}\right) &= c_2 \
w &= c_2(2x+1)^2 e^{2x} \
v &= C_1xe^{2x} + C_2 \
y &= C_1xe^{4x} + C_2e^{2x} \
\end{align*}
这个结果和教材给出的 ( y = c_1e^{2x} + c_2(x+1) ) 完全不符。
第二次尝试的修正(仍有错误)
这次你修正了 ( w ) 的求解,但在积分 ( \int (2x+1)^2 e^{-2x} dx ) 时又出现了错误,得到了错误的 ( v ) 表达式:
\begin{align*}
w &= c_2 (2x+1)^2 e^{-2x} \
v &= c_3e{-2x}(4x2+8x+5) + c_4 \
y &= c_3(4x^2+8x+5) + c_4 e^{2x}\
\end{align*}
显然这个结果还是和教材答案对不上,问题出在积分计算上。
最终正确的解法
这次你终于纠正了所有错误,步骤完全正确,咱们来再理一遍:
- 变量替换与求导:设 ( y = e^{2x}v ),求导得到:
\begin{align*}
\dfrac{dy}{dx} &= e^{2x} \dfrac{dv}{dx} + 2 e^{2x} v \
\dfrac{d2y}{dx2} &= e^{2x} \dfrac{d2v}{dx2} + 4 e^{2x} \dfrac{dv}{dx} + 4 e^{2x} v \
\end{align*} - 代入原方程化简:
将 ( y, y', y'' ) 代入原方程,两边除以 ( e^{2x} ) 后展开化简,最终所有含 ( v ) 的项相互抵消,得到关于 ( w = \frac{dv}{dx} ) 的一阶微分方程:
\begin{align*}
(2x+1)\dfrac{dw}{dx} + 4xw &= 0 \
\end{align*} - 分离变量求解 ( w ):
分离变量得到 ( \dfrac{dw}{w} + \left( \dfrac{4x}{2x+1} \right) dx = 0 ),注意到 ( \dfrac{4x}{2x+1} = 2 - \dfrac{2}{2x+1} ),积分后得到:
\begin{align*}
\ln{|w|} + 2x - \ln{|2x+1|} &= c_1 \
\ln{|w|} &= -2x + \ln{|2x+1|} + c_1 \
w &= c_2 (2x+1) e^{-2x} \
\end{align*} - 积分求 ( v ):
对 ( w = \frac{dv}{dx} = c_2 (2x+1) e^{-2x} ) 用分部积分法计算积分:
设 ( u = 2x+1 ),( dv = e^{-2x}dx ),则 ( du = 2dx ),( v = -\frac{1}{2}e^{-2x} ),分部积分可得:
[
\int (2x+1)e^{-2x}dx = -\frac{1}{2}(2x+1)e^{-2x} + \int e^{-2x}dx = -(x+1)e^{-2x} + C
]
因此:
\begin{align*}
v &= c_3e^{-2x}(x+1) + c_4 \
\end{align*} - 还原得到通解:
因为 ( y = e^{2x}v ),代入后得到:
\begin{align*}
y &= c_3(x+1) + c_4 e^{2x}\
\end{align*}
这个结果和教材给出的 ( y = c_1e^{2x} + c_2(x+1) ) 完全一致,说明这次的解法是正确的!
备注:内容来源于stack exchange,提问作者Bob

