[论文解读] Generalized Hölder's inequality on Morrey spaces

Ifronika, Mochammad Idris+2 more|arXiv (Cornell University)|Jun 6, 2017

Advanced Harmonic Analysis Research参考文献 5被引用 6

一句话总结

本文建立了广义 Hölder 不等式在 Morrey 空间、弱 Morrey 空间、广义 Morrey 空间以及广义弱 Morrey 空间中的充分必要条件。通过分析 $\mathbb{R}^d$ 中球的特征函数，证明了该不等式成立当且仅当 $\sum_{i=1}^m \frac{1}{p_i} \leq \frac{1}{p}$ 且 $\sum_{i=1}^m \frac{1}{q_i} = \frac{1}{q}$，适用于 Morrey 空间，且在广义版本中，通过满足加倍性和单调性性质的权函数，得到类似条件。

ABSTRACT

The aim of this paper is to present necessary and sufficient conditions for generalized Hölder's inequality on generalized Morrey spaces. We also obtain similar results on weak Morrey spaces and on generalized weak Morrey spaces. The necessary and sufficient conditions for the generalized Hölder's inequality on these spaces are obtained through estimates for characteristic functions of balls in $\mathbb{R}^d$.

研究动机与目标

• 确定广义 Hölder 不等式在 Morrey 空间及其弱型变体中的充分必要条件。
• 通过具有特定单调性和加倍性质的权函数，将这些结果推广到广义 Morrey 空间和广义弱 Morrey 空间。
• 统一不同函数空间类型中的条件，表明在相同参数约束下，经典不等式与弱型不等式等价。
• 通过特征函数的范数估计，为变量和广义 Morrey 型空间中的乘法不等式分析提供框架。
• 将先前在 Lebesgue 空间中的结果推广到调和分析和偏微分方程中相关的更广泛函数空间。

提出的方法

• 通过 $\mathbb{R}^d$ 中球上特征函数的 $L^p$-范数估计，推导广义 Hölder 不等式的必要与充分条件。
• 应用涉及满足几乎递减性且满足加倍条件的权函数 $\phi(r)$ 的广义 Morrey 空间范数定义。
• 利用分布函数和水平集定义的弱 Morrey 空间拟范数，分析弱型不等式。
• 通过涉及环形区域和 dyadic 薄壳的测试函数构造，推导必要条件，具体为 $f_i = \chi_{\{j \leq |x| \leq j + j^{-\epsilon}\}}$，其中 $j=1,\dots,K$。
• 通过证明 $\prod_{i=1}^m \phi_i(r) = \phi(r)$ 且 $r^{\epsilon/p_i}\phi_i(r)$ 为几乎递减，建立广义 Morrey 空间中强型与弱型不等式的等价性。
• 应用插值和拟范数估计，将乘积范数 $\left\| \prod f_i \right\|_{w\mathcal{M}^p_\phi}$ 以各独立范数 $\|f_i\|_{w\mathcal{M}^{p_i}_{\phi_i}}$ 的形式有界。

实验结果

研究问题

• RQ1 广义 Hölder 不等式在 Morrey 空间 $\mathcal{M}^p_q$ 中成立的必要与充分条件是什么？
• RQ2 这些条件如何推广到弱 Morrey 空间 $w\mathcal{M}^p_q$ 和广义弱 Morrey 空间 $w\mathcal{M}^p_\phi$？
• RQ3 权函数 $\phi$ 和 $\phi_i$ 在刻画广义 Morrey 空间中不等式有效性的角色是什么？
• RQ4 在什么条件下，广义 Morrey 空间中的强型不等式蕴含弱型不等式，反之亦然？
• RQ5 相同的参数条件 $\sum \frac{1}{p_i} \leq \frac{1}{p}$ 和 $\sum \frac{1}{q_i} = \frac{1}{q}$ 是否能统一刻画所有这些空间中强型与弱型 Hölder 不等式？

主要发现

• 对于 Morrey 空间 $\mathcal{M}^{p}_{q}$，广义 Hölder 不等式成立当且仅当 $\sum_{i=1}^m \frac{1}{p_i} \leq \frac{1}{p}$ 且 $\sum_{i=1}^m \frac{1}{q_i} = \frac{1}{q}$。
• 在弱 Morrey 空间 $w\mathcal{M}^{p}_{q}$ 中，相同的条件 $\sum \frac{1}{p_i} \leq \frac{1}{p}$ 和 $\sum \frac{1}{q_i} = \frac{1}{q}$ 对于不等式 $\left\| \prod f_i \right\|_{w\mathcal{M}^p_q} \leq m \prod \|f_i\|_{w\mathcal{M}^{p_i}_{q_i}}$ 既必要又充分。
• 对于广义 Morrey 空间 $\mathcal{M}^{p}_{\phi}$，不等式成立当且仅当 $\sum_{i=1}^m \frac{1}{p_i} \leq \frac{1}{p}$ 且对所有 $r>0$ 有 $\prod_{i=1}^m \phi_i(r) = \phi(r)$，并附加对权函数的约束条件。
• 在广义弱 Morrey 空间 $w\mathcal{M}^{p}_{\phi}$ 中，必要且充分的条件是 $\sum_{i=1}^m \frac{1}{p_i} \leq \frac{1}{p}$，前提是 $\phi_i(r)$ 满足 $r^{\epsilon/p_i}\phi_i(r)$ 对某个 $\epsilon>0$ 为几乎递减。
• 作者证明，在所述条件下，广义 Morrey 空间中强型与弱型不等式等价，如推论 4.2 所示。
• 证明依赖于在环形区域上构造测试函数，并导出涉及 $K$ 和 $\epsilon$ 的渐近界，从而得出 $\sum \frac{1}{p_i} \leq \frac{1}{p}$ 必须成立，以保证不等式的一致有界性。