Skip to Content
MathematicsMathematics
  • Article
  • Open Access

4 November 2026

18 Pages

Problems of Automated Control of Viral Disease Progression Accounting for Spatial Perturbations and Body Temperature Response Under Immunotherapy

,
and
1
Institute of Cybernetics, Information Technologies and Engineering, National University of Water and Environmental Engineering, 11 Soborna Str., 33028 Rivne, Ukraine
2
Department of Mathematics, Florida State University, 208 Love Building, 1017 Academic Way, Tallahassee, FL 32306, USA
*
Author to whom correspondence should be addressed.
This article belongs to the Section E3: Mathematical Biology

Abstract

We develop a spatiotemporal mathematical model describing viral infection dynamics under the combined effects of diffusion, convection, temperature-dependent immune response, and therapeutic intervention. The model is formulated as a system of singularly perturbed delay partial differential equations that captures the interactions among viral particles, immune agents, target-organ damage, and body-temperature regulation. To efficiently compute approximate solutions, we propose a hybrid asymptotic–numerical framework that combines the method of steps with singular perturbation techniques. The delayed system is transformed into a sequence of auxiliary non-delay problems, allowing the systematic construction of computationally efficient approximations while preserving the essential multiscale characteristics of the original model. An adaptive control strategy is introduced to regulate immunological and antipyretic therapies based on predicted system evolution. Numerical experiments are performed to investigate the effects of treatment timing, dosage, and temperature regulation on infection progression. The simulations demonstrate that early therapeutic intervention improves viral suppression, whereas excessive temperature reduction may diminish the protective effects of the febrile response and lead to less favorable outcomes. The proposed framework provides an efficient computational tool for the analysis and control of spatially distributed infection dynamics and represents a step toward the development of personalized treatment strategies based on predictive mathematical modeling.

1. Introduction

Personalized medicine and targeted therapeutic interventions have become increasingly important in the treatment of infectious diseases. Advances in biotechnology, medical monitoring, and computational modeling have created new opportunities for predicting disease progression and adapting treatment strategies to individual patients. Mathematical models play an important role in this process by providing a systematic framework for studying interactions among pathogens, immune responses, physiological regulation mechanisms, and therapeutic interventions. Such interactions are often difficult to assess directly through clinical observation or laboratory experimentation.
Despite substantial progress in mathematical immunology, many existing models remain limited in their ability to simultaneously incorporate spatial heterogeneity, delayed immune responses, and physiological feedback mechanisms. Spatial effects arise naturally from the non-uniform distribution of viral particles, immune cells, and therapeutic agents within biological tissues, while delays are inherent in immune activation and antibody production. In addition, physiological processes such as body-temperature regulation can substantially influence pathogen replication and treatment outcomes. The integration of these mechanisms into a unified computational framework remains an important challenge.
Accurate prediction of infection dynamics requires accounting for convection–diffusion transport and localized interactions between biological agents. Although several spatial models of immune response have been proposed [1,2,3,4], most studies focus primarily on diffusion-driven transport or compartmental representations of spatial structure [5]. Alternative approaches developed in [6] incorporated small diffusion effects, while subsequent studies [7] examined the influence of diffusion perturbations under pharmacological and immunological therapies. These models were later extended to include localized therapeutic interventions and concentrated drug-administration regimes [8].
Another important component of infection dynamics is the body’s febrile response. Elevated temperature is a natural protective mechanism that suppresses pathogen replication and contributes to immune defense. Mathematical models incorporating temperature-dependent effects have demonstrated that thermal regulation may substantially influence disease progression and treatment efficacy. In [9], diffusion perturbations, immunotherapy, and temperature effects were incorporated into a generalized infection model, while [10] further extended the framework to include adsorption-based therapeutic interventions.
While existing studies have provided valuable insights into individual aspects of infection dynamics, most models address spatial transport, physiological feedback, or therapeutic control separately. Reaction–diffusion models often neglect delayed immune responses and adaptive treatment mechanisms, whereas control-oriented models are frequently restricted to low-dimensional systems and do not account for spatial heterogeneity. Consequently, there remains a need for computationally efficient modeling frameworks that simultaneously integrate diffusion, convection, delay effects, temperature regulation, and therapeutic control.
In this study, we develop a spatiotemporal framework for analyzing and controlling viral infection dynamics that combines these features within a single mathematical model. The proposed approach is based on a system of singularly perturbed delay partial differential equations describing the interactions among viral particles, immune agents, target-organ damage, and body temperature. To efficiently analyze the resulting system, we develop a hybrid asymptotic–numerical methodology that combines the method of steps with singular perturbation techniques.
The main contributions of this work are summarized as follows:
  • Model development. We formulate a spatially distributed model of viral infection dynamics that incorporates diffusion perturbations, convection transport, delay effects, temperature-dependent immune regulation, and therapeutic interventions.
  • Computational methodology. We develop a hybrid asymptotic–numerical framework that transforms the original delayed system into a sequence of auxiliary non-delay problems while preserving the dominant multiscale dynamics.
  • Adaptive control. We introduce a computationally tractable adaptive control strategy for regulating immunological and antipyretic therapies based on predicted disease progression and physiological constraints.
  • Numerical investigation. We evaluate the influence of treatment timing, treatment intensity, temperature regulation, and diffusion effects on infection progression through a series of numerical experiments.
Together, these contributions provide a unified framework for the modeling, simulation, and control of spatially distributed infection dynamics and offer a foundation for future studies on personalized treatment optimization.
Compared with previous immune-response models, the proposed framework simultaneously incorporates spatial transport, delay effects, temperature-dependent physiological regulation, and adaptive therapeutic control within a single modeling environment. This integration permits the investigation of interactions among these mechanisms while maintaining computational tractability through the proposed asymptotic–numerical methodology.
The remainder of the paper is organized as follows. Section 2 introduces the mathematical model. Section 3 presents the asymptotic–numerical solution framework. Section 4 describes the adaptive control strategy. Section 5 presents numerical experiments, and Section 6 concludes the paper with a discussion of the main findings and future research directions.

2. Mathematical Model

We begin with the classical antiviral immune-response model proposed in [11], which is formulated as a system of four delay differential equations describing the interactions between viral particles and the host immune system.
∂ V ∂ t = ( β − γ F ) V , ∂ C ∂ t = ξ ( m ) α F ( t − τ ) V ( t − τ ) − μ C ( C − C * ) , ∂ F ∂ t = ρ C − ( μ f + η γ V ) F , ∂ m ∂ t = σ V − μ m m .
The state variables of the model include the concentration of antigens V ( t ) (pathogenic viruses), specific immune agents F ( t ) (antibodies, cell receptors, etc.), immunocompetent cells C ( t ) (antibody producers), and a characteristic measure of target organ damage m ( t ) . The model is based on F.M. Burnet’s clonal selection theory [12], in which the humoral immune response is initiated by the activation of specific lymphocytes upon binding to antigens. Following activation and a characteristic time delay, these lymphocytes proliferate to form a clonal population that produces antibodies to neutralize the antigen. Qualitative analysis of this baseline model has identified key disease regimes—subclinical, acute, and chronic—which are in qualitative agreement with clinical observations.
Owing to its biological interpretability, the model has been extended in numerous studies to investigate different disease processes, immune-response mechanisms, and therapeutic interventions [13,14,15,16,17,18]. In particular, the framework has been adapted to describe tumor–immune interactions [14] and more recently to study the effects of immunotherapy in COVID-19 infection dynamics [18].
While the baseline model captures the essential temporal interactions between viral dynamics and immune responses, it does not account for spatial heterogeneity arising from transport processes and localized biological interactions. In biological tissues, viral particles, immune agents, and therapeutic compounds are generally distributed non-uniformly and evolve under the combined effects of diffusion, convection, and localized interventions. To account for these mechanisms, we extend the original model to a spatiotemporal framework.
The model is formulated on a bounded two-dimensional domain G z , represented by a curvilinear quadrilateral bounded by smooth curves (Figure 1). The resulting spatiotemporal dynamics are described by the singularly perturbed system (1) subject to conditions (2).
∂ V ∂ t = w V + ( β ( θ ) − γ F ) V − υ x V ∂ V ∂ x − υ y V ∂ V ∂ y + ε D V ∂ 2 V ∂ x 2 + ∂ 2 V ∂ y 2 , ∂ C ∂ t = ξ ( m ) ⋅ α ( θ ) ⋅ F ( t − τ ) ⋅ V ( t − τ ) − μ C ⋅ ( C − C * ) − υ x C ∂ C ∂ x − υ y C ∂ C ∂ y + ε D C ∂ 2 C ∂ x 2 + ∂ 2 C ∂ y 2 , ∂ F ∂ t = u F + ρ C − ( μ f + η γ V ) ⋅ F − υ x F ∂ F ∂ x − υ y F ∂ F ∂ y + ε D F ∂ 2 F ∂ x 2 + ∂ 2 F ∂ y 2 , ∂ m ∂ t = σ ⋅ V − μ m ( θ ) ⋅ m − υ x m ∂ m ∂ x − υ y m ∂ m ∂ y + ε D m ∂ 2 m ∂ x 2 + ∂ 2 m ∂ y 2 , ∂ θ ∂ t = α θ V F − μ θ ⋅ ( θ − θ * ) − λ θ ⋅ u θ − υ x θ ∂ θ ∂ x − υ y θ ∂ θ ∂ y + ε D θ ∂ 2 θ ∂ x 2 + ∂ 2 θ ∂ y 2
with the conditions
C ( x , y , 0 ) = C 0 ( x , y ) ,    m ( x , y , 0 ) = m 0 ( x , y ) ,    θ ( x , y , 0 ) = θ 0 ( x , y ) , V ( x , y , t ˜ ) = V 0 ( x , y , t ˜ ) ,    F ( x , y , t ˜ ) = F 0 ( x , y , t ˜ ) ,    − τ ≤ t ˜ ≤ 0 , V | A B = V ∗ ( M , t ) ,    F | A B = F ∗ ( M , t ) ,    C | A B = C ∗ ( M , t ) ,    m | A B = m ∗ ( M , t ) ,    θ | A B = θ ∗ ( M , t ) , ∂ V ∂ n ˜ C D = 0 ,    ∂ C ∂ n ˜ C D = 0 ,    ∂ F ∂ n ˜ C D = 0 ,    ∂ m ∂ n ˜ C D = 0 ,    ∂ θ ∂ n ˜ C D = 0 ,    ∂ V ∂ n B C = ∂ V ∂ n A D = 0 , ∂ C ∂ n B C = ∂ C ∂ n A D = 0 ,    ∂ F ∂ n B C = ∂ F ∂ n A D = 0 ,    ∂ m ∂ n B C = ∂ m ∂ n A D = 0 ,    ∂ θ ∂ n B C = ∂ θ ∂ n A D = 0 .
Figure 1. Model domain G z .
In system (1), the variables V , F , C , m , and θ denote the concentrations of antigens, immune agents, immunocompetent cells, damaged cells, and temperature, respectively. Diffusion coefficients and convection velocities characterize the spatial transport of each component, while temperature-dependent functions describe the influence of thermal regulation on viral replication and immune activity.
Temperature-dependent mechanisms are incorporated through functions that regulate both viral replication and immune-system activation. The antigen reproduction rate decreases as temperature increases, whereas immune stimulation is assumed to increase linearly with temperature. A prescribed baseline temperature field represents physiological conditions in a healthy organism. In addition, a critical temperature threshold is introduced beyond which the recovery rate of target-organ cells decreases, reflecting the detrimental effects of excessive fever.
Often we assume that body temperature is bounded and use the logistic equation to describe the temperature dynamics instead of the corresponding equation in (1):
∂ θ ∂ t = α θ V F 1 − α 2 V F − μ θ ⋅ θ − θ * − λ θ ⋅ u θ − υ x θ ∂ θ ∂ x − υ y θ ∂ θ ∂ y + ε D θ ∂ 2 θ ∂ x 2 + ∂ 2 θ ∂ y 2
Spatial transport is modeled through diffusion and convection processes. The diffusion coefficients describe the redistribution of antigens, immune agents, plasma cells, damaged cells, and temperature, respectively. Diffusion effects are assumed to be relatively small and are characterized by the parameter ε , which measures their influence relative to the dominant reaction dynamics. Convection is represented by prescribed velocity fields associated with each system component, while the intercellular fluid motion is described by a given flow field. All model functions are assumed to be bounded and sufficiently smooth.
Therapeutic interventions are incorporated through source terms representing localized immunological and pharmacological treatments. These interventions may be administered either as concentrated inputs or as distributed therapies, thereby allowing the model to describe different treatment-delivery mechanisms. The formulation also accounts for temperature-control interventions intended to prevent excessive physiological stress while preserving the protective effects of fever.
To simplify the analysis, we exploit the structure of the intercellular fluid flow. Assuming that the flow is approximately potential, the velocity field can be represented through a potential formulation. The corresponding velocity components are obtained by solving problem (for instance, using the conformal mapping G z ↦ G ω , where G ω = { ω : φ ∗ < φ < φ ∗ ,   0 < ψ < Q } is the complex potential domain [19]):
υ = g r a d    φ ( x , y ) ,   Δ φ = 0 ,   φ | A B = φ ∗ ,   φ | C D = φ ∗ ,   ψ B C = Q ,    ψ D A = 0 ,
where φ   ( x , y ) is the velocity potential and ψ = ψ ( x , y ) is the corresponding harmonic function (the stream function), complex conjugate to φ = φ ( x , y ) while Q is a parameter characterizing the total discharge.
Using the solution to problem (3), we perform the change of variables x = x ( φ , ψ ) , y = y ( φ , ψ ) in (1) and (2), which yields the model problem for the domain G ω :
∂ V ∂ t = w V + ( β ( θ ) − γ F ) V − δ V υ 2 ( φ , ψ ) ∂ V ∂ φ + ε D V υ 2 ( φ , ψ ) ∂ 2 V ∂ φ 2 + ∂ 2 V ∂ ψ 2 , ∂ C ∂ t = ξ ( m ) ⋅ α ( θ ) ⋅ F ( t − τ ) ⋅ V ( t − τ ) − μ C ⋅ ( C − C * ) − δ C υ 2 ( φ , ψ ) ∂ C ∂ φ + ε D C υ 2 ( φ , ψ ) ∂ 2 C ∂ φ 2 + ∂ 2 C ∂ ψ 2 , ∂ F ∂ t = u F + ρ C − ( μ f + η γ V ) ⋅ F − δ F υ 2 ( φ , ψ ) ∂ F ∂ φ + ε D F υ 2 ( φ , ψ ) ∂ 2 F ∂ φ 2 + ∂ 2 F ∂ ψ 2 , ∂ m ∂ t = σ ⋅ V − μ m ( θ ) ⋅ m − δ m υ 2 ( φ , ψ ) ∂ m ∂ φ + ε D m υ 2 ( φ , ψ ) ∂ 2 m ∂ φ 2 + ∂ 2 m ∂ ψ 2 , ∂ θ ∂ t = α θ V F − μ θ ⋅ ( θ − θ * ) − λ θ ⋅ u θ − δ θ υ 2 ( φ , ψ ) ∂ θ ∂ φ + ε D θ υ 2 ( φ , ψ ) ∂ 2 θ ∂ φ 2 + ∂ 2 θ ∂ ψ 2
with the conditions
C ( φ , ψ , 0 ) = C 0 ( φ , ψ ) ,    m ( φ , ψ , 0 ) = m 0 ( φ , ψ ) ,    θ ( φ , ψ , 0 ) = θ 0 ( φ , ψ ) ,
V ( φ , ψ , t ˜ ) = V 0 ( φ , ψ , t ˜ ) ,    F ( φ , ψ , t ˜ ) = F 0 ( φ , ψ , t ˜ ) ,    − τ ≤ t ˜ ≤ 0 , V | A B = V ∗ ( ψ , t ) ,    F | A B = F ∗ ( ψ , t ) ,    C | A B = C ∗ ( ψ , t ) ,    m | A B = m ∗ ( ψ , t ) ,    θ | A B = θ ∗ ( ψ , t ) , ∂ V ∂ n ˜ C D = 0 ,    ∂ C ∂ n ˜ C D = 0 ,    ∂ F ∂ n ˜ C D = 0 ,    ∂ m ∂ n ˜ C D = 0 ,    ∂ θ ∂ n ˜ C D = 0 ,    ∂ V ∂ n B C = ∂ V ∂ n A D = 0 , ∂ C ∂ n B C = ∂ C ∂ n A D = 0 ,    ∂ F ∂ n B C = ∂ F ∂ n A D = 0 ,    ∂ m ∂ n B C =    ∂ m ∂ n A D = 0 ,    ∂ θ ∂ n B C =    ∂ θ ∂ n A D = 0 ,
The transformed formulation serves as the basis for the asymptotic analysis, numerical approximation procedures, and adaptive control framework developed in the subsequent sections.

3. Asymptotics of the Solution

The diffusion terms in the proposed model are characterized by a small parameter, making singular perturbation methods a natural tool for constructing efficient approximations. However, the presence of delay terms complicates the direct application of these techniques. To overcome this difficulty, the original delayed system is first reformulated in a form that permits the systematic application of asymptotic analysis.
Throughout this section, system (1) is assumed to be dimensionless. Applying the method of steps [7,8,9], the delayed problem (4) and (5) is transformed into a sequence of auxiliary subproblems in which delayed terms are replaced by previously computed solution values. Consequently, on the intervals [ k τ , ( k + 1 ) τ ] ( k = 0 , 1 , 2 , … ), the governing equations take the form (6) and (7).
∂ V ( k ) ∂ t = w ( k ) V + ( β ( θ ( k ) ) − γ F ( k ) ) V ( k ) − δ V υ 2 ( φ , ψ ) ∂ V ( k ) ∂ φ + ε D V υ 2 ( φ , ψ ) ∂ 2 V ( k ) ∂ φ 2 + ∂ 2 V ( k ) ∂ ψ 2 , ∂ C ( k ) ∂ t = ξ ( m ( k ) ) α ( θ ( k ) ) Ψ ( k ) − μ C ⋅ ( C ( k ) − C * ) − δ C υ 2 ( φ , ψ ) ∂ C ( k ) ∂ φ + ε D C υ 2 ( φ , ψ ) ∂ 2 C ( k ) ∂ φ 2 + ∂ 2 C ( k ) ∂ ψ 2 , ∂ F ( k ) ∂ t = u ( k ) F + ρ C ( k ) − ( μ f + η γ V ( k ) ) ⋅ F ( k ) − δ F υ 2 ( φ , ψ ) ∂ F ( k ) ∂ φ + ε D F υ 2 ( φ , ψ ) ∂ 2 F ( k ) ∂ φ 2 + ∂ 2 F ( k ) ∂ ψ 2 , ∂ m ( k ) ∂ t = σ ⋅ V ( k ) − μ m ( θ ( k ) ) ⋅ m ( k ) − δ m υ 2 ( φ , ψ ) ∂ m ( k ) ∂ φ + ε D m υ 2 ( φ , ψ ) ∂ 2 m ( k ) ∂ φ 2 + ∂ 2 m ( k ) ∂ ψ 2 ,
∂ θ ( k ) ∂ t = α θ V ( k ) F ( k ) − μ θ ⋅ ( θ ( k ) − θ * ) − λ θ ⋅ u ( k ) θ − δ F υ 2 ( φ , ψ ) ∂ θ ( k ) ∂ φ + ε D θ υ 2 ( φ , ψ ) ∂ 2 θ ( k ) ∂ φ 2 + ∂ 2 θ ( k ) ∂ ψ 2 ;
C ( k ) ( φ , ψ , k τ ) = C ( k − 1 ) ( φ , ψ , k τ ) ,    m ( k ) ( φ , ψ , k τ ) = m ( k − 1 ) ( φ , ψ , k τ ) ,    θ ( k ) ( φ , ψ , k τ ) = θ ( k − 1 ) ( φ , ψ , k τ ) , V ( k ) ( φ , ψ , k τ ) = V ( k − 1 ) ( φ , ψ , k τ ) ,    F ( k ) ( φ , ψ , k τ ) = F ( k − 1 ) ( φ , ψ , k τ ) , V ( k ) | A B = V ∗ ( ψ , t ) ,    F ( k ) | A B = F ∗ ( ψ , t ) ,    C ( k ) | A B = C ∗ ( ψ , t ) ,    m ( k ) | A B = m ∗ ( ψ , t ) ,    θ ( k ) | A B = θ ∗ ( ψ , t ) , ∂ V ( k ) ∂ n ˜ C D = 0 ,    ∂ C ( k ) ∂ n ˜ C D = 0 ,    ∂ F ( k ) ∂ n ˜ C D = 0 ,    ∂ m ( k ) ∂ n ˜ C D = 0 ,    ∂ θ ( k ) ∂ n ˜ C D = 0 ,    ∂ V ( k ) ∂ n B C = ∂ V ( k ) ∂ n A D = 0 , ∂ C ( k ) ∂ n B C = ∂ C ( k ) ∂ n A D = 0 ,    ∂ F ( k ) ∂ n B C = ∂ F ( k ) ∂ n A D = 0 ,    ∂ m ( k ) ∂ n B C = ∂ m ( k ) ∂ n A D = 0 ,    ∂ θ ( k ) ∂ n B C = ∂ θ ( k ) ∂ n A D = 0 ,
where C ( − 1 ) ( x , y , 0 ) = C 0 ( x , y ) , m ( − 1 ) ( x , y , 0 ) = m 0 ( x , y ) , θ ( − 1 ) ( x , y , 0 ) = θ 0 ( x , y ) , V ( − 1 ) ( x , y , 0 ) = V 0 ( x , y , 0 ) , F ( − 1 ) ( x , y , 0 ) = F 0 ( − 1 ) ( x , y , 0 ) , Ψ ( k ) ( x , y , t ) = F ( k − 1 ) ( x , y , t − τ ) ⋅ V ( k − 1 ) ( x , y , t − τ ) ( k = 1 , 2 , … ).
In this formulation, the delayed terms are treated as known functions obtained from earlier solution intervals. This transformation separates the delay component from the current stage of computation and enables the systematic construction of asymptotic approximations.
Smoothness of the solution across successive time intervals is ensured through appropriate matching conditions imposed at the transition points. These consistency conditions complement the standard initial conditions and guarantee continuity of the solution and its derivatives across the stepwise decomposition. In particular, condition (8) must be satisfied.
∂ C 0 ( φ , ψ , 0 ) ∂ t = ξ ( m 0 ) ⋅ α ( θ 0 ( φ , ψ , 0 ) ) ⋅ F 0 ( φ , ψ , − τ ) V 0 ( φ , ψ , − τ ) − μ C ⋅ C 0 ( φ , ψ , 0 ) − C * − − δ C υ 2 ( φ , ψ ) ∂ C 0 ( φ , ψ , 0 ) ∂ φ + ε D C υ 2 ( φ , ψ ) ∂ 2 C 0 ( φ , ψ , 0 ) ∂ φ 2 + ∂ 2 C 0 ( φ , ψ , 0 ) ∂ ψ 2 ,
Undoubtedly, the well-posedness of the original problem formulation is ensured by the statement on the existence and uniqueness of the conformal mapping of a curvilinear quadrilateral onto a rectangle; the reduction of the original problem in the iteration process to a series of well-posed problems without feedback (where the solution to the subsequent problem depends on the solution of the previous one, and not vice versa); and the additional condition of boundedness of the studied process in time. We also note that the conditions of boundedness and non-negativity of the solution to the original problem are ensured by appropriate constraints on the initial and boundary data as well as the model parameters [10,11,13].
Since diffusion effects are assumed to be relatively weak, singular perturbation methods may be applied to analyze problems (6) and (7) [6,7,8,9]. The resulting framework provides a systematic connection between the degenerate problem and the full singularly perturbed system. An important advantage of this approach is that the qualitative behavior of the underlying model is preserved while higher-order corrections are introduced to account for diffusion effects.
In addition, asymptotic methods alleviate many of the numerical difficulties associated with singularly perturbed systems, particularly the sharp solution gradients that arise within boundary layers. At the same time, numerical methods remain essential for solving the reduced subproblems that emerge from the asymptotic decomposition. Consequently, asymptotic analysis and numerical computation complement one another, providing an efficient methodology for approximating the system dynamics.
The asymptotic approximation consists of four principal components:
  • A regular (outer) solution describing the dominant system dynamics;
  • Boundary-layer corrections near spatial boundaries;
  • Transition-layer functions that account for localized mismatches between scales;
  • Residual terms that characterize the approximation error.
The governing equations for these components are obtained using the standard procedure of equating coefficients corresponding to identical powers of the small parameter. This decomposition separates large-scale dynamics from localized correction terms and substantially simplifies the subsequent numerical implementation. Detailed derivations are provided in Appendix A.
Problems (A1) and (A2) represent the degenerate counterparts of the original system and are obtained by setting the diffusion parameter equal to zero. Problems (A3)–(A5) are then used to determine the correction terms required to account for diffusion effects at the current stage of the computation. Together, these problems provide the basis for constructing successive approximations to the full solution. The elimination of inconsistencies introduced by the regular part of the asymptotics in the neighborhoods of φ = φ ∗ , ψ = 0 and ψ = Q is ensured by the boundary layer functions Π ( k , i ) V , Π ( k , i ) C , Π ( k , i ) F , Π ( k , i ) m , Π ( k , i ) θ , Ρ ( k , i 2 ) V , Ρ ( k , i 2 ) C , Ρ ( k , i 2 ) F , Ρ ( k , i 2 ) m , Ρ ( k , i 2 ) θ , Ρ ¯ ( k , i 2 ) V , Ρ ( k , i 2 ) C , Ρ ¯ ( k , i 2 ) F , Ρ ¯ ( k , i 2 ) m , and Ρ ¯ ( k , i 2 ) θ , which are found similarly to [19]. The notation used here for the boundary layer functions do not represent products.
Boundary-layer functions are introduced to remove inconsistencies between the regular approximation and the prescribed boundary conditions. These functions are constructed using standard singular perturbation techniques [19]. When the initial and boundary conditions are not fully compatible, additional corner-layer corrections are incorporated to restore the required smoothness of the solution.
Approximate solutions are constructed iteratively on each time interval. At every step, the reduced problems are solved using standard numerical techniques, and the resulting solutions serve as input for the subsequent interval. In the computations reported below, Runge–Kutta methods are employed to solve the reduced systems arising from the asymptotic decomposition.
The proposed methodology transforms the original high-dimensional delayed system into a sequence of substantially simpler subproblems that can be solved using established numerical algorithms and existing computational software [20]. This decomposition considerably reduces computational complexity while preserving the essential multiscale characteristics of the underlying dynamics.
Estimates of the residual terms and the identification of spatiotemporal regions of validity for the asymptotic approximation are obtained using the maximum-principle-based framework developed in [19]. As a result, the proposed hybrid asymptotic–numerical method provides a computationally efficient alternative to direct simulation of the full singularly perturbed system, particularly when diffusion effects remain small.
Additional technical details concerning the asymptotic construction are provided in Appendix A.

4. Viral Infection Control

Although the asymptotic–numerical framework provides an efficient tool for predicting infection dynamics, an equally important objective is the design of therapeutic strategies capable of influencing disease progression. The presence of controllable treatment inputs naturally leads to the formulation of a control problem aimed at regulating infection dynamics while improving clinical outcomes.
Standardized treatment protocols do not necessarily produce optimal outcomes for all patients. Treatment effectiveness depends on individual physiological characteristics, disease severity, and the evolving interaction between infection and immune response. These factors complicate the formulation of fixed treatment strategies and motivate the use of adaptive control methods [21]. In adaptive control, therapeutic interventions are adjusted dynamically in response to observed or predicted system behavior, allowing treatment intensity to evolve with the state of the infection.
In model problems (1) and (2), the functions u F ( x , y , t ) and u θ ( x , y , t ) are treated as control variables. The control u F ( x , y , t ) represents the administration of immunological drugs, whereas u θ ( x , y , t ) represents antipyretic treatment used when body temperature exceeds a prescribed threshold. The corresponding objective functional balances two competing goals: reducing viral burden and limiting treatment intensity. Such a trade-off is common in optimal-control formulations arising in biomedical applications. This is measured with an objective function,
J = ∫ 0 T [ w 1 V ( t ) + w 2 ( u F ) 2 + w 3 ( u θ ) 2 ] d t
This formulation reflects a trade-off between minimizing viral load and limiting treatment intensity, consistent with standard optimal control formulations.
The adaptive control strategy is implemented in a discrete manner over successive time intervals. First, a set of reference values is specified to define the desired immune-response trajectory, V ( t i ) = V i * ,    i = 1 , N ¯ . For each control interval, provided that the predicted temperature remains below the critical threshold, the immunological control ( u F ) i − 1 is determined sequentially by minimizing the objective functional. If the resulting control does not violate the temperature constraint V ( ( u F ) i − 1 ,    ( u θ ) i − 1 ,    t i ) = V i * , the procedure proceeds to the next interval.
If the predicted temperature exceeds the critical threshold, antipyretic intervention is introduced. In this case, the value of ( u F ) i − 1 is determined through minimization of the corresponding objective functional, after which both control variables are updated iteratively until convergence is achieved. This procedure provides a balance between viral suppression and temperature regulation. Subsequently, an iterative refinement of ( u F ) i − 1 is performed to minimize J ( ( u F ) i − 1 ,    ( u θ ) i − 1 ) = V ( ( u F ) i − 1 ,    ( u θ ) i − 1 ,    t i ) − V i * . The admissible control functions are assumed to satisfy prescribed upper and lower bounds: 0 ≤ u F ≤ u max F , 0 ≤ u θ ≤ u max θ . These constraints reflect practical limitations on therapy administration and ensure physiologically realistic treatment strategies.
From a biological perspective, the adaptive strategy provides a mechanism for balancing competing therapeutic objectives. Strong immune stimulation may accelerate viral clearance but can increase physiological stress, whereas aggressive temperature reduction may suppress beneficial fever-mediated immune effects. The proposed control framework provides a systematic means of exploring these trade-offs within a predictive modeling environment.
The resulting algorithm may be interpreted as a discrete feedback-control strategy in which therapeutic decisions are updated according to the predicted evolution of the infection. The framework is computationally efficient, naturally incorporates physiological constraints, and can be extended to more general optimal-control formulations for personalized treatment design.

5. Results of Numerical Experiments

To evaluate the predictive capabilities of the proposed framework, we present a series of numerical experiments illustrating the effects of diffusion, temperature regulation, and therapeutic intervention on infection dynamics. The objective is not only to demonstrate the computational performance of the methodology but also to identify biologically relevant mechanisms influencing disease progression and treatment efficacy.
An important goal of personalized therapy is the ability to predict how treatment characteristics influence disease progression. Accordingly, numerical experiments were conducted to investigate the effects of treatment timing, treatment intensity, and temperature-control strategies on infection dynamics under a range of therapeutically relevant conditions.
In the computer simulations, the baseline parameter values were adopted from [11] and converted to dimensionless form: β 0 = 1 , β 1 = 10 ; γ = 0.8 ; μ C = 0.5 ; α 0 = 1000 , α 1 = 10 ; C ∗ = 1 ; ρ = 0.17 ; μ f = 0.17 ; η = 10 ; σ = 10 ; μ f = 0.12 . The simulations were performed for a range of parameter values defining the intensity, duration, and spatial localization of the concentrated immunological and pharmacological interventions. At the initial time ( t = 0 ), the following values for the process factors were specified: C 0 ( x , y ) = 1 , m 0 ( x , y ) = 0 , θ 0 ( x , y ) = 1 , F 0 ( x , y , t ˜ ) = 1 , V 0 ( x , y , t ˜ ) = 1.5 ⋅ 10 − 4 e − 2.5 ( ( x − x 0 ) + ( y − y 0 ) 2 ) e − t ˜ 2 (where ( x 0 , y 0 ) is the epicenter of the initial infection). To simplify the computational procedures, the analysis of the model problem was restricted to a simple canonical domain G z = { ( x , y )  :   0 ≤ x ≤ a ,    0 ≤ y ≤ b } .
Figure 2 presents the predicted distributions of antigen concentration for the chronic form of the infectious disease [11], accounting for convection processes and diffusion perturbation ( ε = 0.025 ). The results are shown for the time t = 10 with the administration of donor antibodies at different time points: t 1 F = 5.0 , t 1 F = 7.0 , t 1 F = 9.0 centered at ( x 1 F ,   y 1 F ) = ( 5 ,   5 ) (where G z = { ( x , y ) :    0 ≤ x ≤ 30 ,    0 ≤ y ≤ 10 } ). The simulations indicate that earlier administration of immunological therapy produces substantially lower antigen concentrations than delayed treatment. This behavior is consistent with the ability of the immune response to suppress viral replication before large viral populations become established. The results emphasize the importance of rapid therapeutic intervention during the early stages of infection and demonstrate the sensitivity of treatment outcomes to intervention timing.
Figure 2. Distribution of antigen concentration V at time t = 10 with the administration of donor antibodies at time points: t 1 F = 5.0 (a); t 1 F = 7.0 (b); t 1 F = 9.0 (c).
Figure 3 illustrates the predicted distributions of antigen concentration under similar conditions but for varying dosages of immunological agents. The results show that higher rates of viral particle elimination are achieved with larger administered doses. However, the use of high drug concentrations is associated with increased treatment costs and a greater risk of adverse side effects, which may place an additional burden on the patient.
Figure 3. Distribution of antigen concentration V at time t = 10 with the administration of immunological agents of varying intensities: A 1 F = 0.0 (a); A 1 F = 1.0 (b); A 1 F = 2.0 (c).
The results demonstrate that increasing the intensity of immunological therapy improves viral suppression and accelerates antigen elimination. However, the relationship is not purely beneficial. Higher treatment levels may increase treatment costs and the risk of adverse physiological effects. These simulations highlight the need to balance therapeutic effectiveness against treatment burden, supporting the development of adaptive strategies that adjust intervention intensity according to disease severity.
Figure 4 illustrates the influence of antipyretic therapy on infection progression. Increasing antipyretic intensity produces a more rapid reduction in body temperature; however, this temperature reduction also weakens the protective effects of the febrile response. As a consequence, viral replication may increase despite improved temperature control. These results highlight an important therapeutic trade-off: aggressive fever suppression may alleviate physiological stress while simultaneously reducing a natural defense mechanism against infection.
Figure 4. Distribution of antigen concentration V at time t = 10 with the administration of antipyretic drugs of varying intensities: A 1 θ = 0.05 (a); A 1 θ = 0.50 (b); A 1 θ = 1.00 (c).
These findings suggest that antipyretic therapy should be administered judiciously. Rather than eliminating fever as rapidly as possible, treatment strategies should aim to maintain temperature within a physiologically acceptable range while preserving the beneficial effects of moderate fever on infection control.
Figure 5 illustrates the influence of diffusion on the spatial evolution of infection. In the absence of diffusion, viral particles remain strongly localized near the infection focus, producing highly concentrated spatial distributions. As diffusion intensity increases, these localized structures become progressively smoother and more spatially distributed. From a biological perspective, diffusion acts as a homogenizing mechanism that reduces spatial concentration gradients and promotes the redistribution of viral particles throughout the tissue environment. These results demonstrate the importance of incorporating spatial transport processes when predicting infection dynamics and evaluating localized treatment strategies.
Figure 5. Distribution of antigen concentration V at time t = 10 at various intensities of diffusion scattering: ε = 0.000 (a); ε = 0.025 (b); ε = 0.050 (c).
Collectively, the numerical experiments reveal the strong interplay among therapeutic intervention, temperature regulation, and spatial transport processes. The simulations consistently indicate that treatment effectiveness depends not only on drug administration but also on the timing of intervention and the physiological environment in which the infection evolves. This observation supports the use of integrated modeling frameworks for the development of adaptive treatment protocols.
Overall, the numerical investigations demonstrate that infection dynamics are governed by the interaction of immune response, thermal regulation, spatial transport, and therapeutic intervention. Early immunological treatment improves infection control, excessive temperature suppression may compromise beneficial immune mechanisms, and diffusion significantly affects the spatial distribution of viral particles. Together, these findings provide biologically meaningful insights into treatment design and support the use of predictive mathematical models for evaluating adaptive therapeutic strategies. Although the present study is intended as a methodological investigation, the computational framework may be adapted to specific viral infections through parameter estimation using experimental or clinical data.
Although the present study focuses on methodological development, the proposed framework may be calibrated to specific viral infections using experimental or clinical data, thereby providing a foundation for predictive and patient-specific treatment analysis.

6. Conclusions

We developed a spatiotemporal model of viral infection dynamics that integrates diffusion perturbations, convection transport, temperature-dependent physiological effects, and therapeutic interventions within a unified mathematical framework. The resulting model extends classical immune-response formulations by incorporating spatial heterogeneity, delayed immune dynamics, and adaptive treatment mechanisms.
To analyze the resulting singularly perturbed delay system, we proposed a hybrid asymptotic–numerical methodology that combines the method of steps with singular perturbation techniques. This approach transforms the original problem into a sequence of computationally tractable subproblems while preserving the dominant multiscale features of the underlying dynamics. As a result, efficient approximation of the spatiotemporal evolution of infection and immune response can be achieved without direct simulation of the full system.
The numerical experiments demonstrated several biologically relevant observations. First, earlier administration of immunological therapy substantially improves infection control by reducing antigen concentrations before extensive viral proliferation occurs. Second, treatment intensity strongly influences therapeutic effectiveness, highlighting the need to balance viral suppression against treatment burden and potential adverse effects. Third, temperature regulation plays a dual role in infection dynamics. While excessive fever may have negative physiological consequences, overly aggressive antipyretic therapy may suppress beneficial fever-mediated mechanisms that contribute to infection control. Finally, diffusion processes significantly influence the spatial distribution of viral particles by reducing concentration gradients and promoting spatial redistribution throughout the tissue environment.
These findings emphasize that treatment effectiveness depends not only on the choice of therapeutic intervention but also on the timing of administration, temperature regulation, and the spatial characteristics of infection spread. The proposed framework therefore provides a useful tool for investigating the interaction between physiological regulation, immune response, and therapeutic control in spatially distributed infections.
From a methodological perspective, the study illustrates how asymptotic analysis, numerical simulation, and adaptive control can be combined within a single computational framework to address complex biological systems. The approach is sufficiently flexible to accommodate additional physiological mechanisms, treatment modalities, or disease-specific characteristics.
Future work will focus on extending the model to mixed and multi-pathogen infection scenarios, incorporating additional therapeutic strategies, and developing more rigorous optimal-control formulations. In particular, the integration of parameter-estimation procedures, data-driven calibration, and optimal-control techniques based on Pontryagin-type approaches may further improve the predictive and clinical value of the framework. The incorporation of stochastic effects and uncertainty quantification [22,23] also represents an important direction for future investigation.

