#rst2hooktail_source
============================================================
微分幾何学における流れの具体例
============================================================
この記事では、リー微分を理解するのに必要な流れの具体例をいくつか見ます。
記法としては、中原幹夫先生の理論物理学のための幾何学とトポロジーIのものを採用します。
以下では二次元平面上の事を考え、ベクトル場を $X^\mu$ で、積分曲線を $\sigma^\mu$ とします。
すると、
<tex>
\dfrac{d}{dt} \sigma^\mu = X^\mu(\sigma^1,\sigma^2) \tag{##}
</tex>
を満たします。
例１
===========================
ベクトル場
<tex>
X = -y \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y} \tag{##}
</tex>
あるいは、同じことですが、
<tex>
\begin{pmatrix}
X^1 \\
X^2
\end{pmatrix}
=
\begin{pmatrix}
-y \\
x
\end{pmatrix} \tag{##}
</tex>
に対して、積分曲線は
<tex>
\sigma &= \begin{pmatrix}
\sigma^1 \\
\sigma^2
\end{pmatrix} \\
&=
\begin{pmatrix}
x \cos t - y \sin t \\
x \sin t + y \cos t
\end{pmatrix} \tag{##}
</tex>
と書けます。
すると、
<tex>
\dfrac{d}{dt}\sigma
&=
\begin{pmatrix}
- x \sin t - y \cos t \\
x \cos t - y \sin t
\end{pmatrix} \tag{##}
</tex>
であり、一方、
<tex>
X(\sigma) &= \left( -y \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y} \right)
\begin{pmatrix}
x \cos t - y \sin t \\
x \sin t + y \cos t
\end{pmatrix} \\
&=
\begin{pmatrix}
-y \cos t - x \sin t \\
-y \sin t + x \cos t
\end{pmatrix}
\tag{##}
</tex>
だから、
<tex>
\dfrac{d}{dt}\sigma^\mu &= X^\mu (\sigma^1,\sigma^2) \tag{##}
</tex>
が確かに成り立っています。 与えられた $X^\mu$ に対する
$\sigma$ を求めるには、式 $(7)$ を具体的に書いて、
<tex>
\dfrac{d}{dt}\sigma^1 &= \left( -y \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y} \right)\sigma^1 \\
\dfrac{d}{dt}\sigma^2 &= \left( -y \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y} \right)\sigma^2
\tag{##}
</tex>
で、 $\sigma^1 = x, \sigma^2=y$
つまり、 $\dfrac{\partial \sigma^1}{\partial x} = \dfrac{\partial \sigma^2}{\partial y} = 1$
と、 $\dfrac{\partial \sigma^1}{\partial y} = \dfrac{\partial \sigma^2}{\partial x} = 0$ に気が付けば簡単で、
<tex>
\dfrac{d}{dt}
\begin{pmatrix}
x \\
y
\end{pmatrix}
&=
\begin{pmatrix}
-y \\
x
\end{pmatrix} \\
&=
\begin{pmatrix}
0 & -1 \\
1 & 0
\end{pmatrix}
\begin{pmatrix}
x \\
y
\end{pmatrix}
\tag{##}
</tex>
を解けば良いです。
積分曲線は、式 $(4)$ から $t$ を消去して、初期位置 $(x,y)$ として、
<tex>
(\sigma^1)^2 + (\sigma^2)^2 = x^2 + y^2 = const. \tag{##}
</tex>
となります。つまり、積分曲線は同心円となります。
例２
==================
例１と同様なので、要点だけ書きます。
<tex>
X = y \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y} \tag{##}
</tex>
<tex>
\sigma
=
\begin{pmatrix}
x \cosh t + y \sinh t \\
x \sinh t + y \cosh t
\end{pmatrix} \tag{##}
</tex>
<tex>
(\sigma^1)^2 - (\sigma^2)^2 = x^2 - y^2 = const. \tag{##}
</tex>
これは双曲線です。
例３
==================
<tex>
X = x \dfrac{\partial}{\partial x} + y \dfrac{\partial}{\partial y} \tag{##}
</tex>
<tex>
\sigma
=
\begin{pmatrix}
x e^{t} \\
y e^{t}
\end{pmatrix} \tag{##}
</tex>
<tex>
\sigma^2/\sigma^1 = y/x = const. \tag{##}
</tex>
または、
<tex>
\sigma^1 = 0 \tag{##}
</tex>
これは原点を通る直線です。
例４
==================
<tex>
X = -x \dfrac{\partial}{\partial x} + y \dfrac{\partial}{\partial y} \tag{##}
</tex>
<tex>
\sigma
=
\begin{pmatrix}
x e^{-t} \\
y e^{t}
\end{pmatrix} \tag{##}
</tex>
<tex>
\sigma^1\sigma^2 = xy = const. \tag{##}
</tex>
これは双曲線です。
例５
==================
<tex>
X = \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y} \tag{##}
</tex>
<tex>
\sigma
=
\begin{pmatrix}
x + t \\
xt +\dfrac{t^2}{2} - y
xt +\dfrac{t^2}{2} + y
\end{pmatrix} \tag{##}
</tex>
<tex>
\sigma^2 - (1/2)(\sigma^1)^2 = y - (1/2)x^2 = const. \tag{##}
</tex>
この例は今までのやり方と少し異なる工夫が必要です。
解くべき方程式は、
<tex>
\dfrac{d}{dt}
\begin{pmatrix}
x \\
y \\
1
\end{pmatrix}
=
\begin{pmatrix}
0 & 0 & 1 \\
1 & 0 & 0 \\
0 & 0 & 0
\end{pmatrix}
\begin{pmatrix}
x \\
y \\
1
\end{pmatrix}
</tex>
です。ここで、
<tex>
N=
\begin{pmatrix}
0 & 0 & 1 \\
1 & 0 & 0 \\
0 & 0 & 0
\end{pmatrix}
</tex>
と置きます。
すると、解は
<tex>
\begin{pmatrix}
\sigma^1 \\
\sigma^2 \\
1
\end{pmatrix}
&= \exp \left(
N t \right)
\begin{pmatrix}
x \\
y \\
1
\end{pmatrix} \\
&=
\left(
\begin{pmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{pmatrix}
+
\begin{pmatrix}
0 & 0 & 1 \\
1 & 0 & 0 \\
0 & 0 & 0
\end{pmatrix}t
+
\begin{pmatrix}
0 & 0 & 0 \\
0 & 0 & 1 \\
0 & 0 & 0
\end{pmatrix}t^2/2
\right)
\begin{pmatrix}
x \\
y \\
1
\end{pmatrix}
</tex>
となります。ここで、 $N^k = O (k \geq 3)$ を用いました。
これは放物線です。
この記事の内容を踏まえて、次回、リー微分について書こうと思います。
今日はここまで。お疲れさまでした。
@@reference: 中原幹夫 佐久間一浩,理論物理学のための幾何学とトポロジーI,ピアソン・エデュケーション社,2000,p145-p148,4894711656@@
@@reference: 中原幹夫 佐久間一浩,理論物理学のための幾何学とトポロジーI(第二版),ピアソン・エデュケーション社,2018,p----,4535788065@@
@@author:クロメル@@
@@accept:2019-07-31@@
@@category:微分・位相幾何学@@
@@id:flow@@
記事ソース/微分幾何学における流れの具体例 の変更点
