简介：一份面向COMSOL Multiphysics中高级用户的弱形式入门讲解文档，适合希望突破内置模块限制、直接使用弱形式界面求解非线性多物理场问题的工程师与研究者。文档从偏微分方程、能量最小化与弱形式三种描述方式的对比切入，以线弹性结构分析为例，逐步推导Navier方程的弱形式，并解释泛函、试函数等关键概念，帮助读者理解有限元方法的底层实现。包体为单个DOC文档，共1个文件，大小约695KB，属于精炼概念型资料，可直接阅读或打印。该资源已有1177人学习下载。掌握弱形式后，可更从容地处理传热、结构、传质及N-S方程等复杂场景，同时深化对COMSOL求解器高级设置与模型库案例的理解。

1. 兜兜转转还是回到弱形式：COMSOL所有应用模式的隐藏底层

用过几年COMSOL Multiphysics之后你会发现一个规律：内置模块能解决八成的常规仿真，经典PDE模板再解决一成半，剩下那半成“怪问题”——非标准耦合项、自己推导的控制方程、内置模块里根本找不到的物理机制——最后全都得靠COMSOL弱形式用户界面来收场。这套《COMSOL Multiphysics弱形式入门》就是我踩平那半成坑之后，觉得最值得分享的一份推导笔记。它从Navier方程、热传导和电流传导这些最熟悉的静态问题入手，把PDE、能量最小化形式和弱形式三条路讲透，最终落到COMSOL界面里到底该往Weak Term框里填什么。适合三类人：被内置模块边界条件卡住的人、想搞懂有限元怎么离散的人、以及不想啃数学细节但急着上手弱形式的工程师。

2. PDE、能量泛函与弱形式：三个等价写法与一阶变分的关键推导

2.1 三种物理问题的描述方式：不是所有PDE都有能量可最小化

物理问题的数学描述有三种常见形式：偏微分方程（PDE）、能量最小化形式、弱形式。大多数工程师接触最多的是PDE，比如传热方程、拉普拉斯方程、Navier方程，写成带散度、梯度的样子，然后交给求解器。结构分析领域则习惯用能量法，把总势能写出来，求最小值，物理含义直观。但在COMSOL Multiphysics中，真正被求解器执行的是第三种——弱形式。所有应用模式和PDE模式在求解前都会被转换成弱形式，然后才进入有限元离散流程。

为什么不能只靠PDE和能量法？因为PDE形式要求变量有足够的可微性，而能量形式虽然适合积分型数值方法，却只适用于存在能量泛函的物理场。结构力学有弹性能可以最小化，这个很自然；但化工传质问题、流体力学中的N-S方程，根本没有对应的“能量”可以去最小化。这时候弱形式是唯一通用的入口。更关键的是，弱形式对连续性的要求比PDE宽松，这恰好匹配有限元方法使用分片多项式逼近真实解的实际情况。

三种形式描述的是同一个物理问题，区别在于数学结构。PDE形式是局部的、逐点成立的；能量形式和弱形式是全局的、积分成立的。积分形式天然适合有限元：计算域被网格切成小单元之后，积分可以在每个单元上分别进行，再把结果组装起来。遇到材料界面处的变量不连续，PDE形式会变得棘手，积分形式却没有这个问题。弱形式可以看作能量最小化形式的更一般版本——当能量泛函存在时两者一致，当能量泛函不存在时弱形式仍然有效。

2.2 从Navier方程到弹性能量泛函：一阶变分怎么推出来

以线弹性静力学为例。三维问题的控制方程是Navier方程，表示体力与内力的平衡。应力张量 $\sigma$ 与应变张量通过本构关系连接，线弹性情况下就是广义Hooke定律 $\sigma = c : \epsilon$，其中 $c$ 是四阶弹性张量。位移 $u$ 与应变的关系是几何方程。把这三个方程合并，就得到一个二阶PDE，边界上需要给定面力或位移才能求解。

