[论文解读] Smooth Gluing in the Kernel of Underdetermined Elliptic Operators, with Applications

Erwann Delay|arXiv (Cornell University)|Mar 2, 2010

Advanced Numerical Methods in Computational Mathematics被引用 1

一句话总结

本文建立了构造任意阶欠定椭圆偏微分方程光滑紧支解的充分条件，通过在指定区域粘合两个光滑核元素实现。关键结果是这种粘合保持了光滑性，并在粘合区域外精确相等，从而与唯一延拓原理相矛盾，使得解可在任意相对紧致区域恒为零或具有紧支集。

ABSTRACT

We give sufficient conditions for some underdetermined elliptic PDE of any order to construct smooth compactly supported solutions. In particular we show that two smooth elements in the kernel of certain underdetermined linear elliptic operators $P$ can be glued in a chosen region in order to obtain a new smooth solution. This new solution is exactly equal to the starting elements outside the gluing region. This result completely contrasts with the usual unique continuation for determined or overdetermined elliptic operators. As a corollary we obtain compactly supported solutions in the kernel of $P$ and also solutions vanishing in a chosen relatively compact open region. We apply the result for natural geometric and physics contexts such as divergence free fields or TT-tensors.

研究动机与目标

• 确定在何种充分条件下，欠定椭圆算子的核中存在光滑紧支解。
• 证明此类算子核中的两个光滑解可在指定区域平滑粘合，且不损失正则性。
• 通过展示唯一延拓性质在某些欠定椭圆系统中不成立，挑战传统唯一延拓原理。
• 将粘合构造应用于几何与物理情境，如无散向量场和TT-张量。
• 构造在选定相对紧致开子集上恒为零或具有紧支集的解。

提出的方法

• 该方法依赖于构造一个覆盖的单位分解，以隔离粘合区域。
• 使用光滑截断函数在粘合区域内混合两个给定的光滑核元素，同时保持核条件。
• 该构造利用了椭圆算子的欠定性，从而在组合解时具有灵活性。
• 结果表明，所得解是光滑的，且在粘合区域外与原始元素完全相等。
• 该方法具有一般性，适用于任意阶的椭圆算子。
• 该方法通过在几何分析中应用于无散场和TT-张量的实例得到验证。

实验结果

研究问题

• RQ1 在何种条件下，可将欠定椭圆算子的两个光滑解在指定区域平滑粘合，形成核中的新解？
• RQ2 某些欠定椭圆系统中唯一延拓原理是否失效？若失效，其条件为何？
• RQ3 能否通过构造性粘合过程在这些算子的核中构造出紧支集解？
• RQ4 如何将该粘合技术应用于TT-张量和无散向量场等几何对象？
• RQ5 能否构造出在选定相对紧致开子集上恒为零的解？

主要发现

• 在所提出的充分条件下，某些欠定椭圆算子的核中存在光滑紧支解。
• 核中的两个光滑解可在选定区域粘合，产生一个新光滑解，且在粘合区域外与原始元素完全一致。
• 所得解在粘合区域外与原始函数精确相等，同时保持光滑性与核成员身份。
• 可通过该粘合方法构造出在选定相对紧致开子集上恒为零的解。
• 该方法适用于自然的几何与物理算子，包括控制无散场和TT-张量的算子。
• 该构造揭示了与唯一延拓原理的根本性差异，因为这些欠定系统中唯一延拓不成立。