[论文解读] Espaces de fonctions à moyenne fractionnaire intégrable sur les groupes localement compacts

Justin Feuto, Ibrahim Fofana+1 more|ArXiv.org|Oct 7, 2008

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

一句话总结

本文通过基于对称邻域平均的范数，为局部紧致σ-紧致群G上的Banach空间$L_{(q,p)}^{\tau}(G)$建立了等价且更易处理的定义，并通过空间$(L^q, L^p)^\alpha(G)$将其推广至非阿贝尔齐次型群。关键贡献在于证明了$L^{\alpha,\infty}(G)$是$(L^q, L^p)^\alpha(G)$的复子空间，且该范数与对称邻域的选择无关，具有统一的有界性。

ABSTRACT

Let $G$ be a locally compact group which is $σ$-compact, endowed with a left Haar measure $λ.$ Denote by $e$ the unit element of $G$, and by $B$ an open relatively compact and symmetric neighbourhood of $e$. For every $(p,q) $ belonging to $[ 1 ; +\infty ] ^{2}$, we give an equivalent and a priori more manageable definition of the Banach space $L_{(q,p)}^π(G),$ defined by R. C. Busby and H. A. Smith in \cite% {1}. In the case $G$ is a group of homogeneous type, we look at the subspaces $(L^{q},L^{p}) ^α(G)$ of the space $% L_{(q,p)}^π(G)$. Theses subspaces are extensions to non abelian groups of the spaces of functions with integrable mean, defined by I. Fofana in \cite{2}. Finally we show that $L^{α,+\infty}(G)$ is a complex subspace of $(L^{q},L^{p}) ^α(G)$.

研究动机与目标

• 为Busby和Smith引入的Banach空间$L_{(q,p)}^\pi(G)$提供一个更易处理的等价定义。
• 将此前仅针对阿贝尔群定义的“具有可积分数阶平均的函数”概念，推广至非阿贝尔、局部紧致的齐次型群。
• 在齐次群背景下，刻画$(L^q, L^p)^\alpha(G)$在$L_{(q,p)}^\pi(G)$中的子空间结构。
• 证明$L^{\alpha,\infty}(G)$是$(L^q, L^p)^\alpha(G)$的复子空间，从而在非阿贝尔群上建立Lorentz型空间理论的新包含关系。
• 证明范数${}_B\|f\|_{q,p}$与对称相对紧邻域$B$的选择无关，且等价于$\|f\|_{q,p}^\pi$。

提出的方法

• 引入基于对称邻域平均的新范数${}_B\|f\|_{q,p}$，通过固定一个对称且相对紧的单位元邻域$B$，对$y \in G$上的$\|f\chi_{yB}\|_q$进行平均。
• 通过测度论估计与覆盖论证，证明${}_B\|f\|_{q,p}$与$\|f\|_{q,p}^\pi$等价，且该等价性不依赖于$B$的选择。
• 利用齐次群的结构——特别是齐次范数$|\cdot|$、伸缩变换$\delta_r$与维数$\rho$——推导出集合$E_n$的特征函数的标度估计。
• 应用球$B(e,r)$的二进制分解，估计$y$上$f\chi_{yB}$的$L^q$-范数，利用齐次度量中的加倍性质与三角不等式。
• 导出$\lambda(B(e,r))^{1/\alpha - 1/q - 1/p} \cdot {}_B\|f\|_{q,p}$的统一有界性，表明在二进制尺度下关于$n$的衰减，从而证明$\alpha$-范数的有限性。
• 利用重排范数$\|f\|_{q,p}^*$与Lorentz空间理论，将新范数与经典Lorentz空间关联，并证明包含关系$L^{\alpha,\infty}(G) \subset (L^q, L^p)^\alpha(G)$。

实验结果

研究问题

• RQ1 能否基于对称邻域的平均，为局部紧致σ-紧致群上的Banach空间$L_{(q,p)}^\pi(G)$重新定义一个更易处理的范数？
• RQ2 如何将此前仅针对阿贝尔群定义的“具有可积分数阶平均的函数”概念，推广至非阿贝尔齐次型群？
• RQ3 新定义的空间$(L^q, L^p)^\alpha(G)$是否包含$L^{\alpha,\infty}(G)$？若成立，对$p, q, \alpha$有何条件限制？
• RQ4 范数${}_B\|f\|_{q,p}$是否依赖于对称相对紧邻域$B$的选择？还是在所有此类邻域下保持等价？
• RQ5 在齐次群的二进制分解中，特征函数的范数$\|f\|_{q,p,\alpha}$在缩放与衰减行为上表现如何？

主要发现

• 对于任意对称且相对紧的单位元邻域$B$，范数${}_B\|f\|_{q,p}$与$\|f\|_{q,p}^\pi$等价，证明了其与$B$选择无关。
• $(L^q, L^p)^\alpha(G)$空间通过范数${}_B\|f\|_{q,p}$定义，是一个良定义的Banach空间，且与$L_{(q,p)}^\pi(G)$同构，提供了更易处理的框架。
• 在齐次群上，对所有$f \in L^{\alpha,\infty}(G)$，范数$\|f\|_{q,p,\alpha}$有限，且其界仅依赖于$\rho, \alpha, p, q, \gamma$及群的齐次结构。
• 对所有$r > 0$，不等式$\lambda(B(e,r))^{1/\alpha - 1/q - 1/p} \cdot {}_B\|f\|_{q,p} \leq C_4 (2^{-\rho(1/\alpha - 1/p)})^n$一致成立，表明其关于$n$呈指数衰减，从而蕴含$\alpha$-范数的有限性。
• $L^{\alpha,\infty}(G) \subset (L^q, L^p)^\alpha(G)$作为复子空间成立，将Lorentz空间理论推广至非阿贝尔齐次群。
• 证明依赖于球的二进制分解，以及利用齐次维数$\rho$、齐次范数$|\cdot|$与控制度量三角不等式常数$\gamma$的标度估计。