Analiza wymiarowa: jak odrzucić zły wzór, zanim podstawimy liczby?

Potrzebne wiadomości: Jednostki SI, prędkość, przyspieszenie, siła i energia.

Wymiar to nie jednostka

Metr i centymetr są jednostkami tego samego wymiaru długości. Oznaczmy długość przez L, czas przez T, a masę przez M. Wtedy [v]=LT^{-1}, [a]=LT^{-2}, [F]=MLT^{-2}. Nawiasy oznaczają tu wymiar, nie wartość wielkości.

Obie strony równania i wszystkie składniki sumy muszą mieć zgodne wymiary. W wyrażeniu v_0t+at^2/2 oba składniki są długościami. W v_0t+at/2 drugi składnik jest prędkością. Takiego wzoru na drogę nie uratuje żadne podstawienie liczb.

Co można ustalić bez rozwiązania ruchu?

Załóżmy, że okres zależy tylko od długości l i przyspieszenia g: T=C l^a g^b. Porównanie wymiarów daje T=L^{a+b}T^{-2b}, więc b=−1/2 i a=1/2. Otrzymujemy T=C\sqrt{l/g}. Nie wyznaczyliśmy liczby C ani nie udowodniliśmy, że pominięte parametry rzeczywiście są nieistotne. Dla wahadła duża amplituda także wpływa na okres.

Wymiary nie rozróżnią mv² od mv²/2. Argument logarytmu, funkcji wykładniczej czy sinusa powinien być bezwymiarowy: zapis \exp(-t/\tau) spełnia ten warunek. Zgodność wymiarów jest więc konieczna, lecz niewystarczająca do uznania wzoru za poprawny.

Równanie musi mieć sens przed podstawieniem

Jeżeli wzór dodaje długość do czasu, jest niepoprawny niezależnie od tego, czy otrzymana liczba wygląda rozsądnie. Analiza wymiarowa bada strukturę równania przed użyciem danych. Pozwala szybko odrzucić wiele pomyłek: brak czasu, niewłaściwą potęgę szybkości albo zgubiony promień. Nie trzeba znać wartości wielkości, aby sprawdzić ich wymiary.

Wymiary oznaczamy tutaj przez M,L,T, a jednostki przez kg,m,s. Metry i kilometry różnią się skalą, lecz mają ten sam wymiar L. Energia i moment siły mają ten sam wymiar ML²T⁻², ale różne znaczenia fizyczne. Dlatego zgodność wymiarów nie dowodzi, że dwie wielkości są tym samym, ani że dowolne równanie między nimi opisuje właściwe zjawisko.

Przykład: droga hamowania

Rozważmy v/a, v²/a oraz av². Pierwsze daje(L/T)/(L/T²)=T, czyli czas. Drugie(L²/T²)/(L/T²)=L, czyli długość. Trzecie ma L³/T⁴, więc nie może być drogą. Kandydat v²/a przechodzi kontrolę, lecz analiza nie odróżni go od v²/(2a),3v²/a ani innej bezwymiarowej wielokrotności.

Dla stałego opóźnienia i zatrzymania można dodatkowo użyć czasu t=v/a oraz średniej szybkości v/2. Ich iloczyn daje s=v²/(2a). Czynnik 1/2 pojawia się z modelu jednostajnego zmniejszania szybkości, nie z jednostek. Jeśli hamowanie zależy od prędkości, ten sam kandydat wymiarowy nie gwarantuje poprawnego wyniku.

Przykład: jednostka współczynnika oporu

W F=cv² współczynnik c musi uzupełnić wymiar v² do siły. Zatem[c]=MLT⁻²/(L²T⁻²)=M/L, czyli kg/m. Dla 24 N przy 8 m/s dostajemy c=24/64=0,375 kg/m. Gdyby w równaniu występowały dodatkowo gęstość ośrodka i pole przekroju, pozostały współczynnik mógłby być bezwymiarowy. Podobna nazwa nie uprawnia do podstawienia go w inne równanie bez pozostałych czynników.

Sprawdzenie po obliczeniu daje 0,375 kg/m·64 m²/s²=24 kg·m/s²=24 N. Jest to test zarówno liczby, jak i jednostki. Czasem wartość wydaje się znajoma, ale jednostka ujawnia, że zastosowano współczynnik z innej definicji. Właśnie dlatego nie zapisujemy współczynników fizycznych jako gołych liczb bez kontekstu wzoru.

Potęgi i funkcje wymagają szczególnej uwagi

Dla E=Ckᵃxᵇ mamy[k]=MT⁻². Porównanie z energią ML²T⁻² wymaga a=1,b=2. Zatem E=Ckx². Aby ustalić C=1/2 dla liniowej sprężyny, trzeba policzyć pracę rosnącej siły: średnia od 0 do kx wynosi kx/2. Wymiary rozpoznają właściwe potęgi, nie kształt wykresu siły.

W A=A₀exp(−bt) wykładnik musi być bezwymiarowy. W przeciwnym razie wynik zależałby od tego, czy czas wstawimy w sekundach, czy minutach bez zmiany definicji funkcji. Dlatego b ma 1/s. Dla b=0,25 s⁻¹ warunek spadku do A₀/e daje bt=1 i t=4 s. Czas połowicznego zaniku wyniósłby ln 2/b≈2,77 s, bo inne kryterium daje inną bezwymiarową liczbę.

Sprawdź się przez granicę

Dobry kandydat powinien także rozsądnie zachowywać się w granicach modelu. Droga hamowania v²/(2a) znika przy v=0 i rośnie przy zmniejszaniu a. Wzór o poprawnych jednostkach mógłby jednak mieć ujemny znak i dawać ujemną długość drogi. Wniosek: po wymiarach sprawdzamy znaki, warunki i przypadki graniczne. Każdy z tych testów wykrywa inną klasę błędów, a żaden osobno nie zastępuje rozumowania fizycznego.

Bezwymiarowość jest niezależna od wyboru jednostki

Argument funkcji exp, ln, sin i cos musi być bezwymiarowy. W \exp(-t/\tau) czas i stała czasowa mają ten sam wymiar. Dla t=2 min i τ=30 s najpierw tworzymy 120 s/30 s=4. Wstawienie samego 2/30 miesza jednostki i daje inną fizyczną prognozę. Z kolei logarytm ilorazu ln(A/A₀) jest poprawny także dla amplitud z jednostką, ponieważ jednostki skracają się przed użyciem funkcji.

Zgodność wymiarów obejmuje również dodawanie: w x(t)=x_0+v_0t+at^2/2 każdy składnik ma wymiar długości. Wzór x=x₀+v₀+a jest błędny, choć wszystkie symbole są dobrze znane. Jednostka współczynnika zależy od jego definicji: we wzorze F=cv² c ma kg/m, natomiast w F=(ρC_D S/2)v² parametr C_D jest bezwymiarowy, a pozostałe czynniki tworzą kg/m.

Kontrola wymiarowa nie zna kierunku siły, warunków początkowych ani granic stosowalności modelu. Wzór na drogę hamowania trzeba dodatkowo sprawdzić dla v→0 i a→0⁺ oraz określić, czy opóźnienie rzeczywiście jest stałe. Dobre rozwiązanie łączy zgodne jednostki z rozumowaniem o zjawisku.

Zadania do tego tematu

• Który z trzech kandydatów może opisywać drogę hamowania?
• Jaki wymiar ma współczynnik oporu kwadratowego?
• Stała czasowa w wykładniczym zaniku
• Czy sam wymiar wyznaczy energię sprężyny?

Dalsza lektura

Materiał referencyjny