[论文解读] Markov $L_2$-inequality with the Laguerre weight

Geno Nikolov, Alexei Shadrin|arXiv (Cornell University)|May 10, 2017

Mathematical functions and polynomials参考文献 5被引用 3

一句话总结

本文為拉盖尔权 $w_\alpha(t) = t^\alpha e^{-t}$ 下的马尔可夫 $L_2$-常数建立了精确的显式上界与下界，推导出 $c_n(\alpha)^2$ 的新上界，该上界在 $n$ 和 $\alpha$ 同时趋于无穷时对两者均为最优阶。关键结果为：当 $\alpha \geq 2$ 时，$c_n(\alpha)^2 \leq \frac{4(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$，该结果给出了紧致的渐近估计，并确认了渐近马尔可夫常数的正确 $O(\alpha^{-1})$ 衰减行为。

ABSTRACT

Let $w_α(t) := t^α\,e^{-t}$, where $α> -1$, be the Laguerre weight function, and let $\|\cdot\|_{w_α}$ be the associated $L_2$-norm, $$ \|f\|_{w_α} = \left\{\int_{0}^{\infty} |f(x)|^2 w_α(x)\,dx ight\}^{1/2}\,. $$ By $\mathcal{P}_n$ we denote the set of algebraic polynomials of degree $\le n$. We study the best constant $c_n(α)$ in the Markov inequality in this norm $$ \|p_n'\|_{w_α} \le c_n(α) \|p_n\|_{w_α}\,,\qquad p_n \in \mathcal{P}_n\,, $$ namely the constant $$ c_n(α) := \sup_{p_n \in \mathcal{P}_n} \frac{\|p_n'\|_{w_α}}{\|p_n\|_{w_α}}\,. $$ We derive explicit lower and upper bounds for the Markov constant $c_n(α)$, as well as for the asymptotic Markov constant $$ c(α)=\lim_{n ightarrow\infty}\frac{c_n(α)}{n}\,. $$

研究动机与目标

• 推导拉盖尔权 $w_\alpha(t) = t^\alpha e^{-t}$ 下，$L_2$-范数中马尔可夫不等式最佳常数 $c_n(\alpha)$ 的显式且精确的下界与上界。
• 确定当 $n \to \infty$ 且 $\alpha \to \infty$ 时 $c_n(\alpha)$ 的渐近行为，特别是渐近马尔可夫常数 $c(\alpha) = \lim_{n\to\infty} c_n(\alpha)/n$ 的衰减速率。
• 改进现有估计，尤其是 D\ 的结果。
• 为 $c_n(\alpha)^2$ 提供一个在 $n$ 和 $\alpha$ 两方面均为最优阶的新上界，纠正早期次优的界。
• 建立当 $\alpha \to -1$ 和 $\alpha \to \infty$ 时 $c_n(\alpha)^2$ 的精确极限，从而得到 $c_n(\alpha)$ 的渐近估计。

提出的方法

• 将平方马尔可夫常数 $c_n(\alpha)^2$ 表征为特定矩阵 $\mathbf{A}_n$ 的最大特征值，从而通过谱分析获得界。
• 证明依赖于伽马函数比值的估计，这些估计通过积分表示和渐近展开推导得出。
• 建立一个关键不等式：当 $\alpha \geq 2$ 时，$c_n(\alpha)^2 \leq \frac{4(n+1)(n + 3 + \frac{3(\alpha+1)}{4})}{\alpha^2 + 10\alpha + 8}$，该不等式通过矩阵范数与特征值分析得出。
• 作者将他们的界与先前结果进行比较，包括 D\ 的结果。
• 通过分情况讨论不同 $\alpha$ 范围（特别是 $\alpha \geq 1$，$\alpha \in (-1,0)$，和 $\alpha \in [0,1]$）对界进行细化与比较。
• 利用界推导出渐近极限：$\lim_{\alpha \to -1} (\alpha+1)c_n^2(\alpha) = \frac{n(n+1)}{2}$ 与 $\lim_{\alpha \to \infty} \alpha c_n^2(\alpha) \in [\frac{2n}{3}, 3(n+1)]$。

实验结果

研究问题

• RQ1 在拉盖尔权 $w_\alpha(t)$ 下，$L_2$-范数中马尔可夫常数 $c_n(\alpha)$ 的最佳显式下界与上界是什么？
• RQ2 当 $\alpha \to \infty$ 时，渐近马尔可夫常数 $c(\alpha) = \lim_{n\to\infty} c_n(\alpha)/n$ 如何变化，其正确的数量级是什么？
• RQ3 当 $\alpha \to -1$ 和 $\alpha \to \infty$ 时，$c_n(\alpha)^2$ 的精确极限是什么？它们与多项式次数 $n$ 的关系如何？
• RQ4 与现有估计相比，特别是 D\ 的结果，新界在紧致性上表现如何？
• RQ5 能否使 $c_n(\alpha)^2$ 的上界在 $n$ 和 $\alpha$ 两方面均为最优阶？它是否与已知的渐近衰减 $O(\alpha^{-1})$ 一致？

主要发现

• 本文建立了新的上界：对所有 $n \geq 3$ 和 $\alpha \geq 2$，有 $c_n(\alpha)^2 \leq \frac{4(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$，其阶为 $O(n(n + \alpha)/\alpha^2)$，符合正确阶。
• 对 $c_n(\alpha)^2$ 的上界与下界之比小于 $\sqrt{2}$，表明对所有 $\alpha > -1$，估计均极为紧致。
• 渐近马尔可夫常数满足 $c(\alpha) \asymp \alpha^{-1}$ 当 $\alpha \to \infty$，新界正确确认了该衰减速率。
• 已确立极限 $\lim_{\alpha \to -1} (\alpha+1)c_n^2(\alpha) = \frac{n(n+1)}{2}$，与 D\ 的已知结果一致。
• 界 $c_n(\alpha)^2 \leq \frac{4(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$ 在 $n$ 和 $\alpha$ 较大时，较先前估计在阶上有所改进。
• 当 $\alpha \geq 2$ 时，平方马尔可夫常数满足 $c_n(\alpha)^2 \asymp \frac{(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$，确认了正确的渐近标度。