Subnormal operator

Last updated

In mathematics, especially operator theory, subnormal operators are bounded operators on a Hilbert space defined by weakening the requirements for normal operators. [1] Some examples of subnormal operators are isometries and Toeplitz operators with analytic symbols.

Contents

Definition

Let H be a Hilbert space. A bounded operator A on H is said to be subnormal if A has a normal extension. In other words, A is subnormal if there exists a Hilbert space K such that H can be embedded in K and there exists a normal operator N of the form

for some bounded operators

Normality, quasinormality, and subnormality

Normal operators

Every normal operator is subnormal by definition, but the converse is not true in general. A simple class of examples can be obtained by weakening the properties of unitary operators. A unitary operator is an isometry with dense range. Consider now an isometry A whose range is not necessarily dense. A concrete example of such is the unilateral shift, which is not normal. But A is subnormal and this can be shown explicitly. Define an operator U on

by

Direct calculation shows that U is unitary, therefore a normal extension of A. The operator U is called the unitary dilation of the isometry A.

Quasinormal operators

An operator A is said to be quasinormal if A commutes with A*A. [2] A normal operator is thus quasinormal; the converse is not true. A counter example is given, as above, by the unilateral shift. Therefore, the family of normal operators is a proper subset of both quasinormal and subnormal operators. A natural question is how are the quasinormal and subnormal operators related.

We will show that a quasinormal operator is necessarily subnormal but not vice versa. Thus the normal operators is a proper subfamily of quasinormal operators, which in turn are contained by the subnormal operators. To argue the claim that a quasinormal operator is subnormal, recall the following property of quasinormal operators:

Fact: A bounded operator A is quasinormal if and only if in its polar decomposition A = UP, the partial isometry U and positive operator P commute. [3]

Given a quasinormal A, the idea is to construct dilations for U and P in a sufficiently nice way so everything commutes. Suppose for the moment that U is an isometry. Let V be the unitary dilation of U,

Define

The operator N = VQ is clearly an extension of A. We show it is a normal extension via direct calculation. Unitarity of V means

On the other hand,

Because UP = PU and P is self adjoint, we have U*P = PU* and DU*P = DU*P. Comparing entries then shows N is normal. This proves quasinormality implies subnormality.

For a counter example that shows the converse is not true, consider again the unilateral shift A. The operator B = A + s for some scalar s remains subnormal. But if B is quasinormal, a straightforward calculation shows that A*A = AA*, which is a contradiction.

Minimal normal extension

Non-uniqueness of normal extensions

Given a subnormal operator A, its normal extension B is not unique. For example, let A be the unilateral shift, on l2(N). One normal extension is the bilateral shift B on l2(Z) defined by

where ˆ denotes the zero-th position. B can be expressed in terms of the operator matrix

Another normal extension is given by the unitary dilation B' of A defined above:

whose action is described by

Minimality

Thus one is interested in the normal extension that is, in some sense, smallest. More precisely, a normal operator B acting on a Hilbert space K is said to be a minimal extension of a subnormal A if K' K is a reducing subspace of B and H K' , then K' = K. (A subspace is a reducing subspace of B if it is invariant under both B and B*.) [4]

One can show that if two operators B1 and B2 are minimal extensions on K1 and K2, respectively, then there exists a unitary operator

Also, the following intertwining relationship holds:

This can be shown constructively. Consider the set S consisting of vectors of the following form:

Let K' K1 be the subspace that is the closure of the linear span of S. By definition, K' is invariant under B1* and contains H. The normality of B1 and the assumption that H is invariant under B1 imply K' is invariant under B1. Therefore, K' = K1. The Hilbert space K2 can be identified in exactly the same way. Now we define the operator U as follows:

Because

, the operator U is unitary. Direct computation also shows (the assumption that both B1 and B2 are extensions of A are needed here)

When B1 and B2 are not assumed to be minimal, the same calculation shows that above claim holds verbatim with U being a partial isometry.

Related Research Articles

In quantum mechanics, the Hamiltonian of a system is an operator corresponding to the total energy of that system, including both kinetic energy and potential energy. Its spectrum, the system's energy spectrum or its set of energy eigenvalues, is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.

Symmetric matrix Matrix equal to its transpose

In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally,

Wave function Mathematical description of the quantum state of a system

