简介：这份文档面向已具备一定COMSOL Multiphysics操作基础、希望突破内置模块限制的仿真用户，系统讲解弱形式这一核心求解机制。内容从物理问题的三种描述方式切入，对比偏微分方程、能量最小化形式与弱形式的差异，并以线弹性结构分析中的Navier方程、胡克定律为例，演示如何将PDE转换为积分形式、构造试函数并理解弹性能泛函，进而延伸至传热、电流传导及化工传质、流体N-S方程等典型场景。资源包共1个doc文件，约695KB，以图文排版整理理论推导与术语标注说明，便于对照COMSOL手册阅读。目前已有1177人学习。读者可借此理解有限元方法的离散化思路与软件内部实现逻辑，掌握用弱形式界面求解复杂多物理场问题的建模能力，也能更顺畅地读懂模型库中的弱形式算例。

1. 弱形式：为什么求解器在后台偷偷把 PDE 换成了积分

打开任意一个仿真模型，点开求解器日志，你会看到一行不起眼的记录：方程系统已组装。多数人以为它组装的是偏微分方程，实际上组装的是弱形式。这个反直觉的事实是理解 COMSOL 的关键——无论你用的是内置的传热模块、结构力学接口，还是手写的经典 PDE 模板，软件在离散之前都会先把方程转成弱形式，再交给有限元去啃。换句话说，弱形式不是高级用户的选修课，而是整个求解链条的底层货币。搞懂它，你才能明白为什么有些边界条件必须用 Lagrange 乘子、为什么对流项会让刚度矩阵失去对称性、为什么网格质量差时解会震荡。这篇拆解从弹性静力学的能量泛函出发，一路推到弱形式的离散实现，把这条黑匣子打开。

2. 三种描述方式：PDE、能量最小化与弱形式到底差在哪

同一个物理问题可以写成三种数学形式，它们不是三个不同的问题，而是同一件事的三副面孔。理解它们的差异，是理解弱形式设计动机的起点。

2.1 强形式要求逐点可微，弱形式只要求积分有意义

偏微分方程形式，也就是强形式，把物理定律写成逐点成立的微分关系。线弹性静力学的 Navier 方程写成张量形式是散度算子作用在应力张量上等于体力。这个式子的隐含要求很苛刻：应力张量必须在每个点上可微，位移场必须二阶可微。真实工程里材料界面两侧弹性模量突变，应力在界面上根本不可微，强形式在这些点上失效。

能量最小化形式换了个角度，把问题写成总势能泛函求极小。弹性能的积分表达式里只出现应变张量的一次项和弹性张量的缩并，对位移场只要求一阶可微。积分把局部的不连续性抹平了，这是积分形式天然的优势。

弱形式走得更远。它把 PDE 乘上一个试函数再积分，通过分部积分把微分算子从待求函数身上转移到试函数身上。Navier 方程的弱形式里，应力张量不再需要求散度，位移场的一阶导数就够用。连续性要求从二阶降到一阶，这就是“弱”字的来历——对解的光滑性要求更弱。

提示：弱形式对试函数的连续性要求同样存在，试函数必须属于某个容许空间，通常要求一阶平方可积。这不是随便什么函数都能拿来当试函数。

2.2 能量法失效的地方，弱形式仍然成立

能量最小化形式直观好用，但它有个硬性前提：问题必须存在一个可最小化的能量泛函。线弹性、稳态传热、静态电流传导都满足这个前提，所以这三类问题在文献里经常用能量法处理。但一旦进入对流主导的领域，能量法就翻车了。

对流-扩散方程里，对流项让方程失去自伴随性，不存在对应的能量泛函。你没法写出一个标量积分，使得它对浓度场求变分能得到原方程。这时候能量法彻底失效，但弱形式依然可以构造：乘试函数、积分、分部积分，照常得到弱形式表达式。代价是离散后的刚度矩阵不再对称，求解器必须用非对称求解策略。

这个差异在 COMSOL 里表现为求解器选择的自动切换。对称问题默认用共轭梯度类方法，非对称问题切到 GMRES 或直接求解器。很多用户抱怨“同样的网格，对流问题算得慢”，根子就在这——矩阵结构变了，求解算法跟着变。

