Saturday, June 1, 2024

Gravitomagnetism and Gauss's law

Edward M. Purcell calculated the energy of an electromagnetic wave from a retardation rule and the principle that Gauss's law must hold for the electric field. Gauss's law states that lines of force can never break.













In the diagram we have the electric lines of force for a charge which was suddenly moved to the left. The lines are kept non-breaking by a magnetic field which varies with time.


Ricci curvature R₀₀ = 0 means that the lines of force must not break


Having the Ricci curvature R₀₀ = 0 (the curvature to the time direction) means that a cube of test masses m, which are initially static, must preserve its volume when the masses are let to float freely.


The movement of test masses is like a flow of incompressible liquid. The lines of force acting on the test masses must not break – otherwise the density of test masses would not stay constant. The vector field defined by the electric field E must be "sourceless", or solenoidal.


Is it so that gravitomagnetism has to be exactly analogous to ordinary magnetism? Yes, for single accelerating masses there can be no factor 4


Newtonian gravity and its lines of force look exactly like the Coulomb force. Let us assume that retardation of gravity is identical to the electric force. Let us also assume that weak gravity fields obey Gauss's law.

Then a good hypothesis is that gravitomagnetism acts on test masses exactly like magnetism acts on test charges. 

In our November 13, 2023 we presented a hypothesis that gravitomagnetism is exactly analogous to magnetism. We have here more evidence that supports that hypothesis.

However, we must note that the energy density of a gravitational wave is 16 times the analogous electromagnetic wave. Changes in the spatial metric seem to carry this large energy density. The gravitomagnetism which we consider in this blog post concerns the metric of time. The metric of time produces the newtonian gravity force.


A. Barros (2016) writes that for weak fields, the Kerr metric is exactly analogous to the electric and magnetic field of a spinning charge. The lagrangian is identical.


On August 7, 2023 we wrote that in the literature, the gravitomagnetic field of a spinning mass is claimed to be 4-fold compared to the analogous spinning electric charge. Is this possible? What happens in electromagnetism if we make the magnetic field 4-fold?












If there would just be retardation and no magnetic field would exist, then in the diagram, the electric lines of force would break at the circle.


A changing magnetic field is able to connect the ends of the lines of force through the formula:






If we make B 4-fold, then the electric field along the circle will be too strong. We end up with too many lines of force along the circle.

The gravitomagnetic field for a moving single mass cannot be 4-fold relative to the analogous magnetic field of a moving single charge.

In this example, the gravitomagnetic field is already "detached" from the point mass which generated it. The field of slowly moving masses may be quite different from the field of a rapidly accelerated mass.

What about "current loops"? A rotating mass is a "loop" of a mass current. Could it be that a loop somehow has a 4-fold gravitomagnetic field?

That would be strange. How would nature know which movement of an atom constitutes a mass current loop?

The spatial metric around a static spherical mass shell cannot be calculated by summing metric perturbations for each atom, as we have noted in this blog. Could it be that there is a similar nonlinear effect which radically changes the gravitomagnetic effect of a rotating mass shell?


Using the Einstein approximation formula to calculate the gravitomagnetic effect of a sphere



The strange factor 4 in the literature probably originates from calculations of Josef Lense and Hans Thirring in 1918. They defined a metric which is a weak field approximation of the Kerr metric.

On May 29, 2024 we showed that no rotating mass M can have a metric which solves the Einstein field equations. Therefore, we cannot define what is the "correct" metric around a rotating mass in general relativity. Anyway, we have to check how Lense and Thirring got the factor 4.


Claus Lämmerzahl and Gernot Neugebauer (2001) give an elementary derivation of the Lense-Thirring metric. They seem to apply the Einstein approximation formula (see the blog post August 16, 2023) to the metric tensor, including the mass flow in the rotating body:







where the "frame-dragging" off-diagonal component is:






in the metric:












Let us analyze this. How does the factor 4 come about?

Let us have a mass circle which rotates around its center. Below we have drawn two elements dm of the circle. We calculate what the Einstein approximation formula says.

We assume weak fields.


                                                ^  v
                                           \       \ 
                          ×               dm
          \               center
         dm           r = radius
                          α = angle(center-dm, x axis)

  ^ y
  |
   -----> x

                        ^   V
                        |
                        •    m test mass (0, -y)


We assume that dm = dα. Then the mass of the entire circle is 2 π and its angular momentum L = 2 π v r. The coordinates of the circle center are (0, 0) and the test mass m (0, -y).

In the diagram, the contribution of the two elements dm to the t, x component of tilde-g₁ at the test mass m is κ c² times:

       dm sin(α) v / (y  -  r sin(α))

       - dm sin(α) v / (y  +  r sin(α))

       ≈  dα sin(α) v  *  1 / y  *  2 r / y  *  sin(α)

       =  2 v r / y²  *  sin²(α) dα.

The integral of sin²(α) from 0 to π is π / 2. The contribution of the full circle is

       κ c² π v r / y²

       = 8 π G / c²  *  π v r / y²

       = 4 π G / c²  *  L / y²

The formula we obtained is totally different from the one in the paper. Strange. Maybe the authors have set 8 π / c² = 1?

Anyway, let us continue our calculation. The Einstein approximation formula indicates that the metric g at the test mass m is something like

      g  =

   ≈ -1                             4 π G / c²  *  L / y²    0    0

   4 π G / c²  *  L / y²    ≈ 1                              0    0

   0                                 0                               ≈ 1  0

   0                                 0                                0  ≈1,

in cartesian coordinates t, x, y, z. What is the strength of magnetic gravity there?








Let us use the geodesic equation to determine the x acceleration of a test mass m which approaches the circle at a velocity V. In the formula above, s is the proper time τ of the test mass.

We want to determine

       d²x / dτ²  =  -Γ¹₀₀  *  dt / dτ  *  dt / dτ

                            - 2 Γ¹₀₂  *  dt / dτ  *  dy / dτ

                            - Γ¹₂₂  *  dy / dτ  *  dy / dτ

                        =  -Γ¹₀₀  -  2 Γ¹₀₂ V  -  Γ¹₂₂ V².








       Γ¹₀₀  =  1/2 g¹⁰ (0  +  0  -  0)

                    + 1/2 g¹¹ (0  +  0  -  0)                =  0,

       Γ¹₂₂  =  1/2 g¹⁰ (0  +  0  -  0)

                    + 1/2 g¹¹ (0  +  0  -  0)                =  0,

       Γ¹₀₂  =  1/2 g¹⁰ (0  +  dg₀₀ / dy  -  0)

                    + 1/2 g¹¹ (0  +  dg₀₁ / dy  -  0)

                ≈  1/2 dg₀₁ / dy.

