Funk transform

Short description: Integral transform

In the mathematical field of integral geometry, the Funk transform (also known as Minkowski–Funk transform, Funk–Radon transform or spherical Radon transform) is an integral transform defined by integrating a function on great circles of the sphere. It was introduced by Paul Funk in 1911, based on the work of (Minkowski 1904). It is closely related to the Radon transform. The original motivation for studying the Funk transform was to describe Zoll metrics on the sphere.

Definition

The Funk transform is defined as follows. Let ƒ be a continuous function on the 2-sphere S² in R³. Then, for a unit vector x, let

[math]\displaystyle{ Ff(\mathbf{x}) = \int_{\mathbf{u}\in C(\mathbf{x})} f(\mathbf{u})\,ds(\mathbf{u}) }[/math]

where the integral is carried out with respect to the arclength ds of the great circle C(x) consisting of all unit vectors perpendicular to x:

[math]\displaystyle{ C(\mathbf{x}) = \{\mathbf{u}\in S^2\mid \mathbf{u}\cdot\mathbf{x}=0\}. }[/math]

Inversion

The Funk transform annihilates all odd functions, and so it is natural to confine attention to the case when ƒ is even. In that case, the Funk transform takes even (continuous) functions to even continuous functions, and is furthermore invertible.

Spherical harmonics

Every square-integrable function [math]\displaystyle{ f\in L^2 (S^2) }[/math] on the sphere can be decomposed into spherical harmonics [math]\displaystyle{ Y_n^k }[/math]

[math]\displaystyle{ f = \sum_{n=0}^{\infty} \sum_{k=-n}^n \hat f (n,k) Y_n^k. }[/math]

Then the Funk transform of f reads

[math]\displaystyle{ F f = \sum_{n=0}^{\infty} \sum_{k=-n}^n P_n(0) \hat f (n,k) Y_n^k }[/math]

where [math]\displaystyle{ P_{2n+1}(0)=0 }[/math] for odd values and

[math]\displaystyle{ P_{2n}(0) = (-1)^n\, \frac{1\cdot 3\cdot 5\cdots 2n-1}{2\cdot 4\cdot 6 \cdots 2n} = (-1)^n\, \frac{(2n-1)!!}{(2n)!!} }[/math]

for even values. This result was shown by (Funk 1913).

Helgason's inversion formula

Another inversion formula is due to (Helgason 1999). As with the Radon transform, the inversion formula relies on the dual transform F* defined by

[math]\displaystyle{ (F^*f)(p,\mathbf{x}) = \frac{1}{2\pi\cos p}\int_{\|\mathbf{u}\|=1,\mathbf{x}\cdot\mathbf{u}=\sin p} f(\mathbf{u})\,|d\mathbf{u}|. }[/math]

This is the average value of the circle function ƒ over circles of arc distance p from the point x. The inverse transform is given by

[math]\displaystyle{ f(\mathbf{x}) = \frac{1}{2\pi}\left\{\frac{d}{du}\int_0^u F^*(Ff)(\cos^{-1}v,\mathbf{x})v(u^2-v^2)^{-1/2}\,dv\right\}_{u=1}. }[/math]

Generalization

The classical formulation is invariant under the rotation group SO(3). It is also possible to formulate the Funk transform in a manner that makes it invariant under the special linear group SL(3,R) (Bailey Eastwood). Suppose that ƒ is a homogeneous function of degree −2 on R³. Then, for linearly independent vectors x and y, define a function φ by the line integral

[math]\displaystyle{ \varphi(\mathbf{x},\mathbf{y}) = \frac{1}{2\pi}\oint f(u\mathbf{x} + v\mathbf{y})(u\,dv-v\,du) }[/math]

taken over a simple closed curve encircling the origin once. The differential form

[math]\displaystyle{ f(u\mathbf{x} + v\mathbf{y})(u\,dv-v\,du) }[/math]

is closed, which follows by the homogeneity of ƒ. By a change of variables, φ satisfies

[math]\displaystyle{ \phi(a\mathbf{x}+b\mathbf{y},c\mathbf{x}+d\mathbf{y}) = \frac{1}{|ad-bc|}\phi(\mathbf{x},\mathbf{y}), }[/math]

and so gives a homogeneous function of degree −1 on the exterior square of R³,

[math]\displaystyle{ Ff(\mathbf{x}\wedge\mathbf{y}) = \phi(\mathbf{x},\mathbf{y}). }[/math]

The function Fƒ : Λ²R³ → R agrees with the Funk transform when ƒ is the degree −2 homogeneous extension of a function on the sphere and the projective space associated to Λ²R³ is identified with the space of all circles on the sphere. Alternatively, Λ²R³ can be identified with R³ in an SL(3,R)-invariant manner, and so the Funk transform F maps smooth even homogeneous functions of degree −2 on R³\{0} to smooth even homogeneous functions of degree −1 on R³\{0}.

Applications

The Funk-Radon transform is used in the Q-Ball method for Diffusion MRI introduced by (Tuch 2004). It is also related to intersection bodies in convex geometry. Let [math]\displaystyle{ K\subset \mathbb R^d }[/math] be a star body with radial function [math]\displaystyle{ \rho_K(\boldsymbol x)=\max\{t:t\boldsymbol x\in K\}, }[/math] [math]\displaystyle{ x\in S^{d-1} }[/math]. Then the intersection body IK of K has the radial function [math]\displaystyle{ \rho_{IK}=F\rho_K }[/math] (Gardner 2006).

See also

• Radon transform
• Spherical mean

References

• Bailey, T. N.; Eastwood, Michael G.; Gover, A. Rod; Mason, L. J. (2003), "Complex analysis and the Funk transform", Journal of the Korean Mathematical Society 40 (4): 577–593, doi:10.4134/JKMS.2003.40.4.577, http://mathnet.kaist.ac.kr/mathnet/kms_tex/980815.pdf 
• Dann, Susanna (2010), On the Minkowski-Funk Transform, Bibcode: 2010arXiv1003.5565D 
• Funk, Paul (1913), "Über Flächen mit lauter geschlossenen geodätischen Linien", Mathematische Annalen 74 (2): 278–300, doi:10.1007/BF01456044, https://zenodo.org/record/1561095 .
• Funk, Paul (1915), "Über eine geometrische Anwendung der Abelschen Integralgleichung", Mathematische Annalen 77 (1): 129–135, doi:10.1007/BF01456824, https://zenodo.org/record/2279295 .
• Guillemin, Victor (1976), "The Radon transform on Zoll surfaces", Advances in Mathematics 22 (1): 85–119, doi:10.1016/0001-8708(76)90139-0 .
• Helgason, Sigurdur (1999), The Radon transform, Progress in Mathematics, 5 (2nd ed.), Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-4109-2 .
• Minkowski, Hermann (1904), "About bodies of constant width", Mathematics Sbornik 25: 505–508 
• Tuch, David S. (2004). "Q-Ball imaging". Magn. Reson. Med. 52 (6): 1358–1372. doi:10.1002/mrm.20279. PMID 15562495. 
• Gardner, Richard J. (2006), Geometric Tomography, Cambridge University Press, ISBN 978-0-521-86680-4