立体の場合も、微小要素に分割すればよい
弾性的な3次元立体の運動が知りたい。前章まで1次元の弾性体を考えたので、次は3次元の弾性体を考えるわけである。1次元の場合と同様に、立体上にパラメータラベル
を入れた時、
に対応する点の位置
の時間変化
を求めることが目的となる。
立体から微小体積
を持つ体積要素(
要素)を仮想的に切り出す。前章と同様に、
要素に対するニュートンの運動方程式:
が分かればよい。この式は近似式であるが、体積
を括り出して、
の極限を取ることにより、厳密な加速度
が得られる。
2.13次元連続体におけるコーシーの運動方程式
ニュートンの運動方程式()の各項から、体積
を括り出していく。この節では、弾性体に限定せず、一般の連続体について議論し、コーシーの運動方程式()を導出する。
質量 と体積力 から体積 を括り出す:それぞれ式()、式()
式()の各項のうち、質量
と体積力
については、前章と同じである。
まず、微小体積要素の質量
については、密度
を用いて体積
を括り出すと
となる。
体積力
は、体積に比例した力なので、単位体積当たりの体積力を
とおくと:
と書ける。例えば、重力の場合、以下のようにのように
を括り出せる:
境界力は式()→ を括り出したい
ここまでは解く問題はなかった。問題となるのは、今回も境界力(面積力)
である。
は、微小体積要素の境界を通じて働く力である。1次元の場合は、微小線要素の両端から受ける2つの応力の和を考えるだけでよかった。しかし、3次元の場合は、境界が点ではなく面になるので、その境界全体から受ける応力を考える必要がある。即ち、応力を、境界上で積分する必要がある。
要素の境界面を
と表すことにする。
境界力
を求めるためには、境界面
(
は偏微分ではなく境界を表す記号)をさらに微小面要素に分けて、各面要素からの寄与を足し合わせることになる。要するに、面要素に働く応力
を境界面上で区分求積法で積分したものが
となるわけである:
応力
は単位面積あたりに働く力である。
は、体積要素の外側を向くようにとる。即ち、
の始点側が終点側から受ける応力が
となる。(
は時間にももちろん依存するが、今は必要ないので省略している。)
さて、それでは式()から
を括り出すにはどうすればよいだろうか。
式()には、境界の面積に比例する項が存在してはならない→式()
式()は境界面上での積分なので、典型的には、積分領域の面積
に比例する。しかし、体積
が括り出せるためには、境界力
は
に比例するような項を持ってはならない。実際、体積要素を相似比で
倍にすると、
は
倍になるが、
は
倍になる。よって、
の極限で、
となってしまう。すると、運動方程式()を
で割ってから
とすると、加速度が発散してしまう。
よって、
に比例するような項がなくなるように、応力
に対して何らかの条件を加えなければならない。明らかな条件は、作用・反作用の法則
であるが、これだけでは足りない。
そこで、実際に式()から
に比例する項を括り出して、それがゼロになることを要請すればよい。まず、式()において、積分領域の面積がすでに
のオーダーなので、
は、
依存を無視してよい(
上の点
からの差
についての1次近似を考えると
が微小量なので
よりも小さいオーダーになる)。これを、
と書く。すると式()は
となる。
は、この項が
のオーダーであることを示す。よって、
が
のオーダーになるには
となることが必要である。
応力は応力テンソル で書ける:式()
式()が成り立つためには、応力はどのような条件を満たすべきだろうか。まず、最も簡単な形状として、
が三角錐である場合を考える。すると、4つの面を
として
となる。同様の式が
についても成り立つことが幾何学的にわかる:
これらを、
および
の形にすると、以下のようになる:
ところで、
は1次独立なので、応力
はそれらの1次結合で書ける。即ち、ある行列
を用いて:
これを式()に代入した後、式()を使うと
となる。
三角錐を取り換えたとしても、式()の
は共通となる(
の面の向きを変えずに、
の向きを任意にとることができるため)。従って、
さえ分かれば、任意の方向
に対する応力
が決まることになる:
これは前章の場合と同じ形になっている。今回も、
を応力テンソルという。前章では、テンソルというほどでもなかったが、今回は、確かに線形関数になっている。
3次元連続体のコーシーの運動方程式:式()
応力テンソル
を用いた応力()を使うと、境界力()は以下のようになる:
ここから、
を括り出したい。括り出せるのであれば、面積分を体積積分に変換するような数学公式が存在するはずである。実際そのような公式存在し、それは、3次元での微分積分学の基本定理(以下の【2.1-注1】)である。同注の式()を、式()の各成分に代入して体積積分にすれば、
を括り出せる:
は、微分が(通常の右側でなく)左側に作用することを意味している(
とも書ける)。
式()を見ると、
が定数であれば、境界力はゼロになる。これは、応力がテンソルで書ければ、常に式()が成り立つということである。よって、
が括り出せるという条件からは、応力がテンソルで表されるという以上の条件は出てこない。
以上で得られた3式(式()および式()、式())を運動方程式()に代入して
で割った後、
の極限を取ると、目的のコーシーの運動方程式が得られる:
【2.1-注1】3次元での微分積分学の基本定理
3次元空間中の3次元領域
上において、以下のように、境界
上の積分を、
上の積分に変換できる:
:上で全微分可能な関数:境界に垂直で外側を向く単位ベクトル
これを成分で表すと
となる。
証明
第xx章で証明する。
2.2応力テンソルは対称であると見なせる
ミクロな回転は通常無視できる
コーシーの運動方程式()が求まったので、最初の目的は達成した。ただ、1つ疑問がある。運動方程式()では、微小体積要素の位置について考えたが、力学編第10章で見たように、大きさを持つ物体は、位置だけでなく回転を考える必要がある。よって、微小体積要素の回転についても考える必要があるのではないだろうか。
単純に考えると、考えなくてもよさそうである。コーシーの運動方程式()によって全ての点の加速度が求まるわけだから、回転を考えなくても運動が計算ができるのである。実際、微小体積要素
が回転している場合でも、さらに小さい体積要素
に分割すれば、
の回転運動は、
の平行移動で表現できるはずである。
しかし、この議論には不備がある。というのも、体積要素をいくらでも小さくできるわけではないからである。コーシーの運動方程式が成立するのは、連続体である場合のみである。連続体であるという性質を保ったまま、体積要素をいくらでも小さくしていけるとは限らないので、
が常に取れるとは限らない。(分子の存在をこの段階で認めるのであれば、微小体積要素は、分子より十分大きくなければならないということである。)。連続体と見なせないほど(あるいは測定できないほど)ミクロなスケールでの回転がある場合、式()だけを考えていたのでは不十分である。その場合、各点の運動だけでなく、回転を決めなければならない。即ち、各点に回転行列と角速度ベクトルを割り当てて(=回転行列と角速度ベクトルの場を考えて)、それらの時間変化を与えるように、コーシーの運動方程式を拡張しなければならない。
とはいえ、通常、そのようなミクロスケールでの回転が連続体のマクロな変形に与える影響は、小さい。よって今後、ミクロな回転は無視できるとする(無視できるような連続体のみを考える)。
ミクロな回転を無視すれば、応力テンソル は対称行列である
以上により、微小体積要素に対して、(応力由来の)偶力によるトルク
はゼロとしてよい。
を計算すると、重心を
として以下のようになる:(添え字が多くなって見づらいので、以下の【2.2-注1】の式()の略記法を用いた)
式式
(体積力によるトルクはゼロなので無視している。)これが任意の微小な
でゼロなのだから、
となる。即ち、以下が言える:
即ち、応力テンソル
は対称行列である。逆に、
が対称行列であれば、ミクロなトルクの影響はゼロになる。
【2.2-注1】アインシュタインの縮約記法:式()、式()
ベクトルにテンソルを作用させる時、以下のように、必ず和が現れる:ベクトルは上付き添え字、テンソルは下付き)
これを見やすくするため、和の記号を以下のように省略することが多い:
同じ添え字が2回現れたら和を取る(=縮約する)と覚えておけばよい。これを、アインシュタインの縮約記法という。テンソルの関数形や対称性を露わに書き下した場合を除き、1つの項に3回以上同じ添え字が現れることはない。
補足
あるいは、式()をさらに記号的に書くこともできる。具体的には
であれば、以下のように書く(標準的な記法ではない):
は和を取らない添え字であり、左から順に対応させていく。例えば、左辺の最初の
と右辺の最初の
が同じ添え字である。
は和を取る添え字であり、この場合も左から順に、例えば、最初の下付き
と最初の上付き
が縮約のペアになる。
添え字が多くなると、見分けがつきにくくなったり、間違って同じ添え字を重複させてしまったりするので、添え字の名前を考えなくてよいこの記法は便利である。以降では基本的にこの記法を使う。ただし、常に使えるわけではないので(例えば
のような式)、式()の表記法も併用する。
2.3弾性立体の構成方程式
3次元弾性立体の運動方程式を求めるためには、応力テンソル
を求める方程式である構成方程式を導けばよい。そうすれば、コーシーの運動方程式()に、その
を代入することにより、運動方程式が確定する。
微小体積要素の変位は、回転とひずみに分けられる
弾性体を考えているので、応力テンソル
は、変形に比例する。ところで、変形とはどのように表されるのだろうか。
簡単のため、
において弾性体が自然状態、即ち、いたるところで
になっているとする。(これは常に可能であるとは限らない。例えば、しなる棒を曲げて両端を接着することで輪を作ると、釣り合いの状態でも応力が内部に残ったままとなる。これを残留応力という。)さらに、
において、
であるとする(初期状態での空間座標をそのままラベル
として使う)。このようにとっておくと、ラベル
周辺において
となるので、
が変形を表している。特に、
の時には変形していない。
を、変形勾配テンソルという。
ここまでは、初期状態で自然状態としたが、一般には自然状態が取れるとは限らない。自然状態でない場合、
であっても変形が残っている。そこで、これを補正するための行列
を用いて、一般の変形勾配テンソルを以下のように定義する:
こうすれば、自然状態の時に
となる(そうなるように
を定義する)。
応力テンソル
は、変形に比例するわけだが、
に比例するわけではない。
には回転が含まれているのでこれを取り除かなければならない。そのためには、極分解(以下の【2.3-注1】)を用いればよい:
今の場合、
は回転行列になる。変形は、対称行列
で与えられる。また
のことをひずみという。ひずんでいない時に
となる。
【2.3-注1】極分解
任意の正方行列
は、以下の形に分解できる:
:直交行列:半正定値対称行列
これを右極分解という。積の順序を変えた左極分解も可能である:
証明
まず、
の平方根
を、「2乗した時に
になる半正定値対称行列」と定義する:
これは常に存在する。実際、
のスペクトル分解(対称行列なので常に可能):
について、固有値
の平方根
を取ればよい(
は半正定値なので
):
これを使うと、極分解を具体的に書き下せる:(
、
)
が直交行列であることは、直交行列の定義
を直接導くことにより示せる:
回転に対する応力テンソルの変化:式()
回転とひずみに分離したので、まず、回転を考える。直感的に、回転したときの応力テンソル
の変化は、自動的に決まりそうな気がする。回転前の
は、応力
と法線ベクトル
を以下によって関係づける:
すると、弾性体を
だけ回転させた時、以下が成り立つはずである:(
は回転後の応力テンソル)
要するに、弾性体と
を一緒に
だけ回転させれば、応力も同じように
だけ回転するということである。これは、以下の【2.3-注2】のように、力学編で述べた相対性原理の自然な拡張である。
式()と式()を連立して
を消すと、任意の
で成り立つことより、
は以下のように変換することが分かる:
【2.3-注2】相対性原理の拡張
力学編第4章の【4.1-注1】で述べた相対性原理は、定数回転についても成り立つ。即ち、ある慣性系
に対して一定の角度だけ回転した系
は、やはり慣性系であり、物理法則も変わらない。
補足
例えば系
において運動方程式
が成立している時、系
では
となる。
と置いて両運動方程式を比較することにより、
と変換することが要請される。
力学編第4章の【4.1-注2】では、慣性系間の座標はガリレイ変換
で結ばれると述べた(
は
から見た
の速度)。定数回転も含めて書くと以下のようになる:(
は
から見た
の回転)
これもガリレイ変換という。これだとに原点の位置が共通なので、その取り換えを含めてもよい:
(
は
から見た
の原点位置)。
構成方程式:式()
以上により、変形勾配テンソル
が与えられれば、その右極分解
により応力テンソル
が求まる。即ち、ひずみ
を用いて、
は以下の形で書ける:
は、回転を除いたものであり、ひずみ
に比例する。成分で書けば以下のようになる:
比例係数
を、弾性テンソルという。
は対称行列なので、独立な成分の数はともに6である。従って、弾性テンソル
の独立な成分は
である。一様な物体であれば、
は時間的・空間的に定数である(物性が時間とともに変化する場合を除く)。
以上により、弾性テンソル
を決めておけば、変形勾配テンソル
から応力テンソル
が決まり、コーシーの運動方程式()が確定することになる。
【例】等方的な弾性体の構成方程式:式()
例として、弾性体が等方的な場合を考える。等方的とは、向きによって性質が変わらないことをいう。通常の物体は等方的とみなせる。この場合、弾性テンソルは以下のように、簡単になる:
導出は第xx章で行う。ただし、
にかかるひずみテンソルが対称であることを用いた。
はクロネッカーのデルタといい、2つの添え字が等しい時に1、異なるときに0となる。自由度は
の2つのだけになる。
をラメ定数という。
よって、応力テンソル
は、式()に式()を代入すればよい:
よって
ただし、
は対角成分の和である:
。