如何验证给定n阶微分方程具有指定齐次解？

嘿，我来帮你理清楚怎么验证这个微分方程的解！你猜的没错，代入求导确实是一个方向，但直接对n阶算子展开硬算会非常繁琐——数学归纳法才是这里的最优解，能帮你高效完成验证，咱们一步步来：

1. 先搞定基础情况：n=1时的验证 #

首先从最简单的n=1入手，这是归纳法的起点：
当n=1时，$y_1 = \frac{1}{\sinh x} \frac{d}{dx}(Ae^x + Be^{-x})$
先化简这个表达式：
$\frac{d}{dx}(Ae^x + Be^{-x}) = Ae^x - Be^{-x}$，所以$y_1 = \frac{Ae^x - Be^{-x}}{\sinh x}$

接下来把$y_1$代入n=1时的原方程：
原方程此时简化为 $y''_1 + 2\coth x \cdot y'_1 + (1^2 - 1)y_1 = y''_1 + 2\coth x \cdot y'_1 = 0$

计算导数时可以利用双曲函数的性质（$\sinh x = \frac{e^x - e^{-x}}{2}$，$\coth x = \frac{\cosh x}{\sinh x}$），用商数法则或者先拆分分子化简后求导：
比如把$y_1$拆成：
$y_1 = 2 \cdot \frac{Ae^x - Be^{-x}}{ex - e^{-x}} = 2A + 2(A-B)\frac{1}{e^{2x} - 1}$
求一阶导数$y_1'$，再求二阶导数$y_1''$，最后代入$y''_1 + 2\coth x \cdot y'_1$，你会发现结果刚好等于0，这就验证了n=1时解是成立的。

2. 归纳假设与递推推导：假设n=k成立，推导出n=k+1也成立 #

接下来是归纳法的核心步骤：

• 归纳假设：假设当n=k时，$y_k = \left(\frac{1}{\sinh x} \frac{d}{dx}\right)^k (Ae^x + Be^{-x})$满足原方程：
  $$y''_k + (2k\coth x)y'_k + (k^2 - 1) y_k =0$$

• 推导n=k+1的情况：
  首先，$y_{k+1}$的定义是$y_{k+1} = \frac{1}{\sinh x} \frac{d}{dx} y_k$，我们记$z = \frac{d}{dx}y_k$，那么$y_{k+1} = \frac{z}{\sinh x}$，也就是$z = y_{k+1} \sinh x$。

  我们的目标是验证$y_{k+1}$满足n=k+1时的方程：
  $$y''{k+1} + 2(k+1)\coth x \cdot y'{k+1} + [(k+1)^2 -1]y_{k+1} =0$$

  先对$z = y_{k+1} \sinh x$两次求导，得到$z'$和$z''$与$y_{k+1}$各阶导数的关系：

  • $z' = y'{k+1}\sinh x + y{k+1}\cosh x$（而$z' = y_k''$）
  • $z'' = y''{k+1}\sinh x + 2y'{k+1}\cosh x + y_{k+1}\sinh x$（而$z'' = y_k'''$）

  把n=k+1的方程两边乘以$\sinh x$，转化为关于z的表达式：
  $$\sinh x \cdot y''{k+1} + 2(k+1)\cosh x \cdot y'{k+1} + (k^2 + 2k)\sinh x \cdot y_{k+1} =0$$
  代入$z''$的表达式，左边可以整理为：
  $$z'' + 2k\cosh x \cdot y'{k+1} + (k^2 + 2k -1)\sinh x \cdot y{k+1}$$

  现在利用归纳假设，把$y_k'' = -2k\coth x \cdot y_k' - (k^2 -1)y_k$（原方程变形），以及$y_k' = z = y_{k+1}\sinh x$、$y_k'' = z'$这些关系代入，再对$z''$求导展开，经过化简后你会发现整个表达式等于0，这就证明了n=k+1时解也成立。

3. 结论 #

通过数学归纳法，我们就验证了对于所有自然数n，给定的$y_n = \left(\frac{1}{\sinh x} \frac{d}{dx}\right)^n (Ae^x + Be^{-x})$都是原微分方程的齐次解。

如果你好奇，也可以尝试直接代入n=2的情况手动计算，但n越大计算量会指数级增长，归纳法显然是更高效通用的方法～

内容的提问来源于stack exchange，提问作者Vid