[論文レビュー] Quasi-periodic solutions with Sobolev regularity of NLS on T^d with a multiplicative potential

Massimiliano Berti, Philippe Bolle|arXiv (Cornell University)|Dec 7, 2010

Quantum chaos and dynamical systems参考文献 17被引用数 10

ひとこと要約

本稿は、d次元トーラス上での乗法的ポテンシャルを伴う非線形シュレーディンガー方程式に対して、Sobolev正則性を持つ準周期的解の存在を、弱化したtame推定と多スケール逐次的解析を用いた改良されたNash-Moserスキームにより確立する。主な結果は、Sobolev空間内に解が構成可能であり、非線形項およびポテンシャルが滑らかであれば、その滑らかさが解に引き継がれることである。

ABSTRACT

We prove the existence of quasi-periodic solutions for Schroedinger equations with a multiplicative potential on T^d, d \geq 1, merely differentiable nonlinearities, and tangential frequencies constrained along a pre-assigned direction. The solutions have only Sobolev regularity both in time and space. If the nonlinearity and the potential are infinitely many times differentiable so are the solutions. The proofs are based on an improved Nash-Moser iterative scheme, which assumes the weakest tame estimates for the inverse linearized operators ("Green functions") along scales of Sobolev spaces. The key off-diagonal decay estimates of the Green functions are proved via a new multiscale inductive analysis. The main novelty concerns the measure and "complexity" estimates.

研究の動機と目的

• 非線形項に最小限の正則性仮定をおく条件下で、d次元トーラス上での乗法的ポテンシャルを伴う非線形シュレーディンガー方程式に対する準周期的解の存在を確立すること。
• 高次元における小分母問題と非局在的固有関数の問題に直面するが、標準的なKAM法やCraig-Wayne法では、固有値の重複度と局在性の欠如のため、それらが失敗する状況を克服すること。
• 逆線形化作用素（グリーン関数）に対して強いtame推定を必要とせず、弱いtame推定のみを要する洗練されたNash-Moser反復スキームを構築すること。これにより、解析的ノルムではなくSobolevノルムが使用可能になる。
• 解がデータの正則性を引き継ぐことを証明すること：非線形項とポテンシャルが$ C^\infty $であれば、解に対しても$ C^\infty $の正則性が保証される、高次元においても同様。
• 高次元$d \geq 2$において、標準的な局在性が失敗する状況でも、グリーン関数の非対角成分の崩壊を保証する新しい多スケール逐次的議論を提供すること。

提案手法

• 逆線形化作用素（グリーン関数）の弱化したtame推定に依存する、改良されたNash-Moser反復スキームを採用。これにより、強い解析的ノルム制御の必要性を回避する。
• 小分母問題を扱うために不可欠なグリーン関数の非対角成分の崩壊推定を証明する、画期的な多スケール逐次的解析を考案。
• 逐次的な近似解の構成を用い、各ステップで線形化方程式を解き、誤差をSobolevノルムで推定する。
• 逆線形化作用素は、リゾルベント恒等式と特異部分行列の行列式下界を用いて解析され、グリーン関数の指数的でない崩壊（sub-exponential decay）が導かれる。
• 測度と複雑度の推定値を洗練させ、非共鳴条件を満たす正の測度の周波数集合の存在を保証する。
• 高Sobolevノルムの増大を制御するための補間技法を用い、近似解のSobolev空間内での収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 高次元$d \geq 2$において、固有関数が局在化しない状況下でも、乗法的ポテンシャルを伴うNLS方程式に対して、Sobolev正則性を持つ準周期的解を構成可能か？
• RQ2 Nash-Moserスキームを、逆線形化作用素の強い解析的ノルム境界ではなく、弱いtame推定のみを要件とする形にどのように適合可能か？
• RQ3 高次元$d \geq 2$において、標準的な局在性が失敗する状況でも、グリーン関数の非対角成分の崩壊を保証する多スケール逐次的戦略は何か？
• RQ4 ポテンシャルと非線形項の正則性が、解へとどのように伝播するか。特に、$ C^\infty $正則性が解に対しても保証される条件は何か？
• RQ5 測度と複雑度の推定値を十分に制御できるか。これにより、解が存在する正の測度の周波数集合を保証できるか？

主な発見

• 本稿は、d次元トーラス上での乗法的ポテンシャルを伴うNLS方程式に対して、Sobolev空間$ H^s $内に準周期的解の存在を確立した。特に$d \geq 2$においても、固有値の重複度と局在性の欠如が解の構成を妨げていた過去の障壁を乗り越えた。
• 解は時間的および空間的両方でSobolev正則性を有しており、その正則性レベルは入力データの滑らかさに依存する。
• 非線形項とポテンシャルが$ C^\infty $であれば、解に対しても$ C^\infty $の正則性が保証される。これは、近似解の高Sobolevノルムに対する事前推定により証明された。
• 近似解のSobolevノルムの増大は、$ \|u_n\|_{S'} \leq C(S')N_n^{2(\tau' + \delta s_1 + 1)} $ によって制御され、Sobolev空間内での収束を保証する。
• 多スケール逐次的議論により、グリーン関数の指数的でない崩壊（sub-exponential decay）が得られ、弱いtame推定のもとでNash-Moserスキームの収束が可能になった。
• 最終的な解$ u(\varepsilon, \lambda) $は、任意の$ s $に対して$ H^s $に属する。これは、$ \|h_n\|_s \leq K(S')N_n^{-1} $ の崩壊率のおかげで、級数$ \sum_n \|h_n\|_s $ が絶対収束するためである。