-
Null controllability of the 1D heat equation with interior inverse square potential
Authors:
Pierre Lissy,
Tanguy Lourme
Abstract:
This paper aims to answer an open problem posed by Morancey in 2015 concerning the null controllability of the heat equation on (-1, 1) with an internal inverse square potential located at x = 0. For the range of singularity under study, after having introduced a suitable self-adjoint extension that enables to transmit information from one side of the singularity to another, we prove null-controll…
▽ More
This paper aims to answer an open problem posed by Morancey in 2015 concerning the null controllability of the heat equation on (-1, 1) with an internal inverse square potential located at x = 0. For the range of singularity under study, after having introduced a suitable self-adjoint extension that enables to transmit information from one side of the singularity to another, we prove null-controllability in arbitrary small time, firstly with an internal control supported in an arbitrary measurable set of positive measure, secondly with a boundary control acting on one side of the boundary. Our proof is mainly based on a precise spectral study of the singular operator together with some recent refinements of the moment method of Fattorini and Russell. This notably requires to use some fine (and sometimes new) properties for Bessel functions and their zeros.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Effective multipliers for weights whose log are Hölder continuous. Application to the cost of fast boundary controls for the 1D Schr{ö}dinger equation
Authors:
Pierre Lissy
Abstract:
We give a simple proof of the Beurling-Malliavin multiplier theorem (BM1) in the particular case of weights that verify the usual finite logarithmic integral condition and such that their log are H{ö}lder continuous with exponent less than 1. Our proof has the advantage to give an explicit version of BM1, in the sense that one can give precise estimates from below and above for the multiplier, in…
▽ More
We give a simple proof of the Beurling-Malliavin multiplier theorem (BM1) in the particular case of weights that verify the usual finite logarithmic integral condition and such that their log are H{ö}lder continuous with exponent less than 1. Our proof has the advantage to give an explicit version of BM1, in the sense that one can give precise estimates from below and above for the multiplier, in terms of the exponential type we want to reach, and the constants appearing in the H{ö}lder condition of our weights. The same ideas can be applied to a particular weight, that will lead to an improvement on the estimation of the cost of fast boundary controls for the 1D Schr{ö}dinger equation on a segment. Our proof is mainly based on the use of a modified Hilbert transform together with its link with the harmonic extension in the complex upper half plane and some modified conjugate harmonic extension in the upper half plane.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Mixing Douglas' and weak majorization and factorization theorems
Authors:
Pierre Lissy
Abstract:
The Douglas' majorization and factorization theorem characterizes the inclusion of operator ranges in Hilbert spaces. Notably, it reinforces the well-established connections between the inclusion of kernels of operators in Hilbert spaces and the (inverse) inclusion of the closures of the ranges of their adjoints. This note aims to present a ''mixed'' version of these concepts for operators with a…
▽ More
The Douglas' majorization and factorization theorem characterizes the inclusion of operator ranges in Hilbert spaces. Notably, it reinforces the well-established connections between the inclusion of kernels of operators in Hilbert spaces and the (inverse) inclusion of the closures of the ranges of their adjoints. This note aims to present a ''mixed'' version of these concepts for operators with a codomain in a product space. Additionally, an application in control theory of coupled systems of linear partial differential equations is presented.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Null-controllability of underactuated linear parabolic-transport systems with constant coefficients
Authors:
Armand Koenig,
Pierre Lissy
Abstract:
The goal of the present article is to study controllability properties of mixed systems of linear parabolic-transport equations, with possibly non-diagonalizable diffusion matrix, on the one-dimensional torus. The equations are coupled by zero or first order coupling terms, with constant coupling matrices, without any structure assumptions on them. The distributed control acts through a constant m…
▽ More
The goal of the present article is to study controllability properties of mixed systems of linear parabolic-transport equations, with possibly non-diagonalizable diffusion matrix, on the one-dimensional torus. The equations are coupled by zero or first order coupling terms, with constant coupling matrices, without any structure assumptions on them. The distributed control acts through a constant matrix operator on the system, so that there might be notably less controls than equations, encompassing the case of indirect and simultaneous controllability. More precisely, we prove that in small time, such kind of systems are never controllable in appropriate Sobolev spaces, whereas in large time, null-controllability holds, for sufficiently regular initial data, if and and only if a spectral Kalman rank condition is verified. We also prove that initial data that are not regular enough are not controllable. Positive results are obtained by using the so-called fictitious control method together with an algebraic solvability argument, whereas the negative results are obtained by using an appropriate WKB construction of approximate solutions for the adjoint system associated to the control problem. As an application to our general results, we also investigate into details the case of $2\times2$ systems (i.e., one pure transport equation and one parabolic equation).
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
Insensitizing control for linear and semi-linear heat equations with partially unknown domain
Authors:
Pierre Lissy,
Yannick Privat,
Yacouba Simporé
Abstract:
We consider a semi-linear heat equation with Dirichlet boundary conditions and globally Lipschitz nonlinearity, posed on a bounded domain of R^N (N $\in$ N *), assumed to be an unknown perturbation of a reference domain. We are interested in an insensitizing control problem, which consists in finding a distributed control such that some functional of the state is insensitive at the first order to…
▽ More
We consider a semi-linear heat equation with Dirichlet boundary conditions and globally Lipschitz nonlinearity, posed on a bounded domain of R^N (N $\in$ N *), assumed to be an unknown perturbation of a reference domain. We are interested in an insensitizing control problem, which consists in finding a distributed control such that some functional of the state is insensitive at the first order to the perturbations of the domain. Our first result consists of an approximate insensitization property on the semi-linear heat equation. It rests upon a linearization procedure together with the use of an appropriate fixed point theorem. For the linear case, an appropriate duality theory is developed, so that the problem can be seen as a consequence of well-known unique continuation theorems. Our second result is specific to the linear case. We show a property of exact insensitization for some families of deformation given by one or two parameters. Due to the nonlinearity of the intrinsic control problem, no duality theory is available, so that our proof relies on a geometrical approach and direct computations.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Insensitizing controls for the heat equation with respect to boundary variations
Authors:
Sylvain Ervedoza,
Pierre Lissy,
Yannick Privat
Abstract:
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], ins…
▽ More
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).
△ Less
Submitted 7 November, 2022; v1 submitted 28 December, 2020;
originally announced December 2020.
-
State-constrained controllability of linear reaction-diffusion systems
Authors:
Pierre Lissy,
Clément Moreau
Abstract:
We study the controllability of a coupled system of linear parabolic equations, with non-negativity constraint on the state. We establish two results of controllability to trajectories in large time: one for diagonal diffusion matrices with an "approximate" nonnegativity constraint, and a another stronger one, with "exact" nonnegativity constraint, when all the diffusion coefficients are equal and…
▽ More
We study the controllability of a coupled system of linear parabolic equations, with non-negativity constraint on the state. We establish two results of controllability to trajectories in large time: one for diagonal diffusion matrices with an "approximate" nonnegativity constraint, and a another stronger one, with "exact" nonnegativity constraint, when all the diffusion coefficients are equal and the eigenvalues of the coupling matrix have nonnegative real part. The proofs are based on a "staircase" method. Finally, we show that state-constrained controllability admits a positive minimal time, even with weaker unilateral constraint on the state.
△ Less
Submitted 16 May, 2021; v1 submitted 8 November, 2020;
originally announced November 2020.
-
A Fredholm transformation for the rapid stabilization of a degenerate parabolic equation
Authors:
Ludovick Gagnon,
Pierre Lissy,
Swann Marx
Abstract:
This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich-let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under considera…
▽ More
This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich-let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under consideration in this paper is Fredholm. It involves a kernel solving itself another PDE, at least formally. The main goal of the paper is to prove that the Fredholm transformation is well-defined, continuous and invertible in the natural energy space. It allows us to deduce the rapid stabilization.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
Bilinear local controllability to the trajectories of the Fokker-Planck equation with a localized control
Authors:
Michel Duprez,
Pierre Lissy
Abstract:
This work is devoted to the control of the Fokker-Planck equation, posed on a smooth bounded domain of R^d, with a localized drift force. We prove that this equation is locally controllable to regular nonzero trajectories. Moreover, under some conditions, we explain how to reduce the number of controls around the reference control. The results are obtained thanks to a standard linearization method…
▽ More
This work is devoted to the control of the Fokker-Planck equation, posed on a smooth bounded domain of R^d, with a localized drift force. We prove that this equation is locally controllable to regular nonzero trajectories. Moreover, under some conditions, we explain how to reduce the number of controls around the reference control. The results are obtained thanks to a standard linearization method and the fictitious control method. The main novelties are twofold. First, the algebraic solvability is performed and used directly on the adjoint problem. We then prove a new Carleman inequality for the heat equation with a space-time varying first-order term: the right-hand side is the gradient of the solution localized on an open subset. We finally give an example of regular trajectory around which the Fokker-Planck equation is not controllable with a reduced number of controls, to highlight that our conditions are relevant.
△ Less
Submitted 16 March, 2021; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Necessary conditions for local controllability of a particular class of systems with two scalar controls
Authors:
Laetitia Giraldi,
Pierre Lissy,
Clément Moreau,
Jean-Baptiste Pomet
Abstract:
We consider affine control systems with two scalar controls, such that one control vector field vanishes at an equilibrium state. We state two necessary conditions of local controllability around this equilibrium, involving the iterated Lie brackets of the system vector fields, with controls that are either bounded, small in L $\infty$ or small in W 1,$\infty$. These results are illustrated with s…
▽ More
We consider affine control systems with two scalar controls, such that one control vector field vanishes at an equilibrium state. We state two necessary conditions of local controllability around this equilibrium, involving the iterated Lie brackets of the system vector fields, with controls that are either bounded, small in L $\infty$ or small in W 1,$\infty$. These results are illustrated with several examples.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Addendum to "Local Controllability of the Two-Link Magneto-Elastic Micro-Swimmer"
Authors:
Laetitia Giraldi,
Pierre Lissy,
Clément Moreau,
Jean-Baptiste Pomet
Abstract:
In the above mentioned note (<hal-01145537>, <arXiv:1506.05918>, published in IEEE Trans. Autom. Cont., 2017), the first and fourth authors proved a local controllability result around the straight configuration for a class of magneto-elastic micro-swimmers.That result is weaker than the usual small-time local controllability (STLC), and the authors left the STLC question open. The present addendu…
▽ More
In the above mentioned note (<hal-01145537>, <arXiv:1506.05918>, published in IEEE Trans. Autom. Cont., 2017), the first and fourth authors proved a local controllability result around the straight configuration for a class of magneto-elastic micro-swimmers.That result is weaker than the usual small-time local controllability (STLC), and the authors left the STLC question open. The present addendum closes it by showing that these systems cannot be STLC.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Indirect controllability of some linear parabolic systems of m equations with m-1 controls involving coupling terms of zero or first order
Authors:
Michel Duprez,
Pierre Lissy
Abstract:
This paper is devoted to the study of the null and approximate controllability for some classes of linear coupled parabolic systems with less controls than equations. More precisely, for a given bounded domain in R^N, we consider a system of m linear parabolic equations (m > 2) with coupling terms of first and zero order, and m-1 controls localized in some arbitrary nonempty open subset. In the ca…
▽ More
This paper is devoted to the study of the null and approximate controllability for some classes of linear coupled parabolic systems with less controls than equations. More precisely, for a given bounded domain in R^N, we consider a system of m linear parabolic equations (m > 2) with coupling terms of first and zero order, and m-1 controls localized in some arbitrary nonempty open subset. In the case of constant coupling coefficients, we provide a necessary and sufficient condition to obtain the null or approximate controllability in arbitrary small time. In the case m = 2 and N = 1, we also give a generic sufficient condition to obtain the null or approximate controllability in arbitrary small time for general coefficients depending on the space and times variables, provided that the supports of the coupling terms intersect the control domain. The results are obtained thanks to the fictitious control method together with an algebraic method and some appropriate Carleman estimates.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
Positive and negative results on the internal controllability of parabolic equations coupled by zero and first order terms
Authors:
Michel Duprez,
Pierre Lissy
Abstract:
This paper is devoted to studying the null and approximate controllability of two linear coupled parabolic equations posed on a smooth domain of R^N (N>1) with coupling terms of zero and first orders and one control localized in some arbitrary nonempty open subset of the domain. We prove the null controllability under a new sufficient condition and we also provide the first example of a not approx…
▽ More
This paper is devoted to studying the null and approximate controllability of two linear coupled parabolic equations posed on a smooth domain of R^N (N>1) with coupling terms of zero and first orders and one control localized in some arbitrary nonempty open subset of the domain. We prove the null controllability under a new sufficient condition and we also provide the first example of a not approximately controllable system in the case where the support of one of the nontrivial first order coupling terms intersects the control domain.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
Controllability of a bent 3-link magnetic microswimmer
Authors:
Laetitia Giraldi,
Pierre Lissy,
Clément Moreau,
Jean-Baptiste Pomet
Abstract:
- In this paper, we focus on a variant of a 3-link magnetic microswimmer which consists of three rigid magnetized segments connected by two torsional springs. In particular, we assume that one of the springs is twisted so that the swimmer is not aligned at rest. By acting on it with an external magnetic field, the swimmer twists and moves through the surrounding fluid. By considering the external…
▽ More
- In this paper, we focus on a variant of a 3-link magnetic microswimmer which consists of three rigid magnetized segments connected by two torsional springs. In particular, we assume that one of the springs is twisted so that the swimmer is not aligned at rest. By acting on it with an external magnetic field, the swimmer twists and moves through the surrounding fluid. By considering the external magnetic field as a control function, we state a local partial controllability result around the equilibrium states. Then, we propose a constructive method to find the magnetic field that allows the swimmer to move along a prescribed trajectory. Finally, we show numerical simulations in which the swimmer moves along a prescribed path.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
An application of a conjecture due to Ervedoza and Zuazua concerning the observability of the heat equation in small time to a conjecture due to Coron and Guerrero concerning the uniform controllability of a convection-diffusion equation
Authors:
Pierre Lissy
Abstract:
The aim of this short paper is to explore a new connection between a conjecture concerning sharp boundary observability estimates for the 1-D heat equation in small time and a conjecture concerning the cost of null-controllability for a 1-D convection-diffusion equation with constant coefficients controlled on the boundary in the vanishing viscosity limit, in the spirit of what is done in [Pierre…
▽ More
The aim of this short paper is to explore a new connection between a conjecture concerning sharp boundary observability estimates for the 1-D heat equation in small time and a conjecture concerning the cost of null-controllability for a 1-D convection-diffusion equation with constant coefficients controlled on the boundary in the vanishing viscosity limit, in the spirit of what is done in [Pierre Lissy, A link between the cost of fast controls for the 1-D heat equation and the uniform controllability of a 1-D transport-diffusion equation, C. R. Math. Acad. Sci. Paris, Volume 352, 2012]. We notably establish that the first conjecture implies the second one as soon as the speed of the transport part is non-negative in the transport-diffusion equation.
△ Less
Submitted 16 October, 2013;
originally announced October 2013.
-
On the cost of fast controls for some families of dispersive or parabolic equations in one space dimension
Authors:
Pierre Lissy
Abstract:
In this paper, we consider the cost of null controllability for a large class of linear equations of parabolic or dispersive type in one space dimension in small time. By extending the work of Tenenbaum and Tucsnak in "New blow-up rates for fast controls of Schrödinger and heat equations`", we are able to give precise upper bounds on the time-dependance of the cost of fast controls when the time o…
▽ More
In this paper, we consider the cost of null controllability for a large class of linear equations of parabolic or dispersive type in one space dimension in small time. By extending the work of Tenenbaum and Tucsnak in "New blow-up rates for fast controls of Schrödinger and heat equations`", we are able to give precise upper bounds on the time-dependance of the cost of fast controls when the time of control T tends to 0. We also give a lower bound of the cost of fast controls for the same class of equations, which proves the optimality of the power of T involved in the cost of the control. These general results are then applied to treat notably the case of linear KdV equations and fractional heat or Schrödinger equations.
△ Less
Submitted 8 September, 2013;
originally announced September 2013.
-
Local null controllability of the three-dimensional Navier-Stokes system with a distributed control having two vanishing components
Authors:
Jean-Michel Coron,
Pierre Lissy
Abstract:
In this paper, we prove a local null controllability result for the three-dimensional Navier-Stokes equations on a (smooth) bounded domain of R^3 with null Dirichlet boundary conditions. The control is distributed in an arbitrarily small nonempty open subset and has two vanishing components. J.-L. Lions and E. Zuazua proved that the linearized system is not necessarily null controllable even if th…
▽ More
In this paper, we prove a local null controllability result for the three-dimensional Navier-Stokes equations on a (smooth) bounded domain of R^3 with null Dirichlet boundary conditions. The control is distributed in an arbitrarily small nonempty open subset and has two vanishing components. J.-L. Lions and E. Zuazua proved that the linearized system is not necessarily null controllable even if the control is distributed on the entire domain, hence the standard linearization method fails. We use the return method together with a new algebraic method inspired by the works of M. Gromov and previous results by M. Gueye.
△ Less
Submitted 29 October, 2013; v1 submitted 9 November, 2012;
originally announced November 2012.
