Additional Notes on Adjoint and Unitary Operators

Total Page:16

File Type:pdf, Size:1020Kb

Additional Notes on Adjoint and Unitary Operators AMATH 731: Applied Functional Analysis Fall 2017 Additional notes on adjoint and unitary operators (to supplement Section 4.5 of the Course Notes) Just to recall the basic facts: Let H be a Hilbert space and L : H H a bounded linear operator. → Then there exists a bounded linear operator L∗ : H H such that → Lx,y = x,L∗y . (1) h i h i L∗ is the adjoint of L. Here are a few additional properties not listed in Section 4.3 of the Course Notes. The proofs are left as an exercise. L∗ is unique: If Lx,y = x,L∗y = x,L∗y for all x,y H, then L∗ = L∗. h i h 1 i h 2 i ∈ 1 2 I∗ = I, 0∗ = 0, (S + T )∗ = S∗ + T ∗, (αT )∗ = αT ∗, (ST )∗ = T ∗S∗. Some additional examples of adjoint operators 4. Multiplication operator on L2( , ): Consider the operator −∞ ∞ F : x(t) f(t)x(t), (2) → where f(t) B < for all t. (Note that we do not require that f L2. After all, multiplication of | |≤ ∞ ∈ x(t) by a constant k R is a special case.) Then F is a bounded linear operator with ∈ F = sup f(t) = f ∞. k k t∈R | | k k Now consider the following, ∞ ∞ Fx,y = f(t)x(t)y(t) dt = x(t)f(t)y(t) dt h i Z−∞ Z−∞ = x, F ∗y . h i This implies that the associated adjoint operator is given by F ∗ : y(t) f(t)y(t). (3) → 1 The condition that f(t) be strictly bounded may be replaced by the condition f(t) B < for | |≤ ∞ almost all t R. Then ∈ F = ess. sup. R f(t) = f , k k t∈ | | k k∞ where denotes the L∞ norm, i.e., f(t) f almost everywhere. k · k∞ | | ≤ k k∞ 5. An interesting example involving Volterra integral operators: Let I = [0, T ] and consider the linear operator K : C(I) C(I) defined as follows: y = Kx implies that → t y(t) = (Kx)(t)= k(t,s)x(s) ds. (4) Z0 In the usual case of the Volterra integral operator, k(t,s) needs only to be defined in the region s t, ≤ t [0, T ]. However, if we wish to define an adjoint operator, essentially replacing k(t,s) with k(s,t), ∈ we shall have to extend the definition of k. If we set k(t,s)=0 for s>t, then Eq. (4) becomes y(t)= k(t,s)x(s) ds. (5) ZI Then, according to Example 3 in the Course Notes, p. 67, the adjoint is given by T (K∗y)(t)= k(s,t)y(s) ds = k(s,t)y(s) ds. (6) ZI Zt Thus, the adjoint of a Volterra integral operator is also a Volterra integral operator. But if K depends on the “past” (i.e., y(t) = (Kx)(t) is determined by x(s) for 0 s t), then K∗ depends on the ≤ ≤ “future” (i.e., (K∗y(t) is determined by y(s) for t s T ). ≤ ≤ The Volterra operator in Eq. (4) is an example of a causal operator and the adjoint Volterra operator in Eq. (6) is an example of an anticausal operator. 6. Adjoint operators of (unbounded) differential operators: We take a little detour here and consider second-order (unbounded) differential operators on the linear subspace M of (piecewise) C2 functions u : [a, b] C satisfying the boundary conditions u(a)= u(b) = 0. In what follows, let g(x) → be a real-valued function. For an u M, define Lu as follows, ∈ (Lu)(x)= u′′(x)+ g(x)u(x). (7) For u, v M, consider the inner product ∈ b Lu, v = v(x)[u′′(x)+ g(x)u(x)] dx. (8) h i Za Integrating the first term by parts yields b b ′′ ′ b ′ ′ v(x)u (x) dx = v(x)u (x) a v (x)u (x) dx. (9) Za | − Za The endpoint terms vanish because of the boundary conditions. Another integration by parts yields b b ′ ′ ′′ b ′′ v (x)u (x) dx = v (x)u(x) a v (x)u(x) dx. (10) Za | − Za 2 Once again, the endpoint terms vanish because of the boundary conditions. Substitution of this result into (8) yields b Lu, v = [v′′(x)+ g(x)v(x)]u(x) dx = u, L∗v = u, Lv . (11) h i Za h i h i In other words, L∗ = L, implying that the differential operator L is self-adjoint. Note that the boundary conditions obeyed by functions in this space play an important role in making possible the self-adjointness of L. We shall see later that this self-adjointness property also applies to Sturm- Liouville differential operators. If the differential operator L on M contains a first order derivative, i.e., (Lu)(x)= a(x)u′′(x)+ b(x)u′(x)+ c(x)v(x), (12) where a, b, c are real-valued functions, then (Exercise) (L∗v)(x) = (a(x)v(x))′′ (b(x)v(x))′ + c(x)v(x). (13) − Invariant subspaces Definition 1 Let X be a vector space. If T : X X is a linear transformation and M is a linear → subspace of X such that T (M) M, then M is said to be invariant under T . ⊂ Example: Let X = L2( , ) and let I be an interval in R. Let −∞ ∞ M = x L2( , ) : x(t)=0 for t / I . (14) { ∈ −∞ ∞ ∈ } Then given the multiplication operator F defined in (4) above, F (M) M. ⊂ This idea of invariant subspaces is used to prove the following result: Theorem 1 If a bounded linear operator L is causal, then its adjoint L∗ is anticausal. Proof: See Naylor and Sell, p. 356. We present below some results that will be useful in future discussions in this course. Theorem 2 Let L be a bounded (therefore continuous) linear transformation of a Hilbert space H into itself. A closed linear subspace M of H is invariant under L if and only if M ⊥ is invariant under L∗. Proof: If M is invariant under L, then L(M) M. This means that x,Ly = 0 for all y M and ⊂ h i ∈ x M ⊥. But this means that L∗x,y = 0 for all y M and x M ⊥. Thus, L∗x M ⊥ for all ∈ h i ∈ ∈ ∈ x M ⊥, implying that L∗(M ⊥) M ⊥. If M ⊥ is invariant under L∗, the same type of argument ∈ ⊂ shows that M is invariant under L. Let H be a Hilbert space and L : H H a bounded linear operator. Recall the following definitions: → 3 1. Range of L: R(L)= Lx : x H , { ∈ } 2. Null space of L: N(L)= x H : Lx = 0 . { ∈ } The following theorem is presented as a problem in Problem Set 6 of the Course Notes. Theorem 3 Let H be a Hilbert space and L : H H a bounded linear operator with adjoint L∗. Let → N(L) and N(L∗) denote the null spaces of, respectively, L and L∗. Also let R(L) and R(L∗) denote the closures of the ranges of, respectively, L and L∗. Then R(L) = N(L∗)⊥ R(L∗) = N(L)⊥. (15) Unitary operators Definition 2 Let U : H H be a bounded linear operator on a Hilbert space H. Then U is said to → be isometric if Ux,Uy = x,y , for all x,y H. (16) h i h i ∈ If R(U)= H, then U is called a unitary operator. Theorem 4 Let U : H H be a bounded linear operator on a Hilbert space H. Then U is unitary → if and only if UU ∗ = U ∗U = I, i.e., U ∗ = U −1. Proof: If U is unitary, then U ∗Ux,y = Ux,Uy = x,y , h i h i h i for all x,y H. Therefore U ∗U = I. Similarly, UU ∗ = I. ∈ Now assume that U ∗U = I. Then x,y = U ∗Ux,y = Ux,Uy , h i h i h i for all x,y H, implying that U is unitary. ∈ Note: Setting x = y in Eq. (16) gives Ux 2 = x 2, implying that Ux = x , i.e., the operator k k k k k k k k norm of a unitary operator is 1. Examples: Delay or shift operator: Let H = L2( , ) and consider the delay or shift operator S : H H, −∞ ∞ τ → τ R, defined as ∈ (S x)(t)= x(t τ), for t ( , ). τ − ∈ −∞ ∞ −1 Note that Sτ has an inverse: Sτ = S−τ . Sτ is also a unitary operator, since ∞ ∞ Sτ x,Sτ y = y(t τ)x(t τ) dt = y(t)x(t) dt, (17) h i Z−∞ − − Z−∞ 4 for all x,y H. ∈ Note also that ∞ ∞ Sτ x,y = y(t)x(t τ) dt = y(t + τ)x(t) dt, (18) h i Z−∞ − Z−∞ for all x,y H. This implies that the adjoint of S is defined by ∈ τ (S∗y)(t)= y(t + τ), t ( , ). (19) τ ∈ −∞ ∞ Therefore, as expected (since Sτ was found to be unitary), ∗ −1 Sτ = S−τ = Sτ . (20) ∗ If we interpret Sτ , for τ > 0, as a causal operator, then Sτ is anticausal. Fourier transform on R: There are various definitions of the Fourier transform (depending upon the coefficients in front of the integrals and the sign of the exponents). Here we define the Fourier transform F (ω) of a function f L1(R) L2(R) as follows, ∈ ∩ 1 ∞ F (ω) = ( f)(ω)= e−iωxf(x) dx. (21) F √2π Z−∞ is a unitary mapping of L1(R) L2(R) onto itself.
Recommended publications
  • Volterra-Choquet Nonlinear Operators
    Volterra-Choquet nonlinear operators Sorin G. Gal Department of Mathematics and Computer Science, University of Oradea, Universitatii Street No.1, 410087, Oradea, Romania E-mail: [email protected] and Academy of Romanian Scientists, Splaiul Independentei nr. 54 050094 Bucharest, Romania Abstract In this paper we study to what extend some properties of the classical linear Volterra operators could be transferred to the nonlinear Volterra- Choquet operators, obtained by replacing the classical linear integral with respect to the Lebesgue measure, by the nonlinear Choquet integral with respect to a nonadditive set function. Compactness, Lipschitz and cyclic- ity properties are studied. MSC(2010): 47H30, 28A12, 28A25. Keywords and phrases: Choquet integral, monotone, submodular and continuous from below set function, Choquet Lp-space, distorted Lebesgue mea- sures, Volterra-Choquet nonlinear operator, compactness, Lipschitz properties, cyclicity. 1 Introduction Inspired by the electrostatic capacity, G. Choquet has introduced in [5] (see also arXiv:2003.00004v1 [math.CA] 28 Feb 2020 [6]) a concept of integral with respect to a non-additive set function which, in the case when the underlying set function is a σ-additive measure, coincides with the Lebesgue integral. Choquet integral is proved to be a powerful and useful tool in decision making under risk and uncertainty, finance, economics, insurance, pattern recognition, etc (see, e.g., [37] and [38] as well as the references therein). Many new interesting results were obtained as analogs in the framework of Choquet integral of certain known results for the Lebesgue integral. In this sense, we can mention here, for example, the contributions to function spaces theory in [4], to potential theory in [1], to approximation theory in [13]-[17] and to integral equations theory in [18], [19].
    [Show full text]
  • Functional Analysis Lecture Notes Chapter 2. Operators on Hilbert Spaces
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples First recall the basic definitions regarding operators. Definition 1.1 (Continuous and Bounded Operators). Let X, Y be normed linear spaces, and let L: X Y be a linear operator. ! (a) L is continuous at a point f X if f f in X implies Lf Lf in Y . 2 n ! n ! (b) L is continuous if it is continuous at every point, i.e., if fn f in X implies Lfn Lf in Y for every f. ! ! (c) L is bounded if there exists a finite K 0 such that ≥ f X; Lf K f : 8 2 k k ≤ k k Note that Lf is the norm of Lf in Y , while f is the norm of f in X. k k k k (d) The operator norm of L is L = sup Lf : k k kfk=1 k k (e) We let (X; Y ) denote the set of all bounded linear operators mapping X into Y , i.e., B (X; Y ) = L: X Y : L is bounded and linear : B f ! g If X = Y = X then we write (X) = (X; X). B B (f) If Y = F then we say that L is a functional. The set of all bounded linear functionals on X is the dual space of X, and is denoted X0 = (X; F) = L: X F : L is bounded and linear : B f ! g We saw in Chapter 1 that, for a linear operator, boundedness and continuity are equivalent.
    [Show full text]
  • THE SCHR¨ODINGER EQUATION AS a VOLTERRA PROBLEM a Thesis
    THE SCHRODINGER¨ EQUATION AS A VOLTERRA PROBLEM A Thesis by FERNANDO DANIEL MERA Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE May 2011 Major Subject: Mathematics THE SCHRODINGER¨ EQUATION AS A VOLTERRA PROBLEM A Thesis by FERNANDO DANIEL MERA Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Approved by: Chair of Committee, Stephen Fulling Committee Members, Peter Kuchment Christopher Pope Head of Department, Al Boggess May 2011 Major Subject: Mathematics iii ABSTRACT The Schr¨odingerEquation as a Volterra Problem. (May 2011) Fernando Daniel Mera, B.S., Texas A&M University Chair of Advisory Committee: Stephen Fulling The objective of the thesis is to treat the Schr¨odinger equation in parallel with a standard treatment of the heat equation. In the books of the Rubensteins and Kress, the heat equation initial value problem is converted into a Volterra integral equation of the second kind, and then the Picard algorithm is used to find the exact solution of the integral equation. Similarly, the Schr¨odingerequation boundary initial value problem can be turned into a Volterra integral equation. We follow the books of the Rubinsteins and Kress to show for the Schr¨odinger equation similar results to those for the heat equation. The thesis proves that the Schr¨odingerequation with a source function does indeed have a unique solution. The Poisson integral formula with the Schr¨odingerkernel is shown to hold in the Abel summable sense.
    [Show full text]
  • Spectral Properties of Volterra-Type Integral Operators on Fock–Sobolev Spaces
    J. Korean Math. Soc. 54 (2017), No. 6, pp. 1801{1816 https://doi.org/10.4134/JKMS.j160671 pISSN: 0304-9914 / eISSN: 2234-3008 SPECTRAL PROPERTIES OF VOLTERRA-TYPE INTEGRAL OPERATORS ON FOCK{SOBOLEV SPACES Tesfa Mengestie Abstract. We study some spectral properties of Volterra-type integral operators Vg and Ig with holomorphic symbol g on the Fock{Sobolev p p spaces F . We showed that Vg is bounded on F if and only if g m m is a complex polynomial of degree not exceeding two, while compactness of Vg is described by degree of g being not bigger than one. We also identified all those positive numbers p for which the operator Vg belongs to the Schatten Sp classes. Finally, we characterize the spectrum of Vg in terms of a closed disk of radius twice the coefficient of the highest degree term in a polynomial expansion of g. 1. Introduction The boundedness and compactness properties of integral operators stand among the very well studied objects in operator related function-theories. They have been studied for a broad class of operators on various spaces of holomor- phic functions including the Hardy spaces [1, 2, 18], Bergman spaces [19{21], Fock spaces [6, 7, 11, 13, 14, 16, 17], Dirichlet spaces [3, 9, 10], Model spaces [15], and logarithmic Bloch spaces [24]. Yet, they still constitute an active area of research because of their multifaceted implications. Typical examples of op- erators subjected to this phenomena are the Volterra-type integral operator Vg and its companion Ig, defined by Z z Z z 0 0 Vgf(z) = f(w)g (w)dw and Igf(z) = f (w)g(w)dw; 0 0 where g is a holomorphic symbol.
    [Show full text]
  • The Spectral Theorem for Self-Adjoint and Unitary Operators Michael Taylor Contents 1. Introduction 2. Functions of a Self-Adjoi
    The Spectral Theorem for Self-Adjoint and Unitary Operators Michael Taylor Contents 1. Introduction 2. Functions of a self-adjoint operator 3. Spectral theorem for bounded self-adjoint operators 4. Functions of unitary operators 5. Spectral theorem for unitary operators 6. Alternative approach 7. From Theorem 1.2 to Theorem 1.1 A. Spectral projections B. Unbounded self-adjoint operators C. Von Neumann's mean ergodic theorem 1 2 1. Introduction If H is a Hilbert space, a bounded linear operator A : H ! H (A 2 L(H)) has an adjoint A∗ : H ! H defined by (1.1) (Au; v) = (u; A∗v); u; v 2 H: We say A is self-adjoint if A = A∗. We say U 2 L(H) is unitary if U ∗ = U −1. More generally, if H is another Hilbert space, we say Φ 2 L(H; H) is unitary provided Φ is one-to-one and onto, and (Φu; Φv)H = (u; v)H , for all u; v 2 H. If dim H = n < 1, each self-adjoint A 2 L(H) has the property that H has an orthonormal basis of eigenvectors of A. The same holds for each unitary U 2 L(H). Proofs can be found in xx11{12, Chapter 2, of [T3]. Here, we aim to prove the following infinite dimensional variant of such a result, called the Spectral Theorem. Theorem 1.1. If A 2 L(H) is self-adjoint, there exists a measure space (X; F; µ), a unitary map Φ: H ! L2(X; µ), and a 2 L1(X; µ), such that (1.2) ΦAΦ−1f(x) = a(x)f(x); 8 f 2 L2(X; µ): Here, a is real valued, and kakL1 = kAk.
    [Show full text]
  • Linear Operators
    C H A P T E R 10 Linear Operators Recall that a linear transformation T ∞ L(V) of a vector space into itself is called a (linear) operator. In this chapter we shall elaborate somewhat on the theory of operators. In so doing, we will define several important types of operators, and we will also prove some important diagonalization theorems. Much of this material is directly useful in physics and engineering as well as in mathematics. While some of this chapter overlaps with Chapter 8, we assume that the reader has studied at least Section 8.1. 10.1 LINEAR FUNCTIONALS AND ADJOINTS Recall that in Theorem 9.3 we showed that for a finite-dimensional real inner product space V, the mapping u ’ Lu = Óu, Ô was an isomorphism of V onto V*. This mapping had the property that Lauv = Óau, vÔ = aÓu, vÔ = aLuv, and hence Lau = aLu for all u ∞ V and a ∞ ®. However, if V is a complex space with a Hermitian inner product, then Lauv = Óau, vÔ = a*Óu, vÔ = a*Luv, and hence Lau = a*Lu which is not even linear (this was the definition of an anti- linear (or conjugate linear) transformation given in Section 9.2). Fortunately, there is a closely related result that holds even for complex vector spaces. Let V be finite-dimensional over ç, and assume that V has an inner prod- uct Ó , Ô defined on it (this is just a positive definite Hermitian form on V). Thus for any X, Y ∞ V we have ÓX, YÔ ∞ ç.
    [Show full text]
  • Convergence of the Neumann Series for the Schrodinger Equation and General Volterra Equations in Banach Spaces
    Convergence of the Neumann series for the Schr¨odinger equation and general Volterra equations in Banach spaces Fernando D. Mera 1 1 Department of Mathematics, Texas A&M University, College Station, TX, 77843-3368 USA Abstract. The objective of the article is to treat the Schr¨odinger equation in parallel with a standard treatment of the heat equation. In the mathematics literature, the heat equation initial value problem is converted into a Volterra integral equation of the second kind, and then the Picard algorithm is used to find the exact solution of the integral equation. The Poisson Integral theorem shows that the Poisson integral formula with the Schr¨odinger kernel holds in the Abel summable sense. Furthermore, the Source Integral theorem provides the solution of the initial value problem for the nonhomogeneous Schr¨odinger equation. Folland’s proof of the Generalized Young’s inequality is used as a model for the proof of the Lp lemma. Basically the Generalized Young’s theorem is in a more general form where the functions take values in an arbitrary Banach space. The L1, Lp and the L∞ lemmas are inductively applied to the proofs of their respective Volterra theorems in order to prove that the Neumman series converge with respect to the topology Lp(I; B), where I is a finite time interval, B is an arbitrary Banach space, and 1 ≤ p ≤ ∞. The Picard method of successive approximations is to be used to construct an approximate solution which should approach the exact solution as n → ∞. To prove convergence, Volterra kernels are introduced in arbitrary Banach spaces.
    [Show full text]
  • 216 Section 6.1 Chapter 6 Hermitian, Orthogonal, And
    216 SECTION 6.1 CHAPTER 6 HERMITIAN, ORTHOGONAL, AND UNITARY OPERATORS In Chapter 4, we saw advantages in using bases consisting of eigenvectors of linear opera- tors in a number of applications. Chapter 5 illustrated the benefit of orthonormal bases. Unfortunately, eigenvectors of linear operators are not usually orthogonal, and vectors in an orthonormal basis are not likely to be eigenvectors of any pertinent linear operator. There are operators, however, for which eigenvectors are orthogonal, and hence it is possible to have a basis that is simultaneously orthonormal and consists of eigenvectors. This chapter introduces some of these operators. 6.1 Hermitian Operators § When the basis for an n-dimensional real, inner product space is orthonormal, the inner product of two vectors u and v can be calculated with formula 5.48. If v not only represents a vector, but also denotes its representation as a column matrix, we can write the inner product as the product of two matrices, one a row matrix and the other a column matrix, (u, v) = uT v. If A is an n n real matrix, the inner product of u and the vector Av is × (u, Av) = uT (Av) = (uT A)v = (AT u)T v = (AT u, v). (6.1) This result, (u, Av) = (AT u, v), (6.2) allows us to move the matrix A from the second term to the first term in the inner product, but it must be replaced by its transpose AT . A similar result can be derived for complex, inner product spaces. When A is a complex matrix, we can use equation 5.50 to write T T T (u, Av) = uT (Av) = (uT A)v = (AT u)T v = A u v = (A u, v).
    [Show full text]
  • Complex Inner Product Spaces
    Complex Inner Product Spaces A vector space V over the field C of complex numbers is called a (complex) inner product space if it is equipped with a pairing h, i : V × V → C which has the following properties: 1. (Sesqui-symmetry) For every v, w in V we have hw, vi = hv, wi. 2. (Linearity) For every u, v, w in V and a in C we have langleau + v, wi = ahu, wi + hv, wi. 3. (Positive definite-ness) For every v in V , we have hv, vi ≥ 0. Moreover, if hv, vi = 0, the v must be 0. Sometimes the third condition is replaced by the following weaker condition: 3’. (Non-degeneracy) For every v in V , there is a w in V so that hv, wi 6= 0. We will generally work with the stronger condition of positive definite-ness as is conventional. A basis f1, f2,... of V is called orthogonal if hfi, fji = 0 if i < j. An orthogonal basis of V is called an orthonormal (or unitary) basis if, in addition hfi, fii = 1. Given a linear transformation A : V → V and another linear transformation B : V → V , we say that B is the adjoint of A, if for all v, w in V , we have hAv, wi = hv, Bwi. By sesqui-symmetry we see that A is then the adjoint of B as well. Moreover, by positive definite-ness, we see that if A has an adjoint B, then this adjoint is unique. Note that, when V is infinite dimensional, we may not be able to find an adjoint for A! In case it does exist it is denoted as A∗.
    [Show full text]
  • Bounded Operators
    (April 3, 2019) 09a. Operators on Hilbert spaces Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ [This document is http:=/www.math.umn.edu/egarrett/m/real/notes 2018-19/09a-ops on Hsp.pdf] 1. Boundedness, continuity, operator norms 2. Adjoints 3. Stable subspaces and complements 4. Spectrum, eigenvalues 5. Generalities on spectra 6. Positive examples 7. Cautionary examples 8. Weyl's criterion for continuous spectrum 1. Boundedness, continuity, operator norms A linear (not necessarily continuous) map T : X ! Y from one Hilbert space to another is bounded if, for all " > 0, there is δ > 0 such that jT xjY < " for all x 2 X with jxjX < δ. [1.1] Proposition: For a linear, not necessarily continuous, map T : X ! Y of Hilbert spaces, the following three conditions are equivalent: (i) T is continuous (ii) T is continuous at 0 (iii) T is bounded 0 Proof: For T continuous as 0, given " > 0 and x 2 X, there is small enough δ > 0 such that jT x − 0jY < " 0 00 for jx − 0jX < δ. For jx − xjX < δ, using the linearity, 00 00 jT x − T xjX = jT (x − x) − 0jX < δ That is, continuity at 0 implies continuity. Since jxj = jx − 0j, continuity at 0 is immediately equivalent to boundedness. === [1.2] Definition: The kernel ker T of a linear (not necessarily continuous) linear map T : X ! Y from one Hilbert space to another is ker T = fx 2 X : T x = 0 2 Y g [1.3] Proposition: The kernel of a continuous linear map T : X ! Y is closed.
    [Show full text]
  • A Volterra-Type Integration Operator on Fock Spaces
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 12, December 2012, Pages 4247–4257 S 0002-9939(2012)11541-2 Article electronically published on April 18, 2012 A VOLTERRA-TYPE INTEGRATION OPERATOR ON FOCK SPACES OLIVIA CONSTANTIN (Communicated by Richard Rochberg) Abstract. We study certain spectral properties and the invariant subspaces for some classes of integration operators of Volterra type on the Fock space. 1. Introduction For analytic functions f,g we consider the Volterra-type integration operator given by z Tgf(z)= f(ζ)g (ζ) dζ. 0 The boundedness and compactness, as well as some spectral properties (such as Schatten class membership) of Tg acting on various spaces of analytic functions of the unit disc D in C have been extensively investigated (see [2, 6] for Hardy spaces, [3, 5, 8, 17, 19] for weighted Bergman spaces, and [9, 10] for Dirichlet spaces, or the surveys [1, 20] and the references therein). Furthermore, the spectrum of Tg on weighted Bergman spaces was recently characterized in [3]. p In this paper we consider the operator Tg acting on the Fock spaces F ,p>0 (here, the symbol g is an entire function with g(0) = 0). Recall that, for p>0, the Fock space F p consists of entire functions f for which 1 | |2 p p − z p fp = f(z)e 2 dA(z) < ∞. 2π C The boundedness and compactness of Tg follow by classical methods, and we include a sketch of their proofs in Section 3 for the sake of completeness. It turns out that, p q if p ≤ q, Tg : F →F is bounded if and only if the symbol g is a polynomial of degree ≤ 2, while the necessary and sufficient condition for compactness is: g is a polynomial of degree ≤ 1.
    [Show full text]
  • Is to Understand Some of the Interesting Properties of the Evolution Operator, We Need to Say a Few Things About Unitary Operat
    Appendix 5: Unitary Operators, the Evolution Operator, the Schrödinger and the Heisenberg Pictures, and Wigner’s Formula A5.1 Unitary Operators, the Evolution Operator In ordinary 3-dimensional space, there are operators, such as an operator that simply rotates vectors, which alter ordinary vectors while preserving their lengths. Unitary operators do much the same thing in n-dimensional complex spaces.1 Let us start with some definitions. Given an operator (matrix) A, its inverse A-1 is such that AA-1 = A-1A = I .2 (A5.1.1) An operator (matrix) U is unitary if its inverse is equal to its Hermitian conjugate (its adjoint), so that U -1 = U + , (A5.1.2) and therefore UU + = U +U = I. (A5.1.3) Since the evolution operator U(t,t0 ) and TDSE do the same thing, U(t,t0 ) must preserve normalization and therefore unsurprisingly it can be shown that the evolution operator is unitary. Moreover, + -1 U(tn ,ti )= U (ti,tn )= U (ti,tn ). (A5.1.4) In addition, U(tn ,t1)= U(tn ,tn-1)U(tn-1,tn-2 )× × ×U(t2,t1), (A5.1.5) 1 As we know, the state vector is normalized (has length one), and stays normalized. Hence, the only way for it to undergo linear change is to rotate in n-dimensional space. 2 It is worth noticing that a matrix has an inverse if and only if its determinant is different from zero. 413 that is, the evolution operator for the system’s transition in the interval tn - t1 is equal to the product of the evolution operators in the intermediate intervals.
    [Show full text]