[论文解读] Pseudodifferential operators on manifolds with linearization

Cyril Lévy|ArXiv.org|Nov 11, 2008

Advanced Operator Algebra Research参考文献 40被引用 4

一句话总结

本文在配备线性化结构的非紧流形上构建了一个全局、坐标无关的伪微分算子演算，利用抽象指数映射定义全局傅里叶变换和具有基变量均匀与衰减控制的符号类。关键贡献是一个稳定的 $\lambda$-量化映射，它在符号与伪微分算子之间实现代数同构，其应用涵盖通过 $S_1$-有界几何的双曲空间。

ABSTRACT

We present in this paper the construction of a pseudodifferential calculus on smooth non-compact manifolds associated to a globally defined and coordinate independant complete symbol calculus, that generalizes the standard pseudodifferential calculus on $\R^n$. We consider the case of manifolds $M$ with linearization in the sense of Bokobza-Haggiag, such that the associated (abstract) exponential map provides global diffeomorphisms of $M$ with $\R^n$ at any point. Cartan--Hadamard manifolds are special cases of such manifolds. The abstract exponential map encodes a notion of infinity on the manifold that allows, modulo some hypothesis of $S_σ$-bounded geometry, to define the Schwartz space of rapidly decaying functions, globally defined Fourier transformation and classes of symbols with uniform and decaying control over the $x$ variable. Given a linearization on the manifold with some properties of control at infinity, we construct symbol maps and $\la$-quantization, explicit Moyal star-product on the cotangent bundle, and classes of pseudodifferential operators. We show that these classes are stable under composition, and that the $\la$-quantization map gives an algebra isomorphism (which depends on the linearization) between symbols and pseudodifferential operators. We study, in our setting, $L^2$-continuity and give some examples. We show in particular that the hyperbolic 2-space $\HH$ has a $S_1$-bounded geometry, allowing the construction of a global symbol calculus of pseudodifferential operators on $§(\HH)$.

研究动机与目标

• 开发一种在非紧流形上全局、坐标无关的伪微分演算，克服基于局部坐标图定义的局限性。
• 通过 $S_\sigma$-有界几何与抽象指数映射控制无穷远处行为，实现在基变量 $x$ 上的均匀与衰减符号估计。
• 构建符号映射与 $\lambda$-量化映射，使符号与伪微分算子之间实现代数同构。
• 在假设 $(H_V)$ 下建立阶 $(0,0)$ 算子的 $L^2$-连续性，并将该演算推广至双曲平面等流形。
• 将 $\mathbb{R}^n$ 上的标准与 $SG$-演算推广至具有线性化与有界几何的更广泛流形类。

提出的方法

• 利用全局定义、坐标无关的指数映射，结合线性化结构，在每一点构造流形 $M$ 到 $\mathbb{R}^n$ 的全局微分同胚。
• 引入 $S_\sigma$-有界几何与 $\mathcal{O}_M$-有界几何条件，控制无穷远处行为，确保符号估计的均匀性。
• 通过线性化定义全局索伯夫空间 $\mathcal{S}(M)$ 与 $M$ 上的全局傅里叶变换，实现基变量 $x$ 中衰减的符号演算。
• 从 $T^*M$ 上的符号构造符号映射与 $\lambda$-量化映射，将符号映射到伪微分算子，并建立代数同构。
• 显式构造 $T^*M$ 上的 Moyal 星积，提供与符号演算相容的形变量子化结构。
• 将该演算应用于卡坦-哈达玛流形，并证明 $\mathbb{H}^2$ 具有 $S_1$-有界几何，从而在 $\mathcal{S}(\mathbb{H}^2)$ 上构建全局符号演算。

实验结果

研究问题

• RQ1 能否利用几何线性化结构，在非紧流形上构建全局、无坐标依赖的伪微分演算？
• RQ2 如何在符号估计中实现对基变量 $x$ 的均匀与衰减控制，以确保 $L^2$-有界性？
• RQ3 在该全局设定下，$\lambda$-量化映射是否在符号与伪微分算子之间实现代数同构？
• RQ4 哪些几何条件（如 $S_\sigma$-有界几何）是此类演算存在的必要与充分条件？
• RQ5 该演算能否应用于特定非紧流形（如双曲平面）？其是否对阶 $(0,0)$ 算子实现 $L^2$-连续性？

主要发现

• 本文利用抽象指数映射在具有线性化结构的流形上构建了全局伪微分演算，实现了坐标无关的符号定义。
• $\lambda$-量化映射在符号与伪微分算子之间实现代数同构，推广了 $\mathbb{R}^n$ 上的标准量化。
• 该演算在复合下保持稳定，且在假设 $(C_\sigma)$ 下，符号乘积具有渐近公式。
• 证明了双曲 2-空间 $\mathbb{H}^2$ 具有 $S_1$-有界几何，从而可在 $\mathcal{S}(\mathbb{H}^2)$ 上构建全局符号演算。
• 在假设 $(H_V)$ 下，阶 $(0,0)$ 伪微分算子的 $L^2$-连续性得以确立，但该条件的必要性仍为开放问题。
• 在 $T^*M$ 上显式构造了 Moyal 星积，提供了与符号演算相容的形变量子化结构。