Difference between revisions of "Dunford integral"
From Encyclopedia of Mathematics
(Importing text file) |
m (AUTOMATIC EDIT (latexlist): Replaced 20 formulas out of 20 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.) |
||
| Line 1: | Line 1: | ||
| − | + | <!--This article has been texified automatically. Since there was no Nroff source code for this article, | |
| + | the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist | ||
| + | was used. | ||
| + | If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category. | ||
| − | + | Out of 20 formulas, 20 were replaced by TEX code.--> | |
| − | + | {{TEX|semi-auto}}{{TEX|done}} | |
| + | An integral playing a key role in the Riesz–Dunford functional calculus for Banach spaces (cf. [[Functional calculus|Functional calculus]].) In this calculus, for a fixed bounded [[Linear operator|linear operator]] $T$ on a [[Banach space|Banach space]] $X$, all functions $f$ holomorphic on a neighbourhood $U$ of the spectrum $\sigma ( T )$ of $T$ (cf. also [[Spectrum of an operator|Spectrum of an operator]]) are turned into a bounded linear operator $f ( T )$ on $X$ by | ||
| − | + | \begin{equation*} f ( T ) = \frac { 1 } { 2 \pi i } \int _ { \partial U } f ( \lambda ) ( \lambda - T ) ^ { - 1 } d \lambda. \end{equation*} | |
| − | + | This integral is called the Dunford integral. It is assumed here that the boundary $\partial U$ of $U$ consists of a finite number of rectifiable Jordan curves (cf. also [[Jordan curve|Jordan curve]]), oriented in positive sense. | |
| − | + | For suitably chosen domains of $f$ and $g$, the following rules of operational calculus hold: | |
| − | + | \begin{equation*} \alpha f ( T ) + \beta g ( T ) = ( \alpha f + \beta g ) ( T ), \end{equation*} | |
| + | |||
| + | \begin{equation*} f ( T ) g ( T ) = ( f g ) ( T ) , f ( \sigma ( T ) ) = \sigma ( f ( T ) ). \end{equation*} | ||
| + | |||
| + | Also, $f ( \lambda ) = \sum _ { n = 0 } ^ { \infty } \alpha _ { n } \lambda ^ { n }$ on $U$ implies $f ( T ) = \sum _ { n = 0 } ^ { \infty } \alpha _ { n } T ^ { n }$ in the operator norm. If $h ( \lambda ) = g ( f ( \lambda ) )$, then $h ( T ) = g ( f ( T ) )$. | ||
The Dunford integral can be considered as a [[Bochner integral|Bochner integral]]. | The Dunford integral can be considered as a [[Bochner integral|Bochner integral]]. | ||
====References==== | ====References==== | ||
| − | <table>< | + | <table><tr><td valign="top">[a1]</td> <td valign="top"> N. Dunford, J.T. Schwartz, "Linear operators" , '''1''' , Interscience (1958)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> K. Yosida, "Functional analysis" , Springer (1980)</td></tr></table> |
Latest revision as of 17:00, 1 July 2020
An integral playing a key role in the Riesz–Dunford functional calculus for Banach spaces (cf. Functional calculus.) In this calculus, for a fixed bounded linear operator $T$ on a Banach space $X$, all functions $f$ holomorphic on a neighbourhood $U$ of the spectrum $\sigma ( T )$ of $T$ (cf. also Spectrum of an operator) are turned into a bounded linear operator $f ( T )$ on $X$ by
\begin{equation*} f ( T ) = \frac { 1 } { 2 \pi i } \int _ { \partial U } f ( \lambda ) ( \lambda - T ) ^ { - 1 } d \lambda. \end{equation*}
This integral is called the Dunford integral. It is assumed here that the boundary $\partial U$ of $U$ consists of a finite number of rectifiable Jordan curves (cf. also Jordan curve), oriented in positive sense.
For suitably chosen domains of $f$ and $g$, the following rules of operational calculus hold:
\begin{equation*} \alpha f ( T ) + \beta g ( T ) = ( \alpha f + \beta g ) ( T ), \end{equation*}
\begin{equation*} f ( T ) g ( T ) = ( f g ) ( T ) , f ( \sigma ( T ) ) = \sigma ( f ( T ) ). \end{equation*}
Also, $f ( \lambda ) = \sum _ { n = 0 } ^ { \infty } \alpha _ { n } \lambda ^ { n }$ on $U$ implies $f ( T ) = \sum _ { n = 0 } ^ { \infty } \alpha _ { n } T ^ { n }$ in the operator norm. If $h ( \lambda ) = g ( f ( \lambda ) )$, then $h ( T ) = g ( f ( T ) )$.
The Dunford integral can be considered as a Bochner integral.
References
| [a1] | N. Dunford, J.T. Schwartz, "Linear operators" , 1 , Interscience (1958) |
| [a2] | K. Yosida, "Functional analysis" , Springer (1980) |
How to Cite This Entry:
Dunford integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dunford_integral&oldid=50341
Dunford integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dunford_integral&oldid=50341
This article was adapted from an original article by J. de Graaf (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article