Home Andrew Hamilton's Homepage

A code to take the fast Fourier or Hankel transform of a discrete periodic sequence of logarithmically spaced points.

The URL of this page is http://jila.colorado.edu/~ajsh/FFTLog/ .

Questions? Comments? Email me at Andrew.Hamilton@Colorado.EDU.


  1. Download
  2. What is FFTLog?
  3. Motivation and Example
  4. Introduction
  5. Normal discrete Fourier transform
  6. Discrete Hankel transform
  7. FFTLog algorithm
  8. Low-ringing condition on \(k_0 r_0\)
  9. Unitary Hankel transform
  10. Ringing and Aliasing
  11. Troubleshooting
  12. References, Links

1. Download

The FFTLog code is built on top of the NCAR suite of FFT routines, and on a modified version of an implementation of the complex Gamma-function from Takuya Ooura’s gamerf package. The required routines are included in fftlog.tgz .

2. What is FFTLog?

FFTLog is a set of fortran subroutines that compute the fast Fourier or Hankel (= Fourier-Bessel) transform of a periodic sequence of logarithmically spaced points.

FFTLog can be regarded as a natural analogue to the standard Fast Fourier Transform (FFT), in the sense that, just as the normal FFT gives the exact (to machine precision) Fourier transform of a linearly spaced periodic sequence (§5), so also FFTLog gives the exact Fourier or Hankel transform, of arbitrary order \(\mu\) of a logarithmically spaced periodic sequence (§6).

FFTLog shares with the normal FFT the problems of ringing (response to sudden steps) and aliasing (periodic folding of frequencies), but under appropriate circumstances FFTLog may approximate the results of a continuous Fourier or Hankel transform (§10).

The FFTLog algorithm was originally proposed by Talman (1978).

3. Motivation and Example

FFTLog emerged from a problem in cosmology (Hamilton 2000). The problem required Fourier transforming a function that extended over many orders of magnitude, and was ‘smooth’ in logarithmic space. Actually, it was necessary to transform whole matrices of such functions, so a fast transform method was desirable.

In cosmology, fluctuations in the matter density of the Universe are thought to have been laid down during an inflationary epoch in the first few moments following the Big Bang (Turner 1997). Vacuum fluctuations in the field that drives inflation should produce a Gaussian distribution of density fluctuations with a near scale-invariant power spectrum \(P(k) \, \substack{\textstyle\propto \\ \textstyle\sim} \, k\). That primordial spectrum was processed prior to Recombination by the action of gravity modulated by the pressure of radiation. Following Recombination, when the Universe was about 400,000 years old, the matter power spectrum was further processed by nonlinear gravitational clustering, up to the present time.

The cosmological power spectrum \(P\)(\(k\)), a function of wavenumber \(k\), is the 3-dimensional Fourier transform of the cosmological correlation function \(\xi(r)\), a function of spatial separation \(r\). With the conventional normalization used by cosmologists, \begin{equation} P(k) = \int_0^\infty \xi(r) {\sin(kr) \over kr} 4\pi r^2 d r \ , \quad \xi(r) = \int_0^\infty P(r) {\sin(kr) \over kr} {4\pi k^2 d k \over (2\pi)^3} \ . \end{equation}

Cosmological power spectrum Figure 1: Cosmological power spectrum \(P(k)\) of matter fluctuations predicted by the so-called \(\Lambda\)CDM model, a flat (\(\Omega = 1\)) Universe dominated by a cosmological constant (\(\Omega_\Lambda = 0.7\)), and Cold Dark Matter (\(\Omega_\textrm{m} = 0.3\)), including a sprinkling of baryons (\(\Omega_\textrm{b} = 0.05\)).

The \(\Lambda\)CDM power spectrum was computed from the formulae of Eisenstein & Hu (1998), nonlinearly evolved according to the formula of Peacock & Dodds (1996). The spectrum is normalized to the amplitude of fluctuations observed by the COBE DMR icon COBE satellite.

Cosmological correlation function Figure 2: Cosmological correlation function \(\xi(r)\) corresponding to the \(\Lambda\)CDM power spectrum shown in Figure 1.

