On the stability of the diffusive and non-diffusive predator-prey system with consuming resources and disease in prey species

1.   Introduction

Competition is the fundamental relation of ecological systems in which species of one kind have to fight for limited resources in some particular habitat. These sorts of competitions become severe when the potential biological needs exceed the resources. The predator-prey populations are reasonably the building blocks for dynamic ecosystems. In ecology, among different kinds of relationships between species, the most important relationship is the predator-prey relationship. Mathematical models governed by differential equations are more appropriate for modeling the interaction in which populations are overlapped. Lotka and Volterra first put forward the fundamental predator-prey model in the early twentieth century. This basic model comprises two first-order nonlinear ordinary differential equations. Since then, researchers have presented many models covering several issues regarding the complex natural relationship. Consider

where $U$ and $V$ respectively indicate the populations of prey and predator; ${\alpha }_{1}, {\alpha }_{2}, {\alpha }_{3}$ and ${\alpha }_{4}$ are the positive real parameters. Holling introduced the density-dependent response ^[1], after which several researchers came forward to contribute their valuable research using density-dependent responses. The main concern in the population dynamical models is the stability of fixed points. Many mathematical models have been presented and fixed-point stability has been studied ^[2]. The stability of the predator-prey model has been brought into the discussion by many researchers ^[3,4,5]. The other targeted area is the positivity of the solution of the prey-predator relation ^[6]. During the last few decades, many species have faced extinction due to limited resources, over-exploitation, pollution and predation exercise. Mostly, the extinction of some species occurs due to transgression of the environment or ecological structure. To impede species from extinction, external supporting trends are the refuge and restriction of the population to a specific area ^[7,8,9]. Considering the issue of extinction, many researchers have formulated models to deal with the problem and discussed the factors in detail. A mathematical model of two prey and one predator was considered by Takeuchi and Adachi ^[10]. Equilibrium points were investigated, and a mathematical analysis of equilibrium points was performed. Another important issue is bifurcation, which is the critical behavior of fixed points. Bifurcation analysis for interacting predator-prey models has been provided by many investigators ^{[10,11,12,13]}. In ^[14], the authors investigated the influence of nonlocal competition among the species. The study was further enhanced to investigate the effects of such competition on the stability of equilibrium points. Due to the overuse of chemicals for the higher production of crops and other factors, infectious diseases are spreading among the human population and animals. Researchers have published several articles on the problem of population density dynamics. Whenever a disease spreads in an environment, it seriously affects the population dynamics and disturbs the whole ecosystem. A model was presented by Haque ^[15] to discuss the impact of the diseased predator on the population dynamics of predator and prey. He showed that the absence of prey has a moderately strong impact on the predator population when there exists an infection in the predator. The mathematical model for infected predator and prey, as presented by the author, is as follows:

Here, $P$ and $F = {V}_{1}+{V}_{2}$ respectively represent the prey and predator populations (susceptible and infected). Fang and Wang discussed the interaction between two species when the predator and prey use common food resources. Moreover, the predator is also consuming the prey species. The model suggested by them is as follows ^[16]:

