-
New results on biorthogonal families in cylindrical domains and controllability consequences
Authors:
F. Ammar Khodja,
A. Benabdallah,
M. González-Burgos,
M. Morancey,
L. de Teresa
Abstract:
In this article we consider moment problems equivalent to null controllability of some linear parabolic partial differential equations in space dimension higher than one. For these moment problems, we prove existence of an associated biorthogonal family and estimate its norm. The considered setting requires the space domain to be a cylinder and the evolution operator to be tensorized. Roughly spea…
▽ More
In this article we consider moment problems equivalent to null controllability of some linear parabolic partial differential equations in space dimension higher than one. For these moment problems, we prove existence of an associated biorthogonal family and estimate its norm. The considered setting requires the space domain to be a cylinder and the evolution operator to be tensorized. Roughly speaking, we assume that the so-called Lebeau-Robbiano spectral inequality holds but only for the eigenvectors of the transverse operator. In the one dimensional tangent variable we assume the solvability of block moment problem as introduced in [Benabdallah, Boyer and Morancey - \textit{Ann. H. Lebesgue.} 3 (2020)]. We apply this abstract construction of biorthogonal families to the characterization of the minimal time for simultaneous null controllability of two heat-like equations in a cylindrical domain. To the best of our knowledge, this result is unattainable with other known techniques.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Quantitative Fattorini-Hautus test and minimal null control time for parabolic problems
Authors:
F. Ammar Khodja,
A. Benabdallah,
M. González-Burgos,
M. Morancey
Abstract:
This paper investigates the link between the null controllability property for some abstract parabolic problems and an inequality that can be seen as a quantified Fattorini-Hautus test. Depending on the hypotheses made on the abstract setting considered we prove that this inequality either gives the exact minimal null control time or at least gives the qualitative property of existence of such a m…
▽ More
This paper investigates the link between the null controllability property for some abstract parabolic problems and an inequality that can be seen as a quantified Fattorini-Hautus test. Depending on the hypotheses made on the abstract setting considered we prove that this inequality either gives the exact minimal null control time or at least gives the qualitative property of existence of such a minimal time. We also prove that for many known examples of minimal time in the parabolic setting, this inequality recovers the value of this minimal time.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Minimal time for the continuity equation controlled by a localized perturbation of the velocity vector field
Authors:
Michel Duprez,
Morgan Morancey,
Francesco Rossi
Abstract:
In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We will assume that there is no interaction between the agents. We give a characterization of the minimal time both for microscopic and macroscopic descriptions of a crowd. We show that the min…
▽ More
In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We will assume that there is no interaction between the agents. We give a characterization of the minimal time both for microscopic and macroscopic descriptions of a crowd. We show that the minimal time to steer one initial configuration to another is related to the condition of having enough mass in the control region to feed the desired final configuration. The construction of the control is explicit, providing a numerical algorithm for computing it. We finally give some numerical simulations.
△ Less
Submitted 27 November, 2019; v1 submitted 14 October, 2018;
originally announced October 2018.
-
Approximate and exact controllability of the continuity equation with a localized vector field
Authors:
Michel Duprez,
Morgan Morancey,
Francesco Rossi
Abstract:
We study the controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling it with a control being a vector field, representing a perturbation of the velocity, localized on a fixed control set. We prove that, for each initial and final configuration, one can steer approximately one to another with Lipschitz controls when the unc…
▽ More
We study the controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling it with a control being a vector field, representing a perturbation of the velocity, localized on a fixed control set. We prove that, for each initial and final configuration, one can steer approximately one to another with Lipschitz controls when the uncontrolled dynamics allows to cross the control set. We also show that the exact controllability only holds for controls with less regularity, for which one may lose uniqueness of the associated solution.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
Application of the boundary control method to partial data Borg-Levinson inverse spectral problem
Authors:
Yavar Kian,
Morgan Morancey,
Lauri Oksanen
Abstract:
We consider the multidimensional Borg-Levinson problem of determining a potential $q$, appearing in the Dirichlet realization of the Schrödinger operator $A_q=-Δ+q$ on a bounded domain $Ω\subset \mathbb{R}^n$, $n\geq2$, from the boundary spectral data of $A_q$ on an arbitrary portion of $\partialΩ$. More precisely, for $γ$ an open and non-empty subset of $\partialΩ$, we consider the boundary spect…
▽ More
We consider the multidimensional Borg-Levinson problem of determining a potential $q$, appearing in the Dirichlet realization of the Schrödinger operator $A_q=-Δ+q$ on a bounded domain $Ω\subset \mathbb{R}^n$, $n\geq2$, from the boundary spectral data of $A_q$ on an arbitrary portion of $\partialΩ$. More precisely, for $γ$ an open and non-empty subset of $\partialΩ$, we consider the boundary spectral data on $γ$ given by $\mathrm{BSD}(q,γ):=\{(λ_{k},{\partial_νφ_{k}}_{|\overlineγ}):\ k \geq1\}$, where $\{ λ_k:\ k \geq1\}$ is the non-decreasing sequence of eigenvalues of $A_q$, $\{ φ_k:\ k \geq1 \}$ an associated Hilbertian basis of eigenfunctions, and $ν$ is the unit outward normal vector to $\partialΩ$. We prove that the data $\mathrm{BSD}(q,γ)$ uniquely determine a bounded potential $q\in L^\infty(Ω)$. Previous uniqueness results, with arbitrarily small $γ$, assume that $q$ is smooth. Our approach is based on the Boundary Control method, and we give a self-contained presentation of the method, focusing on the analytic rather than geometric aspects of the method.
△ Less
Submitted 26 March, 2017;
originally announced March 2017.
-
Minimal time problem for discrete crowd models with a localized vector field
Authors:
Michel Duprez,
Morgan Morancey,
Francesco Rossi
Abstract:
In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We characterize the minimal time for a discrete crowd model, both for exact and approximate controllability. This leads to an algorithm that computes the control and the minimal time. We fina…
▽ More
In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We characterize the minimal time for a discrete crowd model, both for exact and approximate controllability. This leads to an algorithm that computes the control and the minimal time. We finally present a numerical simulation.
△ Less
Submitted 20 March, 2018; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Controllability and optimal control of the transport equation with a localized vector field
Authors:
Michel Duprez,
Morgan Morancey,
Francesco Rossi
Abstract:
We study controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling such system with a control being a Lipschitz vector field on a fixed control set $ω$. We prove that, for each initial and final configuration, one can steer one to another with such class of controls only if the uncontrolled dynamics allows to cross the contr…
▽ More
We study controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling such system with a control being a Lipschitz vector field on a fixed control set $ω$. We prove that, for each initial and final configuration, one can steer one to another with such class of controls only if the uncontrolled dynamics allows to cross the control set $ω$. We also prove a minimal time result for such systems. We show that the minimal time to steer one initial configuration to another is related to the condition of having enough mass in $ω$ to feed the desired final configuration.
△ Less
Submitted 2 November, 2017; v1 submitted 23 February, 2017;
originally announced February 2017.
-
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 mapping 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 mapping 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.
-
Global exact controllability of a 1D Schrödinger equations with a polarizability term
Authors:
Morgan Morancey,
Vahagn Nersesyan
Abstract:
We consider a quantum particle in a 1D interval submitted to a potential. The evolution of this particle is controlled using an external electric field. Taking into account the so-called polarizability term in the model (quadratic with respect to the control), we prove global exact controllability in a suitable space for arbitrary potential and arbitrary dipole moment. This term is relevant both f…
▽ More
We consider a quantum particle in a 1D interval submitted to a potential. The evolution of this particle is controlled using an external electric field. Taking into account the so-called polarizability term in the model (quadratic with respect to the control), we prove global exact controllability in a suitable space for arbitrary potential and arbitrary dipole moment. This term is relevant both from the mathematical and physical points of view. The proof uses tools from the bilinear setting and a perturbation argument.
△ Less
Submitted 26 September, 2013;
originally announced September 2013.
-
Simultaneous global exact controllability of an arbitrary number of 1D bilinear Schrödinger equations
Authors:
Morgan Morancey,
Vahagn Nersesyan
Abstract:
We consider a system of an arbitrary number of \textsc{1d} linear Schrödinger equations on a bounded interval with bilinear control. We prove global exact controllability in large time of these $N$ equations with a single control. This result is valid for an arbitrary potential with generic assumptions on the dipole moment of the considered particle. Thus, even in the case of a single particle, th…
▽ More
We consider a system of an arbitrary number of \textsc{1d} linear Schrödinger equations on a bounded interval with bilinear control. We prove global exact controllability in large time of these $N$ equations with a single control. This result is valid for an arbitrary potential with generic assumptions on the dipole moment of the considered particle. Thus, even in the case of a single particle, this result extends the available literature. The proof combines local exact controllability around finite sums of eigenstates, proved with Coron's return method, a global approximate controllability property, proved with Lyapunov strategy, and a compactness argument.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
Approximate controllability for a 2D Grushin equation with potential having an internal singularity
Authors:
Morgan Morancey
Abstract:
This paper is dedicated to approximate controllability for Grushin equation on the rectangle $(x,y) \in (-1,1) \times (0,1)$ with an inverse square potential. This model corresponds to the heat equation for the Laplace-Beltrami operator associated to the Grushin metric on $\mathbb{R}^2$, studied by Boscain and Laurent. The operator is both degenerate and singular on the line $\{ x=0 \}$.
The app…
▽ More
This paper is dedicated to approximate controllability for Grushin equation on the rectangle $(x,y) \in (-1,1) \times (0,1)$ with an inverse square potential. This model corresponds to the heat equation for the Laplace-Beltrami operator associated to the Grushin metric on $\mathbb{R}^2$, studied by Boscain and Laurent. The operator is both degenerate and singular on the line $\{ x=0 \}$.
The approximate controllability is studied through unique continuation of the adjoint system. For the range of singularity under study, approximate controllability is proved to hold whatever the degeneracy is.
Due to the internal inverse square singularity, a key point in this work is the study of well-posedness. An extension of the singular operator is designed imposing suitable transmission conditions through the singularity.
Then, unique continuation relies on the Fourier decomposition of the 2D solution in one variable and Carleman estimates for the 1D heat equation solved by the Fourier components. The Carleman estimate uses a suitable Hardy inequality.
△ Less
Submitted 17 October, 2014; v1 submitted 24 June, 2013;
originally announced June 2013.
-
Simultaneous local exact controllability of 1D bilinear Schrödinger equations
Authors:
Morgan Morancey
Abstract:
We consider N independent quantum particles, in an infinite square potential well coupled to an external laser field. These particles are modelled by a system of linear Schrödinger equations on a bounded interval. This is a bilinear control system in which the state is the N-tuple of wave functions. The control is the real amplitude of the laser field. For N=1, Beauchard and Laurent proved local e…
▽ More
We consider N independent quantum particles, in an infinite square potential well coupled to an external laser field. These particles are modelled by a system of linear Schrödinger equations on a bounded interval. This is a bilinear control system in which the state is the N-tuple of wave functions. The control is the real amplitude of the laser field. For N=1, Beauchard and Laurent proved local exact controllability around the ground state in arbitrary time. We prove, under an extra generic assumption, that their result does not hold in small time if N is greater or equal than 2. Still, for N=2, we prove using Coron's return method that local controllability holds either in arbitrary time up to a global phase or exactly up to a global delay. We also prove that for N greater or equal than 3, local controllability does not hold in small time even up to a global phase. Finally, for N=3, we prove that local controllability holds up to a global phase and a global delay.
△ Less
Submitted 25 April, 2013; v1 submitted 6 November, 2012;
originally announced November 2012.
-
Local controllability of 1D Schrödinger equations with bilinear control and minimal time
Authors:
Karine Beauchard,
Morgan Morancey
Abstract:
We consider a linear Schrödinger equation, on a bounded interval, with bilinear control.
Beauchard and Laurent proved that, under an appropriate non degeneracy assumption, this system is controllable, locally around the ground state, in arbitrary time. Coron proved that a positive minimal time is required for this controllability, on a particular degenerate example.
In this article, we propose…
▽ More
We consider a linear Schrödinger equation, on a bounded interval, with bilinear control.
Beauchard and Laurent proved that, under an appropriate non degeneracy assumption, this system is controllable, locally around the ground state, in arbitrary time. Coron proved that a positive minimal time is required for this controllability, on a particular degenerate example.
In this article, we propose a general context for the local controllability to hold in large time, but not in small time. The existence of a positive minimal time is closely related to the behaviour of the second order term, in the power series expansion of the solution.
△ Less
Submitted 16 January, 2013; v1 submitted 27 August, 2012;
originally announced August 2012.
-
Explicit approximate controllability of the Schrödinger equation with a polarizability term
Authors:
Morgan Morancey
Abstract:
We consider a controlled Schrödinger equation with a dipolar and a polarizability term, used when the dipolar approximation is not valid. The control is the amplitude of the external electric field, it acts non linearly on the state. We extend in this infinite dimensional framework previous techniques used by Coron, Grigoriu, Lefter and Turinici for stabilization in finite dimension. We consider a…
▽ More
We consider a controlled Schrödinger equation with a dipolar and a polarizability term, used when the dipolar approximation is not valid. The control is the amplitude of the external electric field, it acts non linearly on the state. We extend in this infinite dimensional framework previous techniques used by Coron, Grigoriu, Lefter and Turinici for stabilization in finite dimension. We consider a highly oscillating control and prove the semi-global weak $H^2$ stabilization of the averaged system using a Lyapunov function introduced by Nersesyan. Then it is proved that the solutions of the Schrödinger equation and of the averaged equation stay close on every finite time horizon provided that the control is oscillating enough. Combining these two results, we get approximate controllability to the ground state for the polarizability system.
△ Less
Submitted 20 July, 2012; v1 submitted 13 October, 2011;
originally announced October 2011.