A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements made on the system can be derived from it. The most common symbols for a wave function are the Greek letters ψ and Ψ.

In mathematics, a complex square matrix A is normal if it commutes with its conjugate transpose A*:

In mathematics, a self-adjoint operator on an infinite-dimensional complex vector space V with inner product is a linear map A that is its own adjoint. If V is finite-dimensional with a given orthonormal basis, this is equivalent to the condition that the matrix of A is a Hermitian matrix, i.e., equal to its conjugate transpose A. By the finite-dimensional spectral theorem, V has an orthonormal basis such that the matrix of A relative to this basis is a diagonal matrix with entries in the real numbers. In this article, we consider generalizations of this concept to operators on Hilbert spaces of arbitrary dimension.

In mathematics, especially functional analysis, a normal operator on a complex Hilbert space H is a continuous linear operator N : HH that commutes with its hermitian adjoint N*, that is: NN* = N*N.

The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space H. It is named after V. A. Fock who first introduced it in his 1932 paper "Konfigurationsraum und zweite Quantelung".

Jordan normal form Form of a matrix indicating its eigenvalues and their algebraic multiplicities

In linear algebra, a Jordan normal form, also known as a Jordan canonical form or JCF, is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to some basis. Such a matrix has each non-zero off-diagonal entry equal to 1, immediately above the main diagonal, and with identical diagonal entries to the left and below them.

In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces. It is a result of studies of linear algebra and the solutions of systems of linear equations and their generalizations. The theory is connected to that of analytic functions because the spectral properties of an operator are related to analytic functions of the spectral parameter.

Projection (linear algebra)

In linear algebra and functional analysis, a projection is a linear transformation from a vector space to itself such that . That is, whenever is applied twice to any value, it gives the same result as if it were applied once (idempotent). It leaves its image unchanged. Though abstract, this definition of "projection" formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on a geometrical object by examining the effect of the projection on points in the object.

In linear algebra and functional analysis, the min-max theorem, or variational theorem, or Courant–Fischer–Weyl min-max principle, is a result that gives a variational characterization of eigenvalues of compact Hermitian operators on Hilbert spaces. It can be viewed as the starting point of many results of similar nature.

In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis.

In functional analysis a partial isometry is a linear map between Hilbert spaces such that it is an isometry on the orthogonal complement of its kernel.

In mathematics, the polar decomposition of a square real or complex matrix is a factorization of the form , where is a unitary matrix and is a positive semi-definite Hermitian matrix, both square and of the same size.

In mathematics, particularly in operator theory, Wold decomposition or Wold–von Neumann decomposition, named after Herman Wold and John von Neumann, is a classification theorem for isometric linear operators on a given Hilbert space. It states that every isometry is a direct sum of copies of the unilateral shift and a unitary operator.

In operator theory, quasinormal operators is a class of bounded operators defined by weakening the requirements of a normal operator.

The Sz.-Nagy dilation theorem states that every contraction T on a Hilbert space H has a unitary dilation U to a Hilbert space K, containing H, with

In functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self-adjoint extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions of observables in quantum mechanics. Other applications of solutions to this problem can be seen in various moment problems.

In mathematics, the trigonometric moment problem is formulated as follows: given a finite sequence {α0, ... αn }, does there exist a positive Borel measure μ on the interval [0, 2π] such that

In mathematics, the Skorokhod integral, often denoted δ, is an operator of great importance in the theory of stochastic processes. It is named after the Ukrainian mathematician Anatoliy Skorokhod. Part of its importance is that it unifies several concepts:

References

  1. John B. Conway (1991), "11", The Theory of Subnormal Operators, American Mathematical Soc., p. 27, ISBN   978-0-8218-1536-6 , retrieved 15 June 2017
  2. John B. Conway (1991), "11", The Theory of Subnormal Operators, American Mathematical Soc., p. 29, ISBN   978-0-8218-1536-6 , retrieved 15 June 2017
  3. John B. Conway; Robert F. Olin (1977), A Functional Calculus for Subnormal Operators II, American Mathematical Soc., p. 51, ISBN   978-0-8218-2184-8 , retrieved 15 June 2017
  4. John B. Conway (1991), The Theory of Subnormal Operators, American Mathematical Soc., pp. 38–, ISBN   978-0-8218-1536-6 , retrieved 15 June 2017