Holomorphic functional calculus

In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function "ƒ" of a complex argument "z" and an operator "T", the aim is to construct an operator

:$f(T),$

which in a sense extends the function "ƒ" from complex argument to operator argument.

This article will discuss the case where "T" is a bounded linear operator on some Banach space. In particular, "T" can be a square matrix with complex entries, a case which will be used to illustrate functional calculus and provide some heuristic insights for the assumptions involved in the general construction.

Motivation

Need for a general functional calculus

In this section "T" will be assumed to be a "n" × "n" matrix with complex entries.

If a given function "ƒ" is of certain special type, there are natural ways of defining "ƒ"("T"). For instance, if

:$p(z)=\; sum\_\{i=0\}^m\; a\_i\; z^i$

is a complex polynomial, one can simply substitute "T" for "z" and define

:$p(T)\; =\; sum\_\{i=0\}^m\; a\_i\; T^i$

where "T"⁰ = "I", the identity matrix. This is the polynomial functional calculus. It is a homomorphism from the ring of polynomials to the ring of "n" × "n" matrices.

Extending slightly from the polynomials, if

:$f:\{mathbb\; C\}\; ightarrow\; \{mathbb\; C\}$

is holomorphic everywhere, i.e. an entire function, with MacLaurin series

:$f(z)=\; sum\_\{i=0\}^\{infty\}\; a\_i\; z^i,$

mimicking the polynomial case suggests we define

:$f(T)=\; sum\_\{i=0\}^\{infty\}\; a\_i\; T^i.$

Since the MacLaurin series converges everywhere, the above series will converge, in a chosen operator norm. An example of this is the exponential of a matrix. Replacing "z" by "T" in the MacLaurin series of "f"("z") = "e^z" gives

:$f(T)\; =\; e^T\; =\; I+T+frac\{T^2\}\{2!\}+frac\{T^3\}\{3!\}+cdots.$

The requirement that the MacLaurin series of "ƒ" converges everywhere can be relaxed somewhat. From above it is evident that all that is really needed is the radius of convergence of the MacLaurin series be greater than

:$|\; T\; |,$

the operator norm of "T". This enlarges somewhat the family of "f" for which "ƒ"("T") can be defined using the above approach. However it is not quite satisfactory. For instance, it is a fact from matrix theory that every non-singular "T" has a logarithm "S" in the sense that

:$e^S\; =\; T.,$

It is desirable to have a functional calculus that allows one to define, for a non-singular "T",

:$ln\; (T),$

such that it coincides with "S". This can not be done via power series. For example, the logarithmic series

:$ln(z+1)\; =\; z\; -\; frac\{z^2\}\{2\}\; +\; frac\{z^3\}\{3\}\; -\; cdots$

converges only on the open unit disk. Substituting "T" for "z" in the series fails to give a well-defined ln ("T" + "I") for any invertible "T + I" with

:$|\; T\; |\; geq\; 1.,$

Thus a more general functional calculus is needed.

Functional calculus and the spectrum

It is expected that a necessary condition for "ƒ"("T") to make sense is "ƒ" be defined on the spectrum of "T". For example, the spectral theorem for normal matrices states every normal matrix is unitarily diagonalizable. There leads to a definition of "ƒ"("T") when "T" is normal. One encounters difficulties if "ƒ"("λ") is not defined for some eigenvalue "λ" of "T".

Other indications also reinforce the idea that "ƒ"("T") can be defined only if "ƒ" is defined on the spectrum of "T". If "T" is not invertible, then 0 is an eigenvalue. Since the natural logarithm is undefined at 0, one would expect that ln("T") can not be defined naturally. This is indeed the case. As another example, for

:$f(z)=frac\{1\}\{(z-2)(z-5)\}$

the reasonable way of calculating $f(T)$ would seem to be

:$f(T)=(T-2I)^\{-1\}(T-5I)^\{-1\}.,$

However, this expression is not defined if the inverses on the right-hand side do not exist, that is, if either 2 or 5 are eigenvalues of "T".

For a given matrix "T", the eigenvalues of "T" dictates to what extent "ƒ"("T") can be defined; "ƒ"("λ") must be defined for all eigenvalue "λ" of "T". For a general bounded operator this condition translates to "ƒ" must be defined on the spectrum of "T". This assumption turns out to be an enabling condition such that the functional calculus map

:$f\; ightarrow\; f(T),$

has certain desirable properties.

Functional calculus for a bounded operator

Let "X" be a complex Banach space, and "L"("X") denote the family of bounded operators on "X".

Recall the Cauchy integral formula from classical function theory. Let

:$f\; colon\; mathbb\{C\}\; ightarrow\; mathbb\{C\}$

be holomorphic on some open subset "D" in the complex plane, and $Gamma$ be a rectifiable Jordan curve in "D", that is, a closed curve of finite length without self-intersections. Cauchy's integral formula states

:$f(z)=frac\{1\}\{2pi\; i\}intlimits\_\{Gamma\}^\{\}!\; frac\{f(zeta)\}\{zeta-z\},dzeta$

for any "z" lying in the "inside" of "Γ", i.e. the winding number of "Γ" about "z" is 1.

The idea is to extend this formula to functions taking values in the Banach space "L"("X"). Cauchy's integral formula suggests the definition, purely formal at the moment,

:$f(T)=frac\{1\}\{2pi\; i\}intlimits\_\{Gamma\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta.$

where ("ζ" - T)^-1 is the resolvent of T at "ζ".

Assuming this Banach space-valued integral is appropriately defined, this proposed functional calculus implies the following necessary conditions:

#As the scalar version of Cauchy's integral formula applies to holomorphic "f", we anticipate that is also the case for the Banach space case, where there should be a suitable notions of holomorphy for functions taking value in the Banach space "L"("X").
#As the resolvent mapping "ζ" → ("ζ" - T)^-1 is undefined on the spectrum of "T", "σ"("T"), the Jordan curve "Γ" should not intersect "σ"("T"). Furthermore, the resolvent mapping is holomorphic on the complement of "σ"("T"). So, to obtain a non-trivial functional calculus, "Γ" must enclose, at least part of, "σ"("T").
#The functional calculus should be well-defined in the sense that "f"("T") is independent of "Γ".

The full definition of the functional calculus is as follows: For "T" ∈ "L"("X"), define

:$f(T)=frac\{1\}\{2pi\; i\}intlimits\_\{Gamma\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta.$

where "f" is a holomorphic function defined on an open set "D" in the complex plane which contains "σ"("T"), and

:$Gamma\; =\; \{\; gamma\_i\; \}\_\{i\; =1\}^m$

is a collection of Jordan curves in "D" such that "σ"("T") lies in the inside of "Γ", and each "γ_i" is oriented in the positive sense.

The open set "D" may vary with "ƒ" and need not be connected, as shown by the figures on the right.

The following subsections make precise the notions invoked in the definition and show "ƒ"("T") is indeed well defined under given assumptions.

Banach space-valued integral

:"Cf. Bochner integral"

For a continuous function "g" defined in an open neighborhood of "Γ" and taking values in "L"("X"), the contour integral ∫"_Γg" is defined in the same way as the scalar case. One can parametrize each "γ_i" ∈ "Γ" by a real interval ["a", "b"] , and the integral is the limit of the Riemann sums obtained from ever-finer partitions of ["a", "b"] . The Riemann sums converge in the uniform operator topology. We define

:$int\_\{Gamma\}\; g\; =\; sum\_i\; int\_\{gamma\_i\}\; g.$

In the definition of the functional calculus, "ƒ" is assumed to be holomorphic in an open neighborhood of "Γ". It will be shown below that the resolvent mapping is holomorphic on the resolvent set. Therefore the integral

:$frac\{1\}\{2pi\; i\}intlimits\_\{Gamma\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta$

makes sense.

The resolvent mapping

The mapping

:$zeta\; o\; (zeta-T)^\{-1\}$

is called the resolvent mapping of "T". It is defined on the complement of "σ"("T"), called the resolvent set of "T" and will be denoted by "ρ"("T").

Much of classical function theory depends on the properties of the integral

:$frac\{1\}\{2pi\; i\}intlimits\_\{Gamma\}^\{\}!\; (zeta-z)^\{-1\},dzeta.$

The holomorphic functional calculus is similar in that the resolvent mapping plays a crucial role in obtaining properties one require from a nice functional calculus. This subsection outlines properties of the resolvent map that are essential in this context.

A resolvent formula

Direct calculation shows, for "z"₁, "z₂" ∈ "ρ"("T"),

:$(z\_1\; -\; T)^\{-1\}\; -\; (z\_2\; -\; T)^\{-1\}\; =\; (z\_1\; -\; T)^\{-1\}\; (z\_2\; -\; z\_1)\; (z\_2\; -\; T)^\{-1\}.,$

Therefore

:$(z\_1\; -\; T)^\{-1\}\; (z\_2\; -\; T)^\{-1\}\; =\; frac\{(z\_1\; -\; T)^\{-1\}\; -\; (z\_2\; -\; T)^\{-1\}\; \}\{(z\_2\; -\; z\_1)\}.$

This equation is called the first resolvent formula. The formula shows ("z"₁ − "T")⁻¹ and ("z"₂ "T")⁻¹ commute, which hints at the fact that the image of the functional calculus will be a commutative algebra. Letting "z"₂ → "z"₁ shows the resolvent map is (complex-) differentiable at each "z"₁ ∈ "ρ"("T"); so the integral in the expression of functional calculus converges in "L"("X").

Holomorphy

Stronger statement than differentiability can be made regarding the resolvent map. The resolvent set "ρ"("T") is actually an open set on which the resolvent map is holomorphic. This property will be used in subsequent arguments for the functional calculus. To verify this claim, let "z₁" ∈ "ρ"("T") and notice the formal expression

:$frac\{1\}\{z\_2\; -\; T\}\; =\; frac\{1\}\{z\_1\; -\; T\}\; cdot\; frac\{1\}\{1\; -\; frac\{z\_1\; -\; z\_2\}\{z\_1\; -T$

suggests we consider

:$(z\_1\; -\; T)^\{-1\}\; sum\; \_\{n\; geq\; 0\}\; ((z\_1\; -\; z\_2)\; (z\_1\; -\; T)^\{-1\})^n$

for ("z"₂ − "T")⁻¹. The above series converges in "L"("X"), which implies the existence of ("z"₂ − "T")⁻¹, if

:

Therefore the resolvent set "ρ"("T") is open and the power series expression on an open disk centered at "z"₁ ∈ "ρ"("T") shows the resolvent map is holomorphic on "ρ"("T").

Neumann series

Another expression for ("z" − "T")⁻¹ will also be useful. The formal expression

:$frac\{1\}\{z\; -\; T\}\; =\; frac\{1\}\{z\}\; cdot\; frac\{1\}\{1\; -\; frac\{T\}\{z$

leads one to consider

:$frac\{1\}\{z\}\; sum\; \_\{n\; geq\; 0\}\; left(frac\{T\}\{z\}\; ight)^n.$

This series, the "Neumann series", converges to ("z" − "T")⁻¹ if

:

Compactness of "σ"("T")

From the last two properties of the resolvent we can deduce that the spectrum "σ"("T") of a bounded operator "T" is a compact subset of the complex plane. Therefore for any open set "D" such that "σ"("T") ⊂ "D", there exists a positively-oriented and smooth system of Jordan curves

:$Gamma\; =\; \{\; gamma\_1,\; dots,\; gamma\_m\}$

such that "σ"("T") is in the inside of "Γ" and the complement of "D" is contained in the outside of "Γ". Hence, for the definition of the functional calculus, indeed a suitable family of Jordan curves can be found for each "f" that is holomorphic on some "D".

Well-definedness

The previous discussion has shown that the integral makes sense, i.e. a suitable collection "Γ" of Jordan curves does exist for each "f" and the integral does converge in the appropriate sense. What has not been shown is that the definition of the functional calculus is unambiguous, i.e. does not depend on the choice of "Γ". This issue we now try to resolve.

A preliminary fact

For a collection of Jordan curves "Γ" = {"γ"₁... "γ"_m} and a point "a" in the complex plane C, the winding number of "Γ" with respect to "a" is the sum of the winding numbers of its elements. In symbols we put "n"("Γ", "a") = ∑_"i" "n"("γ_i", "a"). The following theorem is by Cauchy:

Theorem Let "G" ⊂ C be an open set and "Γ" ⊂ "G". If "g": C → C be holomorphic on "G", and for all "a" in the complement of "G", "n"("Γ", "a") = 0, then the contour integral ∫_"Γ" "g" = 0.

We will need the vector-valued analog of this result when "g" takes values in "L"("X"). To this end, let "g": "G" → "L"("X") be holomorphic, with the same assumptions on "Γ". The idea is use the dual space "L"("X")* of "L"("X"), and pass to Cauchy's theorem for the scalar case.

Consider the integral ∫_"Γ" "g" ∈ "L"("X"). If we can show, for all "φ" ∈ "L"("X")*, "φ" (∫_"Γ" "g") = 0, then the claim, that ∫_"Γ" "g" = 0, follows. By boundedness of "φ" and the fact that the integral converges in norm,

:$phi\; (int\_\{Gamma\}\; g)\; =\; int\_\{Gamma\}\; phi(g).,$

But "g" is holomorphic implies the composition "φ"("g"): "G" ⊂ C → C is holomorphic . So by Cauchy's theorem

:$phi\; (int\_\{Gamma\}\; g)\; =\; int\_\{Gamma\}\; phi(g)\; =\; 0.,$

Main argument

The well-definedness of functional calculus now follows as an easy consequence. Let "D" be an open set containing "σ"("T"). Suppose "Γ" = {"γ_i"} and "Ω" = {"ω_j"} be two (finite) collections of Jordan curves satisfying the assumption given for the functional calculus. We wish to show

:$intlimits\_\{Gamma\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; =\; intlimits\_\{Omega\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; .$

Let "Ω"' be obtained from "Ω" by reversing the orientation of each "ω_j", then

:$intlimits\_\{Omega\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; =\; -\; intlimits\_\{Omega\text{'}\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta.$

Consider the union of the two collections "Γ" ∪ "Ω' ". Both "Γ" ∪ "Ω' " and "σ"("T") are compact. So there is some open set "U" containing "Γ" ∪ "Ω' " such that "σ"("T") lies in the complement of "U". Any "a" in the complement of "U" has winding number "n"("Γ" ∪ "Ω"', "a") = 0 and the function

:$zeta\; ightarrow\; f(zeta)\; (zeta-T)^\{-1\}$

is holomorphic on "U". So the vector-valued version of Cauchy's theorem gives

:$intlimits\_\{Gamma\; cup\; ;\; Omega\text{'}\; \}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; =\; 0$

i.e.

:$intlimits\_\{Gamma\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; +\; intlimits\_\{Omega\text{'}\; \}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; =\; intlimits\_\{Gamma\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; -\; intlimits\_\{Omega\}^\{\}!\; f(zeta)\; (zeta-T)^\{-1\},dzeta\; =\; 0.$

Hence the functional calculus is well-defined.

Consequently, if "f"₁ and "f"₂ are two holomorphic functions defined on corresponding neighborhoods "D"₁ and "D"₂ of "σ"("T") and they are equal on an open set containing "σ"("T"), then "f"₁("T") = "f"₂("T"). Moreover, even though the "D"₁ may not be "D"₂, the operator ("f"₁ + "f"₂) ("T") is well-defined. Same holds for the definition of ("f"₁·"f"₂)("T").

On the assumption that "f" be holomorphic over an open neighborhood of "σ"("T")

It should perhaps be noted that so far the full strength of this assumption has not been utilized. For convergence of the integral, only continuity was used. For well-definedness, we only needed "f" be holomorphic on some open set "U" containing the contours "Γ" ∪ "Ω' " but not "σ"("T"). The assumption will be applied in its entirety for showing the homomorphism property of the functional calculus.

Properties

Polynomial case

The linearity of the map

:$f\; ightarrow\; f(T)$

follows from the convergence of the integral and that linear operations on a Banach space are continuous.

We recover the polynomial functional calculus when "f"("z") = ∑_{0 ≤ "i" ≤ "m"} "a_i zⁱ" is a polynomial. To prove this, it is sufficient to show, for "k" ≥ 0 and "f"("z") = "z^k", it is true that "f"("T") = "T^k", i.e.

:$frac\{1\}\{2\; pi\; i\}\; int\_\{Gamma\}\; zeta\; ^k\; (\; zeta\; -\; T)^\{-1\}\; d\; zeta\; =\; T^k$

for any suitable "Γ" enclosing "σ"("T"). Choose "Γ" to be a circle of radius greater than the operator norm of "T". As stated above, on such "Γ", the resolvent map admits a power series representation

:$(\; z\; -\; T)^\{-1\}\; =\; frac\{1\}\{z\}\; sum\_\{n\; geq\; 0\}\; (\; frac\{T\}\{z\}\; )^n.$

Substituting gives

:$f\; (T)\; =\; frac\{1\}\{2\; pi\; i\}\; int\_\{Gamma\}\; sum\_\{n\; geq\; 0\}\; (\; frac\{T^n\}\{zeta^\{n+1-k\; )\; d\; zeta$

, which is

:$sum\_\{n\; geq\; 0\}\; T^n\; cdot\; frac\{1\}\{2\; pi\; i\}\; int\_\{Gamma\}\; (\; frac\{1\}\{zeta^\{n+1-k\; )\; d\; zeta\; =\; sum\_\{n\; geq\; 0\}\; T^n\; cdot\; delta\_\{nk\}\; =\; T^k.$

The "δ" is the Kronecker delta symbol.

The homomorphism property

For any "ƒ"₁ and "ƒ"₂ satisfying the appropriate assumptions, the homomorphism property states

:$f\_1\; (T)\; f\_2(T)\; =\; (f\_1\; cdot\; f\_2)(T).,$

We sketch an argument which invokes the first resolvent formula and the assumptions placed on "ƒ". Start by calculating directly

:$f\_1\; (T)\; f\_2(T)\; =\; frac\{1\}\{(2\; pi\; i)^2\}\; int\; \_\{Gamma\_1\}\; f\_1\; (zeta)\; (zeta\; -\; T)^\{-1\}\; d\; zeta\; cdot\; int\; \_\{Gamma\_2\}\; f\_2\; (omega)\; (omega\; -\; T)^\{-1\},\; d\; omega,$where the Jordan curves are chosen such that "Γ"₁ lies in the "inside" of "Γ"₂. The reason for this will be clearly shortly. The above expression is equal to

:$frac\{1\}\{(2\; pi\; i)^2\}\; int\; \_\{Gamma\_1\}\; int\; \_\{Gamma\_2\}\; f\_1\; (zeta)\; f\_2\; (omega)\; cdot\; (zeta\; -\; T)^\{-1\}\; (omega\; -\; T)^\{-1\}\; ;\; d\; omega\; ,\; d\; zeta.$

After applying the first resolvent formula, this becomes

:$frac\{1\}\{(2\; pi\; i)^2\}\; int\; \_\{Gamma\_1\}\; int\; \_\{Gamma\_2\}\; f\_1\; (zeta)\; f\_2\; (omega)\; cdot\; frac\{(zeta\; -\; T)^\{-1\}\; -\; (omega\; -\; T)^\{-1\{omega\; -\; zeta\}\; ;\; d\; omega\; ,\; d\; zeta$

:$=\; frac\{1\}\{(2\; pi\; i)^2\}\; int\; \_\{Gamma\_1\}\; f\_1\; (zeta)\; (zeta\; -\; T)^\{-1\}\; ;\; left\; [int\_\{Gamma\_2\}frac\{f\_2(omega)\}\{omega\; -\; zeta\}\; domega\; ight]\; ;\; d\; zeta\; -\; frac\{1\}\{\; (2\; pi\; i)\; ^2\}int\; \_\{Gamma\_2\}\; f\_2\; (omega)\; (omega\; -\; T)\; ^\{-1\}\; ;\; left\; [int\_\{Gamma\_1\}frac\{f\_1(zeta)\}\{omega\; -\; zeta\}\; ,dzeta\; ight]\; ;\; d\; omega.$

But the second term from above vanishes because "ω" ∈ "Γ"₂ is in the outside of "Γ"₁ and because "ƒ"₁ "is holomorphic on some open neighborhood of σ"("T").

Thus,

:$f\_1\; (T)\; f\_2\; (T)=\; frac\{1\}\{2\; pi\; i\}\; int\; \_\{Gamma\_1\}\; f\_1\; (zeta)\; (zeta\; -\; T)^\{-1\}\; ;\; left\; [frac\{1\}\{2\; pi\; i\}int\_\{Gamma\_2\}frac\{f\_2(omega)\}\{omega\; -\; zeta\}\; ,domega\; ight]\; ;\; d\; zeta\; .$

For the same reason as above,

:$frac\{1\}\{2\; pi\; i\}int\_\{Gamma\_2\}frac\{f\_2(omega)\}\{omega\; -\; zeta\}\; domega\; =\; f\_2(zeta).$

Therefore

:$f\_1\; (T)\; f\_2\; (T)=\; frac\{1\}\{2\; pi\; i\}\; int\; \_\{Gamma\_1\}\; f\_1\; (zeta)\; f\_2\; (zeta)(zeta\; -\; T)^\{-1\}\; d\; zeta\; =\; (f\_1\; cdot\; f\_2)(T).$

Continuity with respect to compact convergence

Let "G" ⊂ C be open with "σ"("T") ⊂ "G". Suppose a sequence {"f_k"} of holomorphic functions on "G" converges uniformly on compact subsets of "G" (this is sometimes called "compact convergence"). Then {"f_k"("T")} is convergent in "L"("X"):

Assume for simplicity that "Γ" consists of only one Jordan curve. We estimate

:$|\; f\_k(T)\; -\; f\_l(T)\; |\; =\; frac\{1\}\{2\; pi\}\; |int\_\{Gamma\}\; (f\_k\; -\; f\_l)(zeta)\; (zeta\; -\; T)^\{-1\}\; d\; zeta\; |$

:$leq\; frac\{1\}\{2\; pi\}\; int\_\{Gamma\}\; |(f\_k\; -\; f\_l)(zeta)|\; cdot\; |\; (zeta\; -\; T)^\{-1\}\; |\; d\; zeta.$

By combining the uniform convergence assumption and various continuity considerations, we see that the above tends to 0 as "k", "l" → ∞. So {"f_k"("T")} is Cauchy, therefore convergent.

Uniqueness

To summarize, we have shown the holomorphic functional calculus

:$f\; ightarrow\; f(T)$

has the following properties:

# It extends the polynomial functional calculus.
# It is an algebra homomorphism from the algebra of holomorphic functions defined on a neighborhood of "σ"("T") to "L"("X")
# It preserves uniform convergence on compact sets.

It can be proved that a calculus satisfying the above properties is unique.

We note that, everything discussed so far holds verbatim if the family of bounded operators "L"("X") is replaced by a Banach algebra "A". The functional calculus can be defined in exactly the same way for an element in "A".

Spectral considerations

The above demonstrates the intimate relationship between the holomorphic functional calculus of a given "T" ∈ "L"("X") and "σ"("T"). This is true in general. Under more restrictive assumptions, the spectral theorem for bounded normal operators (see below) can be reformulated in terms of a functional calculus. This section sketches some results in this direction.

Spectral mapping theorem

It is known that the spectral mapping theorem holds for the polynomial functional calculus: for any polynomial "p", "σ"("p"("T")) = "p"("σ"("T")). This can be extended to the holomorphic calculus. To show "f"("σ"("T")) ⊂ "σ"("f"("T")), let "μ" be any complex number. By a result from complex analysis, there exists a function "g" holomorphic on a neighborhood of "σ"("T") such that

:$f(z)\; -\; f(mu)\; =\; (z\; -\; mu)g(z).\; ,$

According to the homomorphism property, "f"("T") - "f"("μ") = ("T" - "μ")"g"(T). Therefore "μ" ∈ "σ"("T") implies "f"("μ") ∈ "σ"("f"("T")).

For the other inclusion, if "μ" is not in "f"("σ"("T")), then the functional calculus is applicable to

:$g(z)\; =\; frac\{1\}\{f(z)\; -\; mu\}.$

So "g"("T")("f"("T") - "μ") = "I". Therefore "μ" does not lie in "σ"("f"("T")).

Invariant subspace decomposition

"If" the spectrum "σ"("T") is not connected, "X" can be decomposed into invariant subspaces of "T" using the functional calculus. Let "σ"("T") be a disjoint union

:

Define "e_i" to be 1 on some neighborhood that contains only the component "F_i" and 0 elsewhere. By the homomorphism property, "e_i"("T") is a projection for all "i". The relation "e_i"("T") "T" = "T e_i"("T") means the range of each "e_i"("T"), denoted by "X_i", is an invariant subspace of "T". Since

:$sum\_i\; e\_i(T)\; =\; I,,$

"X" can be expressed in terms of these complementary subspaces:

:$X\; =\; sum\_i\; X\_i.,$

Similarly, if "T_i" is "T" restricted to "X_i", then

:$T\; =\; sum\_i\; T\_i.,$

Consider the direct sum

:

With the norm

:

"X' " is a Banach space. The mapping "R": "X' " → "X" defined by

:

is a Banach space isomorphism, and we see that

:

This can be viewed as a block diagonalization of "T".

When X is finite dimensional, "σ"("T") = {"λ_i"} is a finite set of points in the complex plane. Choose "e_i" to be 1 on an open disc containing only "λ_i" from the spectrum. The corresponding block-diagonal matrix

:

is the Jordan canonical form of "T".

Related results

With stronger assumptions, when "T" is a normal operator acting on a Hilbert space, the domain of the functional calculus can be broadened. When comparing the two results, a rough analogy can be made with the relationship between the spectral theorem for normal matrices and the Jordan canonical form. When "T" is a normal operator, a continuous functional calculus can be obtained, that is, one can evaluate "f"("T") with "f" being a continuous function defined on "σ"("T"). Using the machinery of measure theory, this can be extended to functions which are only measurable (see Borel functional calculus). In that context, if "E" ⊂ "σ"("T") is a Borel set and "E"("x") is the characteristic function of "E", the projection operator "E"("T") is a refinement of "e_i"("T") discussed above.

The Borel functional calculus extends to unbounded self-adjoint operators on a Hilbert space.

In slightly more abstract language, the holomorphic functional calculus can be extended to any element of a Banach algebra, using essentially the same arguments as above. Simiarly, the continuous functional calculus holds for normal elements in any C*-algebra and the measurable functional calculus for normal elements in any von Neumann algebra.

Unbounded operators

A holomorphic functional calculus can be defined in a similar fashion for unbounded closed operators with non-empty resolvent set.

ee also

* Resolvent formalism

* Jordan canonical form, where the finite dimensional case is discussed in some detail.

References

* N. Dunford and J.T. Schwartz, "Linear Operators, Part I: General Theory", Interscience, 1958.
* Steven G Krantz. "Dictionary of Algebra, Arithmetic, and Trigonometry". CRC Press, 2000. ISBN 1-58488-052-X.