Borel functional calculus
In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad scope.^{1}^{2} Thus for instance if T is an operator, applying the squaring function s → s^{2} to T yields the operator T^{2}. Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator −Δ or the exponential
The 'scope' here means the kind of function of an operator which is allowed. The Borel functional calculus is more general than the continuous functional calculus.
More precisely, the Borel functional calculus allows us to apply an arbitrary Borel function to a selfadjoint operator, in a way which generalizes applying a polynomial function.
Contents
Motivation
If T is a selfadjoint operator on a finitedimensional inner product space H, H has an orthonormal basis
consisting of eigenvectors of T, that is
Thus, for any positive integer n,
In this case, given a Borel function h, we can define an operator h(T) by specifying its behavior on the basis:
In general, any selfadjoint operator T is unitarily equivalent to a multiplication operator; this means that for many purposes, T can be considered as an operator
acting on L^{2} of some measure space. The domain of T consists of those functions for which the above expression is in L^{2}. In this case, we can define analogously
For many technical purposes, the preceding formulation is good enough. However, it is desirable to formulate the functional calculus in a way in which it is clear that it does not depend on the particular representation of T as a multiplication operator. This we do in the next section.
The bounded functional calculus
Formally, the bounded Borel functional calculus of a self adjoint operator T on Hilbert space H is a mapping defined on the space of bounded complexvalued Borel functions f on the real line,
such that the following conditions hold
 π_{T} is an involution preserving and unitpreserving homomorphism from the ring of complexvalued bounded measurable functions on R.
 If ξ is an element of H, then
 is a countably additive measure on the Borel sets of R. In the above formula 1_{E} denotes the indicator function of E. These measures ν_{ξ} are called the spectral measures of T.
 where η denotes the mapping z → z on C.
Theorem. Any selfadjoint operator T has a unique Borel functional calculus.
This defines the functional calculus for bounded functions applied to possibly unbounded selfadjoint operators. Using the bounded functional calculus, one can prove part of the Stone's theorem on oneparameter unitary groups:
Theorem. If A is a selfadjoint operator, then
is a 1parameter strongly continuous unitary group whose infinitesimal generator is i A.
As an application, we consider the Schrödinger equation, or equivalently, the dynamics of a quantum mechanical system. In nonrelativistic quantum mechanics, the Hamiltonian operator H models the total energy observable of a quantum mechanical system S. The unitary group generated by i H corresponds to the time evolution of S.
We can also use the Borel functional calculus to abstractly solve some linear initial value problems such as the heat equation, or Maxwell's equations.
Existence of a functional calculus
The existence of a mapping with the properties of a functional calculus requires proof. For the case of a bounded selfadjoint operator T, the existence of a Borel functional calculus can be shown in an elementary way as follows:
First pass from polynomial to continuous functional calculus by using the StoneWeierstrass theorem. The crucial fact here is that, for a bounded self adjoint operator T and a polynomial p,
Consequently, the mapping
is an isometry and a densely defined homomorphism on the ring of polynomial functions. Extending by continuity defines f(T) for a continuous function f on the spectrum of T. The RieszMarkov theorem then allows us to pass from integration on continuous functions to spectral measures, and this is the Borel functional calculus.
Alternatively, the continuous calculus can be obtained via the Gelfand transform, in the context of commutative Banach algebras. Extending to measurable functions is achieved by applying RieszMarkov, as above. In this formulation, T can be a normal operator.
Given an operator T, the range of the continuous functional calculus h → h(T) is the (abelian) C*algebra C(T) generated by T. The Borel functional calculus has a larger range, that is the closure of C(T) in the weak operator topology, a (still abelian) von Neumann algebra.
The general functional calculus
We can also define the functional calculus for not necessarily bounded Borel functions h; the result is an operator which in general fails to be bounded. Using the multiplication by a function f model of a selfadjoint operator given by the spectral theorem, this is multiplication by the composition of h with f.
Theorem. Let T be a selfadjoint operator on H, h a realvalued Borel function on R. There is a unique operator S such that
The operator S of the previous theorem is denoted h(T).
More generally, a Borel functional calculus also exists for (bounded) normal operators.
Resolution of the identity
Let T be a selfadjoint operator. If E is a Borel subset of R, and 1_{E} is the indicator function of E, then 1_{E}(T) is a selfadjoint projection on H. Then mapping
is a projectionvalued measure called the resolution of the identity for the self adjoint operator T. The measure of R with respect to Ω is the identity operator on H. In other words, the identity operator can be expressed as the spectral integral . Sometimes the term "resolution of the identity" is also used to describe this representation of the identity operator as a spectral integral.
In the case of a discrete measure (in particular, when H is finitedimensional), can be written as
in the Dirac notation, where each is a normalized eigenvector of T. The set is an orthonormal basis of H.
In physics literature, using the above as heuristic, one passes to the case when the spectral measure is no longer discrete and write the resolution of identity as
and speak of a "continuous basis", or "continuum of basis states", Mathematically, unless rigorous justifications are given, this expression is purely formal.
References
 ^ Kadison, Richard V.; Ringrose, John R. (1997). Fundamentals of the Theory of Operator Algebras: Vol 1. Amer Mathematical Society. ISBN 0821808192.
 ^ Reed, Michael; Simon, Barry (1981). Methods of Modern Mathematical Physics. Academic Press. ISBN 0125850506.

HPTS  Area Progetti  EduSoft  JavaEdu  N.Saperi  Ass.Scuola..  TS BCTV  TS VideoRes  TSODP  TRTWE  