[论文解读] Singular integral operators on non-compact manifolds and analysis on polyhedral domains

Victor Nistor|ArXiv.org|Feb 19, 2004

Advanced Operator Algebra Research参考文献 48被引用 3

一句话总结

本文提出了一套分析非紧流形上奇异积分算子与伪微分算子的框架，特别针对在无穷远处具有李结构的流形，并将其应用于多面体区域上的边值问题。该文建立了算子代数 $\Psi_{\mathcal{V}}^{\infty}(M)$ 中算子的弗雷德霍姆条件，并确定了具有多柱形端的流形上狄拉克算子的本质谱，证明其在边界面非退化条件下为 $(-\infty, -c] \cup [c, \infty)$。

ABSTRACT

We review the definition of a Lie manifold $(M, \VV)$ and the construction of the algebra $Ψ\sp{\infty}\sb{\VV}(M)$ of pseudodifferential operators on a Lie manifold $(M, \VV)$. We give some concrete Fredholmness conditions for pseudodifferential operators in $Ψ\sp{\infty}\sb{\VV}(M)$ for a large class of Lie manifolds $(M, \VV)$. These Fredholmness conditions have applications to boundary value problems on polyhedral domains and to non-linear PDEs on non-compact manifolds. As an application, we determine the spectrum of the Dirac operator on a manifold with multi-cylindrical ends.

研究动机与目标

• 将伪微分算子理论扩展至在无穷远处具有李结构的非紧流形，以实现对多面体区域上边值问题的分析。
• 在一类李流形（特别是 I 型李流形）上，为 $\Psi_{\mathcal{V}}^{\infty}(M)$ 中的算子建立明确的弗雷德霍姆性准则。
• 确定具有多柱形端的流形上狄拉克算子的本质谱，推广已知的拉普拉斯算子结果。
• 统一并扩展现有关于奇异与非紧几何设定下谱理论与椭圆正则性的结果。

提出的方法

• 利用李流形 $(M, \mathcal{V})$ 的概念，其中 $\mathcal{V}$ 是一个生成无穷远处合适结构的向量场李代数。
• 通过梅尔罗兹的量化程序构造伪微分算子代数 $\Psi_{\mathcal{V}}^{\infty}(M)$，推广经典紧流形上的微分算子演算。
• 引入“I 型李流形”以基于无穷远处的行为，推导 $\Psi_{\mathcal{V}}^{\infty}(M)$ 中算子的具体弗雷德霍姆性条件。
• 应用群胚技巧与渐近分析研究微分算子的本质谱，特别是狄拉克算子。
• 通过按余维数递增的面进行归纳推理，利用无穷远处边界结构及超面上狄拉克算子的可逆性。
• 利用克利福德乘法与谱对称性论证（通过酉变换 $V$），证明 $\sigma(D_1) = (-\infty, -c] \cup [c, \infty)$，从而得出本质谱结果。

实验结果

研究问题

• RQ1 在李流形上，$\Psi_{\mathcal{V}}^{\infty}(M)$ 中伪微分算子成为弗雷德霍姆算子的充要条件是什么？
• RQ2 在具有多柱形端的非紧流形上，狄拉克算子的本质谱如何表现？
• RQ3 在何种几何与分析条件下，多面体区域上的狄拉克算子是弗雷德霍姆算子或可逆算子？
• RQ4 零维面（点）的存在如何影响狄拉克算子的本质谱？
• RQ5 拉普拉斯算子在多柱形端上的谱理论在多大程度上可推广至狄拉克算子？

主要发现

• 具有多柱形端的流形上狄拉克算子的本质谱为 $(-\infty, -c] \cup [c, \infty)$，其中 $c^{-1} = \max\{\|D_H^{-1}\|\}$ 对所有超面 $H$ 取值。
• 若在任意满足 $F \neq M$ 的面上均不存在 $L^2$-调和旋量，则狄拉克算子 $D_M$ 是弗雷德霍姆算子当且仅当对所有此类面均有 $\ker(D_F) = 0$。
• 狄拉克算子 $D_M$ 可逆当且仅当 $\ker(D_M) = 0$，这等价于所有面上均不存在 $L^2$-调和旋量。
• 当流形具有零维面（点）时，狄拉克算子的本质谱为 $\mathbb{R}$，原因在于 $\mathbb{R}^n$ 上狄拉克算子的谱为 $\mathbb{R}$。
• 只要存在至少一个满足 $F \neq M$ 且 $\ker(D_F) = 0$ 的面，则狄拉克算子的本质谱必包含 $\mathbb{R}$，从而有 $\sigma_e(D_M) = \mathbb{R}$。
• 所得结果与巴尔 [14] 在有限体积流形上的结果相容，尽管几何设定不同（共形等价但不完全相同）。