[논문 리뷰] Generalized "second Ritt theorem" and explicit solution of the polynomial moment problem

Fedor Pakovich|arXiv (Cornell University)|2009. 08. 18.

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

한 줄 요약

이 논문은 다항식 모멘트 문제에 대한 명시적이고 구성적인 해법을 제공하며, Ritt의 두 번째 정리를 일반화하여 함수방정식 $ P = P_1 \circ W_1 = \cdots = P_r \circ W_r $의 모든 다항식 해를 기술함으로써, $ \int_a^b P^k dQ = 0 $ 이 모든 $ k \geq 0 $ 에 대해 성립하는 해를 구성성 분해에서 유래하는 기약 해들의 합으로 완전히 특성화할 수 있게 한다. 주요 기여는 체비셰프 다항식과 짝수 차수의 합성 구조를 이용하여, 세 개 이하의 성분으로 줄일 수 없는 해를 분류하는 데 있다. 특히, 해가 세 개 이하의 성분으로 표현될 수 없는 조건을 명시적으로 규명하였다.

ABSTRACT

In the recent paper arXiv:0710.4085 was shown that any solution of "the polynomial moment problem", which asks to describe polynomials Q orthogonal to all powers of a given polynomial P on a segment, may be obtained as a sum of some "reducible" solutions related to different decompositions of P into a composition of two polynomials of lesser degrees. However, the methods of arXiv:0710.4085 do not permit to estimate the number of necessary reducible solutions or to describe them explicitly. In this paper we provide a description of the polynomial solutions of the functional equation P=P_1(W_1)=P_2(W_2)=...=P_r(W_r), and on this base describe solutions of the polynomial moment problem in an explicit form suitable for applications. With respect to the previous version a more general form of the generalized "secon Ritt theorem" is proved and the proof is considerably simplified. Besides, a missed case in Theorem 1.2 was added and the proof is corrected.

연구 동기 및 목표

• 다항식 모멘트 문제의 근본이 되는 함수방정식 $ P = P_1 \circ W_1 = \cdots = P_r \circ W_r $의 모든 다항식 해에 대해 명시적이고 구성적인 기술을 제공하는 것.
• 모든 $ k \geq 0 $ 에 대해 $ \int_a^b P^k dQ = 0 $ 를 만족하는 해를 다항식 $ P $ 의 합성 분해에서 유래하는 기약 해들의 합으로 특성화하는 열린 문제를 해결하는 것.
• Ritt의 두 번째 정리를 다중 분해를 다룰 수 있도록 확장하고, 세 개 이하의 기약 성분으로 표현될 수 없는 해를 분류하는 것.
• 다항식 모멘트 문제의 해가 오직 두 개의 기약 해들의 합으로 표현될 수 없는 조건을 규명함으로써, 내재된 구조적 제약 조건을 밝혀내는 것.

제안 방법

