Abstract
This manuscript aims to establish the gravitational junction conditions for the \(f({\mathcal {G}},~T)\) gravity. In this gravitational theory, f is an arbitrary function of Gauss-Bonnet invariant \({\mathcal {G}}\) and the trace of the energy-momentum tensor \(T_{\mu \nu }\) i.e., T. We start by introducing this gravity theory in its usual geometrical representation and posteriorly obtain a dynamically equivalent scalar-tensor representation on which the arbitrary dependence on the generic function f in both \({\mathcal {G}}\) and T is exchanged by two scalar fields and scalar potential. We then derive the junction conditions for matching between two different space-times across a separation hyper-surface \(\Sigma \), assuming the matter sector to be described by an isotropic perfect fluid configuration. We take the general approach assuming the possibility of a thin-shell arising at \(\Sigma \) between the two space-times. However, our results establish that, for the distribution formalism to be well-defined, thin-shells are not allowed to emerge in the general version of this theory. We thus obtain instead a complete set of junction conditions for a smooth matching at \(\Sigma \) under the same conditions. The same results are then obtained in the scalar-tensor representation of the theory, thus emphasizing the equivalence between these two representations. Our results significantly constrain the possibility of developing models for alternative compact structures supported by thin-shells in \(f({\mathcal {G}},~T)\) gravity, e.g. gravastars and thin-shell wormholes, but provide a suitable framework for the search of models presenting a smooth matching at their surface, from which perfect fluid stars are possible examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The preparation of junction conditions (JCs) at surfaces of discontinuity is a core issue in both Newtonian and relativistic gravitational theories. There are two main types of these surfaces, shock waves, which are distinguished by a jump discontinuity in density, and surface layers, which have an infinite density. The Schwarzschild and Oppenheimer-Snyder problems [1] are well-known boundary surface problems in which the interior field of a static or collapsing star is linked to the exterior vacuum field. The JCs are frequently required to establish suitable solutions between two space-times regions at the hyper-surface \(\Sigma \). The study of discontinuous surfaces is an interesting concept in literature. Lanczos [2, 3] did work to propose JCs for singular hyper-surfaces in the background of GR. Lake [4] studied the Darmois and Lichnerowicz JCs, and also revisit the equivalence of these JCs discussed in Gaussian normal coordinates. They showed that this equivalence of JCs did not extend to admissible type coordinates in which the metric across the hyper-surface and its 1st-order derivatives represented the continuity at \(\Sigma \). Sen [5] picked up the interior and exterior as Minkowski, and Schwarzschild spacetimes, respectively, to continue his investigation for their JCs, and also discussed Buchdahl radius in the perspective of a thin-shell. Darmois [6] devised a formulation of JCs that are based on extrinsic and intrinsic curvature, these conditions are a smooth match of extrinsic and intrinsic regions at \(\Sigma \). Synge and O’Brien [7] discussed JCs and general hyper-surfaces formulated at discontinuities in GR. Furthermore, JCs for non-null hyper-surfaces were discovered by Israel in [8], hence they were known as Israel’s JCs which created a significant impact in the literature. The JCs for time-like case, null case, non-null case, space-like case, and generic hyper-surfaces were expressed in the form of the intrinsic as well as extrinsic curvatures of hyper-surfaces in [9].
Rosa and Picarra, [10] recently has demonstrated the stable behavior of relativistic spherically symmetric fluid with thin-shells and give some appropriate gravitational models. In the background of modified gravities, the relevance of JCs is obvious, because they are necessary for any explanation of matching between interior and exterior regions. Since different modified gravity theories will have their set of JCs, which will be determined from their equations of motion. For several modified gravity theories, the JCs are determined, some examples of such investigations are f(R) gravitational theory, infinite derivative gravity, f(R) gravity including torsion, Palatini f(R), metric affine modified gravity, Brane world models, and modified teleparallel theory of gravity etc [11,12,13,14]. The problem of JCs and Cauchy initial conditions is extremely intricate, but it is obvious that they depend on the kind of fluid sourcing the field equations for f(R) gravity, scalar-tensor theories of gravity, and metric-affine f(R)-gravity [15,16,17,18]. Reina et al. [19] constructed the JCs for the gravity theory with a Lagrangian that contains quadratic features in the curvature. The JCs have such a wide range of implementations because they can be utilized to extrapolate innovative solutions and thus introduce valuable insights into the underlying gravitational theory. Also investigation is done for irregularity factors for a spherically symmetric star in particular situations for both dissipative and non-dissipative domains.(see for further detail [20,21,22,23,24,25,26,27]).
Olmo and Garcia [28] found the JCs for Palatini f(R) gravitational theory by using a tensor distribution framework. Furthermore, they demonstrated the importance of these JCs by looking at the characteristics of astronomical surfaces in polytropic models and their significance in the physical realm. They utilized modified Chaplygin gas and found both stables as well as unstable regions, and also plotted their outcomes graphically. Roza [24] studied the double gravitational layer traversable wormholes solutions and also investigated the null energy condition in a quadratic-linear version of gravitational theory. Capozziello et al. [29] utilized the weak-field estimation to assess Jeans’ dynamical stability including the collapse of collisionless self-gravitating compact structures, also obtained interacting collisionless Poisson and Boltzmann equations of motion from modified f(R) cosmology. A general reviews on f(R) and f(G) gravities as well as the first f(R) gravity model unifying inflation with DE epoch compatible with Solar System tests and also negative and positive powers of the curvature was given in [30, 31].
The f(R) gravity framework is a significant modification of the Einstein-Hilbert action in which R is a Ricci scalar. This gravity has been widely utilized to investigate the expansion of the universe, specifically the universe’s early-time inflation and late-time growth [32,33,34,35]. Einstein’s GR does not take into consideration any conceivable consequences of a non-minimal interaction involving geometry with matter even though both are on equal footing. This is not the scenario, for instance, for the recently developed \(f(R,~L_{m})\) [36] and f(R, T) [37] theories of gravitation, where R is the Ricci curvature invariant, in former a function containing Ricci scalar R and matter lagrangian density \(L_{m}\). In latter, f is a function of Ricci scalar R and trace of the stress-energy tensor T. The f(R, T) gravitational theory is indeed a simple modification of the f(R) gravity which carried out by Harko et al. in 2011 [37]. The choice of the stress-energy tensor in the action of f(R, T) gravity may be affected by exotic imperfect fluids or quantum variables. Although matter and gravity are intertwined, which may consider the source factor of this gravity model. The stress-energy tensor is not conserved by this gravitational theories, consequently, continuity equation is no longer valid if one disregards the conservation of the stress-energy tensor. This extended type of gravitational theory has been applied to the investigation of thermodynamics, expansion of our mysterious cosmos, gravitational waves, cosmic packed systems, construction of thin shell wormholes and dynamical in/stability limitations with and without electromagnetic interactions [38,39,40,41,42,43,44]. Many researchers did their work under various relativistic geometries in the background of f(R, T) cosmology. Sahoo et al. [45] formulated a fresh composite structure of wormholes in the f(R, T) theory and also recommended that their purposed function fulfilled the criteria of wormhole geometry. Bhatti et al. also did work for some relativistic fluids in f(R, T) theory to examine the stable behavior [46][??] by utilizing the adiabatic index approach for both minimally and non minimally coupled function in the Newtonian and post Newtonian realms under some essential physical constraints. Rosa and his collaborators [47] found wormhole solutions in extended hybrid-metric Palatini-gravitation. They also demonstrated that the solutions’ main appeal is that the null energy conditions everywhere are enforced by the matter field, as well as at infinity, removing the necessity of exotic matter or dark matter. The wormhole geometry, the existence of traversable as well as non-traversable wormholes by selecting two distinct shape functions, several cases by changing model parameters and checking the behavior of wormhole geometry in the scenario of different gravities, have been investigated in [35, 48,49,50].
Rosa [51], recently constructed the JCs for the matching of two space-times at a \(\Sigma \), both in geometrical and dynamically equivalent scalar-tensor representations. He established two different sets of JCs in formerly mentioned representations, and also showed the viability by considering some significant examples. Rosa and Lemos [52] discovered the junction criteria for an other extended gravity, and they also formulated two sets of JCs at \(\Sigma \) for thin-shell and a smoothly match in both geometrical and dynamically equivalent scalar-tensor representations by taking three different configurations to demonstrate the viability of all these JCs. Barrabes and Hogan [53] offered a comprehensive framework for characterizing singular hyper-surfaces incorporating a Gauss-Bonnet term in Einstein’s GR. They expressed JCs in a manner that is appropriate for any embedding and matter content, as well as coordinates selected separately on either side of the hyper-surface.
The modified Gauss-Bonnet paradigm is a substantial refinement to Einstein-Hilbert action where Gauss-Bonnet invariant is a mathematical function of the format \({\mathcal {G}}=R^2-4R^{i j}R_{i j}+R^{ijpq}R_{i j p q}\). In this mathematical function R is Ricci scalar invariant which is the trace of \(R_{i j}\), as well as \(R_{i j}\) and \(R_{i j p q}\) denote Ricci, and the Riemann tensors, respectively. It is a second-order Lovelock scalar invariant, which means it is immune to spin-2 ghosts instabilities [54, 55]. The Gauss-Bonnet mathematical combination is a four-dimensional topological invariant which does not involve the field equations. When this combination is coupled with a scalar field or \(f({\mathcal {G}})\) a generic function is introduced to the Einstein-Hilbert action, it produces significant results in the same dimensions [56,57,58]. Thus \(f({\mathcal {G}})\) gravity was presented by Nojiri and Odintsov which is commonly known as Gauss-Bonnet theory and also an alternative for dark energy. They proposed this modified gravity in which an arbitrary Gauss-Bonnet component is introduced to Einstein’s action as gravitational dark energy. It is demonstrated that this hypothesis may pass solar system tests. It is shown that modified Gauss-Bonnet gravity can characterize the most intriguing features of late-time cosmology: the transition from deceleration to acceleration, crossing the phantom divide, and current acceleration with effective (cosmological constant, quintessence, or phantom) equation of the state of the universe [59,60,61,62]. Laurentis et al. derived the field equations for f(R, G) gravity and studied the generic features of the theory as well as cosmological inflation, where f contains the curvature scalar R and the Gauss-Bonnet invariant G [63]. The fundamental findings of this study show that this type of theory can exhaust the whole curvature budget connected to curvature invariants without taking derivatives of Ricci scalar, Ricci tensor and the Riemann tensor etc in the action. They also studied a double inflationary situation logically arises in this scenario. The scalar tensor gravitational theories have drawn more attention in recent past due to potential deviations from Einstein’s general relativity that may emerge in the context of a number of upcoming findings [64]. Probably, the most well-known scalar tensor gravitational theory is the Brans-Dicke gravitational theory, which seeks to implement Mach’s basic concept into general relativity by taking a variable gravitational constant into account [65, 66]. The scalar tensor gravitational theories are those in which a scalar field is connected non-minimally to curvature.
Modified gravity theories have been the center of attention for many researchers in the recent past, basically, because these types of theories seem to provide a viable explanation for the observed accelerating cosmic expansion. Thus, the researchers working in general relativity and relativistic astrophysics will certainly be interested in the topic of the manuscript, and others who are curious about the viability of these theories may find the results to be helpful in [67,68,69,70]. The \(f({\mathcal {G}},~T)\) gravity theory was presented by Sharif and Ikram in 2016, with f as the generic function of Gauss-Bonnet invariant \({\mathcal {G}}\) and the trace of the energy-momentum tensor T [71, 72]. This gravity is a viable option for studying dark energy and shows the agreement with solar system requirements, like previous modified gravity theories. In this gravity, it is conceivable to explain the shift from decelerated to accelerated expansion, as well as the convergence of both early and late accelerating universe expansion. This Gauss-Bonnet modification, i.e., \(f({\mathcal {G}},~T)\) gravity, together with the trace of stress-energy tensor T terms, can also describe late-time cosmological features such as crossing the phantom divide and current acceleration with the effective cosmological constant, effective quintessence, or effective phantom equation of the state of the universe. The energy conditions must be enforced on the stress-energy tensor in order to depict some realistic matter configuration and these criteria are derived from the Raychaudhuri equations [73,74,75]. The bouncing nature of our cosmos is investigated in the context of \(f({\mathcal {G}},~T)\) theory with the perfect fluid configuration. In the existence of correction factors for considered gravity, two distinct versions of the Hubble parameter are proposed. The state variable, deceleration factor, jerk, and snap equations are also examined, along with the corresponding dynamical parameters. Additionally, some cosmologically feasible \(f({\mathcal {G}},~T)\) gravity models have been developed using the Noether symmetry technique in [76,77,78,79]. The modified Gauss-Bonnet \(f({\mathcal {G}},~T)\) gravity has been employed to examine the possible development of compact stars. The physical characteristics of compact stars, including their energy density and pressure, energy constraints, static and dynamical stabilization, a measure of anisotropy, as well as regularity, have been studied along with the examination of their fundamental properties [80]. Bhatti et al. [81] studied electromagnetic effects on the complexity of non-static compact spherical structure in the background of modified Gauss-Bonnet gravity. They used Bel’s procedure to orthogonally break down the Riemann tensor and formulated the complexity factor by using one of the scalar functions. Thermodynamics, cosmology, gravitational waves, the complexity and compact object astrophysics has all been explored using the different gravity theory by using JCs and various techniques [82,83,84,85,86,87,88,89]. Capozziello et al. [90, 91] gave various novel perspectives on subjects such as quintessence and the fast expansion of our universe, contrasting them with observations and the role of dark matter.
The paper will be organized as follows: In the Sect. 2, we will present the general form of action integral and modified gravity theory in perfect fluid \(f({\mathcal {G}},~T)\) gravity. In the same section, we provide two representations of the \(f({\mathcal {G}},~T)\) theory that is dynamically equivalent by introducing two dynamical scalar fields as well as a scalar interaction potential. In the Sect. 3, we compute the JCs for matching without a thin-shell in the geometrical representation of the theory, and derive a set of JCs in the scenario of the same representation when \({\mathcal {S}}_{\mu \nu }\) disappears at \(\Sigma \) i.e., is a smooth matching of \({\textbf{M}}^{\pm }\) in the distribution formalism of this theory. In Sect. 3.3 the same results are obtained in the scalar-tensor representation of the theory, thus emphasizing the equivalence between these two representations. In the last Sect. 4, discussions and conclusions are briefly summed up.
2 \(f({\mathcal {G}},~T)\) gravitational theory and field equations
2.1 Geometrical representation
The action that describes the \(f({\mathcal {G}},~T)\) gravity can be obtained via a generalization of the Einstein-Hilbert action minimally coupled with an ordinary matter Lagrangian \({\mathcal {L}}_{\textrm{m}}\) as
where \(\Omega \) is a 4-dimensional space-time manifold on which a set of coordinates \(x^i\) is defined, \(S_{\textrm{m}}=\int _{\Omega }{\mathcal {L}}_{\textrm{m}}\sqrt{-g} d^{4}x\) is the matter action written in terms of a matter Lagrangian density \({\mathcal {L}}_{\textrm{m}}\), g is the determinant of the metric \(g_{ij}\) written in terms of \(x^i\) and with a signature \(\left( +,-,-,-\right) \), \(\kappa ^2=8\pi G/c^4\) where G is the gravitational constant and c is the speed of light, and \(f\left( {\mathcal {G}},T\right) \) is an arbitrary function of the Gauss-Bonnet invariant \({\mathcal {G}}=R^2-4R_{ij}R^{ij}+R_{ijpq}R^{ijpq}\), in this mathematical function \(R=R^i_i\) is the Ricci scalar which is the trace of \(R_{i j}\), as well as \(R_{i j}\) and \(R_{i j p q}\) denote Ricci, and the Riemann tensors, respectively. And the trace T of the stress-energy tensor \(T_{ij}\), the latter is defined as a modification of the matter Lagrangian w.r.t. the \(g_{ij}\) as
Under the assumption that \(T_{ij}\) depends solely on components of the metric \(g_{ij}\) but not on its derivatives. The MFEs of \(f({\mathcal {G}},~T)\) gravity may be derived by varying Eq.(1) w.r.t. \(g_{ij}\), from which one obtains
here we introduced the notation \(f_{\mathcal {G}}\equiv \partial f/\partial {\mathcal {G}}\) and \(f_T=\partial f/\partial T\) for the partial derivatives of the function \(f\left( {\mathcal {G}},T\right) \), \(\nabla ^2\equiv g^{ij}\nabla _i\nabla _j\) for the d’Alembert operator, where \(\nabla _i\) are the 4-dimensional covariant derivatives expressed in the form of \(g_{ij}\), the tensor \({\mathcal {G}}_{ij}\) is defined as
and we have defined the auxiliary tensor \(\mathbf {\Theta }_{ i j}\) in the form of variation of \(T_{ij}\) w.r.t. \(g_{ij}\) as
We will consider that the matter sector can be well characterized by a relativistic perfect fluid, i.e. \(T_{ij}\) may be expressed as
where \(\rho \) and P are the energy density and the isotropic surface pressure, respectively, and \(u^i\) is the fluid 4-velocity vector. The normalization property is satisfied by the vector \(u^i\) as \(g_{ij}u^iu^j=1\), from which one obtains a matter Lagrangian density of the form \({\mathcal {L}}_{\textrm{m}}=-P\). Consequently, Eq.(5) yields
Introducing Eq.(7) in Eq.(3), one obtains the MFEs for the isotropic perfect-fluid configuration as
The differential terms on \(f_{\mathcal {G}}\) may be expanded in the form of derivatives of \({\mathcal {G}}\) as well as T with the use of the chain rule, as follows
The fully extended field equations can now be conceived by plugging the expansions of Eqs.(9) and (10) into Eq.(8). However, we chose not to write the result explicitly because of its extensive nature.
2.2 Dynamically equivalent scalar-tensor representation
In the framework of modified gravities featuring extra scalar degrees of freedom in comparison to GR, it is frequently effective to recast the geometrical representation of Eq.(1) into a dynamically equivalent scalar-tensor representation in which the additional scalar degrees of freedom are exchanged by scalar fields. In the scenario of \(f\left( {\mathcal {G}}, T\right) \) gravity, the theory has two additional scalar degrees of freedom, representing the function f which shows two arbitrary dependencies in the quantities \({\mathcal {G}}\) and T, and thus the scalar-tensor representation of this gravity can be conceived via the introduction of two scalar fields, say \(\Phi \) and \(\Psi \), as well as an interaction potential \({\mathbb {V}}\left( \Phi ,\Psi \right) \). Let us start this transformation by introducing two auxiliary fields \(\alpha \) and \(\beta \) into Eq.(1) which yield
The action in expression Eq.(11) is explicitly reliant on three independent physical quantities: \(g_{ij}\) as well as \(\alpha \) and \(\beta \). Consequently, the equations of motion for the auxiliary fields may be found by varying Eq.(11) w.r.t. these fields, respectively, which yields
where the function \(f\left( \alpha ,\beta \right) \) is assumed to satisfy the Schwartz theorem, i.e., its crossed partial derivatives are commutative. Equations (12) and (13) can be recast into a matrix form \({\mathcal {A}} {\textbf {x}}=0\) as
The solution of the matrix system in Eq.(14) will be unique if and only if \({\mathcal {A}}\) has non-zero determinant, i.e., if the following condition is satisfied:
If above mentioned Eq.(15) is fulfilled, then the unique solution of established Eq.(14) is \(\alpha ={\mathcal {G}}\) and \(\beta =T\). When this solution is reintroduced into Eq.(11), then Eq.(1) is recovered, confirming the equivalence of the two representations of the theory. Now scalar fields \(\Phi \) and \(\Psi \), as well as the interaction potential \({\mathbb {V}}\left( \Phi ,\Psi \right) \), may now be defined as follows
which upon replacement into the action in Eq.(11) yields the modified Einstein Hilbert action of considered representation of the \(f\left( {\mathcal {G}},T\right) \) gravity in the form
Since then, Eq.(18) is now explicitly reliant on three independent quantities: the metric \(g_{ij}\), as well as \(\Phi \) and \(\Psi \). By varying Eq.(18) w.r.t. the metric \(g_{ij}\), one may get the MFEs in the scalar-tensor representation, whereas the equations of motion for the scalar fields are conceived via the variation w.r.t. \(\Phi \) and \(\Psi \). These equations take the forms
respectively, where we have introduced the notation \({\mathbb {V}}_{\Phi }\equiv \frac{\partial {\mathbb {V}}}{\partial \Phi }\) and \({\mathbb {V}}_{\Psi }\equiv \frac{\partial {\mathbb {V}}}{\partial \Psi }\) for the partial derivatives of interaction potential. It should be noted that Eq.(19) may be produced directly from Eq.(3) by introducing the definitions in expressions Eqs.(16) and (17) and the use of the following geometrical identity valid only in four dimensions
Following the same procedure as for the geometrical representation, i.e., assuming that the matter sector is characterized by an isotropic perfect fluid, which implies that the stress-energy tensor is Eq.(6), which implies that the matter Lagrangian is \({\mathcal {L}}_{\textrm{m}}=-P\) as well as the auxiliary tensor \(\mathbf {\Theta }_{i j}\) is given in the form of Eq.(7), Eq.(19) can be recast in a more convenient manner
3 Junction conditions of the \(f({\mathcal {G}},~T)\) gravity
3.1 Notation and assumptions
Take the space-time to be given by a manifold \(({\textbf{M}}, g_{i j})\) which can be divided into two distinct regions, a region \({\textbf{M}}^{+}\) described by a metric \(g_{ij}^+\) written in terms of a coordinate system \(x^i_+\), and a region \({\textbf{M}}^{-}\) described by a metric \(g_{ij}^-\) written in terms of a coordinate system \(x^i_-\). These two regions are separated by a hyper-surface \(\Sigma \), on both sides of which we specify a coordinate system \(y^\mu \), the direction perpendicular to \(\Sigma \) is excluded from Greek indices. The projection vectors from the four-dimensional manifold \({\textbf{M}}\) to the three-dimensional hyper-surface \(\Sigma \) may then be expressed as follows: \(e^i_\mu =\partial x^i/\partial y^\mu \), and we define the normal unit vector orthogonal to the hyper-surface and pointing from the region \({\textbf{M}}^-\) to the region \({\textbf{M}}^+\) as \(n^i\), which implies that the result \(e^i_\mu n_i=0\) holds. Schematic construction of our considered scenario can be found in Fig. 1. The displacement from \(\Sigma \) along the geodesic congruence generated by the normal vector \(n^i\) is parameterized by an affine parameter l, i.e., one can write
where \(\varepsilon \equiv n^in_i\) can be either 1 or \(-1\) depending on the normal vector being spacelike or timelike, respectively. Furthermore, we chose the affine parameter l in such a way to guarantee that \(l>0\) in the region \({\textbf{M}}^+\), \(l<0\) in the region \({\textbf{M}}^-\), and \(l=0\) at the hyper-surface \(\Sigma \).
A suitable mathematical approach to deal with these situations where the space-time can be divided into different regions is the distribution formalism. In this formalism, any regular quantity Y defined in the entire space-time manifold \({\textbf{M}}\) may be expressed in terms of the Heaviside distribution function \(\mathbf {\Theta }(l)\) i.e.,
where \(Y^\pm \) denote the forms of the quantity Y in the regions \({\textbf{M}}^\pm \), respectively. The Heaviside function is thus defined as 0 in the region \(l<0\), as 1 in the region \(l>0\), and as \(\frac{1}{2}\) at the point \(l=0\), which corresponds to \(\Sigma \). We noted in this formulism the derivative of the Heaviside function and the following properties:
where \(\delta \left( l\right) \) is the Dirac-delta distribution function [92]. We also noted that the product \(\mathbf {\Theta }(l)\delta \left( l\right) \) is not defined as a distribution. Furthermore, the jump of the quantity Y across the hyper-surface \(\Sigma \) as well as the value of the quantity Y at the hyper-surface \(\Sigma \) are defined as
If a quantity Y is continuous, then its jump satisfies \(\left[ Y\right] =0\) and one obtains \(Y^{+}|_{\Sigma }=Y^{-}|_{\Sigma }=Y^\Sigma \). Thus, by construction, the normal vector \(n^i\) and the projection vectors \(e^i_\mu \) satisfy the property \(\left[ n^{i}\right] =\left[ e_{\mu }^{i}\right] =0\).
3.2 Junction conditions in the geometrical representation
We now have introduced all the necessary tools for the analysis that follows. Let us now focus on the general scenario for which a thin-shell is allowed to emerge at the separation hyper-surface \(\Sigma \) and use the distribution formalism described above to deduce the corresponding JCs of the theory. For the line element to be fully specified on the entire space-time manifold \({\textbf{M}}\) and, in particular, on both sides of the hyper-surface \(\Sigma \), in the distribution formalism, we express \(g_{ij}\) as
The partial derivatives of \(g_{i j}\) are as follows:
In the derivatives of the metric, there appears to be a component proportional to \(\delta (l)\), which is problematic. Indeed, when one tries to establish the Christoffel symbols \(\Gamma ^p_{ij}\) related to the metric \(g_{ij}\), these terms result in the occurrence of products of the type \(\mathbf {\Theta }(l)\delta (l)\) in \(\Gamma ^p _{ij}\), which will result in terms proportional to \(\delta \left( l\right) \) at \(\Sigma \) since \(\mathbf {\Theta }(0)=\frac{1}{2}\). These terms are problematic when one defines the Riemann tensor \(R^i_{\ jpq}\), as it depends on products of Christoffel symbols and thus it depends on terms of the type \(\delta ^2(l)\), that is singular in considered distribution formalism. To avoid the existence of these highly problematic products, the continuity of the metric \(g_{ij}\) must be imposed i.e.,
This expression applicable to the coordinate system \(x^{i}\) only. Furthermore, we can simply convert this into a coordinate invariant statement: \(0=[g_{i j}] e_{\mu }^{i} e_{\nu }^{j}=[g_{i j} e_{\mu }^{i} e_{\nu }^{j}];\) this last step comes as a result of the property \(\left[ n^{i}\right] =\left[ e_{\mu }^{i}\right] =0\). The metric intrinsic to the hyper-surface \(\Sigma \) is produced by confining the line element to displacements restricted to the hyper-surface. Consequently the parametric equations \(x^{i}=x^{i}\left( y^{\mu }\right) \), we have the vectors \(e^i_\mu =\frac{\partial x^i}{\partial y^\mu }\) are tangent to curves contained in \(\Sigma \). Now, for displacements within separation hyper-surface \(\Sigma \) we have
where \({\textbf{h}}_{\mu \nu }=g_{i j} e_{\mu }^{i} e_{\nu }^{j}\) is 1st fundamental form, of the hyper-surface \(\Sigma \). We will refer to such objects as three-tensors. The argument above can be extended to the induced metric \({\textbf{h}}_{\mu \nu }=g_{ij}e^i_\mu e^j_\nu \) at the hyper-surface \(\Sigma \). The induced metric from the exterior can be written as \({\textbf{h}}_{\mu \nu }^{+}=g_{i j}^{+} e_{\mu }^{i} e_{\nu }^{j}\), whereas the induced metric from the interior is \({\textbf{h}}_{\mu \nu }^{-}=g_{i j}^{-} e_{\mu }^{i} e_{\nu }^{j}\). Since we have established that \(\left[ g_{i j}\right] =0\), this implies that \({\textbf{h}}_{\mu \nu }^{+}-{\textbf{h}}_{\mu \nu }^{-}=0\) and we obtain the 1st JC of the theory in the form
The JC obtained in Eq.(30) corresponds also to the 1st JC of GR, and it is true for a wide range of metric theories of gravity, including the \(f({\mathcal {G}},T)\) we study in this work. Following Eq.(29), the partial derivatives of \(g_{ij}\) take the regular form
and the Christoffel symbols are well-defined in the distribution formalism. One can now proceed to construct the remaining geometrical quantities in the distribution formalism, namely the Riemann tensor \(R_{\ p i j}^{q}=\partial _i \Gamma _{p j}^{q}-\partial _j \Gamma _{p i}^{q}+\Gamma _{r i}^{q} \Gamma _{p i}^{r}-\Gamma _{r j}^{q} \Gamma _{p i}^{r}\), the Ricci tensor \(R_{ij}=R^p_{\ ipj}\), and the Ricci scalar \(R=R^i_i\). These quantities take the forms
where the quantities \({\bar{R}}_{i j p q}\), \({\bar{R}}_{i j}\) and \({\bar{R}}\) are given by
here \({\mathcal {K}}_{\mu \nu }=e^i_\mu e^j_\nu \nabla _i n_j\) indicates the extrinsic curvature of \(\Sigma \), also known as the second fundamental form, and \({\mathcal {K}}={\mathcal {K}}_\mu ^\mu \) is its trace. From the expressions above it is clear that the singular parts of the Riemann and the Ricci tensors will disappear if and only if the \(\left[ {\mathcal {K}}_{\mu \nu }\right] =0\), i.e., the jump of the extrinsic curvature disappears, and the singular portion of the Ricci scalar will vanish if and only if the jump of the trace of the extrinsic curvature disappears, i.e., \(\left[ {\mathcal {K}}\right] =0\).
To proceed with our analysis, we also need to find the explicit form of the Gauss-Bonnet invariant \({\mathcal {G}}=R^2-4R^{i j}R_{i j}+R^{ijpq}R_{i j p q}\) in the distribution formalism. Using the results obtained in Eqs. (32) to (34) into the expression for \({\mathcal {G}}\), one expects the Gauss-Bonnet invariant to take a form of the type:
because the terms corresponding to \(\delta \left( l\right) \) are present in \(R_{ijpq}\), \(R_{ij}\) and R. However, this calculation shows that the term proportional to \(\delta \left( l\right) \), i.e.,
vanishes identically. Using this fact one can thus write the Gauss-Bonnet invariant in the distribution formalism as
here \(\bar{{\mathcal {G}}}\) can be expressed in the form of the geometrical quantities given previously as
Although the term \(\bar{{\mathcal {G}}}\) is not problematic by itself, one must note that we are working in the \(f\left( {\mathcal {G}},~T\right) \) gravitational theory. This shows arbitrary dependence of the function f in \({\mathcal {G}}\), one can expect that this function admits a Taylor series expansion in \({\mathcal {G}}\), which will feature power-laws of \({\mathcal {G}}\), thus giving rise to singular terms of the form \(\delta ^2\left( l\right) \). To prevent the occurrence of these terms, one must impose \(\bar{{\mathcal {G}}}=0\). According to Eqs.(35) to (37), one verifies that for \(\bar{{\mathcal {G}}}\) to vanish it is necessary to impose that \(\left[ {\mathcal {K}}_{\mu \nu }\right] =0\). One thus obtains the second JC in the form
This is a highly restrictive JC that is not present in GR or any of the other previously extensions of GR except for the particular case of smoothly match, i.e., matching without thin-shells, and it is linked to an arbitrary dependence of the action in \({\mathcal {G}}\). This condition implies that all the quantities \({\bar{R}}_{ijpq}\), \({\bar{R}}_{ij}\) and \({\bar{R}}\) vanish, consequently all the terms proportional to \(\delta \left( l\right) \) in Eqs.(32) to (34) vanish, and these geometrical quantities become regular at \(\Sigma \). We thus obtain the regular forms
Now consider the differential terms in the MFEs, see Eq.(8). Following the chain rule in Eq.(10), one verifies that these 2nd-order differential terms in \(f_{\mathcal {G}}\) can be expressed in the form of 1st and 2nd-order differential terms of \({\mathcal {G}}\), and thus we must compute these derivatives in the considered formalism. Applying the 1st-order derivative of Eq.(45) one gets the form:
According to Eq.(10), the 2nd-order differential terms in \(f_{\mathcal {G}}\) contain products of the form \(\partial _i{\mathcal {G}}\partial _j{\mathcal {G}}\) which, according to the result just derived for \(\partial _i{\mathcal {G}}\), will feature singular products of the form \(\delta ^2(l)\). To prevent the occurrence of these terms, one verifies that the Gauss-Bonnet invariant must be continuous across \(\Sigma \), i.e., we can write the 3rd JC of the theory as
This JC is also absent in GR and is linked to an arbitrary dependency of the action in the Gauss-Bonnet invariant \({\mathcal {G}}\), and thus it is expected to arise also in other similar theories like e.g. the simpler \(f\left( {\mathcal {G}}\right) \) theory. Under this condition, the partial derivatives of \({\mathcal {G}}\) simplify to
One can now take the 2nd-order covariant derivatives of the Gauss-Bonnet invariant \({\mathcal {G}}\), i.e., which now take the form
Let us investigate the matter section of the MFEs. In the previous calculations, we have shown the 2nd-order covariant derivatives of \({\mathcal {G}}\) in expression Eq.(49), feature terms proportional to \(\delta \left( l\right) \) which linked to the occurrence of a perfect fluid thin-shell at \(\Sigma \). In this representation \({\mathcal {S}}_{ij}\) denoting the stress-energy tensor of the thin-shell, one can write the stress-energy tensor \(T_{ij}\) in the distribution formalism as
The quantity \({\mathcal {S}}_{ij}\) is a four-dimensional tensor representing the thin-shell. This quantity can be expressed as a three-dimensional \({\mathcal {S}}_{\mu \nu }\) tensor at \(\Sigma \) via the projection
The trace T can thus be expressed in the distribution formalism as:
here \({\mathcal {S}}={\mathcal {S}}^i_i\) is the trace of the stress-energy tensor of the thin-shell. Now, since the function \(f\left( {\mathcal {G}}, T\right) \) features an arbitrary dependence on the quantity T, one can expect in general that this function admits a Taylor series expansion in T, which will feature power-laws of this quantity. These power-laws will then feature the usual singular terms of the form \(\delta ^2(l)\) that must be removed to preserve the definiteness of the function. Thus, one concludes that the trace \({\mathcal {S}}\) must vanish, i.e., the 4th JC takes the form
This JC is related to the arbitrary reliance of the action in T and it is also featured in other well-know theories e.g. \(f\left( T\right) \) gravity and both the metric and the Palatini formulation of \(f\left( R,T\right) \) gravity. Following this condition, the trace T simplifies to
Turning now to the differential terms in the MFEs, and similarly to what happens to the differential terms in \({\mathcal {G}}\), the 2nd-order covariant derivatives of \(f_{\mathcal {G}}\) can be rewritten in terms of 1st and 2nd order derivatives of T via the chain rule in Eq.(10). Applying the 1st-derivatives of T one obtains \(\partial _{i} T=\partial _{i} T^{+} \mathbf {\Theta }(l)+\partial _{i} T^{-} \mathbf {\Theta }(-l)+\varepsilon [T] n_{i} \delta (l)\). In Eq.(10) one verifies that products of the form \(\partial _i T\partial _j T\) are present in the 2nd-order differential terms of \(f_{{\mathcal {G}}}\), which give rise to singular products of the form \(\delta ^2(l)\). This products can be avoided by imposing the continuity of the trace T, i.e., the 5th JC takes the form
This JC is also associated with the arbitrary dependence of the action in T and it is also present e.g. in both formulations of \(f\left( R,T\right) \) gravity (i.e., metric and Palatini). Under this condition, the 1st derivatives of T simplify to
Consequently, applying the 2nd-order covariant derivatives of T one obtains the form
Now we have constructed all the necessary quantities in distribution formalism to obtain the singular part of the field equations and derive an explicit expression for the stress-energy tensor of the thin-shell in terms of the geometrical quantities. To do so, we introduce Eqs.(28), (42), (43), (44), (45), (48), (49), (50), (53), (55), and (56), into the MFEs in Eq.(8), we project the result onto \(\Sigma \) by utilizing the projection vectors \(e^i_\mu \), and discard all non-singular terms. The result is as follows
We can now use the trace of Eq.(57) and the fact that \({\mathcal {S}}=0\) to recast the 4th JC in a more convenient form as
Consequently, the right-hand side of Eq.(57) disappears identically, which implies that \({\mathcal {S}}_{\mu \nu }=0\). This result indicates that under this formalism, thin-shells can not exist in the \(f\left( {\mathcal {G}},T\right) \) gravitational theory. This is a very restrictive result that forces all the junctions between two different space-times at a given hyper-surface \(\Sigma \) to be smooth in this theory. The whole set of JCs for the geometrical representation of the \(f\left( {\mathcal {G}},T\right) \) theory may thus be written as
The set of JCs is thus composed of five equations.
3.3 Junction conditions in the scalar-tensor representation
Now we will study the scalar-tensor representation of the \(f({\mathcal {G}},~T)\) gravitational theory, which was derived in the previous section. The method followed in this representation to obtain the 1st JC is identical to that used in the geometric representation, i.e., in the distribution formalism, we 1st write the metric \(g_{ij}\) as
Again, the appearance of a term proportional to \(\delta (l)\) in the derivatives of the metric is problematic. The Christoffel symbols \(\Gamma ^p_{ij}\) linked to \(g_{ij}\) will feature of products of the type \(\mathbf {\Theta }(l)\delta (l)\), which will result in terms proportional to \(\delta \left( l\right) \) at \(\Sigma \) since \(\mathbf {\Theta }(0)=\frac{1}{2}\). When one defines the Riemann tensor \(R^i_{\ jpq}\), this tensor will depend on products of the form \(\delta ^2(l)\), as it depends on products of Christoffel symbols. These products are singular in the distribution formalism, and must also be avoided by enforcing the continuity of g ij, i.e., \(\left[ g_{i j}\right] =0\). Additionally, because \(g_{i j}\) induces a metric on \(\Sigma \) defined as \({\textbf{h}}_{\mu \nu }=e_{\mu }^{i} e_{\nu }^{j} g_{i j}\), for the induced metric \({\textbf{h}}_{\mu \nu }\), the same result must hold, i.e., the 1st JC takes the form
This is the same result as previously obtained in Eq.(30) and does not depend on the representation of the theory used as a framework. The partial derivatives of \(g_{i j}\) thus get the form \(\partial _{w} g_{i j}=\partial _{w} g_{i j}^{+} \mathbf {\Theta }(l)+\partial _{w} g_{i j}^{-} \mathbf {\Theta }(-l)\), and consequently the Christoffel symbols for the metric \(g_{i j}\) become well-defined in the distribution formalism. This allows for other three physical quantities: the Riemann tensor \(R_{i j p q}\), Ricci tensor \(R_{i j}\) and the Ricci scalar R to be computed as well in the distribution formalism, which is given by the same forms as in the geometrical representation, i.e.,
where the quantities \({\bar{R}}_{ijpq}\), \({\bar{R}}_{ij}\) and \({\bar{R}}\) are given by
with \({\mathcal {K}}_{\mu \nu }=e_\mu ^i e_\nu ^j\nabla _{i} n_{j}\) representing the extrinsic curvature of the hyper-surface, and \({\mathcal {K}}={\mathcal {K}}_{\mu }^{\mu }\) the corresponding trace of \({\mathcal {K}}_{\mu \nu }\) which will be used further down. Furthermore, using Eqs.(61) to (63) into the general expression for \({\mathcal {G}}\) one verifies that the Gauss-Bonnet invariant can be written as
Now we turn to the impact of the scalar fields \(\Phi \) and \(\Psi \). Thus these fields are written in the distribution formalism in the usual way as:
Since the gravitational field equations mentioned in Eq.(19) are based on the 2nd-order derivatives of the scalar field \(\Phi \), these terms must be examined in this formalism. When we take the partial derivative of Eq.(68), we get
Moreover, in this manuscript, we are concerned with an equivalent scalar-tensor representation of the \(f({\mathcal {G}},~T)\) gravity mentioned by the action in Eq.(18), instead of from a generic scalar-tensor theory provided by the action in Eq.(1). This interpretation is only characterized when the determinant of \({\mathcal {A}}\) in Eq.(14) does not vanish, as explained in the previous section. This definition states that both the scalar fields \(\Phi \) as well as \(\Psi \) can be expressed explicitly in the form of the Gauss-Bonnet invariant \({\mathcal {G}}\) and the trace of the stress-energy tensor T, i.e., \(\Phi =\Phi ({\mathcal {G}},~T)\) and \(\Psi =\Psi ({\mathcal {G}},~T)\), respectively, and vice versa, i.e., \({\mathcal {G}}={\mathcal {G}}(\Phi ,~\Psi )\) and \(T=T(\Phi ,~\Psi )\). With these arguments in mind, the 1st, and 2nd-order covariant derivatives of \(\Phi \), can be written as:
where the subscripts \({\mathcal {G}}\) as well as T stand for partial derivatives of these quantities, respectively. As a result, the existence of products of such manner \(\partial _{i}{\mathcal {G}} \partial _{j} {\mathcal {G}}\), \(\partial _{i}T \partial _{j} T\), and \(\partial _{i} {\mathcal {G}} \partial _{j} T\) as in expression for \(\nabla _{i} \nabla _{j} \Phi \) in Eq. (72) suggests that even these differential terms would be dependent on products of the form \(\mathbf {\Theta }(l) \delta (l)\) as well as \(\delta ^2(l)\), which are ill-defined and singular. To avoid these terms, the \(\delta (l)\) terms in Eqs. (87) and (88) must be pushed to disappear, i.e., \([{\mathcal {G}}]=0\) and \([T]=0\). Furthermore, two JCs are implied by the conditions \([{\mathcal {G}}]=0\) and \([T]=0\), because both fields \(\Phi \) and \(\Psi \) are well-behaved functions of \({\mathcal {G}}\) and T according to the definition of the equivalent scalar-tensor illustration even though discussed earlier in this paper.
As a result, in Eq.(70), the 1st-order derivative of \(\Phi \) gets the form:
and we can now evaluate the 2nd-order derivatives of \(\Phi \), which are widely used as
Now we deal with the theory’s matter section. To work out the features of the thin-shell, let us express the stress-energy tensor \(T _{i j}\) as a distribution function. The stress-energy tensor is represented as a distribution function of the form: \(T_{(sr) \ ij}\) in the scalar-tensor representation, which we shorten as \(T_{ij}\) to simplify notation i.e.,
On the right hand side of Eq.(77) 1st and 2nd terms (i.e., \(T^{+}_{i j}\), \(T^{-}_{i j}\)) are the regular terms of stress-energy tensor in \({\textbf{M}}^{+}\) and \({\textbf{M}}^{-}\) regions, respectively in the scalar tensor representation. Also, \({\mathcal {S}}_{i j}\) denotes the thin-shell’s 4-dimensional stress-energy tensor in the same scalar tensor representation, which may be expressed as a 3-dimensional tensor at separation hyper-surface \(\Sigma \) as
In this manuscript, both the field equations in Eq.(19) as well as the scalar field equation in Eq.(22) also reliant explicitly in the trace of \(T_{i j}\) i.e., \(T=g^{i j} T_{i j}\). We can deduce from the trace of Eq.(77) that T equals
where \({\mathcal {S}}\) is defined as \({\mathcal {S}}={\mathcal {S}} ^{i}_{i}\). Since \(\Phi \) and \(\Psi \) are characterized with no dependency in the \(\delta (l)\) distribution. The potential function \({\mathbb {V}}(\Phi ,~\Psi )\) is a function of \(\Phi \) and \(\Psi \), without any proportionality to \(\delta (l)\), that guaranteed to be regular and does not feature any singular products of distribution functions of the form \(\mathbf {\Theta }(l)\delta (l)\) or \(\delta ^2(l)\). Consequently, any partial derivative of \({\mathbb {V}}\) will be guaranteed to have the same regularity. The left-hand sides of Eqs.(20) and (21), which is \({\mathbb {V}}_{\Phi }\) and \({\mathbb {V}}_{\Psi }\), respectively, would not be dependent on \(\delta (l)\). As a direct consequence of Eqs.(20) and (21), one can extrapolate that the Gauss-Bonnet invariant \({\mathcal {G}}\) as well as the trace of the stress-energy tensor T are independent of \(\delta (l)\). In this representation the equations of motion for the scalar fields force the condition \(\bar{{\mathcal {G}}}=0\), to preserve the regularity of the MFEs, one immediately follow that the extrinsic curvature \(\mathcal {K_{\mu \nu }}\) must be continuous across \(\Sigma \). Thus the second and third JCs of the theory are derived from the explicit configurations of these two variables in Eqs.(67) as well as (79), respectively as
and also,
This new JC in Eq.(80) an extremely restricted JC and GR doesn’t have it or any of the previously extended versions of GR except in the situation of smooth matching, i.e., matching without thin-shells, and it is coupled with an arbitrary action dependence in \({\mathcal {G}}\). All the quantities \({\bar{R}}_{ijpq}\), \({\bar{R}}_{ij}\) and \({\bar{R}}\) disappear as a result of this condition, as do all the terms proportional to \(\delta \left( l\right) \) in Eqs.(61) to (63), and these quantities become regular at \(\Sigma \). As a result, we get the usual forms.
These findings are analogous with those achieved in the geometric illustration of the theory, as they are inferred in Eqs.(42) and (45). As a result, the trace of the stress-energy tensor T is formed as
In the distribution formalism, one gets \(\partial _{i} {\mathcal {G}}\) and \(\partial _{i} T\) from Eqs.(85) and (86), respectively.
Now we deduce the singular part of the field equations derive an explicit expression for the stress-energy tensor \({\mathcal {S}}_{\mu \nu }\) in the form of the geometrical quantities. To do just that, plug the expressions of the numerous significant quantities from Eqs.(59), (68), (69), (76), (77), (82), (83), (84), and (86) into the field equations in Eq.(22) with mandatary condition \({\mathcal {K}}_{\mu \nu }=0\), as well as project the finding into \(\Sigma \) with \(e_{\mu }^{i} e_{\nu }^{j}.\) The result is as follows
By introducing the trace of Eq.(89), and using established result \({\mathcal {S}}=0\), which provides a more convenient shape of a new JC as
which could then be reinserted into Eq.(89) to suggest the term on the right-hand side to disappear. Consequently, the right-hand side of Eq.(89) vanishes identically, which implies that \({\mathcal {S}}_{\mu \nu }=0\). Thus thin-shells cannot emerge in the \(f\left( {\mathcal {G}},T\right) \) gravity theory under this formalism, as shown by this conclusion. In this theory, all junctions between two distinct space-times at a given hyper-surface \(\Sigma \) must be smooth, which is a rather restricted finding. We can summarize that the JCs composed for this equivalent scalar-tensor representation of the \(f({\mathcal {G}},~T)\) gravitational theory at \(\Sigma \) is made up of five different equations as
It is worthy to notice that these JCs may directly composed from a very significant Eq.(57) by using the introduction of basic definitions like \(\Phi =f_{{\mathcal {G}}}({\mathcal {G}},~T)\) as well as \(\Psi =f_{T}({\mathcal {G}},~T)\), which may emphasize the equivalence between these two representations of this considered gravity.
4 Conclusion
In this manuscript, we utilized the perfect fluid \(f({\mathcal {G}},~T)\) theory of gravitation, we took the universal formulation of action integral including modified GFEs. In our considered \(f\left( {\mathcal {G}}, T\right) \) gravity has two extra scalar-degrees of freedom, representing two arbitrary dependencies of the function f in the quantities \({\mathcal {G}}\) and T. We established a dynamically equivalent scalar-tensor form that is identically equivalent by introducing two scalar-fields \(\Phi \) as well as \(\Psi \), and also interaction potential \({\mathbb {V}}\left( \Phi ,\Psi \right) \). To offer this analysis, we used the variance of modified EHA that is restated in a dynamically identical scalar-tensor formulation which changes under two auxiliary fields as \(\alpha \) and \(\beta \). It is supplied by the variables \(\alpha ={\mathcal {G}}\) and \(\beta =T\) into Eq.(11), consequently, by putting these discoveries one surly reconstruct Eq.(1) which proved the two representations of our considered gravity are equivalent. Furthermore, we derived MFEs applying the modification to modified EHA given in dynamically equivalent scalar-tensor structure for these scalar fields, and interaction potential. We also established a more convenient form of the equations of motion by using matter Lagrangian as \({\mathcal {L}}_{\textrm{m}}=-P\). Of course, every gravitational theory must indeed have its own particular set of JCs, which should be derived from the full set of its GFEs. The GR with a cosmological constant term was the very first suggested modified theory of gravity, but also this theory has the identical JCs as the GR has too. The JCs have indeed been conceived in some other theories. In this manuscript, we took the general approach assuming the possibility of a thin-shell arising at \(\Sigma \) between the two space-times \({\textbf{M}}^{\pm }\). However, our results establish that, for the distribution formalism to be well-defined, thin-shells are not allowed to emerge in the general version of this theory.
We constructed a set of JCs in the scenario of \(f({\mathcal {G}},~T)\) gravitational theory by starting from the MFEs given in Eq.(8). We considered perfect fluid configurations to develop JCs that consist of only a singular part i.e., the terms are corresponding to \(\delta (l)\) because the appearance of these terms in the derivatives of the metric is problematic. Thus in the distribution formalism to avoid the occurrence of these problematic products, we imposed the continuity of the metric \(g_{ij}\). We confirmed that there is a complete absence of any term proportional to \(\delta ^2(l)\) in the Gauss-Bonnet invariant actually which identically vanished and its 1st-order partial derivatives. It means that indicating terms are regular and do not appear in the singular field equation. We did, however, show that the 2nd-order derivatives of the \({\mathcal {G}}\) have a singular term proportional to \([\partial _{j}{\mathcal {G}}]\). Such types of terms made an appearance in singular field equations, quite specifically in terms containing 2nd-order derivatives of the function f. We verified that the stress-energy tensor (T) has a term proportional to \(\delta (l)\), which appeared in our established JCs. Similarly, we also verified that T and it is 1st-order partial derivatives did not have any singular terms and thus, not appeared in the singular field equations. However, we established that the 2nd-order covariant derivatives of T have a singular term proportional to \([\partial _{j} T]\), and this term appeared in the singular field equations, more precisely in the terms depending on 2nd-order derivatives of f. Since in the MFEs, we have terms proportional to 2nd-order derivatives of f, i.e., \(\nabla _{i}\nabla _{j} f_{\mathcal {G}}\) and \(\nabla ^2 f_{\mathcal {G}}\). Thus, we showed that the terms proportional to \(\nabla _{i}\nabla _{j} f_{\mathcal {G}}\) in the singular field equations will reduce to \(\varepsilon n^{p}(f_{{\mathcal {G}}{\mathcal {G}}}[\partial _{p}{\mathcal {G}}]+f_{{\mathcal {G}}T}[\partial _{p} T])\) and a similar expression for \(\nabla ^2 f_{\mathcal {G}}\) but with the indices contracted. Finally, we performed a projection to the hyper-surface \(\Sigma \) with the projection vectors \(e_\alpha ^{i}\) and \(e_\beta ^{j}\) also in the end we redefined the indices back to \(\mu \) and \(\nu \). Since \(n_{i}\) is orthogonal to \(e_\alpha ^{i}\) by construction, the term proportional to \(n_{i}\) vanished upon contraction, and the metric \(g_{i j}\) contracted with the projection vectors and gave the induced metric. It is a well-known fact that MFEs of \(f({\mathcal {G}},~T)\) gravity show explicitly dependence in T as well as its partial derivatives via the differential terms appear in \(f_{{\mathcal {G}}}\) which refers to additional JCs. Thus we used the trace of Eq.(57) and established fact that \({\mathcal {S}}=0\) to get JC in form as \(f_{{\mathcal {G}}{\mathcal {G}}}\left[ \partial _{p} {\mathcal {G}}\right] +f_{{\mathcal {G}}T}\left[ \partial _{p} T\right] =0.\) It means that the right-hand side of Eq.(57) vanished identically, which implies that \({\mathcal {S}}_{\mu \nu }=0\). Because of this significant result, we found that thin-shells cannot emerge in the \(f\left( {\mathcal {G}}, T\right) \) gravitational theory using this formalism. This is an extremely restricted conclusion in this theory, which requires that all junctions between two distinct space-times \({\textbf{M}}^{+}\) and \({\textbf{M}}^{-}\), at \(\Sigma \) be smooth.
The same findings are achieved in the theory’s scalar-tensor representation, demonstrating the equivalence of these two representations. This scalar-tensor depiction can only be characterized when the Hessian matrix of \(f({\mathcal {G}},~T)\) function is invertible, which coincides with the invertibility of the functions \(\Phi ({\mathcal {G}},~T)\) and \(\Psi ({\mathcal {G}},~T)\), the scalar fields and should be continuous. The partial derivatives of the scalar fields are forced to be continuous by the JCs for the trace \({\mathcal {S}}=0\), which implies that the \({\mathcal {S}}_{i j}\) dependency is not recovered entirely in the lump of metal as the extrinsic curvature \({\mathcal {K}}_{i j}=0\) in this formalism. Consequently, smooth matching proved the comparability of the two representations by recovering the continuity of the extrinsic curvature and the partial derivatives of the scalar field. In a dynamically equivalent scalar-tensor illustration, we have established a full set of JCs for smooth matching at \(\Sigma \) under the same fluid version of \(f({\mathcal {G}},~T)\) gravitational theory. Our findings significantly constrain the possibility of evolving models for alternative compact objects supported by thin-shells in this theory, such as gravastars and thin-shell wormholes. However, they do provide a suitable framework for the search of models with a smooth matching at the surface, of which perfect fluid stars seem to be plausible examples. The obtained results indicate that under this formalism, thin-shells can not emerge in the general version of the \(f\left( {\mathcal {G}},~T\right) \) theory. This is a restrictive result that forces all the junctions between two space-times at separation hyper-surface \(\Sigma \) to be smooth in this theory. There might be particular forms of the function \(f\left( {\mathcal {G}},~T\right) \) for which some junction conditions can be discarded and may be obtain thin-shells..
Data Availability Statement
This manuscript has no associated data or the data will not be deposited.
References
Oppenheimer, J.R., Snyder, H.: On continued gravitational contraction. Phys. Rev. 56, 455 (1939)
Lanczos, K.: Bemerkung zur de sitterschen welt. Phys. Z. 23, 15 (1922)
Lanczos, K.: Flächenhafte verteilung der materie in der einsteinschen gravitationstheorie. Ann. Phys. 379, 518 (1924)
Lake, K.: Revisiting the Darmois and Lichnerowicz junction conditions. Gen. Relativ. Gravit. 49, 1 (2017)
Sen, N.: Über die grenzbedingungen des schwerefeldes an unstetigkeitsflächen. Annalen der Phys. 378, 365 (1924)
Darmois, G.: Les equation de la gravitation einsteinnienne memorial des science mathematiques fasc. Gauthier-Villars, Paris, vol. 25, (1927)
Jump conditions at discontinuities in general relativity: Synge, J., Brien, O., S. Dublin Inst. 9, 1–20 (1952)
Israel, W.: Singular hypersurfaces and thin shells in general relativity. Il Nuovo Cimento B 44, 1 (1966)
Barrabes, C.: Singular hypersurfaces in general relativity: a unified description. Class. Quant. Grav. 6, 581 (1989)
Rosa, J.L., Piçarra, P.: Existence and stability of relativistic fluid spheres supported by thin shells. Phys. Rev. D 102, 064009 (2020)
Buchdahl, H.A.: Non-linear Lagrangians and cosmological theory. Mon. Not. Roy. Astron. Soc. 150, 1 (1970)
Senovilla, J.M.M.: Junction conditions for \(f(R)\) gravity and their consequences. Phys. Rev. D 88, 064015 (2013)
Macias, A., Lämmerzahl, C., Pimentel, L.O.: Matching conditions in metric affine gravity. Phys. Rev. D 66, 104013 (2002)
De la Cruz-Dombriz, Á., Dunsby, P.K., Saez-Gomez, D.: Junction conditions in extended teleparallel gravities. J. Cosmol. Astropart. Phys. 2014, 048 (2014)
Salgado, M.: The Cauchy problem of scalar-tensor theories of gravity. Class. Quant. Grav. 23, 4719 (2006)
Capozziello, S., Vignolo, S.: The Cauchy problem for metric-affine \({f(R)}\)-gravity in the presence of perfect-fluid matter. Class. Quant. Grav. 26, 175013 (2009)
Capozziello, S., Vignolo, S.: On the well-formulation of the initial value problem of metric-affine \({f(R)}\)-gravity. Int. J. Geom. Methods Mod. Phys. 6, 985 (2009)
Capozziello, S., Vignolo, S.: The Cauchy problem for \({f(R)}\)-gravity: an overview. Int. J. Geom. Meth. Mod. Phys. 9, 1250006 (2012)
Reina, B., Senovilla, J.M.M., Vera, R.: Junction conditions in quadratic gravity: thin shells and double layers. Class. Quant. Grav. 33, 105008 (2016)
Davis, S.C.: Generalized Israel junction conditions for a Gauss bonnet brane world. Phys. Rev. D 67, 024030 (2003)
Guendelman, E., Kaganovich, A., Nissimov, E., Pacheva, S.: Lightlike branes as natural candidates for wormhole throats. Fortschritte der Phys. 57, 566 (2009)
Frey, M., Grabert, H.: Current noise in tunnel junctions. Fortschritte der Phys. 65, 1600055 (2017)
Rosa, J.L., Lemos, J.P.S., Lobo, F.S.: Stability of Kerr black holes in generalized hybrid metric-Palatini gravity. Phys. Rev. D 101, 044055 (2020)
Rosa, J.L.: Double gravitational layer traversable wormholes in hybrid metric-Palatini gravity. Phys. Rev. D 104, 064002 (2021)
Yousaf, Z., Bhatti, M.Z., Farwa, U.: Axially and reflection symmetric systems and structure scalars in \(f (R,~T)\) gravity. Ann. Phys. 433, 168601 (2021)
Bhatti, M.Z., Yousaf, Z., Hanif, S.: Electromagnetic influence on hyperbolically symmetric sources in \(f (T)\) gravity. Eur. Phys. J. C 82, 340 (2022)
Yousaf, Z.: Structure of spherically symmetric objects: a study based on structure scalars. Phys. Scr. 97, 025301 (2022)
Olmo, G.J., Rubiera-Garcia, D.: Junction conditions in Palatini \(f (R)\) gravity. Class. Quant. Grav. 37, 215002 (2020)
Capozziello, S., De Laurentis, M., Martino, D.: Jeans analysis of self-gravitating systems in \(f (R)\) gravity. Phys. Rev. D 85, 044022 (2012)
Nojiri, S., Odintsov, S.: Modified gravity with negative and positive powers of the curvature: unification of the inflation and of the cosmic acceleration. Phys. Rev. D 68, 123512 (2003)
Nojiri, S., Odintsov, S.D.: Unifying inflation with \(\Lambda -CDM\) epoch in modified \(f (R)\) gravity consistent with solar system tests. Phys. Lett. B 657, 238 (2007)
Starobinsky, A.A.: A new type of isotropic cosmological models without singularity. Phys. Lett. B 91, 99 (1980)
Nojiri, S., Obregon, O., Odintsov, S., Osetrin, K.: Induced wormholes due to quantum effects of spherically reduced matter in large n approximation. Phys. Lett. B 449, 173 (1999)
Nojiri, S., Odintsov, S.D.: Mimetic \((R)\) gravity: inflation, dark energy and bounce. Mod. Phys. Lett. A 29, 1450211 (2014)
Mishra, A.K., Sharma, U.K.: A new shape function for wormholes in \(f (R)\) gravity and general relativity. New Astron. 88, 101628 (2021)
Harko, T., Lobo, F.S.: \(f(R,~L_{m})\) gravity. Eur. Phys. J. C 70(1), 373–379 (2010)
Harko, T., Lobo, F.S.N., Nojiri, S., Odintsov, S.D.: \(f (R, ~T)\) gravity. Phys. Rev. D 84, 024020 (2011)
Odintsov, S.D., Shevchenko, I.: Gauge-invariant and gauge-fixing independent effective action in one-loop quantum gravity. Fortschritte der Phys. 41, 719 (1993)
Alves, M., Moraes, P., De Araujo, J., Malheiro, M.: Gravitational waves in \(f (R,~T)\) and \(f (R,~T,~\phi )\) theories of gravity. Phys. Rev. D 94, 024032 (2016)
Rosa, J.L., Carloni, S., Lemos, J.P., Lobo, F.S.: Cosmological solutions in generalized hybrid metric-Palatini gravity. Phys. Rev. D 95, 124035 (2017)
Carloni, S., Rosa, J.L., Lemos, J.P.: Cosmology of \(f(R,\Box R)\) gravity. Phys. Rev. D 99, 104001 (2019)
Samanta, G.C., Godani, N., Bamba, K.: Traversable wormholes with exponential shape function in modified gravity and general relativity: A comparative study. Int. J. Mod. Phys. D 29, 2050068 (2020)
Bhatti, M.Z., Yousaf, Z., Yousaf, M.: Study of nonstatic anisotropic axial structures through perturbation. Int. J. Mod. Phys. D 31, 2250116 (2022)
Rosa, J.L., Bazeia, D., Lobão, A.: Effects of Cuscuton dynamics on Braneworld configurations in the scalar-tensor representation of \(f(R,~T)\) gravity. Eur. Phys. J. C 82, 1 (2022)
Sahoo, P., Mandal, S., Sahoo, P.K.: Wormhole model with a hybrid shape function in \(f (R,~T)\) gravity. New Astron. 80, 101421 (2020)
Bhatti, M.Z., Yousaf, Z., Yousaf, M.: Stability of self-gravitating anisotropic fluids in \(f (R, ~T)\) gravity. Phys. Dark Univ. 28, 100501 (2020)
Rosa, J.L., Lemos, J.P.S., Lobo, F.S.N.: Wormholes in generalized hybrid metric-Palatini gravity obeying the matter null energy condition everywhere. Phys. Rev. D 98, 064054 (2018)
Wheeler, J.A.: Geometrodynamics, vol. 1. Academic Press, Cambridge (1962)
Furey, N., DeBenedictis, A.: Wormhole throats in RM gravity. Class. Quant. Grav. 22, 313 (2004)
Lobo, F.S.: General class of wormhole geometries in conformal Weyl gravity. Class. Quant. Grav. 25, 175006 (2008)
Rosa, J.L.: Junction conditions and thin shells in perfect-fluid \(f (R, ~T)\) gravity. Phy. Rev. D 103, 104069 (2021)
Rosa, J.L., Lemos, J.P.S.: Junction conditions for generalized hybrid metric-Palatini gravity with applications. Phys. Rev. D 104, 124076 (2021)
Barrabes, C., Hogan, P. A. (2003) Singular hypersurfaces in Einstein–Gauss–Bonnet theory of gravitation. arXiv preprint arXiv:gr-qc/0308006
De Felice, A., Hindmarsh, M., Trodden, M.: Ghosts, instabilities, and superluminal propagation in modified gravity models. J. Cosmol. Astropart. Phys. 2006, 005 (2006)
De Felice, A., Tsujikawa, S.: Construction of cosmologically viable \({f (G)}\) gravity models. Phys. Lett. B 675, 1 (2009)
Metsaev, R.R., Tseytlin, A.A.: Order \({\alpha }\)’(two-loop) equivalence of the string equations of motion and the \({\sigma }\)-model weyl invariance conditions: Dependence on the dilaton and the antisymmetric tensor. Nucl. Phys. B 293, 385 (1987)
Nojiri, S., Odintsov, S.D., Sami, M.: Dark energy cosmology from higher-order, string-inspired gravity, and its reconstruction. Phys. Rev. D 74, 046004 (2006)
Amendola, L., Charmousis, C., Davis, S.C.: Solar system constraints on gauss-bonnet mediated dark energy. J. Cosmol. Astropart. Phys. 2007, 004 (2007)
Nojiri, S., Odintsov, S.D.: Modified gauss bonnet theory as gravitational alternative for dark energy. Phys. Lett. B 631, 1 (2005)
Cognola, G., Elizalde, E., Nojiri, S., Odintsov,:, et al.: Dark energy in modified gauss-bonnet gravity: late-time acceleration and the hierarchy problem. Phys. Rev. D 73, 084007 (2006)
Nojiri, S., Odintsov, S.D., Tretyakov, P.V.: From inflation to dark energy in the non-minimal modified gravity. Prog. Theor. Phys. 172, 81 (2008)
Yousaf, Z., Bhatti, M.Z., Nasir, M.M.M.: Role of \({f(G)}\) gravity in the study of non-static complex systems. Can. J. Phys. 100, 185 (2022)
De Laurentis, M., Paolella, M., Capozziello, S.: Cosmological inflation in \({f (R, G)}\) gravity. Phys. Rev. D 91, 083531 (2015)
Damour, T., Esposito-Farese, G.: Tensor-multi-scalar theories of gravitation. Class. Quant. Grav. 9, 2093 (1992)
Brans, C., Dicke, R.H.: Mach’s principle and a relativistic theory of gravitation. Phys. Rev. 124, 925 (1961)
Dicke, R.H.: Mach’s principle and invariance under transformation of units. Phys. Rev. 125, 2163 (1962)
Moraes, P., Sahoo, P.K.: Wormholes in exponential \(f(R,~T)\) gravity. Eur. Phys. J. C 79, 1 (2019)
Goswami, G.K., Yadav, A.K., Mishra, B., Tripathy, S.K.: Modeling of accelerating universe with bulk viscous fluid in Bianchi V space-time. Fortschritte der Phys. 69, 2100007 (2021)
Bhatti, M.Z., Yousaf, Z., Yousaf, M.: Dynamical analysis for cylindrical geometry in non-minimally coupled \(f (R, ~T)\) gravity. Int. J. Geom. Methods Mod. Phys. 19, 2250018 (2022)
Mustafa, G., Gao, X., Javed, F.: Twin peak quasi-periodic oscillations and stability via thin-shell formalism of traversable wormholes in symmetric teleparallel gravity. Fortschr. Phys. 70, 2200053 (2022)
Sharif, M., Ikram, A.: Energy conditions in \({f(G,~T)}\) gravity. Eur. Phys. J. C 76, 1 (2016)
Sharif, M., Ikram, A.: Stability analysis of some reconstructed cosmological models in \({f(G, T)}\) gravity. Phys. Dark Univ. 17, 1 (2017)
Sharif, M., Saba, S.: Pilgrim dark energy in \({f(G, T)}\) gravity. Mod. Phys. Lett. A 33, 1850182 (2018)
Yousaf, Z.: Structure scalars of spherically symmetric dissipative fluids with \({f(G,~T)}\) gravity. Astrophys. Space Sci. 363, 226 (2018)
Yousaf, Z., Bhatti, M.Z., Hassan, K.: Complexity for self-gravitating fluid distributions in \(f (G,~T)\) gravity. Eur. Phys. J. Plus 135, 397 (2020)
Shamir, M.F., Ahmad, M.: Noether symmetry approach in \({f(G, T)}\) gravity. Eur. Phys. J. C 77, 1 (2017)
Bhatti, M.Z., Yousaf, Z., Khan, S.: Role of quasi-homologous condition to study complex systems in \(f (G, T)\) gravity. Eur. Phys. J. Plus 136, 975 (2021)
Yousaf, Z., Bhatti, M.Z., Aman, H.: The bouncing cosmic behavior with logarithmic law \({f(G, T)}\) model. Chin. J. Phys. 79, 275 (2022)
Yousaf, Z., Bhatti, M.Z., Aman, H.: Cosmic bounce with \({\alpha (e^{-\beta g}- 1)+ 2\lambda t}\) model. Phys. Scr. 97, 055306 (2022)
Shamir, M.F., Ahmad, M.: Emerging anisotropic compact stars in \({f(G, T)}\) gravity. Eur. Phys. J. C 77, 1 (2017)
Bhatti, M.Z., Khlopov, M.Y., Yousaf, Z., Khan, S.: Electromagnetic field and complexity of relativistic fluids in \(f (G)\) gravity. Mon. Not. R. Astron. Soc. 506, 4543 (2021)
Kunzinger, M., Steinbauer, R.: A note on the penrose junction conditions. Class. Quant. Grav. 16, 1255 (1999)
Khlopov, M.Y., Mayorov, A.G., Soldatov, E.Y.: Composite dark matter and puzzles of dark matter searches. Int. J. Mod. Phys. D 19, 1385 (2010)
Bamba, K.: Capozziello, et al.: Dark energy cosmology: the equivalent description via different theoretical models and cosmography tests. Astrophys. Space Sci. 342, 155 (2012)
Momeni, D., Moraes, P., Myrzakulov, R.: Generalized second law of thermodynamics in f (R, T) theory of gravity. Astrophys. Space Sci. 361, 1 (2016)
Moraes, P., Correa, R.: Braneworld cosmology in gravity. Astrophys. Space Sci. 361, 91 (2016)
Yousaf, Z., Khlopov, M.Y., Bhatti, M.Z., Asad, H.: Hyperbolically symmetric static charged cosmological fluid models. Mon. Not. Roy. Astron. Soc. 510, 4100 (2022)
Bhatti, M.Z., Yousaf, Z., Yousaf, M.: Effects of non-minimally coupled \(f (R, T)\) gravity on the stability of a self-gravitating spherically symmetric fluid. Int. J. Geom. Methods Mod. Phys. 19, 2250120 (2022)
Bhatti, M.Z., Yousaf, Z., Rehman, A.: Gravastars with cylindrical space-time in \({f (G, T)}\) gravity. Pramana 96, 224 (2022)
Capozziello, S.: Curvature quintessence. Int. J. Mod. Phys. D 11, 483 (2002)
Capozziello, S., Cardone, V.F., Piedipalumbo, E., Rubano, C.: Dark energy exponential potential models as curvature quintessence. Class. Quant. Grav. 23, 1205 (2006)
Poisson, E.: Relativists Toolkit the Mathematics of Black-hole Mechanics. Cambridge University Press, Cambridge (2007)
Acknowledgements
We would like to thank Dr. João Luís Rosa from University of Tartu, Estonia for his many valuable suggestions and comments that has significantly improved the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Bhatti, M.Z., Yousaf, M. & Yousaf, Z. Novel Junction Conditions in \(f\left( {\mathcal {G}},~T\right) \) Modified Gravity. Gen Relativ Gravit 55, 16 (2023). https://doi.org/10.1007/s10714-023-03069-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-023-03069-9