伪微分算子

维基百科,自由的百科全书
跳转至: 导航搜索

数学分析中,伪微分算子微分算子的推广。伪微分算子在偏微分方程量子场论等领域有广泛的应用。

发展动机[编辑]

常系数线性微分算子[编辑]

u为一个定义在\mathbb{R}^n上的紧支撑光滑函数,考虑下面的常数系数微分算子:

 P(D):= \sum_\alpha c_\alpha \, D^\alpha

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

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

  P(\xi)=\sum_\alpha c_\alpha \, \xi^\alpha

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

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

 (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

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

(1)中不难发现,一个微分算子可以用它的傅立叶变换表示出来。类似地,一个伪微分算子也可以这样定义:

 (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 ,

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

式(1)是如何得到的[编辑]

如上选取的u,其傅立叶变换为

\hat u(\xi):= \int e^{- i y \xi} u(y)dy

而从傅立叶逆变换公式可以知道

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

P(D)应用于这个u,则有

P(D_x)\, e^{i(x - y)\xi} = e^{i(x - y)\xi} \, P(\xi)

由此就得到了(1)

利用伪微分算子表示偏微分方程的解[编辑]

为了求解方程

 P(D)\, u = f

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

 P(\xi)\, \hat u(\xi)=\hat f(\xi).

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

 \hat u(\xi)=\frac{1}{P(\xi)} \hat f(\xi)

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

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

请注意我们的假设:

  1. P(D)是一个系数的微分算子。
  2. 它的符号P(\xi)永远不为0
  3. uf都有傅立叶变换。

最后一个条件可以利用和分佈相关的定理减弱(这里的分布不是统计中的分布,而是分析中的概念),而前面两个条件则可以利用如下的方法减弱:

f的傅立叶变换写出可以得到

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

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

符号类和伪微分算子[编辑]

我们核心的目的是通过公式(1),在允许使用更一般的P(x,\xi)的条件下,定义算子P(x,D)

 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.

因此假设P(x, \xi)属于某个特定的符号类

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

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

那么P就属于一个Hörmander类Hörmander class),我们将它记为S^m_{1,0}

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

性质[编辑]

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

两个伪微分算子P,Q复合PQ也是一个伪微分算子,而且PQ的符号可以用PQ的符号来计算。

一个伪微分算子的伴随算子adjoint operator)和转置算子transpose operator)仍然是一个伪微分算子。

如果一个m阶微分算子是一个(m阶一致的)椭圆算子elliptic operator)并且可逆invertable),那么它的逆算子是一个-m阶的伪微分算子,并且可以算出它的符号。这就意味着在某种意义下,人们可以利用伪微分算子的理论,精确地求解线性椭圆微分方程linear elliptic differential equations)。

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

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

文獻[编辑]

下面是一些标准的英文参考书:

  • 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

外部链接[编辑]