[論文レビュー] 100 Years of dimensional analysis: New steps toward empirical law deduction

Michael Taylor, Á. I. Díaz+2 more|ArXiv.org|Sep 22, 2007

Statistical Mechanics and Entropy参考文献 6被引用数 4

ひとこと要約

この論文は、次元解析における非一意性という長年の問題を解消する行列に基づくバッキンガムΠ定理の一般化を導入する。同定理は類似変換（S）とその逆行列（S⁻¹）を導出する。次元解析では物理法則の関数形（例えばプランク放射法則）を同定できるが、スケーリング関数Fのデゲネラシーを解消するには観測データが必要であり、これにより一意な経験則の同定が可能になる。

ABSTRACT

On the verge of the centenary of dimensional analysis (DA), we present a generalisation of the theory and a methodology for the discovery of empirical laws from observational data. It is well known that DA: a) reduces the number of free parameters, b) guarantees scale invariance through dimensional homogeneity and c) extracts functional information encoded in the dimensionless grouping of variables. Less known are the results of Rudolph and co-workers that DA also gives rise to a new pair of transforms - the similarity transform (S) that converts physical dimensional data into dimensionless space and its inverse (S'). Here, we present a new matrix generalisation of the Buckingham Theorem, made possible by recent developments in the theory of inverse non-square matrices, and show how the transform pair arises naturally. We demonstrate that the inverse transform S' is non-unique and how this casts doubt on scaling relations obtained in cases where observational data has not been referred to in order to break the degeneracy inherent in transforming back to dimensional (physical) space. As an example, we show how the underlying functional form of the Planck Radiation Law can be deduced in only a few lines using the matrix method and without appealing to first principles; thus demonstrating the possibility of a priori knowledge discovery; but that subsequent data analysis is still required in order to identify the exact causal law. It is hoped that the proof presented here will give theoreticians confidence to pursue inverse problems in physics using DA.

研究の動機と目的

• 次元解析から得られる無次元群の非一意性という長年無視されてきた問題に対処すること。
• バッキンガム定理を一般化する行列ベースのフレームワークを構築し、無次元群を体系的に導出する手法を提供すること。
• 逆類似変換S⁻¹がスケーリング則におけるデゲネラシーを引き起こしており、これを解消するには観測データが必要であることを示すこと。
• 次元解析をデータと組み合わせることで、プランクの放射法則のような基本的物理法則の関数形を、第一原理的導出なしに同定できることを示すこと。
• 行列に基づく次元解析を用いた物理学および逆問題における経験則同定の新手法を提唱すること。

提案手法

• 非正方ブロック行列の逆行列を用いて、類似変換Sを導出するバッキンガム定理の行列一般化を定式化する。
• 次元行列Dᵀを従属変数ブロック（Aᵀ）と独立変数ブロック（Bᵀ）に分割し、解行列ε = [I; -(Aᵀ)⁻¹Bᵀ]を計算する。
• 類似変換Sを適用して物理変数から無次元π群を生成し、行列式|Aᵀ| ≠ 0によるチェックで次元の整合性を保証する。
• 逆類似変換S⁻¹を用いて次元空間に戻って元の物理法則を再構成し、未知の関数依存性を持つF(π₂)の関数形を得る。
• 観測データを導入して関数Fの関数形を一意に特定し、純粋に演繹的次元解析に内在するデゲネラシーを解消する。
• 計算法を検証するため、観測データを用いずに次元解析と逆変換のみでプランク放射法則の関数形を導出し、F(π₂)は後にデータによって解明する。

実験結果

リサーチクエスチョン

• RQ1 なぜ次元解析から得られるスケーリング則は非一意的であり、そのデゲネラシーの原因は何か？
• RQ2 行列に基づくバッキンガム定理の一般化は、無次元群の非一意性を体系的にどのように解消できるか？
• RQ3 逆類似変換S⁻¹は物理空間に戻す際にどのようにしてデゲネラシーを再導入するのか？
• RQ4 次元解析のみで、プランクの放射法則のような基本的物理法則の関数形を同定できるか？
• RQ5 純粋に演繹的手段では失敗する場合、観測データがスケーリング則における関数Fの関数形をどの程度一意に特定できるか？

主な発見

• バッキンガム定理の行列一般化は、類似変換Sとその逆行列S⁻¹を導入し、無次元π群を体系的に導出し、物理法則を再構成する。
• 逆変換S⁻¹がデゲネラシーの原因である。無次元群の任意の代数的関数（例：π₂ⁿ、1/π₂²）は有効ではあるが、非一意なスケーリング則を生じる。
• この手法により、プランク放射法則の関数形がu = (hc/λ⁵) × F(hc/λkT)として正しく同定され、第一原理的導出なしに既知の構造と一致する。
• 定数係数8πと正確な関数形F(π₂) = 1/(e^π₂ - 1)は、次元解析のみでは特定できず、観測データが必要である。
• 観測データにより関数のデゲネラシーが一意に解消され、唯一正しい一意な経験則が得られることを確認した。
• 行列式チェック|Aᵀ| = 1により次元の整合性が保証され、物理問題の完全な定式化が達成され、手法の整合性が裏付けられた。