2025-11-18T17:31:14.173306

A Christ-Fefferman type approach to the one sided maximal operator

MartÃn-Reyes, Rivera-RÃos, RodrÃguez-Padilla

In this paper, an approach to the one sided maximal function in the spirit of the Christ-Fefferman proof for the strong type weighted estimates of the maximal function is provided. As applications of that approach, we provide an alternative proof of the sharp weighted estimate for the one sided maximal function that was settled by one of us and de la Torre, a one sided two weight bumps counterpart of a result of PÃ©rez and Rela, and also one sided counterparts of some very recent mixed weak type results due to Sweeting.

academic

A Christ-Fefferman type approach to the one sided maximal operator

基本信息

论文ID: 2511.02741
标题: A Christ-Fefferman type approach to the one sided maximal operator
作者: Francisco J. Martín-Reyes, Israel P. Rivera-Ríos, Pablo Rodríguez-Padilla
分类: math.CA (Classical Analysis and ODEs)
发表时间: 2025年11月5日 (arXiv v2)
论文链接: https://arxiv.org/abs/2511.02741

摘要

本文在Christ-Fefferman证明极大函数强型加权估计的精神下，为单边极大函数提供了一种新方法。作为该方法的应用，文章提供了：(1) 单边极大函数尖锐加权估计的替代证明；(2) Pérez和Rela结果的单边双权"bumps"对应版本；(3) Sweeting最近关于混合弱型结果的单边对应版本。

研究背景与动机

研究问题

本文致力于将经典的Christ-Fefferman方法推广到单边极大算子理论中，这是调和分析中的一个核心问题。

问题重要性

理论意义：Hardy-Littlewood极大算子的加权理论自Muckenhoupt (1972)的开创性工作以来一直是调和分析的核心课题。单边版本 $M^+$ 和 $M^-$ 在某些应用中更自然，但技术上更具挑战性。
方法论价值：Christ-Fefferman (1983)的证明避免了使用 $A_p$ 权的反向Hölder性质，可视为文献中最早的稀疏控制结果之一。将这种方法推广到单边情形具有重要的方法论意义。
未解决问题：单边Calderón-Zygmund算子的 $A_2$ 猜想仍然开放。经典情形中成功的二进方法在单边情形遇到困难，尚未成功转移。

现有方法的局限性

二进结构缺失：单边理论中缺乏有效的二进结构，这是经典理论中的关键工具
权类更大： $A_p^+ \supsetneq A_p$ ，单边权类严格包含经典权类，需要提取更多"稀疏性"信息
技术障碍：无法直接应用Christ-Fefferman的Calderón-Zygmund分解

研究动机

作者试图回答：Christ-Fefferman方法能否以某种方式适应单边情形？本文提供了肯定答案，尽管不使用二进结构。

核心贡献

方法论创新：首次将Christ-Fefferman的稀疏控制思想成功应用于单边极大算子，提供了一种避免反向Hölder性质的新证明框架
尖锐加权估计：为单边极大函数提供了新的证明路径，重新证明了de la Torre和Martín-Reyes的尖锐界： $\|M^+f\|_{L^p(w)} \leq c_p[w]_{A_p^+}^{\frac{1}{p-1}}\|f\|_{L^p(w)}$ 以及改进的估计： $\|M^+f\|_{L^p(w)} \leq c_p([w]_{A_p^+}[\sigma]_{A_\infty^-})^{1/p}\|f\|_{L^p(w)}$
双权理论：建立了Pérez-Rela结果的单边对应版本（Theorem 13），提供了定量的双权估计
混合弱型估计：证明了Sweeting最近结果的单边版本（Theorems 2和3），刻画了混合弱型不等式的充要条件：
- 对于 $M^+$ ： $w \in A_{p,*}^+$ 当且仅当 $\|w^{1/p}M^+f\|_{L^{p,\infty}} \leq c_w\|fw^{1/p}\|_{L^p}$
- 对于分数极大算子 $M_\alpha^+$ ：类似的刻画

方法详解

任务定义

研究单边极大算子的加权 $L^p$ 估计：

输入：函数 $f \in L^p(w)$ ，权函数 $w$
输出：证明 $\|M^+f\|_{L^p(w)} \leq C\|f\|_{L^p(w)}$ ，并给出常数 $C$ 对权常数的最优依赖
约束： $1 < p < \infty$ ， $w \in A_p^+$ 或更一般的权类

单边极大算子定义为： $M^+f(x) = \sup_{h>0} \frac{1}{h}\int_x^{x+h}|f(y)|dy$

核心技术框架

1. 关键引理：稀疏型控制（Lemma 4）

这是方法的基石，建立了"稀疏性"的度量传递：

