Next Article in Journal
Quadratic Control Model for Shuttle Dispatching in Automated Overhead Rail Systems
Previous Article in Journal
Effects of Symmetric Wing Sweep Angle Variations on the Performance and Stability of Variable-Sweep Wing Aircraft
Previous Article in Special Issue
Stellar-Mass Black Holes
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Complexity Hierarchies in Euclidean Stars

1
Instituto Universitario de Física Fundamental y Matemáticas, Universidad de Salamanca, 37007 Salamanca, Spain
2
Escuela de Física, Facultad de Ciencias, Universidad Central de Venezuela, Caracas 1050, Venezuela
3
Departamento de Matemática Aplicada and Instituto Universitario de Física Fundamental y Matemáticas, Universidad de Salamanca, 37007 Salamanca, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2025, 17(9), 1517; https://doi.org/10.3390/sym17091517
Submission received: 7 August 2025 / Revised: 2 September 2025 / Accepted: 4 September 2025 / Published: 11 September 2025
(This article belongs to the Special Issue Gravitational Physics and Symmetry)

Abstract

We establish a hierarchy of Euclidean stars according to their degree of complexity, as measured by the complexity factor and the complexity of the pattern of evolution. We consider both, non-dissipative and dissipative systems. Solutions range from the simplest one, in order of increasing complexity. Some specific models are found and analyzed in detail.
PACS:
04.40.-b; 04.40.Nr; 04.40.Dg

1. Introduction

This work deals with a family of solutions to Einstein equations for fluid distributions satisfying the heuristic assumption that the areal radius of any shell of fluid, which is the radius obtained from its area, equals the proper radial distance from the center to the shell [1], named “Euclidean stars” (see [2,3,4,5,6,7,8,9,10] for generalizations and/or applications of this idea).
Since the abovementioned assumption is obviously satisfied in the weak field (Newtonian) limit, we expect that Euclidean stars could provide simple models of evolving stars, which are relatively simple to analyze but still contain some of the essential features of a realistic situation.
In this work, we endeavor to classify all possible solutions describing “Euclidean stars”, according to the complexity of their structure and their pattern of evolution. The simplest solution satisfies the condition of vanishing complexity factor and evolves in the homologous or quasi-homologous regime. From there on, we obtain different families of solutions by relaxing the above conditions.
A rigorous definition of complexity is important since complexity, however we define it, is a physical concept deeply intertwined with fundamental aspects of the system, which we expect could provide relevant information about its behavior.
Here, we shall resort to the definition given in [11], intuitively associated to the very concept of “structure” within the fluid distribution. Such a definition is based on the assumption that the simplest system (or at least one of them) is represented by the homogeneous fluid with isotropic pressure. Having assumed this conjecture for a vanishing complexity system, the variable responsible for measuring complexity, which we call the complexity factor, appears in a natural way in the orthogonal splitting of the Riemann tensor (see [11] for details).
In the case of time-dependent systems, there is another aspect that requires our attention regarding the degree of complexity of the system. We have in mind the problem of the complexity of the patterns of evolution of the fluid.
In [12], it was shown that the homologous condition (H) may be suitable to characterize the simplest possible mode of evolution. It is worth recalling that in Newtonian physics, this condition implies that the radial velocity of any fluid element is proportional to its radial distance from the center, implying in its turn that the ratio of the radii of two comoving shells of fluid remains constant throughout the entire evolution. However, in the relativistic regime, these two properties of homologous condition are independent. Thus, we may consider a somewhat less restrictive condition by assuming only the first of the two abovementioned features. This is the so-called quasi-homologous condition ( Q H ) [13] (see details in Section 3.2).
Thus, we shall select solutions corresponding to Euclidean stars, and range them from the simplest one satisfying the vanishing complexity factor condition and evolving in the homologous regime, to solutions with an increasing level of complexity.
We shall consider dissipative and non-dissipative models.
The inclusion of dissipation is justified by the fact that gravitational collapse is a highly dissipative process (see [14] and references therein). This dissipation is required to account for the very large (negative) binding energy of the resulting compact object of the order of 10 53 erg [15].
Non-dissipative Euclidean models are necessarily geodesic, belonging to the Lemaître–Tolman–Bondi (LTB) solutions [16,17,18] (more specifically to the parabolic subclass). They may describe evolving dust or, more generally, evolving anisotropic fluids [19].
We shall first consider the non-dissipative case, and identify the simplest model according to the criteria mentioned above. Such a solution appears to be the well-known Friedman–Robertson–Walker spacetime (FRW). Next, we shall relax the H or the Q H conditions, keeping only the vanishing complexity factor condition. This leads to a family of solutions depending on two arbitrary functions of the radial coordinate. A specific model of this family is found and analyzed in detail.
Next, we shall consider the dissipative case. We shall first notice that we cannot impose the H condition since it would imply that the fluid is geodesic, which in the context of Euclidean stars implies that it is non-dissipative. Thus, we shall first consider the case when the vanishing complexity factor condition and Q H hold, which leads to a large family of solutions, a specific example of which will be analyzed in detail.
Finally, we shall relax the Q H condition, keeping only the vanishing complexity factor condition. Additionally, in order to be able to integrate the system, we shall assume the fluid to be shear-free. These two conditions lead to a large family of solutions already known in the literature [20,21,22].

2. The Euclidean Condition and Its Consequences

We shall start by defining all concepts, variables, and equations required for our discussion. This includes the definitions of complexity, the matching conditions, the Weyl tensor, and the transport equation. Next, we shall define the Euclidean condition, and the general properties of fluids satisfying this condition.

2.1. Basic Equations and Variables

Let us consider spherically symmetric distributions of fluid, bounded by a spherical surface Σ . The fluid is assumed to be locally anisotropic with principal stresses unequal and undergoing dissipation in the form of heat flow. Choosing comoving coordinates inside Σ , the general interior metric can be written as
d s 2 = A 2 d t 2 + B 2 d r 2 + R 2 ( d θ 2 + sin 2 θ d ϕ 2 ) ,
where A, B, and R are functions of t and r and are assumed positive. We number the coordinates x 0 = t , x 1 = r , x 2 = θ , and x 3 = ϕ .
The matter energy momentum tensor T α β inside Σ has the form
T α β = ( μ + P ) V α V β + P g α β + ( P r P ) χ α χ β + q α V β + V α q β ,
where μ is the energy density, P r the radial pressure, P the tangential pressure, q α the heat flux, V α the four-velocity of the fluid, and χ α a unit four-vector along the radial direction.
It will be convenient to express the energy momentum tensor (2) in the equivalent (canonical) form
T α β = μ V α V β + P h α β + Π α β + q V α χ β + χ α V β ,
with
P = P r + 2 P 3 , h α β = g α β + V α V β ,
Π α β = Π χ α χ β 1 3 h α β , Π = P r P .
These quantities satisfy
V α V α = 1 , V α q α = 0 , χ α χ α = 1 , χ α V α = 0 .
Since we assumed that metric (1) is comoving then
V α = A 1 δ 0 α , q α = q B 1 δ 1 α , χ α = B 1 δ 1 α ,
where q is a function of t and r.
The four-acceleration a α and the expansion Θ of the fluid are given by
a α = V α ; β V β , Θ = V α ; α ,
and the shear σ α β by
σ α β = V ( α ; β ) + a ( α V β ) 1 3 Θ ( g α β + V α V β ) ,
where the semicolon denotes a covariant derivative, and the round brackets around the indexes denote symmetrization.
From (6) with (5), we have for the four-acceleration and its scalar a,
a 1 = A A , a 2 = a α a α = A A B 2 ,
and for the expansion
Θ = 1 A B ˙ B + 2 R ˙ R ,
where the prime stands for r differentiation and the dot stands for differentiation with respect to t. Using (5) and (7), we may write
σ α β = σ χ α χ β h α β 3 ,
where
σ = 1 A B ˙ B R ˙ R .
The mass function m ( t , r ) introduced by Misner and Sharp [23] (see also [24]) reads
m = R 3 2 R 23 23 = R 2 R ˙ A 2 R B 2 + 1 .
As it immediately follows from (1), the function R is the areal radius (i.e., the radius as measured from the area of a spherical surface). Therefore, we can define the velocity U of the evolving fluid as the variation of the areal radius with respect to proper time, i.e.,
U = D T R ,
where D T = ( 1 / A ) ( / t ) defines the derivative with respect to proper time. Then, (12) can be rewritten as
E R B = 1 + U 2 2 m R 1 / 2 .

2.2. The Weyl Tensor

Let us recall that in the spherically symmetric case, the Weyl tensor ( C α β μ ρ ) is defined by its “electric” part E γ ν alone, since its “magnetic” part vanishes. Indeed, the magnetic part of the Weyl tensor is associated with vorticity, which of course is absent in any spherically symmetric distribution.
Thus we have
E α β = C α μ β ν V μ V ν ,
whose nontrivial components are
E 11 = 2 3 B 2 E , E 22 = 1 3 R 2 E , E 33 = E 22 sin 2 θ ,
where
E = 1 2 A 2 R ¨ R B ¨ B R ˙ R B ˙ B A ˙ A + R ˙ R + 1 2 B 2 A A R R + B B + R R R R A A 1 2 R 2 .
Observe that the electric part of the Weyl tensor may also be written as
E α β = E ( χ α χ β 1 3 h α β ) .

2.3. The Transport Equation

In the diffusion approximation, we shall need a transport equation to evaluate the temperature and its evolution within the fluid distribution. Here, we shall resort to a transport equation derived from a causal dissipative theory (e.g., the Israel–Stewart second-order phenomenological theory for dissipative fluids [25,26,27]).
Thus, the corresponding transport equation for the heat flux reads
τ h α β V γ q β ; γ + q α = κ h α β ( T , β + T a β ) 1 2 κ T 2 τ V β κ T 2 ; β q α ,
where κ denotes the thermal conductivity, and T and τ denote temperature and relaxation time, respectively. Observe that, due to the symmetry of the problem, Equation (19) only has one independent component, which may be written as
τ q ˙ = 1 2 κ q T 2 τ κ T 2 ˙ 1 2 τ q Θ A κ B ( T A ) q A .
In the case of τ = 0 , we recover the Eckart–Landau equation [28,29].
For simplicity, one can consider in some cases the so-called “truncated” version, where the last term in (19) is neglected [30]:
τ h α β V γ q β ; γ + q α = κ h α β ( T , β + T a β ) ,
and whose only non-vanishing independent component becomes
τ q ˙ + q A = κ B ( T A ) .

2.4. The Exterior Spacetime and Junction Conditions

Since our fluid distribution is bounded, we assume that, outside Σ , the spacetime is described by the Vaidya metric, which reads as
d s 2 = 1 2 M ( v ) r d v 2 2 d r d v + r 2 ( d θ 2 + sin 2 θ d ϕ 2 ) ,
where M ( v ) denotes the total mass, r is a null coordinate, and v is the retarded time.
The smooth matching of the full nonadiabatic sphere to the Vaidya spacetime, on the surface where r = r Σ = constant, requires the fulfillment of the Darmois conditions [31], i.e., the continuity of the first and second fundamental forms across Σ (see [32] and references therein for details), which implies
m ( t , r ) = Σ M ( v ) ,
and
q = Σ P r ,
where = Σ means that both sides of the equation are evaluated on Σ .
When Darmois conditions are not satisfied, the boundary surface is a thin shell [33].

3. The Conditions for Classifying Euclidean Stars

