📝 题目
4．验证： （1）$y=C_{1} \mathrm{e}^{x}+C_{2} \mathrm{e}^{2 x}+\frac{1}{12} \mathrm{e}^{5 x}$（ $C_{1}, C_{2}$ 是任意常数）是方程 $y^{\prime \prime}-3 y^{\prime}+2 y=\mathrm{e}^{5 x}$ 的通解； （2）$y=C_{1} \cos 3 x+C_{2} \sin 3 x+\frac{1}{32}(4 x \cos x+\sin x) \quad\left(C_{1}, C_{2}\right.$ 是任意常数）是方程 $y^{\prime \prime}+9 y=x \cos x$ 的通解； （3）$y=C_{1} x^{2}+C_{2} x^{2} \ln x$（ $C_{1}, C_{2}$ 是任意常数）是方程 $x^{2} y^{\prime \prime}-3 x y^{\prime}+4 y=0$ 的通解； （4）$y=C_{1} x^{5}+\frac{C_{2}}{x}-\frac{x^{2}}{9} \ln x\left(C_{1}, C_{2}\right.$ 是任意常数）是方程 $x^{2} y^{\prime \prime}-3 x y^{\prime}-5 y=x^{2} \ln x$ 的通解； （5）$y=\frac{1}{x}\left(C_{1} \mathrm{e}^{x}+C_{2} \mathrm{e}^{-x}\right)+\frac{\mathrm{e}^{x}}{2}\left(C_{1}, C_{2}\right.$ 是任意常数）是方程 $x y^{\prime \prime}+2 y^{\prime}-x y=\mathrm{e}^{x}$ 的通解； （6）$y=C_{1} \mathrm{e}^{x}+C_{2} \mathrm{e}^{-x}+C_{3} \cos x+C_{4} \sin x-x^{2}$（ $C_{1}, C_{2}, C_{3}, C_{4}$ 是任意常数）是方程 $y^{(4)}-y=x^{2}$ 的通解．
💡 答案与解析
[AI解答]
[AI解答]
我们逐小题验证所给函数是否为对应微分方程的通解。验证方法：将函数代入方程，检查是否满足方程，并确认自由常数个数等于方程阶数。
---
### （1） 方程： $$ y'' - 3y' + 2y = e^{5x} $$ 给定解： $$ y = C_1 e^{x} + C_2 e^{2x} + \frac{1}{12} e^{5x} $$ 先求齐次解部分：特征方程 $$ r^2 - 3r + 2 = 0 \implies r_1=1,\ r_2=2 $$ 齐次通解为 $C_1 e^{x} + C_2 e^{2x}$，正确。 再验证特解：设 $y_p = A e^{5x}$，代入： $$ y_p' = 5A e^{5x},\quad y_p'' = 25A e^{5x} $$ $$ 25A e^{5x} - 15A e^{5x} + 2A e^{5x} = (12A) e^{5x} = e^{5x} \implies A = \frac{1}{12} $$ 特解正确，所以是通解。 难度：★☆☆☆☆
---
### （2） 方程： $$ y'' + 9y = x \cos x $$ 给定解： $$ y = C_1 \cos 3x + C_2 \sin 3x + \frac{1}{32}(4x \cos x + \sin x) $$ 齐次特征方程： $$ r^2 + 9 = 0 \implies r = \pm 3i $$ 齐次通解为 $C_1 \cos 3x + C_2 \sin 3x$，正确。 验证特解：设 $y_p = (Ax + B)\cos x + (Cx + D)\sin x$，代入方程可解得系数，此处直接验证给定形式： 计算 $$ y_p = \frac{4x\cos x + \sin x}{32} $$ 求导： $$ y_p' = \frac{4\cos x - 4x\sin x + \cos x}{32} = \frac{5\cos x - 4x\sin x}{32} $$ $$ y_p'' = \frac{-5\sin x - 4\sin x - 4x\cos x}{32} = \frac{-9\sin x - 4x\cos x}{32} $$ 代入： $$ y_p'' + 9y_p = \frac{-9\sin x - 4x\cos x}{32} + \frac{36x\cos x + 9\sin x}{32} = \frac{32x\cos x}{32} = x\cos x $$ 成立。因此是通解。 难度：★★☆☆☆
---
### （3） 方程： $$ x^2 y'' - 3x y' + 4y = 0 $$ 给定解： $$ y = C_1 x^2 + C_2 x^2 \ln x $$ 这是欧拉方程，令 $y = x^r$，代入得： $$ r(r-1) - 3r + 4 = r^2 - 4r + 4 = (r-2)^2 = 0 $$ 重根 $r=2$，通解为 $x^2(C_1 + C_2 \ln x)$，完全一致。 难度：★☆☆☆☆
---
### （4） 方程： $$ x^2 y'' - 3x y' - 5y = x^2 \ln x $$ 给定解： $$ y = C_1 x^5 + \frac{C_2}{x} - \frac{x^2}{9} \ln x $$ 齐次部分：特征方程 $$ r(r-1) - 3r - 5 = r^2 - 4r - 5 = (r-5)(r+1)=0 $$ 根为 $r=5,\ r=-1$，齐次通解 $C_1 x^5 + C_2 x^{-1}$，正确。 特解验证：设 $y_p = A x^2 \ln x$，代入： $$ y_p' = 2A x \ln x + A x,\quad y_p'' = 2A \ln x + 3A $$ 代入方程： $$ x^2(2A\ln x + 3A) - 3x(2A x \ln x + A x) - 5A x^2 \ln x $$ 化简： $$ (2A - 6A - 5A)x^2 \ln x + (3A - 3A)x^2 = (-9A)x^2 \ln x $$ 令等于 $x^2 \ln x$，得 $A = -\frac{1}{9}$，与给定一致。 难度：★★☆☆☆
---
### （5） 方程： $$ x y'' + 2y' - x y = e^x $$ 给定解： $$ y = \frac{1}{x}(C_1 e^{x} + C_2 e^{-x}) + \frac{e^x}{2} $$ 齐次部分：令 $u = xy$，可化为常系数，这里直接验证齐次解形式： 设 $y = \frac{e^{kx}}{x}$，代入齐次方程可得 $k^2 - 1 = 0$，所以 $k = \pm 1$，齐次通解正确。 特解：设 $y_p = A e^x$，代入： $$ y_p' = A e^x,\quad y_p'' = A e^x $$ $$ x A e^x + 2A e^x - x A e^x = 2A e^x = e^x \implies A = \frac12 $$ 所以是通解。 难度：★★☆☆☆
---
### （6） 方程： $$ y^{(4)} - y = x^2 $$ 给定解： $$ y = C_1 e^{x} + C_2 e^{-x} + C_3 \cos x + C_4 \sin x - x^2 $$ 齐次特征方程： $$ r^4 - 1 = (r^2-1)(r^2+1)=0 \implies r = \pm1,\ \pm i $$ 齐次通解正确。 特解：设 $y_p = Ax^2 + Bx + C$，代入： $$ y_p^{(4)} = 0,\quad -y_p = -Ax^2 - Bx - C = x^2 $$ 得 $A = -1,\ B=0,\ C=0$，即 $-x^2$，与给定一致。 难度：★★☆☆☆
---
**最终难度评级**： （1）★☆☆☆☆ （2）★★☆☆☆ （3）★☆☆☆☆ （4）★★☆☆☆ （5）★★☆☆☆ （6）★★☆☆☆