[論文レビュー] Nonlinear dynamics on branched structures and networks

Riccardo Adami, Enrico Serra+1 more|arXiv (Cornell University)|May 1, 2017

Advanced Mathematical Physics Problems参考文献 35被引用数 19

ひとこと要約

本稿は、メトリックグラフ上の集束非線形シュレーディンガー方程式に対して、所定のL²ノルムを持つ基底状態の存在を調査し、トポロジーが存在に著しい影響を及ぼすことを示している。下位臨界的状況では、特定のトポロジー構造が質量にかかわらず基底状態の存在を妨げる。臨界的状況（六次非線形性）では、実数直線上とは異なり、基底状態が存在する質量の範囲が得られる。結果として、グラフ構造に密接に関連した豊かな現象論が明らかになった。存在の有無は、トポロジーとメトリック的性質の両方に依存し、特に臨界質量閾値付近で顕著である。

ABSTRACT

Nonlinear dynamics on graphs has rapidly become a topical issue with many physical applications, ranging from nonlinear optics to Bose-Einstein condensation. Whenever in a physical experiment a ramified structure is involved, it can prove useful to approximate such a structure by a metric graph, or network. For the Schroedinger equation it turns out that the sixth power in the nonlinear term of the energy is critical in the sense that below that power the constrained energy is lower bounded irrespectively of the value of the mass (subcritical case). On the other hand, if the nonlinearity power equals six, then the lower boundedness depends on the value of the mass: below a critical mass, the constrained energy is lower bounded, beyond it, it is not. For powers larger than six the constrained energy functional is never lower bounded, so that it is meaningless to speak about ground states (supercritical case). These results are the same as in the case of the nonlinear Schrodinger equation on the real line. In fact, as regards the existence of ground states, the results for systems on graphs differ, in general, from the ones for systems on the line even in the subcritical case: in the latter case, whenever the constrained energy is lower bounded there always exist ground states (the solitons, whose shape is explicitly known), whereas for graphs the existence of a ground state is not guaranteed. For the critical case, our results show a phenomenology much richer than the analogous on the line.

研究の動機と目的

• 非コンパクトな量子グラフ上の集束非線形シュレーディンガー方程式に対して、基底状態が存在する条件を特定すること。
• メトリックグラフのトポロジーが、所定のL²ノルムを持つ束縛最小化子（基底状態）の存在に与える影響を分析すること。
• 実数直線における古典的結果を分岐構造へと拡張し、臨界的および超臨界的領域における新たな現象を明らかにすること。
• トポロジー的およびメトリック的性質に基づき、グラフを4つのカテゴリに分類し、それぞれが基底状態の存在行動において特徴的な差を示すようにすること。
• 存在または非存在を特定の状況で証明するための解析的ツール（例えば、修正されたギャリャルド・ニレングラフ不等式やグラフの手術技術）を開発すること。

提案手法

• エネルギー汎関数をL²ノルムで制約した形式的解析を行い、変分法を用いて基底状態を最小化子として同定する。
• 下位臨界的領域における特定のグラフで基底状態が存在しないことを証明するためのトポロジー的仮定（仮定(H)）を導入する。
• 非専門家向けの再配分理論を適用し、異なるグラフ構成におけるエネルギー準位を比較する。
• 質量に依存する定数を有する修正されたギャリャルド・ニレングラフ不等式を用い、最小化列の有界性を制御する。
• グラフの手術技術を用いて、実数直線上のソリトンを上回るエネルギーを持つテスト関数を構成し、トポロジーだけでは不十分な場合でも存在を保証する。
• 臨界的状況（べき6）において、グラフを4つの互いに素なカテゴリに分類し、それぞれがトポロジーとメトリック構造に基づいた異なる存在基準を持つこと。

実験結果

リサーチクエスチョン

• RQ1 メトリックグラフのどのトポロジー的条件下で、下位臨界的非線形性領域においても基底状態が存在しないのか？
• RQ2 臨界的非線形性のべき（六次）において、メトリックグラフ上の基底状態が存在する質量の範囲は、実数直線とはどのように異なるのか？
• RQ3 臨界的状況において、グラフのトポロジーだけが基底状態の存在を保証できるのか、それともメトリック的性質も決定的役割を果たすのか？
• RQ4 トポロジカル障害が存在しない場合、基底状態の存在を証明するために必要な解析的技法は何か？
• RQ5 グラフの大規模構造（例えば、無限格子やストリップ）が、基底状態の存在および挙動にどのように影響するのか？

主な発見

• 下位臨界的状況（非線形性のべき < 6）では、エネルギーが下から有界であっても、実数直線とは異なり、グラフ上では基底状態の存在が保証されない。
• 下位臨界的領域においてすべての質量で基底状態の存在を妨げる十分条件として、特定のトポロジー的仮定（仮定(H)）が同定された。
• 臨界的状況（べき6）では、基底状態が存在する質量の区間が存在するが、これは実数直線上では観察されない現象である。
• 臨界的状況において、グラフは4つのカテゴリに分類され、それぞれがトポロジーとメトリック構造に基づいた異なる存在基準を持つ。
• 質量に依存するパラメータを有する修正されたギャリャルド・ニレングラフ不等式が証明され、最小化列の有界性の証明に用いられた。これは存在証明の重要なステップである。
• トポロジーが不十分な場合でも、実数直線上の対応するソリトンのエネルギーを下回るエネルギーを持つグラフ上のテスト関数を構成することで、存在を依然として証明できる。