Background

In recent years, the topic of nonstandard Lagrangians (NSLs) has attracted attention due to its wide applications in different branches of applied mathematics and theoretical physics. In reality, NSL is not new and its origin dated back to 1978 when Arnold entitled them ‘nonnatural’[1]. The topic was completely ignored until 1984 when Alekseev and Arbuzov used NSL to describe large-distance interactions in the field of applicability of classical theory within the framework of Yang-Mills field theory, a problem which is directly related to color confinement issue[2]. In fact, in years of progress, it was realized that NSL plays an important role in nonlinear differential equations like the nonlinear second-order Riccati equation[3] and the Lienard-type nonlinear differential equation[4, 5]. Interest in NSL increases gradually with time, and more applications were discussed in dissipative dynamical systems[610], quantum field theory[11, 12], and cosmology[13, 14].

Although the topic of NSL was addressed generally in classical dynamical systems, its implications in differential geometry and astrophysics are still ignored, and to the best of our knowledge, the topic is completely missed. This paper aims to explore how NSL can help bridge the gap between NSL physics and applied differential geometry. Recently, we have discussed the problem of finding a nonstandard Lagrangian description for a large class of dynamical systems[1517]. A good number of NSLs which have been overlooked in the existing literature were derived and solved. For the sake of clarity, it should be emphasized that in our approach the term NSL refers principally to any ‘standard Lagrangian function that modify the Euler-Lagrange equations and accordingly Hamilton's equations of motion’. In fact, two different types of NSL were introduced: the exponential NSL and the power-law NSL. In this communication, we will deal with the power-law NSL (PNSL) with time-dependent coefficient, and we keep the second one for a future work. We will show that the presence of a time-dependent coefficient in PNSL is in fact connected to a time-dependent gravitational potential (TDGP). In reality, an assumption that in the universe there is a time-dependent gravitational potential was proposed in[18, 19] and discussed in[2023]. It is an interesting attempt as it explains the Hubble redshift and the anomalous acceleration from the spacecraft Pioneer 10 and 11 mainly when TDGP decreases linearly with time. A TDGP also has many astrophysical impacts as its change modify the planetary orbits which were proven to be not axially symmetric. Moreover, it was observed that if the gravitational potential is time-dependent, the distant galaxies' velocity is not extremely fast as it is currently considered. In fact, the change of the gravitational potential is most likely caused by the change of the dark energy density, but nothing is confirmed about it. One naturally expects a violation of the strong and weak equivalence principle of general relativity. This violation was discussed in many theoretical aspects[2441]. It is noteworthy that general relativity has been systematically tested on solar system scales. Therefore, it is unsurprising if we try to correct the theory at galactic and cosmological scales. One interesting recent anthropic argument suggests that the equivalence principle is violated at a small level[42]. This approach motivates the demand for enhanced tests of the equivalence principle. Some interesting points concerning the violation of the equivalence principle and violation of diffeomorphism invariance in connection with emergent gravity were discussed in[43, 44] and references therein.

The paper is organized as follows: in the section ‘PNSL and the modified geodesic equation’, PNSL with time-dependent coefficient is revised, and the corresponding modified geodesic equation is introduced. In the section ‘A cosmological application of G → G + H/ρa’, we discuss some main astrophysical and cosmological consequences. Finally in the last section, conclusions and perspectives are presented.

PNSL and the modified geodesic equation

The PNSL that will be considered in this paper is L 1 + γ t t , q ˙ t , q t (γ is a time-dependent parameter), and the corresponding action functional is S = a b L 1 + γ t t , q ˙ t , q t dt . Here t , q ˙ , q L t , q ˙ , q is assumed to be a C2 function,  q ∈ C1([a, b]; n) is the generalized coordinate, q ˙ = dq / dt , and L t , q ˙ , q C 2 a , b × n × n ; is the Lagrangian. It is easy to check that any admissible function qC1[a, b] subject to given boundary conditions q(a) = q a and q(b) = q b for which the action functional has an extremum satisfies the following Euler-Lagrange equations[17]:

L q - d dt L q ˙ = γ t L L q ˙ L t + q ˙ L q + q ¨ L q ˙ + 1 1 + γ t t dt L q ˙
(1)

We would like to apply this result to compute the geodesics for a given metric. The mathematical translation from classical mechanics to differential geometry is discussed in any graduate textbook (see[42] for details). We use the Einstein summation convention in which we sum over repeated indices which occur as a subscript and superscript pair. In order to obtain the modified geodesic equation, we use naturally the variational principle. In the language of differential geometry, the variational principle states that any freely falling test particles follow a certain path between two fixed points in curved spacetime which extremize the proper time. This is one of the basic postulates of Einstein's general relativity (EGR). In what follows, we set for convenience τ the proper time. Besides, we work in units  = c = 1 with a metric sign (-, +, +, +).

In EGR, the action is maximum for straight paths and the path length is S = ∫Ldτ where L = 1 / 2 g μν x ˙ μ x ˙ ν , where g μν is the covariant spacetime metric tensor. The jump from classical mechanics to differential geometry is therefore realized by making the change t , q ˙ , q τ , x ˙ μ , x μ where x ˙ μ = d x μ / . In this context, we can rewrite Equation 1 as

L x α - d L x ˙ α = γ τ L L x ˙ α L τ + x ˙ α L x α + x ¨ α L x ˙ α + 1 1 + γ τ τ L x ˙ α
(2)

After replacing L = 1 / 2 g μν x ˙ μ x ˙ ν into Equation 2, we find after simple algebra

x ¨ ν + Γ γδ ν x ˙ γ x ˙ δ standard part + 2 γ τ g μν x ˙ μ 1 2 g γδ , α x ˙ γ x ˙ δ x ˙ α + x ¨ α g γα x ˙ γ + 1 1 + γ τ τ x ˙ ν extra part = 0
(3)

Here Γ αβ ν are the Christoffel connection coefficients of the metric g αβ defined by[45]

Γ αβ ν = 1 2 g νγ g αγ , β + g γβ , α - g αβ , γ
(4)

where gαβ,γ = ∂g αβ /∂xγ and so on.

Remark 1 The well-known reparametrization invariance procedure is unable to bring the equations of motion (3) into the standard form even on-shell. Therefore, we expect new physics to be obtained from the present approach by choosing a different action for particles in relativity.

The calculation is straightforward: in fact, from L = 1 2 g μν x ˙ μ x ˙ ν , we get L / x ˙ α = g γα x ˙ γ and L / x α = g γδ , α x ˙ γ x ˙ δ / 2 . After replacing into Equation 2, we find

1 2 g γδ , α x ˙ γ x ˙ δ - d g γα x ˙ γ = 2 γ τ g μν x ˙ μ x ˙ ν g γα x ˙ γ × 1 2 g γδ , α x ˙ γ x ˙ δ x ˙ α + x ¨ α g γα x ˙ γ + 1 1 + γ τ τ g γα x ˙ γ
(5)

Using d g γα / = g γα , δ x ˙ δ , multiplying both sides of Equation 5 by gνα and using g να g γα x ˙ γ = x ˙ ν , we find

x ¨ ν - g να 1 2 g γδ , α - g γα , δ x ˙ γ x ˙ δ + 2 γ τ g μν x ˙ μ x ˙ ν x ˙ ν 1 2 g γδ , α x ˙ γ x ˙ δ x ˙ α + x ¨ α g γα x ˙ γ + 1 1 + γ τ τ x ˙ ν = 0
(6)

With the help of g γα , δ x ˙ γ x ˙ δ = g αδ , γ x ˙ γ x ˙ δ and Equation 4, we effortlessly find Equation 3 which may also be written in the following useful form:

