[논문 리뷰] Reparametrizations of vector fields and their shift maps

Sergiy Maksymenko|arXiv (Cornell University)|2009. 07. 02.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 5

한 줄 요약

이 논문은 매끄러운 재매개변수화에 의한 벡터장 $ F $의 흐름의 이미지로 정의된 시프트 맵 공간 $ Sh(F) $ 가 임의의 매끄러운 양수 함수 $ \mu $ 에 의한 재매개변수화에서 불변하다는 것을 증명한다. 핵심 결과는 $ F $ 가 원운동 작용을 생성하도록 재매개변수화될 수 있음과 동시에, $ \mathbf{F}(x, \mu(x)) \equiv x $ 를 만족하는 매끄러운 양수 함수 $ \mu $ 가 존재하는 것과 동치이며, 이는 각 궤도를 따라 흐름이 시간 $ \mu(x) $ 후에 초기 위치로 돌아옴을 의미한다.

ABSTRACT

Let $M$ be a smooth manifold, $F$ be a smooth vector field on $M$, and $F_t$ be the local flow of $F$. Denote by $Sh(F)$ the space of smooth maps $h:M o M$ of the following form: $h(x) = F_{f(x)}(x)$, where $f:M o\mathbb{R}$ runs over all smooth functions on $M$ which can be substituted into the flow $F_t$ instead of time. This space often coincides with the identity component of the group of diffeomorphisms preserving orbits of $F$. In this note it is shown that $Sh(F)$ is not changed under reparametrizations and pushforwards of $F$. As an application it is proved that a vector field $F$ without non-closed orbits can be reparametrized to induce a circle action on $M$ if and only if there exists a smooth function $f:M o (0,+\infty)$ such that for each non-singular point $x$ of $M$, the value $f(x)$ is an integer multiple of the period of $x$ with respect to $F$.

연구 동기 및 목표

• 매니폴드 $ M $ 상의 매끄러운 벡터장 $ F $ 의 재매개변수화에 대해 시프트 맵 공간 $ Sh(F) $ 가 불변하는지 조사하는 것.
• $ F $ 가 어떤 조건을 만족할 경우 매끄러운 원운동 작용을 유도하도록 재매개변수화될 수 있는지 특성화하는 것.
• 흐름이 초기 위치로 복귀하는 데 걸리는 시간을 통해, 매끄러운 양수 함수 $ \mu $ 를 통한 위상적이고 역학적 조건을 확립하는 것.
• 벡터장 $ F $ 의 시프트 맵 $ \varphi $, 그 재매개변수화된 형태 $ \mu F $ 및 그로 인한 역학적 동역학 간의 관계를 명확히 하는 것, 특히 주기성과 미분동형성 성질을 중심으로 한다.

제안 방법

• 함수 공간 $ \mathsf{func}(F) $ 에서 $ C^\infty(M,M) $ 로의 시프트 맵 $ \varphi: \mathsf{func}(F) \to C^\infty(M,M) $ 를 $ \varphi(\alpha)(x) = \mathbf{F}(x, \alpha(x)) $ 로 정의하며, 그 상은 $ Sh(F) $ 이다.
• 흐름 재매개변수화 공식 $ \mathbf{G}(x,s) = \mathbf{F}(x, \alpha(x,s)) $ 을 사용하여 $ F $ 와 $ \mu F $ 의 흐름을 연결하며, 여기서 $ \alpha(x,s) = \int_0^s \mu(\mathbf{G}(x,\tau)) d\tau $ 이다.
• 임의의 매끄러운 양수 함수 $ \mu $ 에 대해 $ Sh(\mu F) = Sh(F) $ 를 증명함으로써, 재매개변수화에 대한 시프트 맵 공간의 불변성을 보여준다.
• 벡터장 $ F $ 의 시프트 맵 $ \varphi $ 가 주기 함수 $ \theta $ 를 주기로 갖는 것은 $ \mathbf{F}(x, \theta(x)) \equiv x $ 와 동치임을 증명함으로써, 주기성과 복귀 시간 함수 존재성 간의 관계를 맺는다.
• 재매개변수화된 흐름 $ \mu F $ 의 흐름을 이용해 역재매개변수화 맵 $ \xi: \mathsf{func}(G) \to \mathsf{func}(F) $ 를 $ \xi(\gamma)(x) = \int_0^{\gamma(x)} \mu(\mathbf{G}(x,\tau)) d\tau $ 로 정의한다.
• 원운동 작용 이론을 적용하여, $ G = \mu F $ 일 때 $ \mathbf{G}(x,1) \equiv x $ 이고, 동시에 $ \mathbf{F}(x, \mu(x)) \equiv x $ 이며, 이는 원운동 작용을 유도하기 위한 필요충분조건임을 도출한다.

실험 결과

연구 질문

• RQ1 벡터장 $ F $ 가 매끄러운 양수 함수 $ \mu $ 로 재매개변수화될 때, 시프트 맵 공간 $ Sh(F) $ 는 그대로 유지되는가?
• RQ2 어떤 조건을 만족할 경우 벡터장 $ F $ 가 재매개변수화되어 $ M $ 상에 매끄러운 원운동 작용을 유도할 수 있는가?
• RQ3 벡터장 $ F $ 의 시프트 맵 주기 함수와 재매개변수화 함수 $ \mu $ 간의 정확한 관계는 무엇인가?
• RQ4 재매개변수화에 대한 $ Sh(F) $ 의 불변성이, 개방성 또는 국소 단사성과 같은 시프트 맵의 위상적 성질에 어떻게 영향을 미치는가?

주요 결과

• 시프트 맵 공간 $ Sh(F) $ 는 재매개변수화에 대해 불변하다: 임의의 매끄러운 양수 함수 $ \mu: M \to (0,\infty) $ 에 대해 $ Sh(\mu F) = Sh(F) $ 이다.
• 벡터장 $ F $ 의 시프트 맵 $ \varphi $ 가 주기 함수 $ \theta $ 를 주기로 갖는 것은 $ \mathbf{F}(x, \theta(x)) \equiv x $ 를 만족함과 동치이며, 이는 모든 $ x \in M $ 에 대해 성립한다.
• 벡터장 $ F $ 는 매끄러운 양수 함수 $ \mu $ 가 존재하여 $ \mathbf{F}(x, \mu(x)) \equiv x $ 를 만족할 때에만 재매개변수화되어 매끄러운 원운동 작용을 유도할 수 있다.
• 만약 $ \mu $ 가 $ F $ 의 궤도를 따라 일정하다면, 재매개변수화된 흐름 $ \mu F $ 의 주기 함수는 $ \bar{\theta}(x) = \theta(x)/\mu(x) $ 로 주어진다.
• 시프트 맵 $ \varphi $ 가 $ \mathsf{S}^{r,s} $-개방임과 동시에 시프트 맵 $ \mu F $ 가 $ \mathsf{S}^{r,s} $-개방임은 $ Sh(F) $ 의 불변성에 기인하여 동치이다.
• 벡터장 $ F $ 의 특이점 $ z $ 에서, 선형화된 형태는 $ \sum_{i=1}^k (-A_i y_i \partial_{x_i} + A_i x_i \partial_{y_i}) $ 의 형태여야 하며, 이는 국소 정규형에서 $ k $ 개의 타원형 방향이 존재함을 반영한다.