查看“伪微分算子”的源代码

[[数学分析]]中，'''伪微分算子'''是[[微分算子]]的推广。伪微分算子在[[偏微分方程]]和[[量子场论]]等领域有广泛的应用。

== 发展动机==
=== 常系数线性微分算子 ===
设<math>u</math>为一个定义在<math>\mathbb{R}^n</math>上的[[支撑集|紧支撑]]的[[光滑函数]]，考虑下面的[[常数]]系数微分算子：

:<math> P(D):= \sum_\alpha c_\alpha \, D^\alpha </math>

利用[[傅立叶变换]]，可以将这个微分算子用另外一种等价的形式表达：

首先将这个算子的傅立叶变换写出，

:<math>  P(\xi)=\sum_\alpha c_\alpha \, \xi^\alpha </math>

注意这里已经将微分变换为[[频率域]]中的[[乘法]]，所以整个算子的傅立叶变换成为一个频率域中的[[多项式]]。我们一般称其为一个'''符号'''（'''symbol'''）。

这个符号的傅立叶逆变换为

:<math> (1) \quad P(D)u(x) =
\frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i(x - y)\xi} P(\xi)u(y) dy d\xi </math>

注意，上面的<math>\alpha = (\alpha_1,\dots, \alpha_n) \in \mathbb{N}_0^n</math>表示了一个[[多重指标]]，而<math>D^\alpha</math>则是利用这个多重指标定义的一个微分算子，具体可以写为<math>D^\alpha = (-i \partial_1)^{\alpha_1} \dots (-i \partial_n)^{\alpha_n}</math>
，其中<math>\partial_j</math>表示对第<math>j</math>个变量的微分。另外，各个系数<math>C_\alpha</math>都是<math>\mathbb{C}</math>中的常数。

从<math>(1)</math>中不难发现，一个微分算子可以用它的傅立叶变换表示出来。类似地，一个'''伪微分算子'''也可以这样定义：

:<math> (2) \quad P(x,D)u(x) =
\frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i(x - y)\xi} P(x,\xi)u(y) dy d\xi </math>,

与<math>(1)</math>的区别在于，这里的<math>P(x, \xi)</math>可以是一个更一般的函数。

==== 式（1）是如何得到的 ====
如上选取的<math>u</math>，其傅立叶变换为

:<math>\hat u(\xi):= \int e^{- i y \xi} u(y)dy</math>
 
而从傅立叶逆变换公式可以知道

:<math>u(x)=\frac{1}{(2 \pi)^n} \int e^{i x \xi} \hat u(\xi)d\xi =
\frac{1}{(2 \pi)^n} \int \int e^{i(x - y)\xi} u(y)dy d\xi </math>

将<math>P(D)</math>应用于这个<math>u</math>，则有

:<math>P(D_x)\, e^{i(x - y)\xi} = e^{i(x - y)\xi} \, P(\xi)</math>

由此就得到了<math>(1)</math>。

=== 利用伪微分算子表示偏微分方程的解 ===

为了求解方程

:<math> P(D)\, u = f </math>

我们可以形式地将傅立叶变换应用于方程两边，从而得到一个''代数的''方程

:<math> P(\xi)\, \hat u(\xi)=\hat f(\xi)</math>.

如果符号<math>P(\xi)</math>对于任何<math>\xi \in \mathbb{R}^n</math>都不是<math>0</math>，那么除以<math>P(\xi)</math>后则有

:<math> \hat u(\xi)=\frac{1}{P(\xi)} \hat f(\xi)</math>

由傅立叶逆变换公式，则可以得到一个解

:<math>  u(x)=\frac{1}{(2 \pi)^n} \int e^{i x \xi} \frac{1}{P(\xi)} \hat f(\xi)d\xi</math>.

请注意我们的假设：

# <math>P(D)</math>是一个''常''系数的微分算子。
# 它的符号<math>P(\xi)</math>永远不为<math>0</math>。
# <math>u</math>和<math>f</math>都有傅立叶变换。

最后一个条件可以利用和[[分布 (數學分析)|分佈]]相关的定理减弱（这里的分布不是统计中的分布，而是分析中的概念），而前面两个条件则可以利用如下的方法减弱：

将<math>f</math>的傅立叶变换写出可以得到

:<math>  u(x)=\frac{1}{(2 \pi)^n} \int \int e^{i(x-y)\xi} \frac{1}{P(\xi)} f(y)dy d\xi</math>.

此式的形式与<math>(1)</math>非常相似，区别仅在<math>\frac{1}{P(\xi)}</math>不是一个多项式函数，而是一个更一般的函数，因此引出下面的主题：

=== 符号类和伪微分算子 ===
我们核心的目的是通过公式<math>(1)</math>，在允许使用更一般的<math>P(x,\xi)</math>的条件下，定义算子<math>P(x,D)</math>：

:<math> P(x,D)u(x) =
\frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i(x - y)\xi} P(x,\xi)u(y) dy d\xi.</math>

因此假设<math>P(x, \xi)</math>属于某个特定的''符号类''。

例如，如果<math>P(x,\xi)</math>是一个<math>\mathbb{R}^n \times \mathbb{R}^n</math>上无限可微的函数，并且对于所有<math>x,\xi</math>和所有多重指标<math>\alpha,\beta</math>，以及某些给定的常数<math>C_{\alpha, \beta}</math>，给定的实数<math>m</math>，<math>P</math>都满足

:<math> |\partial_\xi^\alpha \partial_x^\beta P(x,\xi)| \leq C_{\alpha,\beta} \, (1 + |\xi|)^{m - |\alpha|} </math>

那么<math>P</math>就属于一个{{le|Hörmander类|Hörmander class}}，我们将它记为<math>S^m_{1,0}</math>。

而对应的算子<math>P(x,D)</math>则被称为一个'''<math>m</math>阶的伪微分算子'''，并且属于<math>\Psi^m_{1,0}</math>类。

== 性质 ==

一个系数为有界光滑函数的<math>m</math>阶线性微分算子是一个<math>m</math>阶的伪微分算子。

两个伪微分算子<math>P,Q</math>的[[复合函数|复合]]<math>PQ</math>也是一个伪微分算子，而且<math>PQ</math>的符号可以用<math>P</math>和<math>Q</math>的符号来计算。

一个伪微分算子的[[伴随算子]]和{{le|转置算子|transpose operator}}仍然是一个伪微分算子。

如果一个<math>m</math>阶微分算子是一个（<math>m</math>阶一致的）[[椭圆算子]]并且{{le|可逆算子|invertable operator|可逆}}，那么它的可逆算子是一个<math>-m</math>阶的伪微分算子，并且可以算出它的符号。这就意味着在某种意义下，人们可以利用伪微分算子的理论，精确地求解{{le|线性椭圆微分方程|linear elliptic differential equations}}。

一个微分算子是''局部的''，因为它只需要知道被作用的函数在某个点附近的某个邻域中的值，就可以求出这个算子在这个点附近作用的效果。而伪微分算子有时也被非正式地被叫做''伪局部的''，因为它作用在一个分布上的时候，不会在这个分布的光滑部分产生新的[[奇点]]。

如同一个微分算子可以用<math>D = -i d/d x</math>的记号，以<math>P(x, D)</math>表出（其中<math>P</math>是<math>D</math>的多项式，称为''符号''），伪微分算子的符号可以用比多项式更一般的函数表示。一般而言，人们可以将一个伪微分算子的分析问题转化为一个与它的符号相关的一系列代数问题，而这也是{{le|微局部分析|microlocal analysis}}的基本思想。

== 文獻 ==
下面是一些标准的英文参考书：
* Michael E. Taylor, Pseudodifferential Operators, Princeton Univ. Press 1981. ISBN 0691082820
* M. A. Shubin, Pseudodifferential Operators and Spectral Theory, Springer-Verlag 2001. ISBN 354041195X
* Francois Treves, Introduction to Pseudo Differential and Fourier Integral Operators, (University Series in Mathematics), Plenum Publ. Co. 1981. ISBN 0306404044
*  F. G. Friedlander and M. Joshi, Introduction to the Theory of Distributions, Cambridge University Press 1999. ISBN 0521649714

== 外部链接 ==
* [http://arxiv.org/abs/math.AP/9906155 Lectures on Pseudo-differential Operators]作者：M.S. Joshi，置於arxiv.org.

[[Category:泛函分析|U]]
[[Category:偏微分方程|U]]