[論文レビュー] Quasi-Periodic Solutions For Nonlinear Klein-Gordon Equations

Weimin Wang|arXiv (Cornell University)|Sep 1, 2016

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

ひとこと要約

本稿は、$d$-トーラス上の非線形 Klein-Gordon 方程式に対して、$b$ 個の周波数を持つ線形的で非退化かつ良い解から分岐する、解析的準周期的解の存在を確立する。空間時間的アプローチと、$σ$ を通じたスペクトル正則化を施した KAM 型反復法を用い、十分に大きな $b > C_p d$ および小さな振幅の下で、周波数シフト $σ(δ^p)$ および解の誤差 $σ(δ^p)$ を伴う小さな非線形摂動に対しても、このような解が正の測度を持つカントール集合上の初期振幅に対して保存されることを証明する。

ABSTRACT

We present a set of time quasi-periodic solutions to a nonlinear Klein-Gordon equation with a decaying nonlinear term on the torus in arbitrary dimensions. This paper generalizes the bifurcation method developed in [W2].

研究の動機と目的

• 小さな非線形摂動の下でも、非線形 Klein-Gordon 方程式に対する準周期的解の保存を確立すること。
• 線形的で非退化的かつ良い解（$b$ 個の周波数を有する）が、非線形化によりどのように準周期的解に分岐するかを分析すること。
• 解析的準周期的解が存在する初期振幅の正の測度を持つカントール集合を構成すること。
• パラメータ空間上で周波数写像 $a \mapsto \omega(a)$ が微分同相写像であることを保証し、解族の構造を維持すること。

提案手法

• 解を時間と空間におけるコサイン級数として表現する空間時間的アプローチを用い、解析を簡略化するためコサイン-コサイン領域に制限する。
• 逐次近似 $u^{(r)}$ を用いる KAM 型反復スキームを実装し、各ステップでニュートン反復により $Q$-および $P$-方程式を解く。
• スペクトル正則化として $σ$ を用い、$|m| \leq e^{| one\delta|^{1/2}}$ のとき $σ̂(m) = 1$ とし、それより先では指数的に減少させることで、共鳴を制御する。
• フーリエ空間を $N \ll |\log \delta|$、$N \sim |\log \delta|$、$N \gg |\log \delta|$ のスケールに多スケール分解し、共鳴集合を管理する。
• 半代数的幾何と測度推定を用いて、除外されるパラメータ集合を制御し、カントール集合の測度が $\geq 1 - \epsilon$ となるように保証する。
• リゾルベント推定と線形化作用素 $T_{\bar{N}}^{-1}$ の指数的減衰境界を適用し、局在化と誤差制御を $\bar{N}^{\sigma}$ および $e^{-\beta|x-y|}$ を用いて行う。

実験結果

リサーチクエスチョン

• RQ1 非線形 Klein-Gordon 方程式が $d$-トーラス上で準周期的解を保存する条件は何か？
• RQ2 非線形摂動の下で周波数ベクトル $\omega$ は線形の場合の $\omega^{(0)}$ からどのように変形するか？
• RQ3 正則化関数 $\mathcal{M}$ はフーリエ空間における共鳴相互作用をどのように制御するか？
• RQ4 初期振幅の正の測度を持つカントール集合を構成でき、そのすべてのパラメータで準周期的解が存在するか？
• RQ5 振幅-周波数写像 $a \mapsto \omega(a)$ が微分同相写像であるパラメータ集合の定量的サイズはどの程度か？

主な発見

• $b > C_p d$ かつ $δ$ が十分に小さいとき、$\mathcal{G} \subset \mathcal{B}(0,\delta)$ に対して $\text{meas }\mathcal{G}/(2\delta)^b \geq 1 - \epsilon$（任意の $\epsilon \in (0,1)$）を満たすカントール集合 $\mathcal{G}$ が存在し、その上で解が存在する。
• 各 $k = 1, \dots, b$ に対して周波数シフトが $\omega_k = \sqrt{j_k^2 + 1} + \mathcal{O}(\delta^p)$ と表され、線形周波数が $\delta^p$ 次のオーダーで変調されていることが示される。
• $(t,x)$ に関して一様に、$|u(t,x) - \sum_{k=1}^b a_k \cos(-\omega_k t + j_k \cdot x)| = \mathcal{O}(\delta^p)$ を満たし、線形解からの小さなずれが確認される。
• 振幅-周波数写像 $a \mapsto \omega(a)$ は $(-\delta, \delta)^b$ 上で微分同相写像であり、周波数が初期振幅に対して滑らかに依存することを保証する。
• 反復的構成により、$\delta_r < \delta^p M^{-(4/3)^r}$、$\bar{\delta}_r < \delta^p M^{-\frac{1}{2}(4/3)^r}$ および $\kappa_r$ についても同様の評価が得られ、急速な収束が示される。
• パラメータ集合 $\mathcal{B}'$ の連結成分の数は $C_b b^b (p-1)^b$ で有界であり、補集合の測度は $1 - \epsilon'$ 以上であるため、大きな正の測度を持つ解集合が保証される。