Namespaces
Variants
Actions

Difference between revisions of "Fourier-Bessel integral"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeXification.)
(eqref)
 
Line 3: Line 3:
 
An analogue of the [[Fourier integral|Fourier integral]] for [[Bessel functions|Bessel functions]], having the form
 
An analogue of the [[Fourier integral|Fourier integral]] for [[Bessel functions|Bessel functions]], having the form
  
$$ \tag{*} f(x) = \int_0^\infty \lambda J_\nu(\lambda x) \int_0^\infty y J_\nu(\lambda y) f(y) \, dy \, d\lambda \, . $$
+
\begin{equation} \label{eq1} \tag{*} f(x) = \int_0^\infty \lambda J_\nu(\lambda x) \int_0^\infty y J_\nu(\lambda y) f(y) \, dy \, d\lambda \, . \end{equation}
  
Formula (*) can be obtained from the [[Fourier–Bessel series|Fourier–Bessel series]] for the interval $(0,l)$ by taking the limit as $l \to +\infty$. H. Hankel (1875) established the following theorem: If the function $f$ is piecewise continuous, has bounded variation on any interval $0 < x < l$, and if the integral
+
Formula \eqref{eq1} can be obtained from the [[Fourier–Bessel series|Fourier–Bessel series]] for the interval $(0,l)$ by taking the limit as $l \to +\infty$. H. Hankel (1875) established the following theorem: If the function $f$ is piecewise continuous, has bounded variation on any interval $0 < x < l$, and if the integral
  
 
$$ \int_0^\infty \sqrt{x} |f(x)| \, dx $$
 
$$ \int_0^\infty \sqrt{x} |f(x)| \, dx $$
  
converges, then (*) is valid for $\nu > -1/2$ at all points where $f$ is continuous, $0 < x < +\infty$. At a point of discontinuity $x_0$, $0 < x_0 < +\infty$, the right-hand side of (*) is equal to $[ f(x_0-) + f(x_0+)]/2$, and when $x_0 = 0$ it gives $f(0+)/2$.
+
converges, then \eqref{eq1} is valid for $\nu > -1/2$ at all points where $f$ is continuous, $0 < x < +\infty$. At a point of discontinuity $x_0$, $0 < x_0 < +\infty$, the right-hand side of \eqref{eq1} is equal to $[ f(x_0-) + f(x_0+)]/2$, and when $x_0 = 0$ it gives $f(0+)/2$.
 
 
Analogues of the Fourier–Bessel integral (*) for other types of cylinder functions $Z_\nu(x)$ are also true, but the limits in the integrals should be changed accordingly.
 
 
 
  
 +
Analogues of the Fourier–Bessel integral \eqref{eq1} for other types of cylinder functions $Z_\nu(x)$ are also true, but the limits in the integrals should be changed accordingly.
  
 
====Comments====
 
====Comments====
In case $\nu = \pm 1/2$, formula (*) reduces to Fourier's sine and cosine integral, respectively. In case $\nu = (n/2)-1$, where $n=1,2,\ldots$, formula (*) can be interpreted as a [[Fourier integral|Fourier integral]] for radial functions on $\mathbf{R}^n$. See also [[#References|[a1]]], p. 240.
+
In case $\nu = \pm 1/2$, formula \eqref{eq1} reduces to Fourier's sine and cosine integral, respectively. In case $\nu = (n/2)-1$, where $n=1,2,\ldots$, formula \eqref{eq1} can be interpreted as a [[Fourier integral]] for radial functions on $\mathbf{R}^n$. See also [[#References|[a1]]], p. 240.
  
 
====References====
 
====References====

Latest revision as of 06:47, 24 April 2024

Hankel integral

An analogue of the Fourier integral for Bessel functions, having the form

\begin{equation} \label{eq1} \tag{*} f(x) = \int_0^\infty \lambda J_\nu(\lambda x) \int_0^\infty y J_\nu(\lambda y) f(y) \, dy \, d\lambda \, . \end{equation}

Formula \eqref{eq1} can be obtained from the Fourier–Bessel series for the interval $(0,l)$ by taking the limit as $l \to +\infty$. H. Hankel (1875) established the following theorem: If the function $f$ is piecewise continuous, has bounded variation on any interval $0 < x < l$, and if the integral

$$ \int_0^\infty \sqrt{x} |f(x)| \, dx $$

converges, then \eqref{eq1} is valid for $\nu > -1/2$ at all points where $f$ is continuous, $0 < x < +\infty$. At a point of discontinuity $x_0$, $0 < x_0 < +\infty$, the right-hand side of \eqref{eq1} is equal to $[ f(x_0-) + f(x_0+)]/2$, and when $x_0 = 0$ it gives $f(0+)/2$.

Analogues of the Fourier–Bessel integral \eqref{eq1} for other types of cylinder functions $Z_\nu(x)$ are also true, but the limits in the integrals should be changed accordingly.

Comments

In case $\nu = \pm 1/2$, formula \eqref{eq1} reduces to Fourier's sine and cosine integral, respectively. In case $\nu = (n/2)-1$, where $n=1,2,\ldots$, formula \eqref{eq1} can be interpreted as a Fourier integral for radial functions on $\mathbf{R}^n$. See also [a1], p. 240.

References

[a1] E.C. Titchmarsh, "Introduction to the theory of Fourier integrals" , Oxford Univ. Press (1948)
How to Cite This Entry:
Fourier-Bessel integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fourier-Bessel_integral&oldid=55739
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article