Processing math: 53%
Research article

Regularized kernel matrix decomposition for thermal video multi-object detection and tracking

  • This paper derives a novel algorithm for joint detection and tracking of multiple moving objects in thermal videos. The problem of determining multiple objects in a frame sequence is formulated as the task of factorizing a properly defined kernel covariance matrix into sparse factors. The support of these factors will point to the indices of the pixels that form each object. A coordinate descent approach is utilized to determine the sparse factors, and extract the object pixels. A centroid pixel is estimated for each object which is subsequently tracked via Kalman filtering. A novel interplay between the sparse kernel covariance factorization scheme along with Kalman filtering is proposed to enable joint object detection and tracking, while a divide and conquer strategy is put forth to reduce computational complexity and enable efficient tracking. Extensive numerical tests on both synthetic data and thermal video sequences demonstrate the effectiveness of the novel approach and superior tracking performance compared to existing alternatives.

    Citation: Ioannis D. Schizas, Vasileios Maroulas, Guohua Ren. Regularized kernel matrix decomposition for thermal video multi-object detection and tracking[J]. Big Data and Information Analytics, 2018, 3(2): 1-23. doi: 10.3934/bdia.2018004

    Related Papers:

    [1] Mattia Fortina, Aurelio Vittoria, Stefano Giannotti, Pasquale Biandolino, Gabriele Cevenini, Serafino Carta . Short time effects of a low-frequency, high intensity magnetic field in the treatment of chronic neck and low back pain. AIMS Public Health, 2022, 9(2): 307-315. doi: 10.3934/publichealth.2022021
    [2] Saleem Qureshi, Musarrat Iqbal, Azra Rafiq, Hamna Ahmed, Tooba Malik, Muhammad Nasir Kalam, Muhammad Abdullah, Qirtas Tauheed, Muhammad Daoud Butt . Dietary habits and physical activity patterns in relation to nutritional status among school-aged children in Pakistan: A cross-sectional study. AIMS Public Health, 2023, 10(3): 553-567. doi: 10.3934/publichealth.2023039
    [3] Antonija Hrkać, Roberta Perković, Branko Krišto, Livia Puljak . Prevalence of spinal pain in a population of Bosnia and Herzegovina. AIMS Public Health, 2022, 9(4): 790-804. doi: 10.3934/publichealth.2022053
    [4] Eftychia Ferentinou, Ioannis Koutelekos, Evangelos Dousis, Eleni Evangelou, Despoina Pappa, Maria Theodoratou, Chrysoula Dafogianni . The relationship between childhood sleep, emotional intelligence and Body Mass Index in school aged children. AIMS Public Health, 2025, 12(1): 77-90. doi: 10.3934/publichealth.2025006
    [5] Christian E. Vazquez, Catherine Cubbin . Associations between breastfeeding duration and overweight/obese among children aged 5–10: a focus on racial/ethnic disparities in California. AIMS Public Health, 2019, 6(4): 355-369. doi: 10.3934/publichealth.2019.4.355
    [6] Tyler C. Smith MS PhD, Besa Smith MPH PhD . Understanding the Early Signs of Chronic Disease by Investigating the Overlap of Mental Health Needs and Adolescent Obesity. AIMS Public Health, 2015, 2(3): 487-500. doi: 10.3934/publichealth.2015.3.487
    [7] Simone K. Malik, Jerome Kouame, Mory Gbane, Madikiny Coulibaly, Michèle D. Ake, Odile Ake . Prevalence of abdominal obesity and its correlates among adults in a peri-urban population of West Africa. AIMS Public Health, 2019, 6(3): 334-344. doi: 10.3934/publichealth.2019.3.334
    [8] Maria Pia Riccio, Gennaro Catone, Rosamaria Siracusano, Luisa Occhiati, Pia Bernardo, Emilia Sarnataro, Giuseppina Corrado, Carmela Bravaccio . Vitamin D deficiency is not related to eating habits in children with Autistic Spectrum Disorder. AIMS Public Health, 2020, 7(4): 792-803. doi: 10.3934/publichealth.2020061
    [9] Yuki Sato, Reiko Suzuki, Michiko Shigihara, Chieko Suzuki . The effect of guardians' health literacy on the child's spending time at home: A cross-sectional study among Japanese schoolchildren. AIMS Public Health, 2023, 10(1): 52-62. doi: 10.3934/publichealth.2023005
    [10] Amna Salam Al-Wandi, Sarra Ibrahim Shorbagi . Sleep patterns and its relation to lifestyle habits: a study of secondary high school students in Sharjah, United Arab Emirates. AIMS Public Health, 2020, 7(3): 713-722. doi: 10.3934/publichealth.2020055
  • This paper derives a novel algorithm for joint detection and tracking of multiple moving objects in thermal videos. The problem of determining multiple objects in a frame sequence is formulated as the task of factorizing a properly defined kernel covariance matrix into sparse factors. The support of these factors will point to the indices of the pixels that form each object. A coordinate descent approach is utilized to determine the sparse factors, and extract the object pixels. A centroid pixel is estimated for each object which is subsequently tracked via Kalman filtering. A novel interplay between the sparse kernel covariance factorization scheme along with Kalman filtering is proposed to enable joint object detection and tracking, while a divide and conquer strategy is put forth to reduce computational complexity and enable efficient tracking. Extensive numerical tests on both synthetic data and thermal video sequences demonstrate the effectiveness of the novel approach and superior tracking performance compared to existing alternatives.


    Antimalarial drugs are crucial for controlling and eliminating malaria worldwide. However, the emergence of resistance in malaria parasites has significantly reduced their effectiveness, posing a critical challenge to global malaria control efforts [1]. Resistance often arises from genetic mutations in Plasmodium falciparum, enabling the parasite to withstand specific treatments. The spread and impact of these mutations on malaria endemicity have been extensively documented [1,2,3,4,5,6]. These developments raise concerns about the continued efficacy of key interventions, such as intermittent preventive treatment in pregnancy with sulfadoxine-pyrimethamine and seasonal malaria chemoprevention (SMC), particularly in affected regions. Consequently, it is essential to explore strategies to minimize the prevalence of resistance and reduce malaria-related mortality. One promising approach endorsed by the World Health Organization (WHO) is the mass drug administration (MDA) [7].

    MDA involves administering antimalarial drugs to all individuals in a defined geographic area, regardless of the presence of symptoms or infection [7]. When implemented effectively, MDA can eliminate both drug-resistant and drug-sensitive parasites, providing the long-term benefit of prolonging the therapeutic efficacy of first-line treatments across entire populations, not just within the targeted region [8]. Given these advantages, incorporating MDA into models of malaria transmission dynamics is essential for understanding its role in controlling drug resistance and optimizing intervention strategies.

    Malaria's pathogenesis involves multiple interacting factors, and significant research on malaria's transmission dynamics in the presence of drug resistance has been carried out over the past few decades. These studies include models with and without the MDA strategy, as well as models that incorporate genetic mutations in both the mosquito and human populations (e.g., [3,9,10,11]). In [9], an epidemiological model for the spread of antimalarial resistance, excluding mutations, was developed, considering the treated and untreated statuses of individuals. In [11], a mathematical model for malaria was formulated with treatment and three levels of resistance in humans, where the results showed the limited benefits of treatments in a population with resistant strains, especially in high-transmission areas. The prevalence of mutations related to antimalarial resistance in Plasmodium falciparum was studied using a Bayesian malaria model in [3]. A simple compartmental malaria model including MDA was developed in [10] to compute the probability of extinction. The model analytically calculated the expected time to extinction in small populations following MDA for various scenarios.

    While some human malaria infections initially progress through an asymptomatic phase before developing into symptomatic or clinical cases, others remain paucisymptomatic throughout the entire duration of the infection, meaning they never advance to symptomatic or clinical stages, (e.g., [12,13]). Despite their mild symptoms, paucisymptomatic infections contribute to malaria transmission similarly to asymptomatic cases. Due to the overlap between malaria symptoms and those of other diseases, paucisymptomatic individuals often fail to realize they are infected. As a result, the parasites can persist in their bodies for extended periods, facilitating the spread of the disease [12,13]. However, the aforementioned studies do not incorporate the paucisymptomatic characteristic as addressed in the current work. In addition, we examine the combined effects of antimalarial drugs and the implementation of MDA within the host population for effective malaria control. Using a compartmental modeling approach, we assess the impact of resistance-associated mutations on malaria dynamics; we optimize control strategies, including MDA and the treatment proportions for individuals in asymptomatic, paucisymptomatic, and clinical states; and, finally, we investigate how the proportion of paucisymptomatic individuals affects the control strategies.

    We begin by considering a model without optimal control that accounts for both the treated and untreated states among infected and recovered individuals. This approach is motivated by the challenges in accessing treatment in certain endemic regions. An in-depth asymptotic analysis of the model's steady states is performed using various threshold parameters, including the basic reproduction number, T0. Key findings include the local stability of the disease-free equilibrium and conditions under which the malaria model exhibits bistability through a backward bifurcation. Our findings suggest that increasing the proportion of infected individuals receiving treatment and the coverage of MDA significantly reduces the spread of resistance and malaria-related mortality. Additionally, a global sensitivity analysis is conducted to identify the key parameters influencing the prevalence of resistance and mortality. Four critical factors are identified: (ⅰ) The proportion of individuals covered by MDA, reflecting the strategy's acceptability in endemic areas; (ⅱ) the proportion of asymptomatic individuals receiving antimalarial treatment, highlighting access to treatment for this group; (ⅲ) the proportion of clinical cases receiving treatment; and (ⅳ) the initial prevalence of resistance and the mutation rate.

    Next, we extend the model to include optimal control, where the MDA rate and the proportions of infectious individuals receiving treatment serve as time-dependent control strategies. We analyze the impact of these control measures on the transmission dynamics of malaria associated with resistance mutations. Pontryagin's maximum principle [14] is applied to characterize the optimal control strategies. Numerical simulations of the optimal control problem reinforce the findings of the global sensitivity analysis.

    The remainder of the manuscript is organized as follows: Section 2 presents the model's description and associated parameters. In Section 3, we establish some fundamental properties of the model, including the existence of a globally defined semiflow, the asymptotic stability of the model's stationary states, and an analysis of the backward bifurcation. Baseline model simulations and sensitivity analysis results are detailed in Section 4. Section 5 introduces the optimal control problem, including the derivation of the necessary optimality conditions and numerical simulations of the control strategies. The overall findings of the manuscript are discussed in Section 6. Finally, Section 7 provides the detailed proofs of the manuscript's main results.

    We examine the interconnected dynamics of humans and mosquitoes in malaria transmission. We use the variable k{r,s} to denote the type of infection, where r represents a resistant infection and s represents a sensitive infection. Furthermore, the variable {U,T} indicates the treatment status of the human host, with U representing an untreated infection and T representing a treated infection. The human population is classified into five states, namely susceptible (Sh), asymptomatic infected (Ak,h), paucisymptomatic infected (Pk,h), clinical cases (Ik,h), and recovered (Rk,h), while the mosquito population is divided into susceptible (Sm) and infectious mosquitoes (Ikm). The disease is transmitted from infectious mosquitoes to humans at time t through the force of infection, denoted as

    λkm(t)=βkmNh(t)Ikm(t),k{s,r},

    where βkm represents the transmission probability, and Nh denotes the total human population, given by

    Nh(t)=Sh(t)+k{r,s}{T,U}(Ak,h(t)+Pk,h(t)+Ik,h(t)+Rk,h(t)).

    The force of infections from infected humans, either with sensitive infection (λsh) or with resistant infection (λrh), to mosquitoes is given by

    λsh(t)=βshNh(t)[As,Uh(t)+Ps,Uh(t)+Is,Uh(t)+εr(Ar,Th(t)+Pr,Th(t)+Ir,Th(t))]+βshNh(t)[(1εs)(As,Th(t)+Ps,Th(t)+Is,Th(t))],λrh(t)=βrhNh(t)[Ar,Uh(t)+Pr,Uh(t)+Ir,Uh(t)+εs(As,Th+Ps,Th(t)+Is,Th(t))]+βrhNh(t)[(1εr)(Ar,Th(t)+Pr,Th(t)+Ir,Th(t))].

    Here, εr represents the probability of mutation from treated resistant human infections to treated sensitive human infections, while εs represents the probability of mutation from treated sensitive human infections to treated resistant human infections.

    The model we shall consider then reads

    {˙Sh=ΛhμhSh(λsm+λrm)Sh+ρhk{r,s}{U,T}Rk,h,˙Ak,Th=μhAk,Th+(1p)ϕ(t)λkmShνhAk,Thg(t)Ak,Th,k{s,r},˙Ak,Uh=μhAk,Uh+(1p)(1ϕ(t))λkmShνhAk,Uhg(t)Ak,Uh,k{s,r},˙Pk,Th=μhPk,Th+pϕ(t)λkmShg(t)Pk,Th,k{s,r},˙Pk,Uh=μhPk,Uh+p(1ϕ(t))λkmShg(t)Pk,Uh,k{s,r},˙Ik,Th=μhIk,Th+θ(t)νhAk,Th+θ(t)νhAk,Uhγk,ThIk,Thδk,ThIk,Th,k{s,r},˙Ik,Uh=μhIk,Uh+(1θ(t))νhAk,Th+(1θ(t))νhAk,Uhγk,UhIk,Uhδk,UhIk,Uh,k{s,r},˙Rk,h=(μh+ρh)Rk,h+γk,hIk,h+g(t)Ak,h+g(t)Pk,h,k{s,r}, {U,T}, (2.1)

    and

    {˙Sm=ΛmμmSm(λsh+λrh)Sm,˙Ikm=λkhSmδkmIkm,k{s,r}. (2.2)

    The dynamic of the total number of disease-induced deaths is defined by

    ˙Dh=k{s,r},{T,U}δk,hIk,h.

    In System (2.1), the variable ϕ(t) denotes the rate of exposure of asymptomatic infections to antimalarial treatment without a curative intention at time t, whereas θ(t) represents the rate of exposure of clinical cases to antimalarial treatment with a curative intention. In addition, g(t) describes the implementation of MDA efforts. Note that

    g(t)=qmda(t)Dmda,

    where qmda(t) denotes the proportion of the target population participating in MDA, and Dmda represents the delay required for an individual to be considered no longer a carrier after taking MDA treatment. Systems (2.1) and (2.2) will be considered under the following natural assumptions:

    νh0;ρh0;g0;p,θ,ϕ(0,1);Λk0(for k=h,m);δkm0;δk,h0;γk,h0;(for k=s,r; and =T,U).

    The model is shown in Figure 1, and the remaining parameters of Models (2.1) and (2.2) are summarized in Tables 1 and 2.

    Figure 1.  The model flow diagram.
    Table 1.  Variable parameters, their biological meaning, and value.
    Parameters Description (unit) Value [Ref]
    ϕ Rate of exposure of asymptomatic and paucisymptomatic infections to antimalarial treatment without a curative intention (0;1)
    θ Rate of exposure of clinical cases to antimalarial treatment with a curative intention (0;1)
    qmda Proportion of humans under MDA (0;1)
    εs Probability of mutation from treated sensitive human infections to treated resistant human infections 101103(assumed)
    ˉγh Ratio of the recovered rate (0;1)
    ˉδh Ratio of the additional mortality rate of humans due to disease (0;1)
    ˉε Ratio of the mutation rate (0;1)
    ˉβm Ratio of the infection rate of human by infectious mosquitoes (0;1)
    ˉδm Ratio of the mortality rate of infectious mosquitoes (0;1)
    InitPrevR Initial prevalence of drug resistance within the host population {101,103} (assumed)
    εr Probability of mutation from treated resistant human infections to treated sensitive human infections (day1) ˉεεs
    δr,Th Additional death rate of treated infectious humans to resistant infection (day1) ˉδhδs,Uh
    βrm Resistant infection rate of human by infectious mosquitoes (day1 bites1) ˉβmβsm
    δrm Mortality rate of mosquitoes with resistant infection (day1) ˉδmδsm
    γr,Th Recovery rate of treated humans to resistant infection (day1) ˉγhγs,Th

     | Show Table
    DownLoad: CSV
    Table 2.  Fixed parameters, their biological meaning and value.
    Parameters Description (unit) Value [Ref]
    T0,0 Basic reproduction number for ϕ=0,θ=0,andg=0 5 (assumed)
    γs,Th Recovery rate of treated humans to sensitive infection (day1) 0.0035 [15]
    γs,Uh Recovery rate of untreated humans to sensitive infection (day1) 0 (assumed)
    γr,Uh Recovery rate of untreated humans to resistant infection (day1) 0 (assumed)
    βsh Sensitive infection rate of mosquitoes by infected humans (day1 bites1) βh defined by (4.1)
    βrh Resistant infection rate of mosquitoes by infected humans (day1 bites1) βh defined by (4.1)
    βsm Sensitive infection rate of humans by infectious mosquitoes (day1 bites1) 0.022 [15]
    δs,Th Additional death rate of treated infectious humans from sensitive infection (day1) 0 (assumed)
    δs,Uh Additional death rate of untreated infectious humans from sensitive infection (day1) 1/5 [15]
    δr,Uh Additional death rate of untreated infectious humans from resistant infection (day1) 9×105 [15]
    Λh Recruitment rate of susceptible humans (day1 humans) 102 (assumed)
    μh Natural mortality rate of humans (day1) 0.00224 (assumed)
    μm Natural mortality rate of mosquitoes (day1) 1/20 (assumed)
    Λm Recruitment rate of susceptible mosquitoes (day1 mosquitoes) 100 (assumed)
    δsm Mortality rate of mosquitoes with sensitive infection (day1) 0.033 [15]
    ρh Loss of immunity rate of recovered humans (day1) 5.5×104[15]
    νh The rate at which asymptomatic humans become infectious (day1) 0.1 [15]
    p The proportion of paucisymptomatic infections (day1) 0.7 (assumed)
    Dmda Delay to being no longer a carrier after MDA (days) 1 [16]
    ch Balancing coefficients in the objective function ($ per person) 1 (assumed)
    bh Balancing coefficients in the objective function ($ per person) 1 (assumed)
    Tf End time of controls (year) 10 (assumed)
    Cost of control
    cϕ Cost of ϕ ($ per person) 10 [17,18,19]
    cθ Cost of θ ($ per person) 320 [17,18,19]
    cg Cost of MDA ($ per person) 320 [17,18,19]

     | Show Table
    DownLoad: CSV

    Newborn humans and mosquitoes appear with the flux Λh and Λm, respectively. Susceptible humans (Sh) become infected with a force of infection denoted by λsm for sensitive infections and λrm for resistant infections. Similarly, susceptible mosquitoes (Sm) become infected with a force of infection denoted by λsh for sensitive infections and λrh for resistant infections. A fraction p of infected individuals will never develop clinical symptoms and will enter the group of paucisymptomatic infections (Ph). The rest will initially progress through an asymptomatic phase (Ah) before developing into symptomatic or clinical cases (Ih). Paucisymptomatic and asymptomatic infections are treated with antimalarial drugs without a curative intention at a rate ϕ, leading to the partitioning of compartments Ph and Ah into untreated (U) and treated (T) sub compartments. Similarly, symptomatic infections are treated with a curative intention at a rate θ, resulting in the partitioning of the symptomatic compartment into untreated (U) and treated (T) sub compartments. The implementation of MDA efforts is represented by g. Ah infections progress to Ih infections at a rate νh, while Ih infections recover at a rate γh. Recovered individuals lose their temporary immunity at a rate ρh. The death rates are either natural μk (for k=h,m) or due to infections for humans δh. Infectious mosquitoes die at a rate δkm (for k=s,r). The Notation is shown in Tables 1 and 2.

    The aim of this section is to provide some preliminary remarks to Systems (2.1) and (2.2). Let us introduce the following vector notations:

    Ah=(As,Th,Ar,Th,As,Uh,Ar,Uh),Ph=(Ps,Th,Pr,Th,Ps,Uh,Pr,Uh),Ih=(Is,Th,Ir,Th,Is,Uh,Ir,Uh),Rh=(Rs,Th,Rr,Th,Rs,Uh,Rr,Uh),Im=(Ism,Irm),

    as well as the matrices βh=diag(βkh)k{s,r}, βm=diag(βkm)k{s,r}, γh=diag(γk,h)k{s,r},{T,U}, δh=diag(δk,h)k{s,r},{T,U}, δm=diag(δkm)k{s,r},

    Θ=(θ00θ1θ001θ),Φ=(ϕ00ϕ1ϕ001ϕ),e=(10100101),andε=(1εsεr10εs1εr01).

    Then Models (2.1) and (2.2) are rewritten as

    {˙Sh=ΛhμhSh12λmSh+ρh14Rh,˙Ah=(1p)Φ(t)λmSh(νh+μh+g(t))Ah,˙Ph=μhPh+pΦ(t)λmShg(t)Ph,˙Ih=μhIh+Θ(t)eνhAhγhIhδhIh,˙Rh=γhIh+g(t)Ah+g(t)Ph(μh+ρh)Rh,˙Sm=ΛmμmSm12λhSm,˙Im=λhSmδmIm, (3.1)

    with 12=(1,1), 14=(1,1,1,1), and

    λh=λh(Sh,Ah,Ph,Ih,Rh)=βhNhε(Ah+Ph+Ih),λm=λm(Sh,Ah,Ph,Ih,Rh,Im)=1NhβmIm.

    Let us introduce the matrix B=diag(μh,(μh+g(t)+νh)Id,(μh+g(t))Id,(μh+γh+δh)Id,(μh+ρh)Id,μm,δm), where Id is the identity matrix, as well as the nonlinear map

    M[t](Sh,Ah,Ph,Ih,Rh,Sm,Im)=(Λh12λmSh+ρh14Rh(1p)Φ(t)λmShpΦ(t)λmShΘ(t)eνhAhg(t)(Ah+Ph)+γhIhΛm12λhSmλhSm).

    By identifying v together with (Sh,Ah,Ph,Ih,Rh,Sm,Im) and by setting v0=(Sh(0),Ah(0),Ph(0),Ih(0),Rh(0),Sm(0),Im(0)), Systems (2.1) and (2.2) are rewritten as the following Cauchy problem:

    {dv(t)dt=Bv(t)+M[t](v(t)),v(0)=v0. (3.2)

    The existence and uniqueness of the bounded solutions of (3.2) reads as follows:

    Theorem 3.1. Let v0R20+. Assume that θ, ϕ, and g are constant functions. Then the following hold.

    (1) A unique global solution V(,v0):[0,)R20 exists such that V(t,v0)=v(t) and V(0,v0)=v0. Furthermore,

    V(t,v0)=eBtv0+t0eB(tη)M(v(η))dη.

    (2) The semiflow defined by {V(t,v0)}t is bounded, dissipative, and asymptotically smooth, and hence it admits a global attractor in R20+.

    We recall the following definition.

    Bounded dissipative : A bounded set ΩR20 exists such that for any bounded set UR20, τ=τ(U,Ω)0 exists such that V(t,U)Ω for tτ.

    Asymptotically smooth : For any nonempty, closed, bounded set UR20, a nonempty compact set J=J(U) exists such that J attracts {φU:V(t,φ)U,t0}.

    Furthermore, we also recall that a nonempty set JR20 is said to attract a nonempty set UR20 if δ(V(t,U),J))0 as t+, where δ(U,J)=supuUinfvJuv.

    Note that the term "asymptotically smooth" is used here following the terminology of Hale, LaSalle, and Slemrod [20]. However, this is strictly equivalent to the notion of asymptotically compact as defined by Ladyzhenskaya [21]. Finally, refer to Section 7.1 for the detailed proof of Theorem 3.1.

    To determine the threshold of System (3.2), which govern the invasion dynamics of the disease in a host population that is completely free of infections, we linearize (3.2) around the disease-free equilibrium (DFE) E0. Specifically, the DFE is written as

    E0=(S0h,0R4,0R4,0R4,0R4,S0m,0R2),S0h=Λhμh,S0m=Λmμm,

    and we linearize the infective compartments of (3.2) at the disease-free equilibrium E0 to obtain the following system:

    dw(t)dt=ˆBw(t)+ˆMw(t),

    where w(t)=(Ah(t),Ph(t),Ih(t),Im(t)), and

    ˆB=((μh+νh+g)Id04×404×404×204×4(μh+g)Id04×404×2Θeνh04×4(μhId+γh+δh)04×202×402×402×4δm),ˆM=(04×404×404×4(1p)Φβm04×404×404×4pΦβm04×404×404×404×2βhεS0mS0hβhεS0mS0hβhεS0mS0h02×2).

    Lemma 3.2. Assume that θ, ϕ, and g are constant functions. The following then hold.

    (1) The square matrix ˆM is positive, i.e., ˆM is not the zero matrix, and all entries of ˆM are non-negative.

    (2) The spectral bound s(ˆB), i.e., s(ˆB)=sup{(λ):λσ(ˆB)}, satisfies s(ˆB)<0.

    The proof of Lemma 3.2 is straightforward and thus the details are omitted.

    We now define

    T0:=r(ˆM(ˆB)1),

    where r(ˆM(ˆB)1) represents the spectral radius of the square matrix ˆM(ˆB)1.

    The subsequent lemma provides a connection between the sign of T01 and the growth bound of the C0-semigroup generated by (ˆB+ˆM).

    Lemma 3.3. Assume that θ, ϕ, and g are constant functions. In this case

    sgn(s(ˆB+ˆM))=sgn(T01).

    Furthermore, we have

    T0=S0mS0hr(ThTm).

    Here, the 2×2 matrices Th and Tm describe the infectiousness of humans and mosquitoes, respectively, and are defined by

    Th=βhε{((νh+μh+g)1Id(1p)+(g+μh)1Idp+(μhId+γh+δh)1Θeνh((νh+μh+g)1Id(1p)}Φ,Tm=βmδ1m=diag(βsmδs1m,βrmδr1m). (3.3)

    Through a straightforward computation, an explicit formula of T0 is given by

    T20=(Ts0+Tr0)+(Ts0Tr0)2+4Qsr2, (3.4)

    where

    Ts0=S0mS0hβsmδsmβshKsh,Tr0=S0mS0hβrmδrmβrhKrh,
    Ksh=(1εs)((1p)θνh(νh+μh+g)(μh+γs,Th+δs,Th)+(1p)ϕ1(νh+μh+g)+pϕ1(g+μh))lifespan of s-infections exposed to antimalarial drugs+(1p)(1θ)νh(νh+μh+g)(μh+γs,Uh+δs,Uh)+(1p)(1ϕ)1(νh+μh+g)+p(1ϕ)1(g+μh)lifespan of s-infections unexposed to antimalarial drugs,
    Krh=(1εr)((1p)θνh(νh+μh+g)(μh+γr,Th+δr,Th)+(1p)ϕ1(νh+μh+g)+pϕ1(g+μh))lifespan of r-infections exposed to antimalarial drugs+(1p)(1θ)νh(νh+μh+g)(μh+γr,Uh+δr,Uh)+(1p)(1ϕ)1(νh+μh+g)+p(1ϕ)1(g+μh)lifespan of r-infections unexposed to antimalarial drugs,

    and

    Qsr=εrβrhβrmδrm(S0mS0h)(θ(1p)νh(μh+γr,Th+δr,Th)(νh+μh+g)+(1p)ϕ1(νh+μh+g)+pϕ1g+μh){average rate of new s-infection from resistant infections due to mutation}×εsβshβsmδsm(S0mS0h)(θ(1p)νh(μh+γs,Th+δs,Th)(νh+μh+g)+(1p)ϕ1(νh+μh+g)+pϕ1g+μh){average rate of new r-infection from sensitive infections due to mutation}.

    Furthermore, employing the next-generation matrix approach introduced in Lemma 6.12 of [22], we can determine that T0 represents the basic reproduction number of the entire system, while Ts0 and Tr0 denote the basic reproduction numbers induced only by s- and r-infections, respectively. Consequently, by Lemma 3.3 and the results on the asymptotic stability of equilibria for the vector fields given in Theorem 3.16 of [22], we find that the DFE E0 is locally asymptotically stable if and only if T0<1.

    The proof of Lemma 3.3 is appended in Section 7.2.

    Remark 1. Parameters Ksh and Krh can be interpreted as lifespans of s- and r-infections, respectively. For instance, Ksh is rewritten as

    Ksh=(1εs)(1p)θνh(νh+μh+g)Ds,T+(1εs)(1p)ϕDA+(1εs)pϕDP+(1p)(1θ)νh(νh+μh+g)Ds,U+(1p)(1ϕ)DA+p(1ϕ)DP,

    where DP=(μh+g)1, DA=(μh+νh+g)1, Ds,=(μh+γs,h+δs,h)1, and =T,U are the lifespans of paucisymptomatic, asymptomatic, and clinical infections, respectively. From this, since (1εs)(1p)θνh(νh+μh+g), (1εs)(1p)ϕ, and (1εs)pϕ represent the proportions of s-clinical, s-asymptomatic, and s-paucisymptomatic infections exposed to antimalarial drugs, respectively, we can easily interpret the term

    (1εs)(1p)θνh(νh+μh+g)Ds,T+(1εs)(1p)ϕDA+(1εs)pϕDP,

    as the lifespan of s-infections exposed to antimalarial drugs. By the same way, the term

    (1p)(1θ)νh(νh+μh+g)Ds,U+(1p)(1ϕ)DA+p(1ϕ)DP,

    represents the lifespan of s-infections unexposed to antimalarial drugs. Consequently, Ksh is then the lifespan of the overall s-infections.

    A similar interpretation applies to Krh. As for Qsr, it can be understood as the product of the average rate of new s-infections arising from resistant infections and the average rate of new r-infections emerging from sensitive infections due to mutations.

    Assume that θ, ϕ, and g are constant functions. Let

    Eh=(Sh,Ah,Ph,Ih,Rh,Sm,Im)R20+,

    be an endemic equilibrium of System (3.1), and

    λsh=βshNh[As,Uh+Ps,Uh+Is,Uh+εr(Ar,Th+Pr,Th+Ir,Th)+(1εs)(As,Th+Ps,Th+Is,Th)],λrh=βrhNh[Ar,Uh+Pr,Uh+Ir,Uh+(1εr)(Ar,Th+Pr,Th+Ir,Th)+εs(As,Th+Ps,Th+Is,Th)].

    The next theorem provides the necessary conditions on which we have the existence of a unique endemic equilibrium and the demonstration of a backward bifurcation. We examine the occurrence of a bifurcation of the endemic equilibrium in Model (3.1) at T0=1. We find that an endemic equilibrium of (3.1) exists if and only if a positive constant κ exists such that

    L(T20,κ)=1,

    where L is defined by

    L(T20,κ)=ΛmS0hS0mT20(μh+χ1κ)(1+χ2κ)(Λhμm+(χ2+Λhμmωs+χ3)κ),

    where χ1=ωr(1as)+ωs(1ar), χ2=ωr(bs+as)+ωs(br+ar), and χ3=ωs(cs+ds)+ωr(cr+dr), with ω=(ωs,ωr) being the principal eigenvector of the matrix TmTh, and with ω=1; aj, bj, cj, and dj, s are positive constants given later.

    Next, we introduce the following bifurcation constant:

    K=Λhμmχ1(2χ2+Λhμmωs+χ3)μh.

    We then obtain the following result on the existence and bifurcation of the endemic equilibrium.

    Theorem 3.4. Assume that θ, ϕ, and g are constant functions. We then have the following.

    (1) If K>0, then a backward bifurcation occurs at T0=1, meaning that for T0 values slightly less than 1, two endemic equilibria exist for Model (3.1).

    (2) If K<0, then a forward bifurcation occurs at T0=1, meaning that for T0 values slightly greater than 1, a unique endemic equilibrium exists, while for T0 values slightly less than 1, no endemic equilibrium exists.

    (3) If T0>1, then at least one endemic equilibrium exists for (3.1). Moreover, if K>0, then when T0=1, an endemic equilibrium also exists.

    (4) Assume that the map κL(T20,κ) is strictly decreasing on R+. Thus, an endemic equilibrium exists if and only if T0>1; in this case, the equilibrium is unique.

    We refer to Section 7.3 for the proof of Theorem 3.4.

    For the illustrative dynamics in this section, we assume that θ, ϕ, and g are constant functions.

    The parameter values used in the model are summarized in Tables 1 and 2. In general, we assume that the parameters for sensitive infections are well-established for both humans and vectors. To estimate parameters for resistant infections, we introduce variable scaling parameters. For example, the mutation probability εs for transitions from sensitive to resistant infections is a known value. The mutation probability εr for transitions from resistant to sensitive infections is then estimated as εr=ˉεεs, where ˉε(0,1) is a scaling parameter that represents the ratio of the mutation rates. This approach ensures a consistent framework for parameter estimation across sensitive and resistant infections.

    The transmission rate βh, which represents the rate of transmission from infected humans to mosquitoes and is assumed to be identical for both sensitive and resistant infections, is determined using the basic reproduction number T0 as given by (3.4). Specifically, βh is calibrated on the basis of the value of T0,0 under the baseline scenario where ϕ=0, θ=0, and g=0. This ensures that the transmission dynamics align with the expected epidemiological behavior under the given conditions. More precisely, we have

    βh=T20,0S0hS0mmax{Cs0,Cr0}, (4.1)

    with

    Cs0=βsmδsm((1p)νh(νh+μh)(μh+γs,Uh+δs,Uh)+(1p)1(νh+μh)+p1μh),Cr0=βrmδrm((1p)νh(νh+μh)(μh+γr,Uh+δr,Uh)+(1p)1(νh+μh)+p1μh).

    The initial conditions are specified using parameters such as the initial prevalence of drug resistance (InitPrevR) within the host population. We assume an initial infection prevalence of Prev=50% with PrevI=10% of these infections being clinical cases. In addition, we suppose that a proportion (p=0.7) of infected humans will develop paucisymptomatic infections. The initial susceptible human population, asymptomatic infected, paucisymptomatic infected, and infectious case are, respectively, given by Sh(0)=(1Prev)S0h; Ah(0)=(1p)S0h(1PrevI)Prev(1InitPrevR,InitPrevR,0,0); Ph(0)=pS0hPrev(1InitPrevR,InitPrevR,0,0); Ih(0)=(1p)S0hPrevPrevI(1InitPrevR,InitPrevR,0,0); and Rh(0)=(0,0,0,0). For mosquitoes, we assume that Sm(0)=0.9S0m and Im(0)=0.1S0m(1InitPrevR,InitPrevR).

    Model (3.1) is employed to characterize the malaria infection burden within the human host population and to capture the dynamics of resistant clinical cases.

    When the probability of mutation from treated sensitive human infections to treated resistant human infections (εs) is relatively low (Figure 2), the exposure rate ϕ of asymptomatic and paucisymptomatic infections to antimalarial treatment has a marginal impact on both mortality and the number of resistant clinical cases (Figure 2, Column 1 vs. Column 2 vs. Column 3). However, while increasing the antimalarial treatment rate θ for clinical cases has a relatively marginal effect on the cumulative number of deaths due to infection when qmda is moderate (Figure 2AC), such an increase significantly reduces infection-related mortality when qmda is relatively high (Figure 2DI). Likewise, increasing the proportion of humans covered under MDA has a pronounced effect in reducing both mortality and resistant clinical cases, with a particularly strong impact on the latter (Figure 2). Importantly, increasing the treatment rate for clinical cases is associated with a rise in the number of resistant clinical cases (Figure 2AF), except in the scenario where the proportion qmda is sufficiently strong (Figure 2GI). These contrasting behaviors highlight the beneficial effect of combining antimalarial treatment and MDA to simultaneously reduce infection-related mortality and the number of resistant clinical cases.

    Figure 2.  Dynamics of the model when the mutation rate εs=0.001. Parameter values are the defaults in Tables 1 and 2.

    The configuration above remains similar under high mutation rates (εs) (Figure 3). However, a high mutation rate εs leads to a higher number of deaths within the host population (Figure 3) compared with the case of a moderate mutation rate (Figure 2). Furthermore, high values of εs accelerate the emergence of antimalarial resistance within the host population (Figure 3AF) compared with scenarios with low mutation rates (Figure 2AF). Although extensive use of MDA helps reduce both deaths and resistant cases, the reduction in resistant cases occurs more slowly under high mutation rates (Figure 3GI) than in the case of low mutation rates (Figure 2GI).

    Figure 3.  Dynamics of the model when the mutation rate εs=0.1. Parameter values are the defaults in Tables 1 and 2.

    Finally, for Figures 2DI and 3DI, one may observe a peak in resistant clinical cases at the initial time t=0. This peak is due to our chosen initial data. However, in Figure 3GI, we observe an increase in resistant clinical cases during the first year before they start to decline. This initial increase can be explained by the high mutation rate εs. Indeed, although the proportion of humans covered under MDA (qmda) is sufficiently high, the strong mutation capability initially leads to an increase in the number of resistant clinical cases before they begin to decline (Figure 3GI). In contrast, this pattern is not observed when the mutation rate is low (Figure 2GI).

    We analyze the sensitivity of cumulative deaths and resistant cases (including paucisymptomatic, asymptomatic, and clinical cases) to five key parameters: the initial prevalence of drug resistance within the host population (InitPrevR), the probability of mutation from treated sensitive human infections to treated resistant human infections (εs), the rate of exposure of asymptomatic and paucisymptomatic infections to antimalarial treatment without a curative intention (ϕ), the rate of exposure of clinical cases to antimalarial treatment with a curative intention (θ), and the proportion of humans covered under MDA (qmda). The variation range for these parameters is specified in Table 1. Sensitivity indices are calculated by fitting an analysis of variance (ANOVA) linear model, including up to third-order interactions, to simulation-generated data. This ANOVA model demonstrates a high level of accuracy, explaining more than 99% of the variance.

    Overall, the sensitivity analysis identifies qmda as the primary parameter influencing both the number of deaths and the prevalence of resistant cases (Figure A1). It accounts for 89% of the variance in the number of deaths (Figure A1, left) and 53% in the prevalence of resistant cases (Figure A1, right). When interactions with other parameters are included, these indices increase to 94% and 83%, respectively. The second most influential parameter is θ, which explains 5% of the variance in the number of deaths (rising to 10% when accounting for interactions with other parameters) and 14% of the variance in the prevalence of resistance (rising to 44% with interactions). The parameters InitPrevR and εs have a comparable and modest impact, each contributing 0.2%–0.4% to the variance in both outcomes. Finally, ϕ has a negligible effect on both the number of deaths and the prevalence of resistance, explaining less than 0.09% of the variance, even when accounting for interactions.

    Although previous analyses were performed under the assumption of constant parameter values for the rate of exposure of asymptomatic and paucisymptomatic infections to antimalarial treatment without curative intent (ϕ), the rate of exposure of clinical cases to antimalarial treatment with curative intent (θ), and the proportion of humans covered under MDA (g). This section considers these parameters as time-dependent functions and assigns reasonable upper and lower bounds to account for potential temporal variations.

    The control scheme (θ,ϕ,g) lies on the set

    Ω={(θ,ϕ,g)(L(0,Tf))3:0θ1;0ϕ1;0ggmax},

    with gmax being a positive constant.

    Although our objective is not to provide a detailed analysis of the controlled system, i.e., System (3.1) where the control scheme (θ,ϕ,g) is considered as a time-dependent function, we present the following well-posedness result.

    Theorem 5.1. Assume that the time-dependent functions θ, ϕ, and g are continuous. Then the controlled system, that is, the System (3.1), where the control scheme (θ(t),ϕ(t),g(t)) is considered as a time-dependent function, generating a unique, globally defined, positive, and bounded non autonomous semiflow.

    The proof of this result relies on a standard methodology (e.g., [23,24]).

    We assume that a successful control scheme is one that effectively reduces both the total number of deaths and the total number of resistant cases. Consequently, the control scheme is considered optimal if it minimizes the following objective functional:

    J(θ,ϕ,g)=Tf0(chDh(t)+bh{T,U}(Ar,h(t)+Pr,h(t)+Ir,h(t))+cθ2θ2(t)+cϕ2ϕ2(t)+cg2g2(t))dt. (5.1)

    Here, bh and ch are balancing coefficients that transform the integral into the cost expended over a finite period of Tf years (see Table 2). The first integral, weighted by bh and ch, captures the economic losses associated with deaths and resistant infections, respectively. The second integral represents the costs of implementing the three control measures, with quadratic terms for the controls included to account for the nonlinear costs.

    We find that (θ,ϕ,g) satisfies

    J(θ,ϕ,g)=min(θ,ϕ,g)ΩJ(θ,ϕ,g). (5.2)

    To address the necessary optimality conditions, we follow the framework provided by [25,26,27]. Given a solution v=(Sh,Ah,Ph,Ih,Rh,Sm,Im) of System (3.1), where the control scheme (θ(t),ϕ(t),g(t)) is considered as a time-dependent function, we define the corresponding adjoint functions as ϑ=(ϑSh,ϑAh,ϑPh,ϑIh,ϑRh,ϑSm,ϑIm,ϑDh). Theorem 5.1 gives the existence and boundedness of the solutions of System (3.1) with time-dependent control functions. According to the results in [25,27], the set of controls Ω is nonempty, convex, and closed. Moreover, the right-hand side of System (3.1) is continuous and can be expressed as a linear function of the controls θ, ϕ, and g, with coefficients that depend on both time and the state variables.

    If we choose a1R+, a2=min{cθ2,cϕ2,cg2}, and α=2, the integrant h(v,θ,ϕ,g)(t) of J verifies

    h(v,θ,ϕ,g)(t)=chDh(t)+bh{T,U}(Ar,h(t)+Pr,h(t)+Ir,h(t))+cθ2θ2+cϕ2ϕ2+cg2g2cθ2θ2+cϕ2ϕ2+cg2g2a1+min{cθ2,cϕ2,cg2}(θ2+ϕ2+g2).

    Therefore, the existence of the optimal control is given by the following result.

    Theorem 5.2. Assume that the time-dependent functions θ, ϕ, and g are continuous. Let v=(Sh,Ah,Ph,Ih,Rh,Sm,Im) be the solution of System (3.1) where the control scheme (θ,ϕ,g) is considered as a time-dependent function. Here, (θ,ϕ,g)Ω exists such that

    min(θ,ϕ,g)ΩJ(θ,ϕ,g)=J(θ,ϕ,g).

    The existence of such a control is well-established using standard techniques, as detailed in [25,27].

    Pontryagin's maximum principle [14] allows us to reformulate the problem (5.2) to the problem of minimizing the Hamiltonian defined as follows:

    H=chDh+bh{T,U}(Ar,h+Pr,h+Ir,h)+cθ2θ2+cϕ2ϕ2+cg2g2+zZϑzfz,

    where Z={Sh,Ah,Ph,Ih,Rh,Dh,Sm,Im}, (ϑz)zZ are adjoint functions and fz is given by the right-hand side of Models (2.1) and (2.2) for the z-compartment.

    The necessary conditions for the existence of the solution to the problem (5.2) are

    ˙ϑz=zH,for zZ, (5.3)

    and

    Hw=0,for w{θ,ϕ,g}. (5.4)

    From (5.3), we find that the adjoint system (ϑk)zZ verifies:

    {˙ϑSh=(μh+12λm(1ShNh))ϑSh(1ShNh)(1p)(Φλm)tϑAh(1ShNh)p(Φλm)tϑPh12λhSmNhϑSm+SmNhλh,ϑIm,˙ϑAh=bShNh(12λm)1t4ϑSh+(μh+νh+g(t))ϑAh+ShNh(1p)(14(Φλm)tϑAh)t+ShNhp(14(Φλm)tϑPh)t(Θeνh)tϑIhg(t)ϑRh+SmNh((12βhε)t(12λh)1t4)ϑSmSmNh((βhε)tϑImλh,ϑIm1t4),˙ϑPh=bShNh(12λm)1t4ϑSh+(μh+g(t))ϑPh+ShNhp(14(Φλm)tϑPh)t+ShNh(1p)(14(Φλm)tϑAh)tg(t)ϑRh+SmNh((12βhε)t(12λh)1t4)ϑSmSmNh((βhε)tϑImλh,ϑIm1t4),˙ϑIh=bShNh(12λm)1t4ϑSh+ShNh(1p)(14(Φλm)tϑAh)t+ShNhp(14(Φλm)tϑPh)tγhϑRh+(μhId+γh+δh)ϑIh+δh1t4ϑDh+SmNh((12βhε)t(12λh)1t4)ϑSmSmNh((βhε)tϑImλh,ϑIm1t4),˙ϑRh=ShNh(12λm)1t4ϑSh+ShNh(1p)(14(Φλm)tϑAh)t+ShNhp(14(Φλm)tϑPh)tρh1t4ϑSh+(μh+ρh)ϑRh+SmNh((12λh)1t4ϑSmλh,ϑIm1t4),˙ϑDh=ch, (5.5)

    and

    {˙ϑSm=(μm+12λh)ϑSmλh,ϑIm,˙ϑIm=δmϑIm+ShNh(12βm)tϑShShNh(Φβm)t((1p)ϑAh+pϑPh), (5.6)

    with b=(0,bh,0,bh). Systems (5.5) and (5.6) are associated with the boundary conditions or transversality conditions, ϑz(Tf)=0, for all zZ.

    Furthermore, by (5.4), we have:

    Hθ=cθθνhkAk,Th(ϑk,TIhϑk,UIh)νhkAk,Uh(ϑk,TIhϑk,UIh)=0,Hϕ=cϕϕk(1p)λkmShϑk,UAhkpλkmShϑPhPk,U+k(1p)λkmShϑk,TAh+kpλkmShϑk,TPh=0,Hg=cggbh((Ar,Th+Ar,Uh)+(Pr,Th+Pr,Uh))k,(Ak,h)t(ϑk,Ahϑk,Rh)k,(Pk,h)t(ϑk,Phϑk,Rh)=0. (5.7)

    Therefore, if (θ,ϕ,g)Ω is a solution of (5.2), then by (5.7), it is characterized by:

    θ=max{0,min{1;νhk(Ak,Th+Ak,Uh)(ϑk,TIhϑk,UIh)cθ}},ϕ=max{0,min{1;Shkλkm[(1p)(ϑk,UAhϑk,TAh)+p(ϑk,UPhϑk,TPh)]cϕ}},g=max{0,min{gmax;bh((Ar,Th+Ar,Uh)+(Pr,Th+Pr,Uh))+k,[(Ak,h)t(ϑk,Ahϑk,Rh)+(Pk,h)t(ϑk,Phϑk,Rh)]cg}}. (5.8)

    The state system (3.1), the adjoint systems (5.5) and (5.6), and the control characterization system (5.8) together form the optimality system that must be solved numerically. These systems operate as a feedback system in the following sense.

    (1) State system input: A given controller serves as the input for the state system.

    (2) Adjoint system input: The controller, along with the output of the state system, becomes the input for the adjoint system.

    (3) Control update: The outputs of the state and adjoint systems are then used to update the controller via the control characterization system.

    (4) Loop closure: The updated controller is fed back as the input for the state system, forming a "closed loop" system.

    Since the state equations are governed by the initial conditions and the adjoint equations rely on the final-time conditions, the optimality system cannot be solved straightforwardly by sweeping forward in time alone. Instead, an iterative approach known as the forward - backward sweep method is applied (see [26]). This method alternates between solving the state equations forward in time and the adjoint equations backward in time, iteratively updating the control until convergence is achieved.

    Figure 4 demonstrates the impact of an optimal intervention strategy on the number of deaths and clinical cases. The optimal control strategy strongly discourages the exposure of asymptomatic and paucisymptomatic infections to antimalarial treatment without curative intent (Figure 4A). This aligns with the findings of the global sensitivity analysis, which indicates that this parameter has a minimal impact on both mortality and the prevalence of resistant strains. Antimalarial treatment with curative intention is employed at relatively high levels during the initial years, followed by a gradual reduction toward the end of the control period. In contrast, the use of MDA is strongly recommended at a consistently high rate throughout the control period (Figure 4A). Furthermore, the reduction in antimalarial treatment is effectively offset by the increased use of MDA within the host population. This approach is likely driven by the assumption that the costs of both control strategies are equivalent in this scenario. The optimal intervention strategies markedly diminish the severity of the projected outbreaks, reducing both the total number of deaths (Figure 4B) and the prevalence of clinical cases (Figure 4C).

    Figure 4.  Effect of intervention strategies on the model's dynamics. (A) The implementation of intervention strategies \phi , \theta , and q_{\rm{mda}} as functions of time t . (B) The total number of deaths over time. (C) The total number of clinical cases over time. Here, \varepsilon_s = 10^{-3} and the control costs are c_\phi = 10$ , c_\theta = 20$ , and c_g = 20$ . Parameter values are the defaults in Table 2.

    Antimalarial treatments and mass drug administration (MDA) are key strategies to alleviate the burden of malaria. However, the rise of parasite resistance to antimalarial drugs presents a significant challenge to effective malaria control and treatment. To assess the impact of combining antimalarial treatments and MDA for effective disease control, the human population is categorized into five distinct states: susceptible, asymptomatic infected (individuals with very mild or no symptoms who may later develop symptomatic infections), paucisymptomatic infected (individuals with very mild or no symptoms who do not progress to symptomatic infections), clinical cases, and recovered individuals. An infected human, whether symptomatic, paucisymptomatic, or asymptomatic, can be treated with antimalarial drugs either with curative intent or without. Meanwhile, the mosquito population is divided into two states: susceptible and infectious mosquitoes.

    We use optimal control theory [26] to characterize an optimal strategy that significantly reduces the number of deaths and resistant clinical cases. Our formulation assumes a quadratic cost for the control effort. Overall, for a relatively low mutation rate from treated sensitive human infections to treated resistant human infections ( \varepsilon_s = 10^{-3} ), the optimal strategy strongly limits antimalarial treatments for asymptomatic and paucisymptomatic infections without curative intent. Curative treatments are applied heavily in the initial years, then taper off while MDA is consistently maintained at high levels throughout the control period (Figure 4).

    In the scenario of a relatively high mutation rate ( \varepsilon_s = 10^{-1} ) (see Figure 5), the configuration closely resembles that of a low mutation rate (Figure 4). However, a higher mutation rate leads to a reduced deployment of antimalarial drugs, which is compensated by an increased reliance on MDA within the host population for effective control (Figures 4A and 5A). Intuitively, when the mutation rate is relatively low, the optimal strategy combines the use of both antimalarial treatment with curative intent and MDA, with a gradual decrease in antimalarial use over time, ensuring sustainable malaria control. In contrast, at higher mutation rates, the strategy prioritizes broader deployment of MDA while significantly reducing reliance on antimalarial drugs to minimize the risk of resistance developing. Figure 6 assesses the impact of control costs on the model's dynamics. For a high cost of curative treatment and a low cost of MDA (as shown in Figure 6AC), the control strategies favor higher reliance on MDA and reduced use of antimalarial treatments. This pattern is evident in society, where high treatment costs often prevent individuals from seeking care until they are already ill. As a result, implementing MDA on a large scale is crucial to effectively reduce both deaths and clinical cases over time.

    Figure 5.  Effect of intervention strategies on the model dynamics as in Figure 4 but with \varepsilon_s = 10^{-1} .
    Figure 6.  Effect of the costs of intervention strategies on the model's dynamics.

    In contrast, when the cost of curative treatments is lower than that of MDA (see Figure 6DF), the control strategy advocates for a combination of both approaches: treating clinical cases with curative intent while also implementing a significant level of MDA to more effectively reduce deaths and clinical cases. However, the use of MDA is less extensive in this scenario compared with the previous one (see Figure 6AC), likely due to the higher cost of MDA. It is also clear that the number of deaths and clinical cases is lower when MDA is more affordable (Figure A2). It is essential to note that treating infected individuals without curative intent in both scenarios is strongly discouraged to prevent the emergence of resistance over time.

    Human malaria infections are characterized by the actual presence of parasites within an individual, but with the absence or very mild malaria-related symptoms, this remains a challenge for malaria control programs due to their significant influence on transmission dynamics [12,13]. While some infected individuals never develop clinical symptoms and transit to the group of paucisymptomatic infections, others initially progress through an asymptomatic phase (i.e., without symptoms) before developing into symptomatic or clinical cases. Treating the infectious parasite reservoir in paucisymptomatic and asymptomatic individuals is a critical intervention strategy with a positive impact on reducing the malaria burden (Figures 4 and 5). The proportion of paucisymptomatic infections ( p ) within the host population significantly affects control strategies that combine MDA and antimalarial treatments (Figure 7). Specifically, a low proportion of paucisymptomatic infections results in a greater reliance on MDA for effective control (Figure 7, Row 1). This is because a lower prevalence of paucisymptomatic infections corresponds to a higher proportion of asymptomatic infections that eventually progress to symptomatic cases. Consequently, antimalarial use remains relatively high during the initial years of the control period and continues, albeit at a lower rate, over the duration of the control period (Figure 7A). In contrast, when the proportion of paucisymptomatic infections is moderate (Figure 7, Row 2) or high (Figure 7, Row 3), the deployment of MDA is less intense compared with scenarios with low paucisymptomatic prevalence. Additionally, the use of antimalarials is robust during the initial years of the control period but decreases substantially afterward (Figure 7D, G).

    Figure 7.  Effect of paucisymptomatic infections on the optimal control strategy.

    The proposed model assumes heterogeneity within both the human and mosquito populations. However, this presents a potential limitation, as incorporating factors such as the chronological age of human and mosquito populations and the time since infection can have significant epidemiological implications for malaria control strategies [13,28,29,30]. According to previous studies, e.g., [28,29], an age-structured model formulation within this context may indeed be interesting to investigate in detail but would deserve a dedicated study.

    Another potential limitation of this study is the arbitrary choice of the balancing coefficients in the objective function. Specifically, the value of the balancing cost lacks precise justification, introducing an element of uncertainty into the outcome of the optimal control function. Although we have deliberately chosen its value, we acknowledge that this parameter can significantly influence the resulting optimal control function.

    Note that the linear operator \mathcal{B} is the infinitesimal generator of a strongly continuous semigroup \{e^{\mathcal{B}t}\}_t which preserves \mathbb{R}^{20}_+ . Furthermore, the map \mathcal{M}: \mathbb{R}^{20} \to \mathbb{R}^{20} is locally Lipschitz; therefore, classical results (e.g., [24,31]) shows that for any v_0 \in \mathbb{R}^{20} , we can find a time T = T(v_0) > 0 such that (3.2) has a unique solution v \in C\left([0, T) \right) \cap C^1\left((0, T) \right) such that

    \mathcal{V}(t,v_0): = v(t) = e^{\mathcal{B}t}v_0+ \displaystyle {\int}_0^t e^{\mathcal{B}(t-\eta)} \mathcal{M}(v(\eta)) {{\rm{d}}} \eta, \forall t\in [0,T).

    Moreover, statements below are valid.

    (ⅰ) If T < +\infty , then \lim_{t \to T^-}\| \mathcal{V}(t, v_0) \|_{ \mathbb{R}^{20}} = +\infty .

    (ⅱ) Let t\in (0, T) . If a sequence \{u_n\}_n \subset \mathbb{R}^{20} such that u_n \to v_0 in \mathbb{R}^{20} as n\to \infty , then \mathcal{V}(\eta, u_n) exists for all \eta \in [0, t] , where n is sufficiently large and \sup_{\eta \in [0, t]} \| \mathcal{V}(\eta, u_n)- \mathcal{V}(\eta, v_0)\|_{ \mathbb{R}^{20}} \to 0 , as n \to \infty .

    We are now interested in the positiveness of the solutions. Note that \mathcal{B} is resolvent positive, i.e., for all \zeta , with \zeta > -\omega: = \min \{\mu_h, \mu_m, \delta_m\} > 0 , (\zeta{\rm{I_d}}- \mathcal{B}) is invertible and (\zeta{\rm{I_d}}- \mathcal{B})^{-1} \mathbb{R}^{20}_+ \subset \mathbb{R}^{20}_+ . Moreover, for all \eta > 0 , we can find \zeta_\eta > 0 such that

    \begin{equation} \mathcal{M}(v(t))+ \zeta_\eta v(t) \ge 0_{ \mathbb{R}^{20}}, \quad \forall v \in \mathbb{R}^{20}_+ \cap \overline{B}(0,\eta), \forall t \in [0,T), \end{equation} (7.1)

    with B(0, \eta) being the open ball in \mathbb{R}^{20} centered at 0 with a radius \eta . Therefore, for all v_0 \in \mathbb{R}^{20}_+ , \mathcal{V}(t, v_0) \in \mathbb{R}^{20}_+ for all t\in [0, T) , i.e.,

    \mathcal{V}(t, \mathbb{R}^{20}_+) \subset \mathbb{R}^{20}_+, \quad \forall t\in [0,T).

    The statement above follows from well-known results, e.g., [34, Theorem 5.2.7,p. 226]. Inequality (7.1) should be understood in the following sense. We recall that the mapping \mathcal{M}: \mathbb{R}^{20} \to \mathbb{R}^{20} is such that \mathcal{M} = \left(\mathcal{M}_\ell \right)_{\ell = 1, \cdots, 20} . Thus, (7.1) expresses that, for all, \ell = 1, \cdots, 20 , \mathcal{M}_\ell (v)+ \zeta_\eta v_\ell\ge 0 , where v = (v_\ell)_{\ell = 1, \cdots, 20} \in \mathbb{R}^{20} .

    Next, for v_0 \in \mathbb{R}^{20}_+ , let \mathcal{V}(t, v_0) \in \mathbb{R}^{20}_+ , for all t\in [0, T(v_0)) , be the solution of (3.2). Then

    \begin{align*} \dot N_h(t)\leq&\Lambda_h-\mu_h N_h(t), \quad \dot N_m(t)\leq \Lambda_m - \min(\mu_m,\delta_m^*) N_m(t),\quad \mbox{with}\quad \delta_m^* = \min(\delta_m^s,\delta_m^r), \end{align*}

    i.e.,

    \begin{align*} & N_h(t)\leq N_h(0)e^{-\mu_h t} + \dfrac{\Lambda_h}{\mu_h}(1-e^{-\mu_h t}),\\ & N_m(t)\leq N_m(0)e^{-\min(\mu_m,\delta_m^*) t}+\dfrac{\Lambda_m}{\min(\mu_m,\delta_m^*)}(1-e^{-\min(\mu_m,\delta_m^*) t}). \end{align*}

    From the case where \forall t \in [0, T) ,

    \begin{align*} N_h(t) \le \max \left(N_h(0), \dfrac{\Lambda_h}{\mu_h} \right), \quad N_m(t) \le \max \left(N_m(0), \dfrac{\Lambda_h}{\min(\mu_m,\delta_m^*)} \right). \end{align*}

    Consequently

    \sup\limits_{t \in [0,T(v_0))} \| \mathcal{V}(t,v_0)\| < \infty,

    which ends the global well-posedness in \mathbb{R}^{20}_+ .

    It remains to show the bounded dissipativity, that is, a bounded subset \mathcal{Q} \subset \mathbb{R}^{20}_+ exists such that, for each bounded subset Q \subset \mathbb{R}^{20}_+ , t_0 = t_0(Q) > 0 exists such that \mathcal{V}(t, Q) \subset \mathcal{Q} , for all t\ge t_0 . Let v_0 \in \mathbb{R}^{20}_+ , and let \mathcal{V}(t, v_0) = (S(t), A_h(t), P_h(t), I_h(t), R_h(t), S_m(t), I_m(t)) be the corresponding semiflow. Setting

    \mathcal{Q} = \left\{\begin{array}{ll}(S_h,A_h,P_h,I_h,R_h,S_m,I_m) \in \mathbb{R}^{20}_+: &\\S_h+ S_m +\|A_h\|+\|P_h\|+\|I_h\|+\|R_h\|+\|I_m\| \leq \dfrac{\Lambda_h}{\mu_h}+ \dfrac{\Lambda_m}{\min(\mu_m,\delta_m^*)}\end{array}\right\},

    we easily find the bounded dissipativity of the semiflow.

    To end with the proof of Theorem 3.1, it remains to show that the semiflow \{\mathcal{V}(t, \cdot)\}_t is asymptotically smooth, i.e., for any closed, bounded, and positively invariant set Q \subset \mathbb{R}^{20}_+ , a compact set K \subset \mathbb{R}^{20}_+ exists such that d\left(\mathcal{V}(t, Q), K)\right) \to 0 , as t \to \infty , where d is the Hausdorff semi distance, see e.g., [32]. Note that

    \mathcal{V}(t,v_0) = e^{\mathcal{B}t}v_0+ \displaystyle {\int}_0^t e^{\mathcal{B}(t-\eta)} \mathcal{M} \left( \mathcal{V}(\eta,v_0) \right) {{\rm{d}}} \eta.

    Since \{e^{\mathcal{B}t}\}_t is strictly contractive and \mathcal{M} is compact, the lemma follows from the results established in [33].

    By Lemma 3.2, we can employ the results in [22] to establish the first part of the lemma.

    For the second part of the lemma, note that

    (-\hat{B})^{-1} = \begin{pmatrix} (\mu_{h}+g +\nu_{h})^{-1}{\rm{I_d}}& 0_{4 \times 4}& 0_{4 \times 4} & 0_{4 \times 2}\\ 0_{4 \times 4}&(\mu_{h}+g )^{-1}{\rm{I_d}}&0_{4 \times 4}& 0_{4 \times 2}\\ \nu_{h}(\mu_{h}+g +\nu_{h})^{-1}(\mu_{h}{\rm{I_d}}+\gamma_{h}+\delta_{h})^{-1}\Theta\textbf{e} & 0_{4 \times 4} & (\mu_{h}{\rm{I_d}}+\gamma_{h}+\delta_{h})^{-1} & 0_{4 \times 2}\\ 0_{2 \times 4} & 0_{4 \times 4} & 0_{4 \times 4} & \delta_{m}^{-1} \end{pmatrix}

    From this, \hat{M}(-\hat{B})^{-1} can be written as

    \hat{M}(-\hat{B})^{-1} = \begin{pmatrix} 0_{12\times 12} & V \\ U & 0_{2\times 2} \end{pmatrix},

    where U and V are, respectively, 2\times 12 and 12\times 2 matrices such that

    \begin{align*} & U = \frac{ S^0_{m}}{S^0_{h}}\begin{pmatrix} (\mu_{h}+g +\nu_{h})^{-1}\beta_{h}\varepsilon \left[{\rm{I_d}}+\nu_{h} (\mu_{h}{\rm{I_d}}+\gamma_{h}+\delta_{h})^{-1}\Theta\textbf{e}\right]& \beta_{h}\varepsilon (\mu_{h}+g_{h})^{-1}{\rm{I_d}} & \beta_{h}\varepsilon (\mu_{h}{\rm{I_d}}+\gamma_{h}+\delta_{h})^{-1} \end{pmatrix} , \\ & V = \begin{pmatrix} (1-p) \Phi\beta_{m}\delta_{m}^{-1}\\ p\Phi\beta_{m}\delta_{m}^{-1}\\ 0_{4\times 2} \end{pmatrix}. \end{align*}

    Therefore,

    \left(\hat{M}(-\hat{B})^{-1}\right)^2 = \text{diag} \left(UV, VU\right),

    where

    \left(\mathsf{r}(\hat{M}(-\hat{B})^{-1}) \right)^2 = \mathsf{r}(\hat{M}(-\hat{B})^{-1})^2 = \max \left\{ \mathsf{r}(UV), \mathsf{r}(VU) \right\}.

    Finally, we have

    \mathsf{r}(UV) = \mathsf{r}(VU) = \frac{ S^0_{m}}{S^0_{h} } \mathsf{r} \left( \mathcal{T}_{h} \mathcal{T}_{m} \right),

    with \mathcal{T}_{h} and \mathcal{T}_{m} introduced by (3.3).

    The different composants of E_h^* are given by

    \begin{align*} \begin{pmatrix} S^*_h \\ R^*_h \end{pmatrix} = &\begin{pmatrix} \mu_h+ \mathbf{1_2}\lambda^*_m & - \rho_h \mathbf{1_4} \\\\ -[\gamma_h (\mu_h{\rm{I_d}} +\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h (\nu_h+\mu_h+g )^{-1}(1-p)+g (g +\mu_h)^{-1} {\rm{I_d}}p\\+g (\nu_h+\mu_h+g )^{-1}(1-p)]\Phi \lambda^*_m & (\mu_h+\rho_h) {\rm{I_d}} \end{pmatrix}^{-1} \begin{pmatrix} \Lambda_h\\ 0_4 \end{pmatrix}\\ : = &f(\lambda^*_m). \end{align*}

    Set

    Z = [\gamma_h(\mu_h {\rm{I_d}}+\gamma_h+\delta_h )^{-1}\Theta\boldsymbol{e} \nu_h (\nu_h+\mu_h+g )^{-1}(1-p)+g (g +\mu_h {\rm{I_d}})^{-1}p+g (\nu_h+\mu_h+g )^{-1}(1-p)]\Phi,

    then

    \begin{pmatrix} S^*_h \\ R^*_h \end{pmatrix}: = f(\lambda^*_m) = \begin{pmatrix} \Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1}\\ \Lambda_h(\mu_h+\rho_h)^{-1} {\rm{I_d}}Z[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1}\lambda^*_m \end{pmatrix}.

    Consequently

    \begin{pmatrix} A^*_h \\ P^*_h\\I^*_h \end{pmatrix} = \begin{pmatrix} (\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \lambda^*_m & 0_{4\times4}\\ (g +\mu_h)^{-1} {\rm{I_d}}p\Phi \lambda^*_m & 0_{4\times4}\\ (\mu_h{\rm{I_d}}+\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h(\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \lambda_m & 0_{4\times4} \end{pmatrix} f(\lambda^*_m).

    i.e.,

    \begin{align*} \begin{pmatrix} A_h^* \\ P_h^*\\ I_h^* \end{pmatrix} = &\begin{pmatrix} (\nu_h+\mu_h+g )^{-1} (1-p)\Phi\Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1} \lambda^*_m\\ (g +\mu_h)^{-1} {\rm{I_d}}p\Phi\Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1} \lambda^*_m \\ (\mu_h{\rm{I_d}}+\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h(\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1} \lambda^*_m \end{pmatrix}. \end{align*}

    At the equilibrium, the total population of human is written as

    N^*_h = \begin{pmatrix} 1 & 1_4 \end{pmatrix} \begin{pmatrix} S^*_h \\ R^*_h \end{pmatrix}+ \begin{pmatrix} 1_4 & 1_4&1_4 \end{pmatrix} \begin{pmatrix} A^*_h \\ P^*_h\\ I^*_h \end{pmatrix}.

    We have

    \begin{align*} N^*_h = & \begin{pmatrix} 1 & 1_4 \end{pmatrix} f(\lambda^*_m)+ \begin{pmatrix} 1_4 & 1_4&1_4 \end{pmatrix} \begin{pmatrix} (\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \lambda^*_m & 0_{4\times4}\\ (g +\mu_h)^{-1} {\rm{I_d}}p\Phi \lambda^*_m & 0_{4\times4}\\ (\mu_h{\rm{I_d}}+\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h(\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \lambda^*_m & 0_{4\times4} \end{pmatrix} f(\lambda^*_m)\\ : = & g(\lambda^*_m) f(\lambda^*_m). \end{align*}

    With this, the two forces of infection are written as follows

    \begin{align*} \lambda^*_h = & \dfrac{\beta_h}{g(\lambda^*_m) f(\lambda^*_m)}\varepsilon \begin{pmatrix} 1 & 1&1 \end{pmatrix} \begin{pmatrix} (\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \lambda^*_m & 0_{4\times4}\\ (g +\mu_h)^{-1} {\rm{I_d}}p\Phi \lambda^*_m & 0_{4\times4}\\ (\mu_h{\rm{I_d}}+\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h(\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \lambda^*_m & 0_{4\times4} \end{pmatrix} f(\lambda^*_m)\\ : = & J (\lambda^*_m) ,\\ \lambda^*_m = & \dfrac{1}{g(\lambda^*_m) f(\lambda^*_m)} \beta_m I^*_m. \end{align*}
    \begin{align*} J (\lambda^*_m) = & \dfrac{\beta_h}{g(\lambda^*_m) f(\lambda^*_m)}\varepsilon \begin{pmatrix} 1 & 1 & 1 \end{pmatrix} \\ &\begin{pmatrix} (\nu_h+\mu_h+g )^{-1} (1-p)\Phi\Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1} \lambda^*_m\\ (g +\mu_h)^{-1} {\rm{I_d}}p\Phi\Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1} \lambda^*_m \\ (\mu_h{\rm{I_d}}+\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h(\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi \Lambda_h[\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m]^{-1} \lambda^*_m. \end{pmatrix}. \end{align*}

    Furthermore, replacing \lambda^*_h in the two last equations of System (3.1) yields

    \begin{cases} & S_m^* = (\mu_m + \mathbf{1_2} \lambda^*_h)^{-1} \Lambda_m = \left (\mu_m + \mathbf{1_2} J (\lambda^*_m) \right)^{-1} \Lambda_m ,\\ & I_m^* = \delta_m^{-1} \lambda^*_h S_m = \delta_m^{-1} J(\lambda^*_m) \left (\mu_m + \mathbf{1_2} J(\lambda^*_m) \right)^{-1} \Lambda_m. \end{cases}

    Consequently, the existence of an endemic equilibrium is given by the solution of the following fixed-point equation

    \begin{equation*} \mathbb{R}^2 \ni \lambda^*_m = \dfrac{1}{g(\lambda^*_m) f(\lambda^*_m)} \beta_m \delta_m^{-1} J(\lambda^*_m) \left (\mu_m + \mathbf{1_2} J(\lambda^*_m) \right)^{-1} \Lambda^*_m: = F(\lambda^*_m) \in \mathbb{R}^2, \end{equation*}

    The system above is then rewritten as

    \begin{equation*} \lambda^*_m = G(\lambda^*_m)\beta_m \delta_m^{-1} \beta_h\varepsilon \{(\nu_h+\mu_h+g )^{-1}(1-p)+(g +\mu_h)^{-1}p+(\mu_h {\rm{I_d}}+\gamma_h+\delta_h )^{-1}\Theta\boldsymbol{e} \nu_h (\nu_h+\mu_h+g )^{-1}(1-p)\}\Phi\lambda^*_m, \end{equation*}

    that is,

    \begin{align} \mathcal{T}_{m}\mathcal{T}_{h}\lambda^*_m = \frac{1}{G(\lambda^*_m)} \lambda^*_m, \end{align} (7.2)

    where

    \begin{equation*} G: \lambda^*_m \in \mathbb{R}^2 \mapsto G(\lambda^*_m) = \frac{\Lambda_mG_1(\lambda^*_m)}{G_2(\lambda^*_m)G_3(\lambda^*_m)} \in \mathbb{R}, \end{equation*}

    with

    \begin{align*} G_1(\lambda^*_m) = &\mu_h+(\mathbf{1_2}-\rho_h \mathbf{1_4} (\mu_h+\rho_h)^{-1} {\rm{I_d}}Z)\lambda^*_m, \\ G_2(\lambda^*_m) = & 1+\left\{\mathbf{1_4}[(\nu_h+\mu_h+g )^{-1} (1-p)+(g +\mu_h)^{-1}{\rm{I_d}}p]\Phi\right\}\lambda^*_m \\ +&\left\{\mathbf{1_4}(\mu_h{\rm{I_d}}+\gamma_h+\delta_h)^{-1} \Theta\boldsymbol{e} \nu_h(\nu_h+\mu_h+g )^{-1}{\rm{I_d}} (1-p)\Phi +\mathbf{1_4}(\mu_h+\rho_h)^{-1} {\rm{I_d}}Z\right\}\lambda^*_m,\\ G_3(\lambda^*_m) = &\Lambda_h\mu_mG_2(\lambda^*_m)+\mathbf{1_2}\beta_h\varepsilon \{(\nu_h+\mu_h+g )^{-1}(1-p)+(g +\mu_h)^{-1}p+(\mu_h {\rm{I_d}}\\ +&\gamma_h+\delta_h )^{-1}\Theta\boldsymbol{e} \nu_h (\nu_h+\mu_h+g )^{-1}(1-p)\}\Phi\lambda^*_m. \end{align*}

    Since \mathcal{T}_{m}\mathcal{T}_{h} is a positive and irreducible matrix, by the Perron–Frobenius theorem, we have

    \begin{align*} &\frac{1}{G(\lambda^*_m)} = r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right), \\ &\lambda^*_m = \kappa \omega, \end{align*}

    where \omega = (\omega^s, \omega^r) is the eigenvector, with \|\omega\| = 1 , associated with the principal eigenvalue r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) of the matrix \mathcal{T}_{m}\mathcal{T}_{h} , and \kappa is a positive constant to be determined.

    The constant \kappa is then the solution of the equation \frac{1}{G(\lambda^*_m)} = r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) , i.e., \frac{1}{G(\kappa \omega)} = r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) , which is rewritten as

    \Lambda_m r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) \frac{ G_1(\kappa\omega)}{G_2(\kappa\omega) G_3(\kappa\omega)} = 1.

    The equality above is equivalent to

    \begin{equation} L(\kappa): = \Lambda_m r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) \frac{\left(\mu_h+\chi_1 \kappa\right)}{\left(1+\chi_2 \kappa \right)\left(\Lambda_h\mu_m+(\chi_2+\Lambda_h\mu_m\omega^s+\chi_3) \kappa\right)} = 1, \end{equation} (7.3)

    with

    \begin{align*} &\chi_1 = \omega^r\left( 1-a_s\right) +\omega^s\left(1-a_r\right),\\ &\chi_2 = \omega^r(b_s+a_s)+\omega^s(b_r+a_r),\\ &\chi_3 = \omega^s( c_s+d_s)+\omega^r(c_r+d_r), \end{align*}

    and

    \begin{align*} a_j = & \frac{\nu_h\theta\gamma_h^{j,T}\rho_h}{(\mu_h+\gamma_h^{j,T}+\delta_h^{j,T})(\nu_h+\mu_h)(\mu_h+\rho_h) }+\frac{\nu_h\gamma_h^{j,U}\rho_h(1-\theta)}{(\mu_h+\gamma_h^{j,U}+\delta_h^{j,U})(\nu_h+\mu_h)(\mu_h+\rho_h)},\\ b_j = & \frac{\theta\nu_h(1-p)}{(\mu_h+\gamma^{j,T}_h+\delta^{j,T}_h)(\nu_h+\mu_h+g )}+\frac{(1-\theta)\nu_h(1-p)}{(\mu_h+\gamma^{j,U}_h+\delta^{j,U}_h)(\nu_h+\mu_h+g )}+\frac{(1-p)}{(\nu_h+\mu_h+g )} +\frac{p}{(g +\mu_h)},\\ c_j = &\left(\frac{(1-p)\phi}{(\nu_h+\mu_h+g )}+\frac{p\phi}{(g +\mu_h)}+\frac{\theta(1-p)\nu_h}{(\mu_h +\gamma^{j,T}_h+\delta^{j,T}_h )(\nu_h+\mu_h+g )}\right)((1-\varepsilon_j)\beta_h^s+\varepsilon_j\beta_h^r),\\ d_j = & \beta_h^j\left( \frac{(1-p)\nu_h(1-\theta)}{(\mu_h +\gamma^{j,U}_h+\delta^{j,U}_h )(\nu_h+\mu_h+g )}+\frac{(1-p)(1-\phi)}{(\nu_h+\mu_h+g )}+\frac{p(1-\phi)}{(g +\mu_h)}\right). \end{align*}

    Since L(0) = \Lambda_m r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) \frac{\mu_h}{\Lambda_h \mu_m} = \frac{S_m^0}{S_h^0}r\left(\mathcal{T}_{m}\mathcal{T}_{h}\right) = \mathcal{T}_0^2 , equality (7.3) is rewritten as \mathcal{T}_0^2 -parametric equation

    \begin{equation} L(\mathcal{T}_0^2,\kappa) = 1, \end{equation} (7.4)

    such that L(1, 0) = 1 .

    Then, using the implicit function theorem, we get

    \left. {\frac{ {{\rm{d}}} \kappa}{ {{\rm{d}}} \mathcal{T}_0^2}} \right|_{(\mathcal{T}_0^2 = 1,\kappa = 0)} = -\frac{\partial_{\mathcal{T}_0^2} L(1,0)}{\partial_{\kappa} L(1,0)}.

    We have

    \partial_{\mathcal{T}_0^2} L(1,0) = 1,

    and

    \partial_{\kappa} L(1,0) = \frac{\Lambda_mS_h^0}{S_m^0(\Lambda_h\mu_m)^2} K,

    with

    K = \Lambda_h\mu_m \chi_1- \left(2\chi_2 +\Lambda_h\mu_m\omega^s+ \chi_3 \right)\mu_h.

    A backward bifurcation occurs at \mathcal{T}_0^2 = 1 if and only if

    \left. {\frac{ {{\rm{d}}} \kappa}{ {{\rm{d}}} \mathcal{T}_0^2}} \right|_{(\mathcal{T}_0^2 = 1,\kappa = 0)} < 0

    which is equivalent to \partial_{\kappa} L(1, 0) > 0 , that is, K > 0 .

    Similarly, a forward bifurcation occurs at \mathcal{T}_0^2 = 1 if and only if

    \left. {\frac{ {{\rm{d}}} \kappa}{ {{\rm{d}}} \mathcal{T}_0^2}} \right|_{(\mathcal{T}_0^2 = 1,\kappa = 0)} > 0

    which is equivalent to \partial_{\kappa} L(1, 0) < 0 , that is, K < 0 .

    Furthermore, for all \mathcal{T}_0 , we find that L(\mathcal{T}_0^2, 0) = \mathcal{T}_0^2 and \lim_{\kappa\to \infty} L(\mathcal{T}_0^2, \kappa) = 0 . Therefore, if \mathcal{T}_0^2 > 1 , then at least one solution \kappa to the equation L(\mathcal{T}_0^2, \kappa) = 1 exists. Next, assume that \mathcal{T}_0^2 = 1 and K > 0 . Then, on one hand, we have L(1, 0) = 1 and \partial_{\kappa} L(1, 0) > 0 . Hence, we obtain L(1, \kappa_0) > 1 for any \kappa_0 > 0 that is sufficiently small. Consequently, at least one \kappa > 0 exists such that L(1, \kappa) = 1 .

    Finally, the uniqueness of a positive \kappa satisfying L(k) = 1 is obtain if the function \kappa\longmapsto L(\mathcal{T}_0^2, \kappa) is strictly decreasing on \mathbb{R}_+ . Indeed, since L(\mathcal{T}_0^2, 0) = \mathcal{T}_0^2 , we readily see that a unique \kappa > 0 exists such that L(\mathcal{T}_0^2, \kappa) = 1 . We also note that a forward bifurcation occurs in this configuration since here, we have K < 0 .

    The authors declare they have not used artificial intelligence (AI) tools in the creation of this article.

    This work received support from the African Consortium in Modeling for Effective Vector Control (ACoMVeC) project INV-047049. The sponsors had no role in study design, data collection and analysis, decision to publish or manuscript preparation.

    The authors would like to thank the anonymous referees for the valuable comments which helped to improve the overall quality of the manuscript.

    The authors of this article declare that they have no financial conflict of interest with the content of this article.

    Figure A1.  Sensitivity indices of disease-induced cumulative deaths (left) and resistant cases (right). The shaded portions of the bars represent the main indices (the effect of each factor alone), while the complete bars, including both the shaded and unshaded parts, represent the total effect of each factor, accounting for interactions with all other factors.
    Figure A2.  Disease-induced deaths and clinical cases under the control functions shown in Figure 6.
    [1] Bar-Shalom Y, (2001) EstimationWith Applications to Tracking and Navigation. New York: Wiley.
    [2] Bertsekas DP, (2003) Nonlinear Programming, Second Edition, Athena Scientific.
    [3] Black MJ, Jepson AD (1998) Eigentracking: Robust matching and tracking of articulated objects using a view-based representation. Int J Comput Vision 26: 63–84. doi: 10.1023/A:1007939232436
    [4] Chen IK, Hsu SL, Chi CY, et al. (2014) Automatic video segmentation and object tracking with real-time RGB-D data Proc of the IEEE Intl Conf on Consum Electr: 486–487.
    [5] Cielniak G, Duckett T, Lilienthal AJ (2007) Improved data association and occlusion handling for vision-based people tracking by mobile robots. Proc of IEEE Intl Conf on Intell Robot Syst.
    [6] Davis JW, Sharma V (2007) Background-subtraction using contour-based fusion of thermal and visible imagery. Comput Vis Image Und 106: 162–182. doi: 10.1016/j.cviu.2006.06.010
    [7] Ennulat RD, Pommerrenig D (1988) Uncooled high resolution infrared imaging plane.
    [8] Hanif M, Ali U (2006) Optimized visual and thermal image fusion for e cient face recognition. Proc of IEEE Intl Conf on Inform Fusion.
    [9] Harchaoui Z, Bach F (2007) Image classification with segmentation graph kernels. Proc of IEEE Conf on Comput Vis and Pattern Recogn.
    [10] Hartigan JA, Wong MA (1979) Algorithm AS 136: A K-means clustering algorithm. J R Stat Soc C-Appl 28: 100–108.
    [11] Heo J, Kong SG, Abidi BR, et al. (2004) Fusion of visual and thermal signatures with eyeglass removal for robust face recognition. Proc of IEEE Conf on Comput Vis and Pattern Recogn Workshop, 122–122.
    [12] Hofmann T, Schölkopf B, Smola AJ (2008) Kernel methods in machine learning. Ann Stat, 1171–1220.
    [13] Horn RA, (1985) Matrix Analysis. Cambridge, U.K.: Cambridge Univ. Press.
    [14] Isola P, Zoran D, Krishnan D, et al. (2014) Crisp boundary detection using pointwise mutual information. European Conference on Computer Vision, 799–814.
    [15] Jiang M, Pan Z, Tang Z (2017) Visual object tracking based on Cross-modality Gaussian-Bernoulli deep Boltzmann machines with RGB-D sensors. Sensors 121.
    [16] Kang K, Maroulas V, Schizas I, et al. (2018) Improved distributed particle filters for tracking in wireless sensor network. Comput Stat Data An 117: 90–108. doi: 10.1016/j.csda.2017.07.009
    [17] Kay SM, (1993) Fundamental of Statistical Signal Processing: Estimation Theory, Prentice Hall.
    [18] Kwak N (2012) Kernel discriminant analysis for regression problems. Pattern Recogn 45: 2019–2031. doi: 10.1016/j.patcog.2011.11.006
    [19] Luber M, Spinello L, Arras KO (2011) People tracking in RGB-D data with on-line boosted target models. Proc of IEEE Intl Conf on Intell Robot Syst.
    [20] Maroulas V, Stinis P (2012) Improved particle filters for multi-target tracking. J Comput Phys 231: 602–611. doi: 10.1016/j.jcp.2011.09.023
    [21] IEEE OTCBVS WS Series Bench; Roland Miezianko, Terravic Research Infrared Database. Available: http://vcipl-okstate.org/pbvs/bench/
    [22] Padole CN, Alexandre LA (2010) Motion based particle filter for human tracking with thermal imaging. Proc of IEEE Intl Conf on Emerging Trends in Engineering and Technology (ICETET): 158–162.
    [23] Peng J, Zhou Y, Chen CLP (2015) Region-kernel-based support vector machines for hyperspectral image classification IEEE T Geosci Remote 53: 4810–4824.
    [24] Ren G, Maroulas V, Schizas ID (2015) Distributed Sensors-Targets Spatiotemporal Association and Tracking. IEEE Taes 51: 2570–2589.
    [25] Ren G, Maroulas V, Schizas ID (2016) Decentralized Sparsity-Based Multi-Source Association and State Tracking. Signal Process 120: 627–643. doi: 10.1016/j.sigpro.2015.10.013
    [26] Ren G, Maroulas V, Schizas ID (2016) Exploiting sensor mobility and covariance sparsity for distributed tracking of multiple targets. J Adv Sig Pr 2016: 53.
    [27] Rosipal R, Girolami M, Trejo LJ, et al. (2001) Kernel PCA for feature extraction and de-noising in nonlinear regression. Neural Comput Appl 10: 231–243. doi: 10.1007/s521-001-8051-z
    [28] Schizas ID (2013) Distributed informative-sensor identification via sparsity-aware matrix factorization. IEEE Trans on Sig Proc 61: 4610–4624. doi: 10.1109/TSP.2013.2269044
    [29] Teichman A, Lussier JT, Thrun S (2013) Learning to segment and track in RGBD. IEEE T Autom Sci Eng 10: 841–852. doi: 10.1109/TASE.2013.2264286
    [30] Tibshirani R (1996) Regression shrinkage and selection via the Lasso. J R Stat Soc B 58: 267–288.
    [31] Treptow A, Cielniak G, Duckett T (2005) Active people recognition using thermal and grey images on a mobile security robot. Proc of IEEE Intl Conf on Intell Robot Syst.
    [32] Tseng P (2001) Convergence of a block coordinate descent method for nondifferentiable minimization. J Opt Theory App 109: 475–494. doi: 10.1023/A:1017501703105
    [33] Vert JP, Tsuda K, Schölkopf B (2004) A primer on kernel methods. Kernel Methods in Comput Biol: 35–70.
    [34] Zhang K, Zhang L, Yang and M (2012) Real-time compressive tracking. European Conference on Computer Vision: 864–877.
    [35] Xu F, Liu X, Fujimura K (2005) Pedestrian detection and tracking with night vision. IEEE T Intell Transp: 63–71.
    [36] Yasuno M, Yasuda N, Aoki M (2005) Pedestrian detection and tracking in far infrared images. IEEE Conf on Intell Transport S: 131–136.
    [37] Zou H, Hastie T, Tibshirani R (2006) Sparse principal component analysis. J Comput Graph Stat: 15.
  • This article has been cited by:

    1. Sonia Carolina Mantilla Toloza, Carlos Alberto Jaimes Guerrero, Piedad Rocio Lerma Castaño, Knowledge and Practices of Back Care, Experience in Colombian Children, 2021, 8, 2333-794X, 2333794X2110234, 10.1177/2333794X211023460
    2. Paulo Henrique Guerra, Raquel Martelo, Maieli Naiara da Silva, Giovana Frazon de Andrade, Diego Giulliano Destro Christofaro, Mathias Roberto Loch, Screen time and low back pain in children and adolescents: a systematic review of Brazilian studies, 2023, 41, 1984-0462, 10.1590/1984-0462/2023/41/2021342
    3. Francisco Valter Miranda Silva, Paula Pessoa de Brito Nunes, Guilherme da Silva Gomes, Francisco Felipe Cardoso Rabelo, Alanda Luiza Da Silva Pinheiro, Francisco Suivan Rodrigues Quinto Duarte, Valdeni de Sousa Nascimento , Elenita Justino Custodio, Ana Paula Vasconcellos Abdon, Prevalência e fatores associados a dor lombar em adolescentes escolares: Um estudo transversal, 2024, 2965-4556, e12241, 10.70368/gecs.v1i1.12241
    4. Laura R C Montgomery, Michael Swain, Amabile B Dario, Mary O'Keeffe, Tie P Yamato, Jan Hartvigsen, Simon French, Christopher Williams, Steve Kamper, Does sedentary behaviour cause spinal pain in children and adolescents? A systematic review with meta-analysis, 2024, 0306-3674, bjsports-2024-108648, 10.1136/bjsports-2024-108648
  • Reader Comments
  • © 2018 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(4981) PDF downloads(1832) Cited by(0)

Figures and Tables

Figures(20)  /  Tables(1)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog