[论文解读] Determination of isometric real-analytic metric and spectral invariants for elastic Dirichlet-to-Neumann map on Riemannian manifolds

Genqian Liu|arXiv (Cornell University)|Aug 14, 2019

Numerical methods in inverse problems参考文献 44被引用 4

一句话总结

该论文通过弹性Dirichlet-to-Neumann映射，解决了实解析紧流形带边情形下黎曼度量的等距唯一性问题，从而解决了谱几何中的一个开放问题。此外，通过热迹的渐近展开，推导出显式的谱不变量，从而从弹性Steklov特征值中提取了几何信息。

ABSTRACT

In this paper, the elastic Dirichlet-to-Neumann map $Ξ_g$ is studied for the stationary elasticity system in a compact Riemannian manifold $(Ω,g)$ with smooth boundary $\partial Ω$. By overcoming methodological difficulties, we explicitly get matrix-valued full symbol for the elastic Dirichlet-to-Neumann map $Ξ_g$. We prove that for a strong convex or extendable real-analytic manifold with boundary, the elastic Dirichlet-to-Neumann map $Ξ_g$ uniquely determines the metric $g$ of $Ω$ in the sense of isometry, thereby solving an open problem for the uniqueness of the metric under real-analytic setting. Furthermore, by calculating the symbol representation of the resolvent operator $(Ξ-τI)^{-1}$ we can explicitly obtain all coefficients $a_0, a_1 \cdots, a_{n-1}$ of the asymptotic expansion $\sum_{k=1}^\infty e^{-t τ_k}\sim \sum_{m=0}^{n-1} a_m t^{m+1-n} +o(1)$ as $t o 0^+$, where $τ_k$ is the $k$-th eigenvalue of the elastic Dirichlet-to-Neumann map $Ξ_g$ (i.e., $k$-th elastic Steklov eigenvalue). These coefficients (spectral invariants) provide important geometric information for the manifold, which give an answer to another open problem for the elastic Steklov spectral asymptotics.

研究动机与目标

• 解决在带边实解析流形上，弹性Dirichlet-to-Neumann映射是否唯一确定黎曼度量（至等距同构）这一开放问题。
• 显式计算与弹性Steklov特征值相关的热迹渐近展开所产生的谱不变量。
• 为实解析流形建立弹性Dirichlet-to-Neumann映射及其预解式的完整符号表示。
• 通过在强凸性或可延拓性及实解析性假设下证明唯一性，将经典Calderón问题推广至弹性情形。

提出的方法

• 利用局部边界法向坐标和拟微分算子微分学，推导弹性Dirichlet-to-Neumann映射的矩阵值全符号。
• 应用复围道积分与留数计算，通过该映射的预解式计算热迹系数。
• 利用参数解构造与谱渐近性，提取热核迹展开中的系数。
• 应用Tauberian定理，推导弹性Steklov特征值计数函数的Weyl型法则。
• 计算预解式(Ξg − τI)−1的全符号，并利用其提取热迹渐近展开中的系数am。
• 应用曲率分解与迹公式，将系数am表示为流形及其边界上的标量曲率与Ricci曲率等几何不变量的函数。

实验结果

研究问题

• RQ1 弹性Dirichlet-to-Neumann映射能否唯一确定紧致实解析流形带边情形下的黎曼度量（至等距同构）？
• RQ2 与弹性Steklov特征值相关的热迹渐近展开中编码了哪些几何信息？
• RQ3 弹性Dirichlet-to-Neumann映射的谱不变量如何从算子符号显式计算得出？
• RQ4 在弹性背景下，弹性Dirichlet-to-Neumann映射在多大程度上保持了经典Dirichlet-to-Neumann映射的唯一性与谱性质？
• RQ5 弹性Steklov问题热迹短时间渐近展开中前几项系数的精确形式是什么？

主要发现

• 在强凸性或可延拓性的实解析流形带边情形下，弹性Dirichlet-to-Neumann映射唯一确定了黎曼度量g（至等距同构），从而解决了问题A。
• 热迹渐近展开中的前两个系数a0和a1被显式计算，并用边界曲率、维度以及Lamé参数表示。
• 系数a2(x′)被证明依赖于区域Ω及其边界∂Ω的标量曲率与Ricci曲率，其中显式常数依赖于n、µ和λ。
• 推导出弹性Steklov特征值计数函数N(τ)的Weyl型法则，表明当τ → ∞时，N(τ) ∼ C τ^{n−1}，其中C依赖于∂Ω的体积及几何参数。
• 热迹渐近展开中所有系数am（0 ≤ m ≤ n−1）均可通过预解式算子(Ξg − τI)−1的符号显式计算。
• 该方法使得能够从特征值{τk}中提取所有谱不变量am，从而对弹性边界问题提供了完整的谱几何表征。