[論文レビュー] 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$ 上の一般化されたグランドルベーグ空間を定義する。
• $0<\varepsilon\leq p-1$ に対して $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)$ を証明する。
• 部分空間 $A \subset L^{(p,\theta}(G)$ の相対的完備化 $A^\sim$ を $\|f\|_{A^\sim} = \sup_\alpha \|f*e_\alpha\|_A$ で定義する。ここで $\{e_\alpha\}$ は有界近似恒等元である。
• 双対性とバナッハ加群理論を適用し、特定の有界近似恒等元およびノルム条件を満たす部分空間 $A$ に対して $M(L^1(G), A) \cong A^\sim$ を示す。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクトアーベル群 $G$ に対して、一般化されたグランドルベーグ空間 $L^{p),\theta}(G)$ が畳み込みに関してバナッハ代数をなすための条件は何か？
• RQ2 乗数空間 $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)$ 上の乗数加群として作用することを確認している。