关于将复值函数边值问题分解为实部与虚部求解的合法性问询

首先得说，你的问题一点都不蠢！第一次接触复值微分方程的时候，因为习惯了实值的情况，突然切换到复函数确实会觉得有点陌生，有这样的疑问太正常了。

咱们来一步步理清楚为什么这种拆分是完全合法且可靠的：

首先把原问题的复值函数拆解开：
设 $y(x) = y_{\text{re}}(x) + i y_{\text{im}}(x)$，$f(x) = f_{\text{re}}(x) + i f_{\text{im}}(x)$，这里的 $y_{\text{re}}, y_{\text{im}}, f_{\text{re}}, f_{\text{im}}$ 都是关于实变量 $x$ 的实值函数。

把它们代入原方程：
$$
-y''(x) = f(x)
$$
左边展开后是 $- (y_{\text{re}}''(x) + i y_{\text{im}}''(x))$，右边是 $f_{\text{re}}(x) + i f_{\text{im}}(x)$。

根据复数相等的充要条件：两个复数相等当且仅当它们的实部和虚部分别相等，所以我们可以直接把原复值方程拆成两个独立的实值边值问题：

• 实部对应的系统：
  $$
  -y_{\text{re}}''(x) = f_{\text{re}}(x), \quad y_{\text{re}}(0) = 0, \quad y_{\text{re}}(1) = 0
  $$
• 虚部对应的系统：
  $$
  -y_{\text{im}}''(x) = f_{\text{im}}(x), \quad y_{\text{im}}(0) = 0, \quad y_{\text{im}}(1) = 0
  $$

接下来要确认的是：分别解出这两个实值问题的解后，把它们组合成 $y(x) = y_{\text{re}}(x) + i y_{\text{im}}(x)$，是不是原复值问题的解？

答案是肯定的，理由很简单：

1. 微分算子 $\frac{d^2}{dx2}$ 是线性算子，它对复值函数的微分可以直接拆成对实部和虚部的微分，也就是说 $(y_{\text{re}} + i y_{\text{im}})'' = y_{\text{re}}'' + i y_{\text{im}}''$，这个性质是成立的。
2. 把组合后的 $y(x)$ 代入原方程左边：$-y''(x) = -y_{\text{re}}'' - i y_{\text{im}}''$，而因为 $y_{\text{re}}$ 满足实部方程，$-y_{\text{re}}'' = f_{\text{re}}$；$y_{\text{im}}$ 满足虚部方程，$-y_{\text{im}}'' = f_{\text{im}}$，所以左边就等于 $f_{\text{re}} + i f_{\text{im}} = f(x)$，完全符合原方程。
3. 边界条件方面，$y(0) = y_{\text{re}}(0) + i y_{\text{im}}(0) = 0 + 0i = 0$，同理 $y(1)=0$，也满足原问题的边界条件。

总结一下：拆分实部和虚部来求解是处理复值线性微分方程的标准技巧之一，完全合法，而且组合后的解一定是原问题的解，放心用就好啦！

备注：内容来源于stack exchange，提问作者anon.for