[论文解读] A groupoid approach to pseudodifferential operators

Erik van Erp, Robert Yuncken|arXiv (Cornell University)|Nov 2, 2015

Mathematical Analysis and Transform Methods参考文献 18被引用 12

一句话总结

本文通过切丛群胚及其 $\mathbb{R}^{\times}_+$-作用，引入了一种无坐标、几何化的经典伪微分算子表征方法。若 $M\times M$ 上的适当紧支集半正则分布在其扩展至切丛群胚后为光滑且在缩放作用下关于度数 $m$ 齐次，则其为经典伪微分算子，从而为过滤流形上的伪微分演算（包括海森堡演算）提供了统一框架。

ABSTRACT

We give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural $\mathbb{R}^ imes_+$-action. Specifically, we show that a properly supported semiregular distribution on $M imes M$ is the Schwartz kernel of a classical pseudodifferential operator if and only if it extends to a smooth family of distributions on the range fibres of the tangent groupoid which is homogeneous for the $\mathbb{R}^ imes_+$-action modulo smooth functions. Moreover, we show that the basic properties of pseudodifferential operators can be proven directly from this characterization. Finally, we show that with the appropriate generalization of the tangent bundle, the same definition applies without change to define pseudodifferential calculi on arbitrary filtered manifolds, in particular the Heisenberg calculus.

研究动机与目标

• 通过切丛群胚及其 $\mathbb{R}^{\times}_+$-作用，提供一种几何的、无坐标的经典伪微分算子表征方法。
• 将该表征推广至过滤流形上的伪微分演算，包括海森堡演算，且无需显式定义符号或核类。
• 证明伪微分算子的基本性质可直接从该几何定义推导得出。
• 通过群胚理论方法统一不同几何设定下伪微分算子的处理方式。

提出的方法

• 使用切丛群胚 $\mathbb{T}M = (TM \times \{0\}) \sqcup (M \times M \times \mathbb{R}^{\times})$ 作为粘合算子及其主符号的几何模型。
• 在 $\mathbb{T}M$ 的纤维上定义一族光滑分布 $\mathbb{P}$，其扩展了伪微分算子的施瓦茨核及其余符号。
• 在 $\mathbb{T}M$ 上施加 $\mathbb{R}^{\times}_+$-作用 $\alpha_\lambda$ 下的 $m$ 次齐次性，其中 $\alpha_\lambda(x,y,t) = (x,y,\lambda^{-1}t)$ 且 $\alpha_\lambda(x,\xi,0) = (x,\delta_\lambda\xi,0)$。
• 将经典伪微分算子表征为 $\mathbb{P}|_{t=1}$ 的核 $P$，即由 $\mathbb{T}M$ 上此类齐次光滑族 $\mathbb{P}$ 所生成者。
• 通过与李群胚 $G$ 及其关联的分次丛 $\mathfrak{a}_H G$ 相关的绝热群胚 $\mathbb{A}_H G$，将该构造推广至过滤流形。
• 利用群胚卷积代数与局部指数坐标中的傅里叶分析，推导衰减估计与波前集条件，确保代数 $\Psi_H^\bullet(G)$ 中乘积与参数逆构造的良好定义。

实验结果

研究问题

• RQ1 能否通过切丛群胚及其缩放作用，纯粹几何地表征经典伪微分算子？
• RQ2 该表征是否可自然推广至过滤流形上的伪微分演算（如海森堡演算）？
• RQ3 伪微分算子的基本性质（如复合、参数逆存在性、符号演算）能否直接从该几何定义推导？
• RQ4 扩展核在 $\mathbb{R}^{\times}_+$-作用下的齐次性如何编码符号的完整渐近展开？
• RQ5 绝热群胚及其关联卷积代数在定义非平凡过滤结构上的伪微分算子中起何作用？

主要发现

• 若 $M \times M$ 上的适当紧支集半正则分布在其扩展至切丛群胚后为光滑且在 $\mathbb{R}^{\times}_+$-作用下关于度数 $m$ 齐次（模去光滑函数），则其为阶数 $m$ 的经典伪微分算子的施瓦茨核。
• 伪微分算子的基本性质（包括复合与参数逆存在性）可直接从该几何表征推导，无需显式符号演算。
• 该定义可原样应用于通过绝热群胚 $\mathbb{A}_H G$ 定义任意过滤流形上的伪微分演算，从而得到海森堡演算及其推广。
• 扩展核 $\mathbb{P}$ 的波前集关于单位空间为共法线，确保适当的正则性，并在代数 $\Psi_H^\bullet(G)$ 中实现良好定义的卷积积。
• 主余符号映射 $\sigma_m: \Psi_H^m(G) \to \Sigma_H^m(G)$ 良好定义，且构成短正合列，其中 $\Psi_H^{-\infty}(G)$ 被识别为群胚的光滑卷积代数。
• 若主符号 $\sigma_m(P)$ 在 $\Sigma_H^\bullet(G)$ 中存在卷积逆，则 $P$ 存在参数逆 $Q \in \Psi_H^{-m}(G)$，使得 $PQ - I, QP - I \in \Psi_H^{-\infty}(G)$。