1 Introduction

Observations [1,2,3,4,5,6] indicate that the universe is currently undergoing a phase of accelerated expansion. Nevertheless, Einstein’s General Relativity with only radiation and matter cannot result in an accelerated expansion of the universe. In order to explain this observational result, a mysterious matter called dark energy was introduced to explain this accelerated phase. Since dark energy has not been detected directly, there is no reason to assume dark energy resembles known forms of matter or energy, and it becomes one of the biggest mysteries in modern cosmology. The simplest dark energy model is the cosmological constant (\(\Lambda \)CDM) in which the constant vacuum energy density can drive the accelerated expansion. Although it is well in agreement with the current observations [7], it suffers from the fine-tuning problem and the coincidence problem.

An interesting approach to describe the origin of dark energy is considering the holographic principle [8, 9] in the cosmological framework. After the holographic principle was introduced in cosmology, the holographic dark energy (HDE) arose [10]. However, the original HDE is not successful since it cannot explain the current accelerated expansion of the universe [11, 12]. To remedy this situation, a new HDE was proposed [12]. Then, the HDE model becomes a physically viable dark energy candidate and has been widely studied theoretically [13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30] and observationally [31,32,33,34,35,36,37,38]. In HDE, various observational data strongly constrains the free parameter c of HDE being less than 1 [31, 33, 37, 39,40,41,42,43,44,45,46,47], indicating HDE would lead to a phantom universe with big rip [48]. To solve the big rip, an interaction between dark energy and dark matter within HDE model was introduced [48, 49]. In HDE, this interaction was also used to alleviate the cosmic coincidence problem [16, 50, 51] and resolved the classical instability [51] which stems from a negative sound speed [52]. And the interaction terms within HDE have been tested and constrained by various astronomical observations [21, 32, 50, 53,54,55] including Planck 2015 [45].

Horizon entropy is the most important cornerstone of HDE models, any change of it will lead to different HDE models. Inspired by the holographic principle and using different horizon entropy, some new HDE models were proposed recently, such as, Tsallis holographic dark energy (THDE) [56], Renyi holographic dark energy [57], Ricci–Gauss–Bonnet holographic dark energy [58] and Sharma–Mittal holographic dark energy [59]. Another cornerstone of HDE models is IR cutoff, different IR cutoffs can also result in new HDE models [10, 12, 60]. These new proposed HDE models were studied in various scenario [60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75].

Based on the generic holographic principle and using the Barrow entropy [76] instead of the Bekenstein–Hawking entropy, Barrow holographic dark energy (BHDE) was proposed by considering the future event horizon as IR cutoff [77, 78]. When the IR cutoff was chosen as the Hubble horizon, a new BHDE was proposed [79]. Then, the thermodynamics of this new BHDE with an interaction term was studied [80]. However, this new BHDE is unstable since its squared sound speed is negative [79]. It is noted that an interaction term between dark energy and dark matter can be used to solve the classical instability in HDE [51] and THDE [63], and this interaction term can also alleviate the cosmic coincidence problem [16, 50, 51]. So, in BHDE models, it is unclear whether the classical instability and the cosmic coincidence problem can be solved when an interaction term is taken into account.

When a dark energy model is proposed, it should fit the conventional standard cosmology as well as explain the current accelerated expansion. For a viable cosmological model, it should describe the whole evolution history of the universe. Namely, the universe stems from a radiation dominated epoch, and then enters into a matter dominated epoch to enable the formation of large-scale structures, and eventually evolves into a dark energy dominated epoch. To analyze the evolution of the universe, the dynamical analysis method is introduced, which is an excellent method to investigate the qualitative behavior of a given cosmological model and can avoid the difficulty in solving non-linear cosmological equations. In this method, the dynamics of the universe can be described by analyzing the behavior of critical points of the dynamical system of a model, and the critical points always indicate the main evolution epoch of the universe. The stable point is used to describe a late time epoch dominated by the dark energy, the saddle point can denote the matter dominated epoch, and the unstable point corresponds to the early radiation dominated epoch. This method was used with great success in analyzing the evolution of the universe within HDE models [63, 68, 81,82,83,84,85]. These positive results in HDE lead to some interesting questions in BHDE and motivate us to study BHDE: Whether a stable BHDE model can describe the whole evolution of the universe. How to discriminate the BHDE model from the standard \(\Lambda \)CDM model if the BHDE model describes the cosmic evolution successfully? The main task of this paper is to answer these questions.

Furthermore, a turning point of Hubble diagram in HDE was studied in Ref. [86] which shows that HDE model may be at odds with the cosmological principle. Here, the free parameter region \(0<c<1\), which was constrained by the current data, was considered. For \(0.5<c<1\), this turning point exists in the future, while it occurs in the past and is observable for \(c<0.5\). In BHDE with the future event horizon as IR cutoff, the combination \(H(z)+SNIa\) place constraints on the free parameter \(C=3.421^{+1.753}_{-1.611}\) and the parameter of Barrow entropy \(\Delta =0.094^{+0.094}_{-0.101}\) [78]. It is interesting to discuss whether this turning point exists in BHDE with the future event horizon as IR cutoff when the constraints \(C=3.421^{+1.753}_{-1.611}\) and \(\Delta =0.094^{+0.094}_{-0.101}\) are considered.

Regarding that BHDE may offer an interesting framework to study phenomenology beyond to HDE, the main goal of this paper is to discuss six BHDE models: we first consider BHDE with different IR cutoffs, and then, two kinds of interaction terms are used. The analysis is performed in four respects: Firstly, by analyzing the squared sound speed, we study the stability of BHDE models. Secondly, we use the dynamical analysis method to analyze the phase space behavior of the stable BHDE models and discuss the cosmic coincidence problem. Thirdly, in order to discriminate the stable BHDE model from the standard \(\Lambda \)CDM model, we perform the statefinder diagnostic by depicting the evolution trajectories of statefinder parameters. Finally, we plot the evolution curves of H(z) and study the turning point of Hubble diagram in BHDE models.

