Neumann series

A Neumann series is a mathematical series of the form
:$\sum_^\infty T^k$
where $T$ is an operator and $T^k := T^\circ$ its $k$ times repeated application.
This generalizes the geometric series.

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 forms the basis of the Liouville-Neumann series, which is used to solve Fredholm integral equations. It is also important when studying the spectrum of bounded operators.

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 $\text-T$ is invertible and its inverse is the series:
:$(\mathrm - T)^ = \sum_^\infty T^k$,
where $\mathrm$ is the identity operator in $X$. To see why, consider the partial sums
:$S_n := \sum_^n T^k$.
Then we have
:$\lim_(\mathrm-T)S_n = \lim_\left(\sum_^n T^k - \sum_^n T^\right) = \lim_\left(\mathrm - T^\right) = \mathrm.$
This result on operators is analogous to geometric series in $\mathbb$, in which we find that:
:$(1-x)\cdot(1 + x + x^2 + \cdots + x^ + x^n) = 1-x^,$
:$1 + x + x^2 + \cdots = \frac.$

One case in which convergence is guaranteed is when $X$ is a Banach space and $, T, <1$ in the operator norm or $\sum , T^n,$ is convergent. 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.$
We need to show that C is smaller than unity in some norm. Therefore, we calculate:
:$\begin , , C, , _ &=\max_i \sum_j , c_, = \max \left\lbrace \frac, \frac , \frac \right\rbrace = \frac < 1. \end$

Thus, we know from the statement above that $(I-C)^$ exists.

Approximate matrix inversion

A truncated Neumann series can be used for approximate matrix inversion. To approximate the inverse of an invertible matrix $\mathbf A$, we can assign the linear operator as:
:$T(\mathbf x)=(\mathbf I-\mathbf A)\mathbf x$
where $\mathbf I$ is the identity matrix. If the norm condition on $T$ is satisfied, then truncating the series at $n$, we get:
:$\mathbf A^ \approx \sum_^n (\mathbf I-\mathbf A)^i$

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 $, \mathrm-S^T, < 1$, the Neumann series $\sum(\mathrm-S^T)^k$ is convergent. Therefore, we have
:$T^S = (\mathrm - (\mathrm - S^T))^ = \sum_^\infty(\mathrm - 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 expression for the transfer function.

References

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

Functional analysis
Mathematical series