[论文解读] Local boundedness, maximum principles, and continuity of solutions to infinitely degenerate elliptic equations

Lyudmila Korobenko, Cristian Rios+2 more|arXiv (Cornell University)|Jun 30, 2015

Nonlinear Partial Differential Equations参考文献 7被引用 4

一句话总结

该论文通过在退化几何中使用新颖的Poincaré不等式和Orlicz-Sobolev不等式，建立了具有粗糙系数的无限退化椭圆方程弱解的局部有界性、最大值原理和连续性。证明了在特定对数退化条件下，例如由函数族 $ f_{k, au}(x) = |x| \left(\ln(k) \frac{1}{|x|}\right)^\sigma $ 定义的条件，解保持有界且连续，并将这些结果应用于证明具有温和非线性和退化性的拟线性方程的弱强椭圆性。

ABSTRACT

We develop subrepresentation inequalities for infinitely degenerate metrics, and obtain corresponding Poincare and Sobolev inequalities. We then derive conditions on the degenerate metric under which weak solutions to associated infinitely degenerate equations with rough coefficients are locally bounded, satisfy a maximum principle, or are continuous. As an application we obtain W-hypoellipticity of certain infinitely degenerate quasilinear equations with smooth coefficients having mild nonlinearities and degeneracies.

研究动机与目标

• 为具有粗糙系数的无限退化椭圆方程发展一种De Giorgi-Moser型正则性理论。
• 将经典解的局部有界性和连续性理论扩展到椭圆性在某一点以无限阶退化为零的情形。
• 刻画弱解保持局部有界、满足最大值原理或连续的条件，特别是针对退化形式为 $ f_{k,\sigma}(x) = |x| (\ln(k)/|x|)^\sigma $ 的方程。
• 证明具有此类退化性和光滑数据的某些拟线性方程的弱强椭圆性（所有弱解均为光滑的）。
• 通过反例证明结果的最优性，并将理论推广至三维空间。

提出的方法

• 为无限退化向量场的几何特性量身定制子表示不等式。
• 在平面和高维空间中，针对与 $ f_{k,\sigma} $ 相关的退化度量，推导出Poincaré不等式和Orlicz-Sobolev不等式。
• 在假设这些不等式成立的前提下，应用抽象的Moser和De Giorgi迭代技术，将经典方法推广至退化情形。
• 利用A-测地线和A-弧长定义退化度量的内在几何结构，从而实现积分和范数估计。
• 将理论应用于 $ \mathbb{R}^3 $ 中的Kusuoka-Stroock算子，证明在特定退化条件下存在无界弱解。
• 采用极坐标和坐标变换分析径向对称性，并证明非平凡径向解的不存在性。

实验结果

研究问题

• RQ1 当 $ k $ 和 $ \sigma $ 满足何种条件时，方程 $ \text{div}(A(x,y,u)\nabla u) = \varphi(x,y) $ 的每个弱解在 $ A \sim \begin{pmatrix} 1 & 0 \\ 0 & f_{k,\sigma}(x)^2 \end{pmatrix} $ 下是局部有界的？
• RQ2 在无限退化情形下，最大值原理在弱次解中何时成立？
• RQ3 在相同退化条件下能否建立弱解的连续性，Orlicz-Sobolev不等式在此过程中起什么作用？
• RQ4 退化的临界阈值（以 $ \sigma $ 和 $ k $ 表示）是什么？超过该阈值后，解可能不再有界或连续？
• RQ5 该理论是否可推广至三维空间？对Kusuoka-Stroock算子有何影响？

主要发现

• 当 $ \sigma > 1 $ 且 $ k \geq e $ 时，方程 $ \partial_x^2 u + f_{k,\sigma}(x)^2 \partial_y^2 u = \varphi(x,y) $ 的解是局部有界的，且通过反例证明了该条件的最优性。
• 当 $ \sigma > 1 $ 时，弱次解满足最大值原理，且在该条件下建立了内球不等式。
• 当 $ \sigma > 1 $ 时，弱解是连续的，其连续性通过Bombieri型迭代和半Harnack不等式得以证明。
• 在三维空间中，Kusuoka-Stroock算子 $ \partial_x^2 + \partial_y^2 + f(x)^2 \partial_z^2 $ 是强椭圆的，当且仅当 $ \lim_{x \to 0} x \ln f(x) = 0 $，且该条件是最优的。
• 在退化几何中，方程 $ L u = 0 $ 不存在非平凡径向解，因为径向结构与度量的各向异性不相容。
• 当 $ \sigma \leq 1 $ 时，论文构造了一个显式不连续弱解的例子，证明了 $ \sigma > 1 $ 条件的最优性。