次元解析
次元解析（じげんかいせき、）とは、物理量における、長さ、質量、時間、電荷などの次元から、複数の物理量の間の関係を予測することである。
物理的な関係を表す数式においては、両辺の次元が一致しなくてはならない。この規則を逆に利用すると、既知の量を組み合わせ、求めたい未知の物理量の次元に一致するように式を立てれば、それは正しい関係式になっている可能性が高い。
次元解析を用いると、一般解を得ることが困難な（ときには不可能な）現象に対して、物理量間の関係を推測することができる。
数式の左右両辺の各項の次元が等しい式は次元的に健全または次元的に斉一（）であると呼ばれる。物理法則に基いて理論的に導かれる理論式は次元的に健全であり、次元的に健全な式のみ物理では意味があると考える。すなわち物理現象を支配する物理方程式の各項の次元は次元的に健全でなければならない。この原理を次元一致の原理（）という。
物理量"Q" が"n" 個の物理量"x" によって決定されるとき、それらの関係を表す式
が次元的に健全であるということは、次のように変形できることを意味する。
ここで[・]は単位または次元、*付きの変数は無次元量を意味する。
バッキンガムのπ定理（）とは、数理物理学の分野において、次元解析の基礎となる理論である。大雑把に言うと、物理的な関係式が物理変数を"n" 個含み、それらの変数が"k" 種類の独立な基本単位を持つならば、その式は元の物理変数で構成される"p" = "n" − "k" 個の無次元パラメータを含む式と等価であるという定理である。この定理により、与えられた物理変数から、たとえ関係式の形が不明であっても無次元パラメータを求めることができる。物理量を無次元量で書き直せば、式の次元の一致・不一致をチェックする必要がなくなり、解析が簡単になる。ただし、無次元パラメータの選び方は一意ではない。バッキンガムのΠ定理は無次元パラメータを求める方法を与えるだけであり、物理的に意味のあるものを選ぶわけではない。
2つの物理的な系の無次元パラメータが一致するとき、それらの系は相似であるという（大きさのみが異なる三角形を相似と呼ぶのと同様である）。これらの系は数学的には等価であるため、解析をするために便利な（実験などがしやすい）系を選ぶことができる。
より正確に表現すると、無次元パラメータの個数"p" は次元行列"M" の退化次数 null "M" に等しく、"k" はその階数 rank "M" に等しい。物理的に異なる系に対して、無次元パラメータが等しくなるなら、それらの系は数学的に等価である。
次のような物理的な関係式があるとする：
ここで"q", ..., "q" は"n" 個の物理変数であり、"k" 種類の独立な基本単位で表されている。このとき、上式は次の数学的に等価な式に書き換えることができる：
ここでπ, ..., π は"q", ..., "q" で構成される"p" = "n" - "k" 個の 無次元パラメータである：
ここで指数"a" は有理数である（適当にべき乗すれば常に整数としてよい）。
前提として、与えられた基本単位は有理数体上のベクトル空間（物理次元ベクトル空間と呼ぶ）の基底であり、物理単位の積はベクトルの和で表され、べき乗はスカラー倍を表すとする。有次元の物理変数を必要な基本単位の指数の組で表す（現れない基本単位に対しては指数はゼロとする）。例えば、重力加速度"g" はformula_6（長さ÷時間）の次元を持つ。したがってこれは基底（長さ，時間）に関してベクトル(1, -2)で表される。
物理的単位を物理的関係式の両辺で一致させることは、物理次元ベクトル空間で線形従属性を課すこととみなすことができる。
有次元の物理変数"n" 個で表される系を考える。基本単位は"k" 種類とする。次元行列 "M" ∈ R を("i" , "j" )成分が"j" 番目の物理変数の"i" 番目の基本単位の指数である行列とする。例えば
は物理変数
の次元行列である。
無次元量は単位のべきが全てゼロとなる（すなわち次元がない）組み合わせであり、次元行列の零空間に相当する。無次元変数は有次元変数間の単位の線型結合である。
階数・退化次数公式により、"k" 個の（必要な）次元を持つ"n" 個のベクトルから成る系は関係の"p" (= "n" − "k" )-次元空間を満足する。任意の基底の選択は"p" 個の無次元数の要素を持つ。
無次元変数は（分母を払うことで）いつも有次元変数の整数の組み合わせになるように取られる。不自然な有次元数の選択が数学的にはある。いくつかの無次元変数の選択は物理的により意味があり、理想的に使われるものがある。
例としてばねにつないだ物体の振動運動について考える。水平面上に質量"m" の物体をおき、垂直に立った壁と物体との間をばね定数 "k" のばねで結ぶ。ばねの自然長の状態から物体を"x" だけずらし、静かに手を離すと物体は振動運動を始める。このときの振動の周期（１振動にかかる時間）"T" を与える式を推測する。水平面との摩擦や空気抵抗は考えない。
式に含まれるであろう定数は、物体の質量"m" formula_9、ばね定数"k" formula_10、初期変位"x" formula_11の3つで、求めるべき周期"T" の次元はformula_12である（長さの次元をformula_13、質量の次元をformula_14、時間の次元をformula_12とした）。この中で長さの次元を含んでいるのは初期変位のみなので、式に含めることができない。なぜなら式の左辺と右辺では次元が一致しなくてはならず、初期変位を含めるならば両辺に同じだけかける必要があり、それならば無くても同じだからである。
次元がformula_12になるように"m" と"k" を組み合わせる方法は一つしかない。結果次の式が求まる。
比例係数"A" は無次元量の定数で次元解析から求めることはできない。この運動の運動方程式を直接解くと周期は
となり、"A" = 2πのもとで両者は見事に一致している（固有振動も参照）。このように簡単な問題ならば次元を考えるだけで見通しが立つ。式の次元が合うことは必須の要請であるので、式の間違いをチェックする場合にも使える。
バッキンガムのΠ定理にしたがって考えると、物理量が"m" 、"k" 、"x" および"T" の4つで、次元がformula_19の3種類なので、次元行列は
となる（列が"m" 、"k" 、"x" 、"T" に、行がformula_19に対応する）。null "M" = 1から、1個の無次元量があることが分かる。関係式はすなわちこの無次元量が定数ということである。
ばねにつながれた物体が、速度に比例した大きさの抵抗（粘性抵抗力）を受けながら一次元運動することを考える。運動方程式は以下である：
式に現れる定数は、物体の質量 "m" formula_9、粘性抵抗の比例係数"γ" formula_25、ばね定数 "k" formula_10の3つである。
この運動では、特徴的な時間尺度( characteristic time scale )が2つ存在する。即ち、
の2つの時間が現象を特徴づけており、時間尺度の競合が起こる。つまりτと1/ωの大きさのバランスによって運動の様子が変わることが予想される。
Π定理からも、物理量が "m" 、γ、"k" の3つで、次元がformula_29の2種類である（調和振動のときと同じ理由によって、初期変位は入れなくても良い）から、次元行列が
となる。したがって1つの無次元量τωの大きさで振動を定性的に分類できることがわかる。
実際、運動方程式を解析的に解くと、τω > 1/2のとき減衰振動、τω = 1/2のとき臨界減衰、τω < 1/2のとき過減衰となり、運動が定性的にも変化する。
ポンプ、送風機や発電用水車などのターボ機械は内部流れが複雑であるため、その挙動を表すナビエ-ストークス方程式を直接解くことができない。しかしその運転状態は以下の条件を与えるとおおよそ決まることが分かっている：
このとき、次の未知量を推測する：
この場合は物理量は6つ、次元が3種類である。
次元が一致するように各変数のべきを調整すると、（変数が多いので一意ではないが）以下のように関係式を推測できる：
ここで、"A"、"B"、α、βは次元解析から求めることはできないが、条件で考慮していない流体の粘度や機械の各部寸法バランスなどに依存する無次元量である。この場合の次元行列は
で無次元数は null "M" = 3つ存在する：
無次元の関係式 "f" 、"g" で表すと
となる。
原子構造を古典物理学が説明できないということも次元解析から理解できる。
水素原子は電子がクーロン力で惑星のように陽子に束縛されている。その軌道の半径 formula_11 は、
で表されると考えられる。ここで、formula_14 は質量、formula_13 は長さ、formula_12 は時間、formula_49 は電流の次元を表す。ところが、これらの量をどう組み合わせても、長さの次元 formula_13 を持った量を構成することができない。すなわち、水素原子は一定の大きさをとることができない。そこでニールス・ボーアは、このようなミクロの世界ではプランク定数"h" formula_51 が関係していると考えた。以上の4つの物理量を組み合わせて長さの次元を持つ量を作ると、
が導かれる。これはボーア半径のπ倍である。
以上の次元解析的議論により、ボーアは"h" が必須であることを確信した。
長さの次元 formula_13 に対して、3方向 ("x" , "y" , "z" ) を区別して次元解析することを方向性次元解析（）という。重力や境界層など、特別な方向をもつ物理現象に対しては方向性次元解析が有効になる場合がある。