1 Introduction

Self-gravitating thin shells are solutions of a given gravitational theory describing two regions separated by an infinitesimally thin region where matter is confined. Such a system conjugates the notions of vacuum, typical of black holes, together with the presence of matter, which may be described via statistical mechanics and thermodynamics. Thin shells have been frequently employed to probe thermodynamical properties of black holes, see for instance [14,15,16,17, 24] and, by taking them to their own gravitational radius, they can be transformed into quasi-black holes [18], and used to calculate black hole properties (see for instance [12]).Footnote 1 In view of these applications, it is important to determine whether relevant thin-shell configurations are stable, both thermodynamically and dynamically. The thermodynamic stability of a spherically symmetric thin shell in which the interior region is Minkowski’s spacetime and the exterior given by Schwarzschild’s geometry was studied in [20], while the linear dynamical stability of such systems under radial perturbations was analyzed in [2] for a linear EOS, and in [7] for a general EOS. Since these two types of stability yield inequivalent restrictions on the parameter space [20],Footnote 2 we shall present here the results of imposing both types of stability on a neutral thin shell configuration, for different barotropic equations of state, and also for EOS of the type \(P=P(R, \sigma )\). The latter have been used in various settings such as wormholes (see for instance [5, 21, 23]), stars in Eddington-inspired Born–Infeld gravity [10] and gravastars [19], and in cosmology [4, 6], among others. For a given EOS, we shall determine the region of the parameter space of equilibrium configurations of the shell compatible with both types of stability, and with the dominant energy condition (DEC). As a byproduct, we shall obtain evidence supporting the extension of the results linking the maximum mass with the onset of instability [11] to EOS of the type \(P=P(R,\sigma )\).

The paper is organized as follows. In Sect. 2 we shall present a brief review of the relevant equations for the thin shell in equilibrium (mostly following [15]). The equations obeyed by the perturbed shell for an EOS of the type \(P=P(R,\sigma )\) will be introduced in Sect. 3. In Sect. 4 we shall present the analysis of the dynamical stability of the shells for different barotropic EOS, along with the corresponding mass-radius relation \(m=m(R)\). Section 5 is devoted to a non-barotropic EOS. The restrictions following from thermodynamical stability are exhibited in Sect. 6. In Sect. 7 we determine the set of equilibrium states of the shell that are both dynamically and thermodynamically stable. Our closing remarks are presented in Sect. 8.

2 Junction conditions and properties of the thin-shell

Let us consider a two-dimensional timelike massive shell \(\varSigma \) with radius R. The shell divides the spacetime in two parts: i) an inner region \(r<R\), with flat geometry, and ii) an outer region \(r>R\), in which the geometry is described by the Schwarzschild line element. In this way, we can express the metric in both regions as follows:

$$\begin{aligned} ds_{I}^2 = -f_{I}{dt_{I}}^2+g_{I}dr^2 + r^2d\varOmega ^2. \end{aligned}$$
(1)

Here \(I = o, i\) refers either to the outer or inner region, and the functions \(f_{I}\) and \(g_{I}\) are given by

$$\begin{aligned} f_{i}=g_{i}=1,\quad f_{o}={1-\frac{2m}{r} },\quad g_{o}=\left( 1-\frac{2m}{r}\right) ^{-1}, \end{aligned}$$
(2)

where m is the ADM mass, \(d\varOmega ^2\equiv d\theta ^2+\sin {\theta }^2d\phi ^2\).

The metric \(h_{ab}\), defined on \(\varSigma \), i.e. for \(r=R\), is that of a 2-sphere, and can be written as

$$\begin{aligned} ds_{\varSigma }^2 =h_{ab}dy^a dy^b=-d\tau ^2 + R^2(\tau )d\varOmega ^2, \end{aligned}$$
(3)

where \(y^a=(\tau ,\theta ,\phi )\) and R is a function of \(\tau \), the proper time for an observer located on the shell, in the dynamical case. The application of the thin-shell formalism developed in [8] to join the two spacetimes specified in Eqs. (1) and (2) requires the induced metric \(h_{ab}\) to be continuous on the shell, and the discontinuity in the extrinsic curvature to be proportional to the stress-energy tensor on the shell, denoted by \(\mathcal{S^{\mu }_{\,\nu }}\). The latter is given by the surface energy density \(\sigma \) and the tangential pressure p which, for a static shell, are as follows (see for instance [20]):

$$\begin{aligned} {\mathcal{S}^\tau }_\tau&\equiv \sigma _0 =\dfrac{1-\sqrt{1-\frac{2m_0}{R_0}}}{4\pi R_0}, \end{aligned}$$
(4)
$$\begin{aligned} {\mathcal{S}^\theta }_\theta = {\mathcal{S}^\phi }_\phi&\equiv P_0 =\frac{\sqrt{1-\frac{2m_0}{R_0}}-1}{8\pi R_0}+\frac{m_0}{8\pi R_0^2 \sqrt{1-\frac{2m_0}{R_0}}}, \end{aligned}$$
(5)

