1 Introduction

When physical systems are isolated they tend spontaneously to reach thermodynamic equilibrium. This idea is at the empirical basis of the Second Law of Thermodynamics: that the entropy (S) for closed systems remain constant or increase with time (\(\dot{S}\ge 0\)). The second order entropy derivative with respect to the relevant variable must obey \(\ddot{S}<0\), at least roughly, when the Universe keeps to expand on the infinite future. It leads to thermodynamic equilibrium [1, 2]. One way of assuming the condition on second order derivatives in cosmic expansion is through the Holographic Principle proposed by [3, 4] that was directly applied in Cosmology [5, 6]. This principle assumes that all information is on the Universe horizon surface.

The matter creation in the context of cosmology has been studied by different authors. Ref. [7] investigated particle creation mechanisms using covariant quantized free field equations of elementary particles in the expansion of the Universe. In this work, the author analysed the creation of particles with spin–0 pions, spin–1/2 and particles with zero mass and non-zero rotation.

Prigogine et al. [8] argue that Einstein’s equations for General Relativity are adiabatic and reversible, so they do not allow the production of entropy in a cosmological scenario. The authors proposed a way to solve this problem based on the idea of irreversibility of thermodynamic systems. Authors showed that the Thermodynamics of irreversible systems leads naturally to a reinterpretation of Einstein’s equations, which allows the creation of matter from the gravitational field and consequently the production of entropy. The cosmological history proposed by [8] has three stages: first, from an initial vacuum fluctuation in de Sitter’s space; second, that de Sitter space exists during a time of decay of its constituents; third, a phase transition transforms this de Sitter space into a universe with a Friedman–Robertson–Walker metric that evolves adiabatically on the cosmological scale. An important aspect to be emphasized is that the approach of the matter creation does not consider Dark Matter and Dark Energy scenarios. A natural consequence of this approach is the rate of change in the number of particles, \(\Gamma \simeq 0 \), which spells out the Second Law of Thermodynamics. There are still unanswered questions about the creation mechanism (\( \Gamma \)) from the gravitational field, the physical nature of the particles and how \( \Gamma \) influences the expansion of the universe [9]. Some authors suggest that the type of particles created in this process are limited by local links related to gravity [10,11,12]. These authors showed that radiation does not contribute significantly to the late accelerated expansion of the universe in the dominant dark matter phase. Some later work suggests that the particles produced by the gravitational field are Cold Dark Matter (CDM) particles and that for the rates of matter creation (\( \Gamma \)) may constrain \(\Lambda \)CDM [13,14,15,16,17].

In a recent work [18], the authors present the possibility of a quantum vacuum equation of state associated with the creation of particles by the gravitational field that acts in a vacuum. They analyzed three different matter creation rates \(\Gamma \) and estimated the parameters from SNe Ia, Gamma Ray Bursts (GRBs), Baryon Acoustic Oscillations (BAO) and Hubble parameter data. The authors show that matter creation models can explain the phantom behaviour of our Universe without the need to insert phantom fields [19]. The work proposed by [9] analyses how the process of matter creation happens with the universe expanding. In the context analysed by the authors, the gravitational field induces a process of adiabatic matter creation. In this work, [9] present a generalized model for \( \Gamma \) with three free parameters \( \Gamma = \Gamma _0 + l H ^2 + nH + m/H \) [20, 21]. This model encompasses the transition from the inflationary phase to the radiation phase for adiabatic particle production. In another recent work [22], it is proposed a two-fluid model where one fluid (\( \rho _1 \)) is produced adiabatically and there is another fluid that does not interact with fluid 1 and satisfies the energy conservation equation. One important aspect of the work is the study of the singularities of \(\Gamma \) from the analysis of a series expansion. With this they plot the profiles of q according to the scale parameter (a) for each \( \Gamma \) in relation to the terms of the expansion of \( \Gamma \equiv \Gamma (H)\). Although interesting the idea of a series expansion, we shall restrict ourselves here to the analysis of a simpler and yet broad class of matter creation models.

We will explore in this work the calculations of the total entropy (S) from the holographic principle for five models of matter creation. These models were studied by [23] and it assumes that the creation rate \(\Gamma \) is a function of the Hubble parameter H. Each dark matter creation rate leads to a different cosmic evolution [25,26,27,28,29,30,31].Footnote 1 A common feature of these models is that the Universe starts in an inflationary, de Sitter phase, then it passes through the ages of radiation and matter, where it finally enters the final de Sitter stage. Total entropy (S) at each phase is equal to the sum of each entropy contribution for these different ages. S is the direct sum of the contribution of entropy to radiation, matter and the apparent horizon of the Holographic Principle [3, 4]:

