[論文レビュー] Nikolskii constants for polynomials on the unit sphere

Feng Dai, Д. В. Горбачев+1 more|arXiv (Cornell University)|Aug 31, 2017

Mathematical Approximation and Integration参考文献 17被引用数 3

ひとこと要約

本稿は、単位球面 $\mathbb{S}^d$ 上の球面多項式におけるニコルスキー定数の漸近的挙動を確立し、$L^p$-ノルム不等式における鋭い定数が、$\mathbb{R}^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$ 以下の球面多項式に対する鋭いニコルスキー定数の漸近的挙動を、$n \to \infty$ のときのものとして特定すること。
• 円周上の三角多項式に対する古典的ニコルスキー不等式を、$\mathbb{S}^d$ 上の球面多項式に拡張し、鋭い漸近的定数を伴って行うこと。
• 非負の関数に対して $p=1$, $q=\infty$ の場合のニコルスキー定数の正確な値を確立し、指数型1の整関数の $L^\infty/L^1$ ノルムの上限と関連付けること。
• $\mathbb{S}^d$ 上の $L^p \to L^q$ 不等式に対する漸近的鋭い定数が、指数型が1以下の整関数の $\mathbb{R}^d$ 上の対応する $L^p \to L^q$ ノルムと一致することを示すこと。
• 非負の球面多項式に対する $L^1 \to L^\infty$ の場合の鋭い定数を完全に特徴付け、明確な閉形式の表現を導出すること。

提案手法

• 著者たちは、ギガンデル・ポリノミアルおよびジャコビ多項式による球面多項式の積分表現を用い、核 $G_n(x \cdot y)$ を介して $f \in \Pi_n^d$ を球面畳み込みとして表現する。
• ペーリ・ウイナーの定理を適用し、球面多項式と $\mathbb{R}^d$ 上の指数型関数との関係を確立し、$L^p$-ノルムの比較を可能にする。
• 次元 $\Pi_n^d$ の漸近的解析に依拠し、スターリングの近似と主項 $\frac{2n^d}{\Gamma(d+1)}(1 + O(n^{-1}))$ を用いる。
• $L^1 \to L^\infty$ の場合、問題を1次元積分に還元するための径向化技術を用い、$\alpha = \beta = \frac{d-2}{2}$ のジャコビ・ガウス・ラダウ求積法を適用する。
• 極値関数 $\mathcal{E}_1^d$ を用いて、$L^1 \to L^\infty$ の比に対する下界と上界を導出する。非負性と求積法の重みの構造を活用する。
• 鍵となる技術的ステップは、非負の球面多項式の $L^1$-ノルムを求積法によって評価することであり、重み $\lambda_0$ を明示的に計算し、鋭い上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 球面多項式 $P$ に対して、$\|P\|_{L^p}=1$ の下で $\|P\|_{L^q}$ の上限 $C(n,d,p,q) = \sup_{\|P\|_{L^p}=1} \|P\|_{L^q}$ の漸近的挙動は、$n \to \infty$ のときどのように振る舞うか？
• RQ2 $\mathbb{S}^d$ 上の $L^p \to L^q$ 不等式に対する鋭い定数は、$\mathbb{R}^d$ 上の指数型1の整関数に対するそれらとどのように関係するか？
• RQ3 非負の球面多項式に対する $L^1 \to L^\infty$ の場合のニコルスキー定数の正確な値は何か？
• RQ4 $\mathbb{S}^d$ 上の $L^p \to L^q$ 不等式に対する漸近的鋭い定数は、$f \in \mathcal{E}_p^d$ の $\|f\|_{L^q}/\|f\|_{L^p}$ の上限として特徴付けられるか？
• RQ5 $\mathbb{S}^d$ 上の $L^p \to L^q$ ノルムに対する鋭い定数の極限は、指数型1の整関数に対して $\mathbb{R}^d$ 上の対応する極限と一致するか？

主な発見

• $\mathbb{S}^d$ 上の $L^p \to L^\infty$ 不等式に対する鋭いニコルスキー定数の極限は、$0 < p < \infty$ に対して、$L^p(\mathbb{R}^d)$ 内の指数型が1以下の整関数 $f$ 全体にわたる $\|f\|_{L^\infty}/\|f\|_{L^p}$ の上限に等しい。
• $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$ のニコルスキー定数の正確な値は $\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$ の極限で達成され、その境界は鋭く、ポアソン核およびジャコビ多項式に関連する極値関数によって等号が達成される。
• パrameter $\alpha = \beta = \frac{d-2}{2}$ のジャコビ・ガウス・ラダウ求積法は、非負の球面多項式の $L^1$-ノルムに対する正確な上界を提供し、$L^1 \to L^\infty$ の場合の正確な定数を導出する。