[논문 리뷰] Multiplicative operators in the spaces of Schwartz families

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

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

한 줄 요약

이 논문은 매끄러운 함수와 슈바르츠 가족 간의 점별 곱셈 연산을 도입하고 철저히 분석함으로써 분포 공간 내 슈바르츠 선형 연산자에 대한 새로운 스펙트럼 이론을 가능하게 한다. 주요 기여는 역가능한 $\epsilon_M$ 함수에 의한 곱셈이 S-선형 독립성과 생성을 유지함을 증명함으로써, 양자역학 형식과 매우 유사한 함수 해석학적 계산법과 고유가족 이론을 가능하게 한다.

ABSTRACT

In this paper we introduce and study the multiplication among smooth functions and Schwartz families. This multiplication is fundamental in the formulation and development of a spectral theory for Schwartz linear operators in distribution spaces, to introduce efficiently the Schwartz eigenfamilies of such operators and to build up a good functional calculus for them. The definition of eigenfamily is absolutely natural and this new operation allows us to develop a rigorous and manageable spectral theory for Quantum Mechanics, since it appears in a form extremely similar to the current use in Physics.

연구 동기 및 목표

• 매끄러운 함수 $\mathcal{O}_M$와 슈바르츠 가족 간의 점별 곱셈 연산을 정의하고 연구하기.
• 이 곱셈을 통해 정의된 고유가족을 이용한 슈바르츠 선형 연산자에 대한 엄밀한 스펙트럼 이론 수립하기.
• 곱셈 연산이 S-선형 생성에 대한 행동을 특성화함으로써 이러한 연산자에 대한 함수 해석학적 계산법 개발하기.
• 역가능성이 $\mathcal{O}_M$ 함수에 의해 S-기저 구조가 곱셈에 의해 유지되기 위한 필요 및 충분 조건을 증명하기.
• 분포 공간 내 고유가족과 스펙트럼 분해에 대한 수학적 기초를 마련하여 물리적 양자역학 형식과 밀접하게 일치시키기.

제안 방법

• 점별 곱셈을 $ (fw)_p = f(p)w_p $ 로 정의함으로써, 결과가 슈바르츠 가족 공간에 속함을 보장한다.
• 매끄러운 함수 공간 $\mathcal{O}_M^{(n)}$ 에서의 표준 위상은 $\phi \in \mathcal{S}_n$, $p \in \mathbb{N}_0^n$ 에 대해 $ \gamma_{\phi,p}(f) = \sup_{x \in \mathbb{R}^n} |\phi(x) \partial^p f(x)| $ 로 정의된 반규범들로 정의된다.
• 함수 $f \in \mathcal{O}_M$ 에 의한 곱셈이 연속적인 연산자 $M_f: \mathcal{S}_n \to \mathcal{S}_n$ 를 유도하며, 그 쌍대 연산자 $^tM_f: \mathcal{S}_n' \to \mathcal{S}_n'$ 는 희생분포 공간에서 $f$ 에 의한 곱셈으로 작용한다.
• 디에우도네-슈바르츠 정리를 적용하여, $fe$ 가 S-기저일 경우, 연관된 연산자의 전사성은 $f^{-1} \in \mathcal{O}_M^{(m)}$ 를 의미함을 보인다.
• 함수 $f$ 가 링 $\mathcal{O}_M^{(m)}$ 내에서 역가능할 때에만 $fe$ 가 $\mathcal{S}_n'$ (또는 그 닫힌 부분공간) 의 S-기저가 되며, 이를 증명한다.
• 초월 연산자와 쌍대성을 이용하여, $fe$ 의 선형 독립성은 $f$ 가 어디서도 0이 아니며, 모든 $g \in \mathcal{S}_m$ 에 대해 $f^{-1}g \in \mathcal{S}_m$ 에 속한다는 조건과 관련이 있음을 밝힌다.

실험 결과

연구 질문

• RQ1 매끄러운 함수 $\mathcal{O}_M$ 와 슈바르츠 가족 간의 점별 곱셈이 슈바르츠 가족 공간 내에서 잘 정의되고 닫혀 있는가?
• RQ2 매끄러운 함수 $\mathcal{O}_M$ 에 의한 곱셈이 분포 공간 내에서 S-선형 독립성과 생성을 유지하기 위한 조건은 무엇인가?
• RQ3 매끄러운 함수 $\mathcal{O}_M$ 에 의한 곱셈이 $\mathcal{S}_n'$ 내의 가족의 S-기저 구조를 유지하기 위한 조건은 무엇인가?
• RQ4 매끄러운 함수 $\mathcal{O}_M$ 의 역가능성은 S-기저 성질이 곱셈에 의해 유지되는 데 어떻게 관련되는가?
• RQ5 이 곱셈을 통해 슈바르츠 선형 연산자에 대한 함수 해석학적 계산법을 구성할 수 있으며, 이는 양자역학 내 고유가족과 어떻게 관련되는가?

주요 결과

• 매끄러운 함수 $f$ 와 슈바르츠 가족 $w$ 간의 점별 곱셈은 다른 슈바르츠 가족을 생성하며, 표준 위상에서 각각의 변수에 대해 연속적이다.
• $\mathcal{S}_n$ 에서의 곱셈 연산자 $M_f$ 의 쌍대 연산자 $^tM_f$ 는 $\mathcal{S}_n'$ 에서의 희생분포 공간에서 $f$ 에 의한 곱셈으로 작용하며, 이는 정규 연산자를 희생분포 공간으로 확장할 수 있게 한다.
• 만약 $f \in \mathcal{O}_M^{(m)}$ 가 역가능하다면, $fe$ 가 $\mathcal{S}_n'$ 의 S-기저일 때이고, 뿐만 아니라 $e$ 가 $\mathcal{S}_n'$ 의 S-기저일 때에만 성립하며, 이는 역가능한 곱셈 하에서 S-기저 간의 일대일 대응을 수립한다.
• 모든 $f \in \mathcal{O}_M^{(m)}$ 에 대해, $f$ 가 어디서도 0이 아니면 $^\mathcal{S}\mathrm{span}(w) = \,^\mathcal{S}\mathrm{span}(fw)$ 이다.
• 역함수 $f^{-1}$ 이 $\mathcal{O}_M^{(m)}$ 에 속함은 연산자 $ (fe)^\wedge $ 가 전사임과 동치이며, 이는 $fe$ 가 S-기저임과 동치이다.
• $fe$ 가 S-선형 독립이기 위해서는 $f(p) \neq 0$ for all $p$ 가 필수이며, $fe$ 가 $\mathcal{S}_n'$ 의 S-기저가 되기 위해서는 $f^{-1} \in \mathcal{O}_M^{(m)}$ 가 필요하고 충분하다.