[논문 리뷰] Some Results on the Vanishing Conjecture of Differential Operators with Constant Coefficients

Arno van den Essen, Roel M. Willems외 1명|arXiv (Cornell University)|2009. 03. 09.

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

한 줄 요약

이 논문은 상수 계수 미분 연산자에 대한 사라짐 추측의 네 가지 새로운 케이스를 증명하고, 허무한 부분이 없는 라우렌트 다항식에 대한 관련 추측을 확인한다. 편도체 이론과 Duistermaat–van der Kallen 정리의 도구를 사용하여, 특정 유리 다면체 및 차수 조건 하에서 추측이 성립함을 입증한다. 특히 연산자와 다항식의 지지 집합이 서로 겹치지 않는 유리 다면체 교차를 만족할 경우에 특히 성립한다.

ABSTRACT

In this paper we prove four cases of the vanishing conjecture of differential operators with constant coefficients and also a conjecture on the Laurent polynomials with no holomorphic parts, which were proposed in [Zh3] by the third named author. We also give two examples to show that the generalizations of both the vanishing conjecture and the Duistermaat-van der Kallen theorem [DK] to Laurent formal power series do not hold in general.

연구 동기 및 목표

• 상수 계수 미분 연산자에 대한 사라짐 추측의 새로운 케이스를 증명하기 위해.
• Zh3에서 제안된 허무한 부분이 없는 라우렌트 다항식에 대한 추측을 확인하기 위해.
• 라우렌트 형식 거듭제곱급수로의 사라짐 추측과 Duistermaat–van der Kallen 정리의 일반화가 일반적으로 성립하지 않음을 보여주기 위해.
• 유리 다면체 기하학과 차수 분석을 통해 추측이 성립하는 조건을 설정하기 위해.
• 다항식과 특정 차수의 동차 성분을 가진 미분 연산자를 포함하는 경우로 추측의 유효성을 확장하기 위해.

제안 방법

• 사라짐 추측의 일변수 경우를 증명하기 위해 기본적인 상미분방정식 정리(ODE 정리)를 사용한다.
• 라우렌트 다항식의 다면체에 대한 조밀도 정리를 도출하기 위해 Duistermaat–van der Kallen 정리를 적용한다.
• 다항식과 미분 연산자의 지지 집합을 분석하기 위해 유리 다면체 이론을 활용한다.
• 차수 비교와 지지 집합 분석을 통해 특정 조건 하에서 미분 표현식의 항들이 사라져야 함을 보여준다.
• 유리 다면체 교차가 음이 아닌 유클리드 공간과 겹칠 경우 모순을 이끌어내기 위해 보조정리 6.3과 추론 4.8을 적용한다.
• 만약 다면체 차이 Σ = Poly(P) − Poly(Λ)가 음이 아닌 유클리드 공간과 교차하지 않는다면, 추측이 성립함을 입증한다.

실험 결과

연구 질문

• RQ1 상수 계수 미분 연산자에 대해 사라짐 추측이 성립하는 조건은 무엇인가?
• RQ2 허무한 부분이 없는 라우렌트 다항식으로의 추측을 일반화할 수 있는가?
• RQ3 Duistermaat–van der Kallen 정리는 라우렌트 형식 거듭제곱급수로 일반화될 수 있는가?
• RQ4 P^m과 Λ^m의 지지 집합이 어떤 조건에서 큰 m에 대해 Λ^m(P^m g) = 0를 유도하는가?
• RQ5 유리 다면체와 그들이 R≥n과의 교차가 추측 검증에 어떤 역할을 하는가?

주요 결과

• 모든 형식 거듭제곱급수 P(z)와 다항식 g(z)에 대해 일변수 경우의 사라짐 추측이 성립한다.
• 두 변수에서 ∂x − Φ(∂y) 형태의 미분 연산자에 대해 추측이 증명된다.
• 다면체 차이 Poly(P) − Poly(Λ)가 (R≥0)^n과 교차하지 않는 한, 추측이 성립한다.
• 모노미얼의 경우에 대해 추측이 확인된다: Λ(ξ) 또는 P(z)가 모노미얼이라면, 큰 m에 대해 Λ^m(P^m g) = 0이다.
• P(z) = az^α + bz^β 및 Λ = ∂^α + ∂^β일 때, |α| ≠ |β|이면 추측이 성립한다.
• 일반적인 라우렌트 형식 거듭제곱급수로의 사라짐 추측과 Duistermaat–van der Kallen 정리의 일반화가 성립하지 않는다는 반례가 구성된다.