Formularea matematică a relativității generale

Acest articol discută baza matematică a relativității generale .

Pozițiile de pornire

Percepția noastră intuitivă ne spune că spațiu-timp este regulat și continuu, adică nu are „găuri”. Matematic, aceste proprietăți înseamnă că spațiu-timp va fi modelat printr-o varietate diferențiabilă netedă 4-dimensională , adică un spațiu 4-dimensional pentru care vecinătatea fiecărui punct seamănă local cu un spațiu euclidian cu patru dimensiuni . Netezimea înseamnă aici suficientă diferențiere, fără a specifica gradul său.

Deoarece, în plus, legile teoriei relativității speciale sunt satisfăcute cu o bună acuratețe , o astfel de varietate poate fi înzestrată cu o metrică lorentziană , adică un tensor metric nedegenerat cu semnătură (sau, echivalent, ). Semnificația acestui lucru este dezvăluită în secțiunea următoare.

Geometria spațiu-timpului

N.B. Acest articol urmează convențiile clasice de semne ale lui Misner, Thorne și Wheeler [1]

Acest articol adoptă, de asemenea, convenția Einstein pentru însumarea indicilor repeți.

Tensor metric

O varietate diferențiabilă [2] M, înzestrată cu un tensor metric lorentzian g , este astfel o varietate lorentziană , care constituie un caz special de varietate pseudo-riemanniană (definiția „lorentzianilor” va fi specificată mai târziu în text; vezi Secțiunea metrică lorentziană de mai jos ).

Să luăm un sistem de coordonate în vecinătatea punctului și să fie  o bază locală în spațiul tangent la varietatea din punct . Vectorul tangent va fi apoi scris ca o combinație liniară de vectori de bază:

În acest caz, mărimile sunt numite componente contravariante ale vectorului w . Tensorul metric este atunci o formă biliniară simetrică :

unde denotă dualul în raport cu baza în spațiul cotangent , adică forme liniare pe , astfel încât:

Mai mult, vom presupune că componentele tensorului metric se modifică continuu în spațiu-timp [3] .

Tensorul metric poate fi astfel reprezentat printr-o matrice simetrică reală 4x4 :

În general, orice matrice 4x4 reală are a priori 4 x 4 = 16 elemente independente. Condiția de simetrie reduce acest număr la 10: de fapt, există 4 elemente diagonale, la care trebuie să adăugăm (16 - 4) / 2 = 6 elemente în afara diagonalei. Tensorul are astfel doar 10 componente independente.

Produs punct

