[논문 리뷰] Taylor Domination, Tur\'an lemma, and Poincar\'e-Perron Sequences

Dmitry Batenkov, Yosef Yomdin|arXiv (Cornell University)|2013. 01. 25.

Stability and Controllability of Differential Equations참고 문헌 6인용 수 3

한 줄 요약

이 논문은 Poincaré 유형의 선형 재귀관계의 해의 생성함수와 조각별 D-유한 함수의 Stieltjes 변환에 대해 명시적인 테일러 도메인 경계를 수립한다. 이러한 함수들이 관련 재귀 행렬의 스펙트럼 성질에 의해 결정되는 수렴 원판 내에서 균일한 테일러 도메인을 만족하며, 지수 감소보다 느린 수열을 통한 계수 감쇠에 명시적인 제어를 제공함으로써 고전적 결과인 Turán 부등식을 확장하고 해석 함수의 영점 수를 세는 데 프레임워크를 제공한다.

ABSTRACT

We consider "Taylor domination" property for an analytic function $f(z)=\\sum_{k=0}^{\\infty}a_{k}z^{k},$ in the complex disk $D_R$, which is an inequality of the form \\[ |a_{k}|R^{k}\\leq C\\ \\max_{i=0,\\dots,N}\\ |a_{i}|R^{i}, \\ k \\geq N+1. \\] This property is closely related to the classical notion of "valency" of $f$ in $D_R$. For $f$ - rational function we show that Taylor domination is essentially equivalent to a well-known and widely used Tur\\'an's inequality on the sums of powers. Next we consider linear recurrence relations of the Poincar\\'e type \\[ a_{k}=\\sum_{j=1}^{d}[c_{j}+\\psi_{j}(k)]a_{k-j},\\ \\ k=d,d+1,\\dots,\\quad\ ext{with }\\lim_{k\ ightarrow\\infty}\\psi_{j}(k)=0. \\] We show that the generating functions of their solutions possess Taylor domination with explicitly specified parameters. As the main example we consider moment generating functions, i.e. the Stieltjes transforms \\[ S_{g}\\left(z\ ight)=\\int\\frac{g\\left(x\ ight)dx}{1-zx}. \\] We show Taylor domination property for such $S_{g}$ when $g$ is a piecewise D-finite function, satisfying on each continuity segment a linear ODE with polynomial coefficients.

연구 동기 및 목표

• 비균일 재귀관계의 해에 대해 균일한 테일러 도메인을 수립하며, 계수가 상수로 수렴하는 경우를 대상으로 한다.
• 재귀적 구조를 통해 고전적 부등식인 Turán의 보조정리와 비버바흐 추측을 테일러 도메인과 연결한다.
• 조각별 D-유한 함수의 Stieltjes 변환을 분석하고, 명시적인 반경과 감쇠 제어를 통한 테일러 도메인을 증명한다.
• 재귀 행렬의 스펙트럼 성질과 계수 도메인을 이용하여 생성함수의 영점 수를 제한하는 프레임워크를 제공한다.
• 유리 함수 및 상수 계수 재귀관계에서의 결과를 비자기적이고 점점 상수로 수렴하는 재귀관계로 확장하며, 명시적인 오차 제어를 제공한다.

제안 방법

• 초기 계수와 지수 감소보다 느린 수열 S(k)를 통한 테일러 계수의 경계로써 테일러 도메인의 사용; R과 N에 대한 명시적 제어.
• 유리 함수에 대한 테일러 도메인과 Turán의 부등식에 의한 거듭제곱 합에 대한 등가성; Biernacki 정리와 유리 함수의 영점에 대한 Bézout의 경계를 통한 증명.
• Poincaré 유형의 선형 재귀관계 분석: a_k = ∑_{j=1}^d [c_j + ϕ_j(k)] a_{k-j}이며, k → ∞일 때 ϕ_j(k) → 0.
• 재귀로부터 블록 동반 행렬 A를 구성하며, 그 고유값을 통해 수렴 반경 R* = min{|ξ|^{-1} : ξ ∈ Z_A}로 결정한다.
• 행렬 A에 대한 스펙트럼 이론의 적용을 통한 수렴 반경 R* 도출 및 |z| < R* 내에서의 균일한 테일러 도메인 확보.
• g가 조각별 D-유한일 경우, moment 생성함수 S_g(z) = ∫ g(x)/(1 - zx) dx를 사용하며, Fuchsian 유형의 미분 연산자 D로부터 유도된 재귀를 활용한다.

실험 결과

연구 질문

• RQ1 비균일 계수를 가진 Poincaré 유형 재귀관계의 해에 대해 균일한 테일러 도메인이 성립하는가? 반경과 감쇠는 명시적으로 경계될 수 있는가?
• RQ2 유리 함수에 대한 테일러 도메인의 결과로부터 고전적 Turán의 보조정리(거듭제곱 합에 대한 부등식)를 유도할 수 있는가?
• RQ3 조각별 D-유한 함수의 Stieltjes 변환에 대해 정확한 수렴 반경은 무엇이며, 명시적 매개변수를 가진 테일러 도메인이 성립하는가?
• RQ4 생성함수의 영점 수는 재귀 행렬 A의 스펙트럼 성질과 어떻게 관련이 있는가?
• RQ5 다항식 P와 q에 대해 m_k = ∫ P^k(x)q(x)dx로 정의되는 moment 생성함수에 대해, 계수의 도메인에 대해 균일한 테일러 도메인을 확보할 수 있는가? 이는 오직 차수에 의존하는가?

주요 결과

• 균일하게 유계인 계수를 가진 Poincaré 유형 재귀관계의 해에 대해, 테일러 도메인이 ϕ_j(k)의 편차 크기만에 의존하는 명시적 매개변수로 성립한다.
• 생성함수의 수렴 반경 R*는 R* ≥ min{|ξ|^{-1} : ξ ∈ Z_A}를 만족하며, 여기서 Z_A는 재귀 행렬 A의 고유값 집합이다.
• 조각별 D-유한 함수 g에 대한 Stieltjes 변환 S_g(z)는 수렴 반경 R* 내에서 테일러 도메인이 성립하며, R*는 재귀 행렬 A의 스펙트럼 반경에 의해 결정된다.
• 미분 연산자 D가 Fuchsian이고 g가 항등적으로 0이 아니면, 첫 Λ(D) + 1 + d_n - n개의 모멘트는 모두 0이 될 수 없다. 여기서 Λ(D)는 무한대에서의 최대 양의 특성 지수이다.
• 생성함수 S_g(z)는 S(k)가 지수 감소보다 느린 수열이며 R = R*인 (N, R, S(k))-테일러 도메인을 만족하며, 모든 N ≥ max{τ - 1, Λ(D)} + d_n - n에 대해 성립한다.
• 논문은 다가수 함수 이론과 유리 함수의 영점에 관한 고전적 결과를 활용하여, 테일러 도메인을 통한 Turán 부등식의 구성적 증명을 제공한다.