Nuclear and Hilbert-Schmidt Operators

Total Page:16

File Type:pdf, Size:1020Kb

Nuclear and Hilbert-Schmidt Operators Appendix A Nuclear and Hilbert-Schmidt Operators Let (X,·,·X) and (Y,·,·Y ) be separable Hilbert spaces. Definition A.1 (Nuclear operator) An operator T ∈ L(Y,X) is said to be nuclear if it can be represented by ∞ Tx = ∑ ajbj,xY , forallx ∈ Y, j=1 { }⊂ { }⊂ ∞ || || ·|| || < where the two sequences aj X and bj Y are such that ∑j=1 aj X bj Y ∞. The space of all nuclear operators from Y to X is denoted by L1(Y,X). Proposition A.1 The space L1(Y,X) equipped with the norm ∞ ∞ || || = || || ·|| || = , , ∈ T L1(Y,X) : inf ∑ aj X bj Y : Tx ∑ aj bj x Y x Y j=1 j=1 is a Banach space. Proof See Prévôt and Röckner [1, Proposition B.0.2]. Definition A.2 Let T ∈ L(Y) and let {ek} be an orthonormal basis of Y.Thenwe define ∞ trT := ∑Te k,ekY k=1 if the series is convergent. This definition could depend on the choice of the orthonormal basis. However, note the following result concerning nuclear operators. © Springer International Publishing Switzerland 2016 369 T. E. Govindan, Yosida Approximations of Stochastic Differential Equations in Infinite Dimensions and Applications, Probability Theory and Stochastic Modelling 79, DOI 10.1007/978-3-319-45684-3 370 A Nuclear and Hilbert-Schmidt Operators Remark A.1 If T ∈ L1(Y) then trT is well defined independently of the choice of the orthonormal basis {ek}. Moreover, we have that | |≤|| || . trT T L1(Y) Proof See Prévôt and Röckner [1, Remark B.0.4]. +( ) ( ) Definition A.3 By L1 Y we denote the subspace L1 Y consisting of all symmet- ric nonnegative nuclear operators. Definition A.4 (Hilbert-Schmidt operator) A bounded linear operator T : Y → X is called Hilbert-Schmidt if ∞ 2 ∑ ||Te k|| < ∞ k=1 where {ek} is an orthonormal basis of Y. The space of all Hilbert-Schmidt operators from Y to X is denoted by L2(Y,X). Remark A.2 (i) The definition of the Hilbert-Schmidt operator and the number ∞ ||T||2 := ∑ ||Te ||2 L2(Y,X) k k=1 does not depend on the choice of the orthonormal basis {ek} and that || || = || ∗|| T L2(Y,X) T L2(X,Y). || || ≤|| || (ii) T L(Y,X) T L2(Y,X). Proof See Prévôt and Röckner [1, Remark B.0.6]. Proposition A.2 Let S,T ∈ L2(Y,X) and let {ek} be an orthonormal basis of Y. If we define ∞ , = , T S L2(Y,X) : ∑ Sek Te k X k=1 ( ( , ),·,· ) we obtain that L2 Y X L2(Y,X) is a separable Hilbert space. If {fk} is a orthonormal basis of X we get that fj ⊗ek := fjek,·Y , j,k = 1,2,3,... is an orthonormal basis of L2(Y,X). Proof See Prévôt and Röckner [1, Proposition B.0.7]. Proposition A.3 (Square root) Let T ∈ L(Y) be a nonnegative and symmetric operator. Then, there exists exactly one element T1/2 ∈ L(Y) that is nonnegative and symmetric such that T1/2 ◦ T1/2 = T. A Nuclear and Hilbert-Schmidt Operators 371 1/2 1/2 2 1/2 If trT < ∞, then we have that T ∈ L2(Y) where ||T || = trT and L ◦ T ∈ L2(Y) L2(Y,X)for allL ∈ L(Y,X). Proof See Prévôt and Röckner [1, Proposition 2.3.4]. Appendix B Multivalued Maps In this appendix, we clarify some elementary notions on multivalued maps. For a detailed overview of this topic, we refer to Aubin and Cellina [1]. Let X and Y be two general sets. We denote the power set of Y by 2Y . A multivalued map F from X to Y is a map that associates with any x ∈ X a (non- necessarily nonempty) subset F(x) ⊂ Y. The subset D(F) := {x ∈ X|F(x) = 0/} is called the domain of F. Unless otherwise noted the domain of F is assumed to be nonempty. We write F : D(F) ⊂ X → 2Y and say F is a multivalued map on X if Y = X. For a multivalued map we can define the graph by G(F) := {[x,y] ∈ X × Y|y ∈ F(x)}. The graph of F provides a convenient characterization of a multivalued map. Conversely, a nonempty set G ⊂ X × Y defines a multivalued map by F(x) := {y ∈ Y|[x,y] ∈ G}. In that case, G is the graph of F. As usual, the range R(F) ⊂ Y is defined by R(F) := F(x). x∈X Every multivalued map has an inverse F−1. In general, it is again a multivalued map with the domain D(F−1) := R(F) ⊂ Y and − − F 1(y) := {x ∈ X|y ∈ F(x)}, ∀y ∈ D(F 1). © Springer International Publishing Switzerland 2016 373 T. E. Govindan, Yosida Approximations of Stochastic Differential Equations in Infinite Dimensions and Applications, Probability Theory and Stochastic Modelling 79, DOI 10.1007/978-3-319-45684-3 374 B Multivalued Maps The map B : D(B) ⊂ X → 2Y is called an extension of A : D(A) ⊂ X → 2Y if G(A) ⊂ G(B). A single-valued f : X → Y is called a selection of the set-valued map F : X → 2Y if for all x ∈ X, f (x) ∈ F(x). We define a scalar multiplication for a multivalued map by (cA)(x) := {cv|v ∈ A(x)}, ∀x ∈ D(cA) := D(A), c ∈ R, and the sum of two multivalued maps A and B by (A + B)(x)={v + w|v ∈ A(x), w ∈ B(x)} for all x ∈ D(A + B) := D(A) ∩ D(B). Appendix C Maximal Monotone Operators Let X be a Banach space and X∗ its dual space. Let G(A) denote the graph of the operator A. Proposition C.1 Let A be maximal monotone. Then ∗ (i) A is weakly–strongly closed in X × X ,i.e,if[xn,yn] ∈ G(A), xn → x weakly in ∗ X and yn → y strongly in X ,then[x,y] ∈ G(A). (ii) A−1 is maximal monotone in X∗ × X. (iii) For each x ∈ D(A), A(x) is a closed, convex subset of X∗. Proof See Barbu [1, Section 2.1, Proposition 1.1]. A maximal monotone operator is even weakly–weakly closed as the following proposition shows. ∗ Proposition C.2 Let X be a reflexive Banach space and let A : X → 2X be a maximal monotone operator. Let [un,vn] ∈ G(A), n ∈ N, be such that un → u weakly, vn → v weakly, and either limsup X∗ vn − vm,un − umX ≤ 0 n,m→∞ or limsup X∗ vn,unX ≤ X∗ v,uX. n→∞ Then [u,v] ∈ G(A). Proof See Barbu [2, Lemma 2.3, p.38] and Barbu [2, Corollary 2.4, p.41]. We will make use of the following characterizations of maximal monotonicity. © Springer International Publishing Switzerland 2016 375 T. E. Govindan, Yosida Approximations of Stochastic Differential Equations in Infinite Dimensions and Applications, Probability Theory and Stochastic Modelling 79, DOI 10.1007/978-3-319-45684-3 376 C Maximal Monotone Operators Theorem C.1 Let X be a reflexive Banach space and let A : X → X∗ be a (single- valued) monotone hemicontinuous operator. Then A is maximal monotone in X × X∗. Proof See Barbu [1, Section 2.1, Theorem 1.3]. Theorem C.2 Let X be a reflexive Banach space and let A and B be maximal ∗ monotone operators from X to 2X such that (intD(A)) ∩ D(B) = 0/. Then A + B is maximal monotone in X × X∗. Proof See Barbu [1, Section 2.1, Theorem 1.5]. Corollary C.1 Let X be a reflexive Banach space, B be a monotone hemicontinuous ∗ operator from X to X∗,andA : X → 2X be a maximal monotone operator. Then A+B is maximal monotone. Proof Apply Theorem C.1 and Theorem C.2. Proposition C.3 Let X be a reflexive Banach space and let A beacoercive, maximal operator from X to X∗.ThenA is surjective, i.e., R(A)=X∗. Proof See Barbu [1, Section 2.1, Theorem 1.2]. We are especially interested in the selection of a maximal monotone operator with respect to its minimal norm: ∗ Definition C.1 The minimal selection A0 : D(A) ⊂ X → 2X of a maximal mono- tone operator is defined by A0(x) := y ∈ A(x)||y|| = min ||z|| , x ∈ D(A). z∈A(x) Remark C.1 If X is strictly convex, then A0 is single-valued. 0 0 Proof Let x ∈ D(A). Assume that y1,y2 ∈ A (x), y1 = y2.Defineδ := ||A (x)||.If δ = 0, then y1 = y1 = 0. Thus, δ > 0. By Proposition C.1 iii), A(x) is a closed, convex 1 ( + ) ∈ ( ) || 1 ( + )|| ≥ δ set. Hence 2 y1 y2 A x which implies 2 y1 y2 . On the other hand, fory ˜1 =(1/δ)y1 andy ˜2 =(1/δ)y2,wehave||y˜1|| = ||y˜2|| = 1. Since X is strictly > 1 || + || = 1 || + || convex, it follows that 1 2 y˜1 y˜2 2δ y˜1 y˜2 , which is a contradiction. Hence y1 = y2. Appendix D The Duality Mapping The duality mapping as a map from X to X∗ represents an important auxiliary tool in the theory of maximal monotone operators on Banach spaces. ∗ Definition D.1 The duality mapping J : X → 2X is defined by ∗ ∗ ∗ 2 ∗ 2 J(x) := {x ∈ X |X∗ x ,xX = ||x|| = ||x || }∀x ∈ X. ∈ ∗ ∈ ∗ Remark D.1 By the Hahn-Banach Theorem, for every x X there exists x0 X ∗ ∗ ∗ || || = ∗ , = || || = || || such that x0 1andX x0 x X x . Setting u : x x0, it follows that ∗ ∗ , = || ||2 = || |||| || = || ||2 ∈ ( ) ( )= X u x X x x0 x u .
Recommended publications
  • P-Quasi-Λ-Nuclear Operators Between Locally Convex Spaces * ﺩ
    Al-Aqsa University Journal (Natural Sciences Series) , Vol.14, No.2, Pages 18-26, Jan. 2010 ISSN 2070-3155 p-Quasi-λ-Nuclear Operators Between Locally Convex Spaces * ﺩ. ﺯﻴﺎﺩ ﺼﺎﻓﻲ * ﺩ. ﺃﺤﻤﺩ ﺍﻻﺸﻘﺭ ﺍﻟﻤﻠﺨﺹ ﻓﻲ ﻫﺫﺍ ﺍﻟﺒﺤﺙ ﻗﻤﻨﺎ ﺒﺘﻌﻤﻴﻡ ﻤﻔﻬﻭﻡ ﺍﻟﻤﺅﺜﺭﺍﺕ 2- ﺸﺒﻪ-λ- ﺍﻟﻨﻭﻭﻴﺔ ﺒﻴﻥ ﺍﻟﻔﻀﺎﺀﺍﺕ ﺍﻟﻤﻌﻴﺎﺭﻴﺔ (λ⊆ l1) ﺇﻟﻰ p- ﺸﺒﻪ-λ- ﺍﻟﻨﻭﻭﻴﺔ ﺒﻴﻥ ﺍﻟﻔﻀﺎﺀﺍﺕ ﺍﻟﻤﺤﺩﺒﺔ ﺍﻟﻤﺤﻠﻴﺔ ( ∞p >0, λ⊆ l)، ﻭﻜﺫﺍﻟﻙ ﺩﺭﺴﻨﺎ ﺍﻟﻌﻼﻗﺔ ﺒﻴﻥ ﺍﻟﻤﺅﺜﺭﺍﺕ p- ﺸﺒﻪ-λ- ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺍﻟﻤﺅﺜﺭﺍﺕ ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺍﻟﻤﺅﺜﺭﺍﺕ λ- ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺍﻟﻤﺅﺜﺭﺍﺕ ﺸﺒﻪ-λ-ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺒﺭﻫﻨﺎ ﺃﻥ ﺘﺭﻜﻴﺏ ﻤﺅﺜﺭﻴﻥ ﺃﺤﺩﻫﻤﺎ p- ﺸﺒﻪ-λ- ﻨﻭﻭﻱ ﻴﻜﻭﻥ p - ﺸﺒﻪ-λ- ﻨﻭﻭﻱ . ABSTRACT In this paper we generalize the concept of 2-quasi-λ-nuclear operators between Normed spaces (λ⊆ l1) to p-quasi-λ-nuclear operators between locally convex spaces (p >0, λ⊆ l∞ ) and we study the relationship between p-quasi-λ-nuclear, nuclear operators, λ-nuclear, quasi-nuclear and quasi-λ- nuclear. Also we prove that the composition of two operators, one of them is a p-quasi-λ-nuclear, is again a p-quasi-λ-nuclear operator. * ﻗﺴﻡ ﺍﻟﺭﻴﺎﻀﻴﺎﺕ – ﻜﻠﻴﺔ ﺍﻟﻌﻠﻭﻡ- ﺠﺎﻤﻌﺔ ﺍﻷﻗﺼﻰ - ﻏﺯﺓ - ﻓﻠﺴﻁﻴﻥ. p-Quasi-λ-Nuclear Operators Between Locally… 1. Preliminary. By Shatanawi [5], the operator T from a normed space E into a normed space F is said to be 2-quasi-λ-nuclear if there is a sequence ()α n ∈ λ ( λ ⊆ l1 ) and a bounded sequence ()an in E ′ such that ∞ 12 ⎛⎞2 Tx≤〈〉∞∀∈⎜⎟∑ |α nn || x , a | < , x E. ⎝⎠n =1 In this paper, we generalize this definition to p-quasi-λ-nuclear operator between locally convex spaces where λ ⊆ l ∞ and p > 0 .
    [Show full text]
  • XILIARY CONCEPTS ASD FACTS IBTERNAL REPOET (.Limited Distribution) 1
    AUXILIARY CONCEPTS ASD FACTS IBTERNAL REPOET (.Limited distribution) 1. If {e } , {h. } are orttLonormal tases in the Hilbert space H, and n n 1 o> , respectively, and X > 0 are the numbers such that the series > X International Atomic Energy Agency n _ / . n •,., and converges, then the formula Af = X (f,e )h defines an operator of the n n n Un'itad nations Educational Scientific and Cultural Organization n = 1 Hirbert-Schmidt type, and defines a nuclear operator vhich maps the space INTEBNATIOtTAL CENTRE FOR THEORETICAL PHYSICS H into if X < => n n = 1 By a nuclear space we mean a locally convex space with the property that every linear continuous map from this space into a Banach space is i [8,9,10] nuclear ' . 2. The inductive limit I ind. * (T ) is defined as follows: We are a« A a a CRITERION FOE THE IUCLEAEITY OF SPACES OF FUNCTIONS given a family {t (T )} of locally compact space, a linear space J and OF INFINITE NUMBER OF VARIABLES * a linear map u : * such that the family {u (4 )} spans the entire space * . The topology T , if $ is defined as the finest locally I.H. Gali ** convex topology such that the maps A. : $ (T } •+ *(T),remains continuous. A International Centre for Theoretical Physics, Trieste, Italy. basis of neighbourhoods of zero may be formed by sets T A(U ), where U are neighbourhoods of zero in $ (T ) . If $(T) is a Hausdorff space, then it is called the inductive limit of the spaces 4 (T ), and the topology T is called the inductive topology.
    [Show full text]
  • Random Linear Functionals
    RANDOM LINEAR FUNCTIONALS BY R. M. DUDLEYS) Let S be a real linear space (=vector space). Let Sa be the linear space of all linear functionals on S (not just continuous ones even if S is topological). Let 86{Sa, S) or @{S) denote the smallest a-algebra of subsets of Sa such that the evaluation x -> x(s) is measurable for each s e S. We define a random linear functional (r.l.f.) over S as a probability measure P on &(S), or more formally as the pair (Sa, P). In the cases we consider, S is generally infinite-dimensional, and in some ways Sa is too large for convenient handling. Various alternate characterizations of r.l.f.'s are useful and will be discussed in §1 below. If 7 is a topological linear space let 7" be the topological dual space of all con- tinuous linear functions on T. If 7" = S, then a random linear functional over S defines a " weak distribution " on 7 in the sense of I. E. Segal [23]. See the discussion of "semimeasures" in §1 below for the relevant construction. A central question about an r.l.f. (Sa, P), supposing S is a topological linear space, is whether P gives outer measure 1 to S'. Then we call the r.l.f. canonical, and as is well known P can be restricted to S' suitably (cf. 2.3 below). For simplicity, suppose that for each s e S, j x(s)2 dP(x) <oo. Let C(s)(x) = x(s).
    [Show full text]
  • Arxiv:1612.01421V1 [Math.OA] 5 Dec 2016
    NUCLEARITY PROPERTIES AND C∗-ENVELOPES OF OPERATOR SYSTEM INDUCTIVE LIMITS PREETI LUTHRA AND AJAY KUMAR Abstract. We study the relationship between C∗-envelopes and inductive limit of operator systems. Various operator system nuclearity properties of inductive limit for a sequence of operator systems are also discussed. 1. Introduction In last few years, the development of the theory of operator systems has seen a fair amount of attention. All the important notions from the theory of C∗-algebras including exactness, nuclearity, weak expectation property and lifting properties have been explicitly defined in the category of operator systems. Associated to every representation φ of an operator system S into B(H), for some Hilbert Space H, there exist a C∗-cover the C∗-algebra C∗(φ(S)) ⊂ B(H). The minimal C∗-cover among all such representation is known as the C∗-envelope of S. It is thus quite natural to ask which C∗-algebraic properties of the C∗-envelopes are carried over to the generating operator systems in terms of their definitions in the operator system category, and to what extent. Some attempts done in this direction can be found in [5, 12]. It is well known (see [2]) that for the category of C∗-algebras, inductive limit pre- serves many intrinsic properties, viz., exactness, nuclearity, simplicity etc. The analysis of inductive limit of ascending sequences of finite dimensional C∗-algebras, known as approximately finite dimensional (AF) C∗-algebras, has played an im- portant role in theory of operator algebras. Existence of inductive limits in the category of operator systems has been shown in [10].
    [Show full text]
  • Bilinear Forms and Nuclearity
    Czechoslovak Mathematical Journal Hans Jarchow; Kamil John Bilinear forms and nuclearity Czechoslovak Mathematical Journal, Vol. 44 (1994), No. 2, 367–373 Persistent URL: http://dml.cz/dmlcz/128458 Terms of use: © Institute of Mathematics AS CR, 1994 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 44 (119) 1994, Praha BILINEAR FORMS AND NUCLEARITY H. JARCHOW, Zurich, and KAMIL JOHN, Praha (Received October 21, 1994) INTRODUCTION Back in 1965, A. Pietsch asked if a locally convex Hausdorff space (lcs) E must be nuclear whenever it has the property that every continuous bilinear form on E x E is nuclear (cf. [10], 7.4.5). The question remained open, even within the framework of Banach spaces where it translates to what is known as the "bounded non-nuclear operator problem": is a Banach space X necessarily finite-dimensional when all operators from X to its dual X* are nuclear? The related "compact non-nuclear operator problem" has a negative solution. In 1983, G. Pisier [12] constructed (separable, infinite-dimensional) Banach spaces P which, among others, have the property that every approximable operator P -> P is nuclear. In 1990, K. John [8] observed that this is also true for approximable operators p(m) -» p(n) for any choice of positive integers m and n; here p(m) is the ra-th dual of P.
    [Show full text]
  • Examples of Summing, Integral and Nuclear Operators on the Space C([0, 1],X)With Values in C0
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector J. Math. Anal. Appl. 331 (2007) 850–865 www.elsevier.com/locate/jmaa Examples of summing, integral and nuclear operators on the space C([0, 1],X)with values in c0 Dumitru Popa Department of Mathematics, University of Constanta, Bd. Mamaia 124, 8700 Constanta, Romania Received 16 January 2006 Available online 16 October 2006 Submitted by J. Diestel Abstract We give necessary and sufficient conditions that some operators on the space C([0, 1],X) with values in c0 be as in the title. Related questions are investigated. © 2006 Elsevier Inc. All rights reserved. Keywords: Banach spaces of continuous functions; Tensor products; Operator ideals; p-Summing operators 1. Introduction Let Ω be a compact Hausdorff space, let X be a Banach space, and let C(Ω,X) stand for the Banach space of continuous X-valued functions on Ω under the uniform norm and C(Ω) when X is the scalar field. It is well known that if Y is a Banach space, then any bounded linear operator U : C(Ω,X) → Y has a finitely additive vector measure G : Σ → L(X, Y ∗∗), where Σ is the σ -field of Borel subsets of Ω, such that ∗ ∗ ∗ y U(f)= fdGy∗ ,f∈ C(Ω,X), y ∈ Y . Ω The measure G is called the representing measure of U. For details, see [2, p. 217], [3, Theo- rem 2.2], [7, p. 182]. E-mail address: [email protected]. 0022-247X/$ – see front matter © 2006 Elsevier Inc.
    [Show full text]
  • Characterizations of Continuous Operators on with the Strict Topology
    Tusi Mathematical Ann. Funct. Anal. (2021) 12:28 Research https://doi.org/10.1007/s43034-021-00112-1 Group ORIGINAL PAPER Characterizations of continuous operators on Cb(X) with the strict topology Marian Nowak1 · Juliusz Stochmal2 Received: 2 September 2020 / Accepted: 7 January 2021 © The Author(s) 2021 Abstract C X Let X be a completely regular Hausdorf space and b( ) be the space of all bounded continuous functions on X, equipped with the strict topology . We study some ⋅ C X important classes of (, ‖ ‖E)-continuous linear operators from b( ) to a Banach E ⋅ space ( , ‖ ‖E) : -absolutely summing operators, compact operators and -nuclear operators. We characterize compact operators and -nuclear operators in terms of their representing measures. It is shown that dominated operators and -absolutely T C X → E summing operators ∶ b( ) coincide and if, in particular, E has the Radon– Nikodym property, then -absolutely summing operators and -nuclear operators coincide. We generalize the classical theorems of Pietsch, Tong and Uhl concern- ing the relationships between absolutely summing, dominated, nuclear and compact operators on the Banach space C(X), where X is a compact Hausdorf space. Keywords Spaces of bounded continuous functions · k-spaces · Radon vector measures · Strict topologies · Absolutely summing operators · Dominated operators · Nuclear operators · Compact operators · Generalized DF-spaces · Projective tensor product Mathematics Subject Classifcation 46G10 · 28A32 · 47B10 Communicated by Raymond Mortini. * Juliusz Stochmal [email protected] Marian Nowak [email protected] 1 Institute of Mathematics, University of Zielona Góra, ul. Szafrana 4A, 65-516 Zielona Gora, Poland 2 Institute of Mathematics, Kazimierz Wielki University, ul.
    [Show full text]
  • Arxiv:1807.08389V3 [Math.AP] 26 Jan 2019 Eegesae.Fuiritga Prtr Ilb Osdrdin Considered Be Will Operators Integral Fourier Spaces
    ON THE NUCLEAR TRACE OF FOURIER INTEGRAL OPERATORS IN Lp-SPACES DUVAN´ CARDONA Abstract. In this paper we provide characterizations for the nuclearity of Fourier integral operators on Rn, on the discrete group Zn, arbitrary compact Lie groups and compact homogeneous manifolds. We also investigate the nu- clear trace of these operators. MSC 2010. Primary 35S30; Secondary 58J40. Contents 1. Introduction 1 1.1. Outline of the paper 2 1.2. Nuclear Fourier integral operators 3 2. Symbol criteria for nuclear Fourier integral operators 5 2.1. Characterization of nuclear FIOs 5 2.2. The nuclear trace for FIOs on Rn 10 2.3. Characterization of nuclear pseudo-differential operators defined by the Weyl-H¨ormander quantization 11 3. Characterizations of Fourier integral operators on Zn and arbitrary compact Lie groups 13 3.1. FIOs on Zn 13 3.2. FIOs on compact Lie groups 16 4. Nuclear Fourier integral operators on compact homogeneous manifolds 20 4.1. Global FIOs on compact homogeneous manifolds 20 References 27 arXiv:1807.08389v3 [math.AP] 26 Jan 2019 1. Introduction In this paper we characterize the r-nuclearity of Fourier integral operators on Lebesgue spaces. Fourier integral operators will be considered in Rn, the discrete group Zn, the n-dimensional torus, arbitrary compact Lie groups and symmetric spaces (compact homogeneous manifolds). We also give formulae for the nuclear trace of these operators. Explicit examples will be given on Zn, the torus Tn, the special unitary group SU(2), and the projective complex plane CP2. Our main theorems will be applied to the characterization of r-nuclear pseudo-differential operators defined by the Weyl quantization procedure.
    [Show full text]
  • Nuclear Operators on Banach Function Spaces
    Positivity (2021) 25:801–818 https://doi.org/10.1007/s11117-020-00787-1 Positivity Nuclear operators on Banach function spaces Marian Nowak1 Received: 13 March 2020 / Accepted: 11 September 2020 / Published online: 6 October 2020 © The Author(s) 2020 Abstract Let X be a Banach space and E be a perfect Banach function space over a finite measure space (,,λ)such that L∞ ⊂ E ⊂ L1.LetE denote the Köthe dual of E and τ(E, E) stand for the natural Mackey topology on E. It is shown that every nuclear operator T : E → X between the locally convex space (E,τ(E, E)) and a Banach space X is Bochner representable. In particular, we obtain that a linear operator T : L∞ → X between the locally convex space (L∞,τ(L∞, L1)) and a Banach space X is nuclear if and only if its representing measure mT : → X has the Radon-Nikodym property and |mT |() =T nuc (= the nuclear norm of T ). As an application, it is shown that some natural kernel operators on L∞ are nuclear. Moreover, it is shown that every nuclear operator T : L∞ → X admits a factorization ϕ ϕ through some Orlicz space L , that is, T = S ◦ i∞, where S : L → X is a Bochner ∞ ϕ representable and compact operator and i∞ : L → L is the inclusion map. Keywords Banach function spaces · Mackey topologies · Mixed topologies · Vector measures · Nuclear operators · Bochner representable operators · Kernel operators · Radon–Nikodym property · Orlicz spaces · Orlicz-Bochner spaces Mathematics Subject Classification 47B38 · 47B10 · 46E30 1 Introduction and preliminaries We assume that (X, ·X ) is a real Banach space.
    [Show full text]
  • Approximation Properties Associated with Quasi-Normed Operator Ideals of (R, P, Q)-Nuclear Operators
    Approximation properties associated with quasi-normed operator ideals of (r; p; q)-nuclear operators Oleg Reinov Abstract. We consider quasi-normed tensor products lying between Lapreste tensor products and spaces of (r; p; q)-nuclear operators. We dene and investigate the corresponding approximation properties for Banach spaces. An intermediate aim is to answer a question of Sten Kaijser. ::: This is, essentially, a continuation of the author's paper [4] and the rst part of the work on the approximation properties connected with the quasi-normed ideals of so-called (r; p; q)-nuclear operators. 0. Notation, preliminaries Throughout, we denote by X; Y; : : : ; G; F; W : : : Banach spaces over a eld K (which is either R or C); X∗;Y ∗;::: are Banach dual to X; Y; : : : : By x; y; : : : ; x0;::: ∗ (maybe with indices) we denote elements of X; Y; : : : ; Y ::: respectively. πY : Y ! Y ∗∗ is a natural isometric imbedding. Notations n ≤ 1 are standard; lp; lp (0 < p ; n = 1; 2;::: ); c0 ek (k = 1; 2;::: ) is the k-th unit vector in lp or c0 (when we consider the unit vectors as the linear functionals, we use notation 0 ). We use for the identity map in ek idX X: It is denoted by F (X; Y ) a vector space of all linear continuous mappings from X to Y: By X ⊗ Y we denote the algebraic tensor product of the spaces X and Y: X ⊗ Y can be considered as a subspace of the vector space F (X∗;Y ) (namely, as a vector space of all linear weak∗-to-weak continuous nite rank operators).
    [Show full text]
  • New Examples of Weakly Compact Approximation in Banach Spaces
    Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 33, 2008, 429–438 NEW EXAMPLES OF WEAKLY COMPACT APPROXIMATION IN BANACH SPACES Eero Saksman and Hans-Olav Tylli University of Helsinki, Department of Mathematics and Statistics P.O. Box 68, FI-00014 University of Helsinki, Finland; eero.saksman@helsinki.fi University of Helsinki, Department of Mathematics and Statistics P.O. Box 68, FI-00014 University of Helsinki, Finland; [email protected].fi Abstract. The Banach space E has the weakly compact approximation property (W.A.P.) if there is C < 1 so that the identity map IE can be uniformly approximated on any weakly compact subset D ½ E by weakly compact operators V on E satisfying kV k · C. We show that the spaces N(`p; `q) of nuclear operators `p ! `q have the W.A.P. for 1 < q · p < 1, but that the Hardy space H1 does not have the W.A.P. 0. Introduction The Banach space E has the weakly compact approximation property (abbrevi- ated W.A.P.) if there is C < 1 so that for any weakly compact set D ½ E and " > 0 one finds a weakly compact operator V 2 W (E) satisfying (0:1) sup kx ¡ V xk < " and kV k · C: x2D Here V 2 W (E) if the image VBE of the closed unit ball BE of E is relatively weakly compact. This concept of weakly compact approximation is natural, but the resulting property differs completely from the classical bounded approximation properties defined in terms of finite rank or compact operators (for more about these properties see e.g.
    [Show full text]
  • Diagonal Operators on Spaces of Measurable Functions Mémoires De La S
    MÉMOIRES DE LA S. M. F. M. ORHON T. TERZIOGLU Diagonal operators on spaces of measurable functions Mémoires de la S. M. F., tome 31-32 (1972), p. 265-270 <http://www.numdam.org/item?id=MSMF_1972__31-32__265_0> © Mémoires de la S. M. F., 1972, tous droits réservés. L’accès aux archives de la revue « Mémoires de la S. M. F. » (http://smf. emath.fr/Publications/Memoires/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Colloque Anal. fonctionn. [l9Tl, Bordeaux] Bull. Soc. math. France, Memoire 31-32, 1972, p. 26 ^TO- DIAGONAL OPERATORS ON SPACES OF MEASURABLE FUNCTIONS ^y M. ORHON and T. TERZIOGLU 1. Introduction. We denote by L the set of equivalence classes of real-valued measurable functions on a fixed measure space (X , E , p) . L is an algebra with unit and a vector lattice "with respect to almost everywhere pointwise operations. The space of essentially bounded real-valued functions L = L (p) is a normed subalgebra of L and L is a module over L with respect to almost everywhere pointwise multiplication. A subspace M of L is a solid sublattice of L if and only if M is an L -submodule of L [U] . We will can an L -submodule M of L a lo- cally convex L -module if M is a locally convex vector space whose topology is given by a family of seminorms p satisfying p(af)^ |[ a|[^ p(f) aeL°° , f^ M .
    [Show full text]