[论文解读] Regularity for variational problems in the Heisenberg group

Xiao Zhong|arXiv (Cornell University)|Nov 9, 2017

Nonlinear Partial Differential Equations参考文献 21被引用 14

一句话总结

该论文在标准凸性和椭圆性条件下，为Heisenberg群中所有 $1 < p < \infty$ 的 $p$-增长变分积分的弱解，建立了水平梯度的Lipschitz连续性和Hölder连续性。其主要贡献是提出了一套统一的正则性理论，将欧几里得结果推广至子黎曼几何设定，通过一种新颖的加权能量估计和迭代衰减论证，证明了水平梯度的有界性以及梯度的最优Hölder正则性。

ABSTRACT

We study the regularity of minima of scalar variational integrals of $p$-growth, $1

研究动机与目标

• 为Heisenberg群中 $p$-增长变分积分的弱解建立一个全面的正则性理论，将已知的 $p=2$ 情况结果推广至一般 $p \in (1,\infty)$。
• 证明水平梯度的有界性，从而得出弱解的Lipschitz连续性，克服了文献中此前存在的 $p<4$ 限制。
• 为所有 $1<p<\infty$ 建立弱解水平梯度的Hölder连续性，实现与欧几里得 $p$-调和情形相类似的最优正则性结果。
• 开发一种新的加权能量估计和迭代衰减论证，以处理Heisenberg群中非线性和子黎曼结构的复杂性。

提出的方法

• 通过选择一个精心设计的测试函数 $ (\delta + |\mathfrak{X}u|^2)^{\beta/2} X_l u $，其中 $\beta > 0$ 为待优化的参数，推导出一种加权能量估计。
• 应用分部积分法，并利用 $f$ 的结构条件，将二阶水平导数 $X_i X_l u$ 控制在低阶项和垂直导数 $Tu$ 的范围内。
• 使用柯西-施瓦茨不等式和结构条件 $ (\delta + |z|^2)^{\frac{p-2}{2}} |\xi|^2 \leq \langle D^2f(z)\xi,\xi\rangle \leq L(\delta + |z|^2)^{\frac{p-2}{2}} |\xi|^2 $ 来控制非线性项。
• 通过平衡左侧（控制 $ |\mathfrak{X}\mathfrak{X}u|^2 $）与右侧（涉及 $ |\mathfrak{X}\eta|^2 $、$ |T\eta| $ 和 $ |Tu|^2 $）的项，建立先验估计，从而推导出梯度振幅的衰减。
• 基于加权能量估计，采用迭代衰减论证，证明水平梯度的Hölder连续性，其指数依赖于 $p$ 和维数 $n$。
• 利用先前结果中关于垂直导数 $Tu$ 的可积性，控制能量估计中的低阶项，从而实现正则性在 $1<p<\infty$ 全范围内的推广。

实验结果

研究问题

• RQ1 能否在 $1 < p < \infty$ 范围内，为Heisenberg群中 $p$-增长变分问题的弱解建立Lipschitz连续性，突破此前文献中仅适用于 $p < 4$ 的限制？
• RQ2 在退化情形（$\delta = 0$）下，弱解水平梯度的Hölder连续性是否对所有 $1 < p < \infty$ 均可实现？
• RQ3 能否在Heisenberg群中建立一个统一的正则性理论，使其与经典欧几里得情形下 $p$-调和函数的结果相类比？
• RQ4 水平梯度的最优正则性指数是多少？其如何依赖于 $p$ 和维数 $n$？
• RQ5 如何处理Heisenberg群中 $p$-拉普拉斯算子的子黎曼结构与非线性性，以推导出先验估计？

主要发现

• 任意弱解 $u$ 的水平梯度 $\mathfrak{X}u$ 局部属于 $L^\infty_{\text{loc}}(\Omega)$，这意味着对所有 $1 < p < \infty$，$u$ 在 $\Omega$ 中局部Lipschitz连续。
• 水平梯度 $\mathfrak{X}u$ 在 $\Omega$ 中具有Hölder连续性，指数为 $\alpha = \alpha(p,n) \in (0,1)$，对 $p \geq 2$ 实现了最优的 $C^{1,\alpha}$ 正则性。
• 该证明建立了控制加权 $L^2$-范数 $ |\mathfrak{X}\mathfrak{X}u|^2 $ 的先验估计，权重为 $ (\delta + |\mathfrak{X}u|^2)^{\frac{p-2+\beta}{2}} $，这对迭代衰减论证至关重要。
• 该方法同时处理了退化情形（$\delta = 0$）和非退化情形（$\delta > 0$），消除了此前Lipschitz正则性中对 $p<4$ 的限制。
• 基于加权能量估计的迭代衰减论证，得到了一个依赖于 $p$ 和维数 $n$ 的定量Hölder指数，当 $p$ 趋近于2时，该指数趋近于1。
• 结果证实，Heisenberg群中 $p$-调和函数的正则性理论与欧几里得情形类似，对 $p \geq 2$，$C^{1,\alpha}$ 正则性为最优。