[论文解读] Dual of Hardy-amalgam spaces and norms inequalities

Zobo Vincent de Paul Ablé, Justin Feuto|arXiv (Cornell University)|Mar 9, 2018

Advanced Harmonic Analysis Research参考文献 20被引用 3

一句话总结

本文表征了当 $0 < q \leq p \leq 1$ 时 Hardy-amalgam 空间 $\mathcal{H}^{(q,p)}$ 的对偶空间，证明其对偶空间同构于 $\mathcal{H}^{(q',p')}$，其中 $1/q + 1/q' = 1$ 且 $1/p + 1/p' = 1$。此外，本文还证明了 Calderón-Zygmund、卷积及 Riesz 位势算子在这些空间上的有界性，通过原子分解与极大函数表征，将经典 Hardy 空间中的结果推广至 amalgam 框架。

ABSTRACT

We characterize the dual spaces of the generalized Hardy spaces defined by replacing Lebesgue quasi-norms by Wiener amalgam ones. In these generalized Hardy spaces, we prove that some classical linear operators such as Calderón-Zygmund, convolution and Riesz potential operators are bounded.

研究动机与目标

• 表征当 $0 < q \leq p \leq 1$ 时 Hardy-amalgam 空间 $\mathcal{H}^{(q,p)}$ 的对偶空间。
• 将 Calderón-Zygmund、卷积及 Riesz 位势算子在经典 Hardy 空间中的经典有界性结果，从经典 Hardy 空间推广至 Hardy-amalgam 框架。
• 在 Wiener amalgam 范数取代 Lebesgue 仿范数的背景下，建立范数不等式与算子有界性。
• 通过局部与全局可积性结构，将 Hardy 空间的原子与极大函数表征推广至 amalgam 框架。

提出的方法

• 使用光滑且紧支集的 bump 函数 $\varphi$ 定义极大函数 $\mathcal{M}_{\varphi}(f) = \sup_{t>0} |f * \varphi_t|$，将 $\mathcal{H}^{(q,p)}$ 定义为满足该极大函数属于 Wiener amalgam 空间 $(L^q, \ell^p)$ 的温顺分布空间。
• 对 $0 < q \leq \min(1,p)$ 使用 $\mathcal{H}^{(q,p)}$ 的原子分解，其中原子满足类似于经典 Hardy 空间的取消与大小条件。
• 应用 amalgam 空间 $(L^q, \ell^p)$ 的对偶理论，其对偶为 $(L^{q'}, \ell^{p'})$，通过对偶配对表征 $\mathcal{H}^{(q,p)}$ 的对偶空间。
• 利用 Hardy-Littlewood 极大算子 $\mathfrak{M}$ 及其在 $(L^q, \ell^p)$ 上关于 $1 < q,p < \infty$ 的有界性，作为关键技术工具。
• 应用泰勒展开与原子上的取消条件，通过涉及 $|x-y|^{\delta+1}/|x-x_n|^{d-\alpha+\delta+1}$ 的核估计，控制 Riesz 位势 $I_\alpha$ 作用于原子时的大小。
• 在满足尺度条件 $1/q_1 = 1/q - \alpha/d$ 与 $1/p_1 = 1/p - \alpha/d$ 的前提下，通过极大函数估计与插值法，建立 $I_\alpha$ 从 $\mathcal{H}^{(q,p)}$ 到 $\mathcal{H}^{(q_1,p_1)}$ 的有界性。

实验结果

研究问题

• RQ1 当 $0 < q \leq p \leq 1$ 时，Hardy-amalgam 空间 $\mathcal{H}^{(q,p)}$ 的对偶空间是什么？
• RQ2 Calderón-Zygmund 算子在 $\mathcal{H}^{(q,p)}$ 上是否对 $0 < q \leq 1$ 且 $q \leq p < \infty$ 有界？
• RQ3 在适当的尺度条件下，Riesz 位势算子 $I_\alpha$ 是否可作为有界算子从 $\mathcal{H}^{(q,p)}$ 延拓至 $\mathcal{H}^{(q_1,p_1)}$？
• RQ4 在 $\mathcal{H}^{(q,p)}$ 中的原子与极大函数表征与经典 Hardy 空间中的表征相比有何异同？
• RQ5 在哪些精确条件下，$I_\alpha$ 在 Hardy-amalgam 空间之间有界？

主要发现

• 当 $0 < q \leq p \leq 1$ 时，$\mathcal{H}^{(q,p)}$ 的对偶空间通过与 $\mathcal{H}^{(q,p)}$ 的对偶配对，等距同构于 $\mathcal{H}^{(q',p')}$，其中 $1/q + 1/q' = 1$ 且 $1/p + 1/p' = 1$。
• Calderón-Zygmund 算子在 $\mathcal{H}^{(q,p)}$ 上对 $0 < q \leq 1$ 且 $q \leq p < \infty$ 有界，将经典结果推广至 amalgam 框架。
• 满足标准 Calderón-Zygmund 条件的卷积核对应的卷积算子在相同参数范围内于 $\mathcal{H}^{(q,p)}$ 上有界。
• 当 $0 < \alpha < d$，$1/q_1 = 1/q - \alpha/d$，且 $1/p_1 = 1/p - \alpha/d$ 时，Riesz 位势算子 $I_\alpha$ 从 $\mathcal{H}^{(q,p)}$ 到 $\mathcal{H}^{(q_1,p_1)}$ 有界，其中 $0 < q \leq 1$，$q \leq p < \infty$。
• 通过原子分解与极大函数估计，利用核展开与原子上满足 $\delta \geq \max\{\lfloor d(1/q - 1)\rfloor, \alpha\}$ 的取消条件，建立了 $I_\alpha$ 的有界性。
• 推论 4.24 将结果推广至更广范围：若 $1/q_2 \geq 1/q - \alpha/d$ 且 $1/p_2 \leq 1/p - \alpha/d$，则 $I_\alpha$ 从 $\mathcal{H}^{(q,p)}$ 到 $\mathcal{H}^{(q_2,p_2)}$ 有界，表明其在较宽松约束下仍具鲁棒性。