Integral transform

In mathematics, an integral transform is any transform T of the following form:

$(Tf)(u)=\int \limits _{t_{1}}^{t_{2}}K(t,u)\,f(t)\,dt$

The input of this transform is a function f, and the output is another function Tf. An integral transform is a particular kind of mathematical operator.

There are numerous useful integral transforms. Each is specified by a choice of the function K of two variables, the kernel function, integral kernel or nucleus of the transform.

Some kernels have an associated inverse kernel K⁻¹(u, t) which (roughly speaking) yields an inverse transform:

$f(t)=\int \limits _{u_{1}}^{u_{2}}K^{-1}(u,t)\,(Tf)(u)\,du$

A symmetric kernel is one that is unchanged when the two variables are permuted

Usage example

As an example of an application of integral transforms, consider the Laplace transform. This is a technique that maps differential or integro-differential equations in the "time" domain into polynomial equations in what is termed the "complex frequency" domain. (Complex frequency is similar to actual, physical frequency but rather more general. Specifically, the imaginary component ω of the complex frequency s = -σ + iω corresponds to the usual concept of frequency, viz., the rate at which a sinusoid cycles, whereas the real component σ of the complex frequency corresponds to the degree of "damping", i.e. an exponential decrease of the amplitude.) The equation cast in terms of complex frequency is readily solved in the complex frequency domain (roots of the polynomial equations in the complex frequency domain correspond to eigenvalues in the time domain), leading to a "solution" formulated in the frequency domain. Employing the inverse transform, i.e., the inverse procedure of the original Laplace transform, one obtains a time-domain solution. In this example, polynomials in the complex frequency domain (typically occurring in the denominator) correspond to power series in the time domain, while axial shifts in the complex frequency domain correspond to damping by decaying exponentials in the time domain.

The Laplace transform finds wide application in physics and particularly in electrical engineering, where the characteristic equations that describe the behavior of an electric circuit in the complex frequency domain correspond to linear combinations of exponentially damped, scaled, and time-shifted sinusoids in the time domain. Other integral transforms find special applicability within other scientific and mathematical disciplines.

Another usage example is the kernel in path integral:

$\psi (x,t)=\int _{-\infty }^{\infty }\psi (x',t')K(x,t;x',t')dx'.$

This states that the total amplitude to arrive at $(x, t)$ [that is, $\psi(x,t)$] is the sum, or the integral, over all possible values of $x'$ of the total amplitude to arrive at the point $(x',t')$ [that is, $\psi (x',t')$] multiplied by the amplitude to go from x' to x [that is, $K(x,t;x',t')$. It is often referred to as the propagator of a given system. This (physics) kernel is the kernel of integral transform. However, for each quantum system, there is a different kernel.

Different domains

Here integral transforms are defined for functions on the real numbers, but they can be defined more generally for functions on a group.

• If instead one uses functions on the circle (periodic functions), integration kernels are then biperiodic functions; convolution by functions on the circle yields circular convolution.
• If one uses functions on the cyclic group of order n ($C_n$ or $\mathbf {Z} /n\mathbf {Z}$), one obtains n × n matrices as integration kernels; convolution corresponds to circulant matrices.

General theory

Although the properties of integral transforms vary widely, they have some properties in common. For example, every integral transform is a linear operator, since the integral is a linear operator, and in fact if the kernel is allowed to be a generalized function then all linear operators are integral transforms (a properly formulated version of this statement is the Schwartz kernel theorem).

The general theory of such integral equations is known as Fredholm theory. In this theory, the kernel is understood to be a compact operator acting on a Banach space of functions. Depending on the situation, the kernel is then variously referred to as the Fredholm operator, the nuclear operator or the Fredholm kernel.

Table of transforms

Table of integral transforms

Transform	Symbol	K	f(t)	t1	t2	K−1	u1	u2
Abel transform		${\frac {2t}{\sqrt {t^{2}-u^{2}}}}$		u	$\infty$	${\frac {-1}{\pi {\sqrt {u^{2}\!-\!t^{2}}}}}{\frac {d}{du}}$	t	$\infty$
Fourier transform	$\mathcal{F}$	$e^{-2\pi iut}$	$L_1$	$-\infty$	$\infty$	$e^{2\pi iut}$	$-\infty$	$\infty$
Fourier sine transform	${\mathcal {F}}_{s}$	${\sqrt {\frac {2}{\pi }}}\sin(ut)$	on $[0,\infty)$, real-valued	$0$	$\infty$	${\sqrt {\frac {2}{\pi }}}\sin(ut)$	$0$	$\infty$
Fourier cosine transform	${\mathcal {F}}_{c}$	${\sqrt {\frac {2}{\pi }}}\cos(ut)$	on $[0,\infty)$, real-valued	0	$\infty$	${\sqrt {\frac {2}{\pi }}}\cos(ut)$	0	$\infty$
Hankel transform		$t\,J_{\nu }(ut)$		0	$\infty$	$u\,J_{\nu }(ut)$	0	$\infty$
Hartley transform	$\mathcal{H}$	${\frac {\cos(ut)+\sin(ut)}{\sqrt {2\pi }}}$		$-\infty$	$\infty$	${\frac {\cos(ut)+\sin(ut)}{\sqrt {2\pi }}}$	$-\infty$	$\infty$
Hermite transform	$H$	$e^{-x^{2}}H_{n}(x)$		$-\infty$	$\infty$		$0$	$\infty$
Hilbert transform	${\mathcal {H}}il$	${\frac {1}{\pi }}{\frac {1}{u-t}}$		$-\infty$	$\infty$	${\frac {1}{\pi }}{\frac {1}{u-t}}$	$-\infty$	$\infty$
Jacobi transform	$J$	$(1-x)^{\alpha }\ (1+x)^{\beta }\ P_{n}^{\alpha ,\beta }(x)$		$-1$	$1$		$0$	$\infty$
Laguerre transform	$L$	$e^{-x}\ x^{\alpha }\ L_{n}^{\alpha }(x)$		$0$	$\infty$		$0$	$\infty$
Laplace transform	$\mathcal{L}$	e−ut		0	$\infty$	${\frac {e^{ut}}{2\pi i}}$	$c\!-\!i\infty$	$c\!+\!i\infty$
Legendre transform	$\mathcal{J}$	$P_{n}(x)\,$		$-1$	$1$		$0$	$\infty$
Mellin transform	$\mathcal{M}$	tu−1		0	$\infty$	${\frac {t^{-u}}{2\pi i}}\,$	$c\!-\!i\infty$	$c\!+\!i\infty$
Two-sided Laplace transform	$\mathcal{B}$	e−ut		$-\infty$	$\infty$	${\frac {e^{ut}}{2\pi i}}$	$c\!-\!i\infty$	$c\!+\!i\infty$
Poisson kernel		${\frac {1-r^{2}}{1-2r\cos \theta +r^{2}}}$		0	2π
Weierstrass transform	$\mathcal{W}$	${\frac {e^{-{\frac {(u-t)^{2}}{4}}}}{\sqrt {4\pi }}}\,$		$-\infty$	$\infty$	${\frac {e^{\frac {(u-t)^{2}}{4}}}{i{\sqrt {4\pi }}}}$	$c\!-\!i\infty$	$c\!+\!i\infty$

In the limits of integration for the inverse transform, c is a constant which depends on the nature of the transform function. For example, for the one and two-sided Laplace transform, c must be greater than the largest real part of the zeroes of the transform function.

Note that there are alternative notations and conventions for the Fourier transform.

See also

• Bateman transform
• Convolution kernel
• Circular convolution
• Circulant matrix
• Differential equations
• Kernel trick
• Kernel methods
• List of transforms
• List of operators
• List of Fourier-related transforms
• Nachbin's theorem
• Reproducing kernel
• Symbolic integration

References

• A. D. Polyanin and A. V. Manzhirov, Handbook of Integral Equations, CRC Press, Boca Raton, 1998. Template:ISBN
• R. K. M. Thambynayagam, The Diffusion Handbook: Applied Solutions for Engineers, McGraw-Hill, New York, 2011. Template:ISBN
• Hazewinkel, Michiel, ed. (2001), "Integral transform", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://www.encyclopediaofmath.org/index.php?title=p/i051680 
• Tables of Integral Transforms at EqWorld: The World of Mathematical Equations.