SearcharxivSearch

arXiv subjects

Guillaume Olive

Publications and source records attributed to Guillaume Olive.

15 recordsLinked to original sources

Internal controllability of first order quasilinear hyperbolic systems with a reduced number of controls

In this paper we investigate the exact controllability of $n \times n$ first order one-dimensional quasilinear hyperbolic systems by $m<n$ internal controls that are localized in space in some part of the domain. We distinguish two situations. The first one is when the equations of the system have the same speed. In this case, we can use the method of characteristics and obtain a simple and complete characterization for linear systems. Thanks to a linear test this also provides some sufficient conditions for the local exact controllability around the trajectories of semilinear systems. However, when the speed of the equations are not anymore the same, we see that we encounter the problem of loss of derivatives if we try to control quasilinear systems with a reduced number of controls. To solve this problem, as in a prior article by J.-M. Coron and P. Lissy on a Navier-Stokes control system, we first use the notion of algebraic solvability due to M. Gromov. However, in contrast with this prior article where a standard fixed point argument could be used to treat the nonlinearities, we use here a fixed point theorem of Nash-Moser type due to M. Gromov in order to handle the problem of loss of derivatives.

math.OC

Minimal null control time of some 1D linear hyperbolic balance laws with constant coefficients and properties of related kernel equations

In this work, we study the null controllability by one-sided boundary controls of one-dimensional hyperbolic balance laws with constant coefficients. Our first result shows that, when the system has only one negative or positive speed, the minimal null control time of such systems depends on some orthogonality conditions for a particular sequence. This sequence is explicit in function of the coefficients of the system but it is defined by a nonlinear recurrence relation. Our second result then completes the previous one by giving explicit bounds on the number of orthogonality conditions that have to be checked in two nontrivial situations. The proofs rely on a careful analysis of the so-called kernel equations associated with the system, including a new well-posedness result. Our results are also valid for the finite-time stabilization property.

math.OC

Compact perturbations of controlled systems

In this article we study the controllability properties of general compactly perturbed exactly controlled linear systems with admissible control operators. Firstly, we show that approximate and exact controllability are equivalent properties for such systems. Then, and more importantly, we provide for the perturbed system a complete characterization of the set of reachable states in terms of the Fattorini-Hautus test. The results rely on the Peetre lemma.

math.OC

Null-controllability for some linear parabolic systems with controls acting on different parts of the domain and its boundary

In this work we study the null-controllability properties of linear parabolic systems with constant coefficients in the case where several controls are acting on different distributed subdomains and/or on the boundary. We prove a Kalman rank condition in the one-dimensional case. In the case where only distributed controls are considered we also establish related results such as a Carleman estimate.

math.OC

Boundary approximate controllability of some linear parabolic systems

This paper focuses on the boundary approximate controllability of two classes of linear parabolic systems, namely a system of $n$ heat equations coupled through constant terms and a $2 \times 2$ cascade system coupled by means of a first order partial differential operator with space-dependent coefficients. For each system we prove a sufficient condition in any space dimension and we show that this condition turns out to be also necessary in one dimension with only one control. For the system of coupled heat equations we also study the problem on rectangle, and we give characterizations depending on the position of the control domain. Finally, we exhibit a cascade system for which the distributed controllability holds whereas the boundary controllability does not. The method relies on a general characterization due to H.O. Fattorini.

math.OC

Equivalent one-dimensional first-order linear hyperbolic systems and range of the minimal null control time with respect to the internal coupling matrix

In this paper, we are interested in the minimal null control time of one-dimensional first-order linear hyperbolic systems by one-sided boundary controls. Our main result is an explicit characterization of the smallest and largest values that this minimal null control time can take with respect to the internal coupling matrix. In particular, we obtain a complete description of the situations where the minimal null control time is invariant with respect to all the possible choices of internal coupling matrices. The proof relies on the notion of equivalent systems, in particular the backstepping method, a canonical $LU$-decomposition for boundary coupling matrices and a compactness-uniqueness method adapted to the null controllability property.

math.OC

Uniform estimates for concave homogeneous complex degenerate elliptic equations comparable to the Monge-Ampère equation

We prove sharp uniform estimates for strong supersolutions of a large class of fully nonlinear degenerate elliptic complex equations. Our findings rely on ideas of Kuo and Trudinger who dealt with degenerate linear equations in the real setting. We also exploit the pluripotential theory for the complex Monge-Ampère operator as well as suitably tailored theory of $L^p$-viscosity subsolutions.

math.AP

Null controllability and finite-time stabilization in minimal time of one-dimensional first-order $2 \times 2$ linear hyperbolic systems

The goal of this article is to present the minimal time needed for the null controllability and finite-time stabilization of one-dimensional first-order $2 \times 2$ linear hyperbolic systems. The main technical point is to show that we cannot obtain a better time. The proof combines the backstepping method with the Titchmarsh convolution theorem.

math.OC

Boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space

In this article we are interested in the boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space. We extend the so called "backstepping method" by introducing appropriate time-dependent integral transformations in order to map our initial system to a new one which has desired stability properties. The kernels of the integral transformations involved are solutions to non standard multi-dimensional hyperbolic PDEs, where the time dependence introduces several new difficulties in the treatment of their well-posedness. This work generalizes previous results of the literature, where only time-independent systems were considered.

math.OC

Minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems by one-sided boundary controls

In this article we study the minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems when all the controls are acting on the same side of the boundary. We establish an explicit and easy-to-compute formula for this time with respect to all the coupling parameters of the system. The proof relies on the introduction of a canonical $UL$-decomposition and the compactness-uniqueness method.

math.OC

Finite-time boundary stabilization of general linear hyperbolic balance laws via Fredholm backstepping transformation $\star$

This paper is devoted to a simple and new proof on the optimal finite control time for general linear coupled hyperbolic system by using boundary feedback on one side. The feedback control law is designed by first using a Volterra transformation of the second kind and then using an invertible Fredholm transformation. Both existence and invertibility of the transformations are easily obtained.

math.OC

Stabilization and controllability of first-order integro-differential hyperbolic equations

In the present article we study the stabilization of first-order linear integro-differential hyperbolic equations. For such equations we prove that the stabilization in finite time is equivalent to the exact controllability property. The proof relies on a Fredholm transformation that maps the original system into a finite-time stable target system. The controllability assumption is used to prove the invertibility of such a transformation. Finally, using the method of moments, we show in a particular case that the controllability is reduced to the criterion of Fattorini.

math.OC