1 Introduction

Climate change is causing irreplaceable environmental damage. Sea-level rise, temperature rise, extreme weather conditions, and ocean acidification are some changes which have been pointed up in a recent report by UNCCS (UNCCS 2019). The increasing global temperature affects the freshwater availability, food security, and these in combination with extreme climatic events bring forth negative impacts on human health. IPCC 2018 has mentioned that the anthropogenic emission of greenhouse gases has warmed the atmosphere 1.0\(^{\circ }\)C above the pre-industrial temperature level, and if the current emission rate of greenhouse gases persist, global temperature may increase to 1.5\(^{\circ }\)C between the year 2030 and 2052 (IPCC 2018). As carbon dioxide(\(CO _2\)) is a primary greenhouse gas due to its high presence in the atmosphere compared to other greenhouse gases, the enhanced concentration of this prime heat-trapping gas is predominantly accountable for global warming. The atmospheric level of \(CO _2\) has elevated from 280 ppm (pre-industrial level) to 415 ppm in January 2021 (NOAA 2021). Recent emission gap report published by UNEP has reported that total carbon dioxide gas emission in 2018 amounted to 55.3 Gt\(CO _2\) of which 37.5 Gt\(CO _2\) is emitted due to fossil fuel burning and 3.5 Gt\(CO _2\) is emitted due to the land-use changes (UNEP 2019). This indicates that the anthropogenic emission of carbon dioxide is a root cause for such a high level of its atmospheric concentration. According to Shi (Shi 2003), 1.0% increment in the human population brings about 1.42% increment in carbon dioxide emission on average. Forest biomass also plays a prime role in the dynamics of atmospheric concentration of \(CO _2\) as it acts as a carbon dioxide sink. Using mathematical models, it has been shown in articles that due to increasing human population, forest biomass is depleting rapidly (Cropper and Griffiths 1994; Misra et al. 2014; Shukla et al. 2011). In the FAO report (FAO 2020), it is stated that between 2010 and 2020, about 4.74 million hectares of forest had been cleared per year. This destruction in the natural sink of carbon dioxide is also a reason for such a high level of atmospheric concentration of \(CO _2\) (Caetano et al. 2011). To stabilize the atmospheric level of \(CO _2\) below 450 ppm, it is required to take some actions as soon as possible and continuously for few decades, and this could prevent some future severe adverse impacts (IPCC 2014).

To reduce the atmospheric concentration of carbon dioxide, it is required to make efforts. Some mitigation efforts use decarbonization technologies which control the anthropogenic emission of \(CO _2\), such as fuel switching, renewable energy, and carbon capture and storage (CCS). These techniques are discussed in the literature (Fawzy et al. 2020; Ricke et al. 2017; Wee 2013), and most of these techniques are well established and have low risk. Some mitigation techniques are termed as negative emission techniques, which include the techniques that capture \(CO _2\) directly from the atmosphere, e.g., direct air capture and storage (DACS), ocean fertilization, afforestation/reforestation, etc., and these techniques are discussed in (Fawzy et al. 2020; IPCC 2018; Pires 2019; Smith et al. 2016). As combustion of fossil fuels occurs mainly in power sectors and industries, control of anthropogenic emission of \(CO _2\) can be done here using the renewable energy, CCS technology as well as switching fuels to low carbon fuels. Vinca et al. have discussed about the decarbonization techniques, and they have mentioned that the leakage risk and high cost associated with the deployment of CCS technology are some points of concern of decarbonization techniques (Vinca et al. 2018). Maintaining the atmospheric level of \(CO _2\) by controlling the anthropogenic emission using technological options has been studied in (Verma and Misra 2018). In this study, they have shown that using technological options, the atmospheric level of carbon dioxide can be controlled but high implementation cost of such options restrict their use at large scale. Other than that, the dismissive point of the negative emission technique such as afforestation and reforestation is that it requires a larger land which can increase the competition for the land between other land uses. According to Smith et al. (Smith et al. 2016), the removal of 1.1 Gt\(CO _2\) is possible by the year 2100 and this would require approximately 370 Mha new forest. Study of reduction in the atmospheric concentration of \(CO _2\) using optimized afforestation has been done by Caetano et al. (Caetano et al. 2011). In some studies, it has been argued that the negative emission techniques should be used together with decarbonization technologies to achieve a great mitigation effort (Gasser et al. 2015; Pires 2019). Moreover, utilizing finance on these technologies together with redirecting it to support land-use practices which are more sustainable, further to use it for the payments of sequestration of carbon can aid in the worth of forests to locals (FAO 2020) which can prevent deforestation. Moreover, a study done by Lata and Misra (Lata and Misra 2017) suggests that by providing the incentives to people, deforestation can be reduced. Some programs such as Unnat Jyoti, SLNP, National Electric Mobility Mission Plan, Pradhan Mantri Krishi Sinchayee Yojna, National Afforestation Program, National Green Highways Mission, etc. have been launched by the Indian government to maintain the atmospheric level of \(CO _2\). Till date, 30 projects of total expense INR 8,470 Million have been approved (MoEFCC 2021).

In recent years, effect of various factors like human population and related population pressure, forest biomass, environmental education, etc. on atmospheric concentration of \(CO _2\) using mathematical models have been analyzed (Devi and Gupta 2020; Misra and Jha 2021; Misra and Verma 2013, 2015; Shukla et al. 2015; Tennakone 1990; Verma and Misra 2018). Tennekone has formulated a non-linear mathematical model by considering forestry biomass and atmospheric concentration of carbon dioxide as dynamic variables (Tennakone 1990). This study has shown that the excessive deforestation and rapid increase in atmospheric concentration of \(CO _2\) destabilizes the system. Furthermore, Misra and Verma (Misra and Verma 2013) have presented a model to study the interplay between atmospheric concentration of \(CO _2\), human population, and forestry biomass. This study suggests that uncontrolled deforestation by the human population may lead the system to an unstable situation. Extending this study, Misra & Jha (Misra and Jha 2021) have shown that due to the increasing demand of human population for forestry biomass (i.e., population pressure), the atmospheric concentration of carbon dioxide increases. From these studies, it may be noted that controlling the anthropogenic emission of carbon dioxide or deforestation by the human population is important for stabilizing the atmospheric concentration of \(CO _2\). Devi and Gupta (Devi and Gupta 2020) have studied the effect of different types of biomass in controlling the atmospheric level of \(CO _2\). In the study done by Misra and Verma (Misra and Verma 2015), it has been shown that environmental education about the ill effects of increasing \(CO _2\) to the population might be helpful in maintaining the atmospheric level of \(CO _2\).

From the above discussion, it may be noted that the atmospheric level of \(CO _2\) can be maintained at an innocuous level using various decarbonization techniques or negative emission techniques, and for the implementation of these techniques government provide funds, (MoEFCC 2021). Therefore, it is reasonable to study the impact of allocated budget on the atmospheric level of carbon dioxide. In the present work, we formulate a non-linear mathematical model which explores the effect of budget allocation on the abatement of atmospheric concentration of carbon dioxide. For model formulation, we consider that the budget follows logistic growth and the allocated budget is used for two purposes; some proportion of the allocated budget is used for the application of various technologies or programs to reduce the anthropogenic emissions and remaining part of the budget is used to increase the forest by which sequestration of carbon dioxide increases.

2 Mathematical model

Let C(t), N(t), and F(t) be the atmospheric level of \(CO _2\), human population, and forest biomass, respectively. The increasing level of atmospheric carbon dioxide is mainly responsible for increasing global average temperature. Let \(C_0\) denotes the pre-industrial level of atmospheric \(CO _2\). As the atmospheric level of carbon dioxide was almost constant during the pre-industrial period, we have taken \(C_0\) as a constant. The main cause behind the increased level of \(CO _2\) is its anthropogenic emission due to fossil fuel burning and land-use changes. In some studies, it has been discussed that the atmospheric level of \(CO _2\) can be maintained at an innocuous level using decarbonization techniques and negative emission techniques (Gasser et al. 2015; Pires 2019), and for the implementation of these techniques, the government provides funds. We have considered the allocated budget as a dynamical variable B(t). Furthermore, we have considered that the budget allocated to maintain the atmospheric level of carbon dioxide follows the logistic growth. Moreover, the government provides additional funds if the atmospheric level of \(CO _2\) increases in excess amount; hence, the budget allocated by the government also depends upon the increased level of \(CO _2\) from its pre-industrial level \(C_0\), so we have considered the term \(\eta (C-C_0)B\). Here, \(\eta \) is per capita growth rate of budget in proportion to the increased level of carbon dioxide from its pre-industrial level. If there is already a high budget allocation for maintaining the atmospheric level of carbon dioxide, the budget will increase slowly. However, if the budget allocation is less, then on increase of atmospheric level of \(CO _2\), the government will increase the budget rapidly. Thus, the dynamics of allocated budget B(t) is governed by the equation

