數學建模
首先我們要知道什麼是量鋼,用一句話來解釋,就是「可以量的東西」,像是手機,我們不會說我們要來量手機,但我們可以說要量手機的耗電、重量等等的,這些就是量鋼。
所有的物理定律一定是個等式,像是 F = ma
,這樣的等式左右的量鋼一定要一樣,像是左邊是長度的單位,右邊一定也要是長度的單位,不會左邊是時間然後右邊是長度。 那量鋼分析是什麼意思呢? 簡單來說就是去研究跟問題有關的變數,別且研究如何把他們湊在一起。
要注意「量鋼」和「單位」是不一樣的,舉個例子來說,「質量」是一種量鋼,而「公斤」是度量「質量」的一種「單位」,「公克」也是另一種度量「質量」的單位。
我們用 []
代表某某的量鋼,像是 [q]
代表 q 的量鋼,如果有一個量,你不管選取什麼樣的單位去量,他的數值都不會變的話,我們稱他為「無量鋼」,記為 [q] = 1
。
Pi 定理指出任一個表示「多個有量鋼的物理量之間的關係」的物理定律對應著一個無量綱量之間的關係,舉個例子:
假設我們今天要研究一個騎腳踏車的人受到的空氣阻力有多大,那我們假設這個風阻跟往前的速度 v 有關,跟截面積 A 也有關,還有跟空氣密度 也有關係,因此我們就寫:
或者可以把 F 也當變數寫成:
意思就是假設這四個物理量是有關係的,那通常這四個物理量的關係就會有一個函數來決定,而且會等於 0。 這就是上面所謂的 Pi 定理。
現在我們要想辦法用數學來把剛剛那些表達出來,假設現在有 m 個有量綱的物理量,我們把他寫成 ~ ,那這些物理量我們可以用基礎量綱來表示他:
這裡的 等等的可能是 L、M、T 之類的,也可以是 F、V、E 之類的,看你自己怎麼選,只要他們是獨立的就好。
注意 n < m,因為 L 是基礎量綱,而 那邊每一個基礎量綱對應的次方我們就叫他 ,所以這邊就會構成一個矩陣,因為你有 ~ ,可以寫成這樣:
所以那個矩陣的每一行對應到的是基礎量綱的次方,所以 的基礎量鋼他每個對應到次方就寫在第一行,那麼矩陣就會長這樣:
那麼矩陣的第 j 行對應到的就是 的基礎量綱的次方。
如果兩次你選的 、 之類的不一樣,那矩陣也會長的不一樣。
如果一個數字 可以被寫成 且 是無量綱的量,那這個數字我們稱他為 dimensionless combinations。
所以我們為了要講清楚什麼是 Pi 定理,我們需要知道什麼是 dimensionless combinations,也就是一堆有量綱的物理量,經過這種組合(combination),然後這個組合組合出來的是一個無量綱的東西。
一組 的 dimensionless combinations,一組的意思是假設 ,這 k 個數字都是由 ~ 所組合出來的無量綱的量,如果 k 是 nullity of dimension matrics,且任意的 dimensionless combinations 都可以用 來表示,那這個東西被叫做 maximal。
再多做一點說明,點進去看影片:
換句話說前面的 Dimension Matrix 乘上指數形成的行向量會等於 0 向量。
如果我們有一個物理量,選好單位之後我們可以算出一個數字,以下圖來說就是 用 這組單位可以得到 ,因為單位之間可以轉換,像是 可以轉換成 ,所以 和 也會有一個關係式:
我們在代物理公式的時候並不會把單位跟著代進去,通常代的東西會像這樣:
把單位給消掉,在代公式的時候我們不會刻意把單位也代進去,而是只代數字。
這隱含的意義代表「一個物理定律本身應該跟單位的選取無關」,這就會衍伸出一個定義:
假設有個 unit free 的物理定律 ,詳細如下:
一但我們把這些事情的決定好後,我們可以找到一個 maximal collection:
再來我們會發現上面寫的 會等價於用 ~ 的另外一個定律 ,但 裡面的參數就都只有數字了。
所以 ~ 這 m 個物理量之間的關係,就會變成是 ~ 這 k 個無量綱的量之間的關係,而且是等價的,也就是說 成立, 就成立,反之亦然。
看一個例子: