Neumann series

A Neumann series is a mathematical series that sums ''k''-times repeated applications of an operator $T$. This has the generator form
:$\sum_^\infty T^k$
where $T^k$ is the ''k''-times repeated application of $T$; $T^0$ is the identity operator $I$ and $T^k := T^\circ$ for $k > 0$. This is a special case of the generalization of a geometric series of real or complex numbers to a geometric series of operators. The generalized initial term of the series is the identity operator $T^0 = I$ and the generalized common ratio of the series is the operator $T.$

The series is named after the mathematician Carl Neumann, who used it in 1877 in the context of potential theory. The Neumann series is used in functional analysis. It is closely connected to the resolvent formalism for studying the spectrum of bounded operators and, applied from the left to a function, it forms the Liouville-Neumann series that formally solves Fredholm integral equations.

Properties

Suppose that $T$ is a bounded linear operator on the normed vector space $X$. If the Neumann series converges in the operator norm, then $I-T$ is invertible and its inverse is the series:
:$(I - T)^ = \sum_^\infty T^k$,
where $I$ is the identity operator in $X$. To see why, consider the partial sums
:$S_n := \sum_^n T^k$.
Then we have
:$\lim_(I-T)S_n = \lim_\left(\sum_^n T^k - \sum_^n T^\right) = \lim_\left(I - T^\right) = I$
This result on operators is analogous to geometric series in $\mathbb$.

One case in which convergence is guaranteed is when $X$ is a Banach space and $, T, <1$ in the operator norm; another compatible case is that $\sum_^\infty , T^k,$ converges. However, there are also results which give weaker conditions under which the series converges.

Example

Let $C\in \R^$ be given by:
:$\begin 0 & \frac & \frac \\ \frac & 0 & \frac \\ \frac & \frac & 0 \end.$
For the Neumann series $\sum_^n C^k$ to converge to $(I-C)^$ as $n$ goes to infinity, the matrix norm of $C$ must be smaller than unity. This norm is
:$\begin , , C, , _ &=\max_i \sum_j , c_, = \max \left\lbrace \frac, \frac , \frac \right\rbrace = \frac < 1, \end$
confirming that the Neumann series converges.

Approximate matrix inversion

A truncated Neumann series can be used for approximate matrix inversion. To approximate the inverse of an invertible matrix $A$, consider that

$\begin A^ &= (I - I + A)^ \\ & = (I - (I - A))^ \\ & = (I - T)^ \end$

for $T =(I - A).$ Then, using the Neumann series identity that $\sum_^\infty T^k = (I - T)^$ if the appropriate norm condition on $T = (I - A)$ is satisfied, $A^ = (I - (I - A))^ = \sum_^\infty (I - A)^k.$ Since these terms shrink with increasing $k,$ given the conditions on the norm, then truncating the series at some finite $n$ may give a practical approximation to the inverse matrix:
:$A^ \approx \sum_^n (I- A)^k.$

The set of invertible operators is open

A corollary is that the set of invertible operators between two Banach spaces $B$ and $B'$ is open in the topology induced by the operator norm. Indeed, let $S : B \to B'$ be an invertible operator and let $T: B \to B'$ be another operator.
If $, S-T, < , S^, ^$, then $T$ is also invertible.
Since $, I - S^T, < 1$, the Neumann series $\sum_^\infty (I-S^T)^k$ is convergent. Therefore, we have
:$T^S = (I - (I - S^T))^ = \sum_^\infty(I - S^T)^k$

Taking the norms, we get
:$, T^S, \le \frac$

The norm of $T^$ can be bounded by
:$, T^, \le \tfrac , S^, \quad\text\quad q = , S-T, \, , S^, .$

Applications

The Neumann series has been used for linear data detection in massive multiuser multiple-input multiple-output (MIMO) wireless systems. Using a truncated Neumann series avoids computation of an explicit matrix inverse, which reduces the complexity of linear data detection from cubic to square.

Another application is the theory of propagation graphs which takes advantage of Neumann series to derive closed form expressions for transfer functions.

References

* {{cite book, last=Werner, first=Dirk, year=2005, title=Funktionalanalysis , language=de, publisher=Springer Verlag, isbn=3-540-43586-7

Functional analysis
Series (mathematics)