[論文レビュー] Alternating sign multibump solutions of nonlinear elliptic equations in expanding tubular domains

Nils Ackermann, Mónica Clapp+1 more|arXiv (Cornell University)|Oct 16, 2012

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

ひとこと要約

この論文は、ℝ^N 内の滑らかな曲線に沿って拡大するチューブ型領域における超線形楕円型方程式に対して、符号が交互に並ぶ多重バズーカ（multibump）解の存在を確立する。リャプノフ＝シュミット還元と濃縮・コンパクトネス法を用いて、拡大パラメータ R が十分に大きい場合、解が拡大された曲線に沿って符号が交互に並ぶ局在化した正および負のバズーカの重ね合わせとして現れることを証明している。R→∞ の極限において、バズーカ同士は互いに分離し、非相互作用的になる。

ABSTRACT

Let $Γ$ denote a smooth simple curve in $\mathbb{R}^{N}$, $N\geq2$, possibly with boundary. Let $Ω_{R}$ be the open normal tubular neighborhood of radius 1 of the expanded curve $RΓ:=\{Rx\mid x\in Γ\smallsetminus\partialΓ\}$. Consider the superlinear problem $-Δu+λu=f(u)$ on the domains $Ω_{R}$, as $R ightarrow \infty$, with homogeneous Dirichlet boundary condition. We prove the existence of multibump solutions with bumps lined up along $RΓ$ with alternating signs. The function $f$ is superlinear at 0 and at $\infty$, but it is not assumed to be odd. If the boundary of the curve is nonempty our results give examples of contractible domains in which the problem has multiple sign changing solutions.

研究の動機と目的

• 滑らかな曲線に沿って拡大するチューブ型領域における非線形楕円型方程式に対して、符号が交互に並ぶ多重バズーカ解の存在を確立すること。
• 領域が拡大する際（R→∞）の解の漸近的挙動を分析すること、特にバズーカの分離および局在化に注目すること。
• 正および負の局在化したプロファイル（U⁺ および U⁻）を、拡大された曲線 Γ_R に沿って重ね合わせた解を構成すること。
• 閉曲線（γ(0)=γ(1)）および開曲線（γ(0)≠γ(1)）の両方に対して結果を拡張し、単連結な領域が複数の符号変化解を支持できることを示すこと。
• R→∞ の極限において、バズーカ間の距離が発散することを証明し、結果としてバズーカが非相互作用的かつ局在的になる挙動が保証されること。

提案手法

• 無限次元問題を Ω_R 上で定義された問題から、近似解の多様体 Σ_R 上の有限次元問題に還元するため、リャプノフ＝シュミット還元を用いる。
• 無限大シリンダ ℒ 内の解 U^± から導かれる、平行移動および回転を施したプロファイル U_{x,R}^± を用いて、近似解を構成する。
• 線形化作用素における非退化性条件（H5）を用いて、還元過程における横断性および可逆性を保証する。
• 多様体 Σ_R 上に定義された還元エネルギー汎関数 G_R を定義し、その臨界点が元の問題の解に対応することを示す。
• マウンテンパスの幾何構造とコンパクトネスを用いた変分的議論により、G_R が Σ_R の適切な部分集合内に臨界点を持つことを示す。
• 還元における誤差の評価および相互作用の指数的減衰を用いて、還元汎関数が存在に必要な最小最大化条件を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 ℝ^N 内の滑らかな曲線に沿って拡大するチューブ型領域において、符号が交互に並ぶ多重バズーカ解が存在可能か？
• RQ2 領域が拡大する際（R→∞）のこのような解の漸近的挙動は何か、特にバズーカの分離および局在化に関してどうなるか？
• RQ3 曲線の幾何構造（閉曲線対比して開曲線）は、多重バズーカ解の存在および構造にどのように影響を与えるか？
• RQ4 非線形項 f およびポテンシャル λ にどのような条件下で、奇関数性を仮定しないままこのような解の存在を保証できるか？
• RQ5 単連結な領域は複数の符号変化解を支持できるか？ もしそうなら、それらはどのように構造化されているか？

主な発見

• 各 k∈ℕ に対して、R_k>0 が存在し、すべての R≥R_k に対して、RΓ に沿って符号が交互に並ぶ 2k バズーカ解が存在する。
• 解 u_R は H¹(ℝ^N) 内で、k 個の正および k 個の負の局在化プロファイルの重ね合わせに収束する：u_R = ∑_{i=1}^k (U_{x_{R,2i-1},R}^+ + U_{x_{R,2i},R}^-) + o(1) として R→∞ の極限で成立する。
• 任意の異なる二つのバズーカ間の距離は、|x_{R,i} - x_{R,j}| → ∞ として R→∞ の極限で発散し、漸近的に分離することが保証される。
• 各バズーカ中心から Γ_R の境界までの距離も R→∞ の極限で発散し、バズーカが適切に分離され、内部に位置していることが確認される。
• f が奇関数でない場合でも結果が成り立つため、従来の結果をより広いクラスの超線形非線形項へと拡張している。
• 閉曲線（γ(0)=γ(1)）の場合、単連結な領域上に非回転的対称性を持たない解が構成され、このような領域に複数の符号変化解が存在することを示している。