Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Integral transform

From Wikipedia, the free encyclopedia
Mapping involving integration between function spaces
For other uses, seeTransformation (mathematics).
This article has multiple issues. Please helpimprove it or discuss these issues on thetalk page.(Learn how and when to remove these messages)
This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Integral transform" – news ·newspapers ·books ·scholar ·JSTOR
(October 2024) (Learn how and when to remove this message)
Some of this article'slisted sourcesmay not bereliable. Please help improve this article by looking for better, more reliable sources. Unreliable citations may be challenged and removed.(October 2024) (Learn how and when to remove this message)
(Learn how and when to remove this message)
Part of a series of articles about
Calculus
abf(t)dt=f(b)f(a){\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}

Inmathematics, anintegral transform is a type oftransform that maps afunction from its originalfunction space into another function space viaintegration, where some of the properties of the original function might be more easily characterized and manipulated than in the original function space. The transformed function can generally be mapped back to the original function space using theinverse transform.

General form

[edit]

An integral transform is anytransformT{\displaystyle T} of the following form:

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

The input of this transform is afunctionf{\displaystyle f}, and the output is another functionTf{\displaystyle Tf}. An integral transform is a particular kind of mathematicaloperator.

There are numerous useful integral transforms. Each is specified by a choice of the functionK{\displaystyle K} of twovariables, that is called thekernel ornucleus of the transform.

Some kernels have an associatedinverse kernelK1(u,t){\displaystyle K^{-1}(u,t)} which (roughly speaking) yields an inverse transform:

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

Asymmetric kernel is one that is unchanged when the two variables are permuted; it is a kernel functionK{\displaystyle K} such thatK(t,u)=K(u,t){\displaystyle K(t,u)=K(u,t)}. In the theory of integral equations, symmetric kernels correspond toself-adjoint operators.[1]

Motivation

[edit]

There are many classes of problems that are difficult to solve—or at least quite unwieldy algebraically—in their original representations. An integral transform "maps" an equation from its original "domain" into another domain, in which manipulating and solving the equation may be much easier than in the original domain. The solution can then be mapped back to the original domain with the inverse of the integral transform.

There are many applications of probability that rely on integral transforms, such as "pricing kernel" orstochastic discount factor, or the smoothing of data recovered from robust statistics; seekernel (statistics).

History

[edit]

The precursor of the transforms were theFourier series to express functions in finite intervals. Later theFourier transform was developed to remove the requirement of finite intervals.

Using the Fourier series, just about any practical function of time (thevoltage across the terminals of anelectronic device for example) can be represented as a sum ofsines andcosines, each suitably scaled (multiplied by a constant factor), shifted (advanced or retarded in time) and "squeezed" or "stretched" (increasing or decreasing the frequency). The sines and cosines in the Fourier series are an example of anorthonormal basis.

Usage example

[edit]

As an example of an application of integral transforms, consider theLaplace transform. This is a technique that mapsdifferential orintegro-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 frequencys = −σ + 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 toeigenvalues in the time domain), leading to a "solution" formulated in the frequency domain. Employing theinverse 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 topower 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 thecharacteristic equations that describe the behavior of an electric circuit in the complex frequency domain correspond to linear combinations of exponentially scaled and time-shifteddamped sinusoids in the time domain. Other integral transforms find special applicability within other scientific and mathematical disciplines.

Another usage example is the kernel in thepath integral:

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

This states that the total amplitudeψ(x,t){\displaystyle \psi (x,t)} to arrive at(x,t){\displaystyle (x,t)} is the sum (the integral) over all possible valuesx{\displaystyle x'} of the total amplitudeψ(x,t){\displaystyle \psi (x',t')} to arrive at the point(x,t){\displaystyle (x',t')} multiplied by the amplitude to go fromx{\displaystyle x'} tox{\displaystyle x}[i.e.K(x,t;x,t){\displaystyle K(x,t;x',t')}].[2] It is often referred to as thepropagator for a given system. This (physics) kernel is the kernel of the integral transform. However, for each quantum system, there is a different kernel.[3]

