[论文解读] Sublinear Elliptic Operators

Karl K. Brustad|arXiv (Cornell University)|Feb 12, 2018

Numerical methods in inverse problems参考文献 1被引用 3

一句话总结

本文通过将对称矩阵空间中的凸体与二阶次线性椭圆算子联系起来，建立了一个关于次线性椭圆算子的全面理论。证明了每个次线性算子唯一对应一个凸体，从而实现了对退化与一致椭圆性等关键性质的几何表征，并通过极值点表示法将结果应用于Pucci算子和主导p-Laplacian算子。

ABSTRACT

We investigate second order elliptic equations \[F(\mathcal{H}u) = 0\] where the function $F\colon S(n) o\mathbb{R}$ on the space of symmetric $n imes n$ matrices is assumed to be sublinear. There is very little to be found in the literature devoted particularly to sublinear elliptic operators. When examples of such operators occur, they are often merely treated as members of the larger class of convex operators. That class has been thoroughly investigated and many of its aspects are well understood. There is, however, something to be said about sublinear operators that do not, in general, apply to convex operators.

研究动机与目标

• 发展次线性椭圆算子的系统理论，尽管其在非线性PDE中具有重要意义，但目前仍研究不足。
• 在对称矩阵空间中建立次线性算子与凸体之间的一一对应关系。
• 利用其关联凸体的几何性质，表征退化与一致椭圆的次线性算子。
• 为次线性算子推导比较原理、叠加规则与基本解。
• 将已知的粘性解与正则性结果扩展至次线性情形，特别是针对Pucci算子与主导p-Laplacian算子。

提出的方法

• 将次线性算子表示为 F(X) = max_{Y∈K} ⟨Y,X⟩，其中 K 是 S(n) 中的凸体，从而将算子理论与凸几何联系起来。
• 利用凸体的极值点结构，将Pucci算子表征为 P_{λ,Λ}(X) = max_{P∈Pr(n)} tr((λI + (Λ−λ)P)X)，从而获得闭式表达式。
• 证明一致椭圆性等价于 K ⊆ K_{λ,Λ}，其中 K_{λ,Λ} 是Pucci算子对应的凸体。
• 将该理论应用于证明：一致椭圆次线性方程的粘性解具有 C^{2,α} 正则性。
• 利用 F(X) = max_{Y∈K} ⟨Y,X⟩ 与 K 的支撑函数之间的对偶性，推导出比较原理与稳定性结果。
• 运用上/下卷积与粘性解技术分析次解与超解，指出其在符号反转下表现出非对称行为。

实验结果

研究问题

• RQ1 如何利用对称矩阵空间中的凸几何，系统地对次线性椭圆算子进行分类与表征？
• RQ2 凸体 K ⊂ S(n) 的精确几何条件是什么，可确保关联算子 F(X) = max_{Y∈K} ⟨Y,X⟩ 的退化或一致椭圆性？
• RQ3 为何在次线性情形下，次解与超解在符号反转下表现出非对称行为，而在线性或p-Laplacian情形下则不然？
• RQ4 Pucci算子与主导p-Laplacian算子如何表示为凸体中极值矩阵的上确界？
• RQ5 凸体的极值点结构在决定解的正则性与比较性质方面起什么作用？

主要发现

• 每个次线性算子 F: S(n) → ℝ 唯一地由一个凸体 K ⊂ S(n 生成，满足 F(X) = max_{Y∈K} ⟨Y,X⟩。
• Pucci算子 P_{λ,Λ}(X) 被表征为 P_{λ,Λ}(X) = max_{P∈Pr(n)} tr((λI + (Λ−λ)P)X)，其简化形式为 Λ tr(X⁺) − λ tr(X⁻)。
• 当且仅当其关联凸体 K 包含于 K_{λ,Λ}（即Pucci算子对应的凸体）时，次线性算子才是一致椭圆的，且椭圆常数满足 0 < λ ≤ Λ。
• 一致椭圆次线性方程的粘性解具有 C^{2,α} 正则性，将经典结果从凸算子推广至次线性情形。
• 凸体 K_{λ,Λ} 的极值点集恰好为 {λI} ∪ (Λ−λ)Pr(n)，对应于正交投影与单位矩阵。
• 次解与超解在符号反转下不具有对称性：若 u 是超解，则 −u 是次解，但反之一般不成立。