[论文解读] Asymptotic behavior of orthogonal polynomials without the Carleman condition

D. R. Yafaev|arXiv (Cornell University)|Nov 24, 2019

Spectral Theory in Mathematical Physics参考文献 20被引用 8

一句话总结

本文在Carleman条件 $ \sum a_n^{-1} = \infty $ 不成立，即 $ \sum a_n^{-1} < \infty $ 的情况下，建立了与Jacobi矩阵相关的正交多项式 $ P_n(z) $ 的渐近公式。在假设 $ -b_n / (2\sqrt{a_{n-1}a_n}) \to \beta_\infty $ 且 $ |\beta_\infty| \neq 1 $ 的条件下，渐近行为与经典的Carleman情形显著不同：当 $ |\beta_\infty| < 1 $ 时，相位依赖于 $ \sum \arccos \beta_m $；当 $ |\beta_\infty| > 1 $ 时，相位通过 $ \sum \operatorname{arccosh} |\beta_m| $ 呈指数增长。所得结果给出了最小Jacobi算子本质自伴性的必要与充分条件。

ABSTRACT

Our goal is to find an asymptotic behavior as $n\ o\\infty$ of orthogonal polynomials $P_{n}(z)$ defined by the Jacobi recurrence coefficients $a_{n}, b_{n}$. We suppose that the off-diagonal coefficients $a_{n}$ grow so rapidly that the series $\\sum a_{n}^{-1}$ converges, that is, the Carleman condition is violated. With respect to diagonal coefficients $b_{n}$ we assume that $-b_{n} (a_{n}a_{n-1})^{-1/2}\ o 2\\beta_{\\infty}$ for some $\\beta_{\\infty}\ eq \\pm 1$. The asymptotic formulas obtained for $P_{n}(z)$ are quite different from the case $\\sum a_{n}^{-1}=\\infty$ when the Carleman condition is satisfied. In particular, if $\\sum a_{n}^{-1}&lt;\\infty$, then the phase factors in these formulas do not depend on the spectral parameter $z\\in{\\Bbb C}$. The asymptotic formulas obtained in the cases $|\\beta_{\\infty}|&lt;1 $ and $|\\beta_{\\infty}|&gt;1 $ are also qualitatively different from each other. As an application of these results, we find necessary and sufficient conditions for the essential self-adjointness of the corresponding minimal Jacobi operator.

研究动机与目标

• 分析当Carleman条件 $ \sum a_n^{-1} = \infty $ 失效时，由Jacobi递推系数 $ a_n, b_n $ 定义的正交多项式 $ P_n(z) $ 的渐近行为。
• 在非Carleman情形 $ \sum a_n^{-1} < \infty $ 下，推导 $ P_n(z) $ 的显式渐近公式，特别区分 $ |\beta_\infty| < 1 $ 与 $ |\beta_\infty| > 1 $ 的情况，其中 $ \beta_\infty = \lim -b_n / (2\sqrt{a_{n-1}a_n}) $。
• 在非Carleman设定下，确定最小Jacobi算子本质自伴性的必要与充分条件。

提出的方法

• 使用转移矩阵法将Jacobi递推的解表示为 $ 2\times 2 $ 矩阵的乘积。
• 分析Jacobi差分方程 $ a_{n-1}F_{n-1} + b_n F_n + a_n F_{n+1} = zF_n $ 的解的渐近行为，根据 $ \beta_\infty $ 的取值分情况讨论。
• 引入相位函数 $ \phi_n = \sum_{m=0}^{n-1} \arccos \beta_m $（当 $ |\beta_\infty| < 1 $ 时）与 $ \varphi_n = \sum_{m=0}^{n-1} \operatorname{arccosh} |\beta_m| $（当 $ |\beta_\infty| > 1 $ 时），以捕捉振荡与指数增长行为。
• 通过渐近级数与 $ \ell^1({\mathbb{Z}}_+) $ 中的余项估计构造Jost型解，确保其解析性及衰减/增长性质。
• 应用谱论将 $ P_n(z) $ 的渐近行为与Jacobi算子的预解式及谱测度联系起来。
• 利用Nevanlinna公式将预解式与正交多项式关联，并在 $ |\beta_\infty| < 1 $ 情况下推断谱的离散性。

实验结果

研究问题

• RQ1 当Carleman条件 $ \sum a_n^{-1} = \infty $ 失效（即 $ \sum a_n^{-1} < \infty $）时，正交多项式 $ P_n(z) $ 的渐近行为如何？
• RQ2 在非Carleman设定下，Jacobi差分方程的解空间结构如何，特别是关于 $ \ell^2 $-可积性与振荡行为？
• RQ3 当 $ |\beta_\infty| < 1 $ 与 $ |\beta_\infty| > 1 $ 时，$ P_n(z) $ 的渐近行为在定性上如何不同，其中 $ \beta_\infty = \lim -b_n / (2\sqrt{a_{n-1}a_n}) $？
• RQ4 当Carleman条件失效时，最小Jacobi算子本质自伴性的必要与充分条件是什么？
• RQ5 谱性质——尤其是谱的性质与预解式的特性——在Carleman与非Carleman情形之间有何不同？

主要发现

• 当 $ |\beta_\infty| < 1 $ 时，Jacobi方程的所有解 $ F_n(z) $ 满足 $ F_n(z) = a_n^{-1/2} \big( k_+ e^{-i\phi_n} + k_- e^{i\phi_n} + o(1) \big) $，其中 $ \phi_n = \sum_{m=0}^{n-1} \arccos \beta_m $，且由于振幅因子 $ a_n^{-1/2} $ 的存在，所有此类解均属于 $ \ell^2({\mathbb{Z}}_+) $。
• 当 $ |\beta_\infty| > 1 $ 时，正交多项式满足 $ P_n(z) = \mathsf{k}(z) a_n^{-1/2} (\operatorname{sgn} \beta_\infty)^n e^{\varphi_n} (1 + o(1)) $，其中 $ \varphi_n = \sum_{m=0}^{n-1} \operatorname{arccosh} |\beta_m| $，表明振幅呈指数增长。
• 渐近公式在相位部分与谱参数 $ z \in \mathbb{C} $ 无关，意味着振荡或指数结构在所有 $ z $ 上是统一的，仅系数 $ k_\pm(z) $、$ \mathsf{k}(z) $ 依赖于 $ z $。
• 在 $ |\beta_\infty| > 1 $ 情况下，Jost解 $ f_n(z) $ 是整函数，且以 $ e^{-\varphi_n - z\psi_n} $ 的形式衰减，意味着Jacobi算子具有离散谱。
• Jacobi算子的预解式由分母 $ \Omega(z) $ 决定，其仅在特征值处为零，且在 $ |\beta_\infty| < 1 $ 情况下，所有自伴扩张的谱测度均为离散。
• 最小Jacobi算子本质自伴当且仅当 $ \sum_{n=0}^\infty \big| \frac{b_n}{a_n} \big| < \infty $，该条件作为非Carleman情形下的必要与充分条件被导出。