$$\begin{aligned} \frac{\text {d}B}{\text {d}t} = rB\left( 1 - \frac{B}{K}\right) + \eta (C - C_0)B. \end{aligned}$$

The anthropogenic emission of carbon dioxide depends upon the human population (Onozaki 2009), so we have considered that the anthropogenic emission rate of \(CO _2\) is proportional to the human population. The atmospheric concentration of \(CO _2\) depletes naturally and it is taken in proportion to the atmospheric concentration of \(CO _2\) (Nikol’skii 2010). \(\alpha \) is the natural depletion rate coefficient of atmospheric \(CO _2\). The application of any mitigation strategies has some negative impacts too, such as CCS technique has cost disadvantage, leakage risk, etc. (Gibbins and Chalmers 2008). As, the technological options can be applied mainly in large industries, so it is not possible to achieve a net zero emission. Therefore, we have considered that the budget used for control of anthropogenic emission of \(CO _2\) has a limited impact on the control of anthropogenic emission of \(CO _2\). Therefore, we have considered a saturated type of functional response to show the effect of budget on the control of anthropogenic emission of \(CO _2\). We have considered that \(k^{th}\) \((0<k<1)\) part of the allocated budget is used for controlling the anthropogenic emission of \(CO _2\). As the kB budget is used to control the anthropogenic emission of \(CO _2\), therefore we have considered that the anthropogenic emission rate coefficient of \(CO _2\), i.e., \(\lambda \) decreases by a factor \(\frac{\nu kB}{q_1+kB}\). Therefore, the net anthropogenic emission rate coefficient of \(CO _2\) becomes \(\left( \lambda - \frac{\nu k B}{q_1 + kB}\right) \), which is a decreasing function of the budget used to control the anthropogenic emission of \(CO _2\). Here, \(\nu \) is the efficacy of budget allocated to control the anthropogenic emission of \(CO _2\) and \(q_1\) is a constant which is used to limit the effect of allocated budget in controlling the atmospheric level of \(CO _2\). Also, the concentration of \(CO _2\) decreases due to its sequestration by forestry biomass during the photosynthesis process at a rate \(\lambda _1CF\). Therefore, the following differential equation governs the dynamics of atmospheric \(CO _2\) :

$$\begin{aligned} \frac{\text {d}C}{\text {d}t} = -\alpha (C - C_0) + \left( \lambda - \frac{\nu k B}{q_1 + kB}\right) N - \lambda _1CF. \end{aligned}$$

Furthermore, the human population follows logistic growth with s and L as intrinsic growth rate and carrying capacity, respectively. Since the enhanced concentration of atmospheric \(CO _2\) has adverse effects on human health (Casper 2010), the population declines because of an increase in the atmospheric concentration of \(CO _2\). As human population clears forestry biomass for their livelihood (Cropper and Griffiths 1994; Shukla et al. 2011), we have considered that the growth rate of forest biomass decreases due to human population and this depletion of forestry biomass feedbacks to the growth of human population (Misra and Verma 2013; Shukla et al. 2011) with a proportionality constant \(\pi \). Therefore, the dynamics of human population is governed by

$$\begin{aligned} \frac{\text {d}N}{\text {d}t} = sN\left( 1 - \frac{N}{L}\right) - \theta (C - C_0)N + \pi \phi NF. \end{aligned}$$

Also, the forestry biomass follows logistic growth with u and M as intrinsic growth rate and carrying capacity of forestry biomass, respectively. The human population uses forest biomass for their livelihood, so the density of forest biomass decreases at a rate \(\phi NF\). As mentioned above, forest biomass soaks carbon dioxide during the photosynthesis process. Hence, forest biomass acts as a natural sink of atmospheric carbon dioxide. Therefore, for maintaining the atmospheric level of carbon dioxide, increasing the forest biomass and controlling the anthropogenic emission of \(CO _2\) might be beneficial. Therefore, we have considered that the remaining part of budget (i.e., \((1-k)^{th}\) part) is used for the plantation of trees. Therefore, due to the allocated budget, the density of forest biomass increases at a rate \(\frac{\mu (1-k)BF}{q_2+(1-k)B}\); here, \(\mu \) is efficacy of allocated budget for afforestation and reforestation programs and \(q_2\) is half-saturation constant which limits the effect of allocated budget. Here, again, we have considered the saturated type of functional response, because the available budget can increase the trees in the considered region up to a certain level. Therefore, the dynamics of forest biomass is governed by the following differential equation:

$$\begin{aligned} \frac{\text {d}F}{\text {d}t} = uF\left( 1 - \frac{F}{M}\right) - \phi NF + \left( \frac{\mu (1-k)B}{q_2 + (1-k)B}\right) F. \end{aligned}$$

Thus, the set of non-linear differential equations governing the dynamics of atmospheric carbon dioxide according to our consideration is as follows:

$$\begin{aligned} \frac{\text {d}C}{\text {d}t}&= -\alpha (C - C_0) + \left( \lambda - \frac{\nu k B}{q_1 + kB}\right) N - \lambda _1CF,\nonumber \\ \frac{\text {d}N}{\text {d}t}&= sN\left( 1 - \frac{N}{L}\right) - \theta (C - C_0)N + \pi \phi NF,\nonumber \\ \frac{\text {d}F}{\text {d}t}&= uF\left( 1 - \frac{F}{M}\right) - \phi NF + \left( \frac{\mu (1-k)B}{q_2 + (1-k)B}\right) F,\nonumber \\ \frac{\text {d}B}{\text {d}t}&= rB\left( 1 - \frac{B}{K}\right) + \eta (C - C_0)B, \end{aligned}$$
(1)

where \(C(0) > C_0\), \(N(0) \ge 0\), \(F(0) \ge 0\) and \(B(0) \ge 0\).

In general, the parameter \(q_1\) is the half-saturation constant, which represents the budget at which reduction in atmospheric level of \(CO _2\) is half of its maximum possible reduction which can be achieved using budget. Similarly, we can define \(q_2\) for the forest biomass. The description of used parameters in model system (1) and their units are mentioned in Table 1.

Table 1 Parameters and their description with unit

Lemma 1

Region of attraction for the above model system is contained in \(\Omega \):

$$\begin{aligned} \Omega = \left\{ (C, N, F, B)\in \Re _+^4: C_0 \le C \le C_m, 0 \le N \le N_m, 0 \le F \le F_m, 0 \le B \le B_m \right\} , \end{aligned}$$
(2)

where

$$\begin{aligned} C_m = C_0 + \frac{\lambda N_m}{\alpha }, N_m = \frac{L}{s}(s + \pi \phi F_m), F_m = \frac{M}{u}(u + \mu ), B_m = \frac{K}{r}\left( r + \frac{\eta \lambda N_m}{\alpha }\right) . \end{aligned}$$

It attracts all the solutions initiating in the interior of positive orthant.

Proof of this lemma is given in Appendix A.

2.1 Persistence

The permanence or persistence of the model system ensures that if the considered dynamical variables are initially present in the system, they will be present in the system for all future time. A system is said to be uniformly persistent if lower bound and upper bound of each positive solution exist, i.e., there exists positive constant \(M_1\) and \(M_2\), such that each positive solution of the system with positive initial condition satisfies

$$\begin{aligned} M_1 \le \liminf _{t\rightarrow \infty } W(t) \le \limsup _{t\rightarrow \infty } W(t) \le M_2, \end{aligned}$$

where \(W(t) = (C(t), N(t), F(t), B(t))\).

Proof of persistence of system (1) is given in Appendix B.

3 Model analysis

As the formulated model (1) is non-linear, we perform its qualitative analysis using the stability theory of ordinary differential equations. To analyze the long-term behavior of the formulated model (1), first, we obtain the feasible equilibria and then perform their stability analysis.

3.1 Equilibrium analysis

The equilibria are constant solutions of the model system (1). We can obtain them by setting the growth rate of dynamical variables to zero. All feasible equilibria for the model system (1) are listed in Table 2:

Table 2 Obtained equilibria and condition for their existence

The existence of equilibria \(E_0, E_1, E_2\) and \(E_3\) are obvious, and hence omitted. Existence of \(E_4\), \(E_5\), \(E_6\) and \(E^*\) are shown below. In equilibrium \(E_4(C_4, N_4, 0, B_4)\), the values of \(C_4\), \(N_4\) and \(B_4\) are positive solutions of the following equations:

