Liouville–Neumann series

From HandWiki

In mathematics, the Liouville–Neumann series is an infinite series that corresponds to the resolvent formalism technique of solving the Fredholm integral equations in Fredholm theory.

Definition

The Liouville–Neumann (iterative) series is defined as

[math]\displaystyle{ \phi\left(x\right) = \sum^\infty_{n=0} \lambda^n \phi_n \left(x\right) }[/math]

which, provided that [math]\displaystyle{ \lambda }[/math] is small enough so that the series converges, is the unique continuous solution of the Fredholm integral equation of the second kind,

[math]\displaystyle{ f(t)= \phi(t) - \lambda \int_a^bK(t,s)\phi(s)\,ds. }[/math]

If the nth iterated kernel is defined as n−1 nested integrals of n operators K,

[math]\displaystyle{ K_n\left(x,z\right) = \int\int\cdots\int K\left(x,y_1\right)K\left(y_1,y_2\right) \cdots K\left(y_{n-1}, z\right) dy_1 dy_2 \cdots dy_{n-1} }[/math]

then

[math]\displaystyle{ \phi_n\left(x\right) = \int K_n\left(x,z\right)f\left(z\right)dz }[/math]

with

[math]\displaystyle{ \phi_0\left(x\right) = f\left(x\right)~, }[/math]

so K0 may be taken to be δ(x−z).

The resolvent (or solving kernel for the integral operator) is then given by a schematic analog "geometric series",

[math]\displaystyle{ R\left(x, z;\lambda\right) = \sum^\infty_{n=0} \lambda^n K_{n} \left(x, z\right). }[/math]

where K0 has been taken to be δ(x−z).

The solution of the integral equation thus becomes simply

[math]\displaystyle{ \phi\left(x\right) = \int R\left( x, z;\lambda\right) f\left(z\right)dz. }[/math]

Similar methods may be used to solve the Volterra equations.

See also

References