微分作用素

アニュラス上で定義された調和函数。調和函数は、重要な微分作用素であるラプラス作用素の核に属するような函数である。

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

本項では、最もよく扱われる種類である線型作用素を主に扱う。しかし、テンプレート:仮リンクのような非線型微分作用素も存在する。

定義

テンプレート:節スタブ 函数空間 ${ℱ}_1$ から他の函数空間 ${ℱ}_2$ への写像 $A$ が存在し、$u\in {ℱ}_1$ の像となるような函数 $f\in {ℱ}_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}$ と選ぶこともある。

記法

最もよくある微分作用素は、微分をとる操作。変数 テンプレート:Mvar について一階微分をとる作用素のよくある記法として

$\frac{d}{dx},D,D_x,{\partial }_x$

などが挙げられる。より高次の、テンプレート:Mvar-階微分をとる作用素は

$\frac{d^n}{d{x}^n},D^n,D_x^n$

などで書かれる。変数 テンプレート:Mvar の函数 テンプレート:Mvar の微分を

$[f(x){]}^{\prime }{f}^{\prime }(x)$

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

$\sum _{k=0}^n{c}_k{D}^k$

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

$\mathrm{\Delta }={\mathrm{\nabla }}^2=\sum _{k=1}^n\frac{{\partial }^2}{\partial x_k^2}$

で定義されるラプラス作用素がある。他の微分作用素として、オイラー作用素テンプレート:Mvar は

$\vartheta =z\frac{d}{dz}$

で定義される。この作用素の固有函数は テンプレート:Mvar の単項式

$\vartheta (z^k)=k{z}^k,(k=0,1,2,\dots )$

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

$\mathrm{\Theta }=\sum _{k=1}^n{x}_k\frac{\partial }{\partial x_k}$

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

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

$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.$

そのような、双方向の矢印記法は、量子力学のテンプレート:仮リンクを記述することによく使われる。

ナブラ

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

$\mathrm{\nabla }=\widehat{𝐱}\frac{\partial }{\partial x}+\widehat{𝐲}\frac{\partial }{\partial y}+\widehat{𝐳}\frac{\partial }{\partial z}$

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

随伴作用素

テンプレート:See also 与えられた線型微分作用素

$Tu=\sum _{k=0}^n{a}_k(x)D^{k}u$

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

$⟨Tu,v⟩=⟨u,T^{*}v⟩$

を満たす作用素 テンプレート:Mvar を言う。ここに、記号 テンプレート:Math はスカラー積または内積である。つまり、この定義はスカラー積の定義のしかたに依存する。

一変数の形式随伴

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

$⟨f,g⟩=\underset{a}{\overset{b}{\int }}f(x)\overline{g(x)}dx$

で定義される。ここに テンプレート:Math 上の横棒は、テンプレート:Math の複素共役を表している。さらに テンプレート:Mvar または テンプレート:Mvar が テンプレート:Math および テンプレート:Math において消えているという条件を加えれば、テンプレート:Mvar の随伴を

$T^{*}u=\sum _{k=0}^n(-1{)}^k{D}^k[\overline{a_k(x)}u]$

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

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

多変数の随伴作用素

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

$⟨f,P^{*}g{⟩}_{L^2(\mathrm{\Omega })}=⟨Pf,g{⟩}_{L^2(\mathrm{\Omega })}$

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

例

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

$Lu=-(p{u}^{\prime }{)}^{\prime }+qu=-(p{u}^{″}+p^{\prime }{u}^{\prime })+qu=-p{u}^{″}-p^{\prime }{u}^{\prime }+qu=(-p)D^{2}u+(-p^{\prime })Du+(q)u.$

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

$\begin{array}{cc}{L}^{*}u& =(-1{)}^2{D}^2[(-p)u]+(-1{)}^{1}D[(-p^{\prime })u]+(-1{)}^0(qu)\\ & =-D^2(pu)+D(p^{\prime }u)+qu\\ & =-(pu{)}^{″}+(p^{\prime }u{)}^{\prime }+qu\\ & =-p^{″}u-2p^{\prime }{u}^{\prime }-p{u}^{″}+p^{″}u+p^{\prime }{u}^{\prime }+qu\\ & =-p^{\prime }{u}^{\prime }-p{u}^{″}+qu\\ & =-(p{u}^{\prime }{)}^{\prime }+qu\\ & =Lu\end{array}$

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

