gradSchemes 梯度格式:原理、设置与验证
解释 Gauss 梯度、leastSquares 与 cellLimited 三类格式的构造机理与精度退化条件,给出正交与扭曲网格上的误差量级对比,说明梯度限制器为什么只该用在压力与速度上。
gradSchemes 梯度格式:原理、设置与验证
gradSchemes 里 default 那一行同时决定压力梯度、黏性应力、限制器输入和所有面法向修正项的精度。Gauss 梯度在正交网格上对线性场精确,网格一旦扭曲就退化为一阶;leastSquares 对任意凸多面体都给出二阶梯度,却不满足散度定理的守恒形式;cellLimited 用局部极值夹住梯度,代价是削平驻点区的压力梯度。梯度格式的工程决策只有两件事:选 Gauss 还是 leastSquares,以及限制系数取多少。前者由网格正交性决定,后者由被求梯度的物理量决定。梯度误差不像残差那样在日志里直接可见,它往往先表现为压力场的棋盘格、驻点压力的系统性偏低或分离点位置漂移。验证梯度格式要靠解析场检验和观测精度阶,把格式误差与网格几何误差分开。
守恒残差:leastSquares 的隐性代价
leastSquares 不满足散度定理,梯度场与面通量不再自动相容。检查方法是把梯度重构回面通量再与离散通量比较,或者直接看全局质量守恒。一个 单元的非正交算例里,用 leastSquares 时进出口质量流量相对偏差约 ,用 Gauss linear 时约 。 对多数工程目标可以接受,但如果做的是长时间积分或需要严格守恒的封闭腔算例,就应把 nNonOrthogonalCorrectors 提到 2 或改用 Gauss linear 配合更好的网格。
压力梯度是否被限制器削平可以用驻点压力间接检验:圆柱绕流的驻点压力系数理论值约为 (不可压势流),实测若只有 ,且把 cellLimited 1 改成 cellLimited 0.5 后回升到 ,就说明限制过强而非物理。
Gauss 梯度:散度定理的直接离散
由恒等式 得
是面法向面积矢量(),$V_P\mathrm{m^3}[\phi]/\mathrm{m}\phi_f=f_x\phi_P+(1-f_x)\phi_Nf_xPN\phi$ 为线性函数时,该式精确成立;网格一旦扭曲,面心与两中心连线不再重合,误差从二阶降为一阶,这就是非正交网格上压力出现棋盘格的常见来源。
cellLimited:把梯度夹回局部变化率
强梯度区(激波、相界面、壁面附近)的 Gauss 梯度可能远超真实值,进而在压力修正里制造过冲。cellLimited 的做法是把未限制梯度与局部最大变化率取小:
,取 1 最保守,等价于不允许任何邻居的线性重构超过其自身值。代价是极值附近梯度被压低,圆柱驻点区的压力梯度会被削平约 10%~20%,因此只适合 grad(p)、grad(U) 这类容易振荡的量。湍流量方程内部若也用 cellLimited 1,会引入不必要的耗散并拖慢分离点位置的收敛。
精度与成本的量化对比
在一个 的立方体上施加线性场 ,用 的正交六面体网格,Gauss 梯度给出精确的 。把同一网格剪切成平均非正交角 后,Gauss 梯度的最大相对误差约 ,而 leastSquares 仍保持在 量级。加密到 时,Gauss 误差只按一阶降到约 ,leastSquares 按二阶降到 。把 再减半到 ,Gauss 误差约 ,leastSquares 约 ——前者每加密一倍只降 2 倍,后者降 4 倍。这组对比说明:非正交网格上换用 leastSquares 的收益远大于单纯加密网格。
| 格式 | 正交网格精度 | 扭曲网格精度 | 守恒性 | 相对成本 |
|---|---|---|---|---|
Gauss linear |
二阶 | 一阶 | 满足 | 最低 |
leastSquares |
二阶 | 二阶 | 近似 | 中(矩阵可预计算) |
cellLimited Gauss linear 1 |
二阶,极值处一阶 | 一阶 | 满足 | 低 |
leastSquares:扭曲网格上的二阶替代
最小二乘梯度在单元 的全部邻居上极小化线性重构残差,解出
是从 中心指向 中心的矢量,常用权重 。矩阵 只依赖几何,可预计算并缓存,所以迭代中调用 leastSquares 并不比重构 更贵。它不需要面值,对任意凸多面体都成立;代价是不满足散度定理,梯度场与通量场不再自动相容,在强非正交网格上可能引入轻微的质量不守恒,需要靠 nNonOrthogonalCorrectors 补偿。
参数表
| 量 | 推荐格式 | 系数 | 依据 |
|---|---|---|---|
grad(p) |
cellLimited Gauss linear 1 |
压力修正最容易过冲 | |
grad(U) |
cellLimited Gauss linear 1 |
壁面附近速度梯度极值 | |
grad(k)、grad(epsilon) |
leastSquares |
无 | 强剪切区方向变化剧烈 |
grad(T) |
cellLimited Gauss linear 0.5 |
保留热边界层梯度 | |
| 相分数梯度 | Gauss linear |
无 | 限制器会削平界面 |
按物理量分档配置
梯度不是统一的量,压力与湍流量对精度的要求完全不同。可用的起点是:
gradSchemes
{
default cellLimited Gauss linear 1;
grad(U) cellLimited Gauss linear 1;
grad(p) cellLimited Gauss linear 1;
grad(k) leastSquares;
grad(epsilon) leastSquares;
grad(omega) leastSquares;
grad(nuTilda) leastSquares;
}
压力与速度用带限制的 Gauss,是为了在压力修正的每一步压住过冲;湍流量用 leastSquares,是因为它们在强剪切区梯度方向变化剧烈,限制器会把真实梯度一并削掉,导致湍流黏性偏低、分离点后移。
梯度在求解器里被谁消费
不可压缩动量方程的压力项直接来自 grad(p),扩散项的面法向导数、VOF 界面法向、湍流模型里的应变率张量也都要先构造单元梯度。这意味着 gradSchemes 出错不会只污染一个量,而会通过压力—速度耦合扩散到整个解。生产算例里应把关键量逐条写出,而不是依赖 default:
gradSchemes
{
default cellLimited Gauss linear 1;
grad(U) cellLimited Gauss linear 1;
grad(p) cellLimited Gauss linear 1;
grad(k) Gauss linear;
grad(omega) Gauss linear;
}
限制系数与权重的取值依据
cellLimited 的系数 通过缩放未限制梯度实现夹逼:
是邻居实际增量与梯度预测增量之比。 时只要任一邻居的 就整体缩放,最保守; 允许两倍的外推,振荡抑制减弱但驻点区压力梯度保留得更完整。工程上压力与速度取 1,温度与组分等标量可取 0.5,湍流量干脆不用限制。
leastSquares 的权重影响近壁区的梯度方向。默认权重 对远处邻居降权,适合长宽比大的边界层网格;若改用等权重,壁面法向梯度会被侧向邻居污染。OpenFOAM 的 leastSquares 使用反平方权重,Gauss 系列的 cellLimited 不涉及权重。
梯度怎样进入面插值与 snGrad
面插值不是简单线性平均。当两单元中心连线不穿过面心时,需要加一项歪斜修正:
是从面心到两中心连线的偏离矢量。这一项完全依赖 gradSchemes 的精度:若梯度只有一阶准确,歪斜修正反而会引入新的误差,所以在非正交网格上应当先确保梯度是二阶的,再打开 interpolationSchemes 的 skewCorrected。
同样的道理适用于 snGradSchemes:corrected 版本把面法向导数拆成正交部分加梯度修正项,修正项用的就是这里的梯度。因此 gradSchemes、interpolationSchemes、snGradSchemes 三者必须一起核对,单独改一个往往会得到自相矛盾的扩散项。
interpolationSchemes { default linear; }
snGradSchemes { default corrected; }
laplacianSchemes { default Gauss linear corrected; }
梯度格式的三轮对照
若 G1 相对 G0 的驻点压力变化超过 1%,说明无限制梯度确实在制造过冲;若 G2 相对 G1 的分离点位置移动超过一个网格尺度,说明限制器正在污染湍流量,应把限制从湍流量梯度上撤掉。每轮只动一个量,才能把差异归因到具体的 grad 条目。
| 轮次 | 改动项 | 冻结项 | 记录量 |
|---|---|---|---|
| G0 | default Gauss linear |
网格、对流格式、求解器 | 压降、速度极值、连续性误差 |
| G1 | 仅把 grad(p) 换成 cellLimited Gauss linear 1 |
其余全部 | 压力极值、驻点压力、迭代数 |
| G2 | 仅把 grad(k)、grad(epsilon) 换成 leastSquares |
其余全部 | 湍动能峰值、分离点位置 |
故障模式与判定试验
改梯度格式后必须重跑而不是只做后处理重采样,因为压力—速度耦合会把梯度误差放大到守恒性上。判断梯度格式是否够用,可以用一个解析场做最小检验:
场: phi = 3x + 2 解析梯度 = 3.000 1/m
网格: dx = 0.002 m 正交 Gauss 误差 ~ 1e-5 → 满足二阶
网格: 平均非正交角 35° Gauss 误差 ~ 2.1e-2 → 退化为一阶
leastSquares 误差 ~ 1e-4 → 仍为二阶
判据: 同一网格上换格式若误差差两个数量级,说明几何而非密度主导精度
```判断格式是否合适的最终依据是关键工程量在换档后的变化是否落在网格离散不确定度内。
梯度格式的取值必须和网格的非正交角、长宽比一起记录。同一套 `gradSchemes` 换到更扭曲的网格上,精度会按一阶退化,原本合适的系数就可能变得过于保守。
诊断顺序是:先用解析场拿到 $E_\infty$ 与观测阶,确认格式在给定网格上是否达到理论精度;再看守恒残差是否落在目标量容差内;最后才回到物理量对照。跳过前两步直接看云图,很容易把梯度误差误判为物理效应。
| 现象 | 根因 | 判定试验 |
|---|---|---|
| 压力场出现棋盘格振荡 | Gauss 梯度在非正交网格上退化为一阶 | 换 `leastSquares` 复跑,看压力振荡幅值是否下降 |
| 壁面附近速度过冲 | 无限制梯度重构出局部极值 | 仅对 `grad(U)` 加 `cellLimited 1`,看极值是否消失 |
| 加密后梯度误差只按一阶减小 | 网格非正交主导精度 | 用 `checkMesh` 量化平均非正交角,超过 $60^\circ$ 先修网格 |
| VOF 界面法向抖动 | 相分数梯度被限制器削平 | 相分数梯度单独改用 `Gauss linear`,与限制版对比界面厚度 |
| 全局质量不守恒 | `leastSquares` 不满足散度定理,梯度场与通量场不相容 | 把 `nNonOrthogonalCorrectors` 提到 2,核对进出口流量相对偏差 |
| 驻点压力比实验低 3% 以上 | `cellLimited 1` 削平了压力梯度 | 把系数改为 0.5 或改 `leastSquares` 复跑对比 |
| 分离点位置随梯度格式显著移动 | 湍流量梯度被限制 | 把湍流量梯度换成 `leastSquares` |
| 打开 `skewCorrected` 后误差变大 | 梯度只有一阶准确 | 先量化 `checkMesh` 非正交角,再决定是否开歪斜修正 |
| 界面厚度比网格大 4 倍以上 | 相分数梯度被限制 | 相分数梯度单独用 `Gauss linear` |
| 改变梯度格式后质量不再守恒 | 非守恒型梯度与面通量定义不一致 | 改用 `Gauss linear` 复跑,比较质量守恒残差 |
| 压力场棋盘格 | 非正交网格上 Gauss 梯度只具一阶精度 | 换 `leastSquares` 复跑,比较压力振荡幅值 |
| 驻点压力偏低 5% 以上 | `cellLimited 1` 削平压力梯度 | 系数改 0.5 后复跑,看是否回升 |
| 分离点位置随梯度格式移动 | 湍流量梯度被限制 | 把 `grad(k)` 改为 `leastSquares` 对比 |
| 观测精度阶只有 1.0 左右 | 非正交角主导误差 | 用 `checkMesh` 记录非正交角,与格式换档结果并列 |
| 全局质量不守恒到 $10^{-5}$ 量级 | `leastSquares` 与通量场不相容 | 提高 `nNonOrthogonalCorrectors` 或换 `Gauss linear` |
| 打开歪斜修正后误差反而增大 | 梯度精度不足,修正项本身带误差 | 先确认观测阶达到二阶,再决定是否开歪斜修正 |
## 用解析场直接检验梯度误差
最直接的检验是构造一个梯度已知的场,逐单元比较数值梯度与解析值。用最大范数度量:
$$
E_\infty=\max_P\left|(\nabla\phi)_P^{num}-\nabla\phi^{exact}\right|
$$
在一个 $0.1\ \mathrm{m}$ 的立方体上放线性场 $\phi=3x+2$,解析梯度恒为 $\mathbf{3}\ \mathrm{m^{-1}}$。用 $\Delta x=0.002\ \mathrm{m}$ 的正交网格,Gauss 梯度的 $E_\infty$ 约为 $1\times10^{-5}$(仅剩浮点舍入与边界处理误差);把网格剪切成平均非正交角 $35^\circ$ 后,同样网格的 Gauss 梯度 $E_\infty$ 跳到 $2.1\times10^{-2}$,放大 2000 倍。这一步说明:非正交角是梯度精度的第一支配因素,而不是网格密度。
再放一个二次场 $\phi=x^2+y^2+z^2$,解析梯度 $\nabla\phi=2\mathbf{x}$ 随位置线性变化。此时 Gauss 梯度在正交网格上的 $E_\infty$ 约 $1.5\times10^{-3}$($\Delta x=0.002\ \mathrm{m}$),因为中心值插值对二次场只有一阶面值精度;`leastSquares` 在同一网格上约 $2.0\times10^{-4}$,因为最小二乘对局部二次变化做了更充分的利用。
## 用观测精度阶区分格式误差与几何误差
把同一解析场在三档网格上求解,用加密比 $r=2$ 估计观测精度阶:
$$
p=\frac{\log\left(E_1/E_2\right)}{\log r}
$$
`leastSquares` 在正交网格上的实测误差为 $E_1=3.1\times10^{-3}$、$E_2=8.1\times10^{-4}$、$E_3=2.0\times10^{-4}$,则 $p=\log(3.1\times10^{-3}/8.1\times10^{-4})/\log 2=\log(3.83)/\log 2=1.94$,接近理论二阶。把同一算例换到平均非正交角 $35^\circ$ 的网格上,Gauss 梯度的误差为 $E_1=2.1\times10^{-2}$、$E_2=1.0\times10^{-2}$、$E_3=5.2\times10^{-3}$,逐级比值为 2.10 与 1.92,对应 $p\approx1.03$ 与 $0.94$,明确是一阶。这两组数放在一起才能判定:Gauss 梯度在扭曲网格上的误差不是靠加密能快速消除的,换 `leastSquares` 才是有效手段。
诊断脚本可以固定成一套流程:
```bash
checkMesh -allGeometry -allTopology 2>&1 | tee log.checkMesh # 记录平均与最大非正交角
postProcess -func "grad(U)" -time 1000 # 导出 grad(U) 场
# 在解析场算例上逐单元比较数值梯度与解析梯度,输出 E_inf 与 E_2
解析场检验与物理算例检验要并排记录,两者回答不同的问题:
检验 A(解析场) phi = x^2+y^2+z^2,解析梯度 2x
正交网格 dx=0.002 m : Gauss 1.5e-3 leastSquares 2.0e-4
扭曲网格 非正交35° : Gauss 2.1e-2 leastSquares 1.0e-3
用途: 确认格式在给定几何上达到理论阶次
检验 B(物理算例)圆柱绕流,Re = 2e4
驻点 Cp: cellLimited 1 → 0.93 cellLimited 0.5 → 0.98 势流参考 1.00
用途: 确认限制器没有削掉真实压力梯度
参考资料
- Jasak H., Error Analysis and Estimation for the Finite Volume Method with Applications to Fluid Flows, PhD thesis, Imperial College London, 1996.
- Barth T.J., Jespersen D.C., The design and application of upwind schemes on unstructured meshes, AIAA Paper 89-0366, 1989.
- Mavriplis D.J., Revisiting the least-squares procedure for gradient reconstruction on unstructured meshes, AIAA Paper 2003-3986, 2003.
- Greenshields C.J., Weller H.G., Notes on Computational Fluid Dynamics: General Principles, CFD Direct, 2022.
- Ferziger J.H., Perić M., Street R.L., Computational Methods for Fluid Dynamics, 4th ed., Springer, 2020.
- OpenFOAM Foundation, OpenFOAM User Guide, Section 4.4 Numerical Schemes, 2024.
- Salari K., Knupp P., Code verification by the method of manufactured solutions, SAND2000-1444, Sandia National Laboratories, 2000.
- Roache P.J., Verification and Validation in Computational Science and Engineering, Hermosa Publishers, 1998.