On the last line we use the fact that both g¹⁰ and dg₀₀ / dy have very small absolute values and their product is negligible, and that g¹¹ ≈ 1. We then have:

      d²x / dτ²  =  -V  *  d (4 π G / c² * L / y²) / dy

                       =  V  *  8 π G / c²  *  L / y³.

The gravitomagnetic force on the test mass is

       Fgm  =  m V  *  8 π / c²  *  G  *  L / y³.

Let us compare this to the magnetic field of a electrically charged rotating sphere. The magnetic dipole moment m of a solid, uniformly charged sphere is

       m  =  1/2 Le,

where Le is the "charge angular momentum" of the sphere, defined analogously with the mass angular momentum:

       Le  =  Σ  qi v r.
                 i

In the equatorial plane, the magnetic field of the rotating sphere is:

       B  =  μ₀ / (4 π)  *  m / y³

            =  1 / (8 π ε₀ c²)  *  Le / y³.

The magnetic force on a test charge q is:

       Fem  =  q V  *  1 / 2  *  1 / c²

                   *  1 / (4 π ε₀)  *  Le / y³.

The gravitomagnetic force is 16 π times the analogous magnetic force. This does not make sense. The Einstein approximation formula produces wildly wrong results.


The gravitomagnetic effect of a moving cylinder in general relativity: the factor 4 comes up here


On April 26, 2024 were able to solve an approximate metric around a long uniform cylinder, from the Einstein field equations. Let us use our result to derive the path of a test mass which approaches the cylinder obliquely. If we imagine that the cylinder is moving and the test mass approaches it along a normal, then we also have calculated the gravitomagnetic effect in general relativity.


    z       ρ = mass / length
 --->      ===============  static long cylinder
|
v r                    Vr
                          ^     ^  V
                          |   /
                          | /
                          • ---> Vz
                         m
                         test mass


The cylindrical coordinates are t, r, φ, z.

We derived:

       dg₁₁ / dr  =  r d²g₀₀ / dz²

                       ≈  0.

If the cylinder is very long, then |d²g₀₀ / dz²| is very small, and we can assume that the metric component g₁₁ does not depend on r.

On April 28, 2024 we derived:

       dg₃₃ / dr  =  dg₀₀ / dr  +  r d²g / dz²

                        ≈  dg₀₀ / dr.

Let us assume that the test mass m is near the midpoint of the cylinder. Then off-diagonal components in the metric g are very small and can be neglected.

The metric of time g₀₀ (which is close to -1) is calculated from newtonian gravity:

       dg₀₀ / dr   =  -2 G m ρ / r  *  1 / (m c²)

                         =  -2 G / c²  *  ρ / r,

where ρ is the mass of the cylinder per length. Note that dτ²  =  g₀₀ dt², from which the factor 2.

We use the geodesic equation again:












If we assume that

       |V|  <<  c.

Then

       d²z / dτ²  =  -Γ³₀₀ dt / dτ * dt / dτ

                            - 2 Γ³₀₁ dt / dτ  *  dr / dτ

                            - Γ³₁₁ dr / dτ  *  dr / dτ

                            - 2 Γ³₀₃ dt / dτ  *  dz / dτ

                            - 2 Γ³₁₃ dr / dτ  *  dz / dτ

                            - Γ³₃₃ dz / dτ  *  dz / dτ.

The Christoffel symbols:

       Γ³₀₀  =  1/2 g³³  (0  +  0  -  0),

       Γ³₀₁  =  1/2 g³³  (0  +  0  -  0),

       Γ³₁₁  =  1/2 g³³  (0  +  0  -  0),

       Γ³₀₃  =  1/2 g³³  (0  +  0  -  0),

       Γ³₁₃  =  1/2 g³³  (dg₃₃ / dr  +  0  -  0),

       Γ³₃₃  =  1/2 g³³  (0  +  0  -  0).

We obtain:

       d²z / dτ²  =  -dg₃₃ / dr  *  -Vr  *  Vz 

                        =  -Vr Vz  *  2 G / c²  *  ρ / r.

The proper time τ of the test mass m slows down as it descends closer to the cylinder. Let us calculate the effect. The slowdown is due to two things:

1.   the metric of time |g₀₀| is slower close to the cylinder, and

2.   the velocity of the test mass grows close to the cylinder, which slows down its proper time.


Item 1:

Let m approach the cylinder for a unit time. The rate dτ / dt (≈ 1) slows down by

       Vr G / c²  *  ρ / r,

which translates to a z acceleration:

       -Vr Vz G / c²  *  ρ / r.

Item 2:

The effect is as large as for item 1:

       -Vr Vz G / c²  *  ρ / r.


The combined effect of all of the above is

      -Vr Vz  *  4 G / c²  *  ρ / r.

We finally found a possible origin of the strange factor 4 in the literature!

A half of the effect is due to the stretching of the z metric g₃₃ close to the cylinder. One fourth comes from the slowdown of time close to the cylinder. One fourth comes from the increased kinetic energy. Are these really "magnetic" effects?


The analogue between gravity and electromagnetism, in the case of a moving cylinder and a test charge approaching it




              ρ = charge / length
            ==================   --> Vz 
                       cylinder

                           ^
                           |
                           • q test charge


The "electric field":

Gravity:

       Eg  =  G ρ / r.

Electromagnetism:

       E  =  1 / (4 π ε₀)  *  ρ / r,

where ρ is the charge per length.


The "magnetic field":

Gravity: 

       Bg  =  4 Vz / c²  *  Eg.

Electromagnetism: 

       B  =  Vz / c²  *  E.


A test mass moving along a moving cylinder


Let us check if the analogue extends to other movements than a normal movement.


              ============  static cylinder

                        •---> Vz 





    

       d²r / dτ²  =  -Γ¹₀₀ dt / dτ * dt / dτ

                            - 2 Γ¹₀₁ dt / dτ  *  dr / dτ

                            - Γ¹₁₁ dr / dτ  *  dr / dτ

                            - 2 Γ¹₀₃ dt / dτ  *  dz / dτ

                            - 2 Γ¹₁₃ dr / dτ  *  dz / dτ

                            - Γ¹₃₃ dz / dτ  *  dz / dτ.

The three last terms are associated with the velocity

       Vz  =  dz / dτ,

and can create a "magnetic" force. We can discard the one with the dr / dτ factor.

       Γ¹₀₃  =  1/2 g¹¹ (0  +  0  -  0),

       Γ¹₃₃  =  1/2 g¹¹ (0  +  0  -  dg₃₃ / dr)

                =  -1/2 g¹¹ d(-2 G / c²  *  ρ / r) / dr

                ≈  -G / c²  *  ρ / r².

