Szczególna teoria względności/Pierwsza i druga zasada Lagrange'a

Szczególna teoria względności
Szczególna teoria względności
Pierwsza i druga zasada Lagrange'a

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, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
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ść.


Wyprowadzimy tutaj dwie zasady Lagrange'a z zasady d'Alemberta.

Pierwsza zasada Lagrange'a zapisana dla drugiej zasady dynamiki Einsteina w postaci wektorowej i tensorowej

edytuj

Wersja wektorowa dla mechaniki Einsteina-Newtona

edytuj

Wprowadźmy zasadę d'Alemberta wyprowadzoną dla szczególnej teorii względności w postaci, że przy wirtualnych przemieszczeniach punktu masowego siła reakcji więzów nie wykonuje pracy, w postaci:

(27.1)

Zasada (27.1) dla ruchu bez więzów jest równoważna z definicją siły w szczególnej teorii względności (19.16) przy dowolnym. Weźmy f więzów określonymi równaniami, z którego z różniczki zupełnej otrzymamy równość przy przesunięciach w czasie, co z którego dla dt=0 przy przesunięciach wirtualnych , czyli:

(27.2)

Wykorzystajmy równość (27.2) przy wirtualnych przesunięciach (ostatni wzór) wykorzystując do (27.1) wiedząc, że dodanie zera nic nie zmienia w wartości tego równania, otrzymamy:

(27.3)

Równość (27.3) jest równoważna równaniu wektorowemu, w którym występuje siła niezwiązana z więzami i siła reakcji więzów , wtedy:

(27.4)

Dla układu globalnie (lokalnie) ogólnie nieprostokątnego równość (27.4) piszemy po zastąpieniu dla układu prostokątnego na dla układu ogólnie nieprostokątnego (definicja: (3.9)), którego przejście piszemy podobnie jak w (27.7), tylko jest w przeciwieństwie do układu słabozakrzywionego jest dokładną tożsamością, czyli wtedy otrzymamy dokładne równanie jako:

(27.5)

Według równości (27.4) siła reakcji więzów jest z definicji siły od więzów, które nie wykonują pracy, i jest ona zależna od stałych , które wyznaczamy biorąc równanie ruchu otrzymane z równaniami więzów, wtedy mamy 3nN-f równań więzów, i to równanie jest w postaci:

(27.6)

Równania (27.4) są słuszne w układach globalnie (lokalnie) płaskich ogólnie nieprostokątnych, ale udowodnijmy, że one są słuszne w układach słabozakrzywionych według macierzy transformacji (10.1) i definicji tych układów słabozakrzywionych (22.7), wtedy tą równość transformujemy zastępując przez (definicja: (3.9)), co dla przestrzeni płaskiej prostokątnej nie ma znaczenia, lub korzystając z równania (27.5) dla układów globalnie (lokalnie) płaskich ogólnie nieprostokątnych:

(27.7)

Końcowe równanie (27.7) jest słuszne również dla układów słabozakrzywionych, co przepisując bez nadkreśleń to równanie otrzymujemy w postaci równości (27.4) słuszną dla wszystkich układów odniesienia słabozakrzywionych nie tylko dla układów globalnie (lokalnie) płaskich.

Wersja tensorowa dla mechaniki Einsteina

edytuj

Jeżeli zamiast wektora siły użyjemy tensor siły to porównując ze szczególną teorią względności, tylko zamiast kolejno i i , a zamiast jest , a także zamiast czasu względnego (mechanika Einsteina) jest interwał czasoprzestrzenny , wtedy otrzymamy wzór d'Alemberta dla szczególnej teorii względności w postaci tensorowej wiedząc, że zachodzi z równania więzów:

(27.8)

więc, wtedy wzór otrzymany z równań więzów (27.8) poddstawiamy do równania d'Alemberta (ten wzór tak wygląda, że praca tensora siły reakcji więzów w czasoprzestrzeni jest równa zero) dla równań czasoprzestrzennych:

(27.9)

Można napisać równanie więzów w postaci , co z tego wynika z definicji różniczki zupełnej rozkładając funkcję względem współrzędnej czasowej i przestrzennych , wtedy:

(27.10)

Wtedy pisząc równanie ruchu przy więzach, otrzymamy równanie ruchu i wzór na tensor siły reakcji więzów w postaci prawa tensorowego dla czasoprzestrzeni przy więzach w nim wykorzystując przy tym wzór wynikający z równania więzów (27.10), wtedy mając na myśli , w takim razie:

