[論文レビュー] Markov $L_2$-inequality with the Laguerre weight

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

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

ひとこと要約

本稿は、Laguerre重み $w_\alpha(t) = t^\alpha e^{-t}$ を用いた Markov $L_2$-定数について、明示的かつ鋭い上界と下界を確立する。特に、$n$ と $\alpha$ が共に大きくなる際の両者に関して最適なオーダーを満たす $c_n(\alpha)^2$ の新しい上界を導出する。主な結果は、$\alpha \geq 2$ の場合に $c_n(\alpha)^2 \leq \frac{4(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$ が成り立ち、これは漸近的推定をきわめて精密に与え、漸近的 Markov 定数の正しい $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}\,. $$

研究の動機と目的

• Laguerre重み $w_\alpha(t) = t^\alpha e^{-t}$ を用いた $L_2$-ノルムにおける Markov 不等式の最良定数 $c_n(\alpha)$ の明示的かつ鋭い下界と上界を導出すること。
• $n \to \infty$ および $\alpha \to \infty$ の際の $c_n(\alpha)$ の漸近的挙動、特に漸近的 Markov 定数 $c(\alpha) = \lim_{n\to\infty} c_n(\alpha)/n$ の減衰率を特定すること。
• 特に D\ に示された既存の推定値を改善すること。
• $n$ と $\alpha$ の両方に関して最適なオーダーを満たす $c_n(\alpha)^2$ の新しい上界を提供することで、以前の非最適な境界を是正すること。
• $\alpha \to -1$ および $\alpha \to \infty$ における $c_n(\alpha)^2$ の正確な極限を確立し、$c_n(\alpha)$ の漸近的推定を導出すること。

提案手法

• 二乗 Markov 定数 $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 \geq 1$、$\alpha \in (-1,0)$、$\alpha \in [0,1]$ の範囲について、$\alpha$ の異なる範囲に対するケース解析を用いて境界を精緻化し、比較する。
• 境界を用いて漸近的極限を導出する：$\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 Laguerre重み $w_\alpha(t)$ を用いた $L_2$-ノルムにおける Markov 定数 $c_n(\alpha)$ の最良の明示的下界と上界は何か？
• RQ2 $\alpha \to \infty$ の際、漸近的 Markov 定数 $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$ のすべての範囲で推定がきわめて鋭いことを示している。
• 漸近的 Markov 定数は、$\alpha \to \infty$ の際 $c(\alpha) \asymp \alpha^{-1}$ を満たし、新しい境界によりこの減衰率が正しく確認されている。
• $\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$ の場合、二乗 Markov 定数は $c_n(\alpha)^2 \asymp \frac{(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$ を満たし、正しい漸近的スケーリングが確認されている。