[논문 리뷰] Tire tracks and integrable curve evolution

Gil Bor, Mark Levi외 2명|arXiv (Cornell University)|2017. 05. 17.

Nonlinear Waves and Solitons참고 문헌 34인용 수 3

한 줄 요약

이 논문은 주어진 앞바퀴 궤적에서 뒷바퀴 궤적을 기술하는 일阶微分方程인 자전거 방정식을 분석함으로써 자전거 운동, 적분 가능 체계, 그리고 미분기하학 사이의 깊은 연관성을 규명한다. 3차원에서 자전거의 단일 반복성(monodromy)이 베리 위상(geometric holonomy)을 포함하며, 긴 자전거가 면적 2차형식을 근사 측정하는 약간의 계산기로 작용하고, 자전거 대응관계가 다르쿠스 변환과 AKNS/소용돌이 필라멘트 체계와 연결되어 있음을 보여주며, 다수의 앞바퀴 궤적을 가질 수 있는 모호한 닫힌 곡선이 평면 필라멘트 방정식의 솔리톤(soliton)임을 드러낸다.

ABSTRACT

We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes another mechanical device, the hatchet planimeter. Here is a sampler of our results. We express the linearized flow of the bicycle equation in terms of the geometry of the rear track; in dimension three, for closed front and rear tracks, this is a version of the Berry phase formula. We show that in all dimensions a sufficiently long bicycle also serves as a planimeter: it measures, approximately, the area bivector defined by the closed front track. We prove that the bicycle equation also describes rolling, without slipping and twisting, of hyperbolic space along Euclidean space. We relate the bicycle problem with two completely integrable systems: the AKNS (Ablowitz, Kaup, Newell and Segur) system and the vortex filament equation. We show that "bicycle correspondence" of space curves (front tracks sharing a common back track) is a special case of a Darboux transformation associated with the AKNS system. We show that the filament hierarchy, encoded as a single generating equation, describes a 3-dimensional bike of imaginary length. We show that a series of examples of "ambiguous" closed bicycle curves (front tracks admitting self bicycle correspondence), found recently F. Wegner, are buckled rings, or solitons of the planar filament equation. As a case study, we give a detailed analysis of such curves, arising from bicycle correspondence with multiply traversed circles.

연구 동기 및 목표

• n차원 유클리드 공간에서 자전거 방정식의 기하학적 및 역학적 성질을 이해하기 위해.
• 특히 AKNS 계열과 소용돌이 필라멘트 방정식과 관련된 자전거 운동과 적분 가능 체계 사이의 연결 고리를 확립하기 위해.
• 자전거 시스템의 단일 반복성 맵을 분석하고, 3차원에서 베리 위상과의 관계를 보여주기 위해.
• 긴 자전거가 닫힌 앞바퀴 궤적의 면적 2차형식을 근사 측정하는 약간의 계산기로 작용함을 보여주기 위해.
• 다수의 앞바퀴 궤적을 가질 수 있는 닫힌 자전거 곡선(자전거 대응관계)을 특성화하고, 이를 평면 필라멘트 방정식의 솔리톤과 연결하기 위해.

제안 방법

• 주어진 앞바퀴 궤적에서 뒷바퀴 궤적을 기술하는 일阶微分方程로 자전거 방정식을 수립하기 위해.
• 초기 방향의 구 위에 정의된 단일 반복성 맵으로 자전거 단일 반복성을 유도하며, 2차원에서는 멜리우스 변환(Möbius transformation)임을 보이고 고차원으로 일반화 가능함을 밝힘.
• 멜리우스 군과 리 대수의 동형관계(예: so_{2,1} ≅ sl_2(R))를 이용해 2차원 및 3차원에서의 단일 반복성을 분석하기 위해.
• 다르쿠스 변환을 통해 자전거 시스템을 AKNS 시스템과 연결하며, 자전거 대응관계가 이러한 변환의 특수한 경우임을 보여주기 위해.
• 소용돌이 필라멘트 방정식을 허수 길이를 가진 3차원 자전거의 생성 방정식과 연결함으로써 필라멘트 계열 전체를 하나의 생성 방정식에 암시적으로 포함시킴.
• 리아푸노프 유형의 추론과 점근적 분석을 적용하여 ℓ → 0일 때 해의 수렴성을 증명하고, 매개변수에 대한 매끄러운 의존성을 확립함.

실험 결과

연구 질문

• RQ1 3차원에서 자전거 단일 반복성은 베리 위상 공식과 어떻게 관련되어 있는가?
• RQ2 긴 자전거가 닫힌 앞바퀴 궤적의 면적 2차형식을 측정하는 데 약간의 계산기로 기능하는 것은 어떤 의미인가?
• RQ3 자전거 대응관계는 AKNS 시스템의 다르쿠스 변환과 어떤 연결 고리가 있는가?
• RQ4 다수의 앞바퀴 궤적을 가질 수 있는 모호한 닫힌 자전거 곡선은 평면 필라멘트 방정식의 솔리톤과 어떻게 관련되어 있는가?
• RQ5 자전거 방정식의 해는 자전거 길이 ℓ가 0에 수렴할 때 어떤 점근적 행동을 보이는가?

주요 결과

• 3차원에서 자전거 단일 반복성은 베리 위상 공식과 동치이며, 기하학적 호로니(geometric holonomy)와 자전거의 방향 변화의 진화를 연결한다.
• 충분히 긴 자전거의 경우, 닫힌 앞바퀴 궤적의 면적 2차형식을 O(1/ℓ) 오차 범위 내에서 측정하며, 이는 계산기 역할을 하는 것을 확인한다.
• 공간 곡선의 자전거 대응관계는 정확히 AKNS 시스템과 관련된 다르쿠스 변환에 해당한다.
• 허수 길이를 가진 3차원 자전거는 소용돌이 필라멘트 방정식에 의해 지배되며, 전체 필라멘트 계열은 단일 생성 방정식에 암묵적으로 포함되어 있다.
• 웨그너가 발견한 것과 같은 모호한 닫힌 자전거 곡선은 굽은 고리 또는 평면 필라멘트 방정식의 솔리톤으로 식별된다.
• 자전거 길이 ℓ → 0일 때 자전거 방정식의 해는 0으로 매끄럽게 수렴하며, 고차 도함수들 역시 수렴함을 보여주어 ℓ에 대한 해석적 의존성을 확인한다.