Estimates on Periodic and Dirichlet Eigenvalues for the Zakharov-Shabat System

Total Page:16

File Type:pdf, Size:1020Kb

Estimates on Periodic and Dirichlet Eigenvalues for the Zakharov-Shabat System Estimates on periodic and Dirichlet eigenvalues for the Zakharov-Shabat system B. Gr´ebert1, T. Kappeler2 December 19, 2002 1. UMR 6629 CNRS, Universite de Nantes, 2 rue de la Houssi`ere, BP 92208, 44322 Nantes cedex 3, France. 2. Institut fur¨ Mathematik, Universit¨at Zuric¨ h, Winterthurerstrasse 190, CH-8057 Zuric¨ h, Switzerland. Abstract Consider the 2 2 first order system due to Zakharov-Shabat, × 1 0 0 LY := i Y 0 + 1 Y = λY 0 1 0 − 2 with 1; 2 being complex valued functions of period one in the weighted w w Sobolev space H HC : Denote by spec( ; ) the set of peri- ≡ 1 2 odic eigenvalues of L( 1; 2) with respect to the interval [0; 2] and by specDir( 1; 2) the set of Dirichlet eigenvalues of L( 1; 2) when con- sidered on the interval [0; 1]. It is well known that spec( 1; 2) and specDir( 1; 2) are discrete. Theorem Assume that w is a weight such that, for some δ > 0, w (k) = (1 + k )−δw(k) is a weight as well. Then for any bounded −δ j j subset B of 1-periodic elements in H w Hw there exist N 1 and M × ≥ ≥ 1 so that for any k N, and ( ; ) B, the set spec( ; ) λ j j ≥ 1 2 2 1 2 \f 2 1 C λ kπ < π=2 contains exactly one isolated pair of eigenvalues j j − j g λ+; λ− and spec ( ; ) λ C λ kπ < π contains a f k k g Dir 1 2 \ f 2 j j − j 2 g single Dirichlet eigenvalue µk. These eigenvalues satisfy the following estimates (i) w(2k)2 λ+ λ− 2 M; jk|≥N j k − k j ≤ (λ++λ−) (ii) P w(2k)2 k k µ 2 M: jk|≥N j 2 − kj ≤ P Furthermore spec( ; ) λ; k N and spec ( ; ) µ 1 2 nf k j j ≥ g Dir 1 2 nf k j k N are contained in λ C λ < Nπ π=2 and its cardinality j j ≥ g f 2 j j j − g is 4N 2, respectively 2N 1. − − When = (respectively = ); L( ; ) is one of the op- 2 1 2 − 1 1 2 erators in the Lax pair for the defocusing (resp. focusing) nonlinear Schr¨odinger equation. Contents 1 Introduction 3 1.1 Results . 3 1.2 Comments . 5 1.3 Method of proof . 7 1.4 Related work . 8 2 Periodic eigenvalues 8 2.1 Lyapunov-Schmidt decomposition . 8 2.2 P -equation . 11 2.3 Q-equation . 17 2.4 Estimates for α(n; z) . 19 2.5 Estimates for β(n; z) . 20 2.6 z-equation . 24 2.7 ζ-equation . 25 2.8 Proof of Theorem 1.1 . 26 2.9 Improvement of Theorem 1.1 for L selfadjoint . 30 2 3 Riesz spaces and normal form of L 32 3.1 Riesz spaces . 32 3.2 Normal form of L . 34 4 Dirichlet eigenvalues 36 4.1 Dirichlet boundary value problem . 36 4.2 Decomposition . 38 4.3 Proof of Theorem 1.2 . 40 A Appendix A: Spectral properties of L( 1; 2) 41 B Appendix B: Proof of Lemma 2.8 44 1 Introduction 1.1 Results Consider the Zakharov-Shabat operator (see [ZS]) 1 0 d 0 1 L( 1; 2) := i + 0 1 dx 2 0 − w w where ; are 1-periodic elements in the weighted Sobolev space H HC 1 2 ≡ of 2-periodic functions 1 Hw := f(x) = f^(k)eiπkx f < f j k kw 1g −∞ X with 2 2 1=2 f w := (2 w(k) f^(k) ) k k Z j j Xk2 and w = (w(k))k2Z a weight, i.e. a sequence of positive numbers with w(k) 1; w( k) = w(k) ( k Z) and the following submultiplicative property ≥ − 8 2 w(k) w(k j)w(j) k; j Z: ≤ − 8 2 3 As an example of such a weight we mention the Sobolev weights sN N ≡ (s (k)) Z; s (k) := k , where, for convenience, n k2 N h i k := 1 + k ; h i j j or more generally, the Abel-Sobolev weight w (w (k)) Z a;b ≡ a;b k2 w (k) := k aebjkj (a 0; b 0): a;b h i ≥ ≥ wa;b ^ iπkx An element H is a complex valued function f(x) = k2Z f(k)e , 2 b which admits an analytic extension f(x + iy) to the strip y < π such that b b a j Pj a 1 f(x + i ) and f(x i ) are both in the Sobolev space HC H ( ; C). De- π − π ≡ S note by spec( 1; 2) the periodic spectrum of L( 1; 2) when considered on the interval [0; 2] and by specDir( 1; 2) the Dirichlet spectrum of L( 1; 2) when considered on [0; 1]. It is well known that both, spec( 1; 2) and specDir( 1; 2) are discrete. The main purpose of this paper is to study the asymptotics of the large (in absolute value) eigenvalues in spec( 1; 2) and specDir( 1; 2) for 1-periodic w functions 1; 2 in H . To formulate our first result we need to introduce some more notation: we say that w is a δ-weight for δ > 0 if w (k) := k −δw(k) ∗ h i is a weight as well. Notice that the Abel-Sobolev weight wa;b is a δ-weight iff 0 < δ a. Let ≤ 1 1 δ := δ = inf(δ; ) : ∗ ^ 2 2 Further let 1=2 ρ := ( ^ (2n) + β+(n))( ^ ( 2n) + β−(n)) n 2 0 1 − 0 with an arbitrary, but fixed choice of the square root and ^ (k + n) ^ ( k j) β+(n) := 2 1 − − ^ (j + n) 0 (k n)π (j n)π 2 kX;j6=n − − ^ ( k n) ^ (k + j) β−(n) := 1 − − 2 ^ ( j n) 0 (k n)π (j n)π 1 − − kX;j6=n − − The first result concerns the periodic eigenvalues (cf. section 2). 4 Theorem 1.1 Let M 1; δ > 0 and w a δ-weight. Then there exist con- stants 1 C < and ≥1 N < so that the following statements hold: ≤ 1 ≤ 1 w For any n N and any 1-periodic functions 1; 2 H with j w M, j j ≥ C π 2 k k ≤ the set spec( 1; 2) λ λ nπ < 2 contains exactly one isolated pair of eigenvalues \λ+f; λ2− . Thesej j − eigenvaluesj g satisfy f k k g (i) w(2n)2 λ+ λ− 2 C; jn|≥N j n − n j ≤ 3δ∗ 2 + − 2 (ii)P n w(2n) min (λ λ ) 2ρn C; jn|≥N h i j n − n j ≤ C π (iii)Pspec( 1; 2) λn n N is contained in λ λ < Nπ 2 and its cardinalitynfis 4Nj j j 2≥. g f 2 j j j − g − Theorem 1.2 Let M 1; δ > 0 and w be a δ-weight. Then there exist ≥ constants 1 C < and N N 0 < (with N given by Theorem 1.1) so that the following≤ statements1 hold:≤ 1 0 w For any n N and any 1-periodic functions 1; 2 H with j w M, the setj jspec≥ ( ; ) λ C λ nπ < π 2contains exactlyk k one≤ Dir 1 2 \ f 2 j j − j 2 g eigenvalue denoted by µn. These eigenvalues satisfy: 2 + 2 (i) 0 w(2n) µ λ C; jn|≥N j n − n j ≤ (ii) spec ( ; ) µ n N 0 is contained in λ C λ < N 0π π P Dir 1 2 nf n j j j ≥ g f 2 j j j − 2 g and its cardinality is 2N 0 1. − Statement (iii) in Theorem 1.1 and (ii) in Theorem 1.2 are obtained in a standard way. For the convenience of the reader we prove it in Appendix A. In section 3, we consider the Riesz spaces En, i.e. the images of the Riesz projectors associated to L( 1; 2) for a small circle around nπ with n suf- + j j ficiently large. We analyze the restriction of L λn to En and study the asymptotic properties of eigenfunctions in E for−n . n j j ! 1 1.2 Comments Operator L( 1; 2): The Zakharov-Shabat operator occurs in the Lax pair dM representation dt = [M; A] of the focusing (NLS−) and defocusing (NLS+) nonlinear Schr¨odinger equation i@ ' = @2 2 ' 2'; t − x j j 5 M := L('; ') ; M := L('; ') + − − (whereas the operators A are rather complicated third order operators, given in [FT]). One can show that spec L('; ') respectively spec L('; ') − is a complete set of conserved quantities for NLS+ respectively NLS−. We mention that L( 1; 2) is unitarily equivalent to the AKNS operator (see [AKNS], [MA]) 0 1 d q p LAKNS := − + − 1 0 dx p q where := q + ip ; = q ip: 1 − 2 − − Hence the selfadjoint operator M+ corresponds to an operator LAKNS with the functions q; p being real valued. Selfadjoint case: We emphasize that Theorem 1.1 and Theorem 1.2 do not require L( 1; 2) be selfadjoint. However, in the selfadjoint case, the decay rate of the asymptotics in Theorem 1.1 (ii) can be improved from 3δ∗ to 4δ∗, 4δ∗ 2 + − 2 n w(2n) min (λn λn ) 2ρn M: h i j − j ≤ jnX|≥N (This is proved in section 2.9). L2-case: Theorem 1.1 (i) and Theorem 1.2 (i) no longer hold for H w = L2 (i.e.
Recommended publications
  • Complete Integrability of the Benjamin-Ono Equation on the Multi-Soliton Manifolds Ruoci Sun
    Complete integrability of the Benjamin-Ono equation on the multi-soliton manifolds Ruoci Sun To cite this version: Ruoci Sun. Complete integrability of the Benjamin-Ono equation on the multi-soliton manifolds. 2020. hal-02548712 HAL Id: hal-02548712 https://hal.archives-ouvertes.fr/hal-02548712 Preprint submitted on 20 Apr 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Complete integrability of the Benjamin{Ono equation on the multi-soliton manifolds Ruoci Sun∗y April 20, 2020 Abstract This paper is dedicated to proving the complete integrability of the Benjamin{Ono (BO) equation on the line when restricted to every N-soliton manifold, denoted by UN . We construct gener- alized action{angle coordinates which establish a real analytic symplectomorphism from UN onto some open convex subset of R2N and allow to solve the equation by quadrature for any such initial datum. As a consequence, UN is the universal covering of the manifold of N-gap potentials for the BO equation on the torus as described by G´erard{Kappeler [19]. The global well-posedness of the BO equation in UN is given by a polynomial characterization and a spectral characterization of the manifold UN .
    [Show full text]
  • Spectral Edge Properties of Periodic Elliptic Operators
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Texas A&amp;M Repository SPECTRAL EDGE PROPERTIES OF PERIODIC ELLIPTIC OPERATORS A Dissertation by MINH TUAN KHA Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Chair of Committee, Peter Kuchment Committee Members, Gregory Berkolaiko Kenneth Dykema Valery Pokrovsky Head of Department, Emil Straube August 2017 Major Subject: Mathematics Copyright 2017 Minh Tuan Kha ABSTRACT In this dissertation, we study some spectral problems for periodic elliptic operators arising in solid state physics, material sciences, and differential geometry. More precisely, we are interested in dealing with various effects near and at spectral edges of such opera- tors. We use the name “threshold effects” for the features that depend only on the infinites- imal structure (e.g., a finite number of Taylor coefficients) of the dispersion relation at a spectral edge. We begin with an example of a threshold effect by describing explicitly the asymp- totics of the Green’s function near a spectral edge of an internal gap of the spectrum of a periodic elliptic operator of second-order on Euclidean spaces, as long as the disper- sion relation of this operator has a non-degenerate parabolic extremum there. This result confirms the expectation that the asymptotics of such operators resemble the case of the Laplace operator. Then we generalize these results by establishing Green’s function asymptotics near and at gap edges of periodic elliptic operators on abelian coverings of compact Riemannian manifolds.
    [Show full text]
  • Linear Operators and Their Essential Pseudospectra
    Linear Operators and Their Essential Pseudospectra Linear Operators and Their Essential Pseudospectra Aref Jeribi, PhD Department of Mathematics, University of Sfax, Tunisia E-mail: [email protected] Apple Academic Press Inc. Apple Academic Press Inc. 3333 Mistwell Crescent 9 Spinnaker Way Oakville, ON L6L 0A2 Canada Waretown, NJ 08758 USA © 2018 by Apple Academic Press, Inc. Exclusive worldwide distribution by CRC Press, a member of Taylor & Francis Group No claim to original U.S. Government works Printed in the United States of America on acid-free paper International Standard Book Number-13: 978-1-77188-699-4 (Hardcover) International Standard Book Number-13: 978-1-351-04627-5 (eBook) All rights reserved. No part of this work may be reprinted or reproduced or utilized in any form or by any electric, mechanical or other means, now known or hereafter invented, including photocopying and re- cording, or in any information storage or retrieval system, without permission in writing from the publish- er or its distributor, except in the case of brief excerpts or quotations for use in reviews or critical articles. This book contains information obtained from authentic and highly regarded sources. Reprinted material is quoted with permission and sources are indicated. Copyright for individual articles remains with the authors as indicated. A wide variety of references are listed. Reasonable efforts have been made to publish reliable data and information, but the authors, editors, and the publisher cannot assume responsibility for the validity of all materials or the consequences of their use. The authors, editors, and the publisher have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this form has not been obtained.
    [Show full text]
  • A Spectral Analysis of Linear Operator Pencils on Banach Spaces with Application to Quotient of Bounded Operators
    International Journal of Analysis and Applications ISSN 2291-8639 Volume 7, Number 2 (2015), 104-128 http://www.etamaths.com A SPECTRAL ANALYSIS OF LINEAR OPERATOR PENCILS ON BANACH SPACES WITH APPLICATION TO QUOTIENT OF BOUNDED OPERATORS BEKKAI MESSIRDI1;∗, ABDELLAH GHERBI2 AND MOHAMED AMOUCH3 Abstract. Let X and Y two complex Banach spaces and (A; B) a pair of bounded linear operators acting on X with value on Y: This paper is con- cerned with spectral analysis of the pair (A; B): We establish some properties concerning the spectrum of the linear operator pencils A − λB when B is not necessarily invertible and λ 2 C: Also, we use the functional calculus for the pair (A; B) to prove the corresponding spectral mapping theorem for (A; B): In addition, we define the generalized Kato essential spectrum and the closed range spectra of the pair (A; B) and we give some relationships between this spectrums. As application, we describe a spectral analysis of quotient opera- tors. 1. Introduction Let L(X; Y ) be the Banach algebra of all bounded linear operators from one complex Banach space X to another Y: If X = Y; then L(X; X) = L(X): For A 2 L(X; Y ) we denote by R(A) its range, N(A) its null space and σ(A) its spectrum. If A 2 L(X); we denote by %(A) the resolvent set of A: Let IX (respectively IY ) denotes the identity operator in X (respectively in Y ). Recall that an operator A 2 L(X) is called nilpotent if Ap = 0 for some p 2 N∗ and A is said to be quasi- nilpotent if σ(A) = f0g : For a set M, let @M, M denote the boundary and the closure of M, respectively.
    [Show full text]
  • Arxiv:1911.04811V3 [Math.FA] 20 Nov 2020 Hswr a Upre Ytentoa Cec Ete Pola Centre, Science National the by Supported Was Work This Pressure
    SPECTRUM OF WEIGHTED ISOMETRIES: C∗-ALGEBRAS, TRANSFER OPERATORS AND TOPOLOGICAL PRESSURE KRZYSZTOF BARDADYN AND BARTOSZ KOSMA KWAŚNIEWSKI Abstract. We study the spectrum of operators aT (H) on a Hilbert space H ∈ B ∗ where T is an isometry and a belongs to a commutative C -subalgebra C(X) ∼= A (H) such that the formula L(a) = T ∗aT defines a faithful transfer operator on A⊆. BasedB on the analysis of the C∗-algebra C∗(A, T ) generated by the operators aT , a A, we give dynamical conditions implying that the spectrum σ(aT ) is invariant ∈ under rotation around zero, σ(aT ) coincides with the essential spectrum σess(aT ) or that σ(aT ) is the disc z C : z r(aT ) . We get the best results{ ∈ when| the|≤ underlying} mapping ϕ : X X is expanding and open. We prove for any such map and a continuous map c : X →[0, ) that the spec- → ∞ tral logarythm of a Ruelle-Perron-Frobenious operator cf(y)= −1 c(x)f(x) is L x∈ϕ (y) equal to the topological pressure P (ln c, ϕ). This extends Ruelle’s classical result and P implies the variational principle for the spectral radius: hϕ(µ) r(aT )= max exp ln( a √̺) dµ + , µ∈Erg(X,ϕ) | | 2 ZX where Erg(X, ϕ) is the set of ergodic Borel probability measures, hϕ(µ) is the Kolmo- gorov-Sinai entropy, and ̺ : X [0, 1] is the cocycle associated to L. In particular, we clarify the relationship between→ the Kolmogorov-Sinai entropy and t-entropy introduced by Antonevich, Bakhtin and Lebedev.
    [Show full text]
  • On the Korteweg-De Vries Equation: Frequencies and Initial Value Problem
    pacific journal of mathematics Vol. 181, No. 1, 1997 ON THE KORTEWEG-DE VRIES EQUATION: FREQUENCIES AND INITIAL VALUE PROBLEM D. Battig,¨ T. Kappeler and B. Mityagin The Korteweg-de Vries equation (KdV) 3 2 1 ∂tv(x, t)+∂xv(x, t) − 3∂xv(x, t) =0 (x∈S ,t∈R) is a completely integrable system with phase space L2(S1). R Although the Hamiltonian H(q):= 1 ∂q(x)2+q(x)3 dx S1 2 x is defined only on the dense subspace H1(S1), we prove that ∂H the frequencies ωj = can be defined on the whole space ∂Jj 2 1 L (S ), where (Jj)j≥1 denote the action variables which are globally defined on L2(S1). These frequencies are real ana- lytic functionals and can be used to analyze Bourgain’s weak solutions of KdV with initial data in L2(S1). The same method can be used for any equation in the KdV −hierarchy. 1. Introduction and summary of the results. It is well known that the Korteweg-de Vries equation (KdV ) on the circle 3 (1.1) ∂tv(x, t)=−∂xv(x, t)+6v(x, t)∂xv(x, t) can be viewed as a completely integrable Hamiltonian system of infinite dimension. We choose as its phase space L2(S1)=L2(S1;R) where S1 is the circle of length 1. The Poisson structure is the one proposed by Gardner, Z ∂F d ∂G (1.2) {F, G} = dx S1 ∂q(x) dx ∂q(x) where F, G are C1- functionals on L2(S1), and ∂F denotes the L2-gradient ∂q(x) of the functional F .
    [Show full text]
  • Finite-Dimensional Perturbations of Self-Adjoint Operators
    FINITE-DIMENSIONAL PERTURBATIONS OF SELF-ADJOINT OPERATORS Jonathan Arazy and Leonid Zelenko Abstract. We study finite-dimensional perturbations A + γB of a self-adjoint operator A acting in a Hilbert space H. We obtain asymptotic estimates of eigenvalues of the operator A + γB in a gap of the spectrum of the operator A as γ ! 0, and asymptotic estimates of their number in that gap. The results are formulated in terms of new notions of characteristic branches of A with respect to a finite-dimensional subspace of H on a gap of the spectrum σ(A) and asymptotic multiplicities of endpoints of that gap with respect to this subspace. It turns out that if A has simple spectrum then under some mild conditions these asymptotic multiplicities are not bigger than one. We apply our results to the operator (Af)(t) = tf(t) 2 on L ([0; 1]; ρc), where ρc is the Cantor measure, and obtain the precise description of the asymptotic behavior of the eigenvalues of A + γB in the gaps of σ(A) = C(= the Cantor set). 1. Introduction An extensive literature exists on the perturbations of self-adjoint operators. In many cases ones studies perturbations of the form: (1.1) A(γ) = A + γB; where A; B are self-adjoint operators, acting on a Hilbert space H, γ is a real or com- plex parameter. If λ0 is an isolated eigenvalue of A, then it is possible to find branches of eigenvalues λ(γ) and eigenvectors X(γ) of the operator A(γ) in the form of Taylor expansions: 2 λ(γ) = λ0 + λ2γ + λ2γ + : : : ; 2 X(γ) = X0 + X1γ + X2γ + : : : : Such expansions have been obtained first by E.
    [Show full text]
  • Stability and Bifurcation of Mixing in the Kuramoto Model with Inertia
    Stability and bifurcation of mixing in the Kuramoto model with inertia Hayato Chiba* and Georgi S. Medvedev† June 16, 2021 Abstract The Kuramoto model of coupled second order damped oscillators on convergent sequences of graphs is analyzed in this work. The oscillators in this modelhave random intrinsic frequencies and interact with each other via nonlinear coupling. The connectivity of the coupled system is assigned by a graph which may be random as well. In the thermodynamiclimit the behavior of the system is captured by the Vlasov equation, a hyperbolic partial differential equation for the probability distribution of the oscillators in the phase space. We study stability of mixing, a steady state solution of the Vlasov equation, corresponding to the uniform distribution of phases. Specifically, we identify a critical value of the strength of coupling, at which the system undergoes a pitchfork bifurcation. It corresponds to the loss of stability of mixing and marks the onset of synchronization. As for the classical Kuramoto model, the presence of the con- tinuous spectrum on the imaginary axis poses the main difficulty for the stability analysis. To overcome this problem, we use the methods from the generalized spectral theory developed for the original Ku- ramoto model. The analytical results are illustrated with numerical bifurcation diagrams computed for the Kuramoto model on Erd˝os–R´enyi and small-world graphs. Applications of the second-order Kuramoto model include power networks, coupled pendula, and various biological networks.
    [Show full text]
  • Riesz Projection and Essential $ S $-Spectrum in Quaternionic Setting
    RIESZ PROJECTION AND ESSENTIAL S-SPECTRUM IN QUATERNIONIC SETTING HATEM BALOUDI, SAYDA BELGACEM, AND AREF JERIBI Abstract. This paper is devoted to the investigation of the Weyl and the essential S−spectra of a bounded right quaternionic linear operator in a right quaternionic Hilbert space. Using the quaternionic Riesz pro- jection, the S−eigenvalue of finite type is both introduced and studied. In particular, we have shown that the Weyl and the essential S−spectra do not contain eigenvalues of finite type. We have also described the boundary of the Weyl S−spectrum and the particular case of the spec- tral theorem of the essential S−spectrum. Contents 1. Introduction 1 2. Mathematical preliminaries 3 2.1. Quaternions 3 2.2. Right quaternionic Hilbert space and operator 4 2.3. The quaternionic functional calculus 7 3. Riesz projection and essential spectrum 9 4. Some results on the Weyl S-spectrum 18 References 22 1. Introduction arXiv:2108.01157v2 [math.SP] 11 Aug 2021 Over the recent years, the spectral theory for quaternionic operators has piqued the interest and attracted the attention of multiple researchers, see for instance [1, 4, 12, 13, 14, 15, 16, 17, 29] and references therein. Research in this topic is motivated by application in various fields, including quan- tum mechanics, fractional evolution problems [14], and quaternionic Schur analysis [3]. The concept of spectrum is one of the main objectives in the theory of quaternionic operators acting on quaternionic Hilbert spaces. The obscurity that seemed to surround the precise definition of the quaternionic spectrum of a linear operator was deemed a stumbling block.
    [Show full text]
  • Mathematical Introduction to Quantum Information Processing
    Mathematical Introduction to Quantum Information Processing (growing lecture notes, SS2019) Michael M. Wolf June 22, 2019 Contents 1 Mathematical framework 5 1.1 Hilbert spaces . .5 1.2 Bounded Operators . .8 Ideals of operators . 10 Convergence of operators . 11 Functional calculus . 12 1.3 Probabilistic structure of Quantum Theory . 14 Preparation . 15 Measurements . 17 Probabilities . 18 Observables and expectation values . 20 1.4 Convexity . 22 Convex sets and extreme points . 22 Mixtures of states . 23 Majorization . 24 Convex functionals . 26 Entropy . 28 1.5 Composite systems and tensor products . 29 Direct sums . 29 Tensor products . 29 Partial trace . 34 Composite and reduced systems . 35 Entropic quantities . 37 1.6 Quantum channels and operations . 38 Schrödinger & Heisenberg picture . 38 Kraus representation and environment . 42 Choi-matrices . 45 Instruments . 47 Commuting dilations . 48 1.7 Unbounded operators and spectral measures . 51 2 Basic trade-offs 53 2.1 Uncertainty relations . 53 Variance-based preparation uncertainty relations . 54 Joint measurability . 55 2 CONTENTS 3 2.2 Information-disturbance . 56 No information without disturbance . 56 2.3 Time-energy . 58 Mandelstam-Tamm inequalities . 58 Evolution to orthogonal states . 59 These are (incomplete but hopefully growing) lecture notes of a course taught in summer 2019 at the department of mathematics at the Technical University of Munich. 4 CONTENTS Chapter 1 Mathematical framework 1.1 Hilbert spaces This section will briefly summarize relevant concepts and properties of Hilbert spaces. A complex Hilbert space is a vector space over the complex numbers, equipped with an inner product h·; ·i : H × H ! C and an induced norm k k := h ; i1=2 w.r.t.
    [Show full text]
  • Krein-Langer Factorization and Related Topics in the Slice Hyperholomorphic Setting Daniel Alpay Chapman University, [email protected]
    Chapman University Chapman University Digital Commons Mathematics, Physics, and Computer Science Science and Technology Faculty Articles and Faculty Articles and Research Research 2014 Krein-Langer Factorization and Related Topics in the Slice Hyperholomorphic Setting Daniel Alpay Chapman University, [email protected] Fabrizio Colombo Politecnico di Milano Irene Sabadini Politecnico di Milano Follow this and additional works at: http://digitalcommons.chapman.edu/scs_articles Part of the Algebra Commons, Discrete Mathematics and Combinatorics Commons, and the Other Mathematics Commons Recommended Citation D. Alpay, F. Colombo and I. Sabadini. Krein-Langer factorization and related topics in the slice hyperholomorphic setting. Journal of Geometric Analysis, vol. 24 (2014), no. 2, 843-872. This Article is brought to you for free and open access by the Science and Technology Faculty Articles and Research at Chapman University Digital Commons. It has been accepted for inclusion in Mathematics, Physics, and Computer Science Faculty Articles and Research by an authorized administrator of Chapman University Digital Commons. For more information, please contact [email protected]. Krein-Langer Factorization and Related Topics in the Slice Hyperholomorphic Setting Comments This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Geometric Analysis, volume 24, issue 2, in 2014 following peer review. The final publication is available at Springer via DOI: 10.1007/s12220-012-9358-5 Copyright Springer This article is available at Chapman University Digital Commons: http://digitalcommons.chapman.edu/scs_articles/433 KREIN-LANGER FACTORIZATION AND RELATED TOPICS IN THE SLICE HYPERHOLOMORPHIC SETTING DANIEL ALPAY, FABRIZIO COLOMBO, AND IRENE SABADINI Contents 1. Introduction 1 2.
    [Show full text]
  • Quantum Dynamics on Potential Energy Surfaces
    Technische Universität München Zentrum Mathematik Wissenschaftliches Rechnen Quantum Dynamics on Potential Energy Surfaces Simpler States and Simpler Dynamics Johannes Friedrich Keller Vollständiger Abdruck der von der Fakultät für Mathematik der Technischen Universität München zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigten Dissertation. Vorsitzender: Univ.-Prof. Dr. Herbert Spohn Prüfer der Dissertation: 1. Univ.-Prof. Dr. Caroline Lasser 2. Prof. George A. Hagedorn, Ph.D., Virginia Polytechnic Institute and State University, USA (nur schriftliche Beurteilung) 3. Univ.-Prof. Dr. Christian Lubich, Eberhard Karls Universität Tübingen Die Dissertation wurde am 14.07.2015 bei der Technischen Universität München eingereicht und durch die Fakultät für Mathematik am 25.09.2015 angenommen. ii Abstract In this dissertation we analyze and simplify wave functions and observables in the context of quantum molecular dynamics. The two main topics we discuss are the structure of Hagedorn wave packets in position and phase space, and semiclassical approximations for the propagation of quantum expectations with nonnegative phase space densities. We provide algorithmic discretizations for these approximations and illustrate their validity and applicability by means of numerical experiments. Zusammenfassung In dieser Dissertation analysieren und vereinfachen wir Wellen- funktionen und Observablen im Kontext der molekularen Quan- tendynamik. Die zwei zentralen, von uns diskutierten Themen sind die Struktur der Hagedornschen Wellenpakete im Orts- und Phasenraum sowie semiklassische Approximationen für die Evolu- tion von Erwartungswerten mit nichtnegativen Phasenraumdichten. Wir präsentieren algorithmische Diskretisierungen für diese Ap- proximationen und illustrieren deren Anwendbarkeit anhand von numerischen Experimenten. iii iv Contents Acknowledgments 1 Introduction 3 I Foundations 9 1 Quantum Systems . .9 2 Hamiltonian Dynamics .
    [Show full text]