外微分

{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded = Multivariable

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• 基本定理

• 関数の極限
• 連続性

• 平均値の定理
• ロルの定理

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

積分一覧
定義
不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分
Integration by
部分積分 Discs Cylindrical shells Substitution (trigonometric) 部分分数 順序 Reduction formulae

| list4name = series | list4title = テンプレート:Bigger | list4 =

幾何 (算術幾何) 調和 交代 冪 二項 テイラー
収束判定法
項の極限（項判定法） 比 冪根 積分 比較 極限比較 交代級数 Cauchy condensation ディリクレ アーベル

| list5name = vector | list5title = テンプレート:Bigger | list5 =

勾配 発散 回転 ラプラシアン 方向微分 公式
定理
発散 勾配 グリーン ケルビン・ストークス

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

Formalisms
行列 テンソル 外 幾何学的
定義
偏微分 多重積分 線積分 面積分 体積積分 ヤコビアン ヘッセ行列

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

• 分数階
• マリアヴァン
• 確率
• 変分

}}

可微分多様体上、外微分（がいびぶん、英: exterior derivative）は関数の微分の概念を高次の微分形式に拡張する。外微分はエリ・カルタンによって最初に現在の形式で記述された。それによってベクトル解析のストークスの定理、ガウスの定理、グリーンの定理の自然な、距離に依存しない一般化ができる。

k 形式を無限小 k 次元平行面体を通る流量を測るものと考えれば、その外微分を (k + 1)-平行面体の境界を通る正味の流れを測るものと考えることができる。

定義

k 次微分形式の外微分は k + 1 次微分形式である。

f が滑らかな関数（0 形式）であれば、f の外微分 df は f の全微分 df である。つまり、df は

任意の滑らかなベクトル場 X に対して、df(X) = d_Xf（ただし d_Xf は X 方向への f の方向微分）。

を満たす一意的な 1 形式である。

一般の k 形式の外微分には様々な同値な定義が存在する。

公理による定義

外微分 d は以下の性質を満たす k-形式から (k + 1)-形式への一意的な R-線型写像として定義される：

1. 滑らかな関数 f に対して d(f) テンプレート:Coloneqq df は f の微分である。
2. 任意の滑らかな関数 f に対して d(df) = 0 である。
3. d(α ∧ β) = dα ∧ β + (−1)^p(α ∧ dβ) である、ただし α は p-形式とする。つまり、d は微分形式のなす外積代数上次数 1 の反微分である。

二番目の定義性質はより一般性を持って成り立つ： 実は、任意の k-形式 α に対して d(dα) = 0（より簡潔には、d² = 0）である。三番目の定義性質は特別な場合として f が関数で α が k-形式であれば d(fα) = d(f ∧ α) = df ∧ α + f ∧ dα であるということを含んでいる。なぜならば、関数は 0 形式であり、スカラー乗法と外積は引数の一方がスカラーであるとき同値であるからである。

局所座標系による定義

代わりに、完全に局所座標系 (x¹, …, xⁿ) の言葉で定義することもできる。まず、座標（微分）形式 dx¹, …, dxⁿ は座標チャートの範囲内で 1-形式の基底をなす。1 ≤ p ≤ k なる各 p に対して 1 ≤ i_p ≤ n とし、多重添字 I = (i₁, …, i_k) （および表記の濫用で dx^i₁ ∧ ⋯ ∧ dx^i_k を dx^I と書く）が与えられたとき、Rⁿ 上の単純 k-形式 φ = f dx^I の外微分は

[math] d\varphi := \sum_{i=1}^n\frac{\partial f}{\partial x^i}dx^i \wedge dx^I[/math]

で与えられる。一般の k-形式は I が {1, …, n} の k-元部分集合全てを渡る単純 k-形式の和

[math]\omega = \sum_I f_I \mathit{dx}^I[/math]

に書かれるから、その外微分の定義は単純形式の場合を線型に拡張することによって与えられる。i が多重添え字 I の成分の 1 つであるときにはいつでも dxⁱ ∧ dx^I = 0 であることに注意しよう（ウェッジ積を参照）。

この局所座標系による定義は前節の公理による定義から従う。実際、単純形式 φ テンプレート:Coloneqq f dx^I に対し、前節で述べた性質を適用すれば d(f dx^I) = df ∧ dx^I + f d(dx^I) で第二項 = 0 だから dφ = df ∧ dx^I = テンプレート:Sum∂f/∂xⁱdxⁱ ∧ dx^I を得る。

結果を一般の場合に直截に書けば、k-形式 ω の外微分は

[math]d\omega := \sum_I\sum_{i=1}^n \frac{\partial f_I}{\partial x^i} \mathit{dx}^i \wedge \mathit{dx}^I[/math]

