[论文解读] Full asymptotic expansion of the heat trace for non-self-adjoint elliptic cone operators

Juan B. Gil|arXiv (Cornell University)|Apr 26, 2000

Spectral Theory in Mathematical Physics参考文献 26被引用 8

一句话总结

本文建立了在具有圆锥奇点的流形上，非自伴椭圆锥型微分算子的热迹的完整渐近展开。通过引入依赖参数的伪微分演算并构造预解式 $(A - u)^{-1}$ 的拟逆，作者证明了当 $t \to 0^+$ 时，热迹 $\tr e^{-tA}$ 具有完整的渐近展开，将经典结果推广至非自伴与奇点情形。

ABSTRACT

The operator $e^{-tA}$ and its trace are investigated in the case when $A$ is a non-self-adjoint elliptic differential operator on a manifold with conical singularities. Under a certain spectral condition (parameter-ellipticity) we obtain a full asymptotic expansion in $t$ of the heat trace as $t o 0^+$. As in the smooth compact case, the problem is reduced to the investigation of the resolvent $(A-λ)^{-1}$. The main step will consist in approximating this operator family by a parametrix to $A-λ$ using a suitable parameter-dependent calculus.

研究动机与目标

• 将经典热迹渐近展开结果推广至具有圆锥奇点的流形上的非自伴椭圆锥型算子。
• 利用依赖参数的伪微分技术，为这类算子的预解式 $(A - \nu)^{-1}$ 建立严格的框架。
• 通过复平面上某扇形内的参数椭圆性，将椭圆性概念推广至非自伴情形。
• 在合适的算子值符号演算中构造 $A - \nu$ 的拟逆，以实现热迹渐近分析。
• 证明热算子 $e^{-tA}$ 属于格林锥代数，从而确保渐近展开的有效性。

提出的方法

• 为锥型算子量身定制依赖参数的伪微分演算，对谱参数 $\nu$ 采用非各向同性处理。
• 通过扇形 $\nu \notin \text{sector}(\nu)$ 定义非自伴算子的参数椭圆性，推广 Agmon 条件。
• 在加权 Sobolev 空间中，利用扭齐次符号与格林算子值符号构造 $A - \nu$ 的拟逆。
• 采用 Grubb 与 Seeley 演算的改进版本，实现局部符号在 $|\nu| \to \infty$ 时关于 $\nu$ 的渐近展开。
• 应用 Dunford 积分从预解式定义半群 $\{ e^{-tA} \}_{t>0}$，确保其属于锥代数。
• 利用预解式估计与拟逆构造，推导出 $\tr e^{-tA}$ 在 $t \to 0^+$ 时的完整渐近展开。

实验结果

研究问题

• RQ1 能否为非自伴椭圆锥型算子建立热迹的完整渐近展开？
• RQ2 如何定义并利用参数椭圆性，以确保预解式 $(A - \nu)^{-1}$ 在加权 Sobolev 空间上的可逆性？
• RQ3 扭齐次符号与格林算子值符号在构造 $A - \nu$ 的拟逆中起什么作用？
• RQ4 预解式的结构在多大程度上决定了热迹在 $t = 0$ 附近的渐近行为？
• RQ5 如何严格定义半群 $e^{-tA}$ 并证明其属于锥代数，以确保渐近展开的有效性？

主要发现

• 热迹 $\tr e^{-tA}$ 在 $t \to 0^+$ 时具有完整渐近展开，其系数由算子 $A$ 的谱与几何数据决定。
• 当且仅当 $A$ 在扇形 $\nu \in \Lambda$ 内参数椭圆，且满足 $\arg \nu \in [\varphi, 2\pi - \varphi]$ 时，预解式 $(A - \nu)^{-1}$ 在加权 Sobolev 空间上可逆。
• 在依赖参数的演算中构造了 $A - \nu$ 的拟逆，其误差项属于 $\mathrm{R}^{-\infty}_{\mathrm{G}}(\Lambda, (\gamma,\delta))$，确保在 $\nu$ 上快速衰减。
• 热算子 $e^{-tA}$ 属于格林锥代数，这保证了渐近展开的存在性与结构。
• 预解式符号的主部为扭齐次符号，其次数为 $(\mu, d)$，且完整符号展开与 Mellin 伪微分框架相容。
• 热迹的渐近展开完全由预解式与格林算子的扭齐次主符号决定。