The top panel of Figure 2 shows the correlation function \(\xi(r)\) computed with FFTLog at two different resolutions, plotted on top of each other: (red, low resolution) with \(96\) points over the range \(r = 10^{-3}\) to \(10^3 \, h^{-1} \textrm{Mpc}\), and (blue, high resolution) with \(768\) points over the range \(r = 10^{-6}\) to \(10^6 \, h^{-1} \textrm{Mpc}\). The lines are dashed where the correlation function is negative, at separations \(r > 119 \, h^{-1} \textrm{Mpc}\). The low and high resolution curves are almost indistinguishable except at \(r > 200 \, h^{-1} \textrm{Mpc}\), where the low resolution curve goes to a constant, while the high resolution curve declines as a power law \(\sim r^{-4}\). The disagreement is caused by aliasing (see §10) of small and large separations in the low resolution case. Aliasing is almost eliminated in the high resolution case because the range \(r = 10^{-6}\) to \(10^6 \, h^{-1} \textrm{Mpc}\) over which the transform was computed is much broader than the range plotted. The straight dashed line shows a power law \(( r / 5 \, h^{-1} \textrm{Mpc} )^{-1.8}\).

Both low and high resolution cases used an unbiased (\(q = 0\)) transform, §9, and a low-ringing value of \(k_0 r_0\), §8 (actually the choice of \(k_0 r_0\) made little difference here).

The middle panel of Figure 2 shows the ratio \(\xi_\textrm{low} / \xi_\textrm{high}\) of the low to high resolution correlation functions.

The bottom panel of Figure 2 shows the ratio \(\xi_\textrm{FFT}\)/\(\xi_\textrm{FFTLog}\) of the correlation function \(\xi_\textrm{FFT}\) computed with a normal FFT (sine transform) with \(1023\) points over the range \(r = 0.125\) to \(128 \, h^{-1} \textrm{Mpc}\), to the high resolution correlation function \(\xi_\textrm{FFTLog}\) computed with FFTLog. The FFT’d correlation function \(\xi_\textrm{FFT}\) rings at the \(\pm 5 \%\) level.

In this particular instance, FFTLog outperforms the normal FFT on all counts: it is more accurate, with fewer points, over a larger range, and it shows no signs of ringing. This does not mean that FFTLog is always better than FFT. Rather, FFTLog is well matched to the problem at hand: the cosmological power spectrum extends over many orders of magnitude in wavenumber \(k\), and varies smoothly in \(\ln k\).

4. Introduction

The FFTLog algorithm was originally proposed by Talman (1978).

Consider the continuous Hankel (= Fourier-Bessel) transform pair \begin{equation} \label{Hkq} \tilde{a}(k) = \int_0^\infty a(r) (kr)^q J_m(kr) k \, d r \ , \quad a(r) = \int_0^\infty \tilde{a}(k) (kr)^{-q} J_m(kr) r \, d k \ . \end{equation} If the substitution \begin{equation} \label{aA} a(r) = A(r) r^{-q} \quad \mbox{and} \quad \tilde{a}(k) = \tilde{A}(k) k^q \end{equation} is made, then the Hankel transform pair (\(\ref{Hkq}\)) becomes equivalent to the transform pair \begin{equation} \label{Hk} \tilde{A}(k) = \int_0^\infty A(r) J_m(kr) k \, d r \ , \quad A(r) = \int_0^\infty \tilde{A}(k) J_m(kr) r \, d k \ . \end{equation} Although the Hankel transform (\(\ref{Hkq}\)) with a power law bias (\(kr)^{\pm q}\) is thus equivalent in the continuous case to the unbiased Hankel transform (\(\ref{Hk}\)), the transforms are different when they are discretized and made periodic; for if \(a(r)\) is periodic, then \(A(r) = a(r) r^q\) is not periodic. FFTLog evaluates discrete Hankel transforms (\(\ref{Hkq}\)) with arbitrary power law bias.

Fourier sine and cosine transforms can be regarded as special cases of Hankel transforms with \(\mu = \pm 1/2\), since \begin{equation} J_{1/2}(x) = \sqrt{2 \over \pi x} \sin x \ , \quad J_{-1/2}(x) = \sqrt{2 \over \pi x} \cos x \ . \end{equation}

