[논문 리뷰] Action de derivations irreductibles sur les algebres quasi-regulieres d'Hilbert

Abderaouf Mourtada|ArXiv.org|2009. 12. 08.

Advanced Differential Equations and Dynamical Systems참고 문헌 12인용 수 4

한 줄 요약

이 논문은 원점에서의 실해석함수의 원소들에 대한 기저가 아닌 유도의 작용을 조사하며, 이러한 대수들이 국소적으로 $\chi$-유한임을 증명하고, 미분 이상과 횡단 이상 사이에 이重포함 성질이 성립함을 밝힌다. 주요 기여는 $S^2$ 위의 컴act한 해석적 가속가에 대해 초점이 맞춰진 초구형 다각형의 한계 사이클의 축적 없음을 증명한 것으로, 미분대수학과 복귀사상의 점근적 분석을 통해 일반화된 힐베르트 16번 문제의 핵심 케이스를 해결한다.

ABSTRACT

We study the action of irreducible derivations X on some Hilbert's quasi-regular algebras QRH of germes at 0 of analytic functions on (U,0), where U is a semi-algebraic set: that is, we show that these algebras are X-finite or locally X-finite, ie. the degre of the integral projection is finite by restriction to fibers of elements of QRH, and the differential ideals are noetherian or locally noetherian. We then give an important application of this material to the Hilbert's 16th problem about limit cycles: there is no accumulation of limit cycles on hyperbolic polycycles, inside compact analytic families of vector fields on the 2-sphere. This is a highly non trivial result as it includes the case of polycycle that is an accumulation of cycles.

연구 동기 및 목표

• 기저가 아닌 유도에 의한 준정규 힐베르트 대수에서 실해석함수의 원소들의 미분 이상의 유한성 성질을 확립하기 위해.
• 경계 인자 모odulo에서의 미분 이상과 횡단 이상의 포화 사이에 이중 포함 성질을 증명하기 위해.
• 복귀사상의 점근적 분석과 미분대수학을 통해 $S^2$ 위의 컴팩트한 해석적 가속가에서 초구형 다각형의 한계 사이클이 축적되지 않음을 증명함으로써 일반화된 힐베르트 16번 문제를 해결하기 위해.
• 복귀사상과 미분 이상의 맥락에서 대수적 및 점근적 방법을 사용하여 벡터장의 국소 역학을 분석하는 프레임워크를 개발하기 위해.
• 제트 근사와 국소 복귀사상 준비를 통해 코바노프스키의 소수형 이론을 비정상적 및 비일반적인 경우로 확장하기 위해.

제안 방법

• 논문은 기저가 아닌 유도 $\chi$의 궤도를 따라 사영 사상의 차수를 분석하기 위해 $\chi$-정규성과 $\chi$-유한성의 개념을 사용한다.
• 유한 제트를 사용한 왜곡된 다각형의 복귀사상 $p_\nu$의 국소 준비를 적용하여, 코바노프스키 이론의 적용을 가능하게 한다.
• 핵심 기법은 흐름에 관해 불변인 국소 유한 분할을 구성하여, 미분 이상의 국소 노에테리안성 보장이다.
• 매개변수의 단항식에 대한 사전순서와, 크룰 위상 및 수렴성에 적응된 대수 ${\cal B}$에서의 형식-해석적 나눗셈 알고리즘에 의존한다.
• 형식적 및 수렴 급수 간의 관계를 설정하기 위해 제트 절단 사상 $\mathbb{j}_X^n$을 사용하여, 대수적 맥락에서 은폐 함수 정리의 적용을 가능하게 한다.
• 주요 결과의 증명은 대수 $QR{\cal H}(x,\alpha^\prime)$에서의 나눗셈의 유일성과 제트 절단에 따른 지지의 불변성에 기반하여, 수렴성과 유한성 성질을 올리기 위해 사용된다.

실험 결과

연구 질문

• RQ1 준정규 힐베르트 대수에서의 원소 $f$의 미분 이상이 경계 인자 모odulo에서의 횡단 이상의 포화와 일치하는가?
• RQ2 유한 제트 근사에 의해 초구형 다각형의 복귀사상이 제어될 수 있는가? 이는 고정점의 수와 그 차수의 유한성을 보장한다.
• RQ3 반대칭 대수적 집합 $Υ$ 위의 실해석함수 원소들의 대수는 기저가 아닌 유도 $\chi$ 작용에 대해 $\Upsilon$-유한한가?
• RQ4 컴팩트한 해석적 가속가에서 $S^2$ 위의 벡터장에 대해, 다각형이 축적 집합이 되더라도 한계 사이클의 축적 없음이 성립하는가?
• RQ5 복귀사상의 제트가 소수형의 구조를 띠고 있다면, 그 고정점의 수의 유한성은 유추될 수 있는가?

주요 결과

• 대수 $QR{\cal H}$는 국소적으로 $\chi$-유한하다: 각 원소 $f$에 대해, 미분 이상 $I_{\chi,f}$는 대수의 국소 확장에서 노에테리안이다.
• 모든 원소 $f$에 대해, 대수적 중복도 $ma_\chi(f)$가 존재하여, $f$의 미분 이상이 경계 $(\partial U,0)$에서만 0이 되는 인자 모odulo에서 횡단 이상의 포화와 일치한다.
• 왜곡된 초구형 다각형의 복귀사상 $p_\nu$는 유한 개의 고정점과 유한한 차수를 가지며, 이는 사상의 유한 제트에 의해 제어된다.
• 주요 결과는 컴팩트한 해석적 가속가에서 $S^2$ 위의 초구형 다각형에서 한계 사이클의 축적이 일어나지 않음을 증명한다. 열화된 경우에도 성립한다.
• 대수 $QR{\cal H}(x,\alpha^\prime)$에서의 나눗셈 알고리즘은 지지 제어를 보장하는 유일한 인수분해를 보장하며, 해의 수렴성과 해석적 계속성을 가능하게 한다.
• 역함수 정리가 $QR{\cal H}$에서 성립한다: $f = x(1+O(x))$이면, 대수 내에 고유한 역함수 $g = y(1+O(y))$가 존재한다.