arXiv subjects

Sylvain Ervedoza

Publications and source records attributed to Sylvain Ervedoza.

18 recordsLinked to original sources

arXiv2026

Observability of wave and plate equations with rough coefficients and interfaces: a multiplier approach

The goal of this article is to derive observability properties for wave and plate equations with rough coefficients in the principal part, including the case of interfaces, through a regularization process. Specifically, we demonstrate that if a singular coefficient can be approximated by a sequence of smooth coefficients corresponding to uniformly observable systems, then the observability inequalities can be passed to the limit. This allows us to derive observability properties for the limit system. While this strategy is natural, we show that it can be used to establish new observability results in several settings, particularly in the presence of interfaces meeting the boundary, or multiple interfaces intersecting at a point, under a suitable multiplier-type condition that imposes sign constraints on the jumps of the coefficients at the interfaces. A key advantage of this approach is that it avoids the need for a detailed analysis of the regularity of solutions near the sets where the coefficients are singular.

math.AP↗

arXiv2025

Event triggered control and exponential stability for infinite dimensional linear systems $\star$

This article aims at providing a unified analysis of the exponential stabilization of some abstract infinite dimensional systems undergoing an event-triggering mechanism that samples the control input. The partial differential equation is supposed to be defined by a skew-adjoint operator and controlled and observed through bounded operators. The continuously controlled closed loop system is assumed to be exponentially stable and the goal is to prove that a well-designed event-triggering mechanism to rule the time updates of the sampled control will allow to keep such a stability property. The key of the proof relies on the existence of an adequate Lyapunov functional. Existence and regularity of the solution to the closed-loop event-triggered system are also proven, along with the avoidance of Zeno behavior.

math.AP↗

arXiv2025

On the reachable space for parabolic equations

In this article, we provide a description of the reachable space for the heat equation with various lower order terms, set in the euclidean ball of $\mathbb{R}^d$ centered at $0$ and of radius one and controlled from the whole external boundary. Namely, we consider the case of linear heat equations with lower order terms of order $0$ and $1$, and the case of a semilinear heat equations. In the linear case, we prove that any function which can be extended as an holomorphic function in a set of the form $Ω_α= \{ z\in\mathbb{C}^d \big| |\Re(z)| + α|\Im(z)| < 1\}$ for some $α\in (0,1)$ and which admits a continuous extension up to $\overlineΩ_α$ belongs to the reachable space. In the semilinear case, we prove a similar result for sufficiently small data. Our proofs are based on well-posedness results for the heat equation in a suitable space of holomorphic functions over $Ω_α$ for $α> 1$.

math.AP↗

arXiv2024

Quantitative unique continuation for non-regular perturbations of the Laplacian

In this work, we investigate the quantitative estimates of the unique continuation property for solutions of an elliptic equation $Δu = V u + W_1 \cdot \nabla u + \hbox{div} (W_2 u)$ in an open, connected subset of $\mathbb{R}^d$, where $d \geq 3$. Here, $V \in L^{q_0}$, $W_1 \in L^{q_1}$, and $W_2 \in L^{q_2}$ with $q_0 > d/2$, $q_1 > d$, and $q_2 > d$. Our aim is to provide an explicit quantification of the unique continuation property with respect to the norms of the potentials. To achieve this, we revisit the Carleman estimates established in [Dehman-Ervedoza-Thabouti-2023] and prove a refined version of them, and we combine them with an argument due to T. Wolff introduced in [Wolff-1992] for the proof of unique continuation for solutions of equations of the form $Δu = V u + W_1 \cdot \nabla u$.

math.AP↗

arXiv2022

Insensitizing controls for the heat equation with respect to boundary variations

This article is dedicated to insensitization issues of a quadratic functional involving the solution of the linear heat equation with respect to domains variations. This work can be seen as a continuation of [P. Lissy, Y. Privat, and Y. Simporé. Insensitizing control for linear and semi-linear heat equations with partially unknown domain. ESAIM Control Optim. Calc. Var., 25:Art. 50, 21, 2019], insofar as we generalize several of the results it contains and investigate new related properties. In our framework, we consider boundary variations of the spatial domain on which the solution of the PDE is defined at each time, and investigate three main issues: (i) approximate insensitization, (ii) approximate insensitization combined with an exact insensitization for a finite-dimensional subspace, and (iii) exact insensitization. We provide positive answers to questions (i) and (ii) and partial results to question (iii).

math.AP↗

arXiv2020

Control issues and linear projection constraints on the control and on the controlled trajectory

