[論文レビュー] Lipschitz regularity for orthotropic functionals with nonstandard growth conditions

Pierre Bousquet, Lorenzo Brasco|arXiv (Cornell University)|Oct 9, 2018

Nonlinear Partial Differential Equations参考文献 24被引用数 45

ひとこと要約

本稿では、$ 2 \leq p_1 \leq \cdots \leq p_N $ を満たす非標準的成長条件をもつ直交的関数の有界局所最小解の局所リプシッツ正則性を確立する。$ p_N/p_1 $ の上限が存在しない場合でも成立する。証明は、新規の反復モーザー型スキームとキャッチョッピオリ型不等式、勾配の再帰的可積分性の向上に依拠し、任意の有界局所最小解 $ U $ に対して $ \nabla U \in L^\infty_{\text{loc}}(\Omega) $ を得る。これは、退化的で異方的かつ非標準的成長を示す問題における正則性理論における長年のギャップを解消する。

ABSTRACT

We consider a model convex functional with orthotropic structure and super-quadratic nonstandard growth conditions. We prove that bounded local minimizers are locally Lipschitz, with no restrictions on the ratio between the highest and the lowest growth rate.

研究の動機と目的

• 本稿の目的は、非標準的成長条件をもつ直交的関数の有界局所最小解の局所リプシッツ正則性を確立することにある。
• 退化的で異方的かつ変動成長を示す偏微分方程式の正則性理論における顕著なギャップを埋めることにある。
• 目的は、$ p_N/p_1 $ が任意に大きい場合であっても、任意の有界局所最小解 $ U $ に対して $ \nabla U \in L^\infty_{\text{loc}}(\Omega) $ が成り立つことを証明することにある。
• 最高と最低の成長指数比に制限を課す必要がある従来の結果を拡張することにある。
• このような関数の強い退化性に対処するための新しい手法的枠組みを提供することにある。

提案手法

• 著者らは正則化された問題を採用し、勾配のエネルギーを制御するためにキャッチョッピオリ型不等式を導出する。
• 勾配の高次可積分性を獲得するため、モーザー法にインspiredされた再帰的反復スキームを開発する。
• 重要なステップとして、勾配の成長を制御するための再帰的系を満たす指数列 $ \{\beta_j^\ell\} $ を構成する。
• 重み付きソボレフ不等式と巧みに選ばれたテスト関数を用いて、指数比に依存しない一様な境界を得る。
• 証明は、指数列が有限ステップで $ q_{j-2} $ に安定化することを示す、新規の反復的可積分性の向上に依拠する。
• 重要な要素として、直交的構造に適合させた高次元多様体設定におけるマイケル＝サインのソボレフ不等式の修正版が用いられる。

実験結果

リサーチクエスチョン

• RQ1 非標準的成長をもつ直交的関数の有界局所最小解が、$ p_N/p_1 $ の比制限なしに局所リプシッツ連続であることを示せるか？
• RQ2 このような関数の強い退化性に対処するための技術は何か？
• RQ3 参考文献[4]の手法を、$ p_1 < p_N $ の非一様かつ異方的状況に一般化できるか？
• RQ4 変動的かつ非標準的成長の下で、勾配の再帰的可積分性を確立できるか？
• RQ5 $ p_N/p_1 $ に上限がない場合、従来のアプローチは無効になるか？ もし無効であれば、新たな手法をどのように構築できるか？

主な発見

• 主な結果として、任意の有界局所最小解 $ U \in W^{1,p}_{\text{loc}}(\Omega) $ が直交的関数 $ F_p $ のものである場合、$ p_N/p_1 $ の大きさに関わらず $ \nabla U \in L^\infty_{\text{loc}}(\Omega) $ が成り立つことが示された。
• 証明では、指数列 $ \{\beta_j^\ell\} $ を用いた再帰的シーケンスにより勾配の高次可積分性が得られ、最終的に $ q_{j-2} $ に安定化し、一様な境界が保証される。
• 著者らは $ \prod_{j=j_0}^n (1 + \varepsilon_j) < +\infty $ を満たす列 $ \{\varepsilon_j\} $ を構成し、反復スキームの成長を制御し収束を保証する。
• この手法は、ベルンシュタイン型技術や粘性解法に依存せず、リプシッツ正則性への新たな道筋を提供する。
• 本稿では、リーベルマンによる同様の結果の主張証明に重大な欠陥が存在することを特定し、彼のマイケル＝サイン不等式の適用が、検証されていない条件に依存していることを示した。
• デマンジェル、クピーニ＝マレルチーニ＝マスコーロらの先行研究を拡張し、特に $ p_N < p_1 + 1 $ の制限を撤廃し、$ p_1 \geq 2 $ を許容する。