[논문 리뷰] Generic 1-parameter pertubations of a vector field with a singular point of codimension k

Arnaud Chéritat, Chrisitane Rousseau|arXiv (Cornell University)|2017. 01. 12.

Advanced Differential Equations and Dynamical Systems인용 수 3

한 줄 요약

이 논문은 복소 벡터장의 다중성 수가 $k+1$인 특이점을 갖는 일반적인 1파rameter 섭동를 좌표와 매개변수에서의 해석적 동치를 통해 분류한다. 고유값 함수 $\lambda(\delta)$를 도입하며, 여기서 $\delta = \epsilon^{1/(k+1)}$이며, 두 가족이 좌표와 매개변수의 변화에 대해 동치일 조건은 고유값 함수가 $k+1$차 순환에 의해 정의되는 회전에 대해 동치일 때이다. 핵심 결과는 섭동된 벡터장의 표준 정규형: $\dot{z} = (z^{k+1} - \epsilon)\sigma(z)$, $\sigma(0) = 1$이며, 그 힘전개에서 $m(k+1)$차 항이 없음을 보장함으로써 거의 유일성을 확보한다.

ABSTRACT

We describe the equivalence classes of germs of generic 1-parameter families of complex vector fields z dot = omega_epsilon(z) on C unfolding a singular point of multiplicity k+1: omega_0 = z^{k+1} + o(z^{k+1}). The equivalence is under conjugacy by holomorphic change of coordinate and parameter. We provide a description of the modulus space and (almost) unique normal forms. As a preparatory step, we present the complete bifurcation diagram of the family of vector fields z dot = z^{k+1} - epsilon, over CP1.

연구 동기 및 목표

• 좌표와 매개변수에서의 해석적 동치에 대해 다중성 수가 $k+1$인 특이점을 갖는 복소 벡터장의 일반적인 1파arameter 가족을 분류하는 것.
• 해당 가족의 모oduli 공간을 기술하고 (거의) 유일한 정규형을 구성하는 것.
• $\dot{z} = z^{k+1} - \epsilon$의 모델 가족이 $\mathbb{C}\mathbb{P}^1$ 상에서 가지는 분기 다이어그램과 그 디스크 위로의 제한을 분석하는 것.
• 매개변수를 고정하는 경우와 매개변수 변화를 允허하는 경우의 두 등가 문제를 해소하며, 고유값 함수를 불변량으로 사용하는 것.

제안 방법

• 고유값 함수 $\lambda(\delta)$를 도입하며, 여기서 $\delta = \epsilon^{1/(k+1)}$이며, 섭동된 시스템의 $k+1$개 특이점에서의 고유값을 코딩한다.
• 복소 시간 흐름(직교 좌표)을 사용하여 역학을 분석하고 동치 불변량을 도출한다.
• $\mathbb{C}\{\epsilon\}$에서의 무한 강하 기법을 적용하여, 표준형의 유일성을 정규 매개변수 선택까지 보인다.
• Douady와 Sentenac의 영감을 받은 기하학적·해석적 기법을 사용하여, 동치 문제를 $k+1$차 순환에 의해 정의되는 회전에 대한 오른쪽 복합에 의한 고유값 함수의 동치로 환원한다.
• 모든 일반적인 1파arameter 섭동이 $\sigma(0) \neq 0$를 만족하는 $\dot{z} = (z^{k+1} - \epsilon)\sigma(z)$ 형태로 해석적 좌표변환을 통해 변환 가능하며, 추가로 $\sigma(0) = 1$이고 힘전개에서 $m(k+1)$차 항이 없도록 정규화할 수 있음을 보인다.
• 고유값 함수 $\lambda(\delta)$가 $\delta = 0$에서 정확히 $k$차로 영이 되며, 모든 그러한 함수가 어떤 가족의 고유값 함수로 나타남을 증명한다.

실험 결과

연구 질문

• RQ1 다중성 수가 $k+1$인 특이점을 갖는 복소 벡터장의 일반적인 1파arameter 섭동에서 가능한 위상도와 분기 현상은 무엇인가?
• RQ2 좌표와 매개변수의 해석적 변화에 대해 이러한 섭동이 어떻게 동치로 분류될 수 있는가?
• RQ3 이러한 1파arameter 가족의 모oduli 공간의 구조는 어떠한가?
• RQ4 이러한 가족에 대해 표준 정규형을 구성할 수 있는가? 만약 가능하면 그 정의적 성질은 무엇인가?
• RQ5 고유값 함수 $\lambda(\delta)$는 특이점의 역학적 자료를 어떻게 코딩하며, 완전한 불변량으로서 어떻게 작용하는가?

주요 결과

• 다중성 수가 $k$인 특이점을 갖는 벡터장의 일반적인 1파arameter 섭동은 매개변수를 유지하는 해석적 좌표변환을 통해 $\dot{z} = (z^{k+1} - \epsilon)\sigma(z)$ 형태로 변환 가능하며, $\sigma(0) \neq 0$이다.
• 고유값 함수 $\lambda(\delta)$는 $\delta = \epsilon^{1/(k+1)}$로 정의되며, $\delta = 0$에서 정확히 $k$차로 영이 되며, 모든 그러한 함수는 어떤 가족으로부터 유도될 수 있다.
• 두 가정의 가족이 좌표와 매개변수의 변화에 대해 동치일 조건은 고유값 함수가 $k+1$차 순환에 의해 정의되는 회전에 대해 오른쪽 복합에 의해 동치일 때이다.
• 고유값 함수는 $\lambda(\delta) = (k+1)\delta^k \sigma(\delta)$ 형태로 정규화될 수 있으며, $\sigma(0) = 1$이고 힘전개에서 $m(k+1)$차 항이 없도록 하여 거의 유일한 정규형을 얻는다.
• $\dot{z} = z^{k+1} - \epsilon$의 $\mathbb{C}\mathbb{P}^1$ 상의 분기 다이어그램은 완전히 묘사되며, 특이점들을 포함하는 디스크 위로의 제한은 이를 바탕으로 유도된다.
• 정규형의 유일성 증명은 $\mathbb{C}\{\epsilon\}$에서의 무한 강하 기법을 사용하며, 모든 변환 매핑과 매개변수 변환의 계수들이 임의의 차수까지 영이 되므로, 결국 모두 영이 됨을 보인다.