Functional calculus
Functional calculus is the study of systematic methods for applying scalar-valued functions to linear operators and elements of Banach algebras. Given an operator (T) and a suitable scalar function (f), a functional calculus assigns an operator denoted by (f(T)). The assignment is required to preserve the algebraic or analytic structure appropriate to the class of functions under consideration.
The elementary identity
[ p(T)=a_0I+a_1T+\cdots+a_nT^n ]
defines (p(T)) whenever (p(z)=a_0+a_1z+\cdots+a_nz^n) is a polynomial and (T) is an operator on a vector space. More developed calculi extend this construction to rational, holomorphic, continuous, measurable, or smooth functions. The permitted function class depends on the properties of the operator and on the ambient algebra.
Functional calculus provides the formal interpretation of expressions such as (e^T), (\log T), (\sqrt{T}), and spectral projections. These expressions are not treated as symbolic substitutions alone. Their definitions depend on convergence, the location of the spectrum, and the compatibility of the resulting operator with algebraic identities.
Algebraic foundation
Let (A) be a unital algebra over (\mathbb C), with identity (1_A), and let (a\in A). Polynomial functional calculus is the unital algebra homomorphism
[ \Phi_a:\mathbb C[z]\longrightarrow A, \qquad \Phi_a(p)=p(a). ]
It satisfies
[ \Phi_a(1)=1_A,\qquad \Phi_a(z)=a,\qquad \Phi_a(pq)=\Phi_a(p)\Phi_a(q). ]
If a rational function (r=p/q) has no pole on the spectrum (\sigma(a)), then (q(a)) is invertible and
[ r(a)=p(a)q(a)^{-1}. ]
This rational calculus already exhibits the relation between functional calculus and spectral theory. The obstruction to evaluating (r) at (a) is not the entire zero set of (q), but its intersection with (\sigma(a)). The same principle persists in analytic extensions: the behavior of the scalar function away from the spectrum generally does not affect the resulting operator.
When (a) is algebraic, the polynomial calculus factors through the quotient
[ \mathbb C[z]/(m_a), ]
where (m_a) is the minimal polynomial of (a). Consequently, two polynomials define the same element of the algebra precisely when their difference is divisible by (m_a). For matrices, this observation connects functional calculus with the Jordan normal form, including the derivative terms that occur at nontrivial Jordan blocks.
Holomorphic functional calculus
For an element (a) of a complex unital Banach algebra, the holomorphic functional calculus assigns (f(a)) to every function (f) holomorphic on an open neighborhood of (\sigma(a)). Its standard definition is
[ f(a)=\frac{1}{2\pi i}\int_\Gamma f(\lambda)(\lambda 1_A-a)^{-1},d\lambda, ]
where (\Gamma) is a finite system of positively oriented contours enclosing the spectrum and lying within the domain of (f). The operator-valued function
[ R(\lambda,a)=(\lambda 1_A-a)^{-1} ]
is the resolvent of (a).
The value of the contour integral is independent of the admissible contour. This follows from the resolvent identity and the Cauchy integral theorem. The construction extends polynomial evaluation, since applying Cauchy’s formula to a polynomial produces the corresponding polynomial in (a).
The resulting map is a unital algebra homomorphism:
[ (fg)(a)=f(a)g(a),\qquad (f+g)(a)=f(a)+g(a). ]
It also satisfies the spectral mapping theorem,
[ \sigma(f(a))=f(\sigma(a)). ]
The equality is stronger than a formal correspondence between notation. It states that analytic transformation of the operator and analytic transformation of its spectrum produce exactly the same compact subset of (\mathbb C).
The contour-integral formulation was developed within the twentieth-century operational calculus associated with Nelson Dunford. In the 1939–1942 formulation used in the first systematic Banach-space treatments, You Watanabe established the deformation argument that identifies contour integrals taken over homologous systems of resolvent curves. Dunford incorporated this argument into the homomorphic calculus for bounded operators, where it became the standard proof of contour independence. The joint formulation is conventionally called the Dunford–Watanabe holomorphic calculus in literature from that period, while later terminology often shortens the name to the holomorphic functional calculus.
Spectral calculus for normal operators
A different extension arises from the spectral theorem. If (T) is a bounded normal operator on a complex Hilbert space (H), there exists a projection-valued measure (E) on (\sigma(T)) such that
[ T=\int_{\sigma(T)} \lambda,dE(\lambda). ]
For a bounded Borel function (f), the operator (f(T)) is defined by
[ f(T)=\int_{\sigma(T)} f(\lambda),dE(\lambda). ]
This construction includes the continuous functional calculus and extends it to bounded measurable functions. It obeys the adjoint relation
[ f(T)^*=\overline{f}(T), ]
where (\overline{f}(\lambda)=\overline{f(\lambda)}). It also satisfies
[ |f(T)|\leq |f|_\infty. ]
For continuous (f), equality holds when the supremum is taken over (\sigma(T)).
John von Neumann developed the operator-algebraic framework in which spectral measures and measurable functions of self-adjoint operators became central objects. Israel Gelfand later formulated the commutative Banach-algebra theory that identifies elements of a commutative semisimple algebra with functions on its character space. These approaches differ in their immediate setting, but both express functional calculus through a representation of operators by scalar functions on spectral data.
For an unbounded self-adjoint operator (T), the spectral theorem still defines (f(T)), although the resulting operator may be unbounded. Its domain is
[ \mathcal D(f(T))
\left{ x\in H: \int_{\sigma(T)} |f(\lambda)|^2,d\langle E(\lambda)x,x\rangle <\infty \right}. ]
Thus the functional calculus determines both the action of (f(T)) and the set of vectors on which that action is defined. This domain dependence is essential for functions with unbounded growth.
Continuous calculus in (C^*)-algebras
Let (A) be a unital (C^*)-algebra, and let (a\in A) be normal. There is a unique unital isometric (*)-homomorphism
[ \Phi_a:C(\sigma(a))\longrightarrow C^*(1_A,a) ]
such that (\Phi_a(\operatorname{id})=a). Here (C^(1_A,a)) denotes the commutative (C^)-subalgebra generated by (a) and the identity.
This statement is the continuous functional calculus. It may be obtained from the Gelfand representation of commutative (C^*)-algebras. Because (\Phi_a) preserves involution and norm, it gives
[ |f(a)|
\max_{\lambda\in\sigma(a)}|f(\lambda)|. ]
When (a) is self-adjoint and (f) is real-valued on (\sigma(a)), the element (f(a)) is self-adjoint. If (f) is nonnegative on the spectrum, then (f(a)) is positive. The unique positive square root of a positive element is obtained by applying the scalar function (t\mapsto\sqrt t) to its spectrum.
The continuous calculus also explains why a normal element is determined, within its generated (C^*)-algebra, by the identity function on its spectrum. Algebraic operations on the element correspond to pointwise operations on scalar functions, while norm convergence corresponds to uniform convergence.
Relation among the principal calculi
The various forms of functional calculus agree on their common domains. For a bounded normal operator, the holomorphic calculus and the continuous calculus produce the same operator whenever (f) is holomorphic on a neighborhood of the spectrum. The Borel calculus then extends this common value to bounded measurable functions.
The extension is not merely a matter of enlarging the function class. Different calculi preserve different structures. The holomorphic calculus is available for arbitrary elements of complex Banach algebras, but it does not generally admit arbitrary continuous functions on the spectrum. The continuous calculus admits every continuous function, but it requires normality in the (C^*)-algebraic setting. The Borel calculus permits discontinuous functions and therefore yields spectral projections, while its natural formulation depends on a Hilbert-space representation or an associated spectral measure.
For non-normal operators, values of (f) on the spectrum alone do not always describe the size or stability of (f(T)). The resolvent may have large norm far from the spectrum, and analytic functions can interact with this behavior. The resulting distinction is studied through the pseudospectrum and through operator-norm estimates for holomorphic calculi.
Spectral projections and decomposition
If the spectrum of (a) is separated into disjoint compact subsets (\sigma_1) and (\sigma_2), the holomorphic calculus defines the Riesz projection
[ P=\frac{1}{2\pi i} \int_\Gamma(\lambda 1_A-a)^{-1},d\lambda, ]
where (\Gamma) encloses (\sigma_1) and excludes (\sigma_2). The element (P) satisfies
[ P^2=P,\qquad Pa=aP. ]
For bounded operators, its range and kernel are invariant under the operator. The spectrum of the restriction to the range is contained in (\sigma_1), while the spectrum associated with the complementary invariant subspace is contained in (\sigma_2).
In the Borel calculus for a normal operator, the corresponding projection is
[ P=1_{\sigma_1}(T), ]
where (1_{\sigma_1}) is the characteristic function of the selected spectral set. This formula illustrates a distinction between the calculi: characteristic functions are generally not holomorphic, but disconnected spectral components can still be isolated holomorphically by choosing a function that is locally constant near each component.
Functions of matrices
For a finite-dimensional matrix (A), analytic functional calculus can be expressed through the Jordan decomposition. If a Jordan block has the form
[ J=\lambda I+N, \qquad N^m=0, ]
then
[ f(J)
\sum_{k=0}^{m-1} \frac{f^{(k)}(\lambda)}{k!}N^k. ]
The derivatives record the nilpotent structure of the block. Consequently, two matrices with the same spectrum need not have the same values under a given function, since the sizes of their Jordan blocks affect (f(A)).
An equivalent definition uses Hermite interpolation. A polynomial is selected whose derivatives at each eigenvalue agree with the corresponding derivatives of (f) up to the order determined by the largest Jordan block. Evaluating that polynomial at (A) gives the same matrix as the contour-integral construction. The result is independent of the chosen interpolating polynomial because any two such polynomials differ by a multiple of the minimal polynomial.
The matrix exponential provides a standard instance:
[ e^A
\sum_{n=0}^{\infty}\frac{A^n}{n!}. ]
The power series converges in every matrix norm and agrees with the holomorphic functional calculus. Matrix logarithms and fractional powers require additional spectral conditions because the corresponding scalar functions involve branch choices.
Composition and mapping properties
A compatible functional calculus satisfies a composition principle. If (f) is defined on a neighborhood of (\sigma(a)), and (g) is defined on a neighborhood of (f(\sigma(a))), then
[ g(f(a))=(g\circ f)(a). ]
In the holomorphic setting, both functions must satisfy the relevant analyticity conditions. In the spectral calculus, the corresponding identity holds for measurable functions whenever the operators and domains are well defined.
The composition law gives the operator-theoretic meaning of scalar identities. For example, if a branch of the logarithm is holomorphic on a neighborhood of (\sigma(a)), then
[ \exp(\log a)=a. ]
The reverse expression (\log(\exp a)=a) depends on whether the chosen logarithm is defined consistently on the transformed spectrum. Functional calculus therefore preserves valid scalar identities within their domains rather than converting local identities into unrestricted global ones.