SMA 5878 Functional Analysis II

Total Page:16

File Type:pdf, Size:1020Kb

SMA 5878 Functional Analysis II Spectral Analysis of Linear Operators SMA 5878 Functional Analysis II Alexandre Nolasco de Carvalho Departamento de Matem´atica Instituto de Ciˆencias Matem´aticas and de Computa¸c˜ao Universidade de S˜ao Paulo March 27, 2019 Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Example 2 2 Let X = L (0,π) and D(A0)= C0 (0,π) the set of functions which are twice continuously differentiable functions and have compact support in (0,π). Define A0 : D(A0) ⊂ X → X by ′′ (A0φ)(x)= −φ (x), x ∈ (0,π). Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range 2 2 It is easy to see that A0 is symmetric and that hA0φ, φi≥ π2 kφkX for all φ ∈ D(A0). From Friedrichs Theorem, A0 has a self-adjoint extension A that 2 2 satisfies hAφ, φi≥ π2 kφkX for all φ ∈ D(A). 1 Note that, the space X 2 from Friedrichs theorem is, in this example the closure of D(A) in the norm H1(0,π) and therefore 1 1 X 2 = H0 (0,π). Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range On the other hand D(A∗) is characterised by ∗ ∗ ′′ ∗ D(A0)= {φ ∈ X : ∃ φ ∈ X such that h−u , φi = hu, φ i, ∀u ∈ D(A0)} ∗ ′′ ∗ and A0φ=−φ for all φ∈D(A0). 2 1 ′′ Hence, D(A)=H (0,π)∩H0 (0,π) and Au =−u for all u ∈D(A). Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range 1 Also from Friedrichs Theorem we know that (−∞, π ) ⊂ ρ(A). In particular 0 ∈ ρ(A) and if φ ∈ D(A), we have that 1 ′ 1 1 |φ(x) − φ(y)| ≤ |x − y| 2 kφ kL2(0,π) = |x − y| 2 hAφ, φi 2 . Hence, if B is a bounded subset of D(A) with the graph norm, ′ then supφ∈B kφ kL2(0,π) < ∞ and the family B of functions is equicontinuous and bounded in C([0,π], R) with the uniform convergence topology. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range It follows from the Arzel´a-Ascoli Theorem that B is relatively compact in C([0,π], R) and consequently B is relatively compact in L2(0,π). From a previous exercise it follows that A−1 is a compact operator. 2 It follows that σ(A)= {λ1, λ2, λ3, ···} where λn = n ∈ σp(A) 1 2 2 N with eigenfunctions φn(x)= π sen(nx), n ∈ . Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Min-Max Characterisation of Eigenvalues In this section we introduce min-max characterisations of eigenvalues of compact and self-adjoint operators. To present these characterisations we will employ the following result Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Lemma Let H be a Hilbert space over K and A ∈L(H) be a self-adjoint operator, then kAkL(H) = sup |hAu, vi| = sup |hAu, ui|. kuk=1 kuk=1 kvk=1 Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Proof: It is enough to prove that kAkL(H) = sup |hAu, vi| ≤ sup |hAu, ui| := a. kuk=1 kuk=1 kvk=1 If u, v ′ ∈ H, kuk = kv ′k = 1, |hAu, v ′i| eiα = hAu, v ′i and v = e−iαv ′, we have that 1 |hAu, v ′i| = hAu, vi = [hA(u + v), u + vi − hA(u − v), u − vi] 4 a ≤ [ku + vk2 + ku − vk2] ≤ a. 4 This completes the proof. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Exercise Show that, if 0 6= A ∈L(H) is self-adjoint, then A is not quasinilpotent. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Theorem Let H be a Banach space over K and A ∈ K(H) be a self-adjoint operator such that hAu, ui≥ 0 for all u ∈ H. Then, 1. λ1 :=sup{hAu, ui :kuk=1} is an eigenvalue and exists v1 ∈H, kv1k=1 such that λ1 =hAv1, v1i. Besides that Av1 =λ1v1. 2. Inductively, λn :=sup{hAu, ui:kuk=1 and u ⊥vj , 1≤j ≤n−1}∈σp(A) (1) and exists vn ∈ H, kvnk = 1, vn ⊥ vj , 1 ≤ j ≤ n − 1, such that λn = hAvn, vni. Besides that Avn = λnvn. 3. If Vn = {F ⊂ H : F is a vec. subspace of dimension n of H}, λn = inf sup{hAu, ui : kuk = 1, u ⊥ F }, n ≥ 1 and (2) F ∈Vn−1 λn = sup inf{hAu, ui : kuk = 1, u ∈ F }, n ≥ 1. (3) F ∈Vn Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Proof: We consider only the case K = C and λ1 > 0 leaving the remaining cases as exercises for the reader. n→∞ 1.Let {un} be a sequence in H with kunk=1 and hAun, uni −→ λ1. Taking subsequences if necessary, {un} converges weakly to v1 ∈ H and {Aun} converges strongly to Av1. Hence hAv1, v1i = λ1. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Let us show that the sequence {un} converges strongly. From the previous lemma we know that 0 < λ1 = kAkL(H) and from the fact that {un} converges weakly to v1 we have that 0 < kv1k≤ 1. Hence, 2 2 2 lim kAun − λ1unk = lim kAunk − 2λ1 lim hAun, uni + λ n→∞ n→∞ n→∞ 1 2 2 = kAv1k − λ1 ≤ 0. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Since {Aun} converges strongly to Av1, {Aun − λ1un} converges strongly to zero and λ1 > 0, it follows that {un} converges strongly to v1, kv1k = 1 and Av1 = λ1v1. This concludes the proof of 1. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range 2. The proof of this item follows from 1. simply noting that the orthogonal of Hn−1 = span{v1, · · · , vn−1} is invariant by A and ⊥ repeating the procedure for the restriction of A to Hn−1, n ≥ 2. This concludes the proof of 2. Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range 3. We first prove expression (2). If G = span{v1, · · · , vn−1} we have, from (1), that λn = sup{hAu, ui : kuk = 1, u ⊥ G} ≥ inf sup{hAu, ui : kuk = 1, u ⊥ F }. F ∈Vn−1 Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range On the other hand, let F ∈Vn−1 and w1, · · · , wn−1 an n orthornormal set of F . Choose u = Pi=1 αi vi such that kuk = 1 n 2 and u ⊥ wj , 1 ≤ j ≤ n − 1. Hence Pi=1 |αi | = 1 and n 2 hAu, ui = X |αi | λi ≥ λn. i=1 Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range This implies sup{hAu, ui : kuk = 1, u ⊥ F }≥ λn, for all F ∈Vn−1 and completes the proof of (2). Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range We now prove (3). If G = span{v1, · · · , vn} and u ∈ G, kuk = 1, n n 2 we have that u = Pi=1 αi vi with Pi=1 |αi | = 1 e n 2 hAu, ui = X |αi | λi ≥ λn. i=1 This implies that sup inf{hAu, ui : kuk = 1, u ∈ F }≥ λn. F ∈Vn Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Conversely, given F ∈Vn choose u ∈ F , kuk = 1, such that u ⊥ vj , 1 ≤ j ≤ n − 1. It follows, from 2., that hAu, ui≤ λn and consequently inf{hAu, ui : kuk = 1, u ∈ F }≤ λn, for all F ∈Vn. This completes the proof of (3). Alexandre Nolasco de Carvalho ICMC - USP SMA 5878 Functional Analysis II Min-Max Characterisation of Eigenvalues Spectral Analysis of Linear Operators Dissipative operators and numerical range Exercise If A : D(A) ⊂ H → H is positive, self-adjoint and (hAu, ui > 0 for all u ∈ D(A)) and has compact resolvent, find the min-max characterisation for the eigenvalues of A.
Recommended publications
  • Some Properties of the Essential Numerical Range on Banach Spaces
    Pure Mathematical Sciences, Vol. 6, 2017, no. 1, 105 - 111 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/pms.2017.7912 Some Properties of the Essential Numerical Range on Banach Spaces L. N. Muhati, J. O. Bonyo and J. O. Agure Department of Pure and Applied Mathematics Maseno University, P.O. Box 333 - 40105, Maseno, Kenya Copyright c 2017 L. N. Muhati, J. O. Bonyo and J. O. Agure. This article is dis- tributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We study the properties of the essential algebraic numerical range as well as the essential spatial numerical range for Banach space operators. Mathematics Subject Classification: 47A10; 47A05; 47A53 Keywords: Essential algebraic numerical range, Essential spatial numer- ical range, Calkin algebra 1 Introduction Let A be a complex normed algebra with a unit and let A∗ denote its dual space. For a comprehensive theory on normed algebras, we refer to [4]. We define the algebraic numerical range of an element a 2 A by V (a; A) = ff(a): f 2 A∗; f(1) = 1 = kfkg. Let X denote a complex Banach space and L(X) be the Banach algebra of all bounded linear operators acting on X. We de- note the algebraic numerical range of any T 2 L(X) by V (T; L(X)). For T 2 L(X), the spatial numerical range is defined by W (T ) = fhT x; x∗i : x 2 X; x∗ 2 X∗; kxk = 1 = kx∗k = hx; x∗ig.
    [Show full text]
  • Numerical Range of Operators, Numerical Index of Banach Spaces, Lush Spaces, and Slicely Countably Determined Banach Spaces
    Numerical range of operators, numerical index of Banach spaces, lush spaces, and Slicely Countably Determined Banach spaces Miguel Martín University of Granada (Spain) June 5, 2009 Preface This text is not a book and it is not in its nal form. This is going to be used as classroom notes for the talks I am going to give in the Workshop on Geometry of Banach spaces and its Applications (sponsored by Indian National Board for Higher Mathematics) to be held at the Indian Statistical Institute, Bangalore (India), on 1st - 13th June 2009. Miguel Martín Contents Preface 3 Basic notation7 1 Numerical Range of operators. Surjective isometries9 1.1 Introduction.....................................9 1.2 The exponential function. Isometries....................... 15 1.3 Finite-dimensional spaces with innitely many isometries............ 17 1.3.1 The dimension of the Lie algebra..................... 19 1.4 Surjective isometries and duality......................... 20 2 Numerical index of Banach spaces 23 2.1 Introduction..................................... 23 2.2 Computing the numerical index.......................... 23 2.3 Numerical index and duality............................ 28 2.4 Banach spaces with numerical index one..................... 32 2.5 Renorming and numerical index.......................... 34 2.6 Finite-dimensional spaces with numerical index one: asymptotic behavior.. 38 2.7 Relationship to the Daugavet property....................... 39 2.8 Smoothness, convexity and numerical index 1 .................. 43 3 Lush spaces 47 3.1 Examples of lush spaces.............................. 49 5 3.2 Lush renormings.................................. 52 3.3 Some reformulations of lushness.......................... 53 3.4 Lushness is not equivalent to numerical index 1 ................. 55 3.5 Stability results for lushness............................ 56 4 Slicely countably determined Banach spaces 59 4.1 Slicely countably determined sets........................
    [Show full text]
  • Numerical Range and Functional Calculus in Hilbert Space
    Numerical range and functional calculus in Hilbert space Michel Crouzeix Abstract We prove an inequality related to polynomial functions of a square matrix, involving the numerical range of the matrix. We also show extensions valid for bounded and also unbounded operators in Hilbert spaces, which allow the development of a functional calculus. Mathematical subject classification : 47A12 ; 47A25 Keywords : functional calculus, numerical range, spectral sets. 1 Introduction In this paper H denotes a complex Hilbert space equipped with the inner product . , . and h i corresponding norm v = v, v 1/2. We denote its unit sphere by Σ := v H; v = 1 . For k k h i H { ∈ k k } a bounded linear operator A (H) we use the operator norm A and denote by W (A) its ∈ L k k numerical range : A := sup A v , W (A) := Av,v ; v ΣH . k k v ΣH k k {h i ∈ } ∈ Recall that the numerical range is a convex subset of C and that its closure contains the spectrum of A. We keep the same notation in the particular case where H = Cd and A is a d d matrix. × The main aim of this article is to prove that the inequality p(A) 56 sup p(z) (1) k k≤ z W (A) | | ∈ holds for any matrix A Cd,d and any polynomial p : C C (independently of d). ∈ → It is remarkable that the completely bounded version of this inequality is also valid. More precisely, we consider now matrix-valued polynomials P : C Cm,n, i.e., for z C, P (z) = → ∈ (p (z)) is a matrix, with each entry p (.) a polynomial C C.
    [Show full text]
  • Numerical Range of Square Matrices a Study in Spectral Theory
    Numerical Range of Square Matrices A Study in Spectral Theory Department of Mathematics, Linköping University Erik Jonsson LiTH-MAT-EX–2019/03–SE Credits: 16 hp Level: G2 Supervisor: Göran Bergqvist, Department of Mathematics, Linköping University Examiner: Milagros Izquierdo, Department of Mathematics, Linköping University Linköping: June 2019 Abstract In this thesis, we discuss important results for the numerical range of general square matrices. Especially, we examine analytically the numerical range of complex-valued 2 × 2 matrices. Also, we investigate and discuss the Gershgorin region of general square matrices. Lastly, we examine numerically the numerical range and Gershgorin regions for different types of square matrices, both contain the spectrum of the matrix, and compare these regions, using the calculation software Maple. Keywords: numerical range, square matrix, spectrum, Gershgorin regions URL for electronic version: urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-157661 Erik Jonsson, 2019. iii Sammanfattning I denna uppsats diskuterar vi viktiga resultat för numerical range av gene- rella kvadratiska matriser. Speciellt undersöker vi analytiskt numerical range av komplexvärda 2 × 2 matriser. Vi utreder och diskuterar också Gershgorin områden för generella kvadratiska matriser. Slutligen undersöker vi numeriskt numerical range och Gershgorin områden för olika typer av matriser, där båda innehåller matrisens spektrum, och jämför dessa områden genom att använda beräkningsprogrammet Maple. Nyckelord: numerical range, kvadratisk matris, spektrum, Gershgorin områden URL för elektronisk version: urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-157661 Erik Jonsson, 2019. v Acknowledgements I’d like to thank my supervisor Göran Bergqvist, who has shown his great interest for linear algebra and inspired me for writing this thesis.
    [Show full text]
  • Morphophoric Povms, Generalised Qplexes, Ewline and 2-Designs
    Morphophoric POVMs, generalised qplexes, and 2-designs Wojciech S lomczynski´ and Anna Szymusiak Institute of Mathematics, Jagiellonian University,Lojasiewicza 6, 30-348 Krak´ow, Poland We study the class of quantum measurements with the property that the image of the set of quantum states under the measurement map transforming states into prob- ability distributions is similar to this set and call such measurements morphophoric. This leads to the generalisation of the notion of a qplex, where SIC-POVMs are re- placed by the elements of the much larger class of morphophoric POVMs, containing in particular 2-design (rank-1 and equal-trace) POVMs. The intrinsic geometry of a generalised qplex is the same as that of the set of quantum states, so we explore its external geometry, investigating, inter alia, the algebraic and geometric form of the inner (basis) and the outer (primal) polytopes between which the generalised qplex is sandwiched. In particular, we examine generalised qplexes generated by MUB-like 2-design POVMs utilising their graph-theoretical properties. Moreover, we show how to extend the primal equation of QBism designed for SIC-POVMs to the morphophoric case. 1 Introduction and preliminaries Over the last ten years in a series of papers [2,3, 30{32, 49, 68] Fuchs, Schack, Appleby, Stacey, Zhu and others have introduced first the idea of QBism (formerly quantum Bayesianism) and then its probabilistic embodiment - the (Hilbert) qplex, both based on the notion of symmetric informationally complete positive operator-valued measure
    [Show full text]
  • Numerical Ranges and Applications in Quantum Information
    Numerical Ranges and Applications in Quantum Information by Ningping Cao A Thesis presented to The University of Guelph In partial fulfilment of requirements for the degree of Doctor of Philosophy in Mathematics & Statistics Guelph, Ontario, Canada © Ningping Cao, August, 2021 ABSTRACT NUMERICAL RANGES AND APPLICATIONS IN QUANTUM INFORMATION Ningping Cao Advisor: University of Guelph, 2021 Dr. Bei Zeng Dr. David Kribs The numerical range (NR) of a matrix is a concept that first arose in the early 1900’s as part of efforts to build a rigorous mathematical framework for quantum mechanics andother challenges at the time. Quantum information science (QIS) is a new field having risen to prominence over the past two decades, combining quantum physics and information science. In this thesis, we connect NR and its extensions with QIS in several topics, and apply the knowledge to solve related QIS problems. We utilize the insight offered by NRs and apply them to quantum state inference and Hamiltonian reconstruction. We propose a new general deep learning method for quantum state inference in chapter 3, and employ it to two scenarios – maximum entropy estimation of unknown states and ground state reconstruction. The method manifests high fidelity, exceptional efficiency, and noise tolerance on both numerical and experimental data. A new optimization algorithm is presented in chapter 4 for recovering Hamiltonians. It takes in partial measurements from any eigenstates of an unknown Hamiltonian H, then provides an estimation of H. Our algorithm almost perfectly deduces generic and local generic Hamiltonians. Inspired by hybrid classical-quantum error correction (Hybrid QEC), the higher rank (k : p)-matricial range is defined and studied in chapter 5.
    [Show full text]
  • On Invariance of the Numerical Range and Some Classes of Operators In
    ON INVARIANCE OF THE NUMERICAL RANGE AND SOME CLASSES OF OPERATORS IN HILBERT SPACES By Arthur Wanyonyi Wafula A thesis submitted in fulfillment of the requirements for the award of the Degree of Doctor of Philosophy in Pure Mathematics School of Mathematics,University of Nairobi 15 April 2013 G^ o a op h University of NAIROBI Library 0430140 4 0.1 DECLARATION This thesis is my orginal work and has not been presented for a degree in any other University S ignat ure.....D ate . .....A* / ° 5 / 7'tTL. m h I Arthur Wanyonyi Wanambisi Wafula This thesis has been submitted for examination with our approval as University super­ visors; Signature Date 2- Signature P rof. J. M. Khalagai Prof. G.P.Pokhariyal 1 0.2 DEDICATION This work is dedicated to my family ; namely, my wife Anne Atieno and my sons Davies Magudha and Mishael Makali. n 0.3 ACKNOWLEDGEMENT My humble acknowledgement go to the Almighty God Jehovah who endows us withdhe gift of the Human brain that enables us to be creative and imaginative. I would also like to express my sincere gratitude to my Supervisor Prof.J.M.Khalagai for tirelessly guiding me in my research.I also wish to thank Prof.G.P.Pokhariyal for never ceasing to put me on my toes. I sincerely wish to thank the Director of the School of Mathematics DrJ .Were for his invaluable support. Furthermore,! am indebted to my colleagues Mrs.E.Muriuki, Dr.Mile, Dr.I.Kipchichir, Mr R.Ogik and Dr.N.'Owuor who have been a source of inspiration.
    [Show full text]
  • Uncertainty Relations and Joint Numerical Ranges
    Konrad Szyma´nski Uncertainty relations and joint numerical ranges MSc thesis under the supervision of Prof. Karol Zyczkowski˙ arXiv:1707.03464v1 [quant-ph] 11 Jul 2017 MARIANSMOLUCHOWSKIINSTITUTEOFPHYSICS, UNIWERSYTETJAGIELLO NSKI´ KRAKÓW,JULY 2 0 1 7 Contents Quantum states 1 Joint Numerical Range 5 Phase transitions 11 Uncertainty relations 19 Conclusions and open questions 23 Bibliography 25 iii To MS, AS, unknow, DS, JJK, AM, FF, KZ,˙ SM, P, N. Introduction Noncommutativity lies at the heart of quantum theory and provides a rich set of mathematical and physical questions. In this work, I address this topic through the concept of Joint Numerical Range (JNR) — the set of simultaneously attainable expectation values of multiple quantum observables, which in general do not commute. The thesis is divided into several chapters: Quantum states Geometry of the set of quantum states of size d is closely related to JNR, which provides a nice tool to analyze the former set. The problem of determining the intricate structure of this set is known to quickly become hard as the dimensionality grows (approximately as d2). The difficulty stems from the nonlinear constraints put on the set of parameters. In this chapter I briefly introduce the formalism of density matrices, which will prove useful in the later sections. Joint Numerical Range Joint Numerical Range of a collection of k operators, or JNR for short, is an object capturing the notion of simultaneous measurement of averages — expectation values of multiple observables. This is precisely the set of values which are simultaneously attainable for fixed observables (F1, F2,..., Fk) over a given quantum state r 2 Md: if we had a function taking quantum state and returning the tuple of average values: E(r) = (hF1ir , hF1ir ,..., hFkir),(1) Joint Numerical Range L(F1,..., Fk) is precisely E[Md].
    [Show full text]
  • Spectral Inclusion for Unbounded Block Operator Matrices ✩
    Journal of Functional Analysis 256 (2009) 3806–3829 www.elsevier.com/locate/jfa Spectral inclusion for unbounded block operator matrices ✩ Christiane Tretter Mathematisches Institut, Universität Bern, Sidlerstr. 5, 3012 Bern, Switzerland Received 15 September 2008; accepted 23 December 2008 Available online 23 January 2009 Communicated by N. Kalton Abstract In this paper we establish a new analytic enclosure for the spectrum of unbounded linear operators A admitting a block operator matrix representation. For diagonally dominant and off-diagonally dominant block operator matrices, we show that the recently introduced quadratic numerical range W 2(A) contains the eigenvalues of A and that the approximate point spectrum of A is contained in the closure of W 2(A). This provides a new method to enclose the spectrum of unbounded block operator matrices by means of the non-convex set W 2(A). Several examples illustrate that this spectral inclusion may be considerably tighter than the one by the usual numerical range or by perturbation theorems, both in the non-self-adjoint case and in the self-adjoint case. Applications to Dirac operators and to two-channel Hamiltonians are given. © 2009 Elsevier Inc. All rights reserved. Keywords: Spectrum; Unbounded linear operator; Block operator matrix; Numerical range; Quadratic numerical range 1. Introduction The spectra of linear operators play a crucial role in many branches of mathematics and in numerous applications. Analytic information on the spectrum is, in general, hard to obtain and numerical approximations may not be reliable, in particular, if the operator is not self-adjoint or normal. In this paper, we suggest a new analytic enclosure for the spectrum of unbounded linear operators that admit a so-called block operator matrix representation.
    [Show full text]
  • Numerical Range: (In) a Matrix Nutshell
    Numerical range: (in) a matrix nutshell Panayiotis J. Psarrakos∗ Michael J. Tsatsomeros† August 12, 2002 ∗Department of Mathematics, National Technical University, Zografou Campus, Athens 15780, Greece. †Mathematics Department, Washington State University, Pullman, Washington 99164-3113. 1 The definition and a name The numerical range, field of values, Wertovorrat, Hausdorff domain, range of values have been, among others, competing names for the same notion. The first two have outlived the competition but the advantage goes decisively to the first: The numerical range of an operator T in a complex Hilbert space H. This is the term coined by Marshall Stone in 1932 [29] for the subset of the complex plane C given by W (T ) = Tx,x : x H, x = 1 . {h i ∈ k k } In technical terms here, ‘T is a bounded linear operator on a separable Hilbert space H with inner product , and induced norm x = x,x ’. But to keep our lives simple1, let’s confine our h · · i k k h i discussion to finite dimensions and talk aboutp the numerical range of an n n complex matrix A ∗ ×n ∗ (we write A n(C)), where x = √x x is the Euclidean length of x C and x its conjugate transpose; that∈ M is, k k ∈ W (A) = x∗Ax : x Cn, x∗x = 1 . { ∈ } This is a remarkable set for many reasons. It succinctly captures information about A as a transfor- mation, particularly about the eigenvalues and, perhaps more importantly, about the eigenspaces of A. The shape of W (A) (more accurately its boundary) is also related to the combinatorial structure of A, by which we mean the pattern of signs of its entries or the pattern of its nonzero entries, some- times represented by a graph.
    [Show full text]
  • Randomized Methods for Computing Low-Rank Approximations of Matrices
    Randomized methods for computing low-rank approximations of matrices by Nathan P. Halko B.S., University of California, Santa Barbara, 2007 M.S., University of Colorado, Boulder, 2010 A thesis submitted to the Faculty of the Graduate School of the University of Colorado in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Applied Mathematics 2012 This thesis entitled: Randomized methods for computing low-rank approximations of matrices written by Nathan P. Halko has been approved for the Department of Applied Mathematics Per-Gunnar Martinsson Keith Julian David M. Bortz Francois G. Meyer Date The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline. iii Halko, Nathan P. (Ph. D., Applied Mathematics) Randomized methods for computing low-rank approximations of matrices Thesis directed by Professor Per-Gunnar Martinsson Randomized sampling techniques have recently proved capable of efficiently solving many standard problems in linear algebra, and enabling computations at scales far larger than what was previously possible. The new algorithms are designed from the bottom up to perform well in modern computing environments where the expense of communication is the primary constraint. In extreme cases, the algorithms can even be made to work in a streaming environment where the matrix is not stored at all, and each element can be seen only once. The dissertation describes a set of randomized techniques for rapidly constructing a low-rank ap- proximation to a matrix.
    [Show full text]
  • On Characterization of Posinormal Operators and Their Applications in Quantum Mechanics
    Vol-1, Issue-2 PP. 212-221 ISSN: 2394-5788 ON CHARACTERIZATION OF POSINORMAL OPERATORS AND THEIR APPLICATIONS IN QUANTUM MECHANICS JOHN P. AKELLO C. RWENYO SABASI N. B. OKELO DEPARTMENT OF OMAORO and P. O. SCHOOL OF MATHEMATICS MATHEMATICS MOGOTU AND ACTUARIAL SCIENCE, KIBABII UNIVERSITY DEPARTMENT OF JARAMOGI OGINGA ODINGA COLLEGE MATHEMATICS UNIVERSITY OF SCIENCE KISII UNIVERSITY AND TECHNOLOGY, BONDO-KENYA ABSTRACT Studies on Hilbert space operators have been carried out by several researchers and mathematicians with interesting results obtained. A posinormal operator is one of the operators under concern with interesting characters. Properties of posinormal operators have not been exhausted hence this calls for intense characterization of these operators. Of great concern is the norm inequality involving these operators. In this paper, we give a detailed study of the norm property of posinormal operators when they are sefadjoint. The objectives of the study are to: establish norm inequalities for posinormal operators; characterize posinormal operators and; determine applications of posinormal operators in other fields. The methodology involved the use of tensor products as a technical approach in determining these norm inequalities. The results show that the norm of a posinormal operator is equal to the norm of any normal operator when the operators are selfadjoint. The results obtained are very important in the classification of Hilbert space operators and their applications in other fields like quantum theory. General Terms: Hilbert space, Posinormal operators, Selfadjoint, norm inequality, Applications and Quantum Mechanics. 1. INTRODUCTION The concept of arbitrary vector spaces can be generalized to inner product spaces and complete inner product spaces called Hilbert Spaces.
    [Show full text]