As first noted by Siegman (1977), if the product \(kr\) in the Hankel transform is written as \(e^{\ln k + \ln r}\), then the transform becomes a convolution integral in the integration variable \(\ln r\) or \(\ln k\). Convolution is equivalent to multiplication in the corresponding Fourier transform space. Thus the Hankel transform can be computed numerically by the algorithm:

This is the idea behind a number of Fast Hankel Transform (FHT) algorithms (Siegman 1977; Sheng & Siegman 1980; Candel 1981; Anderson 1982; Hansen 1985; Fanning 1996) including FFTLog (Talman 1978).

An advantage of FFTLog, emphasized by Talman (1978), is that the order \(\mu\) of the Bessel function may be any arbitrary real number. In particular, FFTLog works for 1/2-integral \(\mu\), so includes the cases of Fourier sine and cosine transforms, and spherical Hankel transforms involving the spherical Bessel functions \(j_\lambda(x) \equiv \sqrt{\pi / (2 x)} J_{\lambda + 1/2}(x)\).

5. Normal discrete Fourier transform

First, recall the essential properties of the standard discrete Fourier transform of a periodic sequence of linearly spaced points. Suppose that \(a(r)\) is a continuous, in general complex-valued, function that is periodic with period \(R\), \begin{equation} a(r+R) = a(r) \ . \end{equation} Without loss of generality, take the fundamental interval to be \([-R/2,R/2]\), centred at zero. Since \(a(r)\) is periodic, its continuous Fourier transform contains only discrete Fourier modes \(e^{2\pi i m r / R}\) with integral wavenumbers \(m\). Suppose further that the function \(a(r)\) is ‘smooth’ in the specific sense that it is some linear combination only of the \(N\) lowest frequency Fourier modes, \(m = 0 , \pm 1 , ... , \pm [N/2]\), where \([N/2]\) denotes the largest integer less than or equal to \(N/2\), \begin{equation} \label{ar} a(r) = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m e^{2\pi i m r / R} \ , \end{equation} the outermost Fourier coefficients being equal, \(c_{-N/2} = c_{N/2}\), in the case of even \(N\). The primed sum in equation (\(\ref{ar}\)) signifies a sum over integral \(m\) from \([N/2]\) to \([N/2]\), with the proviso that for even \(N\) the outermost elements of the sum receive only half weight: \begin{equation} \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} x_m \equiv \overset{[N/2]}{\underset{m = -[N/2]}{\sum}} w_m x_m \ , \end{equation} with \(w_n = 1\) except that \(w_{-N/2} = w_{N/2} = 1/2\) if \(N\) is even.

The sampling theorem (e.g. Press et al. 1986 §12.1) asserts that, given a function \(a(r)\) satisfying equation (\(\ref{ar}\)), the Fourier coefficients \(c_m\) can be expressed in terms of the values \(a_n \equiv a(r_n)\) of the function \(a(r)\) at the \(N\) discrete points \(r_n = n R / N\) for \(n = 0 , \pm 1 , ... , \pm [N/2]\). For even \(N\), the periodicity of \(a(r)\) ensures that \(a_{-N/2} = a_{N/2}\). Specifically, the sampling theorem asserts that the Fourier coefficients in the expansion (\(\ref{ar}\)) satisfy \begin{equation} \label{cm} c_m = \overset{[N/2]}{\underset{n = -[N/2]}{\left.\sum\right.^{\prime}}} a_n e^{-2\pi i m n / R} \ , \end{equation} the discrete points \(a_n\) themselves satisfying \begin{equation} \label{an} a_n = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m e^{2\pi i m n / R} \end{equation} in accordance with equation (\(\ref{ar}\)).

Equations (\(\ref{cm}\)) and (\(\ref{an}\)) constitute a discrete Fourier transform pair relating two periodic, linearly spaced sequences \(a_n\) and \(c_m\) of length \(N\). The standard FFT evaluates the discrete Fourier transform exactly (that is, to machine precision).

6. Discrete Hankel transform

