[논문 리뷰] Bounded Weyl pseudodifferential operators in Fock space

Laurent Amour, Lisette Jager외 1명|arXiv (Cornell University)|2012. 09. 13.

Mathematical Analysis and Transform Methods참고 문헌 22인용 수 6

한 줄 요약

이 논문은 Fock 공간에서 Weyl 미분형 작용소에 대한 Calderón-Vaillancourt 정리의 무한차원 해석을, 유한차원 Weyl 양자화와 무한차원 반-아크 양자화를 조합한 하이브리드 계산법을 사용하여 수립한다. 핵심 결과는 도함수 조건이 제어되는 기호에 대해 균일한 $ L^2 $-작용소 노름 유계성을 확보함으로써, 유한차원 근사가 잘 정의된 무한차원 Weyl 작용소로 수렴함을 보장한다.

ABSTRACT

We aim at constructing an analog of the Weyl calculus in an infinite dimensional setting, in which the usual configuration and phase spaces are ultimately replaced by infinite dimensional measure spaces, the so-called abstract Wiener spaces. The Hilbert space on which the operators act can be seen as a Fock space or, equivalently, as a space of square integrable functions on the configuration space. The construction is not straightforward and needs to split the configuration space into two factors, of which the first one is finite dimensional. Then one defines, for a convenient symbol $F$, a hybrid calculus, acting on the finite dimensional factor as a Weyl operator and on the other one as an anti-Wick operator, defined thanks to an infinite dimensional Segal-Bargmann transformation. One can establish bounds on the hybrid operators. These bounds enable us to prove the convergence of any sequence of hybrid operators associated with an increasing sequence of finite dimensional factors. Their common limit is the Weyl operator $OP_h^{weyl}(F)$, the analog of Calderón-Vaillancourt Theorem being a consequence of the upper mentionned bounds as well.

연구 동기 및 목표

• 유한차원 위상공간을 대체하는 추상 위너 공간으로 구성된 무한차원 설정에서 Weyl 계산의 엄밀한 해석을 구성하는 것.
• 유한차원 Weyl 작용소와 무한차원 반-아크 작용소를 조합한 하이브리드 양자화 체계를 통해 Fock 공간에서 유계인 Weyl 미분형 작용소를 정의하는 것.
• 기호의 도함수 조건 하에서 이러한 작용소에 대해 균일한 $ L^2 $-작용소 노름 유계성을 확립하여, 유한차원 근사의 수렴성을 보장하는 것.
• 기호가 적절한 감쇠성과 미분 가능성 조건을 만족할 경우, 이들의 극한이 표준 Weyl 양자화와 일치함을 증명하는 것.

제안 방법

• 구성공간을 유한차원 인자 $ \Lambda_n $ 와 그 무한차원 보완 $ \Lambda_n^c $ 로 분할하여, 각각 Weyl 및 반-아크 양자화로 별도 다루는 것.
• 하이브리드 작용소 $ \mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F) $ 는 Weyl 양자화를 $ \Lambda_n $ 에서, 반-아크 양자화를 $ \Lambda_n^c $ 에서 수행하고, Segal-Bargmann 변환을 이용해 조합하는 방식으로 정의된다.
• 노름은 $ \varepsilon_j $ 를 포함한 추정을 통해 유계화되며, $ h \leq 1 $ 인 조건 하에서 $ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F)\| \leq M \prod_{j=1}^n (1 + 225\pi K_2 \sqrt{h} \varepsilon_j) $ 를 만족한다. 이는 $ I_2 $-도함수 조건을 만족할 때 성립한다.
• 향상된 유계성 확보를 위해 $ I_4 $ 까지의 고차 도함수 조건을 사용하여, $ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F)\| \leq M \prod_{j=1}^n (1 + 225\pi K_4 h \varepsilon_j^2) $ 를 도출한다. 여기서 $ K_4 = \sup_j \max(1, \varepsilon_j^6) $ 이다.
• 증가하는 수열 $ \Lambda_n \nearrow \Gamma $ 에 따른 하이브리드 작용소의 수렴성을, 차이 $ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F) - \mathrm{Op}_h^{\mathrm{old\text{-}weyl}}(F)\| \to 0 $ 에 대해 Lebesgue 수렴 정리로 증명한다.
• 최종 Weyl 작용소 $ \mathrm{Op}_h^{\mathrm{weyl}}(F) $ 는 하이브리드 작용소의 극한으로 정의되며, 기호가 $ H_2(M,\varepsilon) $ 와 $ (\varepsilon_j)_{j \in \Gamma} \in \ell^1 $ 조건을 만족할 경우 표준 Weyl 양자화와 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 유한차원 위상공간을 대체하는 무한차원 Fock 공간 설정에서 일관된 Weyl 미분형 작용소 계산법을 정의할 수 있는가?
• RQ2 구성공간이 무한차원일 경우 이러한 작용소의 유계성을 어떻게 보장할 수 있는가?
• RQ3 무한차원 극한에서 균일한 작용소 노름 유계성을 보장하는 기호 $ F $ 에 대한 조건은 무엇인가?
• RQ4 증가하는 유한차원 근사에 따른 하이브리드 양자화 체계가 표준 Weyl 양자화로 수렴하는가?
• RQ5 새로운 Weyl 작용소가 표준 적분 공식으로 정의된 고전적 작용소와 일치하는 조건은 무엇인가?

주요 결과

• 논문은 하이브리드 Weyl-반-아크 작용소에 대해 균일한 $ L^2 $-작용소 노름 유계성을 확립한다: $ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F)\| \leq M \prod_{j=1}^n (1 + 225\pi K_2 \sqrt{h} \varepsilon_j) $, 여기서 $ K_2 = \sup_j \max(1, \varepsilon_j^3) $ 이며, $ F $ 가 $ I_2 $-도함수 조건을 만족할 때 성립한다.
• 고차 도함수 조건 $ I_4 $ 를 사용하여 향상된 유계성을 확보한다: $ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F)\| \leq M \prod_{j=1}^n (1 + 225\pi K_4 h \varepsilon_j^2) $, 여기서 $ K_4 = \sup_j \max(1, \varepsilon_j^6) $ 이다.
• $ \Lambda_n \nearrow \Gamma $ 인 극한에서 하이브리드 작용소 $ \mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F) $ 의 극한이 존재하며, 이는 Fock 공간 $ \mathcal{H}(\Gamma) $ 에서 유계 작용소 $ \mathrm{Op}_h^{\mathrm{weyl}}(F) $ 를 정의한다.
• 구성된 작용소 $ \mathrm{Op}_h^{\mathrm{weyl}}(F) $ 는 기호 $ F $ 가 $ H_2(M,\varepsilon) $ 조건과 $ (\varepsilon_j)_{j \in \Gamma} \in \ell^1 $ 을 만족할 경우 표준 Weyl 양자화 $ \mathrm{Op}_h^{\mathrm{old\text{-}weyl}}(F) $ 와 일치한다.
• 차이의 적분 표현에 대해 Lebesgue 수렴 정리를 적용하여 $ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F) - \mathrm{Op}_h^{\mathrm{old\text{-}weyl}}(F)\| \to 0 $ 이 $ n \to \infty $ 일 때 성립함을 증명하였다.
• 결과적으로 이는 고전적 유계성 결과를 추상 위너 공간 위의 Fock 공간으로 확장한 엄밀한 무한차원 해석을 제공한다.