Wikipedysta:Persino/Szczególna teoria względności/Tensorowy charakter różniczki położenia oraz tensora siły w mechanine Einsteina i wektora siły w mechanice Newtona

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
Tensorowy charakter różniczki położenia oraz tensora siły w mechanine Einsteina i wektora siły w mechanice Newtona

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ść.


Będziemy tutaj rozważali, czy poszczególne wielkości są tensorami, czy tylko wektorami, w postaci einsteinowskiej i newtonowskiej.

Tensorowość wielkości wskaźnikowej prędkości w postaci einsteinowskiej i tylko wektorowość (nietensorowość) w postaci newtonowskiej[edytuj]

Wielkość wskaźnikowa prędkości jest tensorem z definicji różniczki zupełnej dla postaci einsteinowskiej (21.1) i nie jest tensorem w postaci newtonowskiej według (21.2):

(21.1)
(21.2)

Według (21.1) wielkość wskaźnikowa prędkości jest tensorem nawet dla zakrzywionej, nie tylko dla globalnie (lokalnie) płaskiej i słabozakrzywionej, ale dla czasoprzestrzeni, ale już wektor prędkości, ale dla przestrzeni zwykłej, według (21.2) nie jest tensorem, ale jest już tensorem, gdy jest równe zero. Transformacja tensorowa (21.1) zachodzi również w układach słabozakrzywionych na podstawie (10.3) i jego definicji (21.7) (postać einsteinowska), a wzór transformacyjny wielkości wskaźnikowych w (21.2) na podstawie transformacji wektorów w przestrzeni zwykłej (10.4) i definicji układów słabozakrzywionych (21.9) (postać newtonowska) też zachodzi w nim.

Tensorowość wielkości wskaźnikowej pędu w postaci einsteinowskiej i tylko wektorowość (nietensorowość) w postaci newtonowskiej[edytuj]

Ale mamy z definicji tensora pędu jako tensora i jego transformacji z jednego układu współrzędnych do innego na podstawie tensorowości wielkości wskaźnikowej prędkości (21.1) (postać insteinowska) i (21.2) (postać newtonowska) mamy kolejno (21.3) i (21.4):


(21.3)

(21.4)

Według (21.3) wielkość wskaźnikowa pędu jest tensorem nawet dla zakrzywionej, nie tylko dla globalnie (lokalnie) płaskiej i słabozakrzywionej, ale dla czasoprzestrzeni, ale już wektor pędu, ale dla przestrzeni zwykłej, według (21.4) nie jest tensorem, ale jest już tensorem, gdy jest równe zero. Transformacja tensorowa (21.3) zachodzi również w układach słabozakrzywionych na podstawie tożsamości dla układów słabozakrzywionych (10.3) i jego definicji (21.7) (postać einsteinowska), a wzór transformacyjny wielkości wskaźnikowych w (21.4) na podstawie transformacji wektorów w przestrzeni zwykłej (10.4) i definicji układów słabozakrzywionych (21.9) (postać newtonowska) też zachodzi w nim.

Tensorowość wielkości wskaźnikowej siły w układach słabozakrzywionych i globalnie (lokalnie) płaskich[edytuj]

Będziemy badali tutaj układy słabozakrzywione w przybliżeniu płaskie ogólnie nieprostokątne i płaskie ogólnie nieprostokątne oraz słabozakrzywione i płaskie, ale krzywoliniowe.

Układy słabozakrzywione w przybliżeniu płaskie ogólnie nieprostokątne i globalnie (lokalnie) płaskie ogólnie nieprostokątne[edytuj]

Korzystając ze wzoru (20.30) (postać einsteinowska) i (20.31) (postać newtonowska) na definicję odpowiednio tensora i wektora siły oraz wzorów na transformację tensora i wektora pędu kolejno (21.3) i (21.4), a także z niezmienniczości różniczki kolejno interwału czasoprzestrzennego i czasu absolutnego wiedząc, że zachodzi globalna (lokalna) stałość wektora prędkości nowego układu odniesienia względem starego, tzn.: (20.8), co wtedy kolejno (21.5) i (21.6) przedstawiają się:


(21.5)

(21.6)

Do wyprowadzeń w punkcie (21.6) stosowaliśmy (20.8), tzn. prędkość układu odniesienia względem innego jest wielkością globalnie (lokalnie) stałą. Dla układów słabozakrzywionych i globalnie (lokalnie) płaskich pochodna zupełna macierzy transformacji z jednego układu odniesienia do drugiego względem kolejno interwału czasoprzestrzennego i czasu absolutnego oraz cząstkowa względem wielkości wskaźnikowej położenia w przestrzeni zwykłej i czasu są równe zero w sposób przybliżony w układach słabozakrzywionych, a w układach globalnie (lokalnie) płaskich globalnie (lokalnie) dokładnie, tzn. dla postaci einsteinowskiej (21.7) i (21.8) oraz newtonowskiej (21.9), (21.10) i (21.11):