Now suppose that the, in general complex-valued, function \(a(r)\), instead of being periodic in ordinary space \(r\), is periodic in logarithmic space \(\ln r\), with logarithmic period \(L\), \begin{equation} a(r e^L) = a(r) \ . \end{equation} Take the fundamental interval to be \([\ln r_0 - L/2 , \ln r_0 + L/2 ]\), centred at \(\ln r_0\). As in §5, the periodicity of \(a(r)\) implies that its Fourier transform with respect to \(\ln r\) contains only discrete Fourier modes \(e^{2\pi i m \ln(r/r_0) / L}\) with integral wavenumbers \(m\). Suppose further, as in §5 eq. (\(\ref{ar}\)), that \(a(r)\) contains only the \(N\) lowest frequency Fourier modes, \begin{equation} \label{arl} a(r) = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m e^{2\pi i m \ln(r/r_0) / L} \ , \end{equation} with \(c_{-N/2} = c_{N/2}\) for even \(N\). The sampling theorem asserts that the Fourier coefficients \(c_m\) are given by \begin{equation} \label{cml} c_m = {1 \over N} \overset{[N/2]}{\underset{n = -[N/2]}{\left.\sum\right.^{\prime}}} a_n e^{-2\pi i m n / N} \ , \end{equation} where \(a_n \equiv a(r_n)\) are the values of the function \(a(r)\) at the \(N\) discrete points \(r_n = r_0 e^{n L/N}\) for \(n = 0 , \pm 1 , ... , \pm [N/2]\), \begin{equation} \label{anl} a_n = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m e^{2\pi i m n / N} \end{equation}

The continuous Hankel transform \(\tilde{a}(k)\) equation (\(\ref{Hkq}\)), of a function \(a(r)\) of the form (\(\ref{arl}\)) is \begin{equation} \label{akl} \tilde{a}(k) = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m \int_0^\infty e^{2\pi i m \ln(r/r_0) / L} (kr)^q J_\mu(kr) k \, dr \ . \end{equation} The integrals on the right hand side of equation (\(\ref{akl}\)) can be done analytically, in terms of \begin{equation} \label{U} U_\mu(x) \equiv \int_0^\infty t^x J_\mu(t) dt = 2^x {\Gamma[(\mu+1+x)/2] \over \Gamma[(\mu+1-x)/2]} \ , \end{equation} where \(\Gamma(z)\) is the usual Gamma-function. Thus equation (\(\ref{akl}\)) reduces to \begin{equation} \label{ak} \tilde{a}(k) = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m u_m e^{-2\pi i m \ln(k/k_0) / L} \ , \end{equation} where \(u_m\) is \begin{equation} \label{um} u_m(\mu,q) \equiv (k_0 r_0)^{-2\pi i m/L} U_\mu \left( q + {2\pi i m \over L} \right) \ . \end{equation} Notice that \(u_m^\ast = u_{-m}\), which ensures that \(\tilde{a}(k)\) is real if \(a(r)\) is real. Equation (\(\ref{ak}\)) gives the (exact) continuous Hankel transform \(\tilde{a}(k)\) of a function \(a(r)\) of the form (\(\ref{ar}\)). Like \(a(r)\), the Hankel transform \(\tilde{a}(k)\) is periodic in logarithmic space \(\ln k\), with period \(L\). The fundamental interval is \([ \ln k_0 - L/2 , \ln k_0 + L/2 ]\) centred at \(\ln k_0\), which may be chosen arbitrarily (but see §8 below).

The sampling theorem requires that \(u_{-N/2} = u_{N/2}\) for even \(N\), which is not necessarily satisfied by equation (\(\ref{um}\)). However, at the discrete points \(k_n = k_0 e^{n L/N}\) considered by the sampling theorem, the contributions at \(m = \pm N/2\) to the sum on the right hand side of equation (\(\ref{ak}\)) are \((-)^n c_{N/2} ( u_{N/2} + u_{N/2}^\ast ) / 2 = (-)^n c_{N/2} \mbox{Re} \, u_{N/2}\). Thus the equality (\(\ref{ak}\)) remains true at the discrete points \(k_n\) provided that \(u_{\pm N/2}\) are replaced by their real parts, \begin{equation} \label{ure} u_{\pm [N/2]} \rightarrow \mbox{Re} \, u_{[N/2]} \ . \end{equation} With the replacement (\(\ref{ure}\)), the sampling theorem asserts that the coefficients \(c_m u_m\) in the sum (\(\ref{ak}\)) are determined by the values \(\tilde{a}_n \equiv \tilde{a}(k_n)\) of the Hankel transform at the \(N\) discrete points \(k_n = k_0 e^{n L/N}\) for \(n = 0 , \pm 1 , ... , \pm [N/2]\), \begin{equation} \label{cmum} c_m u_m = {1 \over N} \overset{[N/2]}{\underset{n = -[N/2]}{\left.\sum\right.^{\prime}}} \tilde{a}_n e^{2\pi i m n / N} \ , \end{equation} \begin{equation} \label{hanl} \tilde{a}_n = {1 \over N} \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} c_m u_m e^{- 2\pi i m n / N} \ , \end{equation}

