This page is about unbounded linear operators on Hilbert spaces. For operators on Hilbert spaces, “bounded” and “continuous” are synonymous, so the first question to be answered is: Why consider unbounded, i.e., discontinuous operators in a category that is a subcategory of Top? The reason is simple: It is forced upon us both by applications, such as quantum mechanics, and by the fact that simple and useful operators like differentiation are not bounded. Happily, in most applications the operators considered retain some sort of “limit property”, namely the property of being “closed”. Although that seems to be negligible compared to continuity, it allows the development of a rich and useful theory, and as a consequence there is a tremendous amount of literature devoted to this subject.
One way of dealing with unbounded operators is via affiliated operators, see there.
Let be the Hilbert space , and let be the differentiation operator defined on the dense subspace of Schwartz functions by . One might hope has a continuous extension to all of , but consider the sequence for . Then we have , so is unbounded.
Note that the domain of definition of an unbounded operator will generally be given only on a dense subspace, as in this example. Indeed, the existence of unbounded operators defined everywhere (on a Hilbert space) is non-constructive, relying on the Hahn–Banach theorem and refutable in dream mathematics.
After the definition we will look at some concepts that can be transferred from the bounded context here.
Finally we give some counterexamples, i.e., phenomena that contradict the intuition built from bounded operators here.
An unbounded operator on a Hilbert space is a linear operator defined on a subspace of . is necessarily a linear submanifold. Usually one assumes that is dense in , which we will do, too, unless we indicate otherwise.
In particular every bounded operator is an unbounded operator (red herring principle).
Unbounded operators are not defined on the whole Hilbert space, so it is essential that, when talking about a specific unbounded operator, we are actually talking about the pair of an operator together with its domain . In particular two unbounded operators are equal iff their domains are equal, , and for all we have .
If the domain is not specified, the default definition of the domain of a given operator is simply .
Warning: if one composes two unbounded operators and , it may happen that . If we insist that all our unbounded operators are densely defined, we need as an additional assumption that is dense to make sense of the composite .
For the definition of symmetric see below.
The Hellinger-Toeplitz theorem is a no-go theorem for quantum mechanics. Since it is known that operators essential for quantum mechanics are both symmetric and unbounded, we are led to conclude that they cannot be everywhere defined. This means that the problems that accompany only densely defined operators cannot be avoided.
This is a corollary to the closed graph theorem III.2 in the book
Recall that the graph of an operator (or any function, in general) is the subset . The graph of a given operator need not be closed (in the product topology of ). The notion that will be a surrogate for continuity is “closable”, defined as follows:
Definition: Given an operator T with domain , any operator with larger domain that is equal to on is called an extension of T, we write .
Definition: An operator is closed if its graph is closed.
Definition: An operator is closable if it has a closed extension. The smallest such extension is called the closure of and is denoted by .
Proposition (closure of graph is graph of closure): If an operator is closable, then the closure of its graph is the graph of an operator, and this operator is its closure.
The last part deserves some elaboration: Given an operator , we can always form the closure of its graph . How can the closure not be the graph of an operator? Given a sequence in , such that both limits and exist, we have that is in the closure of . Now it may happen that there is another point in the closure with , which implies that the closure cannot be the graph of a single valued function.
We may assume without loss of generality that , so that we get as a characterisation of closability: if exists, then . It were continuous, we would not have to assume that is convergent, so this additional assumption tells us in what respect closability is weaker than continuity.
We let be the adjoint of an operator . Note that for an only densly defined , the domain of the adjoint may be strictly larger.
The difference of being symmetric and being selfadjoint is crucial, although there is a famous anecdote that seems to indicate otherwise:
Nevertheless theorems that assume an operator to be selfadjoint will be not applicable to an operator that is only symmetric. One example is the spectral theorem.
The definition of the resolvent does not pose any problems compared to the bounded case:
Definition: let be a closed operator on a Hilbert space . A complex number is in the resolvent set if is a bijection of and with bounded inverse. The inverse operator is called the resolvent of at .
Theorem: The resolvent set is an open subset of on which the resolvent is an analytic operator valued function. Resolvents at different points commute and we have
The proof can be done as in the bounded case.
The concept of commuting operators, which is of no problem in the bounded case, presents a conceptual difficulty in the unbounded one: for given operators we would like to be able to say whether they commute, although their composite may not have dense domain. For selfadjoint operators there is a solution to this problem: We know that in the bounded case, two selfadjoint operators commute iff their spectral projections commute. This suggests the
The spectral theorem shows that all bounded Borel functions of two commuting operators will also commute.
The following theorem states the reverse for two of the most important functions and shows that the definition of commutation above is reasonable:
(a) and commute
(b) if and are , then and commute, as it is defined for bounded operators:
(c) for all we have
A strongly continuous one-parameter semigroup is an unitary representation of on where is seen as a topological group with respect to multiplication, see topological group. An explicit definition recalling these concepts is this:
In the following a semigroup will be understood to be a one-parameter unitary strongly continuous semigroup.
In physics, one-parameter semigroups of this kind often represent the time evolution of a physical system described by an evolution equation.
Theorem: a selft adjoint operator generates a semigroup via
Theorem (Stone’s theorem): let be a semigroup, then there is a selfadjoint operator such that . This operator is often called the infinitesimal generator of .
These two theorems are essential for the Schrödinger picture of quantum mechanics, which describes a system by the Schrödinger equation, we have now a one-to-one correspondence of selfadjoint operators which can be seen as Hamilton operators (only special operators will be seen as describing actual physical systems, of course), and semigroups which describe the time evolution generated by the Hamilton operator.
As a trivial observation we add that Stone’s theorem is a (huge) generalization of the Taylor series, let that is (real) analytical in a neighborhood of , then we get for small enough:
This shows that the operator generates the semigroup of translations on the real line. Now we could, for example, use Stone’s theorem to prove that is selfadjoint by proving that the translation group is strongly continous.
(This rather generic title will have to be revised.)
Nelson’s example shows that the rather involved definition of commutativity of two unbounded operators is well motivated, because a more naive one will have unwanted consequences. It is a counteraxample to the following conjecture:
We have alredy seen that on we can define two essentially selfadjoint operators and that generate translations along the x-axis and the y-axis respectivly. Both the generated translations and the operators commute (the latter if applied to differentiable functions, of course).
The central idea of Nelson’s counterexample is to replace by a Riemann surface with two sheets, such that walking east, then walking north takes you to one sheet, while walking north then walking east takes you to the other sheet.
We use the Riemann surface of . We give a brief exposition of it’s construction: Take two copies of , two “sheets”, let them call I and II. Cut both along , label the edge of the first quadrant along the cut as and the edge of the fourth quadrant . Then attach the edge of I with the of II and vice versa.
Let with respect to Lebesgue measure. As indicated in the idea-section we define A = and B = , this is with respect to the canonical chart on each sheet that projects it onto and then identifies with .
Let be the set of all smooth functions with compact support not containing . Then:
(a) and are essentially selfadjoint on
(b) and map onto
(c) for all we have
(d) and do not commute.
Only part (a) needs further explanation
Chapter VIII of the following classic volume is devoted to unbounded operators:
Nelson’s example is taken from the above reference, the original reference is this: