86、波动现象中的数学建模与分析

波动现象中的数学建模与分析

1. 旅行时间与散射关系

在波成像领域，从响应算子恢复声速的问题在维度 (n \geq 2) 时存在高度的过确定性。响应算子的施瓦茨核依赖于 (2n) 个变量，而声速 (c) 仅依赖于 (n) 个变量。

波成像中的其他边界测量类型，如边界距离函数，可直接从响应算子获得。边界距离函数是一个关于 (2n - 2) 个变量的函数，用于测量边界点之间最短测地线的传播时间。从最短测地线的传播时间确定声速的问题是逆运动学问题，而从边界距离函数确定黎曼度量（对应各向异性声速）直至等距的更一般问题则是边界刚性问题。该问题在 (n = 2) 时形式上可确定，但在 (n \geq 3) 时是过确定的。

这个问题源于地球物理学，旨在通过测量地震波的传播时间来确定地球的内部结构。早期的研究可追溯到 Herglotz 以及 Wiechert 和 Zoeppritz 对与欧几里得度量共形的径向度量情况的研究。尽管研究重点多在各向同性介质，但由于地球是各向异性的，各向异性情况在地球物理学中也备受关注。

为了准确定义边界距离函数，我们考虑一个具有光滑边界的有界域 (\Omega \subset \mathbb{R}^n)，并为其配备黎曼度量 (g)，即一族正定对称矩阵 (g(x) = (g_{jk}(x)) {j,k = 1}^n)，它平滑地依赖于 (x \in \Omega)。光滑曲线 (\gamma : [a, b] \to \Omega) 的长度定义为：
[L_g(\gamma) = \int_a^b \left( \sum {j,k = 1}^n g_{jk}(\gamma(t)) \dot{\gamma}_j(t) \do