Putting together equations (\(\ref{cml}\)), (\(\ref{anl}\)), (\(\ref{cmum}\)) and (\(\ref{hanl}\)) yields the discrete Hankel transform pair \begin{equation} \label{hn} \tilde{a}_n = \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} v^+_{m+n}(\mu,q) \ , \end{equation} \begin{equation} \label{hm} a_m = \overset{[N/2]}{\underset{n = -[N/2]}{\left.\sum\right.^{\prime}}} v^-_{m+n}(\mu,q) \ , \end{equation} in which the forward discrete Hankel mode \(v^+_n(\mu,q)\) is the discrete Fourier transform of \(u_m(\mu,q)\) given by equations (\(\ref{um}\)) and (\(\ref{ure}\)), \begin{equation} \label{vpn} v^+_n(\mu,q) = {1 \over N} \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} u_m(\mu,q) e^{- 2\pi i m n / N} \ , \end{equation} while the inverse discrete Hankel mode \(v^-_n(\mu,q)\) is the discrete Fourier transform of the reciprocal \(1/u_{-m}(\mu,q)\), \begin{equation} \label{vmn} v^-_n(\mu,q) = {1 \over N} \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} {1 \over u_{-m}(\mu,q)} e^{- 2\pi i m n / N} \ . \end{equation} The Hankel transform matrices \(v^+_{m+n}(\mu,q)\) and \(v^-_{m+n}(\mu,q)\) are mutually inverse, \begin{equation} \label{vv} \overset{[N/2]}{\underset{l = -[N/2]}{\left.\sum\right.^{\prime}}} v^+_{m+l}(\mu,q) v^-_{l+n}(\mu,q) = \delta_{mn} \ , \end{equation} where \(\delta_{mn}\) denotes the Kronecker delta. The forward and inverse Hankel modes have the interesting property of being self-similar; that is, Hankel modes \(v^+_{m+n}(\mu,q)\) [or \(v^-_{m+n}(\mu,q)\)] with different indices \(m\) consist of the same periodic sequence \(v^+_n(\mu,q)\) [or \(v^-_n(\mu,q)\)] cyclically shifted by \(m\) notches.

FFTLog evaluates the forward and inverse discrete Hankel transforms given by equations (\(\ref{hn}\)), (\(\ref{hm}\)), exactly (to machine precision).

The reciprocal \(1 / u_{-m}(\mu,q)\) in equation (\(\ref{vmn}\)) is equal to \(u_m(\mu,-q)\) according to equations (\(\ref{U}\)) and  (\(\ref{um}\)), except in the case \(m = \pm N/2\) for even \(N\), when the replacement (\(\ref{ure}\)) generally invalidates equation (\(\ref{ui}\)), \begin{equation} \label{ui} {1 \over u_{-m}(\mu,q)} = u_m(\mu,-q) \quad ( m \neq \pm N/2 ) \ . \end{equation} However, in the special case where \(u_{\pm N/2}\) is already real, then equation (\(\ref{ure}\)) leaves \(u_{\pm N/2}\) unchanged, and equation (\(\ref{ui}\)) remains valid also at \(m = \pm N/2\). This special case is of particular interest, and is discussed further in §8 below.

In the continuous case, the inverse Hankel transform is equal to the forward transform with \(q \rightarrow -q\), equations (\(\ref{Hkq}\)). In the discrete case this remains true for odd \(N\), but it is not generally true for even \(N\) (the usual choice) except in the important special case discussed in §8.

