[논문 리뷰] Markov $L_2$-inequality with the Laguerre weight

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

Mathematical functions and polynomials참고 문헌 5인용 수 3

한 줄 요약

이 논문은 라거르 가중치 $w_\alpha(t) = t^\alpha e^{-t}$를 갖는 마르코프 $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)}$이며, 이는 날카로운 渐近 추정을 제공하고 渐近 마르코프 상수의 $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\을 개선하는 것.
• $n$과 $\alpha$ 양쪽 모두에 대해 최적의 순서를 갖는 $c_n(\alpha)^2$에 대한 새로운 상한을 제공하여 이전의 비최적 상한을 수정하는 것.
• $\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}$이 도출되며, 이는 행렬 노름과 고유값 분석을 통해 유도된다.
• 저자들은 자신의 상한을 이전 결과들과 비교한다.
• 특히 $\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 마르코프 상수 $c(\alpha) = \lim_{n\to\infty} c_n(\alpha)/n$는 $\alpha \to \infty$일 때 어떻게 행동하며, 그 순서의 크기는 무엇인가?
• 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$에 대해 추정치가 매우 날카롭다는 것을 시사한다.
• 渐近 마르코프 상수는 $\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$일 때, 제곱 마르코프 상수는 $c_n(\alpha)^2 \asymp \frac{(n+1)(n + \alpha + 4)}{(\alpha+1)(\alpha+8)}$를 만족하며, 이는 정확한 渐近 척도를 확인한다.