现在换一条路。结构分析中更自然的做法是写总势能泛函 $\Pi(u) = \int_\Omega \frac{1}{2} \epsilon : c : \epsilon , dV$，外加边界载荷的贡献项。求这个泛函的极小值，等价于寻找一个位移场，让任意扰动下泛函的一阶变化为零。具体做法是给位移加一个扰动 $u + \delta u$，把泛函展开，零阶项是原泛函本身，一阶项是对泛函的微分，二阶项则回答极值点是不是极小点。一阶项为零给出平衡条件，二阶项的正定性保证解是稳定的。

我一般会把这一套和多元微积分类比来理解。二元函数 $f(x,y)$ 求极值，先让梯度为零，再看Hessian矩阵是否正定。泛函极值完全一样，只不过自变量从坐标点换成了函数 $u(x)$，梯度换成了变分。做有限元的人看到这里的二阶项，会立刻联想到刚度矩阵的正定性条件——这在离散后直接决定线性方程组有没有唯一解。这里有个容易忽略的细节：弹性张量 $c$ 具有对称性，所以展开式中两个交叉项可以合并成一项。如果 $c$ 不对称，一阶变分的形式会变，能量法也会失去意义。

最后用Green公式对体积项做分部积分，边界项自然浮现，代回面力边界条件后，一阶变分形式又回到了原来的PDE方程。这一步证明了能量最小化形式和PDE形式本质等价，也把边界条件的来源交代清楚了——边界项不是额外加进去的，它是由分部积分产生的。

2.3 弱形式是怎么从PDE“变”出来的：乘试函数、分部积分、代边界

理解了能量法之后，弱形式就好办了。标准推导只有三步：把PDE乘以一个试函数 $v$，在计算域内积分；利用Green公式对最高阶导数做分部积分，把二阶导降到一阶；代入边界条件，整理成“全部移到等号一边”的形式。以Navier方程为例，乘上试函数并积分后，对散度项分部积分，边界上出现面力项，代入给定的Neumann边界条件，最后得到的就是弱形式：$\int_\Omega \sigma(u) : \nabla v , dV = \int_\Omega F \cdot v , dV + \int_\Gamma P \cdot v , dS$。

注意一个关键点：弱形式中未知函数 $u$ 和试函数 $v$ 出现的方式必须匹配。原PDE是二阶方程，解要求二阶可微，称为强解；弱形式经过分部积分后导数阶数降低，解只需要一阶可微甚至更弱，称为弱解。这是弱形式最本质的优势——放宽了可微性要求，让有限元可以用分片连续但不光滑的基函数来逼近解。材料界面两边性质突变、几何存在尖角、载荷集中作用这些情况，强解往往不存在或难以计算，弱解反而定义良好。

所以我在实际建模中从不纠结“弱形式到底是怎么想出来的”，只需要记住一条主线：PDE乘试函数、分部积分降阶、代入边界条件、移项整理。后面在COMSOL界面里输入表达式，做的其实就是这四件事的“逆过程”——把整理好的被积函数填进输入框。推导时用的是哪个边界条件、有没有漏掉边界积分项，都会直接影响你填进Weak Term里的表达式对不对。

3. 在COMSOL里写下第一行弱形式：变量约定与表达式输入全拆解

3.1 变量命名规则：u_test、ux_test和test()算子

COMSOL Multiphysics的弱形式界面有一套固定命名规则，新手容易在这里卡住。因变量记为u，它的梯度分量记为ux、uy、uz；对应的试函数记为u_test，梯度分量记为ux_test、uy_test、uz_test。这套命名规则的好处是直观——看到_test后缀就知道是试函数相关项。多物理场中多个因变量同理，比如结构力学里三个位移分量u、v、w，试函数就是u_test、v_test、w_test。

COMSOL还提供了更简洁的test()算子。test(u)等价于u_test，test(ux)等价于ux_test。在复杂表达式里，用test()写法能大幅减少打字量和拼写错误。我在结构力学表达式里更倾向用test()，因为位移梯度分量很多，手写ux_test极易漏掉下划线。

下面是常见的对应关系表，建议把它贴在屏幕旁边：

需要提醒的是，test()算子只能作用于因变量及其导数，不能作用于常数或材料参数。你在输入框里写了test(k)的话，COMSOL会直接报错——试函数是针对求解变量的，材料属性没有对应的试函数。

