[논문 리뷰] Maximal degree variational principles

Giuseppe Gaeta, Paola Morando|ArXiv.org|2003. 05. 14.

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

한 줄 요약

이 논문은 $n$-차원 다양체 위에서 $(n-2)$-형식에 기반한 변분 원리가 부드러운 함수의 곱을 제외한 벡터장의 유일한 식별을 가능하게 하며, 기존의 ODE에 기반한 변분 원리를 고차원 형식으로 일반화한다. 주요 결과는 모든 리우빌(체적을 보존하는) 벡터장이 이러한 최대 차수의 변분 특성화를 갖는다는 것이다. 이는 해밀턴계와 남부계에 알려진 결과를 확장한 것이다.

ABSTRACT

Let $M$ be smooth $n$-dimensional manifold, fibered over a $k$-dimensional submanifold $B$ as $π:M o B$, and $\vartheta \in Λ^k (M)$; one can consider the functional on sections $ϕ$ of the bundle $π$ defined by $\int_D ϕ^* (\vartheta)$, with $D$ a domain in $B$. We show that for $k = n-2$ the variational principle based on this functional identifies a unique (up to multiplication by a smooth function) nontrivial vector field in $M$, i.e. a system of ODEs. Conversely, any vector field $X$ on $M$ satisfying $i_X ({ m d} \vartheta) = 0$ for some $\vartheta \in Λ^{n-2} (M)$ admits such a variational characterization. We consider the general case, and also the particular case $M = P imes R$ where one of the variables (the time) has a distinguished role; in this case our results imply that any Liouville (volume-preserving) vector field on the phase space $P$ admits a variational principle of the kind considered here.

연구 동기 및 목표

• 표준적인 일차형식을 초월하여 고차원 형식, 특히 $n$-차원 다각체 위의 $(n-2)$-형식에 기반한 변분 원리를 확장하는 것.
• 이러한 변분 원리가 시스템의 PDE가 아니라 부드러운 함수의 스케일링을 제외한 벡터장을 유일하게 결정한다는 것을 보여주는 것.
• 해밀턴계, 남부계, 초해밀턴계의 동역학에 해당하는 모든 리우빌 벡터장이 $(n-2)$-형식에 의해 변분 특성화될 수 있다는 것을 보여주는 것.
• 카르탕 아이디얼과 미분형식에 기반한 단일 변분 프레임워크 안에서 다양한 동역학계의 기하학적 기술을 통합하는 것.

제안 방법

• 논문은 $ abla: M \to B$ 를 차원이 $k$인 피브어 백열로 사용하고, $ vartheta \in \Lambda^{k}(M)$ 에 대해 기능적 $I_D(\varphi) = \int_D \varphi^*\vartheta$ 를 정의한다.
• 수직 벡터장 $V \in \mathcal{V}_D(\pi)$ 에 대한 변분 $\delta_V I_D(\varphi)$ 를 분석하여, $\varphi^*(V \hskip 2.0pt\vbox{\hbox{\vbox to5.12128pt{\vfill\hbox to7.11317pt{\hfill\hfill}\vfill}\vrule}\hrule}\hskip 2.0pt{\rm d}\vartheta) = 0$ 조건을 도출한다.
• $k = n-2$ 인 경우, 조건 $X \hskip 2.0pt\vbox{\hbox{\vbox to5.12128pt{\vfill\hbox to7.11317pt{\hfill\hfill}\vfill}\vrule}\hrule}\hskip 2.0pt{\rm d}\vartheta = 0$ 이 부드러운 함수의 곱을 제외한 유일한 벡터장 $X$ 를 식별한다.
• 시간이 구분된 $M = P \times \mathbb{R}$ 에 적용하여, $P$ 위의 모든 리우빌 벡터장이 특정한 $(n-2)$-형식 $\vartheta$ 를 통해 이러한 변분 원리로부터 유도됨을 보여준다.
• 기존의 시스템에 대해 프레임워크를 검증한다: 해밀턴계(포앙카레-카르탕 형식을 통해), 남부계($n-1$개의 함수와 체적형식을 통해), 초해밀턴계(세 개의 심플렉틱 형식과 $\mathcal{H}^\alpha$ 를 통해).
• 해밀턴계의 해를 기하학적으로 기술하기 위해 카르탕 아이디얼과 변분 모듈러스의 소거자(annihilator)를 사용한다.