Author Contributions

Conceptualization A.B. and S.B.; methodology, A.B., S.B., N.G.C.; software, A.B. and S.B.; validation, A.B., S.B., N.G.C.; formal investigation, A.B., S.B., N.G.C.; data curation, A.B. and S.B.; writing—original draft preparation, A.B., S.B., N.G.C.; writing—review and editing, A.B., S.B., N.G.C.; visualization, A.B. and S.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Additional Model Details and Asymptotic Construction

This appendix provides supplementary details regarding the model formulation and the construction of asymptotic solutions presented in Section 2 and Section 3.

Appendix A.1. Temperature-Dependent Mechanisms

The influence of temperature on viral dynamics is incorporated through functions that regulate antigen reproduction and immune response. In particular, the antigen reproduction rate is assumed to decrease with increasing temperature, while the immune system stimulation coefficient is modeled as a temperature-dependent function. The function describing the temperature effect on the recruitment of antigens is given by β ( θ ) = β 0 / ( 1 + β 1 ( θ − θ * ) ) , leading to a decrease in production as body temperature increases. Note that β 0 ,    β 1 = c o n s t > 0 . We further assume that the immune system stimulation coefficient, which depends linearly on body temperature, is given by α ( θ ) = α 0 ( 1 + α 1 ( θ − θ * ) ) where α 0 ,    α 1 = c o n s t > 0 . The baseline temperature distribution in a healthy organism is θ * ( x , y )
μ m ( θ ) = μ m 0 1 + μ m 1 ⋅ ( θ − θ * ) ,   where   μ m 1 = 0 , θ < θ * * , μ m * , θ ≥ θ * * ,
A critical body temperature threshold, θ ∗ ∗ , is introduced, above which the recovery rate of target-organ cells decreases, μ m 0 ,   μ m 1 = c o n s t > 0 ; the parameters γ , μ C , τ , ρ , μ f , η , σ , α (see Table A1) and the function ξ ( m ) are the same as in [11]; ε D V , ε D F , ε 2 D C , ε 2 D m   , ε D θ are the coefficients of spatiotemporal diffusion redistribution of antigens, antibodies, plasma cells, damaged cells, and thermal conductivity, respectively; ε is a small parameter characterizing the relatively weak influence of these diffusion effects compared to the dominant dynamics of the system.
Table A1. Parameters of the classical antiviral immune response model.

Appendix A.2. Transport and Model Parameters

The model includes diffusion terms corresponding to the spatial redistribution of viral particles, immune agents, plasma cells, damaged cells, and temperature, respectively. These effects are assumed to be small and are characterized by a dimensionless parameter ϵ , which measures the relative strength of diffusion compared to the dominant reaction dynamics. Convection effects are described through velocity fields associated with each component, while the intercellular fluid motion is represented by a prescribed velocity field. All functions appearing in the model are assumed to be bounded and sufficiently smooth. Standard boundary conditions are imposed, with outward and inward normal directions defined on the domain boundary.
The quantities υ V = δ V υ = ( υ x V , υ y V ) , υ F = δ F υ = ( υ x F , υ y F ) , υ C = δ C υ = ( υ x C , υ y C ) , υ m = δ m υ = ( υ x m , υ y m ) , υ θ = δ θ υ = ( υ x θ , υ y θ ) represent the convection transport velocities of the respective active factors of the process; υ = ( υ x , υ y ) is the velocity of the intercellular fluid. The functions C 0 ( x , y ) , m 0 ( x , y ) , θ 0 ( x , y ) , V 0 ( x , y , t ˜ ) , F 0 ( x , y , t ˜ ) are assumed to be bounded sufficiently smooth functions, M is the current point of the corresponding curve and n ˜ , n denote the outward and inward normals to the corresponding curves, respectively.

Appendix A.3. External Inputs and Therapeutic Interventions

The model incorporates localized source terms that describe abrupt changes in antigen concentration, such as the introduction of viral particles or their release from destroyed cells. Therapeutic interventions are represented through control functions corresponding to immunological and pharmacological treatments. These inputs are modeled as concentrated source terms with prescribed intensity, duration, and spatial localization The function w V = w V ( x , y , t ) describes concentrated, abrupt changes in antigen concentrations [8,9]. Such changes may occur due to the entry of a concentrated dose of active viral particles into the body or their release at the sites of previously infected cell destruction. The functions u F = u F ( x , y , t ) and u θ = u θ ( x , y , t ) characterize the targeted impact of therapeutic agents, which provide control over the disease progression and are administered into the body via injection, etc. We represent them as point-impulse source functions with maximum values at points ( x s V , y s V ) , ( x s F , y s F ) , ( x s θ , y s θ ) at time moments t s V , t s F , t s θ respectively:
w V ( x , y , t ) = ∑ s = 1 n V A s V exp − α s V x − x s V 2 + y − y s V 2 ⋅ exp − β s V t − t s V 2 ,
u F ( x , y , t ) = ∑ s = 1 n F A s F exp − α s F x − x s F 2 + y − y s F 2 ⋅ exp − β s F t − t s F 2 ,
u θ ( x , y , t ) = ∑ s = 1 n θ A s θ exp − α s θ x − x s θ 2 + y − y s θ 2 ⋅ exp − β s θ t − t s θ 2 .
where A s V , A s F , A s θ , α s V , α s F , α s θ , β s V , β s F , β s θ are parameters that determine the intensity, duration, and spatial extent of the corresponding concentrated interventions [8,9]. To predict the progression of a viral infection in a scenario involving the administration of injectable solutions via an intravenous drip at points ( x s F , y s F ) over time intervals ( t ¯ s F , t ¯ ¯ s F ) , the corresponding function u F ( x , y , t ) is
u F ( x , y , t ) = ∑ s = 1 n F A s F exp − α s F x − x s F 2 + y − y s F 2 ⋅ exp − β s F t − t ¯ s F 2 1 + exp − β s F t − t ¯ s F 2 − exp − β s F t − t ¯ ¯ s F 2 1 + exp − β s F t − t ¯ ¯ s F 2 .

Appendix A.4. Asymptotic Expansion Structure

The solutions to the singularly perturbed problems are constructed in the form of asymptotic expansions:
V ( k ) = ∑ i = 0 n ε i V ( k , i ) + ∑ i = 0 n ε i Π ( k , i ) V + ∑ i = 0 2 n ε i 2 Ρ ( k , i 2 ) V + ∑ i = 0 2 n ε i 2 Ρ ¯ ( k , i 2 ) V + R ( k , n ) V , C ( k ) = ∑ i = 0 n ε i C ( k , i ) + ∑ i = 0 n ε i Π ( k , i ) C + ∑ i = 0 2 n ε i 2 Ρ ( k , i 2 ) C + ∑ i = 0 2 n ε i 2 Ρ ¯ ( k , i 2 ) C + R ( k , n ) C , F ( k ) = ∑ i = 0 n ε i F ( k , i ) + ∑ i = 0 n ε i Π ( k , i ) F + ∑ i = 0 2 n ε i 2 Ρ ( k , i 2 ) F + ∑ i = 0 2 n ε i 2 Ρ ¯ ( k , i 2 ) F + R ( k , n ) F , m ( k ) = ∑ i = 0 n ε i m ( k , i ) + ∑ i = 0 n ε i Π ( k , i ) m + ∑ i = 0 2 n ε i 2 Ρ ( k , i 2 ) m + ∑ i = 0 2 n ε i 2 Ρ ¯ ( k , i 2 ) m + R ( k , n ) m , θ ( k ) = ∑ i = 0 n ε i θ ( k , i ) + ∑ i = 0 n ε i Π ( k , i ) θ + ∑ i = 0 2 n ε i 2 Ρ ( k , i 2 ) θ + ∑ i = 0 2 n ε i 2 Ρ ¯ ( k , i 2 ) θ + R ( k , n ) θ ,
constructed as perturbations of the solutions to the associated degenerate problems [6,7,8,9]. Here, k = 0 , 1 , 2 , … , V ( k , i ) = V ( k , i ) ( φ , ψ , t ) , C ( k , i ) = C ( k , i ) ( φ , ψ , t ) , F ( k , i ) = F ( k , i ) ( φ , ψ , t ) , m ( k , i ) = m ( k , i ) ( φ , ψ , t ) , θ ( k , i ) = θ ( k , i ) ( φ , ψ , t ) denote the unknown functions corresponding to the regular (outer) part of the asymptotic expansion, while Π ( k , i ) V = Π ( k , i ) V ( η , ψ , t ) , Π ( k , i ) C = Π ( k , i ) C ( η , ψ , t ) , Π ( k , i ) F = Π ( k , i ) F ( η , ψ , t ) , Π ( k , i ) m = Π ( k , i ) m ( η , ψ , t ) , Π ( k , i ) θ = Π ( k , i ) θ ( η , ψ , t ) represent the boundary layer corrections in the neighborhoods of the corresponding spatial boundaries. Additional boundary layer functions in the neighborhood of φ = φ ∗ . The functions Ρ ( k , i 2 ) V = Ρ ( k , i 2 ) V ( φ , ξ , t ) , Ρ ( k , i 2 ) C = Ρ ( k , i 2 ) C ( φ , ξ , t ) , Ρ ( k , i 2 ) F = Ρ ( k , i 2 ) F ( φ , ξ , t ) , Ρ ( k , i 2 ) m = Ρ ( k , i 2 ) m ( φ , ξ , t ) , Ρ ( k , i 2 ) θ = Ρ ( k , i 2 ) θ ( φ , ξ , t ) , Ρ ¯ ( k , i 2 ) V = Ρ ¯ ( k , i 2 ) V ( φ , ζ , t ) , Ρ ( k , i 2 ) C = Ρ ¯ ( k , i 2 ) C ( φ , ζ , t ) , Ρ ¯ ( k , i 2 ) F = Ρ ¯ ( k , i 2 ) F ( φ , ζ , t ) , Ρ ¯ ( k , i 2 ) m = Ρ ¯ ( k , i 2 ) m ( φ , ζ , t ) , Ρ ¯ ( k , i 2 ) θ = Ρ ¯ ( k , i 2 ) θ ( φ , ζ , t ) are introduced in the vicinity of ψ = 0 and ψ = Q respectively. The functions η = ( φ ∗ − φ ) ε − 1 , ξ = ψ ε − 1 / 2 , ζ = ( Q − ψ ) ε − 1 / 2 are the corresponding regularizing transformations [19], and R ( k , n ) V = R ( k , n ) V ( φ , ψ , t , ε ) , R ( k , n ) C = R ( k , n ) C ( φ , ψ , t , ε ) , R ( k , n ) F = R ( k , n ) F ( φ , ψ , t , ε ) , R ( k , n ) m = R ( k , n ) m ( φ , ψ , t , ε ) , R ( k , n ) θ = R ( k , n ) θ ( φ , ψ , t , ε ) are the corresponding residual terms.
The governing equations for the unknown functions V ( k , i ) ( x , y , t ) , C ( k , i ) ( x , y , t ) , F ( k , i ) ( x , y , t ) , m ( k , i ) ( x , y , t ) , θ ( k , i ) ( x , y , t ) are obtained by applying the standard procedure of equating coefficients of like powers of the small parameter [19]. In the case where ξ ( m ( k , 0 ) ) = 1 (i.e., when the level of target organ damage does not reduce the antibody production rate), the associated simplified (degenerate) problem for determining V ( k , 0 ) , C ( k , 0 ) , F ( k , 0 ) , m ( k , 0 ) , θ ( k , 0 ) :
∂ V ( k , 0 ) ∂ t = w ( k ) V + B 0 V ( k , 0 ) − γ F ( k , 0 ) V ( k , 0 ) − δ V υ 2 ( φ , ψ ) ∂ V ( k , 0 ) ∂ φ , ∂ C ( k , 0 ) ∂ t = α 0 1 + α 1 θ ( k , 0 ) − θ * Ψ ( k ) − μ C ⋅ C ( k , 0 ) − C ∗ − δ C υ 2 ( φ , ψ ) ∂ C ( k , 0 ) ∂ φ , ∂ F ( k , 0 ) ∂ t = u ( k ) F + ρ C ( k , 0 ) − μ f F ( k , 0 ) − η γ V ( k , 0 ) F ( k , 0 ) − δ F υ 2 ( φ , ψ ) ∂ F ( k , 0 ) ∂ φ , ∂ m ( k , 0 ) ∂ t = σ V ( k , 0 ) − M 0 m ( k , 0 ) − δ m υ 2 ( φ , ψ ) ∂ m ( k , 0 ) ∂ φ , ∂ θ ( k , 0 ) ∂ t = α θ F ( k , 0 ) V ( k , 0 ) − μ θ ⋅ θ ( k , 0 ) − θ * − λ θ ⋅ u ( k ) θ − δ θ υ 2 ( φ , ψ ) ∂ θ ( k , 0 ) ∂ φ ; C ( k , 0 ) ( φ , ψ , k τ ) = C ( k − 1 ) ( φ , ψ , k τ ) ,    m ( k , 0 ) ( φ , ψ , k τ ) = m ( k − 1 ) ( φ , ψ , k τ ) , θ ( k , 0 ) ( φ , ψ , k τ ) = θ ( k − 1 ) ( φ , ψ , k τ ) ,    V ( k , 0 ) ( φ , ψ , k τ ) = V ( k − 1 ) ( φ , ψ , k τ ) , F ( k , 0 ) ( φ , ψ , k τ ) = F ( k − 1 ) ( φ , ψ , k τ ) ,    V ( k , 0 ) | A B = V ∗ ( ψ , t ) ,    F ( k , 0 ) | A B = F ∗ ( ψ , t ) , C ( k , 0 ) | A B = C ∗ ( ψ , t ) ,    m ( k , 0 ) | A B = m ∗ ( ψ , t ) ,    θ ( k , 0 ) | A B = θ ∗ ( ψ , t ) ;
∂ V ( k , i ) ∂ t = B 0 V ( k , i ) + B i V ( k , 0 ) − γ a ( k , 0 ) F ( k , i ) + b ( k , 0 ) V ( k , i ) − δ V υ 2 ( φ , ψ ) ∂ V ( k , i ) ∂ φ + Φ i V , ∂ C ( k , i ) ∂ t = α 0 α 1 θ ( k , i ) Ψ ( k ) − μ C C ( k , i ) − δ C υ 2 ( φ , ψ ) ∂ C ( k , i ) ∂ φ + Φ i C , ∂ F ( k , i ) ∂ t = ρ C ( k , i ) − μ f F ( k , i ) − η γ a ( k , 0 ) F ( k , i ) + b ( k , 0 ) V ( k , i ) − δ F υ 2 ( φ , ψ ) ∂ F ( k , i ) ∂ φ + Φ i F , ∂ m ( k , i ) ∂ t = σ V ( k , i ) − M 0 m ( k , i ) + M i m ( k , 0 ) − δ m υ 2 ( φ , ψ ) ∂ m ( k , i ) ∂ φ + Φ i m , ∂ θ ( k , i ) ∂ t = α θ a ( k , 0 ) F ( k , i ) + b ( k , 0 ) V ( k , i ) − μ θ V ( k , i ) − δ θ υ 2 ( φ , ψ ) ∂ θ ( k , i ) ∂ φ + Φ i θ ; C ( k , i ) ( φ , ψ , k τ ) = 0 ,    m ( k , i ) ( φ , ψ , k τ ) = 0 ,    θ ( k , i ) ( φ , ψ , k τ ) = 0 ,    V ( k , i ) ( φ , ψ , k τ ) = 0 , F ( k , i ) ( φ , ψ , k τ ) = 0 ,    V ( k , i ) | A B = 0 ,    F ( k , i ) | A B = 0 ,    C ( k , i ) | A B = 0 ,    m ( k , i ) | A B = 0 , θ ( k , i ) | A B = 0 ,    i = 2 , 3 , … , n   ;
where a ( k , 0 ) = V ( k , 0 ) , b ( k , 0 ) = F ( k , 0 ) , B 0 = β 0 1 + β 1 ⋅ ( θ ( k , 0 ) − θ * ) , B i = − β 1 ⋅ ∑ j = 0 i − 1 θ ( k , i − j ) B j 1 + β 1 ⋅ ( θ ( k , 0 ) − θ * ) , M 0 = μ m 0 1 + μ m 1 ⋅ ( θ 0 − θ * ) , M i = − μ m 1 ⋅ ∑ j = 0 i − 1 θ i − j M j 1 + μ m 1 ⋅ ( θ 0 − θ * ) , Φ 1 V = D V υ 2 ( φ , ψ ) ∂ 2 V ( k , 0 ) ∂ φ 2 + ∂ 2 V ( k , 0 ) ∂ ψ 2 , Φ 1 C = D C υ 2 ( φ , ψ ) ∂ 2 C ( k , 0 ) ∂ φ 2 + ∂ 2 C ( k , 0 ) ∂ ψ 2 , Φ 1 m = D m υ 2 ( φ , ψ ) ∂ 2 m ( k , 0 ) ∂ φ 2 + ∂ 2 m ( k , 0 ) ∂ ψ 2 , Φ 1 F = D F υ 2 ( φ , ψ ) ∂ 2 F ( k , 0 ) ∂ φ 2 + ∂ 2 F ( k , 0 ) ∂ ψ 2 , Φ 1 θ = D θ υ 2 ( φ , ψ ) ×   × ∂ 2 θ ( k , 0 ) ∂ φ 2 + ∂ 2 θ ( k , 0 ) ∂ ψ 2 , Φ i V = ∑ j = 1 i − 1 B j V ( k , i − j ) − γ ∑ j = 1 i − 1 V ( k , j ) F ( k , i − j ) + D V υ 2 ( φ , ψ ) ∂ 2 V ( k , i − 1 ) ∂ φ 2 + ∂ 2 V ( k , i − 1 ) ∂ ψ 2 , Φ i C = D C ×   × υ 2 ( φ , ψ ) ∂ 2 C ( k , i − 1 ) ∂ φ 2 + ∂ 2 C ( k , i − 1 ) ∂ ψ 2 , Φ i F = − η γ ∑ j = 1 i − 1 V ( k , j ) F ( k , i − j ) + D F υ 2 ( φ , ψ ) ∂ 2 F ( k , i − 1 ) ∂ φ 2 + ∂ 2 F ( k , i − 1 ) ∂ ψ 2 , Φ i m = D m υ 2 ( φ , ψ ) ∂ 2 m ( k , i − 1 ) ∂ φ 2 + ∂ 2 m ( k , i − 1 ) ∂ ψ 2 − ∑ j = 1 i − 1 M j m ( k , i − j ) , Φ i θ = α θ ∑ j = 1 i − 1 V ( k , j ) F ( k , i − j ) + D θ υ 2 ( φ , ψ ) ∂ 2 θ ( k , i − 1 ) ∂ φ 2 + ∂ 2 θ ( k , i − 1 ) ∂ ψ 2 .

Appendix A.5. Degenerate and Correction Problems

