[논문 리뷰] Gelfand-Shilov spaces, Structural and Kernel theorems

Zagorka Lozanov-Crvenković, D. Perišić외 1명|ArXiv.org|2007. 06. 15.

Advanced Operator Algebra Research참고 문헌 10인용 수 17

한 줄 요약

이 논문은 조화 진동자 고유함수와 푸리에-에르미트 계수 특성화를 이용하여 루미에 및 뷔르링형의 게르파인-실로프 공간에 대한 구조정리와 커널 정리를 수립한다. 모든 쌍대공간의 분포는 유계함수의 도함수를 통해 표현 가능하며, 이러한 공간 간의 연속적 선형 연산자는 더 큰 게르파인-실로프 공간 내의 유일한 커널로부터 유도됨을 증명하여, 기본 길이 척도를 가진 양자장 이론과 임의의 미분 연산자 이론의 응용을 가능하게 한다.

ABSTRACT

It was shown recently that the space isomorphic with an Gelfand Shilov space is well adapted for the use in quantum field theory with a fundamental length. It is our believe that all Gelfand Shilov spaces, especially those with quasianalytic test function spaces, are good domains for the quantum field theory. The theory requires technical results from the theory of generalized functions and not merely differential calculus and well defined Fourier transform, but also the kernel theorem and the structural theorem. In the paper we give the structural (regularity) theorem and kernel theorem for Gelfand-Shilov spaces, of Roumieu and Beurling type.

연구 동기 및 목표

• 루미에 및 뷔르링형 게르파인-실로프 공간에 대한 구조정리와 커널 정리를 통합적이고 기본적인 방법으로 증명하는 것.
• 이 공간들이 기본 길이 척도를 가진 양자장 이론의 적절한 정의역이 될 수 있음을 보여주는 것.
• 고전적 게브레이 경우를 초월하여 일반화된 게르파인-실로프 공간으로의 임의의 미분 연산자 이론과 웨일 변환의 이론을 확장하는 것.
• 편균분석적 및 비편균분석적 수열을 통한 온도 초분포와 초함수의 프레임워크 제공.

제안 방법

• 쌍대공간 내 분포의 표현을 위해 조화 진동자 고유함수(에르미트 함수)를 기저로 사용한다.
• 랑겐브루흐 및 저자들의 독립적 결과로부터 유도된 게르파인-실로프 함수의 푸리에-에르미트 계수 특성화를 적용한다.
• 심슨의 아이디어를 응용하여 연산자 $ \left(-\frac{d^2}{dx^2} + x^2 - 1\right)^\beta $ 를 활용해 유계함수의 도함수를 포함하는 급수로 분포를 표현한다.
• Gelfand-Shilov 공간을 정의하기 위해 노름 $ \|\varphi\|_{{\mathcal{S}}^{M_p},m} = \sup_{\alpha,\beta} \frac{m^{|\alpha|+|\beta|}}{M_{|\alpha|}M_{|\beta|}} \|(1+x^2)^{\beta/2}\varphi^{(\alpha)}(x)\|_{L^\infty} $ 을 사용한다.
• 프로젝티브 및 인덕티브 극한 구조를 이용하여 각각 $ {\mathcal{S}}^{(M_p)} $ 와 $ {\mathcal{S}}^{\{M_p\}} $ 를 정의한다.
• 비자명성과 푸리에 변환 및 미분에 대한 닫힘성을 보장하기 위해 조건 (M.1), (M.2), (M.3)" 및 (M.3)"’ 에 의존한다.

실험 결과

연구 질문

• RQ1 최소한의 실해석학을 사용하여 편균분석적 및 비편균분석적 경우에 대해 게르파인-실로프 공간의 구조정리를 통일적으로 증명할 수 있는가?
• RQ2 모든 연속적 선형 연산자가 더 큰 게르파인-실로프 공간 내의 유일한 커널로부터 유도되는가, 즉 커널 정리가 성립하는가?
• RQ3 헤이젠베르그 군의 표현과 웨일 변환은 고전적 게브레이 수열이 아닌 일반 수열 $ \{M_p\} $ 으로 생성된 게르파인-실로프 공간으로까지 확장 가능한가?
• RQ4 조화 진동자 고유함수는 게르파인-실로프 공간의 쌍대공간 내 분포를 특성화하는 데 어떤 역할을 하는가?
• RQ5 비자명성 조건 (M.3)" 및 (M.3)"’ 이 이러한 공간의 구조와 양자장 이론에서의 적용성에 미치는 영향은 무엇인가?

주요 결과

• 모든 분포 $ T \in {\mathcal{S}}^{\{M_p\}}' $ 는 어떤 $ \mu > 0 $ 과 유계연속함수 $ f $ 에 대해 $ T = \sum_{\beta=0}^{\infty} \frac{\mu^{2\beta}}{M_{2\beta}} \frac{1}{2^\beta} \left(-\frac{d^2}{dx^2} + x^2 - 1\right)^\beta f $ 로 표현 가능하며, 이는 구조정리를 증명한다.
• 모든 연속적 선형 사상 $ \mathcal{K} $ 는 $ {\mathcal{S}}^{\{M_p\}}({\mathbb{R}}^l)_x $ 에서 $ {\mathcal{S}}^{\{M_p\}}'({\mathbb{R}}^s)_y $ 로의 사상은 유일한 커널 $ K \in {\mathcal{S}}^{\{M_p\}}'({\mathbb{R}}^{l+s})_{x,y} $ 로 표현 가능하며, 커널 정리를 확인한다.
• 게르파인-실로프 공간 $ {\mathcal{S}}^{\{M_p\}} $ 와 $ {\mathcal{S}}^{(M_p)} $ 는 고전적 공간들인 $ {\mathcal{S}}^\alpha_\alpha $, $ \mathcal{F} $, $ \mathcal{G} $, 필리포비치 공간들을 포함하며, 푸리에 변환과 미분에 대해 닫혀 있다.
• $ {\mathcal{S}}^{\{p!\}} $ 는 푸리에 초함수의 테스트 공간과 동형이며, 기본 길이 척도를 가진 양자장 이론에 적합하다.
• (M.3)’ 조건은 비편균분석성에 필수적이고 충분하다. 이 조건이 위반되면 공간은 초분포가 아니라 초함수로 구성된다.
• 가장 작은 비자명한 게르파인-실로프 공간은 $ {\mathcal{S}}^{1/2}_{1/2} $ 이며, 가장 작은 비자명한 필리포비치 공간 $ \sum_{\alpha}^{\alpha} $ 는 $ \alpha = 1/2 $ 에서 존재하지 않지만, $ \alpha > 1/2 $ 에서는 존재한다.