次元解析(じげんかいせき、英: dimensional analysis)とは、物理量における、長さ、質量、時間、電荷などの次元から、複数の物理量の間の関係を予測することである。
物理的な関係を表す数式においては、両辺や各項の次元が一致しなくてはならない。この規則を逆に利用すると、既知の量を組み合わせ、求めたい未知の物理量の次元に一致するように式を立てれば、それは正しい関係式になっている可能性が高い。
次元解析を用いると、一般解を得ることが困難な(ときには不可能な)現象に対して、物理量間の関係を推測することができる。また、ミスの防止にも役立つ。 数式の左右両辺の各項の次元が等しい式は次元的に健全[1]または次元的に斉一(homogeneous)[2]であると呼ばれる。物理法則に基いて理論的に導かれる理論式は次元的に健全であり、次元的に健全な式のみ物理では意味があると考える。すなわち物理現象を支配する物理方程式の各項の次元は次元的に健全でなければならない。この原理を次元一致の原理(principle of dimensional consistency)という[3]。 物理量Q がn 個の物理量xi によって決定されるとき、それらの関係を表す式 Q = F ( x 1 , … , x n ) {\displaystyle Q=F(x_{1},\dots ,x_{n})} が次元的に健全であるということは、次のように変形できることを意味する[4]。 F ( x 1 , … , x n ) = ∏ i [ X i ] a i × F ∗ ( x 1 ∗ , … , x n ∗ ) {\displaystyle F(x_{1},\dots ,x_{n})=\prod _{i}[X_{i}]^{a_{i}}\times F^{*}(x_{1}^{*},\dots ,x_{n}^{*})} ここで [ X i ] {\displaystyle [X_{i}]} は物理量 x i {\displaystyle x_{i}} の単位または次元、*付きの変数は無次元量を意味する。 バッキンガムのπ定理(Buckingham Π theorem 2つの物理的な系の無次元パラメータが一致するとき、それらの系は相似であるという(大きさのみが異なる三角形を相似と呼ぶのと同様である)。これらの系は数学的には等価であるため、解析をするために便利な(実験などがしやすい)系を選ぶことができる。 より正確に表現すると、無次元パラメータの個数p は次元行列M の退化次数 null M に等しく、k はその階数 rank M に等しい。物理的に異なる系に対して、無次元パラメータが等しくなるなら、それらの系は数学的に等価である。 次のような物理的な関係式があるとする: f ( q 1 , q 2 , … , q n ) = 0 {\displaystyle f(q_{1},q_{2},\dots ,q_{n})=0} ここでq1, ..., qn はn 個の物理変数であり、k 種類の独立な基本単位で表されている。このとき、上式は次の数学的に等価な式に書き換えることができる: F ( π 1 , π 2 , … , π p ) = 0 {\displaystyle F(\pi _{1},\pi _{2},\dots ,\pi _{p})=0} ここでπ1, ..., πp はq1, ..., qn で構成されるp = n - k 個の 無次元パラメータである: π i = q 1 a 1 q 2 a 2 ⋯ q n a n , i = 1 , … , p {\displaystyle \pi _{i}=q_{1}^{a_{1}}\,q_{2}^{a_{2}}\cdots q_{n}^{a_{n}},\quad i=1,\dots ,p} ここで指数ai は有理数である(適当にべき乗すれば常に整数としてよい)。 前提として、与えられた基本単位は有理数体上のベクトル空間(物理次元ベクトル空間と呼ぶ)の基底であり、物理単位の積はベクトルの和で表され、べき乗はスカラー倍を表すとする。有次元の物理変数を必要な基本単位の指数の組で表す(現れない基本単位に対しては指数はゼロとする)。例えば、重力加速度g は L T − 2 {\displaystyle {\mathsf {LT}}^{-2}} (長さ÷時間2)の次元を持つ。したがってこれは基底(長さ,時間)に関してベクトル(1, -2)で表される。 物理的単位を物理的関係式の両辺で一致させることは、物理次元ベクトル空間で線形従属性を課すこととみなすことができる。 有次元の物理変数n 個で表される系を考える。基本単位はk 種類とする。次元行列 M ∈ Rk×n を(i , j )成分がj 番目の物理変数のi 番目の基本単位の指数である行列とする。例えば M = ( a 1 ⋮ a n ) {\displaystyle M={\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}} は物理変数 q1a1, q2a2, …, qnan の次元行列である。 無次元量は単位のべきが全てゼロとなる(すなわち次元がない)組み合わせであり、次元行列の零空間に相当する。無次元変数は有次元変数間の単位の線型結合である。 階数・退化次数公式により、k 個の(必要な)次元を持つn 個のベクトルから成る系は関係のp (= n - k )-次元空間を満足する。任意の基底の選択はp 個の無次元数の要素を持つ。 無次元変数は(分母を払うことで)いつも有次元変数の整数の組み合わせになるように取られる。不自然な有次元数の選択が数学的にはある。いくつかの無次元変数の選択は物理的により意味があり、理想的に使われるものがある。 例としてばねにつないだ物体の振動運動について考える。水平面上に質量 m の物体をおき、垂直に立った壁と物体との間をばね定数 k のばねで結ぶ。ばねの自然長の状態から物体を x だけずらし、静かに手を離すと物体は振動運動を始める。このときの振動の周期(1振動にかかる時間)T を与える式を推測する。水平面との摩擦や空気抵抗は考えない。 式に含まれるであろう定数は、物体の質量 m、ばね定数 k、初期変位 x の3つである。長さの次元を L {\displaystyle {\mathsf {L}}} 、質量の次元を M {\displaystyle {\mathsf {M}}} 、時間の次元を T {\displaystyle {\mathsf {T}}} とすれば、それぞれの定数および周期 T の次元は [ m ] = M , [ k ] = M T − 2 , [ x ] = L , [ T ] = T {\displaystyle [m]={\mathsf {M}},[k]={\mathsf {MT}}^{-2},[x]={\mathsf {L}},[T]={\mathsf {T}}} である。この中で長さの次元 L {\displaystyle {\mathsf {L}}} を含んでいるのは初期変位 x のみなので、式に含めることができない。なぜなら式の左辺と右辺では次元が一致しなくてはならず、初期変位を含めるならば両辺に同じだけかける必要があり、それならば無くても同じだからである。 次元が T {\displaystyle {\mathsf {T}}} になるように m と k を組み合わせる方法は一つしかない。
次元一致の原理
数学的表現
バッキンガムのπ定理
定式化
証明.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}が望まれています。
概要
正式な証明
例
調和振動
Size:48 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef