如何证明含傅里叶级数的数学物理结果推导的合理性？

阿华AIGC实验室

2026-5-19

分离变量法解数学物理方程后，如何补全推导的合理性证明？

哈哈，这个问题我太有共鸣了！咱们用分离变量法推导热方程、波动方程的时候，总是先“先斩后奏”——假设解能拆成空间和时间函数的乘积$u(x,t)=X(x)T(t)$，还默认解足够光滑能随便逐项求导、取极限，但推导完傅里叶级数形式的解后，确实得把这些操作的合理性给补回来。我平时是这么一步步做的：

1. 先明确“正则性假设”到底对应哪些具体条件

咱们一开始假设解是$C^2$（二阶连续可导）甚至更高阶光滑的，还能做变量分离，这些其实是**“试探性假设”**——先假设解有这些性质，推导出级数形式的候选解，之后再反过来验证这个候选解确实满足这些正则性，甚至可能比假设的更强。

2. 验证级数解的收敛性与逐项操作的合法性

这是最核心的一步，得针对不同方程的级数解，分情况证明收敛性：

热方程例子：比如齐次Dirichlet边界下的热方程解$u(x,t)=\sum_{n=1}^\infty b_n e^{-n2\pi^2 t/L^2}\sin(n\pi x/L)$
- 一致收敛验证：当$t\geq t_0>0$时，指数项$e^{-n2\pi^2 t/L^2}$衰减得极快，用魏尔斯特拉斯M判别法，找个收敛的优级数（比如$\sum |b_n| e^{-n2\pi^2 t_0/L^2}$，只要初始条件$f(x)$是平方可积的，$b_n$就有界，这个优级数肯定收敛），所以级数在$t\geq t_0$时一致收敛，这就保证了我们可以放心地逐项取极限（比如$t\to0^+$时趋近初始条件）。
- 逐项求导验证：要证明对$t$求一阶导、对$x$求二阶导后的级数依然收敛。比如对$t$求导得到$\sum -b_n \frac{n^2\pi2}{L^2} e^{-n2\pi^2 t/L^2}\sin(n\pi x/L)$，当$t\geq t_0>0$时，$n^2 e^{-n2\pi^2 t_0/L^2}$是有上界的（指数衰减比多项式增长快太多了），再用M判别法就能证明逐项求导后的级数一致收敛，这就说明我们分离变量时对$u$求导、拆分的操作是合法的。
波动方程例子：波动方程的级数解是$\sum (a_n\cos(n\pi ct/L)+b_n\sin(n\pi ct/L))\sin(n\pi x/L)$，这时候要验证的是级数本身以及一阶、二阶偏导后的级数在合适的区间内收敛，比如用狄利克雷判别法（因为三角函数部分有界，系数部分满足收敛条件）。

3. 验证候选解满足原方程和边界条件

边界条件：比如齐次Dirichlet边界$u(0,t)=u(L,t)=0$，每个级数项$\sin(n\pi x/L)$在$x=0,L$处都为0，加上级数一致收敛，直接代入边界点就能验证满足条件。
原方程：因为逐项求导后的级数一致收敛，所以把级数代入原方程（比如热方程$\partial_t u - \Delta u = 0$），每一项都满足分离变量时得到的$T'(t)X(x) - X''(x)T(t)=0$，所以整个级数代入后左边就是0，完美满足原方程。

4. 处理初始条件的收敛性（区分强收敛和弱收敛）

如果初始条件$f(x)$只是平方可积（属于$L^{2$空间），那它的傅里叶级数是在$L}2$意义下收敛到$f(x)$，而不是一致收敛。这时候要证明当$t\to0^{+$时，$u(x,t)$在$L}2$意义下趋近于$f(x)$：
用帕塞瓦尔恒等式计算$|u(\cdot,t)-f(\cdot)|_{L^2}2=\sum |b_n|^2 (e^{-n2\pi^2 t/L^2}-1)2$，当$t\to0$时每一项都趋近于0，再用控制收敛定理（因为有收敛的优级数$\sum 4|b_n|^{2$，而帕塞瓦尔恒等式告诉我们这个和是有限的），就能证明这个范数的极限为0，也就是初始条件在$L}2$意义下成立。