物理/エネルギーと保存則

提供: Internet Web School

(版間での差分)
(エネルギーと保存則)
(エネルギー)
 
(間の77版分が非表示)
1 行: 1 行:
-
= エネルギーと保存則 =
+
[[物理]]
 +
> [[物理/力学|力学]]
 +
> [[物理/エネルギーと保存則|エネルギーと保存則]]
質点や質点の集まりの運動を調べるときに有用な<br/>
質点や質点の集まりの運動を調べるときに有用な<br/>
81 行: 83 行:
====仕事エネルギー定理(Work-energy theorem)====
====仕事エネルギー定理(Work-energy theorem)====
-
空間には適当に原点Oを定めておく。
+
質点に力を与えて運動させたとき、力のなした仕事は質点の運動エネルギーの増加に等しいことが証明できる。<br/>
-
必要ならば直交座標$O-x_{1}x_{2}x_{3}$をいれる。<br/>
+
外力のなした仕事(エネルギー)が、質点のエネルギーに転嫁するのである。<br/>
-
'''仕事エネルギー定理'''<br/>
+
これは、仕事エネルギー定理と呼ばれる重要な定理である。<br/>
 +
以下にその証明をしよう。<br/>
 +
 
質量$m$の質点が力 $\vec F(t)$を受けて運動している(注参照のこと)。<br/>
質量$m$の質点が力 $\vec F(t)$を受けて運動している(注参照のこと)。<br/>
力は時間に関して連続であるか、区分的に連続(不連続点が有限個しかない)と仮定する。<br/>
力は時間に関して連続であるか、区分的に連続(不連続点が有限個しかない)と仮定する。<br/>
-
時刻$t$ の質点の位置を$\vec{x}(t)$で表し、
+
空間には適当に原点Oを定め、適切な直交座標$O-x_{1}x_{2}x_{3}$をいれる。<br/>
-
$\vec{v}(t)=\frac{d\vec{x}}{dt}(t)$とおく。<br/>
+
時刻$t$ の質点の位置 $P(t)$ を位置ベクトルを$\vec{x}(t):=\vec{OP(t)}$で表わすと、その速度は
-
すると<br/>
+
$\vec{v}(t)=\frac{d\vec{x}}{dt}(t)$<br/><br/>
-
ⅰ)時刻$t_1$から $t_2$までに力の行う仕事は<br/>
+
注)<br/>
-
$W=\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt
+
万有引力や電磁気力は、場所によって変化するので、<br/>
-
=\int_{t_1}^{t_2}(\vec{F}(t)\cdot \frac{d\vec{x}(t)}{dt}dt
+
位置ベクトル$\vec x$にいる質点の受ける力は$\vec{G}(\vec x)$である。<br/>
 +
すると、時刻$t$に質点の受ける力は時間の関数$\vec{F}(t):=\vec{G}(\vec{x}(t))$となる。<br/>
 +
また人為的に時間により力を変えて物体の運動を制御することもある。<br/>
 +
この定理は、この場合にも適用できるような記述にした。<br/><br/>
 +
 
 +
定理の証明に利用する命題を用意する。<br/>
 +
補題<br/>
 +
時刻$t^{1}$から $t^{2}$までに力の行う仕事Wは<br/>
 +
$W=\int_{t^{1}}^{t^{2}}(\vec{F}\cdot \vec{v})(t)dt
 +
(=\int_{t^{1}}^{t^{2}}\vec{F}(t)\cdot \frac{d\vec{x}(t)}{dt}dt)
$<br/>
$<br/>
 +
である。<br/>
ここで$(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot \vec{v}(t)$<br/>
ここで$(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot \vec{v}(t)$<br/>
 +
力が一定のときは、<br/>
 +
$W=\int_{t^{1}}^{t^{2}}\vec F \cdot \frac{d\vec{x}(t)}{dt}dt
 +
=\vec F \cdot \int_{t^{1}}^{t^{2}}\frac{d\vec{x}(t)}{dt}dt=\vec F \cdot (\vec{x}(t^{2})-\vec{x}(t^{1}))$<br/>
 +
となり、力のなす仕事の定義と一致する。<br/>
 +
証明;<br/>
 +
前節の「連続な力の場のなす仕事」の命題の証明で、<br/>
 +
パラメータpとして、時間tをとり、<br/>
 +
力$\vec{F}(\vec{x}(t))$を,改めて$\vec{F}(t)$とおけば、<br/>
 +
全く同じように証明できる。<br/>
 +
しかし、その証明はやや難しかいので、別の証明を与える。<br/>
 +
時刻 $t^1$ から $t\in [t^{1},t^{2}]$ までに力のなす仕事を $W(t)$ とかくと、<br/>
 +
時刻$t\in (t^{1},t^{2})$ から微小時間 $\delta t(\neq 0)$ ($(t+\delta t)\in (t^{1},t~{2})$)の間に力のなす仕事を $\delta W(t)$ とかけば $\delta W(t)=W(t+\delta t)-W(t)$ が成り立つ。<br/>
 +
力が(区分的)連続なので、それを2回積分した軌道は(区分的に)滑らかな連続曲線になるので、<br/>
 +
この短い時間の間は、<br/>
 +
力は時刻 $t$ での値 $\vec{F}(t)$ に等しく、<br/>
 +
質点の軌道は、有向線分 $\overrightarrow{P(t),P(t+\delta t)}=\vec{x}(t+\delta t)-\vec{x}(t)$ に等しい<br/>
 +
とみなしてよい。<br/>
 +
すると力のなす仕事の定義から、<br/>
 +
$\delta W(t)=W(t+\delta t)-W(t)=\vec{F}(t) \cdot (\vec{x}(t+\delta t)-\vec{x}(t))$ <br/>
 +
が得られる。<br/>
 +
両辺を $\delta t$ で割ると、<br/>
 +
$\frac{W(t+\delta t)-W(t)}{\delta t}=\vec{F}(t) \cdot \frac{\vec{x}(t+\delta t)-\vec{x}(t)}{\delta t}$ <br/>
 +
が得られる。<br/>
 +
ベクトル値関数$\vec{x}(t)$は、有限個の点を除いて微分可能で、その導関数は連続なので、<br/>
 +
右辺は$\delta t$を零に近づけるとき、極限をもつ。<br/>
 +
したがって、最悪でも、有限個のtを除いて $W(t)$  は微分可能で、<br/>
 +
$\frac{dW}{dt}(t)=\lim_{\delta t \to 0}\frac{W(t+\delta t)-W(t)}{\delta t}
 +
=\lim_{\delta t \to 0}\vec{F}(t) \cdot \frac{\vec{x}(t+\delta t)-\vec{x}(t)}{\delta t}=\vec{F}(t) \cdot \frac{d\vec{x}}{dt}(t)$  <br/>
 +
故に、W(t) は $\vec{F}(t) \cdot \frac{d\vec{x}}{dt}(t)$ の不定積分<br/>
 +
$\int \vec{F}(t) \cdot \frac{d\vec{x}}{dt}(t)dt$  <br/>
 +
で表される。<br/>
 +
よく知られた定積分と不定積分の関係から<br/>
 +
$W(t^2)-W(t^1)=\int_{t^1}^{t_2}\vec{F}(t) \cdot \frac{d\vec{x}}{dt}(t)dt$ <br/>
 +
$W=W(t^2)-W(t^1)$ なので所望の結果が得られた。
 +
         証明終わり。
-
ⅱ)$W=\frac{1}{2}m\|v(t_2)\|^2 - \frac{1}{2}m\|v(t_1)\|^2 $
+
 
 +
 
 +
 
 +
'''仕事エネルギー定理'''<br/>
 +
$W=\frac{1}{2}m\|v(t^{2})\|^2 - \frac{1}{2}m\|v(t^{1})\|^2 $<br/>
すなわち力がなした仕事は、運動エネルギーの変化量に等しい。<br/>
すなわち力がなした仕事は、運動エネルギーの変化量に等しい。<br/>
 +
証明<br/>
 +
運動の第2法則から、$\vec{F}(t)=m\frac{d\vec v(t)}{dt}$なので、<br/>
 +
$W=\int_{[t^{1},t^{2}]}(\vec{F}\cdot \vec{v})(t)dt
 +
=\int_{[t^{1},t^{2}]}(m\frac{d\vec v}{dt} \cdot \vec{v})(t)dt=m\int_{[t^{1},t^{2}]}(\frac{d\vec v}{dt} \cdot \vec{v})(t)dt$<br/>
 +
ここで、<br/>
 +
$\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)=2(\frac{d\vec v}{dt} \cdot \vec{v})(t)$(「8章の8.3 積分」のベクトル値関数の微分参照のこと)なので<br/>
 +
$=\frac{m}{2}\int_{[t^{1},t^{2}]}\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)dt$<br/>
 +
ここで、被積分関数$\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)$の<br/>
 +
原始関数は$\vec{v} \cdot \vec{v}$なので、<br/>
 +
$=\frac{m}{2}[(\vec{v} \cdot \vec{v})(t)]_{t^{1}}^{t^{2}}$<br/>
 +
$=\frac{m}{2}\|\vec{v}(t^{2})\|^2-\frac{m}{2}\|\vec{v}(t^{1})\|^2$<br/>
 +
証明終わり。<br/><br/>
 +
力 $\vec F(t)$ が重力とそれ以外の外力$\vec f(t)$ の和のばあいの仕事エネルギー定理を考えよう。<br/>
 +
鉛直上方を$x_3$(z)軸とする3次元直交座標系 $O-x_1x_2x_3$をとり、<br/>
 +
重力加速度の大きさを $g$ とかくと 、重力加速度は$\vec g=(0,0,-g)$ なので、<br/>
 +
$\vec F(t)=m\vec g +\vec f(t)$<br/>
 +
これを仕事エネルギー定理<br/>
 +
$\int_{t^{1}}^{t^{2}}(\vec{F}\cdot \vec{v})(t)dt=\frac{m}{2}\|\vec{v}(t^{2})\|^2-\frac{m}{2}\|\vec{v}(t^{1})\|^2$ <br/>
 +
に代入して、式の整理をすると <br/>
 +
$\int_{t^{1}}^{t^{2}}(\vec{f}\cdot \vec{v})(t)dt
 +
=\left(\frac{m}{2}\|\vec{v}(t^{2})\|^2+mgx_3(t^{2}) \right)
 +
-\left(\frac{m}{2}\|\vec{v}(t^{1})\|^2+mgx_3(t^{1}) \right)$ <br/>
 +
これで次の重要な系が得られた。<br/>
 +
系;外力が重力とそれ以外の力$\vec f(t)$のとき、<br/>
 +
$\vec f(t)$が、時刻 $t^{1}$ から $t^{2}$ の間になす仕事$W_f=\int_{t^{1}}^{t^{2}}(\vec{f}\cdot \vec{v})(t)dt$ は<br/>
 +
$W_f=\left(\frac{m}{2}\|\vec{v}(t^{2})\|^2+mgx_3(t^{2}) \right)
 +
-\left(\frac{m}{2}\|\vec{v}(t^{1})\|^2+mgx_3(t^{1}) \right)$ <br/>
-
(注)万有引力や電磁気力は、場所によって変化するので、<br/>
+
===保存力と位置エネルギー===
-
位置ベクトル$\vec x$にいる質点の受ける力は$\vec{G}(\vec x)$の形に書ける。
+
====力の場====
-
すると、時刻$t$に質点の受ける力は時間の関数$\vec{F}(t):=\vec{G}(\vec{x}(t))$となる。<br/>
+
質点がどこにあろうが、その位置$\vec x$に応じて力$\vec{F}(\vec x)$が作用するとする(注1)。<br/>
-
人為的に時間により力を変えて物体の運動を制御することもある。<br/>
+
このような空間を'''力の場'''という。<br/>
-
この場合にも適用できるような記述にした。<br/>
+
力が位置の連続関数のとき、連続な力の場という。
 +
====保存力と保存力場====
 +
連続な力の場$\vec{F}(\vec x)$から力を受け
 +
質点が任意の点$P$から任意の点$Q$ まで動くとき、<br/>
 +
力の行う仕事が移動経路に関係なく2点$P$、$Q$だけで決まるならば、<br/>
 +
この力の場を'''保存力場'''という。<br/>
 +
保存力場の力を'''保存力'''(conservative force ) という。<br/>
-
ⅰ)の証明;<br/>
+
移動経路としては、区分的に滑らかな曲線(注2参照)に限定する。<br/>
-
2つの異なる方法で証明する。<br/>
+
(注1)例えば、地球からの万有引力が作用する空間など。<br/>
-
第一の方法は、時刻tまでに力の行う仕事を$W(t)$と書き、<br/>
+
(注2)曲線$\vec{C}$を、<br/>
-
この実数値関数が微分可能で<br/>
+
$[0,1]$で定義された連続で、しかも<br/>
-
$\frac{dW}{dt}(t)=(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot \vec{v}(t)$<br/>
+
有限個の点を除いて微分可能で導関数が連続な<br/>
-
であることを導く。<br/>
+
ベクトル値関数の軌跡で表すことが出来ることをいう。<br/>
-
次に実数値関数<br/>
+
-
$(\vec{F}\cdot \vec{v})(t)$<br/>
+
-
が積分可能であることを示す。<br/>
+
-
すると、<br/>
+
-
$\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt$の被積分関数$(\vec{F}\cdot \vec{v})(t)$の原始関数が$W(t)$になる。<br/>
+
-
「2.6 剛体の回転運動と釣合い」の「1.8.6 慣性モーメントの計算(2)原始関数を利用する方法」で証明した定理より、<br/>
 
-
$\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt=[W(t)]_{t_1}^{t_2}=W(t_2)-W(t_1)=W$<br/>
 
-
を得る。<br/>
 
-
(注)物理学では、数学的厳密性にとらわれず、<br/>
 
-
直観を利用した記号法を用いた計算をすることが多い。<br/>
 
-
無限小という架空の概念(0だが、完全な0ではない)を操つり計算を進める記号法である。参考までに紹介する。<br/>
 
-
$dt$を無限小と考えると、<br/>
 
-
$\frac{dW(t)}{dt}=\frac{W(t+dt)-W(t)}{dt}$<br/>
 
-
ここで$dt$は無限小なので、右辺の極限を取らなくても成立すると考えている。<br/>
 
-
両辺に$dt$を掛ける(この時は無限に小さいが0でないと考える)と、<br/>
 
-
$dW(t)=W(t+dt)-W(t)$<br/>
 
-
$dt$が無限小なので、その時間内の<br/>
 
-
その時間内の質点の軌跡は線分で、連続な力は$\vec{F}(t)$になるため、<br/>
 
-
この式の右辺は<br/>
 
-
$=\vec{F}(t)\cdot (\vec{x}(t+dt)-\vec{x}(t)$
 
-
ここで$dt$が無限小で、$\vec{x}(t+dt)-\vec{x}(t)=\vec{v}(t)dt$が成立するので、
 
-
$=\vec{F}(t)\cdot \vec{v}(t)dt$
 
-
故に
 
-
$dW(t)=\vec{F}(t)\cdot \vec{v}(t)dt$
 
-
が得られる。
 
-
時刻$t$を$t_1$から$t_2$まで寄せ集める(積分する)と
 
-
$W(t_2)-W(t_1)=\int_{t=t_1}^{t_2}dW(t)=\int_{t=t_1}^{t_2}\vec{F}(t)\cdot \vec{v}(t)dt$
 
-
第二の方法は、<br/>
+
====位置エネルギー ====
-
曲線にそった仕事の定義(「2.3 質点の運動」の仕事の項の説明)にしたがって、<br/>
+
保存力は次のように言いかえることができる。<br/>
-
質点の軌跡を細かく分割し、各小部分で力の行う仕事を求め、加え合わせて、
+
物体にかかる力 $ \vec{F}(\vec x) $ に逆らって、<br/>
-
命題を証明する方法である。<br/>
+
力 $-\vec{F}(\vec x)+\delta$($\delta$は無限小)を加えて、<br/>
 +
物体をQ点からP点に非常にゆっくり動かす時、<br/>
 +
この力$-\vec{F}(\vec x) $の行う仕事が<br/>
 +
移動経路に関係なく2点の位置だけで決まる時、<br/>
 +
力 $ \vec{F} $を保存力という。<br/>
 +
ここで力 $ -\vec{F} $は、物体に作用する力 $ \vec{F} $とつり合いをとるための力であり、<br/>
 +
力 $ \delta  $は、力がつりあって静止している物体を、<br/>
 +
移動経路に沿って、Q点からP点まで<br/>
 +
無限にゆっくりと動かすのに必要な、無限に小さい力である。<br/>
 +
このため $\delta$ のなす仕事は零とみなせる。<br/>
-
第一の方法による証明:<br/>
+
この時、力 $ -\vec{F} $がなす仕事を、<br/>
-
$\vec{F}(t)$は連続関数と仮定して良い。<br/>
+
Q 点を基準とした P 点でのこの物体の<br/>
-
なぜなら、有限個の点で不連続の場合は、
+
'''ポテンシャルエネルギー'''(potential energy)(あるいは位置エネルギー)と言う。<br/>
-
連続となる小区間ごとに考えればよいから。<br/>
+
記号では、基準点も分かるように$U_{Q}(P)$などと書く。<br/>
 +
これは、場の力が物体をP点からQ点まで動かす時の、<br/>
 +
場の力の行う仕事と等しい。<br/>
 +
$U_{Q}(P)$は、力の場の定義されている領域中の任意の2点Q、Pにたいして決まるので<br/>
 +
$U$は、この領域上の2変数関数である。保存力場$ \vec{F} $からきまるポテンシャル関数と呼ぼう。
 +
*[[wikipedia_ja:ポテンシャル|ウィキペディア(ポテンシャル)]]の保存力の項
 +
*[[wikipedia_ja:位置エネルギー|ウィキペディア(位置エネルギー)]]
 +
*[[wikipedia:Potential_energy|ウィキペディア(Potential_energy)]] in English
 +
を参照のこと。<br/>
 +
命題;ポテンシャル関数の性質<br/>
 +
保存力場の異なる任意の3点$P,Q,R$を考える。<br/>
 +
各点からみた他の点のポテンシャルエネルギーには次の関係が常に成り立つ。<br/>
 +
ⅰ)$U_{P}(Q)+U_{Q}(R)=U_{P}(R)$<br/>
 +
ⅱ)$U_{P}(Q)=-U_{Q}(P)$<br/>
 +
証明は、図のような経路にそって力の行う仕事の<br/>
 +
間の関係を考えれば、簡単に出来る。<br/>
-
独立変数$t\in [t_1,t_2]$に対して、<br/>
+
==== 力の場が保存的である必要十分条件 ====
-
$W(t)=$時刻$t_1$から時刻$t$までの間に力の行った仕事<br/>
+
命題<br/>
-
で、$[t_1,t_2]$上の関数$W$を定義する。この定義より、W(t_1)=0である。<br/>
+
$\Omega$を空間${\bf R^3}$の領域(注参照)とする。<br/>
-
時刻$t\in (t_1,t_2)$における、関数の微係数を求めよう。<br/>
+
領域$\Omega$の一点$O$を原点にした、直交座標系$O-x_{1}x_{2}x_{3}$を決める。<br/>
-
$\frac{dW}{dt}(t)
+
次の2条件は同値である。<br/>
-
=\lim_{\delta \to 0,\delta \neq 0}\frac{W(t+\delta)-W(t)}{\delta}
+
(1)$\Omega$の連続な力の場<br/>
-
=\vec{F}(t)\cdot \vec{v}(t)$<br/>
+
$\vec{F}(\vec x),(\vec x\in \Omega)$<br/>
-
であることを以下に示す。<br/>
+
保存力場である。<br/>
-
$\delta$が極めて微小な正数と考える(負数の場合も同様に証明出来る)。<br/>
+
(2)$\Omega$上で定義され実数に値を取る$C^1$級関数$U(\vec x)$が存在して<br/>
-
力が$[t,t+\delta]$の間に行う仕事
+
$\vec{F}_i=-\frac{\partial U}{\partial x_i} ,(i=1,2,3)  \qquad \qquad (1)$<br/>
-
$W(t+\delta)-W(t)$の考察から始める。<br/>
+
が$\Omega$上で成り立つ。<br/>
-
この間、質点は$\vec x=\vec{x}(t)$に従って、<br/>
+
記述を簡略化するため、Uの勾配(gradient)<br/>
-
$\vec{x}(t)$から$\vec{x}(t+\delta)$まで移動する。<br/>
+
$\mathrm{grad}U(\vec x):=(\frac{\partial U}{\partial x_1}(\vec x),
-
$\delta$がきわめて微小なので、<br/>
+
\frac{\partial U}{\partial x_2}(\vec x),\frac{\partial U}{\partial x_3}(\vec x))$<br/>
-
この軌跡は、ベクトル$\vec{x}(t+\delta)-\vec{x}(t)$<br/>
+
を導入すると、<br/>
-
(の始点を、位置ベクトル$\vec{x}(t)$の終点にしたもの)とみなせる。<br/>
+
$\vec{F}=-\mathrm{grad}U$が$\Omega$上で成り立つ。<br/>
-
力は時間に関して連続なので、この微小時間中は$\vec{F}(t)$とみなした良い。<br/>
+
-
(みなすという処理は厳密さに欠けるが直観的理解を優先した)。
+
-
すると、$[t,t+\delta]$の間に力の行う仕事は、<br/>
+
-
$W(t+\delta)-W(t)=\vec{F}(t)\cdot \left(\vec{x}(t+\delta)-\vec{x}(t)\right)$<br/>
+
-
となる。図参照のこと。<br/>
+
-
ゆえに、<br/>
+
-
$\frac{dW}{dt}(t)
+
-
=\lim_{\delta \to 0,\delta \neq 0}\frac{W(t+\delta)-W(t)}{\delta}$<br/>
+
-
$=\lim_{\delta \to 0,\delta \neq 0}\frac{\vec{F}(t)\cdot
+
-
\left(\vec{x}(t+\delta)-\vec{x}(t)\right)}{\delta}$<br/>
+
-
$=\lim_{\delta \to 0,\delta \neq 0}
+
-
\vec{F}(t)\cdot\frac{\left(\vec{x}(t+\delta)-\vec{x}(t)\right)}{\delta}$<br/>
+
-
$=\vec{F}(t)\cdot \vec{v}(t)\qquad \qquad  (1)$<br/>
+
-
式(1)は$[t_1,t_2]$上の連続関数関数なので<br/>
+
-
積分可能である(8章物理数学の8.3積分参照)。<br/>
+
-
そこでこの区間上で積分すると<br/>
+
-
$\int_{t_1}^{t_2}\frac{dW}{dt}(t)dt=\int_{t_1}^{t_2}\vec{F}(t)\cdot \vec{v}(t)dt$<br/>
+
-
上式の左辺の被積分関数の原始関数は$W(t)$なので、<br/>
+
-
$\int_{t_1}^{t_2}\frac{dW}{dt}(t)dt=[W(t)]_{t_1}^{t_2}=W(t_2)-W(t_1)=W$<br/>
+
-
ゆえに、
+
-
$W=\int_{t_1}^{t_2}\vec{F}(t)\cdot \vec{v}(t)dt$<br/><br/>
+
-
第二の方法による証明<br/>
+
ここで$\frac{\partial U}{\partial x_1}(\vec x)$は、
-
時刻$t_1$から$t_2$までの質点の運動の軌跡は、向きのついた曲線<br/>
+
-
$\vec{C}:=\{\vec{x}(t) \mid t_1\leq t \leq t_2\}$<br/>
+
-
で表わせる。向きは時刻が進むときに進む方向にいれる。<br/>
+
-
時刻$t_1$から$t_2$までを、n個の小区間<br/>
+
-
$[s^{n}_{i-1},s^{n}_i](i=1,2,,,n)$に分割する。ここで$(s^{n}_0=t_{1}<s^{n}_{1}<s^{n}_{2},,,,<s^{n}_{n}=t_2)$<br/>
+
-
この分割を$\Delta^{n}:=\{[s^{n}_{i-1},s^{n}_i]\mid i=1,2,3,,,n\}$と書く。<br/>
+
-
n個の小区間の長さの最大値を$|\Delta^{n}|$と記す。$|\Delta^{n}|:=\max_{i}(s^{n}_i-s^{n}_{i-1})$<br/>
+
-
これに対応して軌跡$C$は、
+
-
n個の小部分$\vec{C^{n}_i}=\{\vec{x}(t) \mid t \in [s^{n}_{i-1},s^{n}_i] \},(i=1,2,,,n)$に分割される。<br/>
+
-
$\vec{C^{n}_i}$の端点を$P^{n}_{i-1},P^{n}_i$とおくと、
+
$U(\vec x)$を、独立変数の第1成分 $x_1:=(\vec x)_1$の関数とみるため<br/>
-
$\vec{x}(s^{n}_{i-1})=\vec{OP^{n}_{i-1}}$
+
他の変数は固定して、$V_1(x_1):=U(x_1,x_2,x_3)$という実変数で実数値の関数を考え、<br/>
-
$\vec{x}(s^{n}_i)=\vec{OP^{n}_i}$である 。<br/>
+
$x_1$で微分したものを表す。記号で表示すると、<br/>
-
時間の分割数nを増やし、$\lim_{n\to \infty}|\Delta^{n}|=0$となるように分割する。<br/>
+
$\frac{\partial U}{\partial x_1}(\vec x):=\frac{dV_1}{dx_1}(x_1)$<br/>
-
するとnが十分大きい時、<br/>
+
関数Uの$\vec x$  における第1座標$x_1$に関する偏微分係数という。<br/>
-
各時間分割$[s^{n}_{i-1},s^{n}_i]$の間に質点はほぼ等速直線運動するので、<br/>
+
他の座標に関する偏微分係数も同様に定義する。<br/>
-
対応する軌跡Cの小部分$C^{n}_i$は、有向線分$\vec{P^{n}_{i-1}P^{n}_i}=\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1}) $で近似できる。<br/>
+
関数$\frac{\partial U}{\partial x_i}$<br/>
-
力も時刻が$[s^{n}_{i-1},s^{n}_i]$の間、ほぼ一定である。<br/>
+
変数$\vec x$に、その点の$x_i$についての偏微分係数$\frac{\partial U}{\partial x_i}(\vec x)$を対応させるもので、<br/>
 +
$x_i$についての偏導関数と呼ばれる。<br/>
 +
$U(\vec x)$が$C^1$級とは、<br/>
 +
全ての偏導関数$\frac{\partial U}{\partial x_i}、(i=1,2,3)$が存在し、<br/>
 +
しかも連続関数となることをいう。<br/>
 +
多変数関数の連続性や微分については、<br/>
 +
「第8章 物理数学」の「極限と微分」で要点を説明してある。<br/>
 +
(注)空間が力の場となるには、それを作り出す物体が必要。<br/>
 +
例えば、地球の周りに出来る重力場は、地球が作りだしている。<br/>
 +
この重力場は3次元空間から、地球の存在する場所を除いた空間部分に出来る。<br/>
 +
この部分を領域と呼ぶことにする。<br/>
 +
領域の数学的に厳密な定義は、このテキストの程度をこえるので、
 +
省略する。<br/>
 +
地球は地球周辺の物体より、質量が桁違いに大きいので、<br/>
 +
物体と引きあっても殆ど動かないため、<br/>
 +
重力場の領域は時間に関係なく定まる。<br/>
-
(注)この後の証明は少し難しい。<br/>
 
-
そこで、正確さに欠けるが直観的に、命題が成り立つ理由を書いてみる。<br/>
 
-
各時間分割$[s^{n}_{i-1},s^{n}_i]$の間に力が行う仕事$W^{n}_i$は<br/>
 
-
$W^{n}_i=\vec{F}(s^{n}_{i-1})\cdot \left(\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})\right)$<br/>
 
-
にほぼ等しい。<br/>
 
-
ここで、$s^{n}_i- s^{n}_{i-1}$が小さいので、微分の定義から<br/>
 
-
$\frac{\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})}{s^{n}_i)- s^{n}_{i-1}}
 
-
\approx \frac{d\vec{x}}{dt} (s^{n}_{i-1})=\vec{v}(s^{n}_{i-1})$<br/>
 
-
そこで、<br/>
 
-
$\vec{x}(s^{n}_i)- \vec{x}(s^{n}_{i-1})$<br/>
 
-
$\approx
 
-
\vec{v}(s^{n}_{i-1})(s^{n}_i)- s^{n}_{i-1})$<br/>
 
-
故に、<br/>
 
-
$W^{n}_i \approx \vec{F}(s^{n}_{i-1})\cdot\vec{v}(s^{n}_{i-1})(s^{n}_i)- s^{n}_{i-1})$<br/>
 
-
$=(\vec{F}\cdot\vec{v})((s^{n}_{i-1}) (s^{n}_i)- s^{n}_{i-1})$<br/>
 
