We derive mixed finite element discretizations of a cold relativistics fluid model from approximations of the Poisson bracket that preserve mass, energy and the divergence constraints. For time-discretization we derive an implicit energy-conserving average-vector field method or apply an explicit strong-stability preserving Runge-Kutta scheme. We also consider a coupling of the fluid model to relativistic particles. We perform a numerical study of the scheme which shows convergence and conservation properties of the proposed methods and apply the new scheme to a plasma wake field simulation.
Structure-preserving finite element approximations of a hybrid relativistic cold fluid-particle model 论文ID : 2510.11500标题 : Structure-preserving finite element approximations of a hybrid relativistic cold fluid-particle model作者 : Tileuzhan Mukhamet, Katharina Kormann (Ruhr-University Bochum, Germany)分类 : math.NA cs.NA physics.comp-ph发表时间 : October 14, 2025 (arXiv预印本)论文链接 : https://arxiv.org/abs/2510.11500 本文从Poisson括号的近似出发,推导了相对论性冷流体模型的混合有限元离散化方法,该方法能够保持质量、能量和散度约束。在时间离散化方面,作者推导了隐式能量守恒的平均向量场方法,并应用了显式强稳定性保持Runge-Kutta格式。文章还考虑了流体模型与相对论粒子的耦合。通过数值研究验证了所提出方法的收敛性和守恒性质,并将新格式应用于等离子体尾场模拟。
要解决的问题 :本文旨在构建相对论性冷等离子体流体-粒子混合模型的结构保持数值格式,该模型在激光-等离子体相互作用和粒子加速研究中具有重要应用。问题的重要性 :冷流体模型为等离子体提供了集体的流体描述,在可忽略微观动力学效应时非常有用 在研究色散关系、波现象和平衡态附近的等离子体动力学中发挥关键作用 作为昂贵的粒子模拟方法的更经济替代方案 现有方法的局限性 :相对论方程具有更强的非线性,使得在完全离散级别上的结构保持更具挑战性 之前的工作主要集中在非相对论线性化冷模型上 缺乏对混合流体-粒子模型(1-9)的结构保持离散化研究 研究动机 :构建能够在空间和时间离散级别上精确保持总质量、总能量、弱Gauss定律和divB约束的数值方法。推导了基于Poisson结构的混合有限元空间离散化方法 ,提供了两种不同的基函数选择开发了隐式能量守恒的平均向量场(AVF)时间积分格式 ,在完全离散级别保持所有原始不变量分析了显式强稳定性保持Runge-Kutta方法的守恒性质 ,并提出了Gauss定律清洗程序实现了流体和粒子的一致耦合处理 ,保持了混合系统的物理守恒律通过数值实验验证了方法的收敛性和守恒性 ,并成功应用于等离子体尾场模拟本文研究相对论性冷流体-粒子混合模型的数值求解,该模型包含:
输入 :初始流体密度ρ、流体动量M、电场E、磁场B、粒子位置X_k、粒子动量U_k输出 :时间演化的物理场和粒子状态约束条件 :质量守恒、能量守恒、Gauss定律、divB=0约束控制方程组包括:
流体密度和动量方程(1-2):
∂ t ρ = − ∇ ⋅ ( M γ ( m M / ρ ) ) \partial_t\rho = -\nabla \cdot \left(\frac{M}{\gamma(mM/\rho)}\right) ∂ t ρ = − ∇ ⋅ ( γ ( m M / ρ ) M ) ∂ t M = − ∇ ⋅ ( M ⊗ M ρ γ ( m M / ρ ) ) + ρ e m [ E + M ρ c γ ( m M / ρ ) × B ] \partial_tM = -\nabla \cdot \left(\frac{M \otimes M}{\rho\gamma(mM/\rho)}\right) + \rho\frac{e}{m}\left[E + \frac{M}{\rho c \gamma(mM/\rho)} \times B\right] ∂ t M = − ∇ ⋅ ( ρ γ ( m M / ρ ) M ⊗ M ) + ρ m e [ E + ρ c γ ( m M / ρ ) M × B ] 粒子运动方程(4-5) Maxwell方程组(6-9) 其中相对论因子:γ ( u ) = 1 + u ⋅ u m 2 c 2 \gamma(u) = \sqrt{1 + \frac{u \cdot u}{m^2c^2}} γ ( u ) = 1 + m 2 c 2 u ⋅ u
系统具有Poisson括号结构,Hamiltonian为总能量:
H = ∫ Ω ρ ( γ ( m M / ρ ) − 1 ) c 2 d x + ∑ k w k ( γ ( U k ) − 1 ) m c 2 + 1 8 π ∫ Ω ( E 2 + B 2 ) d x H = \int_\Omega \rho(\gamma(mM/\rho)-1)c^2dx + \sum_k w_k(\gamma(U_k)-1)mc^2 + \frac{1}{8\pi}\int_\Omega (E^2+B^2)dx H = ∫ Ω ρ ( γ ( m M / ρ ) − 1 ) c 2 d x + ∑ k w k ( γ ( U k ) − 1 ) m c 2 + 8 π 1 ∫ Ω ( E 2 + B 2 ) d x
提供两种混合有限元格式:
格式一(无通量形式) :
ρ h ∈ Q k + 1 \rho_h \in Q_{k+1} ρ h ∈ Q k + 1 , M h ∈ Q k + 1 M_h \in Q_{k+1} M h ∈ Q k + 1 , E h ∈ N ~ k E_h \in \tilde{N}_k E h ∈ N ~ k , B h ∈ R T ~ k B_h \in \tilde{RT}_k B h ∈ RT ~ k 格式二(含通量形式) :
ρ h ∈ D G k + 1 \rho_h \in DG_{k+1} ρ h ∈ D G k + 1 , M h ∈ R T k M_h \in RT_k M h ∈ R T k , E h ∈ N ~ k E_h \in \tilde{N}_k E h ∈ N ~ k , B h ∈ R T ~ k B_h \in \tilde{RT}_k B h ∈ RT ~ k 需要处理单元间的数值通量 隐式AVF方法 :
使用平均向量场梯度处理非线性项:
u k + 1 − u k Δ t = J ( u k , u k + 1 ) ⋅ ∫ 0 1 ∂ H ∂ u ( u ξ ) d ξ \frac{u^{k+1}-u^k}{\Delta t} = J(u^k,u^{k+1}) \cdot \int_0^1 \frac{\partial H}{\partial u}(u^\xi) d\xi Δ t u k + 1 − u k = J ( u k , u k + 1 ) ⋅ ∫ 0 1 ∂ u ∂ H ( u ξ ) d ξ
显式SSP-RK方法 :
三阶强稳定性保持Runge-Kutta格式,配合Gauss定律清洗程序。
Poisson结构保持 :通过离散Poisson括号确保反对称性,从而保持能量守恒非线性处理 :使用AVF梯度处理相对论非线性项,保持完全离散级别的守恒性混合耦合 :统一处理流体和粒子贡献,保持电荷守恒和Gauss定律结构保持投影 :使用L²投影确保离散解在正确的函数空间中使用制造解进行收敛性测试:
三维域 Ω = [ − 1 , 1 ] 3 \Omega = [-1,1]^3 Ω = [ − 1 , 1 ] 3 均匀网格细化:h = 2 − i h 0 h = 2^{-i}h_0 h = 2 − i h 0 ,i = 2 , 3 , 4 , 5 i = 2,3,4,5 i = 2 , 3 , 4 , 5 有限元次数:k = 0 , 1 , 2 k = 0,1,2 k = 0 , 1 , 2 收敛性 :L²范数误差守恒性 :
质量误差:mass ( t ) − mass ( 0 ) mass ( 0 ) \frac{\text{mass}(t)-\text{mass}(0)}{\text{mass}(0)} mass ( 0 ) mass ( t ) − mass ( 0 ) 能量误差:H ( t ) − H ( 0 ) H ( 0 ) \frac{H(t)-H(0)}{H(0)} H ( 0 ) H ( t ) − H ( 0 ) Gauss定律误差:max i ∫ Ω [ ∇ ⋅ E − 4 π e ( ρ / m + ∑ k w k δ ( x − X k ) ) ] ϕ i d x \max_i \int_\Omega [\nabla \cdot E - 4\pi e(\rho/m + \sum_k w_k\delta(x-X_k))] \phi_i dx max i ∫ Ω [ ∇ ⋅ E − 4 π e ( ρ / m + ∑ k w k δ ( x − X k ))] ϕ i d x divB约束误差:∥ ∇ ⋅ B h ∥ L 2 \|\nabla \cdot B_h\|_{L^2} ∥∇ ⋅ B h ∥ L 2 参考粒子模拟(用于等离子体尾场验证) 不同时间积分格式的比较 基于deal.II库实现 使用共轭梯度法求解线性系统 Jacobi预条件子 Picard迭代求解非线性系统 电场、磁场、动量 :显示k + 1 k+1 k + 1 阶收敛密度 :出现阶数降低现象两种空间离散格式表现相似 隐式AVF方法 :
所有守恒量误差达到求解器容差10 − 12 10^{-12} 1 0 − 12 精确保持质量、能量、Gauss定律和divB约束 显式SSP-RK方法 :
无粒子时:精确保持质量、Gauss定律、divB约束 有粒子时:质量和divB精确守恒,能量1阶守恒 配合Gauss清洗后:所有约束得到控制 在[ 200 μ m ] 3 [200\mu m]^3 [ 200 μ m ] 3 域中模拟:
等离子体束:8 × 10 4 8 \times 10^4 8 × 1 0 4 个粒子,速度2.9 × 10 8 m / s 2.9 \times 10^8 m/s 2.9 × 1 0 8 m / s 背景等离子体:流体描述,密度10 22 m − 3 10^{22} m^{-3} 1 0 22 m − 3 与全粒子参考模拟对比显示良好一致性 时间步长依赖性 :当粒子速度超过光速时,能量守恒阶数可能降低边界效应 :混合模型在边界处产生的扰动与全粒子模拟有所不同清洗效果 :Gauss定律清洗程序有效控制了电荷守恒误差结构保持方法 :基于变分离散化的不可压缩Euler方程方法粒子方法 :基于有限元外微分的结构保持粒子模拟混合模型 :线性化MHD与高能粒子的耦合方法首次针对非线性相对论性混合模型的结构保持离散化 同时处理流体和粒子的一致框架 完全离散级别的严格守恒性证明 成功构建了相对论性冷流体-粒子混合模型的结构保持有限元方法 隐式AVF方法实现了完全离散级别的所有守恒律 显式方法在适当清洗下也能保持主要物理约束 方法在等离子体尾场模拟中显示了实用价值 密度正性 :方法不保证密度的正性,限制了在blowout区域的应用非线性求解 :隐式方法需要迭代求解,计算成本较高粒子速度限制 :当粒子速度超过光速时,守恒性质可能受影响边界处理 :与全粒子方法在边界条件处理上存在差异引入正性限制器(如人工粘性)保持密度正性 开发更鲁棒的非线性求解器 结合Strang分裂技术优化计算效率 扩展到更复杂的等离子体物理模型 理论严谨性 :基于Hamiltonian结构的严格数学框架方法创新性 :首次将结构保持方法应用于相对论性混合模型实验充分性 :全面的收敛性和守恒性验证实用价值 :成功应用于实际等离子体物理问题计算复杂性 :隐式方法的计算成本分析不够深入参数敏感性 :对网格参数和时间步长的敏感性讨论有限三维扩展性 :大规模三维问题的可扩展性需要进一步验证学术贡献 :为计算等离子体物理提供了新的数值工具实用价值 :在激光等离子体加速等应用中具有重要意义可复现性 :基于开源deal.II库,便于重现和扩展激光-等离子体相互作用模拟 等离子体尾场加速器设计 需要长时间精确守恒的等离子体演化问题 相对论效应显著的等离子体物理研究 论文引用了26篇重要文献,涵盖了结构保持数值方法、等离子体物理建模、有限元方法等相关领域的关键工作,为本研究提供了坚实的理论基础。