2.3 三种形式的等价性与适用边界

把三种形式的关系理清楚：强形式逐点成立，能量形式全局最小，弱形式积分等效。对于存在能量泛函的问题，弱形式的解和能量最小化的解一致，极值点就是弱解。对于不存在能量泛函的问题，弱形式仍然给出唯一解，但解不再对应任何极值原理，可能对应鞍点。

这张表解释了为什么 COMSOL 选择弱形式作为统一入口：它是三种形式里适用面最宽的，能覆盖能量法搞不定的对流问题和多物理场耦合问题。代价是用户需要自己保证弱形式的适定性，软件不会替你检查能量泛函是否存在。

3. 从能量泛函到弱形式：分部积分到底做了什么

弱形式的推导核心只有一步：分部积分。但这一步背后的机制值得拆开看，因为它决定了边界条件怎么进方程、刚度矩阵长什么样。

3.1 弹性能泛函的一阶变分与虚功原理

线弹性的总势能泛函写成应力张量与应变张量缩并的体积积分。要找极小点，在位移场上施加一个小扰动，要求泛函的一阶变分为零。这个一阶变分的表达式就是虚功原理：内力虚功等于外力虚功。

把扰动写成试函数的形式，一阶变分里出现应变张量的变分和应力张量的缩并。由于弹性张量具有对称性，两个中间项合并，一阶变分简化为应力与试应变缩并的积分减去外力与试位移缩并的积分等于零。这个式子在形式上已经非常接近弱形式了，区别在于它还没有对应力做分部积分。

3.2 Green 公式把体积分转成边界项

对应力项做分部积分，利用 Green 公式把应力张量的散度从积分里挪出来，产生一个体积项和一个边界项。体积项里出现的是应力张量的散度减去体力，边界项里出现的是应力张量法向分量与试位移的乘积。

这一步的物理含义很直接：体积项对应域内的力平衡，边界项对应边界上的面力做功。分部积分把强形式里的散度算子转移到了试函数身上，代价是引入了一个边界积分。这个边界积分不是累赘，它恰好是面力边界条件进入方程的通道。

3.3 边界条件如何“自然”进入弱形式

弱形式处理边界条件的方式分两类。Neumann 边界条件，也就是面力或流量条件，直接替换边界积分里的应力法向分量，天然融进弱形式，不需要额外处理。这就是“自然边界条件”这个名字的来历。

Dirichlet 边界条件，也就是指定位移或固定边界，不能直接代入弱形式，因为弱形式里没有位移的边界积分项。常见的实现思路是引入 Lagrange 乘子，把指定位移作为约束方程加进去，乘子本身对应边界反力。COMSOL 的 constr 编辑框做的就是这件事：你输入约束表达式，软件自动添加乘子变量并组装约束方程。

注意：Lagrange 乘子会引入额外的未知量，增加系统规模。对于大规模模型，约束数量多时求解成本明显上升。弱约束和强约束的选择需要权衡。

4. 弱形式在 COMSOL 里的落地：输入约定与离散组装

理论推到这一步，接下来看软件怎么把弱形式变成可求解的代数系统。这一章涉及具体的输入语法和离散逻辑，是实操中最容易踩坑的部分。

4.1 试函数标记法与弱项输入规则

COMSOL 的弱形式界面要求你把被积函数直接写进去，软件自动做积分。未知函数 u 的试函数标记为 u_test，梯度的分量标记为 ux_test、uy_test、uz_test。对于结构力学，位移分量 u、v、w 的试函数分别是 u_test、v_test、w_test，梯度分量按同样规则加后缀。

对流-扩散方程的弱形式输入可以写成紧凑形式：扩散项写成 c*(uxux_test+uyuy_test+uzuz_test)，对流项写成 -(bxux+byuy+bzuz)u_test，反应项写成 auu_test，源项写成 -fu_test。注意所有项移到等号右边，符号约定和手推时相反。