The paper is organized as follows. In Sect. 2, we investigate the evolution and stability of the universe in BHDE with different IR cutoff and interacting terms. In Sect. 3, we use the dynamical analysis method to analyze the phase space behavior of the stable BHDE model. In Sect. 4, the statefinder diagnostic pairs are used to discriminate the stable BHDE model from the standard \(\Lambda \)CDM model. In Sect. 5, we discuss the turning point of Hubble diagram in BHDE. Finally, our main conclusions are presented in Sect. 6.

2 The Universe evolution

Using the Barrow entropy [76], the energy density of BHDE is given as [77]

$$\begin{aligned} \rho _{D}=C L^{\triangle -2}. \end{aligned}$$
(1)

Here, C is a parameter with the dimension \([L]^{-2-\triangle }\) and \(\Delta \) satisfies the relation \(0 \le \Delta \le 1\). For the case \(\Delta =0\), \(\rho _{D}\) provides a smooth spacetime structure, i.e. the standard holographic dark energy, and \(\Delta =1\) corresponding to the most intricate structure.

We consider a homogeneous and isotropic flat Friedmann–Robertson–Walker universe

$$\begin{aligned} ds^{2}=-dt^{2}+a^{2}(t)(dr^{2}+r^{2}d\Omega ^{2}), \end{aligned}$$
(2)

where a(t) is the scale factor with t being cosmic time, and setting \(\kappa ^{2}=8\pi G\). The Friedmann equation is given as

$$\begin{aligned} H^{2}=\frac{\kappa ^{2}}{3}(\rho _{r}+\rho _{m}+\rho _{D}), \end{aligned}$$
(3)

where \(\rho _{r}\), \(\rho _{m}\) and \(\rho _{D}\) denote the energy density of radiation, pressureless matter and BHDE, respectively. The radiation, pressureless matter and BHDE conservation equations take the form

$$\begin{aligned}&\dot{\rho }_{r}+4H \rho _{r}=0, \end{aligned}$$
(4)
$$\begin{aligned}&\dot{\rho }_{m}+3H \rho _{m}=Q,\end{aligned}$$
(5)
$$\begin{aligned}&\dot{\rho }_{D}+3H(1+w_{D})\rho _{D}=-Q, \end{aligned}$$
(6)

in which \(w_{D}=\frac{p_{D}}{\rho _{D}}\) denotes the equation of state parameter of BHDE and Q represents the energy exchange between pressureless matter and BHDE. For \(Q>0\), energy transfers from BHDE to pressureless matter, and energy transfers from pressureless matter to BHDE for \(Q<0\). In this paper, we consider two interacting cases \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\) [63, 83, 87] and \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\) [87, 88]. Here, \(\alpha \), \(\beta \) and \(\lambda \) are coupling constants.

After introducing the following dimensionless density parameters

$$\begin{aligned} \Omega _{r}= & {} \frac{\kappa ^{2}\rho _{r}}{3H^{2}}, \quad \Omega _{m}=\frac{\kappa ^{2}\rho _{m}}{3H^{2}}, \nonumber \\ \Omega _{D}= & {} \frac{\kappa ^{2}\rho _{D}}{3H^{2}},\quad \sigma =\frac{\kappa ^{2}Q}{3H^{3}}, \end{aligned}$$
(7)

we can express the Friedmann equation (3) as

$$\begin{aligned} \Omega _{r}+\Omega _{m}+\Omega _{D}=1. \end{aligned}$$
(8)

Differentiating the Friedmann equation (3) and combining Eqs. (4),  (5),  (6),  (7) and  (8), we obtain

$$\begin{aligned} \frac{\dot{H}}{H^{2}}=\frac{1}{2}[\Omega _{m}+(1-3w_{D})\Omega _{D}]-2. \end{aligned}$$
(9)

And the deceleration parameter q can be calculated as

$$\begin{aligned} q=-1-\frac{\dot{H}}{H^{2}}=1-\frac{1}{2}[\Omega _{m}+(1-3w_{D})\Omega _{D}]. \end{aligned}$$
(10)

Defining \(\Omega '=d\Omega /d(lna)\) and differentiating Eq. (7), we get

$$\begin{aligned}&\Omega ^{'}_{m}=[(3w_{D}-1)\Omega _{D}-\Omega _{m}+1]\Omega _{m}+\sigma , \end{aligned}$$
(11)
$$\begin{aligned}&\Omega ^{'}_{D}=[(3w_{D}-1)(\Omega _{D}-1)-\Omega _{m}]\Omega _{D}-\sigma . \end{aligned}$$
(12)

Here, Eqs. (5),  (6),  (7),  (8) and  (9) are used.

To discuss the stability of BHDE model, we need to analyze its squared sound speed

$$\begin{aligned} v^{2}_{s}=\frac{dp_{D}}{d\rho _{D}}=\frac{\dot{p}_{D}}{\dot{\rho }_{D}}=\frac{\rho _{D}}{\dot{\rho }_{D}}\dot{\omega }_D+\omega _{D}. \end{aligned}$$
(13)

For \(v^{2}_{s}>0\), this model can be stable against perturbations. Otherwise, it is unstable.

To find a stable and suitable model for BHDE, we will analyze six models in the following:

  1. (i)

    Model I: Non-interacting BHDE with future event horizon as IR cutoff (BHDEF);

  2. (ii)

    Model II: Interacting BHDE with future event horizon as IR cutoff and \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\) (IBHDEFA);

  3. (iii)

    Model III: Interacting BHDE with future event horizon as IR cutoff and \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\) (IBHDEFL);

  4. (iv)

    Model IV: Non-interacting BHDE with Hubble horizon as IR cutoff (BHDEH);

  5. (v)

    Model V: Interacting BHDE with Hubble horizon as IR cutoff and \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\) (IBHDEHA);

  6. (vi)

    Model VI: Interacting BHDE with Hubble horizon as IR cutoff and \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\) (IBHDEHL).

2.1 BHDE with future event horizon

Considering the future event horizon as IR cutoff, the energy density of BHDE takes the form [77]

$$\begin{aligned} \rho _{D}=C R^{\triangle -2}_{h}, \end{aligned}$$
(14)

with

$$\begin{aligned} R_{h}=a\int ^{\infty }_{t}\frac{dt}{a}=a\int ^{\infty }_{a}\frac{da}{H a^{2}}, \end{aligned}$$
(15)

