次元解析

次元解析とは、物理量における、長さ、質量、時間、電荷などの次元から、複数の物理量の間の関係を予測することである。

物理的な関係を表す数式においては、両辺や各項の次元が一致しなくてはならない。この規則を逆に利用すると、既知の量を組み合わせ、求めたい未知の物理量の次元に一致するように式を立てれば、それは正しい関係式になっている可能性が高い。

次元解析を用いると、一般解を得ることが困難な現象に対して、物理量間の関係を推測することができる。また、ミスの防止にも役立つ。

1. 次元一致の原理
----------

数式の左右両辺の各項の次元が等しい式は次元的に健全または次元的に斉一であると呼ばれる。物理法則に基いて理論的に導かれる理論式は次元的に健全であり、次元的に健全な式のみ物理では意味があると考える。すなわち物理現象を支配する物理方程式の各項の次元は次元的に健全でなければならない。この原理を次元一致の原理という。

1.1. 数学的表現
----------

物理量//Q// が//n// 個の物理量//xi// によって決定されるとき、それらの関係を表す式

が次元的に健全であるということは、次のように変形できることを意味する。

ここでは物理量の単位または次元、*付きの変数は無次元量を意味する。

2. バッキンガムのπ定理
-------------

バッキンガムのπ定理とは、数理物理学の分野において、次元解析の基礎となる理論である。大雑把に言うと、物理的な関係式が物理変数を//n// 個含み、それらの変数が//k// 種類の独立な基本単位を持つならば、その式は元の物理変数で構成される//p// = //n// - //k// 個の無次元パラメータを含む式と等価であるという定理である。この定理により、与えられた物理変数から、たとえ関係式の形が不明であっても無次元パラメータを求めることができる。物理量を無次元量で書き直せば、式の次元の一致・不一致をチェックする必要がなくなり、解析が簡単になる。ただし、無次元パラメータの選び方は一意ではない。バッキンガムのΠ定理は無次元パラメータを求める方法を与えるだけであり、物理的に意味のあるものを選ぶわけではない。

2つの物理的な系の無次元パラメータが一致するとき、それらの系は相似であるという。これらの系は数学的には等価であるため、解析をするために便利な系を選ぶことができる。

より正確に表現すると、無次元パラメータの個数//p// は次元行列//M// の退化次数 null //M// に等しく、//k// はその階数 rank //M// に等しい。物理的に異なる系に対して、無次元パラメータが等しくなるなら、それらの系は数学的に等価である。

2.1. 定式化
--------

次のような物理的な関係式があるとする：

ここで//q//1, ..., //qn// は//n// 個の物理変数であり、//k// 種類の独立な基本単位で表されている。このとき、上式は次の数学的に等価な式に書き換えることができる：

ここでπ1, ..., π//p// は//q//1, ..., //qn// で構成される//p// = //n// - //k// 個の 無次元パラメータである：

ここで指数//ai// は有理数である。

2.2. 証明
-------

2.2.1. 概要
---------

前提として、与えられた基本単位は有理数体上のベクトル空間の基底であり、物理単位の積はベクトルの和で表され、べき乗はスカラー倍を表すとする。有次元の物理変数を必要な基本単位の指数の組で表す。例えば、重力加速度//g// はの次元を持つ。したがってこれは基底に関してベクトルで表される。

物理的単位を物理的関係式の両辺で一致させることは、物理次元ベクトル空間で線形従属性を課すこととみなすことができる。

2.2.2. 正式な証明
------------

有次元の物理変数//n// 個で表される系を考える。基本単位は//k// 種類とする。次元行列 //M// ∈ R//k//×//n// を成分が//j// 番目の物理変数の//i// 番目の基本単位の指数である行列とする。例えば

は物理変数 //q//sub の次元行列である。

無次元量は単位のべきが全てゼロとなる組み合わせであり、次元行列の零空間に相当する。無次元変数は有次元変数間の単位の線型結合である。

階数・退化次数公式により、//k// 個の次元を持つ//n// 個のベクトルから成る系は関係の//p// -次元空間を満足する。任意の基底の選択は//p// 個の無次元数の要素を持つ。

無次元変数はいつも有次元変数の整数の組み合わせになるように取られる。不自然な有次元数の選択が数学的にはある。いくつかの無次元変数の選択は物理的により意味があり、理想的に使われるものがある。

3. 例
----

3.1. 調和振動
---------

例としてばねにつないだ物体の振動運動について考える。水平面上に質量 //m//}} の物体をおき、垂直に立った壁と物体との間をばね定数 //k//}} のばねで結ぶ。ばねの自然長の状態から物体を //x//}} だけずらし、静かに手を離すと物体は振動運動を始める。このときの振動の周期//T//}} を与える式を推測する。水平面との摩擦や空気抵抗は考えない。

式に含まれるであろう定数は、物体の質量 //m//}}、ばね定数 //k//}}、初期変位 //x//}} の3つである。長さの次元を、質量の次元を、時間の次元をとすれば、それぞれの定数および周期 //T//}} の次元はである。この中で長さの次元を含んでいるのは初期変位 //x//}} のみなので、式に含めることができない。なぜなら式の左辺と右辺では次元が一致しなくてはならず、初期変位を含めるならば両辺に同じだけかける必要があり、それならば無くても同じだからである。

次元がになるように //m//}} と //k//}} を組み合わせる方法は一つしかない。結果次の式が求まる。

比例係数 //A//}} は無次元量の定数で次元解析から求めることはできない。この運動の運動方程式を直接解くと周期は

となり、//A// =}} 2π}} のもとで両者は見事に一致している。このように簡単な問題ならば次元を考えるだけで見通しが立つ。式の次元が合うことは必須の要請であるので、式の間違いをチェックする場合にも使える。

バッキンガムのΠ定理にしたがって考えると、物理量が //m//, //k//, //x//}} および //T//}} の4つで、次元がの3種類なので、次元行列は

となる。null //M// =}} 1}} から、1個の無次元量があることが分かる。関係式はすなわちこの無次元量が定数ということである。

3.2. 減衰振動
---------

ばねにつながれた物体が、速度に比例した大きさの抵抗を受けながら一次元運動することを考える。運動方程式は以下である

式に現れる定数は、物体の質量 //m//}}、粘性抵抗の比例係数 //c//}}、ばね定数 //k//}} の3つで、それぞれの次元はである。

この運動では、特徴的な時間尺度  が2つ存在する。即ち、

減衰時間：
固有周期：の2つの時間が現象を特徴づけており、時間尺度の競合が起こる。つまり τ}} と 1/ω}} の大きさのバランスによって運動の様子が変わることが予想される。

Π定理からは、物理量が //m//, //c//, //k//}} の3つで次元がの2種類であるから、次元行列が

となる。したがって1つの無次元量でこの現象を特徴づけられることがわかる。この無次元量には通常、減衰比と呼ばれる

が用いられ、実際に運動方程式を解析的に解くと、ζ < 1}} のとき減衰振動、ζ =}} 1}} のとき臨界減衰、ζ > 1}} のとき過減衰となり、運動が定性的にも変化する。

3.3. 流体機械
---------

ポンプ、送風機や発電用水車などのターボ機械は内部流れが複雑であるため、その挙動を表すナビエ-ストークス方程式を直接解くことができない。しかしその運転状態は以下の条件を与えるとおおよそ決まることが分かっている：

作動流体の密度 ρ}}　
機械の大きさ //D//}}　
回転速度 //N//}}　
流量 //Q//}}　 このとき、次の未知量を推測する：

圧力 //P//}}　
出力 //L//}}　 この場合は物理量は6つ、次元が3種類である。

次元が一致するように各変数のべきを調整すると、以下のように関係式を推測できる：

ここで、//A//, //B//, α, β}} は次元解析から求めることはできないが、条件で考慮していない流体の粘度や機械の各部寸法バランスなどに依存する無次元量である。

この場合の次元行列は

であるため無次元数は null //M// =}} }}3つ存在する。よく用いられるのはそれぞれ流量係数、圧力係数、出力係数と呼ばれる以下の3つである：

無次元の関係式 //f//, //g//}} で表すと

となる。

3.4. 原子構造
---------

原子構造を古典物理学が説明できないということも次元解析から理解できる。

水素原子は電子がクーロン力で惑星のように陽子に束縛されている。その軌道の半径 //a//}} は、

電子の質量//m// 　
電気素量//e// 　
真空の誘電率ε0}}　 で表されると考えられる。ここで、 は質量、 は長さ、 は時間、 は電流の次元を表す。ところが、これらの量をどう組み合わせても、長さの次元 を持った量を構成することができない。すなわち、水素原子は一定の大きさをとることができない。そこでニールス・ボーアは、このようなミクロの世界では次元が のプランク定数 //h// が関係していると考えた。以上の4つの物理量を組み合わせて長さの次元を持つ量を作ると、

が導かれる。これはボーア半径の π}} 倍である。

以上の次元解析的議論により、ボーアは //h//}} が必須であることを確信した。

4. 拡張
-----

次元解析を行う際に用いる次元は国際単位系の基本単位に対応する7つの次元に限る必要はなく、扱う問題に応じて独立した次元を選ぶことができる。たとえば加速度のない流れでは質量、長さ、時間に加えて力を独立次元とみなすことでより厳密な情報が得られるというブリッジマンに由来する方法がある。

また長さの次元 に対して、3方向 }} を区別して次元解析してもよい。この方法はHuntleyに由来し、方向性次元解析