Eremu grabitatorio ahulen hurbilketa

Eremu grabitatorio ahuletarako hurbilketan, gutxi gora-beherako soluzioak bilatzen dira erlatibitate orokorraren teoriako Einsteinen eremu-ekuazioetarako.

Erlatibitate orokorraren teorian, grabitate linealizatua espazio-denboraren geometria deskribatzeko tentsore metrikoan perturbazio teoria aplikatzeari deritzo. Ondorioz, grabitate linearizatuaren bidez, grabitazio-eremuak ahulak direneko grabitatearen efektuak modu eraginkor batean modelatu daitezke. Grabitate linearizatuaren erabilera ezinbestekoa da grabitazio-uhin eta eremu ahuleko grabitazio-leiarren azterketarako.

Limite newtondarra 
Eman dezagun partikula ez-erlatibista bat masa-banaketa bornatu batek sortutako eremu grabitatorio estatiko ahulean higitzen dela. Teoria newtondarrean azken honen  potentziala infinituan zero izateko moduan aukeratu ohi da.

Abiadura txikia denez, teoria newtondarreko t denbora eta  (non i=1,2,3) koordenatuetan,  jarriz, geodesikoen ekuazioa honela idazten da:

Eremua estatikoa denez, denborarekiko deribatuak nuluak dira:

Eremua ahula bada, perturbazio teoria erabiliz:

eta h-rekiko koadratikoak diren gaiak arbuiatuz, hauxe dugu:

Honela geratzen dira geodesikoen ekuazioak:

Mekanika newtondarrean, hauxe da higidura-ekuazioa:

Ondorioz,  dugu. K integrazio-konstantea nulua dela ikusteko, erabil dezagun distantzia infinitura  dugula eta, eremua desagertzean erlatibitate berezia berreskuratzeko, , hau da, . Beraz, eremu grabitatorio estatiko ahuletan, potentzial grabitatorio newtondarraren eta erlatibistaren arteko erlazioa hauxe da:

Eguzkiaren azalean  da eta Lurraren azalean : grabitazioak oso gutxi aldatzen du geometria, kasu horietan. Eremu grabitatorio bortitzak behar dira aldaketak handiak izateko; horrexegatik dira hain erabilgarriak mekanika newtondarra eta erlatibitate berezia, bakoitza bere esparruan.

Eremu ahula 
Espazio-denboraren geometria deskribatzen duten Einsteinen eremu-ekuazioak, unitate naturaletan,

moduan idazten dira, non  Ricciren tentsorea den,  Ricciren eskalarra,  energia-momentu tentsorea eta  ekuazioen soluzioak biltzen dituen espazio-denboraren tentsore metrikoa.

Einsteinen notazioan idazterakoan ezkutuan geratzen badira ere, Ricciren tentsore eta eskalarraren baitan ebazpen zehatzak lortzea asko zailtzen duten metrikarekiko dependentzia bereziki ez-linealak daude. Hala ere, espazio-denboraren kurbadura txikia den sistema partikularretan (-ren termino koadratikoen ekarpena higidura-ekuazioetan txikia denean) eremu-ekuazioaren soluzioak Minkowskiren metrika  (eta  eta perturbazio txiki bat  batuz modeliza daitezke. Beste hitzetan:

Egoera honetan,  metrika orokorra perturbazio-ereduaz ordezkatuz, honako Ricciren tentsorearen adierazpen laburtu lortzen da:

non  perturbazioaren traza den, -k  koordenatuarekiko deribatu partziala eta  d’Alemberten eragilea.

Ricciren eskalarrarekin batera,

Eremu-ekuazioaren ezker aldea hala gelditzen da:

Eta, beraz, -ren menpeko bigarren mailako deribatu partzialen ekuazio diferentzial lineala lortzen da.

Gauge aldaezintasuna 
 espazio-denbora orokorreko metrika Minkowskirenaren eta perturbazio gai baten batura gisa deskonposatzeko modua ez da bakarra. Koordenatuen aukeraketa ezberdinek    -ren adierazpen ezberdinak sortuko dituzte. Fenomeno hori aztertzeko gauge simetria erabiliko da.  

Gauge simetriak koordenatuen aldaketa infinitesimal bat egitean eraldatzen ez den sistema bat deskribatzeko tresna matematikoak dira. Beraz,  perturbazio metrikak koordenatu ezberdinetan itxura aldatu arren, deskribatzen duen sistema orokorrak ez du hala egingo.

Modu formalean azaltzeko,   perturbazioaren aniztasuna    bera nahikoa txiki mantentzen duten espazio-denborako difeomorfismoen kolekzio anitzaren ondoriotzat har daiteke. Jarraitzeko, beraz, beharrezkoa da   difeomorfismoen multzo orokor baten arabera definitzea, ondoren eremu ahularen hurbilketak finkatzen duen eskala txikia mantentzeko multzo orokor horien azpimultzo bat aukeratuz. Horrela,  difeomorfismo arbitrario bat definitu daiteke, Minkowskiren espazio-denbora laua   espazio-denbora orokorrago bateko metrikarekin erlazionatzen duena. Hala, perturbazio metrika ondorengo moduan deskribatu daiteke:

Hemen,  terminoa  -ren "pullback" bezala ezagutzen da eta  Minkowskiren metrika da.  difeomorfismoak  izateko moduan hautatu daitezke.

Espazio-denbora lau bateko  eremu bektorial bat emanik,  difeomorfismoen familia gehigarri bat definitu daiteke,  izanik,  bektoreen konbinaketak osatzen duena. Difeomorfismo berri horiek lehen aipautako aldaketa infinitesimal horietako koordenatuen transformazioak adierazteko erabiliko dira. -rekin batera, perturbazioen familia bat ondorengo moduan azaldu daiteke:

Hala,  limitean,

izango da,   bektore eremuan zeharreko Lie deribatua izanik.

Lie deribatu horren bidez  perturbazio metrikaren gauge transformazioa lortu daiteke:

Azken horrek, sistema fisiko berbera deskribatzen duen perturbazio metriken multzoa modu zehatz batean azaltzen du. Beste era batera esanda, eremu linearizatuen ekuazioen gauge simetria ezaugarritzen du.

Gauge aukeraketa 
Gaugen inbariantzia aprobetxatuz, perturbazio metrikaren hainbat propietate finkatu daitezke   bektore eremu egoki bat finkatuz.

Zeharkako gauge-a 
 perturbazioak luzeraren neurketak nola distortsionatzen dituen ikusteko, ondorengo espazioko tentsorea definitzea erabilgarria da:

 erabiliz, beraz, perturbazioaren espazioko gaiak deskonposatu daitezke,

non 

 tentsoreak ez dauka trazarik eta esfortzu bezala ere ezagutzen da, izan ere, perturbazioak espazioko neurketak zenbat luzatzen edo uzkurtzen dituen adierazten du. Erradiazio grabitatorioa ikertzean, esfortzua bereziki erabilgarria da zeharkako gauge-arekin erabiltzerakoan. Gauge hori ondorengo erlazioa betetzen duen  egoki bat erabiliz definituko da:

-k ondorengoa bete behar duela finkatuko dugu:

Horrela, esfortzua espazialki zeharkakoa bilakatzen da:

hurrengo propietate gehigarriarekin:

Gauge sinkronoa 
Gauge sinkronoak perturbazio metrika sinplifikatzen du, horretarako metrikari denbora neurketak ez distortsionatzea behartuz. Zehatzago esanda, gauge sinkronoa  tentsorearen gai ez-espazialak 0 izateko moduan aukeratzen da:

Hori lortzeko  bektorearen denbora gaiak ondorengoa bete beharko du:

eta gai espazialek, aldiz:

Gauge harmonikoa 

Gauge harmonikoa (Lorenz-en gauge-a bezala ere ezagutzen dena) eremu linealizatuen ekuazioak ahalik eta gehien laburtzea komeni denan erabiltzen da. Horren erabilerarako ondorengo baldintza bete behar da:

Horretarako -k

bete beharko du

Gauge harmonikoaren erabilerarekin Einsteinen  tentsorea ondorengora laburtzen da:

Azken hori alderantzizko trazaren metrikaren menpe adierazita, , eremu linealizatuaren ekuazioak

bihurtzen dira. Azken hori erradiazio grabitatorioa definitzen duten uhinen soluzioak erabiliz modu zehatzean ebatzi daiteke.

Erreferentziak

Ikus, gainera 

 Erlatibitate orokorra
 Grabitazio-uhin
 Soluzio zehatzak erlatibitate orokorrean
 Energia-momentuaren tentsorea
 Ricciren tentsorea
 Geodisikoak
 Espazio-denbora
 Einsteinen eremu-ekuazioak
 Metrika
 Erlatibitate berezia

Kanpo estekak 

Erlatibitate orokorra
Metodo matematikoak erlatibitate orokorrean