[논문 리뷰] From K.A.M. Tori to Isospectral Invariants and Spectral Rigidity of Billiard Tables

G. Popov, P. Topalov|arXiv (Cornell University)|2016. 02. 09.

Quantum chaos and dynamical systems인용 수 4

한 줄 요약

이 논문은 $C^1$ KAM 토르스와 비ergodic 정규형식을 사용하여, 약한 등스펙트럴 조건 하에서 2차원 및 3차원 리우빌 보드레이드 테이블에 대해 무한소 스펙트럼 강성성을 확립한다. 평균 작용과 비ergodic 정규형식이 변형 동안 유지됨을 증명함으로써 타원 및 타원체에 대한 강성을 도출하고, 해석적 및 $\mathbb{Z}_2\times\mathbb{Z}_2$-대칭 보드레이드 테이블에 이를 확장한다.

ABSTRACT

This article is a part of a project investigating the relationship between the dynamics of completely integrable or close to completely integrable billiard tables, the integral geometry on them, and the spectrum of the corresponding Laplace-Beltrami operators. It is concerned with new isospectral invariants and with the spectral rigidity problem for families of Laplace-Beltrami operators with Dirichlet, Neumann or Robin boundary conditions, associated with C^1 families of billiard tables. We introduce a notion of weak isospectrality for such deformations. The main dynamical assumption on the initial billiard table is that the corresponding billiard ball map or an iterate of it has a Kronecker invariant torus with a Diophantine frequency and that the corresponding Birkhoff Normal Form is nondegenerate in Kolmogorov sense. Then we obtain C^1 families of Kronecker tori with Diophantine frequencies. If the family of the Laplace-Beltrami operators satisfies the weak isospectral condition, we prove that the average action on the tori and the Birkhoff Normal Form of the billiard ball maps remain the same along the perturbation. As an application we obtain infinitesimal spectral rigidity for Liouville billiard tables in dimensions two and three. Applications are obtained also for strictly convex billiard tables of dimension two as well as in the case when the initial billiard table admits an elliptic periodic billiard trajectory. Spectral rigidity of billard tables close elliptical billiard tables is obtained. The results are based on a construction of C^1 families of quasi-modes associated with the Kronecker tori and on suitable KAM theorems for C^1 families of Hamiltonians.

연구 동기 및 목표

• 약한 등스펙트럴 조건 하에서 2차원 및 3차원 리우빌 보드레이드 테이블의 스펙트럼 강성성을 확립한다.
• 해석적 및 $\mathbb{Z}_2\times\mathbb{Z}_2$-대칭 보드레이드 테이블에 대해 타원 주변에서 스펙트럼 강성을 확장한다.
• 위트니 확장 정리에 의존하지 않는 새로운 $C^1$ KAM 반복 체계를 개발하여 전역 허더 추정을 가능하게 한다.
• 스펙트럼 불변량과 관련된 크로네커 토르스에 대응하는 $C^1$ 가위모드 가중치를 구성한다.
• 불변 토르스 위에서의 비ergodic 정규형식과 평균 작용이 약한 등스펙트럴 변형 하에서도 유지됨을 증명한다.

제안 방법

• 디리클레/노이만/로빈 조건을 가진 $C^1$ 가중치의 라플라스-베르트라미 연산자 $\Delta_t$ 에 대해 약한 등스펙트럴성의 개념을 도입한다.
• $C^1$ 가중치의 심플렉틱 매핑에 대해 $C^1$ KAM 이론을 적용하여, 디오판틴 주파수 $\omega$ 가 $\omega_0$ 근처에 있을 때 $C^1$ 가중치의 크로네커 토르스 $\Lambda_t(\omega)$ 를 구성한다.
• 위트니 확장 정리의 필요성을 피하기 위해 허더 노름에서 수정된 반복 보조정리를 개발하여, 보편적 캐논ical 변환 추정을 가능하게 한다.
• $C^1$ 가중치의 불변 토르스 $\Lambda_t(\omega)$ 와 관련된 $C^1$ 가위모드 가중치를 구성하여 스펙트럼 불변량과 연결한다.
• 파동 추적 및 구츠윌러 추적 공식을 사용하여 스펙트럼 특이점과 비ergodic 정규형식, 푸앵카레 매핑 스펙트럼 간의 관계를 규명한다.
• 미로컬 분석을 적용하여 양자 비ergodic 정규형식을 경계로 축소하고, $\lambda$-FIO와 $\lambda$-PDO를 통해 보드레이드 매핑을 양자화한다.

실험 결과

연구 질문

• RQ1 약한 등스펙트럴 조건 하에서 2차원 및 3차원 리우빌 보드레이드 테이블에 대해 스펙트럼 강성을 확립할 수 있는가?
• RQ2 불변 토르스 위에서의 비ergodic 정규형식과 평균 작용이 메트릭의 $C^1$ 변형 하에서도 유지되는가?
• RQ3 위트니 확장 정리에 의존하지 않고 전역 허더 추정이 가능한 $C^1$ KAM 이론을 개발할 수 있는가?
• RQ4 양자 비ergodic 정규형식은 $C^1$-스무스 KAM 시스템에서 스펙트럼 불변량을 탐지하는 데 어떤 역할을 하는가?
• RQ5 해석적 및 $\mathbb{Z}_2\times\mathbb{Z}_2$-대칭 보드레이드 테이블이 타원 주변에서 스펙트럼 강성이 유지되는가?

주요 결과

• 약한 등스펙트럴성을 가진 $C^1$ 가중치 가중치 $g_t$ 에 대해, 디오판틴 주파수의 전체 측도 집합 $\Xi$ 에서의 $\omega$ 에 대해 평균 작용 $\beta_t(\omega)$ 와 $P_t$ 의 $\Lambda_t(\omega)$ 에서의 비ergodic 정규형식은 $t$ 와 무관하다.
• 약한 등스펙트럴 조건 하에서 2차원 및 3차원 리우빌 보드레이드 테이블, 특히 타원 및 타원체에 대해 무한소 스펙트럼 강성이 증명된다.
• 해석적 및 $\mathbb{Z}_2\times\mathbb{Z}_2$-대칭 보드레이드 테이블에 대해 $\mathbb{R}^2$ 내 타원 주변에서 스펙트럼 강성이 확립되며, $\frac{dK}{dI}(0) = -\frac{2}{\pi}\arctan(\sinh 2\pi N) < 0$ 이다.
• $\frac{d^2K}{dI^2}(0) = -\frac{1}{2\epsilon\pi^2}\frac{\sinh 2\pi N}{\cosh^2 2\pi N} < 0$ 는 약한 등스펙트럴 조건 하에서 스펙트럼 불변량임을 입증한다.
• 수정된 반복 보조정리는 $C^1$ 추정을 허더 노름에서 전역적으로 가능하게 하여, $C^\infty$ 제트와 위트니 확장 정리의 필요성을 피한다.
• $C^1$ 가중치의 해밀토니안에 대해 미로컬로 양자 비ergodic 정규형식을 구성하였으며, 단일 회전 연산자를 통해 스펙트럼 자료와 고전 역학 간의 연결을 확립한다.