# Wiener-Hopf equation

An integral equation on the half-line with a kernel which depends on the difference between the arguments:

$$\tag{1 } u ( x) - \int\limits _ { 0 } ^ \infty k ( x- s) u ( s) ds = \ f ( x),\ 0 \leq x < \infty .$$

Equations of this type often appear in problems of mathematical physics, e.g. in the theory of radiative transfer (Milne's problem); in the theory of diffraction (diffraction on a half-plane, the problem of boundary refraction).

The first studies of equation (1) are due to N. Wiener and E. Hopf ( and ), and deal with a factorization method (see Wiener–Hopf method). It was the idea of factorization which proved to be the determining factor in the construction of the theory of integral equations such as (1). V.A. Fok (also written as V.A. Fock)  studied the Wiener–Hopf equation on the assumption that the kernel $k( x)$ is even and decreases exponentially.

The formal scheme for solving the Wiener–Hopf equation is the following. Let

$$v ( x) = \left \{$$ n ( x) = \left \{

Equation (1) can then be written on the whole line as:

$$\tag{2 } v ( x) - \int\limits _ {- \infty } ^ \infty k ( x - s) v ( x) ds = \ f ( x) + n ( x),\ \ - \infty < x < \infty .$$

If the conditions for the existence of the Fourier transforms of all functions forming part of equation (2), i.e.

$$V ( \lambda ) = \ \int\limits _ { 0 } ^ \infty u ( x) e ^ {i \lambda x } dx,\ \ K ( \lambda ) = \int\limits _ {- \infty } ^ \infty k ( x) e ^ {i \lambda x } dx,$$

$$F ( \lambda ) = \int\limits _ { 0 } ^ \infty f ( x) e ^ {i \lambda x } dx,\ N ( \lambda ) = \int\limits _ {- \infty } ^ { 0 } n ( x) e ^ {i \lambda x } dx,$$

are met, then, using the Fourier transform, equation (2) is reduced to the functional equation

$$\tag{3 } [ 1 - K ( \lambda )] V ( \lambda ) = F ( \lambda ) + N ( \lambda ),$$

where $V ( \lambda )$ and $N ( \lambda )$ are unknown functions. The Wiener–Hopf method makes it possible to solve equation (3) for a certain class of functions. The condition $1 - K ( \lambda ) \neq 0$ must be met in this context. The index of the equation,

$$\tag{4 } \nu = - \mathop{\rm ind} [ 1 - K ( \lambda )] = \ - \frac{1}{2 \pi } \int\limits _ {- \infty } ^ \infty d _ \lambda [ 1 - K ( \lambda )],$$

plays a special role in the theory of equation (1) for a non-symmetric kernel. If $k \in L _ {1} (- \infty , \infty )$ and $1 - K( \lambda ) \neq 0$, then: if $\nu = 0$, the inhomogeneous equation (1) has a unique solution; if $\nu > 0$, the homogeneous equation (1) has $\nu$ linearly independent solutions; if $\nu < 0$, the inhomogeneous equation (1) has either no solution, or else has a unique solution if the following condition is met:

$$\int\limits _ { 0 } ^ \infty f ( x) \psi _ {k} ( x) dx = 0,\ \ k = 0 \dots | \nu | - 1,$$

where $\psi _ {k} ( x)$ are the linearly independent solutions of the transposed homogeneous equation to (1):

$$\psi ( x) - \int\limits _ { 0 } ^ \infty k ( x- s) \psi ( s) ds = 0.$$

How to Cite This Entry:
Wiener-Hopf equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Wiener-Hopf_equation&oldid=49215
This article was adapted from an original article by V.I. Dmitriev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article