常系数线性微分算子
设 为一个定义在 上的紧支撑的光滑函数,考虑下面的常数系数微分算子:
-
利用傅立叶变换,可以将这个微分算子用另外一种等价的形式表达:
首先将这个算子的傅立叶变换写出,
-
注意这里已经将微分变换为频率域中的乘法,所以整个算子的傅立叶变换成为一个频率域中的多项式。我们一般称其为一个符号(symbol)。
这个符号的傅立叶逆变换为
-
注意,上面的 表示了一个多重指标,而 则是利用这个多重指标定义的一个微分算子,具体可以写为
,其中 表示对第 个变量的微分。另外,各个系数 都是 中的常数。
从 中不难发现,一个微分算子可以用它的傅立叶变换表示出来。类似地,一个伪微分算子也可以这样定义:
- ,
与 的区别在于,这里的 可以是一个更一般的函数。
式(1)是如何得到的
如上选取的 ,其傅立叶变换为
-
而从傅立叶逆变换公式可以知道
-
将 应用于这个 ,则有
-
由此就得到了 。
利用伪微分算子表示偏微分方程的解
为了求解方程
-
我们可以形式地将傅立叶变换应用于方程两边,从而得到一个代数的方程
- .
如果符号 对于任何 都不是 ,那么除以 后则有
-
由傅立叶逆变换公式,则可以得到一个解
- .
请注意我们的假设:
- 是一个常系数的微分算子。
- 它的符号 永远不为 。
- 和 都有傅立叶变换。
最后一个条件可以利用和分布相关的定理减弱(这里的分布不是统计中的分布,而是分析中的概念),而前面两个条件则可以利用如下的方法减弱:
将 的傅立叶变换写出可以得到
- .
此式的形式与 非常相似,区别仅在 不是一个多项式函数,而是一个更一般的函数,因此引出下面的主题:
符号类和伪微分算子
我们核心的目的是通过公式 ,在允许使用更一般的 的条件下,定义算子 :
-
因此假设 属于某个特定的符号类。
例如,如果 是一个 上无限可微的函数,并且对于所有 和所有多重指标 ,以及某些给定的常数 ,给定的实数 , 都满足
-
那么 就属于一个Hörmander类,我们将它记为 。
而对应的算子 则被称为一个 阶的伪微分算子,并且属于 类。
一个系数为有界光滑函数的 阶线性微分算子是一个 阶的伪微分算子。
两个伪微分算子 的复合 也是一个伪微分算子,而且 的符号可以用 和 的符号来计算。
一个伪微分算子的伴随算子和转置算子仍然是一个伪微分算子。
如果一个 阶微分算子是一个( 阶一致的)椭圆算子并且可逆,那么它的可逆算子是一个 阶的伪微分算子,并且可以算出它的符号。这就意味着在某种意义下,人们可以利用伪微分算子的理论,精确地求解线性椭圆微分方程。
一个微分算子是局部的,因为它只需要知道被作用的函数在某个点附近的某个邻域中的值,就可以求出这个算子在这个点附近作用的效果。而伪微分算子有时也被非正式地被叫做伪局部的,因为它作用在一个分布上的时候,不会在这个分布的光滑部分产生新的奇点。
如同一个微分算子可以用 的记号,以 表出(其中 是 的多项式,称为符号),伪微分算子的符号可以用比多项式更一般的函数表示。一般而言,人们可以将一个伪微分算子的分析问题转化为一个与它的符号相关的一系列代数问题,而这也是微局部分析的基本思想。