where $U$ and $V$ respectively represent the population of predator and prey, $f$ is the common resource, $a$ and $b$ are the consumption rates of resources by predator and prey, respectively, and $m$ and $n$ are the natural death rates of predator and prey, respectively. Fang and his co-author discussed the global stability of the above dynamical system with the additional effects of diffusion. A detailed discussion was provided on the effects of diffusion by the authors. They discussed the instability of equilibrium points due to the involvement of diffusion. Moreover, to carry out the stability of the system the Lyapunov method was employed. Inseba et al. studied the nonlinear interaction of multi-species, taking into account diffusion and prey taxis. The authors also investigated the linearized stability of the system ^[17]. Chen and Yu discussed the multi-species predator-prey diffusive system. They showed the pattern formation of the bifurcating system in which the conversion rate was taken as a bifurcation parameter ^[18]. Djilali discussed the effect of the prey's social behavior on the diffusive predator-prey system. He also discussed the bifurcation and stability analysis ^[19]. In ^[20], Ferreira et al. studied the stability of the cross-diffusive system for the three-species interacting model. The equilibrium points were examined to perform a local stability analysis. Kant and Kumar studied the interacting model of species in which predator and prey are diseased. They showed that, for the basic reproductive number ${R}_{0} > 1$, the disease spread ^[21]. Owolabi formulated a numerical scheme to deal with the fractional diffusion system of interacting species. He applied the Caputo fractional operator rather than the first-order time derivative ^[22]. Song et al. presented a qualitative approach to study the diffusive predator-prey system. They also discussed the system's instability when cross-diffusion was introduced ^[23]. Zhang et al. discussed the influence of diffusion on predator-prey predators' hyperbolic mortality. The turning instability region was also found by linear stability ^[24]. Ghosh et al. investigated the stability and performed a bifurcation analysis of Bozykin's prey-predator model. The authors also discussed some properties of the solution, like uniqueness and boundedness ^[25]. In ^[26], Owolabi formulated a numerical scheme for the computation of fractional (time) derivatives by using the finite difference and Fourier algorithm. Many researchers have discussed the effects of diseased species on the evolution of population dynamics when prey, predator or both have some infection. The authors have investigated the models by using core characteristics like the existence and positivity of equilibria and local and global stability. Some authors have also discussed the bifurcation parameters in the model. Such studies have been supported by simulating the models via numerical schemes ^{[27,28,29,30,31]}.

Recent years have seen a rise in the application of fractional differential calculus to solve critical and practical problems. In ^[32], a prey-predator model with three species is examined within the framework of a fractional operator. Two species, both of which grow logistically, are represented in the model. A competitor is considered to fall behind the third group due to their Holling type II functional response. To represent the interplay between tumor growth and the immune system, the authors of ^[33] provided some new approximate solutions to a computational formulation by using numerous fractional and fractal operators.

In ^[34], the researcher looked at a computer model to investigate the spread of a viral infectious disease that is more common in children, i.e., hand, foot, and mouth syndrome. A contribution of ^[35] is the development of a new, time-saving method for obtaining exact fractional solutions to local fractional equations. Equation of Gardner on Cantor sets defined by efficient numerical methods are studied.

In ^[36], the authors study the stability of a disease model with susceptible prey and infected predators around an internal steady state. The Mittag-Leffler kernels from the Liouville-Caputo idea, which are used to calculate fractional derivatives, have been considered for this purpose. In ^[37], the researchers looked at one realistic application from the current state of edge detection research. To achieve this goal, they first suggested two overarching structures that can be used to create brand-new fractional masks. Then, the Atangana-Baleanu operator, a fractional integral, was used to assess the roles of the various parts in these two architectures.

In ^[38], the authors suggested a predator-prey model with a Michaelis–Menten functional response and split prey into susceptible and infected subpopulations. The researchers presented an eco-epidemiological model of an infected predator-prey system ^[39]. Incorporating prey refuge ensures that a portion of the diseased prey is available for ingestion by the predator. The authors of ^[40] suggested a predator-prey model in which the prey population is affected by a disease. Here, healthy prey species exhibited defense mechanisms in response to a predator attack. A Leslie-Gower predator-prey model incorporating disease in the predator has been developed ^[41]. The genetic repercussions of the Lesli-Gower model allow it to be considered an evolutionary version of the Lotka-Volterra model. In ^[42], the authors created an eco-epidemic model with two prey populations and one predator population, where only the first prey population is affected by an infectious disease. More literature on predator-prey models can be seen in ^{[43,44,45,46,47]}.

