次のページ
前のページ
目次
【補足説明欄】
1～3行目の内容は、TEC-0-1-30-18～21の数直線で定義されている場合II(Z = -mh2/a)についてです。2015.02.22
TEC-0-1-31-IIのグラフから、1/r の値は 1/a のまま変化しない事、が分かります。
これが、TEC-0-1-33-2の左の式 r = a の成立根拠です。2015.02.22;2015.07.25
TEC-0-1-33-2の右の式 θ= (h/a2)t の成立は、TEC-0-1-33-2の左の式
r = a
をTEC-0-1-29-8の式
r2dθ/dt = h
に代入して、
a2dθ/dt = h
∴ dθ/dt = h/a2
∴ θ= (h/a2)t + C
という風に考える事によって、分かります。
Cは積分定数です。
積分定数Cの値の如何は、t軸の原点とθ軸の原点の選択に対応するので、C = 0 と決めても一般性を失いません。2015.02.22;2015.07.25
2行目の式で表される解は等速円運動である事が、CAN-1-1-2-9～14から分かります。2015.02.23
4～30行目の内容は、TEC-0-1-30-18～21の数直線で定義されている場合III[-mh2/a < Z < -mh2/(2a)]についてです。2015.02.22
TEC-0-1-31-I,IIIのグラフから、IIIでは、1/r の値は 1/r0 と 1/r1 の間を往復する事が分かります。
今考えているのはIIIの場合だから、TEC-0-1-30-26から r0 > r1 = a だと分かります。
従って、r = a に成る時刻の1つをt軸の原点とすると、r と t の関係は、TEC-0-1-33-22～29の左のグラフの様に、成ります。
TEC-0-1-32-4,5から、
du/dt < 0(dr/dt > 0) ならば dθ/du < 0
du/dt > 0(dr/dt < 0) ならば dθ/du > 0
だと分かるので、TEC-0-1-33-22～29の左のグラフを参照すれば、u とθの関係がTEC-0-1-33-22～29の右のグラフの様に成る事が分かります。
ただし、u = 1/a に成るθの値の1つをθ軸の原点としました。
TEC-0-1-32-24～29の右のグラフに記入されている様な時間経過の向きを表す矢印、を記入し忘れています。
TEC-0-1-33-22～29の左右両方のグラフの詳細が決まれば、t → r → u →θという風に関数関係を繋げて行く事によって、r とθは t のどんな関数か、が決まります。
tとθの対応には、左のグラフのどの1周期と右のグラフのどの1周期を対応させるか、に相当する任意性が存在しますが、左のグラフのどの1周期と右のグラフのどの1周期を対応させるかを変更する事は、θ軸の原点を変更する事と等価だから、この任意性は同一の物理的内容に対する数式表現の任意性に過ぎず、t = 0 でθ= 0 だ、という条件によって特定の対応を選択しても、物理的内容は減りません。
だから、t = 0 でθ= 0 だ、としておきます。
TEC-0-1-33-22～29の左のグラフの詳細は、TEC-0-1-33-5～7の条件によって決まります。
TEC-0-1-33-22～29の右のグラフの詳細は、TEC-0-1-33-5,12,13の条件によって決まります。2015.02.22
5行目の条件 0 ≦ |t - 2nt0| ≦ t0 は、TEC-0-1-32-7に対する補足説明に書かれている理由で、
(2n - 1)t0 ≦ t ≦ (2n + 1)t0
という風に、書き直せます。2015.02.22
6,7行目の等号の成立は、TEC-0-1-29-15,16の式を基にして、TEC-0-1-23-18～23(補足説明も)と同様に考えれば、分かります。
(2n - 1)t0 ≦ t ≦ 2nt0 の場合には、t の値が t から 2nt0 まで増加する間に、r の値は r から a まで減少します。
従って、2nt0 - t = ∫ra dr dt/dr = ∫ar dr (-dt/dr) = ∫ar dr |dt/dr| です。(∵ dt/dr < 0)
2nt0 ≦ t ≦ (2n + 1)t0 の場合には、t の値が 2nt0 から t まで増加する間に、r の値は a から r まで増加します。
従って、t - 2nt0 = ∫ar dr dt/dr = ∫ar dr |dt/dr| です。(∵ dt/dr > 0)
これら両方をまとめると、
|t - 2nt0| = ∫ar dr |dt/dr|
という風に書けます。2015.02.22
10,11,14,15行目の cos-1 の値としては、TEC-0-1-35-15の条件を満たす実数を、用います。2015.02.22
8,9行目の等号の成立根拠は、以下の積分計算です。
まず不定積分は、TEC-0-1-32-10,11の等号の成立根拠として説明されている物、と同じです。
積分定数は省略しました。
-K > 0 である事と Kh2 + (Z/m)2 > 0 である事は、TEC-0-1-30-26に、書かれています。
不定積分の結果を使って、定積分は、次の様に計算できます。
ところが、
a > 0(TEC-0-1-29-9)とTEC-0-1-29-13,14の式と、r=r1でdr/dt=0に成る事(TEC-0-1-31-I,III)と、r1 = a(TEC-0-1-30-26)から、
Ka2 - 2(Z/m)a - h2 = 0
が言える(TEC-0-1-29-13,14の式に r = a, dr/dt = 0 を代入すれば分かる)ので、右辺の第2角括弧[ ]内の第1項はゼロだ、と分かります。さらに、
r1 = a(TEC-0-1-30-26)とTEC-0-1-30-4,5の式から、
Z/m - Ka = -√[(Z/m)2 + Kh2]
が言え、また cos-1(-1) = π だから、右辺の第2角括弧[ ]内の第2項は、
だ、と分かります。
したがって、
です。2015.02.22;2015.07.30
12,13行目の等号の成立は、TEC-0-1-32-4,5の式を基にして、TEC-0-1-23-18～23(補足説明も)と同様に考えれば、分かります。
(2n - 1)θ0 ≦ θ ≦ 2nθ0 の場合には、u の値が u から 1/a まで増加する間に、θの値はθから 2nθ0 まで増加します。
従って、2nθ0 - θ = ∫u1/a du dθ/du = ∫u1/a du |dθ/du| です。(∵ dθ/du > 0)
2nθ0 ≦ θ ≦ (2n + 1)θ0 の場合には、u の値が 1/a から u まで減少する間に、θの値は 2nθ0 からθまで増加します。
従って、θ - 2nθ0 = ∫1/au du dθ/du = ∫u1/a du (-dθ/du) = ∫u1/a du |dθ/du| です。(∵ dθ/du < 0)
これら両方をまとめると、
|θ - 2nθ0| = ∫u1/a du |dθ/du|
という風に書けます。2015.02.22,23
14,15行目の等号の成立根拠は、以下の積分計算です。
まず不定積分は、TEC-0-1-32-16,17の等号の成立根拠として説明されている物、と同じです。
積分定数は省略しました。
h > 0 である事は、TEC-0-1-29-9に書かれています。
Kh2 + (Z/m)2 > 0 である事は、TEC-0-1-30-26に、書かれています。
不定積分の結果を使って、定積分は、次の様に計算できます。
ところが、
Z > -mh2/a ∵TEC-0-1-30-18～21
∴ Z/m + h2/a > 0
これとTEC-0-1-30-7の式から、
Z/m + h2/a = √[Kh2 + (Z/m)2]
だと分かり、また cos-1(1) = 0 だから、右辺の第1項はゼロだ、と分かります。
この結果に h を掛ける事によって、TEC-0-1-33-14,15行目の式を得る事が出来ます。2015.02.22;2015.07.26,30
17,18行目の t0 は、r = r0, t = (2n±1)t0 の時に6,7行目の等号が成立する様に選ばれた物です。
幸いな事に、全ての n に渡ってそう成る様な単一の t0 が存在しています。
この事が、TEC-0-1-33-22～29の左のグラフで周期関数を仮定した事を正当化します。2015.02.22;2015.07.26
19,20行目のθ0は、 u = 1/r0, θ = (2n±1)θ0 の時に12,13行目の等号が成立する様に選ばれた物です。
幸いな事に、全ての n に渡ってそう成る様な単一のθ0が存在しています。
この事が、TEC-0-1-33-22～29の右のグラフで周期関数を仮定した事を正当化します。2015.02.22;2015.07.26
17,18行目の右の等号の成立根拠は、8,9行目の等号の成立と、r = r0でdr/dt = 0に成る事(TEC-0-1-31-I,III)と、TEC-0-1-29-13,14の式と、TEC-0-1-30-2,3の右の等号です。
r = r0でdr/dt = 0に成る事と、TEC-0-1-29-13,14の式から、
Kr02 - 2(Z/m)r0 - h2 = 0
だと分かります。
従って、TEC-0-1-33-8,9の項に r = r0 を代入すると、ゼロに成ります。
TEC-0-1-30-2,3の右の等号から、
-Kr0 + Z/m = √[(Z/m)2 + Kh2]
だと分かるので、TEC-0-1-33-10,11の項に r = r0 を代入すると、
という風に成ります。2015.02.22;2015.07.30
19,20行目の右の等号の成立根拠は、14,15行目の等号の成立と、TEC-0-1-30-2,3の右の等号の成立です。
TEC-0-1-30-2,3の右の等号の成立を根拠にして、中学数学で習う「分母の有理化」の技法を真似れば、
という風に計算できます。
この計算結果は、偶然の幸運ではなく、TEC-0-1-29-13,14の式を dr/dt=0 の場合に、1/r についての2次方程式と見て、これに解の公式を適用すれば、こう成るべくしてこう成った物だと分かります。
この計算結果から、
h2(1/r0) + Z/m = -√[(Z/m)2 + Kh2]
だと分かります。
従って、TEC-0-1-33-14,15の辺に、u = 1/r0 を代入すると、
cos-1(-1) = π
という風に成ります。
u がθの周期関数であり、その周期が 2θ0 = 2π である事から、軌道は閉じている、と分かります。2015.02.22;2015.07.26
12～15行目の式と、θ0 = πである事(19,20行目)と、IIIではZ<0である事(TEC-0-1-30-18～21)と、m>0である事(CAN-1-1-4の質量に対する補足説明)を使うと、
ここでTEC-0-1-32-1,2を使うと、
これは、半直弦の長さが-h2m/Zで、離心率が√[1+K(mh/Z)2]の楕円の方程式に一致しています。
IIIでは K < 0 である事(TEC-0-1-30-26)と、
m≠0 である事(CAN-1-1-4の質量に対する補足説明)と、
h≠0 である事(TEC-0-1-29-9)と、
Z≠0 である事(TEC-0-1-30-15,16に対する補足説明)から、
√[1+K(mh/Z)2] < 1
だと分かります。
1+K(mh/Z)2 ≧ 0
である事は、TEC-0-1-30-7の式によって保証されています。
(Z/m)2 + Kh2 ≧ 0 ∵TEC-0-1-30-7
(m/Z)2 ≧ 0
だから、
1+K(mh/Z)2 = (m/Z)2[(Z/m)2 + Kh2] ≧ 0
だと分かります。2015.02.22,23,25;2015.04.02;2015.07.26,30
【SEOテキスト】宇田雄一03.10.19逆2乗中心力問題Ⅱ,r=a,θ=(h/a2)t,Ⅲ,0≦|t-2nt0|≦t0ならば|t-2nt0|=∫r,a,rdr/√ Kr2-2(Z/m)r-h2=1/K √ Kr2-2(Z/m)r-h2 +Z/mK√-K cos-1[Kr-Z/m /√ (Z/m)2+Kh2],|θ-2nθ0|=∫1/a,u,hdu/√ K-2(Z/m)u-h2u2=cos-1[h2u+Z/m /√ (Z/m)2+Kh2]ただし、t0≡∫r0,a,rdr/√ Kr2-2(Z/m)r-h2=πZ/mK√-K,θ0≡∫1/a,1/r0,hdu/√ K-2(Z/m)u-h2u2=π,r,r0,a,-t0,O,t0,t,u,1/a,1/r0,-θ0,O,θ0,θ