工学および科学において、さまざまな物理量の次元解析とは、それらの物理的次元または 量次元の解析であり、関連する基本量(長さ、質量、時間など)のべき乗を識別する数学的表現として定義され、計算や比較が行われる際にこれらの次元を追跡するものである。[ 1 ] 次元解析と量次元の概念は、1822年にジョセフ・フーリエによって導入された。 [ 2 ] : 42
比較可能な物理量は、同じ次元を持ち、同じ種類であるため、異なる測定単位で表されていても直接比較できます。例えば、メートルとフィート、グラムとポンド、秒と年などです。比較不可能な物理量は、異なる次元を持つため、どのような単位で表されていても直接比較できません。例えば、メートルとグラム、秒とグラム、メートルと秒などです。例えば、1グラムが1時間より大きいかどうかを問うことは無意味です。
物理的に意味のある方程式や不等式は 、左辺と右辺の次元が同じでなければなりません。この性質は次元同質性と呼ばれます。次元同質性の確認は次元解析の一般的な応用例であり、導出された方程式や計算の妥当性を確認する役割を果たします。また、より厳密な導出がない場合に、物理システムを記述する方程式を導出する際の指針や制約としても機能します。
バッキンガムのπ定理は、n個の変数を含む物理的に意味のあるすべての方程式が、n − m個の無次元パラメータの方程式として等価的に書き換えられることを説明しています。ここで、 mは次元行列のランクです。さらに、最も重要な点として、この定理は、与えられた変数からこれらの無次元パラメータを計算する方法を提供します。
次元方程式は、次元解析から始まる無次元化によって次元を削減または消去することができ、無次元化にはシステムの特性単位または自然の物理定数による量のスケーリングが含まれます。[ 2 ]: 43これにより、以下の例に示すように、システムの基本的な特性についての洞察が得られる可能性があります。
物理量の次元は、長さ、質量、時間といった基本となる物理量の次元をそれぞれ整数(場合によっては有理数)乗した積として表すことができます。物理量の次元は、その物理量の量を表すために用いられる尺度や単位よりも根本的なものです。例えば、質量は次元であり、キログラムは質量を表すために選ばれた特定の基準量です。単位の選択は任意であり、多くの場合、歴史的な先例に基づいています。自然単位は普遍定数のみに基づいているため、「恣意性が低い」と考えることができます。
基本となる物理寸法には多くの選択肢があります。SI規格では、以下の寸法とそれに対応する寸法記号が採用されています。
記号は慣例として通常、ローマンサンセリフ体で表記される。[ 3 ]数学的には、量Qの次元は次のように与えられる。
ここで、 a、b、c、d、e、f、gは次元指数です。他の物理量も基底を形成する限り、基底量として定義できます。たとえば、 SI 基底の電流の次元 (I) を電荷の次元 (Q) に置き換えることができます。Q = TIだからです。
b ≠ 0のみを持つ量(他のすべての指数がゼロ)は、幾何学的量として知られています。 a ≠ 0かつb ≠ 0のみを持つ量は、運動学的量として知られています。 a ≠ 0、b ≠ 0、c ≠ 0のすべてを持つ量は、動的量として知られています。[ 4 ] すべての指数がゼロである量は、次元が 1であると言われます。[ 3 ]
物理量を表すために選択された単位とその次元は関連していますが、同一の概念ではありません。物理量の単位は慣例によって定義され、何らかの基準に関連付けられています。たとえば、長さにはメートル、フィート、インチ、マイル、マイクロメートルなどの単位がありますが、長さを表すためにどのような単位が選択されても、常にLという次元を持ちます。同じ物理量の2つの異なる単位には、それらを関連付ける換算係数があります。たとえば、1インチ = 2.54 cmの場合、2.54 cm/inが換算係数であり、これは無次元で1に等しくなります。したがって、この換算係数を掛けても、物理量の次元も値も変わりません。
物理量の相容れない基本次元の存在そのものに疑問を呈する物理学者もいるが、[ 5 ]これは次元解析の有用性を無効にするものではない。
例として、物理量速度vの次元は
物理量加速度aの次元は
物理量力Fの次元は
物理量圧力Pの次元は
物理量エネルギーEの次元は
物理量パワーPの次元は
物理量である電荷Qの次元は
物理量電圧Vの次元は
物理量である静電容量Cの次元は
次元解析において、レイリー法は物理学、化学、工学で用いられる概念的な手法である。これは、いくつかの変数の関数関係を指数方程式の形で表すものであり、レイリー卿にちなんで名付けられた。
この方法は以下の手順から構成されます。
欠点として、レイリー法では、次元解析の結果として得られる無次元群の数に関する情報が一切得られない。
物理科学や工学における多くのパラメータや測定値は、具体的な数値、つまり数値量とそれに対応する次元単位で表されます。多くの場合、ある量は他の複数の量で表されます。例えば、速度は長さと時間の組み合わせで表され、例えば 時速60キロメートルまたは 秒速1.4キロメートルとなります。「~あたり」を含む複合関係は除算で表され、例えば60 km/hとなります。その他の関係には、乗算(多くの場合、中央にドットを付けたり、ドットを並べたりして示されます)、べき乗(平方メートルを表すm²など) 、またはそれらの組み合わせが含まれる場合があります。
測定システムの基本単位のセットとは、慣習的に選択された単位のセットであり、そのどれもが他の単位の組み合わせとして表現できず、システムの残りのすべての単位をその単位で表現できるものです。[ 6 ]例えば、長さと時間の単位は通常、基本単位として選択されます。しかし、体積の単位は長さの基本単位(m 3)に因数分解できるため、派生単位または複合単位とみなされます。
単位の名前によっては、それが派生単位であるという事実が分かりにくくなることがあります。例えば、ニュートン(N)は力の単位であり、質量(単位:kg)と加速度(単位: m⋅s⁻² )の積として表すことができます。ニュートンは1 N = 1 kg⋅m⋅s⁻²と定義されます。
パーセンテージは無次元量です。なぜなら、パーセンテージは同じ次元を持つ2つの量の比率だからです。言い換えれば、1% = 1/100 なので、%記号は「100分の1」と読むことができます。
ある量に関して微分を取ると、その次元を微分対象の変数の次元で割ることになります。したがって、次のようになります。
同様に、積分を行うと、積分対象の変数の次元が分子に加わります。
経済学では、ストックとフローを区別する。ストックは単位(例えば、ウィジェットやドル)を持つ一方、フローはストックの派生形であり、その単位を時間の単位で割った形の単位(例えば、ドル/年)を持つ。
文脈によっては、次元のある量を、一部の次元を省略することで無次元量またはパーセンテージとして表現することがあります。たとえば、債務対GDP比は一般的にパーセンテージで表されます。つまり、未払い債務総額(通貨の次元)を年間GDP(通貨の次元)で割ったものです。しかし、ストックとフローを比較する場合、年間GDPは通貨/時間の次元(たとえば、ドル/年)を持つべきであり、したがって債務対GDP比は単位年を持つべきであると主張することもできます。これは、債務対GDP比が、すべてのGDPが債務に費やされ、債務がそれ以外は変化しない場合に、一定のGDPが債務を返済するのに必要な年数であることを示しています。
次元解析の最も基本的なルールは、次元の均質性である。[ 7 ]
しかし、次元は乗法に関してアーベル群を形成するので、次のようになる。
例えば、1時間と1キロメートルは次元が異なるため、1時間が1キロメートルより多いか、同じか、少ないかを問うことは意味がありません。また、1時間に1キロメートルを加えることも意味がありません。しかし、1マイルは1キロメートルより多いか、同じか、少ないかを問うことは意味があります。単位は異なっても、物理量の次元は同じだからです。一方、物体が2時間で100キロメートル移動した場合、2時間で割って、物体の平均速度が時速50キロメートル だったと結論付けることができます。
この規則は、物理的に意味のある式においては、同じ次元の量のみを加算、減算、または比較できることを意味します。例えば、m man、m rat、L manがそれぞれある男性の質量、ネズミの質量、その男性の長さを表す場合、次元的に同質な式m man + m rat は意味を持ちますが、異質な式m man + L manは意味を持ちません。しかし、m man / L 2 man は問題ありません。したがって、次元解析は物理方程式の妥当性チェックとして使用できます。つまり、どの方程式の両辺も同値であるか、同じ次元を持つ必要があります。
2つの物理量が同一の次元を持つ場合でも、それらを比較したり加算したりすることは無意味な場合がある。例えば、トルクとエネルギーはT −2 L 2 Mという次元を共有するが、根本的に異なる物理量である。
同じ寸法でも単位が異なる量を比較、加算、減算する場合、標準的な手順はまずそれらをすべて同じ単位に変換することです。例えば、32メートルと35ヤードを比較するには、1 ヤード=0.9144 メートルを用いて35ヤードを32.004メートルに変換します 。
関連する原理として、現実世界を正確に記述する物理法則は、物理変数を測定するために使用される単位に依存しない必要があるというものがあります。[ 8 ]例えば、ニュートンの運動法則は、距離をマイルで測定してもキロメートルで測定しても成り立たなければなりません。この原理により、同じ次元を測定する2つの単位間の変換係数は、単純な定数を掛けた形をとる必要があるという結論に至ります。また、等価性も保証されます。例えば、2つの建物の高さがフィートで同じであれば、メートルでも同じ高さでなければなりません。
例えば、速度を計算する場合、単位は常に L/T に組み合わせなければなりません。エネルギーを計算する場合、単位は常にML² /T²に組み合わせなければなりません。例えば、以下の式は、あるエネルギーを表す有効な式となり得ます。
mは質量、vとcは速度、pは運動量、hはプランク定数、λ は長さです。一方、右辺の単位が [質量][長さ] 2 /[時間] 2に結びつかない場合、それは何らかのエネルギーの有効な表現にはなり得ません。
同次であるからといって、必ずしもその式が正しいとは限りません。なぜなら、数値的な要素を考慮していないからです。例えば、E = mv²は、質量mの粒子が速度vで移動するときのエネルギーの正しい式である場合もあれば、そうでない場合もあります。また、 hc / λ を2πで割るべきか掛けるべきかを知ることはできません。
次元解析では、ある測定単位を別の測定単位に変換する際に、その量を変えない商を変換係数と呼びます。たとえば、kPa と bar はどちらも圧力の単位であり、100 kPa = 1 bar です。代数の規則では、等式の両辺を同じ式で割ることができるため、これは100 kPa / 1 bar = 1と同等です。任意の量は 1 を掛けても変化しないので、式「100 kPa / 1 bar」を単位を含めた変換対象の量に掛けることで、bar から kPa に変換できます。たとえば、5 bar × 100 kPa / 1 bar = 500 kPaとなります。これは、 5 × 100 / 1 = 500であり、bar/bar が相殺されるため、 5 bar = 500 kPaとなるからです。
次元解析は、物理学や化学、そしてそれらの数学において最もよく用いられるが、これらの分野以外でも応用例が見られる。
次元解析を数学に応用した簡単な例として、n次元球( n次元の立体球)の体積や、その表面積であるn次元球面の形状を計算することが挙げられます。n次元図形であるため、体積はx nに比例し、 ( n -1)次元である表面積はx n -1に比例します。したがって、半径で表したn次元球の体積は、ある定数C nに対してC n r nとなります。定数を決定するにはより複雑な数学が必要ですが、形状は次元解析だけで導き出し、検証することができます。
金融、経済、会計の分野では、次元分析はストックとフローの区別という観点から最も一般的に言及される。より一般的には、次元分析は様々な財務比率、経済比率、会計比率の解釈に用いられる。
流体力学では、次元解析によって無次元のπ項またはπ群が得られます。次元解析の原理によれば、任意のプロトタイプは、システムの挙動を記述する一連のπ項またはπ群によって記述できます。適切なπ項またはπ群を使用することで、同じ次元関係を持つモデルに対して同様のπ項のセットを開発することが可能です。[ 9 ]言い換えれば、π項は特定のプロトタイプを表すモデルを開発するための近道となります。流体力学でよく用いられる無次元群には、以下のようなものがあります。
次元解析の起源については、歴史家の間で議論が分かれている。[ 10 ] [ 11 ]次元解析の最初の文書による応用は、ジョゼフ=ルイ・ラグランジュの弟子であるフランソワ・ダヴィエが1799年にトリノ科学アカデミーで発表した論文によるものとされている。 [ 11 ]
このことから、意味のある法則は、さまざまな測定単位において同次方程式でなければならないという結論に至り、その結果は最終的に後にバッキンガムのπ定理として形式化されました。 シメオン・ポアソンも、1811年と1833年の論文(第1巻、39ページ)で、ダヴィエの平行四辺形の法則の同じ問題を扱いました。 [ 12 ] 1833年の第2版では、ポアソンはダヴィエの同次性の代わりに次元という用語を明示的に導入しました。
1822年、ナポレオン時代の重要な科学者ジョセフ・フーリエは、F = maのような物理法則は物理変数を測定するために用いられる単位に依存しないという考えに基づき、最初の重要な貢献をしたとされている[13 ] 。
ジェームズ・クラーク・マクスウェルとフリーミング・ジェンキンは、質量、長さ、時間を基本単位として区別し、他の単位を派生単位と呼ぶことで、次元解析の現代的な使用法を確立する上で重要な役割を果たしました。[ 14 ] [ 15 ]マクスウェルは長さ、時間、質量を「3つの基本単位」と定義しましたが、重力定数Gを1とするニュートンの万有引力の法則の形式を仮定することで、重力質量は長さと時間から導出できることも指摘し、それによってM = T −2 L 3と定義しました。[ 16 ]クーロン定数k eを 1 とするクーロンの法則の形式を仮定することで、マクスウェルは静電気単位電荷の次元がQ = T −1 L 3/2 M 1/2であると決定しました。[ 17 ]この式を質量に代入すると、電荷は質量と同じ次元を持つことになります。 Q = T −2 L 3。
次元解析は、理解し特徴づけたい特定の現象に関わる物理量間の関係を導き出すためにも使用されます。この方法で初めて使用されたのは、1872年に空が青い理由を理解しようとしていたレイリー卿でした。 [ 18 ] レイリーは、1877年の著書『音の理論』でこの手法を初めて発表しました。[ 19 ]
フーリエの熱理論における次元という言葉の本来の意味は、基本単位の指数の数値でした。例えば、加速度は長さの単位に対して次元1、時間の単位に対して次元-2を持つと考えられていました。[ 20 ]これはマクスウェルによって少し変更され、加速度の次元は指数だけではなくT - 2Lであると述べました。[ 21 ]
質量 m の物体がばね定数kの理想的な線形ばねに取り付けられ、重力gで吊り下げられているときの振動 周期 T はいくらでしょうか。この周期は、変数T、m、k、gに関する無次元方程式のTの解です。4 つの量の次元は次のとおりです。T ( T)、 m (M)、k (M/T 2 )、g (L/T 2 )。これらから、選択した変数のべき乗の無次元積G 1 = T 2 k / m (T 2 · M/T 2 / M = 1)を形成できます。G 1 = C (無次元定数C)とすると、求める無次元方程式が得られます。変数のべき乗の無次元積は、変数の無次元群と呼ばれることもあります。ここで「群」という用語は、数学的な群ではなく「集合」を意味します。無次元数と呼ばれることもよくあります。
変数gはこのグループには含まれていません。gは次元 L を含む唯一の量であるため、 gとk、m、Tを組み合わせた無次元のべき乗積を形成することは不可能であることが容易にわかります。これは、この問題ではgが無関係であることを意味します。次元解析は、問題におけるいくつかの量の無関係性、または追加のパラメータの必要性について、強い主張をもたらすことがあります。問題を適切に記述するのに十分な変数を選択した場合、この議論から、ばね上の質量の周期はgに依存しない、つまり地球上でも月面でも同じであると結論付けることができます。この問題におけるべき乗積の存在を示す式は、完全に同等の方法で記述できます。、無次元定数κ(等しい)(元の無次元方程式から)。
次元解析によって、状況の物理的記述に直感的に含まれると予想される変数(ここではg)が棄却された場合、別の可能性として、棄却された変数は実際には関連性があるものの、他の関連変数が省略されており、その変数と組み合わさって無次元量を形成しているということが考えられます。しかし、今回のケースはそうではありません。
次元解析によって無次元群が1つだけ得られる場合(今回のように)、未知の関数はなく、解は「完全」であると言われますが、κなどの未知の無次元定数が含まれる場合もあります。
長さℓ (L)の振動するワイヤーが振幅A (L)で振動する場合を考えます。ワイヤーの線密度はρ (M/L)で、張力s (LM/T 2 )がかかっています。ワイヤー内のエネルギーE (L 2 M/T 2 )を知りたいとします。π 1とπ 2を、選択した変数のべき乗の無次元積とします。
ワイヤーの線密度は関係ありません。見つかった2つのグループは、方程式として等価な形式に組み合わせることができます。
ここでFは未知の関数、または同等に
ここでfは別の未知の関数です。ここで未知の関数が存在するということは、私たちの解がまだ不完全であることを意味しますが、次元解析によって、おそらく自明ではなかったことが分かりました。それは、エネルギーが張力の 1 乗に比例するということです。さらなる解析的分析を行わない限り、未知の関数fの形を見つけるために実験に進むかもしれません。しかし、次元解析がない場合よりも実験は簡単になります。エネルギーが張力に比例することを検証するために実験を行う必要はありません。あるいは、エネルギーがℓに比例すると推測し、E = ℓsと推論するかもしれません。実験や仮説形成の補助としての次元解析の威力が明らかになります。
次元解析の真価は、上記のような状況とは異なり、より複雑で、関係する変数が明確ではなく、基礎となる方程式が極めて複雑な状況に適用されたときにこそ発揮されます。例えば、川底に置かれた小さな小石を考えてみましょう。川の流れが十分に速ければ、小石は実際に持ち上げられ、水とともに流されます。どのような臨界速度でこれが起こるのでしょうか?推測された変数を整理するのは、以前ほど簡単ではありません。しかし、次元解析はこのような問題を理解する上で強力な助けとなり、基礎となる方程式や制約が十分に理解されていない複雑な問題に対しては、通常、最初に適用されるツールとなります。このような場合、答えはレイノルズ数などの無次元数に依存する可能性があり、次元解析によって解釈することができます。

