将PDE转化为ODE求解时积分常数的自变量确定逻辑疑问

别担心，新手刚接触偏微分方程（PDE）的时候，很容易被这种“积分常数为啥是函数”的问题搞懵，我一步步给你拆解清楚：

首先看你第一步的推导：当你把PDE $U_{yy}=U_y$ 转化为 $Z_y = Z$（这里 $Z=U_y$），这个方程是关于y的常微分方程（ODE）——注意，这里的x是当作“固定参数”来看的，因为我们现在只对y求偏导，x暂时不参与微分运算。

那当你对y积分 $\int \frac{1}{Z}dZ = \int dy$ 时，得到 $\ln|Z| = y + f(x)$，这里为啥是 $f(x)$ 而不是常数C或者 $f(y)$？

• 要是写常数C的话，就相当于默认这个积分常数和x无关，但PDE的解是关于x和y的二元函数，x的变化应该能影响解的形式，所以这个“常数”其实是可以随x任意变化的，所以用 $f(x)$ 来表示依赖于x的任意函数。
• 绝对不能是 $f(y)$！因为如果是 $f(y)$，那你对y求导的话，左边是 $\frac{Z_y}{Z}$，右边会变成 $1 + f’(y)$，这就和原方程 $Z_y=Z$ 矛盾了——原方程右边只有Z，没有额外的 $f’(y)$ 项，所以这个积分常数必须和y无关，只能是x的函数。

接下来看第二步积分：你得到 $U_y = f(x)e^y$，然后对y积分求U。这时候同样的逻辑，我们还是对y积分，x依旧是固定参数，所以积分出来的“常数”必须是不依赖于y的——也就是只能是x的函数 $g(x)$，而不是你写的 $g(y)$！

• 要是写成 $g(y)$，那对y求导的话，$U_y$ 就会变成 $f(x)e^y + g’(y)$，这和我们之前得到的 $U_y = f(x)e^y$ 矛盾，所以这里的积分常数只能是和x有关的函数 $g(x)$。

总结一下核心逻辑：在解PDE的过程中，当你对某个自变量（比如这里的y）积分时，其他自变量（比如x）都被当作参数处理，所以积分常数可以是这些参数的任意函数，但绝对不能是正在积分的那个自变量的函数——否则求导后就会多出额外的项，和原方程矛盾。

备注：内容来源于stack exchange，提问作者KenN