As mentioned before, we endeavor to classify Euclidean stars according to their degree of complexity. Such a complexity will be measured by the complexity factor, and the complexity of the pattern of evolution. We shall next provide a brief description of the complexity factor, the homologous and the quasi-homologous regimes, which are the two modes of evolution assumed to be the simplest ones.

3.1. The Complexity Factor

The complexity factor is a scalar function that has been proposed in order to measure the degree of complexity of a given fluid distribution [11,12].
The complexity factor is identified with the scalar function Y T F , which defines the trace-free part of the electric Riemann tensor (see [12] for details).
It can be expressed in terms of physical variables as
Y T F = 8 π Π + 4 π R 3 0 r R 3 μ 3 q B U R d r ,
or in terms of the metric functions
Y T F = 1 A 2 R ¨ R B ¨ B + A ˙ A B ˙ B R ˙ R + 1 B 2 A A A A B B + R R ,
or
Y T F = E 4 π Π .

3.2. The Homologous (H) and the Quasi-Homologous ( Q H ) Condition

The Q H condition is a generalization of the H condition. This latter condition has been assumed in [12] to represent the simplest mode of evolution of the fluid distribution. However, it appears to be too stringent, thereby excluding many potential interesting scenarios. Therefore, in [13], we have proposed to relax (H), and consider what we call the “quasi-homologous” condition ( Q H ), which corresponds to a more complex pattern of evolution than H.
More specifically, the H condition implies that
U = ω ( t ) R , ω ( t ) U Σ R Σ ,
and
R I R I I = constant ,
where R I and R I I denote the areal radii of two concentric shells ( I , I I ) described by r = r I = constant , and r = r I I = constant , respectively.
These relationships are characteristic of the homologous evolution in Newtonian hydrodynamics [34,35,36]. More so, in the latter case, (29) implies (30). However, in the relativistic case, both (29) and (30) are in general independent, and the former implies the latter only in very special cases (e.g., the geodesic case).
On the other hand, Q H only requires (29), which, by using the field equations, may also be written as (see [13] for details)
4 π R B q + σ R = 0 .

3.3. Euclidean Stars and Their Properties

The regularity condition at the center requires that the perimeter of an infinitesimally small circle around the center be given by 2 π l , where l is the proper radius of the circle, i.e., the proper radial distance from the center to the circle, given by
l = 0 r B d r .
On the other hand, the perimeter of any circle, as it follows from (1), is given by 2 π R , implying that in the neighborhood of the center, the regularity conditions imply
R = r = 0 B .
Euclidean stars are characterized by the fulfillment of the above condition not only at the center of symmetry, but at all points of the fluid distribution.
Thus, we shall assume that the “areal” radius (R) representing the radius as measured by its spherical surface, and the proper radius defined by B ( t , r ) d r , be equal. These two radii in general, in Einstein’s theory, need not be equal, unlike in Newton’s theory. Such a condition defines the Euclidean star. Hence, with this condition, we can write
B = R ,
implying from (14) that
E = 1 .
The field equations with this condition become
8 π μ = 1 A 2 R ˙ R + 2 R ˙ R R ˙ R ,
8 π q A R = 2 R ˙ R A A ,
8 π P r = 1 A 2 2 R ¨ R 2 A ˙ A R ˙ R R ˙ R + 2 A A 1 R R ,
8 π P = 1 A 2 R ¨ R + R ¨ R A ˙ A R ˙ R A ˙ A R ˙ R R ˙ R + 1 R 2 A A R R R R A A ,
while the mass function (12) now reads
m = R 2 R ˙ A 2 .
Using (37) and (38) with (12), we obtain
D T m = 4 π P r U + q E R 2 .
Three interesting features of Euclidean stars deserve to be highlighted at this point:
  • From (37), it follows that if the system is dissipating in the form of heat flow, the collapsing source requires A 0 , implying that because of (8), a α 0 . This means that dissipation does not allow collapsing particles to follow geodesics. Inversely, of course, non-dissipative Euclidean models are necessarily geodesic since q = 0 implies that, because of (8) and (37), a α = 0 .
  • From (40), it follows that if R ˙ = 0 , then m = 0 and spacetime becomes Minkowskian. Therefore, all Euclidean stars are necessarily non-static. Furthermore, using (13), (40) can be rewritten as
    m R = U 2 2 .
    The above equation can be interpreted as the Newtonian kinetic energy (per unit mass) of the collapsing particles being equal to their Newtonian potential energy.
  • The proper radial three-acceleration D T U of a falling particle inside Σ can be calculated to obtain
    D T U = m R 2 + 4 π P r R + E a .
    On the other hand, due to the Euclidean condition, the dynamical Equation (43) becomes
    D T U = m R 2 + 4 π P r R 8 π q R 2 U .
    Thus, it appears that the contribution of the non-gravitational force term (the last on the right-hand side) to D T U , for any fluid element, does not depend on its inertial mass density ( μ + P r ). Or, in other words, non-gravitational forces produce a radial three-acceleration independent on the inertial mass density of the fluid element, similarly to the gravitational force term.

4. A Hierarchy of Euclidean Stars According to Their Complexity

We shall now proceed to classify Euclidean stars by imposing different restrictions based on the notion of complexity discussed above. We shall start by considering the simplest possible model by assuming the vanishing complexity factor and the H mode of evolution. From there on, we shall relax the conditions on the complexity, thereby allowing more complex systems. We shall consider separately non-dissipative and dissipative fluids.
Let us consider first the non-dissipative case.

4.1. Evolution with q = 0

As mentioned before, for this case, we have from (37) that A = 0 , which means A = A ( t ) , and by rescaling t, we can obtain without loss of generality
A = 1 .
Of course, such models are members of the Lemaître–Tolman–Bondi (LTB) spacetimes [16,17,18]. Furthermore, they correspond to the parabolic case.
Indeed, the general metric for LTB spacetimes reads as
d s 2 = d t 2 + R 2 1 J ( r ) d r 2 + R 2 ( d θ 2 + sin 2 θ d ϕ 2 ) ,
where J ( r ) is an arbitrary function of r.
Imposing the Euclidean condition (34) in (46), one obtains J = 0 , which defines parabolic LTB spacetimes.
In this latter case, we know that for pure dust
R 3 / 2 = ( 2 m ) 1 / 2 η 3 , 2 3 η 3 = t t b b ( r ) ,
where t b b ( r ) is an integration function of r.
However, the above solution is only valid for dust. For the sake of completeness, we shall consider an anisotropic fluid (we recall that LTB spacetime is compatible with an anisotropic fluid [19]).

4.1.1. Models Satisfying H Condition and Y T F = 0

If we impose the H condition, then the shear vanishes and it follows from (27) and (11) that Y T F = 0 . Furthermore, since the fluid is geodesic, Q H and H are equivalent. In such a case, as it has been shown in [12], the spacetime is the FRW solution.
Thus, the simplest non-dissipative Euclidean star is described by the FRW line element.

4.1.2. Models Satisfying Only Y T F = 0

In order to find the next subfamily of solutions in terms of increasing complexity, let us consider that Y T F = 0 , but the system does not evolve in the H regime. Then, from Y T F = 0 and (34), it follows that
R ¨ = R Ψ ( t ) ,
where Ψ ( t ) is an arbitrary function of its argument.
Next, from Equations (38), (39), and (48), we find that
8 π Π = R ˙ R ˙ R R R ˙ R 2 .
It is worth noticing that if we assume the fluid to be isotropic, then it follows from (49) that R is separable, i.e., R = R 1 ( t ) R 2 ( r ) , implying that the Q H (H) condition is satisfied and we have FRW.
From the above, it follows that we have to consider anisotropic models.
In the non-dissipative case ( q = 0 ), we have m Σ = M = constant, and then using (42) evaluated on the boundary surface, we may write
R ˙ Σ 2 = 2 M R Σ ,
whose solution reads
R Σ = M 2 1 / 3 3 ( t c 1 ) 2 / 3 ,
where c 1 is a constant of integration. This solution represents an ever-expanding fluid configuration. Changing t by t in (51), we obtain the corresponding collapsing solution.
Then using (51) in (48) evaluated on Σ , we obtain for Ψ ( t )
Ψ ( t ) = 2 9 t c 1 2 .
From the results above and the field equations, we may write
8 π P r = 4 9 ( t c 1 ) 2 R ˙ R 2 ,
8 π P = 4 9 ( t c 1 ) 2 R ˙ R R ˙ R ,
8 π μ = 2 R ˙ R R ˙ R + R ˙ R 2 ,
8 π ( P r P ) = R ˙ R R ˙ R R ˙ R 2 .
The general solution of (48) using (52) reads as
R = ( t c 1 ) 1 / 3 R 1 ( r ) + R 2 ( r ) ( t c 1 ) 1 / 3 ,
where R 1 and R 2 are two arbitrary functions of integration.
It is a simple matter to check that (57) solves (48) for the function Ψ ( t ) given by (52).
The mass function for this family of solutions reads
m = 1 18 R 1 + R 2 ( t c 1 ) 1 / 3 ( t c 1 ) 1 / 3 R 1 + 2 R 2 ( t c 1 ) 1 / 3 ( t c 1 ) 1 / 3 2 ,
which asymptotically, as t , becomes
m ( , r ) = 2 9 R 2 3 .
It is worth noticing that, since we are considering non-vanishing pressure, then in general, m also depends on t as it follows from (41).
Also, since the system is non-dissipative, then m Σ = M = constant, implying that
R 1 Σ = 0 , R 2 Σ = 9 M 2 1 / 3 .
Thus, the physical variables read as
8 π μ = X 9 t c 1 2 X + 2 Y = X 9 r Σ 2 t * 2 X + 2 Y ,
8 π P r = 1 9 t c 1 2 4 X 2 = 1 9 r Σ 2 t * 2 4 X 2 ,
8 π P = 1 9 t c 1 2 4 X Y = 1 9 r Σ 2 t * 2 4 X Y ,
with
X R 1 + 2 R 2 ( t c 1 ) 1 / 3 R 1 + R 2 ( t c 1 ) 1 / 3 , Y R 1 + 2 R 2 ( t c 1 ) 1 / 3 R 1 + R 2 ( t c 1 ) 1 / 3 ,
and t * ( t c 1 ) / r Σ .
From (60), it follows that X Σ = 2 , implying P r Σ = 0 , as expected from (25).
In order to specify a model, let us propose
R 1 ( r ) = r 2 r r Σ 1 / 3 r Σ 2 / 3 z 2 z 1 / 3 ,
R 2 ( r ) = r 2 r r Σ + 81 M 2 4 r r Σ 1 / 6 r Σ 1 / 3 z 2 z + 81 4 M * 2 z 1 / 6 ,
which satisfies the boundary condition (60), and where z r / r Σ , and M * M / r Σ .
In this model, the variables X , Y become
X = z 2 z 1 / 3 + 2 z 2 z + 81 M * 2 z 4 1 / 6 t * 1 / 3 z 2 z 1 / 3 + z 2 z + 81 M * 2 z 4 1 / 6 t * 1 / 3 ,
Y = W + 2 V W + V ,
where
W 2 2 z 1 z 2 z + 81 4 M * 2 z 5 / 6 ,
and
V 2 z 1 + 81 M * 2 4 z 2 z 2 / 3 t * 1 / 3 .
Finally, for the mass function, we obtain the expression
m * = 18 m r Σ = Q S 2 t * ,
where
Q z 2 z 1 / 3 + t * 1 / 3 z 2 z + 81 4 M * 2 z 1 / 6 ,
and
S z 2 z 1 / 3 + 2 t * 1 / 3 z 2 z + 81 4 M * 2 z 1 / 6 .
Figure 1 and Figure 2 depict the evolution and spatial distribution of the mass function and the physical variables for this model.

