arXiv subjects
Publications and source records attributed to Nabile Boussaid.
We present sufficient conditions for the exact controllability in projection of the linear Schr{ö}dinger equations in the case where the spectrum of the free Hamiltonian is pure point. We consider the general case in which the Hamiltonian may be nonlinear with respect to the control. The controllability result applies, in particular, to Schr{ö}dinger equations with a polarizability term.
We develop a general approach to virtual levels in Banach spaces. We show that virtual levels admit several characterizations which are essentially equivalent: (1) there are corresponding virtual states (from a certain larger space); (2) there is no limiting absorption principle in their vicinity (e.g. no weights such that the ``sandwiched'' resolvent is uniformly bounded); (3) an arbitrarily small perturbation can produce an eigenvalue. We provide applications to Schrödinger operators with nonselfadjoint nonlocal potentials and in any dimension, deriving resolvent estimates in the neighborhood of the threshold when the corresponding operator has no virtual level there.
We consider the nonlinear Dirac equation with Soler-type nonlinearity concentrated at one point and present a detailed study of the spectrum of linearization at solitary waves. We then consider two different perturbations of the nonlinearity which break the $\mathbf{SU}(1,1)$-symmetry: the first preserving and the second breaking the parity symmetry. We show that a perturbation which breaks the $\mathbf{SU}(1,1)$-symmetry but not the parity symmetry also preserves the spectral stability of solitary waves. Then we consider a perturbation which breaks both the $\mathbf{SU}(1,1)$-symmetry and the parity symmetry and show that this perturbation destroys the stability of weakly relativistic solitary waves. The developing instability is due to the bifurcations of positive-real-part eigenvalues from the embedded eigenvalues $\pm 2ω\mathrm{i}$.
We review the concept of the limiting absorption principle and its connection to virtual levels of operators in Banach spaces.
The present analysis deals with the regularity of solutions of bilinear control systems of the type $x'=(A+u(t)B)x$where the state $x$ belongs to some complex infinite dimensional Hilbert space, the (possibly unbounded) linear operators $A$ and $B$ are skew-adjoint and the control $u$ is a real valued function. Such systems arise, for instance, in quantum control with the bilinear Schrödinger equation. For the sake of the regularity analysis, we consider a more general framework where $A$ and $B$ are generators of contraction semi-groups.Under some hypotheses on the commutator of the operators $A$ and $B$, it is possible to extend the definition of solution for controls in the set of Radon measures to obtain precise a priori energy estimates on the solutions, leading to a natural extension of the celebrated noncontrollability result of Ball, Marsden, and Slemrod in 1982. Complementary material to this analysis can be found in [hal-01537743v1]
We study the point spectrum of the linearization at a solitary wave solution $ϕ_ω(x)e^{-\mathrm{i}ωt}$ to the nonlinear Dirac equation in $\mathbb{R}^n$, $n\ge 1$, with the nonlinear term given by $f(ψ^*βψ)βψ$ (known as the Soler model). We focus on the spectral stability, that is, the absence of eigenvalues with nonzero real part, in the non-relativistic limit $ω\lesssim m$, in the case when $f\in C^1(\mathbb{R}\setminus\{0\})$, $f(τ)=|τ|^k+O(|τ|^K)$ for $τ\to 0$, with $0 4/n$. An important part of the stability analysis is the proof of the absence of bifurcations of nonzero-real-part eigenvalues from the embedded threshold points at $\pm 2m\mathrm{i}$. Our approach is based on constructing a new family of exact bi-frequency solitary wave solutions in the Soler model, using this family to determine the multiplicity of $\pm 2ω\mathrm{i}$ eigenvalues of the linearized operator, and the analysis of the behaviour of "nonlinear eigenvalues" (characteristic roots of holomorphic operator-valued functions).
In this paper we present an extension to the case of $L^1$-controls of a famous result by Ball--Marsden--Slemrod on the obstruction to the controllability of bilinear control systems in infinite dimensional spaces.
We construct bi-frequency solitary waves of the nonlinear Dirac equation with the scalar self-interaction (the Soler model) and the Dirac--Klein--Gordon with Yukawa self-interaction. These solitary waves provide a natural implementation of qubit and qudit states in the theory of quantum computing. We show the relation of $\pm 2ω\mathrm{i}$ eigenvalues of the linearization at a solitary wave, Bogoliubov $\mathbf{SU}(1,1)$ symmetry, and the existence of bi-frequency solitary waves. We show that the spectral stability of these waves reduces to spectral stability of usual (one-frequency) solitary waves.
We use the perturbation theory to build solitary wave solutions $ϕ_ω(x)e^{-iωt}$ to the nonlinear Dirac equation in $\mathbb{R}^n$, $n\ge 1$, with the Soler-type nonlinear term $f(\barψψ)βψ$, with $f(τ)=|τ|^k+o(|τ|^k)$, $k>0$, which is continuous but not necessarily differentiable. We obtain the asymptotics of solitary waves in the nonrelativistic limit $ω\lesssim m$; these asymptotics are important for the linear stability analysis of solitary wave solutions. We also show that in the case when the power of the nonlinearity is Schrödinger charge-critical, one has $Q'(ω)<0$ for $ω\lesssim m$, implying the absence of the degeneracy of zero eigenvalue of the linearization at a solitary wave.
We study the point spectrum of the nonlinear Dirac equation in any spatial dimension, linearized at one of the solitary wave solutions. We prove that, in any dimension, the linearized equation has no embedded eigenvalues in the part of the essential spectrum beyond the embedded thresholds. We then prove that the birth of point eigenvalues with nonzero real part (the ones which lead to linear instability) from the essential spectrum is only possible from the embedded eigenvalues or thresholds, and therefore can not take place beyond the embedded thresholds. We also prove that "in the nonrelativistic limit" $ω\to m$, the point eigenvalues can only accumulate to $0$ and $\pm 2 m i$.
This analysis is concerned with the controllability of quantum systems in the case where the standard dipolar approximation, involving the permanent dipole moment of the system, is corrected with a polarizability term, involving the field induced dipole moment. Sufficient conditions for approximate controllability are given. For transfers between eigenstates of the free Hamiltonian, the control laws are explicitly given. The results apply also for unbounded or non-regular potentials.
This the text of a proceeding accepted for the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014). We present some results of an ongoing research on the controllability problem of an abstract bilinear Schrodinger equation. We are interested by approximation of this equation by finite dimensional systems. Assuming that the uncontrolled term $A$ has a pure discrete spectrum and the control potential $B$ is in some sense regular with respect to $A$ we show that such an approximation is possible. More precisely the solutions are approximated by their projections on finite dimensional subspaces spanned by the eigenvectors of $A$. This approximation is uniform in time and in the control, if this control has bounded variation with a priori bounded total variation. Hence if these finite dimensional systems are controllable with a fixed bound on the total variation of the control then the system is approximatively controllable. The main outcome of our analysis is that we can build solutions for low regular controls such as bounded variation ones and even Radon measures.
This paper is concerned with methods for numerical computation of eigenvalue enclosures. We examine in close detail the equivalence between an extension of the Lehmann-Maehly-Goerisch method developed a few years ago by Zimmermann and Mertins, and a geometrically motivated method developed more recently by Davies and Plum. We extend various previously known results in the theory and establish explicit convergence estimates in both settings. The theoretical results are supported by two benchmark numerical experiments on the isotropic Maxwell eigenvalue problem.
We propose employing the extension of the Lehmann-Maehly-Goerisch method developed by Zimmermann and Mertins, as a highly effective tool for the pollution-free finite element computation of the eigenfrequencies of the resonant cavity problem on a bounded region. This method gives complementary bounds for the eigenfrequencies which are adjacent to a given real parameter. We present a concrete numerical scheme which provides certified enclosures in a suitable asymptotic regime. We illustrate the applicability of this scheme by means of some numerical experiments on benchmark data using Lagrange elements and unstructured meshes.
This paper provides rigorous definitions and analysis of the dynamics of weakly-coupled systems and gives sufficient conditions for an infinite dimensional quantum control system to be weakly-coupled. As an illustration we provide examples chosen among common physical systems.
In the present note, we give two examples of bilinear quantum systems showing good agreement between the total variation of the control and the variation of the energy of solutions, with bounded or unbounded coupling term. The corresponding estimates in terms of the total variation of the control appear to be optimal.
This paper presents an energy estimate in terms of the total variation of the control for bilinear infinite dimensional quantum systems with unbounded potentials. These estimates allow a rigorous construction of propagators associated with controls of bounded variation. Moreover, upper bounds of the error made when replacing the infinite dimensional system by its finite dimensional Galerkin approximations is presented.
In this note we investigate what is the best L^p-norm in order to describe the relation between the evolution of the state of a bilinear quantum system with the L^p-norm of the external field. Although L^2 has a structure more easy to handle, the L^1 norm is more suitable for this purpose. Indeed for every p>1, it is possible to steer, with arbitrary precision, a generic bilinear quantum system from any eigenstate of the free Hamiltonian to any other with a control of arbitrary small L^p norm. Explicit optimal costs for the L^1 norm are computed on an example.