Then

       d²r / dτ²  =  Vz²  *  G / c²  *  ρ / r².

The associated force is proportional to the square of the velocity Vz. It is not a "magnetic" force.

Let us assume that the cylinder moves to the right at a very slow speed v. This simulates an electric current, which moves very slowly inside a wire.


            ==========  --> v

                    • ------> Vz 


A "magnetic" force arises:

        d²r / dτ²  =  2 Vz v  * G / c² * ρ / r².

But depends on 1 / r², not on the "electric" field which is ~ 1 / r.

We cannot find anything which would resemble electromagnetism. Thus, gravitomagnetism makes no sense for a movement parallel to the cylinder.


Conclusions


For a moving cylinder, there is not a good analogy with magnetism in general relativity.

If we look at a "free" gravity field, it would be nice to have a mechanism which imitayes the magnetic field, in order to preserve Gauss's law.

We will write another blog post about the gravitomagnetic field of a rotating mass. It is not clear to us what kind of a magnetic force is natural for general relativity. Is the Kerr metric natural?

In our own Minkowski & newtonian gravity model, gravitomagnetism is not yet clear, either.

Friday, May 31, 2024

Cosmological models: is there any solution for the Einstein equations?

FLRW models typically assume a perfectly uniform mass density ρ and pressure p throughout an expanding, spatially finite universe.


A realistic universe must contain variations in the mass density, though. Let us investigate if the Einstein equations have a solution at all for a realistic universe.

If the universe contains differences in the mass density ρ, and those differences are not made "static" by a pressure, then a rogue metric variation spoils any possible solution of the Einstein equations.


A static uniform sphere M in an FLRW universe



C. Gilbert (1956) presents a solution. Gilbert has to assume that the universe had a uniform mass density ρ > 0, and that the sphere M condensed from that mass, making a hole in the mass distribution. Then the gravity pull at the edge of the hole is equal from all directions. An infinitesimal rogue metric variation cannot move matter to a lower gravity potential? That is correct. This explains why Gilbert was only able to find the solution in the case where M is exactly the mass of the hole, condensed.

If we assume that a condensation process did take place, then the sphere M was born in a dynamic process, and we can use a rogue variation of the metric to show that there is no solution of the Einstein equations for that process.


Very rogue metric variations break also the FLRW models: we have to ban such variations


Recall from May 26, 2024 that a very rogue variation δg makes a particle to go backward in the time coordinate (of the old coordinates). In the Oppenheimer-Snyder collapse, we used a very rogue metric variation to show that their solution is erroneous. We wrote that particles can "legally" travel to a smaller time coordinate (smaller in the old coordinate), because clocks tick at different rates there, and the clock time is used as the time coordinate.

In an FLRW model, a very rogue variation genuinely takes a particle back in time. It is not an artefact of coordinates.

A very rogue variation can make a particle to have three copies of itself at a single time coordinate. The variation keeps the spacetime geometry constant: therefore, the action integral S of the Ricci scalar R is unchanged. But the integral of LM is changed since a single particle has several copies of itself at the same time of the old coordinates.

What is the problem here? The FLRW metric is a solution of the Einstein field equations. How can we have a very rogue metric variation δg which changes S?

The explanation is that the variation of LM becomes very complicated if we allow travel back in time. The stress-energy tensor is defined as the variation of the integral of LM, when we vary the metric g. The stress-energy tensor is no longer the simple

        T  =

              ρ     0     0     0
              0     0     0     0
              0     0     0     0
              0     0     0     0,

if we allow very rogue variations.

Very rogue variations must in this case be banned in general relativity.


Conclusions


The FLRW model with a uniform density ρ can be called a "dynamic" system, and it does have a solution for the Einstein equations. We can even embed into the FLRW universe static stars which reside is a spherical hole in the otherwise uniform mass distribution. The mass of the star must be equal to the mass missing from the hole. Otherwise, a rogue variation would spoil this solution of the Einstein equations.

Wednesday, May 29, 2024

Changing the pressure inside a sphere: a new analysis why Einstein equations fail

On November 5, 2023 we gave a tentative proof that the Einstein equations do not have any solution if we suddenly change the pressure inside a uniform sphere. Now that we are familiar with variations of the metric, let us analyze the setup in more detail.

We assume that we start from the static Schwarzschild interior and exterior metrics for a uniform sphere of incompressible fluid. The sphere does not collapse under gravity because it has an internal pressure.


A change in the pressure makes the system dynamic: hence, no solution for the Einstein equations


Suppose that there would exist a solution g for the Einstein field equations. Like in the previous blog post, we can apply an infinitesimal rogue metric variation δg, which does not change the action integral S of the Ricci scalar R, but raises a mass m to a higher gravity potential. Such a variation decreases the action integral S of LM.

Then g is not a stationary point of the Einstein-Hilbert action, and cannot be a solution of the Einstein field equations. We have a contradiction.

One could try to remedy the problem by introducing canonical coordinates and a canonical kinetic energy to LM.

But that might not help in the pathological problem of a non-conserved "pressure charge" in general relativity.


Raising the pressure suddenly inside a spherical uniform mass M


Let the radius of a uniform spherical mass M be r₀, its proper density ρ₀, and its proper pressure p₀. Initially, the system is static. The pressure exactly cancels the gravity force.

The system has the Schwarzschild interior and exterior metric g. We assume weak fields. The metric g is only slightly perturbed from the flat metric η. We use the signature (- + + +).

The Ricci tensor inside the mass M must be approximately

        ≈

          κ  *  1/2  *

                  ρ + 3 p    0               0                0 

                  0              ρ - p         0                0

                  0              0              ρ - p           0

                  0              0              0           ρ - p.

The Ricci curvature R₀₀ can be determined with a cube of test masses m which are initially static and then fall freely. Let U₀ be the initial proper volume of the cube.

The proper volume U(t) of the cube decreases according to R₀₀:

       U(t)  =  U₀ * (1  -  C R₀₀ t²),

where C is a constant and t is the time that the test masses have fallen freely.

Let us put test masses m everywhere inside M, and also outside it, up to a radial coordinate r₁ > r₀. We then have a spherical constellation of test masses. The volume of the constellation decreases with time because infinitesimal cubes in the constellation shrink inside M (where R₀₀ > 0). The cubes outside M do not shrink (there R₀₀ = 0).

Since

       R₀₀(ρ, p)  =  1/2 κ (ρ  +  3 p),