と定義される。

不変公式による定義

代わりに、明示的な式を k-形式 ω の外微分に対して、k + 1 個の任意の滑らかなベクトル場 V₀, V₁, ..., V_k とペアにされたとき、与えることができる：

[math]d\omega(V_0,...,V_k) = \sum_i(-1)^{i} V_i ( \omega(V_0, \ldots, \overset{\wedge}{V_i}, \ldots,V_k)) +\sum_{i\lt j}(-1)^{i+j}\omega([V_i, V_j], V_0, \ldots, \overset{\wedge}{V_i}, \ldots, \overset{\wedge}{V_j}, \ldots, V_k),[/math]

ただし [V_i, V_j] は括弧積を表し、ハットはその元を取り除くことを表す：

[math]\omega(V_0, \ldots, \overset{\wedge}{V_i}, \ldots,V_k) := \omega(V_0, \ldots, V_{i-1}, V_{i+1}, \ldots, V_k).[/math]

特に、1 形式に対して次が成り立つ： dω(X, Y) = Xω(Y) − Yω(X) − ω([X, Y]), ただし X と Y はベクトル場である。

多様体上のストークスの定理

M が境界をもつコンパクトで滑らかで向き付け可能な n 次元多様体で、ω は M 上の (n − 1) 形式とするとき、一般のストークスの定理は

[math]\int_M d\omega = \int_{\partial{M}} \omega[/math]

なることを述べる。直感的には、M が無限小領域に分割されたと考え、すべての領域の境界に渡って流れ (flux) を加えたとき、内部の境界はすべて打ち消し合い、M の境界を通る全体の流れが残る。

例

例 1. 

1-形式の基底 dx¹, …, dxⁿ 上 σ = u dx¹ ∧ dx² を考えよう。その外微分は：

[math]\begin{align} d\sigma &= \mathrm{d}(u) \wedge dx^1 \wedge dx^2 \\ &= \left(\sum_{i=1}^n \frac{\partial u}{\partial x^i} dx^i\right)\wedge dx^1\wedge dx^2 \\ &= \sum_{i=3}^n \frac{\partial u}{\partial x^i} dx^i \wedge dx^1 \wedge dx^2. \end{align}[/math]

最後の式はウェッジ積の性質から容易に従う。すなわち、dxⁱ ∧ dxⁱ = 0.

例 2.

σ = u dx + v dy を R² 上の 1-形式とする。各項に上記の公式を適用することによって（x¹ = x および x² = y と考える）次が成り立つ。

[math]\begin{align} d\sigma &= \sum_{i=1}^2 \frac{\partial u}{\partial x^i}dx^i \wedge dx +\sum_{i=1}^2 \frac{\partial v}{\partial x^i}dx^i \wedge dy \\ &= \frac{\partial u}{\partial x}dx\wedge dx +\frac{\partial u}{\partial y}dy\wedge dx + \frac{\partial v}{\partial x}dx\wedge dy +\frac{\partial v}{\partial y}dy\wedge dy \\ &= 0 -\frac{\partial u}{\partial y}dx\wedge dy + \frac{\partial v}{\partial x}dx\wedge dy +0 \\ &= \left(\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y}\right)dx\wedge dy. \end{align}[/math]

さらなる性質

閉形式と完全形式

"「閉微分形式と完全微分形式」"

k-形式 ω は dω = 0 であるときに閉 (closed) であるという（すなわち閉形式は d の核の元のことである）。ω はある (k − 1)-形式 α に対して ω = dα であるときに完全 (exact) であるという（すなわち完全形式は d の像に属する）。d² = 0 ゆえ、任意の完全形式は閉である。ポワンカレの補題は、可縮領域において逆が正しいと述べている。

ド・ラームコホロジー

外微分 d は d² = 0 という性質をもつので、それを多様体上のド・ラームコホモロジーを定義する微分（双対境界写像）として使うことができる。k-次ド・ラームコホモロジー（群）は完全 k 形式を法とした閉 k-形式のなすベクトル空間である。直前の節で述べたように、ポワンカレの補題はこれらのベクトル空間が k > 0 に対して可縮領域に対して自明であることを述べている。滑らかな多様体に対して、形式の共通部分はド・ラームコホモロジーから R 上の特異コホモロジーへの自然な準同型を与える。ド・ラームの定理はこの写像が実は同型であることを示しており、ポワンカレの補題の遠大な一般化である。一般化されたストークスの定理によって示唆されているように、外微分は特異単体上の境界写像の「双対」である。

自然性

外微分はテクニカルな意味で自然である： f: M → N が滑らかな写像で Ω^k が各多様体に多様体上の k-形式の空間を割り当てる滑らかな反変関手であれば、次の図式は交換する

