No Arabic abstract
We consider a nonlinear reaction diffusion system of parabolic type known as the monodomain equations, which model the interaction of the electric current in a cell. Together with the FitzHugh-Nagumo model for the nonlinearity they represent defibrillation processes of the human heart. We study a fairly general type with co-located inputs and outputs describing both boundary and distributed control and observation. The control objective is output trajectory tracking with prescribed performance. To achieve this we employ the funnel controller, which is model-free and of low complexity. The controller introduces a nonlinear and time-varying term in the closed-loop system, for which we prove existence and uniqueness of solutions. Additionally, exploiting the parabolic nature of the problem, we obtain Holder continuity of the state, inputs and outputs. We illustrate our results by a simulation of a standard test example for the termination of reentry waves.
We investigate the stability of traveling-pulse solutions to the stochastic FitzHugh-Nagumo equations with additive noise. Special attention is given to the effect of small noise on the classical deterministically stable traveling pulse. Our method is based on adapting the velocity of the traveling wave by solving a stochastic ordinary differential equation (SODE) and tracking perturbations to the wave meeting a stochastic partial differential equation (SPDE) coupled to an ordinary differential equation (ODE). This approach has been employed by Kruger and Stannat for scalar stochastic bistable reaction-diffusion equations such as the Nagumo equation. A main difference in our situation of an SPDE coupled to an ODE is that the linearization around the traveling wave is not self-adjoint anymore, so that fluctuations around the wave cannot be expected to be orthogonal in a corresponding inner product. We demonstrate that this problem can be overcome by making use of Riesz instead of orthogonal spectral projections. We expect that our approach can also be applied to traveling waves and other patterns in more general situations such as systems of SPDEs that are not self-adjoint. This provides a major generalization as these systems are prevalent in many applications.
In this article, we construct and analyse explicit numerical splitting methods for a class of semi-linear stochastic differential equations (SDEs) with additive noise, where the drift is allowed to grow polynomially and satisfies a global one-sided Lipschitz condition. The methods are proved to be mean-square convergent of order 1 and to preserve important structural properties of the SDE. In particular, first, they are hypoelliptic in every iteration step. Second, they are geometrically ergodic and have asymptotically bounded second moments. Third, they preserve oscillatory dynamics, such as amplitudes, frequencies and phases of oscillations, even for large time steps. Our results are illustrated on the stochastic FitzHugh-Nagumo model and compared with known mean-square convergent tamed/truncated variants of the Euler-Maruyama method. The capability of the proposed splitting methods to preserve the aforementioned properties makes them applicable within different statistical inference procedures. In contrast, known Euler-Maruyama type methods commonly fail in preserving such properties, yielding ill-conditioned likelihood-based estimation tools or computationally infeasible simulation-based inference algorithms.
We use geometric singular perturbation techniques combined with an action functional approach to study traveling pulse solutions in a three-component FitzHugh--Nagumo model. First, we derive the profile of traveling $1$-pulse solutions with undetermined width and propagating speed. Next, we compute the associated action functional for this profile from which we derive the conditions for existence and a saddle-node bifurcation as the zeros of the action functional and its derivatives. We obtain the same conditions by using a different analytical approach that exploits the singular limit of the problem. We also apply this methodology of the action functional to the problem for traveling $2$-pulse solutions and derive the explicit conditions for existence and a saddle-node bifurcation. From these we deduce a necessary condition for the existence of traveling $2$-pulse solutions. We end this article with a discussion related to Hopf bifurcations near the saddle-node bifurcation.
The existence of a random attractor for the stochastic FitzHugh-Nagumo system defined on an unbounded domain is established. The pullback asymptotic compactness of the stochastic system is proved by uniform estimates on solutions for large space and time variables. These estimates are obtained by a cut-off technique.
We propose an optimal control approach in order to identify the nonlinearity in the monodomain model, from given data. This data-driven approach gives an answer to the problem of selecting the model when studying phenomena related to cardiac electrophysiology. Instead of determining coefficients of a prescribed model (like the FitzHugh-Nagumo model for instance) from empirical observations, we design the model itself, in the form of an artificial neural network. The relevance of this approach relies on the capacity approximations of neural networks. We formulate this inverse problem as an optimal control problem, and provide mathematical analysis and derivation of optimality conditions. One of the difficulties comes from the lack of smoothness of activation functions which are classically used for training neural networks. Numerical simulations demonstrate the feasibility of the strategy proposed in this work.