2025-11-15T00:58:18.105316

On the dynamics of contact Hamiltonian systems II: Variational construction of asymptotic orbits

Jin, Yan, Zhao

This paper is a continuation of our study of the dynamics of contact Hamiltonian systems in \cite{JY}, but without monotonicity assumption. Due to the complexity of general cases, we focus on the behavior of action minimizing orbits. We pick out certain action minimizing invariant sets $\{\widetilde{\mathcal{N}}_u\}$ in the phase space naturally stratified by solutions $u$ to the corresponding Hamilton-Jacobi equation. Using an extension of characteristic method, we establish the existence of semi-infinite orbits that is asymptotic to some $\widetilde{\mathcal{N}}_u$ and heteroclinic orbits between $\widetilde{\mathcal{N}}_u$ and $\widetilde{\mathcal{N}}_v$ for two different solutions $u$ and $v$.

academic

접촉 해밀턴 시스템의 동역학에 관하여 II: 점근 궤도의 변분 구성

기본 정보

논문 ID: 2501.01279
제목: On the dynamics of contact Hamiltonian systems II: Variational construction of asymptotic orbits
저자: Liang Jin (난징이공대학교/보훔루르대학교), Jun Yan (푸단대학교), Kai Zhao (동제대학교)
분류: math.DS (동역학계)
발표 시간: 2025년 1월 3일
논문 링크: https://arxiv.org/abs/2501.01279

초록

본 논문은 저자들이 문헌25에서 접촉 해밀턴 시스템의 동역학 연구를 단조성 가정 없이 계속한 것이다. 일반적인 경우의 복잡성으로 인해, 저자들은 작용 최소화 궤도의 거동에 초점을 맞추었다. 위상공간에서 특정 작용 최소화 불변집합 $\{\tilde{\mathcal{N}}_u\}$ 를 선택함으로써(이 집합들은 대응하는 해밀턴-야코비 방정식의 해 $u$ 에 의해 자연스럽게 층화됨), 특성 방법의 일반화를 적용하여, 어떤 $\tilde{\mathcal{N}}_u$ 에 점근하는 반무한 궤도의 존재성과 서로 다른 해 $u$ 와 $v$ 에 대응하는 $\tilde{\mathcal{N}}_u$ 와 $\tilde{\mathcal{N}}_v$ 사이의 이종 궤도의 존재성을 확립했다.

연구 배경 및 동기

문제 배경

접촉 해밀턴 시스템은 고전 해밀턴 시스템의 중요한 일반화로, 그 동역학은 심플렉틱 구조가 아닌 접촉 구조에 의해 지배된다. 위상공간 $J^1(M,\mathbb{R}) = T^*M \times \mathbb{R}$ 에서, 시스템은 접촉 해밀턴 함수 $H$ 에 의해 생성되는 벡터장으로 정의된다:

$\begin{cases} \dot{x} = \partial_p H(x,u,p) \\ \dot{p} = -\partial_x H(x,u,p) - \partial_u H(x,u,p)p \\ \dot{u} = \partial_p H(x,u,p) \cdot p - H(x,u,p) \end{cases}$

연구 동기

이론 완성의 필요성: 이전 연구25에서 저자들은 단조성 가정 하에서 접촉 해밀턴 시스템의 전역 동역학을 연구하여 전역 흡인자의 존재성을 증명했다. 그러나 많은 물리 모델이 단조성 조건을 만족하지 않으므로, 더욱 일반적인 이론의 발전이 필요하다.
방법론적 도전: 단조성 가정을 제거한 후, 해밀턴-야코비 방정식의 해가 더 이상 유일하지 않으며, 시스템은 전역 흡인자를 잃고, 전통적 방법이 실패하므로 새로운 분석 도구가 필요하다.
응용 수요: 접촉 해밀턴 시스템은 산일 시스템, 천체역학, 최적 제어 등의 분야에서 중요한 응용을 가지고 있으며, 비단조 경우에서의 동역학 거동을 이해하는 것은 중요한 의미를 갖는다.

기존 방법의 한계

고전 Aubry-Mather 이론은 주로 보존 시스템을 대상으로 함
약한 KAM 이론의 접촉 시스템에서의 응용은 여전히 불완전함
비단조 접촉 해밀턴 시스템을 다루는 체계적 방법 부재

핵심 기여

전역 특성 방법의 발전: 해밀턴-야코비 방정식의 특성 이론을 큰 시간 경우로 일반화하여, 해가 비매끄러워져도 특성선을 추적할 수 있게 함.
점근 궤도의 존재성 이론 확립:
- 반무한 궤도가 Mañé 절편에 점근함을 증명 (정리 A)
- 서로 다른 Mañé 절편을 연결하는 이종 궤도 구성 (정리 B)
작용 최소화 궤도의 완전한 특성화 제공: 변분 원리를 통해 이들 궤도의 기하학적 및 분석적 성질을 제시.
구체적 모델에 적용: $H(x,u,p) = F(x,p) + \lambda(x)u$ 형태의 모델 시스템에 대해 완전한 동역학 분류 제공.

방법 상세 설명

기본 가정

논문은 다음 가정 하에서 작동한다:

(H1) 섬유 볼록성: $\partial^2_{pp}H(x,u,p)$ 가 양정치
(H2) 섬유 초선형성: $H(x,u,p) \geq K\|p\|_x - C_*(K)$
(H3) $u$ 에 대한 균등 립시츠 조건: $|H(x,u,p) - H(x,u',p)| \leq L|u-u'|$

핵심 기술 도구

1. 작용 함수

후향 및 전향 작용 함수 정의: $h^{x_0,u_0}(x,t) = \inf_{\gamma(t)=x, \gamma(0)=x_0} \left\{u_0 + \int_0^t L(\gamma(s), h^{x_0,u_0}(\gamma(s),s), \dot{\gamma}(s))ds\right\}$

2. 해 반군

$T^-_t\phi(x) = \inf_{x_0 \in M} h^{x_0,\phi(x_0)}(x,t)$ $T^+_t\phi(x) = \sup_{x_0 \in M} h^{x_0,\phi(x_0)}(x,t)$

3. 약한 KAM 해

후향 약한 KAM 해: $u^- \in S^-$ 는 $T^-_t u^- = u^-$ 를 만족
전향 약한 KAM 해: $u^+ \in S^+$ 는 $T^+_t u^+ = u^+$ 를 만족

4. Mañé 절편

$\tilde{\mathcal{N}}_{u^-} = \bigcap_{t \geq 0} \Phi^{-t}_H(J^1_{u^-})$

주요 정리

정리 A (반무한 궤도의 존재성)

$\phi \in C^2(M,\mathbb{R})$ 에 대해 $u^- \in S^-$ 가 존재하여 $\lim_{t \to +\infty} T^-_t\phi(x) = u^-(x)$ 가 균등하게 성립하면:

(A1) $\omega(Z) \subset \tilde{\mathcal{N}}_{u^-}$ 인 $Z \in J^1\phi$ 가 존재
(A2) $J^1_{u^-} \subset \bigcap_{T>0}\left(\bigcup_{t \geq T} \Phi^t_H(J^1\phi)\right)$

정리 B (이종 궤도의 존재성)

$\phi \in C(M,\mathbb{R})$ 가 존재하여 $\lim_{t \to +\infty} T^-_t\phi = u^-, \quad \lim_{t \to +\infty} T^+_t\phi = v^+, \quad v^+ < u^-$ 이면:

(B1) $\alpha(z) \cap \tilde{\mathcal{N}}_{u^-} \neq \emptyset$ 이면, $\omega(z) \cap \tilde{\mathcal{N}}_{v^+} = \emptyset$
(B2) $\alpha(Z) \subset \tilde{\mathcal{N}}_{v^+}$ , $\omega(Z) \subset \tilde{\mathcal{N}}_{u^-}$ 인 $Z$ 가 존재

기술적 혁신점

1. 전역 특성 방법

국소 특성 이론을 전체 시간으로 일반화하여, 변분 원리를 통해 적절한 특성선을 선택하고, 해의 매끄러움이 손실된 후에도 동역학 거동을 추적할 수 있게 함.

2. 수렴성 분석

해 반군의 수렴성과 궤도의 점근 거동 사이의 대응 관계를 확립하여, PDE 이론과 동역학계를 연결하는 핵심 다리 역할.

3. 구성적 증명

순수 존재성 논증이 아닌 구체적인 변분 구성을 통해 이종 궤도의 존재성을 제시.

응용 사례

모델 시스템 분석

해밀턴 $H(x,u,p) = F(x,p) + \lambda(x)u$ 에 대해, 진동 조건 $\lambda(x_1)\lambda(x_2) < 0$ 과 비임계 조건 $c(H) < 0$ 하에서, 전역 작용 최소화 궤도의 완전한 분류를 제시:

정리 C: 임의의 $z_0 = (x_0,u_0,p_0) \in \tilde{G}$ 에 대해,

$u_0 > \bar{u}^-(x_0)$ 이면, $\omega(z_0) \subset \tilde{\mathcal{N}}_{\bar{u}^-}$ 이고 $\lim_{t \to -\infty} u(t) = +\infty$
$u_0 = \bar{u}^-(x_0)$ 이면, $\alpha(z_0) \cup \omega(z_0) \subset \tilde{\mathcal{N}}_{\bar{u}^-}$
$u^+(x_0) < u_0 < \bar{u}^-(x_0)$ 이면, $\alpha(z_0) \subset \tilde{\mathcal{N}}_{u^+}$ , $\omega(z_0) \subset \tilde{\mathcal{N}}_{\bar{u}^-}$
$u_0 = u^+(x_0)$ 이면, $\alpha(z_0) \cup \omega(z_0) \subset \tilde{\mathcal{N}}_{u^+}$
$u_0 < u^+(x_0)$ 이면, $\alpha(z_0) \subset \tilde{\mathcal{N}}_{u^+}$ 이고 $\lim_{t \to +\infty} u(t) = -\infty$