In the general discrete case (i.e. if the condition [\(\ref{uend}\)] in §8 is not satisfied), the inverse discrete Hankel mode \(v^-_n(\mu,q)\), equation (\(\ref{vmn}\)), differs from the forward Hankel mode \(v^+_n(\mu,-q)\), equation (\(\ref{vpn}\)), only for even \(N\) and only in the coefficient of the highest frequency Fourier component, \(1/u_{-m}(\mu,q)\) versus \(u_m(\mu,-q)\) for \(m = \pm N/2\). To the extent that the highest frequency Fourier coefficient \(c_{\pm N/2}\) of a sequence \(a_n\) is small, the difference between its inverse discrete Hankel transform and its forward transform with \(q \rightarrow -q\) should be small.

It is possible for the inverse discrete Hankel transform to be singular, if \(u_{\pm N/2}\) is purely imaginary, so that its real part vanishes, making \(v^-_n(\mu,q)\) singular. As discussed in §8, this singularity can be avoided by choosing a low-ringing value of \(k_0 r_0\), equation (\(\ref{k0r0}\)).

The forward (inverse) discrete Hankel transforms are also singular at special values of \(\mu\) and \(q\), namely where \(\mu+1+q\) (or \(\mu+1-q\) in the inverse case) is zero or an even negative integer, because \(u_0(\mu,q) \equiv U_\mu(q)\) is singular at these points. This singularity reflects a real singularity in the corresponding continuous Hankel transform (unlike the singularity of the previous paragraph, which is an avoidable artefact of discreteness). The singularity in \(u_0\) leads to an additive infinite constant in the discrete Hankel transform. In physical problems this additive infinite constant may somehow cancel out (for example, in the difference between two Hankel transforms). FFTLog’s strategy in these singular cases is to evaluate the discrete Hankel transform with the infinite constant set to zero, and to issue a warning.

7. FFTLog algorithm

The FFTLog algorithm for taking the discrete Hankel transform, equation (\(\ref{hn}\)), of a sequence \(a_n\) of \(N\) logarithmically spaced points is:

A variant of the algorithm is to sandwich the above operations with power law biasing and unbiasing operations. For example, one way to take the unbiased continuous Hankel transform \(\tilde{A}(k)\) of a function \(A(r)\), equation (\(\ref{Hk}\)), is to bias \(A(r)\) and \(\tilde{A}(k)\) with power laws, equation (\(\ref{aA}\)), and take a biased Hankel transform, equation (\(\ref{Hkq}\)). The discrete equivalent of this is:

Although in the continuous limit the result would be identical to an unbiased Hankel transform, in the discrete case the result differs. With a simple unbiased discrete Hankel transform, it is the sequence \(A_n\) that is taken to be periodic, whereas in the algorithm above it is not \(A_n\) but rather \(a_n\) that is periodic.

The inverse discrete Hankel transform is accomplished by the same series of steps, except that \(c_m\) is divided instead of multiplied by \(u_m\).

The FFTLog code is built on top of the NCAR suite of FFT routines (Swarztrauber 1979), and a modified version of an implementation of the complex Gamma-function from the gamerf package by Ooura (1996).

FFTLog includes driver routines for the specific cases of the Fourier sine and cosine transforms.

8. Low-ringing condition on \(k_0 r_0\)

The central values \(\ln r_0\) and \(\ln k_0\) of the periodic intervals in \(\ln r\) and \(\ln k\) may be chosen arbitrarily. However, ringing of the discrete Hankel transform may be reduced, for either even or odd \(N\), if the product \(k_0 r_0\) is chosen in such a way that the boundary points of the sequence \(u_m\), equation (\(\ref{um}\)), are equal \begin{equation} \label{uend} u_{-N/2} = u_{N/2} \ . \end{equation} Recall that the general procedure, for even \(N\), was to replace \(u_{\pm N/2}\) by their real part, equation (\(\ref{ure}\)). The condition (\(\ref{uend}\)) requires that \(u_{\pm N/2}\) are already real. The condition (\(\ref{uend}\)) reduces ringing because it makes the periodic sequence \(u_m\) fold smoothly across the period boundary at \(m = \pm N/2\).

In addition to reducing ringing, the condition (\(\ref{uend}\)) means that equation (\(\ref{ui}\)) remains true also at \(m = \pm N/2\), so is true for all \(m\). In this case the inverse Hankel mode \(v^-_n(\mu,q)\), equation (\(\ref{vmn}\)), is equal to the forward Hankel mode \(v^+_n(\mu,-q)\) with \(q\) of the opposite sign, \begin{equation} v^-_n(\mu,q) = v^+_n(\mu,-q) = {1 \over N} \overset{[N/2]}{\underset{m = -[N/2]}{\left.\sum\right.^{\prime}}} u_m(\mu,-q) e^{-2\pi i m n / N} \ . \end{equation}