(27.11)
(27.12)

Co kończy dowód, pierwszej zasady d'Alemberta dla tensorowych równań ruchu, czyli z tensorowej pierwszej zasady Lagrange'a wynika wektorowa pierwsza zasada Lagrange'a i odwrotnie w szczególnej teorii względności mając wzór na tensor siły w zależności od wektora siły przedstawiony w punkcie (20.41). Równania (27.11) są słuszne w układach globalnie (lokalnie) płaskich ogólnie nieprostokątnych, ale udowodnijmy, że one są słuszne w układach słabozakrzywionych według macierzy transformacji (10.1) i definicji tych układów słabozakrzywionych (22.7), wtedy tą równość transformujemy według:


(27.13)

Końcowe równanie (27.13) jest słuszne dla układów słabozakrzywionych, co przepisując bez nadkreśleń to równanie to otrzymujemy równość (27.11) słuszną dla wszystkich układów odniesienia słabozakrzywionych nie tylko dla układów globalnie (lokalnie) płaskich.

Przejście do układów słabozakrzywionych od układu globalnie (lokalnie) płaskiego prawej strony równości (27.11) jest oczywiste z rachunku tensorowego, którą udowodniono w punkcie (27.13), a tensorowość lewej strony równości tego równania wynika też z obliczeń, w której udowodnioną tą tensorowość w postaci (22.18) i zastosowano procedurę (Proc. 21.1) po przejściu do układów słabozakrzywionych uważanych za płaskie ogólnie nieprostokątne od układów globalnie (lokalnie) płaskich i potem dokonano przejście do układów krzywoliniowych lub we współrzędnych uogólnionych, a więc równość udowodnioną innym sposobem, nie korzystając bezpośrednio z układów słabozakrzywionych (ale pośrednio korzystamy) i definicji tych układów (22.7), a więc stąd wynika, że równanie na pierwszą zasadę Lagrange'a (27.11) jest przybliżonym równaniem jak udowodniono teraz. A z definicji tensora siły (20.41), wzór na pierwszą zasadę Lagrange'a w wersji wektorowej (27.5) jest też przybliżonym wzorem, co wynika wiedząc, że z wersji tensorowej tego równania można udowodnić jego wersję wektorową według obliczeń (27.12) i definicji tensora siły (20.41).

Druga zasada Lagrange'a zapisana w postaci wektorowej i tensorowej

edytuj

Wersja wektorowa dla mechaniki Einsteina-Newtona

edytuj

Weźmy f więzów i niech mamy układ współrzędnych prostokątnych w układzie współrzędnym uogólnionym o współrzędnych , w tym układzie jest N mas, nasz układ jest n-wymiarowy, tzn. wymiar przestrzeni zwykłej jest n. Nieskończenie małe przesunięcie w przestrzeni, pochodna czasowa w przestrzeni prostokątnej położenia względem czasu i stąd wynikający wniosek piszemy:

(27.14)

Przedstawiając wektor pędu w postaci (19.15) biorąc równanie d'Alemberta (27.1) (w mechanice Newtona przyjmujemy, że zachodzi dla a-tej współrzędnej układu n-wymiarowego N cząstek), wtedy mamy:

(27.15)

Z rachunku różniczkowego zachodzi w układzie n-wymiarowym prostokątnym mamy lagrangian kinematyczny w zależności od wektora współrzędnych prędkości w układzie prostokątnych i masy spoczynkowej N mas dla mechaniki Einsteina i Newtona kolejno:

(Mechanika Einsteina)
(27.16)
(Mechanika Newtona)
(27.17)

Do lagrangianu kinematycznego (27.16) stosujemy przybliżenie nierelatywistyczne, tzn.: , tzn. (16.11), a więc wtedy lagrangian kinematyczny (27.16), tzn. mechaniki Einsteina przechodzi w (27.17) dla prędkości o wiele mniejszych niż prędkość światła w lagrangian Newtona, tzn. , z dokładnością do stałej, stosując przybliżenie (19.12), nastepująco:

(27.18)

Możemy napisać wykorzystując ostatnią tożsamość w (27.14) i wzór na lagrangian kinematyczny (27.16) (mechaniki Einsteina) i (27.17) (mechanika Newtona), czyli policzmy pochodną cząstkową lagrangianu kinematycznego względem współrzędnych uogólnionych położenia, i pochodną cząstkową tego samego lagrangianu względem prędkości uogólnionej:

