Cvadrivector

În relativitatea specială, un cvadrivector (uneori vectorul Lorentz) este un obiect matematic cu patru componente, care se transformă într-un mod specific sub efectul transformărilor Lorentz. Mai precis, un cvadrivector este un element al unui spațiu vectorial cvadridimensional considerat ca spațiu de reprezentare a reprezentării standard a grupului Lorentz, reprezentarea (Format:Sfrac,Format:Sfrac ). El diferă de un vector euclidian prin modul în care este determinată mărimea sa. Transformările care păstrează această mărime sunt transformările Lorentz, care includ rotațiile spațiale și impulsurile (o schimbare cu o viteză constantă într-un alt cadru de referință inerțial).Format:Rp

Cvadrivectorii descriu, de exemplu, poziția $x^{\mu }$ în spațiu-timp modelat ca spațiu Minkowski, impulsul cvadruplu al unei particule $p^{\mu }$, amplitudinea potențialului cvadruplu electromagnetic $A^{\mu }(x)$ într-un punct Format:Mvar din spațiu-timp și elementele subspațiului acoperit de matricele gamma din cadrul algebrei Dirac.

Grupul Lorentz poate fi reprezentat prin matrici 4×4 Format:Math. Acțiunea unei transformări Lorentz asupra unui cvadrivector contravariant general Format:Mvar (ca în exemplele de mai sus), considerat ca un vector coloană cu coordonate carteziene în raport cu un cadru inerțial în intrări, este dată de formula

$X^{\prime }=\mathrm{\Lambda }X,$

(înmulțire matriceală) în care componentele obiectului primat se referă la noul cadru. În legătură cu exemplele de mai sus care sunt date ca vectori contravarianți, există, de asemenea, vectorii covarianți corespunzători Format:Math, Format:Math și Format:Math. Aceștia se transformă în conformitate cu regula

$X^{\prime }={\left({\mathrm{\Lambda }}^{-1}\right)}^{\text{T}}X,$

unde Format:Math reprezintă transpusa matricei. Această regulă este diferită de cea de mai sus. Ea corespunde reprezentării duble a reprezentării standard. Cu toate acestea, pentru grupul Lorentz, dublul oricărei reprezentări este echivalent cu reprezentarea originală. Astfel, obiectele cu indici covarianți sunt și ele cvadrivectori.

Pentru un exemplu de obiect cu patru componente în relativitatea specială care se comportă bine și care nu este un cvadrivector, a se vedea Format:Ill-wd. Acesta este definit în mod similar, cu diferența că regula de transformare sub transformări Lorentz este dată de o altă reprezentare decât reprezentarea standard. În acest caz, regula este Format:Math, unde Format:Math este o matrice 4×4 diferită de Format:Math. Observații similare se aplică obiectelor cu mai puține sau mai multe componente care se comportă bine în cazul transformărilor Lorentz. Acestea includ scalari, Format:Ill-wd, tensori și spinori-tensori.

Articolul are în vedere cvadrivectori în contextul relativității speciale. Deși conceptul de cvadrivectori se extinde și la relativitatea generală, unele dintre rezultatele enunțate în acest articol necesită modificări în relativitatea generală.

Notație

Notațiile din acest articol sunt: litere aldine mici pentru vectori tridimensionali, pălării pentru vectori unitari tridimensionali, litere aldine majuscule pentru vectori cvadridimensionali (cu excepția gradientului cvadrimensional) și notația indicilor tensoriali.

Algebră cu cvadrivectori

Cvadrivectori într-o bază cu valori reale

Un cvadrivector A este un vector cu o componentă „temporală” și trei componente „spațiale” și poate fi scris în diverse notații echivalente:$$\begin{array}{cc}𝐀& =(A^0,A^1,A^2,A^3)\\ & =A^0{𝐄}_0+A^1{𝐄}_1+A^2{𝐄}_2+A^3{𝐄}_3\\ & =A^0{𝐄}_0+A^i{𝐄}_i\\ & =A^{\alpha }{𝐄}_{\alpha }\end{array}$$unde A ^α este componenta mărimii și E_α este componenta vectorului de bază; rețineți că ambele sunt necesare pentru a face un vector și că, atunci când A^α este văzut singur, se referă strict la componentele vectorului.

Indicii superiori indică componentele contravariante. Aici, convenția standard este că indicii latini iau valori pentru componentele spațiale, astfel încât i = 1, 2, 3, iar indicii greci iau valori pentru componentele spațiale și temporale, astfel încât α = 0, 1, 2, 3, utilizate cu convenția de însumare. Separarea dintre componenta temporală și componentele spațiale este utilă atunci când se determină contracțiile unui cvadrivector cu alte cantități tensoriale, cum ar fi pentru calcularea invarianților Lorentz în produsele interne (exemplele sunt prezentate mai jos) sau pentru ridicarea și coborârea indicilor.

În relativitatea specială, baza spațială E₁, E₂, E₃ și componentele A¹, A², A³ sunt adesea baze și componente carteziene:$$\begin{array}{cc}𝐀& =(A_t,A_x,A_y,A_z)\\ & =A_t{𝐄}_t+A_x{𝐄}_x+A_y{𝐄}_y+A_z{𝐄}_z\\ \end{array}$$deși, desigur, se poate utiliza orice altă bază și componente, cum ar fi coordonatele polare sferice$$\begin{array}{cc}𝐀& =(A_t,A_r,A_{\theta },A_{\varphi })\\ & =A_t{𝐄}_t+A_r{𝐄}_r+A_{\theta }{𝐄}_{\theta }+A_{\varphi }{𝐄}_{\varphi }\\ \end{array}$$sau coordonate polare cilindrice,$$\begin{array}{cc}𝐀& =(A_t,A_r,A_{\theta },A_z)\\ & =A_t{𝐄}_t+A_r{𝐄}_r+A_{\theta }{𝐄}_{\theta }+A_z{𝐄}_z\\ \end{array}$$sau orice alte coordonate ortogonale, sau chiar coordonate curbilinii generale. Rețineți că etichetele coordonatelor sunt întotdeauna subscrise ca etichete și nu sunt indici care iau valori numerice. În relativitatea generală, trebuie utilizate coordonate curbilinii locale într-o bază locală. Din punct de vedere geometric, un cvadrivector poate fi interpretat în continuare ca o săgeată, dar în spațiu-timp - nu doar în spațiu. În relativitate, săgețile sunt desenate ca parte a diagramei Minkowski (numită și diagrama spațiu-timp). În acest articol, cvadrivectorii vor fi denumiți pur și simplu vectori.