In other words, if condition (\(\ref{uend}\)) is satisfied, then the inverse discrete Hankel transform equals the forward discrete Hankel transform with \(q \rightarrow -q\). This is like the continuous Hankel transform, equations (\(\ref{Hkq}\)), where the inverse transform equals the forward transform with \(q \rightarrow -q\).

The periodicity condition (\(\ref{uend}\)) on \(u_{\pm N/2}\) translates, for real \(\mu\) and \(q\), into a condition on \(k_0 r_0\), \begin{equation} \label{k0r0} \ln(k_0 r_0) = {L \over N} \left\{ {1 \over \pi} \mbox{Arg} \left[ U_\mu \left( q + {\pi i N \over L} \right) \right] + \mbox{integer} \right\} \ . \end{equation} where \(\mbox{Arg} \, z \equiv \mbox{Im} \, \ln z\) denotes the argument of a complex number, and integer is any integer. In other words, to reduce ringing, it may help to choose \(k_0 r_0\) so as to satisfy the condition (\(\ref{k0r0}\)). This is not too much of a restriction, since \(L/N\) is the logarithmic spacing between points (= one notch), so the low-ringing condition (\(\ref{k0r0}\)) allows \(k_0 r_0\) to be chosen to lie within half a notch [\(= L / (2N)\)] of whatever number one chooses, for example within half a notch of \(k_0 r_0 = 1\).

The low-ringing condition (\(\ref{k0r0}\)) is a condition on the phasing of the discrete points \(r_n\) and \(k_n\) at which the discrete Hankel transform is specified. The condition is analogous to, albeit more complicated than, the condition on the usual FFT that discrete frequencies be phased so that their wavenumbers are integers, equation (\(\ref{ar}\)).

FFTLog can be set to use automatically the low-ringing value of \(k_0 r_0\) nearest to any input value of \(k_0 r_0\).

Note that the low-ringing value of \(k_0 r_0\) from condition (\(\ref{k0r0}\)) differs for different \(\mu\), \(q\), and \(L/N\). For example, the sine transform (\(\mu = 1/2\)) and cosine transform (\(\mu = -1/2\)) have different low-ringing values of \(k_0 r_0\).

How else does the choice of \(k_0 r_0\) affect the Hankel transform? Increasing the value of \(\ln(k_0 r_0)\) by one notch \(L/N\) cyclically shifts the discrete Hankel transform \(\tilde{a}_n\), equation (\(\ref{hanl}\)), by one notch to the left, \(\tilde{a}_n \rightarrow \tilde{a}_{n-1}\). In other words, changing \(\ln(k_0 r_0)\) by an integral number of notches shifts the origin of the transform, but leaves the transform otherwise unchanged, as might have been expected.

In practice, since in most cases one is probably using the discrete Hankel transform as an approximation to the continuous transform, one would probably want to use \(k_0 r_0 \approx 1\) (or \(2\), or \(\pi\), according to taste).

9. Unitary Hankel transform

The discrete Hankel transform with both low-ringing \(k_0 r_0\) and no power law bias, \(q = 0\), is of particular interest because it is unitary, like the Fourier transform. Indeed, being also real, the low-ringing unbiased Hankel transform is orthogonal, i.e. self-inverse, like the Fourier sine and cosine transforms. This is like the continuous unbiased (\(q\) = 0) Hankel transform, equations (\(\ref{Hkq}\)), which is self-inverse.

The discrete Hankel modes \(v_n(\mu,0) = v^+_n(\mu,0) = v^-_n(\mu,0)\) in the low-ringing unbiased (\(q = 0\)) case are periodic, orthonormal, and self-similar, equation (\(\ref{vv}\)), \begin{equation} \label{vv0} \overset{[N/2]}{\underset{l = -[N/2]}{\left.\sum\right.^{\prime}}} v^+_{m+l}(\mu,0) v^-_{l+n}(\mu,0) = \delta_{mn} \ . \end{equation}