引理内容：设 $\lambda_2 > \lambda_1 > 0$ ，定义 $F = \{z \in \mathbb{R}: M^+f(z) \leq \lambda_2\}$ 若 $M^+f(x) \leq \lambda_1$ ，则对所有 $y \geq x$ ： $|F \cap (x,y)| \geq \left(1 - \frac{\lambda_1}{\lambda_2}\right)|(x,y)|$

证明思路：

考虑超水平集的Calderón-Zygmund分解： $\{M^+f > \lambda_2\} = \bigcup_i I_i$
关键观察：若 $I_i \cap (x,y) \neq \emptyset$ 且 $x \notin I_i$ ，则 $I_i \subset (x,\infty)$
利用 $M^+f(x) \leq \lambda_1$ 控制 $|H| = \sum_i |I_i|$
分两种情况（ $H \subset (x,y)$ 和 $H \not\subset (x,y)$ ）完成证明

创新意义：这个引理替代了Christ-Fefferman方法中的二进结构，提供了Lebesgue测度意义下的"稀疏性"。

2. 权的传递引理（Lemmas 5-7）

将Lebesgue测度的稀疏性转化为加权测度的稀疏性：

Lemma 5（限制型 $A_p$ 条件）：若 $\sigma \in A_R^{-,r}$ （限制型反向权条件）且存在集合 $A$ 满足 $|A \cap (a_0, z)| > \eta|(a_0, z)|$ 则 $\sigma(a_0, z) \leq C\left(\frac{[\sigma]_{A_R^{-,r}}}{\eta}\right)^r \sigma(A \cap (a_0, z))$

证明技术：利用 $M^-$ 的限制弱型不等式，这是通过检查28, Lemma 3的证明得到的。

Lemma 6（ $A_p^+$ 情形）：证明 $\sigma \in A_{p'}^-$ 蕴含 $[\sigma]_{A_R^{-,p'}} \leq [\sigma]_{A_{p'}^-}^{1/p'}$

Lemma 7（ $A_{p,*}^+$ 情形）：证明 $w \in A_{p,*}^+$ 蕴含：

$w^{1/s} \in A_p^+$ 对 $s > 1$
$[\sigma]_{A_R^{-,2p'}} \leq 8[w]_{A_{p,*}^+}^{1/(2p')}$

3. 区间分解策略

对于Calderón-Zygmund区间 $I_{j,k} = (a,b)$ ，构造特殊的点列 $\{x_i\}$ ： $\int_b^{x_{i+1}} \sigma = \int_{x_{i+1}}^{x_i} \sigma$ 即 $\int_b^{x_i} \sigma = \frac{1}{2^i}\int_b^a \sigma$

这种几何级数式的分解允许：

控制 $\sigma(x_i, b)$ 与 $\sigma(x_{i+1}, x_{i+2})$ 的关系
应用Lemma 4获得稀疏控制
最终求和时产生有限常数

证明Theorem 1的主要步骤

Step 1（层分解）：定义 $O_k = \{x: M^+f(x) > 2^k\}, \quad E_{j,k} = I_{j,k} \cap \{M^+f \leq 2^{k+1}\}$ 其中 $O_k = \bigcup_j I_{j,k}$ （不交并）

Step 2（点态估计）： $M^+f(x) = \sum_{j,k} M^+f(x)\chi_{E_{j,k}}(x) \leq \sum_{j,k} 2^{k+1}\chi_{E_{j,k}}(x)$

Step 3（加权估计）：对每个 $E_{j,k}$ ，设 $I_{j,k} = (a,b)$ ，选取 $\tilde{x}_i = \inf\{z \in E_{j,k} \cap (x_i, x_{i+1})\}$ ： $2^{kp}w(E_{j,k}) \leq 2^{p-1}[w]_{A_p^+} \sum_{i=0}^\infty \left(\frac{1}{\int_{\tilde{x}_i}^b \sigma}\int_{\tilde{x}_i}^b f\right)^p \sigma(\tilde{x}_i, b)$

Step 4（稀疏控制）：应用Lemma 4和6： $\sigma(\tilde{x}_i, b) \lesssim [\sigma]_{A_{p'}^-} \sigma(F_k \cap (\tilde{x}_i, x_{i+2}))$ 其中 $F_k = \{M^+f \leq 2^{k+2}\}$

Step 5（极大函数控制）： $\sum_i \left(\frac{1}{\int_{\tilde{x}_i}^b \sigma}\int_{\tilde{x}_i}^b f\right)^p \sigma(F_k \cap (\tilde{x}_i, x_{i+2})) \leq \sum_i \int_{F_k \cap (\tilde{x}_i, x_{i+2})} (M_\sigma(f/\sigma))^p \sigma$

Step 6（求和估计）：利用 $E_{j,k}$ 的不交性和 $F_k$ 的嵌套性： $\sum_{j,k} \sum_i \int_{F_k \cap I_{j,k}} (M_\sigma(f/\sigma))^p \sigma \leq 2\int_\mathbb{R} (M_\sigma(f/\sigma))^p \sigma$

Step 7（经典结果）：应用Muckenhoupt的结果： $\int_\mathbb{R} (M_\sigma(f/\sigma))^p \sigma \leq c_p \int_\mathbb{R} |f|^p w$

技术创新点

避免二进结构：通过Lemma 4的几何测度论证替代二进Calderón-Zygmund分解
双重稀疏性：同时控制Lebesgue测度和加权测度的稀疏性，这对于处理更大的权类 $A_p^+$ 至关重要
有界重叠：虽然失去了Christ-Fefferman中的不交性，但通过精细的区间分解将重叠控制为有界常数
Young函数框架（Theorem 13）：引入Luxemburg范数和Young函数对，统一处理双权问题： $\Phi^{-1}(t)\bar{\Phi}^{-1}(t) \leq \kappa t$ 这种对偶关系推广了经典的Hölder不等式

实验设置

注：作为纯数学论文，本文不包含数值实验，而是通过严格的数学证明验证理论结果。

理论验证方法

构造性证明：通过显式构造反例验证必要性
充分性证明：通过不等式链建立充分条件
最优性分析：通过已知的尖锐例子验证指数的最优性

关键例子（必要性证明）

在Theorem 2的必要性证明中，作者构造：

对固定的 $a, h > 0$ ，取 $f = \sigma\chi_{(a,a+h)}$
计算 $\|f\|_{L^p(w)} = (\sigma(a,a+h))^{1/p}$
对 $x \in (a-h, a)$ ，估计 $M^+f(x) \geq \frac{1}{2h}\sigma(a,a+h)$
得到 $\|w^{1/p}M^+f\|_{L^{p,\infty}} \geq \frac{1}{2h}\sigma(a,a+h)\|\chi_{(a-h,a)}w\|_{L^{1,\infty}}^{1/p}$
结合假设的不等式推出 $[w]_{A_{p,*}^+} < \infty$

实验结果

主要理论结果

Theorem 1（尖锐加权估计）： $\|M^+f\|_{L^p(w)} \leq c_p[w]_{A_p^+}^{\frac{1}{p-1}}\|f\|_{L^p(w)}$ 且有改进版本： $\|M^+f\|_{L^p(w)} \leq c_p([w]_{A_p^+}[\sigma]_{A_\infty^-})^{1/p}\|f\|_{L^p(w)}$

关键观察：指数 $\frac{1}{p-1}$ 是尖锐的，这与经典情形一致。改进版本揭示了权 $w$ 和对偶权 $\sigma = w^{-1/(p-1)}$ 的相互作用。

Theorem 2（混合弱型估计）： $w \in A_{p,*}^+$ 当且仅当 $\|w^{1/p}M^+f\|_{L^{p,\infty}} \leq c_w\|fw^{1/p}\|_{L^p}$ 且 $c[w]_{A_{p,*}^+}^{1/p} \leq c_w \leq c'[w]_{A_{p,*}^+}^{2/p}$

意义：完全刻画了混合弱型不等式的权类，上下界之间仅差一个平方。

Theorem 3（分数极大算子）：对 $0 < \alpha < 1$ ， $1 < p < 1/\alpha$ ， $1/q = 1/p - \alpha$ ， $w \in A_{p,q}^{+,*} \Leftrightarrow \|wM_\alpha^+f\|_{L^{q,\infty}} \leq c_w\|fw\|_{L^p}$ 且常数依赖为 $c[w]_{A_{p,q}^{+,*}} \leq c_w \leq c'[w]_{A_{p,q}^{+,*}}^2$

Theorem 13（双权估计）：对Young函数对 $(\Phi, \bar{\Phi})$ 满足 $\Phi^{-1}(t)\bar{\Phi}^{-1}(t) \leq \kappa t$ ： $\|M^+(f\sigma)\|_{L^p(w)} \lesssim ([\sigma,\Phi]_{W_p^-}[w,\sigma,\Phi]_{A_p^+})^{1/p}\|f\|_{L^p(\sigma)}$

与已有结果的比较

结果	经典版本	单边版本（本文）	主要区别
尖锐 $A_p$ 估计	Hytönen (2012)	Theorem 1	权类更大，需要新技术
双权估计	Pérez-Rela (2015)	Theorem 13	单边版本，Young函数框架
混合弱型	Sweeting (2024)	Theorems 2-3	单边对应，分数版本