$$\begin{aligned} -\alpha (C - C_0) + \left( \lambda - \frac{\nu kB}{q_1 + kB}\right) N = 0, \end{aligned}$$
(3)
$$\begin{aligned} s\left( 1 - \frac{N}{L}\right) - \theta (C - C_0) = 0, \end{aligned}$$
(4)
$$\begin{aligned} r\left( 1 - \frac{B}{K}\right) + \eta (C - C_0) = 0. \end{aligned}$$
(5)

From Eqs. (4) and (5), we have

$$\begin{aligned} N = \frac{L \{s - \theta (C - C_0)\}}{s} \hbox { and } B = \frac{K \{r + \eta (C - C_0)\}}{r}. \end{aligned}$$

Putting these values of N and B in Eq. (3), we have

$$\begin{aligned} -\alpha (C - C_0) +\left[ \lambda - \frac{\frac{K\nu k\{r + \eta (C - C_0)\}}{r}}{q_1 + \frac{K k\{r + \eta (C - C_0)\}}{r}}\right] \left[ \frac{L \{s - \theta (C - C_0)\}}{s}\right] = 0. \end{aligned}$$

On simplifying this, we get

$$\begin{aligned} a(C - C_0)^2 - b(C - C_0) + c = 0, \end{aligned}$$

where \(a = \left[ \frac{\alpha \eta kK}{r} + \frac{\lambda kKL\theta \eta }{rs} - \frac{\nu kKL\eta \theta }{rs}\right] ,\)

\(b = -\alpha q_1 - \alpha kK - \frac{\lambda q_1L\theta }{s} + \frac{\lambda kK\eta L}{r} - \frac{\lambda kKL\theta }{s} - \frac{\nu kKL\eta }{r} + \frac{\nu kKL\theta }{s},\)

\(c = -[\lambda q_1L + \lambda kKL - \nu kKL].\)

As \(\lambda > \nu \), implies \(a > 0\) and \(c < 0\) and the \(discriminant > 0\). Thus, we have a positive real root (say \(\tilde{C_4}\)) \(\Rightarrow \) \(C = C_0 + \tilde{C_4} = C_4\).

Using this value of \(C_4\), we get positive values of \(B_4\) and \(N_4\), if \([s - \theta (C_4 - C_0)] > 0\), or we can say that the death rate of human population due to harmful effects of increased \(CO _2\) should be lesser than its intrinsic growth rate.

In equilibrium \(E_5(C_5, N_5, F_5, 0)\), the values of \(C_5\), \(N_5\) and \(F_5\) are given as the solutions of the following equations:

$$\begin{aligned} -\alpha (C - C_0) + \lambda N - \lambda _1CF = 0, \end{aligned}$$
(6)
$$\begin{aligned} s\left( 1 - \frac{N}{L}\right) - \theta (C - C_0) + \pi \phi F = 0,\end{aligned}$$
(7)
$$\begin{aligned} u\left( 1 - \frac{F}{M}\right) - \phi N = 0. \end{aligned}$$
(8)

From Eq. (6), we have

$$\begin{aligned} C = \frac{\alpha C_0 + \lambda N}{\alpha + \lambda _1 F}. \end{aligned}$$
(9)

Putting this value of C in Eq. (7), we get

$$\begin{aligned} N = \frac{L\{(s + \pi \phi F)(\alpha + \lambda _1F) + \theta \lambda _1C_0F\}}{s(\alpha + \lambda _1F) + \theta \lambda L}. \end{aligned}$$
(10)

Using this value of N in equation (8), we get

$$\begin{aligned} \hat{a}F^2 + \hat{b} F + \hat{c} = 0. \end{aligned}$$
  • \(\hat{a} = \left( \frac{su\lambda _1}{M} + \pi \phi ^2L\lambda _1\right) ,\)

  • \(\hat{b} = - su\lambda _1 + \frac{u}{M}(s\alpha + \lambda \theta L) + \phi L(s\lambda _1 + \pi \phi \alpha +\theta \lambda _1C_0),\)

  • \(\hat{c} = -(su\alpha + u\theta \lambda L - \phi L\alpha s).\) As \(\hat{a} > 0\) and \(\hat{c} < 0\) provided \(su\alpha + u\theta \lambda L > \phi L\alpha s\), also the \(discriminant > 0\). Therefore, this quadratic equation gives a unique positive value of F provided that \(su\alpha + u\theta \lambda L > \phi L\alpha s\). Using this value of F (say \(F_5\)) in (10) and (9), we get the positive values of N and C (say \(N_5\) and \(C_5\)), respectively.

In equilibrium \(E_6(C_6, 0, F_6, B_6)\), the values of \(C_6\), \(F_6\) and \(B_6\) are given by the solution of following equations:

$$\begin{aligned}&-\alpha (C - C_0) - \lambda _1CF = 0, \end{aligned}$$
(11)
$$\begin{aligned}&u\left( 1 - \frac{F}{M}\right) + \frac{\mu (1-k)B}{q_2 + (1-k)B} = 0, \end{aligned}$$
(12)
$$\begin{aligned}&r\left( 1 - \frac{B}{K}\right) + \eta (C - C_0) = 0. \end{aligned}$$
(13)

From Eqs. (.2) and (13), we get

$$\begin{aligned} F = \frac{M}{u}\left[ u + \frac{\mu (1-k)B}{q_2 + (1-k)B}\right] \hbox { and } (C - C_0) = \frac{-r}{\eta }\left( 1 - \frac{B}{K}\right) , \hbox { respectively.} \end{aligned}$$

Putting these values in equation (.1), we get a quadratic equation in B as

$$\begin{aligned} \breve{a}B^2 + \breve{b}B + \breve{c} = 0, \end{aligned}$$

where \(\breve{a} = \left[ \frac{\alpha r(1-k)}{\eta K} + \frac{M\lambda _1r(u+\mu )(1-k)}{u\eta K}\right] ,\)

\(\breve{b} = \frac{-\alpha r(1-k)}{\eta K} + \frac{\alpha r q_2}{\eta K} + \frac{M\lambda _1(u+\mu )(1-k)}{u}\left( C_0 - \frac{r}{\eta }\right) + \frac{M\lambda _1rq_2}{\eta K},\)

\(\breve{c} = -\left[ \frac{\alpha rq_2}{\eta } - M\lambda _1q_2\left( C_0 - \frac{r}{\eta }\right) \right] \).

As, \(\breve{a} > 0\) and \(\breve{c} < 0\) provided that \(\frac{\alpha r}{\eta } > M\lambda _1\left( C_0 - \frac{r}{\eta }\right) \) also the \(discriminant > 0\). Therefore, we get a unique positive value of B (say \(B_6\)). Using this value of B, positive value of C (from Eq. (.1)) and F (from Eq. (.2)) can be obtained.

The equilibrium \(E^*\) is given as the positive solution of the following equations:

$$\begin{aligned}&-\alpha (C - C_0) + \left( \lambda - \frac{\nu k B}{q_1 + kB}\right) N - \lambda _1CF = 0, \end{aligned}$$
(14)
$$\begin{aligned}&s\left( 1 - \frac{N}{L}\right) - \theta (C - C_0) + \pi \phi F = 0,\end{aligned}$$
(15)
$$\begin{aligned}&u\left( 1 - \frac{F}{M}\right) - \phi N + \frac{\mu (1-k)B}{q_2 + (1-k)B} = 0,\end{aligned}$$
(16)
$$\begin{aligned}&r\left( 1 - \frac{B}{K}\right) + \eta (C - C_0) = 0. \end{aligned}$$
(17)

From Eqs. (17) and (15), we have

$$\begin{aligned} (C - C_0) = \frac{-r}{\eta }\left( 1 - \frac{B}{K}\right) \hbox { and } N = \left[ \frac{L}{s}\left\{ s + \frac{r\theta }{\eta } \left( 1 - \frac{B}{K}\right) + \pi \phi F\right\} \right] . \end{aligned}$$

Using these values of C and N in Eqs. (14) and (16), we have

$$\begin{aligned}&\frac{\alpha r}{\eta }\left( 1 - \frac{B}{K}\right) + \left( \lambda - \frac{\nu k B}{q_1 + k B}\right) \left[ \frac{L}{s}\left\{ s + \frac{r\theta }{\eta } \left( 1 - \frac{B}{K}\right) + \pi \phi F\right\} \right] \nonumber \\&\quad + \lambda _1\left[ \frac{r}{\eta }\left( 1 - \frac{B}{K}\right) - C_0\right] F = 0, \end{aligned}$$
(18)
$$\begin{aligned}&u - \frac{uF}{M} - \frac{\phi L}{s}\left[ s + \frac{r\theta }{\eta }\left( 1 - \frac{B}{K}\right) + \pi \phi F\right] + \frac{\mu (1-k)B}{q_2 + (1-k)B} = 0. \end{aligned}$$
(19)

