2.3.2 Sobolev 空间体系 2.3.2 Sobolev 空间体系:从定义到数值实现的工程化路径 你有没有遇到过这样的困境?——在求解一个看似“光滑”的偏微分方程(PDE)时,用经典方法构造的解在边界附近剧烈震荡,甚至根本不存在连续可导的函数满足所有条件;或者在用有限元软件模拟裂纹尖端应力场时,网格加密后解不收敛,残差在 $L^2$ 意义下趋于零,但在 $H^1$ 范数下却发散;又或者,在训练物理信息神经网络(PINN)求解含奇异性源项的扩散方程时,损失函数中梯度爆炸反复出现,而你翻遍文献只看到一句轻描淡写的“考虑弱解”…… 这些不是计算误差,也不是代码 bug,而是数学建模与数值实现之间一道真实的鸿沟。