d x μ d 2 x ν d τ 2 + Γ γδ ν d x γ d x δ standard part + 2 γ τ g μν 1 2 g γδ , α d x γ d x δ d x α + g γα d x γ d 2 x α d τ 2 + 1 1 + γ τ τ d x μ d x ν extra part = 0
(7)

It is obvious that for γ = 0, Equation 7 is reduced to the standard geodesic form. The importance of the last term in Equation 7 which concerns the variation of γ (τ) with time will be appreciated in the next subsection.

Remark 2 If we set γ(τ) ∝ τ- x, x > 0, then Equation 7 is reduced for a very large time to its standard form as lim τ γ τ 0 and lim τ x > 0 1 1 + γ τ τ = lim τ x > 0 - x 1 + τ x 1 τ 0 .

We consider the motion of a particle of mass m assumed to be slowly moving in a time-dependent stationary field. The limit of slow motion reduces the Christoffel symbol to:

Γ 00 ν = 1 2 g να g 0 α , 0 + g α 0 , 0 - g 00 , α = - 1 2 g νi g 00 , i + 1 2 g ν 0 g 00 , 0
(8)

We follow the standard formalism and perform the perturbation g αβ (xi, τ) = η αβ  + h αβ (xi, τ) (small deviation from a Minkowski flat spacetime) with gαβ(xi, τ) = ηαβ - hαβ(xi, τ) since g δβ gαβ = δα δ with |h αβ (xi, τ)|  <   <  1. The Minkowski metric η is constant, whereas h αβ (xi, τ) is time-dependent since the gravitational field is assumed to be nonstationary. To the first order, the Christoffel symbol takes the form

Γ 00 ν = - 1 2 η νi h 00 , i + 1 2 η ν 0 h ^ 00 , 0
(9)

In fact we assumed that h 00 x i , τ = h 00 x i + h ^ 00 τ , where h ^ 00 τ is expected to be the time-dependent gravitational potential correction to h00(xi). We accordingly find Γ 00 0 = 1 2 η 00 h ^ 00 , 0 and Γ 00 j = - 1 2 η ji h 00 , i . For ν = 0, since dxi/ = O(ϵ), we get

1 + 2 γ τ d 2 x 0 d τ 2 + - 1 2 + γ τ 1 h 00 - 1 h ^ 00 , 0 d x 0 d x 0 + 1 1 + γ τ τ d x 0 = 0
(10)

As in general |h00|  <   <  1, we can approximate Equation 10 by

d 2 x 0 d τ 2 - 1 2 h ^ 00 , 0 d x 0 - 1 1 + γ τ 1 + 2 γ τ τ d x 0 = 0
(11)

For ν = j and then i = j, we get with |h ii | < < 1

d 2 x i d τ 2 - 1 2 h 00 , i d x 0 d x 0 + 2 γ τ 1 2 h ^ 00 , 0 d x 0 d x 0 - d 2 x 0 d τ 2 + 1 1 + γ τ τ d x 0 = 0
(12)

Using Equation 11, we can rewrite Equation 12 as

d 2 x i d τ 2 - 1 2 h 00 , i d x 0 - 4 γ τ + 1 1 + γ τ 1 + 2 γ τ τ d x 0 = 0
(13)

Up to this stage, the situation seems complicated as we ignore the form of γ(τ) of which we are aware from the beginning that it may take a large number of forms. However, one particular class of solution may be extracted from Equation 11. If we set the factor inside the parenthesis equal to zero, then x ¨ 0 d 2 t / d τ 2 = 0 , i.e., x ˙ 0 dt / = k = constant. In that case, we have

1 1 + γ τ 1 + 2 γ τ τ = k 2 h ^ 00 , 0
(14)

and therefore, after simple integration, we get

h ^ 00 τ = 2 k log 2 γ τ + 1 γ τ + 1
(15)

where we assumed that when γ(τ) = 0, h ^ 00 = 0 . This solution seems interesting as in that case Equation 13 is simplified directly to

d 2 x i d τ 2 - 1 2 h 00 , i + 4 γ τ + 1 k 2 h ^ 00 , 0 = 0
(16)