De asemenea, se obișnuiește să se reprezinte bazele prin vectori coloană:$${𝐄}_0=\left(\begin{array}{c}1\\ 0\\ 0\\ 0\end{array}\right),{𝐄}_1=\left(\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right),{𝐄}_2=\left(\begin{array}{c}0\\ 0\\ 1\\ 0\end{array}\right),{𝐄}_3=\left(\begin{array}{c}0\\ 0\\ 0\\ 1\end{array}\right)$$astfel încât:$$𝐀=\left(\begin{array}{c}{A}^0\\ A^1\\ A^2\\ A^3\end{array}\right)$$Relația dintre coordonatele covariante și contravariante se face prin intermediul tensorului metric Minkowski (denumit metrică), η, care ridică și coboară indicii după cum urmează: $$A_{\mu }={\eta }_{\mu \nu }{A}^{\nu },$$și, în diferite notații echivalente, componentele covariante sunt:$$\begin{array}{cc}𝐀& =(A_0,A_1,A_2,A_3)\\ & =A_0{𝐄}^0+A_1{𝐄}^1+A_2{𝐄}^2+A_3{𝐄}^3\\ & =A_0{𝐄}^0+A_i{𝐄}^i\\ & =A_{\alpha }{𝐄}^{\alpha }\\ \end{array}$$unde indicele coborât indică faptul că este covariantă. Adesea, metrica este diagonală, așa cum este cazul coordonatelor ortogonale (a se vedea elementul de linie), dar nu și în cazul coordonatelor curbilinii generale.

Bazele pot fi reprezentate prin vectori coloană:$${𝐄}^0=\left(\begin{array}{cccc}1& 0& 0& 0\end{array}\right),{𝐄}^1=\left(\begin{array}{cccc}0& 1& 0& 0\end{array}\right),{𝐄}^2=\left(\begin{array}{cccc}0& 0& 1& 0\end{array}\right),{𝐄}^3=\left(\begin{array}{cccc}0& 0& 0& 1\end{array}\right)$$astfel încât:$$𝐀=\left(\begin{array}{cccc}{A}_0& A_1& A_2& A_3\end{array}\right)$$Motivația convențiilor de mai sus constă în faptul că produsul scalar este un scalar, a se vedea mai jos pentru detalii.

Transformarea Lorentz

Având în vedere două cadre de referință inerțiale sau rotite, un cvadrivector este definit ca o mărime care se transformă în funcție de matricea de transformare Lorentz Λ:$${𝐀}^{\prime }=\mathrm{\Lambda }𝐀$$În notația indicelui, componentele contravariante și covariante se transformă în conformitate cu, respectiv:$${A^{\prime }}^{\mu }={\mathrm{\Lambda }}^{\mu }{}_{\nu }{A}^{\nu },{A^{\prime }}_{\mu }={\mathrm{\Lambda }}_{\mu }{}^{\nu }{A}_{\nu }$$în care matricea Format:Math are componentele Format:Math în rândul Format:Math și coloana Format:Math, iar matricea Format:Math are componentele Format:Math în rândul Format:Math și coloana Format:Math.

Pentru informații despre natura acestei definiții a transformării, a se vedea tensor. Toți cvadrivectorii se transformă în același mod, iar acest lucru poate fi generalizat la tensori relativistici cvadridimensionali; a se vedea relativitatea specială.

Rotații pure în jurul unei axe arbitrare

Pentru două cadre rotite cu un unghi fix Format:Math în jurul unei axe definite de versorul:$$\widehat{𝐧}=({\hat{n}}_1,{\hat{n}}_2,{\hat{n}}_3),$$fără nicio amplificare, matricea Λ are componentele date de:$$\begin{array}{cc}{\mathrm{\Lambda }}_{00}& =1\\ {\mathrm{\Lambda }}_{0i}={\mathrm{\Lambda }}_{i0}& =0\\ {\mathrm{\Lambda }}_{ij}& =({\delta }_{ij}-{\hat{n}}_i{\hat{n}}_j)\cos \theta -{\epsilon }_{ijk}{\hat{n}}_k\sin \theta +{\hat{n}}_i{\hat{n}}_j\end{array}$$unde δ_ij este delta Kronecker, iar ε_ijk este simbolul Levi-Civita tridimensional. Componentele spațiale ale cvadrivectorilor sunt rotite, în timp ce componentele temporale rămân neschimbate.

În cazul rotirilor numai în jurul axei z, partea spațială a matricei Lorentz se reduce la matricea de rotație în jurul axei z:$$\left(\begin{array}{c}{A^{\prime }}^0\\ {A^{\prime }}^1\\ {A^{\prime }}^2\\ {A^{\prime }}^3\end{array}\right)=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& \cos \theta & -\sin \theta & 0\\ 0& \sin \theta & \cos \theta & 0\\ 0& 0& 0& 1\end{array}\right)\left(\begin{array}{c}{A}^0\\ A^1\\ A^2\\ A^3\end{array}\right).$$

Amplificări absolute într-o direcție arbitrară

Configurația standard a sistemelor de coordonate; pentru un impuls Lorentz în direcția x.

