[论文解读] Radiation fields for semilinear wave equations

Dean Baskin, Antônio Sá Barreto|arXiv (Cornell University)|Aug 14, 2012

Advanced Mathematical Physics Problems参考文献 11被引用 4

一句话总结

本文为 $[3$ 中临界半线性波动方程定义了辐射场，并通过证明非线性辐射场的存在性及一个径向支撑定理，确立了其在散射理论中的作用。结果表明，辐射场是从有限能量初值数据到 $L^2(\mathbb{R} \times \mathbb{S}^2)$ 的非线性同构，从而给出了散射算子的表达式，并将 Radon 变换的支撑定理推广至具有径向对称性的非线性情形。

ABSTRACT

We define the radiation fields of solutions to critical semilinear wave equations in R^3 and use them to define the scattering operator. We also prove a support theorem for the radiation fields with radial initial data. This extends the well known support theorem for the Radon transform to this setting and can also be interpreted as a Paley-Wiener theorem for the distorted nonlinear Fourier transform of radial functions.

研究动机与目标

• 为满足 $|f(u)| \sim |u|^5$ 的非线性项，在 $[3$ 中定义临界半线性波动方程的辐射场。
• 为具有有限能量初值数据的 Shatah-Struwe 解，建立前向与后向非线性辐射场的存在性。
• 利用这些辐射场，将散射算子定义为 $\mathcal{A} = \mathcal{L}_+ \mathcal{L}_-^{-1}$。
• 证明辐射场的径向支撑定理，推广 Paley-Wiener 定理至径向函数的扭曲非线性傅里叶变换情形。

提出的方法

• 辐射场定义为 $\mathcal{L}_+(\phi,\psi)(s,\omega) = \lim_{r\to\infty} r (\partial_t u)(s+r, r\omega)$，将线性辐射场推广至非线性情形。
• 通过针对有限能量初值数据的 Shatah-Struwe 类解使用 Strichartz 估计与能量估计，证明了辐射场的存在性。
• 通过分析径向对称下解的行为，证明了径向支撑定理，将辐射场与 Radon 变换及其逆联系起来。
• 通过前向与反向辐射场的复合构造散射算子，即 $\mathcal{A} = \mathcal{L}_+ \mathcal{L}_-^{-1}$，并证明其为非线性同构。
• 证明依赖于 Sobolev 正则性上的归纳法，利用能量估计与 Sobolev 嵌入控制非线性项 $f(u) \sim |u|^5$。
• 分析将已知的线性辐射场与 Radon 变换结果推广至非线性情形，尤其适用于径向初值数据。

实验结果

研究问题

• RQ1 对于 $\mathbb{R}^{3+1}$ 中具有有限能量初值数据的临界半线性波动方程解，辐射场是否存在？
• RQ2 能否利用辐射场为这类方程定义非线性散射算子？
• RQ3 对于径向初值数据，辐射场的支撑结构是什么？其与 Radon 变换有何关系？
• RQ4 在满足 $|f(u)| \sim |u|^5$ 与 $P(u) \sim |u|^6$ 的非线性项下，辐射场的行为如何？
• RQ5 辐射场是否构成从初值能量空间到 $L^2(\mathbb{R} \times \mathbb{S}^2)$ 的非线性同构？

主要发现

• 辐射场 $\mathcal{L}_\pm$ 存在，且是从有限能量初值数据空间到 $L^2(\mathbb{R} \times \mathbb{S}^2)$ 的非线性同构。
• 对于径向初值数据 $(0, \psi)$，其中 $\psi \in C_0^\infty(\mathbb{R}^3)$，辐射场满足一个支撑定理，该定理推广了 Radon 变换的经典 Paley-Wiener 定理。
• 散射算子 $\mathcal{A} = \mathcal{L}_+ \mathcal{L}_-^{-1}$ 定义良好，能将过去未来光锥上的初值数据映射到未来未来光锥上的数据。
• 在给定非线性项下，初值属于 $\tilde{H}^{k+1} \times H^k$ 的解满足有限的全局 Strichartz 与能量范数，包括 $\|u\|_{L^\infty \tilde{H}^{k+1}} < \infty$。
• 辐射场是光滑的：$\mathcal{L}_\pm: C_0^\infty(\mathbb{R}^3) \times C_0^\infty(\mathbb{R}^3) \to C^\infty(\mathbb{R} \times \mathbb{S}^2)$。
• 辐射场将波动群与柱面上的平移实现相联系，将线性平移表示推广至非线性情形。