[論文レビュー] Hopf maximum principle violation for elliptic equations with non-Lipschitz nonlinearity

Yavdat Il’yasov, Youri V. Egorov|arXiv (Cornell University)|Jan 27, 2009

Advanced Mathematical Modeling in Engineering被引用数 6

ひとこと要約

本稿は、$n \geq 3$ における滑らかで星型の領域 $\Omega \subset \mathbb{R}^n$ において、非リプシッツ非線形性を有する半線形楕円型方程式 $-\Delta u = \lambda|u|^{\beta-1}u - |u|^{\alpha-1}u$ に対して、非正規、非負の弱解が存在することを確立する。ここで $0 < \alpha < \beta < 1$ かつ $n > 2(1+\alpha)(1+\beta)/((1-\alpha)(1-\beta))$ である。十分に大きな $\lambda$ に対して、このような解は境界上のある正の測度の部分集合で法線微分が消えるため、ホフプの境界最大値原理に反する。これは非リプシッツ非線形性に起因する古典的一意性および最大値原理の破綻を示している。

ABSTRACT

We consider elliptic equations with non-Lipschitz nonlinearity $$ -Δu = λ|u|^{β-1}u-|u|^{α-1}u$$ in a smooth bounded domain $Ω\subset \mathbb{R}^n$, $n\geq 3$, with Dirichlet boundary conditions; here $02(1+α) (1+β)/(1-α)(1-β)$.

研究の動機と目的

• 非リプシッツ非線形性を有する楕円型方程式において、高次元（$n > 1$）でホフプ境界最大値原理が破綻するかどうかを調査すること。
• 非負でディリクレ境界条件を満たすが、境界の一部で法線微分がゼロである非正規弱解が存在するかどうかを特定すること。
• 特に大きな $\lambda$ および特定の成長指数 $\alpha$, $\beta$ に対して、このような解が出現する条件を確立すること。
• 一次元で知られている現象（境界で微分がゼロである解が存在する）を、変分的およびスペクトル解析を用いて高次元領域へと拡張すること。

提案手法

• ファイバー法とスペクトル解析を用いて、解の存在を支配する2つの臨界スペクトル値 $\Lambda_0$ および $\Lambda_1$ を定義する。
• ポホジャエフの恒等式を適用して、解の存在に必要な条件を導出し、エネルギー汎関数を制約する。
• ネハリ多様体上での制約付き最小化問題を構築し、$H^1_0(\Omega)$ 内の弱解を求める。
• 下解・上解の技法を用いて、法線微分がゼロでない第二の解 $w_\lambda$ の存在を証明し、それが非正規でないことを保証する。
• コンパクト性および $H^1_0$ 内の弱収束の議論を用いて、最小化列の収束および極限解の存在を示す。
• エーベルシュタイン＝シュムリアンの定理およびソボレフ埋め込みを用いて、$L^p$ および $H^1$ 内で強収束する部分列を抽出する。

実験結果

リサーチクエスチョン

• RQ1 非リプシッツ非線形性を有する高次元楕円型偏微分方程式において、ホフプ境界最大値原理が破綻する可能性はあるか？
• RQ2 非線形性がゼロで非リプシッツである場合、$n > 1$ において境界の正の測度部分集合で $\partial u/\partial\nu = 0$ となる非正規解（すなわち、法線微分がゼロ）は存在するか？
• RQ3 $\alpha$, $\beta$, および $n$ にどのような条件が課されると、このような解が存在するようになるのか、特に大きな $\lambda$ の場合に焦点を当てる。
• RQ4 すべての $\lambda > \lambda^*$ に対して非正規解の集合は無限大であり、これは解の連続体の存在とどのように関係するか？
• RQ5 このような解の存在は、変分法およびファイバー法によるスペクトル解析によって確立可能か？

主な発見

• 条件 $n > 2(1+\alpha)(1+\beta)/((1-\alpha)(1-\beta))$ を満たす場合、$\lambda^* > 0$ が存在し、すべての $\lambda \geq \lambda^*$ に対して問題 (1.1) は、境界 $\partial\Omega$ 上で $\partial u_\lambda / \partial\nu = 0$ を満たす非正規で非負の弱解 $u_\lambda$ を有する。
• すべての $\lambda > \lambda^*$ に対して、非正規解の数は無限大であり、これによりこのような解の連続体が存在することが示された。
• 各 $\lambda > \lambda^*$ に対して、$w_\lambda \in C^{1}(\overline{\Omega})$ である第二の弱解が存在し、これは非負であるが非正規ではない。さらに、$\partial w_\lambda / \partial\nu \neq 0$ を満たす $\partial\Omega$ の部分集合 $U \subseteq \partial\Omega$ が正の $(n-1)$ 次元測度を持つ。
• このような解の存在は、非線形性がゼロで非リプシッツであることに起因し、境界で法線微分がゼロとなる解が生じることで、古典的ホフプ原理が破綻する。
• 証明は変分法、ポホジャエフの恒等式、およびファイバー法によるスペクトル解析に依拠しており、臨界値 $\Lambda_0$ および $\Lambda_1$ を特定する。ここで $\lambda^* < \Lambda_0$ である。
• 既知の一次元現象（端点で微分がゼロである解が存在する）を高次元へと拡張した結果であり、非リプシッツ非線形性が一意性の喪失および最大値原理の破綻を引き起こす可能性を示している。