View source for Functional calculus

{{Short description|Theory allowing one to apply mathematical functions to mathematical operators}}
In [[Mathematics|mathematics]], a '''functional calculus''' is a theory allowing one to apply mathematical functions to mathematical operators. It is now a branch (more accurately, several related areas) of the field of [[Functional analysis|functional analysis]], connected with [[Spectral theory|spectral theory]]. (Historically, the term was also used synonymously with [[Calculus of variations|calculus of variations]]; this usage is obsolete, except for [[Functional derivative|functional derivative]]. Sometimes it is used in relation to types of functional equations, or in logic for systems of [[Philosophy:Predicate calculus|predicate calculus]].)

If <math> f </math> is a function, say a numerical function of a [[Real number|real number]], and <math> M </math> is an operator, there is no particular reason why the expression <math> f(M) </math> should make sense. If it does, then we are no longer using <math> f </math> on its original function domain. In the tradition of [[Operational calculus|operational calculus]], algebraic expressions in operators are handled irrespective of their meaning.  This passes nearly unnoticed if we talk about 'squaring a matrix', though, which is the case of <math> f(x) = x^2 </math> and <math> M </math> an <math> n\times n </math> [[Matrix (mathematics)|matrix]]. The idea of a functional calculus is to create a ''principled'' approach to this kind of overloading of the notation.

The most immediate case is to apply [[Polynomial function|polynomial function]]s to a [[Square matrix|square matrix]], extending what has just been discussed. In the finite-dimensional case, the polynomial functional calculus yields quite a bit of information about the operator. For example, consider the family of polynomials which annihilates an operator <math> T </math>. This family is an [[Ideal (ring theory)|ideal]] in the ring of polynomials. Furthermore, it is a nontrivial ideal: let <math> n </math> be the finite dimension of the algebra of matrices, then <math> \{I, T, T^2, \ldots, T^n \} </math> is linearly dependent. So <math> \sum_{i=0}^n \alpha_i T^i = 0 </math> for some scalars <math> \alpha_i </math>, not all equal to 0. This implies that the polynomial <math> \sum_{i=0}^n \alpha_i x^i </math> lies in the ideal. Since the ring of polynomials is a [[Principal ideal domain|principal ideal domain]], this ideal is generated by some polynomial <math> m </math>. Multiplying by a unit if necessary, we can choose <math> m </math> to be monic. When this is done, the polynomial <math> m </math> is precisely the [[Minimal polynomial (linear algebra)|minimal polynomial]] of <math> T </math>. This polynomial gives deep information about <math> T </math>. For instance, a scalar <math> \alpha </math> is an eigenvalue of <math> T </math> if and only if <math> \alpha </math> is a root of <math> m </math>. Also, sometimes <math> m </math> can be used to calculate the [[Exponential function|exponential]] of <math> T </math> efficiently.

The polynomial calculus is not as informative in the infinite-dimensional case. Consider the unilateral shift with the polynomials calculus; the ideal defined above is now trivial. Thus one is interested in functional calculi more general than polynomials. The subject is closely linked to [[Spectral theory|spectral theory]], since for a [[Diagonal matrix|diagonal matrix]] or [[Multiplication operator|multiplication operator]], it is rather clear what the definitions should be.

==See also==

* {{annotated link|Borel functional calculus}}
* {{annotated link|Continuous functional calculus}}
* {{annotated link|Direct integral}}
* {{annotated link|Holomorphic functional calculus}}

==References==

{{reflist}}

* {{Springer|id=F/f042030|title=Functional calculus}}

==External links==

{{Functional analysis}}

{{DEFAULTSORT:Functional Calculus}}
[[Category:Functional calculus| ]]

{{Sourceattribution|Functional calculus}}