复习
- 多重指标: α=(α1,..αn)∈Nn,|α|=α1+....αn,Dj=−i∂∂xj
- 微分算子
P=∑|α|⩽maα(x)Dα
- P 的象征 是定义在
Ω×Rn 上关于 ξ 的多项式函数:P(x,ξ)=∑|α|⩽maα(x)ξα - P 的
m 阶主象征 是关于 ξ 的齐次函数P(x,ξ)=∑|α|=maα(x)ξα - 分布 满足下面条件的连续线性泛函 u 称为分布
|⟨u,ϕ⟩|⩽Csupx∈Ksup|α|⩽m|∂αϕ(x)| ∀ϕ|Ω/K=0∈C∞0(Ω) - 分布的导数 ∂iu
⟨∂ju,ϕ⟩=−⟨u,∂jϕ⟩同理,可以定义分布的数乘 au⟨au,ϕ⟩=⟨u,aϕ⟩;还可以定义分布上的微分算子 P=∑aαDα ,令 tPϕ=∑(−1)|α|Dα(aαϕ)⟨Pu,ϕ⟩=⟨u, tPϕ⟩
- 卷积
u∗v(x)=∫u(y)v(x−y)dy=∫u(x−y)v(y)dy卷积可以用来做“光滑化”: 构造光滑函数族 { uϵ=u∗ϕϵ} ,用它来逼近函数 u
∫uϵ(x)ψ(x)dx⟶⟨u,ψ⟩ - Rn 上的傅立叶分析 设 u∈S,ξ∈Rn 定义
u^(ξ)=∫e−iξxu(x)dxFu=u^ 称作是 u 的傅立叶变换,算子
F 具有如下性质:\bbox[20px,border:2pxsolidred]Djuˆ(ξ)τyuˆ(ξ)xjuˆ(ξ)(eixηuˆ)(ξ)=ξju^(ξ)=eiyξu^(ξ)=−Dju^(ξ)=τηu^(ξ)(a) - 傅里叶逆变换公式
u(x)=1(2π)n∫eixξu^(ξ)dξF 是 S 到 S 的同构。
动机
拟微分算子的研究开始于1960年代,最开始见于 Kohn,Hormander 等人的工作。拟微分算子在Atiyah-Singer 指标定理证明扮演了重要角色。[Atiyah, Michael F.; Singer, Isadore M. (1968)]人们将微分方程视作是微分算子所给出的映射,而解微分方程就相当于在某种意义上求算子的逆。我们知道,在微分算子类中,可以有加法和乘法,而除法(求逆)一般是不行的,找到一个合理的除法运算的定义就成为了数学家的目标。众所周知,傅立叶变换可以将自变量空间的微分运算转化成对偶空间的乘以多项式的运算 Djuˆ(ξ)=ξju^(ξ) ,反之亦然。那么,能否将空间自变量的微分算子求逆运算转化成为对偶空间的除以某个函数的运算?
- 常系数的线性微分算子:
P(D):=∑αaαDα(1)其中: α=(α1,..αn) 是多元指标, Dα:=(−i∂1)α1..(−i∂n)αn,aα 是复数。微分算子(1)作用在 Rn 上具有紧致支集函数 u(x) 上。这样的算子可以简单的写成傅立叶变换的组合,简单的写成多项式函数的乘法(象征 Symbol)P(ξ)=∑αaαξα做傅立叶逆变换:P(D)u(x)=1(2π)n∫Rn∫Rnei(x−y)ξP(ξ)u(y)dydξ(2)
- 练习1:推导(2)
- Definition of pseudo-differential operators将拟微分算子视作微分算的推广:一个 Rn 上的拟微分算子 P(x,D) 作用在函数 u(x) 上得到的依旧是 x 的函数
\bbox[19px,border:2pxsolidred]P(x,D)u(x)=1(2π)n∫Rneix⋅ξP(x,ξ)u^(ξ)dξ(3)(3) P(x,ξ) 属于某个象征类