$$\begin{aligned} S = S_{\gamma } + S_{m} + S_{h}; \end{aligned}$$
(1)

where \(S_h=\frac{k_B{\mathcal {A}}}{4\ell _{Pl}^2}\), is the entropy of the apparent horizon, \(S_m\) is entropy of pressureless matter and \(S_\gamma \) is entropy of radiation. \({\mathcal {A}}\) and \(\ell _{Pl}\) denote the area of the horizon and Planck’s length, respectively. In an ever expanding Universe, the conditions \(\dot{S}(t)>0\), \(\ddot{S}(t\rightarrow \infty )<0\) are equivalent to the conditions \(S'(a)>0\), \(S''(a\rightarrow \infty )<0\). Restricting our analysis to this class of models, we shall consider the entropy as a function of the scale factor from now on.

In this work, entropy evolution will be considered, initially based on the model proposed by [26, 27] and the models analyzed by [23]. We can use the conditions on the derivatives of the total entropy to estimate the intervals of validity of free parameters for each model [2]. We shall assume a FRW metric, in agreement with the Cosmological Principle, and a spatially flat universe, as predicted from most inflationary models. However, recently, Ref. [24] have shown from Planck Legacy 2018 dataset analysis that the curvature parameter \(\Omega _k\equiv -k/(a_0^2H_0^2)\) can have a non-zero value, namely, \(-0.095<\Omega _k<-0.007\) at 99% c.l. As this “new” value of \(\Omega _k\) is a controversial theme, and the deviation from spatial flatness seems to be small, we prefer to use the standard value in this work, as predicted by most inflationary models. So, we are restricting our analysis to spatially flat models (\(k=0\)).

2 Creation of cold dark matter models (CCDM)

Models of CCDM used in this work it were statistically analyzed by [23] and have a natural dependence of H (\(\Gamma \equiv \Gamma (H)\)), where \(\Gamma \) as function of Hubble parameter represents a relation between the matter creation and expansion rates. All the CCDM models used here have also free parameters. The models studied here were analyzed by [23] using three statistical criteria: Bayesian Information Criterion (BIC), Akaike Information Criterion (AIC) and Bayesian Evidence (BE) using the SNe Ia dataset. Most of these models can be described by a function \(\Delta =\beta E+\alpha E^{-n}\), where \(\Delta \equiv \frac{\Gamma }{3H}\) and \(E\equiv \frac{H}{H_0}\). So, it corresponds to a creation rate \(\Gamma =3\beta H+3\alpha H_{0}\left( \frac{H_{0}}{H}\right) ^n\).

Another model analyzed in [23] is LJO [34] with \(\Gamma =3\alpha \frac{\rho _{c0}}{\rho _{dm}}H\). The LJO model has the same dynamics as \(\Lambda \text{ CDM }\) concordance model. In LJO, the cosmological constant is exactly mimicked by particle creation. Due to this mimicking, we choose not to analyze this model here, as \(\Lambda \)CDM has already been thoroughly analyzed on [35]. In all models analyzed in this work we have neglected the contribution of baryons. The baryonic contribution is small, \(\sim 5\%\) of Universe content and our results can be more dependent on the assumptions made here in order to estimate entropy rather than baryonic influence. Another important assumption is that Universe is spatially flat as indicated from CMB and preferred by inflation, i.e. \(\Omega _k\equiv 0\) in our analysis. The models studies here are described on Table 1.

Table 1 Models and parameters

3 Methodology

The methodology adopted here consists on analyzing total entropy of the Universe in the context of matter creation models. This analysis allows to estimate the validity interval for free parameters for each model. This idea is based on [2], where authors analyzed first and second order derivatives. It assumes the Second Law of Thermodynamics jointly with the idea that thermodynamic equilibrium must be achieved at some future time. An important aspect of this method is that it takes into account the horizon entropy that came from Holographic Principle [3,4,5] where all the information about Universe is on horizon. The total entropy is given by equation (1) and it is defined as sum of radiation, matter and apparent horizon. Restricting our analysis to CCDM models [23, 27, 36,37,38], entropy was considered as a function of the scale factor. In CCDM, expansion acceleration can be achieved through an effective creation pressure:

$$\begin{aligned} p_c=-\frac{(\rho +p)\Gamma }{3H}=-\frac{\rho \Gamma }{3H}; \end{aligned}$$
(2)

where \(p_c\) is creation pressure, \(\rho \) is dark matter (DM) density (pressure p vanishes for DM), \(\Gamma \) is creation rate and H is Hubble parameter. Relation between Hubble parameter and \(\rho \) is the Friedmann equation:

$$\begin{aligned} H^2=\frac{8\pi G}{3}\rho . \end{aligned}$$
(3)

for spatially flat Universe (\(k=0\)). The equation of continuity for dark matter now reads:

$$\begin{aligned} \dot{\rho }+3H\rho =\Gamma \rho , \end{aligned}$$
(4)

That is \(\Gamma \rho \) is a source (\(\Gamma >0\)) or sink (\(\Gamma <0\)) for dark matter. The Hubble parameter corresponds to the expansion rate, that is, \(H=\dot{a}/a\), so, writing it as a function of scale factor, we have:

$$\begin{aligned} \rho '(a)=\frac{\rho (a)}{aH}(\Gamma -3H). \end{aligned}$$
(5)

where we denoted the derivative with respect to a with a prime. The relation between matter density \(\rho \) and particle number density n is \(\rho =nm\), where m is mass of DM particle, so, we have:

$$\begin{aligned} n'=\frac{n}{aH}(\Gamma -3H). \end{aligned}$$
(6)

The Friedmann equation and continuity equation fully describe the CCDM background dynamics. From these equations we can derive a relation between H and \(\Gamma \):

$$\begin{aligned} \dot{H}+\frac{3}{2}H^2\left( 1-\frac{\Gamma }{3H}\right) =0 \end{aligned}$$
(7)

or, in terms of scale factor,

$$\begin{aligned} H'=-\frac{3H}{2a}\left( 1-\frac{\Gamma }{3H}\right) \end{aligned}$$
(8)

This class of models suggests that matter creation (\(\Gamma >0\)) generates a negative pressure (\(p_c<0\)) which may explain the acceleration of the Universe.

4 Thermodynamics of matter creation models

In our analysis we are interested only on recent and future times, so we shall restrict ourselves to the matter dominated age, as radiation becomes negligible in the past. From equation (1), shown earlier, we will analyze the derivatives of each of the terms for the total entropy: entropy of the apparent horizon, matter and radiation [2].

Entropy of apparent horizon is \(S_{h}=k_{B}{\mathcal {A}}/(4l^2_{Pl})\), where \({\mathcal {A}}\) denotes the area of apparent horizon and \(l_{Pl}\) is Planck’s length. The area of the apparent horizon is given by \({\mathcal {A}}=4\pi \tilde{r}_{\mathcal {A}}^2\), where \(\tilde{r}_{\mathcal {A}}=\frac{1}{\sqrt{H^2+ka^{-2}}}\). As explained above, we are restricting our analysis to spatially flat models (\(k=0\)). This assumption yields \(\tilde{r}_{\mathcal {A}}=H^{-1}\) and \({\mathcal {A}}=4\pi H^{-2}\). In this case, the horizon entropy reads:

$$\begin{aligned} S_h=\frac{k_B\pi }{\ell _{Pl}^2H^2}; \end{aligned}$$
(9)

That is, the entropy is function of Hubble parameter only. Thus, the first derivative of apparent horizon entropy with respect to scale factor is:

$$\begin{aligned} S'_h=-\frac{2k_B\pi H'}{\ell _{Pl}^2H^3}. \end{aligned}$$
(10)