微分作用素の性質

微分演算 テンプレート:Mvar はテンプレート:仮リンクである。すなわち、

$D(f+g)=(Df)+(Dg),$

$D(af)=a(Df)$

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

函数係数の テンプレート:Mvar を変数とする任意の多項式も、微分作用素である。また、微分作用素の合成は

$(D_1\circ D_2)(f)=D_1(D_2(f))$

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

$Dx-xD=1$

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

微分作用素にテンプレート:仮リンク(shift theorem)も従う。

多変数の場合

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

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

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

テンプレート:Mvar を環とする。テンプレート:Mvar 上の テンプレート:Mvar および テンプレート:Mvar を変数とする非可換多項式環 テンプレート:Math の両側イデアル テンプレート:Mvar を テンプレート:Math で生成されるもの;

$I=([D,X]-1)=(DX-XD-1)$

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

テンプレート:Math 上の（標準微分に対する）微分加群は、テンプレート:Math 上の加群と同一視することができる。

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

テンプレート:Mvar を環とする。テンプレート:Math および テンプレート:Math を変数とする テンプレート:Math-変数の非可換多項式環 テンプレート:Math のイデアル テンプレート:Mvar を

$I=\left(\begin{array}{c}[D_i,X_j]-{\delta }_{i,j},\\ [D_i,D_j],\\ [X_i,X_j]\end{array}\right|1\le i,j\le n)$

（ここに テンプレート:Mvar はクロネッカーのデルタ）とするとき、剰余環 テンプレート:Math を テンプレート:Mvar-変数の多項式係数微分作用素環と呼ぶ。この環は非可換な単純環である。任意の元は テンプレート:Math で

$X_1^{a_1}\dots X_n^{a_n}{D}_1^{b_1}\dots D_n^{b_n}$

の形の単項式の テンプレート:Mvar-線型結合として一意に書くことができる。

座標に依存しない記述

微分幾何学や代数幾何学において、二つのベクトル束の間の微分作用素の座標に非依存な記述をすることが便利なことがある。テンプレート:Mvar および テンプレート:Mvar は可微分多様体 テンプレート:Mvar 上のベクトル束とする。切断の空間上の テンプレート:Math-線型写像 テンプレート:Math がテンプレート:Math-階の線型微分作用素であるとは、テンプレート:仮リンク テンプレート:Math を通して分解するときに言う。即ち、ベクトル束の間の線型写像

$i_P:J^k(E)\to F$

が存在して、

$P=i_P\circ j^k$

が成り立つ。ここに テンプレート:Math は、テンプレート:Mvar の任意の切断にそのテンプレート:仮リンクを対応付ける延長 (prolongation) 写像である。

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

可換環論との関係

テンプレート:Seealso 同じことではあるが、線型微分作用素の純代数的な記述は、次のようになる。テンプレート:Mathbf-線型写像 テンプレート:Mvar は、任意の テンプレート:Math 個の滑らかな函数 $f_0,\dots ,f_k\in C^{\mathrm{\infty }}(M)$ に対して

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

が成り立つときに、テンプレート:Mvar-次線型微分作用素である。ここに、括弧積 $[f,P]:\mathrm{\Gamma }(E)\to \mathrm{\Gamma }(F)$ は、交換子

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

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

例

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

関連項目

• デルタ作用素
• 楕円型作用素
• 分数階微積分
• テンプレート:仮リンク
• 可換環上の微分法
• テンプレート:仮リンク
• スペクトル論
• エネルギー演算子
• 運動量演算子
• コーシー–リーマン作用素 ([[ヴィルティンガー微分|テンプレート:Overline-作用素]])

外部リンク

• テンプレート:SpringerEOM
• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:Nlab
• テンプレート:ProofWiki