Table of transforms

[edit]
Table of integral transforms
TransformSymbolKf(t)t1t2K−1u1u2
Abel transformF, f2tt2u2{\displaystyle {\frac {2t}{\sqrt {t^{2}-u^{2}}}}}u{\displaystyle u}{\displaystyle \infty }1πu2t2ddu{\displaystyle {\frac {-1}{\pi {\sqrt {u^{2}\!-\!t^{2}}}}}{\frac {d}{du}}}[4]t{\displaystyle \infty }
Associated Legendre transformJn,m{\displaystyle {\mathcal {J}}_{n,m}}(1x2)m/2Pnm(x){\displaystyle (1-x^{2})^{-m/2}P_{n}^{m}(x)}1{\displaystyle -1}1{\displaystyle 1}0{\displaystyle 0}{\displaystyle \infty }
Fourier transformF{\displaystyle {\mathcal {F}}}e2πiut{\displaystyle e^{-2\pi iut}}L1{\displaystyle L_{1}}{\displaystyle -\infty }{\displaystyle \infty }e2πiut{\displaystyle e^{2\pi iut}}{\displaystyle -\infty }{\displaystyle \infty }
Fourier sine transformFs{\displaystyle {\mathcal {F}}_{s}}2πsin(ut){\displaystyle {\sqrt {\frac {2}{\pi }}}\sin(ut)}on[0,){\displaystyle [0,\infty )}, real-valued0{\displaystyle 0}{\displaystyle \infty }2πsin(ut){\displaystyle {\sqrt {\frac {2}{\pi }}}\sin(ut)}0{\displaystyle 0}{\displaystyle \infty }
Fourier cosine transformFc{\displaystyle {\mathcal {F}}_{c}}2πcos(ut){\displaystyle {\sqrt {\frac {2}{\pi }}}\cos(ut)}on[0,){\displaystyle [0,\infty )}, real-valued0{\displaystyle 0}{\displaystyle \infty }2πcos(ut){\displaystyle {\sqrt {\frac {2}{\pi }}}\cos(ut)}0{\displaystyle 0}{\displaystyle \infty }
Hankel transformtJν(ut){\displaystyle t\,J_{\nu }(ut)}0{\displaystyle 0}{\displaystyle \infty }uJν(ut){\displaystyle u\,J_{\nu }(ut)}0{\displaystyle 0}{\displaystyle \infty }
Hartley transformH{\displaystyle {\mathcal {H}}}cos(ut)+sin(ut)2π{\displaystyle {\frac {\cos(ut)+\sin(ut)}{\sqrt {2\pi }}}}{\displaystyle -\infty }{\displaystyle \infty }cos(ut)+sin(ut)2π{\displaystyle {\frac {\cos(ut)+\sin(ut)}{\sqrt {2\pi }}}}{\displaystyle -\infty }{\displaystyle \infty }
Hermite transformH{\displaystyle H}ex2Hn(x){\displaystyle e^{-x^{2}}H_{n}(x)}{\displaystyle -\infty }{\displaystyle \infty }0{\displaystyle 0}{\displaystyle \infty }
Hilbert transformHil{\displaystyle {\mathcal {H}}il}1π1ut{\displaystyle {\frac {1}{\pi }}{\frac {1}{u-t}}}{\displaystyle -\infty }{\displaystyle \infty }1π1ut{\displaystyle {\frac {1}{\pi }}{\frac {1}{u-t}}}{\displaystyle -\infty }{\displaystyle \infty }
Jacobi transformJ{\displaystyle J}(1x)α (1+x)β Pnα,β(x){\displaystyle (1-x)^{\alpha }\ (1+x)^{\beta }\ P_{n}^{\alpha ,\beta }(x)}1{\displaystyle -1}1{\displaystyle 1}0{\displaystyle 0}{\displaystyle \infty }
Laguerre transformL{\displaystyle L}ex xα Lnα(x){\displaystyle e^{-x}\ x^{\alpha }\ L_{n}^{\alpha }(x)}0{\displaystyle 0}{\displaystyle \infty }0{\displaystyle 0}{\displaystyle \infty }
Laplace transformL{\displaystyle {\mathcal {L}}}eut{\displaystyle e^{-ut}}0{\displaystyle 0}{\displaystyle \infty }eut2πi{\displaystyle {\frac {e^{ut}}{2\pi i}}}ci{\displaystyle c\!-\!i\infty }c+i{\displaystyle c\!+\!i\infty }
Legendre transformJ{\displaystyle {\mathcal {J}}}Pn(x){\displaystyle P_{n}(x)\,}1{\displaystyle -1}1{\displaystyle 1}0{\displaystyle 0}{\displaystyle \infty }
Mellin transformM{\displaystyle {\mathcal {M}}}tu1{\displaystyle t^{u-1}}0{\displaystyle 0}{\displaystyle \infty }tu2πi{\displaystyle {\frac {t^{-u}}{2\pi i}}\,}[5]ci{\displaystyle c\!-\!i\infty }c+i{\displaystyle c\!+\!i\infty }
Two-sided Laplace
transform
B{\displaystyle {\mathcal {B}}}eut{\displaystyle e^{-ut}}{\displaystyle -\infty }{\displaystyle \infty }eut2πi{\displaystyle {\frac {e^{ut}}{2\pi i}}}ci{\displaystyle c\!-\!i\infty }c+i{\displaystyle c\!+\!i\infty }
Poisson kernel1r212rcosθ+r2{\displaystyle {\frac {1-r^{2}}{1-2r\cos \theta +r^{2}}}}0{\displaystyle 0}2π{\displaystyle 2\pi }
Radon transformδ(xcosθ+ysinθt){\displaystyle \delta (x\cos \theta +y\sin \theta -t)}{\displaystyle -\infty }{\displaystyle \infty }
Weierstrass transformW{\displaystyle {\mathcal {W}}}e(ut)244π{\displaystyle {\frac {e^{-{\frac {(u-t)^{2}}{4}}}}{\sqrt {4\pi }}}\,}{\displaystyle -\infty }{\displaystyle \infty }e(ut)24i4π{\displaystyle {\frac {e^{\frac {(u-t)^{2}}{4}}}{i{\sqrt {4\pi }}}}}ci{\displaystyle c\!-\!i\infty }c+i{\displaystyle c\!+\!i\infty }
X-ray transform{\displaystyle -\infty }{\displaystyle \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.

Different domains

[edit]

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 yieldscircular convolution.
  • If one uses functions on thecyclic group of ordern (Cn orZ/nZ), one obtainsn ×n matrices as integration kernels; convolution corresponds tocirculant matrices.

General theory

[edit]

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

The general theory of suchintegral equations is known asFredholm theory. In this theory, the kernel is understood to be acompact operator acting on aBanach space of functions. Depending on the situation, the kernel is then variously referred to as theFredholm operator, thenuclear operator or theFredholm kernel.

See also

[edit]

References

[edit]
  1. ^ Chapter 8.2, Methods of Theoretical Physics Vol. I (Morse & Feshbach)
  2. ^Eq 3.42 in Feynman and Hibbs, Quantum Mechanics and Path Integrals, emended edition:
  3. ^Mathematically, what is the kernel in path integral?
  4. ^ Assuming the Abel transform is not discontinuous atu{\displaystyle u}.
  5. ^ Some conditions apply, seeMellin inversion theorem for details.

Further reading

[edit]
Basic concepts
L1 spaces
L2 spaces
L{\displaystyle L^{\infty }} spaces
Maps
Inequalities
Results
ForLebesgue measure
Applications & related
National
Other
Retrieved from "https://en.wikipedia.org/w/index.php?title=Integral_transform&oldid=1258192513"
Category:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp