Limit of distributions explained

In mathematics, specifically in the theory of generalized functions, the limit of a sequence of distributions is the distribution that sequence approaches. The distance, suitably quantified, to the limiting distribution can be made arbitrarily small by selecting a distribution sufficiently far along the sequence. This notion generalizes a limit of a sequence of functions; a limit as a distribution may exist when a limit of functions does not.

The notion is a part of distributional calculus, a generalized form of calculus that is based on the notion of distributions, as opposed to classical calculus, which is based on the narrower concept of functions.

Definition

Given a sequence of distributions

fi

, its limit

f

is the distribution given by

f[\varphi]=\limifi[\varphi]

for each test function

\varphi

, provided that distribution exists. The existence of the limit

f

means that (1) for each

\varphi

, the limit of the sequence of numbers

fi[\varphi]

exists and that (2) the linear functional

f

defined by the above formula is continuous with respect to the topology on the space of test functions.

More generally, as with functions, one can also consider a limit of a family of distributions.

Examples

A distributional limit may still exist when the classical limit does not. Consider, for example, the function:

ft(x)={t\over1+t2x2}

Since, by integration by parts,

\langleft,\phi\rangle=

0
-\int
-infty

\arctan(tx)\phi'(x)dx-

infty
\int
0

\arctan(tx)\phi'(x)dx,

we have:

\displaystyle\limt\langleft,\phi\rangle=\langle\pi\delta0,\phi\rangle

. That is, the limit of

ft

as

t\toinfty

is

\pi\delta0

.

Let

f(x+i0)

denote the distributional limit of

f(x+iy)

as

y\to0+

, if it exists. The distribution

f(x-i0)

is defined similarly.

One has

(x-i0)-1-(x+i0)-1=2\pii\delta0.

Let

\GammaN=[-N-1/2,N+1/2]2

be the rectangle with positive orientation, with an integer N. By the residue formula,

IN\overset{def

} = \int_ \widehat(z) \pi \cot(\pi z) \, dz = \sum_^N \widehat(n).On the other hand,

\begin{align}

R
\int
-R

\widehat{\phi}(\xi)\pi\operatorname{cot}(\pi\xi)d&=

R
\int
-R
infty
\int
0

\phi(x)e-2dxd\xi+

R
\int
-R
0
\int
-infty

\phi(x)e-2dxd\xi\\ &=\langle\phi,\cot(-i0)-\cot(-i0)\rangle \end{align}

Oscillatory integral

See main article: Oscillatory integral.

See also

References