[논문 리뷰] On conjugacy of convex billiards

Vadim Kaloshin, Alfonso Sorrentino|arXiv (Cornell University)|2012. 03. 06.

Mathematical Dynamics and Fractals참고 문헌 19인용 수 5

한 줄 요약

이 논문은 두 개의 엄격하게 볼록한 평면 billiard 맵이 경계 근처에서 $C^{1,\beta}$-동형이면 $\beta > 1/2$일 때, 해당 도메인이 유사하다는 것을 증명한다—즉, 스케일링과 등장변환에 의해 관련되어 있다. 이 결과는 Guillen이 제기한 질문을 해결하며, Lazutkin 좌표와 곡률 불변량을 통해 동역학적 동형성과 기하학적 강성 사이의 연결고리를 제공함으로써 Birkhoff의 통합 billiard에 대한 추측에 대한 조건부 증명을 제시한다.

ABSTRACT

Given a strictly convex domain $Ω$ in $\R^2$, there is a natural way to define a billiard map in it: a rectilinear path hitting the boundary reflects so that the angle of reflection is equal to the angle of incidence. In this paper we answer a relatively old question of Guillemin. We show that if two billiard maps are $C^{1,α}$-conjugate near the boundary, for some $α> 1/2$, then the corresponding domains are similar, i.e. they can be obtained one from the other by a rescaling and an isometry. As an application, we prove a conditional version of Birkhoff conjecture on the integrability of planar billiards and show that the original conjecture is equivalent to what we call an "Extension problem". Quite interestingly, our result and a positive solution to this extension problem would provide an answer to a closely related question in spectral theory: if the marked length spectra of two domains are the same, is it true that they are isometric?

연구 동기 및 목표

• Victor Guillen이 제기한 오랜 동안의 질문에 대해, 경계 근처에서 $C^{1,\alpha}$-동형성이 성립할 경우, 해당 엄격하게 볼록한 도메인의 기하학적 유사성이 보장되는지 여부를 규명하는 것.
• 동역학적 동형성과 기하학적 강성 사이의 연결고리를 통해, 평면 billiard의 통합성에 대한 Birkhoff의 추측에 대한 조건부 증명을 수립하는 것.
• 동형성 문제를 연장 문제와 연결하여, 양의 해가 존재할 경우, 엄격하게 볼록한 도메인에 대해 표시된 길이 스펙트럼의 강성이 성립함을 보이는 것.
• 경계 근처에서 $C^{1,\alpha}$-동형성이 성립하는 유일한 $C^r$ 엄격하게 볼록한 도메인($r \geq 4$)은 상호 유사한 도메인 뿐이며, 약간의 정규성 조건 하에 이를 증명하는 것.

제안 방법

• 경계 근처에서 billiard 맵을 선형화하기 위해 Lazutkin 좌표를 사용하여, 동역학을 일정한 각속도를 가진 표준 형태로 변환하는 것.
• 원래 좌표계와 Lazutkin 좌표계에서 각각의 billiard 맵 $f$와 $g$ 사이의 동형사상 $h$를 구성하고, 원환면 $\mathbb{T} \times [0,\delta]$ 위에서 유도된 맵 $h_L$를 도출하는 것.
• 자기행렬 $Dh_L(x,0) = \begin{pmatrix} 1 & * \\ 0 & 1 \end{pmatrix}$를 유도하여, 동형사상이 각도 좌표를 비틀림을 제외하고 유지함을 보이며, 이는 강성 증명의 핵심 요소가 된다.
• 경계 도함수 $\frac{d\hat{s}}{ds} = C^{-1} \lambda^{-2}$를 계산하며, 여기서 $C = C_f / C_g$는 Lazutkin 둘레의 비율이고 $\lambda = \rho_f^{1/3}/\rho_g^{1/3}$이며, 곡률과 둘레 불변량을 연결한다.
• Lazutkin 좌표에서 맵의 표준 형태를 유지하는 $h_L$의 성질을 이용하여, 곡률 함수 $\rho_f$와 $\rho_g$가 서로 비례해야 한다는 것을 유도함으로써 도메인의 유사성을 도출하는 것.
• $C^{1,\alpha}$-정규성 조건($\alpha > 1/2$)을 적용하여, 동형사상이 충분히 매끄럽게 되어 곡률 함수가 스케일링을 제외하고 동일해야 한다는 것을 보장하는 것.

실험 결과

연구 질문

• RQ1 두 개의 엄격하게 볼록한 billiard 맵이 경계 근처에서 $C^{1,\alpha}$-동형성이 성립할 경우 $\alpha > 1/2$이면, 해당 도메인은 반드시 동일한 형태로 유사한가(즉, 스케일링과 등장변환에 의해 연결되는가)?
• RQ2 경계 근처에서의 동형사상이 전역적으로 연장된다고 가정할 경우, 평면 billiard의 통합성에 대한 Birkhoff의 추측을 증명할 수 있는가?
• RQ3 엄격하게 볼록한 도메인의 표시된 길이 스펙트럼은 기하학에 의해 유일하게 결정되는가, 그리고 표시된 길이 스펙트럼이 동일할 경우 등장변환을 이루는가?
• RQ4 Lazutkin 좌표는 billiard 동역학에서 동형성 하에 기하학적 불변량을 감지하는 데 어떤 역할을 하는가?
• RQ5 경계 근처에서 $C^{1,\alpha}$-동형사상이 존재할 경우, 곡률 함수가 비례하게 되어 도메인의 유사성을 유도하는가?

주요 결과

• 두 개의 $C^r$ 엄격하게 볼록한 평면 billiard 맵($r \geq 4$)이 경계 근처에서 $C^{1,\alpha}$-동형성이 성립할 경우 $\alpha > 1/2$이면, 도메인은 유사하다—즉, 스케일링과 등장변환에 의해 관련되어 있다.
• 동형사상은 Lazutkin 원환면 위에서 맵 $h_L$을 유도하며, 그 도함수는 $Dh_L(x,0) = \begin{pmatrix} 1 & * \\ 0 & 1 \end{pmatrix}$를 만족하여 각도 좌표를 비틀림을 제외하고 유지함을 보이며, 이는 강성 증명에 핵심적인 역할을 한다.
• 동형사상의 경계 도함수는 $\frac{d\hat{s}}{ds} = C^{-1} \lambda^{-2}$를 만족하며, 여기서 $C$는 Lazutkin 둘레의 비율이고 $\lambda = \rho_f^{1/3}/\rho_g^{1/3}$이며, 이는 동형사상과 곡률 및 둘레 불변량을 연결한다.
• $C^{1,\alpha}$-정규성 조건($\alpha > 1/2$)은 동형사상이 충분히 매끄럽게 되어 곡률 함수 $\rho_f$와 $\rho_g$가 스케일링을 제외하고 비례하도록 강제함을 보장한다. 이는 도메인의 유사성을 의미한다.
• 이 결과는 Birkhoff의 추측에 대한 조건부 증명을 제공한다: 만약 경계 근처에서의 동형사상이 전역적으로 연장된다면, 도메인은 타원이어야 한다.
• 논문은 동역학적 동형성과 스펙트럼 강성 사이에 깊은 연결고리를 확립한다: 두 도메인이 같은 표시된 길이 스펙트럼을 가진다면, 연장 문제의 해가 존재할 경우, 이는 등장변환을 의미한다.