[論文レビュー] Infinite time blow-up for half-harmonic map flow from $\mathbb{R}$ into $\mathbb{S}^1$

Yannick Sire, Juncheng Wei+1 more|arXiv (Cornell University)|Nov 15, 2017

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 11

ひとこと要約

本稿は、$\mathbb{R}$ から $\mathbb{S}^1$ への半調和写像フローに対して、無限時間 blow-up 解の存在を確立する。$t \to \infty$ のとき、$k$ 個の特異点が相異なる点 $q_1, \dots, q_k$ に形成される。解は、特異点の中心位置 $\xi_j(t) \to q_j$ に漸近的に近づき、幅 $\mu_j(t) \to 0$ が指数関数的に減少するようにスケーリングされた標準的半調和写像の和に近づく。一方、誤差項 $\theta(x,t) \to 0$ が特異点から離れた領域で一様に成り立つ。

ABSTRACT

We study infinite time blow-up phenomenon for the half-harmonic map flow \begin{equation}\label{e:main00} \left\{\begin{array}{ll} u_t = -(-Δ)^{\frac{1}{2}}u + \left(\frac{1}{2π}\int_{\mathbb{R}}\frac{|u(x)-u(s)|^2}{|x-s|^2}ds ight)u\quad ext{ in }\mathbb{R} imes (0, \infty), u(\cdot, 0) = u_0\quad ext{ in }\mathbb{R}, \end{array} ight. \end{equation} with a function $u:\mathbb{R} imes [0, \infty) o \mathbb{S}^1$. Let $q_1,\cdots, q_k$ be distinct points in $\mathbb{R}$, there exist an initial datum $u_0$ and smooth functions $ξ_j(t) o q_j$, $0

研究の動機と目的

• 半調和写像フロー $\mathbb{R}$ から $\mathbb{S}^1$ への長時間挙動を解析すること。
• 有限位置に特異点が形成される無限時間 blow-up を示す解を構成すること。
• スケーリングされた標準的半調和写像と減少する誤差項で表される、このような解の漸近的プロファイルを記述すること。
• 各特異点に関連するスケーリングパラメータ $\mu_j(t)$ の指数的減衰を確立すること。

提案手法

• 背景状態 $\omega_\infty = (0,1)^T$、$k$ 個のスケーリングされた標準的半調和写像 $\omega((x - \xi_j(t))/\mu_j(t))$、および剰余項 $\theta(x,t)$ から成る解のアンサンブルを構築する。
• 局所的特異点の構築に、標準的半調和写像 $\omega(x) = \left( \frac{2x}{x^2+1}, \frac{x^2-1}{x^2+1} \right)^T$ を用いる。
• 重み付き関数空間における固定点枠組みを用いて、時間発展するパラメータ $\xi_j(t)$ および $\mu_j(t)$ を解き、$\xi_j(t) \to q_j$ および $\mu_j(t) \to 0$ が $t \to \infty$ 時に成り立つように保証する。
• 重み付き Hölder および $L^\infty$ ノルムを持つ関数空間において、収縮写像の議論を適用して誤差 $\theta(x,t)$ とパラメータのダイナミクスを制御する。
• 写像 $\omega$ の周囲における線形化解析を用いて、並進、スケーリング、回転モードの摂動ダイナミクスを支配するジャコビ場 $Z_1, Z_2, Z_3$ を同定する。
• スケーリングおよび位置パラメータの時間発展を支配する $\lambda(t)$ および $\xi(t)$ の常微分方程式系を導出し、解くことにより、$\mu_j(t)$ の指数的減衰を保証する。

実験結果

リサーチクエスチョン

• RQ1 半調和写像フロー $\mathbb{R}$ から $\mathbb{S}^1$ への解は、有限位置に特異点が形成される無限時間 blow-up を示すことができるか？
• RQ2 このような解の正確な漸近的プロファイルは何か、$t \to \infty$ 時に？
• RQ3 ブロー・アップ領域におけるスケーリングおよび位置パラメータ $\mu_j(t)$ および $\xi_j(t)$ は、時間とともにどのように変化するか？
• RQ4 特異点から離れた領域における誤差項 $\theta(x,t)$ の減衰速度は何か？
• RQ5 重み付き関数空間における固定点議論により、フローのダイナミクスを制御できるか？

主な発見

• 任意の相異なる点の有限集合 $q_1, \dots, q_k$ に対して、$\mathbb{R}$ に初期データ $u_0$ が存在し、半調和写像フローの解 $u_q$ が $t \to \infty$ 時に $q_j$ に $k$ 個の特異点を形成する。
• 解は $u_q = \omega_\infty + \sum_{j=1}^k \left( \omega\left( \frac{x - \xi_j(t)}{\mu_j(t)} \right) - \omega_\infty \right) + \theta(x,t)$ の形を取り、$\theta(x,t) \to 0$ が $q_j$ の近傍を除く領域で一様に成り立つ。
• 中心位置 $\xi_j(t) \to q_j$ および幅 $\mu_j(t) \to 0$ が $t \to \infty$ 時に成り立ち、$\mu_j(t)$ は指数関数的に減少する。
• $\xi_j(t)$ および $\mu_j(t)$ のパラメータ関数は、重み付き関数空間における固定点議論により構成され、存在性および正則性が保証される。
• 誤差項 $\theta(x,t)$ は重み付き $L^\infty$-型ノルムで制御され、$q_j$ の近傍を除く領域でゼロに一様に収束する。
• 解析は、写像 $\omega$ の周囲における線形化作用素に依存し、3つのジャコビ場 $Z_1, Z_2, Z_3$ が摂動の本質的モードを捉えている。