[論文レビュー] Convolution operator and maximal function for Dunkl transform

Sundaram Thangavelu, Yuan Xu|ArXiv.org|Mar 2, 2004

Mathematical Analysis and Transform Methods参考文献 17被引用数 5

ひとこと要約

本稿では、一般化された畳み込みと最大関数を導入することで、Dunkl変換に対するL^p理論を構築し、Bochner-RieszやPoisson平均などの和法に対するL^p有界性と几乎 everywhere収束を証明する。主な貢献は、最大関数に対する弱型(1,1)および強型(p,p)推定を確立することで、逆Dunkl変換の和法のa.e.収束を保証することにある。

ABSTRACT

For a family of weight functions, $h_κ$, invariant under a finite reflection group on $\RR^d$, analysis related to the Dunkl transform is carried out for the weighted $L^p$ spaces. Making use of the generalized translation operator and the weighted convolution, we study the summability of the inverse Dunkl transform, including as examples the Poisson integrals and the Bochner-Riesz means. We also define a maximal function and use it to prove the almost everywhere convergence.

研究の動機と目的

• Dunkl変換に対するL^p理論を確立し、反射群不変重みを伴う重み付きL^p空間への古典的フーリエ解析の拡張を図ること。
• Dunkl移動作用素を用いて一般化された畳み込み作用素を定義し、Bochner-RieszやPoisson平均などの和法を可能にする。
• Dunkl畳み込みに関連する最大関数を導入し、そのL^p空間における有界性を証明すること。
• 最大関数の推定を用いて、逆Dunkl変換の和法の几乎 everywhere収束を証明すること。
• G = Z_2^dの特別な場合に結果を拡張し、移動作用素の明示的公式により、より強い有界性結果を得ること。

提案手法

• 古典的フーリエ変換における指数関数の代わりに、相互作用作用素V_κを含む一般化指数関数を用いた核E(x, -iy)によりDunkl変換を定義する。
• 古典的移動を重み付きL^p設定における置換として、τ_y f ^ (x) = E(y, -ix) f ^ (x) により一般化移動作用素τ_yを導入する。
• gの逆変換を用いて、(f *ₖ g)(x) = ∫ f(y) τ_x g^∨(y) h_κ²(y) dy によりDunkl畳み込みf *ₖ gを定義する。
• 鋭いPaley-Wiener定理を用いて、可積分性および減衰条件を満たす径数関数φ_εに対して、f *ₖ φ_εがfにL^p収束することを証明する。
• 最大関数M_κ f(x) = sup_ε |f *ₖ φ_ε(x)| を定義し、1 < p ≤ ∞に対して弱型(1,1)および強型(p,p)有界性を証明する。
• G = Z_2^dの場合、τ_yの明示的公式を用いて、最大関数を群軌道上の平均の項で評価し、より強いL^p推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 反射群不変重みを伴うDunkl変換設定において、古典的畳み込みおよび最大関数理論をどのように拡張できるか？
• RQ2 一般化畳み込みf *ₖ φ_εのL^p有界性およびf ∈ L^1(R^d, h_κ²)に対してfにL^p収束するための条件は何か？
• RQ3 Dunkl変換に対して、和法のa.e.収束を示す最大関数を定義できるか？
• RQ4 特にG = Z_2^dの場合、反射群Gの構造が一般化移動作用素の有界性および明示的表現にどのように影響するか？
• RQ5 最大関数M_κ fの弱型(1,1)および強型(p,p)挙動は何か？そして、それがf *ₖ φ_εのa.e.収束にどのように寄与するか？

主な発見

• 最大関数M_κ fは1 < p ≤ ∞に対して弱型(1,1)および強型(p,p)を満たし、これはf *ₖ φ_εがfにa.e.収束することを示唆する。
• 径数関数φ ∈ L^1(R^d, h_κ²)で∫ φ h_κ² dx = 1を満たし、φ ≤ ψ（ψは径数関数で∫₀^∞ r^{2λ_κ+2} |ψ₀(r)| dr < ∞を満たす）であると仮定すると、f ∈ L^1(R^d, h_κ²)に対してf *ₖ φ_εはa.e.でfに収束する。
• G = Z_2^dの場合、一般化移動作用素τ_yはL^p(R^d, h_κ²)上で有界であり、より標準的な証明とより強いL^p推定が可能になる。
• 最大関数M_κ fは点ごとの評価 |(f *ₖ φ)(x)| ≤ M_κ f(x) + 2∑ M_κ F_j(x) + ... + 2^d M_κ F_{1,…,d}(x) を満たす。ここでF_jはfの対称平均である。
• M_κ fの弱型(1,1)推定により、不等式∫_{|f*ₖφ| ≥ a} h_κ²(y) dy ≤ c_d ||f||_{κ,1} / a が得られ、最大関数が弱型(1,1)であることが証明される。
• 径数関数におけるτ_yのL^p有界性が確立され、これは一般化畳み込みの収束結果にとって不可欠である。