• Chebyshev 다항식과 합성 인수분해의 성질을 이용하여, $ \gcd(\deg P_i, \deg P_j) = 1 $ 이고 $ \gcd(\deg W_i, \deg W_j) = 1 $ 인 다중 다항식 분해 $ P = P_i \circ W_i $ 를 다룰 수 있도록 Ritt의 두 번째 정리를 일반화하는 것.
• 합성 인수분해에 관한 보조정리 3.3을 적용하여 $ W_i $ 와 $ P_i $ 의 구조를 분석하고, 특히 차수가 짝수이거나 2로 나누어떨어지는 경우에 대해 재귀적 분해 형태를 도출하는 것.
• 적분이 0이 되도록 보장하기 위해 $ W_i(a) = W_i(b) $ 라는 조건을 사용하여 함수방정식과 Cauchy 정리를 통한 모멘트의 소멸을 연결하는 것.
• 선형 동치와 공액 기법을 활용하여 일반 해를 $ T_n $, $ z^2(z^2-1)^2 $, $ zR(z^2) $ 를 포함하는 표준형으로 줄여 분류하는 것.
• 특히 $ P $ 가 선형적으로 체비셰프 다항식과 동치가 아닐 경우, $ P $ 의 합성 오른쪽 인수의 구조를 분석하여 $ W(a) = W(b) $ 를 만족하는 $ W $ 를 결정하는 것.
• 모순 추론과 차수 분석을 통해, $ T_{mn} $ 과 $ zR(z^2) \circ T_{mn} $ 을 포함하는 특정 해들이 오직 두 개의 기약 해들의 합으로 표현될 수 없음을 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 다항식 모멘트 문제 $ \int_a^b P^k dQ = 0 $ 의 해는 $ P $ 의 합성 분해에서 유래하는 기약 해들의 합으로 명시적으로 기술할 수 있는가?
• RQ2 해를 오직 두 개의 기약 해들의 합으로 표현할 수 없게 만드는 $ P $ 와 $ Q $ 의 구조적 조건은 무엇인가?
• RQ3 Ritt의 두 번째 정리를 다항식 $ P $ 가 서로 다른 분해를 가지며 차수의 최대공약수가 1인 경우를 다룰 수 있도록 어떻게 일반화할 수 있는가?
• RQ4 적분의 모멘트가 소멸하도록 보장하기 위해, $ W_i(a) = W_i(b) $ 가 성립하는 조건은 $ a $ 와 $ b $ 에 대해 어떤 조건을 필요로 하는가?
• RQ5 $ \gcd(\deg W_1, \deg W_2) = 1 $ 인 조건 하에서 이중 분해 $ P = P_1 \circ W_1 = P_2 \circ W_2 $ 에 의해 유도되는 해의 정확한 형태는 무엇이며, 이는 전체 해 공간에 어떻게 기여하는가?

주요 결과

• 논문은 다항식 모멘트 문제의 모든 해가 $ P $ 의 다양한 합성 분해에 대응하는 기약 해들의 합으로 표현될 수 있으며, 체비셰프 다항식과 짝수 차수의 유리함수를 통한 명시적 매개변수화로 기술됨을 규명하였다.
• 정리 1.2의 네 번째 유형 해들, 즉 $ T_{mn} $ 과 $ zR(z^2) \circ T_{mn} $ 을 포함하는 해들은 $ m $ 과 $ n $ 이 3보다 큰 서로 다른 소수일 경우 오직 두 개의 기약 해들의 합으로 표현될 수 없다.
• $ P = z^2(z^2-1)^2 \circ T_{mn} $ 의 합성 오른쪽 인수는 $ T_2, T_m, T_n, T_{2m}, T_{2n}, T_{2mn}, T_{mn} $, 또는 $ zR(z^2) \circ T_{mn} $ 로 분류되며, 주어진 조건 하에서 $ W(a) = W(b) $ 를 만족하는 것은 $ T_{2m}, T_{2n}, T_{2mn}, zR(z^2) \circ T_{mn} $ 에서만 성립한다.
• $ T_{n/2}(a) = -T_{n/2}(b) $ 와 $ T_{m/2}(a) = -T_{m/2}(b) $ 라는 조건에 더하여 $ T_{nm/4}(a) = \pm 1 $ 이면 $ R(1) = 0 $ 이 되며, 이는 해의 구조에 있어 필수적인 조건임을 밝혀냈다.
• $ m,n $ 이 3보다 큰 서로 다른 소수일 경우, $ Q = T_{2m} + T_{2n} + zR(z^2) \circ T_{mn} $ 는 집합 $ \{T_{2n}, T_{2m}, zR(z^2) \circ T_{mn}\} $ 에서 오는 어떤 $ W_1, W_2 $ 에 대해서도 $ Q = V_1 \circ W_1 + V_2 \circ W_2 $ 로 표현될 수 없다. 이는 합성 인수의 구조가 상호 간에 호환되지 않기 때문이다.
• 논문은 $ P $ 가 선형적으로 체비셰프 다항식과 동치가 아니며, 서로소 차수를 가진 이중 분해를 가질 경우, 해 공간에 세 개 이하의 항으로 분해될 수 없는 성분이 포함됨을 증명하였다.