网格生成文献卷 05:高阶曲边网格与边界层

高阶网格不是“在线性边上多放几个点”

对参考单元K^\hat K,高阶几何映射写成

x(ξ)=∑i=1npNi(p)(ξ)xi.x(\xi)=\sum_{i=1}^{n_p}N_i^{(p)}(\xi)x_i.

角点有效并不保证整个曲边单元有效。真正条件是

det⁡J(ξ)>0,∀ξ∈K^.\det J(\xi)>0,\qquad \forall \xi\in\hat K.

当边界节点被投影到 CAD 曲面,内部高阶节点也会移动,det⁡J\det J 是一个高次多项式,可能在采样点之间变负。因此这条文献线围绕三个问题展开:怎样弯曲、怎样检查、怎样在保持几何精度时修复。

2002–2012:曲边生成从经验形变走向优化

级别工作核心方法关键阅读点
AMesh Generation in Curvilinear Domains Using High-Order Elements, 2002早期系统讨论曲边高阶单元生成与边界贴合等参映射、边界节点和内部形变如何耦合
APersson–Peraire, Curved Mesh Generation and Mesh Refinement Using Lagrangian Solid Mechanics, 2009把网格看作非线性弹性体,边界弯曲驱动内部节点材料模型、约束和大形变下的翻转
BRobust Boundary Layer Mesh Generation, 2012面向曲面附近强各向异性层的鲁棒生成法向推进碰撞、局部厚度和拓扑变化

2013–2018:untangling、变分框架与工业几何

级别论文推进没有自动解决的事
ARobust Untangling of Curvilinear Meshes, 2013以正则化 Jacobian/畸变目标把翻转单元拉回可行域严格可行性仍依赖初值、边界和优化路径
AArbitrary-Order Curved Mesh Generation, 2013系统处理任意阶曲边元素和内部节点位置极端曲率、薄间隙和高各向异性
AIsoparametric High-Order Curvilinear Boundary-Layer Meshes, 2015将高阶曲边与薄棱柱/边界层结合层碰撞、曲率半径和厚度尺度竞争
BCurvilinear Mesh Generation for Thermoelastic Problems, 2016把变形模型与 CAD/物理类比用于曲边优化物理类比材料参数不等于 PDE 最优网格
AA Variational Framework for High-Order Mesh Generation, 2016用目标矩阵/变分质量把多种形状目标统一目标函数、barrier 与边界约束选择
BHybrid High-Order Mesh Generation, 2017联结四面体、棱柱等混合单元与边界层不同单元接口的高阶连续与质量度量
ACurvilinear Mesh Generation Using a Variational Framework, 2018在 CAD 几何约束下优化曲边网格CAD 参数域奇异、trim 和容差问题

2018–2026:工具链、局部操作与证书

级别工作意义研究边界
BHigh-Order Hybrid Meshes for Industrial Geometries, 2018将高阶边界层流程推向复杂工程构型成功案例仍需配合失败率、人工处理与 CAD 条件
BAdvancing-Layer Surface Meshes, 2020从表面层结构出发改进高阶边界层生成正常偏移曲面的自交与终止事件
BTMOP: Target-Matrix Optimization Paradigm在高性能有限元环境中统一尺寸、形状、方向和适应目标离散目标与全域正 Jacobian 认证不同
CNekMesh, 2024提供可复现的高阶曲边网格软件流程需记录 CAD 内核、元素阶次和优化参数
BLocal Element Operations for Curved Simplex Meshes, 2024将 split/collapse/swap 思想推广到曲边高阶单元操作后误差界与全局收敛
BHigh-Order Meshing from Third-Party Linear Meshes, 2026强调与既有线性生成器/CAD 管线衔接上游边界拓扑和线性网格质量仍限制结果
BCurvilinear Polygonal Virtual Elements, 2026探索更一般曲边多边形/数值离散接口属于离散方法与网格表示交叉,不能直接替代体网格生成

有效性检查为何不能只采样

在 Bernstein–Bézier 基下,det⁡J\det J 可表示为控制系数组合。若所有相关 Bernstein 系数为正,可以得到全域正性的充分证书;若有负系数,不能立刻断言无效,可递归细分参数域以收紧界。

这形成三级检查:

  1. 快速 quadrature/sample 检查,用于筛除明显问题;
  2. Bernstein 包围与自适应细分,用于严格证书;
  3. 若证书失败,进入带 barrier 的优化或局部拓扑修改。

必须区分“在若干积分点det⁡J>0\det J>0”和“对整个参考单元det⁡J>0\det J>0”。前者只是有限采样证据。

边界层是独立难题

CFD 边界层要求法向极细、切向较粗的棱柱/六面体层。若第一层高度为h0h_0、增长率为rr、层数为nn,总厚度为

H=h0rn−1r−1.H=h_0\frac{r^n-1}{r-1}.

但几何可行性还受局部曲率半径、邻近壁面距离和凹角控制。沿法向推进到达 medial axis 前,偏移曲面可能相交;在尖角附近,法向甚至不唯一。因而边界层算法必须包含碰撞检测、局部停止/合并、特征分类和体网格过渡。

补充近年入口:

与求解器的真实联系

高阶几何并不必然提高解精度。至少要共同考虑:

几何阶次 pg,解空间阶次 pu,积分阶次 pq,κ(J),min⁡det⁡J.\text{几何阶次 }p_g, \quad \text{解空间阶次 }p_u, \quad \text{积分阶次 }p_q, \quad \kappa(J), \quad \min \det J.

几何映射畸变会放大梯度、影响积分误差和矩阵条件数。论文比较若只报最小 Jacobian,却不报 PDE 误差、积分规则和自由度,就无法证明方法对高阶仿真更好。

推荐复现实验

  1. 从同一个线性三角/四面体网格生成p=2,3,4p=2,3,4 曲边网格;
  2. 在圆/球和高曲率 CAD 上投影边界节点;
  3. 对比弹性形变、Winslow/目标矩阵和 barrier 优化;
  4. 同时做采样 Jacobian 与 Bernstein 证书;
  5. 在相同自由度下运行 Poisson/弹性问题,记录误差、条件数和总时间;
  6. 制造薄间隙与凹角,记录边界层首先在哪个约束上失败。

返回文献地图 · 对应教学正文