[論文レビュー] Entire radial and nonradial solutions for systems with critical growth

Francesca Gladiali, Massimo Grossi+1 more|arXiv (Cornell University)|Dec 12, 2016

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

ひとこと要約

本稿では、$[\mathbb{R}^N$ ($N \geq 3$) 上の臨界成長を示す非線形楕円型系のクラスに対して、グローバル分岐理論および対称性の破れに関する議論を用いて、径対称および非径対称な全解の存在を確立している。主な貢献は、線形化作用素のスペクトル解析と不変部分空間の分解を用いて、特に臨界ヒッパーボラ上での非協力的系に対して非径対称解の存在を証明することにある。

ABSTRACT

In this paper we establish existence of radial and nonradial solutions to the system $$ \begin{array}{ll} -Δu_1 = F_1(u_1,u_2) & ext{in }\mathbb{R}^N, ewline -Δu_2 = F_2(u_1,u_2) & ext{in }\mathbb{R}^N, ewline u_1\geq 0,\ u_2\geq 0 & ext{in }\mathbb{R}^N, ewline u_1,u_2\in D^{1,2}(\mathbb{R}^N), \end{array} $$ where $F_1,F_2$ are nonlinearities with critical behavior.

研究の動機と目的

• 非線形楕円型系のクラスが$[\mathbb{R}^N$ において臨界成長を示す場合の、全解としての径対称および非径対称解の存在を確立すること。
• 臨界系においてコンパクト性や変分構造が欠如している問題に対し、分岐理論およびスペクトル解析を用いること。
• 最大原理が適用できない非協力的系における対称性の破れを調査し、非径対称解の生成を明らかにすること。
• 従来の径対称解に関する結果を、不変部分空間の技法および球面調和関数を用いて非径対称解へと拡張すること。
• 自明解の周囲における線形化作用素の構造を分析し、非自明解が出現する条件を同定すること。

提案手法

• 自明解族 $U_{\delta,y}$（$\delta > 0$ および $y \in \mathbb{R}^N$ をパラメータとする）から出発し、グローバル分岐理論を用いて解を構成すること。
• 自明解における線形化系に対してスペクトル解析を適用し、固有値がゼロを crosses する分岐点を特定すること。
• 回転および反射に関する対称性を活用し、球面調和関数を用いて解空間を分解し、不変部分空間を同定すること。
• 関数の角変数における特定の対称性および周期性を持つ関数に制限するため、不変部分空間 $X_{\mathcal{S}_m}$ および $\mathcal{Z}_m$ を定義すること。
• 球面調和関数をギーゲンバウアー多項式の展開を用いて表現し、解の角依存性を特徴付けること。
• 不変部分空間 $\mathcal{Z}_m$ における線形化作用素の核が1次元であることを証明し、分岐定理の適用を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 非協力的系が$\mathbb{R}^N$ において臨界成長を示す場合、どのような条件下で非径対称な全解が存在するか？
• RQ2 非線形性の構造、特に臨界ヒッパーボラ上での性質が、解の存在および対称性にどのように影響するか？
• RQ3 変分的でない系に対しても、臨界成長を示す系に対して分岐理論を適用し、非自明解を構成できるか？
• RQ4 径対称解が存在する状況で、対称性の破れ機構が非径対称解を生成する際に果たす役割は何か？
• RQ5 対称的部分空間における線形化作用素の核の次元は何か？ そして、これは分岐挙動にどのように影響するか？

主な発見

• 結合行列 $A$ の固有値が特定の値に達する場合、分岐理論により非自明な径対称解が存在することが示された。
• 非協力的系において $1 - \alpha < 0$ が成り立つ場合、非径対称解が存在する。これは成分間の反発的相互作用を示唆する。
• $m \geq 2$ の場合、不変部分空間 $\mathcal{Z}_m$ における線形化作用素の核は1次元であり、$\gamma(m) = 1$ である。これにより分岐が可能となる。
• 非径対称解は、自明解族 $U_{\delta,y}$ の摂動として構成され、角依存性は $\operatorname{Im}((x_1 + i x_2)^m)$ で与えられる。
• 解 $(0, W_{m,m}(r) Y_m)$ は $\mathcal{Z}_m$ に属することから、所定の対称性を持つ非径対称解の存在が確認された。
• 分析により、$X_{\mathcal{S}_m}$ において線形化作用素に非自明な解が存在しないことが確認され、分岐が $\mathcal{Z}_m$-不変領域でのみ発生することが保証された。