[论文解读] Bounded Weyl pseudodifferential operators in Fock space

Laurent Amour, Lisette Jager+1 more|arXiv (Cornell University)|Sep 13, 2012

Mathematical Analysis and Transform Methods参考文献 22被引用 6

一句话总结

本文在福克空间中建立了威爾（Weyl）伪微分算子的无限维类比，推广了卡德隆-瓦兰库尔特定理（Calderón-Vaillancourt Theorem），采用结合有限维威爾量化与无限维反威克（anti-Wick）量化的混合演算，借助塞加尔-巴尔格曼变换（Segal-Bargmann transform）。关键结果是对导数受控的符号实现统一的 $ L^2 $-算子范数有界性，确保有限维近似收敛至一个明确定义的无限维威爾算子。

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.

研究动机与目标

• 在无限维设定中构建威爾演算的严格类比，以抽象的威纳空间（abstract Wiener spaces）替代有限维相空间。
• 通过结合有限维威爾算子与无限维反威克算子的混合量化方案，在福克空间上定义有界威爾伪微分算子。
• 在符号的导数条件满足时，建立此类算子的统一 $ L^2 $-算子范数有界性，从而保证有限维近似的收敛性。
• 证明当符号满足适当的衰减与光滑性条件时，这些近似的极限与标准威爾量化的结果一致。

提出的方法

• 将配置空间划分为有限维因子 $ \Lambda_n $ 及其无限维余部 $ \Lambda_n^c $，分别采用威爾与反威克量化处理。
• 定义混合算子 $ \mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F) $ 为复合形式：在 $ \Lambda_n $ 上进行威爾量化，在 $ \Lambda_n^c $ 上进行反威克量化，利用塞加尔-巴尔格曼变换。
• 通过涉及 $ \varepsilon_j $ 的估计，控制混合算子的范数，得到当 $ h \leq 1 $ 且满足 $ I_2 $-导数条件时，$ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F)\| \leq M \prod_{j=1}^n (1 + 225\pi K_2 \sqrt{h} \varepsilon_j) $。
• 为获得更优的界，采用高达 $ 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 $。
• 最终的威爾算子 $ \mathrm{Op}_h^{\mathrm{weyl}}(F) $ 定义为混合算子的极限，并证明当符号满足 $ H_2(M,\varepsilon) $ 条件且 $ (\varepsilon_j)_{j \in \Gamma} \in \ell^1 $ 时，其与标准威爾量化一致。

实验结果

研究问题

• RQ1 能否在无限维福克空间设定中定义一致的威爾伪微分演算，以取代有限维相空间？
• RQ2 当配置空间为无限维时，如何确保此类算子的有界性？
• RQ3 符号 $ F $ 需满足何种条件，才能在无限维极限下保证统一的算子范数有界性？
• RQ4 混合量化方案在有限维近似递增的极限下是否收敛至标准威爾量化？
• RQ5 在何种条件下，新构造的威爾算子与通过标准积分公式定义的经典威爾算子一致？

主要发现

• 本文建立了混合威爾-反威克算子的统一 $ 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) $ 的极限存在，并在福克空间 $ \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 $ 时，与标准威爾量化 $ \mathrm{Op}_h^{\mathrm{old\text{-}weyl}}(F) $ 一致。
• 通过在积分表示的差值上应用勒贝格控制收敛定理，证明了当 $ n \to \infty $ 时，$ \|\mathrm{Op}_h^{\mathrm{hyb},\Lambda_n}(F) - \mathrm{Op}_h^{\mathrm{old\text{-}weyl}}(F)\| \to 0 $。
• 结果为卡德隆-瓦兰库尔特定理提供了严格的无限维类比，将经典有界性结果推广至抽象威纳空间上的福克空间。