[논문 리뷰] Darboux theory of integrability in the sparse case

Guillaume Chèze|arXiv (Cornell University)|2012. 10. 29.

Advanced Differential Equations and Dynamical Systems참고 문헌 20인용 수 10

한 줄 요약

이 논문은 다항벡터장의 첫 번째 적분에 대한 다르부와 주아노뇌의 정리를 일반화하며, 전통적인 차수 기반의 경계를 다항벡터장의 관련 라운드다이드 다항식의 뉴턴 다면체 내 정수점의 수를 기반으로 한 경계로 대체한다. B + 1개의 다르부 다항식은 다르부 첫 번째 적분을 암시하고, B + n개는 유리 첫 번째 적분을 암시한다. 여기서 B는 뉴턴 다면체 내 정수점의 수이다. 이 경계는 명시적인 반례를 통해 최적임을 입증한다.

ABSTRACT

Darboux's theorem and Jouanolou's theorem deal with the existence of first integrals and rational first integrals of a polynomial vector field. These results are given in terms of the degree of the polynomial vector field. Here we show that we can get the same kind of results if we consider the size of a Newton polytope associated to the vector field. Furthermore, we show that in this context the bound is optimal.

연구 동기 및 목표

• 다항식의 희박성은 뉴턴 다면체로 기록되므로, 고전적 다르부 및 주아노뇌 정리를 희박한 경우로 확장한다.
• 이 정리들에서 차수 기반 경계를 다항벡터장의 뉴턴 다면체 내 정수점의 수를 기반으로 한 경계로 대체한다.
• 제안된 경계가 최적임을 입증하기 위해, 경계가 정확히 맞는 명시적 반례를 구성한다.
• 계수들이 0인 다항계에서의 적분 가능성 분석을 위한 프레임워크를 제공한다. 기하학적 및 희박한 다항식 이론의 대수적 도구를 사용한다.

제안 방법

• 라운드다이드 다항식 ∑ᵢ xᵢ Aᵢ / Xᵢ의 지수들의 볼록결합으로서 ND를 정의한다. 여기서 xᵢ는 일반적인 복소수이다.
• 벡터 ν ∈ ℤⁿ에 대해 다항식 f에 대한 가중 차수 degν(f)를 정의한다. 이는 다항식 f의 뉴턴 다면체 N(f) 내에서 ν·m의 최대값을 측정한다.
• 모든 다르부 다항식 f와 그 공인자 g에 대해, 뉴턴 다면체 N(g)가 ND ∩ ℤⁿ에 포함됨을 증명함으로써, 공인자의 희박성을 확립한다.
• 모든 공인자가 B개의 정수점이 있는 ND ∩ ℤⁿ 내에 존재하므로, B차원 복소벡터공간에 속함을 이용하여 공인자들 사이의 선형종속관계를 유도한다.
• [LZ10]의 전략을 활용하여, 계수들이 유리수인 n개의 선형종속 공인자 관계가 존재하면 유리 첫 번째 적분이 존재함을 증명한다.
• 유리 첫 번째 적분이 존재하지 않지만 정확히 B + n − 1개의 다르부 다항식을 가지는 유도를 구성함으로써, 경계가 최적임을 입증한다.

실험 결과

연구 질문

• RQ1 고전적 차수 기반 경계를 희박한 경우의 뉴턴 다면체 크기 기반 경계로 대체할 수 있는가?
• RQ2 뉴턴 다면체 내 정수점의 수를 기반으로 한 제안된 경계가 유리 첫 번째 적분 존재에 대해 최적인가?
• RQ3 뉴턴 다면체로 측정되는 다항벡터장의 희박성이 다르부 및 유리 첫 번째 적분의 존재성과 구조에 어떻게 영향을 미치는가?
• RQ4 다른 다항식의 공인자가 희박함을 보일 수 있으며, 이러한 희박성은 가능한 첫 번째 적분 공간을 어떻게 제약하는가?

주요 결과

• 라운드다이드 다항식 ∑ᵢ xᵢ Aᵢ / Xᵢ의 뉴턴 다면체 ND 내 정수점의 수 B는 적분 가능성의 결정적 임계값을 결정한다.
• 유도가 적어도 B + 1개의 다르부 다항식을 가진다면, 이는 이들 다항식의 거듭제곱의 곱으로 이루어진 다르부 첫 번째 적분을 가진다.
• 유도가 적어도 B + n개의 다르부 다항식을 가진다면, 이는 ℂ(X₁, ..., Xₙ) 내의 유리 첫 번째 적분을 가진다.
• 유리 첫 번째 적분에 대한 경계 B + n은 최적임을 입증하였으며, 정확히 B + n − 1개의 다르부 다항식을 가지지만 유리 첫 번째 적분이 존재하지 않는 유도의 구성으로 이를 입증하였다.
• 밀도 있는 경우, 즉 모든 계수가 0이 아닌 경우, B는 이항계수 (n + d − 1 choose n)와 같으며, 다르부 및 주아노뇌의 고전적 경계를 복원한다.
• 희박한 시스템, 예를 들어 세 개의 비영인 항만을 가지는 경우(예: X₁^e X₂^e, X₁^{e−1} X₂^e, X₁^e X₂^{e−1}, X₁^0 X₂^0), B = 3e는 차수 d = 2e에 대해 선형으로 증가하지만, 고전적 경계는 이차적으로 증가하므로 상당한 향상이 있음을 보여준다.