The first-order derivative of the entropy results in an expression that is a function of H and its first derivative. Equation (8) yields \(H'=\frac{\Gamma -3H}{2a}\), thus we may write for \(S_h'\):

$$\begin{aligned} S'_h=\frac{k_B\pi }{\ell _{Pl}^2aH^3}(3H-\Gamma ). \end{aligned}$$
(11)

For the \(S_m\) entropy, we may consider that every single particle contributes to the entropy inside the horizon by a single bit, \(k_B\) [2]. In this case, we have:

$$\begin{aligned} S_m=k_B\frac{4\pi }{3}\tilde{r}_{\mathcal {A}}^3n=k_B\frac{4\pi n}{3H^3}, \end{aligned}$$
(12)

where n is the number density. By deriving this equation we find:

$$\begin{aligned} S'_m=\frac{4\pi k_B}{3H^4}(n'H-3nH'). \end{aligned}$$
(13)

This expression is first derivative of entropy as function of H, \(H'\) and n. By using Eqs. (6) and (8), we may write:

$$\begin{aligned} S'_m=\frac{2\pi k_{B} n}{3aH^4}(3H-\Gamma ) \end{aligned}$$
(14)

That is, the derivative of entropy of matter as function of H, n and \(\Gamma \). Now combining Eqs. (10) and (14), we have

$$\begin{aligned} S'=\frac{k_B\pi }{aH^3}\left( \frac{1}{\ell _{Pl}^2}+\frac{2n}{3H}\right) (3H-\Gamma ) \end{aligned}$$
(15)

So, a necessary and sufficient condition for having \(S'\ge 0\) is \(\Gamma \le 3H\), that is, the particle creation rate must be less or equal to the volumetric expansion rate.Footnote 2 Let us define the dimensionless quantity \(s_1\):

$$\begin{aligned} s_1\equiv \frac{3H-\Gamma }{H_0} \end{aligned}$$
(16)

Thus, \(S'\ge 0\) corresponds to \(s_1\ge 0\). Now, let us impose the concavity condition \(S''(a\rightarrow \infty )<0\), that is, impose that the Universe reaches thermodynamic equilibrium in the infinite future. By deriving (10):

$$\begin{aligned} S''_h=\frac{2\pi k_B}{\ell _{Pl}^2H^4}(3H'^2-HH'') \end{aligned}$$
(17)

Using \(\rho =nm\) and deriving the Friedmann equation (3), we have

$$\begin{aligned} 2HH'=\frac{8\pi Gn'm}{3} \end{aligned}$$
(18)

Combining this with the Friedmann equation, we find the relationFootnote 3

$$\begin{aligned} 2\frac{H'}{H}=\frac{n'}{n}\Rightarrow 2H'n=Hn' \end{aligned}$$
(19)

That is, the particle density relative variation (w.r.t. a) is double of Hubble parameter relative variation. We may use this to simplify Eq. (13):

$$\begin{aligned} S'_m=-\frac{4\pi k_BnH'}{3H^4} \end{aligned}$$
(20)

Now it is easier to derive it to find \(S''_m\):

$$\begin{aligned} S''_m=\frac{4\pi k_Bn}{3H^5}(2H'^2-HH'') \end{aligned}$$
(21)

where we have derived (20) and used the relation (19) again in order to omit n derivatives. By summing (17) and (21), we find:

$$\begin{aligned} S''=\frac{2\pi k_B}{\ell _{Pl}^2H^4}(3H'^2-HH'') +\frac{4\pi k_Bn}{3H^5}(2H'^2-HH'') \end{aligned}$$
(22)

Let us define the dimensionless quantities:

$$\begin{aligned} s_{h2}\equiv & {} \frac{3H'^2-HH''}{H_0^2} \end{aligned}$$
(23)
$$\begin{aligned} s_{m2}\equiv & {} \frac{2H'^2-HH''}{H_0^2} \end{aligned}$$
(24)

Thus, the conditions \(S''_h<0\) and \(S''_m<0\) correspond to \(s_{h2}<0\) and \(s_{m2}<0\), respectively. A sufficient (but not necessary) condition for having \(S''<0\) is having both \(s_{h2}<0\) and \(s_{m2}<0\). Although it may be too restrictive a condition over the models, we consider it reasonable in order to achieve a result not much dependent on the choice of the contribution of each particle to the entropy (\(S_m/N\)).

Another interesting inference we can make from expressions (23) and (24) is that \(s_{h2}=s_{m2} +\frac{H'^2}{H_0^2}\), so \(s_{h2}\ge s_{m2}\) at all times, so every time that \(s_{h2}<0\), we have \(s_{m2}<0\). That is, \(S''_h<0\) implies \(S''_m<0\).

In the next section we will analyze a quite general model for the rate of creation of dark matter with three free parameters.

5 Case study: \(\Gamma =3\beta H+3\alpha H_0\left( \frac{H_0}{H}\right) ^n\)

We now analyze a quite general model of the matter creation rate which was derived by [36] with three free parameters: \( \alpha \), \( \beta \) and n. All the models that we will deal with here are particular cases of this model whose dependence with H is given by:

$$\begin{aligned} \Gamma =3\beta H+3\alpha H_0\left( \frac{H_0}{H}\right) ^n. \end{aligned}$$
(25)

This model for \(\Gamma \) is a combination of two important dependencies: the first term \(\propto H\) and the second term \(\propto H^{-n}\). In this case, Eq. (8) reads

$$\begin{aligned} \frac{dE}{da}=\frac{3}{2a}[\alpha E^{-n}-(1-\beta )E] \end{aligned}$$
(26)

where \(E(a)\equiv \frac{H(a)}{H_0}\). As shown by [23], Eq. (26) can be solved as

$$\begin{aligned} E(a)=\frac{H(a)}{H_0}=\left[ \frac{\alpha +(1-\alpha -\beta ) a^{-\frac{3}{2}(n+1)(1-\beta )}}{1-\beta }\right] ^\frac{1}{n+1}, \end{aligned}$$
(27)

in case that \(\beta \ne 1\) and \(n\ne -1\). Case \(n=-1\) is equivalent to \(\alpha =0\). If \(\beta =1\), E(a) can be obtained from (26) as

$$\begin{aligned} E=\left[ 1+\frac{3\alpha (n+1)}{2}\ln a\right] ^{\frac{1}{n+1}} \end{aligned}$$
(28)

The Eq. (27) shows H(a) as a function of scale factor a, \(H_0\), \(\alpha \), \(\beta \) and n. By writing H(a) as an explicit function of the parameters, we can now impose the condition \(S'\ge 0\). From the Eqs. (15) and (16) it yields:

$$\begin{aligned} s_1=3\left( \frac{H}{H_0}\right) ^{-n}\left[ (1-\alpha -\beta ) a^{-\frac{3}{2}(n+1)(1-\beta )}\right] \ge 0. \end{aligned}$$
(29)

We must have \(S'\ge 0\) at all times, so we must have \(1-\alpha -\beta \ge 0\) by this analysis.

According to (17), \(S''_h<0\) implies \(3H'^2-HH''<0\), so

$$\begin{aligned} s_{h2}&=\frac{3}{4}\left( \frac{H}{H_0}\right) ^{-2n} \left( \frac{1-\alpha -\beta }{1-\beta }\right) \times a^{-2-\frac{3}{2}(n+1)(1-\beta )}\nonumber \\&\quad \left\{ 2(1-\alpha -\beta )(2-3\beta ) a^{-\frac{3}{2}(n+1)(1-\beta )}\right. \nonumber \\&\quad \left. +\alpha \left[ 3\beta -3n(1-\beta )-5\right] \right\} <0 \end{aligned}$$
(30)

Now, let us impose the condition \(S''_m<0\). It implies, from (21) that \(2H'^2-HH''<0\). We have

$$\begin{aligned} s_{m2}&=\frac{3}{4}\left( \frac{H}{H_0}\right) ^{-2n} \left( \frac{1-\alpha -\beta }{1-\beta }\right) \nonumber \\&\quad \times a^{-2-\frac{3}{2}(n+1)(1-\beta )}\nonumber \\&\quad \left\{ (1-\alpha -\beta )(1-3\beta ) a^{-\frac{3}{2}(1+n)(1-\beta )}\right. \nonumber \\&\quad \left. +\alpha \left[ 3\beta -3n(1-\beta )-5\right] \right\} <0 \end{aligned}$$
(31)

We remind that we are interested in the sign of (30) and (31) only in the limit \(a\rightarrow \infty \). However, this limit is strongly dependent in the parameter set \(\{\alpha ,\beta ,n\}\), so, instead of putting limits for the general model, we shall put limits for each particular model. Let us do it in next subsections.

5.1 \(M_1: \Gamma =\frac{3\alpha H_0^2}{H}\)

In this case we have the fixed parameter values \(\beta =0\) and \(n=1\), so from (29) we see that \(S'\ge 0\) reads

$$\begin{aligned} s_1=3(1-\alpha )\left( \frac{H_0}{H}\right) a^{-3}\ge 0. \end{aligned}$$
(32)

which implies \(\alpha \le 1\). From (30), the condition \(S''_h<0\) reads

$$\begin{aligned} s_{h2}=3\left( \frac{H_0}{H}\right) ^2\left( 1-\alpha \right) a^{-5} [(1-\alpha )a^{-3}-2\alpha ]<0 \end{aligned}$$
(33)

Thus, for \(a\rightarrow \infty \), it implies \(0<\alpha <1\). From (31), the condition \(S''_m<0\) reads

$$\begin{aligned} s_{m2}=\frac{3}{4}\left( \frac{H_0}{H}\right) ^2 \left( 1-\alpha \right) a^{-5}[(1-\alpha )a^{-3}-8\alpha ]<0 \end{aligned}$$
(34)

which yields the same limit for \(a\rightarrow \infty \), \(0<\alpha <1\).

In Fig. 1, we may see that \(s_1\ge 0\) for \(\alpha \le 1\) and \(s_{h2}(a\rightarrow \infty )<0\) for \(0<\alpha <1\), in agreement with our analysis. As discussed above, \(s_{h2}<0\) implies \(s_{m2}<0\), so we choose to plot only \(s_1\) and \(s_{h2}\) for each model, for clarity.

Fig. 1
figure 1

Model \(M_1\): \(s_1\) and \(s_{h2}\) as function of scale factor for some values of \(\alpha \). We have used a mixed log-linear scale in order to view both asymptotic behaviour and zero crossing

Fig. 2
figure 2

Model \(M_2\): \(s_1\) and \(s_{h2}\) as function of scale factor for some values of \(\alpha \). We have used a mixed log-linear scale in order to view both asymptotic behaviour and zero crossing

5.2 \(M_2: \Gamma =3\alpha H_0\)

In this case we have the fixed parameter values \(\beta =0\) and \(n=0\), so from (29) we see that \(S'\ge 0\) reads

$$\begin{aligned} s_1=3(1-\alpha )a^{-\frac{3}{2}}\ge 0. \end{aligned}$$
(35)

which implies \(\alpha \le 1\). From (30), the condition \(S''_h<0\) reads

$$\begin{aligned} s_{h2}=\frac{3}{4}\left( 1-\alpha \right) a^{-\frac{7}{2}} \left[ 4(1-\alpha )a^{-\frac{3}{2}}-5\alpha \right] <0 \end{aligned}$$
(36)

Thus, for \(a\rightarrow \infty \), it implies \(0<\alpha <1\). From (31), the condition \(S''_m<0\) reads

$$\begin{aligned} s_{m2}=\frac{3}{4}\left( 1-\alpha \right) a^{-\frac{7}{2}} \left[ (1-\alpha )a^{-\frac{3}{2}}-5\alpha \right] <0 \end{aligned}$$
(37)

which yields the same limit for \(a\rightarrow \infty \), \(0<\alpha <1\).

In Fig. 2, we may see that \(s_1\ge 0\) for \(\alpha \le 1\) and \(s_{h2}(a\rightarrow \infty )<0\) for \(0<\alpha <1\), in agreement with our analysis.

5.3 \(M_3\): \(\Gamma =3\beta H\)

In this case we have the fixed parameter value \(\alpha =0\), so from (29) we see that \(S'\ge 0\) reads

$$\begin{aligned} s_1=(1-\beta ) a^{\frac{3}{2}(\beta -1)}\ge 0. \end{aligned}$$
(38)

which implies \(\beta \le 1\). From (30), the condition \(S''_h<0\) reads

$$\begin{aligned} s_{h2}=\frac{3}{2}(1-\beta )(2-3\beta )a^{3\beta -5}<0 \end{aligned}$$
(39)

Thus, it implies \(\frac{2}{3}<\beta <1\). From (31), the condition \(S''_m<0\) reads

$$\begin{aligned} s_{m2}=\frac{3}{4}(1-\beta ) (1-3\beta ) a^{3 \beta -5}<0 \end{aligned}$$
(40)

which yields the limit \(\frac{1}{3}<\beta <1\). As one may see, for all the interval that we have \(S''_h<0\) we have also \(S''_m<0\), as expected.

In Fig. 3, we may see that \(s_1\ge 0\) for \(\beta \le 1\) and \(s_{h2}(a\rightarrow \infty )<0\) for \(\frac{2}{3}<\beta <1\), in agreement with our analysis.

Fig. 3
figure 3

Model \(M_3\): \(s_1\) and \(s_{h2}\) as function of scale factor for some values of \(\beta \). We have used a mixed log-linear scale in order to view both asymptotic behaviour and zero crossing

Fig. 4
figure 4

Model \(M_4\): \(s_1\) and \(s_{h2}\) as function of scale factor for some values of \((\alpha ,n)\). We have used a mixed log-linear scale in order to view both asymptotic behaviour and zero crossing

5.4 \(M_4: \Gamma =3\alpha H_0\left( \frac{H_0}{H}\right) ^n\)

In this case we have the fixed parameter value \(\beta =0\), so from (29) we see that \(S'\ge 0\) reads

$$\begin{aligned} s_1=3(1-\alpha )\left( \frac{H}{H_0}\right) ^{-n}a^{-\frac{3}{2}(n+1)}\ge 0. \end{aligned}$$
(41)

which implies \(\alpha \le 1\). From (30), the condition \(S''_h<0\) reads

$$\begin{aligned} s_{h2}&=\frac{3}{4}\left( \frac{H}{H_0}\right) ^{-2n} \left( 1-\alpha \right) a^{-2-\frac{3}{2}(n+1)}\nonumber \\&\quad \times \left[ 4(1-\alpha )a^{-\frac{3}{2}(n+1)}-\alpha \left( 3n+5\right) \right] <0 \end{aligned}$$
(42)

For \(a\rightarrow \infty \), there are some subcases here, according to the sign of the exponent \(-\frac{3}{2}(n+1)\), that is, if n is greater than \(-1\) or not. If \(n>-1\), the condition can be summarized as \(\alpha (\alpha -1)(3n+5)<0\). As \(3n+5>0\), it implies \(0<\alpha <1\). If \(n<-1\), the condition is \((\alpha -1)^2<0\), which is impossible, so \(n<-1\) is discarded by this analysis. In the special case of \(n=-1\), we recover the model \(M_3\), so \(\frac{2}{3}<\alpha <1\).

From (31), the condition \(S''_m<0\) reads

$$\begin{aligned} s_{m2}&=\frac{3}{4}\left( \frac{H}{H_0}\right) ^{-2n} \left( 1-\alpha \right) a^{-2-\frac{3}{2}(n+1)}\nonumber \\&\quad \times \left[ (1-\alpha )a^{-\frac{3}{2}(1+n)}-\alpha \left( 3n+5\right) \right] <0 \end{aligned}$$
(43)

which yields the same limit for \(a\rightarrow \infty \) and \(n>-1\): \(0<\alpha <1\). Just like before, \(n=-1\) implies, like in \(M_3\), \(\frac{1}{3}<\alpha <1\).

In Fig. 4, we may see that \(s_1\ge 0\) for \(\alpha \le 1\) and \(s_{h2}(a\rightarrow \infty )<0\) for \(0<\alpha <1\) and \(n>-1\), in agreement with our analysis.

5.5 \(M_5: \Gamma =3\alpha \frac{H_0^2}{H}+3\beta H\)

In this case we have the fixed parameter value \(n=1\), so from (29) we see that \(S'\ge 0\) reads

$$\begin{aligned} s_1=3(1-\alpha -\beta )\left( \frac{H_0}{H}\right) a^{-3(1-\beta )}\ge 0. \end{aligned}$$
(44)

which implies \(1-\alpha -\beta \ge 0\). From (30), the condition \(S''_h<0\) reads

$$\begin{aligned} s_{h2}&=\frac{3}{2}\left( \frac{H_0}{H}\right) ^2 \left( \frac{1-\alpha -\beta }{1-\beta }\right) a^{-5+3\beta }\nonumber \\&\quad \times [(1-\alpha -\beta )(2-3\beta )a^{-3(1-\beta )} +\alpha \left( 3\beta -4\right) ]<0 \end{aligned}$$
(45)
Fig. 5
figure 5

Limits over free parameters for model \(M_5\). The blue regions correspond to values of parameters allowed by the conditions \(S'\ge 0\), \(S''_h<0\) and \(S''_m<0\)

Fig. 6
figure 6

Model \(M_5\): \(s_1\) and \(s_{h2}\) as function of scale factor for some values of \((\alpha ,\beta )\)

Table 2 Thermodynamic constraints on free parameters of matter creation models

To analyze the behaviour for \(a\rightarrow \infty \) we have to make assumptions about the scale factor exponent, \(-3(1-\beta )\). If \(\beta <1\), \(S''_h<0\) implies \(\alpha (1-\alpha -\beta )(3\beta -4)<0\). If we combine with the condition from \(s_1\), we must have \(1-\alpha -\beta >0\), thus it simplifies to \(\alpha (3\beta -4)<0\). Thus, \(\alpha >0\) and \(\beta <\frac{4}{3}\) or \(\alpha <0\) and \(\beta >\frac{4}{3}\).

For \(\beta >1\), \(S''_h<0\) would imply \(\beta <\frac{2}{3}\), so \(\beta >1\) is not allowed by this analysis.

If \(\beta =1\), Eq. (28) with \(n=1\) yields

$$\begin{aligned} E=\left[ 1+3\alpha \ln a\right] ^{1/2}, \end{aligned}$$
(46)

from which we find

$$\begin{aligned} s_{h2}=\frac{3\alpha }{2a^2}\left( \frac{H_0}{H}\right) ^2(1+6\alpha +3\alpha \ln a) \end{aligned}$$
(47)

In this case, in the limit \(a\rightarrow \infty \), \(S''_h<0\) implies \(\alpha ^2<0\), that is, \(\beta =1\) is not allowed by this analysis.

From (31), the condition \(S''_m<0\) reads

$$\begin{aligned} s_{m2}&= \frac{3}{4}\left( \frac{H_0}{H}\right) ^2 \left( \frac{1-\alpha -\beta }{1-\beta }\right) a^{-5+3\beta }\nonumber \\&\quad \times [(1-\alpha -\beta )(1{-}3\beta )a^{-3(1-\beta )} {+}2\alpha \left( 3\beta -4\right) ]<0 \end{aligned}$$
(48)

In this case, in the limit \(a\rightarrow \infty \), for \(\beta <1\), \(S''_m<0\) implies \(\alpha (3\beta -4)(1-\alpha -\beta )<0\). Combining it with the condition from \(s_1\), we have \(1-\alpha -\beta >0\), thus \(\alpha (3\beta -4)<0\). So, if \(\alpha >0\), \(\beta <\frac{4}{3}\) and if \(\alpha <0\), we have \(\beta >\frac{4}{3}\).

For \(\beta >1\), \(S''_m<0\) would imply \(\beta <\frac{1}{3}\), so \(\beta >1\) is not allowed by this analysis.

For \(\beta =1\), \(s_{m2}\) is written:

$$\begin{aligned} s_{m2}=\frac{3\alpha }{4a^2}\left( \frac{H_0}{H}\right) ^2(2+9\alpha +6\alpha \ln a) \end{aligned}$$
(49)

In this case, in the limit \(a\rightarrow \infty \), \(S''_m<0\) implies \(\alpha ^2<0\), that is, \(\beta =1\) is not allowed by this analysis. The limits for model \(M_5\) can be viewed on Fig. 5.

In Fig. 6, we may see that \(s_1\ge 0\) for \(\alpha \le 1\) and \(s_{h2}(a\rightarrow \infty )<0\) for \(0<\alpha <1\) and \(n>-1\), in agreement with our analysis.

The results of all models from Table 1 can be seen on Table 2.

6 Discussion and concluding remarks

We have analyzed the thermodynamics of 5 spatially flat CCDM models, taking into account a contribution from the horizon entropy, based on Holographic Principle.

In principle, the initial state of de Sitter age should be stable (H and S constants when \(t\rightarrow \infty \)) but particle creation (\(\Gamma \)), according to [2], can be seen as an external agent acting on the system. Before the thermodynamic equilibrium was reached, the Universe needed to self-adjust to allow the ultimate expansion of de Sitter through the ages of radiation and matter.

The rate of particle production is irreversible, in this case for the five models treated in this work. In practice, irreversibility directly implies the generation of entropy [37], as well as the increase in volume in the phase space. In our analysis, the particle production rate \(\Gamma \) for the five models analyzed, was implicitly or explicitly included in the expressions for \(S'\) and \( S''\), as can be seen in equations (15) and (22). For easy of analysis we defined the quantities \(s_1\) for the first derivative and \(s_{h2}\) and \(s_{m2}\) for the second order derivatives. All models discussed in this work are particular cases of the general model with three free parameters: \(\alpha \), \(\beta \) and n. The \(M_{1}\) model has only one free parameter \(\alpha \) and the analysis of the derivatives suggests that it is between \( 0<\alpha <1\). \(M_{2}\) is a model similar to \(M_{1}\) but with constant \(\Gamma \), the limits for \(\alpha \) is \(0<\alpha <1\). The \(M_{3}\) model has \(\beta \) as a free parameter and \(\Gamma \) varies linearly with H and \(\frac{2}{3}<\beta <1\). \(M_{4}\) has two free parameters: \(\alpha \) and n, \(\Gamma \) is a power law over H: \(\Gamma \propto H^{-n}\). The validity interval was \(0<\alpha <1\) with \( n> - 1\), for \(n = 0\) \(M_{4}\) corresponds to \(M_{2}\) and if \(n = 1\) it becomes \(M_{1}\). For the model \(M_{5}\), which is a combination of \(M_{1}\) and \(M_{3}\), \(\beta \le 1-\alpha \) and \(\alpha (3\beta -4)<0\).

The limits over the parameters \(\alpha \) and \(\beta \) could be seen in Fig. 5.

It is also interesting to mention that some of the models analyzed here can lead to singularities in the future (\(H\rightarrow 0\)) and to see how it compares with the thermodynamic constraints we found. Models \(M_1\)\(M_3\) give no singularity at the future. Models \(M_4\) and \(M_5\) yield future singularities for some regions of the parameters. Model \(M_4\) will have future singularity for \(n>-1\) and \(\alpha <0\) or \(n<-1\) and \(\alpha >1\). It is important to notice that this region is disallowed from our thermodynamic analysis. Model \(M_5\) will have future singularity for \(\beta <1\) and \(\alpha <0\) or \(\beta >1\) and \(\alpha <1-\beta \). For this model, the thermodynamic analysis allows a future singularity only for \(\beta >4/3\) and \(\alpha <1-\beta \). Concerning our thermodynamic analysis, we found no problem with this region of the parameter space.

Further analysis of matter creation models may include the conserved baryonic contribution and spatial curvature. It could be interesting to test if the baryonic contribution, although small, could give non-negligible changes to the constraints we found. It is also interesting to see if this thermodynamic analysis could contribute to the current tension of constraints over the spatial curvature [24]. Other creation rates not considered here could also be analyzed.