Tensorul metric definește pentru fiecare punct al varietății un produs pseudo - scalar („pseudo-” în sensul că nu există o definiție pozitivă a formei pătratice asociate (pătratul unui vector; vezi metrica lorentziană) în pseudo-euclidiană. spațiu tangent la varietatea în punctul . Dacă și  sunt doi vectori , produsul lor scalar se scrie astfel:

În special, luând doi vectori de bază, obținem componentele:

Notă: dacă mărimile denotă componentele contravariante ale vectorului w , atunci putem defini și componentele sale covariante ca:

Distanța elementară - interval

Se consideră vectorul elementar de deplasare între un punct și un punct infinit apropiat: . Norma infinitezimală invariantă a acestui vector va fi un număr real, notat cu , numit pătratul intervalului și egal cu:

.

Dacă desemnăm componentele vectorului elementar de deplasare „în mod fizic” , pătratul infinitezimal al lungimii (intervalului) se va scrie formal ca:

Atenție : în această formulă, precum și în continuare, este un număr real, care este interpretat fizic ca o „modificare infinitezimală” a coordonatei , și nu ca o formă diferențială!

metrica Lorentz

Să rafinăm acum expresia „lorentzian” (mai precis, local lorentzian), ceea ce înseamnă că tensorul metric are semnătura (1,3) și coincide local în primul rând cu metrica lorentziană a teoriei relativității speciale . Principiul echivalenței prevede că este posibilă „ștergerea” locală a câmpului gravitațional prin alegerea unui sistem de coordonate local inerțial. Din punct de vedere matematic, o astfel de alegere este o reformulare a cunoscutei teoreme privind posibilitatea reducerii unei forme patratice la axele principale.

Într-un astfel de sistem de coordonate inerțial local, invariantul într-un punct poate fi scris ca:

unde este metrica spațiu-timp Minkowski și într-o mică vecinătate a acestui punct

unde are un minim de ordinul doi de micime în abaterile coordonatelor de la punctul , adică . Acceptând convenția semnelor Misner, Thorne și Wheeler, avem [1] :

Următoarele convenții convenționale sunt utilizate mai jos:

De exemplu, un vector cu 4 poziții ar fi scris într-un sistem de coordonate inerțial local ca:

Atenție : de fapt, incrementele de coordonate finite, nu infinitezimale, nu formează un vector. Un vector al acestora apare numai într-un spațiu omogen de curbură zero și topologie trivială.

Caracterul lorentzian al varietății asigură astfel că tangentele la în fiecare punct al spațiului pseudo-euclidian vor avea produse pseudo - scalare ("pseudo-" în sensul că nu există o definiție pozitivă a formei pătratice asociate (vector pătrat) ) cu trei valori proprii strict pozitive (corespunzătoare spațiului) și o valoare proprie strict negativă (corespunzătoare timpului). În special, intervalul elementar al „timpului propriu”, care separă două evenimente succesive, este întotdeauna:

Concepte generale de conexiune afină și derivată covariantă

În general, o conexiune afină este un operator care asociază un câmp vectorial dintr-un creion tangent cu câmpul de endomorfisme al acestui creion. Dacă  este vectorul tangent în punctul , acesta este de obicei notat

Se spune că este „ derivată covariantă ” a vectorului în direcție . Să presupunem, în plus, că îndeplinește condiția suplimentară: pentru orice funcție f, avem

Derivata covariantă satisface următoarele două proprietăți de liniaritate:

Odată ce derivata covariantă este definită pentru câmpurile vectoriale, aceasta poate fi extinsă la câmpurile tensorale folosind regula Leibniz : dacă și  sunt oricare doi tensori, atunci prin definiție:

Derivata covariantă a câmpului tensor de-a lungul vectorului w este din nou un câmp tensor de același tip.

Conectivitate asociată cu metrica

Se poate dovedi că legătura asociată metricului, legătura Levi-Civita [1] , este singura legătură care, pe lângă condițiile anterioare, asigură suplimentar că pentru orice câmpuri de vectori X, Y, Z din TM

Descriere în coordonate

Derivata covariantă a unui vector este un vector și, prin urmare, poate fi exprimată ca o combinație liniară a tuturor vectorilor de bază:

unde sunt componentele vectoriale ale derivatei covariante în direcție (această componentă depinde de vectorul ales w ).

Pentru a descrie derivata covariantă, este suficient să o descriem pentru fiecare dintre vectorii de bază de -a lungul direcției . Să definim apoi simboluri Christoffel (sau pur și simplu simboluri Christoffel) în funcție de 3 indici [4]

Legătura Levi-Civita este pe deplin caracterizată prin simbolurile sale Christoffel. Conform formulei generale

pentru vectorul V :

Știind asta , obținem:

Primul termen al acestei formule descrie „deformarea” sistemului de coordonate în raport cu derivata covariantă, iar al doilea - modificări ale coordonatelor vectorului V . Când însumăm indici muți, putem rescrie această relație sub forma

Din aceasta obținem o formulă importantă pentru componente:

Folosind formula Leibniz, se poate demonstra în același mod că:

Pentru a calcula aceste componente în mod explicit, expresiile pentru simbolurile Christoffel trebuie definite din metrica. Sunt ușor de obținut scriind următoarele condiții:

Calculul acestei derivate covariante conduce la

unde  sunt componentele tensorului metric „invers” definite de ecuații

Simbolurile Christoffel sunt „simetrice” [5] în ceea ce privește indicele:

Notă: uneori sunt definite și următoarele simboluri:

primit ca:

Tensor de curbură Riemann

Tensorul de curbură Riemann R  este un al patrulea tensor de valență definit pentru orice câmpuri vectoriale X, Y, Z din M ca

Componentele sale sunt exprimate explicit din coeficienții metrici:

Simetriile acestui tensor:

De asemenea, satisface următoarea relație:

Tensor de curbură Ricci

Tensorul Ricci este  tensorul de valență 2 definit de convoluția tensorului de curbură Riemann

Componentele sale explicit prin simbolurile Christoffel:

Acest tensor este simetric: .

Curbură scalară

Curbura scalară este un invariant definit de convoluția tensorului Ricci cu metrica

Ecuațiile lui Einstein

Ecuațiile câmpului gravitațional, care sunt numite ecuații Einstein , sunt scrise ca

sau așa

unde  este constanta cosmologică ,  este viteza luminii în vid,  este constanta gravitațională , care apare și în legea gravitației universale a lui Newton,  este tensorul Einstein și  este tensorul energie-impuls .

Un tensor simetric are doar 10 componente independente, ecuația tensorului Einstein într-un sistem de coordonate dat este echivalentă cu un sistem de 10 ecuații scalare. Acest sistem de 10 ecuații diferențiale parțiale neliniare cuplate este în majoritatea cazurilor foarte greu de învățat.

Tensorul energie-impuls

Tensorul energie-impuls poate fi scris ca o matrice simetrică reală 4x4:

Conține următoarele mărimi fizice:

  • T 00  - densitatea energiei volumetrice . Trebuie să fie pozitiv .
  • T 10 , T 20 , T 30  sunt densitățile componentelor impulsului .
  • T 01 , T 02 , T 03  sunt componente ale fluxului de energie .
  • Submatrice 3 x 3 de componente pur spațiale:

este matricea fluxurilor de impulsuri . În mecanica fluidelor, componentele diagonale corespund presiunii, iar celelalte componente forțelor tangențiale (tensiuni sau, în vechea terminologie, tensiuni) cauzate de vâscozitate .

Pentru un fluid în repaus, tensorul energie-impuls se reduce la o matrice diagonală , unde este densitatea masei și  este presiunea hidrostatică.

Note

  1. 1 2 C. W. Misner, Kip S. Thorne și John A. Wheeler; Gravitation , Freeman & Co. (San Francisco-1973), ISBN 0-7167-0344-0 . sau C. MIZNER, C. THORNE, J. WHEELER. GRAVITATIE. volumul I-III. M. Mir, 1977.
  2. În cele ce urmează, nu scriem peste tot indicele 4, care precizează dimensiunea varietății „M”.
  3. Mai precis, trebuie să fie de cel puțin clasa C².
  4. Atenție, simbolurile Christoffel nu sunt tensoare.
  5. Cuvântul „simetric” este între ghilimele, întrucât acești indici, în virtutea originii lor, nu sunt tensori.