[论文解读] Variational Inequalities For The Differences Of Averages Over Lacunary Sequences

Sakin Demir|arXiv (Cornell University)|Mar 4, 2022

Approximation Theory and Sequence Spaces被引用 4

一句话总结

本文建立了对变分算子 $\mathcal{V}_s f(x)$ 的强型与弱型加权不等式，该算子定义为在间隙序列上平均值差的 $\ell^s$-范数。通过利用卷积型奇异积分算子与加权范数理论，证明了当权函数 $w$ 满足 $A_p$ 或 $A_1$ 条件时，$\mathcal{V}_s$ 在 $L^p(w)$ 上有界（$1 < p < \infty$），且为弱型 $(1,1)$，并将已知结果推广至一般间隙序列（$2 \leq s < \infty$）。关键贡献在于通过类似 dyadic 的分解与核 $D_r$-条件分析，将变分 $L^p$ 与 BMO 估计推广至任意间隙序列。

ABSTRACT

Let $f$ be a locally integrable function defined on $\mathbb{R}$, and let $(n_k)$ be a lacunary sequence. Define the operator $A_{n_k}$ by $$A_{n_k}f(x)=\frac{1}{n_k}\int_0^{n_k}f(x-t)\, dt.$$ We prove various types of new inequalities for the variation operator $$\mathcal{V}_sf(x)=\left(\sum_{k=1}^\infty|A_{n_k}f(x)-A_{n_{k-1}}f(x)|^s ight)^{1/s}$$ when $2\leq s&lt;\infty$.

研究动机与目标

• 将已知的变分 $L^p$ 与 BMO 估计从 dyadic 情形推广至一般间隙序列。
• 建立关于间隙序列上平均值的 $\ell^s$-变分的强型与弱型加权范数不等式。
• 证明变分算子 $\mathcal{V}_s f$ 在 $H^1$、$L^p$ 与 BMO 空间上关于 $A_p$ 权的有界性。
• 将 dyadic 设置（如 $2^n$）中的结果推广至满足 $n_{k+1}/n_k \geq \beta > 1$ 的任意间隙序列。

提出的方法

• 从给定的间隙序列 $(n_k)$ 构造一个类似 dyadic 的序列 $(m_j)$，使得 $\beta \leq m_{j+1}/m_j \leq \beta^2$，并保持变分结构不变。
• 利用恒等式 $A_{n_k}f(x) - A_{n_{k-1}}f(x) = \sum_{j \in J(k)} (A_{m_j}f(x) - A_{m_{j-1}}f(x))$ 将 $n_k$ 上的变分控制在 $m_j$ 上，从而归约为可控的 dyadic 设置。
• 将变分算子表示为 $\|K * f\|_{\ell^s(\mathbb{Z}^+)}$，其中 $K(x) = \{\phi_k(x) - \phi_{k-1}(x)\}$，将其视为 $\ell^s$-值卷积算子。
• 将 Rubio de Francia 等人 [5] 的加权范数理论应用于满足 $D_r$ 条件的 $\ell^s$-值奇异积分算子。
• 证明核 $K$ 满足 $D_r$ 条件（$1 \leq r < \infty$），从而可应用 $\ell^s$-值算子的加权不等式。
• 利用 $\|K * f(x)\|_{\ell^s} = \mathcal{V}_s f(x)$ 的事实，将算子理论中的加权估计转移至变分算子。

实验结果

研究问题

• RQ1 能否将变分算子 $\mathcal{V}_s f$ 的强型与弱型加权 $L^p$ 不等式从 dyadic 推广至一般间隙序列？
• RQ2 权函数 $w$ 需满足何种条件，才能保证 $\mathcal{V}_s$ 在 $L^p(w)$ 上有界（$1 < p < \infty$）？
• RQ3 当 $2 \leq s < \infty$ 时，变分算子 $\mathcal{V}_s f$ 是否关于 $A_1$ 权满足弱型 $(1,1)$ 估计？
• RQ4 $\ell^s$-变分的平均值在间隙序列上与经典函数空间（如 $H^1$、$BMO$ 与 $L^p$）有何关系？
• RQ5 能否通过核的 $D_r$-条件与加权算子理论，建立 $\mathcal{V}_s$ 在 $H^1$ 与 $BMO$ 上的有界性？

主要发现

• 对所有 $f \in H^1(\mathbb{R})$ 与 $2 \leq s < \infty$，变分算子 $\mathcal{V}_s f$ 满足 $\|\mathcal{V}_s f\|_{L^1(\mathbb{R})} \leq C \|f\|_{H^1(\mathbb{R})}$，将 $H^1$-有界性推广至间隙序列。
• 当 $1 < p < \infty$ 时，若 $w \in A_{p/r'}$ 且 $r' \leq p < \infty$，或 $w \in A_p^{r'}$ 且 $1 < p \leq r'$，则有 $\|\mathcal{V}_s f\|_{L^p(w)} \leq C_{p,\rho}(w) \|f\|_{L^p(w)}$，其中 $r'$ 为 $r$ 的 H"older 共轭。
• 若 $w(x)^{r'} \in A_1$，则弱型 $(1,1)$ 不等式 $w(\{x : \mathcal{V}_s f(x) > \lambda\}) \leq C_\rho(w) \lambda^{-1} \int |f(x)| w(x) dx$ 成立，将弱型估计推广至一般间隙序列。
• 变分算子 $\mathcal{V}_s f$ 在 $BMO(\mathbb{R})$ 上有界，且对紧支集函数有 $\|\mathcal{V}_s f\|_{BMO} \leq C_2 \|f\|_{L^\infty}$，将已知的 $BMO$ 估计推广至间隙平均。
• 与 $\mathcal{V}_s f$ 相关的核 $K(x) = \{\phi_k(x) - \phi_{k-1}(x)\}$ 满足 $D_r$ 条件（$1 \leq r < \infty$），从而可应用加权范数理论。
• 算子 $Tf = \{(\phi_k - \phi_{k-1}) * f\}_{k \in \mathbb{Z}^+}$ 是一种 $\ell^s$-值卷积型奇异积分算子，其 $\ell^s$-范数等于 $\mathcal{V}_s f(x)$，为结果提供了函数分析框架。