以下の話の流れや導出方法等は、 後藤の恩師の岩熊先生と後輩の小山さんとの共著: 岩熊哲夫・小山茂『鬆徒労苦衷有迷禍荷苦痛-- 計算機による構造解析の基礎としての構造力学を独習する』 の 10.3 連続体の振動 のやり方を参考にしています。 まだ、準備開始したばかりなので、間違いとか、それなりにあるかもしれません。 大幅に書き換える可能性もあります。
オイラーの公式:
eix=cosx+isinx
e−ix=cosx−isinx
これを連立させると以下が得られる。
sinx=eix−e−ix2i,cosx=eiz+e−ix2
双曲線関数
sinh(x)=ex−e−x2,cosh(x)=ex+e−x2
(sinh(x))′=cosh(x),(cosh(x))′=sinh(x)
ちなみに、なぜ双曲線関数と言うのかというと、
x=cosθ,y=sinθとおくと、単位円の式x2+y2=1を満たすが、
x=coshθ,y=sinhθとおくと、x2−y2=1となる
双曲線の式を満たす。
(Wikipedia)
弦とか梁とかの振動を考える。
弦とか梁というのは、連続体であり、あらゆる点zに対する変位v(z)が
あるので、自由度が無限にある無限自由度と考えられる。
なので、変位vは、座標zと時刻tの関数としてv(z,t)と表すことにする。
まずは、弦の振動から考えていこう。
弦というのは曲げ剛性がなく、張力がないとたるんでしまい、
自立しない。
なので、一定の張力Tで張られた弦が弾かれて自由振動する状態を考える。
長さdzの微小部分を取り出して、
下方向を正として鉛直方向の運動方程式をたててみる。
簡単のため、重力は無視する。
∑↓=ρAdz∂2v(z,t)∂t2−Tsinα+Tsinβ=ρAdz∂2v(z,t)∂t2
ただし、ρは弦の密度、Aは弦の断面積、
αとβは
微小部分の
左端と右端における変位vの傾き
である。
zが正方向に増えるときのv(z)の傾きを表すためにこの向きにしたが、
x軸回りに左ねじ回転になっているので、
もし右ねじ回転角θxとの関係で書く必要がある場合には、
α=−θx(z,t)みたいになる。
αとβは微小であり、下方向変位v(z,t)のz軸に対する傾きで
表せるので、
sinα≃α=∂v(z,t)∂z
sinβ≃β=∂v(z+dz,t)∂z=∂v(z,t)∂z+∂2v(z,t)∂z2dz
となる。
zについての微分だが、
vがzとtの関数なので、偏微分で表している。
zからdzだけ離れたところの傾きβをzでの傾きαから
どれだけ変化しているかで見積もるには、
α+∂α∂zdzみたいにすればいいことは、
応力のつりあいのところで説明している。
要はテイラー展開の2項目までとったということ。
sinα,sinβを上の運動方程式に代入して
両辺をdzで割ると、
T∂2v(z,t)∂z2=ρA∂2v(z,t)∂t2
となる。
c=√TρA
とおくと、
1c2∂2v(z,t)∂t2=∂2v(z,t)∂z2
のような形の運動方程式になるが、
この式は1次元の波動方程式と呼ばれ、
cは波速(波の特定の点が移動する速度)つまり位相速度を表す。
海岸工学とかで出てくる1次元の波動方程式と比べてみてほしい。
たぶん同じような形ではないかと思う。
ギターの弦の振動みたいな
両端固定の自由振動を考えよう。
弦の場合、両端固定とはいっても曲げ剛性がないので、
端部でたわみ角が発生するから、
両端ヒンジと捉えてもいいし、単純梁のローラー支障側をTで引っ張って
張力Tを発生させていると考えてもいい。
弦の左端をz=0,
弦の右端をz=ℓとすると、
境界条件は、
v(0,t)=0,v(ℓ,t)=0
で与えられる。
ギターの弦の振動のように、定在波(定常波)で振動している状態を考えると、
波の形(モード)はどの時刻でも同じで、
時刻によってその形に対する倍率が違うだけだから、
空間的な変動と時間的な変動を分離してv(z,t)を以下のように置いてみよう。
v(z,t)=y(z)a(t)
y(z)は波の形(振動モード)を表していることになる。
上の波動方程式に代入すると
y(z)c2∂2a(t)∂t2=a(t)∂2y(z)∂z2
となるから、tについての微分を⋅で、
zについての微分を′で表すと、
y″
となる。
左辺がzだけの関数で、右辺がtだけの関数で、
この等式が任意のzとtについて成り立つには、
両辺とも定数である必要があるので、
\dfrac{y''(z)}{y(z)}=\dfrac{\ddot{a}(t)}{c^{2}a(t)}=\kappa
とおく。\kappaは定数。すると、
y''(z)-\kappa y(z)=0
\ddot{a}(t)-\kappa c^{2}a(t)=0
の2つの微分方程式が得られる。
まずは、
y''(z)-\kappa y(z)=0
の方から考える。
1自由度系の振動のところで、
\ddot{v}(t)+\omega^{2}v(t)=0の形の微分方程式の一般解は、
v(t)=A\sin\omega t+B\cos\omega tと求まることがわかっているから、
\kappa\lt 0なら解けそうだが、まずは\kappa \gt 0の場合を考えてみる。
\kappa \gt 0の場合
\kappa =\alpha^{2}とおくと、
y''(z)-\alpha^{2}y(z)=0
となる。
y(z)=e^{\lambda z}とおくと、
y'(z)=\lambda e^{\lambda z}
y''(z)=\lambda^{2} e^{\lambda z}
これらを、
y''(z)-\alpha^{2}y(z)=0に代入すると、
(\lambda^{2}-\alpha^{2})e^{\lambda z}=0
となり、これがすべてのzになりたつことから、特性方程式
\lambda^{2}-\alpha^{2}=0
が得られる。この解は、
\lambda=\pm\alpha となり、
一般解は、独立な解e^{\alpha z}, \;e^{-\alpha z}の線形結合
ということで
y(z)=C_{1}e^{\alpha z}+C_{2}e^{-\alpha z}
となる。C_{1}, \;C_{2}は任意の定数。
これを以下のように変形する。
y(z)=
(C_{1}+C_{2})\dfrac{e^{\alpha z}+e^{-\alpha z}}{2}
+(C_{1}-C_{2})\dfrac{e^{\alpha z}-e^{-\alpha z}}{2}
ここで、A=C_{1}-C_{2}, \; B=C_{1}+C_{2}とおきかえると、一般解は、
以下のように書き換えられる。
y(z)=A\sinh\alpha z+B\cosh\alpha z
A,\; Bは任意の定数。
\sinh,\; \coshは次式で与えられる双曲線関数で、
\sinh(x)=\dfrac{e^{x}-e^{-x}}{2},\;\;
\cosh(x)=\dfrac{e^{x}+e^{-x}}{2}
それぞれ、2回微分すると
(\sinh(x))''=\sinh(x)\;,
(\cosh(x))''=\cosh(x)\;と
元に戻るので、y''-\alpha^{2}y=0みたいな式の一般解は
このように与えられることは各自 確認してほしい。
さて、境界条件
v(0,t)=0,\;\; v(\ell,t)=0は、
任意のtで成り立つから、y(0)=0, y(\ell )=0と変数分離できる。
これを一般解に代入すると、
y(0)=A\sinh(0)+B\cosh(0)=B=0
y(\ell )=A\sinh\alpha\ell=0
今、\kappa=\alpha^{2}\gt 0だから、
\alpha\ell\ne 0で、\sinh\alpha\ell\ne 0なので、A=0となる。
つまり、y(z)=0となり、意味のある解ではない。
\kappa =0の場合
y''(z)=0
を解くと、
y(z)=Az+B
となる。A,\;Bは任意の定数。境界条件を代入すると、
y(0)=B=0
y(\ell )=A\ell=0
となり、これもy(z)=0となって意味のある解ではない。
\kappa \lt 0の場合
\kappa =-\alpha^{2}とおくと、
y''+\alpha^{2}y(z)=0
となるが、これの一般解は
1自由度系の振動のところで
求めたように、
y(z)=A\sin\alpha z+B\cos\alpha z
と求まる。
A, \;Bは任意の定数。
境界条件を代入すると、
y(0)=B=0
y(\ell )=A\sin\alpha\ell =0
となる。
意味のある解となるためにはA\ne 0とならなければならないから、
\sin\alpha\ell =0でなければならない。
つまり、
\alpha\ell=n\pi \;\;\;(n=1,2,3,...)
であり、\alpha=\dfrac{n\pi}{\ell}だから、
y_{n}(z)=A_{n}\sin(\dfrac{n\pi z}{\ell}) \;\;\;(n=1,2,3,...)
が解となる。
A\ne 0は不定である。
両端固定の弦の振動は、両端の変位0の境界条件を満たす
正弦波の振動をしていて、
n=1で\sin 1半波(さいんいちはんぱ)、
n=2で\sin2半波(さいんにはんぱ)、、、
のようにnの次数ごとに対応する振動モードが存在する
(正弦1半波、正弦2半波、、、みたいな言い方もある)。
次に
\ddot{a}(t)-\kappa c^{2}a(t)=0
の方を考える。
\kappa =-\alpha^{2}を代入すると、
\ddot{a}(t)+(\alpha c)^{2}a(t)=0
となるから、一般解は上と同様に、
a(t)=C\sin\alpha ct+D\cos\alpha ct
と求まる。
C, \;Dは任意の定数。
\alpha=\dfrac{n\pi}{\ell}を代入すれば、
a_{n}(t)=C_{n}\sin\dfrac{n\pi ct}{\ell}+D_{n}\cos\dfrac{n\pi ct}{\ell} \;\;\;(n=1,2,3,...)
となる。
さて、
v(z,t)=y(z)a(t)
だったが、y(z)もa(t)もn=1,2,3,...に対して無限の解y_{n}(z),\; a_{n}(t)が
存在するので、
それらがすべて重ね合わされた解は、
{\displaystyle v(z,t)=
\sum_{n=1}^{\infty}
A_{n}\sin(\dfrac{n\pi z}{\ell})
(C_{n}\sin\dfrac{n\pi ct}{\ell}+D_{n}\cos\dfrac{n\pi ct}{\ell})
}
A_{n},\;B_{n},\;C_{n}は定数で
v(z,0)と\dot{v}(z,0)の2つの初期条件から決まるが、
F_{n}=A_{n}C_{n},\;G_{n}=A_{n}D_{n}と置き直すと
{\displaystyle v(z,t)=
\sum_{n=1}^{\infty}
\sin(\dfrac{n\pi z}{\ell})
(F_{n}\sin\dfrac{n\pi ct}{\ell}+G_{n}\cos\dfrac{n\pi ct}{\ell})
}
となる。\sin,\;\cosの中でtにかけてある部分が
固有角振動数になるから、n次モードの
固有角振動数\omega_{n}を
\omega_{n}=\dfrac{n\pi c}{\ell}=\dfrac{n\pi}{\ell}\sqrt{\dfrac{T}{\rho A}}
\;\;\;\; (n=1,2,3,...)
と置くと
{\displaystyle v(z,t)=
\sum_{n=1}^{\infty}
\sin(\dfrac{n\pi z}{\ell})
(F_{n}\sin\omega_{n}t+G_{n}\cos\omega_{n}t)
}
となる。
これに初期条件を代入して解くには、
モードの直交性の話をしなければならないので、
ここではやらない。
モードの直交性がどういうものかについては、
岩熊哲夫・小山茂『鬆徒労苦衷有迷禍荷苦痛--
計算機による構造解析の基礎としての構造力学を独習する』
の
10.4.4 振動モードの直交性と自由振動解--モード解析法
を参照。
両端固定のv(z,t)に初期条件を代入して、
モードの直交性を用いて具体的に解いている例としては、
山口大学 齊藤 俊 先生の
11.連続体の振動問題Ⅰ(弦の横振動)
を参照。
さて、ここで解いた2つの微分方程式は、
y''(z)+\alpha^{2}y(z)=0
\ddot{a}(t)+(\alpha c)^{2}a(t)=0
で、\alpha c=\dfrac{n\pi c}{\ell}=\omega_{n}だから、
y''(z)+\alpha^{2}y(z)=0
\ddot{a}(t)+\omega_{n}^{2}a(t)=0
みたいな形の微分方程式で、
1自由度系の振動のところや
構造力学IIのオイラー座屈のところで
出てきた。
オイラー座屈では、\alpha=\dfrac{n\pi}{\ell}となるところも共通している。
実は、
これらは微分方程式の固有値問題になっていて、
\alpha^{2}や\omega_{n}^{2}が固有値、
y_{n}(z)やa_{n}(t)が固有関数に対応している。
より厳密には、
スツルム=リウヴィルの固有値問題
の一種ではないかと思う。
2自由度系の振動のところとか、
主応力のところとか、
行列の固有値問題として解かれる問題は多いが、
振動や座屈の問題では微分方程式の固有値問題として解かれる問題も多い。
行列の固有値問題は、
\mathbf{A}\mathbf{y}=\lambda\mathbf{y}
を満たす\mathbf{0}でない\mathbf{y}が存在するような固有値\lambda
を求める問題なのに対し、
微分方程式の固有値問題は、
\dfrac{d^{2}}{dz^{2}}y=\lambda y
みたいな形の微分方程式を満たす0でないyが存在するような
固有値\lambdaを求める問題という意味で、
似たような形をしている。
今回の問題では、
固有関数
y_{n}(z)=A\sin(\dfrac{n\pi z}{\ell})が振動モードに対応し、
固有値の平方根\omega_{n}が固有角振動数に対応しているが、
構造力学IIのオイラー座屈の問題では、
固有値(に曲げ剛性EIをかけたもの)が座屈荷重に対応し、
固有関数が座屈モードに対応していると考えられる。
このように、構造系の様々な問題は固有値問題として表されるものが多い。
次に、梁の振動を考える。
構造力学の梁のモデルを
拡張し、
座標z, 時刻tでのせん断力がS(z,t),
曲げモーメントがM(z,t),
鉛直分布荷重がq(z,t)で表されることにする。
簡単のため軸力や軸方向分布外力はないものとし、
N(z,t)=0, \; p(z,t)=0とする。
減衰もないものとし、
重力も無視する。
弦の振動と同様に
長さdzの微小部分を取り出して、
下方向を正として鉛直方向の運動方程式をたててみる。
\sum\downarrow
=\rho Adz\dfrac{\partial^{2}v(z,t)}{\partial t^{2}}
左辺の鉛直下方向の力の合計を書き下すと、以下のようになる。
左の切断面のS(z,t),\; M(z,t)から右の切断面の値を
テイラー展開の2項目までで近似するのは
弦の振動と同様。
構造力学の梁のモデル参照。
-S(z,t)+q(z,t)dz
+S(z,t)+\dfrac{\partial S(z,t)}{\partial z}dz
=\rho Adz\dfrac{\partial^{2}v(z,t)}{\partial t^{2}}
つまり、
\dfrac{\partial S(z,t)}{\partial z} +q(z,t)
=\rho A\dfrac{\partial^{2}v(z,t)}{\partial t^{2}}
構造力学の梁のモデルでも
導いた通り、モーメントのつりあいから、
せん断力S(z,t)は、
S(z,t)=\dfrac{\partial M(z,t)}{\partial z}
と表されるから、
\dfrac{\partial^{2} M(z,t)}{\partial z^{2}} +q(z,t)
=\rho A\dfrac{\partial^{2}v(z,t)}{\partial t^{2}}
となる。
また、
構造力学の梁モデルで
導いたように、zが断面の図心を通る場合は、
M(z,t)=-EI
\dfrac{\partial^{2} v(z,t)}{\partial z^{2}}
で表せるから、
\rho A\dfrac{\partial^{2}v(z,t)}{\partial t^{2}}
+
EI\dfrac{\partial^{4} v(z,t)}{\partial z^{4}}
=q(z,t)
となる。
単純梁の自由振動を考えよう。
外力はないのでq(z,t)=0だから、
-\rho A\dfrac{\partial^{2}v(z,t)}{\partial t^{2}}
=
EI\dfrac{\partial^{4} v(z,t)}{\partial z^{4}}
となる。
梁の左端をz=0,\;
梁の右端をz=\ellとすると、
単純梁の
境界条件は、両端でたわみと曲率(モーメント)が0なので
v(0,t)=0,\;\;
v''(0,t)=0,\;\;
v(\ell,t)=0, \;\;
v''(\ell,t)=0
で与えられる。
弦の振動のときと同じように、
梁が固有振動モードで自由振動している状態を考えると、
波の形(モード)はどの時刻でも同じで、
時刻によってその形に対する倍率が違うだけだから、
空間的な変動と時間的な変動を分離してv(z,t)を以下のように置いてみよう。
v(z,t)=y(z)a(t)
これを上の運動方程式に代入すると、
-\rho Ay(z)\ddot{a}(t)=EIy''''(z)a(t)
となるから、
-\dfrac{\ddot{a}(t)}{a(t)}=\dfrac{EI}{\rho A}\dfrac{y''''(z)}{y(z)}
となる。
左辺がzだけの関数で、右辺がtだけの関数で、
この等式が任意のzとtについて成り立つには、
両辺とも定数である必要があるので、
-\dfrac{\ddot{a}(t)}{a(t)}=\dfrac{EI}{\rho A}\dfrac{y''''(z)}{y(z)}
=\kappa
とおく。\kappaは定数。すると、
y''''(z)-\kappa \dfrac{\rho A}{EI}y(z)=0
\ddot{a}(t)+\kappa a(t)=0
の2つの微分方程式が得られる。
両端固定の弦の自由振動のところで、
y''(z)-\kappa y(z)=0の一般解は、
\kappa\gt 0だと\sinhと\coshの足し算になるから、周期関数にならず、
つまり、
\kappa\lt 0のときしか\sinと\cosで表される周期関数にならない。
つまり(係数が正にしかならないことを2乗を使ってわかりやすく書くなら)、
y''(z)+\alpha^{2}y(z)=0みたいな形の式のときに
意味のある解を持つということだ。
さて、今回の梁の問題では、
\ddot{a}(t)+\kappa a(t)=0
という式が出てきたが、a(t)が周期関数になり、意味のある解を持つためには、
\kappaが正でなければならないということになる。ということで、
\kappa\gt 0のとき、
y''''(z)-\kappa\dfrac{\rho A}{EI}y(z)=0
の方から考える。
\mu^{4}=\kappa\dfrac{\rho A}{EI}とおくと、
y''''(z)-\mu^{4}y(z)=0
となる。
y(z)=e^{\lambda z}とおくと、
y''''(z)=\lambda^{4} e^{\lambda z}
これらを、
y''''(z)-\mu^{4}y(z)=0に代入すると、
(\lambda^{4}-\mu^{4})e^{\lambda z}=0
となり、これがすべてのzになりたつことから、特性方程式
\lambda^{4}-\mu^{4}=0
が得られる。この解は、
\lambda=\pm\mu, \;\pm i\mu となり、
一般解は、独立な解
e^{\mu z}, \;e^{-\mu z},
\;e^{i\mu z}, \;e^{-i\mu z},
の線形結合
ということで
y(z)=
C_{1}e^{\mu z}+C_{2}e^{-\mu z}
+C_{3}e^{i\mu z}+C_{4}e^{-i\mu z}
となる。C_{1}, \;C_{2}, \; C_{3}, \;C_{4}は任意の定数。
これを以下のように変形する。
y(z)=
(C_{1}+C_{2})\dfrac{e^{\mu z}+e^{-\mu z}}{2}
+(C_{1}-C_{2})\dfrac{e^{\mu z}-e^{-\mu z}}{2}
+(C_{3}+C_{4})\dfrac{e^{i\mu z}+e^{-i\mu z}}{2}
+(C_{3}-C_{4})i\dfrac{e^{i\mu z}-e^{-i\mu z}}{2i}
ここで、
A=(C_{3}-C_{4})i, \; B=C_{3}+C_{4},
\;C=C_{1}-C_{2}, \; D=C_{1}+C_{2}
とおきかえると、一般解は、
以下のように書き換えられる。
Aにiが入っているけど、C_{3}=\frac{B-iA}{2},\;\;C_{4}=\frac{B+iA}{2}みたいに
おけば、Aは実数定数になるのでは、たぶん。
y(z)=
A\sin\mu z+B\cos\mu z
+C\sinh\mu z+D\cosh\mu z
A,\; B, \; C, \; Dは任意の定数。ちなみに、三角関数\sin z, \;\cos zは
以下のように表せるから、上のような置き換えができるのだ。
\sin z=\dfrac{e^{iz}-e^{-iz}}{2i}
\cos z=\dfrac{e^{iz}+e^{-iz}}{2}
ちなみに、三角関数がこのように表せることは、オイラーの公式
e^{iz}=\cos z+i\sin z
e^{-iz}=\cos z-i\sin z
を連立させればわかるので、各自確認。
さて、境界条件を使うため、
一般解を微分してy''(z)を求める。
y(z)=
A\sin\mu z+B\cos\mu z
+C\sinh\mu z+D\cosh\mu z
y'(z)=
\mu A\cos\mu z-\mu B\sin\mu z
+\mu C\cosh\mu z+\mu D\sinh\mu z
y''(z)=
-\mu^{2}A\sin\mu z-\mu^{2}B\cos\mu z
+\mu^{2}C\sinh\mu z+\mu^{2} D\cosh\mu z
単純支持の境界条件はy(z)について、
y(0)=0,\;
y''(0)=0,\;
y(\ell )=0,\;
y''(\ell )=0
がなりたたなければならないから、
これらを代入すると、
y(0)=B+D=0
y''(0)=\mu^{2}(-B+D)=0
y(\ell )=
A\sin\mu\ell+B\cos\mu\ell
+C\sinh\mu\ell+D\cosh\mu\ell=0
y''(\ell )=
\mu^{2}(-A\sin\mu\ell-B\cos\mu\ell
+C\sinh\mu\ell+D\cosh\mu\ell )=0
となるが、まず上の2式を連立させるとB=D=0だから、下の2式は、
A\sin\mu\ell+C\sinh\mu\ell
=0
-A\sin\mu\ell
+C\sinh\mu\ell=0
となる。つまり、
\left(
\begin{array}{cc}
\sin\mu\ell & \sinh\mu\ell \\
-\sin\mu\ell & \sinh\mu\ell
\end{array}
\right)
\left(
\begin{array}{cc}
A\\
C
\end{array}
\right)
=
\left(
\begin{array}{cc}
0\\
0
\end{array}
\right)
となる。
A, \; Cがともに0以外でこれが成り立つためには、左辺の係数行列の行列式が0に
ならなければならないので、
\sin\mu\ell\sinh\mu\ell
+
\sin\mu\ell\sinh\mu\ell=0つまり、
\sin\mu\ell\sinh\mu\ell=0
が成り立たなければならない。
\sinh\mu\ellは\mu=0のときしか0にならないから、
\sin\mu\ell=0でなければならず、
\mu\ell =n\pi\;\;\;\;\;(n=1,2,3,...)つまり、
\mu=\dfrac{n\pi}{\ell}\;\;\;\;\;(n=1,2,3,...)
となる。
また、\sin\mu\ell =0を
A\sin\mu\ell+C\sinh\mu\ell
=0
に代入すると、C=0となるから、
y(z)=A\sin\mu z
つまり、
y_{n}(z)=A\sin\dfrac{n\pi z}{\ell}\;\;\;\;\;(n=1,2,3,...)
となる。
Aは不定だが、y(z)は振動モードを表していて、
振動の形状(モード)が\sin波となることがわかる。
というか、この問題も微分方程式
y''''(z)-\mu^{4}y(z)=0の固有値問題であり、\mu^{4}が固有値、
y(z)が固有関数に対応している。
さて、次に
\ddot{a}(t)+\kappa a(t)=0
の方を考える。
\mu^{4}=\kappa\dfrac{\rho A}{EI}だったから、
\kappa=\mu^{4}\dfrac{EI}{\rho A}
=\left(\dfrac{n\pi}{\ell}\right)^{4}\dfrac{EI}{\rho A}
となる。これを微分方程式に代入すると、
\ddot{a}(t)+\left(\dfrac{n\pi}{\ell}\right)^{4}\dfrac{EI}{\rho A}a(t)=0
ここで、
\omega_{n}^{2}=\left(\dfrac{n\pi}{\ell}\right)^{4}\dfrac{EI}{\rho A}
\;\;\;\;(n=1,2,3,...)
とおくと、
\ddot{a}(t)+\omega_{n}^{2}a(t)=0
となるが、これの一般解は
1自由度系の振動のところで
求めたように、
a_{n}(t)=F\sin\omega_{n} t+G\cos\omega_{n} t
\;\;\;\;(n=1,2,3,...)
と求まる。
F, \;Gは任意の定数。
さて、
v(z,t)=y(z)a(t)
だったが、y(z)もa(t)もn=1,2,3,...に対して無限の解y_{n}(z),\; a_{n}(t)が
存在するので、
それらがすべて重ね合わされた解は、
{\displaystyle v(z,t)=
\sum_{n=1}^{\infty}
A_{n}\sin(\dfrac{n\pi z}{\ell})
(F_{n}\sin\omega_{n}t+G_{n}\cos\omega_{n}t)
}
A_{n},\;F_{n},\;G_{n}は定数で
v(z,0)と\dot{v}(z,0)の2つの初期条件から決まるが、
H_{n}=A_{n}F_{n},\;J_{n}=A_{n}G_{n}と置き直すと
{\displaystyle v(z,t)=
\sum_{n=1}^{\infty}
\sin(\dfrac{n\pi z}{\ell})
(H_{n}\sin\omega_{n}t+J_{n}\cos\omega_{n}t)
}
となる。
\omega_{n}は固有角振動数で、
\omega_{n}=\left(\dfrac{n\pi}{\ell}\right)^{2}\sqrt{\dfrac{EI}{\rho A}}
\;\;\;\;(n=1,2,3,...) (単純支持の場合)
となる。
左端固定の片持ばりの場合は、
岩熊哲夫・小山茂『鬆徒労苦衷有迷禍荷苦痛--
計算機による構造解析の基礎としての構造力学を独習する』
の10.4.3.3 片持ち梁参照。
さて、ここでは、2つの微分方程式
y''''(z)-\mu^{4}y(z)=0
\ddot{a}(t)+\omega_{n}^{2}a(t)=0
を固有値問題として解いていて、
\mu^{4}や\omega_{n}^{2}が固有値に対応し、
y_{n}(z)やa_{n}(t)が固有関数に対応している。
\omega_{n}は固有角振動数に対応するし、
y_{n}(z)は振動モードに対応する。