In the present research work, we formulate a multi-species eco-epidemiological model. Two major aspects of ecology are discussed, i.e., food resources and infection in the species. These factors bring drastic changes in the population density of the species under consideration. It is shown that this kind of interaction leads to system stability even under self-diffusion. It is also proved that the system becomes unstable when cross-diffusion is considered. A two-stage numerical scheme is also applied in the present work, and numerical simulations support the theoretical findings. The stability of the proposed scheme is presented by using the von Neumann stability criterion. It is proved that the scheme is conditionally stable.

2.   Model formulation

The ecosystem refers to a natural complex structure in which interacting species affect the population density of one another on a large scale. At the same time, the interacting species are in danger of infectious diseases in the real environment. Numerous mathematical models present the interaction among species with infection in some species. The infections are so critical that they disturb the whole ecosystem. The population density of all species is affected badly, as they depend on one another directly or indirectly. This problem has motivated several investigators to develop their model to study population dynamics effectively. Here, we propose a model to study the predator-prey system in which both species use the same food resources and there is a fatal infectious disease in the prey population. Suppose that $U, V$ respectively represent the predator and prey populations at any time t. Here, we assume that $V = {V}_{S}+{V}_{I}$, where ${V}_{S}\wedge {V}_{I}$ respectively denote the susceptible and infected prey.

where

is the set of initial conditions. Here, m, ${n}_{1}$ and ${n}_{2}$ are the death rates of the predator and preys, and ${n}_{2} = {n}_{1}+\delta$ displays the sum for the related natural and infectious disease.

3.   Stability for the predator-prey system of equations

The present section deals with the computation and stability of the equilibria of the system described by (9)–(11). By solving the system when the rate of change of population becomes zero, it is easy to obtain the equilibria of the system, which are seven in number for the present case. The equilibria of the system are described as follows:

where

In the present section, we study the stability of the fixed point, which deals with the coexistence of all species. The existence condition for the coexistence equilibrium point ${E}_{7}$ is

where

Theorem 1: Let $a, b, c, f, {\alpha }_{1}, {\alpha }_{2}, m, {n}_{1}$ and ${n}_{2}$ be positive; then, $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is globally stable in $\omega = \{\left(U, {V}_{S}, {V}_{I}\right):U > 0, {V}_{S} > 0, {V}_{I} > 0\} .$

Proof: We construct the Lyapunov function to determine the stability of the coexistence equilibrium point. Consider the following

By taking derivative with respect to t, we have

After some simplification, we get

Using the values from (16)–(18) and applying further simplification of (9) leads to the following result

Then $U$ → ${U}^{\mathrm{*}}$ and ${V}_{I}$ → ${V}_{I}^{\mathrm{*}}$ when t→∞ provided that $U\left(0\right)\ge 0.$ Similarly ${V}_{S}$ → ${V}_{S}^{\mathrm{*}};$ hence, the largest invariant set {$U$, ${V}_{I}, {V}_{S}ϵ\omega :$ $\frac{dW}{dt} = 0$} has the unique positive equilibrium $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$. According to the LaSalle theorem $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is globally stable in $\omega$.

Corollary 1. For the equilibrium points ${E}_{i}$ $\left(i = \mathrm{1, 2}, 3, \dots , 6\right)$, we have the following results.

(a). ${E}_{1}$, ${E}_{2}$ and ${E}_{3}$ always exist and are globally stable.

(b). ${E}_{4}$ exists if ${{n}_{2}\delta }_{1} > cf\gamma$ and ${{n}_{2}\delta }_{1} > cf\gamma$, and it is globally stable.

(c). ${E}_{5}$ and ${E}_{6}$ do not exist.

Proof:

(a). The results are straightforward from Eqs (13) and (22).

(b). Consider ${E}_{4} = \left({U}_{4}, {V}_{S, 4}, {V}_{I, 4}\right)$, where

We can rewrite as

Similarly,

The global stability is obvious from Eq (22).

(c). Consider ${E}_{5} = ({U}_{5}, {V}_{S, 5}, {V}_{I, 5})$, where

Hence, the result, similarly, ${E}_{6}$ does not exist.

4.   Global stability for a diffusive system

In the dynamical population model, random walking plays a central role in the structure of the habitat. The movement of species can vary from region to region depending on the distribution of food resources in the habitat. In addition, the species can vary with respect to density in the area where they live. The following section deals with the influence of diffusion on the coexistence of fixed points.

4.1.   Global stability for the self-diffusive system

The self-diffusive system for (9)–(11) can be written as

with the following initial condition

where the self-diffusion coefficients ${D}_{11}, {D}_{22}, {D}_{33}$ are non-negative. According to Hollis' results, the solution to the above system has global existence and boundedness ^[47]. The self-diffusive system has an equilibrium point ${E}_{7} = ({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ under the assumption of (17)

Theorem 2: Let $a, b, c, {D}_{11}, {D}_{22}, {D}_{33}, f, g, m, {n}_{1}, {n}_{2}, {\alpha }_{1}, {\alpha }_{2}$ and $\gamma$ be positive; then, $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is globally stable in $ꙍ = \{\left(U, {V}_{S}, {V}_{I}\right):U > 0, {V}_{S}, {V}_{I} > 0\}$.

Proof. It is obvious that $\{\left(U, {V}_{S}, {V}_{I}\right):U = 0\}$, $\{\left(U, {V}_{S}, {V}_{I}\right):{V}_{S} = 0\}$ and $\{\left(U, {V}_{S}, {V}_{I}\right):{V}_{I} = 0\}$ are the invariant manifolds. We establish the Lyapunov function to determine the global stability of the self-diffusive system as follows

Now, taking derivative with respect to t on both sides, we get

where

It is obvious that

Further simplification of (23) by using the values of the coexistence equilibrium point $\left({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}}\right)$ leads to the following

It is well known that the above equation represents a gradient system, where every orbit converges to a unique steady state $\mathrm{U} = {U}^{\mathrm{*}}$ and ${V}_{I} = {V}_{I}^{\mathrm{*}}$ ^[47]. Thus, ${V}_{S}$ → ${V}_{S}^{\mathrm{*}}$ since $\left(U, {V}_{S}, {V}_{I}\right)$ is on $\Gamma ≔\left\{\right(U, {V}_{S}, {V}_{I}):aU+b{V}_{S}+c{V}_{I} = a{U}^{\mathrm{*}}+b{V}_{S}^{\mathrm{*}}+c{V}_{I}^{\mathrm{*}}, U\ge 0, {V}_{S}\ge 0, {V}_{I}\ge 0\}$. Therefore, positive solution $\left({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}}\right)$ is globally asymptotically stable.

4.2.   Induced stability for the cross-diffusive system

The predator is attracted to its prey in search of food resources. This attraction causes prey taxis, which is the predator's movement as controlled by the density of prey, and on the contrary, the prey is repelled by the predator. This results in the cross-diffusion of species in the habitat. Consider the following system of equations:

One can see that the coexisting equilibrium point also holds for the cross-diffusive system. The self-diffusive system does not induce instability, but the Turing instability can be seen in the following section. The above system, as described by Eqs (36)–(38), can be written in the following way:

where

If all of the eigenvalues of the operator $R$ are negative, then $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is asymptotically stable ^[47]. Next, it is clear that $-△$ under the Neumann boundary condition has eigenvalues

and ${\mu }_{i}$ → ∞ when t → ∞. It is also known that $\nu$ is the eigenvalue of the operator $R$ if and only if it is the eigenvalue of ${J}_{i} = -{\mu }_{i}D+J$ for $i$ ≥ 0. Moreover, we obtain

It is obvious from (41) that

Next, we prove Turing instability for the cross-diffusive system described by (36)–(38).

Theorem 3: Let $a, b, c, {D}_{11}, {D}_{22}, {D}_{33}, f, g, m, {n}_{1}, {n}_{2}, {\alpha }_{1}, {\alpha }_{2}$ and $\gamma$ be positive and

