[논문 리뷰] Inverse spectral problem for analytic $(Z/2Z)^n$-symmetric domains in $R^n$

Hamid Hezari, Steve Zelditch|arXiv (Cornell University)|2009. 02. 09.

Spectral Theory in Mathematical Physics참고 문헌 36인용 수 18

한 줄 요약

이 논문은 ℝⁿ 내에 있는 유계이고 실해석적 도메인 중에서 (ℤ/2ℤ)ⁿ 대칭을 가지며 고정된 길이의 볼링볼 궤도를 갖는 경우, 고전역학의 비퇴화 조건(포incare 사상의 고유값)을 만족할 경우, 딜리클레 또는 노이만 고유값에 의해 유일하게 결정됨을 증명한다. 주요 기여는 구가 아닌 도메인에 대해 고차원 역스펙트럼 문제를 긍정적으로 해결하고, 이전의 평면 도메인 결과를 고차원으로 확장하며, 대칭성과 역학적 비퇴화 조건 하에서 스펙트럼 강성(스펙트럼 강성)을 입증한 것이다.

ABSTRACT

In this paper we show that bounded analytic domains in $\R^n$ with mirror symmetries across all coordinate axes are spectrally determined among other such domains. Our approach builds on finding concrete formulas for the wave invariants at a bouncing ball orbit. The wave invariants are calculated from a stationary phase expansion applied to a well-constructed microlocal parametrix for the trace of the resolvent.

연구 동기 및 목표

• ℝⁿ 내에 있는 유계이고 실해석적 도메인 중에서 (ℤ/2ℤ)ⁿ 대칭을 가지는 경우의 역스펙트럼 문제를 해결하는 것.
• 이러한 도메인이 딜리클레 또는 노이만 고유값에 의해 유일하게 결정되는지 판단하는 것.
• 이전의 평면 도메인 결과를 고차원으로 확장하여 구 대칭성을 기반으로 하지 않는 것.
• 볼링볼 궤도에 대한 일반적인 비퇴화 조건 하에서 스펙트럼 강성을 확립하는 것.
• 고정된 축 길이를 갖는 대칭 해석적 도메인 중에서 스펙트럼이 도메인 기하학을 유일하게 결정하는지 증명하는 것.

제안 방법

• 스펙트럼 불변량을 라플라스 연산자의 스펙트럼으로부터 추출하기 위해 반고전적 해열자와 파동 군을 사용한다.
• 포incare 사상과 그 고유값을 이용하여 볼링볼 궤도와 관련된 파동 불변량을 분석한다.
• 바리안-블로흐 공식을 적용하여 파동 불변량을 주기 궤도에서의 헤시안과 곡률 데이터로 표현한다.
• 비퇴화 조건을 도입: 포incare 사상의 고유값 중 1이 없으며, 각도들이 ℚ 위에서 선형 독립이어야 한다.
• 볼링볼 궤도 근처의 경계 정의 함수의 테일러 전개를 사용하고, 삼각함수의 선형 독립성을 통해 계수를 복원한다.
• 수학적 귀납법과 스펙트럼 불변량을 활용하여 스펙트럼으로부터 도메인의 모양을 재구성한다.

실험 결과

연구 질문

• RQ1 ℝⁿ 내에 있는 유계이고 실해석적 도메인 중에서 (ℤ/2ℤ)ⁿ 대칭을 가지는 경우, 딜리클레 또는 노이만 고유값에 의해 유일하게 결정될 수 있는가?
• RQ2 이러한 도메인에서 라플라스 연산자의 스펙트럼이 도메인의 기하학을 결정하는가, 특히 구가 아닐 경우에도 마찬가지로 성립하는가?
• RQ3 주기 궤도에 대한 어떤 역학적 조건이 고차원에서 스펙트럼 강성을 보장하는가?
• RQ4 볼링볼 궤도와 관련된 파동 불변량을 사용하여 경계를 등급변환까지 유일하게 재구성할 수 있는가?
• RQ5 두 개 이상의 차원에서 구가 아닌 대칭 도메인에 대해서도 스펙트럼 결정이 가능한가?

주요 결과

• 딜리클레 또는 노이만 라플라스 연산자의 스펙트럼은 (ℤ/2ℤ)ⁿ 대칭을 가지며 고정된 볼링볼 궤도 길이를 갖는 모든 유계이고 실해석적 도메인 중에서 도메인을 유일하게 결정한다.
• 비퇴화 조건 — 포incare 사상의 고유값 중 1이 없으며 각도들이 ℚ 위에서 선형 독립이어야 함 — 은 스펙트럼 강성을 보장한다.
• 볼링볼 궤도에서의 파동 불변량은 스펙트럼 불변량이며, 경계 정의 함수의 테일러 계수를 암시한다.
• 형태 (cot(rα/2))^γ 에서 ℕ 에 속하는 함수들의 선형 독립성은 도메인 함수의 모든 짝수 차수 테일러 계수를 스펙트럼으로부터 복원할 수 있음을 의미한다.
• 증명은 열린 히트 트레이스 방법에 의존하지 않고 반고전적 해열자와 파동 군을 사용하여 불변량을 추출한다.
• 이 결과는 구가 아닌 고차원 유클리드 도메인에 대해 얻어진 최초의 긍정적인 역스펙트럼 결과이다.