The goal of this article is to discuss controllability properties for an abstract linear system of the form $y' = Ay + Bu$ under some additional linear projection constraints on the control $u$ or / and on the controlled trajectory $y$. In particular, we discuss the possibility of imposing the linear projections of the controlled trajectory and of the control, in the context of approximate controllability, exact controllability and null-controllability. As it turns out, in all these settings, for being able to impose linear projection constraints on the trajectory and on the control, we will strongly rely on a unique continuation property for the adjoint system which, to our knowledge, has not been identified so far, and which does not seem classical. We shall therefore provide several instances in which this unique continuation property can be checked.

math.AP↗

arXiv2020

Switching Controls for Analytic Semigroups and Applications to Parabolic Systems

In this work, we push further the analysis of the problem of switching controls proposed in [E. Zuazua, Switching control, J. Eur. Math. Soc. (JEMS), 13(1): 85--117, 2011]. The problem consists in the following one: assuming that one can control a system using two or more actuators, does there exist a control strategy such that at all times, only one actuator is active? We answer positively to this question when the controlled system corresponds to an analytic semigroup spanned by a positive self-adjoint operator which is null-controllable in arbitrary small times. Similarly as the argument of E. Zuazua, our proof relies on analyticity arguments and will also work in finite dimensional setting and under some further spectral assumptions when the operator spans an analytic semigroup but is not necessarily self-adjoint.

math.OC↗

arXiv2018

A conservation law with spatially localized sublinear damping

We consider a general conservation law on the circle, in the presence of a sublinear damping. If the damping acts on the whole circle, then the solution becomes identically zero in finite time, following the same mechanism as the corresponding ordinary differential equation. When the damping acts only locally in space, we show a dichotomy: if the flux function is not zero at the origin, then the transport mechanism causes the extinction of the solution in finite time, as in the first case. On the other hand, if zero is a non-degenerate critical point of the flux function, then the solution becomes extinct in finite time only inside the damping zone, decays algebraically uniformly in space, and we exhibit a boundary layer, shrinking with time, around the damping zone. Numerical illustrations show how similar phenomena may be expected for other equations.

math.AP↗

arXiv2016

Convergent algorithm based on Carleman estimates for the recovery of a potential in the wave equation

This article develops the numerical and theoretical study of a reconstruction algorithm of a potential in a wave equation from boundary measurements, using a cost functional built on weighted energy terms coming from a Carleman estimate. More precisely, this inverse problem for the wave equation consists in the determination of an unknown time-independent potential from a single measurement of the Neumann derivative of the solution on a part of the boundary. While its uniqueness and stability properties are already well known and studied, a constructive and globally convergent algorithm based on Carleman estimates for the wave operator was recently proposed in [L. Baudouin, M. de Buhan and S. Ervedoza, Global carleman estimates for waves and applications, Comm. Partial Differential Equations 38 (2013), no. 5]. However, the numerical implementation of this strategy still presents several challenges, that we propose to address here.

math.NA↗

arXiv2016

On the reachable set for the one-dimensional heat equation

The goal of this article is to provide a description of the reachable set of the one-dimensional heat equation, set on the spatial domain x $\in$ (--L, L) with Dirichlet boundary controls acting at both boundaries. Namely, in that case, we shall prove that for any L0 \textgreater{} L any function which can be extended analytically on the square {x + iy, |x| + |y| $\le$ L0} belongs to the reachable set. This result is nearly sharp as one can prove that any function which belongs to the reachable set can be extended analytically on the square {x + iy, |x| + |y| \textless{} L}. Our method is based on a Carleman type estimate and on Cauchy's formula for holomorphic functions.

math.OC↗

arXiv2015

Local exact controllability for the 2 and 3-d compressible Navier-Stokes equations

The goal of this article is to present a local exact controllability result for the 2 and 3-dimensional compressible Navier-Stokes equations on a constant target trajectory when the controls act on the whole boundary. Our study is then based on the observability of the adjoint system of some linearized version of the system, which is analyzed thanks to a subsystem for which the coupling terms are somewhat weaker. In this step, we strongly use Carleman estimates in negative Sobolev spaces.

math.AP↗

arXiv2015

Dissipative boundary conditions for $2\times 2$ hyperbolic systems of conservation laws for entropy solutions in BV

