[论文解读] Inverse problems for semilinear wave equations on Lorentzian manifolds

Matti Lassas, Günther Uhlmann+1 more|arXiv (Cornell University)|Jun 20, 2016

Numerical methods in inverse problems参考文献 28被引用 6

一句话总结

本文证明了在四维洛伦兹流形上，半线性波动方程的源-解映射可唯一确定度量的共形类以及在时向测地线附近的非线性项的四阶及以下泰勒系数。通过非线性波动相互作用中奇点的微局部分析，作者在一般光滑性和非退化条件下证明了度量与非线性项的反问题可解，将先前针对二次非线性的结果推广至高阶非线性项，方法基于渐近展开与规范不变构造。

ABSTRACT

We consider inverse problems in space-time $(M, g)$, a $4$-dimensional Lorentzian manifold. For semilinear wave equations $\square_g u + H(x, u) = f$, where $\square_g$ denotes the usual Laplace-Beltrami operator, we prove that the source-to-solution map $L: f ightarrow u|_V$, where $V$ is a neighborhood of a time-like geodesic $μ$, determines the topological, differentiable structure and the conformal class of the metric of the space-time in the maximal set where waves can propagate from $μ$ and return back. Moreover, on a given space-time $(M, g)$, the source-to-solution map determines some coefficients of the Taylor expansion of $H$ in $u$.

研究动机与目标

• 从边界测量中确定半线性波动方程中洛伦兹度量的共形类以及非线性项的泰勒系数。
• 将先前针对二次非线性的反问题结果推广至四阶或更高阶的一般光滑非线性项。
• 建立源-解映射唯一确定度量（模微分同胚）与非线性项（模规范等价）的结论。
• 分析非线性波动相互作用中奇点的传播（两至四波相互作用），以提取关于度量与非线性项的信息。
• 证明在解析性与零化条件下，共形因子与高阶非线性系数可由源-解映射重构。

提出的方法

• 使用源-解映射 $ L(f) = u|_V $，其中 $ u $ 是方程 $ \square_g u + H(x,u) = f $ 的解，$ f $ 为紧支集源项，定义在时向测地线邻域 $ V $ 内。
• 应用微局部分析，特别是配对拉格朗日分布与共法线分布，研究非线性波动方程中奇点的传播与相互作用。
• 对解进行渐近展开，以波相互作用（两至四波）为基础，重点关注主导奇点及其主符号。
• 构造拟解并利用规范变换将原波动算子转化为保持主符号的Yamabe型算子。
• 推导小 $ C^4 $-光滑紧支集函数上的逆映射 $ (L|_{W_0})^{-1} $，以在 $ z=0 $ 附近恢复 $ H(x,z) $。
• 利用恒等式 $ a^{(1)}b^{(1)} = e^{-\gamma} a^{(2)}b^{(2)} $ 关联不同规范下的系数，从而确定共形因子 $ \gamma $。

实验结果

研究问题

• RQ1 能否从半线性波动方程的源-解映射重构洛伦兹度量的共形类？
• RQ2 源-解映射在多大程度上确定了非线性项 $ H(x,z) $ 在 $ z=0 $ 附近的泰勒系数？
• RQ3 波的非线性相互作用（两至四波）如何促进度量与非线性项信息的恢复？
• RQ4 规范不变性在反问题中起什么作用？如何通过该性质恢复度量与非线性项？
• RQ5 在何种条件下可唯一确定共形因子 $ \gamma $？

主要发现

• 源-解映射确定了在最大传播域 $ I(p_-, p_+) $ 上度量 $ g $ 的共形类，该区域是波可从时向测地线 $ \mu $ 出发并返回的区域。
• 当 $ H $ 为实解析函数且在 $ z=0 $ 处至少四阶零化时，该映射唯一确定了 $ k \geq 2 $ 的泰勒系数 $ \partial_z^k H(x,0) $，其中 $ x \in V $。
• 当里奇曲率为零或 $ H $ 与 $ x $ 无关时，共形因子 $ \gamma $ 仅能确定到一个常数。
• 对于一般 $ H(x,z) $，通过在小 $ C^4 $-光滑函数上取源-解映射的逆，可重构系数 $ \partial_z^k H(x,0) $。
• 非线性相互作用奇点的主符号通过恒等式 $ a^{(1)}b^{(1)} = e^{-\gamma} a^{(2)}b^{(2)} $ 与度量和非线性项相关联，从而实现度量的恢复。
• 反问题在度量模微分同胚与非线性项模规范等价的意义下可解，将二次非线性项的结果推广至高阶非线性项。