From Eq. (18) when \(B = 0\), we have \(F = \frac{\frac{r\alpha }{\eta } + \frac{\lambda L}{s}\left( s + \frac{r\theta }{\eta }\right) }{\lambda _1\left[ C_0 - \frac{r}{\eta }\right] - \frac{\lambda L\pi \phi }{s}} > 0 \hbox { (say }F_a),\) provided that \(\lambda _1C_0 > \lambda _1\frac{r}{\eta } + \frac{\lambda L\pi \phi }{s}\).

When \(F = 0\), we get a quadratic equation in B as

$$\begin{aligned}&\left[ -\frac{Lr\theta k(\lambda - \nu )}{s\eta K} - \frac{\alpha r k}{\eta K}\right] B^2 + \left[ \frac{\alpha r k}{\eta } - \frac{\alpha rq_1}{\eta K} - \frac{\lambda q_1 L r\theta }{s\eta K} + (\lambda - \nu )\frac{kL}{s}\left( s + \frac{r\theta }{\eta }\right) \right] B \\&\quad + \frac{\alpha rq_1}{\eta } + \frac{\lambda q_1 L}{s} \left( s + \frac{r\theta }{\eta }\right) = 0, \end{aligned}$$

which gives a positive root of B(say \(B_a\)).

Differentiating equation (18) with respect to B, we have

$$\begin{aligned} \frac{dF}{dB} = \frac{\frac{\alpha r}{\eta K} + \frac{L}{s}\left\{ s + \frac{r\theta }{\eta }\left( 1 - \frac{B}{K}\right) + \pi \phi F\right\} \frac{\nu kq_1}{(q_1 + kB)^2} + \left( \lambda - \frac{\nu kB}{q_1 + kB}\right) \frac{Lr\theta }{\eta Ks} + \frac{r\lambda _1}{\eta K}F}{\left( \lambda - \frac{\nu kB}{q_1 + kB}\right) \frac{\pi \phi L}{s} + \frac{\lambda _1r}{\eta }\left( 1 - \frac{B}{K}\right) - \lambda _1C_0}. \end{aligned}$$

Therefore, \(\frac{dF}{dB} < 0.\)

From Eq. (19) when \(B = 0\), we have

$$\begin{aligned} F = \frac{u - \frac{\phi L}{s}\left( s + \frac{r\theta }{\eta }\right) }{\frac{u}{M} + \frac{\pi \phi ^2 L}{s}} > 0 \hbox { (say }F_b), \end{aligned}$$

provided \(u - \frac{\phi L}{s}\left( s+\frac{r\theta }{\eta }\right) > 0\).

Putting \(F = 0\) in Eq. (19) and simplifying, we get

$$\begin{aligned}&(1-k)\frac{r\theta }{\eta K}B^2 + \left[ (u + \mu )(1-k) + \frac{q_2r\theta }{\eta K} - \frac{\phi L}{s}(1-k)\left( s + \frac{r\theta }{\eta }\right) \right] B\\&\quad + \left[ uq_2 - \frac{q_2\phi L}{s}\left( s + \frac{r\theta }{\eta }\right) \right] = 0. \end{aligned}$$

This gives negative root for B. Differentiating (19) with respect to B, we have

$$\begin{aligned} \frac{dF}{dB} = \frac{\frac{\phi Lr\theta }{s\eta K} + \frac{\mu (1-k)q_2}{(q_2 + (1-k)B)^2}}{\left( \frac{u}{M} + \frac{\pi \phi ^2L}{s}\right) } > 0. \end{aligned}$$

Now, the isoclines (18) and (19) intersect at unique point \((B^*, F^*)\) within the positive quadrant, provided that \(F_a > F_b\), [see Fig. 1]. Therefore, there exists positive values for B and F provided that the following conditions hold:

(i):

\(\frac{\pi \phi \lambda L}{s} + \frac{\lambda _1 r}{\eta } < \lambda _1C_0\),

(ii):

\(u - \frac{\phi L}{s}\left( s+\frac{r\theta }{\eta }\right) > 0\),

(iii):

\(\frac{u - \frac{\phi L}{s}\left( s+\frac{r\theta }{\eta }\right) }{\frac{u}{M}+\frac{\pi \phi ^2L}{s}} < \frac{\frac{\alpha r}{\eta }+\frac{\lambda L}{s}\left( s+\frac{r\theta }{\eta }\right) }{\lambda _1C_0 - \frac{\pi \phi \lambda L}{s} - \frac{\lambda _1r}{\eta }}\).

Using this positive value of \(B^*\) and \(F^*\), we get the positive value of \(C^*\) and \(N^*\).

Fig. 1
figure 1

Isoclines (18) and (19) are plotted to validate the intersection at unique point \((B^*,F^*)\) within interior of first quadrant

Remark 1

Using the above equations, we can obtain that

$$\begin{aligned}&\frac{dC^*}{dk} = \frac{\frac{r}{K}\left[ \frac{\lambda _1sq_2\mu C^*B^*}{L(q_2+(1-k)B^*)^2} - \frac{\pi \phi q_2\mu B^*T }{(q_2+(1-k)B^*)^2} - \frac{q_1\nu B^*P {} Q }{(q_1+kB^*)^2}\right] }{\frac{r}{K}\left[ \alpha P +\frac{\theta uT }{M}+\lambda _1P {} R + \lambda _1\theta \phi C^*\right] - \eta \left[ \frac{\pi \phi q_2\mu (1-k)T }{(q_2+(1-k)B^*)^2} - \frac{q_1\nu k P {} Q }{(q_1+kB^*)^2} - \frac{\lambda _1s\pi \phi q_2\mu (1-k) C^*B^*}{L(q_2+(1-k)B^*)^2}\right] },\nonumber \\ \end{aligned}$$
(20)

where \(P = \left( \frac{su}{LM} +\pi \phi ^2\right) \), \(Q = \left\{ \frac{su}{M}+\pi \phi u-\frac{\theta u}{M}(C-C_0)+\frac{\pi \phi \mu (1-k)B^*}{(q_2+(1-k)B^*)}\right\} \),

\(R = \left\{ \left( \frac{su}{L} -\phi s\right) +\phi \theta (C-C_0)+\frac{\mu s(1-k)B^*}{L(q_2+(1-k)B^*)}\right\} \) and \(T = \left( \lambda - \frac{\nu kB^*}{q_1+kB^*}\right) \).

From Eq. (20), we can say that when \(\frac{dC^*}{dk} < 0\), the equilibrium level of concentration of atmospheric carbon dioxide decreases if the budget allocated to control the anthropogenic emission of carbon dioxide increases. Moreover, when \(\frac{dC^*}{dk} > 0\), i.e., \(\frac{dC^*}{d(1-k)} < 0\), the equilibrium level of atmospheric concentration of carbon dioxide decreases with increase in proportion of allocated budget for afforestation/reforestation.

3.2 Local stability analysis of equilibria

Local stability of the equilibrium of the system is a property that a small change in the initial point of the formulated system has only a small effect in the behavior of solution as \(t\rightarrow \infty \). In this part, we examine the stability of equilibria in a small neighborhood by analyzing the sign of eigenvalues of the Jacobian matrix corresponding to each equilibrium. The Jacobian matrix for the model system (1) is given by

$$\begin{aligned} J = \left[ \begin{array}{cccc} -(\alpha + \lambda _1F) &{} \left( \lambda - \frac{\nu k B}{q_1 + kB}\right) &{} -\lambda _1C &{} \frac{-q_1k\nu N}{(q_1 + kB)^2} \\ -\theta N &{} a_{22} &{} \pi \phi N &{} 0 \\ 0 &{} -\phi F &{} a_{33} &{} \frac{q_2\mu (1-k)F}{(q_2 + (1-k)B)^2} \\ \eta B &{} 0 &{} 0 &{} r\left( 1 - \frac{2B}{K}\right) + \eta (C-C_0) \end{array}\right] , \end{aligned}$$

where, \(a_{22} = s\left( 1-\frac{2N}{L}\right) - \theta (C - C_0)+\pi \phi F\), \(a_{33} = u\left( 1 - \frac{2F}{M}\right) - \phi N + \frac{\mu (1-k)B}{q_2+(1-k)B}\).

Let the Jacobian matrix (J) evaluated at equilibrium \(E_i\) \((i = 0, 1, \cdots , 6)\) is represented by \(J_i\).

