Self-Consistent, Self-Coupled Scala Gavity J. Fanklin Depatment of Physics, Reed College, Potland, Oegon 970, USA Abstact A scala theoy of gavity extending Newtonian gavity to include field enegy as its souce is developed. The physical implications of the theoy ae pobed though its spheically symmetic axiv:408.3594v [g-qc] 8 Aug 04 (souce) solutions. The aim is to demonstate ational physical model building, togethe with physical and expeimental checks of coectness. The theoy discussed hee was oiginally consideed by Einstein pio to his intoduction of geneal elativity. jfankli@eed.edu
I. INTRODUCTION A field theoy descibing gavity is necessaily diffeent fom othe familia field theoies (notably electicity and magnetism) because of univesal coupling evey fom of mass/enegy acts as a souce fo gavity, including the enegy stoed in the gavitational field itself. That endes gavity theoies nonlinea. Geneal elativity is the moden theoy of gavity, developed by Einstein in 96, and as advetised, the demands of univesal coupling lead to nonlineaity in its field equation (Einstein s equation). Rathe than wok with the full case, we will exploe self-coupling in a scala field theoy this simplified setting allows us to think about the definition and ole of field enegy as a souce, and we will end up developing a self-coupled scala gavity theoy that was consideed by Einstein in 9 [], e-deived and extended to special elativity in [], and e-developed and discussed moe ecently in [3]. The manne in which gavitational field enegy acts as a souce is not unique we ll stat by consideing a scala field theoy that is self-coupled and in which the field enegy density has a paticula fom [5]. Thee is a poblem with that appoach the enegy density of a field theoy tells us something about its field equations, and the scala theoy we will stat with has field equations that ae inconsistent with its enegy density. To fomalize that poblem, and solve it, we will define the field Lagangian and Hamiltonians by analogy with paticle Lagangians and Hamiltonians. The field Hamiltonian defines the enegy density of a field theoy, and that is what must appea in the field equations (deived fom an Eule-Lagange appoach fo fields) of a self-consistent scala field theoy. We will aive at the self-consistent, self-coupled fom consideed by Einstein, and pesented compactly in [3]. Once we have the field equations, we will solve them fo a few inteesting souces, and finally, calculate the pecession of the point of closest appoach fo a body obiting a spheically symmetic massive souce. The point of the execise is to take known new physics (the self-enegy coupling of the field) and intoduce it in the accepted gavitational famewok (Newtonian gavity). That type of tageted, physically-inspied modification, and the evaluation of the physical content of the esulting theoy ae impotant elements of moden theoetical model-building. The scala case consideed hee has a familia stating point in the Poisson equation, with an equally familia motivation (mass-enegy equivalence), and so makes fo a good example
even though it will not poduce the accepted theoy of gavity (which has, among othe complexities, no unique enegy density definition, making it difficult to discuss in the context of field enegy-mass equivalence). Indeed, its failue in that egad is also instuctive:. the theoy consideed hee is scala, not tensoial, and is only souced by the 00 component of the full stess-tenso that must appea in a Loentz covaiant field equation, and. thee is no necessity fo a geometic view in the scala case the motivation is not the usual equivalence pinciples that begin most discussions of geneal elativity, and ae used to establish the geometic intepetation of the theoy. II. GRAVITY AND ENERGY to Newtonian gavity is descibed by a scala field Φ() that is souced by mass accoding Φ() = 4 π G ρ() () whee ρ() is the (specified) mass density. A paticle of mass m moves unde the influence of Φ accoding to Newton s second law: m a = m Φ(). Given a souce of mass, you find Φ() by solving the above and then you can pedict the motion of paticles. A. Enegy Souce In special elativity, we lean that mass and enegy ae equivalent, so it is easonable to conside enegetic souces to Newtonian gavity. As an example, the enegy density of the electic field of a point chage with mass M and chage Q sitting at the oigin, is: E = ɛ 0 V V = Q 3 π ɛ 0 4, () whee V is the electostatic potential associated with a point chage. We could use this enegy density as a souce in () by noting that the associated mass density is ρ E = E/c, and then we need to solve Φ() = 4 π G c [ Q 3 π ɛ 0 4 fo Φ, keeping in mind that thee is also a point mass souce at the oigin. The solution is Φ() = G M 3 + ] (3) G Q 6 π ɛ 0 c. (4)
This gavitational field contains a chage contibution, meaning, among othe things, that a neutal massive body moving unde the influence of this potential would be able to detect the pesence of the cental chage. This esult agees in fom and intepetation with the lineaized esult fom geneal elativity (whee we find an effective potential of the fom (4) fom the metic associated with the exteio of a spheically symmetic chaged cental body, see [4]). B. Self-Souce The gavitational field, like the electic one, caies enegy, and so we might stat by asking how Φ souces itself. The fist answe comes by analogy with E&M (see [6] fo a eview of that pocess). The wok equied to build a configuation of mass with mass density ρ() and associated potential Φ() is given by W = ρ() Φ() dτ. (5) all space Using (), we can eplace ρ() with 4 π G Φ() and integate by pats, assuming that Φ() vanishes at spatial infinity (the bounday of ou integation domain) to get W = Φ() Φ() dτ. (6) 8 π G all space The integand is an enegy density that we intepet as the enegy density associated with Φ(): E = Φ() Φ(). So it is easonable to stat with 8 π G pecisely as is developed in [5]. Φ() = 4 π G ρ() Φ Φ, (7) c The agument hee mimics the usual one fom E&M, but thee is a cucial diffeence we end up modifying the Poisson fom of the field equation: () becomes (7). But in witing the enegy density (i.e. in going fom (5) to (6)), we used (), while we should have used (7). The self-soucing in this case is, in a sense, inconsistent with the field equation. III. CLASSICAL FIELD THEORY Hee we ll intoduce just enough field theoy to sensibly define the enegy density of a scala field. We ll wok by analogy with the Lagangian and Hamiltonian fom paticle mechanics, and stat with a bief eview. 4
A. Paticles The Lagangian fo a paticle eads: L = m ṙ(t) ṙ(t) U((t)) whee U is potential enegy and the fist tem epesents the kinetic enegy (fo position vecto (t), we define the velocity vecto: ṙ(t) d(t) ). The Eule-Lagange equations of motion fo a paticle dt moving unde the influence of U ae: d dt ( ) L L ṙ = 0, (8) a total of D equations in D dimensions. Related to the Lagangian is the Hamiltonian: H = m the system. L p(t) p(t) + U((t)) (fo momentum p(t) ), epesenting the total enegy of ṙ Fo a fee paticle, thee is no potential, and L = H, the Lagangian is numeically identical to the Hamiltonian, and we can wite H = m ṙ(t) ṙ(t). B. Fields Time-independent fields, like Φ(), have Lagange densities (fo a eview of this type of appoach to classical field theoy, see [9], fo example) given by L = α Φ Φ W (Φ) whee α is a constant that sets the dimension of the Lagange density, and W (Φ) is a field potential. The equations of motion, called field equations hee, ae given by ( ) L L = 0, (9) Φ Φ which is just like (8), but with time-deivatives eplaced by spatial ones: As an example, take L (d/dt) L. ( Φ) L = Φ Φ ( ρ Φ) (0) 4 π G fo a specified mass density ρ (not a function of Φ). In the fist tem, we have set α 4 π G so that the Lagange density has dimension of enegy-ove-volume (an enegy density). The second tem, epesenting W (Φ) is linea in the field, typical of souce tems. Fo the field equation, we have ( ) L Φ = Φ, so that ( ) L 4 π G Φ = 4 π G Φ. The othe tem is L Φ equation fo Newtonian gavity: = ρ, and we can put these pieces togethe in (9) to get pecisely the field 4 π G Φ ρ = 0. () 5
Thee is also a Hamiltonian density associated with Φ: H = α Φ Φ + W (Φ), and again, in the absence of W (fo a fee field), we have L = H, and this is the enegy density of the field itself. Fo the (fee, ρ = 0) Lagange density associated with gavity, we would call the enegy density L = H = Φ Φ fom (0), and this agees with the field 8 π G enegy density we got in (6). But this density does not itself appea as a souce in (), and if we inset it by hand, the esulting field equation does not come fom the stating Lagangian (0) (with ρ = 0). Thee is, then, a clash between the enegy density defined by the Lagangian (0) and the field equations that come fom that Lagangian, which do not take the fom (7). What we want to do is develop a Lagangian (and hence an enegy density expession) whose field equation, coming fom the Lagangian, involves that enegy density. Then we will have a self-consistent theoy. IV. SELF-CONSISTENT, SELF-SOURCED GRAVITY In this section, we will enginee a field equation that has its own enegy density as a souce. We ll wok in vacuum, and then add in massive souces ρ() at the end. Ou taget is a Lagange density L such that the field equation (again, in the absence of explicit souces) is Φ = 4 π G L c (L is the fee-field enegy density, acting hee as a souce). The field equation will be self-consistent if it comes fom (9) fo ou chosen L. Stat with L = f(φ) Φ Φ, () 8 π G fo an abitay dimensionless function of Φ, f(φ). The plan is to get the field equation fo this L fom (9), and then fix f(φ) by equiing that the ight hand side of that field equation be 4 π G L c. We have: L Φ = f(φ) 4 π G Φ L Φ = f (Φ) f(φ) Φ Φ + 4 π G 4 π G Φ. (3) The othe tem in (9) is: L = f (Φ) Φ Φ. Putting the pieces togethe, the vacuum field Φ 8 π G equation is f(φ) 4 π G Φ + f (Φ) 8 π G Φ Φ = 0 Φ = f (Φ) Φ Φ. (4) f(φ) Looking at the ight-hand side, we would have an enegy density souce if: f (Φ) f(φ) Φ Φ = 4 π G L c = f(φ) Φ Φ, (5) c 6
o f (Φ) f(φ) = f(φ) c. This can be solved fo f(φ), defining ou oiginal Lagangian: f(φ) = c Φ. The stating Lagangian is now L = souce ρ(), we get L = The associated field equations, fom (9), ae c Φ Φ. If we add back in the mass density 8 π G Φ c Φ Φ + ρ Φ. (6) 8 π G Φ Φ = 4 π G ρ Φ + Φ Φ. (7) c Φ This is the field equation obtained in [3] and developed ealie, en oute to geneal elativity in []. It epesents a scala (meaning hee that Φ is just a numbe, not a vecto o tenso) theoy of gavity with self-consistent self-soucing. If we had pefomed the analogous pocedue using a symmetic second ank tenso field (which could be epesented as a symmetic matix), we would have obtained Geneal Relativity as in [7]. This pogam was caied out both in a scala self-inteaction (to the tace of its stess-tenso) and in the geometic (a la GR) settings esticted to a confomally flat metic in [8]. Befoe moving on, it is woth noting that while special elativity motivated the intoduction of the self-soucing, the esulting static field equations in (7) ae clealy not Loentz covaiant, lacking the tempoal potion that would need to be in place to maintain scala chaacte unde Loentz tansfomation [? ]. Assuming we could coect that poblem, we would still have a non-scala element in (7), namely ρ. A mass density like ρ is not a scala unde Loentz tansfomation (owing in pat to the volume dependence of the mass density), and in fact one can show (by tansfomation) that ρ is the 00 component of a second-ank tenso, meaning that (7), even with appopiate tempoal dependence, would lack the Loentz covaiance equied of a theoy of gavity wholly in accod with special elativity. Those consideations aside (and they can be used to continue modifying and coecting until all of geneal elativity is obtained), we can wite (7) linealy in Φ, following []: ( Φ ) = π G c ρ Φ (8) which is easie to solve. We ll exploe the spheically symmetic solutions next. 7
V. SOLUTIONS A. Spheically symmetic vacuum We ll stat by looking at solutions to the field equation (8) whee ρ = 0 (so we ae in vacuum) and Φ() = Φ(). Such a solution would be appopiate outside of a spheically symmetic souce of mass M localized nea the oigin. Unde ou assumptions, the field equation (8) becomes the Laplace equation fo Φ() and that is easily solved: ( ) Φ() = ( ) α Φ() = 0 Φ() = + β. (9) with pimes denoting -deivatives. We can wite Φ() in tems of the two integation constants, α and β, Φ() = β + α β + α. (0) If we ask that Φ() look like the Newtonian potential of a point souce (of mass M) as appoaches spatial infinity, then we can fix α Φ() = β G M + G M 4 β. () Now we must choose β it cannot be zeo, and it must have a value with the dimensions of speed, so that c is a natual candidate. The tem β is dominant fa fom the souce, in the weak field egime. Going back to the field equation (7), if we set Φ = c + Φ N thee, and collect in powes of c, the leading PDE is pecisely Newtonian gavity fo Φ N : Φ N = 4 π G ρ. So in the weak field egime, we expect Φ = c + Φ N that means we must set β = c in ou vacuum solution. Ou final spheically symmetic vacuum solution looks like Φ() = G M + G M 4 c + c. () The tem that goes like / is simila to the one appeaing in (4). Indeed, if we take the naïve eplacement 4 π ɛ 0 G that tuns the magnitude of electostatic esults into Newtonian gavitational ones, we would expect the chage tem in (4) to tun into and this is pecisely the tem we find in (). G Q 6 π ɛ 0 c G M 4 c, (3) 8
B. Spheically symmetic, constant ρ If we take a sphee of adius R with ρ() = ρ 0, a constant, we again expect spheically symmetic Φ, and (8) becomes: with 0 sinh and cosh: ( ) π G ρ 0 ( Φ = Φ ) Φ = c 0 ( ) Φ, (4) c π G ρ0. In this fom, it is easy to see that the solution fo Φ is just a sum of ( ) ( ) Φ = A sinh + B cosh. (5) 0 0 We want a solution fo Φ that is finite at the oigin, so set B = 0 and keep the sinh tem. Then the inteio solution is: ( ) A sinh (/0 ) Φ i () =. (6) Outside the sphee of mass, whee ρ = 0, the exteio potential is as above: Φ o () = ( α + β ). (7) If we demand both continuity and deivative-continuity at the bounday of the cental sphee, so that Φ i (R) = Φ o (R) and Φ i(r) = Φ o(r), and in addition, we set Φ o ( ) = c, then we can fix all emaining constants, to get Φ i () = c cosh [ Φ o () = c R R ( ) R 0 ( sinh 0 ) 0 + R ] + ( R ( R 0 tanh 0 )). Compae with the Newtonian esult (fo the same density and bounday conditions): (8) Φ i () = c c (R 0) 3 0 0 ( ) R 3 Φ o () = c 3 0 +. (9) In Figue, we can see the self-coupled (solid cuve) and Newtonian (dashed cuve) potentials fo a sphee with R = and 0 = 4. 9
()/c 0.95 0.90 0.85 0.80 4 6 8 0 0.75 FIG.. Self-coupled (solid) and Newtonian (dashed) potential fo a homogenous solid sphee of mass (with R =, 0 = 4). C. Chaged, massive cental body We can also calculate the effect of chage Q placed on a point mass M in the self-coupled case (as we did ealie fo Newtonian gavity, whee the esult is (4), and it was done fo the field equation (7) in []). If we use: ρ = symmety, then we can wite (8) as Define Q 3 π ɛ 0 4 c as in (3), and again assume spheical d ( ) Φ = Q G d 6 π ɛ 0 c 4 Q G 6 π ɛ 0 c 4, and note that fo p /, we have: then we can simplify and solve (30): Φ 4. (30) d ( ) Φ = d Φ, (3) d 3 dp d dp Φ = Φ Φ = α cosh ( /) + β sinh ( /). (3) Fom this, we can expand nea spatial infinity to match the constant and / tems to the asymptotic Newtonian fom: c G M. As Φ α + α β + O 0 ( ( ) ) (33)
so set α = c and β = G M c giving Φ() = ( c cosh( /) G M ) c sinh( /). (34) It is inteesting to note that if we expand this at spatial infinity, and display moe tems, we get: Φ() c G M + G M 4 c + G Q 6 π ɛ 0 c + O ( ( ) ) 3 (35) whee the fist thee tems match the self-coupled vacuum potential fom () and we ecognize the fist chage tem fom (4). VI. PRECESSION Tuning to the othe element of this new gavitational field theoy the equations of motion we can calculate the dynamics of a massive body moving unde the influence of any of the above potentials. Betand s theoem (see, fo example [0]) tells us that fo any spheically symmetic potential othe than and /, elliptical obits will pecess, and all of the spheically symmetic potentials developed above have tems othe than /. We ll take the vacuum solution () fo simplicity, and calculate the pecession fo a body of mass m going aound a spheical cental body of mass M. Stating fom the Hamiltonian: H = E = ( m ṙ + J ) z J z + U() φ = (36) m fo a paticle of mass m with angula momentum (z-component) J z, if we take p = / and paametize in tems of φ athe than t, we get: p (φ) = m J z (E U(p)) p(φ). (37) Taking the φ-deivative gives us an equation of motion fo p: p (φ) = m J z U (p) p(φ), (38) and we can use the potential enegy: U(p) = m ( G M p + G M 4 c p + c ) to get p (φ) = G M m J z p(φ) ( + G M m Jz c ). (39)
The solution hee can be witten in tems of two abitay constants, and we can specialize to the obital case, whee we have: p(φ) = A + B cos ( ) + G M m φ Jz c with A M c G m c J z +G m M, and B is a constant of integation. Now the adial coodinate is just the invese of p, so (40) (φ) = ( ). (4) A + B cos + G M m φ Jz c The point of closest appoach to the cental body occus at φ = 0, and then again at φ given by: + G M m J z c φ = π φ = π. (4) + G M m Jz c If we take G M m J z c, so a small depatue fom elliptical, then the obiting paticle etuns to the closest appoach point not at φ = π, but athe at ) φ π ( G M m < π. (43) 4 Jz c The closest appoach point then shifts, at each peiod, to a smalle angle this is the opposite of the obseved diection fo Mecuy (fo example, which has the analogous φ > π). VII. CONCLUSION We have exploed the ole of self-soucing in a scala theoy of gavity. That self-soucing, when done in a self-consistent manne leads to a new (as compaed to Newtonian gavity) gavitational field equation, with new solutions fo spheically symmetic souces. Those solutions, while sensible, pedict diffeent physics than Newtonian gavity. In itself, that is not a poblem, since geneal elativity does as well. Exploing the physical implications of any modification to a known theoetical famewok is as impotant as geneating the modification, and hee we could easily compute the obsevable closest appoach pecession due to a spheically symmetic massive souce. That pecession goes in the opposite diection of both the one pedicted by geneal elativity, and the one obseved in, fo example, the obit of Mecuy (this is also tue in Nodstöm s scala theoy of gavity).
Regadless, the utility of the cuent wok is not in extending gavity, but athe, in displaying a logical extension to Newtonian gavity one that is physically motivated, and elevant to the deivation of geneal elativity itself when the techniques used in the cuent wok ae applied in the pope setting, geneal elativity emeges, togethe with its geometic intepetation, quite natually. ACKNOWLEDGMENTS The autho thanks David Giffiths fo useful commentay and physical insight, and Stanley Dese fo additional scala gavity elements. [] A. Einstein, Zu Theoie des statschen Gavitationsfeldes, Ann. Phys. (Leipzig), 38, pp. 443 458, 9. (English tanslation in The Collected Papes of Albet Einstein Vol. 4, Pinceton Univesity Pess, tanslated by Anna Beck, pp. 07 0, 996). [] Pete G. O. Feund and Yoichio Nambu, Scala Fields Coupled to the Tace of the Enegy Momentum Tenso, Phys. Rev., 74, pp. 74 743, 968. [3] Domenico Giulini, Consistently implementing the field self-enegy in Newtonian gavity, Phys. Lett. A, 3, pp. 65 70, 997. [4] Chales W. Misne, Kip S. Thone & John Achibald Wheele, Gavitation (W. H. Feeman and Company, 973). [5] P. C. Petes, Whee is the enegy stoed in a gavitational field?, Am. J. Phys., 49(6), pp. 564 569, 98. [6] David J. Giffiths, Intoduction to Electodynamics (4th ed., Peason, 03). [7] S. Dese, Self-Inteaction and Gauge Invaiance, Gen. Rel. Gav.,, pp. 9 8, 970, epinted as g-qc/0403. [8] S. Dese and L. Halpen, Self-coupled Scala Gavitation, Gen. Rel & Gav., (), pp. 3 36, 970. [9] J. Fanklin, Advanced Mechanics and Geneal Relativity (Cambidge Univesity Pess, 00). [0] H. Goldstein, Chales P. Poole & John L. Safko, Classical Mechanics (3d ed., Addison-Wesley, 00). 3
[] John H. Young, A chage contibution to (pseudo-)newtonian gavity, Am. J. Phys. 59(6), pp. 565 567, 99. 4