3.1. Positivity
In this subsection, we show that the solutions of the system of model equations (1) are positive. This is stated in the form of a theorem accompanied by proofs
Positivity of dog population
Theorem 1:
Every solution of the system of model equations representing dog populations given in (1) together with the initial conditions exists in the interval. Also, the solutions are positive.
Proof: Here we show that the solutions for the dog population equations given in model system (1) exist Also, we show that they are non-negative i.e., . That is, if the initial conditions are non-negative then so are the variables for all .
The solutions of the system (1) together with the initial conditions exits and unique on where since the right-hand side of the system is completely continuous and locally Lipshitzian on .
We now consider the dog population equations given in (1), one by one, and show that the solutions of the dog variables are non-negative i.e., for all .
Positivity of susceptible dog population: Consider the model equation for susceptible dog population. It can be expressed without loss of generality, after elimination of the positive term which appears on the right-hand side, as an inequality as .This inequality can also be expressed as Here, the function denoting the expression can be negative zero or positive valued. Now, using the variables separation method and upon integrating, the solution of can be obtained as Here, the integral constant is the initial susceptible dog population and is assumed to be a non-negative quantity . Similarly, an exponential function is always a non-negative quantity irrespective of the value of the exponent i.e., . Hence, we conclude that. That is, the susceptible dog population size is a positive quantity.
Positivity of exposed dog population: Consider the model equation for exposed dog population. Alternately, it can be expressed as . Here, the function denoting the expression can be negative zero or positive valued. Now, using the variables separation method and applying integration, the solution ofcan be obtained as Here, the integral constant is the initial population of exposed dogs and is assumed to be a non-negative quantity . Similarly, an exponential function is always a non-negative quantity irrespective of the value of the exponent i.e., . Hence, we conclude that . That is, the exposed dog population size is a positive quantity.
Positivity of Infectious dog population in prodromal phase: Consider the model equation for prodromal dog population. Here, the termis a positive quantity sinceis a positive parameter and the exposed dog population is already shown positive. Now, the aforementioned ODE can be expressed without loss of generality, after eliminating the positive term, as an inequality as. Now, using the variables separation method and integrating, the solution can be obtained as Here, the integral constant is the initial population of prodromal infectious dogs and is assumed to be a non-negative quantity . Similarly, the exponential term is also a positive quantity i.e., since the integrand in the exponent consists of positive parameters only. Hence, we conclude that. That is, the prodromal infectious dog population size is a positive quantity.
Positivity of Infectious dog population in furious phase: Consider the model equation for infectious dog population in furious phase. Here, the term is positive since is a positive parameter and the prodromal infectious dog population is already shown positive. Now, the aforementioned ODE can be expressed without loss of generality, after eliminating the positive term, as an inequality as. Now, using the variables separation method and integrating, the solution can be obtained as Here, the integral constant is the initial population of furious infectious dogs and is assumed to be a non-negative quantity . Similarly, the exponential term is also positive i.e., since the integrand in the exponent consists of positive parameters only. Hence, we conclude that. That is, the furious infectious dog population size is a positive quantity.
Positivity of Recovered Dog Population: Consider the model equation for the recovered dog population as. Here, the term and are positive since and are positive parameters and the susceptible and Exposed dog populationare already shown positive. Now, the aforementioned ODE can be expressed without loss of generality, after eliminating the positive terms, as an inequality as. Now, using the variables separation method and integrating, the solution can be obtained as Here, the integral constant is the initial population of recovered dogs and is assumed to be a non-negative quantity . Similarly, the exponential term is also positive i.e., since the integrand in the exponent consists of positive parameters only. Hence, we conclude that. That is, the recovered dog population size is a positive quantity.
Positivity of the human population
Theorem 2:
Every solution of the system of model equations representing human populations given in (1) together with the initial conditions exists in the interval. Also, the solutions are positive.
Proof: Here we show that the solutions for the human population equations given in model system (1) exist. Also, we show that they are non-negative i.e., . That is, If the initial conditions are non-negative then so are the variables for all .
The solutions of the system (1) together with the initial conditions exits and unique on where since the right-hand side of the system is completely continuous and locally Lipshitzian on .
We now consider the human population equations given in (1), one by one, and show that the solutions of the human variables are non-negative i.e., for all .
Positivity of susceptible human population: Consider the model equation for susceptible human population. It can be expressed without loss of generality, after eliminating the positive term appearing on the right-hand side, as an inequality as . This inequality can also be expressed as Here, the function denoting the expression can be negative or zero or positive valued. Now, using the variables separation method and upon integrating, the solution can be obtained as Here, the integral constant is the initial susceptible human population and is assumed to be a non-negative quantity . Similarly, an exponential function is always a non-negative quantity irrespective of the value of the exponent i.e., . Hence, we conclude that. That is, the susceptible human population size is a positive quantity.
Positivity of exposed human population: Consider the model equation for exposed human population.
Alternately, it can be expressed as. Here, the function denoting the expression can be negative zero or positive valued. Now, using the variables separation method and applying integration, the solution can be obtained as Here, the integral constant is the initial population of exposed humans and is assumed to be a non-negative quantity . Similarly, an exponential function is always a non-negative quantity irrespective of the value of the exponent i.e., . Hence, we conclude that. That is, the exposed human population size is a positive quantity.
Positivity of Infectious human population: Consider the model equation for the infectious human population. Here, the term is a positive quantity since is a positive parameter and the exposed human population is already shown positive. Now, the aforementioned ODE can be expressed without loss of generality, after eliminating the positive term, as an inequality as. Now, using the variables separation method and integrating, the solution can be obtained as Here, the integral constant is the initial population of infectious humans and is assumed to be a non-negative quantity. Similarly, the exponential term is also a positive quantity i.e., since the integrand in the exponent consists of positive parameters only. Hence, we conclude that. That is, the infectious human population size is a positive quantity.
Positivity of Recovered human population: Consider the model equation for the recovered dog population as. Here, the terms andare positive since are positive parameters and the susceptible and exposed human population are already shown positive. Now, the aforementioned ODE can be expressed without loss of generality, after eliminating the positive terms as an inequality as. Now, using the variables separation method and integrating, the solution can be obtained as Here, the integral constant is the initial population of recovered humans and is assumed to be a non-negative quantity i.e., . Similarly, the exponential term is also positive i.e., since the integrand in the exponent consists of positive parameters only. Hence, we conclude that. That is, the recovered human population size is a positive quantity.
Theorem 3:
The feasible regiondefined byis bounded.
Also, is the total dog population.
Similarly,is the total human population.
Furthermore, the sets and are all real-valued.
Proof: Here, we show that the model population is bounded.
That is, the dog population is bounded i.e.,
Also, the human population is bounded i.e.,
3.2. Boundedness of the Model
The dog population is bounded
We now show that if the total dog population size is given by then. In other words, the total size of the dog population given in model system (1) is bounded above.
Consider that denotes the total dog population at any time t.
Upon derivation of both sides of equation (2.1) concerning time, we obtain
Now, making use of the system (1) and substituting for the differential terms appearing on the right-hand side of (3.2), the equation reduces to the form as
Here, the terms
and
are positive since all the model parameters are assumed to be positive and all the model variables are proved to be positive. Hence, upon removing these two positive terms, the equation (3.3) can be expressed as an inequality
It is a first-order nonlinear ODE with constant coefficients and its solution is given by
As
in equation (3.4) the population size
which implies that
, Thus the feasible solution set of the system equation of the model enters and remains in the region:
The human population is bounded
We now show that if the total human population size is given by then. In other words, the total size of the human population given in model system (1) is bounded above. Consider that denotes the total human population at any time t.
Upon derivation of both sides of equation (3.6) concerning time, we obtain
Now, making use of the system (1) and substituting for the differential terms appearing on the right-hand side of (3.7), the equation reduces to the form after algebraic simplifications as
Here, the term is positive since all the model parameters are assumed to be positive and all the model variables are proved to be positive.
Hence, upon removing this negative term, the equation (3.8) can be expressed as an inequality as
It is a first-order nonlinear ODE with constant coefficients and its solution is given by
As
in equation (3.9) the population size
which implies that
, Thus the feasible solution set of the system equation of the model enters and remains in the region:
Therefore, from equations (3.5) and (3.10) the region is positively invariant and the model (1) is well-posed or biologically and epidemiologically. The proof of Theorem 3. is complete.