This paper presents graph theoretic conditions for the controllability and accessibility of bilinear systems over the special orthogonal group, the special linear group and the general linear group, respectively, in the presence of drift terms. Such bilinear systems naturally induce two interaction graphs: one graph from the drift, and another from the controlled dynamics. As a result, the system controllability or accessibility becomes a property of the two graphs in view of the classical Lie algebra rank condition. We establish a systemic way of transforming the Lie bracket operations in the underlying Lie algebra, into specific operations of removing or creating links over the drift and controlled interaction graphs. As a result, we establish a series of graphical conditions for the controllability and accessibility of such bilinear systems, which rely only on the connectivity of the union of the drift and controlled interaction graphs. We present examples to illustrate the validity of the established results, and show that the proposed conditions are in fact considerably tight.
We show the approximate rotational controllability of a polar linear molecule by means of three nonresonant linear polarized laser fields. The result is based on a general approximate controllability result for the bilinear Schrödinger equation, with wavefunction varying in the unit sphere of an infinite-dimensional Hilbert space and with several control potentials, under the assumption that the internal Hamiltonian has discrete spectrum.
Bilinear systems emerge in a wide variety of fields as natural models for dynamical systems ranging from robotics to quantum dots. Analyzing controllability of such systems is of fundamental and practical importance, for example, for the design of optimal control laws, stabilization of unstable systems, and minimal realization of input-output relations. Tools from Lie theory have been adopted to establish controllability conditions for bilinear systems, and the most notable development was the Lie algebra rank condition (LARC). However, the application of the LARC may be computationally expens…
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…
In this paper, we study graphical conditions for structural controllability and accessibility of drifted bilinear systems over Lie groups. We consider a bilinear control system with drift and controlled terms that evolves over the special orthogonal group, the general linear group, and the special unitary group. Zero patterns are prescribed for the drift and controlled dynamics with respect to a set of base elements in the corresponding Lie algebra. The drift dynamics must respect a rigid zero-pattern in the sense that the drift takes values as a linear combination of base elements with strict…
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…
In this paper we present necessary and sufficient conditions to guarantee the existence of invariant cones, for semigroup actions, in the space of the $k$-fold exterior product. As consequence we establish a necessary and sufficient condition for controllability of a class of bilinear control systems.
This note presents a sufficient condition for partial approximate ensemble controllability of a set of bilinear conservative quantum systems in an infinite dimensional Hilbert space. The proof relies on classical geometric and averaging control techniques applied on finite dimensional approximation of the infinite dimensional system. The results are illustrated with the planar rotation of a linear molecule.
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 pr…
In this paper, we study the global approximate multiplicative controllability for nonlinear degenerate parabolic Cauchy-Neumann problems. First, we will obtain embedding results for weighted Sobolev spaces, that have proved decisive in reaching well-posedness for nonlinear degenerate problems. Then, we show that the above systems can be steered in $L^2$ from any nonzero, nonnegative initial state into any neighborhood of any desirable nonnegative target-state by bilinear piecewise static controls. Moreover, we extend the above result relaxing the sign constraint on the initial date.
In this paper we prove that the Ball-Marsden-Slemrod controllability obstruction also holds for nonlinear equations, with integrable bilinear controls. We first show an abstract result and then we apply it to nonlinear wave equations. The first application to the Sine-Gordon equation directly follows from the abstract result, and the second application concerns the cubic wave/Klein-Gordon equation and needs some additional work.
We prove the approximate controllability of a bilinear Schrödinger equation modelling a two trapped ions system. A new spectral decoupling technique is introduced, which allows to analyze the controllability of the infinite-dimensional system through finite-dimensional considerations.
Partial differential equation on networks have been widely investigated in the last decades in view of their application to quantum mechanics (Schrödinger type equations) or to the analysis of flexible structures (wave type equations). Nevertheless, very few results are available for diffusive models despite an increasing demand arising from life sciences such as neurobiology. This paper analyzes the controllability properties of the heat equation on a compact network under the action of a single input bilinear control. By adapting a recent method due to [F.~Alabau-Boussouira, P.~Cannarsa and …
In a separable Hilbert space $X$, we study the linear evolution equation \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0, \end{equation*} where $A$ is an accretive self-adjoint linear operator, $B$ is a bounded linear operator on $X$, and $p\in L^2_{loc}(0,+\infty)$ is a bilinear control. We give sufficient conditions in order for the above control system to be locally controllable to the ground state solution, that is, the solution of the free equation ($p\equiv0$) starting from the ground state of $A$. We also derive global controllability results in large time and discuss applications to paraboli…
The aim of this work is to study the controllability of infinite bilinear Schrödinger equations on a segment. We consider the equations (BSE) $i\partial_tψ^{j}=-Δψ^j+u(t)Bψ^j$ in the Hilbert space $L^2((0,1),\mathbb{C})$ for every $j\in\mathbb{N}^*$. The Laplacian $-Δ$ is equipped with Dirichlet homogeneous boundary conditions, $B$ is a bounded symmetric operator and $u\in L^2((0,T),\mathbb{R})$ with $T>0$. We prove the simultaneous local and global exact controllability of infinite (BSE) in projection. The local controllability is guaranteed for any positive time and we provide explicit examp…
In [15] we proposed a set of sufficient conditions for the approximate controllability of a discrete-spectrum bilinear Schrödinger equation. These conditions are expressed in terms of the controlled potential and of the eigenpairs of the uncontrolled Schrödinger operator. The aim of this paper is to show that these conditions are generic with respect to the uncontrolled and the controlled potential, denoted respectively by $V$ and $W$. More precisely, we prove that the Schrödinger equation is approximately controllable generically with respect to $W$ when $V$ is fixed and also generically with…
In a separable Hilbert space $X$, we study the controlled evolution equation \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0, \end{equation*} where $A\geq-σI$ ($σ\geq0$) is a self-adjoint linear operator, $B$ is a bounded linear operator on $X$, and $p\in L^2_{loc}(0,+\infty)$ is a bilinear control. We give sufficient conditions in order for the above nonlinear control system to be locally controllable to the $j$th eigensolution for any $j\geq1$. We also derive semi-global controllability results in large time and discuss applications to parabolic equations in low space dimension. Our method is cons…
We consider a linear Schrödinger equation, on a bounded interval, with bilinear control, that represents a quantum particle in an electric field (the control). We prove the controllability of this system, in any positive time, locally around the ground state. Similar results were proved for particular models (by the first author and with J.M. Coron), in non optimal spaces, in long time and the proof relied on the Nash-Moser implicit function theorem in order to deal with an a priori loss of regularity. In this article, the model is more general, the spaces are optimal, there is no restriction …
A weak spectral condition for the controllability of the bilinear Schrödinger equation with application to the control of a rotating planar molecule
Centre National de la Recherche Scientifique (CNRS)（法国国家科学研究中心）；CMAP, École Polytechnique（巴黎综合理工学院 CMAP）；INRIA, Centre de Recherche Saclay, Team GECO（法国国家信息与自动化研究所 萨克雷研究中心 GECO团队）；INRIA, Centre de Recherche Nancy - Grand Est, Team CORIDA（法国国家信息与自动化研究所 南锡-大东部研究中心 CORIDA团队）；Institut Élie Cartan, UMR 7502 Nancy-Université/CNRS（埃利·嘉当研究所）
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 …
We study the exact controllability of the evolution equation \begin{equation*} u'(t)+Au(t)+p(t)Bu(t)=0 \end{equation*} where $A$ is a nonnegative self-adjoint operator on a Hilbert space $X$ and $B$ is an unbounded linear operator on $X$, which is dominated by the square root of $A$. The control action is bilinear and only of scalar-input form, meaning that the control is the scalar function $p$, which is assumed to depend only on time. Furthermore, we only consider square-integrable controls. Our main result is the local exact controllability of the above equation to the ground state solution…
We survey results of recent activity towards studying controllability and accessibility issues for equations of dynamics of incompressible fluids controlled by low-dimensional or, degenerate, forcing. New results concerning controllability of Navier-Stokes/Euler systems on two-dimensional sphere and on a generic two-dimensional domain are represented.
Problems involving control of large ensmebles of structurally identical dynamical systems, called \emph{ensemble control}, arise in numerous scientific areas from quantum control and robotics to brain medicine. In many of such applications, control can only be implemented at the population level, i.e., through broadcasting an input signal to all the systems in the population, and this new control paradigm challenges the classical systems theory. In recent years, considerable efforts have been made to investigate controllability properties of ensemble systems, and most works emphasized on linea…
In [14] Duca and Nersesyan proved a small-time controllability property of nonlinear Schrödinger equations on a d-dimensional torus $\mathbb{T}^d$. In this paper we study a similar property, in the linear setting, starting from a closed Riemannian manifold. We then focus on the 2-dimensional sphere $S^2$, which models the bilinear control of a rotating linear top: as a corollary, we obtain the approximate controllability in arbitrarily small times among particular eigenfunctions of the Laplacian of $S^2$.
We consider the linear degenerate wave equation, on the interval $(0, 1)$ $$ w_{tt} - (x^αw_x)_x = p(t) μ(x) w, $$ with bilinear control $p$ and Neumann boundary conditions. We study the controllability of this nonlinear control system, locally around a constant reference trajectory, the ground state. We prove that, generically with respect to $μ$, any target close to the ground state in the $H^3\times H^2$ topology (suitably adapted to the underlying degenerate operator) is reachable in time $T > \frac{4}{2-α}$, with controls in $L^2((0, T ),\mathbb R)$. Under some classical and generic assum…
In this paper we study the error in the approximate simultaneous controllability of the bilinear Schrodinger equation. We provide estimates based on a tracking algorithm for general bilinear quantum systems and on the study of the finite dimensional Galerkin approximations for a particular class of quantum systems, weakly-coupled systems. We then present two physical examples: the perturbed quantum harmonic oscillator and the infinite potential well.
This paper examines the controllability for quantum control systems with SU(1,1) dynamical symmetry, namely, the ability to use some electromagnetic field to redirect the quantum system toward a desired evolution. The problem is formalized as the control of a right invariant bilinear system evolving on the Lie group SU(1,1) of two dimensional special pseudo-unitary matrices. It is proved that the elliptic condition of the total Hamiltonian is both sufficient and necessary for the controllability. Conditions are also given for small time local controllability and strong controllability. The res…
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 transfo…
Structural Controllability of Large-Scale Hypergraphs
Eric and Wendy Schmidt Center at the Broad Institute of MIT and Harvard（MIT和哈佛大学布罗德研究所的埃里克和wendy Schmidt中心）；School of Data Science and Society, University of North Carolina at Chapel Hill（夏洛特希尔大学数据科学与社会学院）；Department of Biostatistics, University of North Carolina at Chapel Hill（夏洛特希尔大学生物统计学系）
This paper considers control systems defined on Lie algebroids. After deriving basic controllability tests for general control systems, we specialize our discussion to the class of mechanical control systems on Lie algebroids. This class of systems includes mechanical systems subject to holonomic and nonholonomic constraints, mechanical systems with symmetry and mechanical systems evolving on semidirect products. We introduce the notions of linear connection, symmetric product and geodesically invariant subbundle on a Lie algebroid. We present appropriate tests for various notions of accessibi…
