擬微分作用素

解析学における**擬微分作用素**（ぎびぶんさようそ、）は、微分作用素を一般化するものである。1965 年以降、ラース・ヘルマンダー等により急速に研究されて来た。偏微分方程式論の代表的なテーマの一つであるが、マルコフ過程・・ポテンシャル理論との関わりも深い。物理学では量子力学や量子統計力学と関係がある。

## 導入
擬微分作用素は定数係数の線型微分作用素を適当な意味で一般化したものである。この一般化の指針となる基本的な事実をいくつか振り返ろう。
; 定数係数線型微分作用素
: 定数係数の線型微分作用素
:: P(D) := \sum\nolimits_\alpha a_\alpha \, D^\alpha 
: が  上のコンパクト台付き滑らかな函数  に作用するものとする。この作用素は、フーリエ変換、'''表象''' (symbol) と呼ばれる多項式函数
::   P(\xi) = \sum\nolimits_\alpha a_\alpha \, \xi^\alpha
: による単純な掛け算に、フーリエ逆変換という三者の合成として

: なる形に書くことができる。
ここで、\alpha=(\alpha_1,\ldots,\alpha_n) は多重指数, a_\alpha は複素数で
: D^\alpha=(-i \partial_1)^{\alpha_1} \cdots (-i \partial_n)^{\alpha_n}
は逐次偏微分、 は -番目の変数に関する微分という意味である。定数  を掛けているのはフーリエ変換の計算の都合である。

; 偏微分方程式の解の表現
: 表象  が  の至る所 0 でないとき、偏微分方程式
::  P(D)u = f 
: を解くには、両辺にフーリエ変換を（形式的に）適用して得られる「代数方程式」
::  P(\xi)\hat u(\xi) = \hat f(\xi)
: の両辺を  で割って
::  \hat u(\xi) = \frac{1}{P(\xi)} \hat f(\xi) 
とできるから反転公式により、解
::   u (x) = \frac{1}{(2 \pi)^n} \int e^{i x \xi} \frac{1}{P(\xi)} \hat f (\xi) \, d\xi
: が得られる。
ここでの仮定を確認しておくと:
#  は「定数」係数の線型微分作用素
# 表象  は 0 にならない
#  はともにフーリエ変換を持つ
最後の仮定はシュヴァルツ超函数の文脈で考えるならば弱められる。先の二つの仮定も後述するように緩めることができる。

最後の式において  のフーリエ変換を陽に書き下せば
: u(x) = \frac{1}{(2 \pi)^n} \iint e^{i (x-y) \xi} \frac{1}{P(\xi)} f(y) \, dy \, d\xi
となり、これは  がもはや多項式函数ではなくもっと一般の種類の函数であることを除けば式 () と同じ形をしている。

; 擬微分作用素への拡張
: 式 () を利用して、微分作用素の一般化としての擬微分作用素を導入する。 上の擬微分作用素  とは、函数  における値が  の函数として

: で与えられるものとする。ここで、\hat{u}(\xi) は  のフーリエ変換であり、被積分函数に現れる表象  は適当な**表象クラス**に属するものとする。
例えば、 が  上の無限回微分可能な函数で、任意の多重指数  および  に対して
:  |\partial_\xi^\alpha \partial_x^\beta P(x,\xi)| \leq C_{\alpha,\beta} \, (1 + |\xi|)^{m - |\alpha|} 
となるような適当な定数  と適当な実数  が存在するという性質を持つならば、表象  はヘルマンダーの表象クラス  に属すると言い、対応する作用素  はクラス  に属する**階数  の擬微分作用素**であるという。

## 定義
以下、x , \xi  を R^n の元とし、(x , \xi ) で R^{2n} の元を表す。

任意の多重指標 \alpha , \beta  に対し、ある定数 C_{\alpha , \beta } が存在して、次の条件を満たす時、 C^{\infty} 関数 p(x , \xi) を S_{\rho , \delta}^m クラスの表象と言う。但し、0 \leq \delta \leq \rho \leq 1 かつ \delta  である。

各 u \in \mathcal{S} に対し、次の線形作用素 P : \mathcal{S} \to \mathcal{S}  を（表象 p に対する）擬微分作用素と言う。

## 例
### 微分作用素
m 次微分作用素

に対し、m 次微分多項式 

は \mathcal{S}^m_{1, 0} に属する。即ち、m 次微分作用素はm 次微分多項式を表象に持つ擬微分作用素である。

### 熱作用素

熱作用素

は

を表象に持つ。

### 分数的ラプラシアン

0  とする。

とおくと、これを表象に持つ擬微分作用素が存在するが、それは

と表される。これを分数的ラプラシアン (fractional Laplacian) という。

### （1−ラプラシアン）の平方根

は \mathcal{S}_{1, 0}^1 に属する。これを表象に持つ擬微分作用素は、

である。これは 1 - \Delta  の平方根に相当するものであり \Lambda  とも表される。\Lambda  は偏微分方程式論でよく使われる。

## 性質
滑らかな有界函数係数の -階線型微分作用素は -階の擬微分作用素である。

二つの擬微分作用素  の合成  はふたたび擬微分作用素であり、 の表象は  および  の表象を用いて計算することができる。擬微分作用素の随伴および転置はまた擬微分作用素である。

-階微分作用素が楕円型かつ可逆ならば、逆作用素もまた -階の擬微分作用素で、表象はもとの微分作用素の表象から計算できる。これはつまり、楕円型線形微分方程式は擬微分作用素論を用いて陰に陽に解くことができるということである。

微分作用素が（その振舞いを知るのにある点の近傍での函数の値しか必要としないという意味で）「局所的」であるのに対し、擬微分作用素は「擬局所的」である。これは厳密さをさておけば、シュヴァルツ超函数が滑らかな点においてそれに擬微分作用素を作用させたものは特異点を生まないという意味である。

微分作用素が  を用いて
:p(x, D)
なる形の  を変数とする多項式 （つまり表象）で表されるのと同様に、擬微分作用素はより一般の函数のクラスに表象を持つ。しばしば擬微分作用素に関する解析学を、その表象を含む代数的な問題の列に帰着することができる。このことは超局所解析の本質である。

## 擬微分作用素の積分核
写像として見れば、擬微分作用素は積分核によって表すことができる。対角線上の積分核の特異性は、対応する作用素の次数に依存している。実は表象が上記の微分不等式を  に対して満たすならば、積分核がとなることが示せる。この積分核は逆境界問題に対する境界条件の特徴付けに利用できる。

## 脚注


## 参考文献
*
*
*

## 関連項目
* 偏微分方程式
* 確率過程
* ポテンシャル理論
* マルコフ過程
* フーリエ積分作用素
* 
* ヒルベルト変換