Pentru două cadre care se deplasează cu trei viteze relative constante v (nu cu patru viteze, a se vedea mai jos), este convenabil să se denumească și să se definească viteza relativă în unități de c prin:$\mathit{\beta }=({\beta }_1,{\beta }_2,{\beta }_3)=\frac{1}{c}(v_1,v_2,v_3)=\frac{1}{c}𝐯.$Atunci, fără rotații, matricea Λ are componentele date de:$$\begin{array}{cc}{\mathrm{\Lambda }}_{00}& =\gamma ,\\ {\mathrm{\Lambda }}_{0i}={\mathrm{\Lambda }}_{i0}& =-\gamma {\beta }_i,\\ {\mathrm{\Lambda }}_{ij}={\mathrm{\Lambda }}_{ji}& =(\gamma -1)\frac{{\beta }_i{\beta }_j}{{\beta }^2}+{\delta }_{ij}=(\gamma -1)\frac{v_i{v}_j}{v^2}+{\delta }_{ij},\\ \end{array}$$unde factorul Lorentz este definit de:$\gamma =\frac{1}{\sqrt{1-\mathit{\beta }\cdot \mathit{\beta }}},$ iar Format:Math este delta Kronecker. Spre deosebire de cazul rotațiilor absolute, componentele spațiale și temporale sunt amestecate în cazul amplificărilor.

Pentru cazul unei amplificări doar în direcția x, matricea se reduce la:$\left(\begin{array}{c}A{\text{'}}^0\\ A{\text{'}}^1\\ A{\text{'}}^2\\ A{\text{'}}^3\end{array}\right)=\left(\begin{array}{cccc}\cosh \varphi & -\sinh \varphi & 0& 0\\ -\sinh \varphi & \cosh \varphi & 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right)\left(\begin{array}{c}{A}^0\\ A^1\\ A^2\\ A^3\end{array}\right)$În cazul în care a fost utilizată expresia rapidității Format:Math, scrisă în termenii funcțiilor hiperbolice:$\gamma =\cosh \varphi$. Această matrice Lorentz ilustrează amplificarea ca fiind o rotație hiperbolică în spațiu-timpul cvadridimensional, analogă cu rotația circulară de mai sus în spațiul tridimensional.

Proprietăți

Liniaritate

Cvadrivectorii au aceleași proprietăți de liniaritate ca și vectorii euclidieni în trei dimensiuni. Aceștia pot fi adunați în modul obișnuit de intrare:$𝐀+𝐁=(A^0,A^1,A^2,A^3)+(B^0,B^1,B^2,B^3)=(A^0+B^0,A^1+B^1,A^2+B^2,A^3+B^3)$și, în mod similar, înmulțirea scalară cu un scalar λ este definită la intrare prin:$\lambda 𝐀=\lambda (A^0,A^1,A^2,A^3)=(\lambda A^0,\lambda A^1,\lambda A^2,\lambda A^3)$Atunci, scăderea este operația inversă a adunării, definită la intrare prin:$𝐀+(-1)𝐁=(A^0,A^1,A^2,A^3)+(-1)(B^0,B^1,B^2,B^3)=(A^0-B^0,A^1-B^1,A^2-B^2,A^3-B^3)$

Tensorul Minkowski

Aplicând tensorul Minkowski Format:Math la doi cvadrivectori Format:Math și Format:Math, scriind rezultatul în notația produsului scalar, avem, folosind notația lui Einstein:$𝐀\cdot 𝐁=A^{\mu }{B}^{\nu }{𝐄}_{\mu }\cdot {𝐄}_{\nu }=A^{\mu }{\eta }_{\mu \nu }{B}^{\nu }$în relativitatea specială. Produsul scalar al vectorilor de bază este metrica Minkowski, spre deosebire de delta Kronecker, ca în spațiul euclidian. Este convenabil să se rescrie definiția sub formă de matrice:$𝐀\mathbf{\cdot }𝐁=\left(\begin{array}{cccc}{A}^0& A^1& A^2& A^3\end{array}\right)\left(\begin{array}{cccc}{\eta }_{00}& {\eta }_{01}& {\eta }_{02}& {\eta }_{03}\\ {\eta }_{10}& {\eta }_{11}& {\eta }_{12}& {\eta }_{13}\\ {\eta }_{20}& {\eta }_{21}& {\eta }_{22}& {\eta }_{23}\\ {\eta }_{30}& {\eta }_{31}& {\eta }_{32}& {\eta }_{33}\end{array}\right)\left(\begin{array}{c}{B}^0\\ B^1\\ B^2\\ B^3\end{array}\right)$caz în care Format:Math de mai sus este intrarea în rândul Format:Math și coloana Format:Math a metricii Minkowski ca matrice pătrată. Metrica Minkowski nu este o metrică euclidiană, deoarece este indefinită (a se vedea signatura metrică). Se pot folosi o serie de alte expresii, deoarece tensorul metric poate ridica și coborî componentele lui Format:Math sau Format:Math. Pentru componentele contra/covariante ale lui Format:Math și componentele co/contravariante ale lui Format:Math, avem:$𝐀\cdot 𝐁=A^{\mu }{\eta }_{\mu \nu }{B}^{\nu }=A_{\nu }{B}^{\nu }=A^{\mu }{B}_{\mu }$deci în notația matriceală:$𝐀\cdot 𝐁=\left(\begin{array}{cccc}{A}_0& A_1& A_2& A_3\end{array}\right)\left(\begin{array}{c}{B}^0\\ B^1\\ B^2\\ B^3\end{array}\right)=\left(\begin{array}{cccc}{B}_0& B_1& B_2& B_3\end{array}\right)\left(\begin{array}{c}{A}^0\\ A^1\\ A^2\\ A^3\end{array}\right)$în timp ce pentru Format:Math și Format:Math fiecare în componente covariante:$𝐀\cdot 𝐁=A_{\mu }{\eta }^{\mu \nu }{B}_{\nu }$ cu o expresie matriceală similară cu cea de mai sus.

Aplicând tensorul Minkowski la un cvadrivector A cu el însuși, obținem:$𝐀\mathbf{\cdot }𝐀=A^{\mu }{\eta }_{\mu \nu }{A}^{\nu }$care, în funcție de caz, poate fi considerat pătratul sau negativul lungimii vectorului.

În continuare sunt prezentate două opțiuni comune pentru tensorul metric în baza standard (în esență, coordonate carteziene). Dacă se utilizează coordonate ortogonale, ar exista factori de scalare de-a lungul părții diagonale a părții spațiale a metricii, în timp ce pentru coordonate curbilinii generale întreaga parte spațială a metricii ar avea componente dependente de baza curbilinie utilizată.

Baza standard, signatura (−++)

În signatura metrică (+−−−), evaluarea însumării peste indici dă:$𝐀\cdot 𝐁=A^0{B}^0-A^1{B}^1-A^2{B}^2-A^3{B}^3$în timp ce în formă de matrice:$𝐀\mathbf{\cdot }𝐁=\left(\begin{array}{cccc}{A}^0& A^1& A^2& A^3\end{array}\right)\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& -1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& -1\end{array}\right)\left(\begin{array}{c}{B}^0\\ B^1\\ B^2\\ B^3\end{array}\right)$Este o temă recurentă în relativitatea specială să luăm expresia$𝐀\cdot 𝐁=A^0{B}^0-A^1{B}^1-A^2{B}^2-A^3{B}^3=C$într-un cadru de referință, unde C este valoarea produsului scalar în acest cadru, și:${𝐀}^{\prime }\cdot {𝐁}^{\prime }={A^{\prime }}^0{B^{\prime }}^0-{A^{\prime }}^1{B^{\prime }}^1-{A^{\prime }}^2{B^{\prime }}^2-{A^{\prime }}^3{B^{\prime }}^3=C^{\prime }$într-un alt cadru, în care C′ este valoarea produsului scalar în acest cadru. Atunci, deoarece produsul scalar este un invariant, acestea trebuie să fie egale:$𝐀\cdot 𝐁={𝐀}^{\prime }\cdot {𝐁}^{\prime }$adică este:$C=A^0{B}^0-A^1{B}^1-A^2{B}^2-A^3{B}^3={A^{\prime }}^0{B^{\prime }}^0-{A^{\prime }}^1{B^{\prime }}^1-{A^{\prime }}^2{B^{\prime }}^2-{A^{\prime }}^3{B^{\prime }}^3$Având în vedere că mărimile fizice în relativitate sunt cvadrivectori, această ecuație are aspectul unei „legi de conservare”, dar nu este vorba de nicio „conservare”. Principala semnificație a produsului scalar Minkowski este că, pentru oricare doi cvadrivectori, valoarea sa este invariabilă pentru toți observatorii; o schimbare a coordonatelor nu are ca rezultat o schimbare a valorii produsului scalar. Componentele cvadrivectorilor se schimbă de la un cadru la altul; A și A′ sunt conectate printr-o transformare Lorentz și, în mod similar, pentru B și B′, deși produsele interioare sunt aceleași în toate cadrele. Cu toate acestea, acest tip de expresie este exploatat în calculele relativiste la fel ca legile de conservare, deoarece mărimile componentelor pot fi determinate fără a efectua în mod explicit transformări Lorentz. Un exemplu particular este cel al energiei și impulsului în relația energie-impuls derivată din impulsul cvadrivectorului (a se vedea și mai jos).

În această signatură avem:$𝐀\mathbf{\cdot }𝐀={\left(A^0\right)}^2-{\left(A^1\right)}^2-{\left(A^2\right)}^2-{\left(A^3\right)}^2$Cu signatura (+−−−), cvadrivectorii pot fi clasificați fie ca fiind asemănători spațiului dacă $𝐀\mathbf{\cdot }𝐀<0$, asemănătoare cu timpul dacă $𝐀\mathbf{\cdot }𝐀>0$, și vectorii nuli dacă $𝐀\mathbf{\cdot }𝐀=0$.

Baza standard, signatura (+−−−)

Unii autori definesc η cu semnul opus, caz în care avem signatura metrică (−+++). Evaluând suma cu această signatură:$𝐀\mathbf{\cdot }𝐁=-A^0{B}^0+A^1{B}^1+A^2{B}^2+A^3{B}^3$în timp ce forma matriceală este:$𝐀\mathbf{\cdot }𝐁=\left(\begin{array}{cccc}{A}^0& A^1& A^2& A^3\end{array}\right)\left(\begin{array}{cccc}-1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right)\left(\begin{array}{c}{B}^0\\ B^1\\ B^2\\ B^3\end{array}\right)$Rețineți că, în acest caz, într-un singur cadru:$𝐀\cdot 𝐁=-A^0{B}^0+A^1{B}^1+A^2{B}^2+A^3{B}^3=-C$în timp ce în altul:${𝐀}^{\prime }\cdot {𝐁}^{\prime }=-{A^{\prime }}^0{B^{\prime }}^0+{A^{\prime }}^1{B^{\prime }}^1+{A^{\prime }}^2{B^{\prime }}^2+{A^{\prime }}^3{B^{\prime }}^3=-C^{\prime }$astfel încât:$-C=-A^0{B}^0+A^1{B}^1+A^2{B}^2+A^3{B}^3=-{A^{\prime }}^0{B^{\prime }}^0+{A^{\prime }}^1{B^{\prime }}^1+{A^{\prime }}^2{B^{\prime }}^2+{A^{\prime }}^3{B^{\prime }}^3$care este echivalentă cu expresia de mai sus pentru C în funcție de A și B. Oricare dintre cele două convenții va funcționa. Cu metrica Minkowski definită în cele două moduri de mai sus, singura diferență între componentele covariante și contravariante ale cvadrivectorilor sunt semnele, prin urmare semnele depind de convenția de semne utilizată.

Avem:$𝐀\mathbf{\cdot }𝐀=-{\left(A^0\right)}^2+{\left(A^1\right)}^2+{\left(A^2\right)}^2+{\left(A^3\right)}^2$Cu signatura (−+++), cvadrivectorii pot fi clasificați fie ca fiind asemănători spațiului, dacă $𝐀\mathbf{\cdot }𝐀>0$, asemănătoare cu timpul dacă $𝐀\mathbf{\cdot }𝐀<0$, și nul dacă $𝐀\mathbf{\cdot }𝐀=0$.

Vectori dubli

Aplicarea tensorului Minkowski este adesea exprimată ca efect al vectorului dublu al unui vector asupra celuilalt:$𝐀\mathbf{\cdot }𝐁=A^{*}(𝐁)=A{}_{\nu }{B}^{\nu }.$ Aici A_νs sunt componentele vectorului dublu A* al lui A în baza dublă și se numesc coordonate covariante ale lui A, în timp ce componentele originale ale lui A^ν se numesc coordonate contravariante.

Calcul cvadrivectorial

Derivate și diferențiale

În relativitatea specială (dar nu și în relativitatea generală), derivata unui cvadrivector în raport cu un scalar λ (invariant) este ea însăși un cvadrivector. De asemenea, este util să se ia diferențiala cvadrivectorului, dA și să se împartă cu diferențiala scalarului, dλ:$$\underset{\text{diferențială}}{d𝐀}=\underset{\text{derivată}}{\frac{d𝐀}{d\lambda }}\underset{\text{diferențială}}{d\lambda }$$unde componentele contravariante sunt:$d𝐀=(d{A}^0,d{A}^1,d{A}^2,d{A}^3)$ în timp ce componentele covariante sunt:$d𝐀=(d{A}_0,d{A}_1,d{A}_2,d{A}_3)$. În mecanica relativistă, se ia adesea diferențiala unui cvadrivector și se împarte cu diferențiala în timp propriu (a se vedea mai jos).

Cvadrivectorii fundamentali

Poziție cvadruplă

Un punct în spațiul Minkowski este o poziție temporală și spațială, numită „eveniment” sau, uneori, cvadrivectorul sau poziția cvadruplă, descrisă într-un anumit cadru de referință printr-un set de patru coordonate:$𝐑=(ct,𝐫)$, unde r este vectorul de poziție în spațiul tridimensional. În cazul în care r este o funcție a timpului de coordonată t în același cadru, adică r = r (t), aceasta corespunde unei secvențe de evenimente pe măsură ce t variază. Definiția R⁰ = ct asigură faptul că toate coordonatele au aceleași unități (de distanță). Aceste coordonate sunt componentele cvadrivectorului de poziție pentru eveniment.

Cvadrivectorul de deplasare este definit ca fiind o „săgeată” care leagă două evenimente:$\mathrm{\Delta }𝐑=(c\mathrm{\Delta }t,\mathrm{\Delta }𝐫)$. Pentru poziția cvadri diferențială pe o linie de univers avem, folosind o notație de normă:$\Vert d𝐑{\Vert }^2=𝐝𝐑\mathbf{\cdot }𝐝𝐑=d{R}^{\mu }d{R}_{\mu }=c^{2}d{\tau }^2=d{s}^2,$care definește elementul de linie diferențială ds și incrementul de timp propriu diferențial dτ, dar această „normă” este de asemenea:$\Vert d𝐑{\Vert }^2=(cdt{)}^2-d𝐫\cdot d𝐫,$ astfel încât:$(cd\tau {)}^2=(cdt{)}^2-d𝐫\cdot d𝐫.$ Atunci când se iau în considerare fenomenele fizice, ecuațiile diferențiale apar în mod natural; cu toate acestea, atunci când se iau în considerare derivatele spațiale și temporale ale funcțiilor, nu este clar în ce cadru de referință sunt luate aceste derivate. Se convine că derivatele temporale sunt luate în raport cu timpul propriu-zis $\tau$. Deoarece timpul propriu este un invariant, acest lucru garantează că derivata în timp propriu a oricărui cvadrivector este ea însăși un cvadrivector. Este apoi important să se găsească o relație între această derivată a timpului propriu și o altă derivată a timpului (folosind timpul de coordonată t al unui cadru de referință inerțial). Această relație se obține luând intervalul spațiu-timp invariant diferențial de mai sus, apoi împărțind cu (cdt)² pentru a obține:${\left(\frac{cd\tau }{cdt}\right)}^2=1-(\frac{d𝐫}{cdt}\cdot \frac{d𝐫}{cdt})=1-\frac{𝐮\cdot 𝐮}{c^2}=\frac{1}{\gamma (𝐮{)}^2},$unde u = dr/dt este viteza în coordonate tridimensionale a unui obiect, măsurată în același cadru cu coordonatele x, y, z și timpul de coordonată t, și$\gamma (𝐮)=\frac{1}{\sqrt{1-\frac{𝐮\cdot 𝐮}{c^2}}}$este factorul Lorentz. Acest lucru oferă o relație utilă între diferențialele de timp în coordonate și timpul propriu-zis: $dt=\gamma (𝐮)d\tau .$ Această relație poate fi găsită, de asemenea, din transformarea timpului în transformările Lorentz.

Cvadrivectorii importanți în teoria relativității pot fi definiți prin aplicarea acestei diferențiale $\frac{d}{d\tau }$.

Având în vedere că derivatele parțiale sunt operatori liniari, se poate forma un gradient cvadruplu din derivata temporală parțială Format:Math/Format:Matht și din gradientul spațial ∇. Utilizând baza standard, în indice și notații prescurtate, componentele contravariante sunt:$\begin{array}{cc}\mathit{\partial }& =(\frac{\partial }{\partial x_0},-\frac{\partial }{\partial x_1},-\frac{\partial }{\partial x_2},-\frac{\partial }{\partial x_3})\\ & =({\partial }^0,-{\partial }^1,-{\partial }^2,-{\partial }^3)\\ & ={𝐄}_0{\partial }^0-{𝐄}_1{\partial }^1-{𝐄}_2{\partial }^2-{𝐄}_3{\partial }^3\\ & ={𝐄}_0{\partial }^0-{𝐄}_i{\partial }^i\\ & ={𝐄}_{\alpha }{\partial }^{\alpha }\\ & =(\frac{1}{c}\frac{\partial }{\partial t},-\mathrm{\nabla })\\ & =(\frac{{\partial }_t}{c},-\mathrm{\nabla })\\ & ={𝐄}_0\frac{1}{c}\frac{\partial }{\partial t}-\mathrm{\nabla }\\ \end{array}$Rețineți că vectorii de bază sunt plasați în fața componentelor, pentru a preveni confuzia între a lua derivata vectorului de bază sau pur și simplu a indica faptul că derivata parțială este o componentă a acestui cvadrivector. Componentele covariante sunt:$\begin{array}{cc}\mathit{\partial }& =(\frac{\partial }{\partial x^0},\frac{\partial }{\partial x^1},\frac{\partial }{\partial x^2},\frac{\partial }{\partial x^3})\\ & =({\partial }_0,{\partial }_1,{\partial }_2,{\partial }_3)\\ & ={𝐄}^0{\partial }_0+{𝐄}^1{\partial }_1+{𝐄}^2{\partial }_2+{𝐄}^3{\partial }_3\\ & ={𝐄}^0{\partial }_0+{𝐄}^i{\partial }_i\\ & ={𝐄}^{\alpha }{\partial }_{\alpha }\\ & =(\frac{1}{c}\frac{\partial }{\partial t},\mathrm{\nabla })\\ & =(\frac{{\partial }_t}{c},\mathrm{\nabla })\\ & ={𝐄}^0\frac{1}{c}\frac{\partial }{\partial t}+\mathrm{\nabla }\\ \end{array}$Deoarece acesta este un operator, nu are o „lungime”, dar evaluând produsul scalar al operatorului cu el însuși se obține un alt operator:${\partial }^{\mu }{\partial }_{\mu }=\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-{\mathrm{\nabla }}^2=\frac{{{\partial }_t}^2}{c^2}-{\mathrm{\nabla }}^2$numit operatorul D'Alembert.

Cinematică

Viteză cvadruplă

Viteza cvadruplă a unei particule este definită de: $𝐔=\frac{d𝐗}{d\tau }=\frac{d𝐗}{dt}\frac{dt}{d\tau }=\gamma (𝐮)(c,𝐮),$Din punct de vedere geometric, U este un vector normalizat tangent la linia de univers a particulei. Utilizând diferențiala poziției cvadruplă, se poate obține mărimea vitezei cvadruplă:$\Vert 𝐔{\Vert }^2=U^{\mu }{U}_{\mu }=\frac{d{X}^{\mu }}{d\tau }\frac{d{X}_{\mu }}{d\tau }=\frac{d{X}^{\mu }d{X}_{\mu }}{d{\tau }^2}=c^2,$pe scurt, mărimea vitezei cvadruple pentru orice obiect este întotdeauna o constantă fixă: $\Vert 𝐔{\Vert }^2=c^2$Norma este, de asemenea:$\Vert 𝐔{\Vert }^2={\gamma (𝐮)}^2(c^2-𝐮\cdot 𝐮),$ astfel încât: $c^2={\gamma (𝐮)}^2(c^2-𝐮\cdot 𝐮),$ ceea ce se reduce la definiția factorului Lorentz.

Unitățile de măsură ale vitezei cvadruple sunt m/s în SI și 1 în sistemul de unități geometrizate. Viteza cvadruplă este un vector contravariant.

Accelerația cvadruplă

Accelerația cvadruplă este dată de:$𝐀=\frac{d𝐔}{d\tau }=\gamma (𝐮)(\frac{d\gamma (𝐮)}{dt}c,\frac{d\gamma (𝐮)}{dt}𝐮+\gamma (𝐮)𝐚).$unde a = du/dt este accelerația în coordonate tridimensionale. Deoarece mărimea lui U este o constantă, accelerația cvadruplă este ortogonală vitezei cvadruple, adică produsul scalar Minkowski al accelerației cvadruple și al vitezei cvadruple este zero:$𝐀\cdot 𝐔=A^{\mu }{U}_{\mu }=\frac{d{U}^{\mu }}{d\tau }{U}_{\mu }=\frac{1}{2}\frac{d}{d\tau }\left(U^{\mu }{U}_{\mu }\right)=0$ceea ce este valabil pentru toate liniile de univers. Semnificația geometrică a accelerației cvadruple este vectorul de curbură al liniei de univers în spațiul Minkowski.

Dinamică

Impuls cvadruplu

Pentru o particulă masivă cu masa de repaus (sau masa invariantă) m₀, impulsul cvadruplu este dat de:$𝐏=m_0𝐔=m_0\gamma (𝐮)(c,𝐮)=(\frac{E}{c},𝐩)$unde energia totală a particulei în mișcare este: $E=\gamma (𝐮)m_0{c}^2$, iar impulsul relativist total este: $𝐩=\gamma (𝐮)m_0𝐮$. Se ia produsul scalar al impulsului cuadruplu cu el însuși:$\Vert 𝐏{\Vert }^2=P^{\mu }{P}_{\mu }=m_0^2{U}^{\mu }{U}_{\mu }=m_0^2{c}^2$și de asemenea: $\Vert 𝐏{\Vert }^2=\frac{E^2}{c^2}-𝐩\cdot 𝐩$ ceea ce conduce la relația energie-impuls:$E^2=c^2𝐩\cdot 𝐩+{\left(m_0{c}^2\right)}^2.$ Această ultimă relație este utilă în mecanică relativistă, esențială în mecanica cuantică relativistă și în teoria cuantică relativistă a câmpurilor, toate cu aplicații în fizica particulelor.

