[论文解读] Functional properties of Generalized Hörmander spaces of distributions I : Duality theory, completions and bornologifications

Yoann Dabrowski|arXiv (Cornell University)|Nov 11, 2014

Mathematical and Theoretical Analysis参考文献 26被引用 3

一句话总结

本文通过在嵌套锥体 $\gamma \subset \Lambda \subset \overline{\gamma}$ 内同时控制分布的波前集（$DWF$）与标准波前集（$WF$），引入了广义的 Hörmander 分布空间，记为 $\mathcal{D}'_{\gamma,\Lambda}$ 和 $\mathcal{E}'_{\gamma,\Lambda}$。本文建立了这些空间的对偶性、完备化与 bornologification 性质，表明它们是核空间且超 bornologische，关键结果包括关于 Mackey 拓扑与光滑映射下拉像映射的性质，这对弯曲时空中的量子场论至关重要。

ABSTRACT

The space $D'_Λ$ of distributions having their $C^\infty$ wavefront set in a cone $Λ$ has become important in physics because of its role in the formulation of quantum field theory in curved spacetime. It is also a basic object in microlocal analysis, but not well studied from a functional analytic viewpoint. In order to compute its completion in the open cone case, we introduce generalized spaces $D'_{γ,Λ}$ where we also control the union of H^s-wave front sets in a second cone $γ$ contained in $Λ$. We can compute bornological and topological duals, completions and bornologifications of natural topologies for spaces in this class. All our topologies are nuclear, ultrabornological when bornological and we can describe when they are quasi-LB. We also give concrete microlocal representations of bounded and equicontinuous sets in those spaces and work with general support conditions including future compact or space compact support conditions on globally hyperbolic manifolds, as motivated by physics applications to be developed in a second paper.

研究动机与目标

• 为解决 $\mathcal{E}'_{\Lambda}$ 在弯曲时空量子场论中缺乏完备性与泛函分析结构的问题。
• 通过在嵌套锥体 $\gamma \subset \Lambda \subset \overline{\gamma}$ 下控制 $DWF(u) \subset \gamma$ 与 $WF(u) \subset \Lambda$，定义广义分布空间 $\mathcal{D}'_{\gamma,\Lambda}$ 与 $\mathcal{E}'_{\gamma,\Lambda}$。
• 计算这些空间上自然拓扑的 bornological 对偶、拓扑对偶、完备化与 bornologification。
• 为 $\mathcal{E}'_{\Lambda}$ 的完备化提供明确的泛函分析刻画：$\widehat{\mathcal{E}'_{\Lambda}} = \{ u \in \mathcal{E}' : DWF(u) \subset \Lambda \}$，填补物理文献中的空白。
• 建立光滑映射下拉像映射的连续性与波前集控制性质，这对全局双曲流形上的场论应用至关重要。

提出的方法

• 引入双重波前集 $DWF(u) = \bigcup_{s>0} WF_s(u)$ 作为标准波前集的改进，使能对超过 $L^2$ 基定义的正则性进行控制。
• 定义广义空间 $\mathcal{E}'_{\gamma,\Lambda}(U) = \{ u \in \mathcal{E}'(U) : DWF(u) \subset \gamma, \, WF(u) \subset \Lambda \}$ 与 $\mathcal{D}'_{\gamma,\Lambda}(U)$，并在全局双曲流形上引入紧支集条件。
• 使用 Mackey 拓扑 $\mathcal{I}$ 及归纳极限拓扑 $\mathcal{I}_{iii}$、$\mathcal{I}_{ppp}$、$\mathcal{I}_{ibi}$ 定义空间上的自然拓扑，确保核性与完备性。
• 应用 bornologification 与完备化函子，推导强对偶与 bornologische 对偶，表明 $\widehat{\mathcal{E}'_{\Lambda}}$ 是 $\mathcal{D}'_{\Gamma}$ 的 bornologische 对偶，其中 $\Gamma = -\Lambda^c$。
• 通过 Duistermaat 与 [BDH] 的结果，建立拉像映射 $f^*$ 的连续性，满足波前集估计 $DWF(f^*u) \subset df^* DWF(u)$。
• 利用极化支集条件与可扩展族 $\mathcal{C}$ 推广支集控制，确保与拉像映射的兼容性及拓扑连续性。

实验结果

研究问题

• RQ1 在 $\mathcal{E}'_{\Lambda}$ 不是序列完备的情况下，其泛函分析结构（特别是其完备化）是什么？
• RQ2 如何通过波前集条件自然刻画 $\mathcal{E}'_{\Lambda}$ 的完备化？
• RQ3 对于满足 $\gamma \subset \Lambda \subset \overline{\gamma}$ 的广义 Hörmander 空间 $\mathcal{D}'_{\gamma,\Lambda}$ 与 $\mathcal{E}'_{\gamma,\Lambda}$，其对偶性、bornologische 性质与拓扑性质是什么？
• RQ4 在光滑映射下，分布的拉像在波前集传播方面如何表现，特别是对广义空间而言？
• RQ5 在什么条件下，$\mathcal{D}'_{\gamma,\Lambda}$ 上的 Mackey 拓扑 $\mathcal{I}$ 是核空间或拟 LB 空间？

主要发现

• 对 $\mathcal{E}'_{\Lambda}$ 的完备化正是 $\{ u \in \mathcal{E}' : DWF(u) \subset \Lambda \}$，为完备化提供了明确的微局部刻画。
• $\mathcal{D}'_{\gamma,\gamma}$ 上的 Mackey 拓扑 $\mathcal{I}$ 是核空间，且与 $\mathcal{I}_{iii}$ 一致，确保了强拓扑与对偶性质。
• 若 $\Lambda$ 闭而 $\gamma$ 开，则 $\mathcal{D}'_{\gamma,\Lambda}$ 是完备且拟 LB 空间，且其拓扑与坐标图的选择无关。
• 拉像映射 $f^*$ 从 $\mathcal{D}'_{\gamma,\Lambda}(U_2, \mathcal{C}; E)$ 连续映射到 $\mathcal{D}'_{df^*\gamma, \overline{df^*\gamma}}(U_1, f_e^{-1}(\mathcal{C}); f^*E)$，且满足 $DWF(f^*u) \subset df^* DWF(u)$。
• $\mathcal{D}'_{\Gamma}$ 的 bornologification 给出 $\mathcal{E}'_{\Lambda}$ 的强对偶，而 $\mathcal{E}'_{\Lambda}$ 的完备化是 $\mathcal{D}'_{\Gamma}$ 的 bornologische 对偶，其中 $\Gamma = -\Lambda^c$。
• $\mathcal{D}'_{\gamma,\Lambda}$ 上的拓扑与坐标图的选择无关，此结论通过 [BD] 与 [Du] 的序列连续性与 Mackey 连续性论证得以证明。