[論文レビュー] Harmonic functions, conjugate harmonic functions and the Hardy space $H^1$ in the rational Dunkl setting

Jean-Philippe Anker, Jacek Dziubański+1 more|arXiv (Cornell University)|Feb 19, 2018

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

ひとこと要約

本稿は、反図形群と多重関数によって支配される対称性を持つ有理Dunkl設定において、古典的Hardy空間理論を拡張し、Dunklラプラシアン $\Delta$ に関連する共役調和関数を用いてHardy空間 $H^1$ を特徴づける。原子、Riesz変換、最大関数、Littlewood-Paley平方関数を用いた同値な特徴づけを確立し、不変測度と群作用を含むDunkl調和設定に古典的結果を一般化する。

ABSTRACT

In this work we extend the theory of the classical Hardy space $H^1$ to the rational Dunkl setting. Specifically, let $Δ$ be the Dunkl Laplacian on a Euclidean space $\mathbb{R}^N$. On the half-space $\mathbb{R}_+ imes\mathbb{R}^N$, we consider systems of conjugate $(\partial_t^2+Δ_{\mathbf{x}})$-harmonic functions satisfying an appropriate uniform $L^1$ condition. We prove that the boundary values of such harmonic functions, which constitute the real Hardy space $H^1$, can be characterized in several different ways, namely by means of atoms, Riesz transforms, maximal functions or Littlewood-Paley square functions.

研究の動機と目的

• 有理Dunkl設定における古典的Hardy空間 $H^1$ の理論を拡張すること。ここで、対称性は反射群と多重関数によって支配される。
• 半空間 $\mathbb{R}_+ \times \mathbb{R}^N$ における $ (\partial_t^2 + \Delta_\mathbf{x}) $-調和関数が $L^1$ 条件を満たす場合の境界値として、実Hardy空間 $H^1_\Delta$ を特徴づけること。
• 原子、Riesz変換、最大関数、Littlewood-Paley平方関数を用いた $H^1_\Delta$ の同値な特徴づけを確立し、ユークリッド調和解析における古典的結果を模倣すること。
• 群不変測度とDunkl作用素を組み込んだDunkl設定における原子的分解と平方関数理論を一般化すること。

提案手法

• 根系 $R$ と多重関数 $k$ によってインデックス付けられる反射項を含むDunkl作用素 $T_\xi$ を用いて、$\mathbb{R}^N$ 上のDunklラプラシアン $\Delta$ を定義する。
• Dunkl核とDunkl変換を用いて、Dunklラプラシアンに関連するポissonおよび熱半群を構成する。
• 半空間 $\mathbb{R}_+ \times \mathbb{R}^N$ 上でDunklラプラシアンを含む一般化されたコーシー・リーマン方程式を満たす共役 $\Delta$-調和関数系を導入する。
• 原子的分解、Riesz変換、最大関数、Littlewood-Paley平方関数による $H^1_\Delta$ の特徴づけの同値性を、$L^1$-有界性とCalderón再構成公式を用いて確立する。
• $\Psi = \Delta^{M+1} \Psi^{\{1\}}$ であるようなCalderón再構成公式を用い、平方関数から関数を再構成する。ここで $\Psi^{\{1\}}$ は $B(0,1/4)$ に台を持つ径数 $C^\infty$ 関数である。
• $T_2^1$ 原子 $A_j$ から $a_j = \pi_\Psi(A_j)$ を構成することで原子的分解を証明し、$\|a_j\|_{L^1(dw)} \leq C$ および $(1,2,M)$-原子と整合する支持条件を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 反射群と多重関数によって支配される有理Dunkl設定において、古典的Hardy空間 $H^1$ の理論を拡張することは可能か？
• RQ2 半空間 $\mathbb{R}_+ \times \mathbb{R}^N$ 上の $\Delta$-調和関数の境界値は、Dunkl設定において原子、Riesz変換、最大関数、平方関数を用いて同値に特徴づけられるか？
• RQ3 Dunkl設定において、$L^1$ 関数をその平方関数から再構成することができるCalderón型再構成公式が存在するか？
• RQ4 Dunkl測度と群の軌道に整合する $L^1$-ノルムの上限と支持条件を満たすような $H^1_\Delta$ の原子的分解は構成可能か？
• RQ5 Dunklラプラシアンと関連する半群の性質は、Hardy空間理論における最大関数と平方関数の挙動にどのように影響するか？

主な発見

• 実Hardy空間 $H^1_\Delta$ は、半空間 $\mathbb{R}_+ \times \mathbb{R}^N$ 上で一様な $L^1$ 条件を満たす $\Delta$-調和関数の境界値の空間として特徴づけられる。
• $H^1_\Delta$ は、原子、Riesz変換、最大関数、Littlewood-Paley平方関数による同値な特徴づけを有し、古典的結果をDunkl設定に拡張する。
• 各原子 $a_j$ が $\|a_j\|_{L^1(dw)} \leq C$ を満たし、球の $G$-軌道に台を持つように構成された $H^1_\Delta$ の原子的分解が得られた。さらに $a_j = \Delta^M b_j$ を満たす $b_j$ が存在し、$L^2$-ノルムが制御可能である。
• Littlewood-Paley $g$-関数を用いた $H^1_\Delta$ の平方関数的特徴づけが確立され、$\|Sf\|_{L^1(dw)} \lesssim \|F\|_{T_2^1}$ が成り立つ。ここで $F(t,x) = Q_t f(x)$ は熱拡張を表す。
• Calderón再構成公式を用いて $f \in L^1(dw)$ をその平方関数から再構成し、$f = \sum_j \lambda_j a_j$ かつ $\sum_j |\lambda_j| \leq C \|F\|_{T_2^1}$ を満たすことを証明し、$H^1_\Delta$ における原子的分解の成立を示した。
• 証明は、Dunkl測度 $dw$ の体積倍加法および逆倍加法の性質を用いた熱核およびその微分の $L^1$-推定に依存し、$s = 0,1,\dots,M$ に対して $\Delta^s b_j$ の $L^1$-ノルムの制御も行われた。