we can modify the value of R₀₀ as we wish by changing the pressure p inside M.


                     •    •
                •    •    •    •
                •    •    •    • m test masses 
                     •    •

               <---- 2 r --->


If the sphere is static and we release the test masses, then the outer radius r of the test masses must decrease at a speed which is consistent with the shrinking of the cubes U inside the mass M.

Birkhoff's theorem says that the metric outside M cannot change. The outermost test masses fall the same regardless of p.

Let us suddenly raise the pressure p by Δp.

The shrink rate of the cubes U inside M increases. As the test masses outside M still fall at the same rate, does this lead to a contradiction? The proper volume of the test mass constellation would shrink faster, even though its surface moves as before.

Because of the increased pressure, the average density of the sphere M starts to decline:

       ρ(t)  =  (1  -  C₂ t²) ρ₀,

where C₂ is a constant.

Let us update the formula:

       U(t)  =  U₀  *  ( 1  -  C  *  R₀₀((1 - C₂ t²) ρ₀, p)  *  t² ).

If t is small, we can ignore the change in the density ρ, because the effect on U(t) is only ~ t⁴.

Is it possible that the pressure increase causes the radial metric g₁₁ to shrink, so that it could explain away the shrinking of the cubes U?


















In the interior Schwarzschild solution, the spatial metric of a slice of the sphere M in the x, y plane is the surface of a sphere. The radius ℛ of this surface only depends on the density ρ, not on the pressure p at all.

Thus, we believe that the change in the pressure does not affect the spatial metric, and we have a contradiction. But we need an exact proof.

Let us raise the pressure by a fixed amount Δp at radii

       r  <  r₂  <  r₀.

At radii

       r₂  <  r   <  r₀,

we let the extra pressure Δp to fall off, so that the pressure is zero at the surface of M.

It is a good guess that the new metric g will imitate the metric inside a static larger sphere whose density is ρ. The added outer layers in a larger sphere cause a uniform extra pressure.

But the pressure falls off rapidly near the surface of M. A rogue variation prevents the Einstein field equations from having a solution there, because we can reduce the potential energy of the extra pressure by moving particles to a larger radius r.

Let us assume that we are able to fix the lagrangian LM by introducing a canonical kinetic energy into it. We might pretend that the Δp is 0 at

       r₂  <  r   < r₀,

and ignore the sharp jump of the pressure at r₂.

Then the Schwarzschild interior solution says that the spatial metric is unchanged at r₂ < r  < r₀. The spatial metric is unchanged in the entire sphere M. This leads to a contradiction because after raising the pressure, the proper volume of the test mass constellation shrinks faster. The radius of the outermost test masses should shrink faster, but it does not. The outermost test masses fall as fast as before.


Raising the pressure in M and Gauss's law for gravity


The Ricci curvature component R₀₀ describes the "focusing power" of gravity.

Outside the spherical mass M, we have R₀₀ = 0, and the lines of force of gravity must be continuous: Gauss's law holds there.

Let us have a cube of test masses inside M. The component R₀₀ tells us how much "source" of gravity is inside the cube. The Komar mass formula gives the total source of gravity inside a static M.

But we can increase the pressure p inside M. Then R₀₀ grows, and suddenly we have more source of gravity inside M. More lines of force start there.

This necessarily breaks Gauss's law, because Birkhoff's theorem says that outside M, we cannot increase the number of lines of force. General relativity has a fundamental problem here.

Pressure generates gravity also in our Minkowski & newtonian gravity model. We do not have Birkhoff's theorem. Therefore, this is not a problem for us.


The Einstein equations do not have a solution for a rotating mass M – the Kerr metric


If M is held static by a pressure, then a rogue metric variation does not change the value of the Einstein-Hilbert action S.

But if the mass is kept "stationary" through rotation, then we obviously can change the value of S by raising some mass m to a higher gravity potential, or lowering m to a lower gravity potential.


It has been an open problem if any rotating mass can generate the Kerr metric. We here solved the problem, in the negative.

It may be possible to remedy general relativity by switching to canonical coordinates and adding the kinetic energy to LM.

In August and September 2023 we noted that general relativity "has problems handling accelerating mass flows". Here we proved a major problem: the Einstein equations have no solution for them.

Is the Kerr metric itself reasonable? We were not able to solve the question in the Fall of 2023, using our own Minkowski & newtonian gravity model.


Conclusions


Pressure does generate gravity – also in our own Minkowski & newtonian gravity model. Since one can change pressure, there is no conservation of the "pressure charge". We have to abandon Gauss's law for the gravity generated by pressure.

General relativity implies Birkhoff's theorem, which, in turn, implies that Gauss's law must hold for weak gravity fields.

If we want to repair general relativity, radical changes are needed in it. On the other hand, our own gravity model has no problems handling pressure changes.

We will next look at cosmological FLRW models. Our hypothesis is that only a universe with a totally uniform mass density ρ satisfies the Einstein equations. This means that general relativity does not have a solution for any realistic cosmological model.

Sunday, May 26, 2024

The error in the Oppenheimer-Snyder collapse 1939

In this blog we have been suspicious of the Oppenheimer-Snyder collapse paper (1939):


Our analysis on May 21, 2024 about "rogue" variations in the Einstein-Hilbert action finally uncovered what is the problem in the paper.








The authors define the metric of time as identically -1 during the collapse. In this text we think in terms of the metric signature (- + + +), while the authors use (+ - - -).

But time, as measured by an observer far away, progresses slower at the center of the star. Setting the metric of time a constant -1 makes the time coordinate unnatural: a particle can travel backward in the time coordinate if it approaches the center of the star. Clocks at the center show a significantly earlier time than clocks at the surface.








When we work with the matter lagrangian LM in the Einstein-Hilbert action, we subconsciously assume that the coordinate time always progresses for a particle. If a particle can zigzag in the time coordinate, its mass will contribute in a surprising way to the integral of LM in the Einstein-Hilbert action. The particle can appear as many particles at certain coordinate times.

Thus, variations of the particle path in LM must include paths which travel backward in the coordinate time.


A "very rogue" metric variation


In our May 21, 2024 blog post we defined a rogue variation of a metric: a variation which keeps the spacetime geometry constant, but moves coordinate lines spatially relative to the spacetime geometry (or relative to the old coordinate lines if we interpret the old coordinate lines fixed to the spacetime geometry).

Such variations have surprising results.

Let us define a very rogue metric variation: it moves coordinate lines in such a way that a particle moves back in the coordinate time of the old coordinate lines. The particle will zigzag in the time coordinate of the old coordinates.


The collapse in ordinary static coordinates: a rogue variation


