[論文レビュー] Uniform Hölder bounds for nonlinear Schrödinger systems with strong competition

Benedetta Noris, Hugo Tavares+2 more|ArXiv.org|Oct 30, 2008

Advanced Mathematical Physics Problems参考文献 11被引用数 33

ひとこと要約

この論文は、競争パラメータ β → ∞ のとき、強力に競合する非線形シュレーディンガー系の正の解に対して一様 Hölder 連続性の境界を確立する。ブロー・アップ解析と Almgren の周波数単調性公式を用いて、L∞-有界な解がすべて α ∈ (0,1) に対して一様 C⁰,α-連続であることを証明し、極限分離型態様がリプシッツ連続であることを示し、対称的結合を有する k 成分系へと拡張する。

ABSTRACT

For the positive solutions of the competitive Gross-Pitaevskii system of two equations, we prove that L^\infty boundedness implies uniform Hölder boundedness as the competition parameter goes to infinity. Moreover we prove that the limiting profile is Lipschitz continuous. The proof relies upon the blow-up technique and the monotonicity formulae by Almgren and Alt-Caffarelli-Friedman. This system arises in the Hartree-Fock approximation theory for binary mixtures of Bose-Einstein condensates in different hyperfine states. Extensions to systems with more than two densities are given.

研究の動機と目的

• 強い種間競争を伴う二成分グロス–ピタエフスキー型系の正の解に対して、β → ∞ のときの一様 Hölder 連続性推定を確立すること。
• L∞-有界性が β → ∞ のとき、β に依存しない一様 C⁰,α-有界性を意味することを証明すること。
• β → ∞ の極限における分離型態様 (u,v) が、滑らかで有界な領域 Ω ⊂ ℝᴺ (N = 2,3) でリプシッツ連続であることを示すこと。
• 対称的結合 (βᵢⱼ = βⱼᵢ) を有する k 成分系へと結果を拡張し、勾配構造を保つこと。
• 今後の研究において、β → ∞ のときの変分解の Γ-極限を分析する基盤を提供すること。

提案手法

• β → ∞ のときの濃縮点近傍における解の局所的挙動を分析するため、ブロー・アップ技術を用いる。
• 一様楕円型作用素へと一般化された Almgren の周波数単調性公式を適用し、エネルギー球の成長を制御する。
• 周波数公式から導かれる Liouville 型定理を用いて、特異的ブロー・アップ型態様を除外する。
• β に一様に依存しない Hölder 連続性を導くために、L∞ 界を鍵となる入力条件として用いる。
• エネルギー集中と最大原理の議論に依拠して、背理法により極限型態様 (u,v) のリプシッツ連続性を証明する。
• 対称的結合 (βᵢⱼ = βⱼᵢ) を仮定することで k 成分系へと結果を拡張し、単調性ツールの使用を保証する勾配構造を維持する。

実験結果

リサーチクエスチョン

• RQ1 強力に競合する非線形シュレーディンガー系の解に対して、β → ∞ のとき一様 L∞-有界性が一様 Hölder 連続性を意味するか？
• RQ2 β → ∞ の極限で生じる分離型態様 (u,v) がリプシッツ連続であることを示せるか？
• RQ3 Almgren 型単調性公式およびブロー・アップ解析は、強力な競合を有する系における正則性推定にどのように寄与するか？
• RQ4 結果は、対称的結合および亜臨界定常非線形項を有する k 成分系へどの程度拡張可能か？
• RQ5 勾配構造は、単調性および Liouville 型定理を用いた正則性推定の実現にどのような役割を果たすか？

主な発見

• 任意の α ∈ (0,1) に対して、β に依存しない正の定数 C > 0 が存在し、‖(uβ, vβ)‖_{C⁰,α(Ω̄)} ≤ C が β に一様に成り立つ。
• 解が L∞ で一様有界であり、パrameters λβ, μβ が有界である限り、β → ∞ の極限における型態様 (u,v) は Ω でリプシッツ連続である。
• 極限関数 u および v は、分離系 (2): –Δu + λu = ω₁u³ in {u > 0}, –Δv + μv = ω₂v³ in {v > 0} を満たし、Ω 内で u·v ≡ 0 である。
• エネルギー集中 ∫Ω βuβ²vβ² dx → 0 が β → ∞ のとき成り立ち、相分離が確認される。
• 結果は、対称的結合 (βᵢⱼ = βⱼᵢ) を有する k 成分系へと拡張され、一様 Hölder およびリプシッツ連続性推定が保たれる。
• 証明は、Almgren の周波数公式の洗練された応用と、エネルギー減衰および最大原理に依拠して非リプシッツ特異性を除外するブロー・アップ議論に依拠する。