常係數線性微分算子
設
u
{\displaystyle u}
為一個定義在
R
n
{\displaystyle \mathbb {R} ^{n}}
上的緊支撐 的光滑函數 ,考慮下面的常數 係數微分算子:
P
(
D
)
:=
∑
α
c
α
D
α
{\displaystyle P(D):=\sum _{\alpha }c_{\alpha }\,D^{\alpha }}
利用傅立葉變換 ,可以將這個微分算子用另外一種等價的形式表達:
首先將這個算子的傅立葉變換寫出,
P
(
ξ
)
=
∑
α
c
α
ξ
α
{\displaystyle P(\xi )=\sum _{\alpha }c_{\alpha }\,\xi ^{\alpha }}
注意這裡已經將微分變換為頻率域 中的乘法 ,所以整個算子的傅立葉變換成為一個頻率域中的多項式 。我們一般稱其為一個符號 (symbol )。
這個符號的傅立葉逆變換為
(
1
)
P
(
D
)
u
(
x
)
=
1
(
2
π
)
n
∫
R
n
∫
R
n
e
i
(
x
−
y
)
ξ
P
(
ξ
)
u
(
y
)
d
y
d
ξ
{\displaystyle (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)dyd\xi }
注意,上面的
α
=
(
α
1
,
…
,
α
n
)
∈
N
0
n
{\displaystyle \alpha =(\alpha _{1},\dots ,\alpha _{n})\in \mathbb {N} _{0}^{n}}
表示了一個多重指標 ,而
D
α
{\displaystyle D^{\alpha }}
則是利用這個多重指標定義的一個微分算子,具體可以寫為
D
α
=
(
−
i
∂
1
)
α
1
…
(
−
i
∂
n
)
α
n
{\displaystyle D^{\alpha }=(-i\partial _{1})^{\alpha _{1}}\dots (-i\partial _{n})^{\alpha _{n}}}
,其中
∂
j
{\displaystyle \partial _{j}}
表示對第
j
{\displaystyle j}
個變量的微分。另外,各個係數
C
α
{\displaystyle C_{\alpha }}
都是
C
{\displaystyle \mathbb {C} }
中的常數。
從
(
1
)
{\displaystyle (1)}
中不難發現,一個微分算子可以用它的傅立葉變換表示出來。類似地,一個偽微分算子 也可以這樣定義:
(
2
)
P
(
x
,
D
)
u
(
x
)
=
1
(
2
π
)
n
∫
R
n
∫
R
n
e
i
(
x
−
y
)
ξ
P
(
x
,
ξ
)
u
(
y
)
d
y
d
ξ
{\displaystyle (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)dyd\xi }
,
與
(
1
)
{\displaystyle (1)}
的區別在於,這裡的
P
(
x
,
ξ
)
{\displaystyle P(x,\xi )}
可以是一個更一般的函數。
式(1)是如何得到的
如上選取的
u
{\displaystyle u}
,其傅立葉變換為
u
^
(
ξ
)
:=
∫
e
−
i
y
ξ
u
(
y
)
d
y
{\displaystyle {\hat {u}}(\xi ):=\int e^{-iy\xi }u(y)dy}
而從傅立葉逆變換公式可以知道
u
(
x
)
=
1
(
2
π
)
n
∫
e
i
x
ξ
u
^
(
ξ
)
d
ξ
=
1
(
2
π
)
n
∫
∫
e
i
(
x
−
y
)
ξ
u
(
y
)
d
y
d
ξ
{\displaystyle u(x)={\frac {1}{(2\pi )^{n}}}\int e^{ix\xi }{\hat {u}}(\xi )d\xi ={\frac {1}{(2\pi )^{n}}}\int \int e^{i(x-y)\xi }u(y)dyd\xi }
將
P
(
D
)
{\displaystyle P(D)}
應用於這個
u
{\displaystyle u}
,則有
P
(
D
x
)
e
i
(
x
−
y
)
ξ
=
e
i
(
x
−
y
)
ξ
P
(
ξ
)
{\displaystyle P(D_{x})\,e^{i(x-y)\xi }=e^{i(x-y)\xi }\,P(\xi )}
由此就得到了
(
1
)
{\displaystyle (1)}
。
利用偽微分算子表示偏微分方程的解
為了求解方程
P
(
D
)
u
=
f
{\displaystyle P(D)\,u=f}
我們可以形式地將傅立葉變換應用於方程兩邊,從而得到一個代數的 方程
P
(
ξ
)
u
^
(
ξ
)
=
f
^
(
ξ
)
{\displaystyle P(\xi )\,{\hat {u}}(\xi )={\hat {f}}(\xi )}
.
如果符號
P
(
ξ
)
{\displaystyle P(\xi )}
對於任何
ξ
∈
R
n
{\displaystyle \xi \in \mathbb {R} ^{n}}
都不是
0
{\displaystyle 0}
,那麼除以
P
(
ξ
)
{\displaystyle P(\xi )}
後則有
u
^
(
ξ
)
=
1
P
(
ξ
)
f
^
(
ξ
)
{\displaystyle {\hat {u}}(\xi )={\frac {1}{P(\xi )}}{\hat {f}}(\xi )}
由傅立葉逆變換公式,則可以得到一個解
u
(
x
)
=
1
(
2
π
)
n
∫
e
i
x
ξ
1
P
(
ξ
)
f
^
(
ξ
)
d
ξ
{\displaystyle u(x)={\frac {1}{(2\pi )^{n}}}\int e^{ix\xi }{\frac {1}{P(\xi )}}{\hat {f}}(\xi )d\xi }
.
請注意我們的假設:
P
(
D
)
{\displaystyle P(D)}
是一個常 係數的微分算子。
它的符號
P
(
ξ
)
{\displaystyle P(\xi )}
永遠不為
0
{\displaystyle 0}
。
u
{\displaystyle u}
和
f
{\displaystyle f}
都有傅立葉變換。
最後一個條件可以利用和分佈 相關的定理減弱(這裡的分布不是統計中的分布,而是分析中的概念),而前面兩個條件則可以利用如下的方法減弱:
將
f
{\displaystyle f}
的傅立葉變換寫出可以得到
u
(
x
)
=
1
(
2
π
)
n
∫
∫
e
i
(
x
−
y
)
ξ
1
P
(
ξ
)
f
(
y
)
d
y
d
ξ
{\displaystyle u(x)={\frac {1}{(2\pi )^{n}}}\int \int e^{i(x-y)\xi }{\frac {1}{P(\xi )}}f(y)dyd\xi }
.
此式的形式與
(
1
)
{\displaystyle (1)}
非常相似,區別僅在
1
P
(
ξ
)
{\displaystyle {\frac {1}{P(\xi )}}}
不是一個多項式函數,而是一個更一般的函數,因此引出下面的主題:
符號類和偽微分算子
我們核心的目的是通過公式
(
1
)
{\displaystyle (1)}
,在允許使用更一般的
P
(
x
,
ξ
)
{\displaystyle P(x,\xi )}
的條件下,定義算子
P
(
x
,
D
)
{\displaystyle P(x,D)}
:
P
(
x
,
D
)
u
(
x
)
=
1
(
2
π
)
n
∫
R
n
∫
R
n
e
i
(
x
−
y
)
ξ
P
(
x
,
ξ
)
u
(
y
)
d
y
d
ξ
.
{\displaystyle 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)dyd\xi .}
因此假設
P
(
x
,
ξ
)
{\displaystyle P(x,\xi )}
屬於某個特定的符號類 。
例如,如果
P
(
x
,
ξ
)
{\displaystyle P(x,\xi )}
是一個
R
n
×
R
n
{\displaystyle \mathbb {R} ^{n}\times \mathbb {R} ^{n}}
上無限可微的函數,並且對於所有
x
,
ξ
{\displaystyle x,\xi }
和所有多重指標
α
,
β
{\displaystyle \alpha ,\beta }
,以及某些給定的常數
C
α
,
β
{\displaystyle C_{\alpha ,\beta }}
,給定的實數
m
{\displaystyle m}
,
P
{\displaystyle P}
都滿足
|
∂
ξ
α
∂
x
β
P
(
x
,
ξ
)
|
≤
C
α
,
β
(
1
+
|
ξ
|
)
m
−
|
α
|
{\displaystyle |\partial _{\xi }^{\alpha }\partial _{x}^{\beta }P(x,\xi )|\leq C_{\alpha ,\beta }\,(1+|\xi |)^{m-|\alpha |}}
那麼
P
{\displaystyle P}
就屬於一個Hörmander類 ,我們將它記為
S
1
,
0
m
{\displaystyle S_{1,0}^{m}}
。
而對應的算子
P
(
x
,
D
)
{\displaystyle P(x,D)}
則被稱為一個
m
{\displaystyle m}
階的偽微分算子 ,並且屬於
Ψ
1
,
0
m
{\displaystyle \Psi _{1,0}^{m}}
類。