Skip to main content
QUICK REVIEW

[论文解读] Analysis of a space--time hybridizable discontinuous Galerkin method for the advection--diffusion problem on time-dependent domains

Keegan L. A. Kirk, Tamás Horváth|arXiv (Cornell University)|Dec 1, 2018
Advanced Numerical Methods in Computational Mathematics参考文献 19被引用 12
一句话总结

本文首次对时间依赖域上的对流-扩散方程,提出了空间-时间混合间断伽辽金(HDG)方法的分析。通过引入针对移动网格的各向异性迹不等式和逆不等式,作者证明了方法的适定性,并在一种与网格相关的范数下导出了最优阶先验误差估计,数值实验验证了收敛率与理论预测一致,适用于多种多项式阶次。

ABSTRACT

This paper presents the first analysis of a space--time hybridizable discontinuous Galerkin method for the advection--diffusion problem on time-dependent domains. The analysis is based on non-standard local trace and inverse inequalities that are anisotropic in the spatial and time steps. We prove well-posedness of the discrete problem and provide a priori error estimates in a mesh-dependent norm. Convergence theory is validated by a numerical example solving the advection--diffusion problem on a time-dependent domain for approximations of various polynomial degree.

研究动机与目标

  • 开发并分析一种适用于时间依赖域上对流-扩散方程的空间-时间HDG方法,其中网格运动使标准分析变得复杂。
  • 解决在移动域问题中保持几何守恒律(GCL)的挑战,该性质在空间-时间DG方法中天然满足。
  • 将HDG框架扩展至移动网格上的空间-时间格式,通过静态消去法减少自由度,同时保持高阶精度。
  • 在一种与网格相关的范数下导出先验误差估计,该范数考虑了空间和时间离散化的各向异性特性。

提出的方法

  • 在空间-时间区域 E ⊂ Rd+1 中表述对流-扩散问题,将时间视为与空间并列的坐标。
  • 采用在空间和时间上均使用间断伽辽金近似的空间-时间HDG方法,元素界面处引入混合自由度。
  • 定义包含数值通量和近似迹的弱形式,通过混合未知量强制法向通量的连续性。
  • 提出一组新型各向异性迹不等式和逆不等式,同时依赖于空间网格尺寸 hK 和时间步长 ∆t,适用于移动单元。
  • 应用静态消去法,将全局系统简化为仅包含混合迹自由度的形式,显著降低计算成本。
  • 通过结合插值估计与双线性形式的稳定性与一致性的分析,推导出在一种与网格相关的范数下的误差界。

实验结果

研究问题

  • RQ1能否对时间依赖域上对流-扩散方程的空间-时间HDG方法进行严格分析,其中由于缺乏张量积结构,标准空间-时间工具失效?
  • RQ2在移动网格上处理空间与时间离散化非均匀耦合时,需要哪些各向异性逆不等式和迹不等式?
  • RQ3所提出的时空HDG方法是否在任意网格运动下仍能保持空间和时间方向的最优收敛速率?
  • RQ4该方法在实际应用中表现如何,数值收敛率是否与理论预测一致?

主要发现

  • 空间-时间HDG方法是适定且稳定的,双线性形式在适当假设下满足 inf–sup 条件。
  • 在一种与网格相关的范数下导出了最优阶先验误差估计,表明解及其梯度的收敛率为 O(h^{2p_s} + ∆t^{2p_t+1})。
  • 在对流主导情形(ν = 10^{-6})下,该方法在 |||·|||_s 范数下实现了 p + 1/2 阶的超收敛速率,超过标准速率。
  • 数值结果证实了理论收敛率:当 ν = 10^{-2} 时约为 p 阶,当 ν = 10^{-6} 时为 p + 1/2 阶,适用于多项式阶次 p = 1, 2, 3。
  • 该方法在非结构化、时间依赖的网格上保持了高阶精度与稳定性,解能准确追踪旋转的高斯脉冲。
  • 通过引入依赖于 hK 和 ∆t 的各向异性迹不等式和逆不等式,分析可推广至一般移动域,实现了严格的误差控制。

更好的研究,从现在开始

从论文设计到论文写作,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。