[논문 리뷰] Momentum Maps and Measure-valued Solutions (Peakons, Filaments and Sheets) for the EPDiff Equation

Darryl D. Holm, Jerrold E. Marsden|ArXiv.org|2003. 12. 19.

Nonlinear Waves and Solitons인용 수 10

한 줄 요약

이 논문은 EPDiff 방정식의 측도-가치 해(예: 피크온, 필라멘트, 시트)가 H¹ 계량을 갖춘 미분형태군 위의 지오데식 운동의 맥락에서 운동량 맵을 통해 자연스럽게 유도됨을 밝힌다. 핵심 기여는 이러한 특이 해가 운동량 맵을 통해 생성됨을 보여주는 것으로, 이는 기하학적 구조를 부여하고 해의 솔리톤 유사 행동과 충돌에서의 가역성을 설명한다.

ABSTRACT

We study the dynamics of measure-valued solutions of what we call the EPDiff equations, standing for the {\it Euler-Poincaré equations associated with the diffeomorphism group (of $\mathbb{R}^n$ or an $n$-dimensional manifold $M$)}. Our main focus will be on the case of quadratic Lagrangians; that is, on geodesic motion on the diffeomorphism group with respect to the right invariant Sobolev $H^1$ metric. The corresponding Euler-Poincaré (EP) equations are the EPDiff equations, which coincide with the averaged template matching equations (ATME) from computer vision and agree with the Camassa-Holm (CH) equations in one dimension. The corresponding equations for the volume preserving diffeomorphism group are the well-known LAE (Lagrangian averaged Euler) equations for incompressible fluids. We first show that the EPDiff equations are generated by a smooth vector field on the diffeomorphism group for sufficiently smooth solutions. This is analogous to known results for incompressible fluids--both the Euler equations and the LAE equations--and it shows that for sufficiently smooth solutions, the equations are well-posed for short time. In fact, numerical evidence suggests that, as time progresses, these smooth solutions break up into singular solutions which, at least in one dimension, exhibit soliton behavior. With regard to these non-smooth solutions, we study measure-valued solutions that generalize to higher dimensions the peakon solutions of the (CH) equation in one dimension. One of the main purposes of this paper is to show that many of the properties of these measure-valued solutions may be understood through the fact that their solution ansatz is a momentum map. Some additional geometry is also pointed out, for example, that this momentum map is one leg of a natural dual pair.

연구 동기 및 목표

• EPDiff 방정식의 특이 해의 기하학적 및 역학적 구조, 특히 고차원에서의 성질를 이해하기 위해.
• 측도-가치 해(예: 피크온, 필라멘트, 시트)가 미분형태군 위의 지오데식 흐름 맥락에서 운동량 맵으로 나타남을 확립하기 위해.
• 운동량 맵의 구조가 특이 EPDiff 해에서의 솔리톤 유사 행동과 충돌의 가역성을 설명함을 보여주기 위해.
• 부드러운 해에 대한 기존 결과(H^s에서의 잘 정의됨)를 운동량 맵 형식을 통해 특이한 측도-가치 해로 확장하기 위해.
• EPDiff 특이 해와 영상 처리, 특히 템플릿 매칭 및 형태 역학 응용 간의 연결 고리를 탐색하기 위해.

제안 방법

• EPDiff 방정식을 오른쪽 불변 H¹ 계량을 갖춘 미분형태군 위의 지오데식 운동으로 기술하기 위해.
• 벡터장의 리 대칭대수 위의 라그랑지안에서 유도된 오일러-파노레 이론을 사용해 EPDiff 방정식 유도하기.
• 미분형태군이 측도 위에 작용하는 데 관련된 운동량 맵을 식별하여 특이 해를 생성함.
• 운동량 맵이 자연스러운 이중 쌍의 한 쪽임을 보여주어 해 구조에 대한 기하학적 통찰을 제공함.
• 모의 실험(예: 미메틱 유한차분)을 적용하여 특이 해의 가역적 충돌과 재결합을 관찰함.
• 템플릿 매칭에서 특이 해가 영상 윤곽을 나타냄에 따라 운동량 맵 형식을 영상 처리에 연결함.

실험 결과

연구 질문

• RQ1 피크온, 필라멘트, 시트와 같은 EPDiff 방정식의 특이 해는 어떻게 체계적으로 기하학 원리로부터 유도될 수 있는가?
• RQ2 운동량 맵은 EPDiff 방정식의 측도-가치 해를 생성하고 조직화하는 데 어떤 역할을 하는가?
• RQ3 왜 EPDiff의 특이 해는 충돌에서 가역적인가? 이는 소산성 유체 충격과 어떻게 다를까?
• RQ4 운동량 맵 형식은 리만 다양체와 기타 대칭군으로 얼마나 넓게 확장될 수 있는가?
• RQ5 EPDiff 흐름을 사용한 템플릿 매칭 응용에서 운동량 맵의 구조는 영상 무결성을 어떻게 유지하는가?

주요 결과

• EPDiff 방정식은 H^s 위상에서 미분형태군 위의 부드러운 벡터장에 의해 생성되며, 이는 부드러운 해에 대한 짧은 시간 내 존재성 보장한다.
• 피크온, 필라멘트, 시트와 같은 측도-가치 해는 운동량 맵을 통해 유도되며, 이는 특이 구조의 기하학적 기원을 제공한다.
• 운동량 맵의 구조는 특이 해의 솔리톤 유사 행동과 가역적 충돌을 설명하며, 이는 소산성 유체 충격과의 차이를 부각시킨다.
• 수치 시뮬레이션은 특이 해의 충돌이 가역적임을 확인한다. 특히 오버take 구성에서는 뚜렷한 가역성이 나타나지만, 정면 충돌은 근사적인 가역성을 보인다.
• 운동량 맵 형식은 영상 윤곽의 N-솔리톤 근사가 EPDiff 흐름 하에서도 유지됨을 보장하여 영상 처리에서 무결성을 유지한다.
• 운동량 맵은 자연스러운 이중 쌍의 한 쪽으로서, EPDiff 해 공간의 더 깊은 기하학적 및 심플렉틱적 구조를 드러낸다.