[논문 리뷰] Periodic billiard trajectories in polyhedra

Nicolas Bédaride|arXiv (Cornell University)|2011. 04. 06.

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

한 줄 요약

이 논문은 궤도의 조합론적 성격에서 유도된 등장사상에 기반하여 다면체 내 주기적 빌리어드 궤도의 안정성 기준을 수립한다. Fagnano의 궤도—단어 $abcd$로 주기적인—는 정규 단체의 근처에서 존재하며, 직각 및 일부 둔각 단체에서는 실패한다. 또한 Galperin 등이 제기한 주기적 단어가 비주기적 점을 포함하는 빔을 가질 수 있다는 추측에 대한 반례를 제시한다.

ABSTRACT

We consider the billiard map inside a polyhedron. We give a condition for the stability of the periodic trajectories. We apply this result to the case of the tetrahedron. We deduce the existence of an open set of tetrahedra which have a periodic orbit of length four (generalization of Fagnano's orbit for triangles), moreover we can study completly the orbit of points along this coding.

연구 동기 및 목표

• 주기적 빌리어드 궤도의 조합론적 성격에서 유도된 등장사상 $S_v$ 를 기반으로 다면체 내 주기적 빌리어드 궤도의 일반적인 안정 조건을 수립하기.
• 예각 삼각형 내 주기적 궤도에 대한 Fagnano의 고전적 결과를 3차원 단체로 확장하기.
• 정규 단체에 가까운 단체 내에서 $abcd$-주기 궤도의 존재성과 안정성 결정하기.
• Galperin, Krüger, Troubetzkoy 가 제기한 문제를 해결하기 위해 비주기적 점을 포함하는 주기적 단어를 갖는 궤도를 구성함으로써.
• 단체 내 길이가 4인 주기 궤도가 존재하는 기하학적 및 역학적 조건을 특성화하기.

제안 방법

• 주기적 단어 $v$ 와 관련된 등장사상 $S_v$ 를 정의하며, 이는 궤도의 면 반사 순서에서 유도된다.
• 특히 나선 운동과 회전을 포함한 $\mathbb{R}^3$ 내의 애핀 등장사상을 사용하여 궤도의 단일화를 분석한다.
• Rodrigues의 공식을 적용하여 반사의 복합을 회전 또는 나선 운동으로 계산하고, 결과 등장사상의 축과 각도를 결정한다.
• 궤도가 닫히는지 여부를 판단하기 위해 등장사상 $s = S_v \circ t_N$ 의 고정점 집합을 분석하며, 시스템 $Sm + N = m + \lambda u$ 를 사용한다.
• 초기 면에서의 첫 번째 복귀 사상의 계산을 위해 면에 적합한 좌표계를 사용하며, 선형 변환 $r: V \mapsto AV + B$ 로 표현한다.
• 복귀 사상의 행렬 $A$ 를 사용하여 $\pi_a(\sigma_v)$ 를 면 내의 타원의 내부로 특성화한다.

실험 결과

연구 질문

• RQ1 다면체의 미세한 변형에 대해 주기적 빌리어드 궤도가 안정적인가?
• RQ2 Fagnano의 궤도—단어 $abcd$ 로 주기적인—는 정규 단체에 가까운 모든 단체에서 존재하는가?
• RQ3 Galperin 등이 추측한 바와 같이, 빌리어드 코드 내 주기적 단어가 비주기적 점을 포함하는 빔을 가질 수 있는가?
• RQ4 길이가 4인 주기 궤도가 단체 내에 존재하는 데 영향을 주는 기하학적 및 역학적 조건은 무엇인가?
• RQ5 단일화 등장사상 $S_v$ 는 주기 궤도의 존재성과 안정성에 어떻게 영향을 주는가?

주요 결과

• 주기적 빌리어드 궤도가 단어 $v$ 로 코드화된 경우, 주기가 짝수일 때는 $S_v$ 가 항등사상이 아니면 안정적이며, 주기가 홀수일 때는 $S_v$ 가 다면체에 대한 함수로서 일정하면 안정적이다.
• $abcd$-궤도는 정규 단체에 매우 가까운 모든 단체에서 존재하며, 이러한 단체들의 열린 근처를 형성한다.
• 직각 단체와 일부 둔각 단체의 열린 집합에서는 $abcd$-궤도가 존재하지 않으며, 이는 단일화 나선 운동의 축이 초기 면의 내부와 교차하지 않기 때문이다.
• 정점이 $A(0,0,0), B(2,0,0), C(1,1,0), D(3,2,1)$ 인 단체에 대해, 단일화 등장사상 $S_v$ 는 면 $BCD$ 의 내부와 교차하지 않는 나선 운동이므로 궤도의 존재하지 않음을 증명한다.
• 초기 면 $a$ 에서의 첫 번째 복귀 사상 $r$ 은 $r(V) = AV + B$ 로 주어지며, 여기서 $A = \frac{1}{81}\begin{pmatrix}-83&28\\ -12&-75\end{pmatrix}$ 이고, 집합 $\pi_a(\sigma_v)$ 는 $r$ 에 대해 불변인 가장 큰 타원의 내부이다.
• 단 하나의 점만이 주기 궤도를 가지며, 나머지 점들은 주기적 코드를 가지지만 비주기적 궤도를 가지며, 이는 Galperin, Krüger, Troubetzkoy 의 질문을 해결한다.