where the subindex 0 means that the quantities are evaluated at the equilibrium configuration.

The proper mass of the shell, denoted by M, is given by \(M=4\pi R_0^2\sigma _0\). The junction conditions also imply that the ADM mass is given by

$$\begin{aligned} m_0=M-\frac{M^2}{2R_0}. \end{aligned}$$
(6)

Hence we can write

$$\begin{aligned} P_0(M,R_0)&= \frac{M^2}{16\pi R_0^2(R_0-M)}, \end{aligned}$$
(7)
$$\begin{aligned} \sigma _0(M,R_0)&= \frac{M}{4\pi R_0^2}. \end{aligned}$$
(8)

We shall assume that \(\sigma _0\) and \(P_0\) are non-negative (hence \(M>0\)) and \(R_0\ge 2m_0\).Footnote 3

Notice that by inverting Eqs. (7) and (8) we obtain \(R_0(P_0,\sigma _0)\) and \(M(P_0,\sigma _0)\) respectively given by

$$\begin{aligned} R_0(P_0,\sigma _0)&=\frac{P_0}{\pi \sigma _0(\sigma _0+4P_0)}, \end{aligned}$$
(9)
$$\begin{aligned} M(P_0,\sigma _0)&= \frac{4P_0^2}{\pi \sigma _0(\sigma _0+4P_0)^2}. \end{aligned}$$
(10)

Using Eqs. (6) and (10) it follows that

$$\begin{aligned} m_0(M,R_0)&= 4\pi \sigma _0 R_0^2(1-2\pi \sigma _0 R_0). \end{aligned}$$
(11)

Equations (9) and (11) describe the mechanical equilibrium of the shell, and will be used in the analysis of the linear stability and to build the \(m_0=m_0(R_0)\) diagrams for a given EOS, as we shall see in Sect. 4.

Before moving to the dynamical stability of the shell, let us introduce the redshift of the shell, defined as

$$\begin{aligned} k=\sqrt{1-\frac{2m_0}{R_0}}. \end{aligned}$$
(12)

It follows that \(M=R_0(1-k)\).

3 Dynamical stability

We shall outline here the steps that lead to the condition for the linear dynamical stability of the shells introduced in the previous section. While Eqs. (7) and (8) describe the equilibrium state of the shell, the corresponding expressions for a dynamical shell are (see for instance [5, 7])Footnote 4

$$\begin{aligned} \sigma =&\frac{1}{4\pi }\frac{\sqrt{f_o(R)+\dot{R}^2}-\sqrt{f_i(R)+\dot{R}^2}}{R}, \end{aligned}$$
(13)
$$\begin{aligned} P=&\frac{1}{8\pi }\left[ \frac{2{\ddot{R}}+f_o'(R)}{2\sqrt{f_o(R)+\dot{R}^2}}-\frac{2{\ddot{R}}+f_i'(R)}{2\sqrt{f_o(R)+\dot{R}^2}}\right. \nonumber \\&+\left. \frac{\sqrt{f_o(R)+\dot{R}^2}-\sqrt{f_i(R)+\dot{R}^2}}{R} \right] , \end{aligned}$$
(14)

where \(f_i(R)\) and \(f_o(R)\) are defined in Eq. (2), and the overdot denotes the derivative with respect to \(\tau \). These quantities obey the equation that follows from the conservation of \(\mathcal{S}^\mu _{\;\nu }\), namely

$$\begin{aligned} \frac{d\sigma }{dR}+\frac{2}{R}(P+\sigma ) = 0. \end{aligned}$$
(15)

A radial perturbation of an equilibrium configuration with \(R=R_0\) causes R, \(\sigma \) and P to become functions of \(\tau \). Assuming an EOS of the type \(P=P(R,\sigma )\), it follows from Eqs. (13) and (15) that the evolution of the shell is governed by the equation [7]

$$\begin{aligned} \dot{R}^2 + V(R,\sigma (R))=0, \end{aligned}$$
(16)

where

$$\begin{aligned} V (R)=\,&\frac{1}{2} \,({ f_i} \left( R \right) +{f_o} \left( R \right) ) -{ \frac{1}{64}}\,{\frac{ \left( {f_i} \left( R \right) -{f_o} \left( R \right) \right) ^{2}}{{\pi }^{2}{R}^{2} \sigma \left( R \right) ^{2}}}\nonumber \\&-4\,{\pi }^{2}{R}^{2} \sigma \left( R \right) ^{2}. \end{aligned}$$
(17)

The linear stability of the shell can be studied by expanding the potential V(R) around the equilibrium state up to second order in \(x=R-R_0\), hence obtaining

