[論文レビュー] Unconditionality of Periodic Orthonormal Spline Systems in $L^p$

K. A. Keryan, Markus Passenbrunner|arXiv (Cornell University)|Aug 29, 2017

Advanced Numerical Analysis Techniques参考文献 9被引用数 5

ひとこと要約

本稿は、トーラス $\mathbb{T}$ 上の許容的で稠密な knot の列から構成される、任意の順序 $k \in \mathbb{N}$ の周期的正規直交スプライン系が、すべての $1 < p < \infty$ に対して $L^p(\mathbb{T})$ において unconditional basis をなすことを証明する。証明は、dyadic 分解と重み付き推定を用いて、スプライン系に関連する maximal 関数の $L^p$-ノルムを推定することに依拠しており、非周期的および dyadic スプライン系に関する先行結果を一般の周期的ケースに拡張する。

ABSTRACT

Given any natural number $k$ and any dense point sequence $(t_n)$ on the torus $\mathbb T$, we prove that the corresponding periodic orthonormal spline system of order $k$ is an unconditional basis in $L^p$ for $1

研究の動機と目的

• 周期的正規直交スプライン系がすべての $1 < p < \infty$ に対して $L^p(\mathbb{T})$ で unconditionally に成立することを確立すること。
• 以前は dyadic knot や非周期的設定に限定されていたスプライン系の unconditionality に関する先行結果を、トーラス上での任意の許容的 knot 列の一般ケースに拡張すること。
• 非周期的スプライン理論からの技術を周期的設定に適応することで、$L^p$ における unconditionality の統一的枠組みを提供すること。
• unconditionality 定数が $k$ と $p$ のみに依存し、特定の knot 列に依存しないこと、許容的条件のもとで証明すること。

提案手法

• 著者らは、$C^{k-1}$-滑らかで knot が $(s_n)$ である順序 $k$ のスプライン関数の空間 $\hat{\mathcal{S}}_n$ における正規直交関数 $ (\hat{f}_n) $ として周期的正規直交スプライン系を定義する。各点は高々 $k$ 回まで出現する。
• B-spline の性質と多項式近似の性質を用いて、周期的スプライン関数 $\hat{f}_n$ とそれに対応する非周期的関数との間の重要な推定を確立する。
• 周波数領域または空間領域における dyadic 分解を用い、各 $\hat{f}_n$ が $L^p$-質量を集中させるグリッド区間と関連付ける。
• スプライン展開の $L^p$-ノルムを制御するための maximal 関数 $Sg$ を定義し、その分布関数を、拡大された区間 $\widetilde{V}_j$ で覆うことで推定する。
• パrameter $R > 1$ を用いた重み付き $L^p$-推定を適用し、特に重要な推定（補題 4.4）では、$n \geq \operatorname{n}(V_j)$ における $ R^{p \hat{d}_n(V_j)} |\langle g_j, \hat{f}_n \rangle|^p $ の和を評価する。固定された $s$ に対して $\hat{d}_n(V_j) = s$ を満たす $j$ は高々2つであるという事実を活用する。
• 最終的な不等式は、和の順序交換と共役指数 $p$ と $p'$ を用いた Hölder の不等式を適用することで得られ、$\lesssim \|g\|_p^p$ の形の評価が得られ、unconditionality の証明が完了する。

実験結果

リサーチクエスチョン

• RQ1 順序 $k \geq 1$ の周期的正規直交スプライン系が、$\mathbb{T}$ 上の許容的 knot 列から構成される場合、すべての $1 < p < \infty$ に対して $L^p(\mathbb{T})$ において unconditional basis をなすか？
• RQ2 dyadic knot 列や低次のスプラインに制限しないで、このような系の unconditionality を確立できるか？
• RQ3 任意の許容的 knot 列にわたるスプライン展開作用素の $L^p$-ノルムが、一様にどのように振る舞うか？
• RQ4 dyadic 分解と関連する距離関数 $\hat{d}_n(V_j)$ は、maximal 関数の $L^p$-ノルムを制御するために果たす役割は何か？
• RQ5 非周期的スプライン系に用いられた技術を周期的設定に適応することで、同じ unconditionality 結果を得られるか？

主な発見

• 順序 $k \in \mathbb{N}$ の周期的正規直交スプライン系は、$\mathbb{T}$ 上の任意の許容的 knot 列 $(s_n)$ に対し、すべての $1 < p < \infty$ に対して $L^p(\mathbb{T})$ において unconditional basis をなすことが保証され、スプライン理論における長年の未解決問題が解決された。
• unconditionality 定数は $k$ と $p$ のみに依存し、許容的 knot 列の具体的な選択に依存しない。これは、異なる分割に対して一貫性があることを示している。
• 証明により、maximal 関数 $Sg$ に対する鋭い $L^p$-推定 $\|Sg\|_p^p \lesssim_p \|g\|_p^p$ が得られ、これが基底の unconditionality を示唆する。
• 補題 4.4 の新たな短い証明が提示され、$R^{\hat{d}_n(V_j)}$ を用いて $\langle g, \hat{f}_n \rangle$ の成長を制御する。この推定は最終的な評価の中心的役割を果たす。
• dyadic knot や非周期的スプラインに関する先行結果が一般化され、$L^p$ 空間における unconditional スプライン基底理論が統一された。
• 著者らは、周期的バージョンの Shadrin の定理が成り立つことを確認し、非周期的ケースで用いられた同一の原理が、今や周期的設定に拡張されたことで unconditionality が成立することを示した。