[論文レビュー] 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

ひとこと要約

本稿は、境界付きの実解析的コンpakト多様体上のリーマン計量の等長同型性の一意性を、弾性ディリクレ・トゥ・ノイマン写像を用いて確立し、スペクトル幾何学における未解決問題を解決する。さらに、熱核のトレースの漸近展開を通じて明示的なスペクトル不変量を導出し、弾性ステクロフ固有値から幾何的情報を得ることを可能にする。

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.

研究の動機と目的

• 境界付きの実解析的多様体上で、弾性ディリクレ・トゥ・ノイマン写像が等長同型を除いてリーマン計量を一意に特定するかという未解決問題を解明すること。
• 弾性ステクロフ固有値に関連する熱トレースの漸近展開から生じるスペクトル不変量を明示的に計算すること。
• 実解析的多様体に対して、弾性ディリクレ・トゥ・ノイマン写像およびそのリゾルベントの完全な記号表現を確立すること。
• 強い凸性または拡張可能性および実解析性の仮定の下で、古典的ケーラーの問題を弾性設定に拡張し、一意性を証明すること。

提案手法

• 局所的境界法線座標と擬微分作用素の計算を用いて、弾性ディリクレ・トゥ・ノイマン写像の行列値フル記号を導出する。
• 複素変数の曲線積分と留数計算を用い、写像のリゾルベントを介して熱トレース係数を計算する。
• パラメトリックス構成とスペクトル漸近展開を用いて、熱核のトレース展開の係数を抽出する。
• タウバー型定理を用いて、弾性ステクロフ固有値の数え上げ関数に対するウェイの型の法則を導出する。
• リゾルベント (Ξg − τI)−1 のフル記号を計算し、熱トレースの漸近展開における係数 am を抽出する。
• 曲率分解とトレース公式を用いて、係数 am を多様体およびその境界のスカラー曲率やリッチ曲率などの幾何的不変量で表現する。

実験結果

リサーチクエスチョン

• RQ1 弾性ディリクレ・トゥ・ノイマン写像は、境界付きのコンパクトな実解析的多様体上のリーマン計量を等長同型を除いて一意に特定できるか？
• RQ2 弾性ステクロフ固有値に関連する熱トレースの漸近展開にどのような幾何的情報が符号化されているか？
• RQ3 弾性ディリクレ・トゥ・ノイマン写像のスペクトル不変量は、作用素の記号からどのように明示的に計算できるか？
• RQ4 弾性設定において、古典的ディリクレ・トゥ・ノイマン写像の特徴である一意性およびスペクトル的性質は、どの程度保たれるか？
• RQ5 弾性ステクロフ問題の短時間漸近展開における熱トレースの最初の数個の係数の正確な形は何か？

主な発見

• 強い凸性または拡張可能性を満たす実解析的多様体上で、境界付きのコンパクト多様体 Ω に対して、弾性ディリクレ・トゥ・ノイマン写像は等長同型を除いてリーマン計量 g を一意に特定する。これにより問題 A が解決された。
• 熱トレースの漸近展開における最初の二つの係数 a0 および a1 が明示的に計算され、境界の曲率、次元、ラメ定数を用いて表現された。
• 係数 a2(x′) が、領域 Ω およびその境界 ∂Ω のスカラー曲率およびリッチ曲率に依存することを示し、n, µ, λ に依存する明示的な定数を含む。
• 弾性ステクロフ固有値の数え上げ関数 N(τ) に対するウェイの型の法則が導出され、τ → ∞ のとき N(τ) ∼ C τ^{n−1} となることが示され、C は ∂Ω の体積および幾何的パラメータに依存する。
• 熱トレースの漸近展開におけるすべての係数 am (0 ≤ m ≤ n−1) が、リゾルベント作用素 (Ξg − τI)−1 の記号を用いて明示的に計算可能である。
• 本手法により、固有値 {τk} 従ってすべてのスペクトル不変量 am を抽出でき、弾性境界問題の完全なスペクトル幾何的特徴付けが可能になった。