外微分

提供: miniwiki
2018/8/19/ (日) 16:56時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索
{{#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 =

テンプレート:Startflatlist

テンプレート:Endflatlistテンプレート:Startflatlist

テンプレート:Endflatlist

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

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

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

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

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

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

テンプレート:Endflatlist

}}

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

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

定義

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

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

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

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

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

公理による定義

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

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

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

局所座標系による定義

代わりに、完全に局所座標系 (x1, …, xn) の言葉で定義することもできる。まず、座標(微分)形式 dx1, …, dxn座標チャートの範囲内で 1-形式の基底をなす。1 ≤ pk なる各 p に対して 1 ≤ ipn とし、多重添字 I = (i1, …, ik) (および表記の濫用dxi1 ∧ ⋯ ∧ dxikdxI と書く)が与えられたとき、Rn 上の単純 k-形式 φ = fdxI の外微分は

[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 つであるときにはいつでも dxidxI = 0 であることに注意しよう(ウェッジ積を参照)。

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

結果を一般の場合に直截に書けば、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 個の任意の滑らかなベクトル場 V0, V1, ..., Vk とペアにされたとき、与えることができる[1]

[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]

ただし [Vi, Vj]括弧積English版を表し、ハットはその元を取り除くことを表す:

[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 形式に対して次が成り立つ: (X, Y) = (Y) − (X) − ω([X, Y]), ただし XY はベクトル場である。

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

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

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

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

例 1. 
1-形式の基底 dx1, …, dxnσ = udx1dx2 を考えよう。その外微分は:
[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]
最後の式はウェッジ積の性質から容易に従う。すなわち、dxidxi = 0.
例 2.
σ = udx + vdyR2 上の 1-形式とする。各項に上記の公式を適用することによって(x1 = x および x2 = 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-形式 ω = 0 であるときに (closed) であるという(すなわち閉形式は dの元のことである)。ω はある (k − 1)-形式 α に対して ω = であるときに完全 (exact) であるという(すなわち完全形式は dに属する)。d2 = 0 ゆえ、任意の完全形式は閉である。ポワンカレの補題は、可縮領域において逆が正しいと述べている。

ド・ラームコホロジー

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

自然性

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

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

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

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

勾配

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

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

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

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

発散

Rn 上のベクトル場 V = (v1, v2, …, vn) は対応する (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 のその超曲面上の流束English版である。

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

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

である。

回転

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

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

をもつ。局所的には、ηVV とのドット積である。ある道に沿った η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]音楽同型English版である。

関連項目

参考文献

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

外部リンク