[논문 리뷰] Periodic solutions with prescribed minimal period of the 2-vortex problem in domains

Thomas Bartsch, Matteo Sacchet|arXiv (Cornell University)|2016. 08. 24.

Advanced Mathematical Modeling in Engineering인용 수 3

한 줄 요약

이 논문은 평면 영역에서 2벌트론 문제에 대해 주어진 최소 주기로 무한히 많은 주기적 해의 존재를 입증한다. 이는 로빈 함수의 등고선을 따라 느린 중심벌트론 운동과 중심벌트론 주위의 빠른 회전을 초월한 초월 운동의 초월을 통해 달성된다. 결과는 기하 조건을 만족하는 부분집합 𝒜⊂Ω에 대해 적용되며, 임의의 최소 주기 T∈I(𝒜)에 대해 성립한다. 이는 고차원 푸앵카레-버크호프 정리의 응용에 기반한다.

ABSTRACT

We consider the Hamiltonian system \[ \dot{z}_k = J abla_{z_k} H_\Omega(z_1,z_2), \quad k=1,2, \] for two point vortices $z_1,z_2\in\Omega$ in a domain $\Omega\subset\mathbb{R}^2$. The Hamiltonian $H_\Omega$ is of the form \[ H_\Omega(z_1,z_2) = -\frac{1}{2\pi} \log |z_1-z_2| - 2g(z_1,z_2) - h(z_1) - h(z_2), \] where $g:\Omega imes\Omega o\mathbb{R}$ is the regular part of a hydrodynamic Green's function in $\Omega$, and $h:\Omega o\mathbb{R}$ is the Robin function: $h(z)=g(z,z)$. The system is singular and not integrable, except when $\Omega$ is a disk or an annulus. We prove the existence of infinitely many periodic solutions with minimal period $T$ which are a superposition of a slow motion of the center of vorticity along a level line of $h$ and of a fast rotation of the two vortices around their center of vorticity. These vortices move in a prescribed subset $\mathcal{A}\subset\Omega$ that has to satisfy a geometric condition. The minimal period can be any $T$ in an interval $I(\mathcal{A})\subset\mathbb{R}$. Subsets $\mathcal{A}$ to which our results apply can be found in any generic bounded domain. The proofs are based on a recent higher dimensional version of the Poincar\'e-Birkhoff theorem due to Fonda and Ure\~na.

연구 동기 및 목표

• 유계 영역 Ω⊂ℝ² 내에서 두 점벌트론에 대해 주어진 최소 주기를 갖는 주기적 해의 존재를 확립한다.
• 일반적인 영역에서 특이적이고 비적분 가능한 해밀토니안 시스템에 따른 두 벌트론의 역학을 분석한다.
• 주어진 주기적 해의 존재를 보장하는 부분집합 𝒜⊂Ω에 대한 기하 조건을 규명한다.
• 해의 최소 주기 T가 부분집합 𝒜에 따라 결정되는 특정 구간 I(𝒜) 내의 임의의 값이 될 수 있음을 보여준다.
• 디스크나 애너룰러스와 같은 적분 가능 사례를 넘어서 주기적 해 결과의 적용 범위를 확장한다.

제안 방법

• 유체역학적 그린 함수의 정규 부분과 로빈 함수를 사용하여 ℝ² 내 영역 Ω⊂ℝ²에서 두 점벌트론의 해밀토니안 시스템을 수립한다.
• 운동을 로빈 함수 h(z)의 등고선을 따라 중심벌트론이 느리게 이동하는 운동과 중심벌트론 주위의 빠른 회전 운동으로 분해한다.
• Fonda와 Ureña가 최근 개발한 고차원 푸앵카레-버크호프 정리의 응용을 통해 주기적 해의 존재를 증명한다.
• 푸앵카레-버크호프 추론의 적용 가능성을 보장하는 부분집합 𝒜⊂Ω에 대한 기하 조건을 규명한다.
• 해의 최소 주기 T가 부분집합 𝒜의 기하적 성질에 의해 결정되는 구간 I(𝒜) 내의 임의의 값일 수 있음을 보여준다.
• 로그함수와 정규 부분을 포함하는 해밀토니안 HΩ의 구조를 활용하여 벌트론 상호작용을 모델링하고 동역학 시스템을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 유계 영역 Ω⊂ℝ²에서 2벌트론 문제에 대해 주어진 최소 주기를 갖는 주기적 해를 구성할 수 있는가?
• RQ2 주어진 주기적 해의 존재를 보장하기 위해 부분집합 𝒜⊂Ω에 필요한 기하 제약 조건은 무엇인가?
• RQ3 느린 중심벌트론 운동과 빠른 회전 운동 간의 상호작용이 해의 주기성에 어떻게 기여하는가?
• RQ4 제한된 부분집합 𝒜⊂Ω 내에 존재하는 해에 대해 최소 주기 T∈I(𝒜)를 임의로 선택할 수 있는가?
• RQ5 결과는 디스크나 애너룰러스와 같은 적분 가능 사례를 넘어서 어느 정도 일반화될 수 있는가?

주요 결과

• 일반적인 유계 영역 Ω⊂ℝ²에서 2벌트론 문제에 대해 주어진 최소 주기 T를 갖는 무한히 많은 주기적 해가 존재한다.
• 해는 로빈 함수 h(z)의 등고선을 따라 중심벌트론이 느리게 이동하는 운동과 중심벌트론 주위의 빠른 회전 운동의 초월이다.
• 최소 주기 T는 부분집합 𝒜⊂Ω의 기하적 성질에 따라 결정되는 구간 I(𝒜)⊂ℝ 내의 임의의 값일 수 있다.
• 해의 존재를 보장하기 위해 부분집합 𝒜⊂Ω는 특정 기하 조건을 만족해야 하며, 이러한 부분집합은 일반적인 유계 영역 내에서 항상 찾을 수 있다.
• 결과는 고차원 푸앵카레-버크호프 정리의 응용을 통해 도출되었으며, 비적분 가능하고 특이한 해밀토니안 시스템에 대한 적용 범위를 확장한다.
• 이 방법은 디스크나 애너룰러스와 같은 적분 가능 사례를 넘어서 적용 가능하며, 기존 주기적 해 존재 결과의 적용 범위를 크게 확장한다.