[论文解读] Sobolev and Lipschitz regularity for local minimizers of widely degenerate anisotropic functionals

Lorenzo Brasco, Chiara Leone+2 more|arXiv (Cornell University)|Apr 14, 2016

Nonlinear Partial Differential Equations参考文献 30被引用 10

一句话总结

本论文建立了广泛退化各向异性泛函在超二次增长下有界局部极小元的Sobolev与Lipschitz正则性。在指数 $ p_i $ 与退化参数 $ \delta_i $ 满足适当条件时，变换后的梯度 $ \mathcal{V}_i = \int_0^{u_{x_i}} \sqrt{g_i''(\tau)}\,d\tau $ 属于 $ W^{1,2}_{\text{loc}} $，从而在无各向异性限制的二维情形下实现局部Lipschitz连续性。

ABSTRACT

We prove higher differentiability of bounded local minimizers to some widely degenerate functionals, verifying superquadratic anisotropic growth conditions. In the two dimensional case, we prove that local minimizers to a model functional are locally Lipschitz continuous functions, without any restriction on the anisotropy.

研究动机与目标

• 建立广泛退化各向异性泛函在非标准增长下局部极小元的更高阶可微性与正则性性质。
• 将已知的 $ p $-Laplacian 类型问题结果推广至各向异性情形，其中各向异性指数 $ p_i \geq 2 $。
• 通过证明极小元在无附加约束下实现局部Lipschitz连续性，消除二维情形下对各向异性的限制。
• 发展一种通用框架，通过加权反向Hölder不等式与迭代估计提升可微性。

提出的方法

• 引入变换 $ \mathcal{V}_i(u_{x_i}) = \int_0^{u_{x_i}} \sqrt{g_i''(\tau)}\,d\tau $，以线性化泛函的退化结构。
• 应用基于加权反向Hölder不等式与Morrey型空间中迭代估计的一般性可微性提升方案。
• 利用涉及 $ V_i $ 与 $ g_i'' $ 的逐点不等式控制梯度行为，特别借助Jensen不等式与 $ C^{1,1} $ 凸性。
• 通过 $ f_\varepsilon $ 与 $ \mathcal{W}_1, \mathcal{W}_2 $ 的截断与逼近技术处理退化性，并建立一致估计。
• 以迭代形式执行反向Hölder估计，形式为 $ \| \mathcal{W}_1^{s p_1} \|_{L^1} \leq C \cdot \| \mathcal{W}_1^{s p_1} \|_{L^1}^{2/p_1} $，以推导更高阶可积性。
• 建立 $ \| \nabla \mathcal{V}_i \|_{L^2(B_r)} $ 的一致有界性，其依赖于 $ \|u\|_{L^\infty} $、$ \|f\|_{W^{1,\mathbf{p}'}} $ 与几何参数。

实验结果

研究问题

• RQ1 在何种指数 $ p_i $ 与退化参数 $ \delta_i $ 条件下，各向异性泛函的有界局部极小元表现出更高阶可微性？
• RQ2 在二维情形下，是否可在无各向异性限制下建立极小元的局部Lipschitz连续性？
• RQ3 如何处理梯度结构中的退化性，以推导变换梯度 $ \mathcal{V}_i $ 的 $ W^{1,2} $ 正则性？
• RQ4 反向Hölder不等式与迭代估计在提升 $ \mathcal{V}_i $ 的可积性中起何种作用？
• RQ5 能否将各向同性 $ p $-Laplacian 问题的正则性理论推广至各向异性的广泛退化情形？

主要发现

• 当 $ \ell = N-1 $ 时，若 $ p \geq N-1 $ 或满足某些亚临界条件，则对所有 $ i=1,\dots,N $，有 $ \mathcal{V}_i \in W^{1,2}_{\text{loc}}(\Omega) $。
• 当 $ 1 \leq \ell \leq N-2 $ 时，若 $ p \geq N-2 $ 或满足相同亚临界条件，则对所有 $ i=1,\dots,N $，有 $ \mathcal{V}_i \in W^{1,2}_{\text{loc}}(\Omega) $。
• 在二维情形下，极小元在无任何各向异性限制下为局部Lipschitz连续，即使 $ p_1 \neq p_2 $ 亦成立。
• 估计式 $ \| \nabla \mathcal{V}_i \|_{L^2(B_r)} \leq C $ 一致成立，其中常数 $ C $ 依赖于 $ N, p, q, \mathcal{C}, \delta, \text{dist}(B_R, \partial\Omega), \|u\|_{L^\infty(B_R)}, \|f\|_{W^{1,\mathbf{p}'}}(B_R) $。
• 证明依赖于一种新颖的迭代反向Hölder不等式方案，其中精心选取指数 $ q = \frac{2p_1}{p_1+1} $ 以平衡可积性与退化性。
• $ g_i' $、$ g_i'' $ 与 $ V_i $ 之间的逐点不等式在控制非线性性并实现迭代过程中起关键作用。