擬微分作用素

解析学における擬微分作用素（ぎびぶんさようそ、）は、微分作用素を一般化するものである。1965 年以降、ラース・ヘルマンダー等により急速に研究されて来た。偏微分方程式論の代表的なテーマの一つであるが、マルコフ過程・・ポテンシャル理論との関わりも深い。物理学では量子力学や量子統計力学と関係がある。
導入.
擬微分作用素は定数係数の線型微分作用素を適当な意味で一般化したものである。この一般化の指針となる基本的な事実をいくつか振り返ろう。
ここで、formula_3 は多重指数, formula_4 は複素数で
は逐次偏微分、 は -番目の変数に関する微分という意味である。定数 を掛けているのはフーリエ変換の計算の都合である。
とできるから反転公式により、解
ここでの仮定を確認しておくと:
最後の仮定はシュヴァルツ超函数の文脈で考えるならば弱められる。先の二つの仮定も後述するように緩めることができる。
最後の式において のフーリエ変換を陽に書き下せば
となり、これは がもはや多項式函数ではなくもっと一般の種類の函数であることを除けば式 () と同じ形をしている。
例えば、 が 上の無限回微分可能な函数で、任意の多重指数 および に対して
となるような適当な定数 と適当な実数 が存在するという性質を持つならば、表象 はヘルマンダーの表象クラス に属すると言い、対応する作用素 はクラス に属する階数 の擬微分作用素であるという。
定義.
以下、formula_13 を formula_14 の元とし、formula_15 で formula_16 の元を表す。
任意の多重指標 formula_17 に対し、ある定数 formula_18 が存在して、次の条件を満たす時、 formula_19 関数 formula_20 を formula_21 クラスの表象と言う。但し、formula_22 かつ formula_23 である。
各 formula_24 に対し、次の線形作用素 formula_25 を（表象 formula_26 に対する）擬微分作用素と言う。
例.
微分作用素.
formula_27 次微分作用素
に対し、formula_27 次微分多項式 
は formula_29 に属する。即ち、formula_27 次微分作用素はformula_27 次微分多項式を表象に持つ擬微分作用素である。
熱作用素.
熱作用素
は
を表象に持つ。
分数的ラプラシアン.
formula_32 とする。
とおくと、これを表象に持つ擬微分作用素が存在するが、それは
と表される。これを分数的ラプラシアン (fractional Laplacian) という。
（1−ラプラシアン）の平方根.
は formula_33 に属する。これを表象に持つ擬微分作用素は、
である。これは formula_34 の平方根に相当するものであり formula_35 とも表される。formula_35 は偏微分方程式論でよく使われる。
性質.
滑らかな有界函数係数の -階線型微分作用素は -階の擬微分作用素である。
二つの擬微分作用素 の合成 はふたたび擬微分作用素であり、 の表象は および の表象を用いて計算することができる。擬微分作用素の随伴および転置はまた擬微分作用素である。
-階微分作用素が楕円型かつ可逆ならば、逆作用素もまた -階の擬微分作用素で、表象はもとの微分作用素の表象から計算できる。これはつまり、楕円型線形微分方程式は擬微分作用素論を用いて陰に陽に解くことができるということである。
微分作用素が（その振舞いを知るのにある点の近傍での函数の値しか必要としないという意味で）「局所的」であるのに対し、擬微分作用素は「擬局所的」である。これは厳密さをさておけば、シュヴァルツ超函数が滑らかな点においてそれに擬微分作用素を作用させたものは特異点を生まないという意味である。
微分作用素が を用いて
なる形の を変数とする多項式 （つまり表象）で表されるのと同様に、擬微分作用素はより一般の函数のクラスに表象を持つ。しばしば擬微分作用素に関する解析学を、その表象を含む代数的な問題の列に帰着することができる。このことは超局所解析の本質である。
擬微分作用素の積分核.
写像として見れば、擬微分作用素は積分核によって表すことができる。対角線上の積分核の特異性は、対応する作用素の次数に依存している。実は表象が上記の微分不等式を に対して満たすならば、積分核がとなることが示せる。この積分核は逆境界問題に対する境界条件の特徴付けに利用できる。