Search

This article presents an analysis of the stabilization of a multidimensional partial differential wave equation under a well designed event-triggering mechanism that samples the boundary control input. The wave equation is set in a bounded domain and the control is performed through a boundary classical damping term, where the Neumann boundary condition is made proportional to the velocity. First of all, existence and regularity of the solution to the closed-loop system under the event-triggering mechanism of the control are proven. Then, sufficient conditions based on the use of a specific Lyapunov functional are proposed in order to ensure that the solutions converge into a compact set containing the origin, that can be tuned by the designer. Furthermore, as expected, any Zeno behavior of the closed-loop system is avoided.

This paper aims at proposing a sufficient matrix inequality condition to carry out the global exponential stability of the wave equation under an event-triggering mechanism that updates a damping source term. The damping is distributed in the whole space but sampled in time. The wellposedness of the closed-loop event-triggered control system is shown. Furthermore, the avoidance of Zeno behavior is ensured provided that the initial data are more regular. The interest of the results is drawn through some numerical simulations.

The paper addresses the design of an event-triggering mechanism for a partial differential wave equation posed in a bounded domain. The wave equation is supposed to be controlled through a first order time derivative term distributed in the whole domain. Sufficient conditions based on the use of suitable Lyapunov functional are proposed to guarantee that an event-triggered distributed control still ensures the exponential stability of the closed-loop system. Moreover, the designed event-triggering mechanism allows to avoid the Zeno behavior. The 'existence and regularity' prerequisite properties of solutions for the closed loop system are also proven.

This article concerns the nonlinear Korteweg-de Vries equation with boundary time-delay feedback. Under appropriate assumption on the coefficients of the feedbacks (delayed or not), we first prove that this nonlinear infinite dimensional system is well-posed for small initial data. The main results of our study are two theorems stating the exponential stability of the nonlinear time delay system. Two different methods are employed: a Lyapunov functional approach (allowing to have an estimation on the decay rate, but with a restrictive assumption on the length of the spatial domain of the KdV equation) and an observability inequality approach, with a contradiction argument (for any non critical lengths but without estimation on the decay rate). Some numerical simulations are given to illustrate the results.

As a first approach to the study of systems coupling finite and infinite dimensional natures, this article addresses the stability of a system of ordinary differential equations coupled with a classic heat equation using a Lyapunov functional technique. Inspired from recent developments in the area of time delay systems, a new methodology to study the stability of such a class of distributed parameter systems is presented here. The idea is to use a polynomial approximation of the infinite dimensional state of the heat equation in order to build an enriched energy functional. A well known efficient integral inequality (Bessel inequality) will allow to obtain stability conditions expressed in terms of linear matrix inequalities. We will eventually test our approach on academic examples in order to illustrate the efficiency of our theoretical results.

This paper considers the stability problem of a linear time invariant system in feedback with a string equation. A new Lyapunov functional candidate is proposed based on the use of augmented states which enriches and encompasses the classical Lyapunov functional proposed in the literature. It results in tractable stability conditions expressed in terms of linear matrix inequalities. This methodology follows from the application of the Bessel inequality together with Legendre polynomials. Numerical examples illustrate the potential of our approach through three scenari: a stable ODE perturbed by the PDE, an unstable open-loop ODE stabilized by the PDE and an unstable closed-loop ODE stabilized by the PDE.

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.

In this article, we prove a uniqueness result for a coefficient inverse problems regarding a wave, a heat or a Schr\"odinger equation set on a tree-shaped network, as well as the corresponding stability result of the inverse problem for the wave equation. The objective is the determination of the potential on each edge of the network from the additional measurement of the solution at all but one external end-points. Our idea for proving the uniqueness is to use a traditional approach in coefficient inverse problem by Carleman estimate. Afterwards, using an observability estimate on the whole network, we apply a compactness-uniqueness argument and prove the stability for the wave inverse problem., Comment: 12

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., Comment: 47p

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., Comment: 31 pages

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.

We are interested in the inverse problem of the determination of the potential $p(x), x\in\Omega\subset\mathbb{R}^n$ from the measurement of the normal derivative $\partial_\nu u$ on a suitable part $\Gamma_0$ of the boundary of $\Omega$, where $u$ is the solution of the wave equation $\partial_{tt}u(x,t)-\Delta u(x,t)+p(x)u(x,t)=0$ set in $\Omega\times(0,T)$ and given Dirichlet boundary data. More precisely, we will prove local uniqueness and stability for this inverse problem and the main tool will be a global Carleman estimate, result also interesting by itself.

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.

The goal of this paper is to provide an analysis of the "toolkit" method used in the numerical approximation of the time-dependent Schr\"odinger equation. The "toolkit" method is based on precomputation of elementary propagators and was seen to be very efficient in the optimal control framework. Our analysis shows that this method provides better results than the second order Strang operator splitting. In addition, we present two improvements of the method in the limit of low and large intensity control fields.

The goal of this paper is to provide an analysis of the ``toolkit'' method used in the numerical approximation of the time-dependent Schr\"odinger equation. The ``toolkit'' method is based on precomputation of elementary propagators and was seen to be very efficient in the optimal control framework. Our analysis shows that this method provides better results than the second order Strang operator splitting. In addition, we present two improvements of the method in the limit of low and large intensity control fields.

We apply robust control technics to an adaptive optics system including a dynamic model of the deformable mirror. The dynamic model of the mirror is a modification of the usual plate equation. We propose also a state-space approach to model the turbulent phase. A continuous time control of our model is suggested taking into account the frequential behavior of the turbulent phase. An H_\infty controller is designed in an infinite dimensional setting. Due to the multivariable nature of the control problem involved in adaptive optics systems, a significant improvement is obtained with respect to traditional single input single output methods.

This paper concerns the inverse problem of retrieving a stationary potential for the Schr\"odinger evolution equation in a bounded domain of RN with Dirichlet data and discontinuous principal coefficient a(x) from a single time-dependent Neumann boundary measurement. We consider that the discontinuity of a is located on a simple closed hyper-surface called the interface, and a is constant in each one of the interior and exterior domains with respect to this interface. We prove uniqueness and lipschitz stability for this inverse problem under certain convexity hypothesis on the geometry of the interior domain and on the sign of the jump of a at the interface. The proof is based on a global Carleman inequality for the Schr\"odinger equation with discontinuous coefficients, result also interesting by itself.

Often considered in numerical simulations related to the control of quantum systems, the so-called monotonic schemes have not been so far much studied from the functional analysis point of view. Yet, these procedures provide an efficient constructive method for solving a certain class of optimal control problems. This paper aims both at extending the results already available about these algorithms in the finite dimensional case (i.e., the time-discretized case) and at completing those of the continuous case. This paper starts with some results about the regularity of a functional related to a wide class of model in quantum chemistry. Those enable us to extend an inequality due to

We consider a transmission wave equation in two embedded domains in $R^2$, where the speed is $a1 > 0$ in the inner domain and $a2 > 0$ in the outer domain. We prove a global Carleman inequality for this problem under the hypothesis that the inner domain is strictly convex and $a1 > a2$ . As a consequence of this inequality, uniqueness and Lip- schitz stability are obtained for the inverse problem of retrieving a stationary potential for the wave equation with Dirichlet data and discontinuous principal coefficient from a single time-dependent Neumann boundary measurement.