For example, the following problems are obtained to find the functions Ρ ( k , i 2 ) V , Ρ ( k , i 2 ) C , Ρ ( k , i 2 ) F , Ρ ( k , i 2 ) m , Ρ ( k , i 2 ) θ :
∂ P ( k , 0 ) V ∂ t + δ V υ 2 ( φ , ξ ) ∂ P ( k , 0 ) V ∂ φ − D V υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) V ∂ ξ 2 = Β ( 0 ) P V ( k ) r e g + β ( θ ( k ) r e g ) + Β ( 0 ) P ⋅ Ρ ( k , 0 ) V − γ V ( k ) r e g P ( k , 0 ) F − − γ F ( k ) r e g P ( k , 0 ) V − γ P ( k , 0 ) V P ( k , 0 ) F , ∂ P ( k , 0 ) C ∂ t + δ C υ 2 ( φ , ξ ) ∂ P ( k , 0 ) C ∂ φ − D C υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) C ∂ ξ 2 = − μ C P ( k , 0 ) C , ∂ P ( k , 0 ) F ∂ t + δ F υ 2 ( φ , ξ ) ∂ P ( k , 0 ) F ∂ φ − D F υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) F ∂ ξ 2 = ρ P ( k , 0 ) C − μ f P ( k , 0 ) F − η γ V ( k ) r e g P ( k , 0 ) F − − η γ F ( k ) r e g P ( k , 0 ) V − η γ P ( k , 0 ) V P ( k , 0 ) F , ∂ P ( k , 0 ) m ∂ t + δ m υ 2 ( φ , ξ ) ∂ P ( k , 0 ) m ∂ φ − D m υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) m ∂ ξ 2 = σ P ( k , 0 ) V − M ( 0 ) P m ( k ) r e g − μ m ( θ ( k ) r e g ) + M ( 0 ) P ⋅ Ρ ( k , 0 ) m , ∂ P ( k , 0 ) θ ∂ t + δ θ υ 2 ( φ , ξ ) ∂ P ( k , 0 ) θ ∂ φ − D θ υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) θ ∂ ξ 2 = α θ V ( k ) r e g P ( k , 0 ) F + α θ F ( k ) r e g P ( k , 0 ) V + α θ P ( k , 0 ) V P ( k , 0 ) F − μ θ P ( k , 0 ) θ ; ∂ Ρ ( k , 0 ) V ( φ , 0 , t ) ∂   n = − ∂ V ( k ) r e g ( φ , 0 , t ) ∂   n − ∂ Π ( k ) V ( φ , 0 , t ) ∂   n ,   ∂ Ρ ( k , 0 ) C ( φ , 0 , t ) ∂   n = − ∂ C ( k ) r e g ( φ , 0 , t ) ∂   n − ∂ Π ( k ) C ( φ , 0 , t ) ∂   n , ∂ Ρ ( k , 0 ) F ( φ , 0 , t ) ∂   n = − ∂ F ( k ) r e g ( φ , 0 , t ) ∂   n − ∂ Π ( k ) F ( φ , 0 , t ) ∂   n ,   ∂ Ρ ( k , 0 ) m ( φ , 0 , t ) ∂   n = − ∂ m ( k ) r e g ( φ , 0 , t ) ∂   n − ∂ Π ( k ) m ( φ , 0 , t ) ∂   n ,   ∂ Ρ ( k , 0 ) θ ( φ , 0 , t ) ∂   n = − ∂ θ ( k ) r e g ( φ , 0 , t ) ∂   n − ∂ Π ( k ) θ ( φ , 0 , t ) ∂   n , Ρ ( k , 0 ) V ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 0 ) C ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 0 ) F ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 0 ) θ ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 0 ) m ( φ , ξ , t ) → ξ → ∞ 0 ;
∂ P ( k , 1 / 2 ) V ∂ t + δ V υ 2 ( φ , ξ ) ∂ P ( k , 1 / 2 ) V ∂ φ − D V υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 / 2 ) V ∂ ξ 2 = Β ( 1 / 2 ) P V ( k ) r e g + Β ( 1 / 2 ) P Ρ ( k , 0 ) V + β ( θ ( k ) r e g ) + Β ( 0 ) P ⋅ Ρ ( k , 1 / 2 ) V − − γ V ( k ) r e g P ( k , 1 / 2 ) F − γ F ( k ) r e g P ( k , 1 / 2 ) V − γ P ( k , 1 / 2 ) V P ( k , 0 ) F + P ( k , 0 ) V P ( k , 1 / 2 ) F , ∂ P ( k , 1 / 2 ) C ∂ t + δ C υ 2 ( φ , ξ ) ∂ P ( k , 1 / 2 ) C ∂ φ − D C υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 / 2 ) C ∂ ξ 2 = − μ C P ( k , 1 / 2 ) C , ∂ P ( k , 1 / 2 ) F ∂ t + δ F υ 2 ( φ , ξ ) ∂ P ( k , 1 / 2 ) F ∂ φ − D F υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 / 2 ) F ∂ ξ 2 = ρ P ( k , 1 / 2 ) C − μ f P ( k , 1 / 2 ) F − η γ V ( k ) r e g P ( k , 1 / 2 ) F + F ( k ) r e g P ( k , 1 / 2 ) V − − η γ P ( k , 1 / 2 ) V P ( k , 0 ) F + P ( k , 0 ) V P ( k , 1 / 2 ) F , ∂ P ( k , 1 / 2 ) m ∂ t + δ m υ 2 ( φ , ξ ) ∂ P ( k , 1 / 2 ) m ∂ φ − D m υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 / 2 ) m ∂ ξ 2 = σ P ( k , 1 / 2 ) V − M ( 1 / 2 ) P m ( k ) r e g − M ( 1 / 2 ) P Ρ ( k , 0 ) m + + μ m ( θ ( k ) r e g ) + M ( 0 ) P ⋅ Ρ ( k , 1 / 2 ) m , ∂ P ( k , 1 / 2 ) θ ∂ t + δ θ υ 2 ( φ , ξ ) ∂ P ( k , 1 / 2 ) θ ∂ φ − D θ υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 / 2 ) θ ∂ ξ 2 = α θ V ( k ) r e g P ( k , 1 / 2 ) F + α θ F ( k ) r e g P ( k , 1 / 2 ) V + + α θ P ( k , 0 ) V P ( k , 1 / 2 ) F + P ( k , 1 / 2 ) V P ( k , 0 ) F − μ θ P ( k , 1 / 2 ) θ ; ∂ Ρ ( k , 1 / 2 ) V ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 / 2 ) C ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 / 2 ) F ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 / 2 ) m ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 / 2 ) θ ( φ , 0 , t ) ∂   n = 0 , Ρ ( k , 1 / 2 ) V ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 / 2 ) C ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 / 2 ) F ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 / 2 ) θ ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 / 2 ) m ( φ , ξ , t ) → ξ → ∞ 0 ;
∂ P ( k , 1 ) V ∂ t + δ V υ 2 ( φ , ξ ) ∂ P ( k , 1 ) V ∂ φ − D V υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 ) V ∂ ξ 2 = Β ( 1 ) P V ( k ) r e g + Β ( 1 ) P Ρ ( k , 0 ) V + β ( θ ( k ) r e g ) + Β ( 0 ) P ⋅ Ρ ( k , 1 ) V − − γ V ( k ) r e g P ( k , 1 ) F − γ F ( k ) r e g P ( k , 1 ) V − γ P ( k , 0 ) V P ( k , 1 ) F + P ( k , 1 ) V P ( k , 0 ) F + Β ( 1 / 2 ) P Ρ ( k , 1 / 2 ) V − γ P ( k , 1 / 2 ) V P ( k , 1 / 2 ) F + D V υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) V ∂ φ 2 , ∂ P ( k , 1 ) C ∂ t + δ C υ 2 ( φ , ξ ) ∂ P ( k , 1 ) C ∂ φ − D C υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 ) C ∂ ξ 2 = − μ C P ( k , 1 ) C + D C υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) C ∂ φ 2 , ∂ P ( k , 1 ) F ∂ t + δ F υ 2 ( φ , ξ ) ∂ P ( k , 1 ) F ∂ φ − D F υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 ) F ∂ ξ 2 = ρ P ( k , 1 ) C − μ f P ( k , 1 ) F − η γ V ( k ) r e g P ( k , 1 ) F + F ( k ) r e g P ( k , 1 ) V − − η γ P ( k , 0 ) V P ( k , 1 ) F + P ( k , 1 ) V P ( k , 0 ) F − η γ P ( k , 1 / 2 ) V P ( k , 1 / 2 ) F + D F υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) F ∂ φ 2 , ∂ P ( k , 1 ) m ∂ t + δ m υ 2 ( φ , ξ ) ∂ P ( k , 1 ) m ∂ φ − D m υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 ) m ∂ ξ 2 = σ P ( k , 1 ) V − M ( 1 ) P m ( k ) r e g − M ( 1 ) P Ρ ( k , 0 ) m + μ m ( θ ( k ) r e g ) + + M ( 0 ) P ⋅ Ρ ( k , 1 ) m − M ( 1 / 2 ) P Ρ ( k , 1 / 2 ) m + D m υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) m ∂ φ 2 , ∂ P ( k , 1 ) θ ∂ t + δ θ υ 2 ( φ , ξ ) ∂ P ( k , 1 ) θ ∂ φ − D θ υ 2 ( φ , ξ ) ∂ 2 P ( k , 1 ) θ ∂ ξ 2 = α θ V ( k ) r e g P ( k , 1 ) F + α θ F ( k ) r e g P ( k , 1 ) V + α θ P ( k , 0 ) V P ( k , 1 ) F + P ( k , 1 ) V P ( k , 0 ) F − − μ θ P ( k , 1 ) θ + α θ P ( k , 1 / 2 ) V P ( k , 1 / 2 ) F + D θ υ 2 ( φ , ξ ) ∂ 2 P ( k , 0 ) θ ∂ φ 2 ; ∂ Ρ ( k , 1 ) V ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 ) C ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 ) F ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 ) m ( φ , 0 , t ) ∂   n = 0 ,   ∂ Ρ ( k , 1 ) θ ( φ , 0 , t ) ∂   n = 0 , Ρ ( k , 1 ) V ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 ) C ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 ) F ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 ) θ ( φ , ξ , t ) → ξ → ∞ 0 ,   Ρ ( k , 1 ) m ( φ , ξ , t ) → ξ → ∞ 0 ;
where V ( k ) r e g = ∑ i = 0 n ε i V ( k , i ) , C ( k ) r e g = ∑ i = 0 n ε i C ( k , i ) , F ( k ) r e g = ∑ i = 0 n ε i F ( k , i ) , m ( k ) r e g = ∑ i = 0 n ε i m ( k , i ) , θ ( k ) r e g = ∑ i = 0 n ε i θ ( k , i ) , Π ( k ) V = ∑ i = 0 n ε i Π ( k , i ) V , Π ( k ) C = ∑ i = 0 n ε i Π ( k , i ) C , Π ( k ) F = ∑ i = 0 n ε i Π ( k , i ) F , Π ( k ) m = ∑ i = 0 n ε i Π ( k , i ) m , Π ( k ) θ = ∑ i = 0 n ε i Π ( k , i ) θ , β ( θ ( k ) r e g ) =   = β 0 1 + β 1 ⋅ ( θ ( k ) r e g − θ * ) , Β ( 0 ) P = − β 1 ⋅ β ( θ ( k ) r e g ) ⋅ P ( k , 0 ) θ ( 1 + β 1 ⋅ ( θ ( k ) r e g − θ * + P ( k , 0 ) θ ) ) , Β ( 1 / 2 ) P = − β 1 ⋅ ( β ( θ ( k ) r e g ) + Β ( 0 ) P ) ⋅ P ( k , 1 / 2 ) θ ( 1 + β 1 ⋅ ( θ ( k ) r e g − θ * + P ( k , 0 ) θ ) ) , Β ( 1 ) P = − β 1 ×   × ( β ( θ ( k ) r e g ) + Β ( 0 ) P ) ⋅ P ( k , 1 ) θ + Β ( 1 / 2 ) P P ( k , 1 / 2 ) θ ( 1 + β 1 ⋅ ( θ ( k ) r e g − θ * + P ( k , 0 ) θ ) ) , μ m ( θ ( k ) r e g ) = μ m 0 1 + μ m 1 ⋅ ( θ ( k ) r e g − θ * ) , M ( 0 ) P = − μ m 1 ⋅ μ m ( θ ( k ) r e g ) ⋅ P ( k , 0 ) θ ( 1 + μ m 1 ⋅ ( θ ( k ) r e g − θ * + P ( k , 0 ) θ ) ) , M ( 1 / 2 ) P = − μ m 1 ⋅ ( μ m ( θ ( k ) r e g ) + M ( 0 ) P ) ⋅ P ( k , 1 / 2 ) θ ( 1 + μ m 1 ⋅ ( θ ( k ) r e g − θ * + P ( k , 0 ) θ ) ) , M ( 1 ) P = − μ m 1 ⋅ ( ( μ m ( θ ( k ) r e g ) + M ( 0 ) P ) ⋅ P ( k , 1 ) θ + M ( 1 / 2 ) P P ( k , 1 / 2 ) θ ) ( 1 + μ m 1 ⋅ ( θ ( k ) r e g − θ * + P ( k , 0 ) θ ) ) .

