[論文レビュー] The inner kernel theorem for a certain Segal algebra

Hans G. Feichtinger, Mads S. Jakobsen|arXiv (Cornell University)|Jun 16, 2018

Advanced Topics in Algebra被引用数 1

ひとこと要約

この論文は、セガール代数 $ S_0(G) $ のための「内部カーネル定理」を確立し、$ S_0(G_1 \times G_2) $ に属するカーネルをもつ $ S'_0(G_1) $ から $ S_0(G_2) $ への作用素が、自然に有界な双線形形式およびトレースクラス作用素と同型であることを証明する。この結果により、ウィルソン基底に依存せずに正則化作用素の関数解析的特徴付けが可能となり、純粋な周波数がディラックデルタに積分されることの物理的直観が、数学的に厳密な枠組みで裏付けられる。

ABSTRACT

The Segal algebra $\mathbf{S}_{0}(G)$ is well defined for arbitrary locally compact Abelian Hausdorff (LCA) groups $G$. It is a Banach space that exhibits a kernel theorem similar to the well-known Schwartz kernel theorem. Specifically, we call this characterization of the continuous linear operators from $\mathbf{S}_{0}(G_{1})$ to $\mathbf{S}'_{0}(G_{2})$ by generalized functions in $\mathbf{S}'_{0}(G_{1} imes G_{2})$ the 'outer kernel theorem'. The main subject of this paper is to formulate what we call the 'inner kernel theorem'. This is the characterization of those linear operators that have kernels in $\mathbf{S}_{0}(G_{1} imes G_{2})$. Such operators are regularizing -- in the sense that they map $\mathbf{S}'_{0}(G_{1})$ into $\mathbf{S}_{0}(G_{2})$ in a $w^{*}$ to norm continuous manner. A detailed functional analytic treatment of these operators is given and applied to the case of general LCA groups. This is done without the use of Wilson bases, which have previously been employed for the case of elementary LCA groups. We apply our approach to describe natural laws of composition for operators that imitate those of linear mappings via matrix multiplications. Furthermore, we detail how these operators approximate general operators (in a weak form). As a concrete example, we derive the widespread statement of engineers and physicists that pure frequencies 'integrate' to a Dirac delta distribution in a mathematically justifiable way.

研究の動機と目的

• セガール代数 $ S_0(G) $ のための『内部カーネル定理』を定式化・証明し、$ S'_0 $-カーネルではなく $ S_0 $-カーネルをもつ作用素を特徴付けること。
• 弱*-位相からノルム位相への連続的写像として $ S'_0(G_1) $ から $ S_0(G_2) $ への作用素の関数解析的特徴付けを提供すること。
• 古典的カーネル定理の枠組みを、ウィルソン基底に依存せずに、正則化可能でトレースクラスである作用素へと拡張すること。
• 物理的・工学的直観、すなわち純粋な周波数がディラックデルタ分布に積分されることを、数学的に厳密な構成によって裏付けること。

提案手法

• 弱*-連続な双線形形式のバナッハ空間 $ A(G_1, G_2) $ を $ S'_0(G_1) \times S'_0(G_2) $ 上に定義し、弱*-位相からノルム位相への収束を保つ $ S'_0(G_1) $ から $ S_0(G_2) $ への作用素の空間 $ B(G_1, G_2) $ を定義する。
• $ S_0(G_1 \times G_2) $、$ A(G_1, G_2) $、$ B(G_1, G_2) $、$ B(G_2, G_1) $ 間の自然な同型を確立し、各作用素がそのカーネルによって一意に定まることを示す。
• $ S_0 $ 及びその双対空間の構造を用いて、$ B(G_1, G_2) $ 内のすべての作用素が核型（トレースクラス）であり、したがってコンパクトであることを証明する。
• $ S'_0(G_1) \otimes S'_0(G_2) $ から $ \mathbb{C} $ への標準的拡張写像 $ e(T) $ を構成し、背理法とノルム推定を用いてその弱*-連続性を示す。
• 基本テンソルの密度性を $ S_0(G_1 \times G_2) $ 及び $ S'_0(G_1 \times G_2) $ において用い、有限和の枠組みを超えて双対性理論を一般化する。
• 物理的主張、すなわち純粋な周波数がディラックデルタに積分されることを、$ S_0 $-カーネル枠組みにおいて、その極限がwell-definedであることを示すことで正当化する。

実験結果

リサーチクエスチョン

• RQ1 外カーネル定理に類似する形で、$ S_0 $-カーネルをもつ $ S'_0(G_1) $ から $ S_0(G_2) $ への作用素をどのように特徴付けることができるか？
• RQ2 正確には、$ S_0 $-カーネルをもつ作用素の関数解析的構造は何か？ そして、双線形形式やトレースクラス作用素とどのように関係するか？
• RQ3 一般の局所コンパクトアーベル群に対して、特にウィルソン基底に依存せずに内部カーネル定理を確立できるか？
• RQ4 これらの作用素は弱い意味で一般作用素をどのように近似するのか？ そしてカーネルがこの近似において果たす役割は何か？
• RQ5 物理的直観、すなわち純粋な周波数がディラックデルタ分布に積分されることを、$ S_0 $-カーネル枠組みを用いてどのように厳密に裏付けることができるか？

主な発見

• $ S_0(G_1 \times G_2) $、$ A(G_1, G_2) $、$ B(G_1, G_2) $、$ B(G_2, G_1) $ はバナッハ空間として自然に同型であり、$ S_0 $-カーネルをもつ作用素の完全な特徴付けを提供する。
• $ B(G_1, G_2) $ 内のすべての作用素は核型（トレースクラス）であり、したがってコンパクトであり、$ S'_0(G_1) $ のノルム有界な弱*-収束ネットを $ S_0(G_2) $ のノルム収束ネットに写像する。
• $ S'_0(G_1) \otimes S'_0(G_2) $ 上の有限和の基本テンソルに定義された拡張写像 $ e(T) $ は弱*-連続であり、一意に連続線形汎関数に拡張可能である。
• 内部カーネル定理は、基本的な局所コンパクトアーベル群を仮定せず、ウィルソン基底の必要性を回避し、すべての局所コンパクトアーベル群に一様に適用可能である。
• この定理により、工学的・物理的主張、すなわち純粋な周波数がディラックデルタ分布に積分されることを、$ S_0 $-カーネル枠組みにおいて、その極限が存在することを示すことによって正当化する。
• $ K \in S_0(G_1 \times G_2) $ に対して、双対ペアリング $ (K, \sigma^{(1)} \otimes \sigma^{(2)})_{S_0,S'_0} $ は、弱作用素近似およびカーネルに基づく合成法則の厳密な枠組みを提供する。