[논문 리뷰] Geometry and curvature of diffeomorphism groups with $H^1$ metric and mean hydrodynamics

Steve Shkoller|ArXiv.org|1998. 07. 15.

Nonlinear Waves and Solitons참고 문헌 9인용 수 25

한 줄 요약

이 논문은 밀도를 유지하는 힐버트 미분형사군 $\mathcal{D}^s_\mu(M)$ 위에서 $H^1$ 오른쪽 불변 계량을 사용하여 평균 유체역학에서 라그랑주 안정성 연구를 위한 기하학적 기초를 확립한다. $H^1$ 계량의 곡률 텐서가 $H^s$ 위상에서 유계임을 증명하여, 자코비 장의 존재를 보장하고 지측선 안정성 분석이 가능하게 하며, 홀름-마르스덴-라티우 평균 유체 모델에 응용한다.

ABSTRACT

Recently, Holm, Marsden, and Ratiu [1998] have derived a new model for the mean motion of an ideal fluid in Euclidean space given by the equation $\dot{V}(t) + abla_{U(t)} V(t) - α^2 [ abla U(t)]^t \cdot riangle U(t) = - ext{grad} p(t)$ where $ ext{div} U=0$, and $V = (1- α^2 riangle)U$. In this model, the momentum $V$ is transported by the velocity $U$, with the effect that nonlinear interaction between modes corresponding to length scales smaller than $α$ is negligible. We generalize this equation to the setting of an $n$ dimensional compact Riemannian manifold. The resulting equation is the Euler-Poincaré equation associated with the geodesic flow of the $H^1$ right invariant metric on ${\mathcal D}^s_μ$, the group of volume preserving Hilbert diffeomorphisms of class $H^s$. We prove that the geodesic spray is continuously differentiable from $T{\mathcal D}_μ^s(M)$ into $TT{\mathcal D}_μ^s(M)$ so that a standard Picard iteration argument proves existence and uniqueness on a finite time interval. Our goal in this paper is to establish the foundations for Lagrangian stability analysis following Arnold [1966]. To do so, we use submanifold geometry, and prove that the weak curvature tensor of the right invariant $H^1$ metric on ${\mathcal D}^s_μ$ is a bounded trilinear map in the $H^s$ topology, from which it follows that solutions to Jacobi's equation exist. Using such solutions, we are able to study the infinitesimal stability behavior of geodesics.

연구 동기 및 목표

• 유럽 공간에서의 홀름-마르스덴-라티우 평균 유체 모델을 $H^1$ 계량을 사용하여 밀도를 유지하는 컴팩트 리만 다양체로 일반화한다.
• 힐베르트 미분형사군 $\mathcal{D}^s_\mu(M)$ 위에서 지측선 스프레이는 연속적으로 미분 가능함을 확립하여 국소적 존재성과 유일성을 보장한다.
• $\mathcal{D}^s_\mu(M)$ 위에서 $H^1$ 오른쪽 불변 계량의 약한 곡률 텐서를 계산하고, $H^s$ 위상에서 유계 삼선형 사상임을 증명한다.
• 곡률을 이용하여 자코비 장을 통해 라그랑주 안정성 분석을 가능하게 하여 지측선의 무한소 안정성을 연구한다.

제안 방법

• 컴팩트 리만 다양체 $M$ 위에서 $H^s$ 미분형사군 $\mathcal{D}^s_\mu(M)$ 에서의 $H^1$ 오른쪽 불변 계량을 체계적으로 정의한다.
• $H^1$ 계량 하에서 지측선 흐름에 대한 오일러-포앙카레 방정식을 유도하여, 홀름-마르스덴-라티우 모델을 다양체로 일반화한다.
• 부분다양체 기하학 기법을 적용하여 $H^s$ 위상에서 $H^1$ 계량의 약한 곡률 텐서를 계산한다.
• 지측선 스프레이는 연속적으로 미분 가능함을 증명하여, 피카르 반복을 사용하여 지측선의 국소적 존재성과 유일성을 확보한다.
• 곡률 텐서의 유계성으로 인해 지측선을 따라 자코비 방정식의 해 존재성을 확립한다.
• 특히 비음성 곡률의 경우를 중심으로, 단면 곡률을 통해 공액점과 안정성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 지난 $H^1$ 오른쪽 불변 계량이 컴팩트 다양체 위의 평균 유체 모델에서 지측선 흐름의 기하학과 역학에 어떤 영향을 미치는가?
• RQ2 $\mathcal{D}^s_\mu(M)$ 위에서 $H^1$ 계량의 곡률 텐서는 어떤 구조를 가지며, $H^s$ 위상에서 유계인가?
• RQ3 $H^1$ 계량 하에서 자코비 장의 존재는 보장될 수 있는가? 이는 지측선 안정성에 어떤 의미를 갖는다?
• RQ4 $H^1$ 계량의 곡률에 어떤 조건이 성립하면 지측선 상에 공액점이 존재하지 않는가?
• RQ5 특정 지측선(예: 2차원 토러스 상의 시어 플로우)의 안정성 특성은 $H^1$ 계량의 곡률에 어떻게 의존하는가?

주요 결과

• $\mathcal{D}^s_\mu(M)$ 위에서 $H^1$ 오른쪽 불변 계량의 약한 곡률 텐서는 $H^s$ 위상에서 유계 삼선형 사상이며, 이는 자코비 방정식의 해 존재성을 보장한다.
• 자코비 방정식의 해는 존재하며, 이는 $H^1$ 계량 설정 하에서 지측선의 무한소 안정성 분석에 활용될 수 있다.
• $\mathcal{D}^s_\mu(M)$ 내의 압력-일정 지측선의 경우, 단면 곡률이 음성이 아니면 지측선 상에 공액점이 존재하지 않는다.
• $\mathbb{T}^2$의 경우, $\eta(t)(x^1,x^2) = (x^1 + h(x^2), x^2 + ct)$ 및 $\eta(t)(x^1,x^2) = (x^1 + t h(x^2), x^2)$ 형태의 지측선은 $H^1$ 계량 하에서 압력-일정 지측선으로 나타난다.
• $X = (\sin(kx^1), 0)$, $Y = (\cos(kx^1), 0)$ 방향에서, $\langle R^1_e(X,Y)Y,X\rangle_1$ 의 단면 곡률은 모든 $k \neq 0$ 에 대해 음수이며, 이는 해당 방향으로의 변동에 대한 불안정성을 시사한다.
• $\mathbb{T}^2$ 상의 시어 유형 해의 지측선 흐름은 $\cos(kx^2)$ 방향으로의 변동에 대해 불안정하며, 곡률 분석에 의해 예측된 바와 같다.