This equation may be written in the following useful form

d 2 x i d τ 2 = 1 2 i h 00 - 4 γ τ + 1 k 2 d h ^ 00 1 2 i h 00 + Δ τ h 00
(17)

where

Δ τ h 00 = - 4 γ τ + 1 k 2 d h ^ 00
(18)

is the time-dependent gravitational potential correction to h 00 . It is noticeable that if h 00 is time-independent, then Equation 17 is reduced to its standard from. If now we expect that near the spherical body the gravitational potential in spherical symmetry is Φ(r) = - MG/r, then we get h00 = - 2Φ(r). As discussed in the introductory text of this work, the assumption that the time-dependent gravitational potential correction decreases linearly or almost linearly with time is very appealing due to what it may explain at both the astrophysical and cosmological levels. Motivated by this argument, we postulate that

γ τ = - e τ - 1 2 e τ - 1
(19)

which gives making use of Equation 16 h ^ 00 τ = - 2 τ / k which is a linearly decreasing time-dependent gravitational potential. In that case, Equation 17 is reduced to

d 2 x i d τ 2 - 1 2 h 00 , i + 2 e τ - 3 2 e τ - 1 2 k = 0
(20)

To find k, we follow the arguments of[15, 16]: for a light starting from a certain star with a frequency ν0(τ = 0), then its frequency at time τ is given according to the principle of general relativity by ν τ = ν τ = 0 1 + τ ( d h ^ 00 / . Now for R = τ, we get ν τ = ν τ = 0 1 + R ( d h ^ 00 / . If we compare this equation with the Hubble law ν(τ) = ν(τ = 0)(1 - RH)) where H ≈ 60–70 km/s/Mpc is the Hubble constant, then we find d h ^ 00 τ / = - 2 / k = - H , i.e., k = 2/H. In that case, we can now write Equation 20 as

d 2 x i d τ 2 + i Φ + 2 e τ - 3 2 e τ - 1 H = 0
(21)

This equation represents the modified Newton's law in the PNSL approach with a time-dependent coefficient. We can define the total gravitational potential by

Φ total x i , τ = Φ + 2 e τ - 3 2 e τ - 1 H x i
(22)

so that Equation 21 is reduced to

d 2 x i d τ 2 + i Φ total = 0
(23)

At a very large time, Φtotal(xi, ) = Φ + Hxi, whereas at the origin of time, we find Φtotal(xi, 0) = Φ - Hxi. In units where c ≠ 1, we find Φtotal(xi, ) = Φ + Hcxi and Φtotal(xi, 0) = Φ - Hcxi. During the cosmological evolution of the universe, the effective gravitational potential can change sign.

Remark 3 In Cartesian coordinates, i.e., xi = (x, y, z), we can write in units c ≠ 1

Φ total x i , τ = - MG x i + 2 e τ - 3 2 e τ - 1 Hc x i = - M G + G effective x i
(24)

where

G effective = - 2 e τ - 3 2 e τ - 1 cH x i x i M
(25)

If we model the universe as a ball of radius α and mass M ∝ ρa3, then xixi ∝ a2 because the distance to an object that is receding with the expansion of the universe is proportional to the cosmic scale factor α. In that case and mainly at a very large time, |Geffective| ∝ Hca2/ρa3 = Hc/ρa, i.e., ρ|Geffective| ∝ Hc/a. This equation is interesting as it shows that the effective gravitational constant varies with time since it depends on the evolution of the scale factor and the density of the universe. A cosmological implication of the effective gravitational constant is discussed in the next section.

Remark 4 In fact, the complete dynamical description, i.e., the presence of matter and energy curves of the ambient spacetime is obtained making use of Einstein's field equation (EFE) which is nothing else but the general relativity analog of the Poisson equation. In other words, EFE reduces to Newton's law of gravity by using both the weak-field and the slow-motion approximations, i.e., time derivatives are much smaller than spatial derivatives and, consequently, the gravitational coupling constant appears in the EFE which takes the form[45]: R αβ  - g αβ R/2 = 8πGT αβ where R αβ is the Riemann tensor, R is the Ricci tensor, T αβ is the stress energy tensor defined by T αβ  = (p + ρ)u α u β  + pg αβ for matter component, p and ρ are respectively the pressure of the perfect barotropic fluid, and μ α is the fluid rest frame four-velocity. In our approach, EFE is not modified and keeps its standard form.

From an astrophysical point of view, it is recognizable that the Schwarzschild spacetime metric is a solution of EFE that describes a gravitational field exterior to an isolated sphere assumed to be at rest. In fact, this special solution has played an important role in general relativity. It should be stressed at this stage that if we assume the usual Schwarzschild spacetime characterized in symmetric spherical coordinates by the metric d s static 2 = - e 2 m r d t 2 + e 2 n r d r 2 + r 2 d θ 2 + sin 2 θd ϕ 2 then the metric is time-independent, and from Equation 14, it follows that γ(τ) is constant. In such a case, the system results in the standard Schwarzschild solution. However, it was argued that a Schwarzschild spacetime with a time-dependent metric is suitable for the description of the interior black hole solution[46]. At the interior of a black hole Schwarzschild solution, nature changes its properties. A remarkable switch occurs between the external spatial radial and temporal coordinates[4750]. That is the main reason an interior solution is time-dependent and far from being stationary. A singularity occurs at a space like a hypersurface at the origin of time, and accordingly, observing the physical effects of this singularity is somewhat not viable. Therefore, one expects that solutions obtained at this stage will be practical if one would like to describe a particular spacetime characterized by the metric d s time dependent 2 = - e 2 m t d t 2 + e 2 n t d r 2 + t d θ 2 + sin 2 θd ϕ 2 2 [46] which is suitable for the description of the interior black hole solution. It is not the aim of the present work to discuss the physics inside a black hole, yet it is an interesting topic that deserves a future analysis.

A cosmological application of G → G + H/ρa

To illustrate, we discuss briefly for completeness the gravitational relaxation on the flat Friedmann-Robertson-Walker (FRW) metric given by ds2 = - 2 + a2(τ)[dr2 + r2(2 + sin 2θdφ2)] where α(τ) is the scale factor. Mainly, we will concentrate on the late-time dynamics. We stress that our aim is not to discuss the whole cosmological scenario but simply to present the basic consequences of G → G + H/ρa.

With the replacement G → G + H/ρa, the first of the Friedmann equation in the presence of a time-dependent cosmological constant Λ(τ) is[51]

H 2 = a ˙ 2 a 2 = 8 πGρ 3 + Λ τ 3 + 8 πH 3 a
(26)

where H = a ˙ / a is the Hubble parameter, and ρ is the energy density of the (perfect) cosmological fluid. The dot represents the derivative with respect to τ. We shall assume that the equation of state for the cosmological matter is p = γρ, where γ is a constant and p is the corresponding pressure. To leading order, the corrections to the Friedmann equation can be parameterized - H/a. In what follows, we conjecture that the cosmological constant varies as Λ = 8πH/a. There exist in the literature lots of phenomenological ansatzs for the variation of the cosmological constant with time ([52] and references therein). However, to the best of our knowledge, the ansatz introduced here is completely new. The usual conservation of the energy-momentum tensor T ; β αβ = 0 results in two useful relations: ρ ˙ + 3 H p + ρ = 0 and Λ ˙ + 8 π G ˙ ρ = 0 . The first equation gives ρ(a) = ρ0(a/a0)- 3(1 + γ) where ρ0 = ρ(a = a0), whereas the second equation may be written after performing the following replacement:

G ˙ - H ˙ ρa + H ρ ˙ ρ 2 a - H a ˙ ρ a 2 ,
(27)

as

2 H ˙ H - 2 a ˙ a - ρ ˙ ρ = 0
(28)

Equation 28 after simple integration gives H2 = Cρa2 where C is an integration constant. The cosmological constant varies subsequently as Λ = 8 πH / a ρ . Accordingly, Equation 26 takes the form

a ˙ 2 a 2 = 8 πGρ 3 + A ρ
(29)

where A = 16πC/3. This equation is interesting as it is similar to the Cardassian model proposed by Freese and Lewis to explain the current accelerated expansion of the universe[53]. The effective gravitational constant is then replaced by G → G + -1/2. Now with the help of ρ(a) = ρ0(a/a0)- 3(1 + γ), we can write Equation 29 as

a ˙ 2 = B a - 1 + 3 γ + A a 1 - 4 γ / 2
(30)

where B = 8πGρ0(1/a0)- 3(1 + γ). We set for convenience A = B = 1. This equation seems interesting as for γ = 0 (pressureless matter), the solution of a ˙ 2 = a - 1 + a 1 / 2 with the initial condition α(0) = 0 is a(τ) ∝ τ4/3 which corresponds to an accelerated universe without the need of the dark energy component. In general, one expects that the term A ρ is initially negligible, but it dominates the universe at redshift z ≈ O(1), as indicated by supernova observations[54, 55]. Once it dominates, the universe starts it accelerated expansion, and in that case, we can neglect the first term on the RHS of Equation 29 with respect to A ρ . Therefore, the scale factor evolves like a ˙ 2 a 1 - 4 γ / 2 . For γ = 0, we find a(t) ∝ τ4/3 as it is expected. Accordingly, the energy density decays like ρ ∝ a- 3 = τ- 4, whereas the cosmological constant and the effective gravitational constant vary respectively as Λ ∝ τ- 2 and Geffective ∝ τ2. In reality, a number of authors have argued in favor of the decaying law Λ ∝ τ- 2 ([52] and references therein). The time variation of the gravitational constant is not new and is well discussed largely in literature ([52] and references therein).

It is interesting to fall into the Cardassian model from nonstandard Lagrangians and mainly the PNSL with a time-dependent coefficient. This model has been confronted largely by cosmic observations, and for recent result, the authors are referred to[56].

Conclusions and perspectives

In this work, we have tried to prove that nonstandard Lagrangians are extremely important and deserve special attention. Starting from a power-law nonstandard Lagrangian characterized by a time-dependent coefficient, we have applied the basic machinery of the calculus of variations to differential geometry and in particular to general relativity. We have derived the modified geodesic equation and have proven that the presence of a time-dependent coefficient is directly connected to a time-dependent gravitational potential. As a TDGP is typical for the description of the interior black hole solution, we expect that our approach will have a large number of applications. We have proven as well that for the case of an expanding universe, the gravitational constant is replaced by G → G + H/ρa and that the resulting FRW cosmological model is similar to the Cardassian cosmology without referring to quantum corrections or brane approach. We anticipate that our formalism can be applied effectively to a wide range of astrophysical and cosmological problems. It is noteworthy that nonstandard Lagrangians introduced in this manuscript as well as by other authors are simply generating functions of different equations of motions. One naturally asks if they have any obvious meaning, and therefore it seems that they are more interesting for mathematicians than for physicists. In fact, this is an open problem which is still in its infancy and much work is required. Obtaining most dynamical equations through generating Lagrangian functions have been shown by mathematicians, who have also demonstrated that there is an infinite number of such functions. In this work, we have just found one of them out of an infinite set.

It would be interesting to consider in a future work more generalized forms of NSL, to discuss their implications in different approaches in cosmology and astrophysics, and to compare them with new approaches[5761]. Finally, it was observed that nonstandard Lagrangians result in the violation of the weak equivalence principle. It is notable at the end that in[62], it was argued that nonconservative gravitational field equations result in a cosmological model with a locally varying Einstein's lambda. A number of phenomenological theories do not hold this property; however, they are also motivating[63]. This problem should be addressed carefully as well in the future.