[논문 리뷰] The inner kernel theorem for a certain Segal algebra

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

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) $ 에서 $ 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) $ 의 모든 연산자가 핵심 연산자(트레이스-클래스)이자 따라서 컴act임을 증명한다.
• $ 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 $-커널 프레임워크 내에서 잘 정의됨을 보여준다.

실험 결과

연구 질문

• RQ1 약한*-수렴에서 노름 수렴으로의 연속성을 갖는 $ S'_0(G_1) $ 에서 $ S_0(G_2) $ 로의 사상 중 $ S_0 $-커널을 가진 연산자는 외부 커널 정리와 유사한 방식으로 어떻게 특성화될 수 있는가?
• 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} $ 는 약한 연산자 근사와 커널 기반의 복합 법칙을 위한 엄밀한 프레임워크를 제공한다.