Appendix A.6. Remarks on Implementation

The asymptotic decomposition separates dominant dynamics from localized corrections, allowing efficient numerical implementation. The residual terms can be estimated using standard analytical techniques, including the maximum principle, which provides bounds on the approximation error.

References

  1. Su, B.; Zhou, W.; Dorman, K.S.; Jones, D.E. Mathematical Modelling of Immune Response in Tissues. Comput. Math. Methods Med. 2009, 10, 537013. [Google Scholar] [CrossRef] [Scilit]
  2. Bocharov, G.; Danilov, A.; Vassilevski, Y.; Marchuk, G.; Chereshnev, V.; Ludewig, B. Reaction-Diffusion Modelling of Interferon Distribution in Secondary Lymphoid Organs. Math. Model. Nat. Phenom. 2011, 6, 13–26. [Google Scholar] [CrossRef] [Scilit]
  3. Pigozzo, A.B.; Macedo, G.C.; dos Santos, R.W.; Lobosco, M. On the computational modeling of the innate immune system. BMC Bioinform. 2013, 14, S7. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  4. Yoon, C.; Kim, S.; Hwang, H.J. Global well-posedness and pattern formations of the immune system induced by chemotaxis. Math. Biosci. Eng. 2020, 17, 3426–3449. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  5. Martsenyuk, V.; Klos-Witkowska, A.; Sverstiuk, A. Stability, bifurcation and transition to chaos in a model of immunosensor based on lattice differential equations with delay. Electron. J. Qual. Theory Differ. Equ. 2018, 27, 1–31. [Google Scholar] [CrossRef] [Scilit]
  6. Bomba, A.Y.; Baranovsky, S.V.; Pasichnyk, M.S.; Pryshchepa, O.V. Modeling small-scale spatially distributed influences on the development of infectious diseases. Math. Model. Comput. 2020, 7, 310–321. [Google Scholar] [CrossRef] [Scilit]
  7. Bomba, A.Y.; Baranovsky, S.V. Modeling of small spatially distributed influences on the dynamics of infectious disease in conditions such as pharmacotherapy. J. Comput. Appl. Math. 2020, 1, 5–17. [Google Scholar] [CrossRef] [Scilit]
  8. Baranovsky, S.V.; Bomba, A.Y.; Lyashko, S.I. Decision-making in modeling the dynamics of infectious disease taking into account diffusion perturbations and concentrated effects. Probl. Control Inform. 2021, 3, 115–129. [Google Scholar]
  9. Bomba, A.; Baranovsky, S.; Blavatska, O.; Bachyshyna, L. Infectious disease model generalization based on diffuse perturbations under conditions of body’s temperature reaction. Comput. Biol. Med. 2022, 146, 105561. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  10. Baranovsky, S.V.; Bomba, A.Y. Generalizing the infectious disease model to account for sorption therapy in conditions of diffusion disorders. Cybern. Syst. Anal. 2023, 59, 601–611. [Google Scholar] [CrossRef] [Scilit]
  11. Marchuk, G.I. Mathematical Modeling of Antiviral and Antibacterial Immune Responses. In Mathematical Modelling of Immune Response in Infectious Diseases. Mathematics and Its Applications; Springer: Dordrecht, The Netherlands, 1997; Volume 395. [Google Scholar]
  12. Burnet, F.M. Cellular Immunology: Books One and Two; Melbourne University Press: Carlton, Australia; Cambridge University Press: London, UK, 1969. [Google Scholar]
  13. Bocharov, G.; Volpert, V.; Ludewig, B.; Meyerhans, A. Mathematical Immunology of Virus Infections; Springer: Cham, Switzerland, 2018. [Google Scholar]
  14. Martsenyuk, V.P. Construction and study of stability of an antitumor immunity model. Cybern. Syst. Anal. 2004, 40, 778–783. [Google Scholar] [CrossRef] [Scilit]
  15. Rusakov, S.V.; Chirkov, M.V. Mathematical model of influence of immuno-therapy on dynamics of immune response. Probl. Control 2012, 6, 45–50. [Google Scholar]
  16. Bershadsky, M.; Chirkov, M.; Domoshnitsky, A.; Rusakov, S.; Volinsky, I. Distributed Control and the Lyapunov Characteristic Exponents in the Model of Infectious Diseases. Complexity 2019, 2019, 5234854. [Google Scholar] [CrossRef] [Scilit]
  17. Quintela, B.D.M.; dos Santos, R.W.; Lobosco, M. On the coupling of two models of the human immune response to an antigen. BioMed Res. Int. 2014, 2014, 410457. [Google Scholar] [CrossRef] [Scilit] [PubMed]
  18. Chimal-Eguia, J.C. Mathematical Model of Antiviral Immune Response against the COVID-19 Virus. Mathematics 2021, 9, 1356. [Google Scholar] [CrossRef] [Scilit]
  19. Bomba, A.Y.; Baranovskyi, S.V.; Prisyajnyuk, I.M. Neliniini Synhuliarno Zbureni Zadachi Typu «Konvektsiia-Dyfuziia»; NUVGP: Rivne, Ukraine, 2008. (In Ukrainian) [Google Scholar]
  20. Soetaert, K.; Cash, J.R.; Mazzia, F. Solving Differential Equations in R; Springer: Berlin/Heidelberg, Germany, 2012; 248p. [Google Scholar]
  21. Rusakov, S.V.; Chirkov, M.V. Discrete Control of a Dynamical System with Delay Under Conditions of Uncertainty. J. Math. Sci. 2018, 230, 762–765. [Google Scholar] [CrossRef] [Scilit]
  22. Rozora, I.; Ianevych, T.; Pashko, A.; Zatula, D. Simulation of Stochastic Processes with Given Reliability and Accuracy (Book chapter). In Stochastic Processes: Fundamentals and Emerging Applications; Nova Science Publishers Inc: Hauppauge, NY, USA, 2023; pp. 415–452. [Google Scholar]
  23. Rozora, I.; Lyzhechko, M. On the modeling of linear system input stochastic processes with given accuracy and reliability. Monte Carlo Methods Appl. 2018, 24, 129–137. [Google Scholar] [CrossRef] [Scilit]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Article Metrics

Citations

Article Access Statistics

Multiple requests from the same IP address are counted as one view.