[论文解读] Taylor Domination, Tur\'an lemma, and Poincar\'e-Perron Sequences

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

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.

研究动机与目标

• 为系数收敛于常数的Poincaré型线性递推关系的解建立统一的泰勒控制。
• 通过递推结构将泰勒控制与经典不等式（如Turán引理和Bieberbach猜想）联系起来。
• 分析分段D-有限函数的Stieltjes变换，证明其在显式半径与衰减控制下满足泰勒控制。
• 提供一个框架，利用系数控制与递推矩阵的谱性质来界定生成函数的零点个数。
• 将有理函数与常系数递推的结果推广至具有显式误差控制的非自治、渐近常系数递推。

提出的方法

• 利用泰勒控制通过初值系数与次指数序列S(k)来界定泰勒系数，对R与N实现显式控制。
• 证明有理函数的泰勒控制等价于幂和上的Turán不等式，借助Biernacki定理与有理函数零点的Bézout界证明。
• 分析Poincaré型线性递推关系：a_k = ∑_{j=1}^d [c_j + ϕ_j(k)] a_{k-j}，其中ϕ_j(k) → 0当k → ∞。
• 从递推关系构造一个块伴随矩阵A，其特征值通过min{|ξ|^{-1} : ξ ∈ Z_A}确定收敛半径R*。
• 应用矩阵A的谱理论，推导出收敛半径R*与在|z| < R*内的统一泰勒控制。
• 对g为分段D-有限函数的情形，使用矩生成函数S_g(z) = ∫ g(x)/(1 - zx) dx，其递推关系由Fuchsian型微分算子D导出。

实验结果

研究问题

• RQ1 对于具有渐近常系数的Poincaré型递推关系的解，泰勒控制是否在统一意义下成立？收敛半径与系数衰减是否可显式界定？
• RQ2 能否将经典Turán引理由有理函数的泰勒控制作为推论导出？
• RQ3 对于分段D-有限函数的Stieltjes变换，其精确收敛半径为何？泰勒控制是否在显式参数下成立？
• RQ4 生成函数的零点个数与递推矩阵A的谱性质有何关系？
• RQ5 能否为矩生成函数m_k = ∫ P^k(x)q(x)dx（P与q为多项式）建立统一的泰勒控制，且仅依赖于次数？

主要发现

• 对于具有一致有界系数的Poincaré型递推关系的解，泰勒控制成立，其显式参数仅依赖于扰动ϕ_j(k)的大小。
• 生成函数的收敛半径R*满足R* ≥ min{|ξ|^{-1} : ξ ∈ Z_A}，其中Z_A为递推矩阵A的特征值集合。
• 对于分段D-有限g的Stieltjes变换S_g(z)，在|z| < R*的圆盘内满足泰勒控制，其中R*由递推矩阵A的谱半径决定。
• 若微分算子D为Fuchsian型且g不恒为零，则前Λ(D) + 1 + d_n - n个矩不全为零，其中Λ(D)为无穷远处最大的正特征指数。
• 生成函数S_g(z)满足(N, R, S(k))-泰勒控制，其中S(k)为次指数序列，R = R*，对所有N ≥ max{τ - 1, Λ(D)} + d_n - n成立。
• 本文通过泰勒控制与多值函数及有理函数零点的经典结果，给出了Turán不等式的构造性证明。