Loading [MathJax]/jax/output/SVG/jax.js
Research article Special Issues

Adaptive step size controllers based on Runge-Kutta and linear-neighbor methods for solving the non-stationary heat conduction equation

  • Received: 04 January 2023 Revised: 26 February 2023 Accepted: 02 March 2023 Published: 29 March 2023
  • We systematically test families of explicit adaptive step size controllers for solving the diffusion or heat equation. After discretizing the space variables as in the conventional method of lines, we are left with a system of ordinary differential equations (ODEs). Different methods for estimating the local error and techniques for changing the step size when solving a system of ODEs were suggested previously by researchers. In this paper, those local error estimators and techniques are used to generate different types of adaptive step size controllers. Those controllers are applied to a system of ODEs resulting from discretizing diffusion equations. The performances of the controllers were compared in the cases of three different experiments. The first and the second system are heat conduction in homogeneous and inhomogeneous media, while the third one contains a moving heat source that can correspond to a welding process.

    Citation: Mahmoud Saleh, Endre Kovács, Nagaraja Kallur. Adaptive step size controllers based on Runge-Kutta and linear-neighbor methods for solving the non-stationary heat conduction equation[J]. Networks and Heterogeneous Media, 2023, 18(3): 1059-1082. doi: 10.3934/nhm.2023046

    Related Papers:

    [1] Amira Bouhali, Walid Ben Aribi, Slimane Ben Miled, Amira Kebir . Impact of immunity loss on the optimal vaccination strategy for an age-structured epidemiological model. Mathematical Biosciences and Engineering, 2024, 21(6): 6372-6392. doi: 10.3934/mbe.2024278
    [2] Holly Gaff, Elsa Schaefer . Optimal control applied to vaccination and treatment strategies for various epidemiological models. Mathematical Biosciences and Engineering, 2009, 6(3): 469-492. doi: 10.3934/mbe.2009.6.469
    [3] Haoyu Wang, Xihe Qiu, Jinghan Yang, Qiong Li, Xiaoyu Tan, Jingjing Huang . Neural-SEIR: A flexible data-driven framework for precise prediction of epidemic disease. Mathematical Biosciences and Engineering, 2023, 20(9): 16807-16823. doi: 10.3934/mbe.2023749
    [4] Markus Thäter, Kurt Chudej, Hans Josef Pesch . Optimal vaccination strategies for an SEIR model of infectious diseases with logistic growth. Mathematical Biosciences and Engineering, 2018, 15(2): 485-505. doi: 10.3934/mbe.2018022
    [5] Rongjian Lv, Hua Li, Qiubai Sun, Bowen Li . Model of strategy control for delayed panic spread in emergencies. Mathematical Biosciences and Engineering, 2024, 21(1): 75-95. doi: 10.3934/mbe.2024004
    [6] Sarafa A. Iyaniwura, Musa Rabiu, Jummy F. David, Jude D. Kong . Assessing the impact of adherence to Non-pharmaceutical interventions and indirect transmission on the dynamics of COVID-19: a mathematical modelling study. Mathematical Biosciences and Engineering, 2021, 18(6): 8905-8932. doi: 10.3934/mbe.2021439
    [7] Jerzy Klamka, Helmut Maurer, Andrzej Swierniak . Local controllability and optimal control for\newline a model of combined anticancer therapy with control delays. Mathematical Biosciences and Engineering, 2017, 14(1): 195-216. doi: 10.3934/mbe.2017013
    [8] Bruno Buonomo . A simple analysis of vaccination strategies for rubella. Mathematical Biosciences and Engineering, 2011, 8(3): 677-687. doi: 10.3934/mbe.2011.8.677
    [9] M. H. A. Biswas, L. T. Paiva, MdR de Pinho . A SEIR model for control of infectious diseases with constraints. Mathematical Biosciences and Engineering, 2014, 11(4): 761-784. doi: 10.3934/mbe.2014.11.761
    [10] Pannathon Kreabkhontho, Watchara Teparos, Thitiya Theparod . Potential for eliminating COVID-19 in Thailand through third-dose vaccination: A modeling approach. Mathematical Biosciences and Engineering, 2024, 21(8): 6807-6828. doi: 10.3934/mbe.2024298
  • We systematically test families of explicit adaptive step size controllers for solving the diffusion or heat equation. After discretizing the space variables as in the conventional method of lines, we are left with a system of ordinary differential equations (ODEs). Different methods for estimating the local error and techniques for changing the step size when solving a system of ODEs were suggested previously by researchers. In this paper, those local error estimators and techniques are used to generate different types of adaptive step size controllers. Those controllers are applied to a system of ODEs resulting from discretizing diffusion equations. The performances of the controllers were compared in the cases of three different experiments. The first and the second system are heat conduction in homogeneous and inhomogeneous media, while the third one contains a moving heat source that can correspond to a welding process.



    1. Introduction

    Since the publication of the seminal paper [11] mathematical compartmental models are widely used to describe infectious diseases dymanics in large populations (see, for example [9], [4], [2] and [8]). It is well accepted that once an infected individual comes into contact with an unaffected population, the disease will spread by contact with the infectious individuals. Compartmental models divide the population into compartments characterizing the spread of the diseases and letters are used to denote the number of individuals in each compartment. Usually, the size of the population to be studied is N, S is the number of susceptible individuals and the number of infectious individuals is I. The letter R is also used to denote the number of those who recover from the disease or, as in [11], those who are removed from the disease by death or by recovery. The nature of the disease as well the reason why the models are studied may dictate the need for different compartments to be included. For example, SEIR models are used for diseases where infected individuals do not become immediately infectious; they are considered to be exposed to the disease and placed in compartment E, being moved to the I compartment only after some latent period of time.

    The basic reproduction number, R0, measures the transmission potential of a disease (see, for example, [10]). It is defined as "the expected number of secondary cases produced by a single (typical) infection in a completely susceptible population". From the mathematical point of view, it is an important concept when dealing with the dynamic systems defined by the compartmental models (SIR model, SEIR models, etc) because of its relevance to the stability of the equilibrium points. Indeed, there is a vast literature devoted to the stability analysis of such models; in this respect we refer the reader to [4] [2] and [8] (to name but a few!) and references within. Recently one has witnessed an increasing interest on applications of optimal control to such models (see [17], [13], [18], [1], [12], [6] and [16]). This comes as no surprise since optimal control theory has been a successful tool in the design of different control strategies for dynamic systems in general ([20]).

    Many papers on optimal control applied to epidemiology propose L2 costs (see, for example, [17] and [1]). One reason for this is that a closed form of the optimal control may be obtained, a form that facilitates the numerical verification of the solution (although, by itself, it does not guarantees that the solution is the optimal one since it usually depends on the multipliers). On the other hand, it has been argued that L1 costs are appropriated to biological systems while those with L2 costs are not ([13]). This reasoning may explain the attention optimal control problems with L1 costs have recently gained; see, for example, [13], [12] and [16].

    In this paper we focus on optimal control problems to control, via vaccination, the spread of a disease described by a SEIR model. We follow closely the approach in [16]: we consider L1 costs, we solve the problems numerically applying the direct method, we use known software packages, and we present numerical solutions that satisfy necessary optimality conditions with high accuracy. Notably, and differing from [16], we work with a normalized SEIR model.

    The normalized SEIR model differs from the usual SEIR model since the variables are fractions of the whole population instead of the number of individuals in each compartment. The theoretical and numerical treatment involving the latter model is usually done as if the variables are continuous and not integers; treating such variables as integers would demand the use of integer programming what is known to be very heavy computationally. When we turn to normalized models the variables are, by nature, continuous. In the literature, normalized models are common when the total population is assumed to remain constant during the time frame under study. This is not our case; here we normalize a SEIR model that incorporates exponential natural birth and death, as well as disease-caused death (similarly to what is done in [14]). As far as optimal control is concerned, normalizing such model brings out some new issues related to the choice of costs and the introduction of non standard constraints, questions we discuss here when comparing optimal control for normalized and not normalized SEIR models.

    Herein, we refer to the SEIR model, where the variables S, E, I and R denote the number of individuals in each compartment, as the classical SEIR model as opposed to the normalized SEIR model.

    We emphasize that we do not concentrate on any particular disease. Rather, our aim is to illustrate how previously proposed optimal control formulations can be handled by this new model, when different scenarios are considered. Taking into account that the set of parameters for the population in [16], based on [17], are not to be found in today's world, we use different population's parameters closed related to some European countries.

    Like other models in epidemiology, SEIR models represent only a rough approximation of reality. However, they provide new insights into the spreading of diseases and, when optimal control is applied, new insight on different vaccination policies.

    This paper is organized in the following way. In Section 2 we introduce an optimal control problem with L1 cost involving the classical SEIR model and its "normalized" counterpart. A brief description of our numerical methods as well as the tables with the set of parameters used in our simulation are presented in Section 3. Numerical methods give a helping hand for the discussion on the pros and cons of optimal control problems with classical and normalized models presented in Section 4. This discussion highlights the need for a criterious choice of cost. In Sections 5 and 6, we solve our optimal control problem numerically partially validating our solution using the maximum principle and the computed multipliers. Conclusions follow in the last section of this paper.


    2. Optimal control problems for SEIR models with L1 cost

    The SEIR model is a compartmental model well accepted as modelling some infectious diseases. At each instant t, S(t), E(t), I(t), and R(t) denote the number of individuals in the susceptible, exposed, infectious and recovered compartments. The total population is N(t)=S(t)+E(t)+I(t)+R(t). We assume that our population has exponential natural birth rate b and death rate d and that that all newborns are susceptible to the diseases. The disease transmission is described by the parameters f, denoting the rate at which the exposed individuals become infectious, g, denoting the rate at which infectious individuals recover, a, denoting the death rate due to the disease and c, denoting the disease incidence coefficient of horizontal transmission (vertical transmission is not considered). The rate of transmission of the disease is cI(t)N(t). For simplicity the parameters a, b, c, d and f are assumed to be constants. For more information about such model we refer the reader to [2], [10], [17] and references within.

    Optimal control techniques for SEIR models allow the study of different vaccines policies; different policies are confronted in [17] and [1] where the minimizing cost is L2, and in [16], covering the case of L1 cost. As in the aforementioned works we assume that only susceptible people is vaccinated (implying that it is possible to distinguish between exposed and susceptible individuals) and that the vaccine is effective so that all vaccinated susceptible individuals become immune. Let u(t) represent the percentage of the susceptible individuals being vaccinated per unit of time. Taking all the above considerations into account we are led to the following dynamical system (see [17]):

    ˙S(t)=bN(t)dS(t)cS(t)I(t)N(t)u(t)S(t),S(0)=S0, (1)
    ˙E(t)=cS(t)I(t)N(t)(f+d)E(t),E(0)=E0, (2)
    ˙I(t)=fE(t)(g+a+d)I(t),I(0)=I0, (3)
    ˙N(t)=(bd)N(t)aI(t),N(0)=N0, (4)

    where S0, E0, I0 and N0 are nonnegative initial conditions.

    For some ˉu0, we impose the following control constraint to u:

    0u(t)ˉua.e.t[0,T], (5)

    where T represents the period of time under consideration. The recovered population is related to the total population by N(t)=S(t)+E(t)+I(t)+R(t). Hence, R(t)=N(t)S(t)E(t)I(t) which gives the differential equation

    ˙R(t)=gI(t)dR(t)+u(t)S(t),R(0)=R0. (6)

    Here, the aim of applying optimal control to SEIR models is to control the spreading of the disease with some minimum financial cost. The cost should then be a weighted sum of the society financial costs of having, at each time, I(t) infected individuals and the cost of the vaccination effort what is mathematical translated as (7). This leads to the L1 cost as in [16]:

    JC(X,u)=T0(AI(t)+Bu(t)) dt, (7)

    where X=(S,E,I,N) and A>0, B>0 are weight parameters related with financial costs.

    Throughout this paper we refer to the optimal control problem of minimizing J1(X,u) over all XW1,1([0,T]:R4) and all piecewise continuous functions u:[0,T]R satisfying (1)-(6) and (5) as the classical and basic optimal control problem:

    (P){MinimizeT0(AI(t)+Bu(t)) dtsubject to˙S(t)=bN(t)dS(t)cS(t)I(t)N(t)u(t)S(t),S(0)=S0,˙E(t)=cS(t)I(t)N(t)(f+d)E(t),E(0)=E0,˙I(t)=fE(t)(g+a+d)I(t),I(0)=I0,˙N(t)=(bd)N(t)aI(t),N(0)=N0,u(t)[0,ˉu] for a. e.t[0,T], with ˉu]0,1].

    Next, we associate (P) with a normalized optimal control problem. Normalizing models are obtained considering the percentage of the total population to be 1 at each instant t. Then, defining

    s(t)=S(t)N(t),e(t)=E(t)N(t),i(t)=I(t)N(t),r(t)=R(t)N(t), (8)

    we have

    s(t)+e(t)+i(t)+r(t)=1 for all t. (9)

    Notice that s(t) is the percentage of the population in compartment S(t), e(t) is the percentage of the population in compartment E(t), i(t) is the percentage of the population in compartment I(t) and r(t) be the percentage of the population in compartment R(t). The normalized counterpart of (1)-(6) is then:

    ˙s(t)=bcs(t)i(t)bs(t)+ai(t)s(t)u(t)s(t), (10)
    ˙e(t)=cs(t)i(t)(f+b)e(t)+ai(t)e(t), (11)
    ˙i(t)=fe(t)(g+a+b)i(t)+ai2(t), (12)
    ˙r(t)=gi(t)rb(t)+ai(t)r(t)+u(t)s(t). (13)

    Remarkably, the dead rate parameters do not appear in this model (a feature we discuss in Remark 1 below). It is a simple matter to see that due to (9) we can discard equation (13), allowing us to reduce the number of differential equations from the normalized SEIR model (10)-(13).

    Now we are faced with the choice of the cost for the normalized model. Taking into account that the main aim is to control or to eliminate the disease from the population under study, different costs is may be considered, reflecting different concerns.

    The choice of the cost for (P) is based on the need to define vaccine policies to minimize some social and financial burden of the disease into the population. The cost JC for (P) captures two easily recognized social and financial costs that the infectious disease imposes on a society; the burden of having people infected among the population, translated in JC as AI(t), and the burden of vaccination to combat the spreading of the diseases, translated in JC as Bu(t). Noteworthy, the weights A and B can be easily changed to reflect different scenarios.

    An almost straightforward translation of this reasoning to our normalized model yields Jn(x,u)=T0(ρi(t)+u(t)) dt, where x=(s,e,i) is now the state variable and ρ a parameter reflecting different weights on i and u. Numerically speaking, this cost is clearly different to JC since its two terms are now both percentages while JC has a weighted sum of two distinctive amounts. Not surprising, some simple tuning of ρ may lead to similar results specially in situations where the total population N does not vary much and, in particular, when the total population remains constant. However, Jn demands that the cost of infected people should be calculated in terms of the percentage of people infected instead of using the number of infected people as in JC, something that depends on the economic practices.

    We postpone this discussion of the introduction of different costs to future research and we proceed now with the cost Jn above for our normalized model. Putting all together we are led to the normalized basic optimal control problem:

    (Pn){MinimizeT0(ρi(t)+u(t)) dtsubject to˙s(t)=bcs(t)i(t)bs(t)+ai(t)s(t)u(t)s(t),s(0)=s0,˙e(t)=cs(t)i(t)(f+b)e(t)+ai(t)e(t),e(0)=e0,˙i(t)=fe(t)(g+a+b)i(t)+ai2(t),i(0)=i0,u(t)[0,ˉu] for a. e.t[0,T], with ˉu]0,1].

    Note that the dynamics is of the form ˙x(t)=f(x(t))+g(x(t))u, with x=(s,e,i) and appropriate functions f(x) and g(x).

    Remark 1. A word of caution regarding the way the system (10)-(13) is viewed. We cannot interpret the dynamics between these new compartments in the same way as with the classical model. Indeed, in equation (10) the term +ai(t)s(t) does not mean that those who died of the disease become susceptible as if reborn in a different compartment. Instead, this dynamical model can be better understood using fluid analogies in the following way. Consider a system with four tanks with the same amount of water circulating between them. At each instant t the total amount of water in the system is constant but the level of water in each tank varies. This analogy is presented in Figure 1 assuming that u(t)=0. As mentioned before, (Pn) does not depend on the parameter d. This happens because the normal dead rate is equal for any compartment and thus it does not affect the distribution of population into compartments. On the other hand, the birth rate works as if feeding the susceptible compartment.

    Figure 1. Fluid Analogy of the Normalized SEIR compartmental model.

    We will discuss pros and cons of (P) and (Pn) using numerical solutions. Before that, however, we need to briefly present some remarks on the numerical tools and to describe the set of parameters used in our simulations.


    3. Numerical methods and data for simulations

    Optimal control problems can be solved numerically by direct or indirect methods. Here, we opt to use the direct method (for a description these two methods see, for example, [19]): first the problem is discretized and the subsequent optimization problem is then solved using software packages with large scale nonlinear continuous optimization solvers. In this work all the simulations were made with the Applied Modelling Programming Language (AMPL), developed by [7], and interfaced to the Interior-Point optimization solver IPOPT, developed by [21]. Alternatively, the optimization solver WORHP (see [3]) can also be interfaced with AMPL. We refer the reader to [16] and references within for more information on software for optimal control problems.

    The application of the Maximum Principle to problems in the form of (P) (the control appearing linearly in the dynamics and the cost and with box control constraints) yields that the solution is a concatenation of bang-bang arcs and/or singular arcs. That is the case of (Pn) and (P). When the optimal control is bang-bang, sufficient second order optimality conditions (SSC) can be checked numerically; SSC as described in [15] and [19] can be checked with high accuracy using the control package NUDOCCCS. Alternatively they can also be tested with AMPL interfaced with IPOPTS or with WORHP.

    In all the computations we consider the time horizon to be 20 years: thus T=20. The parameters characterizing the population and the disease are in table 1. These parameters do not correspond to any specific population or diseases. In fact, f, a and g are equal to those in [17], while c is adapted from the corresponding values in [17]. As for b and d, these are closely related to birth rates and death rate in European countries. The disease parameters correspond to a devastating disease as one can see either by calculating the reproduction number, which is higher than 1 (see [10]) or by solving the classical SEIR system ((1)-(6)) with u(t)=0. In the next section, and when convenient, we use different parameters but this will be clearly stated. The values of the initial conditions follow those in [17]: for classical SEIR models they are presented at table 2 together with the parameters A and B of the objective functional. The initial conditions for the normalized problem (Pn) are presented at table 3.

    Table 1. Parameters for SEIR models.
    Parameter Description Value
    b Natural birth rate 0.01
    d Death rate 0.0099
    c Incidence coefficient 1.1
    f Exposed to infectious rate 0.5
    g Recovery rate 0.1
    a Disease induced death rate 0.2
    T Number of years 20
     | Show Table
    DownLoad: CSV
    Table 2. Initial Conditions and cost parameters for problems with classical SEIR model.
    Parameter Description Value
    A weight parameter 1
    B weight parameter 2
    S0 Initial susceptible population 1000
    E0 Initial exposed population 100
    I0 Initial infected population 50
    R0 Initial recovered population 15
    N0 Initial population 1165
     | Show Table
    DownLoad: CSV
    Table 3. Initial Conditions and cost parameters for problems with classical SEIR model normalized model.
    Parameter Description Value
    s0 Percentage of initial susceptible population 0.858
    e0 Percentage of initial exposed population 0.086
    i0 Percentage of initial infected population 0.043
     | Show Table
    DownLoad: CSV

    4. Comparison (P) with (Pn)

    The problem (P) is sensitive to the dimension of the population. For example, the solution changes when we merely perturb the dead rate parameter, d, or when the initial values S0, E0, I0 and R0 are multiplied by a given positive constant. The first situation is illustrated in the left graph of Figure 2, where the optimal control for a problem (P) with d=0.0099 is shown together with the optimal control for a problems with d=0.0005; although the profile of the optimal control is the same, the switching times do change. Sensitivity of (P) to different initial values is illustrated in the right graph of Figure 2. For a smaller population the optimal control is of the bang-singular-bang type whereas, for a larger population it is bang-bang. In both cases, the percentages of susceptible, exposed and infected initial individuals is the same. Clearly, the cost is in the core of sensitivity of (P) with respect to the size of the initial population and also with respect to different death rates.

    Figure 2. Optimal control for (P): parameters in tables 1 and 2. Left: Optimal control different dead rates: in red for d=0.0099 and in blue for d=0.0005. Right: Optimal control with different initial values. In red for S0, E0, I0 and R0 as in the table 2 in blue for initial conditions S0×100, E0×100, I0×100 and R0×100.

    Although the two problem (P) and (Pn) are different, we can get (Pn) to produce approximately the same solutions of (P) as mentioned above. To do so, we need to choose the parameter ρ in Jn to be ρ=A×πB, where A and B are the weights of I(t) and u(t) and π is an average of the total population during T. An example is shown in 3. Observe that if the total population remains almost constant, we can choose π=N0.

    Figure 3. Optimal control for (Pn) with ρ=500 in blue. Optimal control calculated for (P) in blue. The parameters are described in tables 1, 3, and 2.

    Clearly, the reason why (P) and the (Pn), with parameters associated to (P), differ resides on the cost. As mentioned before, the cost of Jn, introduced in section 2 as an adaptation of JC, requires a fresh approach. Indeed, (Pn) demands that the "financial" cost be expressed in terms of percentages and not numbers of individuals.

    When considering problem (Pn), we are mainly concerned on how the total population is distributed into compartments. Because of the nature of the percentages we use, both the total number of the population as well as the dead rate are simply not there. The problem (Pn) may be useful to simulate the same disease acting on different sized populations but with similar birth rates. Observe also, that if needed, when solving (Pn) numerically we can keep track of the changes of the total the population by adding the differential equation ˙N(t)=(bd)N(t)ai(t)N(t) to our code. This does not cause any change on the optimal control since the solution does not depend on N. While (Pn) has the advantage of covering different populations in one go, it does not always subsumes or replaces (P). For example, the situation when one seeks vaccination policies when the total number of vaccines available are bounded (as in [17]) is tailored for the classical model (P). Mixed constraints like those introduced in [1], i.e., of the form

    u(t)S(t)V0, (14)

    can be mathematically translated to normalized models but they loose their meaning. However, this drawback may be overcome by considering u(t)[0,ˉu], for a suitable contant ˉu<1. This technique was also used in [16], for (P), as numerical simulations shows that the results obtained by using this strategy are similar to the solutions obtained by using the restriction described in (14).


    5. Solution of (Pn)

    We now focus on the Maximum Principle for the problem (Pn). The Hamiltonian given by

    H(x,p,u)=pf(x)+pg(x)uλ(ρi+u),

    for appropriated f and g, x=(s,e,i) and where p(t)=(ps(t),pe(t),pi(t))R3 denotes the adjoint variable. Let (x,u)W1,×L be an optimal solution to (Pn). Then the maximum principle [5] asserts the existence of a scalar λ0 and an absolutely continuous function p such that the following conditions are satisfied almost everywhere:

    (ⅰ) max{|p(t)|:t[0,T]}+λ>0 (nontriviality condition)

    (ⅱ) ˙p(t)=Hx[t]=p(t),fx[t]+gx[t]u(t)λ(0,0,ρ) (adjoint condition),

    (ⅲ) H(x(t),p(t),u(t))=maxu{H(x(t),p(t),u(t)):0uˉu} (maximization of the Hamiltonian),

    (ⅳ) p(T)=0 (transversality condition).

    Since (Pn) does not have final time constraints on the states, it is well known that the above conditions hold with λ=1. Set ϕ(t)=Hu[t]=p(t),g[t]1. This is called the switching function and it is of help to deduce a characterization of the optimal control u from (ⅰ)-(ⅳ) which we proceed to do next.

    It is a simple matter to see that condition (ⅲ) is equivalent to

    ϕ(t)u(t)=maxu{ϕ(t)u(t):0uˉu}. (15)

    It follows that u is bang-bang in an interval I[0,T], if the switching function ϕ has a finite number of isolated zeros at which the control switches between 0 and ˉu. If ϕ is zero on an interval, then u is singular, i.e.,

    u(t)={ˉu, if ϕ(t)>0,0, if ϕ(t)<0,singular, if ϕ(t)=0. (16)

    In terms of the data of (Pn) the adjoint condition (ⅱ) reads

    ˙ps(t)=(ai(t)ci(t)bu(t))ps(t)+ci(t)pe(t), (17)
    ˙pe(t)=(ai(t)bf)pe(t)+fpi(t), (18)
    ˙pi(t)=(as(t)cs(t))ps(t)+(cs(t)+ae(t))pe(t)+(2ai(t)abg)pi(t)ρ. (19)

    Also, we have

    ϕ(t)=1ps(t)s(t). (20)

    Since our computations show that a singular arc appear, let us assume that ϕ(t)=0 for t in an interval I[0,T] and check if we can obtain formulas for the singular controls. We work in the region1

    1Since the initial condition belong to the interior of R and ˉu]0,1], this statement is easily verified numerically.

    R:={(s,e,i)R3: s0, e0, i0}

    and so we deduce that

    ϕ(t)=0 implies that ps(t)=1s(t)<0.

    In the interior of the singular interval we have dϕdt=0 and d2ϕdt=0. Now

    dϕdt=cs(t)i(t)pe(t)bps(t)=0

    implies that that pe=bcs2(t)i(t)0. Since

    d2ϕdt=aci(t)2pe(t)s(t)aci(t)pe(t)s(t)bci(t)pe(t)s(t)+cfe(t)pe(t)s(t)cgi(t)pe(t)s(t)c2i(t)2pe(t)s(t)ci(t)pe(t)s(t)u(t)+2bci(t)pe(t)+cfi(t)pe(t)s(t)cfi(t)s(t)pi(t)+abi(t)ps(t)bci(t)ps(t)b2ps(t)bps(t)u(t), (21)

    depends on the control variable u, we say that the singular control (if it exists) is of order one. Moreover, since ps(t)0 and pe(t)0, we have

    ddu(d2ϕdt)=ci(t)pe(t)s(t)bps(t)>0.

    Thus the strict Generalized Legendre-Clebsch Condition (GLC) holds and we can solve d2ϕdt=0 with respect to the control variable to get

    using(x,p)=c(c+a)s(t)i(t)2pe(t)ci(t)pe(t)s(t)+bps(t)+cefs(t)pe(t)b2ps(t)ci(t)pe(t)s(t)+bps(t)+((((ab+fg)s(t)+2b)pe(t)fs(t)pi(t)bps(t))c+abps(t))i(t)ci(t)pe(t)s(t)+bps(t) (22)

    It is important to observe that the above expression for singular controls depends on the multipliers. Since we do not establish that the multipliers are unique, we can only expect to use (22) to validate numerical findings but not to prove to optimality. In fact, to prove optimality of computed solution we need to check numerically sufficient conditions. Unfortunately, there are no numerically verifiable sufficient conditions for problems with singular arcs.


    6. Numerical solutions for (Pn)

    We now present and discuss the results of our simulations for (Pn). Recall that we use the data in table 1 and 3. We treat three different cases:

    Case 1: ˉu=1 and ρ=500,

    Case 2: ˉu=1 and ρ=10,

    Case 3: ˉu=0.2 and ρ=500.

    In the first two cases the computed optimal control exhibits a bang-singular-bang structure while in the last one the optimal control is bang-bang. For all the three cases we present graphs with the computed controls and trajectories. As in [16] and to keep the exposition short, we do not present the graphs of the multipliers but we give their computed initial values, and we also present the final states, the costs and the switching times

    Case 1. Taking ˉu to be 1 depicts the situation when all the susceptible population can be vaccinated. The results of the simulations are shown in figures 4 and 5. In Fig. 4 we show that the numeric optimal control and switching function, ϕ, satisfy (16) while the computed singular control (22) coincides with the computed optimal control u. The optimal trajectories are presented in Fig. 5.

    Figure 4. Case 1: Computed optimal control u plotted together with the singular control computed according to (22) and with the switching function ϕ. During the first five years ϕ(t)>1 and during the last eight years ϕ(t)<0.
    Figure 5. Case 1: optimal trajectories (including r).

    Numerical results for Case 1: J=327.15,t1=6.4,t2=12.07,

    s(T)=0.095341,e(T)=0.00051104,i(T)=0.0020380,ps(0)=126.5,pe(0)=2253,pi(0)=3219.

    Case 2. The results of the simulations are shown in figures 6 and 7. In figure 6 the optimal control, u, and the switching function, ϕ, are presented. As expected, u=1 and u=0 when, respectively, ϕ(t)>0 and ϕ<0. The optimal trajectories for the state are presented in figure 7.

    Figure 6. Case 2: Computed optimal control u plotted together with the scaled switching function ϕ. During the last seventeen years ϕ(t)<0.
    Figure 7. Case 2: optimal trajectories.

    Numerical results for case 2: J=10.181,t1=2.71,

    s(T)=0.16598,e(T)=0.0033060,i(T)=0.0079433,ps(0)=377.0,pe(0)=5137,pi(0)=7081.

    When we go from case 1 to case 2, the optimal control goes from singular to bang-bang. This is because when we decrease the value of ρ, the weight of the control in the cost increases.

    Case 3. While keeping ρ=500, we now consider that only 20% of the susceptible people are eligible to be vaccinated, i.e., ˉu=0.2. Results of the simulations are illustrated in figures 8 and 9. In Fig. 8 the optimal vaccinate rate, u, and the switching function, ϕ, are presented. As expected, u(t)=ˉu=0.2 and u=0 when, respectively, ϕ>0 and ϕ<0. The trajectories for the state are presented in Fig. 9. The profile of the optimal control is bang-bang. The control becomes equal to zero at instant t1=16.67.

    Figure 8. Case 3: Computed optimal control u plotted together with the scaled switching function ϕ. During the first sixteen years ϕ(t)>0 and during the last three years ϕ(t)<0.
    Figure 9. Case 3: Optimal trajectories.

    Numerical results for case 3: J=806.12,t1=16.67,

    s(T)=0.071623,e(T)=0.0031999,i(T)=0.015275,ps(0)=1025,pe(0)=4692,pi(0)=6872.

    6.1. Approximation for optimal control

    If the control is bang-bang as in case 2 and 3 second order sufficient conditions may be checked numerically as described in [15] and [16]. Here we refrain from engaging in such discussion to keep the exposition short. Here we compute numerically the switching times using the so called induced optimization problem as in [15]. Recall that the switching times are the points ts1 at which the optimal control changes from one bound to another.

    Implementing the induced optimization problem with AMPL for case 2, with ρ=10 and ˉu=1 and denoting by ts1 and Js the computed switching time and cost, we get ts1=t1=2.71 and Js=10.183 which in contrast with J=10.181 is a good approximation.

    For case 3, with ρ=500 and ˉu=0.2, we have ts1=16.63<t1=1667 while we get get a match for the cost Js=J=806.12.

    We now turn to case 1 where the computed control u is of the form of Bang-Singular-Bang. As discussed in [16], singular controls may be hard to implemented in practice. To remedy this, [16] proposes to approximate the singular control by a constant value ˜u. Here we do as in [16] to calculate the switching times defining the singular interval ts1 and ts2, the value 0˜u1 and the corresponing cost for case 1 where ρ=500 and ˉu=1. Using the arc parametrization method described in [15], now implemented in AMPL code, we obtain ts1=7, ts2=11.5, ˜u=0.55 with cost Js=326.12 a value very close to the previous J=327.15. Figure 10 a comparison between u and uapr is shown.

    Figure 10. Optimal vaccinated rate, u, in red. Approximate control uapr, in blue dash. ρ=500 and u[0,1].

    7. Conclusion

    We studied the optimal control of an epidemiological normalized SEIR model using a L1-type objectives. We extracted information about the optimal solution from the Maximum Principle. In particular, we determined a closed form for the singular controls. Numerical NP solvers were applied to the discretized problem enabling us to compute optimal control solutions that match the necessary conditions, in particular, the switching conditions and forms for the singular controls.

    Moreover, we confronted this problem with the one previously studied in [16] where the so called classical SEIR model is used. The normalized model may cover in one single problem populations of different size and it is defined with what may be seen as a more realistic cost. Because of the use of normalized model, the solution of (Pn) is dictated by the distribution of the population into the three different compartments and the disease characteristics. On the other hand, the normalized model has the disadvantage of not allowing the analysis of certain real situations that cannot be translated by percentages, such as when there is a limited stock of vaccine at a non-constant population. Our discussion of these two problems highlights their differences and the need for a criterion choice of cost, a challenging and relevant subject in optimal control for biomathematics problems.


    8. Acknowledgments

    The authors would like to thank Prof. Helmut Maurer for numerous and enlightening discussions on this topic as well as his help in writing up AMPL codes for the problems reported here. Thanks are due to the anonymous referees whose many comments and suggestions greatly improved this paper.

    The financial support of FEDER funds through COMPETE and Portuguese funds through the Portuguese Foundation for Science and Technology (FCT), within the FCT project PTDC/EEI-AUT/1450/2012—FCOMP-01-0124-FEDER-028894, PTDC/EEI-AUT/2933/2014, TOCCATTA -funded by FEDER funds through COMPETE2020 -POCI and FCT as well as POCI-01-0145-FEDER-006933 -SYSTEC -funded by FEDER funds through COMPETE2020 – Programa Operacional Competitividade e Internacionalização (POCI) – and by national funds through FCT -Fundação para a Ciência e a Tecnologia, are gratefully acknowledged.




    [1] E. Kovács, Á. Nagy, M. Saleh, A set of new stable, explicit, second order schemes for the non-stationary heat conduction equation, Mathematics, 9 (2021), 2284. https://doi.org/10.3390/math9182284 doi: 10.3390/math9182284
    [2] E. Kovács, A class of new stable, explicit methods to solve the non‐stationary heat equation, Numer Methods Partial Differ Equ, 37 (2021), 2469–2489. https://doi.org/10.1002/num.22730 doi: 10.1002/num.22730
    [3] E. Kovács, Á. Nagy, M. Saleh, A new stable, explicit, third‐order method for diffusion‐type problems, Adv Theory Simul, 5 (2022), 2100600. https://doi.org/10.1002/adts.202100600 doi: 10.1002/adts.202100600
    [4] S. Savović, B. Drljača, A. Djordjevich, A comparative study of two different finite difference methods for solving advection–diffusion reaction equation for modeling exponential traveling wave in heat and mass transfer processes, Ricerche di Matematica, 71 (2022), 245–252. https://doi.org/10.1007/s11587-021-00665-2 doi: 10.1007/s11587-021-00665-2
    [5] S. Conde, I. Fekete, J. N. Shadid, Embedded error estimation and adaptive step-size control for optimal explicit strong stability preserving Runge--Kutta methods, [Preprint], (2018)[cited 2023 Mar 29 ]. Available from: https://doi.org/10.48550/arXiv.1806.08693.
    [6] L. F. Shampine, Error estimation and control for ODEs, J Sci Comput, 25 (2005), 3–16. https://doi.org/10.1007/bf02728979 doi: 10.1007/s10915-004-4629-3
    [7] L. F. Shampine, H. A. Watts, Comparing error estimators for Runge-Kutta methods, 25 (1971), 445–455.
    [8] R. H. Merson, An operational methods for study of integration processes, Weapon Research Establishment Conference on Data Processing, 1 (1957), 110–125.
    [9] L. F. Shampine, Local extrapolation in the solution of ordinary differential equations, Math Comput, 27 (1973), 91. https://doi.org/10.2307/2005249 doi: 10.1090/S0025-5718-1973-0331803-1
    [10] J. C. Butcher, P. B. Johnston, Estimating local truncation errors for Runge-Kutta methods, J Comput Appl Math, 45 (1993), 203–212. https://doi.org/10.1016/0377-0427(93)90275-G doi: 10.1016/0377-0427(93)90275-G
    [11] J. H. Verner, Explicit Runge–Kutta methods with estimates of the local truncation error, SIAM J Numer Anal, 15 (1978), 772–790. https://doi.org/10.1137/0715051 doi: 10.1137/0715051
    [12] R. England, Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations, Comput J, 12 (1969), 166–170. https://doi.org/10.1093/comjnl/12.2.166 doi: 10.1093/comjnl/12.2.166
    [13] A. S. Chai, Error estimate of a fourth-order Runge-Kutta method with only one initial derivative evaluation, Proceedings of the April 30–May 2, 1968, spring joint computer conference, 1968,467. https://doi.org/10.1145/1468075.1468144 doi: 10.1145/1468075.1468144
    [14] R. E. Scraton, Estimation of the truncation error in Runge-Kutta and allied processes, Comput J, 7 (1964), 246–248. https://doi.org/10.1093/comjnl/7.3.246 doi: 10.1093/comjnl/7.3.246
    [15] W. H. Press, S. A. Teukolsky, W. T. Vetterling, B. P. Flannery, Numerical Recipes The Art of Scientific Computing, Cambridge: Cambridge University Press, 2007.
    [16] K. Gustafsson, M. Lundh, G. Söderlind, API stepsize control for the numerical solution of ordinary differential equations, BIT, 28 (1988), 270–287. doi: 10.1007/BF01934091
    [17] K. Gustafsson, Control theoretic techniques for stepsize selection in explicit Runge-Kutta methods, ACM Trans Math Softw, 17 (1991), 533–554. doi: 10.1145/210232.210242
    [18] G. Söderlind, Automatic control and adaptive time-stepping, Numer Algorithms, 31 (2002), 281–310. doi: 10.1023/A:1021160023092
    [19] G. Söderlind, Digital filters in adaptive time-stepping, ACM Trans Math Softw, 29 (2003), 1–26. doi: 10.1145/641876.641877
    [20] G. Söderlind, L. Wang, Adaptive time-stepping and computational stability, J Comput Appl Math, 185 (2006), 225–243. https://doi.org/10.1016/j.cam.2005.03.008 doi: 10.1016/j.cam.2005.03.008
    [21] T. Ritschel, Numerical Methods For Solution of Differential Equations, (Denmark), Doctoral Thesis of Technical University of Denmark, Lyngby, 2013.
    [22] E. Hairer, S. P. Nørsett, G. Wanner, Solving Ordinary Differential Equations I, Berlin: Springer, 1993. https://doi.org/10.1007/978-3-540-78862-1
    [23] I. Fekete, S. Conde, J. N. Shadid, Embedded pairs for optimal explicit strong stability preserving Runge–Kutta methods, J Comput Appl Math, 412 (2022), 114325. https://doi.org/10.1016/j.cam.2022.114325 doi: 10.1016/j.cam.2022.114325
    [24] David F. Griffiths and Desmond J. Higham, Numerical methods for ordinary differential equations: initial value problems, London: Springer, 2010.
    [25] W. H. Press, S. A. Teukolsky, W. T. Vetterling, B. P. Flannery, Numerical recipes in C : the art of scientific computing, Cambridge: Cambridge University Press, 1992.
    [26] Á. Nagy, J. Majár, E. Kovács, Consistency and convergence properties of 20 recent and old numerical schemes for the diffusion equation, Algorithms, 15 (2022), 425. https://doi.org/10.3390/a15110425. doi: 10.3390/a15110425
    [27] J. Feldman, A. Rechnitzer, E. Yeager, D.3: Variable Step Size Methods, In: CLP-2 Integral Calculus, (2021), 91843. Available from: https://math.libretexts.org/@go/page/91843.pdf.
    [28] S. Essongue, Y. Ledoux, A. Ballu, Speeding up mesoscale thermal simulations of powder bed additive manufacturing thanks to the forward Euler time-integration scheme: A critical assessment, Finite Elem Anal Des, 211 (2022), 103825. https://doi.org/10.1016/j.finel.2022.103825 doi: 10.1016/j.finel.2022.103825
  • This article has been cited by:

    1. Asaf Khan, Gul Zaman, Optimal control strategy of SEIR endemic model with continuous age-structure in the exposed and infectious classes, 2018, 39, 01432087, 1716, 10.1002/oca.2437
    2. Hamadjam Abboubakar, Jean Claude Kamgang, Leontine Nkague Nkamba, Daniel Tieudjo, Bifurcation thresholds and optimal control in transmission dynamics of arboviral diseases, 2018, 76, 0303-6812, 379, 10.1007/s00285-017-1146-1
    3. Urszula Ledzewicz, Mahya Aghaee, Heinz Schattler, 2016, Optimal control for a SIR epidemiological model with time-varying populations, 978-1-5090-0755-4, 1268, 10.1109/CCA.2016.7587981
    4. Maria do Rosário de Pinho, Filipa Nunes Nogueira, Costs analysis for the application of optimal control to SEIR normalized models, 2018, 51, 24058963, 122, 10.1016/j.ifacol.2018.11.656
    5. Maria do Rosário de Pinho, Helmut Maurer, Hasnaa Zidani, Optimal control of normalized SIMR models with vaccination and treatment, 2018, 23, 1553-524X, 79, 10.3934/dcdsb.2018006
    6. Y.M. Rangkuti, A. Landong, Control optimal analysis of SEIR model of covid 19 spread in Indonesia, 2022, 2193, 1742-6588, 012091, 10.1088/1742-6596/2193/1/012091
    7. Hassan Tahir, Asaf Khan, Anwarud Din, Amir Khan, Gul Zaman, Optimal control strategy for an age-structured SIR endemic model, 2021, 14, 1937-1179, 2535, 10.3934/dcdss.2021054
    8. Asaf Khan, Gul Zaman, Optimal control strategies for an age‐structured SEIR epidemic model, 2022, 45, 0170-4214, 8701, 10.1002/mma.7823
    9. Saroj K Biswas, Nasir U Ahmed, Mathematical modeling and optimal intervention of COVID‐19 outbreak, 2021, 9, 2095-4689, 84, 10.15302/J-QB-020-0229
    10. Haojie Hou, Youguo Wang, Qiqing Zhai, Xianli Sun, Synergistic control of negative information diffusion in improved semi-randomized epidemic networks, 2024, 0924-090X, 10.1007/s11071-024-10817-2
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2542) PDF downloads(95) Cited by(1)

Article outline

Figures and Tables

Figures(9)  /  Tables(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog