伪微分算子
数学名词
数学分析中,伪微分算子是微分算子的推广。伪微分算子在偏微分方程量子场论等领域有广泛的应用。
发展历史
伪微分算子的研究始于20世纪60年代中期,Kohn,Nirenberg,Hörmander,Unterberger和Bokobza[1]的工作。
他们在Atiyah-Singer指数定理的第一个证明中发挥了重要作用。Atiyah和Singer感谢Hörmander帮助理解伪微分算子的理论。
动机
常系数线性微分算子
设 为一个定义在 上的紧支撑的光滑函数,考虑下面的常数系数微分算子:
利用傅立叶变换,可以将这个微分算子用另外一种等价的形式表达,首先将这个算子的傅立叶变换写出,
注意这里已经将微分变换为频率域中的乘法,所以整个算子的傅立叶变换成为一个频率域中的多项式。我们一般称其为一个符号(symbol)。
这个符号的傅立叶逆变换为
注意,上面的 表示了一个多重指标,而 则是利用这个多重指标定义的一个微分算子,具体可以写为 ,其中 表示对第j个变量的微分。另外,各个系数 都是 中的常数。
从(1)中不难发现,一个微分算子可以用它的傅立叶变换表示出来。类似地,一个伪微分算子也可以这样定义:
与(1)的区别在于,这里的 可以是一个更一般的函数。
式(1)是如何得到的
如上选取的u,其傅立叶变换为
而从傅立叶逆变换公式可以知道
将P(D)应用于这个u,则有
由此就得到了(1)。
利用伪微分算子表示偏微分方程的解
为了求解方程
我们可以形式地将傅立叶变换应用于方程两边,从而得到一个代数的方程
如果符号 对于任何 都不是0,那么除以后则有
由傅立叶逆变换公式,则可以得到一个解
请注意我们的假设:
1.P(D)是一个常系数的微分算子。
2.它的符号 永远不为0。
3.u和f都有傅立叶变换。
最后一个条件可以利用和分布相关的定理减弱(这里的分布不是统计中的分布,而是分析中的概念),而前面两个条件则可以利用如下的方法减弱:
将f的傅立叶变换写出可以得到
此式的形式与(1)非常相似,区别仅在 不是一个多项式函数,而是一个更一般的函数,因此引出下面的主题:
符号类和伪微分算子
我们核心的目的是通过公式(1),在允许使用更一般的 的条件下,定义算子P(x,D):
因此假设 属于某个特定的符号类。
例如,如果 是 一个上无限可微的函数,并且对于所有 和所有多重指标 ,以及某些给定的常数 ,给定的实数m,P都满足
那么P就属于一个Hörmander类,我们将它记为
而对应的算子P(x,D)则被称为一个m阶的伪微分算子,并且属于类 。
性质
一个系数为有界光滑函数的m阶线性微分算子是一个m阶的伪微分算子。
两个伪微分算子P,Q的复合PQ也是一个伪微分算子,而且PQ的符号可以用P和Q的符号来计算。
一个伪微分算子的伴随算子和转置算子仍然是一个伪微分算子。
如果一个m阶微分算子是一个(m阶一致的)椭圆算子并且可逆,那么它的可逆算子是一个-m阶的伪微分算子,并且可以算出它的符号。这就意味着在某种意义下,人们可以利用伪微分算子的理论,精确地求解线性椭圆微分方程。
一个微分算子是局部的,因为它只需要知道被作用的函数在某个点附近的某个邻域中的值,就可以求出这个算子在这个点附近作用的效果。而伪微分算子有时也被非正式地被叫做伪局部的,因为它作用在一个分布上的时候,不会在这个分布的光滑部分产生新的奇点
如同一个微分算子可以用 的记号,以P(x,D)表出(其中P是D的多项式,称为符号),伪微分算子的符号可以用比多项式更一般的函数表示。一般而言,人们可以将一个伪微分算子的分析问题转化为一个与它的符号相关的一系列代数问题,而这也是微局部分析的基本思想。
伪微分算子的核
伪微分算子可以用核来表示。核在对角线上的奇异性取决于相应算子的程度。实际上,如果符号满足上述微分不等式且m≤0,就可以证明该核是一个奇异积分核。
相关概念
最新修订时间:2024-05-21 13:04
目录
概述
发展历史
动机
参考资料