[論文レビュー] 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}} $ に属することを証明し、異方性制約なしに次元2における局所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 $-ラプラシアン型問題に関する既知の結果を、$ p_i \geq 2 $ である異なる指数を有する異方的ケースに拡張すること。
• 次元2において異方性制限を除去し、追加制約なしに最小解の局所Lipschitz連続性を確立すること。
• 重み付き逆ホルダー不等式および反復推定を用いた微分可能性の向上のための一般枠組みを構築すること。

提案手法

• 汎関数の退化構造を線形化するために、変換 $ \mathcal{V}_i(u_{x_i}) = \int_0^{u_{x_i}} \sqrt{g_i''(\tau)}\,d\tau $ を導入する。
• モレイ型空間における重み付き逆ホルダー不等式および反復推定に基づく微分可能性向上の一般的スキームを適用する。
• 点での不等式（$ V_i $ と $ g_i'' $ に関連）を用いて勾配の挙動を制御し、特にジェンセンの不等式および $ C^{1,1} $ 凸性を活用する。
• 退化および一様推定の確立を処理するため、$ f_\varepsilon $ および $ \mathcal{W}_1, \mathcal{W}_2 $ を用いた切り捨ておよび近似技術を採用する。
• 反復的逆ホルダー推定を $ \| \mathcal{W}_1^{s p_1} \|_{L^1} \leq C \cdot \| \mathcal{W}_1^{s p_1} \|_{L^1}^{2/p_1} $ の形で実行し、より高い可積分性を導出する。
• 幾何的パrameter、$ \|u\|_{L^\infty} $、$ \|f\|_{W^{1,\mathbf{p}'}} $ に依存する $ \| \nabla \mathcal{V}_i \|$ の一様有界性を確立する。

実験結果

リサーチクエスチョン

• RQ1 指数 $ p_i $ および退化パラメータ $ \delta_i $ に対してどのような条件下で、異方的汎関数の有界局所最小解がより高い微分可能性を示すか？
• RQ2 次元2において、異方性制限なしに最小解の局所Lipschitz連続性を確立できるか？
• RQ3 勾配構造の退化をどのように処理することで、変換勾配 $ \mathcal{V}_i $ の $ W^{1,2} $ 正則性を導けるか？
• RQ4 逆ホルダー不等式および反復推定は、$ \mathcal{V}_i $ の可積分性の向上にどのように寄与するか？
• RQ5 等方的 $ p $-ラプラシアン問題の正則性理論を、異方的かつ広範に退化した場合に拡張できるか？

主な発見

• $ \ell = N-1 $ の場合、$ p \geq N-1 $ または $ p $ および $ q $ に関するある種の次臨界条件が成立するならば、すべての $ 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) $ である。
• 次元2では、異方性に制限がなく、$ p_1 \neq p_2 $ であっても、局所最小解は局所Lipschitz連続である。
• 推定 $ \| \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) $ に依存する。
• 推定の証明は、可積分性と退化のバランスを取るために、適切に選ばれた指数 $ q = \frac{2p_1}{p_1+1} $ を用いた、独創的な反復的逆ホルダー不等式スキームに依存する。
• $ g_i' $、$ g_i'' $、および $ V_i $ 間の点での不等式は、非線形性の制御および反復の実行に不可欠である。