[论文解读] Fractional Harmonic Maps into Manifolds in odd dimension n>1

Francesca Da Lio|arXiv (Cornell University)|Nov 1, 2013

Advanced Mathematical Physics Problems参考文献 10被引用 12

一句话总结

本文建立了从 $\mathbb{R}^n$ 到紧致光滑流形 $N \subset \mathbb{R}^m$ 的 $n/2$-调和映射的局部 Hölder 连续性与更高正则性，其中 $n > 1$ 为奇整数。通过分析由 Euler-Lagrange 方程导出的具有反对称势的非局部 Schr"odinger 型系统，并在 Lorentz 空间中证明尖锐的换位子估计，作者表明 $\Delta^{n/4}u \in L^p_{\text{loc}}$ 对所有 $p \geq 1$ 成立，从而推出 $u \in C^{0,\alpha}_{\text{loc}}(\mathbb{R}^n, N)$，进一步通过归纳法得到 $C^\infty$ 正则性。

ABSTRACT

ISSN:0944-2669

研究动机与目标

• 建立奇数 $n > 1$ 时，$n/2$-调和映射到 $\mathbb{R}^m$ 中紧致子流形的正则性。
• 将此前仅对 $n=1$ 已知的 $1/2$-调和映射正则性理论推广至更高奇数维。
• 推导并分析刻画 $n/2$-调和映射的具有反对称势的非局部 Schr"odinger 系统。
• 证明非局部算子 $T_n$ 在 Lorentz 空间 $L^{(2,1)}$ 与 $\dot{W}^{-n/2,(2,1)}$ 中的尖锐换位子估计。
• 建立该非局部系统的次临界性，从而支持通过归纳法实现 $C^\infty$ 正则性。

提出的方法

• 将 $n/2$-调和映射的 Euler-Lagrange 方程改写为形式 $( -\Delta )^{n/2} u \land \nu(u) = 0$ 在 $\mathcal{D}'(\mathbb{R}^n)$ 中成立。
• 将方程重述为作用于 $v = (P_T(-\Delta)^{n/4}u, P_N(-\Delta)^{n/4}u)$ 上的具有反对称势 $\Omega \in L^2(\mathbb{R}^n, \mathfrak{so}(2m))$ 的非局部 Schr"odinger 系统。
• 引入换位子算子 $T_n(Q, u)$ 以捕捉由投影与分数阶拉普拉斯相互作用产生的非线性项。
• 利用广义 Hölder 不等式与 Lorentz 空间嵌入，证明关键估计 $\|T_n^*(Q, u)\|_{\dot{W}^{-n/2,(2,1)}} \lesssim \|Q\|_{\dot{H}^{n/2}} \|u\|_{\dot{H}^{n/2}}$。
• 利用 Lorentz 空间理论与插值方法，控制系统中余项 $\tilde{\Omega}_1$ 与 $\tilde{\Omega}_2$。
• 应用扰动论证与次临界性结果（定理 1.5），推导出 $\Delta^{n/4}u$ 的 $L^p_{\text{loc}}$ 可积性，从而得出 Hölder 连续性。

实验结果

研究问题

• RQ1 能否将 $1/2$-调和映射的正则性理论推广至奇数维 $n > 1$ 的 $n/2$-调和映射？
• RQ2 如何刻画 $n/2$-调和映射的 Euler-Lagrange 方程？其能否被重写为可解的非局部系统？
• RQ3 在非局部框架下，为控制由流形约束引起的非线性项，需要哪些换位子估计？
• RQ4 在奇数维中，具有反对称势的非局部 Schr"odinger 系统是否具有次临界性，从而支持正则性归纳？
• RQ5 能否建立 $\Delta^{n/4}u$ 的 $L^p_{\text{loc}}$ 可积性，以推出 $u$ 的局部 Hölder 连续性？

主要发现

• 临界 $n/2$-调和映射 $u \in \dot{H}^{n/2}(\mathbb{R}^n, N)$ 满足对所有 $p \geq 1$ 有 $\Delta^{n/4}u \in L^p_{\text{loc}}(\mathbb{R}^n)$，从而推出 $u \in C^{0,\alpha}_{\text{loc}}(\mathbb{R}^n, N)$ 对某个 $\alpha \in (0,1)$ 成立。
• 导出了非局部 Schr"odinger 系统 $(-\Delta)^{n/4}v = \Omega v + \tilde{\Omega}_1 v + \tilde{\Omega}_2$，其中 $\tilde{\Omega}_1 \in L^{(2,1)}$ 且 $\tilde{\Omega}_2 \in \dot{W}^{-n/2,(2,\infty)}$。
• 证明了换位子估计 $\|T_n^*(Q, u)\|_{\dot{W}^{-n/2,(2,1)}} \lesssim \|Q\|_{\dot{H}^{n/2}} \|u\|_{\dot{H}^{n/2}}$，该估计是尖锐的，并将 $n=1$ 的情形推广至更高奇数维。
• 通过 Lorentz 空间中的正则性补偿，利用 $T_n^*$ 的对偶估计，控制了余项 $\tilde{\Omega}_1$ 与 $\tilde{\Omega}_2$。
• 系统的次临界性（定理 1.5）确保了 $\Delta^{n/4}u$ 的 $L^p_{\text{loc}}$ 可积性，这是实现 Hölder 连续性的关键。
• 通过椭圆型归纳法，得出 $u$ 的 $C^\infty$ 正则性，即 $u \in C^\infty(\mathbb{R}^n, N)$。