结构力学的弱形式输入更繁琐，因为应力分量需要展开。以各向同性线弹性为例，应力分量 sx 写成 c11ux+c12vy+c13wz 的形式，弱项里出现 sxex_test 的缩并。COMSOL 提供 test() 算子简化写法，test(ux) 等价于 ux_test，test(0.5*(uy+vx)) 等价于 0.5*(uy_test+vx_test)。

# 对流-扩散弱形式的等价伪代码表示（非 COMSOL 语法，仅示意组装逻辑） # 弱形式: ∫(c*∇u·∇v - b·∇u*v + a*u*v - f*v) dΩ = 0 for each_element in mesh: for each_test_function_j in element: residual_j = 0.0 for each_quadrature_point in element: # 扩散项：梯度缩并 residual_j += c * dot(grad_u, grad_v_j) * weight # 对流项：注意 u 带梯度，v 不带 residual_j -= dot(b, grad_u) * v_j * weight # 反应项 residual_j += a * u * v_j * weight # 源项 residual_j -= f * v_j * weight assemble_into_global_system(residual_j)

上面这段伪代码揭示了组装的核心逻辑：每个单元上对每个试函数做数值积分，扩散项里待求函数和试函数都带梯度，对流项里只有待求函数带梯度。这个不对称性直接导致刚度矩阵非对称。参数 c 是扩散系数，b 是对流速度矢量，a 是反应系数，f 是源项，weight 是积分权重。

4.2 子域与边界分开积分的工程考量

COMSOL 把子域设置和边界设置分成两个对话框，不是界面设计随意为之。子域积分用体单元的高斯积分点，边界积分用面单元的低一维积分点，两者的积分阶次和形函数不同。分开设置允许你对体项和边界项采用不同的数值积分精度，这对薄层问题或边界层问题很关键。

另一个原因是多物理场耦合。同一个几何域上可能同时存在结构弱形式和传热弱形式，它们需要不同的离散阶次和积分策略。分开输入保证各物理场的弱项独立组装，最后在系统矩阵层面耦合。

4.3 离散化：基函数、试函数与刚度矩阵的生成

有限元离散把连续的解空间投影到有限维子空间。解近似为基函数的线性组合，系数是节点值。试函数取基函数本身，这是 Galerkin 方法的标准做法。把每个基函数依次代入弱形式，得到 N 个方程，组成线性系统 KU=L。

刚度矩阵 K 的元素是基函数梯度缩并的积分。由于基函数只在局部支撑集上非零，K 是稀疏矩阵。COMSOL 用稀疏存储格式保存 K，求解器针对稀疏结构优化。对于非线性问题，每次迭代重新组装 K 和 L，迭代格式类似 Newton 法，切线刚度矩阵对应弱形式对未知量的线性化。

# 刚度矩阵组装的核心循环（示意） K = sparse_matrix(num_nodes, num_nodes) L = zeros(num_nodes) for element in mesh.elements: Ke = zeros(num_local_nodes, num_local_nodes) Le = zeros(num_local_nodes) for i in range(num_local_nodes): for j in range(num_local_nodes): # 扩散项贡献：基函数 i 和 j 的梯度缩并 Ke[i][j] += integrate(c * dot(grad_phi[i], grad_phi[j]), element) # 对流项贡献：基函数 j 带梯度，基函数 i 不带 Ke[i][j] -= integrate(dot(b, grad_phi[j]) * phi[i], element) # 反应项贡献 Ke[i][j] += integrate(a * phi[j] * phi[i], element) Le[i] += integrate(f * phi[i], element) # 局部矩阵散射到全局 scatter_add(K, Ke, element.node_indices) scatter_add(L, Le, element.node_indices)

这段代码里，grad_phi 是基函数梯度，phi 是基函数值，integrate 是单元上的数值积分。注意对流项里 grad_phi[j] 和 phi[i] 的下标不对称，这决定了 Ke 不是对称矩阵。散射步骤把局部矩阵按节点索引累加到全局矩阵，这是有限元组装的标准流程。

5. 避坑：弱形式输入与求解中的常见翻车点

弱形式给了你极大的自由度，也给了你极大的犯错空间。下面几条是实际建模中最常遇到的坑，每条都按现象、原因、解决来拆。

