[论文解读] Multipliers of grand and small Lebesgue spaces

A. Turan Gürkanlı|arXiv (Cornell University)|Mar 15, 2019

Advanced Harmonic Analysis Research参考文献 12被引用 4

一句话总结

该论文证明了在局部紧阿贝尔群 $G$ 上，广义大勒贝格空间 $L^{p),\theta}(G)$ 在卷积运算下构成巴拿赫代数的充要条件是 $G$ 为紧致群。此外，该文刻画了从 $L^{1}(G)$ 到小勒贝格空间 $L^{(p',\theta}(G)$ 的乘子空间，证明其等距同构于 $L^{p),\theta}(G)$，并利用逼近单位元和巴拿赫模理论中的对偶性完成证明。

ABSTRACT

Let $G$ a locally compact abelian group with Haar measure $μ$ and let $1

研究动机与目标

• 确定局部紧阿贝尔群 $G$ 的必要与充分条件，使得广义大勒贝格空间 $L^{p),\theta}(G)$ 在卷积运算下构成巴拿赫代数。
• 刻画从 $L^{1}(G)$ 到小勒贝格空间 $L^{(p',\theta}(G)$ 的乘子空间，特别关注其与对偶性及模结构的关系。
• 通过相对完备化与有界逼近单位元，将乘子理论推广至小勒贝格空间的子空间。
• 利用对偶性与模分解定理，建立乘子空间与广义大勒贝格空间之间的同构关系。

提出的方法

• 使用范数定义 $\|f\|_{p),\theta} = \sup_{0<\varepsilon\leq p-1} \varepsilon^{\theta/(p-\varepsilon)} \|f\|_{p-\varepsilon}$ 在 $G$ 上定义广义大勒贝格空间。
• 应用关于 $L^{p-\varepsilon}(G)$ 中卷积代数的已知结果，通过一致有界性分析 $L^{p),\theta}(G)$。
• 利用对偶空间识别 $(L^{(p',\theta}(G))^* = L^{p),\theta}(G)$，将乘子与大勒贝格空间联系起来。
• 利用 $L^1(G)$ 中的有界逼近单位元及模分解定理，证明 $L^1(G)*L^{(p',\theta}(G) = L^{(p',\theta}(G)$。
• 通过 $\|f\|_{A^\sim} = \sup_\alpha \|f*e_\alpha\|_A$ 定义子空间 $A \subset L^{(p,\theta}(G)$ 的相对完备化 $A^\sim$，其中 $\{e_\alpha\}$ 为有界逼近单位元。
• 应用对偶性与巴拿赫模理论，证明对满足特定有界逼近单位元与范数条件的子空间 $A$，有 $M(L^1(G), A) \cong A^\sim$。

实验结果

研究问题

• RQ1 在何种条件下，局部紧阿贝尔群 $G$ 上的广义大勒贝格空间 $L^{p),\theta}(G)$ 在卷积运算下构成巴拿赫代数？
• RQ2 从 $L^{1}(G)$ 到 $L^{(p',\theta}(G)$ 的乘子空间 $M(L^1(G), L^{(p',\theta}(G))$ 的精确刻画是什么？
• RQ3 在 $L^1(G)$ 中的有界逼近单位元如何与小勒贝格空间 $L^{(p',\theta}(G)$ 的结构相互作用？
• RQ4 从 $L^1(G)$ 到子空间 $A \subset L^{(p',\theta}(G)$ 的乘子空间能否与相对完备化 $A^\sim$ 相同？
• RQ5 在乘子理论的背景下，$L^{(p',\theta}(G)$ 的对偶空间与大勒贝格空间 $L^{p),\theta}(G)$ 之间存在何种关系？

主要发现

• 广义大勒贝格空间 $L^{p),\theta}(G)$ 在卷积运算下构成巴拿赫代数的充要条件是其基群 $G$ 为紧致群。
• 乘子空间 $M(L^1(G), L^{(p',\theta}(G))$ 与 $L^{p),\theta}(G)$ 等距同构，该同构关系通过使用对偶性与模分解定理建立。
• 对于任意满足定义1条件的子空间 $A \subset L^{(p,\theta}(G)$，乘子空间 $M(L^1(G), A)$ 在代数与拓扑意义上同构于相对完备化 $A^\sim$。
• $L^{(p',\theta}(G)$ 允许在 $L^1(G)$ 中存在有界逼近单位元，这对证明其稠密性与分解性质至关重要。
• 范数 $\|f\|_{(p',\theta}$ 通过序列 $\{g_k\}$ 的下确界分解定义，且满足 $\|g\|_{(p',\theta} = \|g\|_{p)^{\prime},\theta}$，从而支持对偶性论证。
• 证明依赖于不等式 $\|f*g\|_{(p',\theta} \leq \|f\|_1 \|g\|_{(p',\theta}$，该式表明 $L^1(G)$ 作为模作用于 $L^{(p',\theta}(G)$ 上，构成乘子模。