============================================================
内部積とは
============================================================

この記事では、内部積と言う概念に慣れる目的で色々と調べてみます。
内部積とは、反微分とも呼ばれる操作です。
どうもピンと来ないので色々確かめてみました。

本論
================================

まず、多様体 $M$ を考えます。 $M$ 上の r-形式全体の集合を $\Omega^r(M)$ と
します。ここで内部積 $i_X:\Omega^r(M) \to \Omega^{r-1}(M)$ の定義は以下です。

<tex>
i_X \omega(X_1,\cdots,X_{r-1}) = \omega(X,X_1,\cdots,X_{r-1})  \tag{##}
</tex>

です。ベクトル $X,Y$ とr-形式 $\omega$ を以下の様に取ります。

<tex>
X &= X^\mu \dfrac{\partial}{\partial x^\mu} \\
Y &= Y^\nu \dfrac{\partial}{\partial x^\nu} \\
\omega &= \dfrac{1}{r!} \omega_{\mu_1 \cdots \mu_r} dx^{\mu_1} \wedge \cdots \wedge dx^{\mu_r} 
\tag{##}
</tex>

下の参考文献によると、内部積は

<tex>
i_X \omega &= \dfrac{1}{(r-1)!}X^\nu \omega_{\nu \mu_2 \cdots \mu_r} dx^{\mu_2} \wedge \cdots \wedge dx^{\mu_r} \\
&= \dfrac{1}{r!} \sum_{s=1}^r (-1)^{s-1} X^{\mu_s} \omega_{\mu_1 \cdots \mu_s \cdots \mu_r} dx^{\mu_1} \wedge \cdots \wedge \widehat{dx^{\mu_s}} \wedge \cdots \wedge dx^{\mu_r} \tag{##}
</tex>

とのことです。これについてこれから調べていきます。
ここで $\widehat{dx^{\mu_s}}$ はこの一形式を削除するという意味です。
ここで $\omega$ の重要な性質として、
任意の添え字の互換に対して反対称であることが挙げられます。
つまり、

<tex>
\omega_{13} &= -\omega_{31} \\
\omega_{1234} &= - \omega_{4231} \\
\omega_{13542} &= - \omega_{53142}
\tag{##}
</tex>

等が言えます。

さて、まずは基本に忠実に $\omega$ を書き下してみましょう。以下では三次元空間中の2-形式 $(r=2)$ を考えます。

<tex>
 \omega &= \omega_{\mu_1 \mu_2} dx^{\mu_1} \wedge dx^{\mu_2} \\
 &= \dfrac{1}{2!} \left( 
 \omega_{12} dx^1 \wedge dx^2 
 +\omega_{13} dx^1 \wedge dx^3 
 +\omega_{21} dx^2 \wedge dx^1 \right. \\
 &+ \left. \omega_{23} dx^2 \wedge dx^3 
 + \omega_{31} dx^3 \wedge dx^1 
 + \omega_{32} dx^3 \wedge dx^2 \right)
 \tag{##}
</tex>

であって、各々のウェッジ積 $\wedge$ は

<tex>
dx^i \wedge dx^j &= dx^i \otimes dx^j - dx^j \otimes dx^i \\
dx^i \wedge dx^j \wedge dx^k 
&= dx^i \otimes dx^j \otimes dx^k - dx^i \otimes dx^k \otimes dx^j \\
&+ dx^j \otimes dx^k \otimes dx^i - dx^j \otimes dx^i \otimes dx^k \\
&+ dx^k \otimes dx^i \otimes dx^j - dx^k \otimes dx^j \otimes dx^i 
\tag{##}
</tex>

等とテンソル積の組み合わせになっており、符号は $i j \cdots k$ の偶置換なら $+$ 奇置換なら $-$ を取ります。
三次のウェッジ積は３つのベクトルのスロットがあり、そこにベクトルが
入ることで $\mathbb{R}$ の元が返ります。 $\omega_{ijk}$ も $\mathbb{R}$ の元です。

式 $(1)$ で $r=2$ とすると、右辺は $\omega(X,Y)$ を考えれば良さそうです。
上手い書き方が無いので、ここで自分で決めておきます。
まず、ベクトルの基底を $\dfrac{\partial}{\partial x^i}$ を $e_i$ で書きます。
一形式の基底は $dx^i$ で書きます。
そして、今後の計算で $e_1 (x^1)^2 dx^1 = \dfrac{\partial}{\partial x^1} (x^1)^2 dx^1 = (x^1)^2$ 
です。 $\dfrac{\partial (x^1)^2}{\partial x^1} dx^1 = 2x^1 dx^1$ 等の計算は発生せず、
ただ、基底同士が数値になるだけです。
式 $(5)$ で $\omega_{31} = \omega_{23} = 0$ の時を考えると、 $dx^i(e_j) = \delta^i_j$ で $\mathbb{R}$ が取り出されるものとして考えます。基本的な場合から考えます。

<tex>
\omega(e_1,e_2) 
&= \dfrac{1}{2!} \left( 
\omega_{12}(dx^1 \wedge dx^2)(e_1,e_2) 
+ \omega_{21}(dx^2 \wedge dx^1)(e_1,e_2) \right) \\
&= \dfrac{1}{2} \left( 
\omega_{12}(dx^1 \otimes dx^2 - dx^1 \otimes dx^2)(e_1,e_2) \right. \\
&+ \left. \omega_{21}(dx^2 \otimes dx^1 - dx^1 \otimes dx^2)(e_1,e_2) \right) \\
&= \dfrac{1}{2} \left( 
\omega_{12}(dx^1(e_1) \otimes dx^2(e_2) - dx^2(e_1) \otimes dx^1(e_2)) \right. \\
&+ \left. \omega_{21}(dx^2(e_1) \otimes dx^1(e_2) - dx^1(e_1) \otimes dx^2(e_2)) \right) \\
&= \dfrac{1}{2} \left( \omega_{12}(1-0) + \omega_{21}(0-1) \right) \\
&= \dfrac{1}{2} \left( \omega_{12} - \omega_{21} \right) \\
&= \omega_{12}
\tag{##}
</tex>

同様に $\omega_{12} = \omega_{23} = 0$ に対して、

<tex>
\omega(e_3,e_1) 
&= \omega_{31}
\tag{##}
</tex>

最後に $\omega_{31} = \omega_{12} = 0$ に対して、

<tex>
\omega(e_2,e_3) 
&= \omega_{23}
\tag{##}
</tex>

が返ります。 $\omega$ がどんな形をしていようと、 $\omega(e_i,e_i) = 0$ となります。
また、 $\omega$ には多重線形性がありますから、

<tex>
\omega(X^\mu e_\mu , Y^\nu e_\nu) 
&= \dfrac{1}{2!} \left( 
  \omega_{12}(dx^1 \wedge dx^2)(X^\mu e_\mu , Y^\nu e_\nu) 
+ \omega_{21}(dx^2 \wedge dx^1)(X^\mu e_\mu , Y^\nu e_\nu) \right) \\
&+ \omega_{31}(dx^3 \wedge dx^1)(X^\mu e_\mu , Y^\nu e_\nu)
+ \omega_{13}(dx^1 \wedge dx^3)(X^\mu e_\mu , Y^\nu e_\nu) \\
&+ \left. \omega_{23}(dx^2 \wedge dx^3)(X^\mu e_\mu , Y^\nu e_\nu) 
+ \omega_{32}(dx^3 \wedge dx^2)(X^\mu e_\mu , Y^\nu e_\nu) \right) \\
&= \dfrac{1}{2!} 
\left( \omega_{12}(X^1Y^2 - X^2 Y^1) + \omega_{21} (X^2Y^1 - X^1Y^2) \right. \\
&+ \omega_{31}(X^3Y^1 - X^1 Y^3) + \omega_{13} (X^1Y^3 - X^3Y^1) \\
&+ \left. \omega_{23}(X^2Y^3 - X^3 Y^2) + \omega_{32}(X^3Y^2 - X^2Y^3) \right) \\
&= \left( \omega_{12}(X^1Y^2 - X^2 Y^1) + \omega_{31}(X^3Y^1 - X^1 Y^3)+ \omega_{23}(X^2Y^3 - X^3 Y^2) \right)
\tag{##}
</tex>

となります。ここで、内部積は一般的には最初のスロットにだけベクトルが入ったものです。
つまり、上式で $Y^j$ を $dx^j$ に変えたものが求めたいものです。

<tex>
i_X \omega 
&= X^1 \omega_{12} dx^2 - X^2 \omega_{21} dx^1 \\
&+ X^3 \omega_{31} dx^1 - X^1 \omega_{13} dx^3 \\
&+ X^2 \omega_{23} dx^3 - X^3 \omega_{32} dx^2 \\
&= \dfrac{1}{1!} X^\nu \omega_{\nu \mu_2} dx^{\mu_2} \tag{##}
</tex>

つまり、これは $r=2$ の時の式 $(3)$ の一番目の等号が示せたことになります。

これだけでは不安なので、 $3$ 次元中の $r=3$ の場合も示しておきましょう。

<tex> 
\det(X,Y,Z) =
\begin{vmatrix}
X^1 & Y^1 & Z^1 \\
X^2 & Y^2 & Z^2 \\
X^3 & Y^3 & Z^3 
\end{vmatrix}
\tag{##}
</tex>

と略記します。式 $(10)$ にならって、

<tex>
\omega( X^\lambda e_\lambda, Y^\mu e_\mu, Z^\nu e_\nu) 
&= \dfrac{1}{3!} \left( \omega_{123}\det(X,Y,Z) + \omega_{231}\det(X,Y,Z) + \omega_{312}\det(X,Y,Z) \right. \\
&-               \left. \omega_{132}\det(X,Y,Z) - \omega_{213}\det(X,Y,Z) - \omega_{321}\det(X,Y,Z) \right) \\
&= \omega_{123} (X^1 Y^2 Z^3 + X^2 Y^3 Z^1 + X^3 Y^1 Z^2 - X^1 Y^3 Z^2 - X^2 Y^1 Z^3 - X^3 Y^2 Z^1 )
\tag{##}
</tex>

となります。この式 $(13)$ は、 $Y \to dx^{\mu_2}$ と $Z \to dx^{\mu_3}$ でスロットを
空にすれば、 $Y^2 \otimes Z^3 - Y^3 \otimes Z^2 \to dx^2 \wedge dx^3$ 等が成立しましたから、

<tex>
\omega( X^\lambda e_\lambda, Y^\mu e_\mu, Z^\nu e_\nu) 
&= X^1 \omega_{123} dx^2 \wedge dx^3 + X^2 \omega_{231} dx^3 \wedge dx^1 + X^3 \omega_{312} dx^1 \wedge dx^2 \\
&= \dfrac{1}{2!} \left( 
 X^1 \omega_{1 \mu_2 \mu_3}dx^{\mu_2} \wedge dx^{\mu_3} 
+X^2 \omega_{2 \mu_2 \mu_3}dx^{\mu_2} \wedge dx^{\mu_3} 
+X^3 \omega_{3 \mu_2 \mu_3}dx^{\mu_2} \wedge dx^{\mu_3} \right) \\
&= \dfrac{1}{2!} X^\nu \omega_{\nu \mu_2 \mu_3} dx^{\mu_2} \wedge dx^{\mu_3}
\tag{##}
</tex>

となります。これで今回も式 $(3)$ の一番目の等号が示せました。

式 $(3)$ の二番目の等号については、再掲しておくと、 
<tex>
i_X \omega &= \dfrac{1}{(r-1)!}X^\nu \omega_{\nu \mu_2 \cdots \mu_r} dx^{\mu_2} \wedge \cdots \wedge dx^{\mu_r} \\
&= \dfrac{1}{r!} \sum_{s=1}^r (-1)^{s-1} X^{\mu_s} \omega_{\mu_1 \cdots \mu_r} dx^{\mu_2} \wedge \cdots \wedge \widehat{dx^{\mu_s}} \wedge \cdots \wedge dx^{\mu_r} \tag{3}
</tex>

なのでした。異なる $s$ に対して、微分形式の基底部分は

<tex>
&dx^{\mu_1} \wedge \cdots \wedge dx^{\mu_s} \wedge \cdots \wedge dx^{\mu_r} \\
= (-1)^{s-1} &dx^{\mu_s} \wedge dx^{\mu_1}\wedge \cdots \wedge dx^{\mu_r} \tag{##}
</tex>

と変形できます。
ベクトル $X^{\mu_s} e_{\mu_s}$ は一番左のスロットに来た $dx^{\mu_s}$ に作用し、
実数値である $\mathbb{R}$ の元になります。
それぞれの $s$ に対して $\omega_{\mu_1 \cdots \mu_s \cdots \mu_r}$ 
はこの添え字たち関して反対称ですから、 $(-1)^{s-1}$ を合わせて、同じ絶対値で符号も同じ項が $r$ 個出来ることになります。
それらの和記号 $\sum$ を導入しても等号で両辺を結ぶには $r$ で割る必要があり、階乗の因子は $\dfrac{1}{(r-1)!} \to \dfrac{1}{r!}$ に変わります。そうして、二番目の等号が示せました。


具体例
====================

具体例を考えます。スロットの一番目のみを埋めるということに注意してください。

(1) $X = e_1$ の時、

<tex>
i_X (dx^1 \wedge dx^2) &= dx^2 \\
i_X (dx^3 \wedge dx^1) &= -dx^3 \\
i_X (dx^2 \wedge dx^3) &= 0 \tag{##}
</tex>

(1) $X = e_1 + 2 e_2$ の時、

<tex>
i_X (2x^2 dx^1 \wedge dx^2) 
&= \omega_{12} dx_1(e_1+ 2e_2) \wedge dx^2 \\
&+ \omega_{21} dx_2(e_1+ 2e_2) \wedge dx^1 \\
&= \omega_{12} dx^2 + \omega_{21} 2 dx^1 \\
&= 2x^2 (dx^2 - 2dx^1)
\tag{##}
</tex>

(1) $X = e_1 + e_2 + e_3$ の時、

<tex>
i_X (dx^1 \wedge dx^2 \wedge dx^3) 
&= \omega_{123} dx_1(e_1+ e_2 + e_3) \wedge dx^2 \wedge dx^3 \\
&+ \omega_{213} dx_2(e_1+ e_2 + e_3) \wedge dx^1 \wedge dx^3 \\
&+ \omega_{312} dx_3(e_1+ e_2 + e_3) \wedge dx^1 \wedge dx^2 \\
&= dx^2 \wedge dx^3 - dx^1 \wedge dx^3 + dx^1 \wedge dx^2 \\
&= dx^2 \wedge dx^3 + dx^3 \wedge dx^1 + dx^1 \wedge dx^2
\tag{##}
</tex>

いかがだったでしょうか？内部積を理解できたとしたら幸いです。
今日はここまで、お疲れさまでした。

@@reference: 中原幹夫,理論物理学のための幾何学とトポロジーI(原著第２版),日本評論社,2018,p199-p207,4535788065@@

@@author:クロメル@@
@@accept:2019-11-15@@
@@category:微分・位相幾何@@
@@id:interiorProduct@@