微分作用素

数学における微分作用素（びぶんさようそ、differential operator）は、微分演算 () の函数として定義された作用素である。ひとまずは表記法の問題として、微分演算を（計算機科学における高階函数と同じ仕方で）入力函数を別の函数を返す抽象的な演算と考えるのが有効である。
本項では、最もよく扱われる種類である線型作用素を主に扱う。しかし、のような非線型微分作用素も存在する。
定義.
函数空間 formula_1 から他の函数空間 formula_2 への写像 formula_3 が存在し、formula_4 の像となるような函数 formula_5（つまり formula_6）が存在することを仮定する。
微分作用素は、formula_7 およびその
なる形を含む高階微分によって有限生成される作用素を言う。ここに、非負の整数の列 formula_9 は多重指数と呼ばれ、formula_10 は長さと呼ばれ、formula_11 は "n"-次元空間内の開領域上の函数であり、formula_12 である。上記は、函数としての微分であるが、シュヴァルツ超函数や佐藤超函数の意味での微分としたり、またもとにする微分演算も formula_13 や時折 formula_14 と選ぶこともある。
記法.
最もよくある微分作用素は、微分をとる操作。変数 について一階微分をとる作用素のよくある記法として
などが挙げられる。より高次の、-階微分をとる作用素は
などで書かれる。変数 の函数 の微分を
などで表すこともある。
記号 を使うことは、ヘヴィサイドにより始められ、彼は微分方程式の研究の中で
の形の微分作用素を考えた。最も良く見かける微分作用素のひとつに、
で定義されるラプラス作用素がある。他の微分作用素として、オイラー作用素 は
で定義される。この作用素の固有函数は の単項式
であり、homogeneity operator とも呼ばれる。-変数のテータ作用素は、
により与えられる。一変数と同様に、 の固有空間は、斉次多項式全体の成す空間である。
よくある数学の記法に従えば、微分作用素の引数は作用素自身の右側に書くのが通常であるが、別の記法を用いることもある。作用素を作用素の左側にある函数、作用素の右側にある函数に施した結果や、両側に施した結果の差を、以下のような矢印で記す:
そのような、双方向の矢印記法は、量子力学のを記述することによく使われる。
ナブラ.
微分作用素 ∇ は、ナブラ作用素とも呼ばれ、重要なベクトル微分作用素である。物理学において頻繁に、マックスウェルの方程式の微分形のようなところに現れる。三次元直交座標系では ∇ は
で定義される。∇ は様々な対象の勾配、回転、発散およびラプラシアンの計算に使われる。
随伴作用素.
与えられた線型微分作用素
に対し、その随伴作用素とは
を満たす作用素 を言う。ここに、記号 はスカラー積または内積である。つまり、この定義はスカラー積の定義のしかたに依存する。
一変数の形式随伴.
自乗可積分函数全体の成す函数空間において、標準的なスカラー積が
で定義される。ここに 上の横棒は、 の複素共役を表している。さらに または が および において消えているという条件を加えれば、 の随伴を
により定義することができる。この定義式は上記のスカラー積の定義に陽に依存していない。それゆえに、これを随伴作用素の定義として採用することもある。この定義式に従って定義された は の形式随伴と呼ばれる。
（形式）自己随伴作用素とは、自身の（形式）随伴作用素に等しい作用素を言う。
多変数の随伴作用素.
Ω を Rn の中の領域とし、"P" を Ω 上の微分作用素とすると、"P" の随伴作用素は、同様な方法で双対性により "L"2(Ω) が定義される。すべての滑らかな "L"2 函数 "f", "g" について、
が成り立つ。滑らかな函数は "L"2 の中で稠密であるので、これは "L"2 の稠密な部分集合上の随伴作用素を定義する。P* は稠密に定義された作用素である。
例.
ストゥルム･リウヴィル作用素は、よく知られた形式自己随伴作用素である。この 2階の線型微分作用素 "L" は次の形で書くことができる。
この性質は、上の形式随伴の定義を使い証明することができる。
この作用素は、ストゥルム･リウヴィル理論で中心的な役割を果たし、そこではこの作用素の固有函数（固有ベクトルに対応）が考えられている。
微分作用素の性質.
微分演算 はである。すなわち、
を満たす。ここに "f" と "g" は函数であり、"a" は定数である。
函数係数の を変数とする任意の多項式も、微分作用素である。また、微分作用素の合成は
という規則に基づいて扱うことができるが、いくつかの注意が必要である。まず、作用素 に関する任意の函数係数は、 を適用するのに必要なだけの何倍も微分可能でなければならないことである。そのような（函数係数の）作用素の環を得るには、全ての係数の任意階数の導函数を用いることを仮定せねばならない。第二に、この環は可換にはならないことである。作用素 は一般には に等しくない。事実として、量子力学の基本的な関係式
を例に挙げることができる。 を変数とする定数係数多項式であるような作用素全体の成す部分環は、対照的に可換である。この部分環は、別な方法で特徴付けることができる。この環は平行移動不変な作用素のすべてからなる。
微分作用素に(shift theorem)も従う。
多変数の場合.
同じ構成法は、偏微分に対しても持ち込むことができる。異なる変数に関する微分演算は、可換な作用素を定める（二階微分の対称性の項を参照）。
多項式係数微分作用素の環.
一変数多項式係数微分作用素環.
 を環とする。 上の および を変数とする非可換多項式環 の両側イデアル を で生成されるもの;
とするとき、剰余環 を 上の一変数多項式係数微分作用素環と呼ぶ。この環は非可換単純環である。その任意の元は の形の単項式の -線型結合として一意に書くことができる。これにより、この環の上で多項式のユークリッド除法に対応する演算が保証される。
 上の（標準微分に対する）微分加群は、 上の加群と同一視することができる。
多変数の多項式係数微分作用素環.
 を環とする。 および を変数とする -変数の非可換多項式環 のイデアル を
（ここに はクロネッカーのデルタ）とするとき、剰余環 を -変数の多項式係数微分作用素環と呼ぶ。この環は非可換な単純環である。任意の元は で
の形の単項式の -線型結合として一意に書くことができる。
座標に依存しない記述.
微分幾何学や代数幾何学において、二つのベクトル束の間の微分作用素の座標に非依存な記述をすることが便利なことがある。 および は可微分多様体 上のベクトル束とする。切断の空間上の -線型写像 が-階の線型微分作用素であるとは、 を通して分解するときに言う。即ち、ベクトル束の間の線型写像
が存在して、
が成り立つ。ここに は、 の任意の切断にそのを対応付ける延長 (prolongation) 写像である。
これはちょうど、与えられた の切断 に対し、点 における の値は における の -階の無限小の振る舞いにより完全に決定されることを意味する。特にこのことから、 は の芽により決定されることが従い、またこれは微分作用素が局所的であるということで表される。基本的結果は、このステートメントの逆である任意の（線型）局所作用素は微分作用素であるという(Peetre theorem)である。
可換環論との関係.
同じことではあるが、線型微分作用素の純代数的な記述は、次のようになる。-線型写像 は、任意の 個の滑らかな函数 formula_43 に対して
が成り立つときに、-次線型微分作用素である。ここに、括弧積 formula_45 は、交換子
として定義される。この線型微分作用素の特徴付けは、線型微分作用素が可換代数上の加群の間の特別な写像であり、この概念を可換環論の一部と見なせることを示している。