tkenichi の日記

毒舌皮肉系恥さらし日記

リーマン計量の差の変分３

Math

f:id:tkenichi:20160115103020j:plain

連続体力学の概念とリーマン幾何の概念の対応を考えてみる。 \phi:(M_L,g_L) \to (M_E,g_E)をリーマン多様体の間*1の微分同相写像とする。この写像は等長的（すなわち \phi^{*}(g_E) = g_L）であることは仮定せずに、等長的なものからどれくらい離れているかを考える。

接ベクトル束に定義される微分写像を \phi_* : TM_L \to TM_E とする。これは連続体力学では変形勾配テンソルと呼ばれる。

接ベクトル束の間の束写像 \psi : TM_L \to TM_E についてリーマン計量によって転置写像 \psi^T : TM_E \to TM_L が定義される。

g_E(\psi^T(v),u) = g_L(v,\psi(u))

また、自分自身への束写像 \psi : TM \to TM が対称であるとは

g(\psi(v),u) = g(v,\psi(u))

が成り立つ場合とし、正定値であるとは u \neq 0 について

g(\psi(u),u) > 0

が成り立つことをいう。

微分写像 \phi_* : TM_L \to TM_E とその転置から

C: TM_L \xrightarrow{\phi_*} TM_E \xrightarrow{\phi_*^T} TM_L
B: TM_E \xrightarrow{\phi_*^T} TM_L \xrightarrow{\phi_*} TM_E

なる自分自身への束写像が定義できる。これらは正定値対称である。連続体力学ではCを右Cauchy-Green変形テンソル、Bを左Cauchy-Green変形テンソルという。

微分写像 \phi_* : TM_L \to TM_E は正定値対称写像と直交写像に分解できる。

\phi_* : TM_L \xrightarrow{R} TM_E \xrightarrow{V} TM_E
\phi_* : TM_L \xrightarrow{U} TM_L \xrightarrow{R} TM_E

UとVは正定値対称写像であり、Rは直交写像である。R は右分解と左分解に共通の直交写像である。次の図式は可換である。

\begin{array}{ccc} TM_L & \xrightarrow{R} & TM_E \\ \downarrow \small{U} & \circlearrowleft & \downarrow \small{V} \\ TM_L & \xrightarrow{R} & TM_E \end{array}

直交写像 R は次の図式も可換にする。

\begin{array}{ccc} TM_L & \xrightarrow{R} & TM_E \\ \downarrow \small{\phi_{*}} & \circlearrowleft & \downarrow \small{\phi_{*}^{T}} \\ TM_E & \xrightarrow{R^{T}} & TM_L \\ \downarrow \small{\phi_{*}^{T}} & \circlearrowleft & \downarrow \small{\phi_{*}} \\ TM_L & \xrightarrow{R} & TM_E \end{array}

また、 U = C^{1/2} および V = B^{1/2} である。平方根は正定値対称テンソルの値をとるという意味で一意に決まる。 f_U(x) = x^{1/2} を x=1 の周りでマクローリン展開すると、 f_U(x) = 1 + 1/2(x-1) + O(x^2) である。これを使って U = f_U(C) = 1 + 1/2(C-1) + O(C^2) を得る。同様に f_V(x) = x^{-1/2} を x=1 の周りでマクローリン展開すると、 f_V(x) = 1 - 1/2(x-1) + O(x^2) である。これを使って V = f_V(B^{-1}) = 1 - 1/2(B^{-1}-1) + O(B^{-2}) = 1 + 1/2(1-B^{-1}) + O(B^{-2}) を得る。それぞれの1次の項 1/2(C-1)、 1/2(1-B^{-1})を 連続体力学では Lagrange 歪、Euler 歪と呼ぶ。

リーマン幾何 連続体力学
微分写像 \phi_* 変形勾配テンソル F
C=\phi_*^T \circ \phi_* 右Cauchy-Green変形テンソル
B=\phi_* \circ \phi_*^T 左Cauchy-Green変形テンソル
\phi_* = R \circ U 右極分解したときの U 右ストレッチテンソル
\phi_* = V \circ R 左極分解したときの V 左ストレッチテンソル
U を C でマクローリン展開した時の1次の項 1/2(C-1) Lagrange 歪
V を B^{-1} でマクローリン展開した時の1次の項 1/2(1-B^{-1}) Euler 歪

*1:LはLagrange表示、EはEuler表示を意図している