(27.19)
(27.20)

Policzmy pochodną zupełną obustronną wyrażenia pochodnej cząstkowej lagrangianu kinematycznego względem prędkości uogólnionej (27.20) względem czasu:

(27.21)

Wykorzystując otrzymaną równość w (27.21) podstawiamy do tożsamości (27.15), w takim razie przy dowolnych wariacjach przesunięcia wirtualnego , mamy:

(27.22)

Zdefiniujmy siłą uogólnioną jako sumę iloczynu nN współrzędnych siły o składowej a i pochodnej cząstkowej położenia o składowej a w układzie prostokątnym względem położenia w układzie we współrzędnych uogólnionych o składowej k:

(27.23)

Na podstawie definicji siły uogólnionej przedstawionej w równaniu (27.23) końcowa tożsamość (27.22) przedstawia się:

(27.24)

Równość (27.24) jest równaniem ruchu w układzie we współrzędnych uogólnionych znając wzór na siłę uogólnioną (27.23) i wzór na lagrangian kinematyczny dla dla układu mas (27.16). Weźmy lagrangian , wtedy napiszmy zamiast jego wersję , zatem wzór (27.24) w wersji jeszcze nie udowodnionej przedstawia się wzorem w zależności od siły zewnętrznej uogólnionej :

(27.25)

Wiedząc, że zachodzi pewien wzór na podany wcześniej możemy powiedzieć wynikająco z (27.25):

(27.26)

Porównując wzory (27.26) z (27.24) dostajemy, że wzór (27.25) jest ogólnie spełniony i zachodzi wzór na siłę uogólnioną od oddziaływania i wzór na siłę uogólnioną, jako:

(27.27)
(27.28)

Weźmy we wzorze (27.24) zamiast wyrażenie , wtedy ten wzór nadal jest spełniony na podstawie udowodnionej spełniowości (27.25), wtedy też jest spełniony wzór na siłę uogólnioną (27.27) i addytywność sił uogólnionych (27.28). Równość (27.25) jest słuszna w układach globalnie (lokalnie) płaskich, ale udowodnijmy go w układach słabozakrzywionych korzystając z macierzy transformacji (10.1) i z własności tej macierzy w postaci (22.7), wtedy:

(27.29)

Końcowe równanie (27.29) jest słuszne również dla układów słabozakrzywionych, co przepisując bez nadkreśleń to równanie to otrzymujemy równość (27.25) słuszną dla wszystkich układów odniesienia słabozakrzywionych, jako równość przybliżoną, nie tylko dla układów globalnie (lokalnie) płaskich. Równanie (27.25) załóżmy, że jest słuszne dla układów płaskich prostokątnych, wtedy z definicji stałości macierzy transformacji , tzn. wynika, że jest spełniona równość dla dowolnych układów odniesienia płaskich ogólnie nieprostokątnych, według (27.25), a to równanie udowadnia się podobnie jak dla układu słabozakrzywionego (27.29), tylko że obliczenia są dokładne, wtedy:

(27.30)

Wersja tensorowa równań Eulera-Lagrange'a dla mechaniki Einsteina - przejście z lagrangianu wektorowego mechaniki Newtona do tensorowego

edytuj

Równanie (27.25) jest ogólnie spełnione w szczególnej teorii względności, weźmy interwał czasoprzestrzenny w mechanice Newtona (16.12) i na podstawie przedstawienia tensora siły w tej teorii (20.42) mamy, że element tensora siły czasowy jest równy zero, a lagrangian jest niezależny od czasu i elementu czasowego tensora prędkości, a więc przepiszmy równanie Eulera-Lagrange'a (27.25) dla tej teorii zastępują zamiast kolejno , i na , na wielkość kowariantną i , wtedy otrzymamy równanie dla układów globalnie (lokalnie) płaskich prostokątnych, wtedy pisząc dla czasoprzestrzeni (n+1)-wymiarowej wynikająco dla teorii Newtona przedstawionej we współrzędnych nieuogólnionych układu prostokątnego, wtedy dla obu sygnatur (sygnatura dodatnia znak u góry, a sygnatura ujemna u dołu):


(27.31)
  • Powyższe równości są również słuszne nie tylko w mechanice Newtona, ale i też w szczególnej teorii względności dla dowolnych współrzędnych uogólnionych (tensorowych).

