[論文レビュー] Vector-valued Lagrange interpolation and mean convergence of Hermite series

Hermann König|arXiv (Cornell University)|Aug 13, 1992

Approximation Theory and Sequence Spaces被引用数 14

ひとこと要約

この論文は、バナッハ空間におけるヘルメートル多項式ノードに対するベクトル値マルチンキエヴィッチ＝ツィグムンド補間不等式を確立し、平均収束が $L_p(\mathbb{R}; X)$-ノルムで成り立つのは、$X$ が UMD 空間であり、$1 < p < 4$ のときに限ることを証明している。主な貢献は、ネヴァイとアスキーウェイナーのスカラー結果を、$p$-範囲の鋭い依存性を伴ってベクトル値設定に拡張したことである。

ABSTRACT

Let X be a Banach space and $1\le p

研究の動機と目的

• ヘルメートル測度に対するガウス求積重みを用いた、$X$-値多項式に対するマルチンキエヴィッチ＝ツィグムンド型補間不等式を確立する。
• 連続関数に対して、ラグランジュ補間多項式の $L_p(\mathbb{R}; X)$-ノルムにおける平均収束が成り立つための $p$ の範囲とバナッハ空間 $X$ の条件を特定する。
• ヘルメートル級数の平均収束に関するネヴァイとアスキーウェイナーのスカラー結果を、ベクトル値の場合に拡張する。
• $4/3 < p < 4$ のとき、$L_p$-ノルムにおける収束のための UMD 性質の必要性を特定する。

提案手法

• 次数 $\leq n$ の $X$-値多項式 $q$ に対して、マルチンキエヴィッチ＝ツィグムンド型補間不等式を導出し、$q(t)e^{-t^2/2}$ の $L_p$-ノルムと、ヘルメートルノード $t_j$ における重み付き和の関係を確立する。
• 重み $\mu_j = \lambda_j e^{t_j^2}$ を定義し、ここで $\lambda_j$ はヘルメートル測度に対するガウス求積重みである。この重みを離散和に用いる。
• $L_p(\mathbb{R}; X)$ 上でのハーディー変換の有界性を用いて UMD 空間を特徴付け、収束結果を証明する。
• 双対性とバナッハ＝スタインハウスの定理を用いて不等式を逆転させ、収束が成り立つならば $X$ が UMD 空間でなければならないことを示す。
• スコヴァーガードの公式と漸近的推定を用いて作用素ノルムの下界を導出し、$p > 4$ のとき一般に収束が失敗することを示す。
• アスキーウェイナーのスカラー証明を一般化し、$4/3 < p < 4$ の範囲で $L_p(\mathbb{R}; X)$ 上での重み付きハーディー変換の有界性を拡張することで、ベクトル値の場合に証明を展開する。

実験結果

リサーチクエスチョン

• RQ1 連続関数に対して、ヘルメートルノードにおけるラグランジュ補間作用素が $L_p(\mathbb{R}; X)$-ノルムで収束するのは、どの $p$ とバナッハ空間 $X$ に対して成り立つか？
• RQ2 ベクトル値設定におけるヘルメートル補間の平均収束が成り立つための $p$ の鋭い範囲は何か？
• RQ3 $1 < p < 4$ のとき、$L_p(\mathbb{R}; X)$ におけるヘルメートル補間の平均収束に対して、UMD 性質は必要かつ十分か？
• RQ4 ネヴァイとアスキーウェイナーのスカラー平均収束結果を、$p$-依存性が鋭いかたちで $X$-値関数に拡張できるか？

主な発見

• 右辺マルチンキエヴィッチ＝ツィグムンド不等式が、$X$-値多項式に対して成り立つのは、$X$ が UMD 空間であり、$1 < p < 4$ のときに限る。
• $4/3 < p \leq \infty$ のとき、$X$ が UMD 空間ならば、離散和が $L_p$-ノルムを支配する。これにより補間作用素の収束が保証される。
• $1 < p < 4$ および $f$ が $|t|^{-\alpha}e^{t^2/2}$ のように衰える（$\alpha > 1/p$）とき、補間多項式 $I_n f$ が $f$ に $L_p(\mathbb{R}; X)$-ノルムで収束する。これはネヴァイのスカラー結果を改善している。
• $p > 4$ のとき、一般に収束は失敗する。これは補間作用素が有界でないためであり、連続関数 $f \in C(\mathbb{R}) \cap L_p(\mathbb{R}; e^{-t^2/2})$ に対しても同様である。
• $4/3 < p < 4$ のとき、$L_p(\mathbb{R}; X)$ における収束のためには UMD 性質が必要であることが、双対性と一様有界性原理により示された。
• ヘルメートル級数部分和 $P_n f$ の $L_p(\mathbb{R}; X)$ における収束の証明は、$4/3 < p < 4$ の範囲で $L_p(\mathbb{R}; X)$ 上での重み付きハーディー変換の有界性に依存している。