Eigenvalues of J at \(E_0\) are \(-\alpha \), s, u and r. Thus, \(E_0\) is locally unstable in \(N-F-B\) space and stable in C-direction.

Eigenvalues of \(J_1\) are \(u - \frac{\phi \alpha sL}{\alpha s+\lambda \theta L}\) and \(r + \frac{\eta \lambda Ls}{\alpha s+\lambda \theta L}\) and remaining eigenvalues are either negative or have negative real part. As, the eigenvalue \(u - \frac{\phi \alpha sL}{\alpha s+\lambda \theta L}\) is positive whenever \(E_5\) exists. Therefore, the equilibrium \(E_1\) is stable in \(C-N\) plane, unstable in B-direction, and unstable in F-direction whenever \(E_5\) exists.

The eigenvalues of the Jacobian matrix \(J_2\) are \(-(\alpha + \lambda _1 M)\), \(s + \frac{\theta \lambda _1C_0 M}{\alpha + \lambda _1M} + \pi \phi M\), \(-u\) and \(r - \frac{\eta \lambda _1C_0 M}{\alpha + \lambda _1 M}\). From this, we can see that the eigenvalue \(r - \frac{\eta \lambda _1C_0 M}{\alpha + \lambda _1 M}\) is positive whenever \(E_6\) exists. Thus, the equilibrium \(E_2\) is stable in \(C-F\) plane, unstable in N-direction, and unstable in B-direction whenever \(E_6\) exists.

Eigenvalues of \(J_3\) are \(-\alpha \), s, u, and \(-r\). Therefore, \(E_3\) is stable in \(C-B\) plane and unstable in \(N-F\) plane.

At equilibrium \(E_4\), the Jacobian matrix has one eigenvalue \(u - \phi N_4 + \frac{\mu (1-k)B_4}{q_2+(1-k)B_4}\), which is positive whenever \(E^*\) exists. Therefore, \(E_4\) is unstable in F-direction if \(E^*\) exists.

Furthermore, from the Jacobian matrix at \(E_5\), we note that one eigenvalue is \(r + \eta (C_5 - C_0)\), which is positive whenever \(E^*\) exists. Therefore, \(E_5\) is unstable in B-direction if \(E^*\) exists.

From the Jacobian matrix at \(E_6\), we note that one eigenvalue is \(s -\theta (C_6 - C_0) + \pi \phi F_6\), which is positive whenever \(E^*\) exists. Therefore, \(E_6\) is unstable in N-direction whenever \(E^*\) exists.

Moreover, to discuss the local stability of interior equilibrium \(E^*\), we apply the Routh–Hurwitz criteria. The Jacobian matrix at \(E^*\) is given as follows:

$$\begin{aligned} J_{E^*} = \left[ \begin{array}{cccc} -(\alpha + \lambda _1F^*) &{} \left( \lambda - \frac{\nu k B^*}{q_1 + kB^*}\right) &{} -\lambda _1C^* &{} \frac{-q_1k\nu N^*}{(q_1 + kB^*)^2} \\ -\theta N^* &{} -\frac{sN^*}{L} &{} \pi \phi N^* &{} 0 \\ 0 &{} -\phi F^* &{} -\frac{uF^*}{M} &{} \frac{q_2\mu (1-k)F^*}{(q_2 + (1-k)B^*)^2} \\ \eta B^* &{} 0 &{} 0 &{} -\frac{rB^*}{K} \end{array}\right] . \end{aligned}$$

The characteristic polynomial of matrix \(J_{E^*}\) is given as

$$\begin{aligned} \rho ^4 + A_1\rho ^3 + A_2\rho ^2 + A_3\rho + A_4 = 0, \end{aligned}$$
(21)

where

$$\begin{aligned} A_1= & {} \frac{uF^*}{M} + \frac{sN^*}{L} + \frac{rB^*}{K} + \check{a},\\ A_2= & {} \eta B^*\check{c} + \phi ^2\pi F^*N^* + \frac{rB^*}{K}\frac{uF^*}{M} + \left( \frac{sN^*}{L} + \check{a}\right) \left( \frac{rB^*}{K} + \frac{uF^*}{M}\right) + \frac{sN^*}{L}\check{a} + \check{b}\theta N^*,\\ A_3= & {} \lambda _1 \check{d}\eta C^*B^* + \left( \frac{sN^*}{L} + \frac{uF^*}{M}\right) \eta B^*\check{c} + \phi ^2\pi N^*F^*\left( \frac{rB^*}{K} + \check{a}\right) + \lambda _1\theta \phi N^*C^*F^* \\&\quad + \left( \frac{sN^*}{L} + \check{a}\right) \frac{rB^*}{K}\frac{uF^*}{M} + \left( \frac{rB^*}{K} + \frac{uF^*}{M}\right) \frac{sN^*}{L}\check{a} + \left( \frac{rB^*}{K} + \frac{uF^*}{M}\right) \check{b}\theta N^*,\\ A_4= & {} \eta \lambda _1 \check{d}\frac{sN^*}{L}C^*B^* + \eta \check{c}B^*\frac{sN^*}{L}\frac{uF^*}{M} - \eta \pi \phi \check{b}\check{d}B^*N^* + \pi \phi ^2\eta \check{c}B^*N^*F^*\\&\quad + \phi ^2\pi \check{a}\frac{rB^*}{K}F^*N^* + \lambda _1\theta \phi \frac{rB^*}{K}N^*C^*F^* + \frac{rB^*}{K}\frac{uF^*}{M}\frac{sN^*}{L}\check{a} + \frac{rB^*}{K}\frac{uF^*}{M}\check{b}\theta N^*. \end{aligned}$$

Here, \(\check{a} = (\alpha + \lambda _1F^*), \check{b} = \left( \lambda - \frac{\nu k B^*}{q_1 + kB^*}\right) ,\check{c} = \frac{q_1k\nu N^*}{(q_1 + kB^*)^2}, \check{d} = \frac{q_2\mu (1-k)F^*}{(q_2 + (1-k)B^*)^2}.\)

From above, we can note that \(A_i > 0\) for \(i = 1, 2, 3, 4\). Applying Routh–Hurwitz criteria, it can be deduced that all the roots of Eq. (.1) are either negative or have negative real part iff

$$\begin{aligned} A_3(A_1A_2 - A_3) - A_1^2A_4 > 0. \end{aligned}$$
(22)

The local stability of \(E^*\) depicts that if any initial start is taken inside some small neighborhood of \(E^*(C^*, N^*, F^*, B^*)\), the solution trajectories will always approach to \(E^*(C^*, N^*, F^*, B^*)\) as \(t\rightarrow \infty \), i.e., the system will eventually get stabilized.

3.3 Non-linear stability analysis

In this section, the region for stability analysis of the interior equilibrium \(E^*\) is extended from a small neighborhood to the whole region of attraction. To investigate the non-linear stability of the interior equilibrium, we use Liapunov’s method.

Consider a positive definite function ‘V’ as

$$\begin{aligned} V =&\,\frac{1}{2}(C - C^*)^2 + m_1\left( N - N^* - N^*\ln \frac{N}{N^*}\right) + m_2\left( F - F^* - F^*\ln \frac{F}{F^*}\right) \\&\,+ m_3\left( B - B^* - B^*\ln \frac{B}{B^*}\right) . \end{aligned}$$

On differentiating ‘V’ with respect to ‘t’ along the solution of system (1), we have

$$\begin{aligned} \frac{\text {d}V}{\text {d}t} =&-(\alpha + \lambda _1F^*)(C-C^*)^2 - \frac{m_1s}{L}(N-N^*)^2 - \frac{m_2u}{M}(F-F^*)^2 - \frac{m_3r}{K}(B - B^*)^2 \\&+ \left( \lambda - m_1\theta - \frac{\nu kB^*}{q_1 + kB^*}\right) (N - N^*)(C - C^*)\\&+ (m_1\pi \phi - m_2\phi )(F - F^*)(N - N^*)\\&- \lambda _1C(C - C^*)(F - F^*) - \frac{\nu k q_1N}{(q_1+kB)(q_1+kB^*)}(C - C^*)(B - B^*) \\&+ m_3\eta (C - C^*)(B - B^*) + \frac{m_2\mu (1-k)q_2}{(q_2 + (1-k)B)(q_2 + (1-k)B^*)}(F-F^*)(B-B^*). \end{aligned}$$

Choosing \(m_1 = \frac{1}{\theta }\left( \lambda - \frac{\nu kB^*}{q_1+kB^*}\right) \) and \(m_2 = m_1\pi = \frac{\pi }{\theta }\left( \lambda - \frac{\nu kB^*}{q_1+kB^*}\right) \), we have

$$\begin{aligned} \frac{\text {d}V}{\text {d}t}=&-(\alpha +\lambda _1F^*)(C - C^*)^2 - \frac{s}{\theta L}\left( \lambda -\frac{\nu kB^*}{q_1 + kB^*}\right) (N - N^*)^2 - \frac{m_3r}{K}(B - B^*)^2 \\&- \frac{u\pi }{\theta M} \left( \lambda - \frac{\nu kB^*}{q_1 + kB^*}\right) (F - F^*)^2 - \lambda _1C(C - C^*)(F - F^*)\\&- \frac{\nu kq_1N}{(q_1+kB)(q_1+kB^*)}(B - B^*)(C - C^*) + m_3\eta (C - C^*)(B - B^*)\\&+ \frac{\pi }{\theta }\left( \lambda - \frac{\nu k B^*}{q_1 + kB^*}\right) \frac{\mu (1-k)q_2}{(q_2+(1-k)B)(q_2 + (1-k)B^*)} (F - F^*)(B - B^*). \end{aligned}$$

Therefore, \(\frac{\text {d}V}{\text {d}t}\) is negative definite if the following conditions hold:

$$\begin{aligned}&\lambda _1^2C_m^2 < \frac{2\pi u}{3\theta M}(\alpha + \lambda _1F^*)\left( \lambda - \frac{\nu k B^*}{q_1+kB^*}\right) , \end{aligned}$$
(23)
$$\begin{aligned}&\frac{\mu ^2(1-k)^2\pi }{(q_2+(1-k)B^*)^2\theta }\left( \lambda - \frac{\nu kB^*}{q_1+kB^*}\right) < \frac{2ru}{3K M}m_3,\end{aligned}$$
(24)
$$\begin{aligned}&\frac{\nu ^2k^2N_m^2}{(q_1+kB^*)^2} < \frac{4m_3r}{9K}(\alpha + \lambda _1F^*),\end{aligned}$$
(25)
$$\begin{aligned}&m_3\eta ^2 < \frac{4r}{9K}(\alpha +\lambda _1F^*). \end{aligned}$$
(26)

Using inequalities (24), (25), and (26), value of constant \(m_3 > 0\) can be chosen, provided that the following given condition holds:

$$\begin{aligned} \max \{S_1, S_2\} < \frac{4r^2}{9\eta ^2K^2}(\alpha + \lambda _1F^*), \end{aligned}$$

where \(S_1 = \frac{3M\pi }{2u\theta }\left( \lambda - \frac{\nu kB^*}{q_1 + kB^*}\right) \frac{\mu ^2 (1-k)^2}{(q_2+(1-k)B^*)^2}\), \(S_2 = \frac{9\nu ^2k^2N_m^2}{4(q_1+kB^*)^2(\alpha +\lambda _1F^*)}\).

Therefore, we can state the following theorem for the non-linear stability of interior equilibrium \(E^*\).

Theorem 1

The interior equilibrium \(E^*\), if exists, is non-linearly stable inside \(\Omega \) if the following inequalities hold:

$$\begin{aligned}&\lambda _1^2C_m^2< \frac{2\pi u}{3\theta M}(\alpha + \lambda _1F^*)\left( \lambda - \frac{\nu k B^*}{q_1+kB^*}\right) \\&\max \{S_1, S_2\} < \frac{4r^2}{9\eta ^2K^2}(\alpha + \lambda _1F^*), \end{aligned}$$

where \(S_1\) and \(S_2\) are given above.

Remark 2

The ecological interpretation of above conditions stated in Theorem 1 is that if these conditions are fulfilled, the interior equilibrium \(E^*\) will be globally stable, i.e., for any initial condition inside the region of attraction, the solution trajectories will always approach to the interior equilibrium. From the obtained condition, we can interpret that for large values of \(\lambda _1\) and \(\eta \), the conditions may be violated and the formulated model system (1) may become unstable. Therefore, we can say that \(\lambda _1\) and \(\eta \) have destabilizing effect on the system’s dynamics. However, for large values of r, the obtained conditions are easily satisfied, so the parameter r has a stabilizing effect on the system’s dynamics.

4 Existence of Hopf-bifurcation

We have noticed that the obtained condition for the local stability of interior equilibrium given in Eq. (.2) is satisfied for small values of parameter \(\eta \). However, on increasing the value of \(\eta \), the local stability condition may be violated. Hence, there is a possibility of existence of Hopf-bifurcation around the interior equilibrium \(E^*\) with respect to parameter \(\eta \). In this part, conditions for existence of Hopf-bifurcation around the interior equilibrium \(E^*\) by taking \(\eta \) as a bifurcation parameter have been derived. The characteristic equation of the Jacobian matrix around \(E^*\) is given by (.1) and every term of the characteristic polynomial can be expressed in terms of \(\eta \), so we can write it as

$$\begin{aligned} \rho ^4 + A_1(\eta )\rho ^3 + A_2(\eta )\rho ^2 + A_3(\eta )\rho + A_4(\eta ) = 0. \end{aligned}$$
(27)

At the critical value of \(\eta = \eta _{c}\)

$$\begin{aligned} A_3(\eta _c)(A_1(\eta _c)A_2(\eta _c)-A_3(\eta _c))-A_1^2(\eta _c)A_4(\eta _c)=0. \end{aligned}$$
(28)

Therefore, at \(\eta _c\), we get the reduced characteristic equation as

$$\begin{aligned} \left( \rho ^2+\frac{A_3}{A_1}\right) \left( \rho ^2+A_1\rho +\frac{A_1A_4}{A_3}\right) =0. \end{aligned}$$
(29)

The above equation has four roots say \(\rho _j\) (\(j=1,2,3,4\)) with a pair of purely imaginary roots \(\rho _{1,2}=\pm i\omega _0\), where \(\omega _0=\left( \frac{A_3}{A_1}\right) ^\frac{1}{2}\). The nature of other two roots \(\rho _3\) and \(\rho _4\) can be identified as

$$\begin{aligned} \rho _3+\rho _4=-A_1, \end{aligned}$$
(30)
$$\begin{aligned} \omega _{0}^2+\rho _3\rho _4=A_2, \end{aligned}$$
(31)
$$\begin{aligned} \omega _{0}^2(\rho _3+\rho _4)=-A_3, \end{aligned}$$
(32)
$$\begin{aligned} \omega _{0}^2\rho _3\rho _4=A_4. \end{aligned}$$
(33)

From (30) and (33), if \(\rho _3\) and \(\rho _4\) are real, then they are negative. If the roots are complex, from (30), we have 2Re(\(\rho _3\)) =\(- A_1\), i.e., \(\rho _3\) and \(\rho _4\) are complex eigenvalues with negative real parts. By this, we can conclude that other two roots (\(\rho _3\) and \(\rho _4\)) have negative real part. This ensures the occurrence of Hopf-bifurcation.

Moreover, let \(\eta \) \(\in \) (\(\eta _c-\epsilon \), \(\eta _c+\epsilon \)), then the two eigenvalues will be \(\rho _{1,2}=\sigma \pm i\varepsilon \). Using this value in Eq. (27) and separating the real and imaginary parts, respectively, we have

$$\begin{aligned}&\sigma ^4+A_1 \sigma ^3+A_2 \sigma ^2+A_3 \sigma +A_4+\varepsilon ^4-6 \sigma ^2\varepsilon ^2-3A_1\sigma \varepsilon ^2-A_2\varepsilon ^2=0, \end{aligned}$$
(34)
$$\begin{aligned}&4\sigma \varepsilon (\sigma ^2-\varepsilon ^2)-A_1\varepsilon ^3+3A_1\sigma ^2\varepsilon +2A_2\sigma \varepsilon +A_3\varepsilon =0. \end{aligned}$$
(35)

As \(\varepsilon (\eta )\ne 0\), from Eq. (35) we have

$$\begin{aligned} -(4\sigma +A_1)\varepsilon ^2+4\sigma ^3+3A_1\sigma ^2+2A_2\sigma +A_3=0. \end{aligned}$$

Putting this value of \(\varepsilon ^2\) in Eq. (34) and then differentiating this with respect to \(\eta \) and substituting \(\varepsilon (\eta _c)=0\) in it, we have

$$\begin{aligned} \left[ \frac{d\sigma }{d\eta }\right] _{[\eta = \eta _c]}=\left[ \frac{\frac{d}{d\eta }(A_1A_2A_3-A_3^2-A_1^2A_4)}{-2A_1(A_1A_3+(2\frac{A_3}{A_1}-A_2)^2)}\right] _{[\eta =\eta _c]}. \end{aligned}$$
(36)

Thus, \(\left[ \frac{d\sigma }{d\eta }\right] _{[\eta = \eta _c]}\ne 0\)

$$\begin{aligned} \text{ if } \left[ \frac{\frac{d}{d\eta }(A_1A_2A_3-A_3^2-A_1^2A_4)}{-2A_1(A_1A_3+(2\frac{A_3}{A_1}-A_2)^2)}\right] _{[\eta = \eta _c]}\ne 0. \end{aligned}$$
(37)

Therefore, the transversality condition is

$$\begin{aligned} \left[ \frac{\frac{d}{d\eta }(A_1A_2A_3-A_3^2-A_1^2A_4)}{-2A_1(A_1A_3+(2\frac{A_3}{A_1}-A_2)^2)}\right] _{[\eta =\eta _c]}\ne 0. \end{aligned}$$

Hence, we have the following theorem;

Theorem 2

At \(\eta = \eta _c\), the system (1) undergoes Hopf-bifurcation around the interior equilibrium \(E^*\), if the following conditions are satisfied:

(e1):

\(A_3(\eta _c)(A_1(\eta _c)A_2(\eta _c)-A_3(\eta _c))-A_1^2(\eta _c)A_4(\eta _c)=0,\)

(e2):

\(\left[ Re \frac{d\rho _j}{d\eta }\right] _{[\eta =\eta _c]} \ne 0\) for \(j = 1, 2.\)

Remark 3

The physical interpretation of the above theorem is that as the value of \(\eta \) crosses its critical value \(\eta _c\), the real part of at least one pair of complex eigenvalues of the Jacobian matrix at \(E^*\) changes its sign, i.e., the sign of real part of pair of complex eigenvalues changes from negative to positive or from positive to negative; therefore, the stability of the equilibrium \(E^*\) around \(\eta = \eta _c\) changes from stability to instability or instability to stability, respectively. Therefore, the Hopf-bifurcation phenomenon takes place around the interior equilibrium \(E^*\) as \(\eta \) crosses its threshold value.

4.1 Direction and stability of Hopf-bifurcation

In this subsection, we present the result regarding the direction and stability of bifurcating periodic solutions. The following theorem provides the information about the direction and stability of periodic solutions.

Theorem 3

The Hopf-bifurcation is forward (backward) if \(\mu _2 > 0\) (\(\mu _2 < 0\)) and the bifurcating periodic solution exist for \(\eta > \eta _c\) (\(\eta < \eta _c\)). The periodic solutions are stable or unstable according as \(\beta _2 < 0\) or \(\beta _2 > 0\) and period increases or decreases according as \(\tau _2 > 0\) or \(\tau _2 < 0\).

Proof of this theorem is given in Appendix C.

5 Numerical simulation

In this part, we present the numerical simulation to verify our analytical findings. For a hypothetical set of parameter values given in Table 3, numerical simulation has been performed using MATLAB R2013.

Table 3 Parameter values used for numerical simulation

For the parameter values given in Table 3, conditions for existence of the interior equilibrium are satisfied. The obtained interior equilibrium \(E^*\) is given as

$$\begin{aligned} C^* = 389.7255, N^* = 769.4751, F^* = 1670.6770, B^* = 2097.2559. \end{aligned}$$

Eigenvalues of the Jacobian matrix corresponding to \(E^*\) are given as

$$\begin{aligned} -0.0649 + 0.0188i , -0.0649 - 0.0188i , -0.0235, -0.4189. \end{aligned}$$

As all the eigenvalues of \(J_{E^*}\) are either negative or have negative real part which confirms that \(E^*\) is locally asymptotically stable for the chosen set of parameter values. In Fig. 2, the solution trajectories for different initial starts have been plotted for the parameter values given in Table 3. From this figure, we can see that all the solution trajectories have proceeded toward \((C^*, N^*, F^*)\) in \(C-N-F\) space, which depicts the global stability of the interior equilibrium in \(C-N-F\) space.

Fig. 2
figure 2

Global stability of \((C^*, N^*, F^*)\) in \(C-N-F\) space for parameter values given in Table 3, and the initial conditions are chosen as (250, 1600, 1600, 1000), (269, 1600, 500, 1000), (300, 1200, 2000, 1000) and (620, 490, 2000, 1000)

Next, we have plotted the variation plots to observe the effect of some important parameters on the dynamics of considered dynamical variables. Figure 3a shows that increase in anthropogenic emission rate of \(CO _2\) (\(\lambda \)) elevates the atmospheric level of \(CO _2\), and because of the adverse effects of increasing \(CO _2\) on human population, population decreases; forestry biomass increases, whereas allocated budget to maintain the atmospheric level of \(CO _2\) increases. From Fig. 3b, we notice that increase in the parameter value of deforestation rate (\(\phi \)) leads to increase in the atmospheric level of carbon dioxide which leads to increase in allocated budget for maintaining the atmospheric level of carbon dioxide. From these variation plots, we can observe that the anthropogenic emission rate of carbon dioxide and deforestation rate (i.e., \(\lambda \), \(\phi \)) play an important role in the dynamics of atmospheric carbon dioxide.

Fig. 3
figure 3

Variation of C(t), N(t), F(t), and B(t) with respect to time t for different values of a anthropogenic emission rate (\(\lambda \)) and b deforestation rate (\(\phi \)). Rest of the parameters are same as in Table 3, and the initial conditions are taken as (275, 500, 1200, 1500)

Furthermore, in Fig. 4, we have plotted the atmospheric concentration of carbon dioxide with respect to time for different values of \(\nu \) and \(\mu \), keeping rest of the parameters same as in Table 3. First, we choose \(\nu = \mu = 0\), i.e., when the government does not take any action to reduce the atmospheric level of carbon dioxide in the considered region; the atmospheric concentration of \(CO _2\) is very high. Next, we have considered \(\nu = 0.01 \) and \(\mu = 0\), i.e., in this case, budget is used only for the decarbonization technologies and there is no afforestation/reforestation coverage in the region. In this case, the equilibrium level of concentration of atmospheric carbon dioxide is less than the equilibrium level attained in the previous case. Moreover, a substantial decrease in atmospheric concentration of carbon dioxide is noted if there is continuous growth in afforestation/reforestation coverage using budget despite the fact that efficacy of budget to control the anthropogenic emission of carbon dioxide is zero. Furthermore, we have considered that the allocated budget is used for the decarbonization techniques as well as for afforestation/reforestation. Due to the combined effect of these, the equilibrium level of atmospheric carbon dioxide settles down to a much lower value. Thus, the combined effect of decarbonization techniques and afforestation/reforestation in the presence of budget allocation have potential to reduce the equilibrium level of atmospheric concentration of carbon dioxide.

Fig. 4
figure 4

Effects of parameters \(\nu \) and \(\mu \) on atmospheric level of carbon dioxide. All the parameters are same as in Table 3, and the initial conditions are chosen as (275, 500, 1200, 1500)

In Fig. 5, a bar diagram has been plotted to quantify the effect of k on equilibrium level of atmospheric concentration of carbon dioxide (C(t)) (when conditions \(\frac{dC^*}{dk} < 0\) (\(k < k_c = 0.5025\)) and \(\frac{dC^*}{dk} > 0\) (\(k > k_c\)) are satisfied), this figure determines the effect of fraction of budget allocation used to maintain the atmospheric level of carbon dioxide via controlling the anthropogenic emission of carbon dioxide and for afforestation/reforestation. From this figure, it can be noticed that the percentage change in equilibrium level of atmospheric carbon dioxide decreases with increase in fraction of budget used to control the anthropogenic emission of carbon dioxide up to a threshold value \(k < k_{c}\). As the atmospheric level of \(CO _2\) decreases with the increase in value of k (for \(k < k_c\)), the difference of atmospheric level of \(CO _2\) from its pre-industrial level (\(C_0 = 280\)) decreases, so the percentage change decreases. In this case, fraction of budget allocation used to control the anthropogenic emission of carbon dioxide is responsible to reduce the equilibrium level of atmospheric carbon dioxide. Moreover, further increase in value k above a threshold value (\(k > k_c\)), fraction of budget allocation used for afforestation/reforestation (i.e., \(1-k\)) is responsible to reduce the equilibrium level of atmospheric concentration of carbon dioxide. For the parameter values given in Table 3, it is observed that up to 50.25% of budget used for the control of anthropogenic emission of carbon dioxide and remaining 49.75% of budget used for afforestation/reforestation is beneficial to reduce the atmospheric level of carbon dioxide.

Fig. 5
figure 5

Percentage change of equilibrium level of \(CO _2\) compare to pre-industrial level (\(C_0\)); showing effect of increasing values of k. Rest of the parameters are same as given in Table 3

5.1 Existence of Hopf-bifurcation

To examine the existence of Hopf-bifurcation with respect to parameter \(\eta \), we have chosen the following set of parameter values:

$$\begin{aligned}&\alpha = 0.01, \lambda = 0.05, \nu = 0.05, k = 0.5, q_1 = 500, \lambda _1 = 0.00005, s = 0.02,\nonumber \\&L = 800, \theta =0.001, \pi =0.001, \phi =0.0005, u=0.5, M=2000,\nonumber \\&\mu =0.01, q_2=500, r=0.002, C_0=280, K=1000. \end{aligned}$$
(38)

It is noticed that the system (1) changes its dynamics near the interior equilibrium \(E^*\) as the growth rate of budget allocation due to increase in atmospheric level of carbon dioxide (\(\eta \)) increases. For small values of \(\eta \), the equilibrium \(E^*\) is stable, while the increase in value of \(\eta \) destabilizes the interior equilibrium \(E^*\). Further increase in value of \(\eta \) again stabilizes the interior equilibrium which clearly indicates that Hopf-bifurcation occurs twice as the value of \(\eta \) increases. Numerically, we have obtained the critical values of \(\eta \) at which change in stability occurs and they are \(\eta _{1c} = 0.0007889\) and \(\eta _{2c} = 0.004684\). We have noted that for \(\eta \in (0, \eta _{1c})\), all the eigenvalues of the Jacobian matrix at \(E^*\) are either negative or have negative real part showing the system (1) is stable for small values of (\(\eta < \eta _{1c}\)); while loss of stability occurs for \(\eta = 0.0007889\) and the system remains unstable for \(\eta \in (\eta _{1c}, \eta _{2c})\). Now, with further increase in the value of \(\eta > \eta _{2c}\), all the eigenvalues of the Jacobian matrix corresponding to interior equilibrium \(E^*\) are negative or have negative real part, i.e., the system stabilizes for \(\eta > \eta _{2c}\). In Fig. 6a, we draw the phase portrait in \(C-N-F\) space for \(\eta (=0.0004) < \eta _{1c}\), which shows that the solution trajectories are starting from outside approach toward \(E^*\), which demonstrate that the interior equilibrium \(E^*\) is stable. In Fig. 6b for \(\eta = 0.001\), it is shown that the solution trajectories in \(C-N-F\) space, one initiating from outside and other initiating from inside approach toward the limit cycle, which shows that the bifurcating periodic solutions are critically stable. Moreover, we have drawn the phase portrait in \(C-N-F\) space for \(\eta = 0.008 > \eta _{2c}\) in Fig. 6c, which shows that the solution trajectories are initiating from outside approach toward \(E^*\), i.e., \(E^*\) is stable for \(\eta > \eta _{2c}\). To get a clear picture of the stability switch around interior equilibrium \(E^*\), in Fig. 7, the Hopf-bifurcation diagram has been plotted considering \(\eta \) as bifurcation parameter. From this figure, we can say that on increasing the value of \(\eta \), a stability switch for the interior equilibrium of the formulated model system occurs.

Fig. 6
figure 6

Phase portraits for system (1) in \(C-N-F\) space for different values of \(\eta \). System shows a stability of equilibrium \(E^*\) for \(\eta \) = 0.0004, b appearance of limit cycle for \(\eta \) = 0.001 which shows the instability of equilibrium \(E^*\), (c) stability of equilibrium \(E^*\) for \(\eta \) = 0.008. Rest of the parameters are same as in (38). Initial conditions are taken as (a) (270, 800, 1500, 1000), (b) (235 800 600 3000) and (700 800 600 3000), (c) (270, 800, 1500, 1000)

Furthermore, in Fig. 8, we have plotted the stability region with respect to parameter k and \(\eta \), to demonstrate the relationship between these two parameters. From this figure, one can note that for small values of k \((< 0.3693)\), the system is stable for all values of \(\eta \) and whenever \(k > 0.3693\) an stability switch occurs for the interior equilibrium \(E^*\) with respect to bifurcating parameter \(\eta \). Moreover, we can see that the region of instability of the interior equilibrium \(E^*\) of model system (1) with respect to bifurcating parameter \(\eta \) increases as the value of k increases.

Fig. 7
figure 7

Hopf-bifurcation diagram with respect to parameter \(\eta \). Rest of the parameters are same as in (38) and initial conditions are taken as (283, 580, 870, 2000)

Fig. 8
figure 8

Stability region of interior equilibrium \(E^*\) for the model system (1), in \(\eta - k\) plane for the parameters given in (38)

6 Conclusion

Based on the present scenario of atmospheric level of carbon dioxide, it is desirable to take some initiatives for its mitigation. The prime reason for such a high level of atmospheric carbon dioxide is its anthropogenic emission, so it is required to reduce the anthropogenic emission of \(CO _2\). For this, we have to make some mitigation strategies. As the application of any mitigation effort requires budget, therefore we have proposed a non-linear mathematical model to analyze the effect of budget on the abatement of atmospheric concentration of \(CO _2\). For model formulation, dynamical variables as atmospheric concentration of \(CO _2\), human population, forest biomass, and budget are considered. We have considered that the concentration of \(CO _2\) in the atmosphere increases due to its anthropogenic emissions and it depletes either naturally or its intake by the forest biomass. Human population and forestry biomass grow logistically. Human population declines due to the harmful impacts of \(CO _2\), whereas the forest biomass declines due to deforestation by the population for their livelihood. The allocated budget is used for the control of anthropogenic emission of \(CO _2\) and reforestation/afforestation. The equilibria for the proposed model are obtained and their stability analysis has been performed. We have shown that the increment in anthropogenic emission of \(CO _2\) escalates the atmospheric level of carbon dioxide, whereas the increased rate of deforestation by the human population is also an important cause for the increased level of carbon dioxide in the atmosphere. Moreover, the strategy of using the budget for the control of anthropogenic emission of the carbon dioxide as well as for reforestation/afforestation activities would be very helpful in reducing the atmospheric level of \(CO _2\) at the desired level.

From model analysis, it has been shown that for the considered set of parameter values up to 50.25% of budget for the control of anthropogenic emission of carbon dioxide and remaining 49.75% of the budget for afforestation/reforestation is beneficial to reduce the atmospheric level of carbon dioxide. Furthermore, simulation result has indicated that if the decarbonization techniques of controlling the anthropogenic emission of carbon dioxide is not effective, then afforestation/reforestation is effective in maintaining the level of \(CO _2\) in the atmosphere. Similarly, if the afforestation/reforestation is not much effective, then one should focus on the decarbonization techniques. Furthermore, the combined effects of decarbonization techniques and afforestation/reforestation are more beneficial in maintaining the atmospheric level of carbon dioxide.

From the analysis, it is concluded that increment rate of budget for the control of increased level of carbon dioxide gives rise to interesting dynamics about the interior equilibrium \(E^*\). It is noted that for small values of growth rate of budget allocation due to increased level of atmospheric \(CO _2\) (i.e., \(\eta \)), the coexisting equilibrium is stable and the increase in value of \(\eta \) destabilizes the system. However, further increase in value of \(\eta \) stabilizes the system. This shows that the coexisting equilibrium changes its stability from stable to unstable to stable as the allocated budget in proportion of increased level of atmospheric carbon dioxide increases. In terms of ecology, this situation states that for small values of increment rate of budget in proportion to increased level of carbon dioxide reduces the level of carbon dioxide in the atmosphere which leads to decrease in the allocated budget; this results to increased level of atmospheric concentration of carbon dioxide. This rise in the atmospheric level of carbon dioxide leads to increase in the allocated budget. This interplay between the atmospheric concentration of carbon dioxide and increment rate of allocated budget (\(\eta \)) gives rise to oscillatory solution. Furthermore, increasing the value of \(\eta \) after a threshold value (\(\eta _{2c}\)), the concentration of carbon dioxide in the atmosphere attains its saturated level and thus system gets stabilize. Furthermore, increase in value of \(\eta \) does not affect the stability of system and the system remains stable for all increase in \(\eta > \eta _{2c}\). Model analysis revels that the anthropogenic emission of carbon dioxide and deforestation due to human population has much impact on the atmospheric level of carbon dioxide, but the level of \(CO _2\) can be reduced to a desired level by making proper strategy using budget allocation. Also, the funding for research and development of new technologies is an important aspect for moving forward in the field of maintaining the atmospheric level of carbon dioxide.