[论文解读] 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$ 的半调和映射流存在无限时间爆破解，当 $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$ 的半调和映射流的长期行为。
• 构造表现出无限时间爆破的解，即当 $t \to \infty$ 时奇点在有限位置形成。
• 以经缩放的规范半调和映射和一个衰减的误差项描述此类解的渐近形式。
• 建立与每个奇点相关的缩放参数 $\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)$，确保当 $t \to \infty$ 时 $\xi_j(t) \to q_j$ 且 $\mu_j(t) \to 0$。
• 在具有加权 Hölder 和 $L^\infty$ 范数的函数空间中应用压缩映射论证，以控制误差 $\theta(x,t)$ 和参数动力学。
• 围绕 $\omega$ 进行线性化分析，识别出控制平移、缩放和旋转模式扰动动力学的 Jacobi 场 $Z_1, Z_2, Z_3$。
• 推导并求解一组关于 $\lambda(t)$ 和 $\xi(t)$ 的常微分方程，以控制缩放和位置参数的演化，确保 $\mu_j(t)$ 指数衰减。

实验结果

研究问题

• RQ1 从 $\mathbb{R}$ 到 $\mathbb{S}^1$ 的半调和映射流的解是否可能表现出无限时间爆破，且奇点在有限点处形成？
• RQ2 此类解在 $t \to \infty$ 时的精确渐近形式是什么？
• RQ3 在爆破区域中，缩放参数 $\mu_j(t)$ 和位置参数 $\xi_j(t)$ 如何随时间演化？
• RQ4 误差项 $\theta(x,t)$ 在奇点外的衰减速率如何？
• RQ5 能否通过加权函数空间中的不动点论证控制流的动力学？

主要发现

• 对于 $\mathbb{R}$ 中任意有限个互异的点 $q_1, \dots, q_k$，存在一个初值 $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$ 附近的线性化算子，三个 Jacobi 场 $Z_1, Z_2, Z_3$ 捕获了扰动的主导模式。