[論文レビュー] Regularity of minimizers of semilinear elliptic problems up to dimension four

Xavier Cabré|ArXiv.org|Sep 25, 2009

Nonlinear Partial Differential Equations参考文献 7被引用数 20

ひとこと要約

本稿は、有界な $ C^\infty $ 領域における半線形楕円型方程式 $-\Delta u = f(u)$ の正の半安定解について、非線形性 $ f $ に依存しない $ L^\infty $ 界を、次元が4以下の範囲で確立する。主な結果は、$ n \leq 4 $ かつ $ \Omega $ が凸であるとき、すべての極値解が $ L^\infty $ で有界であることを示し、Nedevの次元3における結果を4次元に拡張したものであり、境界付近における $ W^{1,4} $ ノルムを用いた新規な積分推定式が鍵となっている。

ABSTRACT

We consider the class of semi-stable solutions to semilinear equations $-Δu=f(u)$ in a bounded smooth domain $Ω$ of $R^n$ (with $Ω$ convex in some results). This class includes all local minimizers, minimal, and extremal solutions. In dimensions $n \leq 4$, we establish an priori $L^\infty$ bound which holds for every positive semi-stable solution and every nonlinearity $f$. This estimate leads to the boundedness of all extremal solutions when $n=4$ and $Ω$ is convex. This result was previously known only in dimensions $n\leq 3$ by a result of G. Nedev. In dimensions $5 \leq n \leq 9$ the boundedness of all extremal solutions remains an open question. It is only known to hold in the radial case $Ω=B_R$ by a result of A. Capella and the author.

研究の動機と目的

• 次元 $ n \leq 4 $ において、非線形性 $ f $ に依存しない、正の半安定解 $ -\Delta u = f(u) $ の事前 $ L^\infty $ 界を確立すること。
• Nedevの極値解の有界性に関する結果を次元 $ n \leq 3 $ から $ n = 4 $ に拡張すること、特に凸領域における場合を対象とすること。
• 一般の凸非線形性 $ g(0) > 0 $、$ g' \geq 0 $、および $ u \to \infty $ のとき $ g(u)/u \to \infty $ を満たす条件下で、次元4における極値解の正則性に関する長年の未解決問題を解消すること。
• 境界付近における局所的正則性に帰着される普遍的推定式を提供することにより、グローバルな有界性を保証する。この推定式は、凸領域における移動平面法を応用して得られる。

提案手法

• 任意の $ C^\infty $ 非線形性 $ f $ に対して、次元 $ n \leq 4 $ で成り立つ、$ u $ の部分集合 $ \{ u < t \} $ における $ W^{1,4} $ ノルムを含む鋭い積分不等式を用いて、正の半安定解に対する普遍的な $ L^\infty $ 推定式を導出する。
• 凸領域における移動平面法を用いて境界推定式を導出し、$ t $ が小さい場合の $ \| \nabla u \|_{L^4(\{u<t\})} $ の制御を確立する。これは $ \|u\|_{L^\infty} $ の有界性を保証するために不可欠である。
• 推定式 (1.4) を問題 $ -\Delta u = \lambda g(u) $ の極値解に適用し、与えられた凸性および超線形成長条件を満たす $ g $ を用いる。
• $ C^\infty $ モリファイアを用いた正則化による近似法を用いて、$ C^\infty $ から $ C^1 $ 非線形性への結果の拡張を行い、極値解 $ u^* $ が $ L^\infty(\Omega) $ で有界であることを保証する。
• 比較法を用いて、第一ディリクレ固有関数および $ L^1_\delta $ ノルムを用い、$ \lambda \nearrow \lambda^* $ のときの最小解 $ u_\lambda $ に対する一様 $ L^\infty $ 界を確立する。
• 半安定解がエネルギーの2次変分が非負であることを用いて、解析全体で安定性に基づく枠組みを構築する。

実験結果

リサーチクエスチョン

• RQ1 次元 $ n \leq 4 $ において、非線形性 $ f $ に依存しない、正の半安定解 $ -\Delta u = f(u) $ の普遍的 $ L^\infty $ 界を確立できるか？
• RQ2 凸領域において、極値解の $ L^\infty $ 有界性が次元 $ n \leq 3 $ から $ n = 4 $ に拡張可能か？
• RQ3 境界付近における $ W^{1,4} $ ノルムを含む新規な積分推定式を用いて、極値解の正則性を境界正則性推定に還元できるか？
• RQ4 非径対称領域に対しても、次元4における極値解の $ L^\infty $ 有界性は未解決のままか、それとも凸性があればギャップが埋まるか？
• RQ5 モリファイケーションと近似法を用いて、$ C^1 $ 非線形性へと結果を拡張でき、一様 $ L^\infty $ 界を保てるか？

主な発見

• 本稿は、次元 $ n \leq 4 $ における正の半安定解 $ -\Delta u = f(u) $ に対して、$ \|u\|_{L^\infty(\Omega)} \leq t + \frac{C}{t} |\Omega|^{(4-n)/(2n)} \left( \int_{\{u<t\}} |\nabla u|^4 \, dx \right)^{1/2} $ で与えられる普遍的 $ L^\infty $ 界を確立する。ここで $ C $ は $ f $、$ \Omega $、$ u $ に依存しない普遍定数である。
• 凸領域 $ \Omega $ に対して、移動平面法により、$ t $ が小さいときの $ \{ u < t \} $ 上での $ W^{1,4} $ ノルムが一様に制御可能であり、これにより一様な $ L^\infty $ 界が得られる。
• その結果、$ g $ が与えられた条件を満たすとき、問題 $ -\Delta u = \lambda g(u) $ のすべての極値解 $ u^* $ は、$ n = 4 $ かつ $ \Omega $ が凸であるとき、$ L^\infty(\Omega) $ で有界である。
• 本結果は、Nedevの以前の結果（次元 $ n \leq 3 $）を次元 $ n = 4 $ に拡張し、極値解の正則性理論における長年の未解決問題を解決する。
• 非滑らか非線形性に対しても、$ g $ をモリファイして単調収束定理を適用することで、$ L^\infty $ 界が $ C^1 $ 非線形性へと拡張可能である。
• 本手法は、安定性、境界推定、重み付き $ L^1 $ ノルムの微妙な連携に依存しており、主な革新点は、部分集合 $ \{u < t\} $ 上での $ W^{1,4} $ ノルムを用いてグローバルな $ L^\infty $ ノルムを制御することにある。