[論文レビュー] Remarks on spectral multiplier theorems on Hardy spaces associated with semigroups of operators

Jacek Dziubański, Marcin Preisner|arXiv (Cornell University)|Mar 17, 2009

Advanced Harmonic Analysis Research参考文献 22被引用数 9

ひとこと要約

本稿は、同型空間上における非負自己随伴作用素 $ L $ が生成する半群がガウス型またはデイヴィス＝ガフニー推定を満たす場合の、Hardy 空間 $ H^1_L $ に対するスペクトル乗算子定理を確立する。$ m $ がソボレフ空間 $ W^{\frown,\frown} $ において滑らかさ条件を満たすとき、$ m(L) $ が $ (1,2,1) $-原子を $ H^1_L $ に写像することを証明し、$ H^1_L $ 上での乗算子作用素の有界性と一様なノルム制御を保証する。

ABSTRACT

Let L be a non-negative, self-adjoint operator on L^2(Ω), where (Ω, d μ) is a space of homogeneous type. Assume that the semigroup {T_t}_{t>0} generated by -L satisfies Gaussian bounds, or more generally Davies-Gaffney estimates. We say that f belongs to the Hardy space H^1_L if the square function S_h f(x)=(\iint_{Γ(x)} |t^2 L e^{-t^2 L} f(y)|^2 \frac{dμ(y)}{μ(B_d(x,t))} \frac{dt}{t})^{1/2} belongs to L^1(Ω, dμ), where Γ(x)={(y,t) \in Ω imes (0,\infty): d(x,y)

研究の動機と目的

• 非負自己随伴作用素 $ L $ が生成する半群に関連する Hardy 空間 $ H^1_L $ 上でのスペクトル乗算子作用素の有界性を確立すること。
• 一般の同型空間上の距離測度空間の文脈において、古典的ホルンダータイプの乗算子定理を Hardy 空間設定に拡張すること。
• $ W^{\frown,\frown} $ における滑らかさ条件を満たすスペクトル乗算子が $ (1,2,1) $-原子を $ H^1_L $ に写像することを証明し、全 Hardy 空間上での有界性を保証すること。
• ガウス型推定のもとで乗算子定理の簡単な証明を提示し、デイヴィス＝ガフニー推定を満たすより一般的な半群へと拡張すること。

提案手法

• 関数 $ f \in H^1_L $ が $ \|S_h f\|_{L^1} < \infty $ を満たすとき、$ H^1_L $ を正方形関数 $ S_h f(x) = \left( \iint_{\Gamma(x)} |t^2 L e^{-t^2 L} f(y)|^2 \frac{d\mu(y)}{V(x,t)} \frac{dt}{t} \right)^{1/2} $ を用いて定義する。
• $(1,2,M)$-原子は、$ a = L^M b $ として表され、$ (r^2 L)^k b $ の $ L^2 $-ノルムが制御された球に台を持つ関数として定義される。
• 関数 $ T_t \zeta $ の空間 $ \mathfrak{T} $ 上で $ \bar{m}(L) $ の $ L^\infty $-有界性を、$ n $ が dyadic 開区間上に台を持つ場合のノルム $ \|n\|_{W^{\infty,\alpha}} $ を用いて確立する。
• スケーリングおよび測度の二重性を活用し、$ e^{-c t 2^j} $ の減衰と体積成長 $ \mu(B_{d}(y,2^{-j/2})) \gtrsim 2^{-j\kappa/2} $ を用いて、核 $ \bar{n}_j(L)(x,y) $ の一様 $ L^\infty $-バウンディングを証明する。
• 双対性を用いて $ m(L) $ の $ H^1_L $ 上での作用を定義する：$ \langle m(L)f, g \rangle = \int f(x) \overline{\bar{m}(L)g(x)} \, d\mu(x) $ により、一意性と有界性を保証する。
• 原子分解と一様な作用素ノルム制御を用いて、$ \|m(L)f\|_{H^1_L} \leq C \|f\|_{H^1_L} $ を示し、$ H^1_L $ 上での有界性を証明する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル乗算子 $ m(L) $ が非負自己随伴作用素 $ L $ が生成する半群に関連する Hardy 空間 $ H^1_L $ 上で有界となるための、乗算子 $ m $ の滑らかさ条件は何か？
• RQ2 ガウス型またはデイヴィス＝ガフニー推定を満たす同型空間上での距離測度空間の文脈において、古典的ホルンダータイプの乗算子定理を Hardy 空間 $ H^1_L $ に拡張できるか？
• RQ3 $ \sup_{t>0} \| \eta(\cdot) m(t\cdot) \|_{W^{\infty,\alpha}(\mathbb{R})} \leq C_\eta $ で表されるソボレフ型滑らかさ条件（$ \alpha > q/2 $）が、$ H^1_L $ 上での $ m(L) $ の有界性を保証するために果たす役割は何か？
• RQ4 特に $ (1,2,1) $-原子に対する $ H^1_L $ の原子分解が、$ m(L) $ の有界性の証明をどのように支援するか？
• RQ5 ガウス型推定を超えて、デイヴィス＝ガフニー推定を満たす半群へと乗算子定理を拡張できるか。その場合、追加の滑らかさ条件は何か？

主な発見

• スペクトル乗算子作用素 $ m(L) $ は、$ H^1_L $ の $ (1,2,1) $-原子を $ H^1_L $ に写像し、すべてのこのような原子に対して一様な作用素ノルムバウンディング $ \|m(L)a\|_{H^1_L} \leq C $ が成り立つ。
• 条件 $ \sup_{t>0} \| \eta(\cdot) m(t\cdot) \|_{W^{\infty,\alpha}(\mathbb{R})} \leq C_\eta $ が $ \alpha > q/2 $ を満たす場合、乗算子定理が成立する。ここで $ q $ は空間の二重次元の次元である。
• 測度 $ \mu(B_d(y,s)) \geq c s^\kappa $ が $ s > 1 $ で成り立つ限り、$ m(L) $ は $ H^1_L $ 上に一意に有界作用素に拡張可能であり、十分な体積成長を保証する。
• 証明は、核推定と体積の二重性を用いて、$ \mathfrak{T} $ 上での $ \bar{m}(L) $ の $ L^\infty $-有界性に依拠しており、これにより $ H^1_L $ 上での明確で有界な作用が保証される。
• 結果として、多項式的体積成長を示す非ユークリッド的距離測度空間における古典的乗算子定理が、Hardy 空間設定に一般化された。
• ユークリッド空間 $ \mathbb{R}^d $ 上のシュレーディンガー作用素 $ A = -\Delta + V $ に対して、この定理は、滑らかさ条件における $ \alpha > d/2 $ を満たす任意の有界な $ m $ が $ H^1_A $-乗算子を定める、と示唆する。