[论文解读] 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

一句话总结

本文建立了与在同胚度量空间上满足高斯估计或Davies-Gaffney估计的非负自伴算子 $ L $ 生成的半群相关的 Hardy 空间 $ H^1_L $ 的谱乘子定理。证明了当 $ m $ 在 Sobolev 空间 $ W^{\frown,\frown} $ 中满足光滑性条件时，$ m(L) $ 将 $ (1,2,1) $-原子映射到 $ H^1_L $，从而确保乘子算子在 $ H^1_L $ 上有界且 operator 范数一致有界。

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)

研究动机与目标

• 建立与非负自伴算子生成的半群相关的 Hardy 空间 $ H^1_L $ 上谱乘子算子的有界性。
• 将经典的 Hörmander 型乘子定理推广到一般度量测度空间的同胚度量空间背景下 Hardy 空间设定。
• 证明满足 $ W^{\frown,\frown} $ 中光滑性条件的谱乘子将 $ (1,2,1) $-原子映射到 $ H^1_L $，从而确保其在完整 Hardy 空间上的有界性。
• 在高斯界下提供乘子定理的简洁证明，并将其推广到满足 Davies-Gaffney 估计的更一般半群。

提出的方法

• 通过平方函数 $ 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} $ 定义 Hardy 空间 $ H^1_L $，其中 $ f \in H^1_L $ 当且仅当 $ \|S_h f\|_{L^1} < \infty $。
• 使用 $ H^1_L $ 的原子分解，其中 $ (1,2,M) $-原子是形如 $ a = L^M b $ 的函数，其支撑在满足 $ (r^2 L)^k b $ 的 $ L^2 $-范数受控的球内。
• 利用函数 $ n $ 在 dyadic 区间上支撑的范数 $ \|n\|_{W^{\infty,\alpha}} $，证明 $ \bar{m}(L) $ 在空间 $ \mathfrak{T} $（即函数 $ T_t \zeta $ 的集合，其中 $ \zeta $ 紧支撑）上有 $ L^\infty $-有界性。
• 通过缩放和测度加倍性质，利用衰减 $ 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 $ 上有界？
• RQ2 经典的 Hörmander 乘子定理能否推广到满足高斯估计或 Davies-Gaffney 估计的同胚度量空间背景下的 Hardy 空间 $ H^1_L $？
• RQ3 Sobolev 型光滑性条件 $ \sup_{t>0} \| \eta(\cdot) m(t\cdot) \|_{W^{\infty,\alpha}(\mathbb{R})} \leq C_\eta $（其中 $ \alpha > q/2 $）在确保 $ m(L) $ 在 $ H^1_L $ 上有界性方面起什么作用？
• RQ4 $ H^1_L $ 的原子分解，特别是 $ (1,2,1) $-原子，在证明 $ m(L) $ 有界性方面起到何种作用？
• RQ5 乘子定理能否从高斯界推广到满足 Davies-Gaffney 估计的半群？需要何种额外的光滑性条件？

主要发现

• 谱乘子算子 $ 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 $ 上的有界算子，从而保证了充分的体积增长。
• 证明依赖于 $ \bar{m}(L) $ 在空间 $ \mathfrak{T} $ 上的 $ L^\infty $-有界性，该性质通过核估计和测度加倍性质建立，从而在 $ H^1_L $ 上实现良好定义且有界的算子作用。
• 该结果将经典乘子定理推广到具有多项式体积增长的非欧几里得度量测度空间的 Hardy 空间设定。
• 对于 $ \mathbb{R}^d $ 上的 Schrödinger 算子 $ A = -\Delta + V $，该定理表明，任何满足光滑性条件中 $ \alpha > d/2 $ 的有界 $ m $ 均为 $ H^1_A $-乘子。