[논문 리뷰] Schwartz families in tempered distribution spaces

David Carfì|arXiv (Cornell University)|2011. 04. 24.

Mathematical and Theoretical Analysis참고 문헌 11인용 수 6

한 줄 요약

이 논문은 유클리드 공간으로 색인화된 일반화된 행렬인 스바르츠 가족(Schwartz families)—온도 분포 공간 내의 무한차원 연산자에 대한 엄밀한 프레임워크를 제안한다. 스바르츠 가족의 공간과 스바르츠 시험 함수 공간 위의 연속 선형 연산자 공간 사이의 표준적 동형사상( canonical isomorphism )을 확립하여 양자역학에서 사용되는 무한행렬에 대한 수학적으로 타당한 모델을 제공한다.

ABSTRACT

In this paper we define Schwartz families in tempered distribution spaces and prove many their properties. Schwartz families are the analogous of infinite dimensional matrices of separable Hilbert spaces, but for the Schwartz test function spaces, having elements (functions) realizable as vectors indexed by real Euclidean spaces (ordered families of scalars indexed by real Euclidean spaces). In the paper, indeed, one of the consequences of the principal result (the characterization of summability for Schwartz families) is that the space of linear continuous operators among Schwartz test function spaces is linearly isomorphic with the space of Schwartz families. It should be noticed that this theorem is possible because of the very good properties of Schwartz test function spaces and because of the particular structures of the Schwartz families viewed as generalized matrices; in fact, any family of tempered distribution, regarded as generalized matrix, has one index belonging to a Euclidean space and one belonging to a test function space, so that any Schwartz family is a matrix in the sense of distributions. Another motivation for the introduction and study of these families is that these are the families which are summable with respect to every tempered system of coefficients, in the sense of superpositions. The Schwartz families we present in this paper are one possible rigorous and simply manageable mathematical model for the infinite matrices used frequently in Quantum Mechanics.

연구 동기 및 목표

• 온도 분포 이론을 활용하여 양자역학에서 사용되는 무한행렬에 대한 엄밀한 수학적 모델을 체계화하기.
• 특정 감쇠성 및 미분 가능성 성질을 갖는 온도 분포의 가족으로서 스바르츠 가족을 정의하고 특성화하기.
• 스바르츠 가족의 공간과 스바르츠 시험 함수 공간 위의 연속 선형 연산자 공간 사이의 표준적 동형사상을 확립하기.
• 유클리드 공간으로 색인화된 가족을 통해 분포의 합성과 초합성(superposition)을 위한 프레임워크 제공하기.
• 분포 이중성과 위상벡터공간 이론을 활용하여 양자 이론 내 연산자 표현의 구조적 기초 제공하기.

제안 방법

• 유클리드 공간 $\mathbb{R}^m$ 에서 온도 분포 공간 $\mathcal{S}_n'$ 으로의 사상으로서 스바르츠 가족을 정의하며, 이를 $\mathcal{S}(\mathbb{R}^m, \mathcal{S}_n')$ 로 표기한다.
• 가족 $v$ 가 시험 함수 $\phi \in \mathcal{S}_n$ 에 작용하는 방식을 $v(\phi)(p) = v_p(\phi)$ 로 정의하여 $\mathbb{R}^m$ 상의 스칼라 함수를 유도한다.
• 모든 온도 계수 체계에 대해 초합성 가능성을 보장하는 성질을 이용해 스바르츠 가족의 합성 가능성을 특성화한다.
• 표준 표현 $v \mapsto \widehat{v}$ 를 수립하며, 여기서 $\widehat{v}(\phi)(p) = v_p(\phi)$ 로 정의되어 연속 선형 연산자 공간 $\mathcal{L}(\mathcal{S}_n, \mathcal{S}_m)$ 으로 사상된다.
• 사상 $v \mapsto \widehat{v}$ 가 $\mathcal{S}(\mathbb{R}^m, \mathcal{S}_n')$ 과 $\mathcal{L}(\mathcal{S}_n, \mathcal{S}_m)$ 사이의 벡터 공간 동형사상임을 증명한다.
• 반단순성 정리(Banach-Steinhaus 정리)를 활용하여, 연산자 $A$ 의 전치 가능성(transposability)이 모든 $p \in \mathbb{R}^m$ 에 대해 $\delta_p \circ A \in \mathcal{S}_n'$ 라는 조건과 동치임을 보이며, 이는 모든 $a \in \mathcal{S}_m'$ 에 대해 $a \circ A$ 의 연속성을 보장한다.

실험 결과

연구 질문

• RQ1 양자역학에서 사용되는 무한행렬은 분포 이론 내에서 어떻게 엄밀하게 체계화될 수 있는가?
• RQ2 어떤 조건이 온도 분포의 가족이 스바르츠 공간 위의 연속 선형 연산자로 정의되도록 보장하는가?
• RQ3 스바르츠 가족은 어떤 의미에서 합성되거나 초합성될 수 있으며, 이 과정에서 계수 체계는 어떤 역할을 하는가?
• RQ4 스바르츠 공간 간 연속 선형 연산자 공간과 분포 가족의 공간 사이의 동형사상은 어떻게 확립되는가?
• RQ5 스바르츠 공간 간 선형 연산자가 위상적으로 전치 가능하기 위한 특성은 무엇인가?

주요 결과

• 스바르츠 가족의 공간 $\mathcal{S}(\mathbb{R}^m, \mathcal{S}_n')$ 과 연속 선형 연산자 공간 $\mathcal{L}(\mathcal{S}_n, \mathcal{S}_m)$ 는 선형 동형사상으로 연결되며, 표준 표현 $v \mapsto \widehat{v}$ 를 통해 근본적인 표현이 가능하다.
• 역사상 $A \mapsto A^\vee = (\delta_p \circ A)_{p \in \mathbb{R}^m}$ 는 연산자 공간을 스바르츠 가족의 공간으로 표현한다.
• 선형 연산자 $A: \mathcal{S}_n \to \mathcal{S}_m$ 는 모든 $p \in \mathbb{R}^m$ 에 대해 $\delta_p \circ A \in \mathcal{S}_n'$ 라면 위상적으로 전치 가능하다.
• 스바르츠 가족 $v$ 가 시험 함수 $\phi$ 에 작용하면 $v(\phi) \in \mathcal{F}(\mathbb{R}^m, \mathbb{K})$ 를 유도하며, 이를 통해 분포와 유사한 행렬 곱셈이 가능해진다.
• 가족 $v$ 는 모든 온도 계수 체계에 대해 합성 가능하므로, 분포 이론 내 초합성 원리에 적합하다.
• 스바르츠 가족의 공간 $\mathcal{S}(\mathbb{R}^m, \mathcal{S}_n')$ 과 연속 선형 연산자 공간 $\mathcal{L}(\mathcal{S}_n, \mathcal{S}_m)$ 사이의 동형사상은 표준 표현 $v \mapsto \widehat{v}$ 를 통해 확립되며, 이는 모든 선형 및 위상적 구조를 유지한다.