[论文解读] Weighted Boundedness of the Maximal, Singular and Potential Operators in Variable Exponent Spaces

Vakhtang Kokilashvili, Stefan Samko|ArXiv.org|May 14, 2008

Advanced Harmonic Analysis ResearchMathematics参考文献 73被引用 21

一句话总结

本文在满足加倍条件的度量测度空间 $X$ 上，建立了可变指数 Lebesgue 空间 $L^{p(\bullet)}(X, \varrho)$ 中 Hardy-Littlewood 极大算子的新加权有界性准则。引入了一类 Muckenhoupt 型条件，并提供了涉及权重和测度增长的 Matuszewska-Orlicz 型指标的充分条件，将已知结果推广至可变指数和一般加倍空间，包括具有径向型权重的有界与无界区域。

ABSTRACT

We present a brief survey of recent results on boundedness of some classical operators within the frameworks of weighted spaces $L^{p(\cdot)}(\varrho)$ with variable exponent $p(x)$, mainly in the Euclidean setting and dwell on a new result of the boundedness of the Hardy-Littlewood maximal operator in the space $L^{p(\cdot)}(X,\varrho)$ over a metric measure space $X$ satisfying the doubling condition. In the case where $X$ is bounded, the weight function satisfies a certain version of a general Muckenhoupt-type condition For a bounded or unbounded $X$ we also consider a class of weights of the form $\varrho(x)=[1+d(x_0,x)]^{\bt_\infty}\prod_{k=1}^m w_k(d(x,x_k))$, $x_k\in X$, where the functions $w_k(r)$ have finite upper and lower indices $m(w_k)$ and $M(w_k)$. Some of the results are new even in the case of constant $p$.

研究动机与目标

• 将经典调和算子的加权有界性理论推广至具有广义权重的可变指数 Lebesgue 空间。
• 在满足加倍条件的度量测度空间上，建立 Hardy-Littlewood 极大算子在 $L^{p(\cdot)}(X,\varrho)$ 中有界性的充分条件。
• 通过测度和权重函数的 Matuszewska-Orlicz 指标，将 Muckenhoupt 型条件推广至可变指数和非齐次设置。
• 分析有界与无界区域中形如 $\varrho(x) = [1+d(x_0,x)]^{\beta_\infty} \prod w_k(d(x,x_k))$ 的径向型振荡权重。
• 通过整合测度和权重增长的局部与全局指标，统一并扩展先前在可变指数空间中的结果。

提出的方法

• 为测度 $\mu B(x,r)$ 引入统一的下 Matuszewska-Orlicz 指数 $m(\mu B)$，以捕捉局部加倍行为。
• 应用 Zygmund-Bary-Stechkin 类 $\Phi_1^0$ 和加权类 $\widetilde{W}$ 来刻画权重函数 $w_k(r)$ 的增长。
• 通过定理 B 和 C 中涉及 $m(w_k)$、$M(w_k)$、$p(x_k)$ 和 $m(\mu B)$ 的不等式，推导出有界性的充分条件。
• 利用加倍条件 $\mu B(x,2r) \leq C \mu B(x,r)$ 控制测度增长并导出基于指标的估计。
• 在可变指数空间中应用 Hölder 不等式，使用 $\|f\|_{p(\cdot)}$ 和 $\|g\|_{p'(\cdot)}$ 范数。
• 分析有界与无界度量测度空间，通过 $m_\infty(\mu B)$ 和 $M_\infty(\mu B)$ 区分无穷远处的行为。

实验结果

研究问题

• RQ1 在满足加倍条件的度量测度空间 $X$ 上，当可变指数为 $p(x)$ 时，Hardy-Littlewood 极大算子在 $L^{p(\cdot)}(X,\varrho)$ 中在何种条件下有界？
• RQ2 如何将 Muckenhoupt 型条件推广至可变指数和非恒定测度增长设置？
• RQ3 下 Matuszewska-Orlicz 指标 $m(w_k)$ 和上 Matuszewska-Orlicz 指标 $M(w_k)$ 在径向型权重下极大算子有界性中起什么作用？
• RQ4 测度的局部与全局指标 $m(\mu B)$ 和 $m_\infty(\mu B)$ 如何影响有界与无界区域中的有界性？
• RQ5 在可变指数空间中，幂型权重 $\varrho(x) = \prod [d(x,x_k)]^{\beta_k}$ 的精确有界性条件是什么？

主要发现

• 定理 B 在 $X$ 有界时建立了 $L^{p(\cdot)}(X,\varrho)$ 中极大算子的有界性，条件为对每个 $k$，有 $-\frac{m(\mu B)}{p(x_k)} < m(w_k) \leq M(w_k) < \frac{m(\mu B)}{p'(x_k)}$，其中 $m(\mu B)$ 通过 $\mu B(x,r)$ 的统一下指标定义。
• 定理 C 将此结果推广至无界 $X$，当 $p(x) \equiv p_\infty$ 在某球外时，需额外引入涉及 $m_\infty(\mu B)$ 和 $\Delta_{p_\infty} = \frac{M_\infty(\mu B) - m_\infty(\mu B)}{p_\infty}$ 的条件。
• 对于幂权重 $\varrho(x) = (1+d(x_0,x))^{\beta_0} \prod [d(x,x_k)]^{\beta_k}$，条件简化为在常数维数 $d$ 的空间中：$-\frac{d}{p(x_k)} < \beta_k < \frac{d}{p'(x_k)}$ 且 $-\frac{d}{p_\infty} < \sum \beta_k < \frac{d}{p'_\infty}$。
• 即使在常数指数情况下，这些结果也是新的，尤其对于属于 Zygmund-Bary-Stechkin 类的权重和非恒定测度增长的情形。
• 指标 $m(\mu B)$ 捕获了球的统一下增长速率，是通过类比经典 Muckenhoupt 条件来刻画有界性条件的关键。
• 本文表明，统一指标 $m(\mu B)$ 与 $x$ 无关，可用于在加倍度量测度空间上的可变指数空间中定义广义的 Muckenhoupt 型条件。