then, there exists an unbounded region where ${s}_{1} < {s}_{2}+{s}_{3}+{s}_{4}$

such that $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is unstable in the region where the above condition holds.

Additionally,

Proof. It is clear from the value of ${J}_{i}$ that $trace\left({J}_{i}\right)$ is negative. To show the instability of $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$, we shall prove that $det\left({J}_{i}\right) > 0$ for some $i$, where $i\ge 1$. As

By collecting the terms containing ${\mu }_{i}$, we obtain

where

The above equality of (44) leads to its minimum value ${min}_{{\mu }_{i}\mathrm{ϵ}{\mathrm{R}}^{+}}$ $\mathrm{d}\mathrm{e}\mathrm{t}\left({J}_{i}\right)$ at

After substituting the above value in (44), we get

For the instability of the system, we must have $det\left({J}_{i}\right) > 0.$ Therefore above the equilibrium point $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is unstable in the region where ${s}_{1} < {s}_{2}+{s}_{3}+{s}_{4}$.

5.   Construction of numerical scheme

A numerical scheme is constructed for solving Eqs (23)–(27). The scheme's construction discretizes the time variable, and suitable difference formula can be adopted to discretize the space variable. The scheme is the two-stage explicit scheme. The scheme is constructed on three-time levels. Consider the following equation:

The first stage of the scheme is written as

The second stage of the scheme contains three unknowns. Their values will be found later. The second stage is written as

To find the values of unknowns ${a}_{1}, {b}_{1}$ and ${c}_{1}$, the Taylor series expansions for ${V}_{i}^{n+1}, {V}_{i}^{n-1}, {\left(\frac{\partial V}{\partial t}\right)}_{i}^{n+1}$ and ${\left(\frac{\partial V}{\partial t}\right)}_{i}^{n-1}$ are given as

Substituting Taylor series expansions (51)–(54) into Eq (50), we obtain the following

Comparison of coefficients of ${u}_{i}^{n}, \mathrm{\Delta }t{\left(\frac{\partial u}{\partial t}\right)}_{i}^{n}, {\left(\mathrm{\Delta }t\right)}^{2}{\left(\frac{{\partial }^{2}u}{\partial {t}^{2}}\right)}_{i}^{n}$ and ${\left(\mathrm{\Delta }t\right)}^{3}{\left(\frac{{\partial }^{3}u}{\partial {t}^{3}}\right)}_{i}^{n}$ leads to the following

Solving the above system of equations gives the values of the unknown parameters ${a}_{1}, {b}_{1}$ and ${c}_{1}$ as

5.1.   Stability analysis

The stability condition of the proposed scheme for the parabolic Eq (48) von Neumann stability criterion is applied. For applying the stability analysis, some transformations are substituted into difference equations. For the considered problem, the transformations are given as follows.

Using a second-order central difference formula for the diffusion term, the first stage of the proposed scheme for the linearized equation is given as

where

According to von Neumann's stability criterion, consider the following transformations

Substituting the transformations of (50) into Eq (49), the following is obtained:

By using the second-order central difference formula for the diffusion term, the second stage of the proposed scheme for the linearized equation is given as

Substituting the transformations of (58) into (60) and dividing the resulting equation by ${e}^{iI\mathrm{\theta }}$, we get

Collecting the coefficients of ${E}^{n+1}$ on the left-hand side of Eq (61) provides

Equations (61) and (62) can be written in matrix form as

The stability conditions can be imposed on the eigenvalue of the coefficient matrix, and these conditions are expressed as

The proposed scheme will be stable if it satisfies inequalities of (64).

6.   Numerical simulations

The spatial terms in (23)–(25) are discretized by using the classical central difference formula to apply the proposed scheme for the considered diffusive model. The discretized equations for the model are given as

7.   Results and discussion

T he present research yielded an eco-epidemiological model for the predator-prey system. We considered two classes of prey species, i.e., susceptible and infected prey. It is supposed in this study that the transmission of infection is non-vertical. Predation activity influences the biological environment on a large scale. Here, we considered that there is no disease transmission due to predation. The populations of two classes of prey species face disturbance due to infection. Figures 1 and 2 show the stability of the coexisting equilibrium point for the original and self-diffusive systems. The parameters used for the simulation in Figure 1 are $\bf \boldsymbol{a} = 0.45, \boldsymbol{b} = 0.64,$ $\bf \boldsymbol{c} = 0.53,$ $\bf \boldsymbol{f} = 0.53, {\boldsymbol{\alpha }}_{1} = 0.14,$ $\bf {\boldsymbol{\alpha }}_{2} = 0.27, \boldsymbol{m} = 0.56,$ $\bf {\boldsymbol{n}}_{1} = 0.55,$ $\bf {\boldsymbol{n}}_{2} = 0.49,$ $\bf \boldsymbol{\gamma } = 0.49,$ whereas, in Figure 2, the values of all of the parameters are the same as in Figure 1, with the diffusion coefficients $\bf {\boldsymbol{D}}_{11} = 0.10,$ $\bf {\boldsymbol{D}}_{22} = 0.20\wedge {\boldsymbol{D}}_{33} = 0.10$. Figure 3 shows the solution of the system for $\bf \boldsymbol{\gamma } = 0.20, 0.30, 0.35, \wedge 0.45$. Other parameters have the same values as in Figure 1. Figures 4–6 show time-series solutions for the self-diffusive system with $\bf {\boldsymbol{D}}_{11} = 0.01,$ $\bf {\boldsymbol{D}}_{22} = 0.06\wedge {\boldsymbol{D}}_{33} = 0.07$ for different resource values ($\bf \boldsymbol{f} = 0.40, 0.45, \wedge 0.50$); the values of the other parameters were the same as in Figure 1. For Figure 3, the initial condition was (0.1, 0.1, 0.1), whereas, for all Figures 4–6, the initial condition was (0.6096, 0.2060, 0.1533). The Figures 4–6 results indicate that the oscillation produced in the system dies out, resulting in the stability of the species' coexistence. Figures 7–9 present contour plots for the predator, susceptible prey and infected prey, respectively. The values of the parameters were $\bf \boldsymbol{a} = 0.91,$ $\bf \boldsymbol{b} = 0.50,$ $\bf \boldsymbol{c} = 0.55, \boldsymbol{f} = 0.91,$ $\bf {\boldsymbol{\alpha }}_{1} = 0.77,$ $\bf {\boldsymbol{\alpha }}_{2} = 0.95, \boldsymbol{m} = 0.06, {\boldsymbol{n}}_{1} = 0.85, {\boldsymbol{n}}_{2} = 0.055, \boldsymbol{\gamma } = 0.60$. The values of the diffusion parameters were $\bf {\boldsymbol{D}}_{11} = 0.02, {\boldsymbol{D}}_{12} = 0.84, {\boldsymbol{D}}_{13} = 0.5$, $\bf {\boldsymbol{D}}_{21} = 0.4,$ $\bf {\boldsymbol{D}}_{22} = 0.07,$ $\bf {\boldsymbol{D}}_{23} = 0$, $\bf {\boldsymbol{D}}_{31} = 0.2,$ $\bf {\boldsymbol{D}}_{32} = 0\wedge {\boldsymbol{D}}_{33} = 0.01$. In Figures 1 and 2, it is evident that the systems described by (9)–(11) and (23)–(25) turn to the coexistence of the fixed point, which is biologically important. Figure 3 shows the direct impact of 𝛾 on the infected prey population. When the value of 𝛾 is raised from 0.20 to 0.45, there is a significant increase in the said population. In the time-series plots, it is interesting to note that increased values of the food parameter f lead to a remarkable increase in the predator and susceptible prey populations. Still, a reverse effect is obvious on the infected population of prey species. Figures 10–12 show a comparison among the systems presented in (9)–(11), (23)–(25) and (36)–(38). The population density of all species is remarkably affected by the inclusion of self- and cross-diffusion. The values of the parameters taken in Figure 9 are $\bf \boldsymbol{a} = 0.1, \boldsymbol{b} = 0.50,$ $\bf \boldsymbol{c} = 0.05, \boldsymbol{f} = 0.01,$ $\bf {\boldsymbol{\alpha }}_{1} = 0.0177,$ $\bf {\boldsymbol{\alpha }}_{2} = 0.95,$ $\bf \boldsymbol{m} = 0.06,$ $\bf {\boldsymbol{n}}_{1} = 0.185,$ $\bf {\boldsymbol{n}}_{2} = 0.055,$ $\bf \wedge \boldsymbol{\gamma } = 0.60$. In Figure 10, all of the parameters have the same value, except $\bf {\boldsymbol{\alpha }}_{1} = 0.0177$, and the diffusion coefficients are $\bf {\boldsymbol{D}}_{11} = 0.46,$ $\bf {\boldsymbol{D}}_{22} = 0.7\wedge {\boldsymbol{D}}_{33} = 0.71$. All of the parameters have the same values as those applied in Figure 9, except $\bf {\boldsymbol{D}}_{12} = 0.31,$ $\bf {\boldsymbol{D}}_{13} = 0.75\wedge {\boldsymbol{D}}_{21} = 0.14,$ $\bf {\boldsymbol{D}}_{23} = 0$, $\bf {\boldsymbol{D}}_{31} = 0.65\wedge {\boldsymbol{D}}_{32} = 0$.

8.   Conclusions

In the present article, we have formulated a dynamical nonlinear eco-epidemiological population model considering two species, i.e., the predator and prey, taking into account the species' dependence on the same food resources. Moreover, it is assumed that a fatal infectious, transmissible disease is present in the prey species. The equilibria of the proposed model have been found. We analyzed the global stability of the coexistence equilibrium point for the non-diffusive and diffusive cases by establishing the Lyapunov function. We have proved in Theorems 1 and 2 that the coexisting equilibrium point $({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}})$ is globally stable for the original and self-diffusive models, respectively. Also, it is proved in Theorem 3 that Turing instability of the system for the cross-diffusive case exists conditionally. Phase portraits were drawn to support the theoretical results and show the equilibrium point's stability for the non-diffusive and self-diffusive cases. Moreover, a two-stage explicit numerical scheme was constructed, and the stability of the proposed scheme was evaluated by using the von Neumann stability criterion. The impacts of parameters like the disease transmission parameter 𝛾 and food resource f have been analyzed through the use of plots. It is obvious from the plots that increasing the disease transmission parameter 𝛾 enhances the infected population density, and vice versa. The solution of the self-diffusive system for different values of the resource parameter f has been obtained, and it is shown that the increment in the food resource affects the population size.

Acknowledgments

The authors wish to express their gratitude to Prince Sultan University for facilitating the publication of this article through the Theoretical and Applied Sciences Lab. Funding Statement: The authors would like to acknowledge the support of Prince Sultan University for paying the Article Processing Charges for this publication.

Conflict of Interest

The authors declare that they have no conflict of interest to report regarding the present study

Appendix A

For the proof of (22):

We consider

Using above value in (9) and applying simplification leads us to the following result:

Appendix B

To prove the value of ${M}_{1} = -{D}_{11}{U}^{\mathrm{*}}{\int }_{\mathrm{\Omega }}\text{‍}\frac{1}{{U}^{2}}|\nabla {U|}^{2}dX\le 0$ in (28), we proceed as follows:

By using Green's first identity, we have

Further simplification leads to the following:

So, we have

Similarly, (31) and (32) can be proved.