4.2. Evolution with q 0

We shall next consider the dissipative case.
Let us start by noting that the H condition (as shown in [12]) implies that the fluid is geodesic, which is incompatible with a dissipative Euclidean star. Then, concerning complexity, the lowest degree of complexity admissible for a dissipative Euclidean star would be described by the Q H condition and Y T F = 0 .
We shall consider here two possible families of solutions with different degrees of complexity. We shall first consider fluid distributions satisfying the vanishing complexity factor condition plus the Q H condition. Such a case, as mentioned above, represents models with the lowest degree of complexity. Next, we shall consider the family of solutions satisfying the vanishing complexity factor condition alone. In order to integrate the equations, we have complemented this latter condition with the shear-free condition.

4.2.1. Models with Y T F = 0 and Q H Evolution

As it follows from (31), the ( Q H ) condition reads
R ˙ = A ω R
where ω is the function of integration, with dimensions 1 / [ l e n g t h ] , which without lost of generality may be put equal to 1 by a reparametrization of t.
Let us now impose the condition Y T F = 0 , which, using (27) and (74), reads
ω 2 R 2 R ˙ 2 R ¨ R R ¨ R + R ¨ R ˙ R ˙ R R ˙ R R ˙ R + R R ˙ ( R ) 2 R ˙ R R ˙ R R R + R R = 0 .
In order to find a solution to the above equation, we shall split it into a system of two equations resulting from equating to zero the expressions within each of the square brackets in (75), producing
H ˙ = H H ˙ H 2 H = 0 ,
and
H H = K K + 2 K ,
where H R ˙ R and K R R .
Equation (77) may be solved to obtain
R 2 = F 1 ( t ) F 2 ( t ) + G ( r ) ,
where F 1 ( t ) , F 2 ( t ) , G ( r ) are arbitrary functions of their argument. F 2 and G are dimensionless, whereas F 1 has dimensions [ l e n g t h 2 ] .
Thus, so far, our model is defined by (34), (74), and (78).
Let us now integrate (76), whose first integral reads
H H = g 1 ( r ) R 2 ,
where g 1 ( r ) is an arbitrary function of r.
Taking the r derivative of (79) and using (77), we obtain
K K H H + 4 K g 1 g 1 = 0 ,
whose solution may be written as
K = g 1 ( r ) g 2 ( t ) H R 4 ,
where g 2 ( t ) is an arbitrary function of t.
Using (81) in (80) produces
( R 2 ) R 4 g 1 ( r ) g 2 ( t ) ( R 2 ) ˙ = 0 ,
or, introducing the variables
ϵ = R 2 , τ = d t g 2 ( t ) , r ˜ = g 1 ( r ) d r ,
it becomes
ϵ τ ϵ 2 ϵ r ˜ = 0 ,
whose solution reads
r ˜ = τ ϵ 2 + Φ ( ϵ ) ,
where Φ is an arbitrary function.
Returning to the original variables, the above equation reads
g 1 ( r ) d r = R 4 d t g 2 ( t ) + Φ ( R 2 ) ,
with each solution corresponding to a given choice of Φ .
Next, we may find a relationship between the time-dependent functions appearing in (78) by imposing the boundary condition (25), which now reads
4 F ˙ F = 3 ω 2 ( F 1 / F ) . 1 + ω F 1 / F ,
whose integration produces
4 ln F = 6 ω F 1 / F + 6 ln ω + ω 2 F 1 / F + ξ ,
where F F 2 + G ( r Σ ) and ξ is a constant of integration.
Thus, the whole family of solutions satisfying the Y T F = 0 and Q H evolution condition (besides de Euclidean condition), depends on one arbitrary function of t and one arbitrary function on r.
In terms of the function R, the physical variables for this family read
8 π μ = ω 2 1 + 2 R ˙ R R R ˙ ,
8 π q = 2 ω R ˙ R R ˙ + 1 R ,
8 π P r = 3 ω 2 + 2 R ˙ R R ˙ R 2 R 2 ,
8 π P = ω 2 R ¨ R 2 R R ˙ 2 + 1 R ¨ R ˙ R 2 R ˙ 3 R + 2 R ˙ R R R ˙ + 2 R ˙ R R ˙ R 2 R 2 .
In order to illustrate how to find a specific model of this family, we shall present in the next subsection a toy model.

4.2.2. A Toy Model

We start the construction of this model by assuming
F 1 F = b t ,
where b is a constant with dimensions of [ l e n g t h ] .
Then, using (93) in (88), we obtain
F = e ( 3 / 2 ) ω b t [ 1 + w b t ] 3 / 2 ,
where for convenience, we have chosen 6 ln w = ξ .
In order to fully specify the model, it remains to provide the function G ( r ) . For simplicity, and to avoid shell crossing singularities, we shall assume
G = α r
where α is a positive constant with dimensions [ 1 / l e n g t h ] .
Using the above expressions, the areal radius of the boundary surface becomes
ω R Σ = t * 1 / 2
whereas for the physical variables, we obtain
8 π μ ω 2 = 3 ( 4 Ω 3 t * ) [ Ω 3 / 2 + ( 1 z ) e ( 3 / 2 ) t * 1 / 2 ] + 7 t * Ω 3 / 2 ( 4 Ω 3 t * ) [ Ω 3 / 2 + ( 1 z ) e ( 3 / 2 ) t * 1 / 2 ] + 3 t * Ω 3 / 2 ,
8 π q ω 2 = 12 t * 1 / 2 Ω 3 / 4 Ω 3 / 2 + ( 1 z ) e ( 3 / 2 ) t * 1 / 2 1 / 2 ( 4 Ω 3 t * ) Ω 3 / 2 + ( 1 z ) e ( 3 / 2 ) t * 1 / 2 + 3 t * Ω 3 / 2 ,
8 π P r ω 2 = 3 + 12 Ω 3 / 2 + ( 1 z ) e ( 3 / 2 ) t * 1 / 2 ( 4 Ω 3 t * ) Ω 3 / 2 + ( 1 z ) e ( 3 / 2 ) t * 1 / 2 + 3 t * Ω 3 / 2 ,
where Ω 1 + t * 1 / 2 ; t * ω 2 b t ; z r r Σ , and we assume α r Σ = 1 .
The temperature and the tangential pressure for this model may be calculated using (22), (98), and (92); however, the resulting expressions are cumbersome and not very illuminating. Accordingly, we will dispense with these expressions and the corresponding graphics.
Figure 3 depicts the evolution and spatial distribution of μ , P r , q for this model, which represents an ever-expanding sphere starting from a singularity.