3.2 对流-扩散方程的弱形式输入：子域弱项和边界弱项分开填

对流-扩散方程是理解弱形式价值的经典案例，它的控制方程为 $-\nabla\cdot(c\nabla u) + \beta\cdot\nabla u + a u = f$，其中 $c$ 是扩散系数，$\beta$ 是对流系数，$a$ 是反应系数。这个方程最大的特点是：没有对应的能量泛函可以最小化，所以只能走弱形式路线。

推导过程和前面一致：乘以试函数 $v$、积分、对扩散项分部积分、代入Neumann边界条件、把全部项移到等式左边。得到的弱形式是：

$-\int_\Omega c\nabla u\cdot\nabla v , dV + \int_\Omega (\beta\cdot\nabla u), v , dV + \int_\Omega a u v , dV = \int_\Omega f v , dV + \int_\Gamma g v , dS$

COMSOL的约定是所有项移到等号右边，所以在弱形式界面里输入的是等式右边的表达式，也就是把每一项搬到右边并统一符号。在Weak Form PDE模式下的Subdomain Setting对话框中，Weak Term里输入的是体积分部分的负值形式；Boundary Setting对话框中输入的是边界积分部分。子域和边界分开设置的原因在于，两者使用不同的数值积分算法与网格离散策略，混在一起会让COMSOL无法正确识别积分区域类型。

实操时我一般会先按物理意义把项分组：扩散项、对流项、反应项、源项，逐项对照COMSOL变量名翻译。扩散项里的 $\nabla u\cdot\nabla v$ 写成ux*ux_test+uy*uy_test，对流项写成(Px*ux+Py*uy)*u_test，反应项写成a*u*u_test，源项写成f*u_test，然后统一处理符号。不要试图一次性写出完整表达式，分组写再合并，排错容易得多。

3.3 Navier方程的弱形式输入：三行文本对应三个位移分量

结构力学Navier方程的弱形式是矢量问题，但弱形式本身是标量表达式。区别在于，3D结构分析中位移有三分量u,v,w，试函数也有三组，所以COMSOL弱形式界面里会看到三个文本框，每个文本框对应一个位移分量方向的弱项贡献，而且三个文本框使用的是同一套有限元单元和积分规则。

在Subdomain Setting中，每个文本框输入对应方向的弱项。以弹性张量分量c11,c12...的形式展开时，第一个分量对应u_test的项形如：

-ux_test*(c11*ux+c12*vy+c13*wz+c14*(uy+vx)+c15*(vz+wy)+c16*(uz+wx))

后面两个文本框的结构完全类似，只是把u_test换成v_test和w_test。每个文本框内部由COMSOL自动对网格单元做积分。要注意应变分量的定义：工程剪应变的系数0.5在COMSOL中已经包含在表达式里，比如exy被定义为0.5*(uy+vx)，所以输入时不要重复乘0.5。

更直观的写法是直接用test()算子。test(uy)会被COMSOL解释为uy_test，等价于直接写uy_test。对于各向同性材料，弹性张量分量可以由杨氏模量和泊松比换算，但弱形式界面里COMSOL不会自动换算，需要你自己把c11 = E*(1-nu)/((1+nu)*(1-2*nu))等关系式作为全局参数先定义好。这也是很多人第一次用弱形式算结构问题翻车的地方——材料参数没预先定义，表达式里出现未定义的变量，直接求解失败。

3.4 边界条件与Lagrange乘子：weak和constr各自管什么事

边界条件在COMSOL弱形式界面里分成两类处理。一类是自然边界条件，也叫流量或Neumann边界条件，对应面力、热流、电流密度这类给定边界上的通量。这类条件直接以边界积分的形式出现在弱形式推导结果中，所以填在Boundary Setting的Weak Term里。结构问题中，面力载荷P的弱项就是Px*u_test+Py*v_test+Pz*w_test，把它填进边界的Weak term框即可。