Let us have a spherical uniform cloud of dust (pressure = zero) at the start of the collapse.


                      •    •
                 •    •    •    •
                 •    •    •    • --->  move coordinates
                      •    •    m (t, x, y, z)
                       M


Let us assume that we have a solution g for the Einstein field equations for the collapse, for a coordinate time interval T.

We assume that a particle m in the cloud at a coordinate time t is at certain spatial coordinates x, y, z.

Let us keep the overall spacetime geometry intact, but vary the metric g in such a way that the spatial location x, y, z moves to a larger radial distance r at the time t. The variation takes the particle m along with it.

Another variation will bring m back to its original path at a later coordinate time.

Since we never changed anything in the original spacetime geometry, the Einstein-Hilbert action integral S of the Ricci scalar R did not change at all.

But the mass m was at a higher gravity potential for some coordinate time: the value of the volume element sqrt(-det(g)) was larger for it, because the metric of time was closer to -1 at a larger r.

Therefore the action integral S of LM is smaller than it originally was.

If we temporarily move m to a smaller radius r, we can make the action integral S larger.

We conclude that the collapsing dust cloud has no stationary point in the Einstein-Hilbert action.

We still have to analyze if this proves that the Einstein equations cannot have a solution for a collapsing dust cloud. Probably it does.


The collapse in the Tolman (1934) comoving coordinates: a very rogue variation



The comoving coordinates used by Oppenheimer and Snyder in 1939 are from a 1934 paper by Richard C. Tolman.

The coordinates co-move which each particle of dust. The particles stay at a fixed space coordinates, but their spatial metric distance shrinks as the the coordinate time progresses.

The metric of time is a fixed -1.

The rogue variation of the preceding section refuted any attempt to find a stationary point for the Einstein-Hilbert action. But our analysis required that the metric of time is closer to -1 at a larger r. In the Tolman coordinates, the metric is a constant -1. Is it so that the analysis is not correct in the new coordinates?

In the Tolman coordinates, we can make the particle m to go backward in the coordinate time.


                ^
                |
                |     __
                |  /   /
                |/   /
                    /
                |
                |
                • m particle

    ^ t (coordinate)
    |
     -----> r
    

The path can zigzag like above. Then the contribution of the mass m makes LM smaller than originally, since the particle m is counted as three particles for some time. The action integral S is smaller.

The problem in the paper of Oppenheimer and Snyder seems to be the following: if a particle m can zigzag in the time coordinate, then the variation of LM against changes in the metric of time, g₀₀, becomes complicated.

A small change in the metric of g₀₀ can make three copies of the particle to appear, if we use the old coordinates in the calculation of the S integral of LM.

But Oppenheimer and Snyder assume that the variation of the S integral of LM can be calculated from the simple form of the stress-energy tensor T:

       ρ    0    0    0
       0    0    0    0
       0    0    0    0
       0    0    0    0.

That simple form cannot handle the appearance of several copies of m.

Our result probably means that there is no solution for the Einstein field equations of the dust cloud, even if we use the Tolman coordinates.


The problems stem from the missing kinetic energy when the metric is stretched


In a lagrangian and action of standard newtonian mechanics, rogue paths like above are not a problem because the kinetic energy of the particle increases if it tries to deviate from its calculated path.

In general relativity, one can make a particle to move by manipulating the metric.

We could maybe fix the problem in general relativity if we had canonical coordinates against which kinetic energy is measured. But the spirit of general relativity is that such canonical coordinates do not exist.

In our own Minkowski & newtonian gravity model, standard Minkowski coordinates are the canonical coordinates.


The big picture: an action integral S must be able to determine the kinetic energy, in order to work


The lagrangian density, and the action, of newtonian mechanics:

        kinetic energy  -  potential energy

works correctly. But general relativity has made it difficult, or impossible, to determine the kinetic energy. That is one of the reasons why the Einstein-Hilbert action cannot work for dynamic systems. The other reason is non-conservation of pressure.

The Oppenheimer-Snyder collapse might be the only known dynamic solution of the Einstein field equations in an asymptotic Minkowski space. Our analysis suggests that it is incorrect. In our blog we have speculated that the Einstein equations have no dynamic solutions at all. This result provides more evidence that the hypothesis is true.


The Vaidya metric



What about the Vaidya metric where a shell of light expands around a star?

A rogue variation of the metric can move the shell of light farther from the star without changing the overall spacetime geometry. A photon rises to a higher gravity potential, which makes the integral of LM smaller. The action integral S grows smaller. This suggests that the Vaidya metric is incorrect. We have to check it.

The photon moves "faster than light" in the rogue variation. Superluminal movement is not prohibited in general relativity. A change in the spatial metric can cause distances to grow faster than light.


Cosmological models


If a cosmological model contains variations in mass density, and these variations are not supported by a pressure, then a rogue metric variation will change the value of the Einstein-Hilbert action S.

Let us have an expanding universe whose mass density is uniform. The metric of time is the same at every location. A rogue metric variation then cannot change the value of the Einstein-Hilbert action S.


                     "annihilation"
                  / \
                /     \
             m₁     m₂
    ^ t
    |
     ------> x


What about very rogue variations? We can ban metric variations where an observer could see two particles m₁ and m₂ to "annihilate" each other, without emitting any energy. Then a particle cannot turn back in time. Neither can it turn back in the time coordinate of the expanding universe.

Above we wrote that one could maybe correct the Einstein-Hilbert action by introducing canonical coordinates, against which the kinetic energy of a particle is measured. In the case of a cosmological model, defining these canonical coordinates is challenging. There is no asymptotic Minkowski metric far away, into which we could fix the coordinates. Also, an expanding universe can expand "faster than light", in which case it is difficult to define canonical coordinates.


Conclusions


In this blog we have speculated that the Einstein field equations do not have a solution for any dynamic system.

A counterexample to that claim was the Oppenheimer-Snyder collapse (1939). Our analysis above suggests that their solution is erroneous. The reason is that in the Tolman coordinates, particles can move backward in the time coordinate. Then varying LM is complicated, but Oppenheimer and Snyder assumed that it is straightforward.

Our analysis about rogue variations suggest that the Einstein equations cannot have a solution for any dynamic system, with the exception of a totally uniform expanding FLRW universe. Such a universe is unrealistic.

We have to check very carefully how the Einstein equations handle a rogue variation. Above we assumed that they handle it correctly.

It has been an open problem if the Einstein equations have a solution for a planet orbiting a star. Our analysis answers this question: there is no solution.

The fundamental reason for the failure of the Einstein equations is that general relativity does not contain "canonical coordinates", or an "absolute spacetime", against which we could measure the kinetic energy. The problem does not appear in newtonian mechanics or in Minkowski space, because they are built on canonical coordinates.

