[论文解读] Pseudodifferential operators of infinite order in spaces of tempered ultradistributions

Bojan Prangoski|arXiv (Cornell University)|Mar 25, 2013

advanced mathematical theories参考文献 6被引用 9

一句话总结

本文构建了作用于Beurling型与Roumieu型缓增超函数空间上的无限阶伪微分算子的全局符号类。它发展了一套符号演算，包括量子化变换、算子复合与转置算子的渐近展开，为在该超函数框架下研究Anti-Wick算子与Weyl算子建立了理论基础。

ABSTRACT

Specific global symbol classes and corresponding pseudodifferential operators of infinite order that act continuously on the space of tempered ultradistributions of Beurling and Roumieu type are constructed. For these classes, symbolic calculus is developed.

研究动机与目标

• 构建适用于作用于Beurling型与Roumieu型缓增超函数的无限阶伪微分算子的全局符号类。
• 为这些算子建立符号演算框架，包括复合、量子化变换以及转置算子的渐近展开。
• 提供一个功能框架——缓增超函数——通过精心构造的符号权函数支持Anti-Wick算子与Weyl算子的分析。
• 将现有的有限阶符号类推广至无限阶情形，同时保持算子作用的连续性与拟连续性。
• 证明缓增超函数空间上的核定理，支持对偶性与连续性分析。

提出的方法

• 引入符号类 $\Gamma_{A_p,B_p,\rho}^{*,\infty}(\mathbb{R}^{2d})$，其权函数由满足条件 (M.1)、(M.2) 与 (M.3) 的序列 $M_p$ 导出，以确保适当的生长控制。
• 定义符号的 $\tau$-量子化以生成伪微分算子 $\mathrm{Op}_\tau(a)$，并证明映射 $(a,u) \mapsto \mathrm{Op}_\tau(a)u$ 对测试空间中的 $u$ 是拟连续的。
• 通过形式级数 $\sum_j a_j$ 构造符号的渐近展开，余项估计属于 $FS_{A_p,B_p,\rho}^{*,\infty}$，确保在符号空间中的收敛性。
• 应用涉及乘积 $\partial^\alpha_\xi a \cdot \partial^\alpha_x b$ 的导数 $D^\gamma_\xi D^\delta_x$ 的估计，使用包含 $A_p$、$B_p$ 与关联函数 $M(\rho)$ 的界。
• 利用缓增超函数的核定理刻画连续线性泛函，并支持算子作用的连续性。
• 应用控制生长并确保符号展开正则性的主要化方法与主要化序列 $N_p = M_p \prod_{j=1}^p r_j$（其中 $r_p \in \mathfrak{R}$）。

实验结果

研究问题

• RQ1 如何构建作用于Beurling型与Roumieu型缓增超函数上的无限阶伪微分算子的全局符号类，以保证其作用的连续性？
• RQ2 针对此类算子，可发展何种符号演算框架，包括复合与量子化变换？
• RQ3 在此设定下，转置算子的符号渐近展开如何刻画？
• RQ4 权重 $A_p$、$B_p$ 与参数 $\rho$ 在保证算子作用的连续性与正则性方面起什么作用？
• RQ5 该理论能否支持在缓增超函数框架下对Anti-Wick算子与Weyl算子的分析？

主要发现

• 符号类 $\Gamma_{A_p,B_p,\rho}^{*,\infty}(\mathbb{R}^{2d})$ 定义良好，并在符号演算操作下封闭，包括复合与量子化变换。
• 对 $a, b \in \Gamma_{A_p,B_p,\rho}^{*,\infty}(\mathbb{R}^{2d})$，有复合 $a(x,D)b(x,D) = c(x,D) + T$，其中 $c$ 具有渐近展开 $c(x,\xi) \sim \sum_{j=0}^\infty \sum_{s+k+l=j} \sum_{|\alpha|=l} \frac{1}{\alpha!} \partial^\alpha_\xi a_s(x,\xi) D^\alpha_x b_k(x,\xi)$，且 $T$ 为 *-正则化算子。
• 在所有 $N$ 与 $|\alpha| < N$ 下，恒等式 $\sum_{j=0}^{N-1} \sum_{|\alpha|=j} \frac{1}{\alpha!} \partial^\alpha_\xi a D^\alpha_x b \sim \sum_{j=0}^{N-1} \sum_{s+k+l=j} \sum_{|\alpha|=l} \frac{1}{\alpha!} \partial^\alpha_\xi a_s D^\alpha_x b_k$ 在 $Q_{Bm_N}^c$ 上一致成立。
• 渐近展开余项的导数被统一有界于包含 $c_0^4 \tilde{C}^2 (4hH)^{| one|+| one|+2N} A_\gamma B_\delta A_N B_N e^{M(mH|\xi|)} e^{M(mH|x|)} / \langle(x,\xi)\rangle^{\rho|\gamma| + \rho|\delta| + 2N\rho}$ 的表达式。
• 已证明映射 $(a,u) \mapsto \mathrm{Op}_\tau(a)u$ 对测试空间中的 $u$ 是拟连续的，确保算子作用在超函数上的连续性。
• 为缓增超函数空间证明了核定理，通过核表示刻画连续线性泛函，支持对偶性与连续性框架。