另一类是强制边界条件，也叫Dirichlet边界条件，对应固定位移、固定温度这类直接限定变量取值的边界。这类条件不能直接加入泛函，但可以通过引入约束的方式间接实现。COMSOL的做法是弹出一个constr编辑框，你在这里输入约束表达式，COMSOL会为约束自动引入Lagrange乘子，反力就是乘子的物理含义。对结构问题，固定位移的约束表达式就是u=0或v=0这样的关系，按分量分别填入constr框。

多物理场耦合时，weak和constr的分工尤其关键。比如压电分析里，结构位移的固定边界与静电势的接地边界同时存在，如果误把固定位移写进weak而不是constr，等效于在边界上施加了一个额外面力，计算结果会差得很远。我自己的经验是：先问自己这个边界条件是“给定了力/流量”还是“给定了解的值”，前者进weak，后者进constr，基本不会错。

4. 从弱形式到有限元离散：刚度矩阵对称性从哪里来又从哪里丢

4.1 基函数与试函数：有限元把无限维问题压缩成有限维方程组

弱形式是一个无限维问题：试函数 $v$ 可以是任意容许函数，这意味着有无穷多个测试条件。有限元方法的思路是把解空间和试函数空间都限制在一个有限维函数空间里，问题就变成了有限个未知数的代数方程组。具体做法是：把计算域划分成三角形、四面体等单元，在每个节点上定义一个基函数 $\phi_i$，它在节点i处取1，在相邻节点取0，单元内线性变化。

真实解近似表示为 $u_h = \sum_{i=1}^N U_i \phi_i$，其中 $U_i$ 是节点值，就是求解器最终要求的未知数。试函数也做同样的离散：$v = \sum_{j=1}^N V_j \phi_j$。因为试函数可以任意选择，我们依次令 $V_j=1$ 而其他为0，把每个基函数分别代入弱形式，一个基函数生成一个方程，N个基函数生成N个方程。加上N个未知节点值，正好构成一个线性方程组。

这个过程决定了有限元的计算代价。如果你的网格有10万个节点，就要组一个10万阶的方程组。幸好基函数是局部支撑的——每个基函数只在它相邻的几个单元里非零，所以刚度矩阵是稀疏的，绝大多数元素为零。COMSOL内部配备的稀疏直接求解器和迭代求解器都是为这种结构优化的。我常用默认的MUMPS直接求解器处理中小规模问题，遇到内存压力再换迭代求解器。

4.2 刚度矩阵组装：从弱表达式到K和L的完整流程

以最简单的扩散方程 $-\nabla\cdot(c\nabla u)=f$ 为例，它的弱形式是 $\int_\Omega c\nabla u\cdot\nabla v , dV = \int_\Omega f v , dV$。把离散近似代入，令试探函数依次取每个基函数，得到线性代数系统 $K U = L$。刚度矩阵的元素是 $K_{ij} = \int_\Omega c\nabla\phi_j\cdot\nabla\phi_i , dV$，载荷向量的元素是 $L_i = \int_\Omega f\phi_i , dV$。

你可以看到 $K_{ij}$ 的表达式里 $\phi_i$ 和 $\phi_j$ 的梯度是以内积形式出现的，交换i和j，积分值不变，所以 $K$ 是对称矩阵。只要扩散系数c是标量或对称张量，刚度矩阵天然对称。对称性不是巧合，它是PDE自伴算子与能量最小化形式对应的数学体现。COMSOL的求解器会利用这个对称性，在存储上只保存上三角部分，数值求解也有专门优化的算法。

组装过程在软件内部完成，但理解它对排查问题很有帮助。每个单元在局部坐标系里形成一个小刚度矩阵，再映射到全局刚度矩阵的对应行和列。这个过程与网格节点的编号顺序有关，但最终组装出来的全局刚度矩阵是同一个，只是稀疏模式和存储顺序可能不同。模型越复杂，组装时间占比越小，求解时间才是主导。

4.3 对流项把对称性弄丢了：非对称矩阵与数值稳定性

现在回到对流-扩散方程。它的弱形式里，对流项是 $\int_\Omega (\beta\cdot\nabla u), v , dV$。离散后，这项对刚度矩阵的贡献是 $\int_\Omega (\beta\cdot\nabla\phi_j), \phi_i , dV$。把i和j交换，变成 $\int_\Omega (\beta\cdot\nabla\phi_i), \phi_j , dV$，与原来的积分一般不等。所以总刚度矩阵不是对称的。