which satisfies the relation \(\dot{R}_{h}=H R_{h}-1\). For the case \(\Delta =0\) with \(C=3c^{2}\), it reduces to the standard holographic dark energy.

In the following, we assume the present scale factor \(a_{0}=1\) so that the redshift z satisfies the relation \(z=\frac{1}{a}-1\). Since the combination \(H(z)+SNIa\) constrain \(C=3.421^{+1.753}_{-1.611}\) and \(\Delta =0.094^{+0.094}_{-0.101}\) [78], we consider \(C=3.5\) and \(\Delta =0.1\) within BHDE with future event horizon as IR cutoff.

2.1.1 Non-interacting

When there is no energy exchange between the pressureless matter and BHDE, we obtain \(Q=0\) and \(\sigma =0\). By differentiating Eq. (14) and using Eq. (6), one can obtain the equation of state parameter of BHDE

$$\begin{aligned} w_{D}=\frac{\Delta -2}{3}F-\frac{\Delta +1}{3}, \end{aligned}$$
(16)

with \(F=\frac{1}{H R_{h}}\) and \(F'\) satisfies

$$\begin{aligned} F^{'}=-\Big [\frac{1}{2}(\Omega _{m}+(1-3w_{D})\Omega _{D})-F-1\Big ]F. \end{aligned}$$
(17)

Using Eqs. (14) and (16), the squared sound speed can be written as

$$\begin{aligned} v^{2}_{s}=\frac{F'}{3(1-F)}+\frac{\Delta -2}{3}F-\frac{\Delta +1}{3}. \end{aligned}$$
(18)

Substituting Eq. (17) into the above relation, \(v^{2}_{s}>0\) leads to

$$\begin{aligned} 0 \le \Omega _{D}< \frac{4-\Omega _{m}}{4}, \frac{\Omega _{m}+(\Delta +2)\Omega _{D}-4\Delta }{2[(\Delta -2)\Omega _{D}+2(3-\Delta )]}+\frac{1}{2}\sqrt{\xi }<F<1, \end{aligned}$$

or

$$\begin{aligned} \frac{4-\Omega _{m}}{4}< \Omega _{D} \le 1, 1<F<\frac{\Omega _{m}+(\Delta +2)\Omega _{D}-4\Delta }{2[(\Delta -2)\Omega _{D}+2(3-\Delta )]}+\frac{1}{2}\sqrt{\xi }, \end{aligned}$$

in which

$$\begin{aligned} \xi= & {} \frac{\Omega _{m}^{2}+[2(\Delta +2)\Omega _{D}-8\Delta ]\Omega _{m}}{[(\Delta -2)\Omega _{D}+2(3-\Delta )]^{2}}\\&+\frac{(2+\Delta )^{2}\Omega _{D}^{2}-8(3\Delta +2)\Omega _{D}+16(3+2\Delta )}{[(\Delta -2)\Omega _{D}+2(3-\Delta )]^{2}}. \end{aligned}$$

These results mean the condition \(v^{2}_{s}>0\) cannot be satisfied during the whole evolution of the universe. So, this model is unstable.

Fig. 1
figure 1

Evolution curves of \(\Omega _{D}\) and \(\Omega _{m}\) versus redshift parameter \(ln(1+z)\) for BHDEF

Fig. 2
figure 2

Evolution curves of \(w_{D}\) and q versus redshift parameter \(1+z\) for BHDEF

Fig. 3
figure 3

Evolution curves of \(v_{s}^{2}\) versus redshift parameter for BHDEF

Throughout this paper, we choose \(\Omega ^{0}_{r}=0.0001\), \(\Omega ^{0}_{m}=0.3152\), \(\Omega ^{0}_{D}=0.6847\) and \(H_{0}=67.36 km s^{-1}Mpc^{-1}\) [7] as the initial conditions. For the cases of \(\Delta =0.1, C=3.5\), \(\Delta =0.2, C=3.5\) and \(\Delta =0.2, C=4.0\) with the initial conditions, by solving Eqs. (11),  (12) and (17) numerically, we get the evolution curves of \(\Omega _{D}\), \(\Omega _{m}\), \(w_{D}\) and q which are plotted in Figs. 1 and  2. And the black dotted line in Figs. 1 and  2 represents the situation of \(\Delta =0\) which corresponds to the standard entropy.

Form Fig. 1, we can see \(\Omega _{D}\rightarrow 1\) and \(\Omega _{m}\rightarrow 0\) at the late time, and the universe can be dominated by BHDE at the late time evolution. The left panel of Fig. 2 shows that the BHDE behave as the quintessence and \(w_{D}\) can cross the phantom line. The right panel of Fig. 2 indicates a suitable range for the transition redshift is obtainable. But this model is unstable since \(v^{2}_{s}>0\) cannot be satisfied, and some evolution curves of \(v_{s}^{2}\) are depicted in Fig. 3.

2.1.2 Interacting with \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\)

When the energy exchange \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\) between the pressureless matter and BHDE exists, the equation of state parameter \(w_{D}\) has the form

$$\begin{aligned} w_{D}=\frac{\Delta -2}{3}F-\frac{\alpha \Omega _{m}+\beta \Omega _{D}}{3\Omega _{D}}-\frac{\Delta +1}{3}. \end{aligned}$$
(19)

And the squared sound speed \(v^{2}_{s}\) is given as

$$\begin{aligned} v_{s}^{2}= & {} \frac{(\Delta -2)\Omega _{D}^{2}F'-\alpha \Omega _{m}' \Omega _{D}+\alpha \Omega _{m} \Omega _{D}'}{3(\Delta -2)(1-F)\Omega _{D}^{2}}\nonumber \\&+\frac{\Delta -2}{3}F-\frac{\alpha \Omega _{m}+\beta \Omega _{D}}{3\Omega _{D}}-\frac{1+\Delta }{3}. \end{aligned}$$
(20)

Here, \(F'\) is given in Eq. (17). Since the expression of \(v^{2}_{s}\) is too complicated, we cannot get the analytical solution for \(v^{2}_{s}>0\) and then resort to numerical solution.

Using the initial conditions with \(\Delta =0.1, C=3.5\) and solving Eqs. (11),  (12) and (17), we obtain the evolution curves for \(\Omega _{D}\), \(\Omega _{m}\), \(w_{D}\), q and \(v_{s}^{2}\) which are plotted in Figs. 4, 5 and 6. The specific case of \(\Delta =0\) is plotted by the black dotted line, and the values of \(\alpha \), \(\beta \) and C are 0.1, 0.1 and 0.8, respectively.

Fig. 4
figure 4

Evolution curves of \(\Omega _{D}\) and \(\Omega _{m}\) versus redshift parameter \(ln(1+z)\) for IBHDEFA

Fig. 5
figure 5

Evolution curves of \(w_{D}\) and q versus redshift parameter \(1+z\) for IBHDEFA

Fig. 6
figure 6

Evolution curves of \(v_{s}^{2}\) versus redshift parameter for IBHDEFA. The left panel was plotted for \(\Delta =0.1,C=3.5\), while the right one was shown for \(\Delta =0.2,C=4.0\)

It can be seen from Fig. 4 where \(\Omega _{D}\) is larger than 1 and \(\Omega _{m}\) is less than 0 for a negative \(\beta \). And for the positive \(\beta \), the universe can be dominated by BHDE at the late time. The evolution curves of \(w_{D}\) and q is shown in Fig. 5. The left panel of Fig. 5 shows that BHDE can behave as quintessence and cross the phantom line for a negative \(\alpha \), and the right one shows that the late time acceleration can be achieved and the transition redshift is obtainable. These results mean that \(\alpha <0\) and \(\beta >0\) can be used to describe the evolution of the universe. However, the result from Fig. 6 means this model is unstable since the evolution curve of \(v^{2}_{s}\) is not always positive during the whole evolution epoch.

2.1.3 Interacting with \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\)

When the energy exchange \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\) between the pressureless matter and BHDE is adopted, \(w_{D}\) and \(v^{2}_{s}\) are written as

$$\begin{aligned} w_{D}=\frac{\Delta -2}{3}F-\lambda \Omega _{m}-\frac{\Delta +1}{3}. \end{aligned}$$
(21)

and

$$\begin{aligned} v^{2}_{s}= & {} \frac{F'}{3(1-F)}+\frac{\Delta -2}{3}F-\frac{\Delta +1}{3}\nonumber \\&-\frac{\lambda \Omega _{m}'}{(\Delta -2)(1-F)}-\lambda \Omega _{m}. \end{aligned}$$
(22)

Here, \(F'\) is given by Eq. (17).

Then, solving Eqs. (11),  (12) and (17) with \(\Delta =0.1\) and \(C=3.5\), we get the evolution curves of \(\Omega _{D}\), \(\Omega _{m}\), \(w_{D}\), q and \(v_{s}^{2}\) which are plotted in Figs. 7, 8 and 9. The black dotted line in Figs. 7, 8 and 9 denotes the specific case of \(\Delta =0\) with \(\lambda =0.1\) and \(C=0.8\). From these figures, one can see that this model can produce suitable results if proper values are chosen, but it is unstable.

Fig. 7
figure 7

Evolution curves of \(\Omega _{D}\) and \(\Omega _{m}\) versus redshift parameter \(ln(1+z)\) for IBHDEFL

Fig. 8
figure 8

Evolution curves of \(w_{D}\) and q versus redshift parameter \(1+z\) for IBHDEFL

Fig. 9
figure 9

Evolution curves of \(v_{s}^{2}\) versus redshift parameter for IBHDEFL. The left panel was plotted for \(\Delta =0.1,C=3.5\), while the right one was shown for \(\Delta =0.2,C=4.0\)

2.2 BHDE with Hubble horizon

Using the Hubble horizon as IR cutoff, the energy density of BHDE leads to

$$\begin{aligned} \rho _{D}=C H^{2-\triangle }. \end{aligned}$$
(23)

For \(\Delta =2(\delta -1)\), the energy density of BHDE has the same form as that of Tsallis holographic dark energy (THDE) in mathematics [56]. Different from THDE, the parameter \(\Delta \) in BHDE is limited to \(0\le \Delta \le 1\).

Fig. 10
figure 10

Evolution curves of \(\Omega _{D}\) and \(\Omega _{m}\) versus redshift parameter \(ln(1+z)\) for BHDEH

Fig. 11
figure 11

Evolution curves of \(w_{D}\) and q versus redshift parameter \(1+z\) for BHDEH

Fig. 12
figure 12

Evolution curves of \(v_{s}^{2}\) and density parameters versus redshift parameter for BHDEH. The right panel was plotted for \(\Delta =0.8\)

2.2.1 Non-interacting

For the case \(Q=0\), differentiating Eq. (23) and using Eq. (6), the equation of state parameter \(w_{D}\) and the squared sound speed \(v^{2}_{s}\) lead to

$$\begin{aligned} w_{D}=\frac{(\Delta -2)(\Omega _{m}+\Omega _{D}-1)-3\Delta }{3(\Delta -2)\Omega _{D}+6}. \end{aligned}$$
(24)

and

$$\begin{aligned} v^{2}_{s}=\frac{4(\Omega _{m}+\Omega _{D}-1)}{3(\Omega _{m}+4\Omega _{D}-4)}+\frac{2\Delta (\Omega _{m}+4\Omega _{D}-4)}{3[(\Delta -2)\Omega _{D}+2]^{2}}. \end{aligned}$$
(25)

Using the initial conditions and solving Eqs. (11) and (12), we obtain the evolution curves of \(\Omega _{D}\), \(\Omega _{m}\), \(w_{D}\), q and \(v_{s}^{2}\) which have been plotted in Figs. 10, 11 and 12. In Figs. 10, 11 and 12, the case \(\Delta =0\) is depicted by the black dotted line. It can be seen from above figures that the current acceleration can be realized and the whole evolution of universe can described by this model. The universe can evolve into the era depicted by the standard \(\Lambda \)CDM model since \(w_{D}\) approach to \(-1\) at the late time, and a suitable range for the transition redshift is obtainable for the large value of \(\Delta \). For BHDE with Hubble horizon as IR cutoff, the observable Hubble data favor a large value of \(\Delta \) which can be seen in the right panel of Fig. 27. Thus, for BHDE with Hubble horizon as IR cutoff, we set \(\Delta =0.8\). The right panel of Fig. 12 which is plotted for \(\Delta =0.8\) shows that this model can describe the evolution of universe. However, this model is also unstable since the evolution curves of \(v^{2}_{s}\) in the left panel of Fig. 12 means \(v^{2}_{s}<0\).

Fig. 13
figure 13

Evolution curves of \(\Omega _{D}\) and \(\Omega _{m}\) versus redshift parameter \(ln(1+z)\) for IBHDEHA

Fig. 14
figure 14

Evolution curves of \(w_{D}\) and q versus redshift parameter \(1+z\) for IBHDEHA

Fig. 15
figure 15

Evolution curves of \(v_{s}^{2}\) and density parameters versus redshift parameter for IBHDEHA. The right panel was plotted for \(\alpha =-0.7,\beta =0.2\)

Fig. 16
figure 16

Evolution curves of \(\Omega _{D}\) and \(\Omega _{m}\) versus redshift parameter \(ln(1+z)\) for IBHDEHL

Fig. 17
figure 17

Evolution curves of \(w_{D}\) and q versus redshift parameter \(1+z\) for IBHDEHL

Fig. 18
figure 18

Evolution curves of \(v_{s}^{2}\) and density parameters versus redshift parameter for IBHDEHL. The right panel was plotted for \(\lambda =-0.5\)

2.2.2 Interacting with \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\)

For the situation \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\), we can write \(w_{D}\) and \(v^{2}_{s}\) as follows

$$\begin{aligned} w_{D}=\frac{[(\Delta -2)(\Omega _{m}+\Omega _{D}-1)-3\Delta ]\Omega _{D}-2(\alpha \Omega _{m}+\beta \Omega _{D})}{[3(\Delta -2)\Omega _{D}+6]\Omega _{D}}. \end{aligned}$$
(26)

and

$$\begin{aligned} v^{2}_{s}= & {} \frac{4(\Omega _{m}+\Omega _{D}-1)+\frac{2\alpha [(\alpha -3)\Omega _{m}+\beta \Omega _{D}]}{(\Delta -2)\Omega _{D}}}{3[(\alpha +1)\Omega _{m}+(\beta +4)\Omega _{D}-4]}\nonumber \\&+\frac{2\Delta (\alpha +1)\Omega _{m}+4(2\Delta +\beta )(\Omega _{D}-1)}{3[(\Delta -2)\Omega _{D}+2]^{2}} \end{aligned}$$
(27)

In Figs. 13, 14 and 15, the evolution curves of \(\Omega _{D}\), \(\Omega _{m}\), \(w_{D}\), q and \(v_{s}^{2}\) have been plotted with the initial conditions and \(\Delta =0.8\). Here, we have plotted the case \(\Delta =0\) with \(\alpha =0.7\) and \(\beta =0.2\) by the black dotted line. From Fig. 13, we can see that \(\Omega _{D}\) is larger than 1 and the value of \(\Omega _{m}\) becomes negative at the late time era for the negative \(\beta \). The left panel of Fig. 15 shows that this model can be stable for the negative \(\alpha \). So, a negative \(\alpha \) with a positive \(\beta \) can realize the late time acceleration and ensure this model is stable. Unfortunately, the result from the right panel of Fig. 15 shows that \(\Omega _{r}\) dominates the evolution of the universe at the high redshift region \(z>2\times 10^{11}\) in which a approaches to 0.