Udowodnijmy lagrangian tensorowy mechaniki Einsteina po przejściu z lagrangianu tensorowego mechaniki Newtona, z dokładnością do stałej:


(27.32)

Udowodnijmy niezmienniczość lagrangianu masowego szczególnej teorii względności z teorii transformacji i też wykorzystując definicję jedynki (20.10):

(27.33)

Wersja tensorowa dla mechaniki Einsteina (dowód z lagrangianu tensorowego)

edytuj

Weźmy lagrangian masowy kinematyczny wychodząc z (27.33), i go możemy ogólnie napisać w postaci dla współrzędnych ortonormalnych dla sygnatury dodatniej (znak u góry) i ujemnej (znak u dołu), dla mas dla układu współrzędnych -wymiarowego czasoprzestrzeni globalnie (lokalnie) płaskiej i słabozakrzywionej:

(27.34)

A zasada d'Alemberta możemy przedstawić wzorem (27.9), wtedy możemy napisać pochodną cząstkową lagrangianu tensorowego względem tensora położenia i też względem tensora prędkości, współrzędnych uogólnionych:

(27.35)
(27.36)

Policzmy pochodną zupełną obustronną wyrażenia pochodnej cząstkowej lagrangianu kinematycznego względem prędkości uogólnionej (27.36) względem interwału czasoprzestrzennego:

(27.37)

Równanie (27.37) jest napisane dla obu sygnatur, wtedy możemy napisać razem następująco po przepisaniu i zaznaczeniu czemu jest równy uogólniony tensor siły:

(27.38)

Równanie (27.38) dla drugą zasadę Lagrange'a jest takie samo jak równość (27.31). Napiszmy równość używając lagrangianu zamiast lagrangianu masowego kinematycznego:

(27.39)

Możemy napisać, to , w takim razie przechodzimy wtedy do równości początkowej (27.38) z (27.39).

Druga zasada Lagrange'a w wersji wektorowej i tensorowej, ale dla układów rozciągłych

edytuj

W równaniu (27.25) napisanej w wersji wektorowej i (27.31) napisane w wersji tensorowej, wtedy pisząc lagrangian nieskończenie małego elementu zastąpmy przez , wtedy napiszmy:

(27.40)

wykorzystując wnioski zastąpieniowe i podzieleniu tych równań obustronnie przez otrzymujemy równania drugiej zasady Lagrange'a kolejno dla wersji wektorowej i tensorowej dla układów rozciągłych:


(27.41)

(27.42)
  • gdzie niektóre wielkości występujące we wzorach (27.41) i (27.42), zatem:
to jest k-ta współrzędna gęstości siły uogólnionej zewnętrznej,
to jest gęstość wektora siły zewnętrznej a-tego ciała k-tej współrzędnej w układzie we współrzędnych krzywoliniowych (uogólnionych),
to jest gęstość tensora siły zewnętrznej a-tego ciała μ-tej współrzędnej w układzie we współrzędnych krzywoliniowych (uogólnionych),
to jest gęstość wektora siły zewnętrznej a-tego ciała,
i to są gęstości tensora siły uogólnionej zewnętrznej, pierwszy kontrawariantny i drugi kowariantny,
to jest współrzędna gęstości tensora siły kontrawariantnej zewnętrznej współrzędnych N-tych ciał.

Wzór na tensor sił uogólnionych i jego addytywność

edytuj

We wzorze tensorowym na drugą zasadę Lagrange'a dla szczególnej teorii względności (27.31) weźmy , wtedy otrzymujemy wzór na tensor siły uogólnionej i jego addytywność dla wskaźników górnych:

(27.43)
(27.44)
(27.45)
(27.46)

Czyli stąd wiemy, że jak siła (23.8), czy tensor sił (23.16), to podobnie tensor siły uogólnionej też jest addytywny na podstawie (27.44) (wskaźniki na górze) i (27.46) (wskaźniki na dole).

Wzór na gęstość tensora sił uogólnionych i jego addytywność

edytuj

Wzory (27.43), (27.44), (27.45) i (27.46) są też spełnione, gdy zamiast wielkości , , i występują ich gęstości objętościowe, tzn. przedstawiają się w postaci:

(27.47)
(27.48)
(27.49)
(27.50)

Czyli na podstawie (27.48) (wskaźniki na górze) i (27.50) (wskaźniki na dole) gęstość tensora siły uogólnionej jest wielkością addytywną.