[論文レビュー] Lp Convergence with Rates of Smooth Poisson-Cauchy Type Singular Operators

George A. Anastassiou, Razvan A. Mezei|ArXiv.org|Nov 9, 2009

Approximation Theory and Sequence Spaces参考文献 10被引用数 4

ひとこと要約

この論文は、関数またはその導関数の高階 $L_p$ 平滑性モジュラスを用いて、実数直線上の滑らかなポアソン＝コーシー型特異積分作用素の $L_p$ 収束速度を確立する。主な結果は、平滑性モジュラスに基づく明示的な誤差評価を与える。$ξ \to 0$ のとき、作用素が恒等作用素に収束することを証明し、$p \geq 1$ に対して定量的な収束速度を示す。作用素は一般に正ではないが、解析はテイラー展開、積分変換、ガンマ関数および特異核を含む $L_p$ ノルム推定に依存する。

ABSTRACT

In this article we continue the study of smooth Poisson-Cauchy Type singular integral operators on the line regarding their convergence to the unit operator with rates in the Lp norm, p greater equal one. The related established inequalities involve the higher order Lp modulus of smoothness of the engaged function or its higher order derivative.

研究の動機と目的

• 関数 $f$ が $L_p(\mathbb{R})$ に属する高階導関数をもつ場合、$p \geq 1$ に対して、実数直線上の滑らかなポアソン＝コーシー型特異積分作用素 $M_{r,\xi}$ が恒等作用素に $L_p$ 収束する速度を調査すること。
• 関数またはその導関数の高階 $L_p$ 平滑性モジュラスを含むジャクソン型不等式を導出すること。
• 関数の滑らかさとスケールパrameter $ξ$ の両方に依存する収束速度を定量的に評価すること、特に $f^{(n)} \in L_p(\mathbb{R})$ を満たす関数に対して。
• 高階導関数と精密な $L_p$ ノルム推定を組み合わせることで、特異積分の収束に関する先行研究を拡張すること。

提案手法

• 作用素 $M_{r,\xi}(f;x)$ は、$t^{2\alpha} + \xi^{2\alpha}$ を $-\beta$ 乗した核を含む $\mathbb{R}$ 上の重み付き積分により定義され、定数 $W$ によって正規化されており、$M_{r,\xi}(c) = c$ が定数 $c$ に対して成り立つ。
• 関数差 $f(x+jt) - f(x)$ の $n$ 階までのテイラー展開を用い、剰余項 $\mathcal{R}_n(0,t,x)$ を $n$ 階微分の差 $\tau(w,x)$ の積分として表現する。
• $L_p$ ノルム $\|M_{r,\xi}(f) - f\|_p$ の誤差は、ホルダーの不等式を適用し、核および剰余項の積分を推定することで有界化する。
• ガンマ関数の性質と $r$ 階 $L_p$ 平滑性モジュラス $\omega_r(f^{(n)}, h)_p$ を用いて、剰余項を制御し、最終的な誤差評価を導出する。
• 核の可積分性と減衰性を保証するため、$\beta > \frac{1}{\alpha}(\frac{1}{p} + n + r)$ の条件下で収束速度を導出する。
• $p=1$ の場合、2階差分の $L_1$ ノルムを用いた別個の推定を行い、$L_1$ 平滑性モジュラス $\omega_2(f, \xi)_1$ を含む評価を得る。

実験結果

リサーチクエスチョン

• RQ1 $p \geq 1$ に対して、滑らかなポアソン＝コーシー型特異積分作用素が恒等作用素に $L_p$ 収束する速度は何か？
• RQ2 関数の滑らかさ（関数またはその導関数の高階 $L_p$ 平滑性モジュラスで測定）が収束速度にどのように影響するか？
• RQ3 関数 $f^{(n)} \in L_p(\mathbb{R})$ を満たす場合、$\omega_r(f^{(n)}, \xi)_p$ の関数として明示的な誤差評価を導出できるか？
• RQ4 $\alpha$, $\beta$, および $\xi$ のパラメータが $L_p$ ノルムにおける収束速度にどのように影響するか？
• RQ5 $L_1$ の場合、作用素の挙動は何か？また、$p > 1$ の $L_p$ 場合と比較してどうなるか？

主な発見

• $L_p$ ノルムの誤差 $\|M_{r,\xi}(f) - f\|_p$ は、$\omega_r(f^{(n)}, \xi)_p$ に比例する定数倍で有界であり、その定数は $p$, $\alpha$, $\beta$, $r$, $n$ に依存し、$ξ \to 0$ のとき減少する。
• $p > 1$ の場合、誤差評価は不等式 (16) で明示的に与えられ、ガンマ関数、$\xi^n$、および $α$, $\beta$, $p$, $r$, $n$ に依存する有限積分 $\tau$ を含む。
• 収束速度は $O(\omega_r(f^{(n)}, \xi)_p)$ であり、平滑性が高い（平滑性モジュラスが小さい）関数では収束が速くなることが示される。
• $L_1$ の場合、誤差は $\omega_2(f, \xi)_1$ の定数倍で有界であり、不等式 (82) で示されている。定数は $\alpha$, $\beta$, ガンマ関数に依存する。
• 不等式 (16) は、核および剰余項の可積分性を保証するための条件 $\beta > \frac{1}{\alpha}(\frac{1}{p} + n + r)$ を満たす場合に有効である。
• $\xi \to 0$ のとき、$L_p$ ノルムの誤差は 0 に収束する。これは、$p \geq 1$ に対して $M_{r,\xi}(f)$ が $L_p(\mathbb{R})$ で $f$ に収束することを証明する。