[论文解读] The iterative Structure of Corner Operators

B.‐W. Schulze|ArXiv.org|May 7, 2009

Holomorphic and Operator Theory参考文献 48被引用 15

一句话总结

本文提出了一种用于具有多面体奇点的流形上的椭圆微分算子的迭代微分几何演算，采用广义的边界与棱边符号的分层符号结构。通过主符号层次结构，建立了参数型算子与弗雷德霍姆理论的框架，从而实现了对具有任意阶数的角点奇异性的分层空间上退化微分算子的分析。

ABSTRACT

We give a brief survey on some new developments on elliptic operators on manifolds with polyhedral singularities. The material essentially corresponds to a talk given by the author during the Conference "Elliptic and Hyperbolic Equations on Singular Spaces", October 27 - 31, 2008, at the MSRI, University of Berkeley.

研究动机与目标

• 为具有高阶角点与棱边的流形上的椭圆算子发展系统化的伪微分演算。
• 将边值问题理论推广至具有嵌套奇点的分层空间，包括锥体与楔形区域。
• 定义一个主符号层次结构，以捕捉在多个奇点层面上的椭圆性。
• 在对复合与逆运算封闭的算子代数中构造椭圆元素的参数型算子。
• 通过迭代与分层方法统一并扩展现有的边算子与角点算子理论。

提出的方法

• 递归地定义具有 $k$ 阶奇点的流形类别 $\mathfrak{M}_k$，将更高阶的角点建模为低阶奇点层上的锥丛。
• 构造主符号层次结构 $\sigma = (\sigma_j)_{0 \leq j \leq k}$，其中 $\sigma_0$ 为内部区域的标准主符号，$\sigma_j$（$j > 0$）为在低阶奇点层上的算子值符号。
• 利用在拉伸锥体上的加权索伯列夫空间 $\mathcal{K}^{s,\gamma}(X^\wedge)$ 定义具有缩放 $\kappa_\lambda$ 下齐次性的齐次边符号。
• 在拉伸坐标下将微分算子建模为退化向量场 $r_j \partial / \partial r_j$ 与 $r_1 \cdots r_j \partial / \partial y_{j,l}$ 的多项式，其系数在 $r_j = 0$ 处光滑。
• 引入权重因子 $(r_1 \cdots r_k)^{-m}$ 表示 $m$ 阶算子，以保证齐次性并兼容符号层次结构。
• 将该演算应用于拉普拉斯-贝尔特拉米算子在拉伸锥体与楔形区域上的情形，证明其形式为 $r^{-m} \sum a_{j\alpha}(r,y) (-r\partial_r)^j (rD_y)^\alpha$，其中系数 $a_{j\alpha}$ 光滑。

实验结果

研究问题

• RQ1 如何将椭圆理论推广至具有任意阶数 $k$ 的多面体奇点的流形上？
• RQ2 何种符号层次结构能够捕捉在多个嵌套奇点层面上的椭圆性？
• RQ3 椭圆算子的参数型算子在角点算子代数中如何表现？
• RQ4 加权索伯列夫空间与缩放不变性在定义边符号中起何作用？
• RQ5 如何通过递归锥丛结构迭代构造更高阶角点的演算？

主要发现

• 主符号层次结构 $\sigma = (\sigma_j)_{0 \leq j \leq k}$ 完全刻画了具有 $k$ 阶角点的流形上的椭圆性，其中 $\sigma_0$ 定义于内部，$\sigma_j$ 定义于低阶奇点层。
• 对于拉伸楔形区域 $X^\wedge \times \Omega$ 上的拉普拉斯-贝尔特拉米算子，其形式为 $A = r^{-m} \sum_{j+|\alpha| \leq m} a_{j\alpha}(r,y) (-r\partial_r)^j (rD_y)^\alpha$，其中系数 $a_{j\alpha} \in C^\infty(\overline{\mathbb{R}}_+ \times \Omega, \text{Diff}^{m-(j+|\alpha|)}(X))$。
• 齐次主边符号 $\sigma_1(A)(y,\eta)$ 作用于 $\mathcal{K}^{s,\gamma}(X^\wedge)$，并满足缩放 $\kappa_\lambda u(r,x) = \lambda^{(n+1)/2} u(\lambda r,x)$ 下的齐次性。
• 该演算通过将每一级对应奇点层的递归结构嵌入，推广了边值问题理论。
• 椭圆算子的弗雷德霍姆性质在主符号的稳定同伦下保持不变，且指标在这些形变下保持不变。
• 该框架支持参数型算子的显式构造，并可应用于标准拉普拉斯算子（在 $\mathbb{R}^n$ 中），经多次极坐标代换后适用于多面体区域。