[论文解读] Mixed-Dimensional Elliptic Partial Differential Equations

Wietse M. Boon, Jan M. Nordbotten+1 more|arXiv (Cornell University)|Oct 2, 2017

Advanced Mathematical Modeling in Engineering被引用 7

一句话总结

本文提出了一套针对涉及不同维度子流形的混合维椭圆偏微分方程的数学框架，其中微分算子耦合了切向与法向的跳跃不连续性。通过引入新的内积、共导数算子和不等式，建立了Hodge-Laplacian问题的适定性，从而确保在裂缝多孔介质和电磁学应用中的唯一可解性。

ABSTRACT

We are interested in partial differential equations on a domain containing a set of possibly intersecting embedded submanifolds of dimension $n-1$, where partial differential equations are also defined on the sub-manifolds. The partial differential equations on any given $d$-dimensional submanifold will then satisfy equations including differentials tangent to the manifold as well as discrete differentials (jumps) normal to the manifold. The combined action of the differentials and jumps leads to the notion of a semi-discrete differential operator coupling manifolds of different dimensions. We refer to such systems as mixed-dimensional, and applications are found in fractured and composite materials. We establish tools for analyzing elliptic equations (Hodge-Laplacian) in the mixed-dimensional setting, including suitable inner products, coderivative operators, Poincar\'e lemma and Poincar\'e--Friedrichs inequality. With these tools, we define the mixed-dimensional minimization problem corresponding to the Hodge-Laplacian, and show that this minimization problem is well-posed. Consequently, we also obtain the unique solvability of variational problems. The manuscript is concluded by showing how the analysis applies to model equations for flow in faulted and fractured porous media, and operators from fluids and electromagnetism. Mixed-dimensional model equations have become popular for computational analysis of these applications.

研究动机与目标

• 开发针对包含 $n-1$ 维子流形的域上椭圆PDE的严格数学框架，以实现对耦合微分与跳跃条件的分析。
• 解决在裂缝和复合材料中建模物理现象的挑战，其中界面处的不连续性至关重要。
• 建立基础分析工具，如内积、共导数算子和Poincaré型不等式，用于混合维系统。
• 证明混合维Hodge-Laplacian变分问题的适定性，确保唯一可解性。
• 展示该框架在断层裂缝多孔介质中流体流动及电磁算子等实际问题中的适用性。

提出的方法

• 定义一个半离散微分算子，将 $d$ 维子流形上的切向导数与低维界面处的法向跳跃耦合。
• 引入一种混合维内积，用于考虑不同维度子流形上连续与不连续分量的组合。
• 构建与混合维结构相容的共导数算子，确保对偶性和伴随一致性。
• 证明混合维Poincaré引理和Poincaré–Friedrichs不等式，以在能量空间中控制解。
• 利用新内积和共导数算子，将混合维最小化问题表述为等价于Hodge-Laplacian的形式。
• 建立双线性形式的强制性与连续性，通过Lax-Milgram引理确保适定性。

实验结果

研究问题

• RQ1 如何在包含不同维度相交子流形的域上一致地表述偏微分方程？
• RQ2 在混合维设置中，为正确定义能量范数和变分形式，需要何种内积结构？
• RQ3 能否在混合维空间中建立Poincaré型不等式，以确保解的稳定性？
• RQ4 混合维Hodge-Laplacian变分问题是否适定，是否能保证唯一可解性？
• RQ5 该框架如何应用于建模流体在裂缝多孔介质中的流动或具有嵌入界面的电磁场等物理系统？

主要发现

• 提出了一种新的半离散微分算子，可将子流形上的切向导数与法向跳跃耦合，实现跨混合维的一致建模。
• 为混合维空间定义了合适的内积，使能够以适当的能量控制形式表述变分问题。
• 在混合维设置中建立了Poincaré–Friedrichs不等式，确保了解在能量范数下的有界性。
• 证明了混合维Hodge-Laplacian最小化问题的适定性，保证了变分形式的唯一可解性。
• 该框架成功应用于模拟断层裂缝多孔介质中流体流动的方程，验证了其在实际应用中的相关性。
• 该分析可扩展至电磁学和流体动力学中的算子，展示了其在多物理场建模中的广泛适用性。