Forța cvadruplă

Forța cvadruplă care acționează asupra unei particule este definită în mod analog cu forța tridimensională ca derivată în timp a impulsului tridimensional din a doua lege a lui Newton:$𝐅=\frac{d𝐏}{d\tau }=\gamma (𝐮)(\frac{1}{c}\frac{dE}{dt},\frac{d𝐩}{dt})=\gamma (𝐮)(\frac{P}{c},𝐟)$unde P este puterea transferată pentru deplasarea particulei, iar f este forța tridimensională care acționează asupra particulei. Pentru o particulă cu masa invariantă constantă m₀, acest lucru este echivalent cu$𝐅=m_0𝐀=m_0\gamma (𝐮)(\frac{d\gamma (𝐮)}{dt}c,(\frac{d\gamma (𝐮)}{dt}𝐮+\gamma (𝐮)𝐚))$Un invariant derivat din forța cvadruplă este: $𝐅\cdot 𝐔=F^{\mu }{U}_{\mu }=m_0{A}^{\mu }{U}_{\mu }=0$ din rezultatul de mai sus.

Termodinamică

Flux termic cvadruplu

Câmpul vectorial al fluxului termic cvadruplu este în esență similar cu câmpul vectorial al fluxului de căldură 3d q, în cadrul local al fluidului:$𝐐=-k\mathit{\partial }T=-k(\frac{1}{c}\frac{\partial T}{\partial t},\mathrm{\nabla }T)$unde T este temperatura absolută și k este conductivitatea termică.

Fluxul numărului de barioni cvadrupli

Fluxul de barioni este:$𝐒=n𝐔$, unde Format:Math este densitatea numerică a barionilor în cadrul de repaus local al fluidului de barioni (valori pozitive pentru barioni, negative pentru antibarioni) și Format:Math este câmpul de viteze cvadruple (al fluidului) ca mai sus.

Entropie cvadruplă

Vectorul cu entropie cvadruplă este definit de:$𝐬=s𝐒+\frac{𝐐}{T}$, unde Format:Math este entropia per barion, iar Format:Mvar este temperatura absolută, în cadrul de repaus local al fluidului.

Electromagnetism

Exemple de cvadrivectori în electromagnetism sunt următoarele.

Curent cvadruplu

Curentul cvadruplu electromagnetic (sau, mai corect, densitatea de curent cvadruplu) se definește astfel: $𝐉=(\rho c,𝐣)$ formată din densitatea de curent j și densitatea de sarcină ρ.

Potențial cvadruplu

Potențialul electromagnetic cvadruplu (sau, mai corect, un potențial vectorial cvadruplu EM) este definit prin: $𝐀=(\frac{\varphi }{c},𝐚)$ format din potențialul vectorial Format:Math și potențialul scalar Format:Math.

Potențialul cvadruplu nu este determinat în mod unic, deoarece depinde de o alegere a instrumentului de măsură.

În ecuația undei pentru câmpul electromagnetic:

• În vid, $(\mathit{\partial }\cdot \mathit{\partial })𝐀=0$
• Cu o sursă de curent cvadruplu și folosind condiția de măsură Lorenz $(\mathit{\partial }\cdot 𝐀)=0$ , $(\mathit{\partial }\cdot \mathit{\partial })𝐀={\mu }_0𝐉$

Unde

Frecvență cvadruplă

O undă plană fotonică poate fi descrisă cu ajutorul frecvenței cvadruple definite astfel$𝐍=\nu (1,\widehat{𝐧})$, unde Format:Mvar este frecvența undei și $\widehat{𝐧}$ este un versor în direcția de deplasare a undei. Acum:$\Vert 𝐍\Vert =N^{\mu }{N}_{\mu }={\nu }^2(1-\widehat{𝐧}\cdot \widehat{𝐧})=0$astfel încât frecvența cvadruplă a unui foton este întotdeauna un vector nul.

Vector de undă cvadruplu

Cantitățile reciproce la timpul Format:Mvar și spațiul Format:Math sunt frecvența unghiulară Format:Mvar și, respectiv, vectorul de undă unghiulară Format:Math. Ele formează componentele vectorului de undă cvadruplu:$𝐊=(\frac{\omega }{c},\overrightarrow{𝐤})=(\frac{\omega }{c},\frac{\omega }{v_p}\widehat{𝐧}).$ Un fascicul de unde de lumină aproape monocromatică poate fi descris prin:$𝐊=\frac{2\pi }{c}𝐍=\frac{2\pi }{c}\nu (1,\widehat{𝐧})=\frac{\omega }{c}(1,\widehat{𝐧}).$Relațiile lui de Broglie au arătat apoi că vectorul de undă cvadruplu se aplică atât undelor de materie, cât și undelor de lumină:$𝐏=\hslash 𝐊=(\frac{E}{c},\overrightarrow{p})=\hslash (\frac{\omega }{c},\overrightarrow{k}).$cedând $E=\hslash \omega$ și $\overrightarrow{p}=\hslash \overrightarrow{k}$, unde Format:Mvar este constanta Planck împărțită la Format:Math.

Pătratul normei este:$\Vert 𝐊{\Vert }^2=K^{\mu }{K}_{\mu }={\left(\frac{\omega }{c}\right)}^2-𝐤\cdot 𝐤,$ și prin relația lui de Broglie:$\Vert 𝐊{\Vert }^2=\frac{1}{{\hslash }^2}\Vert 𝐏{\Vert }^2={\left(\frac{m_{0}c}{\hslash }\right)}^2,$ avem analogul undelor de materie al relației energie–impuls:${\left(\frac{\omega }{c}\right)}^2-𝐤\cdot 𝐤={\left(\frac{m_{0}c}{\hslash }\right)}^2.$ Rețineți că pentru particule fără masă, caz în care Format:Math, avem: ${\left(\frac{\omega }{c}\right)}^2=𝐤\cdot 𝐤,$sau Format:Math. Rețineți că acest lucru este în concordanță cu cazul de mai sus; pentru fotoni cu un vector de undă tridimensional de modul Format:Nowrap în direcția de propagare a undei definită de vectorul unitar$\widehat{𝐧}.$

Teoria cuantică

Curentul cu probabilități cvadruple

În mecanica cuantică, curentul cu probabilități cvadruple este analog cu curentul electromagnetic cvadruplu:$𝐉=(\rho c,𝐣)$, unde Format:Math este funcția de densitate de probabilitate corespunzătoare componentei de timp, iar Format:Math este vectorul curent de probabilitate. În mecanica cuantică nerelativistă, acest curent este întotdeauna bine definit, deoarece expresiile pentru densitate și curent sunt definite pozitiv și pot admite o interpretare probabilistică. În mecanica cuantică relativistă și în teoria cuantică a câmpurilor, nu este întotdeauna posibilă găsirea unui curent, în special atunci când sunt implicate interacțiuni.

Înlocuind energia cu operatorul de energie și impulsul cu operatorul de impuls în impulsul cvadruplu, se obține operatorul de impuls cvadruplu, utilizat în ecuațiile relativiste ale undelor.

Spin cvadruplu

Viteza cvadruplă a unei particule este definită prin: $𝐒=(0,𝐬)$unde Format:Math este pseudovectorul de spin. În mecanica cuantică, nu toate cele trei componente ale acestui vector sunt măsurabile simultan, ci doar una dintre ele. Componenta temporală este zero în cadrul de repaus al particulei, dar nu și în orice alt cadru. Această componentă poate fi găsită printr-o transformare Lorentz corespunzătoare.

Norma la pătrat este mărimea (negativă) la pătrat a spinului, iar conform mecanicii cuantice avem$\Vert 𝐒{\Vert }^2=-|𝐬{|}^2=-{\hslash }^{2}s(s+1)$. Această valoare este observabilă și cuantificată, Format:Math fiind numărul cuantic de spin (și nu mărimea vectorului de spin).

Alte formulări

Cvadrivectori în algebra spațiului fizic

Un cvadrivector A poate fi definit, de asemenea, folosind matricele Pauli ca bază, din nou în diverse notații echivalente:$\begin{array}{cc}𝐀& =(A^0,A^1,A^2,A^3)\\ & =A^0{\mathit{\sigma }}_0+A^1{\mathit{\sigma }}_1+A^2{\mathit{\sigma }}_2+A^3{\mathit{\sigma }}_3\\ & =A^0{\mathit{\sigma }}_0+A^i{\mathit{\sigma }}_i\\ & =A^{\alpha }{\mathit{\sigma }}_{\alpha }\\ \end{array}$sau explicit:$\begin{array}{cc}𝐀& =A^0\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)+A^1\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)+A^2\left(\begin{array}{cc}0& -i\\ i& 0\end{array}\right)+A^3\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)\\ & =\left(\begin{array}{cc}{A}^0+A^3& A^1-i{A}^2\\ A^1+i{A}^2& A^0-A^3\end{array}\right)\end{array}$iar în această formulare, cvadrivectorul este reprezentat ca o matrice hermitiană (transpunerea matricei și conjugatul complex al matricei o lasă neschimbată), mai degrabă decât ca un vector coloană sau rând cu valoare reală. Determinantul matricei este modulul cvadrivectorului, astfel încât determinantul este un invariant:$\begin{array}{cc}|𝐀|& =\left|\begin{array}{cc}{A}^0+A^3& A^1-i{A}^2\\ A^1+i{A}^2& A^0-A^3\end{array}\right|\\ & =(A^0+A^3)(A^0-A^3)-(A^1-i{A}^2)(A^1+i{A}^2)\\ & ={\left(A^0\right)}^2-{\left(A^1\right)}^2-{\left(A^2\right)}^2-{\left(A^3\right)}^2\end{array}$Această idee de utilizare a matricelor Pauli ca vectori de bază este utilizată în algebra spațiului fizic, un exemplu de algebră Clifford.

Cvadrivectori în algebra spațiu-timp

În algebra spațiu-timp, un alt exemplu de algebră Clifford, matricele gamma pot forma, de asemenea, o bază. (Ele sunt numite și matricele Dirac, datorită apariției lor în ecuația Dirac). Există mai multe moduri de exprimare a matricelor gamma, detaliate în acest articol principal.

Notația Feynman slash este o prescurtare pentru un cvadrivector A contractat cu matricele gamma:$𝐀/=A_{\alpha }{\gamma }^{\alpha }=A_0{\gamma }^0+A_1{\gamma }^1+A_2{\gamma }^2+A_3{\gamma }^3$Contracția impulsului cvadruplu cu matricele gamma este un caz important în mecanica cuantică relativistă și în teoria cuantică a câmpurilor relativiste. În ecuația lui Dirac și în alte ecuații de undă relativiste, termenii de forma:$𝐏/=P_{\alpha }{\gamma }^{\alpha }=P_0{\gamma }^0+P_1{\gamma }^1+P_2{\gamma }^2+P_3{\gamma }^3=\frac{E}{c}{\gamma }^0-p_x{\gamma }^1-p_y{\gamma }^2-p_z{\gamma }^3$apar, în care energia Format:Mvar și componentele impulsului Format:Math sunt înlocuite cu operatorii respectivi.

Bibliografie

• Rindler, W. Introduction to Special Relativity (2nd edn.) (1991) Clarendon Press Oxford Format:ISBN

Vezi și

• Introducere de bază în matematica spațiului-timp curbat
• Praf (relativitate) pentru fluxul numeric cvadrivector
• Spațiu Minkowski
• Format:Ill-wd
• Mecanică relativistă
• Vectorul de undă