-
力が時間$[t_1,t_2]$の間に行う仕事$W^n$は、<br/>
 
-
$W^n=\sum_{i=1}^{n}W^{n}_i $<br/>
 
-
$\approx
 
-
\sum_{i=1}^{n}(\vec{F}\cdot\vec{v})((s^{n}_{i-1}) (s^{n}_i)- s^{n}_{i-1})$<br/>
 
-
この式は、nが大きくなるほど、等式に近くなる。<br/>
 
-
最後の項$\sum_{i=1}^{n}(\vec{F}\cdot\vec{v})((s^{n}_{i-1}) (s^{n}_i)- s^{n}_{i-1})$は、<br/>
 
-
$[t_1,t_2]$上で定義された区分的に連続な実数値関数<br/>
 
-
$f(t):=(\vec{F}\cdot\vec{v})(t)=\vec{F}(t)\cdot\vec{v}(t)$<br/>
 
-
の、時間分割$\Delta^{n}:=\{[s^{n}_{i-1},s^{n}_i]\mid i=1,2,3,,,n\}$に対応する
 
-
リーマン和である。<br/>
 
-
そこで、nを無限に大きくしていくと、最後の式は<br/>
 
-
$W:=\lim_{n\to \infty}W^n=\int_{t_1}^{t_2}f(t)dt
 
-
=\int_{t_1}^{t_2}(\vec{F}\cdot\vec{v})(t)$<br/>
 
-
$=\int_{t_1}^{t_2}\vec{F}(t)\cdot\vec{v}(t)dt$<br/>
 
-
に収束する(8章の8.3 積分に証明あり)。<br/><br/>
 
-
正確な証明に戻る;<br/>
+
証明;<br/>
-
任意の時刻${\xi}_i\in [s^{n}_{i-1},s^{n}_i]$を代表点として選び、<br/>
+
(1)ならば(2)を示す。<br/>
-
この区間上の力を$\vec{F}({\xi}_i)$で近似する。<br/>
+
-
この近似を用いると、仕事の定義から、力が$C_i$で行う仕事は<br/>
+
-
$W_i(\Delta^n,{\xi}_i)= \vec F({\xi}_i)\cdot \vec{P_{i-1}P_i}
+
-
=\vec F({\xi}_i)\cdot(\vec{x}(s^{n}_i)-\vec{x}(s^{n}_{i-1})$<br/>
+
-
故に、時間をn分割したときの仕事Wの近似値は、<br/>
+
-
$W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})=\sum_{i=1}^{n} W_i(\Delta^n,{\xi}_i)$<br/>
+
-
$=\sum_{i=1}^{n} \vec F({\xi}_i)\cdot(\vec{x}(s^{n}_i)-\vec{x}(s^{n}_{i-1})\qquad (1)$<br/>
+
 +
この領域の任意の点$P(x_1,x_2,x_3)$(x_iはPの座標)の、原点からみた、ポテンシャルエネルギー<br/>
 +
$U(P)=\int_{C(O \to P)}-\vec{F}(\vec y)\cdot \vec{dy}$<br/>
 +
を定める。この値は経路$C(O\to P)$に関係なくきまる。<br/>
 +
1)$\frac{\partial U}{\partial x_1}(\vec x)=-{\vec F}_{1}(\vec x)$を示す。<br/>$\vec{e_1}:=(1,0,0)$とおき、Uの偏微分を定義に従って計算する。<br/>
 +
$\frac{\partial U}{\partial x_1}(\vec x)
 +
=\lim_{\delta \to 0,\delta\neq 0}\frac{U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)}{\delta}$<br/>
ここで、<br/>
ここで、<br/>
-
$\vec{x}(s^{n}_i)-\vec{x}(s^{n}_{i-1})
+
$U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)$<br/>
-
=\int_{s^{n}_{i-1}}^{s^{n}_i}\frac{d\vec{x}(t)}{dt}dt
+
は、その経路に無関係にさだまるので、<br/>
-
=\int_{s^{n}_{i-1}}^{s^{n}_i}\vec{v}(t)dt$<br/>
+
質点を力$-\vec F$で第一座標に平行に$\delta$動かすときの仕事に等しい。
-
$=\int_{s^{n}_{i-1}}^{s^{n}_i}
+
この向き付き経路を、ベクトル値関数で表示すると$\{{\vec x}(t)=\vec x+t\vec{e_1}\mid 0\leq t\leq \delta\}$である。<br/>
-
\left(\vec{v}({\xi}_i)+(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt$<br/>
+
すると、力の場の命題で述べたように、この仕事は<br/>
-
$=\vec{v}({\xi}_i)(s^{n}_i-s^{n}_{i-1})
+
$-\int_{0}^{\delta}{\vec F}(\vec{x}(t))\cdot \frac{d\vec{x}(t)}{dt}dt$<br/>
-
+\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)$<br/>
+
に等しい。<br/>
-
この式を(1)式に代入すると、<br/>
+
$\frac{d\vec{x}(t)}{dt}=\vec{e_1}$であり、<br/>
-
$W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})$<br/>
+
${\vec F}(\vec{x}(t))\cdot \frac{d\vec{x}(t)}{dt}={\vec F}_1(\vec{x}(t))$となるので<br/>
-
$=\sum_{i=1}^{n} (\vec{F}\cdot \vec{v})({\xi}_i)(s^{n}_i-s^{n}_{i-1})
+
$=-\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$<br/>
-
+\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot
+
故に、$U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)
-
\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt \qquad  (2)$<br/>
+
=-\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$<br/>
-
(2)式の右辺の第一項は、実数値関数<br/>
+
$\lim_{\delta \to 0,\delta\neq 0}\frac{U(x_1+\delta,x_2,x_3)-U(x_1,x_2,x_3)}{\delta}=-\frac{1}{\delta}\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt $<br/>
-
$(\vec{F}\cdot \vec{v})(t):=\vec{F}(t)\cdot\vec{v}(t)$<br/>
+
ここで、${\vec F}_1(\vec x+t\vec{e_1})$はtの連続関数なので、<br/>
-
の、n等分割と代表点$\{\xi_i\}_{i=1}^{n}$に対応するリーマン和<br/>
+
$|t|$が十分小さければ、${\vec F}_1(\vec x)$にいくらでも近くなる。<br/>
-
$I^{\vec{F}\cdot \vec{v} ,\Delta^n}(\xi_1,,,\xi_n)$である。<br/>
+
そこで、区間$[0,\delta]$での平均値<br/>
-
この関数は区分的に連続なので、<br/>
+
$\frac{1}{\delta}\int_{0}^{\delta}{\vec F}_1(\vec{x}(t))dt$は、<br/>
-
リーマン積分の定理(物理数学のリーマン積分参照)から、積分可能で<br/>
+
$\delta$が零に収束するとき、${\vec F}_1(\vec x)$に収束する。<br/>
-
$W=\lim_{n\to \infty}W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})=\lim_{n\to \infty}\sum_{i=1}^{n} (\vec{F}\cdot \vec{v})({\xi}_i)(s^{n}_i-s^{n}_{i-1})
+
これで(2)が証明できた。<br/>
-
=\int_{t_1}^{t_2}(\vec{F}\cdot \vec{v})(t)dt$<br/>
+
(2)を仮定して(1)を示す。<br/>
-
である。<br/>
+
任意の2点$P,Q\in \Omega$に対し、それを結ぶPからQへの区分的に滑らかな曲線<br/>
-
補題;(2)式右辺の第2項は、nを無限にしていくと、0に収束する。<br/>
+
${\vec C}:=\{{\vec x}(t)\mid 0\leq t\leq 1\},{\vec x}(0)=P,{\vec x}(1)=Q$<br/>
-
記号で書くと、<br/>
+
を選んだとき、これに沿って力の成す仕事<br/>
-
$\lim_{n\to \infty}\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot
+
$W_{\vec C}=\int_{\vec C}{\vec F}(\vec x) \cdot \vec{dx}
-
\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt=0$<br/><br/>
+
=-\int_{\vec C}\mathrm{grad}U(\vec x)\cdot \vec{dx}  \qquad \qquad (2)$<br/>
-
この補題を用いると、<br/>
+
が、曲線に依存しないことを示せば良い。<br/>
-
$W=\lim_{n\to\infty}W(\Delta^n,\{{\xi}_i\}_{i=1}^{n})=\int_{[t_1,t_2]}(\vec{F}\cdot \vec{v})(t)dt$<br/>
+
${\vec C}:=\{{\vec x}(t)\mid 0\leq t\leq 1\}$ なので
-
これで定理のⅰ)の証明はできた。<br/>
+
式(2)$=-\int_{0}^{1}\mathrm{grad}U(\vec x(t))\cdot \frac{d\vec{x}(t)}{dt}dt$ <br/>
-
定理のⅱ)の証明<br/>
+
補題;<br/>
-
運動の第2法則から、$\vec{F}(t)=m\frac{d\vec v(t)}{dt}$なので、<br/>
+
$\frac{dU(\vec x(t))}{dt}=\mathrm{grad}U(\vec x(t))\cdot \frac{d\vec{x}(t)}{dt}$<br/>
-
$W=\int_{[t_1,t_2]}(\vec{F}\cdot \vec{v})(t)dt
+
これは、多変数の場合の合成関数の微分公式である。本テキストの「8章 物理数学」
-
=\int_{[t_1,t_2]}(m\frac{d\vec v}{dt} \cdot \vec{v})(t)dt$<br/>
+
で説明してある。<br/>
 +
これを用いると、
 +
式(2)$=-\int_{0}^{1}\frac{dU(\vec x(t))}{dt}dt$ <br/>
 +
$\frac{dU(\vec x(t))}{dt}$の原始関数は$U(\vec x(t))$なので、<br/>
 +
この定積分は<br/>
 +
$=-[U(\vec x(t))]_{0}^{1}=-U(\vec x(1))+U(\vec x(0))=-U(Q)+U(P)$<br/>
 +
この値は経路に依存しないので、保存力であることが示された。<br/>
 +
証明終わり。<br/>
 +
 
 +
 
 +
==== 保存力の十分条件 ====
 +
万有引力で作られる力の場などは、保存力場である。<br/>
 +
これを示すため、もう少し一般の力の場が、保存力場であることを示す命題を述べる。<br/>
 +
 
 +
命題;<br/>
 +
領域$\Omega$を3次元空間から原点を取り除いた領域とする。<br/>
 +
この領域で定義された力の場<br/>
 +
${\vec F}(\vec x)=h(\|\vec x\|)\frac{\vec x}{\|\vec x\|}$<br/>
 +
は保存力場である。但し、関数$h$は、実変数の実数値連続関数とする。<br/>
 +
証明;<br/>
 +
hは連続関数なので、<br/>
 +
任意の正数xに対して、定積分$\int_{0}^{x}h(x)dx$が存在する。<br/>
 +
そこで関数$H(x):=\int_{0}^{x}h(x)dx$を導入する。<br/>
 +
この関数Hを微分すると関数hが得られる。<br/>
 +
$U(\vec x):=-H(\|x\|)$という多変数関数を定義すると,<br/>
 +
合成関数の微分公式より、<br/>
 +
$\frac{\partial U}{\partial x_i}$
 +
$=-\frac{dH}{dy}(\|\vec{x} \|)\frac{\partial \|\vec{x}\|}{\partial x_i}$<br/>
 +
$=-h(\|\vec x\|)\frac{x_i}{\|\vec x\|}=-{\vec F}_i(\vec x)$<br/>
 +
すでに証明した「力の場が保存的である必要十分条件」中の命題により、<br/>
 +
保存力場であることが証明された。<br/><br/>
 +
 
 +
==力学的エネルギーと力学的エネルギー保存則==
 +
力学的エネルギーは、運動エネルギーと位置エネルギー(ポテンシャル・エネルギー)の総称である。<br/><br/>
 +
力学的エネルギー保存則(kinetic energy and conservation of kinetic energy )<br/>
 +
保存力場から力をうけて運動している質点mの<br/>
 +
運動エネルギーと(任意の固定した基準点Oからみた)ポテンシャル・エネルギーの和は<br/>
 +
保存される。<br/>
 +
証明。<br/>
 +
任意の時刻$t_1$から時刻 $t_2 (>0)$の間に力の行う仕事は<br/>
 +
仕事エネルギー定理から<br/>
 +
$W(t_1,t_2)=\frac{m\|\vec v(t_2)\|^2}{2}-\frac{m\|\vec v(t_1)\|^2}{2}$<br/>
 +
他方で、この力は保存力なので、<br/>
 +
この仕事は、この場から決まるポテンシャル関数Uを用いて、<br/>
 +
$W(t_1,t_2)=U_{\vec{x}(t_2)}(\vec{x}(t_1))$<br/>
 +
この式の右辺は、ポテンシャル関数の命題を適用すると、<br/>
 +
任意の固定した基準点Oからのポテンシャル・エネルギーを用いて、<br/>
 +
$=U_{O}(\vec{x}(t_1))-U_{O}(\vec{x}(t_2))$<br/>
 +
故に<br/>
 +
$\frac{m\|\vec{v}(t_2)\|^2}{2}-\frac{m\|\vec{v}(t_1)\|^2}{2}
 +
=U_{O}(\vec{x}(t_1))-U_{O}(\vec{x}(t_2))$<br/>
 +
式を整頓すると、<br/>
 +
$\frac{m\|\vec{v}(t_2)\|^2}{2}+U_{O}(\vec{x}(t_2))
 +
=\frac{m\|\vec{v}(t_1)\|^2}{2}+U_{O}(\vec{x}(t_1))$<br/>
 +
証明終わり。<br/>
 +
 
 +
*[[wikipedia_ja:力学的エネルギー|ウィキペディア(力学的エネルギー)]]
 +
*[[wikipedia:Kinetic_energy|ウィキペディア(Kinetic_energy)]] in English
 +
*[[wikipedia_ja:力学的エネルギー保存の法則|ウィキペディア(力学的エネルギー保存の法則)]]
 +
