(cache)ひずみテンソル - 数学、ときどき統計、ところによりＩＴ

今回は物体の変形を表現するひずみテンソルについて見ていきたいと思います。

ユークリッド空間

初めに解析の舞台となるユークリッド空間の正確な定義を与えます。

定義　 $E$ を集合、 $V$ を線型空間とする。次の条件を満たす写像の族 ${τ_{v} : E \to E | v \in V}$ が与えられているとき、組 $(E, V)$ を、基礎集合を $E$ 、同伴線型空間を $V$ とするアフィン空間と呼ぶ。

任意の $u, v \in V$ に対して $τ_{u} \circ τ_{v} = τ_{u + v},$
任意の $P, Q \in E$ に対してただ１つの $v \in V$ が存在して $Q = τ_{v} (P)$ が成り立つ。 $Q = τ_{v} (P)$ は通常、 $Q = P + v$ または $v = \vec{P Q}$ と表す。

$V$ が内積線型空間のとき、アフィン空間 $(E, V)$ をユークリッド空間と呼ぶ。

ひずみテンソルの定義

$(E, V)$ を３次元ユークリッド空間とし、 $V$ の内積を $(,)_{V}$ とします。 $M$ を $E$ の開部分集合とし、 $f : M \to E$ を変位を表す写像とします。さらに $u : M \to V$ を $u (P) := \vec{P f (P)}$ で定義し、これを変位ベクトルと呼びます。さらに変位ベクトル $u$ は $M$ 上で微分可能とします。つまり各 $P \in M$ で $V$ 上の線型写像 $(d u)_{P} \in Lin (V, V)$ が存在して

u (Q) = u (P) + (d u)_{P} (\vec{P Q}) + o (‖ \vec{P Q} ‖_{V})

が成り立つとします。さらに議論を単純にするために $u$ を $C^{\infty}$ 級とします。このとき $\begin{aligned} f (Q) & = Q + u (Q) \\ = (P + \vec{P Q}) + (u (P) + (d u)_{P} (\vec{P Q}) + o (‖ \vec{P Q} ‖_{V})) \\ = f (P) + \vec{P Q} + (d u)_{P} (\vec{P Q}) + o (‖ \vec{P Q} ‖_{V}) \end{aligned}$ なので

\vec{f (P) f (Q)} = \vec{P Q} + (d u)_{P} (\vec{P Q}) + o (‖ \vec{P Q} ‖_{V})

となります。

定義（剛体運動）　任意の $P$ , $Q$ , $R \in M$ に対して

(\vec{f (P) f (Q)}, \vec{f (P) f (R)})_{V} = (\vec{P Q}, \vec{P R})_{V}

が成り立つとき、 $f : M \to E$ を剛体運動という。

ここでは剛体運動ではない変位から生じる変形を考えます。 $\begin{aligned} (\vec{f (P) f (Q)}, \vec{f (P) f (R)})_{V} & - (\vec{P Q}, \vec{P R})_{V} \\ = (\vec{P Q}, (d u)_{P} (\vec{P R}))_{V} & + ((d u)_{P} (\vec{P Q}), \vec{P R})_{V} \\ + ((d u)_{P} (\vec{P Q}), & (d u)_{P} (\vec{P R}))_{V} \\ + o (‖ \vec{P Q} ‖_{V}^{2}) & + o (‖ \vec{P Q} ‖_{V} ‖ \vec{P R} ‖_{V}) + o (‖ \vec{P R} ‖_{V}^{2}) \end{aligned}$ であることに注意して以下の量を定義します。

定義　次で定義される $E (P)$ , $E_{G L} (P)$ をそれぞれ $P \in M$ における微小ひずみ、Green-Lagrangeひずみと呼ぶ。

$\begin{aligned} E (P) (\vec{P Q}, \vec{P R}) & := \frac{1}{2} {(\vec{P Q}, (d u)_{P} (\vec{P R}))_{V} + ((d u)_{P} (\vec{P Q}), \vec{P R})_{V}} \\ = {(\vec{P Q}, \frac{(d u)_{P} + (d u)_{P}^{*}}{2} \vec{P R})}_{V}, \end{aligned}$ $\begin{aligned} E_{G L} (P) (\vec{P Q}, \vec{P R}) & := \frac{1}{2} {(\vec{P Q}, (d u)_{P} (\vec{P R}))_{V} + ((d u)_{P} (\vec{P Q}), \vec{P R})_{V} \\ + ((d u)_{P} (\vec{P Q}), (d u)_{P} (\vec{P R}))_{V}} \\ = {(\vec{P Q}, \frac{(d u)_{P} + (d u)_{P}^{*} + (d u)_{P}^{*} (d u)_{P}}{2} \vec{P R})}_{V} \end{aligned}$

注意　 $E$ , $E_{G L} \in C^{\infty} (M, (V^{*})^{\otimes 2})$ は対称な 2 階の共変テンソル場であることが直ちに分かります*1。また上記の定義は特定の座標に依存しない定義式になっています。

ひずみテンソルの座標表示

ここで（一般的な書籍で見られる）直交座標系を使った表記との関係を見ることにします。

点 $P \in M$ における直交座標系を $(x_{1}, x_{2}, x_{3})$ 、 $V$ の基底を ${(\partial / \partial x_{i})_{P} | i = 1, 2, 3}$ とします*2。このとき $(d u)_{P} ((\partial / \partial x_{i})_{P})$ を $u$ の $x_{i}$ 方向の偏微分係数と言います。

今、 $u_{i} : M \to R^{1}$ を

u_{i} (P) := {({(\frac{\partial}{\partial x_{i}})}_{P}, u (P))}_{V}, P \in M

とすると $\begin{aligned} (d u)_{P} ({(\frac{\partial}{\partial x_{i}})}_{P}) & = lim_{h \to 0} \frac{1}{h} (u (P + h {(\frac{\partial}{\partial x_{i}})}_{P}) - u (P)) \\ = \sum_{k = 1}^{3} lim_{h \to 0} \frac{u_{k} (P + h {(\frac{\partial}{\partial x_{i}})}_{P}) - u_{k} (P)}{h} {(\frac{\partial}{\partial x_{k}})}_{P} \\ = \sum_{k = 1}^{3} \frac{\partial u_{k}}{\partial x_{i}} (P) {(\frac{\partial}{\partial x_{k}})}_{P} \end{aligned}$ となります。よって

{({(\frac{\partial}{\partial x_{i}})}_{P}, (d u)_{P} ({(\frac{\partial}{\partial x_{j}})}_{P}))}_{V} = \sum_{k = 1}^{3} \frac{\partial u_{k}}{\partial x_{j}} (P) \cdot δ_{i k} = \frac{\partial u_{i}}{\partial x_{j}} (P) .

このことから $P \in M$ の近傍で微小ひずみ $E \in C^{\infty} (M, (V^{*})^{\otimes 2})$ について

E (P) ({(\frac{\partial}{\partial x_{i}})}_{P}, {(\frac{\partial}{\partial x_{j}})}_{P}) = \frac{1}{2} (\frac{\partial u_{i}}{\partial x_{j}} (P) + \frac{\partial u_{j}}{\partial x_{i}} (P))

が成り立ちます。よって ${(\partial / \partial x_{i})_{P} | i = 1, 2, 3}$ に対する双対基底を ${(d x_{i})_{P} | i = 1, 2, 3}$ とすると

E (P) = \sum_{i, j = 1}^{3} \frac{1}{2} (\frac{\partial u_{i}}{\partial x_{j}} (P) + \frac{\partial u_{j}}{\partial x_{i}} (P)) (d x_{i})_{P} \otimes (d x_{j})_{P}

と書くことが出来ます。

*1:なお $V^{*}$ は $V$ の双対空間を表します。

*2:微分幾何学の記号を援用します。