提供: Internet Web School

UNIQ695122e7272cd221-MathJax-2-QINU2 による版

(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)

物理＞力学＞ エネルギーと保存則(その1)

「2.4 エネルギーと保存則(その1)」

　概要　

質点や質点の集まりの運動を調べるときに有用な
各種の保存法則が、運動の法則から導かれる。
導出の仕方が理解できると、力学への理解が深まる。
この節では、いろいろなエネルギーについて説明後、仕事・エネルギー定理、保存力と力学的エネルギー保存則などを述べる。
次節の「エネルギーと保存則(その2)」では運動量に関する保存則を述べる。

エネルギー

物質の持っている仕事をする能力をエネルギーという。
この規定は抽象的で具体例を知らないと、良く分からないだろう。
その方たち向けに簡単に説明する。
人間が地表の石(質量ｍ)を、非常にゆっくりと高さｈまで持ち上げたとする。
この時、人間が石に行った仕事は、上向きの力(㎎＋無限に小さい正の力）でｈだけ動かしたのでmghとなる。
何故なら、上に移動させるため加えた小さい正の力は無限に小さく出来るので無視出来るから。
上に持ち上げられた物体は、支えをなくせば、引力㎎に引かれて落下運動する。
これを利用して、直接この石に仕事をさせることができる。
例えば、石に紐をつけ、延ばした紐の他端に動かしたい物体をつけて、石を自由にすれば、
石は物体を力㎎で引っ張りながら、地表まで落ちる。
この時物体はhだけ移動するので、石が物体に行う仕事はmghとなる。
このようにｈの高さに持ち上げられた石は、仕事をする能力を持つ。
その量はmghで、最初人間が石に対して行った仕事に等しい。
位置に依存して有する能力なので、石は、位置エネルギーを持つという。
仕事量も表したい時には、「石の位置エネルギーはmgh」と表現する。

また、地表からhの高さに持ち上げられた石は、
支えをなくして自由にすると落下運動を行う。
運動物体は仕事をする能力を持つ。
何故なら、運動している物体は他の物体に接触すると力を与えて動かし、
仕事をするからである。
速度が速いほど、この能力は増す。
この場合の「仕事する能力」は、運動に基因するので、運動エネルギーという。
従って、位置エネルギーは直接に仕事をする能力だけでなく、
運動エネルギーという形態に変化する能力ももつ。
石は落下するに従って位置エネルギーをへらし、運動エネルギーは増していく(速度が速くなるため）。
こうして人間の行った仕事は、
石の位置エネルギーになり、
それは仕事をしたり、
運動エネルギーなど他のエネルギーに変換され、
その後仕事にも変換できる。
これ等の過程でエネルギーは保存されるのか、
工夫したら、最初に人間の行った仕事より多くの仕事が得られのではないか。
この節では、このようなエネルギーの問題を調べる。

エネルギー(ウィキペディア）の自然科学の項を参照のこと。

運動エネルギー(kinetic energy)

運動している粒子は、それを止めようとする物体に力を与え、動かすことが出来る。
運動している粒子は,運動に起因する何らかのエネルギーを持っていると考えられる。
止まった段階ではこのエネルギーは零になるので、
運動している粒子の持つエネルギーの量は、止まるまでに使った仕事で計れる。

質量UNIQ7b8e711b1bfe86c2-MathJax-291-QINUの粒子が速度UNIQ7b8e711b1bfe86c2-MathJax-292-QINUで運動しているとき、
止まるまでになす仕事を求めてみる。
速度方向をｘ軸とする座標UNIQ7b8e711b1bfe86c2-MathJax-293-QINUをとる。
力が作用しなければ、粒子はｘ軸の上をｘ正方向にむかって、速さUNIQ7b8e711b1bfe86c2-MathJax-294-QINUで等速直線運動を続ける。
この粒子が原点を通過する瞬間(t=0)から、ｘ軸方向の力UNIQ7b8e711b1bfe86c2-MathJax-295-QINU(負の向き)を、止まるまで与え続ける。この間、粒子は、作用反作用の法則により、UNIQ7b8e711b1bfe86c2-MathJax-296-QINUの力で、止めようとする物体を押し返しながら、止まるまで仕事をし続ける。
止まるまでの距離を求めるため、運動法則を用いる。
この粒子の運動方程式は
UNIQ7b8e711b1bfe86c2-MathJax-297-QINU,
ここで、UNIQ7b8e711b1bfe86c2-MathJax-298-QINU(初期条件)UNIQ7b8e711b1bfe86c2-MathJax-299-QINU
(1)式の両辺をUNIQ7b8e711b1bfe86c2-MathJax-300-QINUで割り、UNIQ7b8e711b1bfe86c2-MathJax-301-QINUを代入すると、
UNIQ7b8e711b1bfe86c2-MathJax-302-QINU
この方程式を満たし、初期条件(2)を満たす関数UNIQ7b8e711b1bfe86c2-MathJax-303-QINUは、
UNIQ7b8e711b1bfe86c2-MathJax-304-QINU
この式から、粒子が停止する時刻は
UNIQ7b8e711b1bfe86c2-MathJax-305-QINU
このときの粒子の位置は、
UNIQ7b8e711b1bfe86c2-MathJax-306-QINU
を解いて、停止時刻でのｘを求めればよい。
初期条件式(2)を満たす(4)式の解は
UNIQ7b8e711b1bfe86c2-MathJax-307-QINU
故に、止まる位置は
UNIQ7b8e711b1bfe86c2-MathJax-308-QINU
粒子が止まるまで,なした仕事は、
UNIQ7b8e711b1bfe86c2-MathJax-309-QINU
以上の考察より、粒子の運動エネルギーを次のように決める。
定義；
質量UNIQ7b8e711b1bfe86c2-MathJax-310-QINU、速度UNIQ7b8e711b1bfe86c2-MathJax-311-QINUの質点の運動エネルギーを、
UNIQ7b8e711b1bfe86c2-MathJax-312-QINU　　
で定める。

仕事エネルギー定理（Work-energy theorem)

質点に力を与えて運動させたとき、力のなした仕事は質点の運動エネルギーの増加に等しいことが証明できる。
外力のなした仕事(エネルギー）が、質点のエネルギーに転嫁するのである。
これは、仕事エネルギー定理と呼ばれる重要な定理である。
以下にその証明をしよう。

質量UNIQ7b8e711b1bfe86c2-MathJax-313-QINUの質点が力 UNIQ7b8e711b1bfe86c2-MathJax-314-QINUを受けて運動している（注参照のこと）。
力は時間に関して連続であるか、区分的に連続(不連続点が有限個しかない)と仮定する。
空間には適当に原点Oを定め、適切な直交座標UNIQ7b8e711b1bfe86c2-MathJax-315-QINUをいれる。
時刻UNIQ7b8e711b1bfe86c2-MathJax-316-QINU の質点の位置　UNIQ7b8e711b1bfe86c2-MathJax-317-QINU　を位置ベクトルをUNIQ7b8e711b1bfe86c2-MathJax-318-QINUで表わすと、その速度は UNIQ7b8e711b1bfe86c2-MathJax-319-QINU

注）
万有引力や電磁気力は、場所によって変化するので、
位置ベクトルUNIQ7b8e711b1bfe86c2-MathJax-320-QINUにいる質点の受ける力はUNIQ7b8e711b1bfe86c2-MathJax-321-QINUである。
すると、時刻UNIQ7b8e711b1bfe86c2-MathJax-322-QINUに質点の受ける力は時間の関数UNIQ7b8e711b1bfe86c2-MathJax-323-QINUとなる。
また人為的に時間により力を変えて物体の運動を制御することもある。
この定理は、この場合にも適用できるような記述にした。

定理の証明に利用する命題を用意する。
補題
時刻UNIQ7b8e711b1bfe86c2-MathJax-324-QINUから UNIQ7b8e711b1bfe86c2-MathJax-325-QINUまでに力の行う仕事Ｗは
UNIQ7b8e711b1bfe86c2-MathJax-326-QINU
である。
ここでUNIQ7b8e711b1bfe86c2-MathJax-327-QINU
力が一定のときは、
UNIQ7b8e711b1bfe86c2-MathJax-328-QINU
となり、力のなす仕事の定義と一致する。
証明；
前節の「連続な力の場のなす仕事」の命題の証明で、
パラメータpとして、時間ｔをとり、
力UNIQ7b8e711b1bfe86c2-MathJax-329-QINUを,改めてUNIQ7b8e711b1bfe86c2-MathJax-330-QINUとおけば、
全く同じように証明できる。
しかし、その証明はやや難しかいので、別の証明を与える。
時刻　UNIQ7b8e711b1bfe86c2-MathJax-331-QINU　から UNIQ7b8e711b1bfe86c2-MathJax-332-QINU　までに力のなす仕事を　UNIQ7b8e711b1bfe86c2-MathJax-333-QINU　とかくと、
時刻UNIQ7b8e711b1bfe86c2-MathJax-334-QINU　から微小時間　UNIQ7b8e711b1bfe86c2-MathJax-335-QINU　（UNIQ7b8e711b1bfe86c2-MathJax-336-QINU)の間に力のなす仕事を　UNIQ7b8e711b1bfe86c2-MathJax-337-QINU　とかけば　UNIQ7b8e711b1bfe86c2-MathJax-338-QINU　が成り立つ。
力が（区分的）連続なので、それを2回積分した軌道は(区分的に)滑らかな連続曲線になるので、
この短い時間の間は、
力は時刻　UNIQ7b8e711b1bfe86c2-MathJax-339-QINU　での値　UNIQ7b8e711b1bfe86c2-MathJax-340-QINU　に等しく、
質点の軌道は、有向線分　UNIQ7b8e711b1bfe86c2-MathJax-341-QINU　に等しい
とみなしてよい。
すると力のなす仕事の定義から、
UNIQ7b8e711b1bfe86c2-MathJax-342-QINU　
が得られる。
両辺を　UNIQ7b8e711b1bfe86c2-MathJax-343-QINU　で割ると、
UNIQ7b8e711b1bfe86c2-MathJax-344-QINU　
が得られる。
ベクトル値関数UNIQ7b8e711b1bfe86c2-MathJax-345-QINUは、有限個の点を除いて微分可能で、その導関数は連続なので、
右辺はUNIQ7b8e711b1bfe86c2-MathJax-346-QINUを零に近づけるとき、極限をもつ。
したがって、最悪でも、有限個のｔを除いて UNIQ7b8e711b1bfe86c2-MathJax-347-QINU は微分可能で、
UNIQ7b8e711b1bfe86c2-MathJax-348-QINU
故に、W(t) は　UNIQ7b8e711b1bfe86c2-MathJax-349-QINU　の不定積分
UNIQ7b8e711b1bfe86c2-MathJax-350-QINU
で表される。
よく知られた定積分と不定積分の関係から
UNIQ7b8e711b1bfe86c2-MathJax-351-QINU
UNIQ7b8e711b1bfe86c2-MathJax-352-QINU　なので所望の結果が得られた。　　　　　　　　　証明終わり。

仕事エネルギー定理
UNIQ7b8e711b1bfe86c2-MathJax-353-QINU
すなわち力がなした仕事は、運動エネルギーの変化量に等しい。
証明
運動の第2法則から、UNIQ7b8e711b1bfe86c2-MathJax-354-QINUなので、
UNIQ7b8e711b1bfe86c2-MathJax-355-QINU
ここで、
UNIQ7b8e711b1bfe86c2-MathJax-356-QINU（「８章の8.3　積分」のベクトル値関数の微分参照のこと）なので
UNIQ7b8e711b1bfe86c2-MathJax-357-QINU
ここで、被積分関数UNIQ7b8e711b1bfe86c2-MathJax-358-QINUの
原始関数はUNIQ7b8e711b1bfe86c2-MathJax-359-QINUなので、
UNIQ7b8e711b1bfe86c2-MathJax-360-QINU
UNIQ7b8e711b1bfe86c2-MathJax-361-QINU
証明終わり。

力 UNIQ7b8e711b1bfe86c2-MathJax-362-QINU　が重力とそれ以外の外力UNIQ7b8e711b1bfe86c2-MathJax-363-QINU の和のばあいの仕事エネルギー定理を考えよう。
鉛直上方をUNIQ7b8e711b1bfe86c2-MathJax-364-QINU(ｚ)軸とする3次元直交座標系　UNIQ7b8e711b1bfe86c2-MathJax-365-QINUをとり、
重力加速度の大きさを　UNIQ7b8e711b1bfe86c2-MathJax-366-QINU　とかくと　、重力加速度はUNIQ7b8e711b1bfe86c2-MathJax-367-QINU　なので、
UNIQ7b8e711b1bfe86c2-MathJax-368-QINU
これを仕事エネルギー定理
UNIQ7b8e711b1bfe86c2-MathJax-369-QINU
に代入して、式の整理をすると
UNIQ7b8e711b1bfe86c2-MathJax-370-QINU
これで次の重要な系が得られた。
系；外力が重力とそれ以外の力UNIQ7b8e711b1bfe86c2-MathJax-371-QINUのとき、
UNIQ7b8e711b1bfe86c2-MathJax-372-QINUが、時刻　UNIQ7b8e711b1bfe86c2-MathJax-373-QINU　から　UNIQ7b8e711b1bfe86c2-MathJax-374-QINU　の間になす仕事UNIQ7b8e711b1bfe86c2-MathJax-375-QINU　は
UNIQ7b8e711b1bfe86c2-MathJax-376-QINU

保存力と位置エネルギー

力の場

質点がどこにあろうが、その位置UNIQ7b8e711b1bfe86c2-MathJax-377-QINUに応じて力UNIQ7b8e711b1bfe86c2-MathJax-378-QINUが作用するとする(注１）。
このような空間を力の場という。
力が位置の連続関数のとき、連続な力の場という。

保存力と保存力場

連続な力の場UNIQ7b8e711b1bfe86c2-MathJax-379-QINU（注参照）において、質点が任意の点UNIQ7b8e711b1bfe86c2-MathJax-380-QINUから任意の点UNIQ7b8e711b1bfe86c2-MathJax-381-QINU まで動くとき、
この場の力の行う仕事が移動経路に関係なく２点UNIQ7b8e711b1bfe86c2-MathJax-382-QINU、UNIQ7b8e711b1bfe86c2-MathJax-383-QINUだけで決まるならば、
この力の場を保存力場という。
保存力場の力を保存力(conservative force ) という。

移動経路としては、区分的に滑らかな曲線(注２参照）に限定する。
（注１）例えば、地球からの万有引力が作用する空間など。
（注２）曲線UNIQ7b8e711b1bfe86c2-MathJax-384-QINUを、
UNIQ7b8e711b1bfe86c2-MathJax-385-QINUで定義された連続で、しかも
有限個の点を除いて微分可能で導関数が連続な
ベクトル値関数の軌跡で表すことが出来ることをいう。

位置エネルギー　

保存力は次のように言いかえることができる。
物体にかかる場の力 UNIQ7b8e711b1bfe86c2-MathJax-386-QINU　に逆らって、
力 UNIQ7b8e711b1bfe86c2-MathJax-387-QINU(UNIQ7b8e711b1bfe86c2-MathJax-388-QINUは無限小)を加えて、
物体を、任意の経路に沿ってQ点からP点に非常にゆっくり動かす時、
この力UNIQ7b8e711b1bfe86c2-MathJax-389-QINUの行う仕事が
移動経路に関係なく２点の位置だけで決まる時、
力 UNIQ7b8e711b1bfe86c2-MathJax-390-QINUを保存力という。
ここで力 UNIQ7b8e711b1bfe86c2-MathJax-391-QINUは、物体に作用する力 UNIQ7b8e711b1bfe86c2-MathJax-392-QINUとつり合いをとるための力である。
力 UNIQ7b8e711b1bfe86c2-MathJax-393-QINUは、力がつりあっている物体を、
移動経路に沿って、Ｑ点からＰ点まで
無限にゆっくりと動かすのに必要な、無限に小さい力であり、 UNIQ7b8e711b1bfe86c2-MathJax-394-QINU のなす仕事は零とみなせる(注参照）。
そのため、保存力の条件は
「空間の任意の2点P、Qに対して、質点をQからPまで移動させるとき、力UNIQ7b8e711b1bfe86c2-MathJax-395-QINUの行う仕事が
移動経路に関係なく２点P,Qだけで決まる
と言い換えることができる。
（注）経路がごく短い腺分 UNIQ7b8e711b1bfe86c2-MathJax-396-QINUの時は
UNIQ7b8e711b1bfe86c2-MathJax-397-QINU はこの上では一定値とみなせるので、
この力のなす仕事は UNIQ7b8e711b1bfe86c2-MathJax-398-QINU　である。
この絶対値は、内積の性質から、
UNIQ7b8e711b1bfe86c2-MathJax-399-QINU
任意の経路にそった移動で力UNIQ7b8e711b1bfe86c2-MathJax-400-QINUのなす仕事は、
この経路を微小な腺分をつなぎ合わせた折れ線 UNIQ7b8e711b1bfe86c2-MathJax-401-QINU で近似し、
各腺分上でなす仕事の和を求め、これを評価すればよい。
実際、UNIQ7b8e711b1bfe86c2-MathJax-402-QINU
UNIQ7b8e711b1bfe86c2-MathJax-403-QINU 絶対値の性質から
UNIQ7b8e711b1bfe86c2-MathJax-404-QINU
UNIQ7b8e711b1bfe86c2-MathJax-405-QINU
UNIQ7b8e711b1bfe86c2-MathJax-406-QINU 内積の絶対値の性質から
UNIQ7b8e711b1bfe86c2-MathJax-407-QINU
UNIQ7b8e711b1bfe86c2-MathJax-408-QINU UNIQ7b8e711b1bfe86c2-MathJax-409-QINUの最大値（あるいは上限）をUNIQ7b8e711b1bfe86c2-MathJax-410-QINU　とおくと、
UNIQ7b8e711b1bfe86c2-MathJax-411-QINU
UNIQ7b8e711b1bfe86c2-MathJax-412-QINU×(経路QPの長さｌ）
UNIQ7b8e711b1bfe86c2-MathJax-413-QINU　はいくらでも小さく取れるので、
仕事Wはいくらでも小さくできる。(注の終り)。

以上の保存力の定義はやや面倒である。
仕事エネルギー定理を用いると、ずっと簡単で見通しの良い定義ができる。
命題
力の場を考える。
この場が、保存力場である必要十分条件は、
場の任意の2点P,Qに対して
点Qに静止している質点を、
外力を加えて、この場の力に抗して移動させP点に静止させるときの、
外力のなす仕事が、移動経路によらないこと。
この時、外力のなす仕事は、
質点をPからQに移動させるとき、場の力がなす仕事に等しい。
証明
位置ベクトルUNIQ7b8e711b1bfe86c2-MathJax-414-QINU　にいる質点の受ける
場からの力をUNIQ7b8e711b1bfe86c2-MathJax-415-QINU
外力をUNIQ7b8e711b1bfe86c2-MathJax-416-QINU　と書く。
Q点に静止している質点はこの合力をうけて、
ニュートンの運動式に従って与えられた経路上を運動し
P点で静止するとする。
すると、この時、合力のなした仕事UNIQ7b8e711b1bfe86c2-MathJax-417-QINUは、
仕事エネルギー定理から、零であることが分かる。
式で書くとUNIQ7b8e711b1bfe86c2-MathJax-418-QINU
ところが、この仕事はこの間
UNIQ7b8e711b1bfe86c2-MathJax-419-QINU保存力がなした仕事UNIQ7b8e711b1bfe86c2-MathJax-420-QINU　と　
UNIQ7b8e711b1bfe86c2-MathJax-421-QINU外力のなした仕事UNIQ7b8e711b1bfe86c2-MathJax-422-QINU　の和である。
故に、式（１）から
UNIQ7b8e711b1bfe86c2-MathJax-423-QINU
外力のなす仕事が経路によらないことと、
場の力のなす仕事が経路によらないことは、
同値であることが証明できた。
後段は、明らか。

この時、力 UNIQ7b8e711b1bfe86c2-MathJax-424-QINUがなす仕事を、
Q 点を基準とした P 点でのこの物体の
ポテンシャルエネルギー(potential energy)（あるいは位置エネルギー)と言う。
記号では、基準点も分かるようにUNIQ7b8e711b1bfe86c2-MathJax-425-QINUなどと書く。
これは、質点が、Ｐ点からＱ点まで動く時、
場の力の行う仕事と等しい。
UNIQ7b8e711b1bfe86c2-MathJax-426-QINUは、力の場の定義されている領域中の任意の2点Ｑ、Ｐにたいして決まるので
UNIQ7b8e711b1bfe86c2-MathJax-427-QINUは、この領域上の2変数関数である。保存力場UNIQ7b8e711b1bfe86c2-MathJax-428-QINUからきまるポテンシャル関数と呼ぼう。

を参照のこと。

命題；ポテンシャル関数の性質
保存力場の異なる任意の3点UNIQ7b8e711b1bfe86c2-MathJax-429-QINUを考える。
各点からみた他の点のポテンシャルエネルギーには次の関係が常に成り立つ。
ⅰ）UNIQ7b8e711b1bfe86c2-MathJax-430-QINU
ⅱ）UNIQ7b8e711b1bfe86c2-MathJax-431-QINU
証明は、図のような経路にそって力の行う仕事の
間の関係を考えれば、簡単に出来る。

力の場が保存的である必要十分条件

命題
一点UNIQ7b8e711b1bfe86c2-MathJax-432-QINUを原点にした、直交座標系UNIQ7b8e711b1bfe86c2-MathJax-433-QINUを決める。
次の2条件は同値である。
(１）UNIQ7b8e711b1bfe86c2-MathJax-434-QINUの連続な力の場
UNIQ7b8e711b1bfe86c2-MathJax-435-QINUが
保存力場である。
（２）UNIQ7b8e711b1bfe86c2-MathJax-436-QINU上で定義され実数に値を取るUNIQ7b8e711b1bfe86c2-MathJax-437-QINU級関数UNIQ7b8e711b1bfe86c2-MathJax-438-QINUが存在して
UNIQ7b8e711b1bfe86c2-MathJax-439-QINU
がUNIQ7b8e711b1bfe86c2-MathJax-440-QINU上で成り立つ。
記述を簡略化するため、Uの勾配(gradient）
UNIQ7b8e711b1bfe86c2-MathJax-441-QINU
を導入すると、
UNIQ7b8e711b1bfe86c2-MathJax-442-QINUがUNIQ7b8e711b1bfe86c2-MathJax-443-QINU上で成り立つ。

ここでUNIQ7b8e711b1bfe86c2-MathJax-444-QINUは、
UNIQ7b8e711b1bfe86c2-MathJax-445-QINUを、独立変数の第1成分 UNIQ7b8e711b1bfe86c2-MathJax-446-QINUの関数とみるため
他の変数は固定して、UNIQ7b8e711b1bfe86c2-MathJax-447-QINUという実変数で実数値の関数を考え、
UNIQ7b8e711b1bfe86c2-MathJax-448-QINUで微分したものを表す。記号で表示すると、
UNIQ7b8e711b1bfe86c2-MathJax-449-QINU
関数ＵのUNIQ7b8e711b1bfe86c2-MathJax-450-QINU における第１座標UNIQ7b8e711b1bfe86c2-MathJax-451-QINUに関する偏微分係数という。
他の座標に関する偏微分係数も同様に定義する。
関数UNIQ7b8e711b1bfe86c2-MathJax-452-QINUは
変数UNIQ7b8e711b1bfe86c2-MathJax-453-QINUに、その点のUNIQ7b8e711b1bfe86c2-MathJax-454-QINUについての偏微分係数UNIQ7b8e711b1bfe86c2-MathJax-455-QINUを対応させるもので、
UNIQ7b8e711b1bfe86c2-MathJax-456-QINUについての偏導関数と呼ばれる。
UNIQ7b8e711b1bfe86c2-MathJax-457-QINUがUNIQ7b8e711b1bfe86c2-MathJax-458-QINU級とは、
全ての偏導関数UNIQ7b8e711b1bfe86c2-MathJax-459-QINUが存在し、
しかも連続関数となることをいう。
多変数関数の連続性や微分については、
「第8章　物理数学」の「極限と微分」で要点を説明してある。
定理の系；定理中の　UNIQ7b8e711b1bfe86c2-MathJax-460-QINUは、保存力　UNIQ7b8e711b1bfe86c2-MathJax-461-QINU　の位置エネルギーである。　

証明；
（１）ならば（２）を示す。
この領域の任意の点UNIQ7b8e711b1bfe86c2-MathJax-462-QINU(x_iはＰの座標)の、原点からみた、ポテンシャルエネルギー
UNIQ7b8e711b1bfe86c2-MathJax-463-QINU
を定める。この値は経路UNIQ7b8e711b1bfe86c2-MathJax-464-QINUに関係なくきまる。
１）UNIQ7b8e711b1bfe86c2-MathJax-465-QINUを示す。
UNIQ7b8e711b1bfe86c2-MathJax-466-QINUとおき、Uの偏微分を定義に従って計算する。
UNIQ7b8e711b1bfe86c2-MathJax-467-QINU
ここで、
UNIQ7b8e711b1bfe86c2-MathJax-468-QINU
は、その経路に無関係にさだまるので、
質点を力UNIQ7b8e711b1bfe86c2-MathJax-469-QINUで第一座標に平行にUNIQ7b8e711b1bfe86c2-MathJax-470-QINU動かすときの仕事に等しい。この向き付き経路を、ベクトル値関数で表示するとUNIQ7b8e711b1bfe86c2-MathJax-471-QINUである。
すると、力の場の命題で述べたように、この仕事は
UNIQ7b8e711b1bfe86c2-MathJax-472-QINU
に等しい。
UNIQ7b8e711b1bfe86c2-MathJax-473-QINUであり、
UNIQ7b8e711b1bfe86c2-MathJax-474-QINUとなるので
UNIQ7b8e711b1bfe86c2-MathJax-475-QINU
故に、UNIQ7b8e711b1bfe86c2-MathJax-476-QINU

UNIQ7b8e711b1bfe86c2-MathJax-477-QINU
ここで、UNIQ7b8e711b1bfe86c2-MathJax-478-QINUはtの連続関数なので、
UNIQ7b8e711b1bfe86c2-MathJax-479-QINUが十分小さければ、UNIQ7b8e711b1bfe86c2-MathJax-480-QINUにいくらでも近くなる。
そこで、区間UNIQ7b8e711b1bfe86c2-MathJax-481-QINUでの平均値
UNIQ7b8e711b1bfe86c2-MathJax-482-QINUは、
UNIQ7b8e711b1bfe86c2-MathJax-483-QINUが零に収束するとき、UNIQ7b8e711b1bfe86c2-MathJax-484-QINUに収束する。
これで（２）が証明できた。
（２）を仮定して(1)を示す。
任意の2点UNIQ7b8e711b1bfe86c2-MathJax-485-QINUに対し、それを結ぶPからQへの区分的に滑らかな曲線
UNIQ7b8e711b1bfe86c2-MathJax-486-QINU
を選んだとき、これに沿って力の成す仕事
UNIQ7b8e711b1bfe86c2-MathJax-487-QINU
が、曲線に依存しないことを示せば良い。
UNIQ7b8e711b1bfe86c2-MathJax-488-QINU なので式（２）UNIQ7b8e711b1bfe86c2-MathJax-489-QINU
補題；
UNIQ7b8e711b1bfe86c2-MathJax-490-QINU
これは、多変数の場合の合成関数の微分公式である。本テキストの「8章　物理数学」で説明してある。
これを用いると、式（２）UNIQ7b8e711b1bfe86c2-MathJax-491-QINU
UNIQ7b8e711b1bfe86c2-MathJax-492-QINUの原始関数はUNIQ7b8e711b1bfe86c2-MathJax-493-QINUなので、
この定積分は
UNIQ7b8e711b1bfe86c2-MathJax-494-QINU
この値は経路に依存しないので、保存力であることが示された。
証明終わり。

☆☆保存力の必要十分条件RT==

ベクトル解析で使う回転（rotation)を用いると、次の命題が成り立つ。
命題；次の2条件は同値である。
(１）UNIQ7b8e711b1bfe86c2-MathJax-495-QINUのUNIQ7b8e711b1bfe86c2-MathJax-496-QINU級の力の場
UNIQ7b8e711b1bfe86c2-MathJax-497-QINUが
保存力場である。
（２）UNIQ7b8e711b1bfe86c2-MathJax-498-QINU

保存力の十分条件

万有引力で作られる力の場などは、保存力場である。
これを示すため、もう少し一般の力の場が、保存力場であることを示す命題を述べる。

命題；
領域UNIQ7b8e711b1bfe86c2-MathJax-499-QINUを3次元空間から原点を取り除いた領域とする。
この領域で定義された力の場
UNIQ7b8e711b1bfe86c2-MathJax-500-QINU
は保存力場である。但し、関数UNIQ7b8e711b1bfe86c2-MathJax-501-QINUは、実変数の実数値連続関数とする。
証明；
ｈは連続関数なので、
任意の正数ｘに対して、定積分UNIQ7b8e711b1bfe86c2-MathJax-502-QINUが存在する。
そこで関数UNIQ7b8e711b1bfe86c2-MathJax-503-QINUを導入する。
この関数Hを微分すると関数ｈが得られる。
UNIQ7b8e711b1bfe86c2-MathJax-504-QINUという多変数関数を定義すると,
合成関数の微分公式より、
UNIQ7b8e711b1bfe86c2-MathJax-505-QINU UNIQ7b8e711b1bfe86c2-MathJax-506-QINU
UNIQ7b8e711b1bfe86c2-MathJax-507-QINU
すでに証明した「力の場が保存的である必要十分条件」中の命題により、
保存力場であることが証明された。

☆☆万有引力の場

質点の作る万有引力の場

球体の作る万有引力の場

力学的エネルギーと力学的エネルギー保存則

力学的エネルギーは、運動エネルギーと位置エネルギー（ポテンシャル・エネルギー）の総称である。

定理；力学的エネルギー保存則(kinetic energy and conservation of kinetic energy )
保存力場から力をうけて運動している質点mの
運動エネルギーと（任意の固定した基準点Oからみた）ポテンシャル・エネルギーの和は
保存される。
証明。
任意の時刻UNIQ7b8e711b1bfe86c2-MathJax-508-QINUから時刻 UNIQ7b8e711b1bfe86c2-MathJax-509-QINUの間に力の行う仕事は
仕事エネルギー定理から
UNIQ7b8e711b1bfe86c2-MathJax-510-QINU
他方で、この力は保存力なので、
この仕事は、この場から決まるポテンシャル関数Ｕを用いて、
UNIQ7b8e711b1bfe86c2-MathJax-511-QINU
この式の右辺は、ポテンシャル関数の命題を適用すると、
任意の固定した基準点Ｏからのポテンシャル・エネルギーを用いて、
UNIQ7b8e711b1bfe86c2-MathJax-512-QINU
故に
UNIQ7b8e711b1bfe86c2-MathJax-513-QINU
式を整頓すると、
UNIQ7b8e711b1bfe86c2-MathJax-514-QINU
証明終わり。

複数の質点がつくる保存力場　

今までは、保存力場が不変であり、その場の中も質点が受ける力の性質について考えてきた。
このような限定をつけても応用範囲はかなりある。
例えば、太陽の周りの惑星の運動などでは、太陽の質量が大きく、惑星からの万有引力を受けてもほとんど動かない。
このため不動の太陽の作る万有引力場（保存力場）を考え、そのなかで惑星運動の解析をすることは有用である。
ところが、質量に大差がない複数の星が万有引力で互いに引き合いながら運動する場合には、
関与する星はすべて万有引力により運動するため、適用不可である。
そこでこれらにも適用できるよう、多数の質点の作る保存力（場)について考察しよう。
質量　UNIQ7b8e711b1bfe86c2-MathJax-515-QINU(i=1,2,,,N)　のN個の質点を考え、質点　UNIQ7b8e711b1bfe86c2-MathJax-516-QINU　と略称する。
適切な慣性系を選び、各質点UNIQ7b8e711b1bfe86c2-MathJax-517-QINU　の位置ベクトルを UNIQ7b8e711b1bfe86c2-MathJax-518-QINU(i=1,2,,,N)とおく。
質点同士は、互いに万有引力を及ぼしあうとする。（注参照のこと）
質点UNIQ7b8e711b1bfe86c2-MathJax-519-QINU　が　質点UNIQ7b8e711b1bfe86c2-MathJax-520-QINUUNIQ7b8e711b1bfe86c2-MathJax-521-QINUからうける力 UNIQ7b8e711b1bfe86c2-MathJax-522-QINU　は両者の位置だけの関数で、
UNIQ7b8e711b1bfe86c2-MathJax-523-QINU
質点UNIQ7b8e711b1bfe86c2-MathJax-524-QINU　は、自分以外のすべての質点から万有引力をうけるが、それらは足しあわせることができ、
質点　UNIQ7b8e711b1bfe86c2-MathJax-525-QINU　に働く万有引力の合力は
UNIQ7b8e711b1bfe86c2-MathJax-526-QINU
UNIQ7b8e711b1bfe86c2-MathJax-527-QINU

（注）5章で学ぶ電荷間の電気力も同様に扱える。

補題
(1)UNIQ7b8e711b1bfe86c2-MathJax-528-QINU
UNIQ7b8e711b1bfe86c2-MathJax-529-QINU
ここで、UNIQ7b8e711b1bfe86c2-MathJax-530-QINU(k=1,2,3)はベクトル　UNIQ7b8e711b1bfe86c2-MathJax-531-QINU　の第k成分のこと。
UNIQ7b8e711b1bfe86c2-MathJax-532-QINU は　横ベクトルUNIQ7b8e711b1bfe86c2-MathJax-533-QINU　を縦ベクトルに変換したもの。
(2) UNIQ7b8e711b1bfe86c2-MathJax-534-QINU　で関数UNIQ7b8e711b1bfe86c2-MathJax-535-QINU　を定義すると、
UNIQ7b8e711b1bfe86c2-MathJax-536-QINU
証明；
(1)　第一成分の計算。
UNIQ7b8e711b1bfe86c2-MathJax-537-QINU
合成関数の微分の公式により、
UNIQ7b8e711b1bfe86c2-MathJax-538-QINU UNIQ7b8e711b1bfe86c2-MathJax-539-QINU
UNIQ7b8e711b1bfe86c2-MathJax-540-QINU
UNIQ7b8e711b1bfe86c2-MathJax-541-QINU
第2、第3成分の計算も同様にできて、所望の結果を得る。
(2)UNIQ7b8e711b1bfe86c2-MathJax-542-QINU
式(2)を代入すると、
UNIQ7b8e711b1bfe86c2-MathJax-543-QINU
式(1)を代入すると、
UNIQ7b8e711b1bfe86c2-MathJax-544-QINU
補題の証明終わり。

前項「力の場が保存的である必要十分条件」の(1)式とこの補題から、
関数UNIQ7b8e711b1bfe86c2-MathJax-545-QINUは、
各質点に作用する万有引力UNIQ7b8e711b1bfe86c2-MathJax-546-QINUのポテンシャル関数とみなせることが推察できる。
そこで次の定義を与える。

定義。N個の質点 UNIQ7b8e711b1bfe86c2-MathJax-547-QINU(i=1,,,N)　のそれぞれに作用する力
UNIQ7b8e711b1bfe86c2-MathJax-548-QINU　の集まり
UNIQ7b8e711b1bfe86c2-MathJax-549-QINUが保存力とは、
UNIQ7b8e711b1bfe86c2-MathJax-550-QINU
が成立するような連続的微分可能な関数
UNIQ7b8e711b1bfe86c2-MathJax-551-QINU
が存在すること。
この時、関数UNIQ7b8e711b1bfe86c2-MathJax-552-QINUを、
UNIQ7b8e711b1bfe86c2-MathJax-553-QINU　の ポテンシャル関数と呼び、
関数値UNIQ7b8e711b1bfe86c2-MathJax-554-QINU　を質点系のポテンシャルエネルギーと呼ぶ。

力学的エネルギーの保存則　

定義；
運動エネルギーとポテンシャルエネルギーの和
UNIQ7b8e711b1bfe86c2-MathJax-555-QINU
を、質点系UNIQ7b8e711b1bfe86c2-MathJax-556-QINU　の力学的エネルギーという。

定理；力学的エネルギーの変化量
各質点UNIQ7b8e711b1bfe86c2-MathJax-557-QINU(i=1,2,,,N)　に万有引力　UNIQ7b8e711b1bfe86c2-MathJax-558-QINU　以外に、外力　UNIQ7b8e711b1bfe86c2-MathJax-559-QINU　が作用する時
これらの外力が時刻　UNIQ7b8e711b1bfe86c2-MathJax-560-QINUから UNIQ7b8e711b1bfe86c2-MathJax-561-QINU　の間になす仕事　UNIQ7b8e711b1bfe86c2-MathJax-562-QINU　は、質点系の力学的エネルギーの増加に等しい。
式で書くと、
UNIQ7b8e711b1bfe86c2-MathJax-563-QINU
証明；
質点　UNIQ7b8e711b1bfe86c2-MathJax-564-QINU　に働く合力は　UNIQ7b8e711b1bfe86c2-MathJax-565-QINUなので、
仕事・エネルギー定理より、
力　UNIQ7b8e711b1bfe86c2-MathJax-566-QINU　が時刻　UNIQ7b8e711b1bfe86c2-MathJax-567-QINU　から　UNIQ7b8e711b1bfe86c2-MathJax-568-QINU　までになす仕事
UNIQ7b8e711b1bfe86c2-MathJax-569-QINU　は
UNIQ7b8e711b1bfe86c2-MathJax-570-QINU
他方、
UNIQ7b8e711b1bfe86c2-MathJax-571-QINU
UNIQ7b8e711b1bfe86c2-MathJax-572-QINU　
式(3)を代入して、
UNIQ7b8e711b1bfe86c2-MathJax-573-QINU
ここで、
UNIQ7b8e711b1bfe86c2-MathJax-574-QINUなので、
UNIQ7b8e711b1bfe86c2-MathJax-575-QINU
UNIQ7b8e711b1bfe86c2-MathJax-576-QINU
故に、UNIQ7b8e711b1bfe86c2-MathJax-577-QINU
式(5)を上式に代入して整頓すると、
UNIQ7b8e711b1bfe86c2-MathJax-578-QINU
証明終わり。

系；相互作用が保存力である質点系の力学的エネルギーは保存される。
(注）保存力場の中の質点(系)の運動でも、摩擦のある場合には、この定理とその系は成り立たない。
なぜだろうか。
動摩擦力は、運動中に一定の力で運動の逆方向に働く。このため運動は減速をうけ続け、エネルギーを失い続けるためである。

物理/エネルギーと保存則(その1)