*[[wikipedia:Conservation_of_energy#Mechanics|ウィキペディア(Conservation_of_energy#Mechanics)]] in English
 +
 
 +
==== 複数の質点がつくる保存力場 ====
 +
今までは、保存力場が不変であり、その場の中も質点が受ける力の性質について考えてきた。<br/>
 +
このような限定をつけても応用範囲はかなりある。<br/>
 +
例えば、太陽の周りの惑星の運動などでは、太陽の質量が大きく、惑星からの万有引力を受けてもほとんど動かない。<br/>
 +
このため不動の太陽の作る万有引力場(保存力場)を考え、そのなかで惑星運動の解析をすることは有用である。<br/>
 +
ところが、質量に大差がない複数の星が万有引力で互いに引き合いながら運動する場合には、<br/>
 +
関与する星はすべて万有引力により運動するため、適用不可である。<br/>
 +
そこでこれらにも適用できるよう、多数の質点の作る保存力(場)について考察しよう。<br/>
 +
質量 $m_i$(i=1,2,,,N) のN個の質点を考え、質点 $m_i$ と略称する。<br/>
 +
適切な慣性系を選び、各質点$m_i$ の位置ベクトルを $\vec{r^i}$(i=1,2,,,N)とおく。<br/>
 +
質点同士は、互いに万有引力を及ぼしあうとする。(注参照のこと)<br/>
 +
質点$m_i$ が 質点$m_j$$(j=1,\cdots,N.j\neq i)$からうける力 $\vec{f^{(i,j)}}$ は両者の位置だけの関数で、<br/>
 +
$\vec{f^{(i,j)}}=\vec{f^{(i,j)}}(\vec{r^i},\vec{r^i})
 +
=G\frac{m_im_j}{\|\vec{r^j} - vec{r^i}\|^2}\frac{\vec{r^j} - \vec{r^i}}{\|\vec{r^j} - \vec{r^i}\|}$<br/>
 +
質点$m_i$ は、自分以外のすべての質点から万有引力をうけるが、それらは足しあわせることができ、<br/>
 +
質点 $m_i$ に働く万有引力の合力は<br/>
 +
$\vec{F_G^i}(\vec{r^1},\cdots,\vec{r^N})=\sum_{j=1,\cdots,N,j\neq i}\vec{f^{(i,j)}}$<br/>
 +
$=\sum_{j=1,\cdots,N,j\neq i}G\frac{m_im_j}
 +
{\|\vec{r^j} - \vec{r^i}\|^2}
 +
\frac{\vec{r^j} - \vec{r^i}}{\|\vec{r^j} - \vec{r^i}\|}\qquad (1)$<br/>
 +
<br/>
 +
(注)5章で学ぶ電荷間の電気力も同様に扱える。<br/><br/>
 +
補題<br/>
 +
(1)$\frac{\partial }{\partial \vec{r^i}}\frac{1}{\|\vec{r^j}-\vec{r^i}\|}
 +
:=\left(\frac{\partial }{\partial {r^i}_1}\|\vec{r^j}-\vec{r^i}\|^{-1},
 +
\frac{\partial }{\partial {r^i}_2}\|\vec{r^j}-\vec{r^i}\|^{-1},
 +
\frac{\partial }{\partial {r^i}_3}\|\vec{r^j}-\vec{r^i}\|^{-1}\right)^T$<br/>
 +
$\qquad =\frac{\vec{r^j}-\vec{r^i}}{\|\vec{r^j}-\vec{r^i}\|^3}\qquad (2)$<br/>
 +
ここで、${r^i}_k$(k=1,2,3)はベクトル $\vec{r^i}$ の第k成分のこと。<br/>
 +
$(a_1,a_2,a_3)^T$ は 横ベクトル$(a_1,a_2,a_3)$ を縦ベクトルに変換したもの。<br/>
 +
(2) $U(\vec{r^1},\vec{r^2},\cdots,\vec{r^N}):=-\sum_{i=1}^{N}\sum_{j=1,2,\cdots,N,j\neq i}Gm_{i}m_{j}\|\vec{r^j}-\vec{r^i}\|^{-1}$ で関数$U$ を定義すると、<br/>
 +
$\qquad \vec{F_G^i}=-\frac{\partial U}{\partial \vec{r^i}}\quad (i=1,2,\cdots,N)\qquad (3)$<br/>
 +
証明;<br/>
 +
(1) 第一成分の計算。<br/>
 +
$\frac{\partial }{\partial {r^i}_1}\|\vec{r^j}-\vec{r^i}\|^{-1}$
 +
$=\frac{\partial }{\partial {r^i}_1} $
 +
 
 +
$( \sum_{k=1}^{3}(r^{j}_{k}-r^{i}_{k})^{2} )^{-1/2}$<br/>
 +
合成関数の微分の公式により、<br/>
 +
$=-\frac{1}{2}
 +
( \sum_{k=1}^{3}(r^{j}_{k}-r^{i}_{k})^{2} )^{-3/2}$
 +
$2(r^{j}_{1}-r^{i}_{1})(-1)$<br/>
 +
$=(\sum_{k=1}^{3}(r^{j}_{k}-r^{i}_{k})^{2})^{-3/2}(r^{j}_{1}-r^{i}_{1})$<br/>
 +
$=\frac{r^{j}_{1}-r^{i}_{1}}{\|\vec{r^j}-\vec{r^i}\|^3}$<br/>
 +
第2、第3成分の計算も同様にできて、所望の結果を得る。<br/>
 +
(2)$\frac{\partial U(\vec{r^1},\vec{r^2},\cdots,\vec{r^N})}{\partial \vec{r^i}}
 +
=-\sum_{j=1,2,\cdots,N,j\neq i}Gm_{i}m_{j}\frac{\partial}{\partial \vec{r^i}}\|\vec{r^j}-\vec{r^i}\|^{-1}$<br/>
 +
(2)を代入すると、<br/>
 +
$=-\sum_{j=1,2,\cdots,N,j\neq i}Gm_{i}m_{j}\frac{\vec{r^j}-\vec{r^i}}{\|\vec{r^j}-\vec{r^i}\|^3}$<br/>
 +
(1)を代入すると、<br/>
 +
$= -\vec{F_G^i}$<br/>
 +
補題の証明終わり。<br/><br/>
 +
前項「力の場が保存的である必要十分条件」の(1)式とこの補題から、<br/>
 +
関数$U(\vec{r^1},\cdots,\vec{r^n})$は、<br/>
 +
各質点に作用する万有引力$(\vec{F_G^1},\cdots,\vec{F_G^N})$
 +
ポテンシャル関数とみなせることが推察できる。<br/>
 +
そこで次の定義を与える。<br/><br/>
 +
 
 +
定義。N個の質点 $m_i$(i=1,,,N) のそれぞれに作用する力<br/>
 +
$\vec{F^i}(\vec{r^1},\cdots,\vec{r^N})$ の集まり<br/>
 +
$\{\vec{F^i}(\vec{r^1},\cdots,\vec{r^N})\}_{1}^{N}$が'''保存力'''とは、
 +
<br/>
 +
$\vec{F_G^i}=-\frac{\partial U}{\partial \vec{r^i}}$<br/>
 +
が成立するような連続的微分可能な関数<br/>
 +
$U(\vec{r^1},\cdots,\vec{r^n})$<br/>
 +
が存在すること。<br/>
 +
この時、関数$U$を、<br/>
 +
$\{\vec{F^i}(\vec{r^1},\cdots,\vec{r^N})\}_{1}^{N}$ の
 +
'''ポテンシャル関数'''と呼び、<br/>
 +
関数値$U(\vec{r^1},\vec{r^2},\cdots,\vec{r^N})$ を
 +
質点系のポテンシャルエネルギーと呼ぶ。
 +
<br/><br/>
 +
 
 +
=====力学的エネルギーの保存則 =====
 +
定義;<br/>
 +
運動エネルギーとポテンシャルエネルギーの和<br/>
 +
$\sum_{i=1}^{N}\frac{m_i}{2} \| \vec{v^i}(t) \|^2
 +
+ U(\vec{r^1}(t),,,\vec{r^N}(t))\qquad(7) $<br/>
 +
を、質点系$m_i(i=1,2,,,N)$ の力学的エネルギーという。<br/><br/>
 +
定理;力学的エネルギーの変化量<br/>
 +
各質点$m_i$ に万有引力 $\vec{F_G^i}$ 以外に、外力 $\vec{f^i}$ が作用する時<br/>
 +
これらの外力が時刻 $t_1$から $t_2$ の間になす仕事 $W_e=\sum_{i=1}^{N}\int_{t_1}^{t_2}\vec{f^i}(t)\cdot \vec{v^i}(t)$ は、質点系の力学的エネルギーの増加に等しい。<br/>
 +
式で書くと、<br/>
 +
$W_e=\left(\sum_{i=1}^{N}\frac{m_i}{2}\|\vec{r^i}(t_2)\|^2+U(\vec{r^1}(t_2),,,
 +
\vec{r^N}(t_2)) \right)-\left( \sum_{i=1}^{N}\frac{m_i}{2}\|\vec{r^i}(t_1)\|^2+U(\vec{r^1}(t_1),,,\vec{r^N}(t_1)) \right)\qquad (4)$<br/>
 +
証明;<br/>
 +
質点 $m_i$ に働く合力は $\vec{F^i}=\vec{F_G^i}+\vec{f^i}$なので、<br/>
 +
仕事・エネルギー定理より、<br/>
 +
力 $\vec{F^1},,,,\vec{F^N}$ が時刻 $t_1$ から $t_2$ までになす仕事<br/>
 +
$W=\sum_{i=1}^{N}\int_{t_1}^{t_2}\vec{F^i}(t) \cdot \vec{v^i}(t)dt$ は<br/>
 +
$W=\sum_{i=1}^{N}\frac{m_i}{2}
 +
\|\vec{v^i}(t_2)\|^2-\sum_{i=1}^{N}\frac{m_i}{2}\|\vec{v^i}(t_1)\|^2  \qquad (5)$<br/>
 +
他方、<br/>
 +
$W=\sum_{i=1}^{N}\int_{t_1}^{t_2}\vec{F^i}(t) \cdot \vec{v^i}(t)dt$  <br/>
 +
$=\sum_{i=1}^{N}\int_{t_1}^{t_2}\vec{F_G^i}(t) \cdot \vec{v^i}(t)dt
 +
+\sum_{i=1}^{N}\int_{t_1}^{t_2}\vec{f^i}(t) \cdot \vec{v^i}(t)dt$ <br/>
 +
式(3)を代入して、<br/>
 +
$=-\sum_{i=1}^{N}\int_{t_1}^{t_2}\frac{\partial U}{\partial \vec{r^i}}\cdot \vec{v^i}(t)dt +W_e$<br/>
ここで、<br/>
ここで、<br/>
-
$\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)=2(\frac{d\vec v}{dt} \cdot \vec{v})(t)$(「8章の8.3 積分」のベクトル値関数の微分参照のこと)なので<br/>
+
$\frac{dU(\vec{r^1}(t),,,\vec{r^1}(t))}{dt}
-
$=\frac{m}{2}\int_{[t_1,t_2]}\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)dt$<br/>
+
=\sum_{i=1}^{N}\frac{\partial U}{\partial \vec{r^i}}\cdot \vec{v^i}(t)$なので、
-
ここで、被積分関数$\frac{d(\vec{v} \cdot \vec{v})}{dt}(t)$の<br/>
+
<br/>
-
原始関数は$\vec{v} \cdot \vec{v}$なので、<br/>
+
$=-\int_{t_1}^{t_2}\frac{dU(\vec{r^1}(t),,,\vec{r^1}(t))}{dt}dt +W_e$<br/>
-
$=\frac{m}{2}[(\vec{v} \cdot \vec{v})(t)]_{t_1}^{t_2}$<br/>
+
$=-[U(\vec{r^1}(t),,,\vec{r^1}(t))]_{t_1}^{t_2}+W_e$<br/>
-
$=\frac{m}{2}\|\vec{v}(t_2)\|^2-\frac{m}{2}\|\vec{v}(t_1)\|^2$<br/>
+
故に、$W=-[U(\vec{r^1}(t),,,\vec{r^1}(t))]_{t_1}^{t_2}+W_e$<br/>
-
ⅱ)の証明終わり。<br/>
+
式(5)を上式に代入して整頓すると、<br/>
 +
$W_e=\left(
 +
\sum_{i=1}^{N}\frac{m_i}{2} \|\vec{v^i}(t_2)\|^2
 +
+U(\vec{r^1}(t_2),,,\vec{r^N}(t_2))
 +
\right)
 +
-\left(
 +
\sum_{i=1}^{N}\frac{m_i}{2}\|\vec{v^i}(t_1)\|^2  
 +
+U(\vec{r^1}(t_1),,,\vec{r^N}(t_1))
 +
\right)  \qquad  (6)$<br/>
 +
証明終わり。<br/><br/>
-
補題の証明;<br/>
+
系;相互作用が保存力である質点系の力学的エネルギーは保存される。
-
$\|\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot
+
  
-
\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|$<br/>
+
==運動量と保存則==
-
$\leq \sum_{i=1}^{n}\| \vec{F}({\xi}_i)\cdot \int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt \|$<br/>
+
 
-
$\leq \sum_{i=1}^{n}\| \vec{F}({\xi}_i)\|\|\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|$<br/>
+
===運動量と力積 (momentum or linear momentum and Impulse) ===
-
$M:=max_{t\in [t_1,t_2]}\|\vec{F}(t)\|$とおくと、<br/>
+
質点に力$\vec{F}(t)$が作用しているとする。<br/>
-
$\leq M\sum_{i=1}^{n}\int_{s^{n}_{i-1}}^{s^{n}_i}\|\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|\qquad  (3)$<br/>
+
運動の第2法則$\vec{F}(t)=\frac{d\vec{p}(t)}{dt}$ の両辺を<br/>
-
$\vec{v}(t)-\vec{v}({\xi}_i)=\int_{{\xi}_i}^{t}\frac{d\vec{v}(s)}{ds}ds$<br/>
+
時間に関して$t_1$から $t_2$まで積分してみよう。ここで$\vec{p}(t)=m\vec{v}(t)$は質点の運動量。<br/>
-
$=\int_{{\xi}_i}^{t}\frac{\vec{F}(s)}{m}ds$<br/>
+
すると、<br/>
-
なので、<br/>
+
$\int_{t_1}^{t_2}\vec{F}(t)dt=\vec{p}(t_2)-\vec{p}(t_1)$<br/>
-
$\|\vec{v}(t)-\vec{v}({\xi}_i)\|
+
となる。<br/>
-
\leq \int_{{\xi}_i}^{t}\|\frac{\vec{F}(s)}{m}\|ds
+
質点に作用する力を時間で積分した$\int_{t_1}^{t_2}\vec{F}(t)dt$を力積と呼ぶ。<br/>
-
\leq
+
力積は、運動量の変化に等しい。
-
\frac{M}{m}(s^{n}_i-s^{n}_{i-1})  \qquad  \qquad  (4)$<br/>
+
 