Like any orthogonal transformation, the low-ringing unbiased (\(q = 0\)) Hankel transform commutes with the operations of matrix multiplication, inversion, and diagonalization (for non-low-ringing or biased Hankel transforms, \(q \neq 0\), the operations do not commute). That is, the Hankel transform of the product of two matrices is equal to the product of their Hankel transforms, and so on.

All else being equal (which it may not be), given a choice between applying an unbiased (\(q = 0\)) or biased (\(q \neq 0\)) Hankel transform, and between a low-ringing \(k_0 r_0\), equation (\(\ref{k0r0}\)), or otherwise, one would be inclined to choose the low-ringing unbiased transform, because of its orthogonality property.

10. Ringing and aliasing

FFTLog suffers from the same problems of ringing (response to sudden steps) and aliasing (periodic folding of frequencies) as the normal FFT.

Usually one is interested in the discrete Fourier or Hankel transform not for its own sake, but rather as an approximation to the continuous transform. The usual procedure would be to apply the discrete transform to a finite segment of the function \(a(r)\) to be transformed. For FFTLog, the procedure can be regarded as involving two steps: truncating the function to a finite logarithmic interval, which causes ringing of the transform; followed by periodic replication of the function in logarithmic space, which causes aliasing.

Ringing and aliasing Figure 3: Illustrates the ringing and aliasing that occurs when the continuous Hankel transform of a function is approximated by the discrete Hankel transform of a finite segment of the function.

The Figure shows the result of taking an unbiased (\(q = 0\)) Hankel transform, equation (\(\ref{Hkq}\)), of order \(\mu = -1/2\) (cosine transform) of a function that is Gaussian in the log \begin{equation} a(r) = \exp[- (\ln r)^2 / 2] \ . \end{equation} Lines are red where values are negative.

The top panels of Figure 3 show on the left the original function \(a(r)\), and on the right its Hankel transform \(\tilde{a}(k)\).

The middle panels of Figure 3 show on the left the truncated function \(a(r)\), and on the right its Hankel transform \(\tilde{a}(k)\). Truncation of \(a(r)\) leads to ringing of its transform \(\tilde{a}(k)\) at large wavenumbers \(k\). The oscillations at large \(k\) are actually uniformly spaced in \(k\), but appear bunched up because of the logarithmic plotting.

The bottom panels of Figure 3 show on the left the truncated, periodically replicated function \(a(r)\), and on the right its corresponding periodically replicated Hankel transform \(\tilde{a}(k)\), which is aliased. Vertical blue lines demarcate periodic intervals. Periodic replication means taking a sum of copies shifted by integral periods. From the definition (\(\ref{Hkq}\)) of the continuous Hankel transform, it can be seen that periodically replicating a function \(a(r)\) in logarithmic space \(\ln r\) and then taking its continuous Hankel transform is equivalent to Hankel transforming the function \(a(r)\) and then periodically replicating the transform \(\tilde{a}(k)\) in \(\ln k\). But truncating a function does not truncate its transform. So whereas a truncated, periodically replicated function \(a(r)\) contains contributions from only one period at each point \(r\), the periodically replicated transform contains overlapping contributions from many periods at each point \(k\). This is aliasing. The aliasing is visible in the bottom right panel of Figure 3 as an enhancement of the periodically replicated transform \(\tilde{a}(k)\) on the high \(k\) side of the periodic interval.

Ringing and aliasing can be reduced by taking suitable precautions.

The ringing that results from taking the discrete transform of a finite segment of a function can be reduced by arranging that the function folds smoothly from large to small scales. It may help to bias the function with a power law before transforming it, as in the second algorithm in §7. It may also help to use a low-ringing value of \(k_0 r_0\), §8.

Aliasing can be reduced by enlarging the periodic interval. Aliasing can be eliminated (to machine precision) if the interval can be enlarged to the point where the transform \(\tilde{a}(k)\) goes sensibly to zero at the boundaries of the period. Note that it is not sufficient to enlarge the interval to the point where \(a(r)\) is sensibly zero at the period boundaries: what is important is that the transform \(\tilde{a}(k)\) goes to zero at the boundaries.

11. Troubleshooting

FFTLog does not work well with my function. What should I do?

12. References, Links

Original version 13 Mar 1999. Converted to mathjax 26 Jan 2018.