실험 결과

연구 질문

• RQ1 $(n-2)$-형식에 기반한 변분 원리가 $n$-차원 다각체 위의 벡터장을 시스템의 PDE가 아니라 부드러운 함수의 곱을 제외한 유일한 식별로 가능하게 하는가?
• RQ2 어떤 조건에서 $\vartheta \in \Lambda^{n-2}(M)$ 에 대해 $X \hskip 2.0pt\vbox{\hbox{\vbox to5.12128pt{\vfill\hbox to7.11317pt{\hfill\hfill}\vfill}\vrule}\hrule}\hskip 2.0pt{\rm d}\vartheta = 0$ 이 성립할 때, $X$ 가 최대 차수의 변분 원리로부터 유도됨을 의미하는가?
• RQ3 다양체 위의 모든 리우빌 벡터장이 $(n-2)$-형식을 통해 변분 특성화를 갖는가?
• RQ4 표준 해밀턴계, 남부계, 초해밀턴계가 $(n-2)$-형식을 통해 단일 변분 프레임워크 안에서 어떻게 통합될 수 있는가?
• RQ5 카르탕 아이디얼은 이러한 변분 문제의 해 공간을 기하학적으로 기술하는 데 어떤 역할을 하는가?

주요 결과

• $k = n-2$ 인 경우, $(n-2)$-형식 $\vartheta$ 를 기반으로 하는 변분 원리는 $M$ 위의 벡터장 $X$ 를 부드러운 함수의 곱을 제외한 유일한 식별로 가능하게 한다.
• 어떤 $\vartheta \in \Lambda^{n-2}(M)$ 에 대해 $X \hskip 2.0pt\vbox{\hbox{\vbox to5.12128pt{\vfill\hbox to7.11317pt{\hfill\hfill}\vfill}\vrule}\hrule}\hskip 2.0pt{\rm d}\vartheta = 0$ 을 만족하는 모든 벡터장 $X$ 는 최대 차수의 변분 특성화를 갖는다.
• $M = P \times \mathbb{R}$ 인 경우, $P$ 위의 모든 리우빌 벡터장은 $(2m-1)$-형식 $\vartheta$ 를 기반으로 하는 최대 차수의 변분 원리의 해로 나타난다.
• 해밀턴계는 $\vartheta = (\beta + H\,dt) \wedge \zeta$ 를 사용하여 변분 원리로부터 복원되며, 여기서 $\zeta = \frac{1}{(m-1)!} \omega^{m-1}$ 이다.
• 남부 동역학은 $X \hskip 2.0pt\vbox{\hbox{\vbox to5.12128pt{\vfill\hbox to7.11317pt{\hfill\hfill}\vfill}\vrule}\hrule}\hskip 2.0pt{\rm d}\vartheta = 0$ 을 만족하는 $\vartheta$ 를 통해 변분적임을 보여준다. 여기서 $\gamma = H_2 \, dH_3 \wedge \cdots \wedge dH_n$ 이다.
• 초해밀턴계 역시 $\vartheta = \sum_{\alpha=1}^3 \sigma_\alpha \wedge \zeta_\alpha + (6Ns) \sum_{\alpha=1}^3 \mathcal{H}^\alpha \, \zeta_\alpha \wedge dt$ 를 통해 이러한 변분 원리를 갖는다. 여기서 $Z = \partial_t + X$ 는 필요한 조건을 만족한다.