这个非对称性描述的是物理上的方向性——对流把信息从上游带到下游，正向传播和反向传播的行为不同。对称矩阵对应可逆、无方向的物理过程，对流破坏了这一特征。我在COMSOL里观察过，当对流占主导时，使用对称求解器会出现奇怪的收敛问题，这时应该换成专门处理非对称矩阵的求解器。COMSOL求解器设置里对“非对称”矩阵有对应选项，需要手动勾选，不能依赖自动检测。

更麻烦的是对流占主导时，中心差分形式的离散会带来数值振荡，表现为求解结果在空间上出现波浪形虚假分布。这种振荡不是模型错误，而是数值方法的内在缺陷。解决办法是给对流项引入迎风稳定化，COMSOL内置的对流-扩散模块会自动处理，但你自己写弱形式时，稳定化项也得手写。这是弱形式灵活性的代价：自由度越高，你越要为自己的数值稳定性负责。

5. 弱形式建模的常见问题与排查：五个高频翻车现场

5.1 结果恒为零：八成是漏写了_test后缀

现象：模型能求解，不报错，但解全场为零，或者试函数相关的物理量全部为零。

原因：弱形式表达式中试函数部分是积分方程的“测试条件”。如果某个弱项里忘了写_test，这一项就变成不含试函数的常数项，在变分中不对任何方程做贡献。比如扩散项写成c*ux*ux而不是c*ux*ux_test，这一项实际上不会进入任何刚度矩阵元素的组装，等效于没有定义该物理过程。更隐蔽的情况是test()写错作用对象，例如写了test(0.5*(uy+vx))但括号里变量拼写错误，COMSOL会当作零。

解决：逐项检查下划线。每个弱项里因变量和试函数必须成对出现，一个完整的一阶弱项必然同时包含u类因子和u_test类因子。建议启用COMSOL的“表达式语法检查”功能，先确认变量名全部高亮识别后再求解。写结构力学表达式时，直接在三个文本框内搜索_test，每个框里至少应出现一次对应的u_test、v_test或w_test。

5.2 刚度矩阵奇异：固定边界没写constr也没弱约束

现象：求解器提示“发现奇异矩阵”或“无唯一解”，模型在没有任何载荷和约束时直接失败。

原因：纯Neumann问题在数学上缺少约束，位移场可以整体平移而不改变能量，刚度矩阵因此奇异。弱形式界面中，如果只在weak里写了体积项和面力项，但没有在任何边界上通过constr指定固定位移，系统就少了一组约束方程。另一种情况是边界条件填错了位置——把固定位移写进weak Term，等效于施加了一个面力，并没有真正约束住自由度。

解决：所有静态力学问题至少固定一个自由度。最简单的方法是在Boundary Setting的constr框中输入u=0（以及需要的话v=0、w=0）。记住Weak Term是积分形式，constr是代数约束形式，两者机制不同。对于不希望边界条件过于刚性、允许边界应力释放的情况，改用弱约束并勾选“使用弱约束”选项，让Lagrange乘子作为独立变量参与求解。

5.3 弱项的符号差一个负号，全场趋势直接反转

现象：计算结果的大小量级正常，但物理量符号反了。比如温度场求解时，热源区域反而温度更低。

原因：弱形式推导中，COMSOL约定所有项移到等号右边，而手动推导时常习惯保持等号左边。典型的错误是把扩散项写成c*ux*ux_test正值放在右边，本该是负值。另一个常见来源是分部积分时边界项符号处理错误，边界积分项的负号漏掉了。

解决：写表达式前，先按“PDE乘v、分部积分、代边界、移项”四步把弱形式手写一遍，再逐项搬到COMSOL输入框。热传导问题的标准自检方法：给模型设一个已知解析解的小规模算例，比如一维杆两端定温，中间无热源，理论解是线性温度分布。数值结果曲线斜率反了，说明扩散项符号错了；曲线整体平移，说明边界项符号错了。

5.4 对流项计算发散或振荡：Peclet数偏大但没有稳定化

现象：对流-扩散问题在高流速、低扩散系数条件下，节点值出现逐点振荡，加密网格也没有明显改善，甚至更糟。

原因：网格Peclet数 $Pe = \rho |\beta| h / (2c)$ 大于1时，中心差分格式丢失了离散稳定性。COMSOL内置模块会自动施加迎风稳定化，但弱形式界面中COMSOL只按照你输入的表达式组装矩阵，不会主动加稳定项。对流项在刚度矩阵中引入了非对称部分，你需要在弱形式中额外加入人为扩散项或流线迎风项。

解决：在弱项中给扩散系数增加数值稳定贡献，或者改用分步方法处理对流项。一个通用做法是将扩散系数替换为 $c + c_{stab}$，其中 $c_{stab} = \beta h / 2$ 量级。更专业的方法是使用流线迎风/SUPG稳定化，在被积函数中加入试函数沿流线方向的导数项。调试时先用一维均匀网格确认问题，再推广到二维，观察是否与理论Pe准则一致。

5.5 非线性问题就是不收敛：初值、阻尼项和材料非线性处理

现象：非线性模型在迭代早期残差震荡，后期直接发散。同一模型用内置模块求解却收敛良好，换成弱形式就失败。

原因：内置模块为非线性求解器提供了合适的初值策略和材料切线矩阵。弱形式界面中，COMSOL默认初值为零，而很多非线性材料模型在零应变处切线刚度为零或奇异，Newton迭代无法起步。另一个原因是用户输入的弱表达式没有提供一致的切线项，求解器只能数值微分，对于强非线性问题数值微分会引入较大误差。

解决：先把求解器设置里的初始值改成与物理常识一致的估计值，比如给一个非零均匀温度场或预加一点位移。然后打开“辅助扫描”，用参数从小值逐步扫描到大值，避免直接加载全部物理量。必要的时候在弱形式中额外添加一个小的线性正则项，比如给位移场加一个很小的体积力阻尼，帮助迭代稳定。从内置模块迁移到弱形式时，先逐项对比内置模块的方程弱表达式，确认每一项的贡献是否一致。

提示：遇到不收敛问题，第一件事不是调求解器，而是把弱形式表达式逐项孤立，每次只保留一项，看哪一项的引入导致残差异常。这样能把“数值不稳定”和“表达式写错”区分开。

6. 一维热传导手动验算：解析解给弱形式兜底

学会弱形式之后，最值得养成的习惯是每次建模前先找一个小规模解析解来“校准”自己的表达式。以一维稳态热传导为例，区域0到1，热传导系数k=1，热源Q=1，边界条件T(0)=0，T(1)=1。这个问题的解析解是 $T(x) = -0.5x^2 + 1.5x$，在x=0.5处理论值为0.625。

弱形式推导：PDE为 $-\nabla\cdot(k\nabla T)=Q$，乘以试函数v并分部积分，得到 $\int_0^1 k,T_x v_x , dx = \int_0^1 Q v , dx$。把区间划分成两个线性单元h=0.5，节点0、1、2分别对应x=0、0.5、1。单元刚度矩阵是 $(k/h)\begin{bmatrix}1&-1\-1&1\end{bmatrix}$，载荷向量每个单元为 $Qh/2 [1,1]$。组装后，内部节点1的方程是 $2(-T_0+2T_1-T_2)=0.5$。代入 $T_0=0$、$T_2=1$，解得 $T_1=0.625$，与解析解完全一致。这个简单算例验证了：弱形式推导、变量命名、边界条件处理都没有出错。

在COMSOL里建一个同样的一维模型，使用Weak Form PDE界面，子域弱项输入-ux*ux_test+1*u_test，边界上左端constr填u=0，右端constr填u=1，计算出的节点温度1应该是0.625。任何一个环节出错，比如试函数忘写、边界条件填反、符号差一个负号，数值结果都会偏离这个值。从那以后，我每次写弱形式模型都强制先走一遍“一维手算解+两单元离散”的流程。哪怕最终模型是三维非线性多物理场，这个小小的解析解兜底也能让我快速定位是表达式问题还是求解器问题。希望帮到你。

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