4.2.3. Models with Y T F = σ = 0

We shall now relax the condition of the Q H evolution. In order to be able to integrate the system of field equations, we need an additional condition, which we choose to be the shear-free condition. The motivation of assuming such a restriction stems from the role played by shear in the collapse of dissipative fluid spheres (see [37,38,39] and references therein). Obviously in this case we cannot assume Q H since that would imply, due to (31), that q = 0 .
The general shear-free case for dissipative Euclidean stars has been considered in [1]. In such a case, the line element can be written as [40]
d s 2 = A 2 d t 2 + B 2 [ d r 2 + r 2 ( d θ 2 + sin 2 θ d ϕ 2 ) ] ,
and the Euclidean condition becomes
B = f ( t ) ,
implying
R = f ( t ) r ,
where f is an arbitrary function of t.
The field Equations (36)–(39) now read
8 π μ = 3 A 2 f ˙ f 2 ,
8 π q = 2 f ˙ f 2 A A 2 ,
8 π P r = 1 A 2 2 f ¨ f 2 A ˙ A f ˙ f f ˙ f + 2 f 2 r A A ,
8 π P = 1 A 2 2 f ¨ f 2 A ˙ A f ˙ f f ˙ f + 1 f 2 A A + 1 r A A .
From (105) and (106), we have
8 π ( P P r ) = 1 f 2 A A A r .
On the other hand, using (101) and (102) in (27), the condition Y T F = 0 becomes
A = A r ,
whose solution reads
A = γ ( t ) r 2 + δ ( t ) ,
where γ and δ are two functions of integration.
From (107) and (108), it follows that the fluid is isotropic, and from (28), it follows that it is also conformally flat.
The general form of all conformally flat and shear-free metrics is known [20] as follows:
A = e 1 t r 2 + 1 B ,
where e 1 is an arbitrary function of t, and
B = 1 e 2 ( t ) r 2 + e 3 ( t ) ,
where e 2 and e 3 are arbitrary functions of t.
The Euclidean condition and the vanishing complexity factor condition then imply
e 2 = 0 , e 3 = 1 f , e 1 = γ f , δ = f .
An approximate solution of this kind has been presented and discussed in [20]. Furthermore, an exact solution is also known [21], which in turn is a particular case of a family of solutions found in [22]. It reads (see Case III in [21])
f ( t ) = ( β 1 + β 2 ) 2 e 2 α r Σ t ,
and
A = ( α r 2 + 1 ) f ,
where α , β 1 , and β 2 are constants. The above solution satisfies junction conditions and its physical properties have been discussed in [21]. Thus we shall not elaborate any further on it. Let us also mention that its physical properties are reasonable, and using (22), it has been shown that relaxation effects play an important role in the evolution of the system.

5. Discussion and Conclusions

The family of Euclidean stars encompasses a large number of solutions to Einstein equations, describing the evolution of spherically symmetric fluid distributions, which may be dissipative or not. Research work devoted to the application of some of these solutions in the study of the structure and evolution of compact objects may be found in [1,2,3,4,5,6,7,8,9,10] and references therein.
The main interest of these solutions stems from the fact that the heuristic condition defining these models is borrowed from Euclidean geometry, thereby allowing for the analytical modeling of stellar evolution, relying on a condition which should hold at least for fields that are not very strong. Additionally, it should be pointed out that such relevant solutions as FRW and some LTB models are members of this family.
Our goal in this work has been to introduce a hierarchical structure of different subfamilies of Euclidean stars based on their degree of complexity. As a measure of complexity, we have resorted to the notion of the complexity factor defined in [11,12], and to the notion of Homologous and quasi-homologous evolution as defined in [12,13].
We have considered both the adiabatic and the dissipative case. In the former case, it appears that the fluid must be geodesic, and therefore, it belongs to the family of LTB solutions, more specifically to the parabolic case of LTB models.
The highest degree of simplicity in this case, which corresponds to the vanishing complexity factor and H evolution, leads to the FRW spacetime. We next relaxed the H condition, maintaining the vanishing of the complexity factor condition. In such a case, we found a family of solutions described by Equations (61)–(64), depending on two arbitrary functions of r.
A specific model of the above mentioned family of solutions was obtained from the additional assumptions given by Equations (65) and (66). Figure 1 and Figure 2 depict the evolution and spatial distribution of the mass function and the physical variables for this model. It is worth stressing that our motivation to present such a model was not to describe any specific astrophysical or cosmological scenario, but just to illustrate the means of obtaining models. The possible application of any model belonging to this family of solutions is out of the scope of this manuscript.
Next, we considered the dissipative case. The first family of solutions of this case satisfies the conditions Y T F = 0 and Q H . This is the simplest family of Euclidean dissipative stars. In general, this family of solutions depends on one arbitrary function of t and one arbitrary function of r. A toy model belonging to this family was constructed by assuming for the two functions mentioned above the conditions (93) and (95). The behavior of the physical variables for this model is depicted in Figure 3. Once again, we should stress the fact that this toy model was obtained only to illustrate the means of obtaining specific solutions corresponding to this family.
Finally, as the last step in order of increasing complexity, we relaxed the Q H condition and considered only the Y T F = 0 condition. To integrate the system, we complemented this latter condition with the shear-free condition, which prevents the system to satisfy the Q H condition. Thus, from the point of view of complexity, this family of solutions satisfies only one of the restrictions based on the notion of complexity. However, as shown above, this family of solutions is also conformally flat, and as a matter of fact, was already known from previous works, with their properties analyzed in detail in [20,21,22].
We would like to conclude by emphasizing the main goal of our endeavor. We looked for a hierarchy of Euclidean stars according to their complexity. As a byproduct of this research, we were able to present an analytical method for the modeling of these stars. The presented examples were proposed simply to illustrate the method. In order to obtain models which could be applied to study specific astrophysical or cosmological scenarios, it would be necessary to relate the arbitrary functions involved in the different families of solutions to relevant observable variables, among which the gravitational surface redshift and the rate of emitted energy are most likely the best candidates (although not the only ones).