ファイル:Exteriorderivnatural.png

よって d(f*ω) = f*dω である、ただし f* は f の引き戻しを表す。このことは、f_∗ を f の押し出し（微分）として、f*ω(•) が定義により ω(f_∗(•)) に等しいことから従う。ゆえに d は Ω^k から Ω^k+1 への自然変換である。

ベクトル解析における外微分

たいていのベクトル解析の演算子は外微分の概念の特別な場合であるか、あるいは、近い関係である。

勾配

滑らかな関数 f: Rⁿ → R は 0-形式である。この 0-形式の外微分は 1-形式

[math]df = \sum_{i=1}^n \frac{\partial f}{\partial x^i}dx^i = \langle \nabla f,\bullet \rangle[/math]

である。つまり、形式 df は任意のベクトル場 V に作用して、各点において V と f の勾配 ∇f との内積を返す。

1-形式 df は余接束の断面であり、各点の余接空間において f の局所的な線型近似を与える。

発散

Rⁿ 上のベクトル場 V = (v₁, v₂, …, v_n) は対応する (n − 1)-形式

[math]\begin{align} \omega_V &= v_1(dx^2 \wedge dx^3 \wedge\cdots\wedge dx^n) -v_2(dx^1 \wedge dx^3 \wedge\cdots\wedge dx^n) +\cdots +(-1)^{n-1}v_n(dx^1 \wedge\cdots\wedge dx^{n-1})\\ &= \sum_{p=1}^n (-1)^{(p-1)}v_p(dx^1 \wedge\cdots\wedge dx^{p-1} \wedge \overset{\wedge}{dx^{p}} \wedge dx^{p+1} \wedge\cdots\wedge dx^n) \end{align}[/math]

をもつ、ただし [math]\overset{\wedge}{dx^{p}}[/math] はその元を除くことを意味する。

（例えば、n = 3 つまり三次元空間のとき、2-形式 ω_V は局所的に V とのスカラー三重積である。）ω_V のある超曲面上の積分は V のその超曲面上の流束である。

この (n − 1)-形式の外微分は n-形式

[math]d\omega _V = \operatorname{div}(V)(dx^1 \wedge dx^2 \wedge\cdots\wedge dx^n)[/math]

である。

回転

Rⁿ 上のベクトル場 V もまた対応する 1-形式

[math]\eta_V = v_1\,dx^1 + v_2\,dx^2 + \cdots + v_n\,dx^n[/math]

をもつ。局所的には、η_V は V とのドット積である。ある道に沿った η_V の積分はその道に沿って −V に逆らってされた仕事である。

n = 3 のとき、三次元空間において、1-形式 η_V の外微分は 2-形式

[math]d\eta_V = \omega_{\operatorname{curl}(V)}[/math]

である。

grad, curl, div, およびラプラシアンの不変公式

任意のリーマン多様体上、標準的なベクトル解析の演算子は座標によらない (coordinate-free) 表記で次のように書くことができる：

[math]\begin{alignat}{3} \operatorname{grad}(f) &{}= \nabla f &&{}= (df)^\sharp \\ \operatorname{div}(F) &{}= \nabla \cdot F &&{}= \operatorname{\star}\operatorname{d}\operatorname{\star}(F^\flat) \\ \operatorname{curl}(F) &{}= \nabla \times F &&{}= [\operatorname{\star}(dF^\flat)]^\sharp, \\ \Delta f &{}= \nabla^2 f &&{}= \operatorname{\star}\operatorname{d}\operatorname{\star}df \end{alignat} [/math]

ここで [math]\star[/math] はホッジのスター演算子であり [math]\flat[/math] および [math]\sharp[/math] は音楽同型である。

関連項目

• 共変外微分
• ド・ラーム複体
• 離散外積代数
• グリーンの定理
• リー微分
• ストークスの定理
• フラクタル微分

参考文献

• Flanders, Harley (1989). Differential forms with applications to the physical sciences. New York: Dover Publications, 20. ISBN 0-486-66169-5. 
• Ramanan, S. (2005). Global calculus. Providence, Rhode Island: American Mathematical Society, 54. ISBN 0-8218-3702-8. 
• Conlon, Lawrence (2001). Differentiable manifolds. Basel, Switzerland: Birkhäuser, 239. ISBN 0-8176-4134-3. 
• Darling, R. W. R. (1994). Differential forms and connections. Cambridge, UK: Cambridge University Press, 35. ISBN 0-521-46800-0. 

外部リンク

• Rowland, Todd.. “Exterior Derivative”. MathWorld（英語）.
• de Rham differential in nLab
• テンプレート:ProofWiki