- Research
- Open access
- Published:
The derivative-free Fourier shell identity for photoacoustics
SpringerPlus volume 5, Article number: 1597 (2016)
Abstract
In X-ray tomography, the Fourier slice theorem provides a relationship between the Fourier components of the object being imaged and the measured projection data. The Fourier slice theorem is the basis for X-ray Fourier-based tomographic inversion techniques. A similar relationship, referred to as the ‘Fourier shell identity’ has been previously derived for photoacoustic applications. However, this identity relates the pressure wavefield data function and its normal derivative measured on an arbitrary enclosing aperture to the three-dimensional Fourier transform of the enclosed object evaluated on a sphere. Since the normal derivative of pressure is not normally measured, the applicability of the formulation is limited in this form. In this paper, alternative derivations of the Fourier shell identity in 1D, 2D polar and 3D spherical polar coordinates are presented. The presented formulations do not require the normal derivative of pressure, thereby lending the formulas directly adaptable for Fourier based absorber reconstructions.
Background
Photoacoustics is the generation of acoustic waves as a consequence of the absorption of light energy by an absorbing material and the subsequent thermo-elastic expansion of the material. The method combines the spatial resolution of ultrasound with the contrast of optical absorption for deep imaging in biological tissues (Xu and Wang 2006; Telenkov et al. 2009; Telenkov and Mandelis 2009), and has therefore shown great promise for biomedical imaging applications.
In X-ray tomography, the Fourier slice theorem provides a relationship between the Fourier components of the object being imaged and the measured projection data (Slaney and Kak 1988) and is the basis for Fourier-based inversion techniques (Chandra et al. 2014). A similar relationship for Photoacoustic Tomography (PAT) would also be very useful. Anastasio et al. (2007) derived the “Fourier shell identity”, a mathematical relationship between the pressure wavefield data function, its normal derivative measured on an arbitrary aperture that encloses the object and the three-dimensional (3D) Fourier transform of the optical absorption distribution evaluated on concentric spheres. This relationship can be regarded as the PAT analog of the classic Fourier slice theorem from X-ray tomography. It provides a mapping that relates the temporal Fourier component of the pressure data and its normal derivative to a specified spatial Fourier component of the source object function. The difficulty with Anastasio et al’s derivation is that knowledge of the normal derivative of pressure is required—a value that is not normally obtained through experiments.
In this paper, the Fourier shell identity in 1, 2 and 3 dimensions, such that the normal derivative is not required, are derived and presented. This provides a direct relationship between the temporal Fourier components of the pressure data and the Fourier components of the object function. The Fourier shell identity as derived in this paper requires no additional information than that typically acquired in experiments and thus can be directly used for absorber reconstructions.
Photoacoustic governing equations
Diebold gives a concise explanation of the governing equation for the pressure that results from launching a photoacoustic wave (Diebold 2009). The governing equation is given by
where \( \beta \) is the thermal expansion coefficient, \( c_{s} \) is the speed of sound, \( C_{p} \) is the specific heat, H is the energy per unit volume and time deposited by the optical radiation beam, and \( p\left( {\vec{r},t} \right) \) is the pressure of the acoustic wave, a function of space (\( \vec{r} \)) and time, t. As is common, it is assumed that H is a separable function of space and time, so that \( H\left( {\vec{r},t} \right) = A\left( {\vec{r}} \right)I(t) \). In this work, the temporal Fourier transform is employed with the angular frequency, non-unitary convention for forward and inverse transforms, as given by
where a tilde (\( \sim \)) over the variable has been used to denote a temporal Fourier transform, and assuming suitability of the function f for Fourier transformation. The same formulation can be used to define spatial Fourier transforms, where an overhat notation is used to denote a spatial Fourier transform where the spatial variable \( \vec{r} \) is transformed to the spatial frequency variable \( \vec{\omega } \), so for example \( f\left( {\vec{r}} \right) \) is spatially Fourier transformed to \( \hat{f}\left( {\vec{\omega }} \right) \). Taking the temporal Fourier transform of (1), it then follows that
where \( k = \omega /c_{s} \) is the wave number.
Fourier shell identity
Anastasio et al. (2007) demonstrated a mathematical relationship between the pressure wavefield data function and its normal derivative measured on an arbitrary aperture that encloses the object and the three-dimensional (3D) Fourier transform of the optical absorption distribution evaluated on concentric spheres. They referred this relationship as a ‘Fourier-shell identity’, analogous to the well-known Fourier slice theorem of X-ray tomography. The Fourier-shell identity as derived by Anastasio et al. (2007) is given by
where \( \varOmega_{0} \) is an arbitrary measurement surface that is smooth, closed and encloses the object, \( dS^{\prime} \) is the differential surface element on \( \varOmega_{0} \), \( {\mathbf{\hat{n}^{\prime}}} \) is the outward normal vector to \( \varOmega_{0} \) at the point \( \vec{r}_{0}^{\prime } \in \varOmega_{0} \), \( {\hat{\mathbf{s}}} \) is an arbitrary unit vector and the \( \hat{A}\left( {\vec{\omega }} \right) \) indicates the 3D spatial Fourier transform of \( A\left( {\vec{r}} \right) \).
In practical applications, the normal derivative of the pressure wavefield will not be measured so the Fourier shell identity as given in (4) is not immediately useful. Equation (4) permits determination of concentric ‘shells’ of Fourier components of \( \hat{A}\left( {\vec{\omega } = k{\hat{\mathbf{s}}}} \right) \) from knowledge of \( \tilde{p}\left( {\vec{r}_{0}^{\prime } ,k} \right) \) and its derivative along the \( {\mathbf{\hat{n}^{\prime}}} \). Because \( {\hat{\mathbf{s}}} \) can be chosen to specify any direction, \( \hat{A}\left( {\vec{\omega } = k{\hat{\mathbf{s}}}} \right) \) specifies the Fourier components of \( \hat{A}\left( {\vec{\omega }} \right) \) that reside on a spherical surface of radius |k|, whose center is at the origin.
It is shown in the proceeding sections how Eq. (4) can be made specific for the 1D, 2D polar and 3D spherical polar cases. The identity is also re-derived in those three cases so that the derivative of pressure does not appear in the formulation.
Analysis in 1D
Fourier shell identity in 1D
Using the same approach as used for the original derivation in Anastasio et al. (2007), it is shown in the “Appendix” that the 1D expression of the Fourier shell identity is given by
Equation (5) is the 1D equivalent of Eq. (4), the Fourier shell identity. In Eq. (5), the overhat indicates a spatial Fourier transform in the 1D spatial variable, z, meaning that the spatial variable z transforms to the spatial frequency variable \( \omega_{z} \). Equation (5) at first appears different from Anastasio’s formulation in Eq. (4). The source of this apparent difference is that in it is necessary to enclose the source function and to do so in 1D, the “detecting surface” must be located at both \( z = \pm z_{0} \). This follows because a detector at only one of \( z = \pm z_{0} \) will not enclose the source.
Multivariable Fourier analysis
To proceed with the derivation in this manuscript, the photoacoustic Eq. (1) is considered in one dimensional Cartesian coordinates so that position is a function of z only, \( \vec{r} = \left( z \right) \). Taking the temporal Fourier transform of (1) (denoted with an over-tilde) so that time, t, transforms to the temporal frequency variable \( \omega \), and then further taking a spatial Fourier transform (denoted with an overhat) in the spatial variable, z, so that spatial variable z transforms to the spatial frequency variable \( \omega_{z} \), leads to
where \( k = \omega /c_{s} \) is the wave number.
The Fourier shell theorem in 1D
From (6), the inverse spatial Fourier transform can be computed with the help of the appropriate choice of Theorem 5 from Baddour (2011). The third option of Theorem 5 from Baddour (2011) states that the following result holds true:
Assuming that \( \hat{A}\left( {\omega_{z} } \right) \) has no poles and remains bounded, then the application of the inverse spatial Fourier transform (2) to (6), while making use of the identity in (7) gives
Equation (8) is the statement of the Fourier shell identity in 1D. This result is very powerful as it relates the temporal Fourier components of pressure \( \tilde{p}\left( {z,\omega } \right) \) directly to \( \hat{A}\left( k \right) \), which represents the Fourier components of the spatial Fourier transform of the absorber evaluated at \( \omega_{z} = k \) where \( k = \omega /c_{s} \). It is shown in the next section that this is exactly the same as the result derived by Anastasio et al. (2007) for the Fourier shell identity, however Eq. (8) does not require knowledge of the derivative of pressure and thus can be easily inverted. For example, Eq. (8) implies measurements made at some detector location \( z = z_{0} < 0 \) (measurement in reflection) can be used to write
Hence, the success in being able to reconstruct \( A\left( z \right) \) is partly in the ability to gather sufficient (k intensive) information about \( \hat{A}\left( k \right) \) to enable the inverse spatial Fourier transform to be computed.
Assuming \( z = z_{0} < 0 \) (which corresponds to a measurement in reflection) and using (9), then
Equation (10) requires measurements of \( \tilde{p}\left( {z_{0} ,\omega } \right) \) and \( \tilde{I}\left( \omega \right) \) at a sufficiently wide bandwidth to enable the Fourier integral to be computed or approximated. In Eq. (10), the \( z_{0} /c_{s} \) term in the exponential represents the time taken for the signal to travel from the absorber to the detector and that time is an indication of the spatial location of the absorber. The term in front of the integral is simply a scaling term. Therefore, Eq. (10) states that the absorber profile in space can be found by finding the inverse temporal Fourier transform \( \bar{A}\left( t \right) = {\mathbb{F}}^{ - 1} \left\{ {\tilde{p}\left( {z_{0} ,\omega } \right)/\tilde{I}\left( \omega \right)|\omega \to t} \right\} \) via well known numerical techniques for calculating Fourier transforms and then scaling \( A\left( z \right) = \bar{A}\left( {c_{s} t} \right) \) to find the shape of the absorber function as a function of space.
Comparison with the Fourier shell identity
Now, Eq. (5) is the “Fourier shell identity” as put forward by Anastasio et al. (2007), where the temporal Fourier component of pressure values \( \tilde{p}(z_{0} ,k) \) and its derivative are related to the values of a specified Fourier component, \( \hat{A}\left( k \right) \). The problem with the formulation in (5) is the requirement for measurements of the derivative of \( \tilde{p}(z_{0} ,k) \), which does not occur in practice. However, it can be shown that the formulation presented in this paper, as given in Eq. (8), leads to the same result in Eq. (5).
Using the newly derived form of the Fourier shell theorem as given in Eq. (8), evaluate
Simplifying (11) gives
Hence, the version of the Fourier shell theorem in 1D as presented in Eq. (8) satisfies the Fourier shell identity in 1D as derived by Anastasio et al. (2007) and shown in Eq. (5). However, the formulation of Eq. (8) provides a useful alternative since no knowledge or measurement of the derivative of pressure is required.
Analysis in 2D polar coordinates
2D polar coordinates
For a 2D function in polar coordinates, the function can be written as \( f\left( {\vec{r}} \right) = f(r,\theta ) \) and the \( \theta \) dependence can be expanded into a Fourier series due to the \( 2\pi \) periodicity of the function in \( \theta \). Hence,
where the Fourier coefficients \( f_{n} (r) \) can be found from
The process of finding \( f_{n} (r) \) from \( f(r,\theta ) \) can be thought of as a “forward Fourier series transform” where the continuous \( \theta \) variable is transformed to the discrete (although infinite) \( n \) variable. The reverse transform is the process of performing the summation over the discrete n variable, as given in Eq. (13), to recover the original function as a continuous function of \( \theta \). The use of the Discrete Fourier Transform (DFT) via fast algorithms such as the FFT (Cooley and Tukey 1965) to numerically compute the continuous, infinite expressions of (13) and (14) has received much attention in the literature. There is a large body of work on how well the continuous Fourier transform or series can be approximated with the discrete FFT, for example in Epstein (2005).
A transform that is quite useful in 2D polar coordinates is the Hankel transform of order n, defined by the integral (Chirikjian and Kyatkin 2000)
where \( J_{n} (z) \) is the nth order Bessel function. In 2D coordinates, the overhat symbol \( \hat{f} \) is used to denote a Hankel transform. The superscript \( \left( n \right) \) is used as a reminder of the order of the Hankel transform—in this case an nth order Hankel transform. If \( n > - 1/2 \), the transform is self-reciprocating and the inversion formula is given by
The Laplacian in 2D polar coordinates is given by
For a 2D function in polar coordinates as given by (13), the Laplacian gives
Hence, for a function written in the form of Eq. (13), the required form of the Laplacian is denoted with \( \nabla_{n}^{2} \) where this operator is defined by
Consider the application of an nth order Hankel transform to the 2D Laplacian \( \nabla_{n}^{2} \) of any function of r only, \( {\mathbb{H}}_{n} \left\{ {\nabla_{n}^{2} g(r)} \right\} \):
where the second line follows from a simple application of integration by parts and the definition of the nth order Hankel transform. In other words, the nth order Hankel transform of the nth order Laplacian of any function \( g\left( r \right) \) is the product of \( - \rho^{2} \) and the nth order Hankel transform of \( g\left( r \right) \). As is familiar from Fourier theory, derivatives transform to products under a suitable choice of integral transform. It is noted that the use of the Laplacian \( \nabla_{n}^{2} \) necessitates an nth order Hankel transform to give the desired simple result in (20).
Fourier shell identity in 2D
To proceed with the derivation in 2D, the equation for pressure (3) is again considered, and only the forward Fourier series transform is taken. Specifically, \( \tilde{p}_{n} \left( {r,k} \right) \) are the Fourier series coefficients of \( \tilde{p}\left( {r,\theta ,k} \right) \) via (14) and similarly \( A_{n} \left( r \right) \) are the Fourier series coefficients of \( A\left( r \right) \), also via Eq. (14). Hence, from (3), the relationship between them is given by
It is shown in the “Appendix” that the Fourier shell identity stated in 2D is given by
In Eq. (22), \( \hat{A}_{n}^{\left( n \right)} \left( k \right) \) is the nth order Hankel transform of \( A_{n} \left( r \right) \) evaluated at \( \rho = k \) and \( r = r_{0} \) is the location where a measurement is made. The tilde refers to a temporal Fourier transform, the overhat refers to a forward Hankel transform and the superscript (n) indicates the order of the transform. Equation (22) is the 2D statement of Eq. (4), the Fourier shell identity, where it is noted that the value of \( \tilde{p}_{n} (r_{0} ,k) \) and its derivative in the radial direction are required.
Multivariable Fourier analysis
From the equation for pressure (3), two dimensional polar coordinates are assumed so that position is a function of radius and angle, \( \vec{r} = \left( {r,\theta } \right) \). Then, the forward Fourier series transform it taken, followed by an nth order Hankel transform. Specifically, \( \tilde{p}\left( {r,\theta ,k} \right) \) transforms to \( \tilde{p}_{n} \left( {r,k} \right) \) via (14), which in turn transforms to \( \hat{\tilde{p}}_{n}^{\left( n \right)} \left( {\rho ,k} \right) \) via (15), an nth order Hankel transform of the nth term in the Fourier series for \( \tilde{p}\left( {r,\theta ,k} \right) \). Symbolically, \( \tilde{p}\left( {r,\theta ,k} \right) \to \tilde{p}_{n} \left( {r,k} \right) \to \hat{\tilde{p}}_{n}^{\left( n \right)} \left( {\rho ,k} \right) \). The same applies to the absorber function so that \( A\left( {r,\theta } \right) \to A_{n} \left( r \right) \to \hat{A}_{n}^{\left( n \right)} \left( \rho \right) \), and furthermore the Laplacian transforms under the same set of operations as \( \nabla^{2} \to \nabla_{n}^{2} \to - \rho^{2} \). The overhat with superscript \( \left( n \right) \) denotes an nth order Hankel transform, and the subscript of n indicates the nth term of the Fourier series. Taking transforms and then cleaning up gives
Fourier shell theorem in 2D polar coordinates
It is shown in Baddour (2011) that the following result holds true
Here, \( \phi \) is an analytic function defined on the positive real line that remains bounded as x goes to infinity (has no poles), \( H_{n}^{(2)} \left( x \right) \) is a Hankel function of order n. Given the definition of the Fourier transform that is being currently used, the result in (24) satisfies the Sommerfeld radiation condition, ensuring an outwardly propagating wave.
Returning to Eq. (23), the inverse Hankel transform can be taken the help of the theorem shown in Eq. (24). Assuming that \( \hat{A}_{n}^{\left( n \right)} \left( \rho \right) \) has no poles and remains bounded, then
Equation (25) is the statement of the Fourier shell theorem in 2D. This result if very powerful as it relates the temporal Fourier components of pressure \( \tilde{p}_{n} \left( {r,k} \right) \) to the Hankel components of \( \hat{A}_{n}^{\left( n \right)} \left( k \right) \). Equation (25) is also easily invertible. Meaning, given measurements made at some detector location \( r = r_{0} \), then
Hence, the success in being able to reconstruct \( A\left( {\vec{r}} \right) = A\left( {r,\theta } \right) \) is partly in the ability to gather sufficient (k intensive) information about \( \hat{A}_{n}^{\left( n \right)} \left( k \right) \) to enable the inverse Hankel transform to be computed via
Equations (26) and (27) require measurements at a sufficiently wide bandwidth to enable the integral in (27) to be computed or approximated. The second challenge is the computation of a sufficient number of \( A_{n} \left( r \right) \) terms (sufficient n) to enable \( A\left( {\vec{r}} \right) = A\left( {r,\theta } \right) \) to be reconstructed from (or an approximation to)
From (27), a sufficient number of \( A_{n} \left( r \right) \) terms is a consequence of a sufficient number of \( \tilde{p}_{n} \left( {r_{0} ,k} \right) \) terms, which means that sufficient angular data must be collected to enable \( \tilde{p}_{n} \left( {r_{0} ,k} \right) \) to be calculated or approximated from
Comparison with the Fourier shell identity
Equation (22) is the Fourier shell identity as put forward by Anastasio et al. (2007), where the temporal Fourier component of pressure values \( \tilde{p}_{n} (r,k) \) and its derivative are related to the values of a specified Hankel component, \( \hat{A}_{n}^{\left( n \right)} \left( k \right) \). The problem with the formulation in (22) is the requirement for measurements of the derivative of \( \tilde{p}_{n} (r,k) \), which does not occur in practice. However, it can be shown that the present formulation, as given in Eq. (25) leads to the same result as in (22). Using the expression for \( \tilde{p}_{n} (r,k) \) given in (25), it can be substituted into the left hand side of (22) to evaluate
which simplifies to
There exist well known Wronskian relationships for the Bessel functions (Abramowitz and Stegun 1964; Olver et al. 2010), given by
Hence, using Eq. (32), Eq. (31) simplifies to
This is exactly the same expression as on the right hand side of (22), which implies that the results derived in the previous section and those derived by Anastasio et al. (2007) are identical. However, the formulation proposed here, namely Eq. (25) provides a useful alternative since no knowledge or measurement of the derivative of pressure is required.
Analysis in 3D spherical polar coordinates
3D spherical polar coordinates
For a 3D function in spherical polar coordinates,\( f\left( {\vec{r}} \right) = f\left( {r,\psi ,\theta } \right) \), where \( 0 \le \psi \le \pi \) represents the colatitude which ranges from 0 at the North Pole, to π/2 at the Equator, to π at the South Pole and \( 0 \le \theta \le 2\pi \) represents the longitude (azimuth angle). The angular dependence can be expanded into a spherical harmonic series (similar to a Fourier series in 2D polar coordinates) so that the function can be written as
where the spherical harmonic coefficients in the series are given by
The \( Y_{l}^{m} (\psi ,\theta ) \) are spherical harmonics, solutions to the angular portion of Laplace’s equation in spherical polar coordinates, and can be shown to be orthogonal. These spherical harmonics are given by (Chirikjian and Kyatkin 2000)
where \( Y_{l}^{m} \) is a called a spherical harmonic function of degree \( l \) and order m, and \( P_{l}^{m} \) is an associated Legendre function. The coefficients \( f_{l}^{m} \left( r \right) \) are sometimes referred to as the spherical Fourier transform of \( f\left( {r,\psi ,\theta } \right) \) (Telenkov et al. 2009). The process of finding \( f_{l}^{m} \left( r \right) \) from \( f\left( {r,\psi ,\theta } \right) \) can be thought of as a “forward spherical Fourier series transform” where the continuous \( \left( {\psi ,\theta } \right) \) variables are transformed to the discrete (although infinite) \( m,l \) variables. The reverse transform is the process of performing the summation over the discrete \( m,l \) variables, as given in (34), to recover the original continuous function.
A transform that is useful in spherical polar coordinates is the spherical Hankel transform and its inverse. These are defined as (Bracewell 1999; Piessens 2000)
\( {\mathbb{S}}_{n} \) is used to specifically denote the spherical Hankel transform of order n. The spherical Hankel transform is particularly useful for problems involving spherical symmetry.
The Laplacian in 3D spherical polar coordinates is given by
For a 3D function in spherical coordinates as given by (34), the Laplacian simplifies to
Hence, from (39) it can be seen that for a function written in the form of (34), the required form of the 3D Laplacian is denoted with \( \nabla_{l}^{2} \) where this operator is defined by
Consider the application of an nth order spherical Hankel transform to the 3D Laplacian \( \nabla_{n}^{2} \) of any function of r only, \( {\mathbb{S}}_{n} \left\{ {\nabla_{n}^{2} g(r)} \right\} \):
A simple application of integration by parts along with the definition of an nth order spherical Bessel function gives
In other words, the nth order spherical Hankel transform of the nth order 3D Laplacian of \( g\left( r \right) \) is the product of \( - \rho^{2} \) and the nth order spherical Hankel transform of g. As seen before, derivatives transform to products under the appropriate choice of transform.
Fourier shell theorem in 3D spherical polar coordinates
The analysis returns to the equation for pressure, (3) and proceeds by taking only the forward spherical harmonic transform. Specifically, \( \tilde{p}\left( {r,\psi ,\theta ,k} \right) \) transforms to \( \tilde{p}_{l}^{m} \left( {r,k} \right) \) via (35), the Laplacian transform to \( \nabla_{l}^{2} \) and finally \( A\left( {r,\psi ,\theta } \right) \) transform to \( A_{l}^{m\;} \left( r \right) \), also via Eq. (35). This gives
It is shown in the “Appendix” that the Fourier shell identity stated in 3D is given by
Equation (44) is 3D statement of Eq. (4), the Fourier shell identity. In (44), the tilde refers to a temporal Fourier transform, the overhat refers to a forward spherical Hankel transform, and the \( \left( l \right) \) superscript refers to order of the spherical Hankel transform.
Multivariable Fourier analysis
Taking the temporal Fourier transform of (1) and assuming three dimensional spherical polar coordinates so that position is a function of radius and angle, \( \vec{r} = \left( {r,\psi ,\theta } \right) \), it follows that
where \( k = \omega /c_{s} \) is the wave number. Now take the forward spherical harmonic transform, followed by an nth order spherical Hankel transform of Eq. (45). Specifically, \( \tilde{p}\left( {r,\psi ,\theta ,k} \right) \) transforms to \( \tilde{p}_{l}^{m} \left( {r,k} \right) \) via (35), which in turn transforms to \( \hat{\tilde{p}}_{l}^{m\;\left( l \right)} \left( {\rho ,k} \right) \) via (37), an lth order spherical Hankel transform of the \( _{l}^{m} \) th term in the spherical harmonic series for \( \tilde{p}\left( {r,\psi ,\theta ,k} \right) \). Symbolically, \( \tilde{p}\left( {r,\psi ,\theta ,k} \right) \to \tilde{p}_{l}^{m} \left( {r,k} \right) \to \hat{\tilde{p}}_{l}^{m\;\left( l \right)} \left( {\rho ,k} \right) \). The same applies to \( A\left( {r,\psi ,\theta } \right) \to A_{l}^{m} \left( r \right) \to \hat{A}_{l}^{m\;\left( l \right)} \left( \rho \right) \) and the Laplacian transforms under the same set of operations as \( \nabla^{2} \to \nabla_{l}^{2} \to - \rho^{2} \). The overhat with superscript \( \left( l \right) \) denotes an lth order spherical Hankel transform, and the \( _{l}^{m} \) indicates the \( _{l}^{m} \) th term of the spherical hamornic series. Taking transforms and then cleaning up Eq. (45) gives
Fourier shell theorem in 3D polar coordinates
It is shown in Baddour (2011) that the following result holds true
Here, \( \phi \) is an analytic function defined on the positive real line that remains bounded as x goes to infinity (has no poles), \( h_{n}^{(2)} \left( x \right) \) is a spherical Hankel function of order n. Given the definition of the Fourier transform that is being currently used, the presented result satisfies the Sommerfeld radiation condition, ensuring an outwardly propagating wave.
Returning to Eq. (46), the inverse spherical Hankel transform can be taken with the help of the theorem in Eq. (47). Assuming that \( \hat{A}_{l}^{m\;\left( l \right)} \left( \rho \right) \) has no poles and remains bounded, then
Equation (48) is the statement of the Fourier shell theorem in 3D. This result if very powerful as it relates the temporal Fourier components of pressure \( \tilde{p}_{l}^{m\;\left( l \right)} \left( {r,k} \right) \) to the Hankel components of \( \hat{A}_{l}^{m\;\left( l \right)} \left( k \right) \). Equation (48) is also easily invertible. Meaning, given measurements made at some detector location \( r = r_{0} \), then
Hence, the success in being able to reconstruct \( A\left( {\vec{r}} \right) = A\left( {r,\psi ,\theta } \right) \) is partly in the ability to gather sufficient (k intensive) information about \( \hat{A}_{l}^{m\;\left( l \right)} \left( k \right) \) to enable the inverse spherical Hankel transform to be computed via
Equations (49) and (50) require measurements at a sufficiently wide bandwidth to enable the integral in (50) to be computed or approximated. The second challenge is the computation of a sufficient number of \( A_{l}^{m\;} \left( r \right) \) terms (sufficient m, l) to enable \( A\left( {\vec{r}} \right) = A\left( {r,\psi ,\theta } \right) \) to be reconstructed from
From (49), a sufficient number of \( A_{l}^{m\;} \left( r \right) \) terms is a consequence of a sufficient number of \( \tilde{p}_{l}^{m} \left( {r_{0} ,k} \right) \) terms, which means that sufficient angular data must be collected to enable \( \tilde{p}_{l}^{m} \left( {r_{0} ,k} \right) \) to be calculated or approximated from
Comparison with the Fourier shell identity
Equation (44) is the 3D version of the “Fourier shell identity” as put forward by Anastasio et al. (2007), where the temporal Fourier component of pressure values \( \tilde{p}_{l}^{m} \left( {r,k} \right) \) and its derivative are related to the values of a specified Hankel component, \( \hat{A}_{l}^{m\;\left( l \right)} \left( k \right) \). The problem with the formulation in (44) is the requirement for measurements of the derivative of \( \tilde{p}_{n} (r,k) \), which does not occur in practice. However, it can be shown that the present formulation, as given in Eq. (48) leads to the same result as in (44). Using the expression for \( \tilde{p}_{l}^{m} \left( {r,k} \right) \) given in (48), it can be substituted into the left hand side of (44) to evaluate
which simplifies to
Making us of the well-known Wronskian relationship for spherical Bessel functions (Abramowitz and Stegun 1964; Olver et al. 2010) given by
then Eq. (54) simplifies to
Equation (56) is exactly the same expression as on the right hand side of (44), which implies that the results derived in the previous section and those derived by Anastasio et al. (2007) are identical. However, the formulation of the Fourier shell theorem proposed here, namely Eq. (48) provides a useful alternative since no knowledge or measurement of the derivative of pressure is required.
Summary and conclusions
In this paper, re-derived and derivative-free formulations of the Fourier shell identity were presented in 1D, 2D polar and 3D spherical polar coordinates. These were shown to be equivalent to the previously derived Fourier shell identity (Anastasio et al. 2007), however knowledge of the derivative of pressure is not required, hence lending the formulas directly applicable to Fourier-based absorber reconstruction schemes. The formulas are restated here as a summary.
In 1D, the Fourier shell identity is given by
In Eq. (57), the \( \sim \) refers to a temporal Fourier transform and the overhat refers to a 1D spatial Fourier transform.
In 2D polar coordinates, the Fourier shell identity is given by
In Eq. (58), the n subscript refers to the nth Fourier coefficient in the Fourier series. The overhat refers to a forward Hankel transform, the superscript (n) refers to the order of the Hankel transform and \( H_{n}^{(2)} \left( x \right) \) is a Hankel function of order n.
In 3D spherical polar coordinates, the Fourier shell identity is given by
In Eq. (59), the \( _{l}^{m} \) subscript/superscript refer to the \( _{l}^{m} \) term in the spherical harmonic series expansion, the overhat refers to a forward spherical Hankel transform, the \( \left( l \right) \) superscript refers to order of the spherical Hankel transform and \( h_{n}^{(2)} \left( x \right) \) is a spherical Hankel function of order n.
References
Abramowitz M, Stegun I (1964) Handbook of mathematical functions with formulas, graphs, and mathematical tables. Dover, New York
Anastasio MA, Zhang J, Modgil D, Rivière PJL (2007) Application of inverse source concepts to photoacoustic tomography. Inverse Probl. 23(6):S21
Baddour N (2011) Multidimensional wave field signal theory: mathematical foundations. AIP Adv. 1(2):022120
Bracewell R (1999) The Fourier transform and its applications. McGraw-Hill, New York
Chandra SS, Normand N, Kingston A, Guedon J, Svalbe I (2014) Robust digital image reconstruction via the discrete fourier slice theorem. IEEE Signal Process Lett 21(6):682–686
Chirikjian GS, Kyatkin AB (2000) Engineering applications of noncommutative harmonic analysis. CRC Press, Boca Raton
Cooley JW, Tukey JW (1965) An algorithm for the machine calculation of complex Fourier series. Math Comput 19(90):297–301
Diebold G (2009) Photoacoustic monopole radiation: waves from objects with symmetry in one, two, and three dimensions. In: Wang L (ed) Photoacoustic imaging and spectroscopy, vol 144. CRC Press, Boca Raton, pp 3–17
Epstein CL (2005) How well does the finite Fourier transform approximate the Fourier transform? Commun Pure Appl Math 58(10):1421–1435
Olver FWJ, Lozier DW, Boisvert RF, Clark CW (2010) NIST handbook of mathematical functions, 1 Har/Cdr. Cambridge University Press, Cambridge
Piessens R (2000) The Hankel transform. In: Poularikas AD (ed) The transforms and applications handbook, vol 2. CRC Press, Boca Raton, pp 9.1–9.30
Slaney M, Kak A (1988) Principles of computerized tomographic imaging. SIAM, Philadelphia
Telenkov SA, Mandelis A (2009) Photothermoacoustic imaging of biological tissues: maximum depth characterization comparison of time and frequency-domain measurements. J Biomed Opt 14(4):044025–044025–12
Telenkov S, Mandelis A, Lashkari B, Forcht M (2009) Frequency-domain photothermoacoustics: alternative imaging modality of biological tissues. J Appl Phys 105(10):102029
Xu M, Wang LV (2006) Photoacoustic imaging in biomedicine. Rev Sci Instrum 77(4):041101.1–041101.22
Acknowledgements
This research was financially supported by the Natural Sciences and Engineering Research Council of Canada.
Competing interests
The author declares that she has no competing interests.
Author information
Authors and Affiliations
Corresponding author
Appendix: Proofs
Appendix: Proofs
The Fourier shell theorem in 1D
By following the same procedure used in Anastasio et al. (2007), it can be shown that the Fourier shell identity result presented in “Fourier shell identity in 1D” section is consistent with the result as derived by Anastasio et al. (2007). Anastasio et al. wrote their proof in very general terms and here we make it concrete for the 1D Cartesian coordinate case.
Starting with the equation for pressure in the frequency domain:
Furthermore, the complex exponentials \( e^{ \pm ikz} \) both satisfy the Helmholtz equation:
Multiplying Eq. (60) by \( e^{ - ikz} \) and Eq. (61) by \( \tilde{p}(z,k) \) and subtracting gives
Integrating both sides from \( - z_{0} \) to \( z_{0} \) and using integration by parts gives
which becomes
or
It was assumed in Anastasio et al. (2007) that the measurement surface \( \varOmega_{0} \), which is here \( \pm z_{0} \), completely encloses the source function. This means that \( A\left( z \right) \) has compact support and the integration limits on the right hand side of (65) can be taken to infinite without loss of generality. This implies that
where the overhat indicates a spatial Fourier transform and the transform \( \hat{A}\left( {\omega_{z} } \right) \) is evaluated at \( \omega_{z} = k \). Under this assumption of the measurement surface enclosing the source, then
which can be rearranged as
Equation (68) is 1D equivalent of Eq. (4), the Fourier shell identity. Equation (68) at first appears more complicated than Anastasio’s formulation. The apparent difficulty is that in it is necessary to enclose the source function. To enclose the source function in 1D, we need to set up a “detecting surface” at both \( z = \pm z_{0} \) because a detector only at \( z = z_{0} \) will not enclose the source.
The Fourier shell identity in 2D
By following the same procedure used in Anastasio et al. (2007), it can be shown that the Fourier shell identity result given in “Fourier shell identity in 2D” section is consistent with the result as derived by Anastasio et al. (2007). Anastasio et al. wrote their proof in very general terms and here we make it concrete for the 2D polar coordinates.
Starting with the equation for pressure, (3) and taking only the forward Fourier series transform gives
Furthermore, from the definition of the Bessel functions themselves via Bessel’s equation, the Bessel functions satisfy the homogeneous Helmholtz equation in the forward Fourier series space, such that
Multiplying Eq. (69) by \( J_{n} \left( {kr} \right) \) and Eq. (70) by \( \tilde{p}_{n} (r,k) \) and subtracting gives
Multiplying both sides by r and using the fact that
gives
Integrating both sides from 0 to some fixed \( r_{0} \) and using integration by parts gives
It was assumed in Anastasio et al. (2007) that the measurement surface \( \varOmega_{0} \), which is here \( r = r_{0} \), completely encloses the source function. This means that \( A\left( {r,\theta } \right) \) has compact support and the integration limits on the right hand side of (65) can be taken to infinite without loss of generality. This implies that
where the overhat indicates a Hankel transform and the Hankel transform \( \hat{A}^{\left( n \right)} \left( \rho \right) \) is evaluated at \( \rho = k \). Hence, Eq. (74) becomes
The Fourier shell identity in 3D
By following the same procedure used in Anastasio et al. (2007), it can be shown that the Fourier shell identity result given in “Fourier shell theorem in 3D spherical polar coordinates” section is consistent with the result as derived by Anastasio et al. (2007). Anastasio et al. wrote their proof in very general terms and here we make it concrete for the 3D spherical polar coordinates.
Starting with the equation for pressure (3) and taking only the forward spherical harmonic transform gives
Furthermore, from the definition of the spherical Bessel functions themselves via Bessel’s equation, the spherical Bessel functions satisfy the homogeneous Helmholtz equation in the forward spherical harmonic series space, such that
Multiplying Eq. (77) by \( j_{l} \left( {kr} \right) \) and Eq. (78) by \( \tilde{p}_{n} (r,k) \) and subtracting gives
Multiplying both sides by \( r^{2} \) and using the fact that
gives
Integrating both sides from 0 to some fixed \( r_{0} \) and using integration by parts gives
It was assumed in Anastasio et al. (2007) that the measurement surface \( \varOmega_{0} \), which is here \( r = r_{0} \), completely encloses the source function. This means that \( A\left( {r,\psi ,\theta } \right) \) has compact support and the integration limits on the right hand side of (82) can be taken to infinite without loss of generality. It then follows that
where the overhat indicates a spherical Hankel transform and the Hankel transform \( A_{l}^{m\left( l \right)} \left( \rho \right) \) is evaluated at \( \rho = k \). Hence, Eq. (82) becomes
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Baddour, N. The derivative-free Fourier shell identity for photoacoustics. SpringerPlus 5, 1597 (2016). https://doi.org/10.1186/s40064-016-3294-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-3294-y