物理/エネルギーと保存則(その1)
提供: Internet Web School
目次[非表示] |
概要
質点や質点の集まりの運動を調べるときに有用な
各種の保存法則が、運動の法則から導かれる。
導出の仕方が理解できると、力学への理解が深まる。
この節では、いろいろなエネルギーについて説明後、仕事・エネルギー定理、保存力と力学的エネルギー保存則などを述べる。
次節の「エネルギーと保存則(その2)」では運動量に関する保存則を述べる。
エネルギー
物質の持っている仕事をする能力をエネルギーという。
この規定は抽象的で具体例を知らないと、良く分からないだろう。
その方たち向けに簡単に説明する。
人間が地表の石(質量m)を、非常にゆっくりと高さhまで持ち上げたとする。
この時、人間が石に行った仕事は、上向きの力(㎎+無限に小さい正の力)でhだけ動かしたのでmghとなる。
何故なら、上に移動させるため加えた小さい正の力は無限に小さく出来るので無視出来るから。
上に持ち上げられた物体は、支えをなくせば、引力㎎に引かれて落下運動する。
これを利用して、直接この石に仕事をさせることができる。
例えば、石に紐をつけ、延ばした紐の他端に動かしたい物体をつけて、石を自由にすれば、
石は物体を力㎎で引っ張りながら、地表まで落ちる。
この時物体はhだけ移動するので、石が物体に行う仕事はmghとなる。
このようにhの高さに持ち上げられた石は、仕事をする能力を持つ。
その量はmghで、最初人間が石に対して行った仕事に等しい。
位置に依存して有する能力なので、石は、位置エネルギーを持つという。
仕事量も表したい時には、「石の位置エネルギーはmgh」と表現する。
また、地表からhの高さに持ち上げられた石は、
支えをなくして自由にすると落下運動を行う。
運動物体は仕事をする能力を持つ。
何故なら、運動している物体は他の物体に接触すると力を与えて動かし、
仕事をするからである。
速度が速いほど、この能力は増す。
この場合の「仕事する能力」は、運動に基因するので、運動エネルギーという。
従って、位置エネルギーは直接に仕事をする能力だけでなく、
運動エネルギーという形態に変化する能力ももつ。
石は落下するに従って位置エネルギーをへらし、運動エネルギーは増していく(速度が速くなるため)。
こうして人間の行った仕事は、
石の位置エネルギーになり、
それは仕事をしたり、
運動エネルギーなど他のエネルギーに変換され、
その後仕事にも変換できる。
これ等の過程でエネルギーは保存されるのか、
工夫したら、最初に人間の行った仕事より多くの仕事が得られのではないか。
この節では、このようなエネルギーの問題を調べる。
- エネルギー(ウィキペディア)の自然科学の項を参照のこと。
運動エネルギー(kinetic energy)
運動している粒子は、それを止めようとする物体に力を与え、動かすことが出来る。
運動している粒子は,運動に起因する何らかのエネルギーを持っていると考えられる。
止まった段階ではこのエネルギーは零になるので、
運動している粒子の持つエネルギーの量は、止まるまでに使った仕事で計れる。
質量mの粒子が速度→vで運動しているとき、
止まるまでになす仕事を求めてみる。
速度方向をx軸とする座標O−xをとる。
力が作用しなければ、粒子はx軸の上をx正方向にむかって、速さv:=‖→v‖で等速直線運動を続ける。
この粒子が原点を通過する瞬間(t=0)から、x軸方向の力F=−f、f>0(負の向き)を、止まるまで与え続ける。この間、粒子は、作用反作用の法則により、F=f、f>0の力で、止めようとする物体を押し返しながら、止まるまで仕事をし続ける。
止まるまでの距離を求めるため、運動法則を用いる。
この粒子の運動方程式は
md2dt2x(t)=−f (1),
ここで、x(0)=0,v(0)=v(初期条件)(2)
(1)式の両辺をmで割り、v(t):=ddtx(t)を代入すると、
ddtv(t)=−fm
この方程式を満たし、初期条件(2)を満たす関数vは、
v(t)=−fmt+v(3)
この式から、粒子が停止する時刻は
t1=mvf
このときの粒子の位置は、
ddtx(t)=−fmt+v (4)
を解いて、停止時刻でのxを求めればよい。
初期条件式(2)を満たす(4)式の解は
x(t)=−f2mt2+vt (4)
故に、止まる位置は
x(t1)=−f2mt12+vt1=mv22f
粒子が止まるまで,なした仕事は、
W=fmv22f=mv22
以上の考察より、粒子の運動エネルギーを次のように決める。
定義;
質量m、速度→vの質点の運動エネルギーを、
mv22
で定める。
- ウィキペディア(運動エネルギー)
- ウィキペディア(Kinetic_energy) in English
仕事エネルギー定理(Work-energy theorem)
質点に力を与えて運動させたとき、力のなした仕事は質点の運動エネルギーの増加に等しいことが証明できる。
外力のなした仕事(エネルギー)が、質点のエネルギーに転嫁するのである。
これは、仕事エネルギー定理と呼ばれる重要な定理である。
以下にその証明をしよう。
質量mの質点が力 →F(t)を受けて運動している(注参照のこと)。
力は時間に関して連続であるか、区分的に連続(不連続点が有限個しかない)と仮定する。
空間には適当に原点Oを定め、適切な直交座標O−x1x2x3をいれる。
時刻t の質点の位置 P(t) を位置ベクトルを→x(t):=→OP(t)で表わすと、その速度は
→v(t)=d→xdt(t)
注)
万有引力や電磁気力は、場所によって変化するので、
位置ベクトル→xにいる質点の受ける力は→G(→x)である。
すると、時刻tに質点の受ける力は時間の関数→F(t):=→G(→x(t))となる。
また人為的に時間により力を変えて物体の運動を制御することもある。
この定理は、この場合にも適用できるような記述にした。
定理の証明に利用する命題を用意する。
補題
時刻t1から t2までに力の行う仕事Wは
W=∫t2t1(→F⋅→v)(t)dt(=∫t2t1→F(t)⋅d→x(t)dtdt)
である。
ここで(→F⋅→v)(t):=→F(t)⋅→v(t)
力が一定のときは、
W=∫t2t1→F⋅d→x(t)dtdt=→F⋅∫t2t1d→x(t)dtdt=→F⋅(→x(t2)−→x(t1))
となり、力のなす仕事の定義と一致する。
証明;
前節の「連続な力の場のなす仕事」の命題の証明で、
パラメータpとして、時間tをとり、
力→F(→x(t))を,改めて→F(t)とおけば、
全く同じように証明できる。
しかし、その証明はやや難しかいので、別の証明を与える。
時刻 t1 から t∈[t1,t2] までに力のなす仕事を W(t) とかくと、
時刻t∈(t1,t2) から微小時間 δt(≠0) ((t+δt)∈(t1,t 2))の間に力のなす仕事を δW(t) とかけば δW(t)=W(t+δt)−W(t) が成り立つ。
力が(区分的)連続なので、それを2回積分した軌道は(区分的に)滑らかな連続曲線になるので、
この短い時間の間は、
力は時刻 t での値 →F(t) に等しく、
質点の軌道は、有向線分 →P(t),P(t+δt)=→x(t+δt)−→x(t) に等しい
とみなしてよい。
すると力のなす仕事の定義から、
δW(t)=W(t+δt)−W(t)=→F(t)⋅(→x(t+δt)−→x(t))
が得られる。
両辺を δt で割ると、
W(t+δt)−W(t)δt=→F(t)⋅→x(t+δt)−→x(t)δt
が得られる。
ベクトル値関数→x(t)は、有限個の点を除いて微分可能で、その導関数は連続なので、
右辺はδtを零に近づけるとき、極限をもつ。
したがって、最悪でも、有限個のtを除いて W(t) は微分可能で、
dWdt(t)=limδt→0W(t+δt)−W(t)δt=limδt→0→F(t)⋅→x(t+δt)−→x(t)δt=→F(t)⋅d→xdt(t)
故に、W(t) は →F(t)⋅d→xdt(t) の不定積分
∫→F(t)⋅d→xdt(t)dt
で表される。
よく知られた定積分と不定積分の関係から
W(t2)−W(t1)=∫t2t1→F(t)⋅d→xdt(t)dt
W=W(t2)−W(t1) なので所望の結果が得られた。
証明終わり。
仕事エネルギー定理
W=12m‖v(t2)‖2−12m‖v(t1)‖2
すなわち力がなした仕事は、運動エネルギーの変化量に等しい。
証明
運動の第2法則から、→F(t)=md→v(t)dtなので、
W=∫[t1,t2](→F⋅→v)(t)dt=∫[t1,t2](md→vdt⋅→v)(t)dt=m∫[t1,t2](d→vdt⋅→v)(t)dt
ここで、
d(→v⋅→v)dt(t)=2(d→vdt⋅→v)(t)(「8章の8.3 積分」のベクトル値関数の微分参照のこと)なので
=m2∫[t1,t2]d(→v⋅→v)dt(t)dt
ここで、被積分関数d(→v⋅→v)dt(t)の
原始関数は→v⋅→vなので、
=m2[(→v⋅→v)(t)]t2t1
=m2‖→v(t2)‖2−m2‖→v(t1)‖2
証明終わり。
力 →F(t) が重力とそれ以外の外力→f(t) の和のばあいの仕事エネルギー定理を考えよう。
鉛直上方をx3(z)軸とする3次元直交座標系 O−x1x2x3をとり、
重力加速度の大きさを g とかくと 、重力加速度は→g=(0,0,−g) なので、
→F(t)=m→g+→f(t)
これを仕事エネルギー定理
∫t2t1(→F⋅→v)(t)dt=m2‖→v(t2)‖2−m2‖→v(t1)‖2
に代入して、式の整理をすると
∫t2t1(→f⋅→v)(t)dt=(m2‖→v(t2)‖2+mgx3(t2))−(m2‖→v(t1)‖2+mgx3(t1))
これで次の重要な系が得られた。
系;外力が重力とそれ以外の力→f(t)のとき、
→f(t)が、時刻 t1 から t2 の間になす仕事Wf=∫t2t1(→f⋅→v)(t)dt は
Wf=(m2‖→v(t2)‖2+mgx3(t2))−(m2‖→v(t1)‖2+mgx3(t1))
保存力と位置エネルギー
力の場
質点がどこにあろうが、その位置→xに応じて力→F(→x)が作用するとする(注1)。
このような空間を力の場という。
力が位置の連続関数のとき、連続な力の場という。
保存力と保存力場
連続な力の場→F(→x)(注参照)において、
質点が任意の点Pから任意の点Q まで動くとき、
この場の力の行う仕事が移動経路に関係なく2点P、Qだけで決まるならば、
この力の場を保存力場という。
保存力場の力を保存力(conservative force ) という。
移動経路としては、区分的に滑らかな曲線(注2参照)に限定する。
(注1)例えば、地球からの万有引力が作用する空間など。
(注2)曲線→Cを、
[0,1]で定義された連続で、しかも
有限個の点を除いて微分可能で導関数が連続な
ベクトル値関数の軌跡で表すことが出来ることをいう。
位置エネルギー
保存力は次のように言いかえることができる。
物体にかかる力 →F(→x) に逆らって、
力 −→F(→x)+δ(δは無限小)を加えて、
物体をQ点からP点に非常にゆっくり動かす時、
この力−→F(→x)の行う仕事が
移動経路に関係なく2点の位置だけで決まる時、
力 →Fを保存力という。
ここで力 −→Fは、物体に作用する力 →Fとつり合いをとるための力であり、
力 δは、力がつりあって静止している物体を、
移動経路に沿って、Q点からP点まで
無限にゆっくりと動かすのに必要な、無限に小さい力である。
このため δ のなす仕事は零とみなせる。
この時、力 −→Fがなす仕事を、
Q 点を基準とした P 点でのこの物体の
ポテンシャルエネルギー(potential energy)(あるいは位置エネルギー)と言う。
記号では、基準点も分かるようにUQ(P)などと書く。
これは、場の力が物体をP点からQ点まで動かす時の、
場の力の行う仕事と等しい。
UQ(P)は、力の場の定義されている領域中の任意の2点Q、Pにたいして決まるので
Uは、この領域上の2変数関数である。保存力場→Fからきまるポテンシャル関数と呼ぼう。
- ウィキペディア(ポテンシャル)の保存力の項
- ウィキペディア(位置エネルギー)
- ウィキペディア(Potential_energy) in English
を参照のこと。
命題;ポテンシャル関数の性質
保存力場の異なる任意の3点P,Q,Rを考える。
各点からみた他の点のポテンシャルエネルギーには次の関係が常に成り立つ。
ⅰ)UP(Q)+UQ(R)=UP(R)
ⅱ)UP(Q)=−UQ(P)
証明は、図のような経路にそって力の行う仕事の
間の関係を考えれば、簡単に出来る。
力の場が保存的である必要十分条件
命題
Ωを空間R3の領域(注参照)とする。
領域Ωの一点Oを原点にした、直交座標系O−x1x2x3を決める。
次の2条件は同値である。
(1)Ωの連続な力の場
→F(→x),(→x∈Ω)が
保存力場である。
(2)Ω上で定義され実数に値を取るC1級関数U(→x)が存在して
→Fi=−∂U∂xi,(i=1,2,3) (1)
がΩ上で成り立つ。
記述を簡略化するため、Uの勾配(gradient)
gradU(→x):=(∂U∂x1(→x),∂U∂x2(→x),∂U∂x3(→x))
を導入すると、
→F=−gradUがΩ上で成り立つ。
ここで∂U∂x1(→x)は、
U(→x)を、独立変数の第1成分 x1:=(→x)1の関数とみるため
他の変数は固定して、V1(x1):=U(x1,x2,x3)という実変数で実数値の関数を考え、
x1で微分したものを表す。記号で表示すると、
∂U∂x1(→x):=dV1dx1(x1)
関数Uの→x における第1座標x1に関する偏微分係数という。
他の座標に関する偏微分係数も同様に定義する。
関数∂U∂xiは
変数→xに、その点のxiについての偏微分係数∂U∂xi(→x)を対応させるもので、
xiについての偏導関数と呼ばれる。
U(→x)がC1級とは、
全ての偏導関数∂U∂xi、(i=1,2,3)が存在し、
しかも連続関数となることをいう。
多変数関数の連続性や微分については、
「第8章 物理数学」の「極限と微分」で要点を説明してある。
(注)空間が力の場となるには、それを作り出す物体が必要。
例えば、地球の周りに出来る重力場は、地球が作りだしている。
この重力場は3次元空間から、地球の存在する場所を除いた空間部分に出来る。
この部分を領域と呼ぶことにする。
領域の数学的に厳密な定義は、このテキストの程度をこえるので、
省略する。
地球は地球周辺の物体より、質量が桁違いに大きいので、
物体と引きあっても殆ど動かないため、
重力場の領域は時間に関係なく定まる。
証明;
(1)ならば(2)を示す。
この領域の任意の点P(x1,x2,x3)(x_iはPの座標)の、原点からみた、ポテンシャルエネルギー
U(P)=∫C(O→P)−→F(→y)⋅→dy
を定める。この値は経路C(O→P)に関係なくきまる。
1)∂U∂x1(→x)=−→F1(→x)を示す。
→e1:=(1,0,0)とおき、Uの偏微分を定義に従って計算する。
∂U∂x1(→x)=limδ→0,δ≠0U(x1+δ,x2,x3)−U(x1,x2,x3)δ
ここで、
U(x1+δ,x2,x3)−U(x1,x2,x3)
は、その経路に無関係にさだまるので、
質点を力−→Fで第一座標に平行にδ動かすときの仕事に等しい。
この向き付き経路を、ベクトル値関数で表示すると{→x(t)=→x+t→e1∣0≤t≤δ}である。
すると、力の場の命題で述べたように、この仕事は
−∫δ0→F(→x(t))⋅d→x(t)dtdt
に等しい。
d→x(t)dt=→e1であり、
→F(→x(t))⋅d→x(t)dt=→F1(→x(t))となるので
=−∫δ0→F1(→x(t))dt
故に、U(x1+δ,x2,x3)−U(x1,x2,x3)=−∫δ0→F1(→x(t))dt
limδ→0,δ≠0U(x1+δ,x2,x3)−U(x1,x2,x3)δ=−1δ∫δ0→F1(→x(t))dt
ここで、→F1(→x+t→e1)はtの連続関数なので、
|t|が十分小さければ、→F1(→x)にいくらでも近くなる。
そこで、区間[0,δ]での平均値
1δ∫δ0→F1(→x(t))dtは、
δが零に収束するとき、→F1(→x)に収束する。
これで(2)が証明できた。
(2)を仮定して(1)を示す。
任意の2点P,Q∈Ωに対し、それを結ぶPからQへの区分的に滑らかな曲線
→C:={→x(t)∣0≤t≤1},→x(0)=P,→x(1)=Q
を選んだとき、これに沿って力の成す仕事
W→C=∫→C→F(→x)⋅→dx=−∫→CgradU(→x)⋅→dx(2)
が、曲線に依存しないことを示せば良い。
→C:={→x(t)∣0≤t≤1} なので
式(2)=−∫10gradU(→x(t))⋅d→x(t)dtdt
補題;
dU(→x(t))dt=gradU(→x(t))⋅d→x(t)dt
これは、多変数の場合の合成関数の微分公式である。本テキストの「8章 物理数学」
で説明してある。
これを用いると、
式(2)=−∫10dU(→x(t))dtdt
dU(→x(t))dtの原始関数はU(→x(t))なので、
この定積分は
=−[U(→x(t))]10=−U(→x(1))+U(→x(0))=−U(Q)+U(P)
この値は経路に依存しないので、保存力であることが示された。
証明終わり。
保存力の十分条件
万有引力で作られる力の場などは、保存力場である。
これを示すため、もう少し一般の力の場が、保存力場であることを示す命題を述べる。
命題;
領域Ωを3次元空間から原点を取り除いた領域とする。
この領域で定義された力の場
→F(→x)=h(‖→x‖)→x‖→x‖
は保存力場である。但し、関数hは、実変数の実数値連続関数とする。
証明;
hは連続関数なので、
任意の正数xに対して、定積分∫x0h(x)dxが存在する。
そこで関数H(x):=∫x0h(x)dxを導入する。
この関数Hを微分すると関数hが得られる。
U(→x):=−H(‖x‖)という多変数関数を定義すると,
合成関数の微分公式より、
∂U∂xi
=−dHdy(‖→x‖)∂‖→x‖∂xi
=−h(‖→x‖)xi‖→x‖=−→Fi(→x)
すでに証明した「力の場が保存的である必要十分条件」中の命題により、
保存力場であることが証明された。
力学的エネルギーと力学的エネルギー保存則
力学的エネルギーは、運動エネルギーと位置エネルギー(ポテンシャル・エネルギー)の総称である。
定理;力学的エネルギー保存則(kinetic energy and conservation of kinetic energy )
保存力場から力をうけて運動している質点mの
運動エネルギーと(任意の固定した基準点Oからみた)ポテンシャル・エネルギーの和は
保存される。
証明。
任意の時刻t1から時刻 t2(>0)の間に力の行う仕事は
仕事エネルギー定理から
W(t1,t2)=m‖→v(t2)‖22−m‖→v(t1)‖22
他方で、この力は保存力なので、
この仕事は、この場から決まるポテンシャル関数Uを用いて、
W(t1,t2)=U→x(t2)(→x(t1))
この式の右辺は、ポテンシャル関数の命題を適用すると、
任意の固定した基準点Oからのポテンシャル・エネルギーを用いて、
=UO(→x(t1))−UO(→x(t2))
故に
m‖→v(t2)‖22−m‖→v(t1)‖22=UO(→x(t1))−UO(→x(t2))
式を整頓すると、
m‖→v(t2)‖22+UO(→x(t2))=m‖→v(t1)‖22+UO(→x(t1))
証明終わり。
- ウィキペディア(力学的エネルギー)
- ウィキペディア(Kinetic_energy) in English
- ウィキペディア(力学的エネルギー保存の法則)
- ウィキペディア(Conservation_of_energy#Mechanics) in English
複数の質点がつくる保存力場
今までは、保存力場が不変であり、その場の中も質点が受ける力の性質について考えてきた。
このような限定をつけても応用範囲はかなりある。
例えば、太陽の周りの惑星の運動などでは、太陽の質量が大きく、惑星からの万有引力を受けてもほとんど動かない。
このため不動の太陽の作る万有引力場(保存力場)を考え、そのなかで惑星運動の解析をすることは有用である。
ところが、質量に大差がない複数の星が万有引力で互いに引き合いながら運動する場合には、
関与する星はすべて万有引力により運動するため、適用不可である。
そこでこれらにも適用できるよう、多数の質点の作る保存力(場)について考察しよう。
質量 mi(i=1,2,,,N) のN個の質点を考え、質点 mi と略称する。
適切な慣性系を選び、各質点mi の位置ベクトルを →ri(i=1,2,,,N)とおく。
質点同士は、互いに万有引力を及ぼしあうとする。(注参照のこと)
質点mi が 質点mj(j=1,⋯,N.j≠i)からうける力 →f(i,j) は両者の位置だけの関数で、
→f(i,j)=→f(i,j)(→ri,→ri)=Gmimj‖→rj−vecri‖2→rj−→ri‖→rj−→ri‖
質点mi は、自分以外のすべての質点から万有引力をうけるが、それらは足しあわせることができ、
質点 mi に働く万有引力の合力は
→FiG(→r1,⋯,→rN)=∑j=1,⋯,N,j≠i→f(i,j)
=∑j=1,⋯,N,j≠iGmimj‖→rj−→ri‖2→rj−→ri‖→rj−→ri‖(1)
(注)5章で学ぶ電荷間の電気力も同様に扱える。
補題
(1)∂∂→ri1‖→rj−→ri‖:=(∂∂ri1‖→rj−→ri‖−1,∂∂ri2‖→rj−→ri‖−1,∂∂ri3‖→rj−→ri‖−1)T
=→rj−→ri‖→rj−→ri‖3(2)
ここで、rik(k=1,2,3)はベクトル →ri の第k成分のこと。
(a1,a2,a3)T は 横ベクトル(a1,a2,a3) を縦ベクトルに変換したもの。
(2) U(→r1,→r2,⋯,→rN):=−∑Ni=1∑j=1,2,⋯,N,j≠iGmimj‖→rj−→ri‖−1 で関数U を定義すると、
→FiG=−∂U∂→ri(i=1,2,⋯,N)(3)
証明;
(1) 第一成分の計算。
∂∂ri1‖→rj−→ri‖−1=∂∂ri1(∑3k=1(rjk−rik)2)−1/2
合成関数の微分の公式により、
=−12(∑3k=1(rjk−rik)2)−3/2
2(rj1−ri1)(−1)
=(∑3k=1(rjk−rik)2)−3/2(rj1−ri1)
=rj1−ri1‖→rj−→ri‖3
第2、第3成分の計算も同様にできて、所望の結果を得る。
(2)∂U(→r1,→r2,⋯,→rN)∂→ri=−∑j=1,2,⋯,N,j≠iGmimj∂∂→ri‖→rj−→ri‖−1
式(2)を代入すると、
=−∑j=1,2,⋯,N,j≠iGmimj→rj−→ri‖→rj−→ri‖3
式(1)を代入すると、
=−→FiG
補題の証明終わり。
前項「力の場が保存的である必要十分条件」の(1)式とこの補題から、
関数U(→r1,⋯,→rn)は、
各質点に作用する万有引力{→F1G,⋯,→FNG}の
ポテンシャル関数とみなせることが推察できる。
そこで次の定義を与える。
定義。N個の質点 mi(i=1,,,N) のそれぞれに作用する力
→Fi(→r1,⋯,→rN) の集まり
{→Fi(→r1,⋯,→rN)}Ni=1が保存力とは、
→FiG=−∂U∂→ri
が成立するような連続的微分可能な関数
U(→r1,⋯,→rn)
が存在すること。
この時、関数Uを、
{→Fi(→r1,⋯,→rN)}Ni=1 の
ポテンシャル関数と呼び、
関数値U(→r1,→r2,⋯,→rN) を
質点系のポテンシャルエネルギーと呼ぶ。
力学的エネルギーの保存則
定義;
運動エネルギーとポテンシャルエネルギーの和
∑Ni=1mi2‖→vi(t)‖2+U(→r1(t),,,→rN(t))(7)
を、質点系mi(i=1,2,,,N) の力学的エネルギーという。
定理;力学的エネルギーの変化量
各質点mi(i=1,2,,,N) に万有引力 →FiG 以外に、外力 →fi が作用する時
これらの外力が時刻 t1から t2 の間になす仕事 We=∑Ni=1∫t2t1→fi(t)⋅→vi(t) は、質点系の力学的エネルギーの増加に等しい。
式で書くと、
We=(∑Ni=1mi2‖→ri(t2)‖2+U(→r1(t2),,,→rN(t2)))−(∑Ni=1mi2‖→ri(t1)‖2+U(→r1(t1),,,→rN(t1)))(4)
証明;
質点 mi に働く合力は →Fi=→FiG+→fiなので、
仕事・エネルギー定理より、
力 →F1,,,,→FN が時刻 t1 から t2 までになす仕事
W=∑Ni=1∫t2t1→Fi(t)⋅→vi(t)dt は
W=∑Ni=1mi2‖→vi(t2)‖2−∑Ni=1mi2‖→vi(t1)‖2(5)
他方、
W=∑Ni=1∫t2t1→Fi(t)⋅→vi(t)dt
=∑Ni=1∫t2t1→FiG(t)⋅→vi(t)dt+∑Ni=1∫t2t1→fi(t)⋅→vi(t)dt
式(3)を代入して、
=−∑Ni=1∫t2t1∂U∂→ri⋅→vi(t)dt+We
ここで、
dU(→r1(t),,,→r1(t))dt=∑Ni=1∂U∂→ri⋅→vi(t)なので、
=−∫t2t1dU(→r1(t),,,→r1(t))dtdt+We
=−[U(→r1(t),,,→r1(t))]t2t1+We
故に、W=−[U(→r1(t),,,→r1(t))]t2t1+We
式(5)を上式に代入して整頓すると、
We=(∑Ni=1mi2‖→vi(t2)‖2+U(→r1(t2),,,→rN(t2)))−(∑Ni=1mi2‖→vi(t1)‖2+U(→r1(t1),,,→rN(t1)))(6)
証明終わり。
系;相互作用が保存力である質点系の力学的エネルギーは保存される。
(注)保存力場の中の質点(系)の運動でも、摩擦のある場合には、この定理とその系は成り立たない。
なぜだろうか。
動摩擦力は、運動中に一定の力で運動の逆方向に働く。このため運動は減速をうけ続け、エネルギーを失い続けるためである。