Szczególna teoria względności/Tensory w czasoprzestrzeni

Z Wikibooks, biblioteki wolnych podręczników.
Przejdź do nawigacji Przejdź do wyszukiwania
Szczególna teoria względności
Szczególna teoria względności
Tensory w czasoprzestrzeni

Licencja
Autor: Mirosław Makowiecki
Absolwent UMCS Fizyki Komputerowej Uniwersytetu Marii Curie-Skłodowskiej w Lublinie
Email: miroslaw(kropka)makowiecki(małpa)gmail(kropka)pl
Dotyczy: książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami.
Użytkownika książki, do której należy ta strona, oraz w niej zawartych stron i w nich podstron, a także w nich kolumn, wraz z zawartościami nie zwalnia z odpowiedzialności prawnoautorskiej nieprzeczytanie warunków licencjonowania.
Umowa prawna: Creative Commons: uznanie autorstwa oraz miejsca pochodzenia książki i jej jakikolwiek części, a także treści, teksty, tabele, wykresy, rysunki, wzory i inne elementy oraz ich części zawarte w książce, i tą książkę, nawet w postaci przerobionej nie można umieszczać w jakikolwiek formie na czasopismach naukowych, archiwach prac, itp.
Autor tej książki dołożył wszelką staranność, aby informacje zawarte w książce były poprawne i najwyższej jakości, jednakże nie udzielana jest żadna gwarancja, czy też rękojma. Autor nie jest odpowiedzialny za wykorzystanie informacji zawarte w książce nawet jeśli wywołaby jakąś szkodę, straty w zyskach, zastoju w prowadzeniu firmy, przedsiębiorstwa lub spółki bądź utraty informacji niezależnie, czy autor (a nawet Wikibooks) został powiadomiony o możliwości wystąpienie szkód. Informacje zawarte w książce mogą być wykorzystane tylko na własną odpowiedzialność.


Przestrzeń jest opisana n współrzędnymi, która wraz ze współrzędną czasową tworzą n+1 współrzędnych, co w rezultacie otrzymujemy n+1 wymiarowy wektor.

Czterowektor wielkości tensorowych[edytuj]

Jest to tensor jednowskaźnikowy, w którym mamy współrzędną czasową i trzy współrzędne przestrzenne, np. dla tensora kontrawariantnego i kowariantnego , mamy czterowektor kontrawariantny i kowariantny na podstawie definicji tensora metrycznego podwójnie kowariantnego dla czasoprzestrzeni prostokątnej (1.224):

(3.1)

Tensor położenia w czasoprzestrzeni[edytuj]

Tensor położenia nazywamy zestaw współrzędnych tensora kontrawariantnego, w których pierwszą składową jest współrzędna czasowa, która jest iloczynem wartości prędkości światła i zwykłego czasu rzeczywistego. Dalsze trzy współrzędne N+1 wymiarowego tego wektora są to współrzędne przestrzenne, charakteryzujące położenie w przestrzeni.

Tensor położenia w czasoprzestrzeni nazywamy tensor kontrawariantny:

(3.2)
  • gdzie pierwsza współrzędna jest to współrzędna czasowa, a jest to położenie w przestrzeni zwykłej.

Tensor prędkości w czasoprzestrzeni[edytuj]

Tensor prędkości w czasoprzestrzeni nazywamy pochodną zupełna tensora położenia xμ (3.2) względem interwału czasoprzestrzennego:

(3.3)
  • gdzie ds jest to różniczka interwału czasoprzestrzennego, którego kwadrat jest napisany w punkcie (1.220) (przestrzeń nieprostokątna) i (1.221) (przestrzeń prostokątna) dla szczególnej teorii względności i (1.231) dla mechaniki Newtona.

Szczególna teoria względności[edytuj]

Wyznaczmy część czasową i przestrzenna n+1 wymiarowego tensora prędkości (3.3) wykorzystując przy tym definicję różniczki interwału czasoprzestrzennego, który dla skończonego czasu jest zapisana wzorem (1.220):

(3.4)
(3.5)

Zbierając wnioski (3.4) (część czasowa n+1 wymiarowego tensora prędkości) i (3.5) (część przestrzenna tej samej wielkości), wtedy tensor prędkości możemy napisać:

(3.6)

Mechanika Newtona[edytuj]

Tensor prędkości w czasoprzestrzeni nazywamy pochodną zupełna tensora położenia xμ (3.2) względem interwału czasoprzestrzennego, jest w takiej samej postaci jak w punkcie (3.3). Wyznaczmy część czasową i przestrzenna n+1 wymiarowego tensora prędkości (3.3) wykorzystując przy tym definicję różniczki interwału czasoprzestrzennego, który dla absolutnego czasu jest zapisana wzorem (1.231):

(3.7)
(3.8)

Zbierając wnioski (3.7) (część czasowa n+1 wymiarowego tensora prędkości) i (3.8) (część przestrzenna tej samej wielkości), wtedy tensor prędkości możemy napisać:

(3.9)

Patrząc na (3.9) wielkości i są tensorami, ten pierwszy nazwijmy tensorem prędkości, a ten drugi wielkością wskaźnikową prędkości.

Interwał czasoprzestrzenny[edytuj]

Będziamy tutaj badali własności interwału czasoprzestrzennego.

Szczególna teoria względności[edytuj]

Interwał czasoprzestrzenny definiujemy przy pomocy definicji tensora metrycznego Minkowskiego (1.223) i przy definicji n+1 wymiarowego wektora położenia (3.2), zatem wzór (1.220) jest wyrażony:

(3.10)

Jeśli wykorzystamy definicję n+1 wymiarowego tensora prędkości zapisanej w punkcie (3.3), to końcową tożsamość wynikową (3.10) przepisujemy:

(3.11)

Co (3.11) i z własności tensorów metrycznych, a w szczególnym przypadku tensora metrycznego Minkowskiego ηij, w którym to powyższe równanie jest z kolei równoważne równaniu:

(3.12)

Mechanika Newtona[edytuj]

Interwał czasoprzestrzenny wynikający z definicji interwału czasoprzestrzennego (1.225) w szczególnej teorii względności przy , które spełnia mechanika Newtona, jest (1.231) znając definicję tensora prędkości (3.3) przepiszmy:

(3.13)

Na podstawie obliczeń (3.13) w mechanice Newtona część czasowa tensora prędkości jest równe jeden, a wielkość wskaźnikowa czasowa też jest równa prędkości światła , co jest zgodne tez dla tej samej teorii ze wzorem (3.9).

Tensor pędu w czasoprzestrzeni[edytuj]

Tensorem pędu nazywamy wielkość zdefiniowana przy pomocy tensora prędkości (3.3), masy spoczynkowej badanego ciała m0 i prędkości światła w próżni:

(3.14)

Szczególna teoria względności[edytuj]

Jeśli wykorzystamy formę przedstawiania n+1 wymiarowego tensora prędkości zapisanej w punkcie (3.6), wtedy jej cześć czasowa przy wykorzystaniu definicji energii relatywistycznej E=mc2 jest zdefiniowana poniżej i jest ona równa energii relatywistycznej danego ciała E podzielonej przez prędkość fal elektromagnetycznych w próżni c.

(3.15)

I dalej wyznaczmy dla naszego tensora pędu części przestrzenne, tzn. dla i=x,y,z, ..., zatem wtedy dochodzimy do wniosku na podstawie obliczeń poniżej, że cześć przestrzenna tensora pędu jest to po prostu zwykły pęd relatywistyczny, czyli wielkość, która jest iloczynem masy relatywistycznej ciała i jego prędkości przestrzennej vi:

(3.16)

Pierwsza składowa n+1 wymiarowego wektora pędu jest energią ciała z dokładnością do odwrotności prędkości światła, czyli (3.15), i dalsze składowe są współrzędnymi zwykłego pędu relatywistycznego (3.16), zatem w takim przypadku tensor pędu w czasoprzestrzeni Minkowskiego definiujemy:

(3.17)

Mechanika Newtona[edytuj]

Jeśli wykorzystamy formę przedstawiania n+1 wymiarowego tensora prędkości zapisanej w punkcie (3.6), wtedy jej cześć czasowa przy wykorzystaniu definicji energii relatywistycznej E=mc2 jest zdefiniowana poniżej i jest ona równa energii spoczynkowej danego ciała E podzielonej przez prędkość fal elektromagnetycznych w próżni c.

