[论文解读] FROM DYADIC α TO α

Wael Abu-Shammala, Alberto Torchinsky|arXiv (Cornell University)|Jan 1, 2007

Advanced Harmonic Analysis Research参考文献 7被引用 2

一句话总结

本文通过利用 $\mathbb{R}^N$ 中的 dyadic 网格，基于 Hardy 空间 $H^p(\mathbb{R}^N)$ 的 dyadic 与特殊原子表征以及对偶性，提出了一种计算 $\alpha \geq 0$ 时齐次 Lipschitz 范数 $\|f\|_{\dot{\Lambda}_\alpha(\mathbb{R}^N)}$ 的方法。关键结果是基于包含次数 $\leq \lfloor \alpha \rfloor$ 且在阶数 $\alpha$ 内消失矩的多项式所定义的极大函数的范数计算公式，从而可通过 dyadic 方块实现 $\dot{\Lambda}_\alpha$ 范数的显式计算。

ABSTRACT

In this paper we show how to compute the �� norm , � � 0, using the dyadic grid. This result is a consequence of the description of the Hardy spaces H p (R N ) in terms of dyadic and special atoms. Recently, several novel methods for computing the BMO norm of a function f in two dimensions were discussed in (9). Given its importance, it is also of interest to explore the possibility of computing the norm of a BMO function, or more generally a function in the Lipschitz class �α, using the dyadic grid in R N. It turns out that the BMO question is closely related to that of approximating functions in the Hardy space H 1 (R N ) by the Haar system. The approximation in H 1 (R N ) by affine systems was proved in (2), but this result does not apply to the Haar system. Now, if H A (R) denotes the closure of the Haar system in H 1 (R), it is not hard to see that the distance d(f, H A ) of f ∈ H 1 (R) to H A is ∼ � R ∞ 0 f(x) dx �, see (1). Thus, neither dyadic atoms suffice to describe the Hardy spaces, nor the evaluation of thenorm in BMO can be reduced to a straightforward computation using the dyadic intervals. In this paper we address both of these issues. First, we give a characterization of the Hardy spaces H p (R N ) in terms of dyadic and special atoms, and then, by a duality argument, we show how to compute the norm in �α(R N ), α ≥ 0, using the dyadic grid. We begin by introducing some notations. Let J denote a family of cubes Q in R N , and Pd the collection of polynomials in R N of degree less than or equal to d. Given α ≥ 0, Q ∈ J, and a locally integrable function g, let pQ(g) denote the unique polynomial in P(α) such that (g − pQ(g)) χQ has vanishing moments up to order (α). For a locally square-integrable function g, we consider the maximal function M ♯,2 α,J g(x) given by

研究动机与目标

• 解决在 $\mathbb{R}^N$ 的 dyadic 网格下计算 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 范数（$\alpha \geq 0$）的挑战。
• 通过 dyadic 与特殊原子表征 Hardy 空间 $H^p(\mathbb{R}^N)$，以克服标准 dyadic 原子在描述 $H^1$ 时的局限性。
• 通过将 dyadic 区间中 BMO 范数的计算与 Haar 系在 $H^1$ 中的逼近联系起来，解决 BMO 范数计算的困难。
• 建立基于对偶性的 $\dot{\Lambda}_\alpha$ 范数计算方法，其核心为包含矩消失多项式的极大函数。

提出的方法

• 对每个 dyadic 方块 $Q$，定义 $p_Q(g)$ 为 $P(\alpha)$ 中唯一的多项式，使得 $(g - p_Q(g))\chi_Q$ 的矩在阶数 $\alpha$ 内消失。
• 基于 $\alpha$ 阶矩条件，在 dyadic 方块 $Q \in J$ 上引入极大函数 $M^{\sharp,2}_{\alpha,J}g(x)$。
• 利用 $H^p(\mathbb{R}^N)$ 与 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 之间的对偶性，将 $\dot{\Lambda}_\alpha$ 范数与 $M^{\sharp,2}_{\alpha,J}g$ 的行为联系起来。
• 通过 dyadic 与特殊原子表征 $H^p(\mathbb{R}^N)$，以确保在标准 dyadic 原子无法充分表示 $H^1$ 的情况下仍能完整刻画 $H^1$ 中的函数。
• 应用对偶论证，推导出利用 dyadic 网格与矩限制多项式计算 $\|f\|_{\dot{\Lambda}_\alpha(\mathbb{R}^N)}$ 的公式。

实验结果

研究问题

• RQ1 能否仅通过 $\mathbb{R}^N$ 中的 dyadic 网格计算 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 范数（$\alpha \geq 0$）？
• RQ2 如何通过 dyadic 与特殊原子表征 $H^p(\mathbb{R}^N)$，以确保其完整性？
• RQ3 在 $H^1(\mathbb{R}^N)$ 中，函数由 Haar 系逼近与 BMO 或 $\dot{\Lambda}_\alpha$ 范数计算之间存在何种关系？
• RQ4 阶数为 $\alpha$ 的矩消失多项式在通过 dyadic 方块实现 $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 范数计算方面，其作用程度如何？

主要发现

• $\dot{\Lambda}_\alpha(\mathbb{R}^N)$ 范数（$\alpha \geq 0$）可通过基于 $M^{\sharp,2}_{\alpha,J}g(x)$ 的对偶公式，借助 dyadic 方块进行计算。
• 通过 dyadic 与特殊原子表征 $H^p(\mathbb{R}^N)$，解决了标准 dyadic 原子在描述 $H^1(\mathbb{R}^N)$ 时的不足。
• 函数 $f \in H^1(\mathbb{R})$ 到 $H^1(\mathbb{R})$ 中 Haar 系闭包的距离与 $\left| \int_{\mathbb{R}} f(x) dx \right|$ 成正比，表明 Haar 基逼近在 $H^1$ 中存在局限性。
• 将 $p_Q(g)$ 构造为 $P(\alpha)$ 中唯一满足 $g - p_Q(g)$ 在阶数 $\alpha$ 内矩消失的多项式，实现了针对范数计算的精确局部多项式逼近。
• 该方法通过矩条件在 $\dot{\Lambda}_\alpha$ 范数与 dyadic 网格之间建立了直接联系，使得无需依赖全局函数行为即可实现显式计算。