(21.7)
(21.8)
(21.9)
(21.10)
(21.11)

Wzory (21.7) i (21.8) w postaci einsteinowskiej oraz (21.9), (21.10) i (21.11) w postaci newtonowskiej w układach globalnie (lokalnie) płaskich o globalnie (lokalnie) stałym tensorze (wektorze) prędkości są dokładnie równe zero. Udowodnijmy wzory na pochodną cząstkową macierzy transformacji względem tensora położenia (21.8) (postać einsteinowska) i (21.10) (postać newtonowska) na podstawie pochodnej zupełnej macierzy transformacji względem kolejno interwału czasoprzestrzennego (21.7) i czasu absolutnego (21.9):

(21.12)
(21.13)

Ale ponieważ w układach słabozakrzywionych (21.7) (postać einsteinowska) i (21.9) (postać newtonowska) zachodzą w dowolnym kierunku dla dowolnego tensora (wektora) prędkości, stąd spełnione są kolejno wzory (21.8) oraz (21.10) i (21.11) na podstawie dowodów dla nich kolejno (21.12) i (21.13). Oczywiste jest, że kolejno z przedstawień (21.8) oraz (21.10) i (21.11) wynikają kolejno z nich (21.7) i (21.9) na podstawie formuł kolejno (21.12) i (21.13).

Weźmy układ globalnie (lokalnie) płaski, w którym mamy wielkość wskaźnikową będącą tam tensorem , a ponieważ zachodzą związki dla mechaniki Einsteina (21.8) oraz Newtona (21.10) i (21.11), zatem możemy powiedzieć, że po transformacji otrzymujemy dwa wzory ze sobą równoważne, pierwszy z wykorzystaniem związków układu słabozakrzywionego, a drugi z wykorzystaniem własności tensorowych, ale , co stąd z definicji pochodnej tensorowej wynika, że symbole Christoffela w takich układach są w przybliżeniu równe zero , czyli układy słabozakrzywione są w przybliżeniu płaskie.

  • Tensor siły (pierwsza równość) w (20.30) według równania geodezyjnego (20.15) (notacja einsteinowska) i na podstawie wniosku, wynikającego z (21.8) (mechanika Einsteina) lub (21.10) i (21.11) (mechanika Newtona), dotyczącego, jakie wartości przyjmują symbole Christoffela, mechanika Einsteina i Newtona są niespełnione dla bardzo dużych sił, bo symbole Christoffela są małe.

Co na podstawie kolejno zapisów (21.7) i (21.9) wzory na transformację wielkości wskaźnikowej siły coś w rodzaju wielkości tensorowych kolejno (21.5) i (21.6) przybierają postać:

(21.14)
(21.15)

Stąd wielkości wskaźnikowe siły coś w rodzaju wielkości tensorowych na podstawie przybliżonych transformacji (21.14) (postać einsteinowska) i (21.15) (postać newtonowska) są w przybliżeniu tensorami w układach słabozakrzywionych i dokładnie w układach globalnie (lokalnie) płaskich. Widzimy, że jeśli nie są spełnione (21.7) i (21.9) to już nie są spełnione kolejno wzory (21.14) i (21.15) to wielkości (20.30) i (20.31) nie są tensorami nawet w przybliżeniu, co jest spełnione dla układów zakrzywionych w czasoprzestrzeni i przestrzeni zwykłej, ale nie globalnie (lokalnie) płaskich i słabozakrzywiownych. Dla układów słabozakrzywionych i globalnie (lokalnie) płaskich na podstawie co najwyżej przybliżonej tensorowości w postaci einsteinowskiej (21.14) i newtonowskiej (21.15) prawa fizyki są ogólnie spełnione.

Układy słabozakrzywione jako przestrzenie opisywane przez mechanikę Einsteina i Newtona[edytuj]

Weźmy w szczególnej teorii względności wzór na tensor siły i w mechanice Newtona wzór wektor siły i napiszemy je w postaci tensorowej:


(21.16)

(21.17)

Napiszmy równania transformacyjne równań ruchu kolejno (21.16) i (21.17) wiedząc, że w tym pierwszym tensor prędkości jest tensorem, a w tym drugim wielkość wskaźnikowa prędkości jest też tensorem:

(21.18)
(21.19)

W układach słabozakrzywionych uważanych za płaskie ogólnie nieprostokątne i we układach o współrzędnych krzywoliniowych (uogólnionych) tensory siły w szczególnej teorii względności na podstawie (21.18) i wielkości wskaźnikowa siły w mechanice Newtona na podstawie (21.19) są w przybliżeniu tensorami, tzn. transformują się jak tensory. We wzorach (21.16) i (21.17) już nie zachodzi ogólnie i według równości na linie geodezyjne na podstawie (20.15) (pierwszy wzór), bo postępujemy według (Proc. 20.1).

  • Prawą część wzorów w (21.18) i (21.19) nazywamy częścią kinematyczną, a lewą dynamiczną.

Tensorowość wielkości wskaźnikowej położenia w postaci einsteinowskiej i tylko wektorowość (nietensorowość) w postaci newtonowskiej[edytuj]

Udowodnijmy, że różnica wielkości wskaźnikowej położenia w czasoprzestrzeni według postaci einsteinowskiej jest tensorem w sposób przybliżony, a różniczka dokładnie, na podstawie tego, że tensor prędkości jest dokładnie tensorem (21.1), a różnica wielkości wskaźnikowej położenia w przestrzeni zwykłej według postaci newtonowskiej nie jest tensorem nawet w posób przybliżony, a jego różniczka też, na podstawie (21.2), co to wszystko kolejno o tym powiemy w przypadku o postaci einsteinowskiej różnica wielkości wskaźnikowej położenia w nowym układzie współrzędnym a starym jest równa:

(21.20)

lub w przypadku o postaci newtonowskiej różnica wielkości wskaźnikowej położenia w nowym układzie współrzędnym a starym układem jest równa:


(21.21)

Widzimy, że wzór (21.20) dla opisu ruchu w czasoprzestrzeni przyjmując, że , zgadza się dla dowolnych układów odniesienia zakrzywionych, słabozakrzywionych i globalnie (lokalnie) płaskich ze wzorem (6.5). Jeśli zachodzi (21.20) (postać einsteinowska) i (21.21) (postać newtonowska), wtedy różnica wielkości wskaźnikowej położenia w czasoprzestrzeni jest w przybliżeniu tensorem, gdy macierz transformacji kolejno praktycznie się nie zmienia na drodze od do , a nie jest tensorem dla przestrzeni zwykłej, nawet gdy macierz transformacji praktycznie się nie zmienia na drodze od do i od do , ale gdy kolejno , to wtedy różniczka wielkości wskaźnikowej położenia w czasoprzestrzeni jest tensorem w postaci (21.22), a gdy i to według (21.23) różniczka położenia nie jest tensorem w przestrzeni zwykłej:

(21.22)
(21.23)

Ze wzorów (21.22) i (21.23) kolejno wynikają wzory (21.20) i (21.21). Wzory (21.22) i (21.23) kolejno wynikają też bezpośrednio ze wzorów (21.1) i (21.2). Wzory (21.20) i (21.22) oraz (21.21) i (21.23) są też spełnione dla układów zakrzywionych kolejno dla czasoprzestrzeni i przestrzeni zwykłej. Transformacja tensorowa (21.22) zachodzi również w układach słabozakrzywionych na podstawie (10.3) i jego definicji (21.7) (postać einsteinowska), a wzór transformacyjny wielkości wskaźnikowych w (21.23) na podstawie transformacji wektorów w przestrzeni zwykłej (10.4) i definicji układów słabozakrzywionych (21.9) (postać newtonowska) też zachodzi w nim.

Tensorowość wyrażenia wskaźnikowego: dxs-Vsdt, vs-Vs i ps-m0Vs, w postaci newtonowskiej[edytuj]

Rozpatrzmy postać Newtonowską, wtedy z układu do oraz z układu do transformacje piszemy w postaci:

(21.24)
(21.25)
  • gdzie jest współrzędną prędkości układu względem układu , a jest współrzędną prędkości układu względem układu .

Łącząc wzory (21.24) i (21.25) stronami, mamy:


(21.26)

A więc wzór (21.26) zapiszmy w postaci lepszej właściwej z nadkreśleniami w układzie i pisząc macierz transformacji też z nadkreśleniem, stąd:

(21.27)

Na podstawie (21.27) wielkość różniczkowa transformuje się jak tensor i jest tensorem w postaci newtonowskiej. Gdy układy, tzn.: (wtedy ), to transformacja tensorowa (21.27) przechodzi w (21.23). Na podstawie (21.27), która jest dla postaci newtonowskiej, różnica jest tensorem też w postaci newtonowskiej, to otrzymujemy dzieląc obustronnie ten wzór przez różniczkę czasu absolutnego , czyli:

(21.28)

Wzór (21.28) przechodzi w (21.2), gdy zachodzi (wtedy ). Na podstawie (21.28) możemy napisać pewne prawo transformacji w postaci newtonowskiej:

(21.29)

Wielkość jest tensorem w postaci newtonowskiej. Wzór (21.29) przechodzi w (21.4), gdy zachodzi (wtedy ). Wzory transformacyjne wielkości wskaźnikowych w (21.27), (21.28) i (21.29) na podstawie transformacji wektorów w przestrzeni zwykłej (10.4) i definicji układów słabozakrzywionych (21.9) (postać newtonowska) też zachodzą w układach słabozakrzywionych.