In this article, we investigate the BV stability of $2\times 2$ hyperbolic systems of conservation laws with strictly positive velocities under dissipative boundary conditions. More precisely, we derive sufficient conditions guaranteeing the exponential stability of the system under consideration for entropy solutions in BV. Our proof is based on a front tracking algorithm used to construct approximate piecewise constants solutions whose BV norms are controlled through a Lyapunov functional. This Lyapunov functional is inspired by the one proposed in J. Glimm's seminal work [J. Glimm, Comm. Pure Appl. Math., 18:697--715, 1965], modified with some suitable weights in the spirit of the previous works [J.-M. Coron, G. Bastin, and B. d'Andréa Novel, SIAM J. Control Optim., 47(3):1460--1498, 2008] and [J.-M. Coron, B. d'Andréa Novel, and G. Bastin, IEEE Trans. Automat. Control, 52(1):2--11, 2007].

math.AP↗

arXiv2014

Stability of an inverse problem for the discrete wave equation and convergence results

Using uniform global Carleman estimates for discrete elliptic and semi-discrete hyperbolic equations, we study Lipschitz and logarithmic stability for the inverse problem of recovering a potential in a semi-discrete wave equation, discretized by finite differences in a 2-d uniform mesh, from boundary or internal measurements. The discrete stability results, when compared with their continuous counterparts, include new terms depending on the discretization parameter h. From these stability results, we design a numerical method to compute convergent approximations of the continuous potential.

math.AP↗

arXiv2014

Local controllability to trajectories for non-homogeneous 2-d incompressible Navier-Stokes equations

The goal of this article is to show a local exact controllability to smooth (C2) trajectories for the 2-d density dependent incompressible Navier-Stokes equations. Our controllability result requires some geometric condition on the ow of the target trajectory, which is remanent from the transport equation satisfied by the density. The proof of this result uses a fixed point argument in suitable spaces adapted to a Carleman weight function that follows the ow of the target trajectory. Our result requires the proof of new Carleman estimates for heat and Stokes equations.

math.AP↗

arXiv2013

Global Carleman estimates for waves and applications

In this article, we extensively develop Carleman estimates for the wave equation and give some applications. We focus on the case of an observation of the flux on a part of the boundary satisfying the Gamma conditions of Lions. We will then consider two applications. The first one deals with the exact controllability problem for the wave equation with potential. Following the duality method proposed by Fursikov and Imanuvilov in the context of parabolic equations, we propose a constructive method to derive controls that weakly depend on the potentials. The second application concerns an inverse problem for the waves that consists in recovering an unknown time-independent potential from a single measurement of the flux. In that context, our approach does not yield any new stability result, but proposes a constructive algorithm to rebuild the potential. In both cases, the main idea is to introduce weighted functionals that contain the Carleman weights and then to take advantage of the freedom on the Carleman parameters to limit the influences of the potentials.

math.AP↗

arXiv2013

Transmutation techniques and observability for time-discrete approximation schemes of conservative systems

In this article, we consider abstract linear conservative systems and their time-discrete counterparts. Our main result is a representation formula expressing solutions of the continuous model through the solution of the corresponding time-discrete one. As an application, we show how observability properties for the time continuous model yield uniform (with respect to the time-step) observability results for its time-discrete approximation counterparts, provided the initial data are suitably filtered. The main output of this approach is the estimate on the time under which we can guarantee uniform observability for the time-discrete models. Besides, using a reverse representation formula, we also prove that this estimate on the time of uniform observability for the time-discrete models is sharp. We then conclude with some general comments and open problems.

math.AP↗

arXiv2013

Long-time behavior for the two-dimensional motion of a disk in a viscous fluid

In this article, we study the long-time behavior of solutions of the two-dimensional fluid-rigid disk problem. The motion of the fluid is modeled by the two-dimensional Navier-Stokes equations, and the disk moves under the influence of the forces exerted by the viscous fluid. We first derive $L^p$-$L^q$ decay estimates for the linearized equations and compute the first term in the asymptotic expansion of the solutions of the linearized equations. We then apply these computations to derive time-decay estimates for the solutions to the full Navier-Stokes fluid-rigid disk system.

math.AP↗

arXiv2011

Convergence of an inverse problem for discrete wave equations

It is by now well-known that one can recover a potential in the wave equation from the knowledge of the initial waves, the boundary data and the flux on a part of the boundary satisfying the Gamma-conditions of J.-L. Lions. We are interested in proving that trying to fit the discrete fluxes, given by discrete approximations of the wave equation, with the continuous one, one recovers, at the limit, the potential of the continuous model. In order to do that, we shall develop a Lax-type argument, usually used for convergence results of numerical schemes, which states that consistency and uniform stability imply convergence. In our case, the most difficult part of the analysis is the one corresponding to the uniform stability, that we shall prove using new uniform discrete Carleman estimates, where uniform means with respect to the discretization parameter. We shall then deduce a convergence result for the discrete inverse problems. Our analysis will be restricted to the 1-d case for space semi-discrete wave equations discretized on a uniform mesh using a finite differences approach.

math.AP↗