[論文レビュー] Regularity for variational problems in the Heisenberg group

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

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

ひとこと要約

本稿では、Heisenberg群における $p$-成長変分積分の弱解について、すべての $1 < p < \infty$ に対して、標準的な凸性および強度条件のもとで、水平勾配のリプシッツ連続性およびホルダー連続性を確立する。主な貢献は、ユークリッド空間の結果を非可換な部分リーマン幾何的設定に拡張する統一的正則性理論を構築し、水平勾配の有界性と最適なホルダー正則性を、新規の重み付きエネルギー推定と反復的減衰法により証明することにある。

ABSTRACT

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

研究の動機と目的

• Heisenberg群における $p$-成長変分積分の弱解について、$p=2$ の場合に既知の結果を一般の $p \in (1,\infty)$ にまで拡張する包括的な正則性理論を確立すること。
• 水平勾配の有界性を証明し、弱解のリプシッツ連続性を示すことにより、従来の文献で確認された $p<4$ の制限を超えること。
• すべての $1<p<\infty$ に対して、弱解の水平勾配のホルダー連続性を確立し、ユークリッド空間における $p$-調和関数の場合と同等の最適正則性結果を得ること。
• 非線形性とHeisenberg群の部分リーマン構造を扱うために、新しい重み付きエネルギー推定と反復的減衰法を開発すること。

提案手法

• パrameter $\beta > 0$ を最適化するために、$(\delta + |\mathfrak{X}u|^2)^{\beta/2} X_l u$ を含む適切に選ばれたテスト関数を用いて、Euler-Lagrange方程式に代入し、重み付きエネルギー推定を導出する。
• 部分積分を適用し、$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 $ を含むようにバランスを取ることで、勾配の振動の減衰を導く、事前推定を確立する。
• 重み付きエネルギー推定に基づく反復的減衰法を用いて、水平勾配のホルダー連続性を証明し、指数は $p$ と次元 $n$ に依存する。
• 事前に得られた結果に基づき、$Tu$ の可積分性を用いてエネルギー推定における低次の項を制御し、正則性を $1<p<\infty$ 全体にまで拡張可能にする。

実験結果

リサーチクエスチョン

• RQ1 Heisenberg群における $p$-成長変分問題の弱解のリプシッツ連続性は、従来の $p<4$ の制限を超えて、すべての $1 < p < \infty$ に対して確立可能か？
• RQ2 デジェネレートケース（$\delta = 0$）であっても、弱解の水平勾配のホルダー連続性は、すべての $1 < p < \infty$ に対して達成可能か？
• RQ3 $p$-調和関数の古典的ユークリッド空間における結果に類似した、Heisenberg群における統一的正則性理論を構築可能か？
• RQ4 水平勾配の最適正則性指数は何か？ そして、$p$ と次元 $n$ にどのように依存するか？
• RQ5 Heisenberg群における $p$-ラプラシアンの非線形性と部分リーマン構造をどのように扱い、事前推定を導出可能か？

主な発見

• 任意の弱解 $u$ の水平勾配 $\mathfrak{X}u$ は、$L^\infty_{\text{loc}}(\Omega)$ で有界であり、$1 < p < \infty$ 全体で $\Omega$ 内で局所的にリプシッツ連続であることを示唆する。
• 水平勾配 $\mathfrak{X}u$ は、$\Omega$ 内で指数 $\alpha = \alpha(p,n) \in (0,1)$ を持つホルダー連続性を示し、$p \geq 2$ の場合に最適な $C^{1,\alpha}$ 正則性に達する。
• 証明は、$ (\delta + |\mathfrak{X}u|^2)^{\frac{p-2+\beta}{2}} $ を重みとする $\mathfrak{X}\mathfrak{X}u$ の $L^2$ ノルムを制御する事前推定を確立しており、これは反復的減衰法において中心的な役割を果たす。
• 本手法は、デジェネレートケース（$\delta = 0$）と非デジェネレートケース（$\delta > 0$）を同時に扱い、従来の $p<4$ の制限を完全に排除する。
• 重み付きエネルギー推定に基づく反復的減衰法により、$p$ と次元 $n$ に依存する定量的ホルダー指数が得られ、$p$ が 2 に近づくにつれて指数は 1 に近づく。
• 結果は、Heisenberg群における $p$-調和関数の正則性理論が、ユークリッド空間の場合と類似しており、$p \geq 2$ の場合に最適な $C^{1,\alpha}$ 正則性が達成されることを確認する。