微分作用素

数学における**微分作用素**（びぶんさようそ、differential operator）は、微分演算 () の函数として定義された作用素である。ひとまずは表記法の問題として、微分演算を（計算機科学における高階函数と同じ仕方で）入力函数に別の函数を返す抽象的な演算と考えるのが有効である。

本項では、最もよく扱われる種類である線型作用素を主に扱う。しかし、のような非線型微分作用素も存在する。

## 定義

函数空間 \mathcal{F}_1 から他の函数空間 \mathcal{F}_2 への写像 A が存在し、u \in \mathcal{F}_1 の像となるような函数 f \in \mathcal{F}_2（つまり f=A(u)）が存在することを仮定する。

**微分作用素**は、u およびその
: P(x,D)=\sum_{|\alpha|\le m}a_\alpha(x) D^\alpha
なる形を含む高階微分によって有限生成される作用素を言う。ここに、非負の整数の列 \alpha=(\alpha_1,\alpha_2,\cdots,\alpha_n) は多重指数と呼ばれ、|\alpha|=\alpha_1+\alpha_2+\cdots+\alpha_n は長さと呼ばれ、a_\alpha(x) は *n*-次元空間内の開領域上の函数であり、D^\alpha=D^{\alpha_1} D^{\alpha_2} \cdots D^{\alpha_n} である。上記は、函数としての微分であるが、シュヴァルツ超函数や佐藤超函数の意味での微分としたり、またもとにする微分演算も D_j=-i\frac{\partial}{\partial x_j} や時折 D_j=\frac{\partial}{\partial x_j} と選ぶこともある。

## 記法
最もよくある微分作用素は、微分をとる操作。変数  について一階微分をとる作用素のよくある記法として
: {d \over dx},\quad D,\quad D_x,\quad \partial_x
などが挙げられる。より高次の、-階微分をとる作用素は
: {d^n \over dx^n},\quad D^n,\quad D^n_x
などで書かれる。変数  の函数  の微分を
: [f(x)]'\quad f'(x)
などで表すこともある。
記号  を使うことは、ヘヴィサイドにより始められ、彼は微分方程式の研究の中で
: \sum_{k=0}^n c_k D^k
の形の微分作用素を考えた。最も良く見かける微分作用素のひとつに、

:\Delta=\nabla^{2}=\sum_{k=1}^n {\partial^2\over \partial x_k^2}

で定義されるラプラス作用素がある。他の微分作用素として、オイラー作用素 は
: \vartheta = z {d \over dz}
で定義される。この作用素の固有函数は  の単項式

:\vartheta (z^k) = k z^k,\quad (k=0,1,2,\ldots) 

であり、homogeneity operator とも呼ばれる。-変数のテータ作用素は、

:\Theta = \sum_{k=1}^n x_k \frac{\partial}{\partial x_k}

により与えられる。一変数と同様に、 の固有空間は、斉次多項式全体の成す空間である。

よくある数学の記法に従えば、微分作用素の引数は作用素自身の右側に書くのが通常であるが、別の記法を用いることもある。作用素を作用素の左側にある函数、作用素の右側にある函数に施した結果や、両側に施した結果の差を、以下のような矢印で記す:
:f \overleftarrow{\partial_x} g = g \cdot \partial_x f
:f \overrightarrow{\partial_x} g = f \cdot \partial_x g
:f \overleftrightarrow{\partial_x} g = f \cdot \partial_x g - g \cdot \partial_x f.
そのような、双方向の矢印記法は、量子力学のを記述することによく使われる。

## ナブラ

微分作用素 ∇ は、ナブラ作用素とも呼ばれ、重要なベクトル微分作用素である。物理学において頻繁に、マックスウェルの方程式の微分形のようなところに現れる。三次元直交座標系では ∇ は

:\nabla = \mathbf{\hat{x}} {\partial \over \partial x}  + \mathbf{\hat{y}} {\partial \over \partial y} + \mathbf{\hat{z}} {\partial \over \partial z}

で定義される。∇ は様々な対象の勾配、回転、発散およびラプラシアンの計算に使われる。

## 随伴作用素

与えられた線型微分作用素
: Tu = \sum_{k=0}^n a_k(x) D^k u
に対し、その随伴作用素とは
: \langle Tu,v \rangle = \langle u, T^*v \rangle
を満たす作用素  を言う。ここに、記号  はスカラー積または内積である。つまり、この定義はスカラー積の定義のしかたに依存する。

### 一変数の形式随伴

自乗可積分函数全体の成す函数空間において、標準的なスカラー積が
: \langle f, g \rangle = \int_a^b f(x) \, \overline{g(x)} \,dx
で定義される。ここに  上の横棒は、 の複素共役を表している。さらに  または  が  および  において消えているという条件を加えれば、 の随伴を
: T^*u = \sum_{k=0}^n (-1)^k D^k [\overline{a_k(x)}u]
により定義することができる。この定義式は上記のスカラー積の定義に陽に依存していない。それゆえに、これを随伴作用素の定義として採用することもある。この定義式に従って定義された  は  の**形式随伴**と呼ばれる。

（形式）**[[自己共役作用素|自己随伴作用素]]**とは、自身の（形式）随伴作用素に等しい作用素を言う。

### 多変数の随伴作用素

Ω を **R**n の中の領域とし、*P* を Ω 上の微分作用素とすると、*P* の随伴作用素は、同様な方法で双対性により ''L''<sup>2</sup>(&Omega;) が定義される。すべての滑らかな *L*2 函数 *f*, *g* について、

:\langle f, P^* g\rangle_{L^2(\Omega)} = \langle P f, g\rangle_{L^2(\Omega)}

が成り立つ。滑らかな函数は *L*2 の中で稠密であるので、これは *L*2 の稠密な部分集合上の随伴作用素を定義する。P* は稠密に定義された作用素である。

### 例
ストゥルム･リウヴィル作用素は、よく知られた形式自己随伴作用素である。この 2階の線型微分作用素 *L* は次の形で書くことができる。

: Lu = -(pu')'+qu=-(pu*+p'u')+qu=-pu*-p'u'+qu=(-p) D^2 u +(-p') D u + (q)u.

この性質は、上の形式随伴の定義を使い証明することができる。

: \begin{align}
L^*u & {} = (-1)^2 D^2 [(-p)u] + (-1)^1 D [(-p')u] + (-1)^0 (qu) \\
 & {} = -D^2(pu) + D(p'u)+qu \\
 & {} = -(pu)*+(p'u)'+qu \\
 & {} = -p*u-2p'u'-pu*+p*u+p'u'+qu \\
 & {} = -p'u'-pu*+qu \\
 & {} = -(pu')'+qu \\
 & {} = Lu
\end{align}</math>

この作用素は、[[スツルム＝リウヴィル型微分方程式|ストゥルム･リウヴィル理論]]で中心的な役割を果たし、そこではこの作用素の[[固有函数]]（[[固有ベクトル]]に対応）が考えられている。

==微分作用素の性質==

微分演算  はである。すなわち、

:<math>D(f+g) = (Df)+(Dg),</math>
:<math>D(af) = a(Df)</math>

を満たす。ここに *f* と *g* は函数であり、*a* は定数である。

函数係数の  を変数とする任意の多項式も、微分作用素である。また、微分作用素の合成は

:<math>(D_1 \circ D_2)(f) = D_1(D_2(f))</math>

という規則に基づいて扱うことができるが、いくつかの注意が必要である。まず、作用素  に関する任意の函数係数は、 を適用するのに必要なだけの何倍も[[微分可能]]でなければならないことである。そのような（函数係数の）作用素の[[環 (数学)|環]]を得るには、全ての係数の任意階数の導函数を用いることを仮定せねばならない。第二に、この環は[[可換環|可換]]にはならないことである。作用素  は一般には  に等しくない。事実として、[[量子力学]]の基本的な関係式

: <math>Dx - xD = 1</math>

を例に挙げることができる。 を変数とする[[定数係数]]多項式であるような作用素全体の成す部分環は、対照的に可換である。この部分環は、別な方法で特徴付けることができる。この環は平行移動不変な作用素のすべてからなる。

微分作用素に(shift theorem)も従う。

=== 多変数の場合 ===

同じ構成法は、[[偏微分]]に対しても持ち込むことができる。異なる変数に関する微分演算は、可換な作用素を定める（[[二階微分の対称性]]の項を参照）。

== 多項式係数微分作用素の環 ==

=== 一変数多項式係数微分作用素環 ===
 を環とする。 上の  および  を変数とする[[非可換多項式環]]  の両側イデアル  を  で生成されるもの;
: <math>I = ([D,X]-1) = (DX-XD-1)</math>
とするとき、剰余環  を  上の一変数多項式係数微分作用素環と呼ぶ。この環は非可換[[単純環]]である。その任意の元は  の形の単項式の -線型結合として一意に書くことができる。これにより、この環の上で多項式の[[ユークリッド除法]]に対応する演算が保証される。

 上の（標準微分に対する）微分加群は、 上の加群と同一視することができる。

=== 多変数の多項式係数微分作用素環 ===
 を環とする。 および  を変数とする -変数の非可換多項式環  のイデアル  を
: <math>I=\left(\begin{matrix} [D_i, X_j]-\delta_{i,j},\\[2pt] [D_i, D_j],\\[2pt] [X_i, X_j] \end{matrix}\Bigg|\; 1\le i,j\le n\right)</math>
（ここに  は[[クロネッカーのデルタ]]）とするとき、剰余環  を -変数の多項式係数微分作用素環と呼ぶ。この環は非可換な単純環である。任意の元は  で
: <math>X_1^{a_1}\ldots X_n^{a_n} D_1^{b_1}\ldots D_n^{b_n}</math>
の形の単項式の -線型結合として一意に書くことができる。

== 座標に依存しない記述 ==
[[微分幾何学]]や[[代数幾何学]]において、二つの[[ベクトル束]]の間の微分作用素の[[座標函数|座標]]に非依存な記述をすることが便利なことがある。 および  は[[可微分多様体]]  上のベクトル束とする。[[切断 (微分幾何学)|切断]]の空間上の -線型写像  が*'-階の線型微分作用素'''であるとは、  を通して分解するときに言う。即ち、ベクトル束の間の線型写像
: i_P: J^k(E) \to F
が存在して、
: P = i_P\circ j^k
が成り立つ。ここに  は、 の任意の切断にそのを対応付ける延長 (prolongation) 写像である。

これはちょうど、与えられた  の切断  に対し、点  における  の値は  における  の -階の無限小の振る舞いにより完全に決定されることを意味する。特にこのことから、 は  の芽により決定されることが従い、またこれは微分作用素が局所的であるということで表される。基本的結果は、このステートメントの逆である任意の（線型）局所作用素は微分作用素であるという(Peetre theorem)である。

### 可換環論との関係

同じことではあるが、線型微分作用素の純代数的な記述は、次のようになる。-線型写像  は、任意の  個の滑らかな函数 f_0,\ldots,f_k \in C^\infty(M) に対して

:[f_k,[f_{k-1},[\cdots[f_0,P]\cdots]]=0

が成り立つときに、-次線型微分作用素である。ここに、括弧積 [f,P]\colon\Gamma(E)\to \Gamma(F) は、交換子

:[f,P](s)=P(f\cdot s)-f\cdot P(s)

として定義される。この線型微分作用素の特徴付けは、線型微分作用素が可換代数上の加群の間の特別な写像であり、この概念を可換環論の一部と見なせることを示している。

## 例
* 物理科学への応用において、ラプラス作用素のような作用素は、偏微分方程式を解いたり、設定したりすることに重要な役割を果たす。
* 微分位相幾何学において、外微分やリー微分作用素は、内在的な意味を持っている。
* 抽象代数学におけるの概念は、微積分学を用いることを要しない微分作用素の一般化を可能とする。頻繁にそのような一般化が代数幾何学や可換代数で扱われる。(jet)を参照。
* 複素変数  に関する正則函数の研究において、複素函数を二つの実変数  の函数であると考えることがある。これはヴィルティンガー微分 () の構成に利用できる。このアプローチは、多変数複素函数や分解型複素の研究にも使われる。

## 関連項目
* デルタ作用素
* 楕円型作用素
* 分数階微積分
* 
* 可換環上の微分法
* 
* スペクトル論
* エネルギー演算子 
* 運動量演算子
* コーシー–リーマン作用素 (-作用素)

## 参考文献

## 外部リンク
* 
* 
* 
* 
*