-
(4)式を(3)式に代入すると<br/>
+
*[[wikibooks_ja:高等学校理科 物理II 力と運動|ウィキブックス(高等学校理科 物理Ⅱ)]] の1.1.2 運動量と力積<br/>
-
$\|\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot
+
質点系の運動量は、質点系の各質点の運動量の和で定義する。<br/>
-
\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt \|
+
質点系の場合も、各質点の力積の和(質点系の力積)は質点系の運動量の変化に等しいことが、<br/>
-
\leq \frac{M^2}{m}\sum_{i=1}^{n}(s^{n}_i-s^{n}_{i-1})^2$<br/>
+
運動の第2法則から導ける。
-
ここで、$s^{n}_i-s^{n}_{i-1}\leq |\Delta^n|,(i=1,2,,,n)$なので、<br/>
+
===運動量保存則===
-
$\leq
+
質点の場合、それに作用する外力の総和が零ならば、運動量は保存される(一定である)。<br/>
-
\frac{M^{2}(t_2-t_1)}{m}|\Delta^n|$<br/>
+
次のように質点系にも拡張できる。<br/>
 +
'''運動量保存則'''( law of conservation of momentum )<br/>
 +
質点系に作用する外力のベクトル和が零ならば、<br/>
 +
内力(質点系内の質点間に働く力)があっても、<br/>
 +
運動量は保存される。<br/>
 +
証明;<br/>
 +
質点系の質点数をN個とする。<br/>
 +
質点系の各質点の位置を$\vec{r_i}$、質量を$m_i $とし、<br/>
 +
質点$m_i$ に作用する外力を$\vec{f_i}$、<br/>
 +
$m_i$ に、質点系の他の質点$m_j $から作用する内力を<br/>
 +
$\vec{f_{ij}}$とする($i,j=1 \ldots N$)。<br/>
 +
すると、各質点に対して、運動の第2法則により、<br/>
 +
$\frac{d\vec{p}_i(t)}{dt}=\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}} $  <br/>
 +
上の式を$i=1 \ldots N$について加え合わせると、<br/>
 +
$\frac{d}{dt} \sum_i{\vec{p}_i(t)}
 +
=\sum_{i}(\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}})$<br/>
 +
$=\sum_{i}\vec{f_i}+\sum_{i}\sum_{j\neq i}\vec{f_{ij}}$<br/>
 +
外力のベクトル和が零という仮定から、<br/>
 +
$=\sum_{i}\sum_{j\neq i}\vec{f_{ij}}$<br/>
 +
$=\sum_{i<j}(\vec{f_{ij}}+\vec{f_{ji}})$<br/>
 +
上式の$\sum_{i<j}$は、すべての異なる$i<j$の組み合わせに関して和をとる意味である。<br/>
 +
作用反作用の法則により、$ \vec{f_{ij}}+\vec{f_{ji}}=0$()なので、<br/>
 +
$\sum_{i<j}(\vec{f_{ij}}+\vec{f_{ji}})=0$<br/>
故に、<br/>
故に、<br/>
-
$\lim_{n\to\infty}\|\sum_{i=1}^{n} \vec{F}({\xi}_i)\cdot
+
$\frac{d}{dt} \sum_i{\vec{p}_i(t)} =0  $    <br/>
-
\int_{s^{n}_{i-1}}^{s^{n}_i}\left(\vec{v}(t)-\vec{v}({\xi}_i)\right)dt\|
+
が得られる。<br/>
-
\leq
+
$\sum_i{\vec{p}_i(t)}$は時不変であり、保存される事が示された。<br/>
-
\frac{M^{2}(t_2-t_1)}{m}\lim_{n\to\infty}|\Delta^n|
+
*[[wikipedia_ja:運動量保存の法則|ウィキペディア(運動量保存の法則)]]
-
=0$<br/>
+
 
-
補題の証明終わり。
+
==運動量と保存則==
-
*[[Wikipedia_ja:線積分 |ウィキペディア(線積分)]]
+
 
 +
===運動量と力積 (momentum or linear momentum and Impulse) ===
 +
質点に力$\vec{F}(t)$が作用しているとする。<br/>
 +
運動の第2法則$\vec{F}(t)=\frac{d\vec{p}(t)}{dt}$ の両辺を<br/>
 +
時間に関して$t_1$から $t_2$まで積分してみよう。ここで$\vec{p}(t)=m\vec{v}(t)$は質点の運動量。<br/>
 +
すると、<br/>
 +
$\int_{t_1}^{t_2}\vec{F}(t)dt=\vec{p}(t_2)-\vec{p}(t_1)$<br/>
 +
となる。<br/>
 +
質点に作用する力を時間で積分した$\int_{t_1}^{t_2}\vec{F}(t)dt$を力積と呼ぶ。<br/>
 +
力積は、運動量の変化に等しい。
 +
 
 +
*[[wikibooks_ja:高等学校理科 物理II 力と運動|ウィキブックス(高等学校理科 物理Ⅱ)]] の1.1.2 運動量と力積<br/>
 +
質点系の運動量は、質点系の各質点の運動量の和で定義する。<br/>
 +
質点系の場合も、各質点の力積の和(質点系の力積)は質点系の運動量の変化に等しいことが、<br/>
 +
運動の第2法則から導ける。
 +
===運動量保存則===
 +
質点の場合、それに作用する外力の総和が零ならば、運動量は保存される(一定である)。<br/>
 +
次のように質点系にも拡張できる。<br/>
 +
'''運動量保存則'''( law of conservation of momentum )<br/>
 +
質点系に作用する外力のベクトル和が零ならば、<br/>
 +
内力(質点系内の質点間に働く力)があっても、<br/>
 +
運動量は保存される。<br/>
 +
証明;<br/>
 +
質点系の質点数をN個とする。<br/>
 +
質点系の各質点の位置を$\vec{r_i}$、質量を$m_i $とし、<br/>
 +
質点$m_i$ に作用する外力を$\vec{f_i}$、<br/>
 +
$m_i$ に、質点系の他の質点$m_j $から作用する内力を<br/>
 +
$\vec{f_{ij}}$とする($i,j=1 \ldots N$)。<br/>
 +
すると、各質点に対して、運動の第2法則により、<br/>
 +
$\frac{d\vec{p}_i(t)}{dt}=\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}} $  <br/>
 +
上の式を$i=1 \ldots N$について加え合わせると、<br/>
 +
$\frac{d}{dt} \sum_i{\vec{p}_i(t)}
 +
=\sum_{i}(\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}})$<br/>
 +
$=\sum_{i}\vec{f_i}+\sum_{i}\sum_{j\neq i}\vec{f_{ij}}$<br/>
 +
外力のベクトル和が零という仮定から、<br/>
 +
$=\sum_{i}\sum_{j\neq i}\vec{f_{ij}}$<br/>
 +
$=\sum_{i<j}(\vec{f_{ij}}+\vec{f_{ji}})$<br/>
 +
上式の$\sum_{i<j}$は、すべての異なる$i<j$の組み合わせに関して和をとる意味である。<br/>
 +
作用反作用の法則により、$ \vec{f_{ij}}+\vec{f_{ji}}=0$()なので、<br/>
 +
$\sum_{i<j}(\vec{f_{ij}}+\vec{f_{ji}})=0$<br/>
 +
故に、<br/>
 +
$\frac{d}{dt} \sum_i{\vec{p}_i(t)} =0   $   <br/>
 +
が得られる。<br/>
 +
$\sum_i{\vec{p}_i(t)}$は時不変であり、保存される事が示された。<br/>
 +
*[[wikipedia_ja:運動量保存の法則|ウィキペディア(運動量保存の法則)]]
===保存力と位置エネルギー===
===保存力と位置エネルギー===
====力の場====
====力の場====
-
質点がどこにあろうが、その場所$\vec x$に応じて力$\vec{F}(\vec x)$が作用するとする(注1)。<br/>
+
質点がどこにあろうが、その位置$\vec x$に応じて力$\vec{F}(\vec x)$が作用するとする(注1)。<br/>
このような空間を'''力の場'''という。<br/>
このような空間を'''力の場'''という。<br/>
-
 
+
力が位置の連続関数のとき、連続な力の場という。
-
命題;力の場のなす仕事<br/>
+
-
質点が連続な力の場から力$\vec{F}(\vec x)$を受け、<br/>
+
-
点$P$から点$Q$ まで曲線Cに沿って移動したとする。<br/>
+
-
この軌跡(曲線Cに、点$P$から点$Q$へむけた向きをいれたもの)が、<br/>
+
-
実数のある閉区間$I=[a,b]$上で定義された、<br/>
+
-
滑らかなベクトル値関数$\vec x=\vec{x}(p),(a\leq p \leq b)$で表せるならば、<br/>
+
-
力のなす仕事$W=\int_{C}\vec{F}(\vec x)\cdot{d \vec x}$は、<br/>
+
-
$W=\int_{a}^{b}\vec{F}(\vec x(p))\cdot \frac{d \vec x(p)}{dp}dp$<br/>
+
-
(注)滑らかな関数とは、$I=[a,b]$上で連続で、<br/>
+
-
開区間$I^{\circ}=(a,b)$で微分可能で導関数が連続なもの。<br/>
+
-
我々が経験するすべての曲線は、<br/>
+
-
曲線を表示するための、パラメータ区間上のベクトル値関数あらわせる。<br/>
+
-
この関数が滑らかというのが、この命題の課す制約である。<br/>
+
-
証明;<br/>
+
-
仕事・エネルギー定理のⅰ)と全く同じように証明できる。<br/>
+
-
無限小を用いた直観的証明を参考までに以下に記す。<br/>
+
-
曲線表示用パラメータが$a$から$p$まで増加する間に<br/>
+
-
力の行う仕事を$W(p)$と書く。$W(b)=W,W(a)=0$である。<br/>
+
-
曲線表示用パラメータが$p$から無限小の$dp$だけ増加する間に<br/>
+
-
力の行う仕事は<br/>
+
-
$dW(p)=W(p+dp)-W(p)$<br/>
+
-
$=\vec{F}(\vec{x}(p))\cdot (\vec{x}(p+dp)-\vec{x}(p) $<br/>
+
-
$= \vec{F}(\vec{x}(p))\cdot \frac{d\vec{x}(p)}{dp}) dp$<br/>
+
-
上式を$a$から$b$まで積分すると<br/>
+
-
$\int_{a}^{b}dW(p)=\int_{a}^{b}\vec{F}(\vec{x}(p))\cdot \frac{d\vec{x}(p)}{dp}) dp$<br/>
+
-
また、
+
-
$\int_{a}^{b}dW(p)
+
-
=\int_{a}^{b}\frac{dW(p)}{dp}dp$<br/>
+
-
$=[W(p)]_{a}^{b}=W(b)-W(a)=W$<br/>
+
-
故に<br/>
+
-
$W= \int_{a}^{b}\vec{F}(\vec{x}(p))\cdot \frac{d\vec{x}(p)}{dp}) dp$
+
====保存力と保存力場====
====保存力と保存力場====
-
力の場$\vec{F}(\vec x)$から力を受け
+
連続な力の場$\vec{F}(\vec x)$から力を受け
質点が任意の点$P$から任意の点$Q$ まで動くとき、<br/>
質点が任意の点$P$から任意の点$Q$ まで動くとき、<br/>
力の行う仕事が移動経路に関係なく2点$P$、$Q$だけで決まるならば、<br/>
力の行う仕事が移動経路に関係なく2点$P$、$Q$だけで決まるならば、<br/>
375 行: 614 行:
保存力は次のように言いかえることができる。<br/>
保存力は次のように言いかえることができる。<br/>
物体にかかる力 $ \vec{F}(\vec x) $ に逆らって、<br/>
物体にかかる力 $ \vec{F}(\vec x) $ に逆らって、<br/>
-
力 $-\vec{F}(\vec x)+\delta$を加えて、<br/>
+
力 $-\vec{F}(\vec x)+\delta$($\delta$は無限小)を加えて、<br/>
物体をQ点からP点に非常にゆっくり動かす時、<br/>
物体をQ点からP点に非常にゆっくり動かす時、<br/>
この力$-\vec{F}(\vec x) $の行う仕事が<br/>
この力$-\vec{F}(\vec x) $の行う仕事が<br/>
382 行: 621 行:
ここで力 $ -\vec{F} $は、物体に作用する力 $ \vec{F} $とつり合いをとるための力であり、<br/>
ここで力 $ -\vec{F} $は、物体に作用する力 $ \vec{F} $とつり合いをとるための力であり、<br/>
力 $ \delta  $は、力がつりあって静止している物体を、<br/>
力 $ \delta  $は、力がつりあって静止している物体を、<br/>
-
移動経路に沿って、Q点からP点まで無限にゆっくりと動かすのに必要な、無限に小さい力である。<br/>このため $\delta$ のなす仕事は零とみなせる。<br/>
+
移動経路に沿って、Q点からP点まで<br/>
 +
無限にゆっくりと動かすのに必要な、無限に小さい力である。<br/>
 +
このため $\delta$ のなす仕事は零とみなせる。<br/>
-
この時、力 $ -\vec{F} $がなす仕事を、Q 点を基準とした P 点でのこの物体の'''ポテンシャルエネルギー'''(potential energy)(あるいは位置エネルギー)と言う。<br/>
+
この時、力 $ -\vec{F} $がなす仕事を、<br/>
 +
Q 点を基準とした P 点でのこの物体の<br/>
 +
'''ポテンシャルエネルギー'''(potential energy)(あるいは位置エネルギー)と言う。<br/>
記号では、基準点も分かるように$U_{Q}(P)$などと書く。<br/>
記号では、基準点も分かるように$U_{Q}(P)$などと書く。<br/>
-
これは、場の力が物体をP点からQ点まで動かす時の、場の力の行う仕事と等しい。<br/>
+
これは、場の力が物体をP点からQ点まで動かす時の、<br/>
-
$U_{Q}(P)$は、力の場の定義されている領域中の任意の2点Q、Pにたいして決まるので
+
場の力の行う仕事と等しい。<br/>
 +
