-
Qualitative analysis of HAART effects on HIV and SARS-CoV-2 coinfection
Authors:
João P. S. Maurício de Carvalho
Abstract:
HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equil…
▽ More
HIV is known for causing the destruction of the immune system by affecting different types of cells, while SARS-CoV-2 is an extremely contagious virus that leads to the development of COVID-19. In this study, we propose a mathematical model to investigate the interaction between HIV and SARS-CoV-2 under highly active antiretroviral therapy (HAART). We determine the conditions for the endemic equilibria of both viruses, showing that transcritical bifurcations occur when the basic reproduction numbers of HIV and SARS-CoV-2 pass through 1. We set the condition for the stability of the disease-free equilibrium point of the model with coinfection as a function of the basic reproduction number $\mathcal{R}_0$. Through numerical simulations, we conclude that HAART, used to control HIV, also reduces the proliferation of SARS-CoV-2-infected cells in coinfected hosts. These findings provide important insights into the epidemiological dynamics of HIV and SARS-CoV-2 coinfection.
△ Less
Submitted 2 November, 2024;
originally announced November 2024.
-
On the control of a simplified k-e model of turbulence
Authors:
Pitágoras Pinheiro de Carvalho,
Juan Bautista Límaco Ferrel,
Enrique Fernandez-Cara
Abstract:
This paper deals with the control of a kind of turbulent flows. We consider a simplified k-e model with distributed controls, locally supported in space. We proof that the system is partially locally null-controllable, in the sense that the velocity field can be driven exactly to zero if the initial state is small enough. The proof relies on an argument where we have concatenated several technique…
▽ More
This paper deals with the control of a kind of turbulent flows. We consider a simplified k-e model with distributed controls, locally supported in space. We proof that the system is partially locally null-controllable, in the sense that the velocity field can be driven exactly to zero if the initial state is small enough. The proof relies on an argument where we have concatenated several techniques: fixed-point formulation, linearization, energy and Carleman estimates, local inversion, etc. Ths result can be viewed as a nontrivial step towards the control of turbulent fluids.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Pulse vaccination in a SIR model: global dynamics, bifurcations and seasonality
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it…
▽ More
We analyze a periodically-forced dynamical system inspired by the SIR model with impulsive vaccination. We fully characterize its dynamics according to the proportion $p$ of vaccinated individuals and the time $T$ between doses. If the basic reproduction number is less than 1 (i.e. $\mathcal{R}_p<1$), then we obtain precise conditions for the existence and global stability of a disease-free it $T$-periodic solution. Otherwise, if $\mathcal{R}_p>1$, then a globally stable $T$-periodic solution emerges with positive coordinates.
We draw a bifurcation diagram $(T,p)$ and we describe the associated bifurcations. We also find analytically and numerically chaotic dynamics by adding seasonality to the disease transmission rate. In a realistic context, low vaccination coverage and intense seasonality may result in unpredictable dynamics. Previous experiments have suggested chaos in periodically-forced biological impulsive models, but no analytic proof has been given.
△ Less
Submitted 1 August, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
On Pareto equilibria for bi-objective diffusive optimal control problems
Authors:
Pitágoras P. de Carvalho,
Enrique Fernández-Cara,
Juan Límaco,
Denilson Menezes,
Yuri Thamsten
Abstract:
We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical met…
▽ More
We investigate Pareto equilibria for bi-objective optimal control problems. Our framework comprises the situation in which an agent acts with a distributed control in a portion of a given domain, and aims to achieve two distinct (possibly conflicting) targets. We analyze systems governed by linear and semilinear heat equations and also systems with multiplicative controls. We develop numerical methods relying on a combination of finite elements and finite differences. We illustrate the computational methods we develop via numerous experiments.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Local null controllability of a class of non-Newtonian incompressible viscous fluids
Authors:
Pitágoras de Carvalho,
Juan Límaco,
Denilson Menezes,
Yuri Thamsten
Abstract:
We investigate the null controllability property of systems that mathematically describe the dynamics of some non-Newtonian incompressible viscous flows. The principal model we study was proposed by O. A. Ladyzhenskaya, although the techniques we develop here apply to other fluids having a shear-dependent viscosity. Taking advantage of the Pontryagin Minimum Principle, we utilize a bootstrapping a…
▽ More
We investigate the null controllability property of systems that mathematically describe the dynamics of some non-Newtonian incompressible viscous flows. The principal model we study was proposed by O. A. Ladyzhenskaya, although the techniques we develop here apply to other fluids having a shear-dependent viscosity. Taking advantage of the Pontryagin Minimum Principle, we utilize a bootstrapping argument to prove that sufficiently smooth controls to the forced linearized Stokes problem exist, as long as the initial data in turn has enough regularity. From there, we extend the result to the nonlinear problem. As a byproduct, we devise a quasi-Newton algorithm to compute the states and a control, which we prove to converge in an appropriate sense. We finish the work with some numerical experiments.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
SIR model with vaccination: bifurcation analysis
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where…
▽ More
There are few adapted SIR models in the literature that combine vaccination and logistic growth. In this article, we study bifurcations of a SIR model where the class of Susceptible individuals grows logistically and has been subject to constant vaccination. We explicitly prove that the endemic equilibrium is a codimension two singularity in the parameter space $(\mathcal{R}_0, p)$, where $\mathcal{R}_0$ is the basic reproduction number and $p$ is the proportion of Susceptible individuals successfully vaccinated at birth.
We exhibit explicitly the Hopf, transcritical, Belyakov, heteroclinic and saddle-node bifurcation curves unfolding the singularity. The two parameters $(\mathcal{R}_0, p)$ are written in a useful way to evaluate the proportion of vaccinated individuals necessary to eliminate the disease and to conclude how the vaccination may affect the outcome of the epidemic. We also exhibit the region in the parameter space where the disease persists and we illustrate our main result with numerical simulations, emphasizing the role of the parameters.
△ Less
Submitted 25 April, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
On the Computation of Hierarchical Control results for One-Dimensional Transmission Line
Authors:
Pitágoras P. de Carvalho,
Olímpio P. de Sá Neto
Abstract:
In this paper, motivated by a physics problem, we investigate some numerical and computational aspects for the problem of hierarchical controllability in a one-dimensional wave equation in domains with a moving boundary. Some controls act in part of the boundary and define a strategy of equilibrium between them, considering a leader control and a follower. Thus, we introduced the concept of hierar…
▽ More
In this paper, motivated by a physics problem, we investigate some numerical and computational aspects for the problem of hierarchical controllability in a one-dimensional wave equation in domains with a moving boundary. Some controls act in part of the boundary and define a strategy of equilibrium between them, considering a leader control and a follower. Thus, we introduced the concept of hierarchical control to solve the problem and mapped the Stackelberg Strategy between these controls. A total discretization of the problem is presented for a numerical evaluation in spaces of finite dimension, an algorithm for evaluation of the problem is presented as the combination of finite element method (FEM) and finite difference method (FDM). The algorithm efficiency and computational results are illustrated for some experiments using the softwares Freefem++ and MatLab.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
A fractional-order model for CoViD-19 dynamics with reinfection and the importance of quarantine
Authors:
João P. S. Maurício de Carvalho,
Beatriz Moreira-Pinto
Abstract:
Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19…
▽ More
Coronavirus disease 2019 (CoViD-19) is an infectious disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Among many symptoms, cough, fever and tiredness are the most common. People over 60 years old and with associated comorbidities are most likely to develop a worsening health condition. This paper proposes a non-integer order model to describe the dynamics of CoViD-19 in a standard population. The model incorporates the reinfection rate in the individuals recovered from the disease. Numerical simulations are performed for different values of the order of the fractional derivative and of reinfection rate. The results are discussed from a biological point of view.
△ Less
Submitted 19 July, 2021; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Strange attractors in a dynamical system inspired by a seasonally forced SIR model
Authors:
João P. S. Maurício de Carvalho,
Alexandre A. Rodrigues
Abstract:
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where…
▽ More
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of \emph{Infectious} individuals due to a \emph{backward bifurcation}. Using the theory of rank-one attractors, for an open subset in the space of parameters where $\mathcal{R}_0<1$, the flow exhibits \emph{persistent strange attractors}. These sets are not confined to a tubular neighbourhood in the phase space, are numerically observable and shadow the ghost of a two-dimensional invariant torus. Although numerical experiments have already suggested that periodically-forced biological models may exhibit observable chaos, a rigorous proof was not given before. Our results agree well with the empirical belief that intense seasonality induces chaos.
This work provides a preliminary investigation of the interplay between seasonality, deterministic dynamics and the prevalence of strange attractors in a nonlinear forced system inspired by biology.
△ Less
Submitted 21 March, 2022; v1 submitted 24 March, 2021;
originally announced March 2021.
-
A novel approach to understanding CoViD-19: exploring the interplay of SARS-CoV-2 and CTL response
Authors:
João Paulo Simões Maurício de Carvalho
Abstract:
Facing a global challenge with over 6.9 million fatalities, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the causative agent of CoViD-19, demands novel and comprehensive approaches to understand its complex dynamics. This paper introduces a non-integer order model, capturing the intricate interplay between SARS-CoV-2 and the host's cytotoxic T lymphocytes (CTLs) response. Our work…
▽ More
Facing a global challenge with over 6.9 million fatalities, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the causative agent of CoViD-19, demands novel and comprehensive approaches to understand its complex dynamics. This paper introduces a non-integer order model, capturing the intricate interplay between SARS-CoV-2 and the host's cytotoxic T lymphocytes (CTLs) response. Our work reveals a unique parameter space, in which an endemic state of SARS-CoV-2 and a CTL response-free equilibrium can coexist -- a crucial finding in our quest to decipher this pervasive virus. We further explore the basic reproduction number, assessing how different model parameters can potentially inhibit or fuel the infection's progression. Through extensive numerical simulations, we scrutinize the impact of varying the order of the fractional derivative and employing diverse CTL proliferation functions. This study significantly enriches our understanding of CoViD-19 immunopathology, offering invaluable insights that could guide future research and therapeutic strategies.
△ Less
Submitted 1 June, 2023; v1 submitted 16 March, 2021;
originally announced March 2021.
-
The First Birkhoff Coefficient and the Stability of 2-Periodic Orbits on Billiards
Authors:
Sylvie Oliffson Kamphorst,
Sonia Pinto de Carvalho
Abstract:
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill…
▽ More
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill the supplementary conditions for strictly convex billiards.
△ Less
Submitted 14 October, 2004;
originally announced October 2004.
-
Elliptic Islands on Strictly Convex Billiards
Authors:
Mario Jorge Dias Carneiro,
Sylvie Oliffson Kamphorst,
Sonia Pinto De Carvalho
Abstract:
This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our ma…
▽ More
This paper addresses the question of genericity of existence of elliptic islands for the billiard map associated to strictly convex closed curves. More precisely, we study 2-periodic orbits of billiards associated to C5 closed and strictly convex curves and show that the existence of elliptic islands is a dense property on the subset of those billiards having an elliptic 2-periodic point. Our main tools are normal perturbations, the Birkhoff Normal Form for elliptic fixed points and Moser's Twist Theorem.
△ Less
Submitted 11 January, 2002;
originally announced January 2002.
-
Elliptic Islands on the Elliptical Stadium
Authors:
Sylvie Oliffson Kamphorst,
Sonia Pinto de Carvalho
Abstract:
We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different…
▽ More
We investigate the existence of elliptic islands for a special family of periodic orbits of a two-parameter family of maps corresponding to the billiard problem on the elliptical stadium. The hyperbolic or elliptical character of these orbits is also investigated. Depending on the parameters, we obtain upper bounds of ellipticity for this special family as a lower bound for chaos. On a different region of the parameter space, we can prove that there is no upper bound for the existence of elliptic islands. The main results we use are Birkhoff Normal Form and Moser's Twist Theorem.
△ Less
Submitted 22 September, 2000;
originally announced September 2000.
