[논문 리뷰] Nikolskii constants for polynomials on the unit sphere

Feng Dai, Д. В. Горбачев외 1명|arXiv (Cornell University)|2017. 08. 31.

Mathematical Approximation and Integration참고 문헌 17인용 수 3

한 줄 요약

이 논문은 단위 구면 $ℚ^d$ 위의 구면 다항식에 대한 Nikolskii 상수의 점근적 행동을 규명하여, $L^p$-노름 부등식의 날카로운 상수가 $ℝ^d$ 위의 지수형 1 이하인 정칙 함수의 것에 수렴함을 보여준다. $p=1$, $q=\infty$의 경우 정확한 극한을 도출하고, 일반적인 $0<p<q\leq\infty$에 대해 날카로운 경계를 제공하며, 고전적 결과를 정밀한 점근 상수를 갖는 구면 설정으로 확장한다.

ABSTRACT

This paper studies the asymptotic behavior of the exact constants of the Nikolskii inequalities for the space $Π_n^d$ of spherical polynomials of degree at most $n$ on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$ as $n o\infty$. It is shown that for $0

연구 동기 및 목표

• 단위 구면 $\mathbb{S}^d$ 위의 차수 최대 $n$인 구면 다항식에 대한 날카로운 Nikolskii 상수의 점근적 행동을 $n \to \infty$일 때 규명하는 것.
• 원주 위의 삼각 다항식에 대한 고전적 Nikolskii 부등식을 $ℝ^d$ 위의 구면 다항식으로 확장하고, 점근적 상수를 정밀하게 도출하는 것.
• 비음수 함수에 대해 $p=1$, $q=\infty$인 경우 Nikolskii 상수의 정확한 값을 도출하여, 지수형 1인 정칙 함수의 $L^\infty/L^1$ 노름 상한과 연결하는 것.
• $\mathbb{S}^d$ 위의 $L^p \to L^q$ 부등식에 대한 점근적 날카로운 상수가 $ℝ^d$ 위의 지수형 1 이하인 정칙 함수에 대한 해당 $L^p \to L^q$ 노름과 일치함을 보이는 것.
• 비음수 구면 다항식에 대해 $L^1 \to L^\infty$의 경우 날카로운 상수를 완전히 특성화하여 정확한 닫힌 형태의 표현식을 도출하는 것.

제안 방법

• 저자들은 Gegenbauer 및 Jacobi 다항식을 통한 구면 다항식의 적분 표현을 사용하여, $f \in \Pi_n^d$를 구면 컨볼루션으로 표현한다.
• Paley-Wiener 정리를 적용하여 구면 다항식을 $ℝ^d$ 위의 지수형 함수와 연결함으로써 $L^p$-노름을 비교할 수 있도록 한다.
• 차원 $\Pi_n^d$의 점근적 분석을 통해 Stirling의 근사법과 주된 항 $\frac{2n^d}{\Gamma(d+1)}(1 + O(n^{-1}))$을 사용한다.
• $L^1 \to L^\infty$의 경우, 문제를 일변수 적분으로 줄이기 위해 반경 방향화 기법을 사용하고, $\alpha = \beta = \frac{d-2}{2}$를 갖는 Jacobi-Gauss-Radau 구분법을 적용한다.
• extremal 함수를 $\mathcal{E}_1^d$ 내에서 사용하여 $L^1 \to L^\infty$ 비율의 하한 및 상한을 도출한다. 이때 비음수성과 구분법 가중치의 구조를 활용한다.
• 핵심 기술적 단계는 비음수 구면 다항식의 $L^1$-노름을 구분법을 통해 유계화하는 것으로, 가중치 $\lambda_0$를 명시적으로 계산하고 날카로운 상한을 도출하는 데 사용한다.

실험 결과

연구 질문

• RQ1 구면 다항식에 대해 $\mathbb{S}^d$ 위에서 $n \to \infty$일 때, $C(n,d,p,q) = \sup_{\|P\|_{L^p}=1} \|P\|_{L^q}$의 점근적 행동은 어떻게 되는가?
• RQ2 $\mathbb{S}^d$ 위의 $L^p \to L^q$ 부등식에 대한 날카로운 상수는 $\u211d^d$ 위의 지수형 1인 정칙 함수에 대한 것과 어떻게 관련이 있는가?
• RQ3 비음수 구면 다항식에 대해 $L^1 \to L^\infty$의 경우 Nikolskii 상수의 정확한 값은 무엇인가?
• RQ4 $\mathbb{S}^d$ 위의 $L^p \to L^q$ 부등식에 대한 점근적 날카로운 상수는 $\mathcal{E}_p^d$ 내의 $f$에 대해 $\|f\|_{L^q}/\|f\|_{L^p}$의 상한으로 특성화될 수 있는가?
• RQ5 $\mathbb{S}^d$ 위의 $L^p \to L^q$ 노름에 대한 날카로운 상수의 극한은 $\u211d^d$ 위의 지수형 1인 정칙 함수에 대해 해당 극한과 일치하는가?

주요 결과

• $n \to \infty$일 때, $\mathbb{S}^d$ 위의 $L^p \to L^\infty$ 부등식에 대한 날카로운 Nikolskii 상수의 극한은 $L^p(\mathbb{R}^d)$ 내에서 구면 지수형 1 이하인 정칙 함수 $f$에 대해 $\|f\|_{L^\infty}/\|f\|_{L^p}$의 상한과 일치한다. 이는 $0 < p < \infty$일 때 성립한다.
• $0 < p < q < \infty$일 때, 날카로운 상수 $C(n,d,p,q)$의 liminf는 $\liminf_{n \to \infty} C(n,d,p,q) \geq \sup_{f \in \mathcal{E}_p^d} \|f\|_{L^q}/\|f\|_{L^p}$를 만족하며, 점근적 영역에서 하한을 확립한다.
• 비음수 구면 다항식에 대해 $L^1 \to L^\infty$의 Nikolskii 상수의 정확한 값은 $\frac{1}{4^d \pi^{d/2} \Gamma(d/2 + 1)}$이며, 이는 구분법과 극값 함수 분석을 통해 도출된다.
• $\mathbb{S}^d$ 위의 $L^p \to L^q$ 부등식에 대한 점근적 날카로운 상수가 $\mathcal{E}_p^d$ 내에서 $L^q/L^p$ 비율의 상한과 동일함을 보여, 구면과 유클리드 부등식 사이의 깊은 연결을 확인한다.
• $L^1 \to L^\infty$ 상수는 $n \to \infty$일 때 극한에서 도달되며, 이는 날카로운 경계이며, Poisson 커널과 Jacobi 다항식과 관련된 극값 함수에 의해 등호가 성립한다.
• $\alpha = \beta = \frac{d-2}{2}$를 갖는 Jacobi-Gauss-Radau 구분법은 비음수 구면 다항식의 $L^1$-노름에 대해 정밀한 상한을 제공하며, 이는 $L^1 \to L^\infty$의 경우 정확한 상수를 도출한다.