$$\begin{aligned} \frac{d^2x}{d\tau ^2}+\omega _0^2 x = 0. \end{aligned}$$

Stability implies that

$$\begin{aligned} \omega _0^2\equiv \frac{1}{2} \left. \frac{d^2V}{dR^2}\right| _{R_0}>0. \end{aligned}$$
(18)

The calculation of \(\omega _0^2\) involves \(\frac{d\sigma }{dR}\) (which is given by Eq. 15), and \(\frac{d^2\sigma }{dR^2}\), which is obtained by taking the derivative of Eq. (15). For a general EOS of the type \(P=P(R,\sigma )\), \(\omega _0^2\) is given by [7]:

$$\begin{aligned} \omega _0^2= & {} \frac{1}{2} \left\{ -16\pi \,{\frac{H_0F_0 }{F_0-H_0}}\,{\varOmega _{10}}+2 \,\frac{H_0(2F_0^2-f'_{10}R_0)-F_0(2H_0^2-f'_{20}R_0)}{(F_0-H_0)R_0^2}\varOmega _{20} \right. \nonumber \\&\left. +\,\,\frac{\left[ 4F_0^4-2R_0F_0^2(f'_{10}+R_0f''_{10})+R_0^2f_{10}^{'2}\right] H_0^3-\left[ 4H_0^2-2R_0H_0^2(f'_{20}+R_0f''_{20})+R_0^2f_{20}^{'2} \right] F_0^3}{2(F_0-H_0)F_0^2H_0^2R_0^2}\right\} , \end{aligned}$$
(19)

where \(F_0\equiv \sqrt{f_{i0}}\), \(H_0\equiv \sqrt{f_{o0}}\), and

$$\begin{aligned} \varOmega _{10}&\equiv \left. \frac{dP}{dR}\right| _{R_0} , \end{aligned}$$
(20)
$$\begin{aligned} \varOmega _{20}&\equiv \left. \frac{dP}{d\sigma }\right| _{R_0} . \end{aligned}$$
(21)

The line dividing stability from instability is given by \(\omega _0^2=0\) which, using Eq. (2), leads to the following expression for the critical values of \(\varOmega _{20}\):

$$\begin{aligned} \varOmega _{20c}&= \frac{A\;\varOmega _{10c}+B}{D} \end{aligned}$$
(22)

where

$$\begin{aligned} A= & {} \pi {R_0}^{3} \left[ 8\left( 2 \,{R_0}^{2}+6 {m_0}^{2}-7 \,{R_0}m_0 \right) u\right. \\&\quad \left. + 72 \,{R_0}^2 m_0+32 \,{m_0}^{3}-96 \,{R_0}{m_0}^{2}-16 \,{R_0}^{3} \right] , \\ B= & {} \left[ {m_0}^{2}( 3\,{m_0} -15\,R_0)+{R_0}^{2} (14\,m_0-4\,{R_0}) \right] u\\&\quad + R_0 [ m_0 ( 27\,{m_0}{R_0}^{2}-13\,{m_0}^{2}- 18\,{R_0}^{2}) +4\,{R_0}^{3}],\\ D= & {} 2\left[ {R_0}^{2}( 4\,{R_0}-18\,m_0)+ {m_0}^{2} (23\,R_0-6\,{m_0}) \right] u\\&\quad + R_0 [ -4\,{R_0}^{3}+ m_0( 22\,{R_0}^{2}-39\,{m_0}{R_0}+22\,{m_0}^{2})], \end{aligned}$$

with \(u\equiv \sqrt{R_0(R_0-2m_0)}\). Equation (22), valid for an arbitrary EOS of the form \(P=P(R,\sigma )\), determines regions of stability in a certain space of parameters. In particular, in the barotropic case, \(\varOmega _{10}=0\), and \(\varOmega _{20c}=B/D\) defines the surface \(\varOmega _{20c} = \varOmega _{20c} (m_0, R_0)\). Any equilibrium configuration with \((m_0,R_0)\) such that \(\varOmega _{20} \) is greater that \(\varOmega _{20c}\) will be stable.Footnote 5 In the non-barotropic case, Eq. (22) defines a 3-d surface by \(\varOmega _{20c} = \varOmega _{20c} (m_0, R_0, \varOmega _{10c})\).

When a specific EOS is chosen, there are other constraints that must be taken into account. As we shall see in Sect. 4, using the equilibrium equations (4) and (5) for a given EOS, we can obtain the derivatives of the EOS as \(\varOmega _{10}=\varOmega _{10}(m_0,R_0;\kappa )\), and \( \varOmega _{20} = \varOmega _{20}(m_0,R_0;\kappa )\), where \(\kappa \) denotes the parameters of the EOS. The EOS and the equilibrium equations also yield \(m=m(R_0;\kappa )\). Combining the latter with the equation (21) for \(\varOmega _{20}\) we obtain \(\varOmega _{20}=\varOmega _{20}(R'_0)\), where \(R_0'\) is the radius of the equilibrium configuration normalized using the dimension-full parameter of the EOS. Using \(m=m(R_0;\kappa )\) and the equation for \(\varOmega _{10}\) in the Eq. (22) for \(\varOmega _{20c}\), we obtain \(\varOmega _{20c}=\varOmega _{20c}(R'_0)\), The dynamically stable configurations for the given EOS will be those with \(\varOmega _{20}(R'_0) > \varOmega _{20c}(R'_0)\). We shall consider in the next section the dynamical stability of the shell presented in Sect. 2 for several relevant examples of EOS.

4 Dynamical stability for different EOS and the \(m_0=m_0(R_0)\) curve

Let us apply next the discussion of the previous section to several EOS of interest, to determine the regions of dynamical stability in the \((m_0, R_0)\) plane, as well as the actual equilibrium states given by the \(m_0=m_0( R_0)\) curve. It is important to note that the results from the dynamical stability analysis we shall present are in agreement with the criterion of the maximum of the \(m_0=m_0(R_0)\) diagram, a fact that was proved in [11] for the case of a barotropic EOS. Our results suggest that the criterion is also valid for EOS of the form \(P=P(R,\sigma )\). All the \(m_0=m_0( R_0)\) curves stop at the point where the DEC \(P\le \sigma \) ceases to be satisfied.

4.1 Quadratic and barotropic EOS

We shall start with the example of a barotropic EOS, given by

$$\begin{aligned} P = \beta \sigma ^2, \end{aligned}$$
(23)

where \([\beta ]=L\). Such an equation models the non-relati-vistic limit of a two-dimensional ideal Fermi gas at \(T=0\), discussed in Sect. 4.2. The constant \(\beta \) can be used to render dimensionless all the variables in the problem as follows: \(\sigma ^{*}=\beta \sigma \), \(P^{*}=\beta P\), \(R^{*}=R/\beta \), and \(m^{*}=m/\beta \). In these variables, Eq. (23) reads \(P^{*}=\sigma ^{*2}\). Substituting P into Eq. (9) we obtain \(\sigma _0=\sigma _0(R_0)\) which, in dimensionless form, is given by

$$\begin{aligned} \sigma ^{*}_0(R^{*}_0)=\frac{1}{4}\left( \frac{1}{\pi R^{*}_0}-1\right) . \end{aligned}$$
(24)

Using \(\sigma ^{*}_0(R^{*}_0)\) in Eq. (11) we obtain the corresponding \(m_0^{*}(R_0^{*})\) relation:

$$\begin{aligned} m^{*}_0(R^{*}_0)=\frac{1}{2}R^{*}_0\left( 1-\pi ^2 R_0^{*2}\right) . \end{aligned}$$
(25)

In the domain \(R^{*}_0\ge 0\), the function \(m_0^{*}(R_0^{*})\) has a maximum for \(R^{*}_{0max}=1/\left( \pi \sqrt{3}\right) \), resulting in \(m^{*}_{0max}=1/\left( 3\pi \sqrt{3}\right) \). The \(m^{*}_0=m^{*}_0(R^{*}_0)\) curve for this case is shown in Fig. 1.

Fig. 1
figure 1

The figure shows the \(m^{*}_0(R^{*}_0)\) diagram for the EOS \(P=\beta \sigma ^2\), as well as the critical values of \(\varOmega _2\) that follow from dynamical stability (see Eq. 22), and those that follow from the EOS, in red and blue, respectively

In the low energy density limit \((\sigma ^{*}\rightarrow 0)\), we can see that \(m^{*}\rightarrow 0\) and \(R^{*}\rightarrow 1/\pi \) (thus indicating that this EOS allows shells with very low mass). In the high energy density limit \((\sigma ^{*}\rightarrow \infty )\), we have \(m^{*}\rightarrow 0\) and \(R^{*}\rightarrow 0\), however this region of the curve is not depicted because it violates the DEC. Notice also that \(m_0^{*}(R^{*}_0)\) given by (25) satisfies \(2m^{*}_0<R^{*}_0\), which is a constraint from the theory of thin shells [15].

Next we indicate how to obtain the curves for \(\varOmega _{20c}\) and \(\varOmega _{20}\) of Sect. 3. Using Eqs. (25) in (22) with \(\varOmega _{10c}=0\), the curve \(\varOmega _{20c}=\varOmega _{20c}(R^{*}_0)\) follows, plotted in red in Fig. 1. For \(\varOmega _{20}\) we use that \(\varOmega _{20}\equiv \left. \frac{dP}{d\sigma }\right| _0= 2\sigma ^{*}_0\), where \(\sigma ^{*}_0\) is given by Eq. (24). This yields \(\varOmega _{20}=\varOmega _{20}(R^{*}_0)\), plotted in blue in Fig. 1. The curve \(\varOmega _{20}(R^{*}_0)\) intersects \(\varOmega _{20c}(R^{*}_0)\) exactly at the value of \(R^{*}_0\) corresponding to the maximum of the \(m^{*}_0(R^{*}_0)\) curve, and all the configurations on the curve to the right of this point (\(\varOmega _{20}>\varOmega _{20c}\)) are stable.

4.2 A relativistic EOS (EOS I)

As shown in the Appendix, the EOS for a system of non-interacting relativistic fermions in 2d at \(T=0\) is given by

$$\begin{aligned} \sigma _0&= \frac{\alpha }{3\pi }\left[ \left( x^2+1\right) ^{3/2}-1\right] , \end{aligned}$$
(26)
$$\begin{aligned} P_0&=\frac{\alpha }{3\pi }\left[ \frac{1}{2}(x^2-2)\sqrt{x^2+1}+1\right] , \end{aligned}$$
(27)

with \(x=p_F/mc\), \(\alpha =mc^2/\lambda ^2\) and \(\lambda =\hbar /mc\). Following the same steps as in Sect. 4.1, where the dimensionless variables are now \(\sigma ^{*}=\sigma /\alpha \), \(P^{*}=P/\alpha \), \(R^{*}=\alpha R\), and \(m^{*}=\alpha m\), we obtain the plots shown in Fig. 2.

Fig. 2
figure 2

The figure shows the \(m^{*}_0=m^{*}_0(R^{*}_0)\) diagram for the relativistic EOS defined by Eqs. (26) and (27), as well as the critical values of \(\varOmega _2\) that follow from dynamical stability and those that follow from the EOS, in red and blue, respectively

The values to the right of the maximum at \((R^{*}_{0max},m^{*}_{0max})= (0.26545,0.060666)\) are stable. In the low energy density limit \((\sigma ^{*}\rightarrow 0)\), the plots show that \(m^{*}\rightarrow 0\) and \(R^{*}\rightarrow 0.5\) (indicating that this EOS also allows shells with very low mass), while in the high energy density limit \((\sigma ^{*}\rightarrow \infty )\), \(m^{*}\rightarrow 0\) and \(R^{*}\rightarrow 0\). The DEC is satisfied along the whole curve as expected, together with the constraint \(2m_0^{*}<R_0^{*}\).

4.3 A more general barotropic EOS (EOS II)

Let us to study now the EOS II given by

$$\begin{aligned} P&=\beta \sigma ^n, \end{aligned}$$
(28)

where \([\beta ]=L^{n-1}\). The case \(n=2\) corresponds to the case studied in Sect. 4.1. Equations (9) and (11) now read

$$\begin{aligned} R_0(\sigma _0)&=\frac{\beta \sigma _0^{n-2}}{\pi (1+4\beta \sigma _0^{n-1})}, \end{aligned}$$
(29)
$$\begin{aligned} m_0(\sigma _0)&=4\pi \sigma R_0^2 (1-2\pi \sigma _0 R_0). \end{aligned}$$
(30)

Defining the dimensionless quantities \(\sigma ^{*}\), \(P^{*}\), \(R^{*}\) and \(m^{*}\) by

$$\begin{aligned} \sigma ^{*}&=\beta ^{\frac{1}{n-1}}\sigma , \end{aligned}$$
(31)
$$\begin{aligned} P^{*}&=\beta ^{\frac{1}{n-1}}P, \end{aligned}$$
(32)
$$\begin{aligned} R^{*}&=\beta ^{\frac{1}{1-n}}R, \end{aligned}$$
(33)
$$\begin{aligned} m^{*}&=\beta ^{\frac{1}{1-n}}m, \end{aligned}$$
(34)

equations (28), (29) and (30) read

$$\begin{aligned} P_0^{*}&=\sigma _0^{*n}, \end{aligned}$$
(35)
$$\begin{aligned} R_0^{*}&=\frac{\sigma _0^{*n}{n-2}}{\pi (1+4\sigma _0^{*(n-1)})}, \end{aligned}$$
(36)
$$\begin{aligned} m_0^{*}&=4\pi \sigma _0^{*} R_0^{*2} (1-2\pi \sigma _0^{*} R_0^{*}). \end{aligned}$$
(37)

Equations (36) and (37) can be solved numerically to build the \(m^{*}_0=m^{*}_0(R^*_0)\) curves, an example of which is shown in Fig. 3 (for \(n=2.5\)). The curves corresponding to \(\varOmega _{20c}\) and \(\varOmega _{20}\) are also shown. The stability interval goes from the maximum of the \(m^{*}_0=m^{*}_0(R^{*}_0)\) curve (which again coincides with the crossing of the \(\varOmega _{20}\) curves), all the way down to small values of \(m^{*}_0\) and \(R^{*}_0\).

Fig. 3
figure 3

The figure shows the \(m^{*}_0=m^{*}_0(R^{*}_0)\) diagram for the EOS \(P=\beta \sigma ^{2.5}\), as well as the curves for \(\varOmega _{20c}\) and \(\varOmega _{20}\)

The upper panel of Fig. 4 shows the \(m^{*}_0=m^{*}_0(R^{*}_0)\) curves for \(n=3.0,3.5,4.0\) (dashed line), the associated \(k=k(R_0)\) curves (Eq. 12) for each case (full line), and the smallest value of k (\(k_{min}=1/5\)) which satisfies the DEC (these curves will be useful below). The \(\varOmega _{20c}\) and \(\varOmega _{20}\) curves are displayed in the lower panel. In all cases, the value of \(R^{*}_0\) corresponding to the maximum of the \(m_0^{*}=m_0^{*}(R_0^{*})\) curve coincides with that of the crossing of the \(\varOmega _2\) curves. Also, all cases approach \(m^{*}=R^{*}=0\) for \(\sigma ^{*}\rightarrow \infty \) (high-energy limit, not shown due to the DEC violation) and \(\sigma ^{*}\rightarrow 0\) (low-energy limit), and verify the condition \(2m_0^{*}< R_0^{*}\). Notice also that in the dimensionless quantities we are using, all the \(m_0^{*}=m_0^{*}(R_0^{*})\) curves end at the same point, where the DEC is marginally satisfied (i.e. \(P_0^{*}=\sigma _0^{*}\)).

Fig. 4
figure 4

Upper panel: \(m_0^{*}=m_0^{*}(R_0^{*})\) (dashed line) and \(k=k(R_0^{*})\) curves (full line) for EOS II and several values of n. \(k_{min}=1/5\) is the smallest value of k which satisfies the DEC. Lower panel: plots of \(\varOmega _{20}\) and \(\varOmega _{20c}\) in terms of \(R^{*}_0\) for different values of n in EOS II. Regarding \(m^*_0\) and \(\varOmega _{20}\), note that the value of the \(R^{*}_0\) coordinate of each of the coloured dots in the upper and lower panels is the same

5 A non-barotropic EOS (EOS III)

In this section we shall explore the dynamically stable equilibrium configurations that follow from the non-barotropic EOS given by [23]

$$\begin{aligned} P(R,\sigma )&=\frac{A}{R^n}\sigma , \end{aligned}$$
(38)

where \([A]=L^n\). Defining for convenience the dimensionless energy density, pressure, radius and mass as

$$\begin{aligned} \sigma ^{*}&= \sigma A^{1/n}, \end{aligned}$$
(39)
$$\begin{aligned} P_0^{*}&= P A^{1/n}, \end{aligned}$$
(40)
$$\begin{aligned} R^{*}&= \frac{R}{A^{1/n}}, \end{aligned}$$
(41)
$$\begin{aligned} m^{*}&= \frac{m}{A^{1/n}}, \end{aligned}$$
(42)

and using the EOS in the equations for the mechanical equilibrium of the shell, given in Eqs. (9) and (11), the following \(m_0^{*}(R_0^{*})\) relation is obtained:

$$\begin{aligned} m_0^{*}(R_0^{*})&= \frac{4R_0^{*}(R_0^{*n}+2)}{(R_0^{*n}+4)^2}. \end{aligned}$$
(43)

The extremum is given at

$$\begin{aligned} R_{0m}^{*}&=\left( \frac{3+\sqrt{8n+1}}{n-1}\right) ^{1/n}\;\;\;,\; \mathrm{for}\; n>1. \end{aligned}$$
(44)

The maximum in the \(m_0^{*}=m_0^{*}(R_0^{*})\) diagram, is given by

$$\begin{aligned} m_{0max}^{*}=m_0^{*}(R_{0m}^{*})=\,&4(n-1)\left( \frac{3+\sqrt{8n+1}}{n-1}\right) ^{1/n}\nonumber \\&\left( \frac{\sqrt{8n+1}+2n+1}{\sqrt{8n+1}+4n-1}\right) ,\;\;n>1. \end{aligned}$$
(45)

The \(m^{*}_0=m^{*}_0(R^{*}_0)\) curve for \(n=3\) is shown in Fig. 5.

Fig. 5
figure 5

\(m^{*}_0=m^{*}_0(R^{*}_0)\) diagram, as well as \(\varOmega _{20}\) and \(\varOmega _{20c}\) curves for EOS III with \(n=3\)

The stable equilibrium configurations are those located to the right of the maximum, in correlation with the crossing of the \(\varOmega _2\) curves. Notice that there are configurations with very small \(m^{*}_0\) and very large \(R^{*}_0\). The \(m^{*}_0=m^{*}_0(R^{*}_0)\) curves for several values of n are shown in the upper panel of Fig. 6 (dashed line) together with the corresponding \(k(R^{*}_0)\) curves (full line), while the associated \(\varOmega _2\) curves are displayed in the lower panel. In all cases, the value of \(R^{*}_0\) at the maximum of \(m_0^{*}=m_0^{*}(R_0^{*})\) coincides with that of the crossing of the \(\varOmega _2\) curves.

Fig. 6
figure 6

Upper panel: The figure shows the \(m_0^{*}=m_0^{*}(R_0^{*})\) (dashed line) and \(k=k(R_0^{*})\) curves (full line) for EOS III and several values of n. \(k_{min}=1/5\) is the smallest value of k which satisfies the DEC. Lower panel: \(\varOmega _{20}\) and \(\varOmega _{20c}\) curves for different values of n for the non-barotropic EOS III. As in Fig.4 regarding \(m^*_0\) and \(\varOmega _{20}\), the value of the \(R^{*}_0\) coordinate of each of the coloured dots in the upper and lower panels is the same

6 Thermodynamical stability

We shall compare next the results presented in the previous sections (via dynamical stability) with those originating from thermodynamical stability. This type of stability was studied for the neutral shell in [20]. Two equations of state were used there, a phenomenological one for the temperature, and the one that follows from the junction conditions (Eq. (7)), to obtain the entropy of a thin shell with constant number of particles. Starting from the first law:

$$\begin{aligned} dS = \beta dM + p dA, \end{aligned}$$
(46)

where \(\beta \equiv 1/T\) and \(A\equiv 4\pi R^2\), Martinez showed that, as a consequence of Eq. (7) and the integrability condition for S, the function \(\beta \) must have the form

$$\begin{aligned} \beta (M,R)=b(r_+)k, \end{aligned}$$
(47)

where b is an arbitrary function of \(r_+(M,R_0)=2m(M,R_0)\), and k is given in Eq. (12). The explicit form of the function b should be obtained from an explicit model of the matter that composes the shell. The following phenomenological form was chosen in [20]:

$$\begin{aligned} b(r_+;\eta ,a)=\frac{2\eta }{{\ell _P}^{1+a}}\,r_+^a, \end{aligned}$$
(48)

where \(\eta \) and a are dimensionless coefficients. Such a choice leads to

$$\begin{aligned} S(M,R_0;\eta ,a)=\frac{\eta }{1+a}\left( \frac{r_+}{{\ell }_P}\right) ^{1+a}+S_0, \end{aligned}$$
(49)

for \(a\ne -1\). This expression reduces to the Bekenstein–Hawking entropy for \(a=1\) and \(\eta = 2\pi \). By demanding that a zero mass shell possess null entropy, it follows that \(S_0=0\) and \(a>-1\).

The regions of thermodynamical stability in the (MR) plane are determined by the conditions

$$\begin{aligned} \left( \frac{\partial ^2 S}{\partial M^2}\right) _A \le 0, \end{aligned}$$
(50)
$$\begin{aligned} \left( \frac{\partial ^2 S}{\partial A^2}\right) _M \le 0, \end{aligned}$$
(51)
$$\begin{aligned} \left( \frac{\partial ^2 S}{\partial M^2}\right) _A \left( \frac{\partial ^2 S}{\partial A^2}\right) _M -\left( \frac{\partial ^2 S}{\partial M\partial A}\right) ^2 \ge 0. \end{aligned}$$
(52)

As shown in [20], these conditions are more concisely expressed in terms of k. Together with the normalization of the entropy and the DEC, they imply that

$$\begin{aligned} -1&< a \le \frac{12}{19} \end{aligned}$$

for a stable shell. For \(-1<a\le 0\) the stability conditions do not constrain the value of k, hence the sole constraint for stability is that coming from the dominant energy condition, namely \(R\ge \frac{25}{24}r_+\), or \(k\ge 1/5\). The stability condition with the crossed derivatives leads to

$$\begin{aligned} (3a+1)k^2+2ak+(a-1)\le 0, \end{aligned}$$
(53)

which is automatically satisfied for \(a\le 0\), but restricts the values of k for \(0<a\le 12/19\).

7 Dynamical and thermodynamical stability

Before presenting the results for all the EOS considered here with the Ansatz in Eq. (48), let us give an example. Figure 7 shows the \(m^{*}_0=m^{*}_0(R^{*}_0)\) diagram for the EOS II with \(n=2\), and the values of k obtained from its definition, using the equilibrium curve \(m^{*}_0=m^{*}_0(R^{*}_0)\).

Fig. 7
figure 7

Dynamic and thermodynamic stability regions for EOS II with \(n=2\) and \(a=0.06\). The states with \(k<k_{min}=1/5\) (which corresponds to \(a>a_{max}=12/19\)) violate the DEC. The allowed values of k for thermodynamic stability satisfy \(k_{min}< k <k_{max}\), where \(k_{max}=0.843130\) follows from Eq. (53). The allowed values of k for dynamical stability satisfy \(k_{m^{*}}<k\), where \(k_{m^{*}}=1/\sqrt{3}\) corresponds to the maximum of the curve \(m^{*}_0=m^{*}_0( R^{*}_0)\)

For the case at hand, such a curve is given by Eq. (25), which results in \(k(R^{*}_0)=\pi R_0^{*}\). The points that are dynamically stable are those on the curve to the right of \(A_{m^{*}}\), which correspond to the interval \(k>k_{m^{*}}=1/\sqrt{3}\). The thermodynamical stability region is \(k_{min}<k<k_{max}\), where \(k_{max}=0.843130\) is determined by Eq. (53) with \(a =0.06\). Hence, the states that are both thermodynamically and dynamically stable are those between the points \(A_{m^{*}}\) and \(B_{m^{*}}\) in the \(m^{*}_0=m^{*}_0(R^{*}_0)\) curve. Figure 8 presents the region in the (ak) plane which correspond to configurations that are thermodynamically stable (which are those between the horizontal line \(k_{min}\) and the curve \(k_{max}=k_{max}(a)\)), as well as that of dynamically stable configurations (which are those above the horizontal line \(k_{m^{*}}\)). The intersection of these regions yields the set of points (ak) associated to configurations that are both thermodynamically and dynamically stable.

Fig. 8
figure 8

Dynamic and thermodynamic stability for EOS II with \(n=2\) in the (ak) plane. The curve \(k_{max}(a)\) follow from Eq. (53). The points \(A_k\) and \(B_k\) are those in Fig. 7

Figure 9 presents the results in the (ak) plane for all the EOS we have examined.

Fig. 9
figure 9

Dynamic and thermodynamic stability for all the EOS examined here. The states with \(k<k_{min}=1/5\) (which corresponds to \(a>a_{max}=12/19\)) violate the DEC. The allowed values of k for thermodynamic stability are those below the \(k_{max}(a)\) curve, determined by Eq. 53, and above \(k_{min}\). The allowed values of k for dynamical stability are those above the value of k on the curve for each EOS, which corresponds to the value of \(k_{m^*}\) of the maximum of the curve \(m^{*}_0=m^{*}_0(R^{*}_0)\) for each EOS

For a given value of a, the thermodynamically stable configurations are those with \(k_{min}<k<k_{max}\). Also shown in the plot are the points at which the horizontal line associated to the value of k corresponding to the maximum of the \(m^{*}_0=m^{*}_0(R^{*}_0)\) curve (\(k_{m^{*}}\)) intersects the \(k_{max}=k_{max}(a)\) curve, obtained from Eq. (53). For a given EOS, the configurations that are both thermodynamically and dynamically stable are those above the horizontal line that crosses the corresponding point and below the \(k_{max}=k_{max}(a)\) curve. The plot clearly shows that the requirement of thermodynamical stability greatly restricts the region of the parameter space allowed by the dynamical stability. It also follows from our results that the region associated to dynamical stability is larger for larger values of n, for both types of EOS considered here. This is to be expected since a larger n is associated with stiffer matter.

8 Closing remarks

We have examined the dynamical and thermodynamical stability of neutral mass shells for different equations of state, described by \(P=P(R,\sigma )\). To attain this goal, the condition for dynamical stability valid for an arbitrary EOS (obtained in previous works) given in terms of the derivatives \(\varOmega _1=\frac{dP}{dR}\) and \(\varOmega _2=\frac{dP}{d\sigma }\) was adapted to the case of a given EOS, yielding the curve \(\varOmega _{20c}=\varOmega _{20c}(R_0^{*})\). The result was compared to the \(\varOmega _2=\varOmega _2(R_0^{*})\) curve that follows from the given EOS and the equations for a shell in equilibrium, to determine the dynamically stable configurations. Using the criteria for thermodynamical stability and a specific form for the entropy of the shell, the set of thermodynamically stable configurations was also determined. The main result is that thermodynamical stability greatly constraints set of stable equilibrium configurations determined by dynamical stability, due to the upper constraint defined by Eq. (53). Our results also confirm that stable states are those to the right of the maximum of the \(m^{*}_0=m^{*}_0(R^{*}_0)\) curve. Such a link between the maximum mass along a sequence of equilibrium configurations of the shell and the onset of stability was obtained in [11] for the case of a barotropic EOS. Our findings suggest that it can be extended to EOS of the type \(P=P(R,\sigma )\).

The generalization and consequences of our results to the interesting cases of self-gravitating shells in d dimensions [1], and charged [15] and rotating [13] shells are left for future work.