Dynamically Consistent NSFD Discretization of Some Productive-Destructive Population Models Satisfying Conservations Laws ()
1. Introduction
The dynamics of a population consisting of N interacting sub-populations can be described by the initial value problem
,
, (1.1)
where
,
,
is differentiable, and
.
The function
for such models is typically non-linear, so that the system (1.1) does not have analytic solutions, thus leaving numerical methods the only way that these models can be simulated; these can generally be expressed in the form
(1.2)
where
, and
is a discrete approximation of
.
It is well known that standard discretizations (1.2) of systems such as (1.1) result in un-reliable simulations [1] [2] [3]; in general, standard methods leads to discrete models with spurious solutions and instabilities that are not present in the original system. It has been observed ( [1] [4] ) that it is the lack of dynamic consistency with respect to some essential property of the continuous system, in the sense of Definition 1.1 below ( [4] ), that leads to numerical instabilities in the discrete approximations.
Definition 1.1 ( [4] ) Let the system (1.1) and its solution have a property P. The discrete system (1.2) as a model of (1.1) is said to be dynamically consistent with (1.1) with respect to the property P, if (1.2) and its solution also possess the property P.
To address the problem of spurious solutions and instabilities, the nonstandard finite difference (NSFD) method for discretizing continuous ODEs has been developed [1], whose hallmark is the production of numerical schemes that are dynamically consistent with the original ODE system. Therefore, salient features of the model, such as positivity of solutions, obeying conservation or sub-conservation laws, and other known structures of the original system play a prominent role in the NSFD methodology in the construction of dynamically consistent numerical models for such systems. However, a method that guarantees dynamic consistency with respect to one property may not guarantee dynamic consistency with respect to another. The question addressed in the present communication is therefore this: Are discrete models resulting from general productive-destructive (PD) NSFD construction methods applied to conservative PD systems dynamically consistent with respect to conservation laws?
A general NSFD construction method was advanced in [5] - [11] by Dimitrov, Koujaharov and Wood for PD systems with certain features in the interaction terms. Their method, which exploits the structure of the interaction terms to guarantee positivity, has been used as a basis for constructions of NSFD schemes for population models in [12] [13] [14] [15]. It is designed to produce numerical models that are dynamically consistent with the differential system with respect to positivity of solutions, equilibria and their linear stability, but not with respect to conservation laws. Another general method was proposed by Mickens in [16] and illustrated with applications to several population models by Mickens and Washington in [17] for the systematic construction of dynamically consistent models for systems obeying conservation or sub-conservation laws. The method uses a discretization of the conservation law to construct the denominator function and then exploits a positivity trick similar to the Koujaharov group method to complete the construction. The dynamic consistency with respect to conservation laws of discrete models resulting from the PD general method is investigated in the present article for conservative PD systems, and examples are presented to illustrate the theoretical considerations.
The remainder of this article is organized as follows. In Section 2, a synopsis of the NSFD methodology is given and relevant definitions are recalled concerning conservation laws and PD systems. Section 3 presents a summary of the respective general NSFD construction methods for PD and conservative systems, and the dynamic inconsistencies from the PD system method under consideration are discussed. Two examples, one satisfying a direct conservation law and the other a generalized conservation law, are presented in Section 4 to illustrate the inconsistencies and present dynamically consistent schemes using the conservation laws.
2. NSFD Methodology and Some Salient Features Used in NSFD Construction
In this section, a synopsis of the NSFD methodology is given and relevant definitions are recalled concerning some salient feature of systems used in population modeling. An important feature of the NSFD methodology is that the essential features of the continuous model must be incorporated into the discrete model since it is the failure of the discrete model to capture essential underlying features that lead to numerical instabilities in the resulting discrete solutions.
2.1. NSFD Methodology
There are two key requirements that form the foundation for the NSFD discretization of ordinary differential equations, which are well documented elsewhere [1] [3], and we only briefly outline them here.
The first NSFD requirement is that non-linear terms of the dependent functions must be modelled by non-local discrete representations on the computational grid. The following examples are typical in practice:
;
;
.
The second NSFD requirement is that the standard discrete model of the first derivative
,
must be replaced with a more general representation,
,
where the denominator function
has the following properties:
1)
as
;
2)
is an increasing function of h;
3)
may be a function of one or more parameters in the differential equations.
2.2. Some Salient Features Used in the NSFD Methodology
This section briefly outlines some salient features of ordinary differential equations systems that may be used in the development of general NSFD construction methods for certain classes of the system (1.1). A fundamental requirement for system (1.1) as a model for the study of populations is that all solutions are positive [11] [17], and hence the next definition.
Definition 2.1. ( [11] [17] ) The solution
of (1.1) is said to satisfy a positivity condition if (and only if)
for
. (2.1)
This condition guarantees that populations start off non-negative and remain non-negative, since negative populations are generally meaningless, and has been used in all general construction methods. Systems with features contained in the following two definitions arise often enough in population and physical modeling that general discretization methods have been developed for them utilizing these features.
Definition 2.2 ( [11] ) The system (1.1) is said to be productive-destructive (PD) if it can be expressed in the form
. (2.2)
where
, and
, are positive input and output functions.
Definition 2.3 ( [16] [17] ) The system (1.1) is said to obey a direct or generalized conservation law, respectively, if it satisfies the condition
(2.3a)
or
(2.3b)
where
are constants and
.
To correctly represent the same dynamics as the original system (1.1), a dynamically consistent numerical method (1.2) of (1.1) must, according to Definition 1.1, therefore be required to satisfy discrete conditions analogous to those satisfied by (1.1). Our interest in the present article is the construction of NSFD models of PD systems that are dynamically consistent with respect to positivity and a conservation law as per Definition 2.3. As has been summarized in [16] [17], the resulting numerical schemes must satisfy the following conditions:
1) The positivity condition must be satisfied for each dependent variable in the discretization;
2) If a term appears in more than one equation of the system, then its discrete representation must be the same in all appearances;
3) The discrete model of the system must exactly satisfy the same conservation law, in discrete form, as the continuous system;
4) The denominator function for the discrete first derivatives must have explicit functional form and must be the same for all equations in the system.
3. General NSFD Construction Methods
In this section we present a summary of the general NSFD construction method for PD developed in [5] - [11] and for conservative (or semi-conservative) systems developed in [16] [17], and discuss the inconsistency with the conservation laws of the NSDF schemes from the PD systems method.
3.1. PD Systems NSFD Construction
In [9] [10] [11] a general NSFD method was developed for a class of PD systems that satisfy the positivity as well as the following condition:
, (3.1)
where the functions
are non-negative.
That general construction method for (1.1) yields the numerical model
, (3.2a)
where
(3.2b)
For a PD system of the form (3.1), this yields the numerical model
(3.3)
The model (3.3), while it satisfies the positivity condition, may fail to satisfy the underlying conservation law if some of the terms in
are also present in
since such a term will have non-identical discretizations.
If a system satisfies the generalized conservation law (2.3b), that is,
, such as in [10] (Example 1 in Section 4), then the discretization of said system must satisfy the discrete conservation analog of (2.3b), which is
,
(3.4a)
or
,
(3.4b)
However, because of the non-identical discretization of some terms of the form
which appear in both the positive and negative components of (1.1), instead of resulting in (3.4), addition of the components of (1.1) result in an expression of the form
. (3.5)
Since the middle term in (3.5) can be positive, that is,
(3.6)
is possible, then in this case Equations (3.4) do not necessarily hold. The discretization (3.3) therefore does not necessarily result in (3.4), and thus is not dynamically consistent with respect to the conservation law (2.3b).
If a PD system satisfies the exact conservation law (2.3a), this may be because the equation takes the form
that is,
, which is a non-conditional identity, such as in [14] (Example 2 in Section 4). In this case, the discrete conservation analog of (2.3a) is
(3.7a)
or
(3.7b)
for suitable denominator functions
. However, in this case, the non-identical discretization of some terms of the form
which appear in both the positive and negative components of (1.1), instead of resulting in (3.4), addition of the components of the system result in an expression of the form
(3.8)
It can be seen that the righthand side of (3.8) is only conditionally equal to zero, and hence does not preserve (2.3a), which is unconditional. Since the middle term in (3.8) can be positive, that is, it is possible that
, (3.9)
the Equations (3.7) do not necessarily hold. The discretization (3.3) can therefore fail to be dynamically consistent with respect to the conservation law (2.3b) since it does not necessarily result in (3.7); that is, it does not preserve the conservation law.
3.2. Conservative Systems NSFD Construction
In [16] [17] a general NSFD method was developed for a class of systems satisfying the conservation laws (2.3a) and (2.3b). For systems satisfying (2.3b), the Mickens-Washington begins with the exact solution (3.4a) or (3.4b) to obtain the denominator function and then and uses positivity to complete the construction. First, each equation is expressed in the following form, which is a special case of (3.1):
, (3.10)
where
and each of
are non-negative.
The resulting general discretization is
(3.11)
which is consistent with (3.4a); the
in
and
accounts for the terms which also appear in some
, and thus require the same discretization.
For systems satisfying (2.3a), the Mickens-Washington begins with the exact solution of (3.7a), with a denominator function chosen to ensure that the conservation law is obeyed, yielding a construction similar to (3.11).
4. Examples
In this section, two examples are presented to illustrate the pitfalls which may lead to dynamic inconsistencies for conservative systems in the PD system NSFD general construction method of Dimitrov and co-workers. Dynamically consistent NSFD schemes are presented using the Mickens-Washington general construction method for conservative systems, which begins with the exact discretization of the conservation or a sub-conservation law to obtain the discrete denominator for the system and is completed by applying positivity.
Example 1
The first example is a model for the study the role of incubation in AIDS which was used in [11] to illustrate the PD system NSFD construction method.
(4.1a)
(4.1b)
(4.1c)
where
.
The system (4.1) satisfies the generalized conservation law (2.3b) since total population
satisfies
. (4.2)
The numerical model obtained in [17] using (3.2) is
(4.3a)
(4.3b)
(4.3c)
Because of the non-identical discretization of the terms
in (4.3a), (4.3c) and of
in (4.3b), (4.3c), adding (4.3a) through (4.3c) yields
(4.4a)
so that condition (3.4b), the discrete equivalent of (4.2), is true if and only if
. (4.4b)
Therefore, the conservation law (4.2), an unconditional identity, is preserved only conditionally by the scheme (4.3), which is not consistent with the original system.
Applied to the system (4.1), the Mickens-Washington method (3.11) results in
(4.5a)
(4.5b)
(4.5c)
where
.
The denominator function
in (4.5) is determined from the exact discretization of the conservation law
, which is
.
The system (4.5) satisfies the positivity requirement and unconditionally satisfies
(4.6)
which preserves the conservation law (4.2) and is therefore dynamically consistent with respect to the conservation law of the original system. Moreover, while implicit in construction, the model (4.5) can be solved for explicit implementation to obtain in the order
.
Example 2
The next example is a model studied in [6] to illustrate the PD system NSFD construction method.
(4.7a)
(4.7b)
(4.7c)
The total population
in model (4.7) satisfies the direct conservation law
, (4.8)
The PD method of the Dimitrov group results in
(4.9a)
(4.9b)
. (4.9c)
The discrete representations
in Equation (4.9a) and
,
,
in Equations (4.9a)-(4.9c) result in
(4.10)
which is only conditionally equal to zero; this is not consistent with the conservation law (4.8), which is an unconditional identity.
The following numerical model of (4.7) is the result of the Mickens-Washington procedure for such systems:
(4.11a)
(4.11b)
, (4.11c)
where
and
(4.12)
The denominator function in (4.11) is determined from noting that when
, then
, whose exact solution
has the exact finite difference scheme
, with
given by (4.12).
The model (4.11) unconditionally satisfies the discrete equivalent of conservation law (4.8) as well as the positivity requirement; while implicit in construction, it can be solved for explicit implementation to obtain the variables in the order
.
5. Conclusions
The dynamic consistency with respect to conservation laws of discrete models of conservative PD systems resulting from an NSFD general construction method for PD systems has been investigated. Two general methods of constructing NSFD numerical models are recalled, where one method is designed for PD systems and the other for systems satisfying conservation laws. It is shown that the NSFD method for general PD systems does not produce numerical models that are dynamically consistent with respect to conservation laws. This is significant since the failure of the discrete model to exactly satisfy the conservation laws of the original continuous system leads to discrete solutions that do not possess the qualitative features of the continuous model, which in turn may lead to numerical instabilities. As it fails to preserve conservation laws of the systems it models, the PD method considered here may therefore be unreliable as a basis for the general construction of numerical models of systems of differential equations satisfying such conservation laws, since such failure may lead to numerical instabilities. In conclusion therefore, if additional structure is imposed on PD dynamical systems in the form of conservation laws, then the NSFD methods designed for PD systems might not preserve the conservation laws, and alternative methods should be used in such cases.
Two examples of important population models are presented to illustrate the theory discussed, where one example satisfies the direct conservation law and the other a generalized conservation law. For these examples, the numerical model based on the PD system NSFD general construction method is presented and the dynamic inconsistency with the underlying conservation law is made explicit. In each case an NSFD model is also presented which is dynamically consistent with respect to positivity of solutions and the applicable conservation law.