5.1 符号约定搞反导致解发散

现象：输入弱形式后求解器报不收敛，残差曲线一路飙升。

原因：COMSOL 约定所有项放在等号右边，手推弱形式时习惯把项写在左边。扩散项和源项的符号如果搞反，相当于把物理过程反了过来，解自然发散。

解决：先在草稿纸上把弱形式写成“左边减右边等于零”的形式，再整体取负号搬到等号右边。输入后检查源项符号：正源项应该让解增大，如果输入后解反而减小，符号大概率反了。

5.2 试函数标记漏写后缀

现象：输入表达式后软件提示变量未定义，或者解出来恒为零。

原因：把 u_test 写成了 u，或者把 ux_test 写成了 ux。前者导致弱形式里没有试函数，组装出的方程数为零；后者把试函数当成了未知函数，方程结构完全错误。

解决：逐项检查每个试函数是否带 _test 后缀。结构力学里梯度分量的后缀规则是“分量名+_test”，比如 uy_test 对应位移 y 方向分量的试函数。用 test() 算子可以避免手写后缀出错。

5.3 边界积分与子域积分放错位置

现象：面力边界条件加了但不起作用，或者子域项被重复计算。

原因：把边界弱项写进了子域设置，或者把体项写进了边界设置。COMSOL 对两个对话框的积分维度不同，放错位置会导致该项在错误的维度上积分，量纲和数值都不对。

解决：体项进 Subdomain Setting，面项进 Boundary Setting。检查量纲：体项积分后应该是力的量纲，面项积分后也应该是力的量纲，如果量纲对不上，位置大概率错了。

5.4 对流主导问题不加稳定化

现象：对流系数远大于扩散系数时，解出现非物理振荡，网格越密振荡越明显。

原因：标准 Galerkin 弱形式在对流主导时失去稳定性，离散后的矩阵条件数恶化。这是弱形式本身的局限，不是输入错误。

解决：引入稳定化项，常见的是流线迎风 Petrov-Galerkin 方法，在弱形式里添加人工扩散项。COMSOL 的内置对流-扩散接口默认带稳定化，手写弱形式时需要自己加。

5.5 约束边界用弱形式代替 constr 导致反力丢失

现象：固定边界用弱形式近似后，位移约束住了，但反力计算结果为零或异常。

原因：弱形式里直接写位移约束表达式，相当于用罚函数或乘子近似，反力没有作为独立变量输出。constr 编辑框会自动引入 Lagrange 乘子，乘子就是反力。

解决：指定位移的边界用 constr 编辑框，不要塞进 weak 编辑框。需要反力结果时，在结果里输出对应的乘子变量。

6. 设计取舍：为什么弱形式值得你花时间啃下来

弱形式这套机制的设计取舍，本质上是把数学上的严格性换成了工程上的灵活性。强形式要求逐点可微，物理上很多真实场景不满足；能量法直观，但只覆盖自伴随问题；弱形式放宽了连续性要求，覆盖了非自伴随的对流问题和多物理场耦合，代价是用户需要自己保证弱形式的适定性和数值稳定性。

这个取舍在软件架构上的体现是：COMSOL 把所有物理接口统一到弱形式这一层，内置模块替你写好了弱形式表达式和稳定化项，你只需要在特殊场景下手写。手写弱形式的能力，决定了你能否跳出内置模块的边界。模型库里的高级算例大量使用弱形式，看不懂那些表达式，就只能停留在拖拽接口的层面。

验证弱形式是否正确，我常用的方法是两步：第一步，把弱形式退化到简单几何和解析解已知的情况，对比数值解和解析解；第二步，检查离散后的矩阵对称性，对称问题如果矩阵不对称，说明弱形式推导或输入有误。这两步能拦住大部分低级错误。

从那以后我每次手写弱形式，都强制走一遍量纲检查和对称性检查，哪怕模型再简单。血泪经验是，符号错误和标记遗漏在复杂表达式里极难肉眼发现，但量纲和对称性一查就露馅。希望帮到你。

本文还有配套的精品资源，点击获取