Our own Minkowski & newtonian gravity model probably handles this without problems because we use Minkowski space.

Our observation provides further evidence for the claim that a spatially finite, expanding or contracting, universe is not a reasonable physical model. That is because defining canonical coordinates is problematic in it.

Tuesday, May 21, 2024

Lability of the Einstein-Hilbert action

We finally found the correct interpretatiom for the Einstein-Hilbert action, and realized that a variation of the metric δg always has to be in a finite volume of space. Then variations seem to work in the Einstein-Hilbert action.

https://en.wikipedia.org/wiki/Einstein%E2%80%93Hilbert_action








The "lagrangian" inside the action is strange: the "energy" of the Ricci scalar R is either negative potential energy, or kinetic energy, since the sign of R is the same as kinetic energy in LM. The signs go like this:

       ∫  (R  -  V)  *  sqrt(-det(g))  *  dx⁴,

where the Ricci scalar R is positive and the positive potential energy of the lagrangian LM is V. In most cases, V is predominantly the energy of the mass M in the system.

The lagrangian for a static system is not about the minimization of potential energy. Rather, it is like a lagrangian of a dynamical, moving system with both kinetic and potential energy. The task is to find a path which gets the "dynamics" right.

We have been interested in how the Einstein-Hilbert action reacts in case a "charge", like a mass M, or a pressure p, suddenly changes. We suspected that the action is not able to handle such a situation at all. There is no solution for the Einstein field equations then.


Cylinders with a shear


Now we can analyze our cylinder with a shear examples. If the Einstein-Hilbert action would treat a positive R as positive potential energy, then we could try to find the minimum energy state for the cylinder. There probably exists one.

But since a positive R is "kinetic" energy or "positive potential energy", such a procedure is not possible. The action may simply fail to have a stationary point at all.


Looking for a stationary point of the Einstein-Hilbert action S, starting from a wrong metric g


Let us have a spherically symmetric uniform mass M of a density ρ. The interior and exterior Schwarzschild solution is a "stationary" point of S. A variation δg of the metric does not change the value of S. Let the metric be g.

What happens if we suddenly and magically, increase the mass M and the mass density ρ:

       M'  >  M,   ρ'  >  ρ ?

We try to find a stationary point of S by applying finite variations δg to the metric g.

A finite variation can never transform g into the new solution of the Einstein equations, g'.

How does the optimization of g proceed? Toward a singularity?


                                    negative
                                    R
                                    |
                                    v r₀
            ------__              __-----
                       \_     _/
                           •••   positive R


Let us consider the following very simple model where we adjust the metric g --> g' at short radial distances to match the Schwarzschild metric of M'. But we cannot adjust the infinite space to M'. The metric far away is stuck to M < M'.

The transition between the two metrics is at r₀, where the Ricci scalar R is negative.

The variation δg. At 

       r  <  r₀,

we increase g₀₀ --> g₀₀' upward (≈ -1), and g₁₁ --> g₁₁' upward (≈ 1). The Ricci curvatures there are

       R₀₀  ≈  1/2 κ ρ,

       R₁₁  ≈  1/2 κ ρ.

The Wikipedia formula







says that the variation δg decreases the integral of R. The negative R around the transition radius r₀ wins over the positive R that we add inside the mass M'.








... (to be continued).


Manipulating the distance between two masses


              -->  
             ●                 ●
            m                m


Let us assume that g is the metric for two masses m, given by the Einstein field equations. Let us now change the coordinates in such a way that the geometry of spacetime stays as is, but the coordinate lines move a little bit and transport the masses closer to each other.

What happens to the action S? The R part stays as is, but the LM part changes. We found a small variation of the metric, such that it does not keep S constant?

How can the variation of the action S work at all if we always can find a variation which changes the value of S?

Is it so that the variation is always assumed to be a simple variation which only stretches locally some components of g, and does not contract them in the same variation?

Can we somehow ban "bad" variations? Or define the kinetic energy of a particle in such a way that a bad variation is not able to change the value of LM?


Defining the velocity of a particle in general relativity


Literature is silent about how we define the velocity of a particle P in general relativity. An obvious choice is to take the coordinate velocity of P and convert it with the metric g to a proper velocity.

Definition of the velocity of a particle. We have an observer sitting static at certain spatial coordinates x, y, z. The observer measures the proper velocity of the particle.


A "rogue" variation δg which changes the value of the Einstein-Hilbert action S


                        ^  move
                        | P (x, y, z)
                  •    •  
             •    •    •    • 
             •    •    •    •   particles
                  •    •                                  metric g


Let us have particles initially static in a uniform spherical constellation. Let the metric be g from the Einstein field equations.

Let P be a particle at the edge of the sphere, at coordinates (t, x, y, z).

Let us apply an infinitesimal metric variation δg which keeps the spacetime geometry as constant, but "moves" the coordinate location (x, y, z) away from the sphere. Then the mass of P goes to a higher gravity potential, that is, in the action integral S, the volume element sqrt(-det(g)) has a larger value when we integrate over the mass m of the particle P.

The action integral of the Ricci scalar R does not change at all, because the spacetime geometry does not change in any way. But the integral of LM becomes smaller, because the "potential energy" of m is now larger. The lagrangian LM is of the form:

       kinetic energy  -  potential energy.

Thus, the infinitesimal variation δg changes the value of the action integral S, even though we had a solution g of the Einstein equations, and S should not change.

A lagrangian of newtonian mechanics should prevent such a movement of a particle P by having the kinetic energy of P change in the movement.

Could we define "canonical coordinates", which are fixed to the spacetime metric. Then the rogue particle would have a positive kinetic energy relative to standard coordinates, which would restore the value of LM to its original value?

However, e.g., in an expanding universe, it is a hopeless task to define such canonical coordinates.

If the spherical constellation of particles above is held static with pressure, then the potential energy of the particle P does not change if it is moved infinitesimally. This is because the gravity force and the pressure force are in an equilibrium. This may explain why the Schwarzschild interior solution is reasonable.


Analyzing the pressure change in a spherical mass


Our November 5, 2023 counterexample to the Einstein equations involves a changing pressure inside a sphere which is not in a static equilibrium.


                                ^
                            <--|-->              metric g
                                v

             positive pressure p inside

        \_____________________________/

        ---->  negative pressure -P  <----
                 in surface


Let us start from a spherical vessel where a negative pressure in the surface compensates a positive pressure inside. We assume that the metric g is a solution of the Einstein field equations.

What happens if we suddenly (or slowly) remove the negative pressure -P from the surface of the vessel?

Is it possible to evolve the metric g in such a way that the change of R still balances a radically changed LM?

Our November 5, 2023 analysis suggested that the metric outside the vessel should be changed, in order to adapt the metric to the sudden lack of a negative pressure. But we cannot change the external metric with a variation which is in a finite spatial volume. At the edge of such a variation there will be an area which has the Ricci scalar R ≠ 0. That is not allowed because the edge is in empty space.

On the other hand, if we allow variations of the metric throughout space, then the Einstein-Hilbert action does not work at all, as we showed on May 10, 2024. Such variations would also break the speed of light, and lead to all the problems with superluminal communication.


Conclusions


Let us close this blog post.

We have to figure out if there is a way to ban "rogue" variations of the metric. The Einstein-Hilbert action S does change in a bad variation, even if the metric g would be a solution of the Einstein field equations.

If a system is static and in an equilibrium, then LM does not change if particles move an infinitesimal distance. In that case, also "rogue" variations are benign.

We have to analyze further, why the Einstein field equations do not have solutions for cylinders with a shear (if we calculated right in March 2024). We have to check the correctness of the 1939 paper by Oppenheimer and Snyder.

Friday, May 17, 2024

New lagrangian for gravity

UPDATE May 21, 2024: The Einstein-Hilbert action seems to work correctly if we define the matter lagrangian as "kinetic energy - potential energy" and require that a variation of the metric only alters a finite volume of space. We are investigating what happens in the case of a changing pressure in a spherical mass M.

----

Let us try to write a new lagrangian for gravity. We sketched the idea on May 14, 2024. The metric of time is directly from the newtonian potential.

We have to get a lot of energy into gravitational waves. To that end, we introduce a private field for each particle, such that the field is "attached" to the particle which "owns" it. The field acts in a different way on other particles than the one which owns the field.


                         |
                         |  particle
                 ------ ● ---------------  "steel wire"
                         |
                         |


The private field can be interpreted as a physical body which is attached to the particle – like steel wires attached to the particle. The wires interact with other particles, but they have a special particle which they are attached to.

In a rubber sheet model of gravity, the depression in the rubber sheet is not specifically assigned to any particle. It is a "public" field.

For a public field, the energy of a wave in it is controlled by the energy that a static field has around a mass M. We cannot arbitrarily increase the energy of a wave. But a gravitational wave contains 16 times the energy density of an analogous electromagnetic wave.

The wire model differs from a traditional field theory. In this blog we have been suggesting that gravity cannot be accurately modeled as a field, or a metric, because the interaction is too complicated.


Self-force of an electron: the rubber plate model


In this blog we have tried to find a model for the self-force of an electron when the electron is moved back and forth. The elecric field of the electron itself exerts a force on the electron.

We had the "rubber plate" model where we imagine that the electric field of the electron is a rubber disk attached to it. Electromagnetic waves are mechanical waves in the rubber disk.

See, for example, our post on December 20, 2020.

The "steel wire" model above is similar to the rubber plate model. We do not know if it is possible to write a traditional lagrangian for the rubber plate model.


Particles embedded into a block of rubber


If we fuse together the "rubber disk" of each particle, then we have a model where particles are embedded into a solid block of rubber.

But there is a problem with this model: particles moving at a constant speed must be allowed to move undisturbed. Only accelerating particles interact with the rubber, sending waves into it.

Is there any way to implement this with a public field?


Teleportation through the Huygens principle


If the particles are otherwise static, but oscillate back and forth, then the rubber block model of the preceding section works better.


             |       | 
        ---- • ---- • ----
             |       |
        ---- • ---- • ----
             |       |
 
       particles with
       interactions


Rather than rubber, we can imagine a matrix of particles coupled to their neighbors through a gravity-like interaction.

The Huygens principle says that each point in space acts as a "source" for a new wave. This is a simple way to explain how a complex interaction can be teleported from a mass M to another mass light-years away.

We want to teleport the stretching of the spatial metric.


Can we make a public field from the "inertial frame"? A strange rubber block


                            <--->
                  ● /\/\/\/\/\/\ ●
                 M                     M

             oscillating quadrupole


Let us look again at the oscillating quadrupole. The acceleration of the masses M interacts with what is considered the inertial frame for a test mass m.

This is in the spirit of general relativity. We must couple an acceleration of a mass to a field.

It is like particles moving in a strange compressible liquid. A particle P can move without friction at a constant velocity. We may imagine that there is a laminar flow of the liquid past the particle P.

But if P is accelerated relative to the liquid, then P interacts with the liquid. The liquid is compressed, and sound waves are sent through it.

Since gravitational waves are transverse, we cannot really use a liquid. The particles have to be immersed into a strange rubber substance which allows the particles to move at a constant velocity without friction. Only when a particle is accelerated, does it disturb the rubber.


The tense water hose model


             <----------  tension  ------------>  
            ------------------------------------------ tense hose
                          ^  acceleration
                          |                                  • P'
                          •  P            water
            ------------------------------------------

            <~~~  waves  ~~~>


Above we have a real-world example of a system where the acceleration of a particle disturbs the inertial frame far away. A particle is accelerated vertically inside a tense water hose. Waves propagate along the tense hose to both directions. A wave changes what is the "inertial frame" of a particle P' far away. The particle P' starts to oscillate up and down.

If P moves at a constant speed, then it does not disturb the hose.


Frame-dragging


                        m
                         •

                        ● ---> a
                        M


We have written in this blog about the problem of how general relativity treats accelerating masses. In the diagram, if we accelerate the large mass M, then it "drags the inertial frame" and the test mass m, too, starts to accelerate.

If we try to describe the process with a metric around M, it is not clear how the metric behaves if M is accelerated.


Quantum field theory approach: treat the fields in a gravitational wave differently from static fields


In quantum field theory, we imagine that a field of sine waves can be "excited" by interactions with particles. An excitation can, for example, be a photon. It is born and absorbed through an interaction with a charge, e.g., an electron.
 
The field of excitations, or sine waves, is separate from static fields, which are carried by virtual particles.

Can we in this model explain why the energy density of a gravitational wave is 16 times the density of the analogous electromagnetic wave?

If we make a mass to M oscillate, it creates 16 gravitons while the analogous charge Q only creates one photon?

The 16-fold energy must, in the end, be due to a coupling which is 16 times as strong as in the electromagnetic analogue. A gravitational wave does couple with a mass in many ways.

Can we write a lagrangian where the metric of time, g₀₀, imitates Coulomb's potential, but the energy of the wave is set 16X the energy of an analogous electromagnetic wave?