(3.18)

I dalej wyznaczmy dla naszego tensora pędu części przestrzenne, tzn. dla i=x,y,z, ..., zatem wtedy dochodzimy do wniosku na podstawie obliczeń poniżej, że cześć przestrzenna tensora pędu jest to po prostu zwykły pęd relatywistyczny, czyli wielkość, która jest iloczynem masy relatywistycznej ciała i jego prędkości przestrzennej vi:

(3.19)

Pierwsza składowa n+1 wymiarowego wektora pędu jest energią spoczynkową ciała z dokładnością do odwrotności prędkości światła, czyli (3.18), i dalsze składowe są współrzędnymi zwykłego pędu relatywistycznego (3.19), zatem w takim przypadku tensor pędu w czasoprzestrzeni Minkowskiego definiujemy:

(3.20)

Transformacja tensora pędu z jednego układu odniesienia do drugiego[edytuj]

Będziemy się tutaj zajmowali transformacją tensora pędu, wektora pędu i energii relatywistycznej w szczególnej teorii względności i mechanice Newtona.

Szczególna teoria względności[edytuj]

Napiszmy wzór na transformację z jednego układu współrzędnych do drugiego tensora pędu (3.17), zatem transformacja z jednego układu odniesienia do drugiego wykorzystując macierz transformacji (1.149) przyjmuje postać:

(3.21)

Stąd wzór na transformację energii i pędu przybiera wynikającą z (3.21) postać:

(3.22)
(3.23)

Mamy już transformację wektora pędu według (3.23), przestawmy wzory na składowe prostopadłe i równoległe wektora pędu do prędkości liniowej nowego układu odniesienia wiedząc, że :

(3.24)
(3.25)

Napiszmy wzór na kwadrat pędu prostopadłego względem linii poruszania się nowego układu współrzędnych wykorzystując wzór na transformację macierzy iloczynu skalarnego (1.30):

(3.26)

Czyli pęd prostopadły do prędkości liniowej nowego układu odniesienia nie zmienia swojej wartości.

Mechanika Newtona[edytuj]

Napiszmy wzór na transformację z jednego układu współrzędnych do drugiego tensora pędu (3.20), zatem transformacja z jednego układu odniesienia do drugiego wykorzystując macierz transformacji (1.157) przyjmuje postać:

(3.27)

Wzór na transformację energii spoczynkowej (masy spoczybkowej) i wektora pędu przybiera wynikającą z (3.27) postać:

(3.28)
(3.29)

Na podstawie (3.28) masa spoczynkowa, a właściwiej masa, nie transformuje się przy przejściu z jednego układu do drugiego, a wektor pędu już tak. Mamy już transformację wektora pędu według (3.29), przestawmy wzory na składowe prostopadłe i równoległe wektora pędu do prędkości liniowej nowego układu odniesienia wiedząc, że :

(3.30)
(3.31)

Napiszmy wzór na kwadrat pędu prostopadłego względem linii poruszania się nowego układu współrzędnych wykorzystując wzór na transformację macierzy iloczynu skalarnego (1.30):

(3.32)

Czyli pęd prostopadły do prędkości liniowej nowego układu odniesienia nie zmienia swojej wartości.

Tensor siły w czasoprzestrzeni[edytuj]

N+1 wymiarowym wektorem siły nazywamy wielkość zdefiniowaną jako pochodną n+1 wymiarowego wektora pędu (3.14) względem linii światła, której różniczka jest zdefiniowana w punkcie (1.220) (lub (1.221)):

(3.33)

Szczególna teoria względności[edytuj]

Wyznaczmy elementy czasoprzestrzenne tensora siły (3.33) i jak przekonamy się później, że jest to wielkość proporcjonalna do relatywistycznej siły znanej z drugiej zasady dynamiki Einsteina (1.291):

(3.34)

Wedle wzoru (3.22) siła relatywistyczna jest proporcjonalna do części przestrzennej n+1 wymiarowego wektora siły:

(3.35)

Jeśli wykorzystamy wzór wynikający z definicji interwału czasoprzestrzennego i tensora siły, czyli wzoru (3.11) i pomnożeniu tak otrzymanego wyrażenia przez (m0c)2 i po wykorzystaniu definicji n+1 wymiarowego wektora pędu (3.12), to:

(3.36)

Zróżniczkujmy obie strony równania (3.24) względem linii światła:

(3.37)

Korzystać będziemy, że tensor Minkowskiego jest tensorem symetrycznym, który wynika z jego własności, a zatem równość (3.37) po zamianie miejscami wskaźników niemych według schematu μ→ν i ν→μ, wtedy po tak dokonanej zamianie i po podzieleniu tak otrzymanego równania przez dwa, wtedy dostajemy tożsamość fizyczną:

(3.38)

Jeśli wykorzystamy definicję tensor siły (3.33) we wzorze (3.38), to:

(3.39)

W równaniu (3.33) wydzielamy części przestrzenne (ν=1,2,3) od jej elementów czasowego (ν=0) oraz prowadząc kolejne przekształcenia wyznaczając część czasową tensora siły (3.33), właśnie ten element można zapisać:

(3.40)

Na samym końcu możemy wykorzystać wnioski (3.34) (część przestrzenna tensora siły) i (3.34) (część czasowa tensora siły), wtedy ten nasz tensor siły piszemy:

(3.41)

Jeśli mamy układ K', który porusza się z prędkością względem układu K, i dalej ponieważ tensor jest tensorem, to wtedy prawa fizyki są takie same we wszystkich układach odniesienia inercjalnych zgodnie z postulatem pierwszym szczególnej teorii względności. Wielkość wskaźnikowa siły w (3.41) nie jest tensorem, a jest tensorem. Jest w szczególnej teorii względności jest jak w (3.41), a w mechanice Newtona według (3.33) na podstawie definicjni tensora prędkości (3.9) mamy:

Mechanika Newtona[edytuj]

W mechanice Newtona według (3.33) na podstawie definicjni tensora prędkości (3.9), mamy:

(3.42)

Wielkości w (3.42), tzn.: i są tensorami, ten pierwszy nazwijmy tensorem siły, a ten drugi wielkością wskaźnikową siły. Widzmy, że współrzędne czasowe są zerowe, a współrzędne przestrzenne są za to niezerowe. Na podstawie przestrzeni Galileusza, mamy wzór na wektor tensora siły w zalezności od wektora wielkości wskaźnikowej siły:

(3.43)

Jeszcze raz o twierdzeniu o środku mas[edytuj]

Mając tensory położenia (3.2) i masy relatywistyczne możemy napisać wzór na położenie tensorowe środka mas:

(3.44)

Gdzie to tensor położenia ciała o numerze , a to położenie środka mas. N-tą pochodną względem dowolnej zmiennej możemy napisać w postaci podobnej do (1.385),tzn:

(3.45)

Wzór (3.45) podobnie się udowadnia jak wzór (1.385). A więc twierdzenie (3.45) zostało udowodnione. Wzory (3.44) i (3.45) są równoważne ze wzorami (1.384) i (1.385) dla i . Gdy we wzorze (3.44) mamy , gdzie w nim to masa spoczynkowa elementu masowego o numerze , a także , to wtedy dostajemy:

(3.46)

Widzimy, że według wzoru (3.46) masa środka mas jest równa sumie mas poszczególnych elementów masowych, stąd wzór (3.44) dla jest tożsamością. Stąd wzór (3.45) jest słuszny dla każdego dla . A masa spoczynkowa środka mas jest równa sumie mas relatywistycznych elementów masowych podzielonego przez , które jest zdefiniowane wzorem (1.287)(tutaj wybieramy znak plus jak wcześniej w module pierwszym powiedzieliśmy) dla wartości prędkości środka mas . Przepiszmy wzór (3.45) dla i , i , co po przekształceniu go wykorzystując (3.46) i (3.6) oraz dzieląc obustronnie ten wzór przez , wtedy:

(3.47)

Stąd na podstawie (3.47) mamy twierdzenie dla tensora prędkości środka mas dla jej elementów przestrzennych. A ponieważ zachodzi i według (3.6), to możemy napisać w prawej i lewej stronie (3.46) wykorzystując mnożenie przez jeden, tzn. tożsamości i , a także wykorzystując definicję tensora prędkości dla jej elementów czasowych:

(3.48)

Łącząc wzory (3.47) i (3.48) ze sobą w jeden wzór dostajemy:

(3.49)

Jest to wzór na tensor prędkości dla środka mas z którym on się porusza, w którym masa spoczynkowa środka mas jest zdefiniowana według (3.46).

Tensor siły dla środka mas[edytuj]

Metryka dla środka mas tak samo się definiuje i ma takie same właściwości jak metryka (3.10) dla poszczególnych punktów masowych. Wykorzystując twierdzenie (1.384) o środku mas układu cząstek, to wzory (3.33) i (3.41) są również spełnione dla środka mas, bo te wzory są również formułowane dla definicji siły (1.392) ogólnie dla środka mas układów cząstek, a (1.392) udowodniliśmy wychodząc z (1.291). Stąd wzór na tensor siły dla poruszającego środka masy i wzory na tensory sił dla elementów masowych są formalnie jednakowe.

Twierdzenie dodawania i odejmowania wyrazów równych zero do równania i wyrażenia matematycznego w układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze (wektorze) prędkości[edytuj]

A oto bardzo ważne twierdzenie matematyczne potrzebne do udowadniania fizyki (mechaniki Newtona i szczególnej teorii względności), które będziemy stosować.

Twierdzenie
W układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze (wektorze) prędkości, jeżeli wyraz jest dokładnie równy zero z właściwości tego układu, i wymnożenie tych elementów przez macierz transformacji (popatrz na definicję macierzy transformacji (1.216) w przypadku przejścia do układów słabozakrzywionych) w przypadku przejścia do układów zakrzywionych, jeżeli w tych układach daje też dokładnie zero na podstawie teorii funkcji uogólnionych lub zwykłych funkcji, to ten wyraz w równaniu można dodać z albo usunąć w równaniu i wyrażeniu matematycznym. Skalary w układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze (wektorze) prędkości, jeżeli są równe zero to automatycznie w innych dowolnych układach współrzędnych też są równe zero, a więc je pomijamy. Można dodawać i odejmować tylko te wyrazy skalarne, tensorowe, wskaźnikowe i wskaźnikowo-tensorowe w wyrażeniu i równaniu, które w każdym układzie współrzędnych mają zerową wartość, a w wielkościach tensorowych, wskaźnikowych i wskaźnikowo-tensorowych należy wyraz ogólnić nawet do układów zakrzywionych zamieniając przecinek na średnik, bo tam symbole Christoffela w układach globalnie (lokalnie) płaskich są równe zero.
  • 1.A oto przykład funkcji, która w układzie globalnie (lokalnie) płaskim o globalnie (lokalnie) stałym tensorze prędkości jest równa zero:
(3.50)

W układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości (3.50) jest równa zero ze względu globalną (lokalną) stałość gęstości spoczynkowej (1.300) i globalną (lokalną) stałość tensora prędkości (1.492). Przejdźmy do układów ogólnie zakrzywionych, tzn. wymnażamy przez macierz transformcji (1.216):

(3.51)

Wyraz w (3.51) jest równy zero ze względu, że wyraz w układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości jest równy zero.

  • 2.A oto przykład funkcji tensorowej słuszne dla układów co najwyżej zakrzywionych, ale najpierw udowodnijmy jego wartość w układzie globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości:

(3.52)

A więc od układów globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości na podstawie (1.300) przejście do układów co najwyżej zakrzywionych daje nam zero.

  • 3. A oto przykład całki słuszne dla układów co najwyżej zakrzywionych, ale najpierw udowodnijmy jego wartość w układzie globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości:


(3.53)

Pierwszy wyraz ostatniej równości jest równy zero dzięki niezależności gęstości spoczynkowej (1.492) i niezależności ciśnienia (1.489) względem interwału czasoprzestrzennego w układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości. Drugi wyraz w (3.53) jest równy zero na podstawie przykładu (3.52). Całka powierzchniowa (trzeci wyraz) jest dokładnie równa zero niezależnie jak by na to patrzeć w układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości według globalnej (lokalnej) stałości tensora prędkości (1.300), a więc przejście tej całki od układów globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości do układów ozakrzywionych daje nam zero, a więc całka (3.53) w układach co najwyżej zakrzywionych jest równa zero.

Gęstość tensora (wielkości wskaźnikowej) siły w przypadku relatywistycznego (szczególna teoria względności) i nierelatywistycznego (mechanika Newtona) ruchu płynu i punktów[edytuj]

Będziemy tutaj rozpatrywali relatywistyczny ruch cząstek płynu i punktów (ciał).

Szczególna teoria względności[edytuj]

Będziemy tutaj rozważać prawa ruchu układu relatywistycznego według szczególnej teorii względności.

Układy słabozakrzywione i globalnie (lokalnie) płaskie[edytuj]

Spróbujmy wyprowadzić wzór na gęstość tensora siły, której różniczka tensora siły działa na dany punkt ośrodka i jej odpowiednik dla skończonego tensora siły jest w postaci (3.33), piszemy wychodząc z różniczki tensora siły będąca iloczynem różniczki masy spoczynkowej i pochodnej zupełnej tensora prędkości cząstki płynu względem interwału czasoprzestrzennego i korzystając z definicji skrócenia długości (5.7) (przechodząc z infinitezymalnej różniczki objętości spoczynkowej do objętości relatywistycznej) i definicji gęstości masy spoczynkowej, możemy powiedzieć:

(3.54)

Wzór na gęstość tensora siły jest w postaci (3.54). Korzystając z definicji gęstości tensora siły według wzoru (3.54) przejdziemy z niej do gęstości wielkości wskaźnikowej siły na podstawie (3.41):

(3.55)

Wzór na gęstość wielkości wskaźnikowej siły jest w postaci (3.55), jest ona iloczynem gęstości spoczynkowej masy, prędkości światła, parametru γ i pochodnej zupełnej tensora prędkości względem czasu t.

Układ globalnie (lokalnie) płaski o globalnie (lokalnie) stałym tensorze prędkości[edytuj]

Mając wzór na wielkość gęstości tensora siły według punktu (3.54) przestawmy go w innej postaci dla układów globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości stosując w nim globalną (lokalną) stałość tensora prędkości (1.300) i globalną (lokalną) stałość gęstości spoczynkowej masy (1.492) oraz (Twierdzenie-2.1), jako:





(3.56)

Wzór na gęstość tensora siły (3.56) zapisujemy jako pochodna cząstkowa iloczynu gęstości relatywistycznej masy i wielkości wskaźnikowej prędkości względem interwału czasoprzestrzennego. Napiszmy drugą postać tego wzoru patrząc co jest po czwartej równości w (3.56), mamy:


(3.57)

Wzór na gęstość tensora siły (3.57) jest iloczynem gęstości spoczynkowej masy, prędkości światła, γ i pochodnej cząstkowej tensora prędkości względem interwału czasoprzestrzennego. Na podstawie sobie różnych postaci jednego wzoru dla układów globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości (3.56) i (3.57) piszemy ich odpowiedniki gęstości wielkości wskaźnikowej siły patrząc na równość (3.41), wtedy


(3.58)

Wzory na gęstość tensora siły (3.56) i (3.57) są równoważne co najwyżej w przybliżeniu wzorowi (3.54) oraz wzory na gęstość wielkości wskaźnikowej siły (3.58) są równoważne co najwyżej w przybliżeniu wzorowi (3.55) na mocy twierdzenia (Twierdzenie-2.1) w układach globalnie (lokalnie) płaskich i słabozakrzywionych.

Prawa dynamiki dla układów punktowych wynikające z praw dla układów rozciągłych dla przestrzeni słabozakrzywionych i globalnie (lokalnie) płaskich[edytuj]

Drugie prawo dynamiki w postaci wskaźnikowej dla układów rozciągłych dla układów słabozakrzywionych jest napisana według wzoru (3.55), a dla układów punktowych wyprowadzamy z tego wzoru wzór na wielkość wskaźnikową siły według (1.291), a więc:

(3.59)

Napiszmy z definicji delty Diraca:

(3.60)
  • gdzie n to wymiar przetrzeni zwykłej.

Na podstawie (3.59) i z definicji delty Diraca dla układów punktowych wzór na gęstość wielkości wskaźnikowej siły podczas jego operacji całkowania względem objętości:

(3.61)

Stąd wzór (3.59) dla układów rozciągłych przechodzi dla układów punktowych w wzór (3.61) (końcowy wzór), czyli w (1.291). Zatem wzór dla układów punktowych dla układów słabokrzywionych na tensor siły jest w postaci (3.33), a dla rozciągłych wzór na gęstość tensora siły przedstawia się w formie (3.54) (drugi wzór w implikacji), i to wszystko dla układów słabozakrzywionych.

Mechanika Newtona[edytuj]

Będziemy tutaj rozważać prawa ruchu układu nierelatywistycznego według mechaniki Newtona.

Układy słabozakrzywione i globalnie (lokalnie) płaskie[edytuj]

Spróbujmy wyprowadzić wzór na gęstość wielkości wskaźnikowej siły, której różniczka wektora działa na dany punkt ośrodka i jej odpowiednik dla skończonej wielkości wskaźnikowej siły jest w postaci (MT-1.32), piszemy wychodząc z różniczki wielkości wskaźnikowej siły będąca iloczynem różniczki masy spoczynkowej i pochodnej zupełnej wielkości wskaźnikowej prędkości cząstki płynu względem czasu absolutnego, korzystając przy tym, że nie ma żadnego skrócenia długości (a więc transformacji infinitezymalnej objętości z różniczki objętości spoczynkowej), i definicji gęstości masy spoczynkowej (ogólnie gęstości masy), możemy powiedzieć:

(3.62)

Wzór na gęstość wielkości wskaźnikowej siły jest w postaci (3.62), jest ona iloczynem gęstości spoczynkowej i pochodnej wielkości wskaźnikowej prędkości względem czasu t.

Układ globalnie (lokalnie) płaski o globalnie (lokalnie) stałym tensorze prędkości[edytuj]

Mając wzór na wielkość gęstości wskaźnikowej siły według punktu (3.62) przestawmy go w innej postaci dla układów globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze prędkości stosując zachodzącą globalną (lokalną) stałość tensora prędkości (1.301) i globalną (lokalną) stałość gęstości masy spoczynkowej (1.492) oraz (Twierdzenie-2.1), jako:



(3.63)

Wzór na gęstość wielkości wskaźnikowej siły jest pochodną iloczynu gęstości masy i wielkości wskaźnikowej prędkości. Dalej patrząc co jest po drugiej równości w (3.63), mamy:


(3.64)

Wzór (3.64) jest iloczynem gęstości masy i pochodnej cząstkowej wielkości wskaźnikowej prędkości względem czasu absolutnego. Wzory na gęstość wielkości wskaźnikowej siły (3.63) i (3.64) są równoważne co najwyżej w przybliżeniu wzorowi (3.62) na mocy twierdzenia (Twierdzenie-2.1) w układach globalnie (lokalnie) płaskich i słabozakrzywionych.

Prawa dynamiki dla układów punktowych wynikające z praw dla układów rozciągłych dla przestrzeni słabozakrzywionych i globalnie (lokalnie) płaskich[edytuj]

Drugie prawo dynamiki w postaci wskaźnikowej dla układów rozciągłych dla układów słabozakrzywionych jest napisana według wzoru (3.62), a dla układów punktowych wyprowadzamy z tego wzoru wyprowadzając wzór na wielkość wskaźnikową siły według (1.291), a więc:

(3.65)

Napiszmy z definicji delty Diraca:

(3.66)
  • gdzie n to wymiar przestrzeni zwykłej.

Na podstawie (3.65) i z definicji delty Diraca dla układów punktowych wzór na gęstość wielkości wskaźnikowej siły podczas jego operacji całkowania względem objętości:

(3.67)

Stąd wzór (3.65) dla układów rozciągłych przechodzi dla układów punktowych w wzór (3.67) (końcowy wzór), czyli w (MT-1.32). Zatem wzór dla układów punktowych dla układów słabozakrzywionych na wielkość wskaźnikową siły jest w postaci (MT-1.32), a dla rozciągłych wzór na gęstość wielkości wskaźnikową siły przedstawia się w formie (3.62) (drugi wzór w implikacji), i to wszystko dla układów słabozakrzywionych.