AMathematical supplements
A.1 Definitions
Below is a list of definitions for function that are frequently used in this thesis.
◦ Rectangular function ( 1 for |x| ≤ 1 rect(x) = 2 (A.1.1) 0 otherwise
◦ Circular function in Cartesian coordinates ( 1 1 for x2 + y2 ≤ 1 circ(x, y) = rect x2 + y2 = (A.1.2) 2 0 otherwise
◦ Circular function in spherical coordinates ( 1 1 for r ≤ 1 circ(r) = rect r = 2 0 otherwise
157 D. Hillmann, Holoscopy, Aktuelle Forschung Medizintechnik – Latest Research in Medical Engineering, DOI 10.1007/978-3-658-06479-2, © Springer Fachmedien Wiesbaden 2014 158 Appendix A. Mathematical supplements
◦ Triangle function ( 1 − |x| for |x| ≤ 1 4(x) = (A.1.3) 0 otherwise
◦ Sinc function sin(πx) sinc(x) = (A.1.4) πx ◦ Dirac comb-distribution
+∞ n comb(ax) = ∑ δ x − (A.1.5) n=−∞ a
◦ Step function ( 1 for x ≥ 0 Θ(x) = (A.1.6) 0 otherwise
◦ Signum function +1 for x > 0 sgn(x) = 0 for x = 0 (A.1.7) −1 for x < 0
◦ Hann window function with spatial width X
( 1 2π 2 1 + cos X x for −X/2 ≤ x ≤ X/2 hX(x) = (A.1.8) 0 otherwise
◦ Gaussian window function x2 gσ(x) = exp − 2σ2
◦ The dilated Kaiser-Bessel window [59,60] as used for the NFFT (Section 2.1.3.3) with oversampling α and cut-off parameter m √ sinh(b m2−α2 N2x2) √ | | < m 2 2 2 2 for x N w(x) = π √m −α N x α (A.1.9) sin(b α2 N2x2−m2) √ otherwise, π α2 N2x2−m2 A.2. Useful identities 159
with the parameter b given by
1 b = π 2 − . α
◦ Of special importance is also the convolution of two function f (x) and g(x) defined by ( f ∗ g)(x) = dx0 f x0g x − x0. Z A.2 Useful identities
◦ The Dirac comb-distribution can be represented as Fourier series
1 +∞ comb(ax) = ∑ ei2πnx/a a n=−∞
◦ The triangle function 4(x) is the convolution of the rectangular function rect(x) with itself. This follows directly from (A.3.1) in combination with (A.3.10) and (A.3.9) 4(x) = rect(x) ∗ rect(x)
◦ The convolution is commutative and associative
f ∗ g = g ∗ f and ( f ∗ g) ∗ h = f ∗ (g ∗ h)
A.3 The Fourier transform
A.3.1 Properties of the Fourier transform ◦ Linearity F [a f (x) + bg(x)] = aF [ f (x)] + bF [g(x)]
◦ Applying the Fourier transform twice corresponds to scaling and mirroring in the origin F [F [ f (x)]] = 2π f (−x)
◦ If f (x) is real-valued, i.e. f (x) ∈ R its Fourier transform has Hermitian symmetry F [ f (x)] ∈ R, f˜(k) = f˜∗(−k) 160 Appendix A. Mathematical supplements
◦ Fourier transform of a Hermitian symmetric function is a real function
f (x) = f ∗(−x) ⇔ f˜(k) ∈ R
f (x) ∈ R and f (x) = f (−x) ⇔ f˜(k) ∈ R
◦ Convolution theorem F [ f (x)] · F [g(x)] = F [( f ∗ g)(x)] = F dx0 f (x0)g(x0 − x) (A.3.1) Z
◦ Scaling of the argument
1 k F [ f (ax)] = f˜ (A.3.2) |a| a
◦ Shifting of the argument
−1 +ik0x F f˜(k − k0) = f (x)e (A.3.3)
◦ Scaling of the Fourier kernel
dz f (z)e−iαkz = f˜(αk) Z
◦ Differentiation ∂ f (x) F = ik f˜(k) (A.3.4) ∂x
◦ Parseval’s theorem 1 dx f (x)g∗(x) = dk f˜(k)g˜∗(k) (A.3.5) 2π Z Z
◦ Plancherel’s theorem
2 1 2 dx | f (x)| = dk f˜(k) (A.3.6) 2π Z Z
◦ Fourier transform of a rotationally symmetric function f (r, φ) = f (r) in A.3. The Fourier transform 161
spherical coordinates, x = r cos φ and y = r sin φ, i.e. q 2 2 2 f˜(kx, ky) = d x f x + y exp −i kxx + kyy . Z This gives the Fourier