微分作用素

数学における微分作用素は、微分演算  の函数として定義された作用素である。ひとまずは表記法の問題として、微分演算を入力函数を別の函数を返す抽象的な演算と考えるのが有効である。

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

1. 定義
-----

函数空間 から他の函数空間 への写像 が存在し、 の像となるような函数 が存在することを仮定する。

微分作用素は、 およびその

なる形を含む高階微分によって有限生成される作用素を言う。ここに、非負の整数の列 は多重指数と呼ばれ、 は長さと呼ばれ、 は //n//-次元空間内の開領域上の函数であり、 である。上記は、函数としての微分であるが、シュヴァルツ超函数や佐藤超函数の意味での微分としたり、またもとにする微分演算も や時折 と選ぶこともある。

2. 記法
-----

最もよくある微分作用素は、微分をとる操作。変数 x}} について一階微分をとる作用素のよくある記法として

などが挙げられる。より高次の、n}}-階微分をとる作用素は

などで書かれる。変数 x}} の函数 f}} の微分を

などで表すこともある。 記号 D}} を使うことは、ヘヴィサイドにより始められ、彼は微分方程式の研究の中で

の形の微分作用素を考えた。最も良く見かける微分作用素のひとつに、

で定義されるラプラス作用素がある。他の微分作用素として、オイラー作用素ϑ}} は

で定義される。この作用素の固有函数は z}} の単項式

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

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

よくある数学の記法に従えば、微分作用素の引数は作用素自身の右側に書くのが通常であるが、別の記法を用いることもある。作用素を作用素の左側にある函数、作用素の右側にある函数に施した結果や、両側に施した結果の差を、以下のような矢印で記す:

そのような、双方向の矢印記法は、量子力学の確率流束を記述することによく使われる。

3. ナブラ
------

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

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

4. 随伴作用素
--------

与えられた線型微分作用素

に対し、その随伴作用素とは

を満たす作用素 T*}} を言う。ここに、記号 angbr はスカラー積または内積である。つまり、この定義はスカラー積の定義のしかたに依存する。

4.1. 一変数の形式随伴
-------------

自乗可積分函数全体の成す函数空間において、標準的なスカラー積が

で定義される。ここに //g//}} 上の横棒は、//g//}} の複素共役を表している。さらに f}} または g}} が //x// → //a//}} および //x// → //b//}} において消えているという条件を加えれば、T}} の随伴を

により定義することができる。この定義式は上記のスカラー積の定義に陽に依存していない。それゆえに、これを随伴作用素の定義として採用することもある。この定義式に従って定義された T*}} は T}} の形式随伴と呼ばれる。

自己随伴作用素とは、自身の随伴作用素に等しい作用素を言う。

4.2. 多変数の随伴作用素
--------------

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

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

4.3. 例
------

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

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

この作用素は、ストゥルム･リウヴィル理論で中心的な役割を果たし、そこではこの作用素の固有函数が考えられている。

5. 微分作用素の性質
-----------

微分演算 D}} は微分演算の線型性である。すなわち、

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

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

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

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

微分作用素にシフト定理も従う。

5.1. 多変数の場合
-----------

同じ構成法は、偏微分に対しても持ち込むことができる。異なる変数に関する微分演算は、可換な作用素を定める。

6. 多項式係数微分作用素の環
---------------

6.1. 一変数多項式係数微分作用素環
-------------------

R}} を環とする。R}} 上の X}} および D}} を変数とする非可換多項式環 //R//angbr の両側イデアル I}} を [[交換子 で生成されるもの;

とするとき、剰余環 //R//angbr を R}} 上の一変数多項式係数微分作用素環と呼ぶ。この環は非可換単純環である。その任意の元は //Xexp の形の単項式の R}}-線型結合として一意に書くことができる。これにより、この環の上で多項式のユークリッド除法に対応する演算が保証される。//

//R//bracket 上の微分加群は、//R//angbr 上の加群と同一視することができる。

6.2. 多変数の多項式係数微分作用素環
--------------------

R}} を環とする。//X//sub および //D//sub を変数とする 2//n//}}-変数の非可換多項式環 //R//angbr のイデアル I}} を

とするとき、剰余環 //R//〈//X//sub を n}}-変数の多項式係数微分作用素環と呼ぶ。この環は非可換な単純環である。任意の元は mod //I//}} で

の形の単項式の R}}-線型結合として一意に書くことができる。

7. 座標に依存しない記述
-------------

微分幾何学や代数幾何学において、二つのベクトル束の間の微分作用素の座標に非依存な記述をすることが便利なことがある。E}} および F}} は可微分多様体 M}} 上のベクトル束とする。切断の空間上の R}}-線型写像 //P//: Γ → Γ}} がk}}-階の線型微分作用素であるとは、ジェット束 //J////k//}} を通して分解するときに言う。即ち、ベクトル束の間の線型写像

が存在して、

が成り立つ。ここに //jsup は、E}} の任意の切断にそのジェット を対応付ける延長  写像である。//

これはちょうど、与えられた E}} の切断 s}} に対し、点 //x// ∈ //M//}} における //P//}} の値は x}} における s}} の k}}-階の無限小の振る舞いにより完全に決定されることを意味する。特にこのことから、//P//}} は s}} の芽により決定されることが従い、またこれは微分作用素が局所的であるということで表される。基本的結果は、このステートメントの逆である任意の局所作用素は微分作用素であるというペートルの定理である。

7.1. 可換環論との関係
-------------

同じことではあるが、線型微分作用素の純代数的な記述は、次のようになる。R}}-線型写像 P}} は、任意の //k// + 1}} 個の滑らかな函数 に対して

が成り立つときに、k}}-次線型微分作用素である。ここに、括弧積 は、交換子

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

8. 例
----

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

9. 関連項目
-------

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

10. 参考文献
--------

11. 外部リンク
---------