-
Global controllability to harmonic maps of the heat flow from a circle to a sphere
Authors:
Jean-Michel Coron,
Shengquan Xiang
Abstract:
In this paper, we study the global controllability and stabilization problems of the harmonic map heat flow from a circle to a sphere. Combining ideas from control theory, heat flow, differential geometry, and asymptotic analysis, we obtain several important properties, such as small-time local controllability, local quantitative rapid stabilization, obstruction to semi-global asymptotic stabiliza…
▽ More
In this paper, we study the global controllability and stabilization problems of the harmonic map heat flow from a circle to a sphere. Combining ideas from control theory, heat flow, differential geometry, and asymptotic analysis, we obtain several important properties, such as small-time local controllability, local quantitative rapid stabilization, obstruction to semi-global asymptotic stabilization, and global controllability to geodesics. Surprisingly, due to the geometric feature of the equation we also discover the small-time global controllability between harmonic maps within the same homotopy class for general compact Riemannian manifold targets, which is to be compared with the analogous but longstanding problem for the nonlinear heat equations.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Reinforcement Learning in Control Theory: A New Approach to Mathematical Problem Solving
Authors:
Kala Agbo Bidi,
Jean-Michel Coron,
Amaury Hayat,
Nathan Lichtlé
Abstract:
One of the central questions in control theory is achieving stability through feedback control. This paper introduces a novel approach that combines Reinforcement Learning (RL) with mathematical analysis to address this challenge, with a specific focus on the Sterile Insect Technique (SIT) system. The objective is to find a feedback control that stabilizes the mosquito population model. Despite th…
▽ More
One of the central questions in control theory is achieving stability through feedback control. This paper introduces a novel approach that combines Reinforcement Learning (RL) with mathematical analysis to address this challenge, with a specific focus on the Sterile Insect Technique (SIT) system. The objective is to find a feedback control that stabilizes the mosquito population model. Despite the mathematical complexities and the absence of known solutions for this specific problem, our RL approach identifies a candidate solution for an explicit stabilizing control. This study underscores the synergy between AI and mathematics, opening new avenues for tackling intricate mathematical problems.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Global controllability and stabilization of the wave maps equation from a circle to a sphere
Authors:
Jean-Michel Coron,
Joachim Krieger,
Shengquan Xiang
Abstract:
Continuing the investigations started in the recent work [Krieger-Xiang, 2022] on semi-global controllability and stabilization of the $(1+1)$-dimensional wave maps equation with spatial domain $\mathbb{S}^1$ and target $\mathbb{S}^k$, where {\it semi-global} refers to the $2π$-energy bound, we prove global exact controllability of the same system for $k>1$ and show that the $2π$-energy bound is a…
▽ More
Continuing the investigations started in the recent work [Krieger-** stabilization in [Krieger-Xiang, 2022] is sharp. Lastly, the global exact controllability for $\mathbb{S}^1$-target within minimum time is discussed.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Global stabilization of sterile insect technique model by feedback laws
Authors:
Kala Agbo Bidi,
Luis Almeida,
Jean-Michel Coron
Abstract:
The Sterile Insect Technique or SIT is presently one of the most ecological methods for controlling insect pests responsible for disease transmission or crop destruction worldwide. This technique consists of releasing sterile males into the insect pest population. This approach aims at reducing fertility in the population and, consequently, reduce significantly the native insect population after a…
▽ More
The Sterile Insect Technique or SIT is presently one of the most ecological methods for controlling insect pests responsible for disease transmission or crop destruction worldwide. This technique consists of releasing sterile males into the insect pest population. This approach aims at reducing fertility in the population and, consequently, reduce significantly the native insect population after a few generations. In this work, we study the global stabilization of a pest population at extinction equilibrium by the SIT method. We construct explicit feedback laws that stabilize the model and do numerical simulations to show the efficiency of our feedback laws. The different feedback laws are also compared taking into account their possible implementation in field interventions.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Diffusion and robustness of boundary feedback stabilization of hyperbolic systems
Authors:
Georges Bastin,
Jean-Michel Coron,
Amaury Hayat
Abstract:
We consider the problem of boundary feedback control of single-input-single-output (SISO) one-dimensional linear hyperbolic systems when sensing and actuation are anti-located. The main issue of the output feedback stabilization is that it requires dynamic control laws that include delayed values of the output (directly or through state observers) which may not be robust to infinitesimal uncertain…
▽ More
We consider the problem of boundary feedback control of single-input-single-output (SISO) one-dimensional linear hyperbolic systems when sensing and actuation are anti-located. The main issue of the output feedback stabilization is that it requires dynamic control laws that include delayed values of the output (directly or through state observers) which may not be robust to infinitesimal uncertainties on the characteristic velocities. The purpose of this paper is to highlight some features of this problem by addressing the feedback stabilization of an unstable open-loop system which is made up of two interconnected transport equations and provided with anti-located boundary sensing and actuation. The main contribution is to show that the robustness of the control against delay uncertainties is recovered as soon as an arbitrary small diffusion is present in the system. Our analysis also reveals that the effect of diffusion on stability is far from being an obvious issue by exhibiting an alternative simple example where the presence of diffusion has a destabilizing effect instead.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
On the global approximate controllability in small time of semiclassical 1-D Schrödinger equations between two states with positive quantum densities
Authors:
Jean-Michel Coron,
Shengquan Xiang,
** Zhang
Abstract:
In this paper, we study, in the semiclassical sense, the global approximate controllability in small time of the quantum density and quantum momentum of the 1-D semiclassical cubic Schrödinger equation with two controls between two states with positive quantum densities. We first control the asymptotic expansions of the zeroth and first order of the physical observables via Agrachev-Sarychev's met…
▽ More
In this paper, we study, in the semiclassical sense, the global approximate controllability in small time of the quantum density and quantum momentum of the 1-D semiclassical cubic Schrödinger equation with two controls between two states with positive quantum densities. We first control the asymptotic expansions of the zeroth and first order of the physical observables via Agrachev-Sarychev's method. Then we conclude the proof through techniques of semiclassical approximation of the nonlinear Schrödinger equation.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Stabilization of the linearized water tank system
Authors:
Jean-Michel Coron,
Amaury Hayat,
Shengquan Xiang,
Christophe Zhang
Abstract:
In this article we study the so-called water tank system. In this system, the behavior of water contained in a 1-D tank is modelled by Saint-Venant equations, with a scalar distributed control. It is well-known that the linearized systems around uniform steady-states are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around non-u…
▽ More
In this article we study the so-called water tank system. In this system, the behavior of water contained in a 1-D tank is modelled by Saint-Venant equations, with a scalar distributed control. It is well-known that the linearized systems around uniform steady-states are not controllable, the uncontrollable part being of infinite dimension. Here we will focus on the linearized systems around non-uniform steady states, corresponding to a constant acceleration of the tank. We prove that these systems are controllable in Sobolev spaces, using the moments method and perturbative spectral estimates. Then, for steady states corresponding to small enough accelerations, we design an explicit Proportional Integral feedback law (obtained thanks to a well-chosen dynamic extension of the system) that stabilizes these systems exponentially with arbitrarily large decay rate. Our design relies on feedback equivalence/backstep**.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
On the optimal controllability time for linear hyperbolic systems with time-dependent coefficients
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
The optimal time for the controllability of linear hyperbolic systems in one dimensional space with one-side controls has been obtained recently for time-independent coefficients in our previous works. In this paper, we consider linear hyperbolic systems with time-varying zero-order terms. We show the possibility that the optimal time for the null-controllability becomes significantly larger than…
▽ More
The optimal time for the controllability of linear hyperbolic systems in one dimensional space with one-side controls has been obtained recently for time-independent coefficients in our previous works. In this paper, we consider linear hyperbolic systems with time-varying zero-order terms. We show the possibility that the optimal time for the null-controllability becomes significantly larger than the one of the time-invariant setting even when the zero-order term is indefinitely differentiable. When the analyticity with respect to time is imposed for the zero-order term, we also establish that the optimal time is the same as in the time-independent setting.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
A general result on the approximation of local conservation laws by nonlocal conservation laws: The singular limit problem for exponential kernels
Authors:
Giuseppe Maria Coclite,
Jean-Michel Coron,
Nicola De Nitti,
Alexander Keimer,
Lukas Pflug
Abstract:
We deal with the problem of approximating a scalar conservation law by a conservation law with nonlocal flux. As convolution kernel in the nonlocal flux, we consider an exponential-type approximation of the Dirac distribution. This enables us to obtain a total variation bound on the nonlocal term. By using this, we prove that the (unique) weak solution of the nonlocal problem converges strongly in…
▽ More
We deal with the problem of approximating a scalar conservation law by a conservation law with nonlocal flux. As convolution kernel in the nonlocal flux, we consider an exponential-type approximation of the Dirac distribution. This enables us to obtain a total variation bound on the nonlocal term. By using this, we prove that the (unique) weak solution of the nonlocal problem converges strongly in $C(L^{1}_{\text{loc}})$ to the entropy solution of the local conservation law. We conclude with several numerical illustrations which underline the main results and, in particular, the difference between the solution and the nonlocal term.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
Null-controllability, exact controllability, and stabilization of hyperbolic systems for the optimal time
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
In this paper, we discuss our recent works on the null-controllability, the exact controllability, and the stabilization of linear hyperbolic systems in one dimensional space using boundary controls on one side for the optimal time. Under precise and generic assumptions on the boundary conditions on the other side, we first obtain the optimal time for the null and the exact controllability for the…
▽ More
In this paper, we discuss our recent works on the null-controllability, the exact controllability, and the stabilization of linear hyperbolic systems in one dimensional space using boundary controls on one side for the optimal time. Under precise and generic assumptions on the boundary conditions on the other side, we first obtain the optimal time for the null and the exact controllability for these systems for a generic source term. We then prove the null-controllability and the exact controllability for any time greater than the optimal time and for any source term. Finally, for homogeneous systems, we design feedbacks which stabilize the systems and bring them to the zero state at the optimal time. Extensions for the non-linear homogeneous system are also discussed
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
On the small-time local controllability of a KdV system for critical lengths
Authors:
Jean-Michel Coron,
Armand Koenig,
Hoai-Minh Nguyen
Abstract:
This paper is devoted to the local null-controllability of the nonlinear KdV equation equipped the Dirichlet boundary conditions using the Neumann boundary control on the right. Rosier proved that this KdV system is small-time locally controllable for all non-critical lengths and that the uncontrollable space of the linearized system is of finite dimension when the length is critical. Concerning c…
▽ More
This paper is devoted to the local null-controllability of the nonlinear KdV equation equipped the Dirichlet boundary conditions using the Neumann boundary control on the right. Rosier proved that this KdV system is small-time locally controllable for all non-critical lengths and that the uncontrollable space of the linearized system is of finite dimension when the length is critical. Concerning critical lengths, Coron and Crépeau showed that the same result holds when the uncontrollable space of the linearized system is of dimension 1, and later Cerpa, and then Cerpa and Crépeau established that the local controllability holds at a finite time for all other critical lengths. In this paper, we prove that, for a class of critical lengths, the nonlinear KdV system is {\it not} small-time locally controllable.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Lyapunov functions and finite time stabilization in optimal time for homogeneous linear and quasilinear hyperbolic systems
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
Hyperbolic systems in one dimensional space are frequently used in modeling of many physical systems. In our recent works, we introduced time independent feedbacks leading to the finite stabilization for the optimal time of homogeneous linear and quasilinear hyperbolic systems. In this work, we present Lyapunov's functions for these feedbacks and use estimates for Lyapunov's functions to rediscove…
▽ More
Hyperbolic systems in one dimensional space are frequently used in modeling of many physical systems. In our recent works, we introduced time independent feedbacks leading to the finite stabilization for the optimal time of homogeneous linear and quasilinear hyperbolic systems. In this work, we present Lyapunov's functions for these feedbacks and use estimates for Lyapunov's functions to rediscover the finite stabilization results.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Simultaneous Diagonalization of Incomplete Matrices and Applications
Authors:
Jean-Sébastien Coron,
Luca Notarnicola,
Gabor Wiese
Abstract:
We consider the problem of recovering the entries of diagonal matrices $\{U_a\}_a$ for $a = 1,\ldots,t$ from multiple "incomplete" samples $\{W_a\}_a$ of the form $W_a=PU_aQ$, where $P$ and $Q$ are unknown matrices of low rank. We devise practical algorithms for this problem depending on the ranks of $P$ and $Q$. This problem finds its motivation in cryptanalysis: we show how to significantly impr…
▽ More
We consider the problem of recovering the entries of diagonal matrices $\{U_a\}_a$ for $a = 1,\ldots,t$ from multiple "incomplete" samples $\{W_a\}_a$ of the form $W_a=PU_aQ$, where $P$ and $Q$ are unknown matrices of low rank. We devise practical algorithms for this problem depending on the ranks of $P$ and $Q$. This problem finds its motivation in cryptanalysis: we show how to significantly improve previous algorithms for solving the approximate common divisor problem and breaking CLT13 cryptographic multilinear maps.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Finite-time stabilization in optimal time of homogeneous quasilinear hyperbolic systems in one dimensional space
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
We consider the finite-time stabilization of homogeneous quasilinear hyperbolic systems with one side controls and with nonlinear boundary condition at the other side. We present time-independent feedbacks leading to the finite-time stabilization in any time larger than the optimal time for the null controllability of the linearized system if the initial condition is sufficiently small. One of the…
▽ More
We consider the finite-time stabilization of homogeneous quasilinear hyperbolic systems with one side controls and with nonlinear boundary condition at the other side. We present time-independent feedbacks leading to the finite-time stabilization in any time larger than the optimal time for the null controllability of the linearized system if the initial condition is sufficiently small. One of the key technical points is to establish the local well-posedness of quasilinear hyperbolic systems with nonlinear, non-local boundary conditions.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Feedforward boundary control of $2 \times 2$ nonlinear hyperbolic systems with application to Saint-Venant equations
Authors:
Georges Bastin,
Jean-Michel Coron,
Amaury Hayat
Abstract:
Because they represent physical systems with propagation delays, hyperbolic systems are well suited for feedforward control. This is especially true when the delay between a disturbance and the output is larger than the control delay. In this paper, we address the design of feedforward controllers for a general class of $2 \times 2$ hyperbolic systems with a single disturbance input located at one…
▽ More
Because they represent physical systems with propagation delays, hyperbolic systems are well suited for feedforward control. This is especially true when the delay between a disturbance and the output is larger than the control delay. In this paper, we address the design of feedforward controllers for a general class of $2 \times 2$ hyperbolic systems with a single disturbance input located at one boundary and a single control actuation at the other boundary. The goal is to design a feedforward control that makes the system output insensitive to the measured disturbance input. We show that, for this class of systems, there exists an efficient ideal feedforward controller which is causal and stable. The problem is first stated and studied in the frequency domain for a simple linear system. Then, our main contribution is to show how the theory can be extended, in the time domain, to general nonlinear hyperbolic systems. The method is illustrated with an application to the control of an open channel represented by Saint- Venant equations where the objective is to make the output water level insensitive to the variations of the input flow rate. Finally, we address a more complex application to a cascade of pools where a blind application of perfect feedforward control can lead to detrimental oscillations. A pragmatic way of modifying the control law to solve this problem is proposed and validated with a simulation experiment.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space
Authors:
Jean-Michel Coron,
Long Hu,
Guillaume Olive,
Peipei Shang
Abstract:
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 "backstep** 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 inte…
▽ More
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 "backstep** 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.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Input-to-State Stability in sup norms for hyperbolic systems with boundary disturbances
Authors:
Georges Bastin,
Jean-Michel Coron,
Amaury Hayat
Abstract:
We give sufficient conditions for Input-to-State Stability in $C^{1}$ norm of general quasilinear hyperbolic systems with boundary input disturbances. In particular the derivation of explicit Input-to-State Stability conditions is discussed for the special case of $2\times 2$ systems.
We give sufficient conditions for Input-to-State Stability in $C^{1}$ norm of general quasilinear hyperbolic systems with boundary input disturbances. In particular the derivation of explicit Input-to-State Stability conditions is discussed for the special case of $2\times 2$ systems.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
Null-controllability of linear hyperbolic systems in one dimensional space
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
This paper is devoted to the controllability of a general linear hyperbolic system in one space dimension using boundary controls on one side. Under precise and generic assumptions on the boundary conditions on the other side, we previously established the optimal time for the null and the exact controllability for this system for a generic source term. In this work, we prove the null-controllabil…
▽ More
This paper is devoted to the controllability of a general linear hyperbolic system in one space dimension using boundary controls on one side. Under precise and generic assumptions on the boundary conditions on the other side, we previously established the optimal time for the null and the exact controllability for this system for a generic source term. In this work, we prove the null-controllability for any time greater than the optimal time and for any source term. Similar results for the exact controllability are also discussed.
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Model Predictive Control, Cost Controllability, and Homogeneity *
Authors:
Jean-Michel Coron,
Lars Grüne,
Karl Worthmann
Abstract:
We are concerned with the design of Model Predictive Control (MPC) schemes such that asymptotic stability of the resulting closed loop is guaranteed even if the linearization at the desired set point fails to be stabilizable. Therefore, we propose to construct the stage cost based on the homogeneous approximation and rigorously show that applying MPC yields an asymp-totically stable closed-loop be…
▽ More
We are concerned with the design of Model Predictive Control (MPC) schemes such that asymptotic stability of the resulting closed loop is guaranteed even if the linearization at the desired set point fails to be stabilizable. Therefore, we propose to construct the stage cost based on the homogeneous approximation and rigorously show that applying MPC yields an asymp-totically stable closed-loop behavior if the homogeneous approximation is asymptotically null controllable. To this end, we verify cost controllability-a condition relating the current state, the stage cost, and the growth of the value function w.r.t. time-for this class of systems in order to provide stability and performance guarantees for the proposed MPC scheme without stabilizing terminal costs or constraints.
△ Less
Submitted 11 December, 2019; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Small-time stabilization of nonholonomic or underactuated mechanical systems: the unicycle and the slider examples
Authors:
Brigitte d'Andréa-Novel,
Jean-Michel Coron,
Wilfrid Perruquetti
Abstract:
This paper concerns the small-time stabilization of some classes of mechanical systems which are not stabilizable by means of at least continuous state feedback laws. This is the case of nonholonomic mechanical systems, an example being the unicycle robot, or for underactuated mechanical systems, an example being the slider. Explicit time-varying feedback laws leading to small-time stabilization a…
▽ More
This paper concerns the small-time stabilization of some classes of mechanical systems which are not stabilizable by means of at least continuous state feedback laws. This is the case of nonholonomic mechanical systems, an example being the unicycle robot, or for underactuated mechanical systems, an example being the slider. Explicit time-varying feedback laws leading to small-time stabilization are constructed for these two control systems. The main tools are homogeneity, backstep**, and desingularization technics.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
On the controllability of the Navier-Stokes equation in a rectangle, with a little help of a distributed phantom force
Authors:
Jean-Michel Coron,
Frédéric Marbach,
Franck Sueur,
** Zhang
Abstract:
This note echoes the talk given by the second author during the Journées EDP 2018 in Obernai. Its aim is to provide an overview and a sketch of proof of the result obtained by the authors, concerning the controllability of the Navier-Stokes equation. We refer the interested readers to the original paper for the full technical details of the proof, which will be omitted here, to focus on the main u…
▽ More
This note echoes the talk given by the second author during the Journées EDP 2018 in Obernai. Its aim is to provide an overview and a sketch of proof of the result obtained by the authors, concerning the controllability of the Navier-Stokes equation. We refer the interested readers to the original paper for the full technical details of the proof, which will be omitted here, to focus on the main underlying ideas.
△ Less
Submitted 6 January, 2019;
originally announced January 2019.
-
Optimal time for the controllability of linear hyperbolic systems in one dimensional space
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
We are concerned about the controllability of a general linear hyperbolic system of the form $\partial_t w (t, x) = Σ(x) \partial_x w (t, x) + γC(x) w(t, x) $ ($γ\in \mR$) in one space dimension using boundary controls on one side. More precisely, we establish the optimal time for the null and exact controllability of the hyperbolic system for generic $γ$. We also present examples which yield that…
▽ More
We are concerned about the controllability of a general linear hyperbolic system of the form $\partial_t w (t, x) = Σ(x) \partial_x w (t, x) + γC(x) w(t, x) $ ($γ\in \mR$) in one space dimension using boundary controls on one side. More precisely, we establish the optimal time for the null and exact controllability of the hyperbolic system for generic $γ$. We also present examples which yield that the generic requirement is necessary. In the case of constant $Σ$ and of two positive directions, we prove that the null-controllability is attained for any time greater than the optimal time for all $γ\in \mR$ and for all $C$ which is analytic if the slowest negative direction can be alerted by {\it both} positive directions. We also show that the null-controllability is attained at the optimal time by a feedback law when $C \equiv 0$. Our approach is based on the backstep** method paying a special attention on the construction of the kernel and the selection of controls.
△ Less
Submitted 4 December, 2018; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Controllability of the Navier-Stokes equation in a rectangle with a little help of a distributed phantom force
Authors:
Jean-Michel Coron,
Frédéric Marbach,
Franck Sueur,
** Zhang
Abstract:
We consider the 2D incompressible Navier-Stokes equation in a rectangle with the usual no-slip boundary condition prescribed on the upper and lower boundaries. We prove that for any positive time, for any finite energy initial data, there exist controls on the left and right boundaries and a distributed force, which can be chosen arbitrarily small in any Sobolev norm in space, such that the corres…
▽ More
We consider the 2D incompressible Navier-Stokes equation in a rectangle with the usual no-slip boundary condition prescribed on the upper and lower boundaries. We prove that for any positive time, for any finite energy initial data, there exist controls on the left and right boundaries and a distributed force, which can be chosen arbitrarily small in any Sobolev norm in space, such that the corresponding solution is at rest at the given final time.
Our work improves earlier results where the distributed force is small only in a negative Sobolev space. It is a further step towards an answer to Jacques-Louis Lions' question about the small-time global exact boundary controllability of the Navier-Stokes equation with the no-slip boundary condition, for which no distributed force is allowed.
Our analysis relies on the well-prepared dissipation method already used for Burgers and for Navier-Stokes in the case of the Navier slip-with-friction boundary condition. In order to handle the larger boundary layers associated with the no-slip boundary condition, we perform a preliminary regularization into analytic functions with arbitrarily large analytic radius and prove a long-time nonlinear Cauchy-Kovalevskaya estimate relying only on horizontal analyticity.
△ Less
Submitted 29 October, 2019; v1 submitted 5 January, 2018;
originally announced January 2018.
-
On the controllability of the Navier-Stokes equation in spite of boundary layers
Authors:
Jean-Michel Coron,
Frédéric Marbach,
Franck Sueur
Abstract:
In this proceeding we expose a particular case of a recent result obtained by the authors regarding the incompressible Navier-Stokes equations in a smooth bounded and simply connected bounded domain, either in 2D or in 3D, with a Navier slip-with-friction boundary condition except on a part of the boundary. This under-determination encodes that one has control over the remaining part of the bounda…
▽ More
In this proceeding we expose a particular case of a recent result obtained by the authors regarding the incompressible Navier-Stokes equations in a smooth bounded and simply connected bounded domain, either in 2D or in 3D, with a Navier slip-with-friction boundary condition except on a part of the boundary. This under-determination encodes that one has control over the remaining part of the boundary. We prove that for any initial data, for any positive time, there exists a weak Leray solution which vanishes at this given time.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Local exponential stabilization for a class of Korteweg-de Vries equations by means of time-varying feedback laws
Authors:
Jean-Michel Coron,
Ivonne Rivas,
Shengquan Xiang
Abstract:
We study the exponential stabilization problem for a nonlinear Korteweg-de Vries equa- tion on bounded interval in cases where the linearized control system is not controllable. The system has Dirichlet boundary conditions at the end-points of the interval, a Neumann nonhomogeneous boundary condition at the right end-point which is the control. We build a class of time-varying feedback laws for wh…
▽ More
We study the exponential stabilization problem for a nonlinear Korteweg-de Vries equa- tion on bounded interval in cases where the linearized control system is not controllable. The system has Dirichlet boundary conditions at the end-points of the interval, a Neumann nonhomogeneous boundary condition at the right end-point which is the control. We build a class of time-varying feedback laws for which the solutions of the closed-loop systems with small initial data decay exponentially to 0. We present also results on the well-posedness of the closed-loop systems for general time-varying feedback laws.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
Finite-time boundary stabilization of general linear hyperbolic balance laws via Fredholm backstep** transformation $\star$
Authors:
Jean-Michel Coron,
Long Hu,
Guillaume Olive
Abstract:
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.
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.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
Small-time global exact controllability of the Navier-Stokes equation with Navier slip-with-friction boundary conditions
Authors:
Jean-Michel Coron,
Frédéric Marbach,
Franck Sueur
Abstract:
In this work, we investigate the small-time global exact controllability of the Navier-Stokes equation, both towards the null equilibrium state and towards weak trajectories. We consider a viscous incompressible fluid evolving within a smooth bounded domain, either in 2D or in 3D. The controls are only located on a small part of the boundary, intersecting all its connected components. On the remai…
▽ More
In this work, we investigate the small-time global exact controllability of the Navier-Stokes equation, both towards the null equilibrium state and towards weak trajectories. We consider a viscous incompressible fluid evolving within a smooth bounded domain, either in 2D or in 3D. The controls are only located on a small part of the boundary, intersecting all its connected components. On the remaining parts of the boundary, the fluid obeys a Navier slip-with-friction boundary condition. Even though viscous boundary layers appear near these uncontrolled boundaries, we prove that small-time global exact controllability holds. Our analysis relies on the controllability of the Euler equation combined with asymptotic boundary layer expansions. Choosing the boundary controls with care enables us to guarantee good dissipation properties for the residual boundary layers, which can then be exactly canceled using local techniques.
△ Less
Submitted 5 March, 2017; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Control of three heat equations coupled with two cubic nonlinearities
Authors:
Jean-Michel Coron,
Jean-Philippe Guilleron
Abstract:
We study the null controllability of three parabolic equations. The control is acting only on one of the three equations. The three equations are coupled by means of two cubic nonlinearities. The linearized control system around 0 is not null controllable. However, using the cubic nonlinearities, we prove the (global) null controllability of the control system. The proof relies on the return metho…
▽ More
We study the null controllability of three parabolic equations. The control is acting only on one of the three equations. The three equations are coupled by means of two cubic nonlinearities. The linearized control system around 0 is not null controllable. However, using the cubic nonlinearities, we prove the (global) null controllability of the control system. The proof relies on the return method, an algebraic solvability and smoothing properties of the parabolic equations.
△ Less
Submitted 24 November, 2016;
originally announced November 2016.
-
Rapid Stabilization of a Linearized Bilinear $1-D$ Schrödinger Equation
Authors:
Jean-Michel Coron,
Ludovick Gagnon,
Morgan Morancey
Abstract:
We consider the one dimensional Schrödinger equation with a bilinear control and prove the rapid stabilization of the linearized equation around the ground state. The feedback law ensuring the rapid stabilization is obtained using a transformation map** the solution to the linearized equation on the solution to an exponentially stable target linear equation. A suitable condition is imposed on th…
▽ More
We consider the one dimensional Schrödinger equation with a bilinear control and prove the rapid stabilization of the linearized equation around the ground state. The feedback law ensuring the rapid stabilization is obtained using a transformation map** the solution to the linearized equation on the solution to an exponentially stable target linear equation. A suitable condition is imposed on the transformation in order to cancel the non-local terms arising in the kernel system. This conditions also insures the uniqueness of the transformation. The continuity and invertibility of the transformation follows from exact controllability of the linearized system.
△ Less
Submitted 11 November, 2016;
originally announced November 2016.
-
Asymptotic stability of a Korteweg-de Vries equation with a two-dimensional center manifold
Authors:
Shuxia Tang,
Jixun Chu,
Peipei Shang,
Jean-Michel Coron
Abstract:
Local asymptotic stability analysis is conducted for an initial-boundary-value problem of a Korteweg-de Vries equation posed on a finite interval $\left[0, 2π\sqrt{7/3}\right]$. The equation comes with a Dirichlet boundary condition at the left end-point and both of the Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the associated linearized equation…
▽ More
Local asymptotic stability analysis is conducted for an initial-boundary-value problem of a Korteweg-de Vries equation posed on a finite interval $\left[0, 2π\sqrt{7/3}\right]$. The equation comes with a Dirichlet boundary condition at the left end-point and both of the Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the associated linearized equation around the origin is not asymptotically stable. In this paper, the nonlinear Korteweg-de Vries equation is proved to be locally asymptotically stable around the origin through the center manifold method. In particular, the existence of a two-dimensional local center manifold is presented, which is locally exponentially attractive. By analyzing the Korteweg-de Vries equation restricted on the local center manifold, a polynomial decay rate of the solution is obtained.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
-
Dissipative boundary conditions for $2\times 2$ hyperbolic systems of conservation laws for entropy solutions in BV
Authors:
Jean-Michel Coron,
Sylvain Ervedoza,
Shyam Ghoshal,
Olivier Glass,
Vincent Perrollaz
Abstract:
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 approx…
▽ More
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].
△ Less
Submitted 16 December, 2015;
originally announced December 2015.
-
Stabilization and controllability of first-order integro-differential hyperbolic equations
Authors:
Jean-Michel Coron,
Long Hu,
Guillaume Olive
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 3 November, 2015;
originally announced November 2015.
-
Fredholm Transform and Local Rapid Stabilization for a Kuramoto-Sivashinsky Equation
Authors:
Jean-Michel Coron,
Qi Lu
Abstract:
This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced…
▽ More
This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced for the rapid stabilization of a Korteweg-de Vries equation. It relies on the construction of a suitable integral transform and can be applied to many other equations.
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
Dissipative boundary conditions for nonlinear 1-D hyperbolic systems: sharp conditions through an approach via time-delay systems
Authors:
Jean-Michel Coron,
Hoai-Minh Nguyen
Abstract:
We analyse dissipative boundary conditions for nonlinear hyperbolic systems in one space dimension. We show that a previous known sufficient condition for exponential stability with respect to the C^1-norm is optimal. In particular a known weaker sufficient condition for exponential stability with respect to the H^2-norm is not sufficient for the exponential stability with respect to the C^1-norm.…
▽ More
We analyse dissipative boundary conditions for nonlinear hyperbolic systems in one space dimension. We show that a previous known sufficient condition for exponential stability with respect to the C^1-norm is optimal. In particular a known weaker sufficient condition for exponential stability with respect to the H^2-norm is not sufficient for the exponential stability with respect to the C^1-norm. Hence, due to the nonlinearity, even in the case of classical solutions, the exponential stability depends strongly on the norm considered. We also give a new sufficient condition for the exponential stability with respect to the W^{2,p}-norm. The methods used are inspired from the theory of the linear time-delay systems and incorporate the characteristic method.
△ Less
Submitted 7 March, 2014;
originally announced March 2014.
-
Minimal time for the bilinear control of Schrödinger equations
Authors:
Karine Beauchard,
Jean-Michel Coron,
Holger Teismann
Abstract:
We consider a quantum particle in a potential V (x) (x in R^N) subject to a (spatially homogeneous) time-dependent electric field E(t), which plays the role of the control. Under generic assumptions on V, this system is approximately controllable on the L2(R^N;C)-sphere, in su ffiently large times T, as proved by Boscain, Caponigro, Chambrion and Sigalotti. In the present article, we show that thi…
▽ More
We consider a quantum particle in a potential V (x) (x in R^N) subject to a (spatially homogeneous) time-dependent electric field E(t), which plays the role of the control. Under generic assumptions on V, this system is approximately controllable on the L2(R^N;C)-sphere, in su ffiently large times T, as proved by Boscain, Caponigro, Chambrion and Sigalotti. In the present article, we show that this approximate controllability result is false in small time. As a consequence, the result by Boscain et al. is, in some sense, optimal with respect to the control time T.
△ Less
Submitted 27 January, 2014;
originally announced January 2014.
-
Local rapid stabilization for a Korteweg-de Vries equation with a Neumann boundary control on the right
Authors:
Jean-Michel Coron,
Qi Lü
Abstract:
This paper is devoted to the study of the rapid exponential stabilization problem for a controlled Korteweg-de Vries equation on a bounded interval with homogeneous Dirichlet boundary conditions and Neumann boundary control at the right endpoint of the interval. For every noncritical length, we build a feedback control law to force the solution of the closed-loop system to decay exponentially to z…
▽ More
This paper is devoted to the study of the rapid exponential stabilization problem for a controlled Korteweg-de Vries equation on a bounded interval with homogeneous Dirichlet boundary conditions and Neumann boundary control at the right endpoint of the interval. For every noncritical length, we build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach relies on the construction of a suitable integral transform.
△ Less
Submitted 19 March, 2014; v1 submitted 16 November, 2013;
originally announced November 2013.
-
Optimization of an Amplification Protocol for Misfolded Proteins by using Relaxed Control
Authors:
Jean-Michel Coron,
Pierre Gabriel,
Peipei Shang
Abstract:
We investigate an optimal control problem which arises in the optimization of an amplification technique for misfolded proteins. The improvement of this technique may play a role in the detection of prion diseases. The model consists in a linear system of differential equations with a nonlinear control. The appearance of oscillations in the numerical simulations is understood by using the Perron a…
▽ More
We investigate an optimal control problem which arises in the optimization of an amplification technique for misfolded proteins. The improvement of this technique may play a role in the detection of prion diseases. The model consists in a linear system of differential equations with a nonlinear control. The appearance of oscillations in the numerical simulations is understood by using the Perron and Floquet eigenvalue theory for nonnegative irreductible matrices. Then to overcome the unsolvability of the optimal control, we relax the problem. In the two dimensional case we solve explicitely the optimal relaxed control problem when the final time is large enough.
△ Less
Submitted 29 January, 2014; v1 submitted 10 September, 2013;
originally announced September 2013.
-
Asymptotic stability of a nonlinear Korteweg-de Vries equation with a critical length
Authors:
Jixun Chu,
Jean-Michel Coron,
Peipei Shang
Abstract:
We study an initial-boundary-value problem of a nonlinear Korteweg-de Vries equation posed on a finite interval (0,2pi). The whole system has Dirichlet boundary condition at the left end-point, and both of Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the origin is not asymptotically stable for the linearized system around the origin. We prove that…
▽ More
We study an initial-boundary-value problem of a nonlinear Korteweg-de Vries equation posed on a finite interval (0,2pi). The whole system has Dirichlet boundary condition at the left end-point, and both of Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the origin is not asymptotically stable for the linearized system around the origin. We prove that the origin is (locally) asymptotically stable for the nonlinear system.
△ Less
Submitted 16 June, 2013;
originally announced June 2013.
-
Output feedback stabilization for a scalar conservation law with a nonlocal velocity
Authors:
Jean-Michel Coron,
Zhiqiang Wang
Abstract:
In this paper, we study the output feedback stabilization for a scalar conservation law with a nonlocal velocity, that models a highly re-entrant manufacturing system as encountered in semi-conductor production. By spectral analysis, we obtain a complete result on the exponential stabilization for the linearized control system. Moreover, by using a Lyapunov function approach, we also prove the exp…
▽ More
In this paper, we study the output feedback stabilization for a scalar conservation law with a nonlocal velocity, that models a highly re-entrant manufacturing system as encountered in semi-conductor production. By spectral analysis, we obtain a complete result on the exponential stabilization for the linearized control system. Moreover, by using a Lyapunov function approach, we also prove the exponential stabilization results for the nonlinear control system in certain cases.
△ Less
Submitted 28 January, 2013;
originally announced January 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.
-
Local exponential H^2 stabilization of a 2X2 quasilinear hyperbolic system using backstep**
Authors:
Jean-Michel Coron,
Rafael Vazquez,
Miroslav Krstic,
Georges Bastin
Abstract:
In this work, we consider the problem of boundary stabilization for a quasilinear 2X2 system of first-order hyperbolic PDEs. We design a new full-state feedback control law, with actuation on only one end of the domain, which achieves H^2 exponential stability of the closedloop system. Our proof uses a backstep** transformation to find new variables for which a strict Lyapunov function can be co…
▽ More
In this work, we consider the problem of boundary stabilization for a quasilinear 2X2 system of first-order hyperbolic PDEs. We design a new full-state feedback control law, with actuation on only one end of the domain, which achieves H^2 exponential stability of the closedloop system. Our proof uses a backstep** transformation to find new variables for which a strict Lyapunov function can be constructed. The kernels of the transformation are found to verify a Goursat-type 4X4 system of first-order hyperbolic PDEs, whose well-posedness is shown using the method of characteristics and successive approximations. Once the kernels are computed, the stabilizing feedback law can be explicitly constructed from them.
△ Less
Submitted 31 August, 2012;
originally announced August 2012.
-
Optimal control of cell mass and maturity in a model of follicular ovulation
Authors:
Frédérique Clément,
Jean-Michel Coron,
Peipei Shang
Abstract:
In this paper, we study optimal control problems associated with a scalar hyperbolic conservation law modeling the development of ovarian follicles. Changes in the age and maturity of follicular cells are described by a 2D conservation law, where the control terms act on the velocities. The control problem consists in optimizing the follicular cell resources so that the follicular maturity reaches…
▽ More
In this paper, we study optimal control problems associated with a scalar hyperbolic conservation law modeling the development of ovarian follicles. Changes in the age and maturity of follicular cells are described by a 2D conservation law, where the control terms act on the velocities. The control problem consists in optimizing the follicular cell resources so that the follicular maturity reaches a maximal value in fixed time. Formulating the optimal control problem within a hybrid framework, we prove necessary optimality conditions in the form of Hybrid Maximum Principle. Then we derive the optimal strategy and show that there exists at least one optimal bang-bang control with one single switching time.
△ Less
Submitted 15 October, 2012; v1 submitted 9 February, 2012;
originally announced February 2012.
-
Null controllability of a parabolic system with a cubic coupling term
Authors:
Jean-Michel Coron,
Sergio Guerrero,
Lionel Rosier
Abstract:
We consider a system of two parabolic equations with a forcing term present in one equation and a cubic coupling term in the other one. We prove that the system is locally null controllable.
We consider a system of two parabolic equations with a forcing term present in one equation and a cubic coupling term in the other one. We prove that the system is locally null controllable.
△ Less
Submitted 1 February, 2010;
originally announced February 2010.
-
Analysis of a conservation law modeling a highly re-entrant manufacturing system
Authors:
Jean-Michel Coron,
Matthias kawski,
Zhiqiang Wang
Abstract:
This article studies a hyperbolic conservation law that models a highly re-entrant manufacturing system as encountered in semi-conductor production. Characteristic features are the nonlocal character of the velocity and that the influx and outflux constitute the control and output signal, respectively. We prove the existence and uniqueness of solutions for $L^1$-data, and study their regularity…
▽ More
This article studies a hyperbolic conservation law that models a highly re-entrant manufacturing system as encountered in semi-conductor production. Characteristic features are the nonlocal character of the velocity and that the influx and outflux constitute the control and output signal, respectively. We prove the existence and uniqueness of solutions for $L^1$-data, and study their regularity properties. We also prove the existence of optimal controls that minimizes in the $L^2$-sense the mismatch between the actual and a desired output signal. Finally, the time-optimal control for a step between equilibrium states is identified and proven to be optimal.
△ Less
Submitted 7 July, 2009;
originally announced July 2009.
-
Controllability issues for continuous-spectrum systems and ensemble controllability of Bloch Equations
Authors:
Karine Beauchard,
Jean-Michel Coron,
Pierre Rouchon
Abstract:
We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear systems with continuous spectrum, whose controllability is not well understood. We provide several mathematical answers, with discrimination between approxim…
▽ More
We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear systems with continuous spectrum, whose controllability is not well understood. We provide several mathematical answers, with discrimination between approximate and exact controllability, and between finite time or infinite time controllability: this system is not exactly controllable in finite time $T$ with bounded controls in $L^2(0,T)$, but it is approximately controllable in $L^\infty$ in finite time with unbounded controls in $L^{\infty}_{loc}([0,+\infty))$. Moreover, we propose explicit controls realizing the asymptotic exact controllability to a uniform state of spin +1/2 or -1/2.
△ Less
Submitted 16 March, 2009;
originally announced March 2009.
-
Exact boundary controllability for 1-D quasilinear hyperbolic systems with a vanishing characteristic speed
Authors:
Jean-Michel Coron,
Olivier Glass,
Zhiqiang Wang
Abstract:
The general theory on exact boundary controllability for general first order quasilinear hyperbolic systems requires that the characteristic speeds of system do not vanish. This paper deals with exact boundary controllability, when this is not the case. Some important models are also shown as applications of the main result. The strategy uses the return method, which allows in certain situations…
▽ More
The general theory on exact boundary controllability for general first order quasilinear hyperbolic systems requires that the characteristic speeds of system do not vanish. This paper deals with exact boundary controllability, when this is not the case. Some important models are also shown as applications of the main result. The strategy uses the return method, which allows in certain situations to recover non zero characteristic speeds.
△ Less
Submitted 15 February, 2009;
originally announced February 2009.