Author Contributions

Conceptualization, L.H.; methodology, L.H., A.D.P. and J.O.; software, J.O.; formal analysis, L.H., A.D.P. and J.O.; writing—original draft preparation, L.H.; writing—review and editing, L.H., A.D.P. and J.O.; funding acquisition, L.H. and J.O. All authors have read and agreed to the published version of the manuscript.

Funding

This work was partially supported by the Grant PID2021-122938NB-I00 funded by MCIN/AEI/10.13039/501100011033 and by the ERDF—A way of making Europe, as well as the Consejería de Educación of the Junta de Castilla y León under the Research Project Grupo de Excelencia Ref.:SA097P24 (Fondos Feder y en línea con objetivos RIS3).

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

References

  1. Herrera, L.; Santos, N.O. Collapsing spheres satisfying an Euclidean condition. Gen. Relativ. Gravit. 2010, 42, 2383–2391. [Google Scholar] [CrossRef]
  2. Govinder, K.S.; Govender, M. A general class of Euclidean stars. Gen. Relativ. Gravit. 2010, 44, 147. [Google Scholar] [CrossRef]
  3. Govender, G.; Govender, M.; Govinder, K.S. Thermal behavior of Euclidean stars. Int. J. Mod. Phys. D 2010, 19, 1773. [Google Scholar] [CrossRef]
  4. Abebe, G.; Maharaj, S.; Govinder, K. Generalized Euclidean stars with equation of state. Gen. Relativ. Gravit. 2014, 46, 1733. [Google Scholar] [CrossRef]
  5. Ivanov, B. All solutions for geodesic anisotropic spherical collapse with shear and heat radiation. Astrophys. Space Sci. 2016, 361, 18. [Google Scholar] [CrossRef]
  6. Maharaj, S.; Tiwari, A.; Mohanlal, R.; Narain, R. Riccati equations for bounded radiating systems. J. Math. Phys. 2016, 57, 092501. [Google Scholar] [CrossRef]
  7. Abebe, G.; Maharaj, S. Charged radiating stars with Lie symmetries. Eur. Phys. J. C 2019, 79, 849. [Google Scholar] [CrossRef]
  8. Yousaf, Z.; Bhatti, M.; Naseer, T. Evolution of the charged dynamical radiation spherical structures. Ann. Phys. 2020, 420, 168267. [Google Scholar] [CrossRef]
  9. Yousaf, Z.; Bhatti, M.; Naseer, T. Measure of complexity for dynamical self-gravitating structures. Int. J. Mod. Phys. D 2020, 29, 2050061. [Google Scholar] [CrossRef]
  10. Mumtaz, S.; Manzoor, R.; Sarwar, U. Solutions for anisotropic dissipative collapse in f(R) gravity. New Astron. 2024, 106, 102133. [Google Scholar] [CrossRef]
  11. Herrera, L. New definition of complexity for self–gravitating fluid distributions: The spherically symmetric static case. Phys. Rev. D 2018, 97, 044010. [Google Scholar] [CrossRef]
  12. Herrera, L.; Di Prisco, A.; Ospino, J. Definition of complexity for dynamical spherically symmetric dissipative self–gravitating fluid distributions. Phys. Rev. D 2018, 98, 104059. [Google Scholar] [CrossRef]
  13. Herrera, L.; Di Prisco, A.; Ospino, J. Quasi–homologous evolution of self–gravitating systems with vanishing complexity factor. Eur. Phys. J. C 2020, 80, 631. [Google Scholar] [CrossRef]
  14. Mitra, A. Why gravitational contraction must be accompanied by emission of radiation in both Newtonian and Einstein gravity. Phys. Rev. D 2006, 74, 024010. [Google Scholar] [CrossRef]
  15. Kazanas, D.; Schramm, D.N. Neutrino competition with gravitational radiation during collapse. In Sources of Gravitational Radiation; Cambridge University Press: New York, NY, USA, 1979. [Google Scholar]
  16. Lemaître, G. L’Univers en expansion. Ann. Soc. Sci. Brux. 1933, A 53, 51. [Google Scholar]
  17. Tolman, R.C. Effect of Inhomogeneity on Cosmological Models. Proc. Natl. Acad. Sci. USA 1934, 20, 169. [Google Scholar] [CrossRef]
  18. Bondi, H. Spherically symmetrical models in general relativity. Mon. Not. R. Astron. Soc. 1947, 107, 410. [Google Scholar] [CrossRef]
  19. Sussman, R.A. Quasilocal variables in spherical symmetry: Numerical applications to dark matter and dark energy sources. Phys. Rev. D 2009, 79, 025009. [Google Scholar] [CrossRef]
  20. Herrera, L.; Le Denmat, G.; Santos, N.O.; Wang, A. Shear–free radiating collapse and conformal flatness. Int. J. Mod. Phys. D 2004, 13, 583. [Google Scholar] [CrossRef]
  21. Maharaj, S.D.; Govender, M. Radiating collapse with vanishing Weyl stresses. Int. J. Mod. Phys. D 2005, 14, 667. [Google Scholar] [CrossRef]
  22. Herrera, L.; Di Prisco, A.; Ospino, J. Some analytical models of radiating collapsing spheres. Phys. Rev. D 2006, 74, 044001. [Google Scholar] [CrossRef]
  23. Misner, C.; Sharp, D. Relativistic Equations for Adiabatic, Spherically Symmetric Gravitational Collapse. Phys. Rev. 1964, 136, B571. [Google Scholar] [CrossRef]
  24. Cahill, M.; McVittie, G. Spherical Symmetry and Mass-Energy in General Relativity. I. General Theory. J. Math. Phys. 1970, 11, 1382. [Google Scholar] [CrossRef]
  25. Israel, W. Nonstationary irreversible thermodynamic: A causal relativistic theory. Ann. Phys. 1976, 100, 310–331. [Google Scholar] [CrossRef]
  26. Israel, W.; Stewart, J. Thermodynamic of nonstationary and transient effects in a relativistic gas. Phys. Lett. A 1976, 58, 213–215. [Google Scholar] [CrossRef]
  27. Israel, W.; Stewart, J. Transient relativistic thermodynamics and kinetic theory. Ann. Phys. 1979, 118, 341–372. [Google Scholar] [CrossRef]
  28. Eckart, C. The Thermodynamics of Irreversible Processes. III. Relativistic Theory of the Simple Fluid. Phys. Rev. 1940, 58, 919. [Google Scholar] [CrossRef]
  29. Landau, L.; Lifshitz, E. Fluid Mechanics; Pergamon Press: London, UK, 1959. [Google Scholar]
  30. Triginer, J.; Pavon, D. On the thermodynamics of tilted and collisionless gases in Friedmann–Robertson–Walker spacetimes. Class. Quantum Gravity 1995, 12, 199. [Google Scholar] [CrossRef]
  31. Darmois, G. Memorial des Sciences Mathematiques; Gauthier-Villars: Paris, France, 1927; p. 25. [Google Scholar]
  32. Chan, R. Collapse of a radiating star with shear. Mon. Not. R. Astron. Soc. 1997, 288, 589–595. [Google Scholar] [CrossRef]
  33. Israel, W. Singular hypersurfaces and thin shells in general relativity. Il Nuovo C. B 1966, 44, 1–14. [Google Scholar] [CrossRef]
  34. Schwarzschild, M. Structure and Evolution of the Stars; Dover: New York, NY, USA, 1958. [Google Scholar]
  35. Hansen, C.; Kawaler, S. Stellar Interiors: Physical Principles, Structure and Evolution; Springer: Berlin/Heidelberg, Germany, 1994. [Google Scholar]
  36. Kippenhahn, R.; Weigert, A. Stellar Structure and Evolution; Springer: Berlin/Heidelberg, Germany, 1990. [Google Scholar]
  37. Chan, R. Radiating gravitational collapse with shear revisited. Int. J. Mod. Phys. D 2003, 12, 1131. [Google Scholar] [CrossRef]
  38. Pinheiro, G.; Chan, R. Radiating gravitational collapse with shearing motion an bulk viscosity revisited. Int. J. Mod. Phys. D 2010, 19, 1797. [Google Scholar] [CrossRef]
  39. Govender, M.; Reddy, K.P.; Maharaj, S.D. The role of shear in dissipative gravitational collapse. Int. J. Mod. Phys. D 2014, 23, 1450013. [Google Scholar] [CrossRef]
  40. Glass, E.N. Shear-free gravitational collapse. J. Math. Phys. 1979, 20, 1508. [Google Scholar] [CrossRef]