2.2.3 Interacting with \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\)

For the case \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\), after some tediously calculations, \(w_{D}\) and \(v^{2}_{s}\) lead to

$$\begin{aligned} w_{D}=\frac{[(\Delta -2)(\Omega _{m}+\Omega _{D}-1)-3\Delta ]\Omega _{D}-6\lambda \Omega _{m}\Omega _{D}}{[3(\Delta -2)\Omega _{D}+6]\Omega _{D}}, \end{aligned}$$
(28)

and

$$\begin{aligned} v^{2}_{s}= & {} \frac{(\Delta -2)\Omega _{D}+(\Delta -2-6\lambda )\Omega _{m}+2-4\Delta }{3[(\Delta -2)\Omega _{D}+2]}\nonumber \\&+\frac{[(\Delta -2-6\lambda )\Omega _{m}-4\Delta ]\Omega _{D}'}{3[(\Delta -2)\Omega _{D}+2](3\lambda \Omega _{m} \Omega _{D}+\Omega _{m}+4\Omega _{D}-4)}\nonumber \\&-\frac{(\Delta -2-6\lambda )\Omega _{m}'}{3(\Delta -2)(3\lambda \Omega _{m} \Omega _{D}+\Omega _{m}+4\Omega _{D}-4)}. \end{aligned}$$
(29)

The evolution curves of \(\Omega _{D}\), \(\Omega _{m}\), \(w_{D}\), q and \(v_{s}^{2}\) are plotted in Figs. 16, 17 and 18 with the initial conditions and \(\Delta =0.8\). The black dotted line in Figs. 16, 17 and 18 represents the case \(\Delta =0\) with \(\lambda =0.5\). From these figures, we can see that the current acceleration and the whole evolution of universe can be realized in this model, i.e. the universe evolves from the radiation dominated era to the pressureless matter dominated era, and then enters into the BHDE dominated era. Since both \(w_{D}\) and q approach to \(-1\), BHDE behaves as the cosmological constant at the late time evolution, and the universe will eventually evolve into an epoch described by the standard \(\Lambda \)CDM model. In addition, the left panel of Fig. 18 shows that this model is stable for some negative coupling constant \(\lambda \), while it is unstable for a positive coupling constant. These results means when the energy transfers from the pressureless matter to BHDE, this model is stable. Thus, this model can be stable under some specific conditions.

3 Dynamical analysis of these stable models with Hubble horizon as IR cutoff

In previous section, we have discussed the cosmic evolution and stability of BHDE models, and it is found that only IBHDEHA and IBHDEHL model can be stable against perturbations under some specific conditions. In the following, we will analyze the dynamical behaviour of these two stable models.

In order to investigate the complete asymptotic behaviour of IBHDEHA and IBHDEHL models, we will use the dynamical system techniques to study the dynamical behaviour of these models. To achieve this goal, following Refs. [63, 87, 89,90,91], we can obtain the critical points by solving the autonomous system equations

$$\begin{aligned} \Omega _{m}'=\Omega _{D}'=0. \end{aligned}$$
(30)

By linearizing the autonomous system equations, we obtain the corresponding first order differential equations. Then, the stability of critical points can be determined by the eigenvalues of the coefficient matrix of the first order differential equations. For a critical point, if all eigenvalues are negative, it is a stable point which represents an attractor. If all eigenvalues are positive, the corresponding point is unstable. If the eigenvalues have different signs, it denotes a saddle point.

Table 1 Critical points and the stability conditions of IBHDEHA
Fig. 19
figure 19

Phase space trajectories for IBHDEHA. The red points represent the critical points in Table 1 and the black point denotes the current value. Here, we consider \(\alpha =-0.7\) and \(\beta =0.2\). The left panel is plotted for the behavior of attractor \(A_{3}\) with \(\Delta =0.8\), the right panel is plotted for the evolution trajectories with different value of \(0<\Delta <1\)

Fig. 20
figure 20

Phase space trajectories for IBHDEHA with \(\alpha =-0.7\) and \(\beta =0\). The left panel is plotted for the behavior of attractor \(A_{3}\) with \(\Delta =0.8\), the right panel is plotted for the evolution trajectories with different value of \(0<\Delta <1\)

Fig. 21
figure 21

Evolution curves of \(\Omega _{r}\) for IBHDEHA with \(-1<\beta <1\). The left panel is plotted for \(\Delta =0.8\) and \(\alpha =-0.7\), the right panel is for \(\Delta =0.9\) and \(\alpha =-0.6\)

3.1 Interacting with \(Q=H(\alpha \rho _{m}+\beta \rho _{D})\)

In the case for taking the Hubble horizon as IR cutoff, the autonomous system consists of Eqs. (11) and (12). Then, solving \(\Omega _{m}'=\Omega _{D}'=0\), we obtain three critical points given in Table 1. The value of \(\Omega _{r}\) can be obtained by Eq. (8). For \(q<0\), the corresponding critical point represents an acceleration phase, otherwise it is a deceleration one.

Thus, point \(A_{1}\) denotes the radiation dominated deceleration epoch, point \(A_{2}\) represents the pressureless matter dominated deceleration epoch, and point \(A_{3}\) is an acceleration epoch determined by the value of \(\alpha \) and \(\beta \). For the case \(\beta =0\), point \(A_{3}\) becomes (0, 1) and \(w_{D}=-1\) is obtained. Thus, \(A_{3}\) can behave as the cosmological constant \(\Lambda \) dominated acceleration era under the condition \(\beta =0\).

To analyze the stability of these critical points, we linearize this autonomous system and then obtain the eigenvalues of the corresponding critical points. These results are also shown in Table 1. Under the constraints conditions \(0<\Delta <1\) and \(-1<\alpha \le 1\), point \(A_{1}\) is unstable and \(P_{2}\) is a saddle point, the stability of \(A_{3}\) is determined by \(\alpha \) and \(\beta \). The stability of these points indicates that the universe stems from the radiation dominated era \((A_{1})\) and then evolves into the pressureless matter dominated era \((A_{2})\), and eventually enters into the BHDE dominated late time acceleration epoch \((A_{3})\).

Table 2 Critical points and the stability conditions of IBHDEHL
Fig. 22
figure 22

Phase space trajectories for IBHDEHL with \(\lambda =-0.5\). The left panel is plotted for the behavior of attractor \(P_{3}\) with \(\Delta =0.8\), the right panel is plotted for the evolution trajectories with different value of \(0<\Delta <1\)

Since \(A_{3}\) is a stable point with \(\Omega _{m}=\frac{\beta }{3-\alpha +\beta }\) and \(\Omega _{D}=\frac{3-\alpha }{3-\alpha +\beta }\), the ratio of energy density \(r=\frac{\rho _{m}}{\rho _{D}}=\frac{\Omega _{M}}{\Omega _{D}}\) can approach a constant, which means the coincidence problem can be solved. An example of this case is shown in Fig. 19. The behavior of attractor \(A_{3}\) is shown in the left panel of Fig. 19, and the trajectories are shown in the right one.

For the case \(\beta =0\), the universe evolves from the radiation dominated era \((A_{1})\) into the pressureless matter dominated era \((A_{2})\), and eventually enters the BHDE dominated late time acceleration epoch \((A_{3})\) which can behave as the cosmological constant \(\Lambda \). The phase space and evolution trajectories of this case have been plotted in Fig. 20.

Although the IBHDEHA model is stable under some specific conditions and can describe the complete evolution epoch of the universe, \(\Omega _{r}\) cannot dominate the evolution of the universe in the suitable redshift regions. Some examples are plotted in Fig. 21 and the right panel of Fig. 15. So, this model cannot describe the whole evolution history of the universe.

3.2 Interacting with \(Q=\frac{\lambda }{H}\rho _{m}\rho _{D}\)

Solving \(\Omega _{m}'=\Omega _{D}'=0\), we obtain four critical points shown in Table 2. From this table, it can be seen that point \(P_{1}\) denotes a deceleration epoch dominated by radiation, point \(P_{2}\) represents a deceleration epoch dominated by the pressureless matter, and point \(P_{3}\) denotes the BHDE dominated acceleration era. Point \(P_{4}\) is fully determined by the value of \(\lambda \). It is easily seen that \(P_{3}\) can behave as the cosmological constant \(\Lambda \) dominated acceleration era since \(w_{D}=-1\) and \(q=-1\).

By linearizing this autonomous system, we obtain the eigenvalues of the corresponding critical points. These results are also shown in Table 2. Under the constraint condition \(0<\Delta <1\), point \(P_{1}\) is unstable and \(P_{2}\) is a saddle point, the stability of \(P_{3}\) and \(P_{4}\) are determined by \(\lambda \). For \(\lambda <1\), \(P_{3}\) is a stable point, while a stable point \(P_{4}\) requires \(\lambda >1\). Although \(P_{3}\) and \(P_{4}\) both behave as an attractor, they cannot be stable simultaneously.

Thus, for \(\lambda <1\), these results show that the universe evolves from the radiation dominated era \((P_{1})\) into the pressureless matter dominated era \((P_{2})\), and eventually enters the BHDE dominated late time acceleration epoch \((P_{3})\) which can behave as the cosmological constant \(\Lambda \). Some examples of this situations are plotted in Fig. 22. The left panel describes the behavior of attractor \(P_{3}\). And the right panel depicts the phase space trajectories on the \(\Omega _{m}-\Omega _{D}\) plane in which all trajectories stem from \(P_{1}\), approach to \(P_{2}\), and eventually converge into \(P_{3}\). In this situation, the whole history of the universe can be described by this model.

For \(1<\lambda <2\), the stability of these points indicates that the universe stems from the radiation dominated era \((P_{1})\) and then evolves close to the pressureless matter dominated era \((P_{2})\), and eventually enters into the BHDE dominated late time acceleration epoch \((P_{4})\) in which the coincidence problem can be solved. An example of this case is shown in Fig. 23. The behavior of attractor \(P_{4}\) is shown in the left panel of Fig. 23, and the trajectories is shown in the right one. In this case, the coincidence problem is solved.

Fig. 23
figure 23

Phase space trajectories for IBHDEHL with \(\lambda =1.2\). The left panel is plotted for the behavior of attractor \(P_{4}\) with \(\Delta =0.8\), the right panel is plotted for the evolution trajectories with different value of \(0<\Delta <1\)

Fig. 24
figure 24

Illustrative examples for the statefinder diagnostic \(\{r, s\}\) of IBHDEHL. Present values of \(\{r, s\}\) are marked by black dots, while the present values of the \(\Lambda \)CDM model is a fixed point \(\{r, s\}=\{1, 0\}\) marked by the red dot. Here, we take \(\Delta =0.8\)

For \(\lambda \ge 2\), the universe will finally evolve into an accelerated epoch dominated by the pressureless matter rather than the BHDE. Although the coincidence problem can be solved in this case, the acceleration in this case is caused by the pressureless matter.

4 Statefinder analysis

In previous section, we have discussed the dynamical evolution of the universe in IBHDEHA and IBHDEHL models. We find only IBHDEHL model can explain the current accelerated expansion and describe the whole evolution of the universe. And an attractor behaving as the cosmological constant \(\Lambda \) exists in this model. Then, how to discriminate this model from the standard \(\Lambda \)CDM model becomes another problem. To solve this problem, we use the statefinder diagnostic pairs \(\{r, s\}\), which was introduced by Sahni et al. [92], to analyze this model.

The statefinder parameters r and s are defined as [92]

$$\begin{aligned} r=\frac{\dddot{a}}{a H^{3}}, \quad s=\frac{r-1}{3(q-\frac{1}{2})}. \end{aligned}$$
(31)

The statefinder parameter is a geometrical diagnostic since it only depends on a. By differentiating Eq. (9), we can express the statefinder parameters r and s by \(\Omega _{m}'\) and \(\Omega _{D}'\). Then, solving Eqs. (11) and (12) numerically, we can obtain the evolution curves of the universe in the parameter space \(r-s\).

Fig. 25
figure 25

Illustrative examples for the statefinder diagnostic \(\{r, q\}\) of IBHDEHL. Present values of \(\{r, q\}\) are marked by black dots, the de Sitter expansion fixed point marked by the purple dot and the standard cold dark matter fixed point marked by the red dot. Here, we take \(\Delta =0.8\)

In Fig. 24, we have plotted an example for the evolution curves of the statefinder diagnostic pairs \(\{r, s\}\). In the left panel, we take some positive \(\lambda \), and use the negative one in the right panel. The black dotted line in Fig. 24represents HDE model. From Fig. 24, one can see that the statefinder pairs \(\{r, s\}\) start from the left side of the \(\Lambda \)CDM fixed point(0, 1), i.e. \(s<0\) and \(r>1\) which is the characteristic of Chaplygin gas, and then enter into the region \(s>0, r<1\) where the trajectories of quintessence and phantom stay in these regions. After passing through these regions, they finally tend to the \(\Lambda \)CDM fixed point(0, 1). It is noticeable that the behaviour of the statefinder pairs \(\{r, s\}\) in these model is similar to the quintom dark energy [93] and interacting vacuum energy model [94]. In addition, for \(\lambda =-0.5\), the statefinder pairs start from the Chaplygin gas region and then approach to the \(\Lambda \)CDM fixed point. For \(\lambda =-0.3\), the present value of \(\{r, s\}\) is close to the \(\Lambda \)CDM fixed point, and it is not for the other cases. These trajectories in \(r-s\) plane demonstrate the contrasting behavior of this model and the standard \(\Lambda \)CDM model strikingly.

For the sake of complementarity, we have plotted the evolution trajectories for another statefinder diagram \(\{r, q\}\) in Fig. 25. From Fig. 25, one can see that the standard \(\Lambda \) model starts from the standard cold dark matter fixed point (0.5, 1), while the evolution curves for IBHDEHL have a smaller deviation from this fixed point. And both models can evolve into the de Sitter expansion fixed point \((-1,1)\) in the future.

Table 3 Examples for best fitting values of c in HDE model

In addition, under the condition \(\Omega _{r}=0\) and \(\Omega _{D}=0.73\), the evolution curves of HDE in Figs. 24 and 25 become that in [95].

5 Turning point in Hubble diagram

In HDE, it was found that there exists a turning point in the Hubble diagram H(z), which leads to HDE model conflicting with the cosmological paradigm [86]. This turning point is determined by the constant parameter c in HDE model, and this point occurs in the future for \(0.5\le c <1\), while it becomes observable for \(c\le 0.5\). This result was obtained in [86] and it was also shown in the left panel of Fig. 26. When the cosmological observational data are used to constrain the free parameter c in HDE model, the combination of different data provides different best fitting values of c, and some examples are shown in Table 3 where most results indicate that the turning point can be postponed to the future.

Then, in order to discuss the turning point in BHDE models, we have plotted the evolution curves of Hubble parameter H in Figs. 26 and 27. The error bar in Figs. 26 and 27 represent the observational Hubble parameter data [46, 96]. In the right panel of Fig. 26, the evolution curve of H for BHDEF model was plotted with \(\Delta =0.1\). The results show that the turning point moves to lower redshift with the increasing of C, and vanishes when \(C \ge 4.45\). The evolution curve of H for BHDEF model with \(C=3.5\) was plotted in the left panel of Fig. 27 which shows that this turning point moves to lower redshift regions with the decreasing of \(\Delta \). For \(\Delta \le 0.04\), the turning point disappears. Recently, the combination \(H(z)+SNIa\) place constraints on \(C=3.421^{+1.753}_{-1.611}\) and \(\Delta =0.094^{+0.094}_{-0.101}\) [78]. Thus, under the constraints \(C=3.421^{+1.753}_{-1.611}\) and \(\Delta =0.094^{+0.094}_{-0.101}\), the turning point of Hubble diagram in BHDEF is nonexistent.

The evolution curves of H for BHDEH with different \(\Delta \) are shown in the right panel of Fig. 27. This figure shows that the turning point occurs in the future, and it vanishes with the increasing of \(\Delta \). For \(\Delta >0.7\), the turning point can be avoided. And for \(\Delta \sim 0.1\), the turning point occurs near \(z=-1\) which means \(a\rightarrow \infty \). When \(\Delta \le 0.02\), this point disappears. Thus, in the region \(\Delta > 0.7\) or \(\Delta \le 0.02\), the turning point of Hubble diagram does not exist in BHDEH

Fig. 26
figure 26

Evolution curves of H. The left panel was plotted for HDE, while the right one was shown for BHDEF with \(\Delta =0.1\)

Fig. 27
figure 27

Evolution curves of H. The left panel was plotted for BHDEF with \(C=3.5\), while the right one was shown for BHDEH

Recently, considering BHDE with the apparent horizon as IR cutoff (BHDEA), the Big Bang Nucleosynthesis (BBN) place a constraint on the parameter of Barrow entropy \(\Delta \le 1.4\times 10^{-4}\) in order not to spoil the BBN epoch [97]. Under this constraint, BHDEA model can return to HDE model and the turning point in Hubble diagram cannot be avoided. In BHDEF model, the combination \(H(z)+SNIa\) give looser constraints \(\Delta =0.094^{+0.094}_{-0.101}\) and \(C=3.421^{+1.753}_{-1.611}\), which provide us an approach to solve the turning point in Hubble diagram. In BHDEA and BHDEF models, the constraints indicate that a small \(\Delta \) is favored by the current observations. However, in BHDEH model, the right panel of Fig. 27 indicates the observable Hubble data favor \(\Delta >0.7\), which is different from the values of \(\Delta \) in BHDEA and BHDEF models. To obtain a best fitting value of the parameters in BHDEA, BHDEF and BHDEH models, one require to combine more observational data to constrain the parameters. It is interesting to compare BHDEA, BHDEF and BHDEH models and combine more current observations to constrain the parameters in these models, and this is what we shall do in the future

6 Conclusion

Based on the holographic principle and the Barrow entropy, which results from the modification of the black hole surface due to quantum-gravitational effects, a new HDE model named BHDE has been proposed. In this paper, by considering the future event horizon and the Hubble horizon as IR cutoff, we analyze the evolution and stability of BHDE models with different interaction terms. We find all of these BHDE models can explain the current accelerated expansion, but only IBHDEHA and IBHDEHL can be stable under some specific conditions in which the coupling constant requires to be negative. A negative coupling constant may result in \(Q<0\), which indicates that the pressureless matter is giving energy to BHDE. When we study the evolution of the universe in IBHDEHA and IBHDEHL models, we find only IBHDEHL model can describe the whole evolution of the universe, i.e. the universe stems from the radiation dominated epoch, passes through the pressureless matter dominated epoch, and eventually approaches the dark matter dominated acceleration epoch. Since both \(w_{D}\) and q can approach to \(-1\) at the late time evolution of the universe, the BHDE in IBHDEHL model can behave as the cosmological constant.

Then, we apply the dynamical analysis techniques to IBHDEHA and IBHDEHL models which are stable against perturbations. Although IBHDEHA model can describe the entire evolution epoch of the universe, \(\Omega _{r}\) cannot dominate the evolution of the universe in the corresponding redshift regions. Thus, only IBHDEHL model can describe the whole evolution of the universe. In this model, the results show that there exist three different critical points for \(\lambda <1\), namely the unstable point represents the radiation dominated epoch, the saddle point denotes the pressureless matter dominated epoch, and the stable point corresponds to the BHDE dominated epoch. For the stable point, since both \(w_{D}\) and q equal to \(-1\), this point can behave as the cosmological constant. The attractor behavior and evolution curves of the stable point show that IBHDEHL model can describe the thermal history of the universe. Thus, IBHDEHL model is a viable cosmological model. In addition, for \(1<\lambda <2\), the stable point can alleviate the coincidence problem since the ratio of the energy densities can approach to a constant

In order to discriminate IBHDEHL model from the standard \(\Lambda \)CDM model, we apply the statefinder analysis method to IBHDEHL model. The statefinder diagrams show that the evolution curves of IBHDEHL model will eventually approach to the \(\Lambda \)CDM fixed point in \(r-s\) phase plane and the de Sitter expansion fixed point in \(r-q\) phase plane. Furthermore, the statefinder diagrams indicate that the interaction between the pressureless matter and BHDE has a significant effect on the evolution of the universe, and the IBHEDHL model can be distinguished from the standard \(\Lambda \)CDM model by this method.

Finally, we discuss the turning point of Hubble diagram in BHDE models. For BHDEF model, the turning point is nonexistent under the current observational results. For BHDEH model, this point vanishes for \(\Delta >0.7\), and this point can also be avoided for \(\Delta \sim 0.1\) in which the turning point occurs in the region \(z\sim -1\) which means \(a\rightarrow \infty \). When \(\Delta \le 0.02\), this point disappears. These results indicate that the turning point in Hubble diagram does not exist in BHDE models under the acceptable conditions.