[論文レビュー] Elementary proofs of Paley-Wiener theorems for the Dunkl transform on the real line

Nils Byrial Andersen, Marcel de Jeu|arXiv (Cornell University)|Jun 17, 2005

Mathematical Analysis and Transform Methods参考文献 7被引用数 6

ひとこと要約

本稿では、実数直線上のDunkl変換に関するPaley–Wiener定理の初等的で構造的な証明を提示し、Dunkl変換の成長推定を用いて、台がコンパactsupportされた関数の特徴付けを確立する。この手法は、明示的な特殊関数を避けて、変換の形式的性質にのみ依拠しており、古典的フーリエ変換の場合ですら、新たな証明をもたらす。これは、$L^p$および$L^2$関数の台条件に対しても成立する。

ABSTRACT

We give an elementary proof of the Paley-Wiener theorem for smooth functions for the Dunkl transforms on the real line, establish a similar theorem for L^2-functions and prove identities in the spirit of Bang for L^p-functions. The proofs seem to be new also in the special case of the Fourier transform.

研究の動機と目的

• Dunkl変換下での滑らかな関数に対するPaley–Wiener定理の、明示的公式に依存しない新しい初等的証明を提供すること。
• $k \geq 0$ に対して、$L^2$-関数に対しても、古典的フーリエ変換の場合を一般化したPaley–Wiener特徴付けを拡張すること。
• $L^p$-関数に対してBangに類似した恒等式を確立し、実数直線上の成長率とDunkl変換の台性質との関係を示すこと。
• Dunkl変換の形式的性質に基づく本手法が、従来のアプローチと比較してより単純かつ一般化可能であることを示すこと。

提案手法

• 証明戦略は、核 $\psi^k_\lambda(z)$ の明示的表現ではなく、Dunkl変換およびその逆変換の形式的性質、特に双対性と畳み込み構造に依拠する。
• 著者らはDunkl畳み込み $*_{k}$ 及びその $L^p$-空間における有界性を用いて、反復Dunkl微分 $T_k^n f$ のノルムを制御する。
• 主要な推定は、ホルダーの逆不等式および $|\psi^k_\lambda(z)| \leq e^{|\mathrm{Im} \lambda z|}$ という境界を用いて導出され、変換の成長を制御する。
• 台の解析は双対性を用いて行う：$\mathrm{supp}(D_k f) \subset [-R,R]$ は、コンパクトに台を持つ畳み込み核を持つ関数でテストすることで示される。
• $L^2$ 関数に対しては、プランシュレルの定理を適用し、$L^2$-有界性と指数型 $R$ の整関数の空間との関連を結ぶ。
• 本手法は、$L^p$-関数へと一般化され、$L^p$ と $L^q$ 間の双対性およびDunkl畳み込みにおけるノルム推定を用いる。

実験結果

リサーチクエスチョン

• RQ1 Dunkl変換下での滑らかな関数に対するPaley–Wiener定理は、核 $\psi^k_\lambda(z)$ の明示的公式に依存せずに証明可能か？
• RQ2 Dunkl変換の形式的性質のみを用いて、$L^2$-関数に対してもPaley–Wiener定理を確立できるか？
• RQ3 Dunkl変換下での $L^p$-関数に対して、実数直線上の成長と変換の台性質との関係を示すBangに類似した恒等式を導出可能か？
• RQ4 提案手法は、特に $k=0$（フーリエ変換）の特殊ケースにおいて、既存の証明と比較して単純さと一般化可能性に優れているか？

主な発見

• 本稿では、核の明示的公式を一切用いずに、$\mathrm{Re}\,k \geq 0$ の範囲で、Dunkl変換下での滑らかな関数に対するPaley–Wiener定理の新しい初等的証明を提供する。
• $k \geq 0$ に対して、Dunkl変換 $D_k$ が、$L^2_{R}({\mathbb{R}}, w_k(x)dx)$ から、実数直線上で $L^2$-可積分性を有する指数型 $R$ の整関数の空間 $\mathcal{H}^{2,k}_R({\mathbb{C}})$ への位相的同型写像であることが示された。
• 関数 $f \in L^p_{R}({\mathbb{R}}, w_k(x)dx)$ に対して、$\limsup_{n \to \infty} \|T_k^n f\|_{k,p}^{1/n} \leq R + \varepsilon$ が成り立つことが確立され、これは変換の台を微分の成長によって特徴付ける。
• 本手法により、従来の手法よりも短い $L^p$-Paley–Wiener定理の証明が得られ、$k=0$ の場合の証明は、古典的フーリエ変換のPaley–Wiener定理の、より直接的かつ新しい導出をもたらす。
• 偶関数の場合の結果は、既知のハッケル変換の結果に還元され、本手法は原則的に高次元対称空間へ一般化可能であることが示された。
• 双対性および畳み込み推定に基づく証明技法は、高次元Dunkl変換における不変コンパクト凸集合への応用が可能であると示唆されるが、これはまだ未解決のままである。