$U_{Q}(P)$は、力の場の定義されている領域中の任意の2点Q、Pにたいして決まるので<br/>
$U$は、この領域上の2変数関数である。保存力場$ \vec{F} $からきまるポテンシャル関数と呼ぼう。
$U$は、この領域上の2変数関数である。保存力場$ \vec{F} $からきまるポテンシャル関数と呼ぼう。
*[[wikipedia_ja:ポテンシャル|ウィキペディア(ポテンシャル)]]の保存力の項
*[[wikipedia_ja:ポテンシャル|ウィキペディア(ポテンシャル)]]の保存力の項
403 行: 647 行:
==== 力の場が保存的である必要十分条件 ====
==== 力の場が保存的である必要十分条件 ====
命題<br/>
命題<br/>
-
$\Omega$を空間${\bf R^3}$から有限個の点を除いた領域(注参照)とする。<br/>
+
$\Omega$を空間${\bf R^3}$の領域(注参照)とする。<br/>
領域$\Omega$の一点$O$を原点にした、直交座標系$O-x_{1}x_{2}x_{3}$を決める。<br/>
領域$\Omega$の一点$O$を原点にした、直交座標系$O-x_{1}x_{2}x_{3}$を決める。<br/>
次の2条件は同値である。<br/>
次の2条件は同値である。<br/>
434 行: 678 行:
多変数関数の連続性や微分については、<br/>
多変数関数の連続性や微分については、<br/>
「第8章 物理数学」の「極限と微分」で要点を説明してある。<br/>
「第8章 物理数学」の「極限と微分」で要点を説明してある。<br/>
-
(注)空間が力の場となるには、それを作り出す物体が必要。
+
(注)空間が力の場となるには、それを作り出す物体が必要。<br/>
-
例えば、地球の周りに出来る重力場は、地球が作りだしている。
+
例えば、地球の周りに出来る重力場は、地球が作りだしている。<br/>
-
この重力場は3次元空間から、地球の存在する場所を除いた空間部分に出来る。
+
この重力場は3次元空間から、地球の存在する場所を除いた空間部分に出来る。<br/>
-
この部分を領域と呼ぶことにする。
+
この部分を領域と呼ぶことにする。<br/>
-
地球は地球周辺の物体より、質量が桁違いに大きいので、物体と引きあっても
+
領域の数学的に厳密な定義は、このテキストの程度をこえるので、
-
殆ど動かないため、重力場の領域は時間に関係なく定まる。
+
省略する。<br/>
 +
地球は地球周辺の物体より、質量が桁違いに大きいので、<br/>
 +
物体と引きあっても殆ど動かないため、<br/>
 +
重力場の領域は時間に関係なく定まる。<br/>
456 行: 703 行:
質点を力$-\vec F$で第一座標に平行に$\delta$動かすときの仕事に等しい。
質点を力$-\vec F$で第一座標に平行に$\delta$動かすときの仕事に等しい。
この向き付き経路を、ベクトル値関数で表示すると$\{{\vec x}(t)=\vec x+t\vec{e_1}\mid 0\leq t\leq \delta\}$である。<br/>
この向き付き経路を、ベクトル値関数で表示すると$\{{\vec x}(t)=\vec x+t\vec{e_1}\mid 0\leq t\leq \delta\}$である。<br/>
-
すると、仕事エネルギー定理の(1)で証明したように、この仕事は<br/>
+
すると、力の場の命題で述べたように、この仕事は<br/>
$-\int_{0}^{\delta}{\vec F}(\vec{x}(t))\cdot \frac{d\vec{x}(t)}{dt}dt$<br/>
$-\int_{0}^{\delta}{\vec F}(\vec{x}(t))\cdot \frac{d\vec{x}(t)}{dt}dt$<br/>
に等しい。<br/>
に等しい。<br/>
515 行: 762 行:
すでに証明した「力の場が保存的である必要十分条件」中の命題により、<br/>
すでに証明した「力の場が保存的である必要十分条件」中の命題により、<br/>
保存力場であることが証明された。<br/><br/>
保存力場であることが証明された。<br/><br/>
 +
 +
==== 複数の星が作る万有引力場 ====
 +
今までは、保存力場が不変であり、その場の中も質点が受ける力の性質について考えてきた。<br/>
 +
このような限定をつけても応用範囲はかなりある。<br/>
 +
例えば、太陽の周りの惑星の運動などでは、太陽の質量が大きく、惑星からの万有引力を受けてもほとんど動かない。<br/>
 +
このため太陽の作る万有引力場(保存力場)のなかの惑星運動の解析は有用である。<br/>
 +
ところが、質量に大差がない複数の星が万有引力で互いに引き合いながら運動する場合には、<br/>
 +
関与する星はすべて万有引力により運動するため、適用不可である。<br/>
 +
そこでこれらにも適用できるよう若干理論を拡張しよう。<br/>
 +
星の個数をNとし、質量$m_i$(i=1,2,,,N) の質点とみなし、質点$m_i$と略称する。<br/>
 +
適切な慣性系を選び、各質点$m_i$ の位置ベクトルを $\vec{r^i}$(i=1,2,,,N)とおくと、<br/>
 +
質点 $m_i$ が受ける万有引力 $\vec{F_G^i}$ は、<br/>
 +
$\vec{F_G^i}=\sum_{j,j\neq i}Gm_{i}m_{j}\|\vec{r^j}-\vec{r^i}\|^{-3/2}$<br/>
 +
 +
補題<br/>
 +
(1)$\frac{\partial }{\partial \vec{r^i}}\frac{1}{\|\vec{r^j}-\vec{r^i}\|}
 +
:=\left(\frac{\partial }{\partial {r^i}_1}\|\vec{r^j}-\vec{r^i}\|^{-1},
 +
\frac{\partial }{\partial {r^i}_2}\|\vec{r^j}-\vec{r^i}\|^{-1},
 +
\frac{\partial }{\partial {r^i}_3}\|\vec{r^j}-\vec{r^i}\|^{-1}\right)^T$<br/>
 +
$=\frac{\vec{r^j}-\vec{r^i}}{\|\vec{r^j}-\vec{r^i}\|^3}$<br/>
 +
ここで、${r^i}_k$(k=1,2,3)はベクトル $\vec{r^i}$ の第k成分のこと。<br/>
 +
$(a_1,a_2,a_3)^T$ は 横ベクトル$(a_1,a_2,a_3)$ を縦ベクトルに変換したもの。<br/>
 +
==力学的エネルギーと力学的エネルギー保存則==
==力学的エネルギーと力学的エネルギー保存則==
530 行: 800 行:
$W(t_1,t_2)=U_{\vec{x}(t_2)}(\vec{x}(t_1))$<br/>
$W(t_1,t_2)=U_{\vec{x}(t_2)}(\vec{x}(t_1))$<br/>
この式の右辺は、ポテンシャル関数の命題を適用すると、<br/>
この式の右辺は、ポテンシャル関数の命題を適用すると、<br/>
-
任意固定した、基準点Oからのポテンシャル・エネルギーを用いて、<br/>
+
任意の固定した基準点Oからのポテンシャル・エネルギーを用いて、<br/>
-
$=U_{O}{\vec{x}(t_1)-U_{O}{\vec{x}(t_2)$<br/>
+
$=U_{O}(\vec{x}(t_1))-U_{O}(\vec{x}(t_2))$<br/>
故に<br/>
故に<br/>
-
$\frac{m\|\vec v(t_2)\|^2}{2}-\frac{m\|\vec v(t_1)\|^2}{2}
+
$\frac{m\|\vec{v}(t_2)\|^2}{2}-\frac{m\|\vec{v}(t_1)\|^2}{2}
-
=U_{O}{\vec{x}(t_1)-U_{O}{\vec{x}(t_2)$<br/>
+
=U_{O}(\vec{x}(t_1))-U_{O}(\vec{x}(t_2))$<br/>
式を整頓すると、<br/>
式を整頓すると、<br/>
-
$\frac{m\|\vec v(t_2)\|^2}{2}+U_{O}{\vec{x}(t_2)
+
$\frac{m\|\vec{v}(t_2)\|^2}{2}+U_{O}(\vec{x}(t_2))
-
=\frac{m\|\vec v(t_1)\|^2}{2}+U_{O}{\vec{x}(t_1)$<br/>
+
=\frac{m\|\vec{v}(t_1)\|^2}{2}+U_{O}(\vec{x}(t_1))$<br/>
証明終わり。<br/>
証明終わり。<br/>
558 行: 828 行:
*[[wikibooks_ja:高等学校理科 物理II 力と運動|ウィキブックス(高等学校理科 物理Ⅱ)]] の1.1.2 運動量と力積<br/>
*[[wikibooks_ja:高等学校理科 物理II 力と運動|ウィキブックス(高等学校理科 物理Ⅱ)]] の1.1.2 運動量と力積<br/>
-
n個の質点を持つ質点系の運動量は、各質点の運動量の和で定義する。<br/>
+
質点系の運動量は、質点系の各質点の運動量の和で定義する。<br/>
-
この場合にも質点系への力積は質点系の運動量の変化に等しいことが、<br/>
+
質点系の場合も、各質点の力積の和(質点系の力積)は質点系の運動量の変化に等しいことが、<br/>
運動の第2法則から導ける。
運動の第2法則から導ける。
-
 
+
===運動量保存則===
-
===運動量保存則( law of conservation of momentum )===
+
質点の場合、それに作用する外力の総和が零ならば、運動量は保存される(一定である)。<br/>
-
質点の場合、外力がなければ、その運動量は保存される(一定である)。<br/>
+
次のように質点系にも拡張できる。<br/>
-
質点系(質点の集まり)の場合でも、質点系に作用する外力のベクトル和が零ならば、<br/>内力(質点系内の質点間に働く力)があっても、運動量が保存されることが示せる。(注)<br/>
+
'''運動量保存則'''( law of conservation of momentum )<br/>
-
これを'''運動量保存則'''とよぶ。
+
質点系に作用する外力のベクトル和が零ならば、<br/>
-
*[[wikipedia_ja:運動量保存の法則|ウィキペディア(運動量保存の法則)]]
+
内力(質点系内の質点間に働く力)があっても、<br/>
-
(注)質点系の各質点の位置を$\vec{r_i}$、質量を$m_i $とし、<br/>
+
運動量は保存される。<br/>
 +
証明;<br/>
 +
質点系の質点数をN個とする。<br/>
 +
質点系の各質点の位置を$\vec{r_i}$、質量を$m_i $とし、<br/>
質点$m_i$ に作用する外力を$\vec{f_i}$、<br/>
質点$m_i$ に作用する外力を$\vec{f_i}$、<br/>
-
$m_i$ に、質点系の他の質点$m_j $から作用する内力を$\vec{f_{ij}}$とする($i,j=1 \ldots N$)。<br/>
+
$m_i$ に、質点系の他の質点$m_j $から作用する内力を<br/>
 +
$\vec{f_{ij}}$とする($i,j=1 \ldots N$)。<br/>
すると、各質点に対して、運動の第2法則により、<br/>
すると、各質点に対して、運動の第2法則により、<br/>
$\frac{d\vec{p}_i(t)}{dt}=\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}} $  <br/>
$\frac{d\vec{p}_i(t)}{dt}=\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}} $  <br/>
-
各ベクトルを自由ベクトルとみなして,上の式を$i=1 \ldots N$について加え合わせると、<br/>
+
上の式を$i=1 \ldots N$について加え合わせると、<br/>
-
$\sum_i{\vec{f_i}}=0 \qquad  \vec{f_{ij}}+\vec{f_{ji}}=0$(作用反作用の法則)なので、<br/>
+
$\frac{d}{dt} \sum_i{\vec{p}_i(t)}
 +
=\sum_{i}(\vec{f_i}+\sum_{j\neq i}\vec{f_{ij}})$<br/>
 +
$=\sum_{i}\vec{f_i}+\sum_{i}\sum_{j\neq i}\vec{f_{ij}}$<br/>
 +
外力のベクトル和が零という仮定から、<br/>
 +
$=\sum_{i}\sum_{j\neq i}\vec{f_{ij}}$<br/>
 +
$=\sum_{i<j}(\vec{f_{ij}}+\vec{f_{ji}})$<br/>
 +
上式の$\sum_{i<j}$は、すべての異なる$i<j$の組み合わせに関して和をとる意味である。<br/>
 +
作用反作用の法則により、$ \vec{f_{ij}}+\vec{f_{ji}}=0$()なので、<br/>
 +
$\sum_{i<j}(\vec{f_{ij}}+\vec{f_{ji}})=0$<br/>
 +
故に、<br/>
$\frac{d}{dt} \sum_i{\vec{p}_i(t)} =0  $    <br/>
$\frac{d}{dt} \sum_i{\vec{p}_i(t)} =0  $    <br/>
-
が得られる。ゆえに、$\sum_i{\vec{p}_i(t)}$は保存される。<br/>
+
が得られる。<br/>
 +
$\sum_i{\vec{p}_i(t)}$は時不変であり、保存される事が示された。<br/>
 +
*[[wikipedia_ja:運動量保存の法則|ウィキペディア(運動量保存の法則)]]
 +
 
 +
==エネルギーの単位==
 +
1Nの力で物体を1m動かしたとき、力は1J(ジュール)の仕事をしたという。<br/>
 +
1[J]=1[N・m]
 +
 
 +
=衝突の問題への応用=
 +
物理学で衝突とは、広い意味では、2つの物体が近づき力をおよぼしあう現象を指す。<br/>
 +
通常扱う衝突は、2つの物体が互いに近づき接触し、<br/>
 +
その瞬間に互いに相手から非常に大きな力を受け、運動に変化をおこす現象である。<br/>
 +
この力は撃力と呼ばれる。<br/>
 +
作用・反作用の法則として確立しているように、<br/>
 +
この2つの撃力は大きさと方向は同じだが向きは逆の力である。<br/>
 +
撃力はきわめて短時間に大きく変化するため、測定することは困難である。<br/>
 +
そこで、力を測定しなくても、運動変化についてどこまでいえるか、考察しよう。<br/>
 +
=== 衝突時に起こる変化  ===
 +
2物体の強度や粘性、反発特性や衝突時の相対速度により下記のような現象が起こる。<br/>
 +
(1)衝突時に粉々に砕け散る、<br/>
 +
(2)反発し互いに撃力を及ぼしあい運動方向や速さを変え互いに遠ざかっていく、<br/>
 +
(3)2物体は反発しないでくっつき、一体になって運動する<br/>
 +
 
 +
==衝突時に成立すること==
 +
衝突前後の極めて短時間の運動変化を調べるのが目的なので、<br/>
 +
2物体に外部から働く力は無視出来る。<br/>
 +
なぜならばこの間の撃力の力積は大きく運動変化を起こすが、<br/>
 +
外部力の力積は極小で、それによる運動変化は無視出来るから。<br/>
 +
この仮定の下では、衝突時に何が起ころうと成り立つ事実がある。
 +
 
 +
===運動量の保存===
 +
2つの物体は、それぞれ質点系である。<br/>
 +
そこで、2物体を纏めた一つの質点系を考える。<br/>
 +
衝突時の撃力は、上述のように両物体に色々な変化を起こす。<br/>
 +
しかしそれらすべての変化の原因となる、<br/>
 +
撃力による質点間の力の急変にも作用反作用の法則は成り立つ。<br/>
 +
従って、衝突により、物体が粉々に成ろうとも、<br/>
 +
すべての質点の運動量の和は、不変である。式で書くと<br/>
 +
$\vec{P}:=\sum_{i}\vec{p}_i=\sum_{i}m_{i}\vec{v}_i$($\vec{P}$は一定)$\quad (2)$
 +
 
 +
==2粒子の衝突後の運動は一般には、求めることはできない==
 +
2つの質点(質点とみなせる物体)の衝突に限定して、考察する。<br/>
 +
 
 +
質点は大きさを持たないので、衝突時に壊れることはない。<br/>
 +
すると、<br/>
 +
衝突時に撃力が働き反発しあって互いに遠ざかるか、<br/>
 +
合体して一つの粒子となり運動するか<br/>
 +
のいづれかである。<br/>
 +
 
 +
== 粒子が運動量・速度を変えるのは衝突の間だけ  ==
 +
各質点には衝突の瞬間の撃力以外に力は作用しないと仮定しているので、
 +
衝突前も衝突後も運動量(速度)一定で運動する。変化は衝突撃力の作用して瞬間に起こる。
 +
==一体化するか、反発しあって互いに遠ざかるかは、粒子の性質に依存 ==
 +
衝突の瞬間に一体化するか反発しあって互いに遠ざかるかは、<br/>
 +
2粒子の[[wikipedia_ja:反発係数 |反発係数]]によりきまる。<br/>
 +
反発係数が0ならば一体化する。<br/>
 +
したがって、運動量の保存だけでは2質点の衝突後の運動は決まらない。
 +
 
 +
== 衝突時に一体化する場合    ==
 +
 
 +
衝突直前の粒子$m_1,m_2$の運動量を$\vec{p}_1,\vec{p}_2$<br/>
 +
一体になった粒子の運動量を$\vec{P}$とおくと<br/>
 +
運動量保存の法則により<br/>
 +
$\vec{P}=\vec{p}_1+\vec{p}_2  $<br/>
 +
これより、衝突後の速度は$\vec v=\frac{\vec{P}}{m_1+m_2}$
 +
 
 +
== 反発しあって互いに遠ざかる場合  ==
 +
衝突前の両粒子の運動量が分かっているとき、<br/>
 +
衝突後の2粒子の運動量を、運動量保存則から求めることが出来るだろうか?<br/>
 +
求めたい数は衝突後の両粒子の運動量なので、6つである。<br/>
 +
 
 +
運動量保存則からは、各座標成分ごとの3つの式ができる。<br/>
 +
方程式の個数が未知数の個数よりすくないので、変数の値は決められない(方程式は解けない)。<br/>
 +
未知数とそれらの間に成り立つ方程式の数を同じにするため、
 +
衝突時の条件を付けてみよう。
 +
===弾性衝突   ===
 +
2つの粒子の運動エネルギーの和が、衝突時に保存される衝突を弾性衝突という。<br/>
 +
エネルギー保存は一つの関係式しか与えないので、まだ2つ方程式が足りない。<br/>
 +
残り2つの方程式は衝突の際の撃力に関する知識が必要になるので、<br/>
 +
一般的には議論出来ない。
 +
 
 +
===弾性衝突で撃力の方向が分かる場合===
 +
この場合には衝突後の運動の方向がわかり、<br/>
 +
これを式で表すと、2つの保存則の方程式と連立させて、<br/>
 +
衝突後の2粒子の運動量を其々求めることが出来る。<br/>
 +
例として、<br/>
 +
両粒子が同じ直線上を運動し、正面から衝突する場合を考える。<br/>
 +
この時撃力は、この直線と同じ方向に働く。<br/>
 +
すると衝突後も粒子はこの直線上を運動する。<br/>
 +
この直線をx座標に選べば、粒子の位置はx座標だけで表せる。<br/>
 +
速度(運動量)もx座標方向となるので、x座標成分が変数となる。<br/>
 +
(注)速度(運動量)の他の座標成分は全て零となる。<br/>
 +
すると衝突後の2粒子の運動量は、それぞれの粒子の運動量のx座標成分が未知数となる。<br/>
 +
この2つの未知数に対して、<br/>
 +
運動量保存則のx座標成分の式と運動エネルギー保存の式の2つの方程式が得られる。<br/>
 +
一次方程式と2次方程式の連立方程式なので、容易に解ける。
 +
 
 +
 
 +
===弾性衝突の一般論  ===
 +
弾性粒子の衝突は、物理学で重要な役割を果たしている。<br/>
 +
原子物理学では、原子の衝突の実験が行われるが、弾性衝突の概念が基本になっている。<br/>
 +
この条件で、衝突後の2粒子の運動量をどこまで推察できるか考察する。<br/>
 +
以下衝突の起こる時刻を、t=0にとる。<br/>
 +
衝突時にだけ、粒子の速度と運動量変化が起こるので<br/>
 +
衝突前(t<0)の粒子の速度を$\vec{v}(-)$  運動量を$\vec{p}(-)$,<br/>
 +
衝突後(t>0)の粒子の速度を$\vec{v}(+)$  運動量を$\vec{p}(+)$,<br/>
 +
などと書く。
 +
==== 実験・観測と考察に都合のよい慣性系の選択====
 +
 
 +
=====実験室系=====
 +
衝突する2粒子の質量を$m_1,m_2$とし、<br/>
 +
質点$m_2$が原点に静止するような慣性座標系Sを定める(注参照)。<br/>
 +
実験室系(laboratory system)とよぶ。<br/>
 +
通常の物理実験では一方の粒子を固定し、それを標的に他の粒子をあてるので、<br/>
 +
この名がついている。<br/>
 +
この系は慣性系なので、あらゆる力学の法則が成り立つ。<br/>
 +
(注)$m_2$粒子は衝突前、等速度運動をしているので、<br/>
 +
衝突前には、この粒子の位置を原点とし等速度で並進し、<br/>
 +
衝突後もこの速度で並進する座標系をとればよい。<br/>
 +
この系からみれば、$m_2$は衝突前は止まって見える。<br/>
 +
この系は、地上に固定した慣性系に対して等速度並進運動する系なので慣性系である。<br/>
 +
証明は、「1.3 ガリレイ変換とガリレイの相対性原理」にある。<br/><br/>
 +
このS系からみた、質点$m_i$の時刻tでの位置ベクトルと速度、運動量を、それぞれ<br/>
 +
$\vec{r^i}(t), \quad \vec{v^i}(t), \quad \vec{p^i}(t) \quad$(i=1,2)<br/>
 +
と記す。<br/>
 +
======S系で観測する衝突前の運動   ======
 +
衝突前の時刻t(<0)の質点$m_2$の位置ベクトルと速度はともに零なので、<br/>
 +
$\vec{r^2}(-)=0,\quad \vec{v^2}(-)=0,\quad \vec{p^2}(-)=0$<br/>
 +
また質点$m_1$は衝突前に等速度で運動しているので、この速度を$\vec v^1(-)$と書くと<br/>
 +
$\vec{p^1}(-)=m_1 \vec{v^1(-)} \quad \qquad     (1)$<br/>
 +
質点系の運動量は、<br/>
 +
$\vec{P}(-):=\vec{p^1}(-)+\vec{p^2}(-)=\vec{p^1}(-)=m_1 \vec{v^1(-)} \quad $
 +
 
 +
======S系で観測する衝突後の運動   ======
 +
2粒子系の運動量$\vec P$(各質点の運動量$\vec P^i,(i=1,2)$の和)は保存されるので、<br/>
 +
 
 +
$\vec P=\vec{P(-)}=m_1\vec{v^1}(-) \qquad \qquad     (1')$<br/>
 +
 
 +
でPを決めると、<br/>
 +
$\vec P=\vec{P(-)}=\vec{P(+)}=m_1\vec v^1(t)+m_2\vec v^2(t) $
 +
(tは任意の時刻)$\quad  (2)$<br/>
 +
この式から、衝突後の2つの質点の速度や運動量そのものは求めることはできない。<br/>
 +
しかし、それらの満たすべき性質について、もっと知ることが出来ないだろうか。<br/>
 +
この系から観測している限り、これを見つけるのは難しい。
 +
 
 +
======2粒子の重心は等速直線運動をする  ======
 +
「2.3 質点の運動中の質点系の運動」に記載した通り、<br/>
 +
S系でみた時刻tの2質点系の重心は、位置ベクトル<br/>
 +
$\vec{R}(t):=\frac{m_1\vec{r^1}(t)+m_2\vec{r^2}(t)}{m_1+m_2}$<br/>
 +
で定義された点である。<br/>
 +
S系からみた重心の速度は<br/>
 +
$\vec{V}:=\vec{V}(t)=\frac{d\vec{R}(t)}{dt}=\frac{m_1\vec{v^1}(t)+m_2\vec{v^2}(t)}{M}$<br/>
 +
$=\frac{\vec P}{M}=\frac{m_1\vec{v^1}(-)}{M}  \qquad \qquad  (3)$<br/>
 +
 
 +
ここで、$M:=m_1+m_2$は、質点系の質量である。<br/>
 +
 
 +
質点系の重心は、衝突にかかわらず、速度$\vec{V}$で、等速直線運動を続けることが分かった。
 +
====== 重心系 ======
 +
2粒子の重心に張り付けた並進運動する座標系$S'$(原点は重心位置にとる)を定める。<br/>
 +
重心系(center-of-mass system)という。<br/>
 +
重心は衝突にかかわらずS系からみて等速度で運動するので、<br/>
 +
この系は慣性系となる。<br/>
 +
この系からみると、衝突前後の2粒子の運動は非常に単純になり、<br/>
 +
衝突現象を解明しやすくなる。
 +
 
 +
====== S'系からみた質点系の衝突 ======
 +
この系からみた、時刻tの質点$m_i$の位置,速度、運動量を<br/>
 +
$\vec{r'^i}(t) \quad,\vec{v'^i}(t),\quad \vec{p'^i}(t)$<br/>
 +
と記す。<br/>
 +
S'系も慣性系なので、この系から見た質点系の運動量は保存される。
 +
これを時不変のベクトル$\vec P'$ で表す。<br/>
 +
S系の原点を$O$、時刻tのS'系の原点を$O'(t)$と書くと、<br/>
 +
S系とS'系からの位置の観測値の間にはガリレイ変換<br/>
 +
 
 +
$\vec{r}(t)=\vec{OO'}(t) +\vec{r'}(t) \qquad \quad \qquad \qquad (4)$<br/>
 +
 
 +
 
 +
ここで、$\frac{d\vec{OO'}(t)}{dt}=\vec V $<br/>
 +
が成り立つ。<br/>
 +
式(4)の両辺をtで微分すると、<br/>
 +
 
 +
$\vec{v}(t)=\vec{V} +\vec{v'}(t)=\frac{m_1\vec{v^1}(-)}{M} +\vec{v'}(t) qquad \quad  (5)$<br/>
 +
 
 +
この関係を、質点$m_i$の位置、速度に適用すると<br/>
 +
$\vec{r^i}(t)=\vec{OO'}(t)$
 +
$ +\vec{r^i}'(t)$<br/>
 +
$\vec{v^i}(t)=\vec{V} +\vec{v^i}'(t)$<br/>
 +
を得る。ゆえに<br/>
 +
$\vec{p^i}(t)=m_i\vec{v^i}(t)=m_i\vec{V} +m_i\vec{v^i}'(t)$<br/>
 +
$=m_i\vec{V} +\vec{p^i}'(t)\qquad \quad \qquad \qquad  (6)$<br/>
 +
すると、i について和をとると<br/>
 +
$\vec P=\vec{p^1}(t)+\vec{p^2}(t)=M\vec{V} +\vec{P'}$<br/>
 +
$=\vec P+\vec{P'}$<br/>
 +
故に、
 +
$\vec{P'}=0$<br/>
 +
これで、S'系からみた2質点系の運動量が常に零であること
 +
が分かった。<br/>
 +
さらに式(6)に、式(3)($\vec{V}=\frac{m_1\vec{v^1}(-)}{M}$)を代入すると、<br/>
 +
$\vec{p^i}(-)=m_i\frac{m_1\vec{v^1}(-)}{M}+\vec{p^i}'(-)$<br/>
 +
この式は、i=1の時、式(1)から、<br/>
 +
$m_1\vec{v^1}(-)=m_1\frac{m_1\vec{v^1}(-)}{M}+\vec{p^1}'(-)$<br/>
 +
整頓すると<br/>
 +
$\vec{p^1}'(-)=\frac{m_1m_2}{M} \vec{v^1}(-)$<br/>
 +
これらを纏めて次の命題が得られる。<br/>
 +
'''命題1''':<br/>
 +
慣性系Sからみて、粒子$m_2$は原点に静止し、<br/>
 +
粒子$m_1$が速度$\vec{v^1}(-)$で、等速直線運動をして、<br/>
 +
時刻t=0で、粒子$m_2$に衝突するとする。<br/>
 +
すると、<br/>
 +
(1)この2粒子の重心はS系から見て<br/>
 +
$\vec{V}=\frac{\vec P}{M}=\frac{m_1\vec{v^1}(-)}{M}  \qquad \qquad  (3)$<br/>
 +
で等速直線運動を行い、重心を原点とし並進運動する重心系S'は慣性系である。<br/>
 +
(2)運動する質点の速度を慣性系S系とS'系で観測すると、それらの間には、<br/>
 +
$\vec{v}(t)=\vec{V} +\vec{v'}(t)\qquad \quad \qquad \qquad  (5)$<br/>
 +
(3)$\vec{p^1}'(-)=-\vec{p^2}'(-)=\frac{m_1m_2}{M}\vec{v^1}(-)$<br/>
 +
(4)この2粒子系の運動量PをS系とS'系から観測すると、衝突前後で変わらず<br/>
 +
$\vec P=\vec{P(-)}=\vec{P(+)}=m_1 \vec{v^1(-)}$<br/>
 +
$\vec{P'}=\vec{P'(-)}=\vec{P'(+)}=0$  <br/>
 +
従って、任意のtに対して、<br/>
 +
$\vec{p^1}'(t)=-\vec{p^2}'(t) \qquad \quad \qquad \qquad  (7)$<br/>
 +
$\vec{v^2}'(t)=-\frac{m_1}{m_2}\vec{v^1}'(t)\qquad \quad \qquad \qquad  (7') $<br/>
 +
さらに運動エネルギーの保存から次の命題が得られる。<br/>
 +
'''命題2''';<br/>
 +
重心系S'系で観測すると、<br/>
 +
両質点の運動量の大きさは、衝突前後で変わらず(時不変)、しかも相等しい。<br/>
 +
式で書くと、任意のtに対して<br/>
 +
$\|\vec{p^1}'(t)\|=\|\vec{p^2}'(t)\|
 +
=\frac{m_1m_2}{M}\|\vec{v^1}(-)\|$(一定)$\qquad  (8)$<br/>
 +
故に<br/>
 +
$\|\vec{v^1}'(t)\|
 +
 
 +
=\frac{m_2}{M}\|\vec{v^1}(-)\|\qquad \quad \qquad \qquad  (9) $<br/>
 +
$\|\vec{v^2}'(t)\|=\frac{m_1}{M}\|\vec{v^1}(-)\|\qquad \quad \qquad \qquad  (10) $<br/>
 +
 
 +
 
 +
証明;<br/>
 +
弾性衝突では、系の運動エネルギーT'は保存されるので、<br/>
 +
$T':=\frac{1}{2}(\frac{\|\vec{p^1}'(t)\|^2}{m_1}+\frac{\|\vec{p^2}'(t)\|^2}{m_2})$(全てのtに対して)<br/>
 +
また式(6)から$\|\vec{p^1}'(t)\|^2=\|\vec{p^2}'(t)\|^2$<br/>
 +
なので、<br/>
 +
$T':=\frac{1}{2}(\frac{\|\vec{p^1}'(t)\|^2}{m_1}+\frac{\|\vec{p^1}'(t)\|^2}{m_2})$
 +
$=\frac{1}{2}\frac{m_1+m_2}{m_1 m_2}\|\vec{p^1}'(t)\|^2$<br/>
 +
故に、<br/>
 +
$\|\vec{p^1}'(t)\|^2=2\frac{m_1m_2}{M}T'$<br/>
 +
$=\|\vec{p^2}'(t)\|^2$<br/>
 +
ここで、<br/>
 +
$T'=
 +
\frac{1}{2}(\frac{\|\vec{p^1}'(-)\|^2}{m_1}+\frac{\|\vec{p^2}'(-)\|^2}{m_2})$<br/>
 +
$=\frac{1}{2}(\frac{1}{m_1}+\frac{1}{m_2})\|\vec{p^1}'(-)\|^2$<br/>
 +
$=\frac{1}{2}\frac{M}{m_1m_2}\|\frac{m_1m_2}{M}\vec{v^1}(-)\|^2$<br/>
 +
$=\frac{1}{2}\frac{m_1m_2}{M}\|\vec{v^1}(-)\|^2$<br/>
 +
なので、運動量の大きさに関する所要の式を得る。  <br/>
 +
運動量の定義から速度の大きさに関する式が得られる。証明終わり。<br/>
 +
(注)S'系での時刻tでの運動エネルギー<br/>
 +
T'(t)$:=\frac{1}{2} (\|\vec{v^1}'(t)\|^2+(\|\vec{v^2}'(t)\|^2)$を、<br/>
 +
速度のガリレイ変換である式(5)を用いて変形し、<br/>
 +
ノルムの2乗を内積で表現し、内積計算すると<br/>
 +
$T'(t)=T(t)-\frac{M}{2}\|\vec{V}\|^2$<br/>
 +
$=\frac{1}{2}m_1\|\vec{v^1}(-)\|^2-\frac{M}{2}\|\vec{V}\|^2 $<br/>
 +
$=\frac{1}{2}\frac{m_1m_2}{M}\|\vec{v^1}(-)\|^2$<br/>
 +
が得られる。<br/>
 +
この証明法は、S'系でも運動エネルギーが保存されることが同時に証明されるメリットがある。<br/><br/>
 +
これらの命題から、S'系からみると、  <br/>
 +
(1)2質点は衝突前はある直線上を互いに原点にむかって、<br/>
 +
同じ大きさの運動量の持って接近し、<br/>
 +
衝突後は(一般には向きを変えた)ある直線上を、<br/>
 +
同じ大きさの運動量をもって互いに遠ざかること、 <br/>
 +
(2)弾性衝突の場合、それぞれの粒子は、衝突後も速度の大きさは変えないこと
 +
<br/>
 +
が分かった。<br/>
 +
ただし、衝突後どの方向に飛びさるかは、運動量保存と運動エネルギー保存だけでは
 +
決まらない。
 +
 
 +
====== S系からみた質点系の運動 ======
 +
S'系からみた弾性衝突にかんする知見を、S系で解釈してS系での衝突に関する知見を得よう。<br/>
 +
これには両系からみた粒子の速度の関係式(5)をもとに、<br/>
 +
速度の関係を図示して幾何学の知識を使うと見通しが大変良い。<br/>
 +
 
 +
有向線分$\overrightarrow{QQ'}=\vec{V}=\frac{m_1}{M}\vec{v^1}(-)$を定める。<br/>
 +
すると、<br/>
 +
S系から見た速度$\vec v$を、始点Qの有向線分$\overrightarrow{QP}$で表現すると、<br/>
 +
S'系からみた速度は、式(5)より、$\vec v'=\overrightarrow{Q'P}$で与えられる。<br/>
 +
図1参照のこと。
 +
命題2から<br/>
 +
S'系からみると、質点$m_1$の速度の大きさは、常に(衝突の前も後も)<br/>
 +
$\|\vec{v^1}'(t)\|
 +
=\frac{m_2}{M}\|\vec{v^1}(-)\|\qquad \quad \qquad \qquad  (9) $<br/>
 +
そこで、Q'点を中心とし、半径$\frac{m_2}{M}\|\vec{v^1}(-)\|$の球面$S_1$を考えると、<br/>
 +
質点$m_1$の速度は、S'系からみると衝突前も後も、この球面上のある点Pを用いて<br/>
 +
$\vec v'=\overrightarrow{Q'P}$であらわせる。<br/>
 +
これをS系からみると速度は$\vec v=\overrightarrow{QP}$<br/>
 +
同様に<br/>
 +
S'系からみると、質点$m_2$の速度の大きさは、常に<br/>
 +
$\|\vec{v^2}'(t)\|
 +
=\frac{m_1}{M}\|\vec{v^1}(-)\|\qquad \quad \qquad \qquad  (10) $<br/>
 +
なので、<br/>
 +
Q'点を中心とし、半径$\frac{m_1}{M}\|\vec{v^1}(-)\|$の球面$S_2$
 +
上の点が、質点$m_2$の速度を表す。<br/>
 +
$\|\overrightarrow{QQ'}\|=\frac{m_1}{M}\|\vec{v^1}(-)\|$なので、球面$S_2$は、点Qを含む。<br/>
 +
 
 +
======幾何学的考察  ======
 +
図2をもとに説明する。<br/>
 +
 
 +
球面$S_1$と直線$QQ'$の交点(2個)のうち、<br/>
 +
線分$QQ'$上にあるものを$P_{m_1}^{head}$, 線分$QQ'$の外部の点を$P_{m_1}^{-}$,
 +
<br/>
 +
球面$S_2$と直線$QQ'$の交点(2個)のうち、<br/>
 +
Q点を$P_{m_2}^{-}$、Q点と異なる点を、$P_{m_2}^{head}$と書く。<br/>
 +
 
 +
すると、<br/>
 +
$\overrightarrow{QP_{m_1}^{-}}=\overrightarrow{QQ'}+\overrightarrow{Q'P_{m_1}^{-}}
 +
=\frac{m_1}{M}\vec{v^1}(-)+\frac{m_2}{M}\vec{v^1}(-)=\vec{v^1}(-)$<br/>
 +
なので、点$P_{m_1}^{-}$は衝突前の質点$m_1$の速度を表す。<br/>
 +
すなわち、S系からみた速度は$\vec{v^1}(-)=\overrightarrow{QP_{m_1}^{-}}$<br/>
 +
S'系からみた速度は$\vec{v^1}'(-)=\overrightarrow{Q'P_{m_1}^{-}}=\frac{m_2}{M}\vec{v^1}(-)$<br/>
 +
 
 +
 
 +
'''衝突後の2質点の速度'''<br/>
 +
衝突後の2質点の、S'からみた速度は命題1、命題2で明らかにしたように
 +
$\|\vec{v^1}'(t)\|
 +
=\frac{m_2}{M}\|\vec{v^1}(-)\|\qquad \quad \qquad \qquad  (9) $<br/>
 +
$\vec{v^2}'(t)=-\frac{m_1}{m_2}\vec{v^1}'(t)\qquad \quad \qquad \qquad  (7')$<br/>
 +
をみたす。<br/>
 +
そのため、$m_1$の衝突後の速度を表す点<br/>
 +
$P_{m_1}(i.e.\overrightarrow{Q'P_{m_1}}=\vec{v^1}'(+))$は<br/>
 +
球面$S_1$上の点である。<br/>
 +
逆に球面$S_1$上の点は$m_1$の衝突後に実現可能な速度を表す点である。<br/>
 +
直線$P_{m_1}Q'$と球面$S_2$との交点のうち、<br/>
 +
Q'からみて$P_{m_1}$と反対側の点を$P_{m_2}$とかく。<br/>
 +
すると式(7')から、$\vec{v^2}'(+)=\overrightarrow{Q'P_{m_2}}$<br/>
 +
$\vec{v^1}(+)=\overrightarrow{QP_{m_1}}$と$\vec{v^1}(-)\propto \vec V=\overrightarrow{QQ'}$のなす角$\theta_1:=\angle{P_{m_1}QQ'}$は<br/>
 +
衝突によって質点$m_1$が変えた進行角なので、$m_1$の散乱角という。<br/>
 +
$\vec{v^2}(+)=\overrightarrow{QP_{m_2}}$と$\vec{v^1}(-)$のなす角$\theta_2:=\angle{P_{m_2}QQ'}$は$m_2$の散乱角という。<br/>
 +
三角形$\triangle {P_{m_1}QP_{m_2}}$を考える。<br/>
 +
$\vec V$はこの三角形の中を通るので、<br/>
 +
$\theta_1+2\theta_1+\angle{QP_{m_1}P_{m_2}}$は三角形$\triangle {P_{m_1}QP_{m_2}}$の内角の和となり、<br/>
 +
$\theta_1+2\theta_2+\angle{QP_{m_1}P_{m_2}}=\pi  \qquad \qquad (11)$<br/>
 +
 
 +
 
 +
正面衝突のとき;<br/>
 +
2粒子が真正面から衝突し、両者の散乱角が零となるときは、<br/>
 +
$P_{m_1}^{head}$が粒子$m_1$の速度を与える点で<br/>
 +
$P_{m_2}^{head}$が粒子 $m_2$の速度を与える点である。<br/>
 +
故に、この場合、$\vec{v^1}(+)=\overrightarrow{QP_{m_1}^{head}}=\frac{m_1-m_2}{M}\vec{v^1}(-)$<br/>
 +
$\vec{v^2}(+)=\overrightarrow{QP_{m_2}^{head}}=\frac{2m_1}{M}\vec{v^1}(-)$<br/>
-
==保存則の応用==
+
======$m_1>m_2$の場合  ======
-
===衝突の問題===
+
-
====2質点の衝突====
+
このケースでは、点Qは球面$S_1$の外部になる。<br/>
 +
Q点から、球面$S_1$に一つの接線を引き、接点を$P_{m_1}^{max}$とし、<br/>
 +
$\vec{Q'P_{m_2}^{max}}=-\frac{m_1}{m_2}\vec{Q'P_{m_1}^{max}}$となる点$P_{m_2}^{max}\in S_2$を決める。<br/>
 +
角$\angle{P_{m_1}^{max}QQ'}$は、$m_1$の最大の散乱角になることは、図から容易にわかる。<br/>
 +
そこで、$\theta_{1}^{max}(:=\angle{P_{m_1}^{max}QQ'})$とかく。<br/>
 +
この角度は、図から、<br/>
 +
$\sin \theta_{1}^{max}
 +
=\frac{\| \vec{Q'P_{m_1}^{max}} \|}{\|\vec{QQ'}\|}
 +
=\frac{m_2}{m_1}$<br/>
 +
を満たす。<br/>
 +
この時の$m_2$の散乱角を求めよう。<br/>
 +
直線$P_{m_1}Q'$と球面$S_2$の交点のうち、$P_{m_1}$からの距離の大きいほうを$P_{m_2}^{max}$とおく。<br/>
 +
すると、接線の性質から、角$\angle {QP_{m_1}^{max}P_{m_2}^{max}}=\pi/2$<br/>
 +
式(11)から、$\theta_{1}^{max}+2\theta_2=\pi /2$<br/>
 +
故に、$\theta_2=\frac{\pi /2-\theta_{1}^{max}}{2},\quad $$\theta_{1}^{max}={\sin}^{-1}(m_2/m_1)$<br/><br/>
 +
正面衝突の場合は<br/>
 +
粒子$m_1$が粒子$m_2$に与える激力は、粒子$m_1$の衝突前の速度の方向なので、散乱角は零となる。<br/>
 +
このため、衝突後の粒子$m_i$の速度を表す点は、図の$P_{m_1}^{head}$となり、<br/>
 +
$\vec{v^1}(+)=\vec{QP_{m_1}^{head}}=\frac{m_1-m_2}{M}\vec{v^1}(-)$<br/>
 +
$\vec{v^2}(+)=\vec{QP_{m_2}^{head}}=\frac{2m_1}{M}\vec{v^1}(-)$
-
==力学に必要な物理量(時間、距離、速度、加速度、質量、力)の単位と単位変換==
+
======$m_1<m_2$の場合  ======
-
**[[wikipedia_ja:物理単位|ウィキペディア(物理単位)]]
+
このとき、Q点は球面$S_1$の内部になるので、S系からみても$m_1$の速度は衝突後、あらゆる方向をとりえる。図参照。<br/>
-
**[[wikibooks:High School Physics/Si units |wikibooks(High_School_Physics/Si_units) ]] ,in English
+
従って、この場合には、散乱角については、式(11)しか言えない。<br/>
 +
$0 \leq \angle{QP_{m_1}P_{m_2}} \leq \pi \quad $なので、式(11)から、<br/>
 +
$0 \leq \theta_1+2\theta_2 \leq \pi$

2016年1月23日 (土) 11:42 時点における最新版

個人用ツール