-
The impact of high frequency-based stability on the onset of action potentials in neuron models
Authors:
Eduardo Cerpa,
Nathaly Corrales,
Matías Courdurier,
Leonel E. Medina,
Esteban Paduro
Abstract:
This paper studies the phenomenon of conduction block in model neurons using high-frequency biphasic stimulation (HFBS). The focus is investigating the triggering of undesired onset action potentials when the HFBS is turned on. The approach analyzes the transient behavior of an averaged system corresponding to the FitzHugh-Nagumo neuron model using Lyapunov and quasi-static methods. The first resu…
▽ More
This paper studies the phenomenon of conduction block in model neurons using high-frequency biphasic stimulation (HFBS). The focus is investigating the triggering of undesired onset action potentials when the HFBS is turned on. The approach analyzes the transient behavior of an averaged system corresponding to the FitzHugh-Nagumo neuron model using Lyapunov and quasi-static methods. The first result provides a more comprehensive understanding of the onset activation through a mathematical proof of how to avoid it using a ramp in the amplitude of the oscillatory source. The second result tests the response of the blocked system to a piecewise linear stimulus, providing a quantitative description of how the HFBS strength translates into conduction block robustness. The results of this work can provide insights for the design of electrical neurostimulation therapies.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Stability analysis of a linear system coupling wave and heat equations with different time scales
Authors:
Gonzalo Arias,
Eduardo Cerpa,
Swann Marx
Abstract:
In this paper we consider a system coupling a wave equation with a heat equation through its boundary conditions. The existence of a small parameter in the heat equation, as a factor multiplying the time derivative, implies the existence of different time scales between the constituents of the system. This suggests the idea of applying a singular perturbation method to study stability properties.…
▽ More
In this paper we consider a system coupling a wave equation with a heat equation through its boundary conditions. The existence of a small parameter in the heat equation, as a factor multiplying the time derivative, implies the existence of different time scales between the constituents of the system. This suggests the idea of applying a singular perturbation method to study stability properties. In fact, we prove that this method works for the system under study. Using this strategy, we get the stability of the system and a Tikhonov theorem, which allows us to approximate the solution of the coupled system using some appropriate uncoupled subsystems.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Approximation and stability results for the parabolic FitzHugh-Nagumo system with combined rapidly oscillating sources
Authors:
Eduardo Cerpa,
Matías Courdurier,
Esteban Hernández,
Leonel E. Medina,
Esteban Paduro
Abstract:
The use of high-frequency currents in neurostimulation has received increased attention in recent years due to its varied effects on tissues and cells. Neurons are commonly modeled as nonlinear systems, and questions such as stability can thus be addressed with well-known averaging methods. A recent strategy called interferential currents uses electrodes delivering sinusoidal signals of slightly d…
▽ More
The use of high-frequency currents in neurostimulation has received increased attention in recent years due to its varied effects on tissues and cells. Neurons are commonly modeled as nonlinear systems, and questions such as stability can thus be addressed with well-known averaging methods. A recent strategy called interferential currents uses electrodes delivering sinusoidal signals of slightly different frequencies, and thus classical averaging (well-adapted to deal with a single frequency) cannot be directly applied. In this paper, we consider the one-dimensional FitzHugh-Nagumo system under the effects of a source composed of two terms that are sinusoidal in time and quadratically decaying in space. To study this setting we develop a new averaging strategy to prove that, when the frequencies involved are sufficiently high, the full system can be approximated by an explicit highly-oscillatory term plus the solution of a simpler -- albeit non-autonomous -- system. This decomposition can be seen as a stability result around a varying trajectory. One of the main novelties of the proofs presented here is an extension of the contracting rectangles method to the case of parabolic equations with space and time-depending coefficients.
△ Less
Submitted 19 May, 2023; v1 submitted 28 April, 2023;
originally announced May 2023.
-
Singular perturbation analysis for a coupled KdV-ODE system
Authors:
Swann Marx,
Eduardo Cerpa
Abstract:
Asymptotic stability is with no doubts an essential property to be studied for any system. This analysis often becomes very difficult for coupled systems and even harder when different timescales appear. The singular perturbation method allows to decouple a full system into what are called the reduced order system and the boundary layer system, to get simpler stability conditions for the original…
▽ More
Asymptotic stability is with no doubts an essential property to be studied for any system. This analysis often becomes very difficult for coupled systems and even harder when different timescales appear. The singular perturbation method allows to decouple a full system into what are called the reduced order system and the boundary layer system, to get simpler stability conditions for the original system. In the infinite-dimensional setting, we do not have a general result making sure this strategy works. This papers is devoted to this analysis for some systems coupling the Korteweg-the Vries equation and an ordinary differential equation with different timescales. More precisely, We obtain stability results and Tikhonov-type theorems.
△ Less
Submitted 6 December, 2022; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Rapid Exponential Stabilization of a Boussinesq System of KdV--KdV Type
Authors:
Roberto de A. Capistrano Filho,
Eduardo Cerpa,
Fernando A. Gallego
Abstract:
This paper studies the exponential stabilization of a Boussinesq system describing the two-way propagation of small amplitude gravity waves on the surface of an ideal fluid, the so-called Boussinesq system of the Korteweg-de Vries type. We use a Gramian-based method introduced by Urquiza to design our feedback control. By means of spectral analysis and Fourier expansion, we show that the solutions…
▽ More
This paper studies the exponential stabilization of a Boussinesq system describing the two-way propagation of small amplitude gravity waves on the surface of an ideal fluid, the so-called Boussinesq system of the Korteweg-de Vries type. We use a Gramian-based method introduced by Urquiza to design our feedback control. By means of spectral analysis and Fourier expansion, we show that the solutions of the linearized system decay uniformly to zero when the feedback control is applied. The decay rate can be chosen as large as we want. The main novelty of our work is that we can exponentially stabilize this system of two coupled equations using only one scalar input.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Local Exact Controllability to the Trajectories of the Korteweg-de Vries-Burgers Equation on a Bounded Domain with Mixed Boundary Conditions
Authors:
Eduardo Cerpa,
Cristhian Montoya,
Bingyu Zhang
Abstract:
This paper studies the internal control of the Korteweg-de Vries-Burgers (KdVB) equation on a bounded domain. The diffusion coefficient is time-dependent and the boundary conditions are mixed in the sense that homogeneous Dirichlet and periodic Neumann boundary conditions are considered. The exact controllability to the trajectories is proven for a linearized system by using duality and getting a…
▽ More
This paper studies the internal control of the Korteweg-de Vries-Burgers (KdVB) equation on a bounded domain. The diffusion coefficient is time-dependent and the boundary conditions are mixed in the sense that homogeneous Dirichlet and periodic Neumann boundary conditions are considered. The exact controllability to the trajectories is proven for a linearized system by using duality and getting a new Carleman estimate. Then, using an inversion theorem we deduce the local exact controllability to the trajectories for the original KdVB equation, which is nonlinear.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Output feedback stabilization of the Korteweg-de Vries equation *
Authors:
Swann Marx,
Eduardo Cerpa
Abstract:
This paper presents an output feedback control law for the Korteweg-de Vries equation. The control design is based on the backstep** method and the introduction of an appropriate observer. The local exponential stability of the closed-loop system is proven. Some numerical simulations are shown to illustrate this theoretical result.
This paper presents an output feedback control law for the Korteweg-de Vries equation. The control design is based on the backstep** method and the introduction of an appropriate observer. The local exponential stability of the closed-loop system is proven. Some numerical simulations are shown to illustrate this theoretical result.
△ Less
Submitted 27 September, 2016; v1 submitted 20 September, 2016;
originally announced September 2016.
-
Global stabilization of a Korteweg-de Vries equation with saturating distributed control
Authors:
Swann Marx,
Eduardo Cerpa,
Christophe Prieur,
Vincent Andrieu
Abstract:
This article deals with the design of saturated controls in the context of partial differential equations. It focuses on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. Two different types of saturated controls are considered. The well-posedness is proven applying a Banach fixed point theorem, using some estimates of this equation and some…
▽ More
This article deals with the design of saturated controls in the context of partial differential equations. It focuses on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. Two different types of saturated controls are considered. The well-posedness is proven applying a Banach fixed point theorem, using some estimates of this equation and some properties of the saturation function. The proof of the asymptotic stability of the closed-loop system is separated in two cases: i) when the control acts on all the domain, a Lyapunov function together with a sector condition describing the saturating input is used to conclude on the stability, ii) when the control is localized, we argue by contradiction. Some numerical simulations illustrate the stability of the closed-loop nonlinear partial differential equation. 1. Introduction. In recent decades, a great effort has been made to take into account input saturations in control designs (see e.g [39], [15] or more recently [17]). In most applications, actuators are limited due to some physical constraints and the control input has to be bounded. Neglecting the amplitude actuator limitation can be source of undesirable and catastrophic behaviors for the closed-loop system. The standard method to analyze the stability with such nonlinear controls follows a two steps design. First the design is carried out without taking into account the saturation. In a second step, a nonlinear analysis of the closed-loop system is made when adding the saturation. In this way, we often get local stabilization results. Tackling this particular nonlinearity in the case of finite dimensional systems is already a difficult problem. However, nowadays, numerous techniques are available (see e.g. [39, 41, 37]) and such systems can be analyzed with an appropriate Lyapunov function and a sector condition of the saturation map, as introduced in [39]. In the literature, there are few papers studying this topic in the infinite dimensional case. Among them, we can cite [18], [29], where a wave equation equipped with a saturated distributed actuator is studied, and [12], where a coupled PDE/ODE system modeling a switched power converter with a transmission line is considered. Due to some restrictions on the system, a saturated feedback has to be designed in the latter paper. There exist also some papers using the nonlinear semigroup theory and focusing on abstract systems ([20],[34],[36]). Let us note that in [36], [34] and [20], the study of a priori bounded controller is tackled using abstract nonlinear theory. To be more specific, for bounded ([36],[34]) and unbounded ([34]) control operators, some conditions are derived to deduce, from the asymptotic stability of an infinite-dimensional linear system in abstract form, the asymptotic stability when closing the loop with saturating controller. These articles use the nonlinear semigroup theory (see e.g. [24] or [1]). The Korteweg-de Vries equation (KdV for short)
△ Less
Submitted 19 September, 2016;
originally announced September 2016.
-
Global stabilization of a Korteweg-de Vries equation with a distributed control saturated in L 2 -norm
Authors:
Swann Marx,
Eduardo Cerpa,
Christophe Prieur,
Vincent Andrieu
Abstract:
This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. The aim of this article is to study the influence of a saturating in L 2-norm distributed control on the well-posedness and the stability of this equation. The well-posed…
▽ More
This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a Korteweg-de Vries equation, which is a nonlinear mathematical model of waves on shallow water surfaces. The aim of this article is to study the influence of a saturating in L 2-norm distributed control on the well-posedness and the stability of this equation. The well-posedness is proven applying a Banach fixed point theorem. The proof of the asymptotic stability of the closed-loop system is tackled with a Lyapunov function together with a sector condition describing the saturating input. Some numerical simulations illustrate the stability of the closed-loop nonlinear partial differential equation.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Stabilization of a linear Korteweg-de Vries equation with a saturated internal control
Authors:
Swann Marx,
Eduardo Cerpa,
Christophe Prieur,
Vincent Andrieu
Abstract:
This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a linear Korteweg-de Vries equation, which is a mathematical model of waves on shallow water surfaces. In this article, we close the loop with a saturating input that renders the equation nonlinear. The well-posedness is proven thanks to the nonlinear semigroup theory. The pr…
▽ More
This article deals with the design of saturated controls in the context of partial differential equations. It is focused on a linear Korteweg-de Vries equation, which is a mathematical model of waves on shallow water surfaces. In this article, we close the loop with a saturating input that renders the equation nonlinear. The well-posedness is proven thanks to the nonlinear semigroup theory. The proof of the asymptotic stability of the closed-loop system uses a Lyapunov function.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
Output feedback control of the linear Korteweg-de Vries equation
Authors:
Swann Marx,
Eduardo Cerpa
Abstract:
- This paper presents the design of an output feedback control for a linear Korteweg-de Vries equation. This design is based on the backstep** method which uses a Volterra transformation. An appropriate observer is introduced and the exponential stability of the closed-loop system is proven.
- This paper presents the design of an output feedback control for a linear Korteweg-de Vries equation. This design is based on the backstep** method which uses a Volterra transformation. An appropriate observer is introduced and the exponential stability of the closed-loop system is proven.
△ Less
Submitted 1 March, 2015;
originally announced March 2015.
-
Boundary Controllability of the Korteweg-de Vries Equation on a Bounded Domain
Authors:
Eduardo Cerpa,
Ivonne Rivas,
Bing-Yu Zhang
Abstract:
This paper is devoted to study boundary controllability of the Korteweg-de Vries equation posed on a finite interval, in which, because of the third-order character of the equation, three boundary conditions are required to secure the well-posedness of the system. We consider the cases where one, two, or all three of those boundary data are employed as boundary control inputs. The system is first…
▽ More
This paper is devoted to study boundary controllability of the Korteweg-de Vries equation posed on a finite interval, in which, because of the third-order character of the equation, three boundary conditions are required to secure the well-posedness of the system. We consider the cases where one, two, or all three of those boundary data are employed as boundary control inputs. The system is first linearized around the origin and the corresponding linear system is shown to be exactly boundary controllable if using two or three boundary control inputs. In the case where only one control input is allowed to be used, the linearized system is known to be only \emph{null} controllable if the single control input acts on the left end of the spatial domain. By contrast, if the single control input acts on the right end of the spatial domain, the linearized system is exactly controllable if and only if the length of the spatial domain does not belong to a set of critical values. Moreover, the nonlinear system is shown to be locally exactly boundary controllable via contraction map** principle if the associated linearized system is exactly controllable.
△ Less
Submitted 16 September, 2012;
originally announced September 2012.
-
Lipschitz stability in an inverse problem for the Kuramoto-Sivashinsky equation
Authors:
Lucie Baudouin,
Eduardo Cerpa,
Emmanuelle Crépeau,
Alberto Mercado
Abstract:
This paper presents an inverse problem for the nonlinear 1-d Kuramoto-Sivashinsky (K-S) equation. More precisely, we study the nonlinear inverse problem of retrieving the anti-diffusion coefficient from the measurements of the solution on a part of the boundary and at some positive time everywhere. Uniqueness and Lipschitz stability for this inverse problem are proven with the Bukhgeim-Klibanov me…
▽ More
This paper presents an inverse problem for the nonlinear 1-d Kuramoto-Sivashinsky (K-S) equation. More precisely, we study the nonlinear inverse problem of retrieving the anti-diffusion coefficient from the measurements of the solution on a part of the boundary and at some positive time everywhere. Uniqueness and Lipschitz stability for this inverse problem are proven with the Bukhgeim-Klibanov method. The proof is based on a global Carleman estimate for the linearized K-S equation.
△ Less
Submitted 19 September, 2012; v1 submitted 19 August, 2010;
originally announced August 2010.