[論文レビュー] Symmetry and monotonicity results for positive solutions of p-Laplace systems

Céline Azizieh|ArXiv.org|Aug 7, 2001

Nonlinear Partial Differential Equations参考文献 9被引用数 3

ひとこと要約

本稿は、移動超平面法を用いて、スカラーp-Laplace方程式に関する対称性および単調性の結果を、異なる指数 $ p_1, p_2 \in (1,2) $ または片方が2であるp-Laplace方程式の系へと拡張する。増加的かつ局所リプシッツ連続な非線形性の下で、方向的対称領域において解は対称的かつ厳密に単調減少であることが示される。

ABSTRACT

We extend to the case of a system involving p-Laplacians, the monotonicity and symmetry results of Damascelli and Pacella obtained in the case of a scalar p-Laplace equation with $1

研究の動機と目的

• DamascelliとPacellaのスカラーp-Laplace方程式に関する単調性および対称性の結果を、結合p-Laplace系へと拡張すること。
• 異なる指数 $ p_1, p_2 \in (1,2) $ または片方が2である2つのp-Laplace作用素を含む系の正の弱解の挙動を分析すること。
• 非線形性 $ f $ および $ g $ に対して最小限の正則性仮定（非減少かつ局所リプシッツ連続）の下で、解の方向的単調性および対称性を確立すること。
• 領域が対称でかつ非線形性が厳密に増加する場合、解が対称的かつ厳密に単調減少であることを証明すること。
• 両方の指数が2でない場合（$ p_1, p_2 \neq 2 $）に、標準的な比較原理が効果を発揮しにくいという技術的課題に、移動超平面法を適用する際の挑戦を解決すること。

提案手法

• 有界領域 $ \Omega \subset \mathbb{R}^N $ において $ C^1 $境界を持つ領域で、解の対称性および単調性を解析するため、移動超平面法を用いる。
• 超平面 $ T_{\lambda}^{\nu} $ に関する反射 $ x_{\lambda}^{\nu} $ を定義し、$ \Omega_{\lambda}^{\nu} $ および $ (\Omega_{\lambda}^{\nu})' $ の集合を用いて、超平面をはさんで解を比較する。
• p-Laplacianに対する強い最大原理およびHopfの補題を適用し、移動超平面設定下で法線微分が厳密に正であることを導出する。
• 特に $ p_1 \in (1,\infty), p_2 = 2 $ の場合および $ p_1, p_2 \in (1,2) $ の場合に適応された比較原理を用いる。後者の場合、比較手法が弱いため特別な注意を要する。
• コンパクト性および連続性の議論を用いて、対称性および単調性が破綻する境界となる臨界超平面 $ \lambda_1(\nu) $ の存在を確立する。
• 反射領域の境界上で $ u $ および $ v $ が最大値をとる点の集合が、1点または測度ゼロの集合でなければならないことを証明し、対称性が破れている場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 異なる指数をもつp-Laplace方程式の系へ、移動超平面法をスカラーp-Laplace方程式から拡張することは可能か？
• RQ2 $ p_1, p_2 $ および非線形性 $ f, g $ にどのような条件下で、系の正の解が単調性および対称性を示すか？
• RQ3 $ p_1, p_2 \in (1,2) $ である場合と、片方が2である場合とで、系の挙動はどのように変化するか？
• RQ4 非線形性 $ f $ および $ g $ の局所リプシッツ連続性および単調性は、解の対称性および単調性を保証するために果たす役割は何か？
• RQ5 適切な $ f $ および $ g $ の条件下で、球のような径対称領域において解の径対称性を導くことは可能か？

主な発見

• $ p_1 \in (1,\infty), p_2 = 2 $ であり、$ f, g $ が非減少かつ局所リプシッツ連続であるとき、すべての $ x \in \Omega_{\lambda}^{\nu} $ に対して $ u(x) \leq u(x_{\lambda}^{\nu}) $ および $ v(x) \leq v(x_{\lambda}^{\nu}) $ が成り立ち、すべての $ \lambda < \lambda_1(\nu) $ に対して $ \partial v / \partial \nu > 0 $ が $ \Omega_{\lambda}^{\nu} $ 内で成り立つ。
• $ p_1, p_2 \in (1,2) $ であり、$ f, g $ が厳密に増加的かつ局所リプシッツ連続であるとき、すべての $ \lambda \in (a(\nu), \lambda_1(\nu)] $ に対して同じ単調性および対称性の結果が成り立つ。
• 領域 $ \Omega $ が超平面 $ T_0^{\nu} $ に関して対称であり、$ \lambda_1(\nu) = \lambda_1(-\nu) = 0 $ であるならば、$ \Omega_0^{\nu} $ 内で $ u $ および $ v $ は $ \nu $-方向に関して対称的かつ厳密に単調減少である。
• 球 $ B_R(0) $ の場合、すべての $ x > 0 $ に対して $ f(x) > 0 $ および $ g(x) > 0 $ が成り立つ限り、解 $ u $ および $ v $ は径対称的かつ $ r = |x| $ に関して厳密に単調減少である。
• 証明は背理法に依拠している：反射点の集合で $ u $ が定数であれば、その集合上で $ \nabla u = 0 $ となるが、これは強い最大原理に反する。対称性が完全に達成されていない限り、そのような状況は成立しない。
• 方向のコンパクト集合上の反射写像の像は、$ \mathbb{R}^{N-1} $ 内に完全な球を含み、対称点の集合が非自明な内部を持つことを保証する。したがって、対称性が成立しない場合、矛盾が生じる。