Multiple Operator Integrals: Development and Applications

Total Page:16

File Type:pdf, Size:1020Kb

Multiple Operator Integrals: Development and Applications Multiple Operator Integrals: Development and Applications by Anna Tomskova A thesis submitted for the degree of Doctor of Philosophy at the University of New South Wales. School of Mathematics and Statistics Faculty of Science May 2017 PLEASE TYPE THE UNIVERSITY OF NEW SOUTH WALES Thesis/Dissertation Sheet Surname or Family name: Tomskova First name: Anna Other name/s: Abbreviation for degree as given in the University calendar: PhD School: School of Mathematics and Statistics Faculty: Faculty of Science Title: Multiple Operator Integrals: Development and Applications Abstract 350 words maximum: (PLEASE TYPE) Double operator integrals, originally introduced by Y.L. Daletskii and S.G. Krein in 1956, have become an indispensable tool in perturbation and scattering theory. Such an operator integral is a special mapping defined on the space of all bounded linear operators on a Hilbert space or, when it makes sense, on some operator ideal. Throughout the last 60 years the double and multiple operator integration theory has been greatly expanded in different directions and several definitions of operator integrals have been introduced reflecting the nature of a particular problem under investigation. The present thesis develops multiple operator integration theory and demonstrates how this theory applies to solving of several deep problems in Noncommutative Analysis. The first part of the thesis considers double operator integrals. Here we present the key definitions and prove several important properties of this mapping. In addition, we give a solution of the Arazy conjecture, which was made by J. Arazy in 1982. In this part we also discuss the theory in the setting of Banach spaces and, as an application, we study the operator Lipschitz estimate problem in the space of all bounded linear operators on classical Lp-spaces of scalar sequences. The second part of the thesis develops important aspects of multiple operator integration theory. Here, we demonstrate how this theory applies to a solution of the problem on a Koplienko-Neidhardt trace formulae for a Taylor remainder of order two, which was raised by V. Peller in 2005, and also extend the solution for a Taylor remainder of an arbitrary order. Finally, using the tools from multiple operator integration theory, we present an affirmative solution of a question concerning Frechet differentiability of the norm of Lp-spaces, which has been of interest to experts in Banach space geometry for the last 50 years. We resolve this question in the most general setting, namely for the non-commutative Lp-spaces associated with an arbitrary von Neumann algebra, thus answering the open question suggested by G. Pisier and Q. Xu in their influential survey on the geometry of such spaces. Declaration relating to disposition of project thesis/dissertation I hereby grant to the University of New South Wales or its agents the right to archive and to make available my thesis or dissertation in whole or in part in the University libraries in all forms of media, now or here after known, subject to the provisions of the Copyright Act 1968. I retain all property rights, such as patent rights. I also retain the right to use in future works (such as articles or books) all or part of this thesis or dissertation. I also authorise University Microfilms to use the 350 word abstract of my thesis in Dissertation Abstracts International (this is applicable to doctoral theses only). …………………………………………………………… ……………………………………..……………… ……….……………………...…….… Signature Witness Signature Date The University recognises that there may be exceptional circumstances requiring restrictions on copying or conditions on use. Requests for restriction for a period of up to 2 years must be made in writing. Requests for a longer period of restriction may be considered in exceptional circumstances and require the approval of the Dean of Graduate Research. FOR OFFICE USE ONLY Date of completion of requirements for Award: ORIGINALITY STATEMENT ‘I hereby declare that this submission is my own work and to the best of my knowledge it contains no materials previously published or written by another person, or substantial proportions of material which have been accepted for the award of any other degree or diploma at UNSW or any other educational institution, except where due acknowledgement is made in the thesis. Any contribution made to the research by others, with whom I have worked at UNSW or elsewhere, is explicitly acknowledged in the thesis. I also declare that the intellectual content of this thesis is the product of my own work, except to the extent that assistance from others in the project's design and conception or in style, presentation and linguistic expression is acknowledged.’ Signed …………………………………………….............. Date …………………………………………….............. COPYRIGHT STATEMENT ‘I hereby grant the University of New South Wales or its agents the right to archive and to make available my thesis or dissertation in whole or part in the University libraries in all forms of media, now or here after known, subject to the provisions of the Copyright Act 1968. I retain all proprietary rights, such as patent rights. I also retain the right to use in future works (such as articles or books) all or part of this thesis or dissertation. I also authorise University Microfilms to use the 350 word abstract of my thesis in Dissertation Abstract International (this is applicable to doctoral theses only). I have either used no substantial portions of copyright material in my thesis or I have obtained permission to use copyright material; where permission has not been granted I have applied/will apply for a partial restriction of the digital copy of my thesis or dissertation.' Signed ……………………………………………........................... Date ……………………………………………........................... AUTHENTICITY STATEMENT ‘I certify that the Library deposit digital copy is a direct equivalent of the final officially approved version of my thesis. No emendation of content has occurred and if there are any minor variations in formatting, they are the result of the conversion to digital format.’ Signed ……………………………………………........................... Date ……………………………………………........................... Acknowledgements My deepest gratitude goes to my supervisor Fedor Sukochev first of all for accepting me to his extraordinarily strong mathematical team. I always feel that he believes in my talent more than I do and he inspired me to work on long- standing interesting problems. In addition, he opened for me the mathematical world introducing me to many highly qualified mathematicians and giving me a chance to participate in a series of mathematical conferences and workshops all over the world. My deepest thanks extend to my co-supervisor Denis Potapov who has been very generous with his help and time over these three years and has displayed an astounding level of patience. I would also like to thank my colleague and co-author Dima Zanin for his patience, for sharing his thoughts and allowing me to pester him with questions so often over the years. In addition, my thanks extends to all my co-authors Jan Rozendaal, Christian Le Merdy, Clement Coine and Anna Skripka for a pleasant time of working together. Especially, I would like to thank Christian Le Merdy for the organization of visits to University de Franche-comte, Besanson, France during my study and his great hospitality there. i Contents 1 Overview 2 1.1 Introduction . 2 1.2 Structure of the thesis . 15 2 Double operator integration 18 2.1 Double operator integral on S2 ................... 18 2.2 Double operator integral on B(H) and Schatten classes . 26 2.3 Double operator integral on B(X ; Y) and Banach ideals . 37 3 Arazy conjecture concerning Schur multipliers on Schatten ide- als 50 4 Commutator and Lipschitz estimates in B(X ; Y) 60 4.1 General estimates . 60 4.2 Spaces with unconditional basis . 63 4.3 Absolute value function on B(`p; `q) . 69 4.3.1 Case p < q ........................... 69 4.3.2 Case p ≥ q ........................... 72 4.4 Lipschitz estimates on the ideal of p-summing operators . 74 5 Multiple operator integration 77 5.1 Multiple operator integrals in the finite dimensional setting . 78 5.1.1 Multilinear Schur multipliers via linear ones. 80 5.1.2 Schur multipliers via multiple operator integrals. 83 5.1.3 Properties of multiple operator integrals . 84 ii 5.2 Multiple operator integrals in the setting of non-commutative Lp- spaces . 96 5.2.1 Classical non-commutative Lp-spaces and weak Lp-spaces . 99 5.2.2 Haagerup's Lp-spaces . 102 5.2.3 Multiple operator integrals . 105 5.2.4 H¨older-type estimate . 116 6 Applications to operator Taylor remainders 128 6.1 Affirmative results for Taylor remainders . 129 6.2 Counterexamples for Taylor remainders. 132 6.2.1 Self-adjoint case. 133 6.2.2 Unitary case. 147 7 Differentiation of the norm of Haagerup Lp-space 154 7.1 Traces on L1;1(N ; τ) . 155 7.2 First Fr´echet derivative . 158 7.3 Main estimate . 160 p p 7.4 Taylor expansion for A 7! kAkLp ;A 2 L : . 166 Bibliography 172 1 Chapter 1 Overview 1.1 Introduction Let H be a separable complex Hilbert space. Let B(H) be the spaces of all bounded linear operators on H equipped with the uniform norm k · k1: Let us first consider the finite dimensional situation. Throughout the thesis N = f1; 2;:::g is the set of natural numbers, R and C 2 N H 2 are the sets of real and complex numbers respectively. Let d and = `d, 2 where `d denote the d-dimensional Hilbert space equipped with a scalar product · · 2 ( ; ). Let two self-adjoint linear operators A and B on `d with respective complete f gd f gd f gd systems of orthonormal eigenvectors ξj j=1; ηk k=1 and eigenvalues λj j=1; f gd µk k=1 be given. Let Pξ denote the orthogonal projection on the unit vector 2 2 · · ξ `d; that is, Pξ( ) = ( ; ξ)ξ.
Recommended publications
  • Adjoint of Unbounded Operators on Banach Spaces
    November 5, 2013 ADJOINT OF UNBOUNDED OPERATORS ON BANACH SPACES M.T. NAIR Banach spaces considered below are over the field K which is either R or C. Let X be a Banach space. following Kato [2], X∗ denotes the linear space of all continuous conjugate linear functionals on X. We shall denote hf; xi := f(x); x 2 X; f 2 X∗: On X∗, f 7! kfk := sup jhf; xij kxk=1 defines a norm on X∗. Definition 1. The space X∗ is called the adjoint space of X. Note that if K = R, then X∗ coincides with the dual space X0. It can be shown, analogues to the case of X0, that X∗ is a Banach space. Let X and Y be Banach spaces, and A : D(A) ⊆ X ! Y be a densely defined linear operator. Now, we st out to define adjoint of A as in Kato [2]. Theorem 2. There exists a linear operator A∗ : D(A∗) ⊆ Y ∗ ! X∗ such that hf; Axi = hA∗f; xi 8 x 2 D(A); f 2 D(A∗) and for any other linear operator B : D(B) ⊆ Y ∗ ! X∗ satisfying hf; Axi = hBf; xi 8 x 2 D(A); f 2 D(B); D(B) ⊆ D(A∗) and B is a restriction of A∗. Proof. Suppose D(A) is dense in X. Let S := ff 2 Y ∗ : x 7! hf; Axi continuous on D(A)g: For f 2 S, define gf : D(A) ! K by (gf )(x) = hf; Axi 8 x 2 D(A): Since D(A) is dense in X, gf has a unique continuous conjugate linear extension to all ∗ of X, preserving the norm.
    [Show full text]
  • Class Notes, Functional Analysis 7212
    Class notes, Functional Analysis 7212 Ovidiu Costin Contents 1 Banach Algebras 2 1.1 The exponential map.....................................5 1.2 The index group of B = C(X) ...............................6 1.2.1 p1(X) .........................................7 1.3 Multiplicative functionals..................................7 1.3.1 Multiplicative functionals on C(X) .........................8 1.4 Spectrum of an element relative to a Banach algebra.................. 10 1.5 Examples............................................ 19 1.5.1 Trigonometric polynomials............................. 19 1.6 The Shilov boundary theorem................................ 21 1.7 Further examples....................................... 21 1.7.1 The convolution algebra `1(Z) ........................... 21 1.7.2 The return of Real Analysis: the case of L¥ ................... 23 2 Bounded operators on Hilbert spaces 24 2.1 Adjoints............................................ 24 2.2 Example: a space of “diagonal” operators......................... 30 2.3 The shift operator on `2(Z) ................................. 32 2.3.1 Example: the shift operators on H = `2(N) ................... 38 3 W∗-algebras and measurable functional calculus 41 3.1 The strong and weak topologies of operators....................... 42 4 Spectral theorems 46 4.1 Integration of normal operators............................... 51 4.2 Spectral projections...................................... 51 5 Bounded and unbounded operators 54 5.1 Operations..........................................
    [Show full text]
  • Some Elements of Functional Analysis
    Some elements of functional analysis J´erˆome Le Rousseau January 8, 2019 Contents 1 Linear operators in Banach spaces 1 2 Continuous and bounded operators 2 3 Spectrum of a linear operator in a Banach space 3 4 Adjoint operator 4 5 Fredholm operators 4 5.1 Characterization of bounded Fredholm operators ............ 5 6 Linear operators in Hilbert spaces 10 Here, X and Y will denote Banach spaces with their norms denoted by k.kX , k.kY , or simply k.k when there is no ambiguity. 1 Linear operators in Banach spaces An operator A from X to Y is a linear map on its domain, a linear subspace of X, to Y . One denotes by D(A) the domain of this operator. An operator from X to Y is thus characterized by its domain and how it acts on this domain. Operators defined this way are usually referred to as unbounded operators. One writes (A, D(A)) to denote the operator along with its domain. The set of linear operators from X to Y is denoted by L (X,Y ). If D(A) is dense in X the operator is said to be densely defined. If D(A) = X one says that the operator A is on X to Y . The range of the operator is denoted by Ran(A), that is, Ran(A)= {Ax; x ∈ D(A)} ⊂ Y, 1 and its kernel, ker(A), is the set of all x ∈ D(A) such that Ax = 0. The graph of A, G(A), is given by G(A)= {(x, Ax); x ∈ D(A)} ⊂ X × Y.
    [Show full text]
  • On Lifting of Operators to Hilbert Spaces Induced by Positive Selfadjoint Operators
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE J. Math. Anal. Appl. 304 (2005) 584–598 provided by Elsevier - Publisher Connector www.elsevier.com/locate/jmaa On lifting of operators to Hilbert spaces induced by positive selfadjoint operators Petru Cojuhari a, Aurelian Gheondea b,c,∗ a Department of Applied Mathematics, AGH University of Science and Technology, Al. Mickievicza 30, 30-059 Cracow, Poland b Department of Mathematics, Bilkent University, 06800 Bilkent, Ankara, Turkey c Institutul de Matematic˘a al Academiei Române, C.P. 1-764, 70700 Bucure¸sti, Romania Received 10 May 2004 Available online 29 January 2005 Submitted by F. Gesztesy Abstract We introduce the notion of induced Hilbert spaces for positive unbounded operators and show that the energy spaces associated to several classical boundary value problems for partial differential operators are relevant examples of this type. The main result is a generalization of the Krein–Reid lifting theorem to this unbounded case and we indicate how it provides estimates of the spectra of operators with respect to energy spaces. 2004 Elsevier Inc. All rights reserved. Keywords: Energy space; Induced Hilbert space; Lifting of operators; Boundary value problems; Spectrum 1. Introduction One of the central problem in spectral theory refers to the estimation of the spectra of linear operators associated to different partial differential equations. Depending on the specific problem that is considered, we have to choose a certain space of functions, among * Corresponding author. E-mail addresses: [email protected] (P. Cojuhari), [email protected], [email protected] (A.
    [Show full text]
  • Positive Forms on Banach Spaces
    POSITIVE FORMS ON BANACH SPACES B´alint Farkas, M´at´eMatolcsi 25th June 2001 Abstract The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying space is a reflexive Banach space. In particular, the construc- tion of the Friedrichs extension and the form sum of positive operators can be carried over to this case. 1 Introduction Let X denote a reflexive complex Banach space, and X∗ its conjugate dual space (i.e. the space of all continuous, conjugate linear functionals over X). We will use the notation (v, x) := v(x) for v X∗ , x X, and (x, v) := v(x). Let A be a densely defined linear operator from∈ X to ∈X∗. Notice that in this context it makes sense to speak about positivity and self-adjointness of A. Indeed, A defines a sesquilinear form on Dom A Dom A via t (x, y) = (Ax)(y) = (Ax, y) × A and A is called positive if tA is positive, i.e. if (Ax, x) 0 for all x Dom A. Also, the adjoint A∗ of A is defined (because A is densely≥ defined)∈ and is a mapping from X∗∗ to X∗, i.e. from X to X∗. Thus, A is called self-adjoint ∗ if A = A . Similarly, the operator A is called symmetric if the form tA is symmetric. In Section 2 we deal with closed, positive forms and associated operators, and arXiv:math/0612015v1 [math.FA] 1 Dec 2006 we establish a generalized version of the first representation theorem.
    [Show full text]
  • Closed Linear Operators with Domain Containing Their Range
    Proceedings of the Edinburgh Mathematical Society (1984) 27, 229-233 © CLOSED LINEAR OPERATORS WITH DOMAIN CONTAINING THEIR RANGE by SCHOICHI OTA (Received 8th February 1984) 1. Introduction In connection with algebras of unbounded operators, Lassner showed in [4] that, if T is a densely defined, closed linear operator in a Hilbert space such that its domain is contained in the domain of its adjoint T* and is globally invariant under T and T*, then T is bounded. In the case of a Banach space (in particular, a C*-algebra) we showed in [6] that a densely defined closed derivation in a C*-algebra with domain containing its range is automatically bounded (see the references in [6] and [7] for the theory of derivations in C*-algebras). In general there exists a densely defined, unbounded closed linear operator with domain containing its range (see Example 3.1). Therefore it is of great interest to study the boundedness and properties of such an operator. We show in Section 2 that a dissipative closed linear operator in a Banach space with domain containing its range is automatically bounded. In Section 3, we deal with a densely defined, closed linear operator in a Hilbert space. Using the result in Section 2, we first show that a closed operator which maps its domain into the domain of its adjoint is bounded and, as a corollary, that a closed symmetric operator with domain containing its range is automatically bounded. Furthermore we study some properties of an unbounded closed operator with domain containing its range and show that the numerical range of such an operator is the whole complex plane.
    [Show full text]
  • Arxiv:1211.0058V1 [Math-Ph] 31 Oct 2012 Ydfiiina Operator an Definition by Nay4h6,(70)(35Q80)
    NOTE ON THE SPECTRAL THEOREM T. L. GILL AND D. WILLIAMS Abstract. In this note, we show that the spectral theorem, has two representations; the Stone-von Neumann representation and one based on the polar decomposition of linear operators, which we call the de- formed representation. The deformed representation has the advantage that it provides an easy extension to all closed densely defined linear operators on Hilbert space. Furthermore, the deformed representation can also be extended all separable reflexive Banach spaces and has a limited extension to non-reflexive Banach spaces. Introduction Let C[B] be the closed densely defined linear operators on a Banach space. By definition an operator A, defined on a separable Banach space B is of Baire class one if it can be approximated by a sequence {An} ⊂ L[B], of arXiv:1211.0058v1 [math-ph] 31 Oct 2012 bounded linear operators. If B is a Hilbert space, then every A ∈C[B] is of Baire class one. However, it turns out that, if B is not a Hilbert space, there may be operators A ∈C[B] that are not of Baire class one. 1991 Mathematics Subject Classification. Primary (46B03), (47D03) Sec- ondary(47H06), (47F05) (35Q80). Key words and phrases. spectral theorem, vector measures, vector-valued functions, Reflexive Banach spaces. 1 2 GILL AND WILLIAMS A Banach space B is said to be quasi-reflexive if dim{B′′/B} < ∞, and nonquasi-reflexive if dim{B′′/B} = ∞. Vinokurov, Petunin and Pliczko [VPP] have shown that, for every nonquasi-reflexive Banach space B, there is a closed densely defined linear operator A which is not of Baire class one (for example, C[0, 1] or L1[Rn], n ∈ N).
    [Show full text]
  • Representations of *-Algebras by Unbounded Operators: C*-Hulls, Local–Global Principle, and Induction
    REPRESENTATIONS OF *-ALGEBRAS BY UNBOUNDED OPERATORS: C*-HULLS, LOCAL–GLOBAL PRINCIPLE, AND INDUCTION RALF MEYER Abstract. We define a C∗-hull for a ∗-algebra, given a notion of integrability for its representations on Hilbert modules. We establish a local–global principle which, in many cases, characterises integrable representations on Hilbert mod- ules through the integrable representations on Hilbert spaces. The induction theorem constructs a C∗-hull for a certain class of integrable representations of a graded ∗-algebra, given a C∗-hull for its unit fibre. Contents 1. Introduction 1 2. Representations by unbounded operators on Hilbert modules 5 3. Integrable representations and C∗-hulls 10 4. Polynomials in one variable I 15 5. Local–Global principles 19 6. Polynomials in one variable II 27 7. Bounded and locally bounded representations 30 8. Commutative C∗-hulls 37 9. From graded ∗-1––------algebras to Fell bundles 43 10. Locally bounded unit fibre representations 53 11. Fell bundles with commutative unit fibre 57 12. Rieffel deformation 64 13. Twisted Weyl algebras 66 References 71 1. Introduction Savchuk and Schmüdgen [26] have introduced a method to define and classify the integrable representations of certain ∗-algebras by an inductive construction. The original goal of this article was to clarify this method and thus make it apply to more situations. This has led me to reconsider some foundational aspects of arXiv:1607.04472v3 [math.OA] 27 Jul 2017 the theory of representations of ∗-algebras by unbounded operators. This is best explained by formulating an induction theorem that is inspired by [26]. L Let G be a discrete group with unit element e ∈ G.
    [Show full text]
  • Unbounded Linear Operators Jan Derezinski
    Unbounded linear operators Jan Derezi´nski Department of Mathematical Methods in Physics Faculty of Physics University of Warsaw Ho_za74, 00-682, Warszawa, Poland Lecture notes, version of June 2013 Contents 3 1 Unbounded operators on Banach spaces 13 1.1 Relations . 13 1.2 Linear partial operators . 17 1.3 Closed operators . 18 1.4 Bounded operators . 20 1.5 Closable operators . 21 1.6 Essential domains . 23 1.7 Perturbations of closed operators . 24 1.8 Invertible unbounded operators . 28 1.9 Spectrum of unbounded operators . 32 1.10 Functional calculus . 36 1.11 Spectral idempotents . 41 1.12 Examples of unbounded operators . 43 1.13 Pseudoresolvents . 45 2 One-parameter semigroups on Banach spaces 47 2.1 (M; β)-type semigroups . 47 2.2 Generator of a semigroup . 49 2.3 One-parameter groups . 54 2.4 Norm continuous semigroups . 55 2.5 Essential domains of generators . 56 2.6 Operators of (M; β)-type ............................ 58 2.7 The Hille-Philips-Yosida theorem . 60 2.8 Semigroups of contractions and their generators . 65 3 Unbounded operators on Hilbert spaces 67 3.1 Graph scalar product . 67 3.2 The adjoint of an operator . 68 3.3 Inverse of the adjoint operator . 72 3.4 Numerical range and maximal operators . 74 3.5 Dissipative operators . 78 3.6 Hermitian operators . 80 3.7 Self-adjoint operators . 82 3.8 Spectral theorem . 85 3.9 Essentially self-adjoint operators . 89 3.10 Rigged Hilbert space . 90 3.11 Polar decomposition . 94 3.12 Scale of Hilbert spaces I . 98 3.13 Scale of Hilbert spaces II .
    [Show full text]
  • Spectral Analysis for Perturbed Operators on Carnot Groups
    Spectral Analysis for Perturbed Operators on Carnot Groups Marius M˘antoiu ∗ Abstract Let G be a Carnot group of homogeneous dimension M and ∆ its horizontal sublaplacian. For α α ∈ (0,M) we show that operators of the form Hα := (−∆) + V have no singular spectrum, under generous assumptions on the multiplication operator V . The proof is based on commutator methods and Hardy inequalities. 1 Introduction The purpose of this article is to show that certain operators on Carnot groups have purely absolutely continuous spectrum. These operators are essentially perturbations of sublaplacians by multiplication operators. We stress that the functions defining these multiplication operators are not supposed to decay at infinity. Let H be a self-adjoint densely defined operator in a (complex separable) Hilbert space H with spectral measure EH . If u ∈H , then u 2 µH (·) := hEH (·)u, ui = kEH (·)uk defines a positive Borel measure on R with total mass kuk2 . We say that p u • the vector u belongs to the pure point space of H (and write u ∈HH ) if µH is atomic, ac u • the vector u belongs to the absolutely continuous space of H (and write u ∈ HH ) if µH is absolutely continuous with respect to the Lebesgue measure, sc u • the vector u belongs to the singularly continuous space of H (and write u ∈HH ) if µH is singular with respect to the Lebesgue measure and atomless. arXiv:1606.04810v1 [math.FA] 15 Jun 2016 One has direct sum decompositions p ac sc p c ac s H = HH ⊕HH ⊕HH = HH ⊕HH = HH ⊕HH , c ac sc s p sc where HH := HH ⊕HH is the continuous space and HH := HH ⊕HH is the singular space (with p respect to H).
    [Show full text]
  • Dixmier Traces
    Dixmier traces S. Richard Spring Semester 2017 2 Contents 1 Hilbert space and linear operators 5 1.1 Hilbert space . 5 1.2 Bounded linear operators . 9 1.3 Special classes of bounded linear operators . 11 1.4 Unbounded, closed, and self-adjoint operators . 15 1.5 Resolvent and spectrum . 19 1.6 Positivity and polar decomposition . 21 2 Normed ideals of K (H) 25 2.1 Compact operators and the canonical expansion . 25 2.2 Eigenvalues and singular values . 27 2.3 Technical interlude . 30 2.4 Normed ideals of B(H)........................... 35 2.5 The Schatten ideals Jp .......................... 39 2.6 Usual trace . 41 3 The Dixmier trace 47 3.1 Invariant states . 47 3.2 Additional sequence spaces . 49 3.3 Dixmier's construction . 50 3.4 Generalizations of the Dixmier trace . 53 3.4.1 Extended limits . 54 3.4.2 Additional spaces on R+ ...................... 56 3.4.3 Dixmier traces . 57 4 Heat kernel and ζ-function 61 4.1 ζ-function residue . 61 4.2 The heat kernel functional . 64 5 Traces of pseudo-differential operators 67 5.1 Pseudo-differential operators on Rd .................... 67 5.2 Noncommutative residue . 74 5.3 Modulated operators . 75 5.4 Connes' trace theorem . 83 3 4 CONTENTS Chapter 1 Hilbert space and linear operators The purpose of this first chapter is to introduce (or recall) many standard definitions related to the study of operators on a Hilbert space. Its content is mainly based on the first two chapters of the book [Amr]. 1.1 Hilbert space Definition 1.1.1.
    [Show full text]
  • Lecture Notes: Lax-Milgram Method and Unbounded Operators
    ANALYSIS TOOLS WITH APPLICATIONS 533 29. Unbounded operators and quadratic forms 29.1. Unbounded operator basics. Definition 29.1. If X and Y are Banach spaces and D is a subspace of X,thena linear transformation T from D into Y is called a linear transformation (or operator) from X to Y with domain D. We will sometimes wr If D is dense in X, T is said to be densely defined. Notation 29.2. If S and T are operators from X to Y with domains D(S)and D(T )andifD(S) D(T )andSx = Tx for x D(S), then we say T is an extension of S and write⊂ S T. ∈ ⊂ We note that X Y is a Banach space in the norm × x, y = x 2 + y 2. kh ik k k k k If H and K are Hilbert spaces, then Hp K and K H become Hilbert spaces by defining × × ( x, y , x0,y0 )H K := (x, x0)H +(y,y0)K h i h i × and ( y, x , y0,x0 )K H := (x, x0)H +(y,y0)K . h i h i × Definition 29.3. If T is an operator from X to Y with domain D,thegraphof T is Γ(T ):= x, Dx : x D(T ) H K. {h i ∈ } ⊂ × Note that Γ(T )isasubspaceofX Y . × Definition 29.4. An operator T : X Y is closedif Γ(T )isclosedinX Y. → × Remark 29.5. It is easy to see that T is closed iff for all sequences xn D such ∈ that there exists x X and y Y such that xn x and Txn y implies that x and Tx = y.
    [Show full text]