軸方向の厚さt (L)、半径R (L)の薄い固体で平行な側面を持つ回転円盤の場合を考えます。円盤の密度はρ (M/L 3 ) で、角速度ω (T −1 ) で回転し、これにより材料に応力S (T −2 L −1 M) が発生します。円盤が半径に比べて薄く、円盤の面が軸方向に自由に移動でき、平面応力構成関係が有効であると仮定できる場合、この問題には Lame によって与えられた理論的な線形弾性解があります。円盤が半径に比べて厚くなると、平面応力解は破綻します。円盤が自由面で軸方向に拘束されている場合、平面ひずみ状態が発生します。しかし、そうでない場合、応力状態は三次元弾性を考慮することによってのみ決定でき、この場合の既知の理論解はありません。したがって、エンジニアは 5 つの変数間の関係を確立することに関心を持つかもしれません。この場合の次元解析により、次の(5 − 3 = 2)個の無次元群が得られます。
例えば有限要素法を用いた数値実験により、図に示すように2つの無次元群間の関係の性質が得られます。この問題は2つの無次元群のみに関係するため、全体像は1つのグラフで示され、回転ディスクの設計/評価チャートとして使用できます。[ 22 ]
T、L、M などの基本的な物理次元の集合から形成できる次元は、アーベル群を形成します。単位元は 1 と表記され、L 0 = 1であり、L の逆元は 1/L または L −1です。L を任意の整数p乗したものは群の要素であり、逆元は L − pまたは 1/L pです。群の演算は乗算であり、指数を扱う通常の規則 ( L n × L m = L n + m ) に従います。物理的には、1/L は長さの逆数、1/T は時間の逆数 (逆秒を参照)と解釈できます。
アーベル群は整数の加群と等価であり、次元記号T i L j M k はタプル( i , j , k )に対応します。物理的な測定量 (同じ次元でも異なる次元でも) を互いに乗算または除算すると、それらの次元単位も同様に乗算または除算されます。これは加群における加算または減算に対応します。測定可能な量を整数乗すると、それらの量に付随する次元記号にも同じ操作が行われます。これは加群におけるスカラー乗算に対応します。
このような次元記号のモジュールの基底は基本量の集合と呼ばれ、その他のすべてのベクトルは派生単位と呼ばれます。どのモジュールでもそうであるように、異なる基底を選択することができ、それによって異なる単位系が得られます(例えば、電荷の単位が電流の単位から派生するか、あるいはその逆かを選択するなど)。
群の単位元、無次元量の次元は、このモジュールの原点(0, 0, 0)に対応します。
場合によっては、V L 1/2のような 1 次元ベクトル空間の分数べき乗を形式的に定義することにより、分数次元を定義することができます。[ 23 ]しかし、表現論的な障害のため、単位の任意の分数べき乗を取ることはできません。 [ 24 ]
与えられた次元のベクトル空間は、単位(ベクトル空間の座標系に対応)を使用する必要なく扱うことができます。たとえば、次元MとLが与えられた場合、ベクトル空間V MとV Lがあり、V ML := V M ⊗ V Lをテンソル積として定義できます。同様に、双対空間は「負の」次元を持つと解釈できます。[ 25 ]これは、ベクトル空間とその双対空間の自然なペアリングの下で次元が相殺され、無次元のスカラーが残るという事実に対応します。
問題に関わる物理量の単位の集合は、ベクトルの集合(または行列)に対応します。零空間は、これらのベクトルを組み合わせてゼロベクトルを生成する方法の数(例えばm 個)を表します。これらは、(測定値から)無次元量{π 1 , ..., π m }を生成することに対応します。(実際には、これらの方法は、測定値のべき乗からなる別の異なる空間の零部分空間を完全に張ります。)測定値を掛け合わせて(そして指数関数的に)ある派生量 X と同じ単位を持つものを生成するあらゆる可能な方法は、次の一般形式で表すことができます。
したがって、システムの物理に関する考えられるすべての対応方程式は、次の形式で書き直すことができる。
この制約を知ることは、システムに関する新たな洞察を得るための強力なツールとなり得る。
力学で関心のある物理量の次元は、基本次元 T、L、M で表すことができ、これらは 3 次元ベクトル空間を形成します。これは有効な基本次元の唯一の選択肢ではありませんが、最も一般的に使用されているものです。たとえば、力、長さ、質量を基本次元として選択することもできます (実際にそうした人もいます)。その場合、関連する次元は F、L、M となります。これは異なる基底に対応し、基底変換によってこれらの表現を相互に変換できます。このように、基本次元セットの選択は慣例であり、利便性と馴染みやすさの向上という利点があります。基本次元の選択は完全に任意ではありません。なぜなら、それらは基底を形成する必要があり、空間を張り、線形独立でなければならないからです。
例えば、F、L、Mは基本次元のセットを形成します。なぜなら、これらはT、L、Mと等価な基底を形成するからです。前者は[F = LM/T 2 ]、L、Mと表現でき、後者は[T = (LM/F) 1/2 ]、L、Mと表現できます。
一方、長さ、速度、時間(T、L、V)は、力学の基本次元を構成するものではない。理由は2つある。
物理学の分野によっては、拡張された次元記号のセットを選択することが有利な場合がある。例えば、電磁気学では、T、L、M、Qの次元を用いると便利である。ここでQは電荷の次元を表す。熱力学では、基本次元のセットに温度の次元Θを追加することがよくある。化学では、物質量(分子数をアボガドロ定数で割った値、≈)が6.02 × 10 23 mol −1 ) は、基本次元 N としても定義されます。相対論的プラズマと強力なレーザーパルスの相互作用では、無衝突のVlasov 方程式の対称性に関連する無次元の相対論的相似パラメータが、電磁ベクトルポテンシャルに加えて、プラズマ密度、電子密度、臨界密度から構築されます。 物理学のさまざまな分野で使用される次元の選択、あるいは次元の数の選択は、ある程度任意ですが、使用の一貫性とコミュニケーションの容易さは、共通かつ必要な特徴です。
ブリッジマンの定理は、物理量を定義するために使用できる関数の種類を、一般的な(次元合成された)量から、それらの量のべき乗の積のみに制限します。ただし、独立量の一部が代数的に結合されて無次元群が生成され、その関数が無次元の数値乗数にまとめられる場合は除きます。[ 26 ] [ 27 ] これは、複数の項を持つ多項式や、その形式ではない超越関数を除外します。
指数関数、三角関数、対数関数などの超越関数、あるいは非斉次多項式に対するスカラー引数は、無次元量でなければならない。(注:後述するシアノの方向解析では、この要件はやや緩和され、特定の次元量の二乗は無次元量となる。)
無次元数に関するほとんどの数学的恒等式は、次元量にそのまま変換できますが、比率の対数には注意が必要です。恒等式log( a / b ) = log a − log b(対数は任意の底で取られます)は、無次元数aとbに対しては成り立ちますが、aとb が次元を持つ場合は成り立ちません。なぜなら、この場合、左辺は適切に定義されますが、右辺は定義されないからです。[ 28 ]
同様に、次元量の単項式( x n ) を評価することはできますが、次元量の無次元係数を持つ混合次数多項式を評価することはできません。x 2の場合、式(3 m) 2 = 9 m 2 は(面積として) 意味を持ちますが、x 2 + xの場合、式(3 m) 2 + 3 m = 9 m 2 + 3 mは意味を持ちません。
しかし、係数が無次元ではない適切な物理量であれば、混合次数多項式は意味を持つことがあります。例えば、
これは、重力加速度が毎秒9.8メートル、初速度が毎秒 500 メートルの場合に、物体が時間tの間に上昇する高さです。t は秒単位である必要はありません。たとえば、t = 0.01 分とします。その場合、最初の項は次のようになります。
次元物理量Zの値は、その次元内の単位[ Z ] と無次元の数値または数値係数n の積として表されます。[ 29 ]
同じ次元の量を加算、減算、または比較する場合、それらの量を同じ単位で表すと、数値を直接加算または減算できるため便利です。しかし、概念的には、異なる単位で表された同じ次元の量を加算することに問題はありません。たとえば、1メートルに1フィートを加えたものは長さですが、単純に1と1を足すだけではその長さは得られません。同じ次元の量の比であり、無次元の1に等しい変換係数が必要です。
係数0.3048 m/ftは無次元値1と同一であるため、この変換係数を掛けても何も変わりません。したがって、同じ次元でありながら異なる単位で表された2つの量を加算する場合、適切な変換係数(実質的には無次元値1)を使用して、それらの量を同じ単位に変換し、数値の加算または減算ができるようにします。
異なる単位を持つ同サイズの量を足し合わせるという行為は、このような場合に限り意味を持つ。
量方程式(完全方程式とも呼ばれる)は、物理量を表す際に使用される測定単位に関係なく有効な方程式である。[ 30 ]
一方、数値方程式では、単位を含まず、量の数値のみが現れます。したがって、数値方程式は、各数値が特定の単位を参照している場合にのみ有効です。
例えば、変位dを速度sに時間差tを掛けたものとして表す量方程式は次のようになります。
s = 5 m/sの場合、 tとd は任意の単位で表すことができ、必要に応じて変換できます。これに対し、対応する数値方程式は次のようになります。
ここで、Tは秒単位で表したtの数値であり、 Dはメートル単位で表したdの数値である。
一般的に、数値方程式の使用は推奨されない。[ 30 ]
得られた結果に現れる無次元定数、例えばポアズイユの法則の問題におけるCや、前述のバネの問題におけるκなどは、基礎となる物理現象をより詳細に解析した結果であり、多くの場合、微分方程式を積分することによって得られます。次元解析自体はこれらの定数についてほとんど何も語っていませんが、これらの定数がしばしば1程度の値を持つことを知っておくことは有用です。この観察結果から、対象となる現象について概算を行うことが可能になり、その結果、現象を測定するための実験をより効率的に設計したり、現象の重要性を判断したりすることができるようになります。
逆説的ではあるが、基礎となる理論のすべてのパラメータが無次元であっても、次元解析は有用なツールとなり得る。例えば、イジングモデルのような格子モデルは、相転移や臨界現象の研究に利用できる。このようなモデルは、完全に無次元で定式化できる。臨界点に近づくにつれて、格子モデル内の変数が相関する距離(いわゆる相関長χ)はどんどん大きくなる。相関長は臨界現象に関連する適切な長さスケールであるため、例えば「次元的な根拠」に基づいて、格子点あたりの自由エネルギーの非解析的な部分は、格子の次元dに対して、~ 1/ χdであると推測できる。
物理学者の中には、例えばマイケル・J・ダフ[5][31]のように、物理法則は本質的に無次元であると主張する者もいる。長さ、時間、質量に相容れない次元を割り当ててきたのは、この見解によれば単なる慣習の問題であり、現代物理学の出現以前には、質量、長さ、時間を互いに関連付ける方法がなかったという事実から生じたものである。したがって、物理学の基本方程式における3つの独立した次元定数c、ħ、Gは、質量、時間、長さを相互に変換するための単なる変換係数とみなさなければならない。
格子モデルの重要な特性の場合と同様に、適切なスケーリング極限において次元解析の結果を再現することができます。例えば、力学における次元解析は、定数ħ、c、Gを再挿入し(ただし、これらは無次元とみなすことができます)、 c → ∞、ħ → 0、G → 0の極限において量間の非特異な関係が存在することを要求することによって導出できます。重力場を含む問題では、後者の極限は、重力場が有限のままとなるように取る必要があります。
以下は、エネルギー、運動量、力の次元に関連する物理学でよく使われる表現の表です。[ 32 ] [ 33 ] [ 34 ]
型チェックの一部としての次元の正しさは、1977 年以来研究されてきました。[35] Ada [36] および C++ [37] の実装は、1985 年と 1988 年に記述されました。Kennedy の 1996 年の論文では、Standard ML [ 38 ]および 後にF # [ 39 ]での実装について説明しています。Haskell [40] OCaml [ 41 ]およびRust [ 42 ] Python [ 43 ]の実装とFortranのコードチェッカーがあります。 [ 44 ] [ 45 ] Griffioenの2019年の論文では、 Kennedy のHindley–Milner 型システムを拡張して、Hart の行列をサポートするようにしました。[ 46 ] [ 47 ] McBrideとNordvall-Forsbergは、依存型を使用して測定単位の型システムを拡張する 方法を示しています。 [ 48 ]
NondimensionalizationTransformMathematica 13.2 には、無次元化変換を方程式に適用する、という名前の量を持つ変換のための関数があります。 [ 49 ]また、Mathematica には、次のような単位の次元を見つける関数もあります。1 Jという名前UnitDimensions。[ 50 ] Mathematica には、という名前の物理量のサブセットの次元的に等価な組み合わせを見つける関数もありますDimensionalCombinations。[ 51 ]UnitDimensions Mathematica は、関数に引数を指定することで、を使用して特定の次元を因数分解することもできますUnityDimensions。[ 52 ]例えば、を使用してUnityDimensions角度を因数分解できます。[ 52 ]に加えて、Mathematica は関数を使用してUnitDimensionsの次元を見つけることができます。[ 53 ]QuantityVariableQuantityVariableDimensions
次元解析に関する議論の中には、すべての量を数学的なベクトルとして暗黙のうちに記述しているものがありますが、これは正しくありません。数値は、ベクトル空間の要素ではないものを表すためによく用いられますが、そのようなものには次元解析を適用すべきではありません。物理学では、スカラーは、重さや距離のように大きさはあるものの方向を持たない正の量です(ただし、多くの著者はスカラーが負の値をとることを大まかに認めています)。ベクトルは他のベクトルに加算または減算でき、とりわけスカラーで乗算または除算できます。ベクトルを用いて位置を定義する場合、暗黙の基準点、すなわち原点が存在することを前提としています。これは有用であり、多くの場合十分に適切で、多くの重要なエラーを検出できますが、物理学の特定の側面をモデル化できない場合があります。より厳密なアプローチでは、位置と変位、日付と期間、方位と角度、絶対温度と温度変化を区別する必要があります。
タイムライン上の各点を考えてみましょう。それぞれの点には、特定の起点に対する日付と、点間の期間が与えられています。日付自体は点のラベルであり、点間の期間は時間の次元を持ちます。
これは、アフィン値(日付などのアフィン空間の要素)とベクトル値(期間などのベクトル空間の要素)との間の微妙な型の違いを示しています。
厳密に言えば、日付と位置は次元量ではなくアフィン量です。期間と変位は次元量です。次元量を数値で表すには、基準単位を選択するだけで済みます。日付や位置のようなアフィン量を次元量で表すには、基準単位に加えて、基準点と座標系も選択する必要があります。
次元解析を適用できるベクトル量によって適切に表現できる量もあれば、アフィン空間でより自然に表現できる量もあり、方位角や確率のように他の空間の要素となる量もある。
この区別は、温度の場合に特に重要です。温度の場合、絶対零度の数値は、一部のスケールでは原点0ではありません。絶対零度の場合、
ここで、記号 ≘ はに対応することを意味します。それぞれの温度スケール上のこれらの値は対応していますが、異なる開始点から同じ終了点までの距離が異なる量であるのと同様に、これらは異なる量を表しており、一般に等しくすることはできません。
温度差については、
(ここで°Rはランキン温度目盛を指し、レオミュール温度目盛ではありません。)温度差の単位変換は、例えば1 °F / 1Kのように単純に掛けるだけです 。しかし、これらの温度目盛の中には絶対零度に対応しない原点を持つものもあるため、ある温度目盛から別の温度目盛への変換にはその点を考慮する必要があります。その結果、1Kが 摂氏温度-272.15℃に対応する絶対温度を意味するのか、それとも1 ℃ に等しい温度差を意味するのかが曖昧な場合、単純な次元解析では誤差が生じる可能性があります。
基準点の問題と同様に、方向の問題もあります。2次元または3次元における変位は、単なる長さではなく、方向を伴う長さです。(1次元では、この問題は正負の区別に相当します。)したがって、多次元ユークリッド空間で2次元量を比較または組み合わせるには、方向も必要です。つまり、基準フレームと比較する必要があるのです。
これは、後述する拡張、すなわちハントリーの方向性次元とシアノの方向分析につながる。
ハントリーは、次元解析は検討対象の量に新たな独立した次元を発見することでより強力になり、それによってランクが上がることを指摘している。次元行列の。[ 54 ]
彼は2つのアプローチを導入した。
最初の方法の有用性を示す例として、垂直方向の速度成分を持って発射された砲弾の飛距離を計算したい場合を考えてみましょう。そして水平方向の速度成分、平らな面上で発射されたと仮定します。方向付き長さを使用しないと仮定すると、関心のある量は、移動距離R (次元L)であり、 、 、どちらも T −1 L の次元を持ち、 g は重力による下向きの加速度で、次元は T −2 L
これら4つの量から、範囲Rの式は次のように書けると結論づけることができる。
あるいは次元的に
そこから我々は次のことを推測できる。そして、1 つの指数が未決定のまま残ります。これは、2 つの基本次元 T と L、および 4 つのパラメータがあり、方程式が 1 つであることから当然のことです。
しかし、有向長さ次元を使用すると、寸法は T −1 L xとなります。T −1 L y、Rを L x、gを T −2 L yとすると、次元方程式は次のようになる。
そして、 a = 1、b = 1、c = −1とすれば、完全に解くことができる。方向性のある長さの次元を用いることで得られる演繹力の向上は明らかである。
しかし、ハントリーの提唱する方向性のある長さ次元の概念には、いくつかの深刻な限界がある。
また、L、L x、L y、L zの記号を、対象となる問題に関わる物理変数に割り当てるのは非常に難しい場合が多い。彼は、物理問題の「対称性」を利用した手順を提唱している。しかし、これを確実に適用するのは非常に難しい場合が多い。問題のどの部分に「対称性」の概念が適用されているのかが不明確だからだ。力が作用する物体自体の対称性なのか、それとも力が作用する点、線、または領域の対称性なのか。異なる対称性を持つ複数の物体が関わっている場合はどうなるのか。
円筒管に取り付けられた球状の気泡を考えます。この場合、空気の流量を2つの部分の圧力差の関数として表したいとします。接続された部分に含まれる空気の粘性のハントリー拡張次元はどのようなものでしょうか?2つの部分の圧力の拡張次元はどのようなものでしょうか?それらは同じでしょうか、それとも異なるでしょうか?これらの困難さが、ハントリーの方向付き長さ次元を実際の問題に適用する際の限界の原因となっています。
ハントリーの第二のアプローチでは、慣性の尺度としての質量(慣性質量)と物質量の尺度としての質量を区別することが有用な場合がある(例えば、流体力学や熱力学において)と主張している。ハントリーによれば、物質量は慣性質量にのみ比例する量であり、慣性特性とは無関係である。その定義には、それ以上の制約は加えられていない。
例えば、ポアズイユの法則の導出を考えてみましょう。粘性流体が円形パイプを通過する際の質量流量を求めたいとします。慣性質量と実体質量を区別せずに、関連する変数として以下を選択できます。
基本変数は3つあるため、上記の5つの式から2つの独立した無次元変数が得られます。
次元を持つ慣性質量を区別する場合次元を持つ物質の量すると、質量流量と密度は物質量を質量パラメータとして使用し、圧力勾配と粘性係数は慣性質量を使用します。これで4つの基本パラメータと1つの無次元定数が得られたので、次元方程式は次のように記述できます。
ここで、Cだけが未定定数である(等しいことが判明した)次元解析以外の方法によって)。この方程式を質量流量について解くと、ポアズイユの法則が得られます。
ハントリーが物質量を独立した量次元として認識したことは、それが適用可能な問題においては明らかに成功しているが、物質量の定義は、彼が仮定した2つの要件以外に具体性に欠けるため、解釈の余地がある。特定の物質について、単位がモルであるSI次元の物質量は、物質量の尺度としてハントリーの2つの要件を満たしており、ハントリーの概念が適用可能な次元解析のあらゆる問題において物質量として使用できる。
慣例として、角度は無次元量とみなされます(ただし、このことの妥当性については議論があります)。[ 55 ]例として、原点( x , y ) = (0, 0)から速度vでx軸から角度θで発射され、重力が負のy軸に沿って作用する投射物の問題を考えてみましょう。質量がx軸に戻る地点である飛距離Rを求めたいとします。従来の解析では無次元変数π = R g / v 2が得られますが、 Rとθの関係についての洞察は得られません。
Sianoは、Huntleyの有向次元を、ベクトル方向を表す方向記号1 x 1 y 1 zと方向なし記号1 0を使用することで置き換えることを提案した。[ 56 ]したがって、HuntleyのL xはL1 xとなり、Lは長さの次元を指定し、1 xは方向を指定する。Sianoはさらに、方向記号が独自の代数を持つことを示している。1 i −1 = 1 iという要件とともに、方向記号の次の乗算表が得られる。
方向記号は群(クラインの4群または「Viergruppe」)を形成します。このシステムでは、スカラーは常に単位元と同じ方向を持ち、「問題の対称性」とは無関係です。ベクトルである物理量は期待どおりの方向を持ちます。z方向の力または速度は1zの方向を持ちます。角度については、 z平面にある角度θを考えます。z平面にθを鋭角の1つとする直角三角形を形成します。角度に隣接する直角三角形の辺は1xの方向を持ち、反対側の辺は1yの方向を持ちます。(方向の等価性を示すために~を使用) tan( θ ) = θ + ... ~ 1y / 1xであることから、xy平面の角度は1y / 1x = 1zの方向を持たなければならないと結論付けられますが、これは不合理ではありません。同様の推論により、sin( θ )の向きは1zであり、cos( θ )の向きは10であるという結論に至る。これらは異なるため、例えば、 a cos( θ ) + b sin( θ )の形の物理方程式には解がないと(正しく)結論付けられる。ここで、aとbは実数のスカラーである。これは角度の和の公式の特殊な場合であるため、次元的に矛盾はなく、正しくは次のように記述されるべきである。
そのためにそして収穫量。Sianoは、3次元空間に方向を持つ幾何学的角度と、空間的な方向を持たない時間ベースの振動に関連する位相角を区別している。つまり、位相角の方向は .
物理量に方向記号を割り当て、物理方程式が方向的に同次であるという要件は、次元解析と同様の方法で、物理問題の許容解に関するより多くの情報を導き出すために実際に使用できます。このアプローチでは、次元方程式を可能な限り解きます。物理変数の最小べき乗が分数である場合、解の両辺をすべてのべき乗が整数になるようにべき乗し、正規形にします。次に、方向方程式を解いて、方向記号の未知のべき乗に対するより厳しい条件を与えます。こうして得られる解は、次元解析のみで得られる解よりも完全です。多くの場合、追加される情報は、特定の変数のべき乗のいずれかが偶数か奇数かということです。
例えば、投射物の問題では、方向記号θを用いると、xy平面上にあるため次元は1zとなり、投射物の飛距離Rは次の形式になります。
次元の均一性により、 a = −1およびb = 2が正しく得られ、配向の均一性により、つまり、 cは奇数でなければなりません。実際、必要な theta の関数はsin( θ )cos( θ )となり、これはθの奇数乗からなる級数です。
上記の乗算表を用いると、sin( θ )とcos( θ )のテイラー級数は方向的に同次であることがわかりますが、 cos( θ ) + sin( θ )やexp( θ )のような式は同次ではなく、(正しく)非物理的であるとみなされます。
シアノの方向解析は、角度量を無次元量とみなす従来の概念と整合性があり、方向解析においてもラジアンは無次元単位とみなすことができる。量の方程式の方向解析は、通常の次元解析とは別に実行され、次元解析を補完する情報が得られる。
{{citation}}ISBN /日付の不一致(ヘルプ)、質量、長さ、時間は特権的な基本的性質を持ち、他のすべての量は、測定に関してだけでなく、物理的状態に関しても派生的なものとして解釈されるようになった。
{{citation}}ISBN /日付の不一致(ヘルプ){{citation}}ISBN /日付の不一致(ヘルプ)