arXiv subjects

Mario Sigalotti

Publications and source records attributed to Mario Sigalotti.

70 records · Page 4Linked to original sources

arXiv2012

Controllability of the bilinear Schrödinger equation with several controls and application to a 3D molecule

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.

math.OC↗

arXiv2012

On conditions for asymptotic stability of dissipative infinite-dimensional systems with intermittent damping

We study the asymptotic stability of a dissipative evolution in a Hilbert space subject to intermittent damping. We observe that, even if the intermittence satisfies a persistent excitation condition, if the Hilbert space is infinite-dimensional then the system needs not being asymptotically stable (not even in the weak sense). Exponential stability is recovered under a generalized observability inequality, allowing for time-domains that are not intervals. Weak asymptotic stability is obtained under a similarly generalized unique continuation principle. Finally, strong asymptotic stability is proved for intermittences that do not necessarily satisfy some persistent excitation condition, evaluating their total contribution to the decay of the trajectories of the damped system. Our results are discussed using the example of the wave equation, Schrödinger's equation and, for strong stability, also the special case of finite-dimensional systems.

math.OC↗

arXiv2011

A weak spectral condition for the controllability of the bilinear Schrödinger equation with application to the control of a rotating planar molecule

In this paper we prove an approximate controllability result for the bilinear Schrödinger equation. This result requires less restrictive non-resonance hypotheses on the spectrum of the uncontrolled Schrödinger operator than those present in the literature. The control operator is not required to be bounded and we are able to extend the controllability result to the density matrices. The proof is based on fine controllability properties of the finite dimensional Galerkin approximations and allows to get estimates for the $L^{1}$ norm of the control. The general controllability result is applied to the problem of controlling the rotation of a bipolar rigid molecule confined on a plane by means of two orthogonal external fields.

math.OC↗

arXiv2011

Adiabatic control of the Schrödinger equation via conical intersections of the eigenvalues

In this paper we present a constructive method to control the bilinear Schrödinger equation via two controls. The method is based on adiabatic techniques and works if the spectrum of the Hamiltonian admits eigenvalue intersections, and if the latter are conical (as it happens generically). We provide sharp estimates of the relation between the error and the controllability time.

math.OC↗

arXiv2011

Converse Lyapunov Theorems for Switched Systems in Banach and Hilbert Spaces

We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and sufficient conditions for their global exponential stability, uniform with respect to the switching signal, in terms of the existence of a Lyapunov function common to all modes.

math.OC↗

arXiv2010

Lipschitz classification of almost-Riemannian distances on compact oriented surfaces

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the Carnot--Caratheodory distance canonically associated with an almost-Riemannian structure and study the problem of Lipschitz equivalence between two such distances on the same compact oriented surface. We analyse the generic case, allowing in particular for the presence of tangency points, i.e., points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a characterization of the Lipschitz equivalence class of an almost-Riemannian distance in terms of a labelled graph associated with it.

math.OC↗

arXiv2009

High order sufficient conditions for tracking

In this paper, we study under which conditions the trajectories of a mechanical control system can track any curve on the configuration manifold. We focus on systems that can be represented as forced affine connection control systems and we generalize the sufficient conditions for tracking known in the literature. The sufficient conditions are expressed in terms of convex cones of vector fields defined through particular brackets of the control vector fields of the system. The tracking control laws obtained by our constructions depend on several parameters. By imposing suitable asymptotic conditions on such parameters, we construct algorithmically one-parameter tracking control laws. The theory is supported by examples of control systems associated with elliptic hovercrafts and ellipsoidal submarines.

math.OC↗

arXiv2009

Generic controllability properties for the bilinear Schrödinger equation

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 respect to $V$ when $W$ is fixed and non-constant. The results are obtained by analytic perturbation arguments and through the study of asymptotic properties of eigenfunctions.

math.OC↗

arXiv2009

The squares of the Laplacian-Dirichlet eigenfunctions are generically linearly independent

The paper deals with the genericity of domain-dependent spectral properties of the Laplacian-Dirichlet operator. In particular we prove that, generically, the squares of the eigenfunctions form a free family. We also show that the spectrum is generically non-resonant. The results are obtained by applying global perturbations of the domains and exploiting analytic perturbation properties. The work is motivated by two applications: an existence result for the problem of maximizing the rate of exponential decay of a damped membrane and an approximate controllability result for the bilinear Schrödinger equation.

math.OC↗

arXiv2009

Two-Dimensional Almost-Riemannian Structures with Tangency Points

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We study the relation between the topological invariants of an almost-Riemannian structure on a compact oriented surface and the rank-two vector bundle over the surface which defines the structure. We analyse the generic case including the presence of tangency points, i.e. points where two generators of the distribution and their Lie bracket are linearly dependent. The main result of the paper provides a classification of oriented almost-Riemannian structures on compact oriented surfaces in terms of the Euler number of the vector bundle corresponding to the structure. Moreover, we present a Gauss?Bonnet formula for almost-Riemannian structures with tangency points.

math.DG↗

arXiv2009

On the stabilization of persistently excited linear systems

We consider control systems of the type $\dot x = A x +α(t)bu$, where $u\in\R$, $(A,b)$ is a controllable pair and $α$ is an unknown time-varying signal with values in $[0,1]$ satisfying a persistent excitation condition i.e., $\int_t^{t+T}\al(s)ds\geq μ$ for every $t\geq 0$, with $0<μ\leq T$ independent on $t$. We prove that such a system is stabilizable with a linear feedback depending only on the pair $(T,μ)$ if the eigenvalues of $A$ have non-positive real part. We also show that stabilizability does not hold for arbitrary matrices $A$. Moreover, the question of whether the system can be stabilized or not with an arbitrarily large rate of convergence gives rise to a bifurcation phenomenon in dependence of the parameter $μ/T$.

math.OC↗

arXiv2008

Controllability of the discrete-spectrum Schrodinger equation driven by an external field

We prove approximate controllability of the bilinear Schrödinger equation in the case in which the uncontrolled Hamiltonian has discrete non-resonant spectrum. The results that are obtained apply both to bounded or unbounded domains and to the case in which the control potential is bounded or unbounded. The method relies on finite-dimensional techniques applied to the Galerkin approximations and permits, in addition, to get some controllability properties for the density matrix. Two examples are presented: the harmonic oscillator and the 3D well of potential, both controlled by suitable potentials.

math.OC↗

arXiv2008

Controllability properties of a class of systems modeling swimming microscopic organisms

We consider a finite-dimensional model for the motion of microscopic organisms whose propulsion exploits the action of a layer of cilia covering its surface. The model couples Newton's laws driving the organism, considered as a rigid body, with Stokes equations governing the surrounding fluid. The action of the cilia is described by a set of controlled velocity fields on the surface of the organism. The first contribution of the paper is the proof that such a system is generically controllable when the space of controlled velocity fields is at least three-dimensional. We also provide a complete characterization of controllable systems in the case in which the organism has a spherical shape. Finally, we offer a complete picture of controllable and non-controllable systems under the additional hypothesis that the organism and the fluid have densities of the same order of magnitude.

math.OC↗

arXiv2007

Uniform stabilization for linear systems with persistency of excitation. The neutrally stable and the double integrator cases

Consider the controlled system $dx/dt = Ax + α(t)Bu$ where the pair $(A,B)$ is stabilizable and $α(t)$ takes values in $[0,1]$ and is persistently exciting, i.e., there exist two positive constants $μ,T$ such that, for every $t\geq 0$, $\int_t^{t+T}α(s)ds\geq μ$. In particular, when $α(t)$ becomes zero the system dynamics switches to an uncontrollable system. In this paper, we address the following question: is it possible to find a linear time-invariant state-feedback $u=Kx$, with $K$ only depending on $(A,B)$ and possibly on $μ,T$, which globally asymptotically stabilizes the system? We give a positive answer to this question for two cases: when $A$ is neutrally stable and when the system is the double integrator.

math.OC↗

arXiv2006

A Gauss-Bonnet-like Formula on Two-Dimensional Almost-Riemannian Manifolds

We consider a generalization of Riemannian geometry that naturally arises in the framework of control theory. Let $X$ and $Y$ be two smooth vector fields on a two-dimensional manifold $M$. If $X$ and $Y$ are everywhere linearly independent, then they define a classical Riemannian metric on $M$ (the metric for which they are orthonormal) and they give to $M$ the structure of metric space. If $X$ and $Y$ become linearly dependent somewhere on $M$, then the corresponding Riemannian metric has singularities, but under generic conditions the metric structure is still well defined. Metric structures that can be defined locally in this way are called almost-Riemannian structures. They are special cases of rank-varying sub-Riemannian structures, which are naturally defined in terms of submodules of the space of smooth vector fields on $M$. Almost-Riemannian structures show interesting phenomena, in particular for what concerns the relation between curvature, presence of conjugate points, and topology of the manifold. The main result of the paper is a generalization to almost-Riemannian structures of the Gauss-Bonnet formula.

math.OC↗

arXiv2005

Stability of Planar Nonlinear Switched Systems

We consider the time-dependent nonlinear system $\dot q(t)=u(t)X(q(t))+(1-u(t))Y(q(t))$, where $q\in\R^2$, $X$ and $Y$ are two %$C^\infty$ smooth vector fields, globally asymptotically stable at the origin and $u:[0,\infty)\to\{0,1\}$ is an arbitrary measurable function. Analysing the topology of the set where $X$ and $Y$ are parallel, we give some sufficient and some necessary conditions for global asymptotic stability, uniform with respect to $u(.)$. Such conditions can be verified without any integration or construction of a Lyapunov function, and they are robust under small perturbations of the vector fields.

math.OC↗