Also, the effects of a gravitational wave are diverse: they replicate many of the effects of the static gravity field of an oscillating mass M. The coupling of a test mass m to the wave is complicated.

Then we would have a lagrangian which is not very precisely defined, but would work at least in some cases.

The static gravity field of a mass M has to be written separately from the field of a gravitational wave. The energy density of a static field is like in the analogous Coulomb field.

The coupling of a static gravity field to a test mass m is complicated, too, like the coupling of a gravitational wave to a mass.


Can we decompose a field into a static field and a wave propagating at the speed of light?


Can we really differentiate between waves and static fields? Does the Fourier decomposition of a field uniquely differentiate between static fields and waves propagating at the speed of light?

We can certainly simulate waves propagating at a speed less than light by letting a chain of masses M fly at a large speed past the observer.

A wave whose wavelength is very large locally looks like a static field.

This is a general question about waves. If we have a tense drum skin, can we uniquely divide its disturbances into waves, and into static depressions caused by weights lying on the skin?

Let us keep hitting the drum skin with a sharp hammer at the same point, at a large frequency. We obtain a static depression in the skin. An individual hit does produce also sine waves which would carry energy away. But there is a total destructive interference of such waves if we hit the skin at an infinite frequency, i.e., have a weight lying on the skin.

Let us guess that one can separate static fields from sine waves.


Changes in the spatial metric and a lagrangian


A complete lagrangian should, in principle, describe all the effects of a gravity field. But how do we make the lagrangian to shrink a measuring rod if it is turned radially pointing to a large mass M? The Einstein-Hilbert action is supposed to do that feat by redefining the metric at the rod.

Another option is to use the newtonian gravity field to determine the spatial metric, and mention in the matter lagrangian LM that LM has to be calculated in that metric.

A traditional lagrangian describes the movements of particles. It does not describe how a measuring rod shrinks. The shrinking is due to the force fields behaving in a different way. Thus, a lagrangian which refers to the "metric of space", describes how force fields "move" or change.


ADM formalism


The ADM formalism is a hamiltonian approach to a system sitting in an asymptotically Minkowski space. We have to check if ADM contains the same errors as the Einstein-Hilbert action.

If ADM works, then the Einstein equations should have a solution for a cylinder with shear? They should find the lowest "energy" state. We have to check if the ADM formalism is correct.


The generalized stress-energy tensor


The stress-energy tensor in general relativity measures how a specific field, a perturbation of the flat metric, changes the value of a matter lagrangian LM.

Analogously, we can define a generalized stress-energy tensor, which measures how an arbitrary field K changes the value of a lagrangian LM. In this way we can include complex interactions of the field K with matter.

For example, K could be a wave in a drum skin, where a complex mechanical system of levers and springs is embedded into the skin. Or, K can be a gravitational wave, which meets masses and rigid bodies.


Making the energy of an electromagnetic wave 16-fold



The electromagnetic tensor in the (- + + +) metric signature is:









The lagrangian is usually written:







It has a more intuitive vector form:







Let us analyze it. We set the polarization P and the magnetization M to zero. The energy density of the electric field E is the same in a static electric field and in an electromagnetic wave. The interaction with matter is assumed to be extremely simple: the inner product of the four-potential A and the the four-current field J.

Now, let us separate the field belonging to waves from static fields. We obtain a lagrangian density:

       L  =  8 (ε₀ E²wave  -  1 / μ₀ *  B²wave)

               + 1/2 (ε₀ E²static  -  1 / μ₀ *  B²static)

               - φ ρfree 

               + A • Jfree.

The energy of an electromagnetic wave is 16X the normal energy. Could this work?


The lagrangian density for gravity


The lagrangian density would be completely analogous to the electromagnetic lagrangian with a 16-fold energy density of waves.


       L  =  8 (E²gwave  -  B²gwave)

               + 1/2 (E²gstatic  -  B²gstatic)

               + LM.

We have set the appropriate natural constants to 1.

      Eg 

is the gravitoelectric field and Bg is the gravitomagnetic field, completely analogous with the electric counterparts.

The matter lagrangian LM depends in a complex way on both the static gravity field and the field of a gravitational wave. The "metric" comes to play when we calculate the value of LM.

If all the energies in the lagrangian above are counted like an observer far away sees them, then the action integral of the lagrangian L above is the simple integral over the cartesian coordinate space and time.

Can we do like in the Einstein-Hilbert action, and use "local" values for energies, and integrate over the volume element which is "discounted" by the redshift:

       sqrt(-g₀₀) * dx⁴?

A problem in this is that the binding energy of a mass M is not calculated right if we discount with the full redshift.

For purely static fields with no pressure or shear, our lagrangian works like the lagrangian of newtonian gravity. It will produce reasonable results, while the Einstein-Hilbert action calculated everything wrong inside a mass M.


The reaction of the new gravity lagrangian to pressure or an oscillating mass M


How does our lagrangian react to a positive pressure? If we have a pressurized vessel, then our new lagrangian can free potential energy from the pressure by making the newtonian gravity field stronger, which, in turn, stretches the radial metric?

The stretched radial metric is an indirect consequence of a newtonian gravity field. Is it plausible that a positive pressure can create a newtonian gravity field on its own?

In a rubber sheet model of gravity, pressure stretches the rubber sheet, and makes the sheet to sag lower. Pressure does create a certain gravity field.

In general relativity, pressure is unable to stretch the radial metric.

Our new lagrangian optimizes the gravity field around a mass M in such a way that the potential of M is lowered and we pay the price of increasing the energy of the gravity field. Now, if there is a positive pressure around M, it is logical that the gravity field can become stronger. Thus, pressure does create gravity, and is able to stretch the radial metric.

An alternative model of gravity would claim that the gravity field of M is "inherent" to M, and nothing else can create such a field. That model does not allow a lagrangian, because in a lagrangian model, anything can be adjusted. The mass M cannot dictate what happens in the gravity field around it.

Is there a similar problem in electromagnetism? Let us have an oscillating charge Q. If the electric field of Q becomes weaker, then the system can save in the energy of the radiated waves. Could this weaken the apparent charge of Q?

In a rubber sheet model of gravity, a vigorous oscillation of a weight M raises M higher: it weakens the gravity field of M.


Conclusions


We now have a tentative lagrangian for gravity, such that:

1.   it gets right the newtonian gravity field around static or slowly moving masses, and

2.   it correctly predicts that the energy density of a gravitational wave is 16 times the analogous electromagnetic wave.


Our lagrangian is somewhat fuzzy. How exactly do we define the effect of a gravity field on the matter lagrangian LM?

The lagrangian is our first attempt as the lagrangian for the Minkowski & newtonian gravity model.