東京大学 数理科学研究科 数理科学専攻 2020年8月実施 専門科目 B 第16問
Author
Miyake
Description
質量が m m m のおもりを N N N 個用意し、図のように長さが l l l の N N N 本のひもで順につないで天井からぶら下げる。
ひもはたわんだり伸び縮みしたりせず、ひもの重さは無視でき、おもりの運動は鉛直軸を含む一定の平面内で起こるものとする。
また、時刻を t t t 、重力加速度を g g g で表すことにする。
図のように、運動が行われる平面の x y xy x y 座標を、天井とひもとの固定点を原点とし、水平方向が x x x 、鉛直下向きを y y y となるように定める。
上から数えて i i i 番目のおもりの水平方向の位置座標を x i x_i x i とする。
(1) どの ∣ x i ∣ |x_i| ∣ x i ∣ も十分小さいという仮定のもとで、この系のLagrangian L L L 、および L L L から得られる Euler-Lagrange 方程式を求めよ。
ただし、こうして得られる Euler-Lagrange 方程式は、線型の微分方程式になるものとする。
(2) (1)で求めた線型微分方程式の解で、定数 ω \omega ω を用いて
x i = A i sin ω t ( i = 1 , 2 , ⋯ , N ) x_i = A_i \sin{\omega t} \ \ \ \ \ (i = 1, 2, \cdots, N) x i = A i sin ω t ( i = 1 , 2 , ⋯ , N )
と表される解に興味があるとする。
このとき、最高次の係数が 1 1 1 のある整数係数 N N N 次多項式 P N ( X ) P_N (X) P N ( X ) が存在し、上の形の解が存在するための必要十分条件が、P N ( ω 2 l g ) = 0 P_N(\omega^2 \frac{l}{g})=0 P N ( ω 2 g l ) = 0 と表されることを示せ。
(3) 多項式列 { P N ( X ) ∣ N = 1 , 2 , 3 , ⋯ } \{P_N(X) \mid N = 1, 2, 3, \cdots\} { P N ( X ) ∣ N = 1 , 2 , 3 , ⋯ } を特徴付ける漸化式を一つ求めよ。
Kai
(1)
位置座標 x x x の時間微分 d x / d t , d 2 x / d t 2 dx/dt, d^2x/dt^2 d x / d t , d 2 x / d t 2 を
それぞれ x ˙ , x ¨ \dot{x}, \ddot{x} x ˙ , x ¨ のように表す。
どの ∣ x i ∣ |x_i| ∣ x i ∣ も十分に小さく、
得られる Euler-Lagrange 方程式が線型の微分方程式とのことなので、
運動エネルギーとポテンシャルエネルギーは { x i } \{x_i\} { x i }
に関して2次まで求めればよい。
上から数えて i i i 番目のおもりのy座標を y i y_i y i とすると、
次が成り立つ:
x 1 2 + y 1 2 = l 2 , ( x n − x n − 1 ) 2 + ( y n − y n − 1 ) 2 = l 2 ( n = 2 , 3 , ⋯ , N ) \begin{aligned}
x_1^2 + y_1^2 &= l^2
,
\\
(x_n - x_{n-1})^2 + (y_n - y_{n-1})^2 &= l^2
\ \ \ \ (n = 2, 3, \cdots, N)
\end{aligned} x 1 2 + y 1 2 ( x n − x n − 1 ) 2 + ( y n − y n − 1 ) 2 = l 2 , = l 2 ( n = 2 , 3 , ⋯ , N )
よって、
y 1 ≃ l − x 1 2 2 l , y n ≃ n l − 1 2 l ( x 1 2 + ∑ j = 1 n − 1 ( x j − x j + 1 ) 2 ) ( n = 2 , 3 , ⋯ , N ) \begin{aligned}
y_1 &\simeq l - \frac{x_1^2}{2l}
,
\\
y_n &\simeq nl - \frac{1}{2l}
\left( x_1^2 + \sum_{j=1}^{n-1} (x_j - x_{j+1})^2 \right)
\ \ \ \ (n = 2, 3, \cdots, N)
\end{aligned} y 1 y n ≃ l − 2 l x 1 2 , ≃ n l − 2 l 1 ( x 1 2 + j = 1 ∑ n − 1 ( x j − x j + 1 ) 2 ) ( n = 2 , 3 , ⋯ , N )
なので、この系のポテンシャルエネルギーは(基準点を適当に選んで)
U = − m g ∑ i = 1 N y i ≃ − m g [ 1 2 N ( N + 1 ) l − 1 2 l ( N x 1 2 + ∑ j = 1 N − 1 ( N − j ) ( x j − x j + 1 ) 2 ) ] \begin{aligned}
U
&= - mg \sum_{i=1}^N y_i
\\
&\simeq - mg \left[ \frac{1}{2}N(N+1) l
- \frac{1}{2l}
\left( N x_1^2 + \sum_{j=1}^{N-1} (N-j) (x_j - x_{j+1})^2 \right)
\right]
\end{aligned} U = − m g i = 1 ∑ N y i ≃ − m g [ 2 1 N ( N + 1 ) l − 2 l 1 ( N x 1 2 + j = 1 ∑ N − 1 ( N − j ) ( x j − x j + 1 ) 2 ) ]
であり、
∂ U ∂ x 1 ≃ m g l [ ( 2 N − 1 ) x 1 − ( N − 1 ) x 2 ] , ∂ U ∂ x n ≃ m g l [ − ( N − n + 1 ) x n − 1 + ( 2 N − 2 n + 1 ) x n − ( N − n ) x n + 1 ] ( n = 2 , 3 , ⋯ , N − 1 ) , ∂ U ∂ x N ≃ m g l [ − x N − 1 + x N ] \begin{aligned}
\frac{\partial U}{\partial x_1}
&\simeq \frac{mg}{l} \left[ (2N-1) x_1 - (N-1) x_2 \right]
,
\\
\frac{\partial U}{\partial x_n}
&\simeq \frac{mg}{l} \left[
-(N-n+1) x_{n-1} + (2N-2n+1) x_n - (N-n) x_{n+1} \right]
& \ \ \ \ (n = 2, 3, \cdots, N-1)
,
\\
\frac{\partial U}{\partial x_N}
&\simeq \frac{mg}{l} \left[ - x_{N-1} + x_N \right]
\end{aligned} ∂ x 1 ∂ U ∂ x n ∂ U ∂ x N ∂ U ≃ l m g [ ( 2 N − 1 ) x 1 − ( N − 1 ) x 2 ] , ≃ l m g [ − ( N − n + 1 ) x n − 1 + ( 2 N − 2 n + 1 ) x n − ( N − n ) x n + 1 ] ≃ l m g [ − x N − 1 + x N ] ( n = 2 , 3 , ⋯ , N − 1 ) ,
である。
また、 x ˙ i \dot{x}_i x ˙ i にくらべて y ˙ i \dot{y}_i y ˙ i は十分小さいので、
この系の運動エネルギーは
T = 1 2 m ∑ i = 1 N ( x ˙ i 2 + y ˙ i 2 ) ≃ 1 2 m ∑ i = 1 N x ˙ i 2 \begin{aligned}
T
&= \frac{1}{2} m \sum_{i=1}^N \left( \dot{x}_i^2 + \dot{y}_i^2 \right)
\\
&\simeq \frac{1}{2} m \sum_{i=1}^N \dot{x}_i^2
\end{aligned} T = 2 1 m i = 1 ∑ N ( x ˙ i 2 + y ˙ i 2 ) ≃ 2 1 m i = 1 ∑ N x ˙ i 2
であり、
∂ T ∂ x ˙ n ≃ m x ˙ n ( n = 1 , 2 , ⋯ , N ) \begin{aligned}
\frac{\partial T}{\partial \dot{x}_n}
&\simeq m \dot{x}_n
& \ \ (n = 1, 2, \cdots, N)
\end{aligned} ∂ x ˙ n ∂ T ≃ m x ˙ n ( n = 1 , 2 , ⋯ , N )
である。
よって、Langrangian L L L は、
L = T − U ≃ 1 2 m ∑ i = 1 N x ˙ i 2 + m g [ 1 2 N ( N + 1 ) l − 1 2 l ( N x 1 2 + ∑ j = 1 N − 1 ( N − j ) ( x j − x j + 1 ) 2 ) ] \begin{aligned}
L
&= T - U
\\
&\simeq \frac{1}{2} m \sum_{i=1}^N \dot{x}_i^2
+ mg \left[ \frac{1}{2}N(N+1) l - \frac{1}{2l}
\left( N x_1^2 + \sum_{j=1}^{N-1} (N-j) (x_j - x_{j+1})^2 \right)
\right]
\end{aligned} L = T − U ≃ 2 1 m i = 1 ∑ N x ˙ i 2 + m g [ 2 1 N ( N + 1 ) l − 2 l 1 ( N x 1 2 + j = 1 ∑ N − 1 ( N − j ) ( x j − x j + 1 ) 2 ) ]
であり、Euler-Lagrange 方程式は、
x ¨ 1 = − g l [ ( 2 N − 1 ) x 1 − ( N − 1 ) x 2 ] , x ¨ n = − g l [ − ( N − n + 1 ) x n − 1 + ( 2 N − 2 n + 1 ) x n − ( N − n ) x n + 1 ] ( n = 2 , 3 , ⋯ , N − 1 ) , x ¨ N = − g l [ − x N − 1 + x N ] \begin{aligned}
\ddot{x}_1
&= - \frac{g}{l} \left[ (2N-1) x_1 - (N-1) x_2 \right]
,
\\
\ddot{x}_n
&= - \frac{g}{l} \left[
-(N-n+1) x_{n-1} + (2N-2n+1) x_n - (N-n) x_{n+1} \right]
& \ \ \ \ (n = 2, 3, \cdots, N-1)
,
\\
\ddot{x}_N
&= - \frac{g}{l} \left[ - x_{N-1} + x_N \right]
\end{aligned} x ¨ 1 x ¨ n x ¨ N = − l g [ ( 2 N − 1 ) x 1 − ( N − 1 ) x 2 ] , = − l g [ − ( N − n + 1 ) x n − 1 + ( 2 N − 2 n + 1 ) x n − ( N − n ) x n + 1 ] = − l g [ − x N − 1 + x N ] ( n = 2 , 3 , ⋯ , N − 1 ) ,
である。
(2)
(1) で得た運動方程式に
x i = A i sin ω t ( i = 1 , 2 , ⋯ N ) x_i = A_i \sin \omega t \ \ (i = 1, 2, \cdots N) x i = A i sin ω t ( i = 1 , 2 , ⋯ N )
を代入して整理すると、次のようになる:
( ω 2 l g I N − B N ) ( A 1 A 2 ⋮ A N ) = ( 0 0 ⋮ 0 ) \begin{align}
\left( \omega^2 \frac{l}{g} I_N - B_N \right)
\begin{pmatrix} A_1 \\ A_2 \\ \vdots \\ A_N \end{pmatrix}
=
\begin{pmatrix} 0 \\ 0 \\ \vdots \\ 0 \end{pmatrix}
\tag{a}
\end{align} ( ω 2 g l I N − B N ) A 1 A 2 ⋮ A N = 0 0 ⋮ 0 ( a )
ただし、 I N I_N I N は N N N 次の単位行列で、
B N B_N B N は i , j i,j i , j 成分が次のように与えられる N N N 次正方行列である:
( B N ) i , j = { 2 N − 2 i + 1 , ( i − j = 0 ) − N + i , ( i − j = − 1 ) − N + i − 1 , ( i − j = 1 ) 0 , ( otherwise ) \begin{aligned}
(B_N)_{i,j}
&= \begin{cases}
2N-2i+1, &(i-j=0) \\
-N+i, &(i-j=-1)\\
-N+i-1, &(i-j=1)\\
0, &(\text{otherwise})
\end{cases}
\end{aligned} ( B N ) i , j = ⎩ ⎨ ⎧ 2 N − 2 i + 1 , − N + i , − N + i − 1 , 0 , ( i − j = 0 ) ( i − j = − 1 ) ( i − j = 1 ) ( otherwise )
(a a a ) が自明な解 A 1 = A 2 = ⋯ = A N = 0 A_1 = A_2 = \cdots = A_N = 0 A 1 = A 2 = ⋯ = A N = 0 以外の解
A 1 , A 2 , ⋯ , A N A_1, A_2, \cdots, A_N A 1 , A 2 , ⋯ , A N をもつための必要十分条件は
det ( ω 2 l g I N − B N ) = 0 \begin{aligned}
\det \left( \omega^2 \frac{l}{g} I_N - B_N \right) = 0
\end{aligned} det ( ω 2 g l I N − B N ) = 0
であるが、これの左辺は ω 2 l / g \omega^2 l/g ω 2 l / g に関して
最高次の係数が 1 1 1 の整数係数の N N N 次の多項式である。
よって、
P N ( X ) = det ( X I N − B N ) \begin{aligned}
P_N(X) = \det \left( X I_N - B_N \right)
\end{aligned} P N ( X ) = det ( X I N − B N )
として、題意を満たすことがわかる。
(3)
N = 1 , 2 , ⋯ N = 1, 2, \cdots N = 1 , 2 , ⋯ について、
P N + 2 ( X ) = det ( X − ( 2 N + 3 ) N + 1 0 0 0 0 ⋯ N + 1 X − ( 2 N + 1 ) N 0 0 0 ⋯ 0 N X − ( 2 N − 1 ) N − 1 0 0 ⋯ 0 0 N − 1 X − ( 2 N − 3 ) N − 2 0 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ) = ( X − ( 2 N + 3 ) ) det ( X − ( 2 N + 1 ) N 0 0 0 ⋯ N X − ( 2 N − 1 ) N − 1 0 0 ⋯ 0 N − 1 X − ( 2 N − 3 ) N − 2 0 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ) − ( N + 1 ) det ( N + 1 0 0 0 0 ⋯ N X − ( 2 N − 1 ) N − 1 0 0 ⋯ 0 N − 1 X − ( 2 N − 3 ) N − 2 0 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ) = ( X − ( 2 N + 3 ) ) det ( X − ( 2 N + 1 ) N 0 0 0 ⋯ N X − ( 2 N − 1 ) N − 1 0 0 ⋯ 0 N − 1 X − ( 2 N − 3 ) N − 2 0 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ) − ( N + 1 ) 2 det ( X − ( 2 N − 1 ) N − 1 0 0 ⋯ N − 1 X − ( 2 N − 3 ) N − 2 0 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ) = ( X − ( 2 N + 3 ) ) P N + 1 ( X ) − ( N + 1 ) 2 P N ( X ) \begin{aligned}
P_{N+2} (X)
&= \det \begin{pmatrix}
X-(2N+3) & N+1 & 0 & 0 & 0 & 0 & \cdots \\
N+1 & X-(2N+1) & N & 0 & 0 & 0 & \cdots \\
0 & N & X-(2N-1) & N-1 & 0 & 0 & \cdots \\
0 & 0 & N-1 & X-(2N-3) & N-2 & 0 & \cdots \\
\cdots & \cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\
\end{pmatrix}
\\
&=
(X-(2N+3)) \det \begin{pmatrix}
X-(2N+1) & N & 0 & 0 & 0 & \cdots \\
N & X-(2N-1) & N-1 & 0 & 0 & \cdots \\
0 & N-1 & X-(2N-3) & N-2 & 0 & \cdots \\
\cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\
\end{pmatrix}
\\
& \ \ \ \ - (N+1)
\det \begin{pmatrix}
N+1 & 0 & 0 & 0 & 0 & \cdots \\
N & X-(2N-1) & N-1 & 0 & 0 & \cdots \\
0 & N-1 & X-(2N-3) & N-2 & 0 & \cdots \\
\cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\
\end{pmatrix}
\\
&=
(X-(2N+3)) \det \begin{pmatrix}
X-(2N+1) & N & 0 & 0 & 0 & \cdots \\
N & X-(2N-1) & N-1 & 0 & 0 & \cdots \\
0 & N-1 & X-(2N-3) & N-2 & 0 & \cdots \\
\cdots & \cdots & \cdots & \cdots & \cdots & \cdots \\
\end{pmatrix}
\\
& \ \ \ \ - (N+1)^2
\det \begin{pmatrix}
X-(2N-1) & N-1 & 0 & 0 & \cdots \\
N-1 & X-(2N-3) & N-2 & 0 & \cdots \\
\cdots & \cdots & \cdots & \cdots & \cdots \\
\end{pmatrix}
\\
&= (X-(2N+3)) P_{N+1}(X) - (N+1)^2 P_N(X)
\end{aligned} P N + 2 ( X ) = det X − ( 2 N + 3 ) N + 1 0 0 ⋯ N + 1 X − ( 2 N + 1 ) N 0 ⋯ 0 N X − ( 2 N − 1 ) N − 1 ⋯ 0 0 N − 1 X − ( 2 N − 3 ) ⋯ 0 0 0 N − 2 ⋯ 0 0 0 0 ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ = ( X − ( 2 N + 3 )) det X − ( 2 N + 1 ) N 0 ⋯ N X − ( 2 N − 1 ) N − 1 ⋯ 0 N − 1 X − ( 2 N − 3 ) ⋯ 0 0 N − 2 ⋯ 0 0 0 ⋯ ⋯ ⋯ ⋯ ⋯ − ( N + 1 ) det N + 1 N 0 ⋯ 0 X − ( 2 N − 1 ) N − 1 ⋯ 0 N − 1 X − ( 2 N − 3 ) ⋯ 0 0 N − 2 ⋯ 0 0 0 ⋯ ⋯ ⋯ ⋯ ⋯ = ( X − ( 2 N + 3 )) det X − ( 2 N + 1 ) N 0 ⋯ N X − ( 2 N − 1 ) N − 1 ⋯ 0 N − 1 X − ( 2 N − 3 ) ⋯ 0 0 N − 2 ⋯ 0 0 0 ⋯ ⋯ ⋯ ⋯ ⋯ − ( N + 1 ) 2 det X − ( 2 N − 1 ) N − 1 ⋯ N − 1 X − ( 2 N − 3 ) ⋯ 0 N − 2 ⋯ 0 0 ⋯ ⋯ ⋯ ⋯ = ( X − ( 2 N + 3 )) P N + 1 ( X ) − ( N + 1 ) 2 P N ( X )
が成り立つ。