伪微分算子(Pseudodifferential Operators)
伪微分算子是泛函分析中一类重要的算子,它推广了微分算子和奇异积分算子,在偏微分方程理论中具有核心地位。我将从基本概念出发,逐步解释其定义、符号类、运算性质及应用背景。
第一步:从微分算子到奇异积分算子的动机
考虑一个线性偏微分算子(例如,在 \(\mathbb{R}^n\) 上):
\[P(x, D) = \sum_{|\alpha| \leq m} a_\alpha(x) D^\alpha, \]
其中 \(D^\alpha = (-i\partial_x)^\alpha\)(傅里叶变换中常用的符号)。其作用可通过傅里叶变换表示为:
\[P(x, D)u(x) = \frac{1}{(2\pi)^n} \int e^{ix\cdot \xi} p(x, \xi) \hat{u}(\xi) \, d\xi, \]
这里 \(p(x, \xi) = \sum_{|\alpha| \leq m} a_\alpha(x) \xi^\alpha\) 称为符号。但这类算子仅能处理有限阶微分。为了研究更广泛的算子(如椭圆算子的逆),需引入奇异积分算子,其形式为:
\[Ku(x) = \frac{1}{(2\pi)^n} \iint e^{i(x-y)\cdot \xi} k(x, \xi) u(y) \, dy d\xi, \]
其中 \(k(x, \xi)\) 可能具有奇性(如 \(|\xi| \to \infty\) 时的增长)。伪微分算子将此类表示系统化。
第二步:符号类的定义
伪微分算子的核心是符号 \(a(x, \xi) \in C^\infty(\mathbb{R}^n \times \mathbb{R}^n)\) 满足渐进展开条件。标准符号类 \(S^m_{\rho, \delta}\)(其中 \(m \in \mathbb{R}\), \(0 \leq \rho, \delta \leq 1\))要求对多重指标 \(\alpha, \beta\):
\[|\partial_\xi^\alpha \partial_x^\beta a(x, \xi)| \leq C_{\alpha, \beta} (1 + |\xi|)^{m - \rho |\alpha| + \delta |\beta|}. \]
最常用的是 Hörmander 类 \(S^m = S^m_{1,0}\):符号在 \(\xi\) 方向衰减速度为 \(|\xi|^{m-|\alpha|}\),且对 \(x\) 的导数不恶化增长。例如,微分算子的符号 \(p(x, \xi) \in S^m\)(若系数有界)。
第三步:伪微分算子的构造与作用
给定符号 \(a \in S^m\),定义伪微分算子 \(\Op(a)\) 为:
\[\Op(a) u(x) = \frac{1}{(2\pi)^n} \iint e^{i(x-y)\cdot \xi} a(x, \xi) u(y) \, dy d\xi, \]
其中 \(u \in \mathcal{S}(\mathbb{R}^n)\)(Schwartz 空间)。此积分需理解为振荡积分(因 \(a(x, \xi)\) 在 \(\xi\) 增长,需正则化处理)。算子可延拓到更广的函数空间(如 Sobolev 空间)。
第四步:符号运算与复合规则
伪微分算子的威力在于其代数性质。若 \(A = \Op(a)\), \(B = \Op(b)\),则复合算子 \(A \circ B\) 仍是伪微分算子,其符号 \(c(x, \xi)\) 有渐进展开:
\[c(x, \xi) \sim \sum_{\alpha} \frac{(-i)^{|\alpha|}}{\alpha!} \partial_\xi^\alpha a(x, \xi) \, \partial_x^\alpha b(x, \xi), \]
即高阶项由符号的导数组合而成。类似地,伴随算子 \(A^*\) 的符号也有展开式。这些公式通过积分计算和泰勒展开推导,是微局部分析的基础。
第五步:椭圆性与拟逆
符号 \(a \in S^m\) 称为椭圆的,若存在 \(c > 0\) 使得:
\[|a(x, \xi)| \geq c (1 + |\xi|)^m \quad \text{当 } |\xi| \text{ 足够大}. \]
对此类算子,可构造拟逆 \(B \in S^{-m}\) 使得 \(AB - I\) 和 \(BA - I\) 为光滑核算子(属 \(S^{-\infty}\))。这给出了偏微分方程解的正则性理论的关键工具。
第六步:应用与推广
伪微分算子用于:
- 椭圆算子的正则性:若 \(Pu = f\) 且 \(P\) 椭圆,则 \(u\) 的正则性由 \(f\) 决定。
- 微局部分析:通过符号的奇性传播研究偏微分方程解的奇性。
- 推广至流形:通过局部坐标卡将理论推广到紧流形上。
总结而言,伪微分算子通过符号的渐进展开统一处理微分与积分算子,其代数结构和椭圆理论为线性偏微分方程提供了强大框架。