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.
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.
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:
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.
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:
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:
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.