Czterogradient (lub 4-gradient)
– operator czterowektorowektorowy definiowany w czterowymiarowej czasoprzestrzeni Minkowskiego. Jest odpowiednikiem operatora wektorowego nabla
definiowanego w 3-wymiarowej przestrzeni euklidesowej.
Przyjmując sygnaturę metryki
czasoprzestrzeni, czterogradient można wyrazić za pomocą jego składowych:
a) składowe kowariantne (dolne) 4-gradientu
![{\displaystyle \partial _{\mu }\equiv {}_{,\mu }\equiv {\dfrac {\partial }{\partial x^{\mu }}}=\left(\partial _{0},\partial _{1},\partial _{2},\partial _{3}\right)=\left(\partial _{0},{\vec {\nabla }}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd69c03ea5ad4f1ab315721d78d5b26e5cbb0232)
b) składowe kontrawariantne (górne) 4-gradientu
![{\displaystyle \partial ^{\mu }\equiv {}^{,\mu }\equiv {\dfrac {\partial }{\partial x_{\mu }}}=\left(\partial ^{0},\partial ^{1},\partial ^{2},\partial ^{3}\right)=\left(\partial _{0},-{\vec {\nabla }}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca45002f908918b566593a5f277656c1c280b04)
przy czym:
itd. – pochodne cząstkowe względem współrzędnych kontrawariantnych
4-wektora położenia ![{\displaystyle x^{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/684350815d8cc05d6862ce3edf1fb819c1774b46)
itd. – pochodne cząstkowe względem współrzędnych kowariantnych
4-wektora położenia ![{\displaystyle x_{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dec9df53adf1f4825f65856a0bcdb42ed8c599bb)
Czterogradient jest używany np. w równaniach szczególnej teorii względności, mechaniki kwantowej czy kwantowej teorii pola. Iloczyn skalarny czterogradientu daje operator d’Alamberta.
STW oraz OTW oznaczają skróty od szczególna teoria względności oraz ogólna teoria względności.
oznacza prędkość światła w próżni.
– tensor metryczny w płaskiej czasoprzestrzeni.
Jest kilka sposobów zapisu 4-wektorów:
(1)
– pogrubiona czcionka i duże litery oznacza 4-wektory, małe litery dotyczą wektorów o 3 współrzędnych
(2)
styl Ricciego, używający notacji tensorowej – użyteczny, gdy w wyrażeniach mamy tensory o większej liczbie indeksów; np.
Indeks oznaczany literą łacińską przebiega zakres {1, 2, 3} i służy do zapisu wektorów 3-wymiarowych, np.
Indeks oznaczany literą grecką przebiega zakres {0, 1, 2, 3} i służy do zapisu wektorów 3-wymiarowych, np.
W STW typowo używa się mieszanych zapisów, np.
gdzie
jest współrzędną czasową,
przestawia współrzędne przestrzenne.
Zwięzłe, równoważne zapisy (por. konwencja sumacyjna Einsteina):
![{\displaystyle \mathbf {A} \cdot \mathbf {B} =A^{\mu }\eta _{\mu \nu }B^{\nu }=A_{\nu }B^{\nu }=A^{\mu }B_{\mu }=\sum _{\mu =0}^{3}a^{\mu }b_{\mu }=a^{0}b^{0}-\sum _{i=1}^{3}a^{i}b^{i}=a^{0}b^{0}-{\vec {\mathbf {a} }}\cdot {\vec {\mathbf {b} }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9c9dbb8400877012fd256475419a6e5a26f9227)
(1) Składowe 4-gradientu kowariantne
![{\displaystyle {\dfrac {\partial }{\partial x^{\mu }}}=\left({\frac {1}{c}}{\frac {\partial }{\partial t}},{\vec {\nabla }}\right)=\left({\frac {\partial _{t}}{c}},{\vec {\nabla }}\right)=\partial _{\mu }={}_{,\mu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41201fcdd355a717d602244ad13a0e742e59d4a9)
Przecinek w ostatnim wyrażeniu
oznacza różniczkowanie względem współrzędnych przestrzennych 4-wektora położenia
(2) Składowe 4-gradientu kontrawariantne
![{\displaystyle \mathbf {\partial } =\partial ^{\alpha }=\eta ^{\alpha \beta }\partial _{\beta }=\left({\frac {1}{c}}{\frac {\partial }{\partial t}},-{\vec {\nabla }}\right)=\left({\frac {\partial _{t}}{c}},-{\vec {\nabla }}\right)=\left({\frac {\partial _{t}}{c}},-\partial _{x},-\partial _{y},-\partial _{z}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e05aec60d216e13287fdb0d39ef1204f50dd6584)
Alternatywne symbole do
to:
oraz D (choć
może też oznaczać
tj. operator d’Alemberta).
(3) W OTW używa się niediagonalnego tensora metrycznego
oraz wprowadza się pojęcie pochodnej kowariantnej
(nie należy mylić jej z wektorem 3-wymiarowym
).
Pochodna kowariantna
zawiera 4-gradient
oraz symbole Christoffela
Ogólna zasada względności OTW powoduje, iż:
- Prawa fizyki w OTW w zakrzywionej czasoprzestrzeni wyrażone za pomocą wielkości tensorowych muszą mieć taką samą formę jak w STW, przy czym pochodne zwyczajne zamieniają się na pochodne kowariantne (tzw. reguła przecinek → średnik; szczegółowo omawia to artykuł pochodna kowariantna).
a) Np. prawo w STW
![{\displaystyle T^{\mu \nu }{}_{,\mu }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ff8c9871e745ee222fe7d497d185c2b8a4aa436)
- przechodzi w OTW w prawo:
![{\displaystyle T^{\mu \nu }{}_{;\mu }=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de7593ffd3614acf11fec78c4c2f731060816916)
b) Podobnie, dla tensora (1,0) prawo w STW:
![{\displaystyle \nabla _{\beta }V^{\alpha }=\partial _{\beta }V^{\alpha }+V^{\mu }\Gamma ^{\alpha }{}_{\mu \beta }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bb99b9933072ffdf922b92a25753561521345ef)
- przechodzi w OTW w prawo:
![{\displaystyle V^{\alpha }{}_{;\beta }=V^{\alpha }{}_{,\beta }+V^{\mu }\Gamma ^{\alpha }{}_{\mu \beta }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb99ad8f343f3de398adef4e7c81b575b5d74b48)
c) Dla tensora (2,0) prawo w STW:
![{\displaystyle \nabla _{\nu }T^{\mu \nu }=\partial _{\nu }T^{\mu \nu }+\Gamma ^{\mu }{}_{\sigma \nu }T^{\sigma \nu }+\Gamma ^{\nu }{}_{\sigma \nu }T^{\mu \sigma }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10997e7495b26a7f4f3fb3ebac5e216d010d6f11)
- przechodzi w OTW w prawo:
![{\displaystyle T^{\mu \nu }{}_{;\nu }=T^{\mu \nu }{}_{,\nu }+\Gamma ^{\mu }{}_{\sigma \nu }T^{\sigma \nu }+\Gamma ^{\nu }{}_{\sigma \nu }T^{\mu \sigma }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bab927bb343496f4117a3987274073e1f892ddff)
1. Operatory różniczkowe 4-wymiarowej czasoprzestrzeni Minkowskiego
2. Operatory różniczkowe 3-wymiarowej przestrzeni euklidesowej