Spaces of Homogeneous Type

参考文献:
A. Hugo, C. Marilina and T. Marisa, Muckenhoupt weights with singularities on closed lower dimensional sets in spaces of homogeneous type, J. Math. Anal. Appl. 416(2014), 112-125.

Spaces of Homogeneous Type 定义

若 $d:X\times X\to {\mathbb{R}}^{+}$ 满足对 $\forall x,y,z\in X$
(i) $d(x,y)=0\iff x=y$;
(ii) $d(x,y)=d(y,x)$;
(iii) 存在独立于 $x,y,z$ 的常数 $A_0\in [1,\infty )$ 使得
$$d(x,y)\le A_0[d(x,z)+d(z,y)].$$
则称 $d$ 是 quasi-metric. 称 $(X,d)$ 是 quasi-metric 空间.

quasi-metric 空间 $(X,d)$ 中以 $x\in X$ 为中心, $r\in (0,\infty )$ 为半径的球定义为
B ( x , r ) : = { y ∈ X :   d ( x , y ) &lt; r } . B(x, r) := \{ y \in X: \ d(x, y) &lt; r \}. B(x,r):={y∈X: d(x,y)<r}.

由 quasi-metric 空间中的所有球可以导出一个 $\sigma$-algebra $\mathcal{M}$, 若定义在 $\mathcal{M}$ 上的正测度 $\mu$ 满足所有球的测度是正的且有限, 且存在常数 $C_{\mu }$ 使得对 $\forall B\subset X$
$$\mu (2B)\le C_{\mu }\mu (B).$$
则称 $(X,d,\mu )$ 是 space of homogeneous type.

Hardy–Littlewood maximal operator on Spaces of Homogeneous Type

设 $(X,d,\mu )$ 是 space of homogeneous type, 设 $f$ 是 $(X,d,\mu )$ 上的局部可积函数, 对 $\forall x\in X$, 定义
$$M_{\mu }f(x):=\underset{B\ni x}{\sup }\frac{1}{\mu (B)}{\int }_B|f(y)|d\mu (y).$$
$${\overline{M}}_{\mu }f(x):=\underset{r>0}{\sup }\frac{1}{\mu (B(x,r))}{\int }_{B(x,r)}|f(y)|d\mu (y).$$
这两种定义是等价的, 即存在常数 $A_{d,\mu }\in [1,\infty )$ 使得对 $\forall f\in L_{loc}^1(X),\forall x\in X$
$${\overline{M}}_{\mu }f(x)\le M_{\mu }f(x)\le A_{d,\mu }{\overline{M}}_{\mu }f(x).$$

等价性的证明

第一个不等号是显然的, 只需证第二个等号. 事实上, $\forall x\in X$, 任取包含 $x$ 的球 $B$, 设 $B=:B(\overline{x},r)$, 则对 $\forall y\in B$
$$d(x,y)\le A_0[d(x,\overline{x})+d(\overline{x},y)]\le 2A_{0}r.$$
因此 $B\subset B(x,2A_{0}r)$. 对 $\forall y\in B(x,2A_{0}r)$
$$d(\overline{x},y)\le A_0[d(\overline{x},x)+d(x,y)]\le A_0(r+2A_{0}r)\le 3(A_0{)}^{2}r.$$
因此 $B(x,2A_{0}r)\subset B(\overline{x},3(A_0{)}^{2}r)$. 由此, $B\subset B(x,2A_{0}r)$ 及双倍条件知
$$\begin{array}{rl}\frac{1}{\mu (B)}{\int }_B|f(y)|d\mu (y)& \le \frac{1}{\mu (B(\overline{x},r))}{\int }_{B(x,2A_{0}r)}|f(y)|d\mu (y)\\ & =\frac{\mu (B(x,2A_{0}r))}{\mu (B(\overline{x},r))}\frac{1}{\mu (B(x,2A_{0}r))}{\int }_{B(x,2A_{0}r)}|f(y)|d\mu (y)\\ & \le \frac{\mu (B(\overline{x},3(A_0{)}^{2}r))}{\mu (B(\overline{x},r))}\overline{M}f(x)\\ & \le A_{d,\mu }\overline{M}f(x).\end{array}$$
因此
$$M_{\mu }f(x)\le A_{\mu }{\overline{M}}_{d,\mu }f(x).$$
两种定义的等价性证毕.

标量 $A_p$ 权 on Spaces of Homogeneous Type

$p\in [1,\infty )$ 时

$w\in A_p(X,d,\mu )$ 当且仅当
$$\underset{B}{\sup }\frac{1}{\mu (B)}{\int }_{B}wd\mu {\left[\frac{1}{\mu (B)}{\int }_B{w}^{1-p^{\prime }}d\mu \right]}^{p-1}<\infty .$$
其中 $p^{\prime }$ 是 $p$ 的共轭指标, 即满足
$$\frac{1}{p}+\frac{1}{p^{\prime }}=1.$$

$p=1$ 时

$w\in A_1(X,d,\mu )$ 当且仅当
$$Mw(x)\le w(x),a.e.x\in X.$$

矩阵 $A_p$ 权 on Spaces of Homogeneous Type

设 $W:X\to M_m(\mathbb{C})$ 是一个矩阵权, 即 $W$ 满足
(i) 对 $\forall x\in X$, $W(x)$ 是非负定矩阵;
(ii) 对 a.e. $x\in X$, $W(x)$ 可逆;
(iii) $W(x)$ 中每一项都是可测函数.

$p\in [1,\infty )$ 时

$W\in A_p(X,d,\mu )$ 当且仅当
$$\underset{B\subset X}{\sup }\frac{1}{\mu (B)}{\int }_B{\left[\frac{1}{\mu (B)}{\int }_B\Vert W^{1/p}(x)W^{-1/p}(y){\Vert }^{p^{\prime }}d\mu (y)\right]}^{p/p^{\prime }}d\mu (x)<\infty .$$
其中 $p^{\prime }$ 是 $p$ 的共轭指标, 即满足
$$\frac{1}{p}+\frac{1}{p^{\prime }}=1.$$

$p=1$ 时

$W\in A_1(X,d,\mu )$ 当且仅当
$$\underset{B\subset X}{\sup }{\mathrm{esssup}}_{x\in Q}\frac{1}{\mu (B)}{\int }_B\Vert W^{-1}(x)W(y)\Vert d\mu (y)<\infty .$$