[논문 리뷰] Determination of isometric real-analytic metric and spectral invariants for elastic Dirichlet-to-Neumann map on Riemannian manifolds

Genqian Liu|arXiv (Cornell University)|2019. 08. 14.

Numerical methods in inverse problems참고 문헌 44인용 수 4

한 줄 요약

이 논문은 경계를 가진 실해석적 컴act 다성분에서 탄성 Dirichlet-to-Neumann 맵을 통해 리만계량의 등장성 유일성(이sovmetric uniqueness)을 확립하며, 스펙트럼 기하학 분야의 열린 문제를 해결한다. 또한 열화도의 점근적 전개를 통해 명시적인 스펙트럼 불변량을 도출하여, 탄성 스테클로프 고유값으로부터 기하학적 정보를 제공한다.

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 맵이 등장성에 대해 리만계량을 유일하게 결정하는지 여부라는 열린 문제를 해결한다.
• 탄성 스테클로프 고유값과 관련된 열화도의 점근적 전개에서 유도되는 스펙트럼 불변량을 명시적으로 계산한다.
• 실해석적 다성분에 대해 탄성 Dirichlet-to-Neumann 맵과 그 해소자에 대한 완전한 기호 표현을 수립한다.
• 강한 볼록성 또는 연장 가능성과 실해석성 조건을 가정하여 고전적 Calderón 문제를 탄성 설정으로 확장한다.

제안 방법

• 국소 경계 정규좌표계와 임의의 미분 연산자 계산법을 사용하여 탄성 Dirichlet-to-Neumann 맵의 행렬값 전체 기호를 유도한다.
• 복소수 경로 적분과 잔여물 계산법을 적용하여 해소자 연산자의 해를 통해 열화도 계수를 계산한다.
• 파라메트릭스 구성과 스펙트럼 점근적 해법을 활용하여 열핵의 추적 전개에서 계수를 추출한다.
• 타우버리언 정리를 적용하여 탄성 스테클로프 고유값의 수를 세는 함수에 대한 웨일 유형 법칙을 유도한다.
• 해소자 (Ξg − τI)−1의 전체 기호를 계산하고, 이를 통해 열화도의 점근적 전개에서 계수 am을 추출한다.
• 곡률 분해와 트레이스 공식을 적용하여 계수 am을 다성분과 그 경계의 스칼라 곡률 및 리치 곡률과 같은 기하학적 불변량으로 표현한다.

실험 결과

연구 질문

• RQ1 탄성 Dirichlet-to-Neumann 맵은 경계를 가진 컴팩트 실해석적 다성분의 리만계량을 등장성에 대해 유일하게 결정할 수 있는가?
• RQ2 탄성 스테클로프 고유값과 관련된 열화도의 점근적 전개에 담긴 기하학적 정보는 무엇인가?
• RQ3 탄성 Dirichlet-to-Neumann 맵의 스펙트럼 불변량은 연산자의 기호에서 어떻게 명시적으로 계산할 수 있는가?
• RQ4 탄성 설정에서 고전적 Dirichlet-to-Neumann 맵의 유일성 및 스펙트럼 성질은 어느 정도 유지되는가?
• RQ5 탄성 스테클로프 문제에 대한 짧은 시간 점근적 전개에서 첫 번째 몇 개의 계수는 정확히 어떤 형태를 가진다?

주요 결과

• 강한 볼록성 또는 연장 가능성이 있는 실해석적 다성분에서 탄성 Dirichlet-to-Neumann 맵은 등장성에 대해 리만계량 g를 유일하게 결정하며, 문제 A를 해결한다.
• 열화도의 점근적 전개에서 첫 두 계수 a0와 a1는 경계 곡률, 차원, 라메 매개변수에 대해 명시적으로 계산되어 표현된다.
• 계수 a2(x′)는 영역 Ω와 그 경계 ∂Ω의 스칼라 곡률 및 리치 곡률에 의존하며, n, µ, λ에 따라 명시적인 상수를 가진다.
• 탄성 스테클로프 고유값의 수를 세는 함수 N(τ)에 대한 웨일 유형 법칙이 도출되었으며, τ → ∞ 일 때 N(τ) ∼ C τ^{n−1} 임을 보여주며, C는 ∂Ω의 부피와 기하학적 매개변수에 의존한다.
• 열화도의 점근적 전개에서 0 ≤ m ≤ n−1 인 모든 계수 am은 해소자 연산자 (Ξg − τI)−1의 기호를 통해 명시적으로 계산 가능하다.
• 이 방법을 통해 고유값 {τk}에서 모든 스펙트럼 불변량 am을 추출할 수 있으며, 탄성 경계 문제의 완전한 스펙트럼 기하학적 특성화를 제공한다.