arxiv:gr-qc/ v2 5 Oct 2005

Transcription

1 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN axiv:g-qc/ v2 5 Oct 2005 Abstact. A efeence fame in event space is a smooth field of othonomal fames. Evey efeence fame is equipped by anholonomic coodinates. Using anholonomic coodinates allows to find out elative speed of two obseves and appopiate Loentz tansfomation. Synchonization of a efeence fame is an anholonomic time coodinate. Simple calculations show how synchonization influences time measuement in the vicinity of the Eath. Measuement of Dopple shift fom the sta obiting the black hole helps to detemine mass of the black hole. Accoding obsevations of Sg A, if non obiting obseve estimates age of S2 about 0 My, this sta is My younge. I pepaed this pape using LATEX and I used fancyhd and hypeef packages. Pape is witten on English and Russian. Measuement of spatial inteval and time length is one of the majo tasks of geneal elativity. This is a physical pocess that allows leaning geomety in a cetain aea of spacetime. The obseve uses an othonomal fame in a tangent plane as his measuement tool fom a geometical point of view.. Refeence Fame We can define the efeence fame on event space V as set of vecto fields e (k), k = 0,...,3 in event space and dual foms e (k) such that vecto fields e (k) define an othogonal fame at each point and e (k) (e (l) ) = δ (k) (l) If we do not limit definition of a efeence fame by othogonality we can intoduce a coodinate efeence fame ( i,ds i ) based on vecto fields tangent to lines x i = const. These efeence fames ae linked by elation e (k) = e i (k) i e (k) = e (k) i dx i Remak.. We can pove the existence of a efeence fame using the othogonolization pocedue at evey point of space time. Fom the same pocedue we get that coodinates of fame smoothly depend on the point. A smooth field of time like vectos of each fame defines conguence of lines that ae tangent to this field. We say that each line is a wold line of an obseve o a local efeence fame. Theefoe a efeence fame is set of local efeence fames. Aleks Kleyn@MailAPS.og.

2 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN We define the Loentz tansfomation as tansfomation of a efeence fame x i = f i (x 0,x,x 2,x 3 ) (.) e i (k) = a i jb (l) (k) ej (l) whee the holonomic pat and tansfomation b(l) (k) the an- We call the tansfomation a i j holonomic pat. a i j = x i x j δ (i)(l) b (i) (j) b(l) (k) = δ (j)(k) 2. Anholonomic Coodinates A vecto field a has two types of coodinates: holonomic coodinates a i elative coodinate efeence fame and anholonomic coodinates a (i) elative efeence fame. These two foms of coodinates also hold the elation a (k) = e (k) i a i We can study paallel tansfe of vecto fields using any fom of coodinates. Because (.) is a linea tansfomation we expect that paallel tansfe in anholonomic coodinates has the same epesentation as in holonomic coodinates. Hence we wite Da k = da k Γ k lpa l dx p Da (k) = da (k) Γ (k) (l)(p) a(l) dx (p) Because Da k is also a tenso we get (2.) Γ (k) (l)(p) = ei (l) e (p) e(k) j Γ j e (k) i ei (l) e i (p) x Equation (2.) shows some similaity between holonomic and anholonomic coodinates. We intoduce symbol (k) fo the deivative along vecto field e (k) Then (2.) takes the fom (k) = e i (k) i Γ (k) (l)(p) = ei (l) e (p) e(k) j Γ j i ei (l) (p)e (k) i Theefoe when we move fom holonomic coodinates to anholonomic, the connection tansfoms the way similaly to when we move fom one coodinate system to anothe. This leads us to the model of anholonomic coodinates. The vecto field e (k) geneates lines defined by the diffeential equations o the symbolic system e j (l) t x j = δ(k) (l) t (2.2) = δ(k) x (l) (l) Keeping in mind the symbolic system (2.2) we denote the functional t as x (k) and call it the anholonomic coodinate. We call the egula coodinate holonomic. 2

3 ALEKS KLEYN REFERENCE FRAME IN GENERAL RELATIVITY Fom hee we can find deivatives and get x (i) (2.3) x k = e(i) k The necessay and sufficient conditions of complete integability of system (2.3) ae ( ) ω (i) (k)(l) = e (i) ek (k) el k (l) x l e(i) l x k = 0 wheeweintoducedanholonomity objectω (i) (k)(l). Theefoeeachefeencefame has n vecto fields (k) = x = (k) ei (k) i which have commutato ( ) [ (i), (j) ] = e k (i) ke l (j) ek (j) ke l (i) ( ) e k (i) el (i) k e (m) l + l e (m) l Fo the same eason we intoduce foms and a diffeential of this fom is = dx (k) = e (k) = e (k) l dx l ( e (k) d 2 x (k) = d ( j e (k) i i e (k) j e (m) l (m) = (m) = ω (m) (k)(l) (m) i dx i) = ) dx i dx j = = ω (m) (k)(l) dx(k) dx (l) Theefoe when ω (i) (k)(l) 0, the diffeential dx(k) is not an exact diffeential and the system (2.3) in geneal cannot be integated. Howeve we can ceate a meaningful object that models the solution. We can study how function x (i) changes along diffeent lines. Remak 2.. Function x (i) is a natual paamete along a flow line of vecto field e (i). We study an instance of such function in section 3. The pope time is defined alongwoldline oflocal efeencefame. As we see in emak.wold lines oflocal efeence fames cove spacetime. To make pope time of local efeence fames as time of efeence fame we expect that pope time smoothly changes fom point to point. To synchonize clocks of local efeence fames we use classical pocedue of exchange light signals. Fom mathematical point of view this is poblem to integate diffeential fom. Howeve, a change of function along a loop is x (i) = dx (i) = = = ω (i) (k)(l) dx(k) dx (l) = ω (i) (k)(l) e(k) k e(l) l dx k dx l Somebody may have impession that we cannot synchonize clock, howeve this conflicts with ou obsevation. We accept that synchonization is possible until 3

4 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN we intoduce time along non closed lines. Synchonization beaks when we ty synchonize clocks along closed line. This means ambiguity in definition of anholonomic coodinates. Fom now on we will not make a diffeence between holonomic and anholonomic coodinates. Also, we will denote b (l) (k) as a (l) (k) in the Loentz tansfomation (.). 3. Synchonization of Refeence Fame Because an obseve uses an othogonal fame fo measuement at each point we can expect that he uses anholonomic coodinates as well. We also see that the time coodinate along a local efeence fame is the obseve s pope time. Because the efeence fame consists of local efeence fames, we expect that thei pope times ae synchonized. We intoduce the synchonization of efeence fame as the anholonomic time coodinate. Because synchonization is the anholonomic coodinate it intoduces new physical phenomena that we should keep in mind when woking with stong gavitational fields o making pecise measuements. I descibe one of these phenomena below. 4. Anholonomic Coodinates in Cental Body Gavitational Field 4.. Effect of Anholonomic Coodinates. We will study an obseve obiting aound a cental body. The esults ae only estimation and ae good when eccenticity is nea 0 because we study cicula obits. Howeve, the main goal of this estimation is to show that we have a measuable effect of anholonomity. We use the Schwazschild metic of a cental body (4.) ds 2 = g dt 2 d 2 2 dφ 2 2 sin 2 φdθ 2 g g = 2Gm G is the gavitational constant, m is the mass of the cental body, c is the speed of light. Let us compae the measuements of two obseves. The fist obseve fixed his position in the gavitational field t = s c g = const,φ = const,θ = const The second obseve obits the cente of the field with constant speed t = s ( g ) α 2 3 φ = α s ( g ) α 2 3 = const,θ = const We choose a natual paamete fo both obseves. 4

5 ALEKS KLEYN REFERENCE FRAME IN GENERAL RELATIVITY The second obseve stats his tavel when s = 0 and finishes it when etuning to the same spatial point. Because φ is a cyclic coodinate the second obseve finishes his tavel when φ = 2π. We have at this point ( g ) α 2 3 s 2 = 2π α t = T = 2π α The value of the natual paamete fo the fist obseve at this point is s = 2π α c g The diffeence between thei pope times is ( s = s s 2 = 2π ) g ( g )c c 2 α 2 3 α We have a diffeence in centimetes. To get this diffeence in seconds we should divide both sides by c. ( t = 2π ) g g α2 2 α Now we get specific data. The mass of the Sun is g, the Eath obits the Sun at a distance of cm fom its cente duing days. In this case we get t = s. Mecuy obits the Sun at a distance of cm fom its cente duing days. In this case we get t = s. The mass of the Eath is g. The spaceship that obits the Eath at a distance of cm fom its cente duing 95.6 mins has t = s. The Moon obits the Eath at a distance of cm fom its cente duing days. In this case we get t = s. Fo bette pesentation I put these data to tables 4., 4.2, and 4.3. Because clocks of fist obseve show lage time at meeting, fist obseve estimates age of second one olde then eal. Hence, if we get paametes of S2 obit fom [], we get that if fist obseve estimates age of S2 as 0 My then S2 will be.297 My younge. Table 4.. Sun is cental body, mass is g Sputnik Eath Mecuy distance, cm obit peiod, days Time delay s

6 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN Table 4.2. Eath is cental body, mass is g Sputnik spaceship Moon distance, cm obit peiod 95.6 mins days Time delay, s Table 4.3. Sg A is cental body, S2 is sputnik mass, M distance sm obit peiod, yeas Time delay, min Loentz Tansfomation in Obital Diection. The eason fo the time delay that we estimated above is in Loentz tansfomation between stationay and obiting obseves. This means that we have otation in plain (e (0),e (2) ). The basis vectos fo stationay obseve ae e (0) = ( c a,0,0,0) e (2) = (0,0,,0) We assume that fo obiting obseve changes of φ and t ae popotional and dφ = ωdt Unit vecto of speed in this case should be popotional to vecto (4.2) (,0,ω,0) The length of this vecto is (4.3) L 2 = a 2 ω 2 We see in this expession vey familia patten and expect that linea speed of obiting obseve is V = ω. Howeve we have to emembe that we make measuement in gavitational field and coodinates ae just tags to label points in spacetime. This means that we need a legal method to measue speed. If an object moves fom point (t,φ) to point (t+dt,φ+dφ) we need to measue spatial and time intevals between these points. We assume that in both points thee ae obseves A and B. Obseve A sends the same time light signal to B and ball that has angula speed ω. Whateve obseve B eceives, he sends light signal back to A. When A eceives fist signal he can estimate distance to B. When A eceives second signal he can estimate how long ball moved to B. The time of tavel of light in both diections is the same. Tajectoy of light is detemined by equation ds 2 = 0. In ou case we have g dt 2 2 dφ 2 = 0 6

7 ALEKS KLEYN REFERENCE FRAME IN GENERAL RELATIVITY When light etuns back to obseve A the change of t is dt = 2 c dφ g The pope time of fist obseve is Theefoe spatial distance is ds 2 = g 4 c 2 2 dφ 2 g L = dφ When object moving with angula speed ω gets to B change of t is dφ ω. The pope time at this point is ds 2 = g dφ 2 ω 2 g T = ω dφ Theefoe the obseve A measues speed V = L T = g ω We can use speed V as paamete of Loentz tansfomation. Then length (4.3) of vecto (4.2) is ( g L = c 2 ) ( g 2 ω 2 = c V ) 2 g Theefoe time ot of moving obseve is e (0) = ( L,0, ω L,0 ) e (0) = c g ( ),0,ω c V 2 g ( ),0 V 2 Spatial ot e (2) = (A,0,B,0) is othogonal e (0) and has length. Theefoe (4.4) g L A 2ω L B = 0 (4.5) We can expess A fom (4.4) and substitute into (4.5) c 2 g A 2 2 B 2 = A = c 2 2 ωb g 4 ω 2 B 2 2 B 2 = g V 2 2 B 2 2 B 2 = 7

8 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN Finally spatial ot in diection of movement is e (2) = c 2 ω g (4.6) e (2) = c 2 g Theefoe we get tansfomation e (0) = e (2) = V c,0, V,0, e (0) + V c,0,0 e (2) e (0) + e (2) c 2 If a stationay obseve sends light in a adial diection, the obiting obseve obseves Dopple shift ω ω = We need to add Dopple shift fo gavitational field if the moving obseve eceives a adial wave that came fom infinity. In this case the Dopple shift will take the fom ω ω = g We see the estimation fo dynamics of sta S2 that obits Sg A in tables 4.4 and 4.5. The tables ae based on two diffeent estimations fo mass of Sg A. If we get mass Sg M [] then in peicente (distance cm) S2 has speed cm/s and Dopple shift is ω /ω = In this case we measue length µm fo emitted wave with length 2.66µm (B γ). In apocente (distance cm) S2 has speed cm/sand Dopple shift is ω /ω = We measuelength µmfothe same wave. Diffeence between two measuements of wave length is 3.098Å If we get mass Sg M [2] then in peicente (distance cm) S2 has speed cm/s and Dopple shift is ω /ω = In this case we measue length µm fo emitted wave with length 2.66µm(B γ). In apocente (distance cm) S2 has speed cm/s and Dopple shift is ω /ω = We measuelength µmfothe samewave. Diffeence between two measuements of wave length is 2.232Å Diffeence between two measuements of wavelength in peicente is 0.9Å. Analyzing this data we can conclude that the use of Dopple shift can help impove estimation of the mass of Sg A Loentz Tansfomation in Radial Diection. We see that the Loentz tansfomation in obial diection has familia fom. It is vey inteesting to see what fom this tansfomation has fo adial diection. We stat fom pocedue of measuement speed and use coodinate speed v (4.7) d = vdt 8

9 ALEKS KLEYN REFERENCE FRAME IN GENERAL RELATIVITY Table 4.4. Dopple shift on the Eath of a wave emitted fom S2; mass of Sg A is M [] peicente apocente distance cm speed cm/s ω /ω emitted wave (B γ) µm obseved wave µm Diffeence between two measuements of wavelength is 3.098Å Table 4.5. Dopple shift on the Eath of wave emitted fom S2; mass of Sg A is M [2] peicente apocente distance cm speed cm/s ω /ω emitted wave (B γ) µm obseved wave µm Diffeence between two measuements of wavelength is 2.232Å The time of tavel of light in both diections is the same. Tajectoy of light is detemined by equation ds 2 = 0. g dt 2 d 2 = 0 g When light etuns back to obseve A the change of t is dt = 2 c d g The pope time of obseve A is Theefoe spatial distance is 2 ds 2 = g 4 2 c 2 d 2 = g = 4 d 2 g L = g d When object moving with speed (4.7) gets to B change of t is d v. The pope time of obseve A at this point is ds 2 = g d 2 v 2 g T = v d 9

10 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN Theefoe the obseve A measues speed V = L T == g d = g v d = v g Now we ae eady to find out Loentz tansfomation. The basis vectos fo stationay obseve ae ( e (0) = ( ),0,0,0 c g ( ) g e () = (0,,0,0 Unit vecto of speed should be popotional to vecto (4.8) (,v,0,0) The length of this vecto is (4.9) Theefoe time ot of moving obseve is L 2 = g v 2 = g = ( g ) ( e (0) = L, v ) L,0,0 = = c g ( ),v c V 2 g ( ),0,0 V 2 c 2 = c g ( ), V g V 2 c ( ),0,0 V 2 Spatial ot e () = (A,B,0,0) is othogonal e (0) and has length. Theefoe (4.0) (4.) We can expess A fom (4.0) and substitute into (4.) g L A v g L B = 0 g A 2 B 2 = g A = c 2 2 ( g ) 2vB = c 2 VB g g c 4 2 ( g ) 2V 2 B 2 B 2 = g 0

11 ALEKS KLEYN REFERENCE FRAME IN GENERAL RELATIVITY g B 2 B 2 = g g B = ( ) = A = c 2 g V g = c 2 V g Finally spatial ot in diection of movement is e () = c 2 g V g, Theefoe we get tansfomationin in familia fom e V (0) = e (0) + e () c c 2 c (4.2) 2 e () = V c e (0) + 5. Conclusion,0,0 e () This pape shows impotance of calculations in othogonal fame. Coodinates that we use in event space ae just labels and calculations that we make in coodinates may appea not eliable. Fo instance in papes [3, 4] authos detemine coodinate speed of light. This leads to not eliable answe and as consequence of this to the diffeence of speed of light in diffeent diections. Few autos concide Einstein s idea about vaiability of speed of light [6]. Howeve Einstein poposed this idea when supposed to ceate theoy of gavity in Minkovsky space, theefoe he assumed that scale of space and time does not change. When Einstein leaned Riemann geomety he changed his mind and neve etuned to idea about vaiable speed of light. Scale of space and time and speed of light ae coelated in pesent theoy and we cannot change one without changing anothe. Thee ae few papes dedicated to a vaiable speed of light theoy [5, 7]. Thei theoy is based on idea that metic tenso may be scaleable elative dilatation. This idea is not new. As soon as Einstein published geneal elativity Weyl intoduced his idea to make theoy invaiant elative confomal tansfomation. Howeve Einstein was fimly opposed to this idea because it boke dependence between distance and pope time. You can find detailed analysis in [8]. We have stong elation between the speed of light and units of length and time in special and geneal elativity. When we develop new theoy and discove that speed of light is diffeent we should ask ouselves about the eason. Did we make accuate measuement? Do we have altenative way to exchange infomation and

12 REFERENCE FRAME IN GENERAL RELATIVITY ALEKS KLEYN synchonize efeence fame? Did tansfomations between efeence fames change and do they ceate goup? In some models photon may have small est mass [9]. In this case speed of light is diffeent fom maximal speed nd may depend on diection. Recent expeiment [0] put limitation on paametes of this model. Refeences [] Ghez et al., The Fist Measuement of Spectal Lines in a Shot-Peiod Sta Bound to the Galaxy s Cental Black Hole: A Paadox of Youth, ApJL, 586, L27 (2003), epint axiv:asto-ph/ (2003) [2] R. Schödel et al., A sta in a 5.2-yea obit aound the supemassive black hole at the cente of the Milky Way, Natue 49, 694 (2002) [3] Angelo Tataglia and Matteo Luca Ruggieo, Angula Momentum Effects in Michelson- Moley Type Expeiments, Gen.Rel.Gav. 34, (2002), epint axiv:g-qc/0005 (200) [4] Yukio Tomozawa, Speed of Light in Gavitational Fields, epint axiv:asto-ph/ (2004) [5] Joao Magueijo, Covaiant and locally Loentz-invaiant vaying speed of light theoies, Phys. Rev. D 62, 0352 (2000), epint axiv:g-qc/ (2000) [6] Antonio F. Ranada, Pionee acceleation and vaiation of light speed: expeimental situation, epint axiv:g-qc/ (2004) [7] Buce A. Bassett, Stefano Libeati, Camen Molina-Pais, and Matt Visse, Geometodynamics of vaiable-speed-of-light cosmologies, Phys. Rev. D 62, 0358 (2000), epint axiv:asto-ph/00044 (2000) [8] Lochlainn O Raifeataigh and Nobet Staumann, Gauge theoy: Histoical oigins and some moden developments, Rev. Mod. Phys. 72, (2000) [9] Claus Lämmezahl, Mak P. Haugan, On the intepetation of MichelsonMoley expeiments, Phys. Lett. A (200), epint axiv:g-qc/ (200) [0] Holge Mulle et al., Moden Michelson-Moley Expeiment using Cyogenic Optical Resonatos, Phys. Rev. Lett. 9, (2003), epint axiv:physics/03057 (2000) 2

13 Index anholonomic coodinate 2 anholonomic coodinates of vecto 2 anholonomity object 3 coodinate efeence fame holonomic coodinates of vecto 2 local efeence fame Loentz tansfomation 2 efeence fame synchonization of efeence fame 4 3

14 a i holonomic coodinates of vecto 2 a (i) anholonomic coodinates of vecto 2 e (k) fom of fame e (k) vecto of fame x (i) anholonomic coodinate 2 Γ (k) anholonomic coodinates of connection (l)(p) 2 ω (i) (k)(l) anholonomity object 3 ( i,ds i ) coodinate efeence fame (k) deivative along vecto field e (k) 2 Special Symbols and Notations 4