Figure 1. m * as a function of z in the interval [ 0 , 1 ] , and t * in the interval [ 2 , 10 ] .
Figure 1. m * as a function of z in the interval [ 0 , 1 ] , and t * in the interval [ 2 , 10 ] .
Symmetry 17 01517 g001
Figure 2. 72 π μ r Σ ( e ) 2 , 72 π P r r Σ ( e ) 2 , and 72 π P r Σ ( e ) 2 as functions of z in the interval [ 0 , 1 ] , and t * in the interval [ 2 , 10 ] .
Figure 2. 72 π μ r Σ ( e ) 2 , 72 π P r r Σ ( e ) 2 , and 72 π P r Σ ( e ) 2 as functions of z in the interval [ 0 , 1 ] , and t * in the interval [ 2 , 10 ] .
Symmetry 17 01517 g002
Figure 3. 8 π μ / ω 2 , 8 π P r / 3 ω 2 and 2 π q / 3 ω 2 as functions of z in the interval [ 0 , 1 ] , and t * in the interval [ 0 , 30 ] .
Figure 3. 8 π μ / ω 2 , 8 π P r / 3 ω 2 and 2 π q / 3 ω 2 as functions of z in the interval [ 0 , 1 ] , and t * in the interval [ 0 , 30 ] .
Symmetry 17 01517 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Herrera, L.; Di Prisco, A.; Ospino, J. Complexity Hierarchies in Euclidean Stars. Symmetry 2025, 17, 1517. https://doi.org/10.3390/sym17091517

AMA Style

Herrera L, Di Prisco A, Ospino J. Complexity Hierarchies in Euclidean Stars. Symmetry. 2025; 17(9):1517. https://doi.org/10.3390/sym17091517

Chicago/Turabian Style

Herrera, Luis, Alicia Di Prisco, and Justo Ospino. 2025. "Complexity Hierarchies in Euclidean Stars" Symmetry 17, no. 9: 1517. https://doi.org/10.3390/sym17091517

APA Style

Herrera, L., Di Prisco, A., & Ospino, J. (2025). Complexity Hierarchies in Euclidean Stars. Symmetry, 17(9), 1517. https://doi.org/10.3390/sym17091517

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop