Efficient Solution Methods for Inverse Problems with Application to Tomography Radon Transform and Friends

Size: px
Start display at page:

Download "Efficient Solution Methods for Inverse Problems with Application to Tomography Radon Transform and Friends"

Transcription

1 Efficient Solution Methods for Inverse Problems with Application to Tomography Radon Transform and Friends Alfred K. Louis Institut für Angewandte Mathematik Universität des Saarlandes Saarbrücken and Novosibirsk NSU, October, 2011 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 1 / 37

2 Content 1 Radon Transform and Basic Properties 2 Ray Transforms 3 Inversion Formulas for Radon Transform 4 Resolution, Stability 5 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 2 / 37

3 Content Radon Transform and Basic Properties 1 Radon Transform and Basic Properties 2 Ray Transforms 3 Inversion Formulas for Radon Transform 4 Resolution, Stability 5 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 3 / 37

4 Radon Transform and Basic Properties X-Ray Tomography Assumptions: X-Rays travel on straight lines Attenuation proportional to path length Attenuation proportional to number of photons Radon Transform I = I t f g L = ln(i 0 /I L ) = L f dt Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 4 / 37

5 Radon Transform and Basic Properties X-Ray Tomography Assumptions: X-Rays travel on straight lines Attenuation proportional to path length Attenuation proportional to number of photons Radon Transform I = I t f g L = ln(i 0 /I L ) = L f dt Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 4 / 37

6 Radon Transform and Basic Properties Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 5 / 37

7 Radon Transform and Basic Properties Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 6 / 37

8 Radon Transform Radon Transform and Basic Properties Rf (θ, s) = θ S 1 and s R. Transform for fixed direction = f (x)δ(s x θ)dx R 2 f (sθ + tθ )dt R R θ f (s) = Rf (θ, s) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 7 / 37

9 Radon Transform and Basic Properties Radon Transform in Hihger Dimensions Rf (θ, s) = f (x)δ(s x θ)dx R N Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 8 / 37

10 Radon Transform and Basic Properties Properties of the Radon Transform Assume all integrals exist Rf (θ, s)ψ(s)ds = R f (x)ψ(x θ)dx R N Proof: Rf (θ, s)ψ(s)ds = f (x)δ(s x θ)dxψ(s)ds R R R N = f (x) ψ(s)δ(s x θ)dsdx R N R Example: Put ψ(s) = (2π) 1/2 exp( ısσ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 9 / 37

11 Application Radon Transform and Basic Properties Put ψ(s) = s m, then ( Rf (θ, s)s m ds = f (x) x θ ) m dx R R N = p m (θ) where p m is a polynomial of degree m in θ. See Consistency Conditions. Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 10 / 37

12 Radon Transform and Basic Properties Projection Theorem Fourier Transform ˆf (ξ) = (2π) N/2 f (x) exp( ıx ξ)dx R N Projection Theorem Rf (θ, σ) = (2π) (N 1)/2ˆf (σθ) Basis for inversion formulas, continuity results etc. Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 11 / 37

13 Exercise Radon Transform and Basic Properties Compute the 2D Radon transform of Example 1: Example 2: f (x) = f (x) = { 1 : x 1 0 : otherwise { 1 : x 1and x : otherwise Example 3: { 1 : ( x 1 f (x) = a ) 2 + ( x 2 b ) : otherwise Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 12 / 37

14 Radon Transform and Basic Properties Invariance Properties Translation: Let T1 a f (x) = f (x a). Then RT a 1 = T a θ 2 R with T2 t g(θ, s) = g(θ, s t). Rotation: Let T 1 Uf (x) = f (Ux) where U is a unitary matrix. Then RT U 1 = T U 2 R where T2 U g(θ, s) = g(uθ, s). Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 13 / 37

15 Radon Transform and Basic Properties Invariance Properties, Cont d Dilation: r > 0 Rf (rθ, rs) = r 1 Rf (θ, s) General Transform: Let T1 A f (x) = f (Ax) where A is a regular matrix. Then RT1 A = T 2 A R where ( A T2 A T g(θ, s) = det θ A A T θ g A T θ, s ) A T. θ Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 14 / 37

16 Radon Transform and Basic Properties Radon Transform and Derivatives Proof: Use Projection Theorem RD α f (θ, s) = θ α α Rf (θ, s) s α R = 2 s 2 R R θ D α f (σ) = (2π) (N 1)/2 (D α f )(σθ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 15 / 37

17 Radon Transform and Basic Properties Radon Transform and Derivatives Proof: Use Projection Theorem RD α f (θ, s) = θ α α Rf (θ, s) s α R = 2 s 2 R R θ D α f (σ) = (2π) (N 1)/2 (D α f )(σθ) = (2π) (N 1)/2 ı α (σθ) αˆf (σθ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 15 / 37

18 Radon Transform and Basic Properties Radon Transform and Derivatives Proof: Use Projection Theorem RD α f (θ, s) = θ α α Rf (θ, s) s α R = 2 s 2 R R θ D α f (σ) = (2π) (N 1)/2 (D α f )(σθ) = (2π) (N 1)/2 ı α (σθ) αˆf (σθ) = ı α σ α θ α Rθ f (σ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 15 / 37

19 Radon Transform and Basic Properties Radon Transform and Derivatives Proof: Use Projection Theorem RD α f (θ, s) = θ α α Rf (θ, s) s α R = 2 s 2 R R θ D α f (σ) = (2π) (N 1)/2 (D α f )(σθ) = (2π) (N 1)/2 ı α (σθ) αˆf (σθ) = ı α σ α θ α Rθ f (σ) = θ α D α R θ f (σ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 15 / 37

20 Continuity Radon Transform and Basic Properties Let Ω R N be bounded, C N 1 = S N 1 R R : L 2 (Ω) L 2 (C N 1 ) compact R : L 2 (Ω) H (N 1)/2 (C N 1 ) bounded, Natterer, 1979 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 16 / 37

21 Content Ray Transforms 1 Radon Transform and Basic Properties 2 Ray Transforms 3 Inversion Formulas for Radon Transform 4 Resolution, Stability 5 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 17 / 37

22 Ray Transforms Ray Transforms Transverse Ray Transform (P w)(ξ, s) = Longitudinal Ray Transform (Pw)(ξ, s) = 1 s 2 w(sξ + tξ ), ξ dt. 1 s 2 1 s 2 w(sξ + tξ ), ξ dt. 1 s 2 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 18 / 37

23 Ray Transforms Ray Transforms Transverse Ray Transform (P w)(ξ, s) = Longitudinal Ray Transform (Pw)(ξ, s) = 1 s 2 w(sξ + tξ ), ξ dt. 1 s 2 1 s 2 w(sξ + tξ ), ξ dt. 1 s 2 For fixed direction ξ the transforms can be rewritten as (P w)(ξ, s) = R ξ (w ξ)(s), (Pw)(ξ, s) = R ξ (w ξ )(s). Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 18 / 37

24 Ray Transforms Ray Transforms Transverse Ray Transform (P w)(ξ, s) = Longitudinal Ray Transform (Pw)(ξ, s) = 1 s 2 w(sξ + tξ ), ξ dt. 1 s 2 1 s 2 w(sξ + tξ ), ξ dt. 1 s 2 For fixed direction ξ the transforms can be rewritten as (P w)(ξ, s) = R ξ (w ξ)(s), (Pw)(ξ, s) = R ξ (w ξ )(s). Questions: Ask Derevtsov, Sharafutdinov! Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 18 / 37

25 Decompositions Ray Transforms w can be decomposed uniquely in a sum of potential, solenoidal and harmonic parts (Helmholtz-Hodge decomposition), w = ϕ + w s + h, div w s = 0, ϕ B = 0, w s, ν B = 0, where ϕ is a potential vector field, ϕ H 1 0 (B), w s is a solenoidal vector field, h is a harmonic vector field, with h to be harmonic function, and ν is the vector of outer to B normal. Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 19 / 37

26 Null Spaces Ray Transforms Lemma For potentials ϕ H0 1 (B) the following relations hold P ( ϕ ) = P ( ϕ ) = s ( Rϕ ) and P ( ϕ ) = P ( ϕ ) = 0. Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 20 / 37

27 Null Spaces Ray Transforms Lemma For potentials ϕ H0 1 (B) the following relations hold P ( ϕ ) = P ( ϕ ) = s ( Rϕ ) and P ( ϕ ) = P ( ϕ ) = 0. P ( ϕ ) (ξ, s) = R ξ ( ϕ ξ )(s) = ξ ξ s ( Rξ ϕ ) (s) = 0 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 20 / 37

28 Content Inversion Formulas for Radon Transform 1 Radon Transform and Basic Properties 2 Ray Transforms 3 Inversion Formulas for Radon Transform 4 Resolution, Stability 5 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 21 / 37

29 Inversion Formulas for Radon Transform Inversion Formula Let α < N. Then R 1 = 1 2 (2π)1 N I α R I α+1 N where R is the adjoint operator from L 2 to L 2 known as backprojection R g(x) = g(θ, x θ)dθ S N 1 and the Riesz potential I α is defined with the Fourier transform Î α g(θ, σ) = σ α ĝ(θ, σ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 22 / 37

30 Proof Inversion Formulas for Radon Transform I α f (x) = (2π) N/2 R N e ıx ξ ξ αˆf (ξ)dξ Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 23 / 37

31 Proof Inversion Formulas for Radon Transform I α f (x) = (2π) R N/2 e ıx ξ ξ αˆf (ξ)dξ N = (2π) N/2 e ıσx θ σ N 1 αˆf (σθ)dσdθ S N 1 0 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 23 / 37

32 Proof Inversion Formulas for Radon Transform I α f (x) = (2π) R N/2 e ıx ξ ξ αˆf (ξ)dξ N = (2π) N/2 e ıσx θ σ N 1 αˆf (σθ)dσdθ S N 1 0 = (2π) N+1/2 e ıσx θ σ N 1 α Rf (θ, σ)dσdθ S N 1 0 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 23 / 37

33 Proof Inversion Formulas for Radon Transform I α f (x) = (2π) R N/2 e ıx ξ ξ αˆf (ξ)dξ N = (2π) N/2 e ıσx θ σ N 1 αˆf (σθ)dσdθ S N 1 0 = (2π) N+1/2 e ıσx θ σ N 1 α Rf (θ, σ)dσdθ S N 1 0 = 1 2 (2π) N+1/2 e ıσx θ S N 1 σ N 1 α Rf (θ, σ)dσdθ Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 23 / 37

34 Proof Inversion Formulas for Radon Transform I α f (x) = (2π) R N/2 e ıx ξ ξ αˆf (ξ)dξ N = (2π) N/2 e ıσx θ σ N 1 αˆf (σθ)dσdθ S N 1 0 = (2π) N+1/2 e ıσx θ σ N 1 α Rf (θ, σ)dσdθ S N 1 0 = 1 2 (2π) N+1/2 e ıσx θ S N 1 σ N 1 α Rf (θ, σ)dσdθ = 1 2 S (2π) N+1 I α+1 N Rf (θ, x θ)dθ N 1 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 23 / 37

35 Inversion Formulas for Radon Transform Local vs. Nonlocal Formulas N even N odd where H Hilbert transform I 1 N g = ( 1) (N 2)/2 Hg N 1 I 1 N g = ( 1) (N 1)/2 g N 1 Hg(s) = 1 π g(t) s t dt Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 24 / 37

36 Content Resolution, Stability 1 Radon Transform and Basic Properties 2 Ray Transforms 3 Inversion Formulas for Radon Transform 4 Resolution, Stability 5 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 25 / 37

37 Resolution, Stability Singular Value Decomposition Consider the Radon transform for w(s) = (1 s 2 ) 1/2 R : L 2 (Ω) L 2 (C 1, w 1 ) Then π σ ml = 2, l = 0,, m, m 0 m + 1 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 26 / 37

38 Resolution, Stability Singular Value Decomposition Consider the Radon transform for w(s) = (1 s 2 ) 1/2 Then Problem midly ill-posed R : L 2 (Ω) L 2 (C 1, w 1 ) π σ ml = 2, l = 0,, m, m 0 m + 1 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 26 / 37

39 Resolution, Stability Singular Value Decomposition Consider the Radon transform for w(s) = (1 s 2 ) 1/2 Then R : L 2 (Ω) L 2 (C 1, w 1 ) π σ ml = 2, l = 0,, m, m 0 m + 1 Problem midly ill-posed Singular functions: Zernike and Chebychev polynomials and spherical harmonics Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 26 / 37

40 Idea of Derivation Resolution, Stability U(α) rotation, θ(ϕ) S 1, then U(α)θ(ϕ) = θ(ϕ α) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 27 / 37

41 Idea of Derivation Resolution, Stability U(α) rotation, θ(ϕ) S 1, then U(α)θ(ϕ) = θ(ϕ α) Spherical harmonics Y l (θ(ϑ)) = e ılϑ, decompose f (x) = f (rθ(ϑ)) = f l (r)y l (θ(ϑ)) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 27 / 37

42 Idea of Derivation Resolution, Stability U(α) rotation, θ(ϕ) S 1, then U(α)θ(ϕ) = θ(ϕ α) Spherical harmonics Y l (θ(ϑ)) = e ılϑ, decompose f (x) = f (rθ(ϑ)) = f l (r)y l (θ(ϑ)) R(r r f ) = (s s 1)Rf R(r f ) = (s2 r 2 s 2 2s s + 2)Rf Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 27 / 37

43 Resolution, Stability Idea of Derivation U(α) rotation, θ(ϕ) S 1, then U(α)θ(ϕ) = θ(ϕ α) Spherical harmonics Y l (θ(ϑ)) = e ılϑ, decompose f (x) = f (rθ(ϑ)) = f l (r)y l (θ(ϑ)) R(r r f ) = (s s 1)Rf R(r f ) = (s2 r 2 s 2 2s s + 2)Rf Spherical Harmonics are eigenfunctions of Laplace-Beltrami operator, then RD r (m) = D s (m)r Eigenfunctions of the differential operators give radial part. Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 27 / 37

44 Resolution, Stability Limited Angle Transform Data missing for ϕ Φ < π/2 π σ ml = 2 λ(m, l, Φ), l = 0,, m, m 0 m + 1 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 28 / 37

45 Resolution, Stability Limited Angle Transform Data missing for ϕ Φ < π/2 π σ ml = 2 λ(m, l, Φ), l = 0,, m, m 0 m + 1 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 28 / 37

46 Resolution, Stability Problem extremely ill-posed for f H 1/2 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 29 / 37

47 Resolution, Stability Problem extremely ill-posed for f H 1/2 But some parts can be well recovered Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 29 / 37

48 Resolution, Stability Problem extremely ill-posed for f H 1/2 But some parts can be well recovered See SVD or Wavefront Sets ( Quinto ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 29 / 37

49 Resolution, Stability Problem extremely ill-posed for f H 1/2 But some parts can be well recovered See SVD or Wavefront Sets ( Quinto ) Limited Angle Transform R Φ : L 2 (Ω) L 2 (S Φ [ 1, 1]) where S Φ = {θ(ϕ) : ϕ Φ} is not rotaional invariant, hence reconstuction kernel ψ x (θ, s) even for mollifier E( x y ). Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 29 / 37

50 Resolution, Stability Limited Angle Reconstructionn 0 in missing range: Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 30 / 37

51 Resolution, Stability Limited Angle Reconstructionn 0 in missing range: Reconstruction with full and limited data from Syncrotron Measurements Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 30 / 37

52 Resolution, Stability Resolution Sampling theorems, Shannon, Petersen-Middleton Null Space for finitely many data Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 31 / 37

53 Resolution, Stability Resolution Sampling theorems, Shannon, Petersen-Middleton Null Space for finitely many data CT: data Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 31 / 37

54 Resolution, Stability Resolution Sampling theorems, Shannon, Petersen-Middleton Null Space for finitely many data CT: data Resolution: Object size / 1000 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 31 / 37

55 Content Algorithms 1 Radon Transform and Basic Properties 2 Ray Transforms 3 Inversion Formulas for Radon Transform 4 Resolution, Stability 5 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 32 / 37

56 Filter Algorithms Replace σ by σ F γ (σ) Shepp-Logan: for σ 1: F(σ/γ) = sinc(σπ/2) Filter with ψ γ (s) = u(s) = γ 2π 3 u(γs) π/2 s sin s π 2 /4 s 2 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 33 / 37

57 Filter Algorithms Replace σ by σ F γ (σ) Shepp-Logan: for σ 1: Filter with F(σ/γ) = sinc(σπ/2) ψ γ (s) = u(s) = γ 2π 3 u(γs) π/2 s sin s π 2 /4 s 2 For s = lh and γ = π/h, h detector spacing ψ γ (s l ) = γ2 π l 2 Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 33 / 37

58 Algorithm Algorithms Based on Approximate Inverse and Trapezoidal Rule Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 34 / 37

59 Algorithm Algorithms Based on Approximate Inverse and Trapezoidal Rule Filtered Backprojection Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 34 / 37

60 Algorithm Algorithms Based on Approximate Inverse and Trapezoidal Rule Filtered Backprojection Filtering the data q(ω, s) = Rf (ω, t)ψ γ (s t)dt = h k ψ γ (s s k )Rf (ω l, s k ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 34 / 37

61 Algorithm Continued Algorithms Backprojection f γ (x) = q(ω, x ω)dω S 1 = π L (1 η)q(ω l, s k ) + ηq(ω l, s k+1 ) L l=1 kh x ω l < (k + 1)h η = x ω l /h k Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 35 / 37

62 Algorithms Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 36 / 37

63 Iterative Algorithms Algorithms ART and variants Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 37 / 37

64 Iterative Algorithms Algorithms ART and variants Preferable for incomplete data Laminography etc Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 37 / 37

65 Iterative Algorithms Algorithms ART and variants Preferable for incomplete data Laminography etc EM algorithms for very noisy data ( Emission Tomography: SPECT ) Alfred K. Louis Universität des Saarlandes Solution Methods & Tomography 37 / 37

Feature Reconstruction in Tomography

Feature Reconstruction in Tomography Feature Reconstruction in Tomography Alfred K. Louis Institut für Angewandte Mathematik Universität des Saarlandes 66041 Saarbrücken http://www.num.uni-sb.de louis@num.uni-sb.de Wien, July 20, 2009 Images

More information

LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE

LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE TOMOGRAPHY Jürgen Frikel 4 LECTURES 1 Today: Introduction to the mathematics of computerized tomography 2 Mathematics of computerized tomography

More information

1 Radon Transform and X-Ray CT

1 Radon Transform and X-Ray CT Radon Transform and X-Ray CT In this section we look at an important class of imaging problems, the inverse Radon transform. We have seen that X-ray CT (Computerized Tomography) involves the reconstruction

More information

The Radon transform. Chris Stolk. December 18, 2014

The Radon transform. Chris Stolk. December 18, 2014 The Radon transform Chris Stolk December 18, 2014 1 Introduction In two dimensions the Radon transform is an integral transform that maps a function to its integrals over lines. Let θ S 1 and s R then

More information

Recent progress on the explicit inversion of geodesic X-ray transforms

Recent progress on the explicit inversion of geodesic X-ray transforms Recent progress on the explicit inversion of geodesic X-ray transforms François Monard Department of Mathematics, University of Washington. Geometric Analysis and PDE seminar University of Cambridge, May

More information

Numerical Methods for geodesic X-ray transforms and applications to open theoretical questions

Numerical Methods for geodesic X-ray transforms and applications to open theoretical questions Numerical Methods for geodesic X-ray transforms and applications to open theoretical questions François Monard Department of Mathematics, University of Washington. Nov. 13, 2014 UW Numerical Analysis Research

More information

Inverse problems in statistics

Inverse problems in statistics Inverse problems in statistics Laurent Cavalier (Université Aix-Marseille 1, France) YES, Eurandom, 10 October 2011 p. 1/27 Table of contents YES, Eurandom, 10 October 2011 p. 2/27 Table of contents 1)

More information

Lecture 9 February 2, 2016

Lecture 9 February 2, 2016 MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture 9 February 2, 26 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda:

More information

Inversions of ray transforms on simple surfaces

Inversions of ray transforms on simple surfaces Inversions of ray transforms on simple surfaces François Monard Department of Mathematics, University of Washington. June 09, 2015 Institut Henri Poincaré - Program on Inverse problems 1 / 42 Outline 1

More information

Microlocal Methods in X-ray Tomography

Microlocal Methods in X-ray Tomography Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods

More information

Application of local operators for numerical reconstruction of the singular support of a vector field by its known ray transforms

Application of local operators for numerical reconstruction of the singular support of a vector field by its known ray transforms Application of local operators for numerical reconstruction of the singular support of a vector field by its known ray transforms E Yu Derevtsov 1, V V Pickalov 2 and T Schuster 3 1 Sobolev Institute of

More information

Maximal Entropy for Reconstruction of Back Projection Images

Maximal Entropy for Reconstruction of Back Projection Images Maximal Entropy for Reconstruction of Back Projection Images Tryphon Georgiou Department of Electrical and Computer Engineering University of Minnesota Minneapolis, MN 5545 Peter J Olver Department of

More information

LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE

LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE TOMOGRAPHY Jürgen Frikel 4 LECTURES 1 Nov. 11: Introduction to the mathematics of computerized tomography 2 Today: Introduction to the basic concepts

More information

The Mathematics of Computerized Tomography

The Mathematics of Computerized Tomography The Mathematics of Computerized Tomography The Mathematics of Computerized Tomography F. Natterer University of Münster Federal Republic of Germany B. G. TEUBNER Stuttgart @) JOHN WILEY & SONS Chichester.

More information

EE 4372 Tomography. Carlos E. Davila, Dept. of Electrical Engineering Southern Methodist University

EE 4372 Tomography. Carlos E. Davila, Dept. of Electrical Engineering Southern Methodist University EE 4372 Tomography Carlos E. Davila, Dept. of Electrical Engineering Southern Methodist University EE 4372, SMU Department of Electrical Engineering 86 Tomography: Background 1-D Fourier Transform: F(

More information

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition

More information

Applied Mathematics Masters Examination Fall 2016, August 18, 1 4 pm.

Applied Mathematics Masters Examination Fall 2016, August 18, 1 4 pm. Applied Mathematics Masters Examination Fall 16, August 18, 1 4 pm. Each of the fifteen numbered questions is worth points. All questions will be graded, but your score for the examination will be the

More information

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th, EXAM MATHEMATICAL METHODS OF PHYSICS TRACK ANALYSIS (Chapters I-V) Thursday, June 7th, 1-13 Students who are entitled to a lighter version of the exam may skip problems 1, 8-11 and 16 Consider the differential

More information

Restoration of Missing Data in Limited Angle Tomography Based on Helgason- Ludwig Consistency Conditions

Restoration of Missing Data in Limited Angle Tomography Based on Helgason- Ludwig Consistency Conditions Restoration of Missing Data in Limited Angle Tomography Based on Helgason- Ludwig Consistency Conditions Yixing Huang, Oliver Taubmann, Xiaolin Huang, Guenter Lauritsch, Andreas Maier 26.01. 2017 Pattern

More information

ROI Reconstruction in CT

ROI Reconstruction in CT Reconstruction in CT From Tomo reconstruction in the 21st centery, IEEE Sig. Proc. Magazine (R.Clackdoyle M.Defrise) L. Desbat TIMC-IMAG September 10, 2013 L. Desbat Reconstruction in CT Outline 1 CT Radiology

More information

UNIVERSITY of LIMERICK OLLSCOIL LUIMNIGH

UNIVERSITY of LIMERICK OLLSCOIL LUIMNIGH UNIVERSITY of LIMERICK OLLSCOIL LUIMNIGH Faculty of Science and Engineering Department of Mathematics and Statistics END OF SEMESTER ASSESSMENT PAPER MODULE CODE: MA4006 SEMESTER: Spring 2011 MODULE TITLE:

More information

Asymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends

Asymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends Asymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends Kenichi ITO (University of Tokyo) joint work with Erik SKIBSTED (Aarhus University) 3 July 2018 Example: Free

More information

Singular value decomposition and its application to numerical inversion for ray transforms in 2D vector tomography

Singular value decomposition and its application to numerical inversion for ray transforms in 2D vector tomography J. Inverse Ill-Posed Probl., Ahead of Print DOI 1.1515/JIIP.211.47 de Gruyter 211 Singular value decomposition and its application to numerical inversion for ray transforms in 2D vector tomography Evgeny

More information

PHYS 404 Lecture 1: Legendre Functions

PHYS 404 Lecture 1: Legendre Functions PHYS 404 Lecture 1: Legendre Functions Dr. Vasileios Lempesis PHYS 404 - LECTURE 1 DR. V. LEMPESIS 1 Legendre Functions physical justification Legendre functions or Legendre polynomials are the solutions

More information

Hamburger Beiträge zur Angewandten Mathematik

Hamburger Beiträge zur Angewandten Mathematik Hamburger Beiträge zur Angewandten Mathematik Error Estimates for Filtered Back Projection Matthias Beckmann and Armin Iske Nr. 2015-03 January 2015 Error Estimates for Filtered Back Projection Matthias

More information

Inverse Transport Problems (Generalized) Stability Estimates. Guillaume Bal

Inverse Transport Problems (Generalized) Stability Estimates. Guillaume Bal Inverse Transport Problems (Generalized) Stability Estimates Guillaume Bal Department of Applied Physics & Applied Mathematics Columbia University Joint with Alexandre Jollivet Data Acquisition in CT-scan

More information

An Inversion Method for the Exponential Radon Transform Basedonthe Harmonic Analysis of the Euclidean Motion Group

An Inversion Method for the Exponential Radon Transform Basedonthe Harmonic Analysis of the Euclidean Motion Group An Inversion Method for the Exponential Radon Transform Basedonthe Harmonic Analysis of the Euclidean Motion Group Can Evren Yarman and Birsen Yazıcı Department of Electrical, Computer and System Engineering,

More information

An integral formula for L 2 -eigenfunctions of a fourth order Bessel-type differential operator

An integral formula for L 2 -eigenfunctions of a fourth order Bessel-type differential operator An integral formula for L -eigenfunctions of a fourth order Bessel-type differential operator Toshiyuki Kobayashi Graduate School of Mathematical Sciences The University of Tokyo 3-8-1 Komaba, Meguro,

More information

Optimized analytic reconstruction for SPECT

Optimized analytic reconstruction for SPECT Jean-Pol Guillement, Roman Novikov To cite this version: Jean-Pol Guillement, Roman Novikov. Optimized analytic reconstruction for SPECT. Journal of Inverse ill-posed Problems, De Gruter, 2012, 20 (4),

More information

Non-abelian Radon transform and its applications

Non-abelian Radon transform and its applications Non-abelian Radon transform and its applications Roman Novikov CNRS, Centre de Mathématiques Appliquées, Ecole Polytechnique March 23, 2017 1/25 Consider the equation θ x ψ +A(x,θ)ψ = 0, x R d, θ S d 1,

More information

Radon Transform An Introduction

Radon Transform An Introduction Radon Transform An Introduction Yi-Hsuan Lin The Radon transform is widely applicable to tomography, the creation of an image from the scattering data associated to crosssectional scans of an object. If

More information

Inverse problems in statistics

Inverse problems in statistics Inverse problems in statistics Laurent Cavalier (Université Aix-Marseille 1, France) Yale, May 2 2011 p. 1/35 Introduction There exist many fields where inverse problems appear Astronomy (Hubble satellite).

More information

Quadrature Formula for Computed Tomography

Quadrature Formula for Computed Tomography Quadrature Formula for Computed Tomography orislav ojanov, Guergana Petrova August 13, 009 Abstract We give a bivariate analog of the Micchelli-Rivlin quadrature for computing the integral of a function

More information

A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY

A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY PLAMEN STEFANOV 1. Introduction Let (M, g) be a compact Riemannian manifold with boundary. The geodesic ray transform I of symmetric 2-tensor fields f is

More information

Evolution equations with spectral methods: the case of the wave equation

Evolution equations with spectral methods: the case of the wave equation Evolution equations with spectral methods: the case of the wave equation Jerome.Novak@obspm.fr Laboratoire de l Univers et de ses Théories (LUTH) CNRS / Observatoire de Paris, France in collaboration with

More information

Salmon: Lectures on partial differential equations

Salmon: Lectures on partial differential equations 6. The wave equation Of the 3 basic equations derived in the previous section, we have already discussed the heat equation, (1) θ t = κθ xx + Q( x,t). In this section we discuss the wave equation, () θ

More information

An inverse source problem in optical molecular imaging

An inverse source problem in optical molecular imaging An inverse source problem in optical molecular imaging Plamen Stefanov 1 Gunther Uhlmann 2 1 2 University of Washington Formulation Direct Problem Singular Operators Inverse Problem Proof Conclusion Figure:

More information

The X-ray transform for a non-abelian connection in two dimensions

The X-ray transform for a non-abelian connection in two dimensions The X-ray transform for a non-abelian connection in two dimensions David Finch Department of Mathematics Oregon State University Corvallis, OR, 97331, USA Gunther Uhlmann Department of Mathematics University

More information

Introduction to the Mathematics of Medical Imaging

Introduction to the Mathematics of Medical Imaging Introduction to the Mathematics of Medical Imaging Second Edition Charles L. Epstein University of Pennsylvania Philadelphia, Pennsylvania EiaJTL Society for Industrial and Applied Mathematics Philadelphia

More information

Kernel-based Image Reconstruction from scattered Radon data by (anisotropic) positive definite functions

Kernel-based Image Reconstruction from scattered Radon data by (anisotropic) positive definite functions Kernel-based Image Reconstruction from scattered Radon data by (anisotropic) positive definite functions Stefano De Marchi 1 February 5, 2016 1 Joint work with A. Iske (Hamburg, D), A. Sironi (Lousanne,

More information

Laplace s Equation. Chapter Mean Value Formulas

Laplace s Equation. Chapter Mean Value Formulas Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic

More information

UNIVERSITY OF MANITOBA

UNIVERSITY OF MANITOBA Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic

More information

Welcome back to PHY 3305

Welcome back to PHY 3305 Welcome back to PHY 3305 Today s Lecture: Hydrogen Atom Part I John von Neumann 1903-1957 One-Dimensional Atom To analyze the hydrogen atom, we must solve the Schrodinger equation for the Coulomb potential

More information

Chapter 7: Bounded Operators in Hilbert Spaces

Chapter 7: Bounded Operators in Hilbert Spaces Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84

More information

An Introduction to X-ray tomography and Radon Transforms

An Introduction to X-ray tomography and Radon Transforms Proceedings of Symposia in Applied Mathematics An Introduction to X-ray tomography and Radon Transforms Eric Todd Quinto Abstract. This article provides an introduction to the mathematics behind X-ray

More information

Fun With Carbon Monoxide. p. 1/2

Fun With Carbon Monoxide. p. 1/2 Fun With Carbon Monoxide p. 1/2 p. 1/2 Fun With Carbon Monoxide E = 0.25 ± 0.05 ev Electron beam results p. 1/2 Fun With Carbon Monoxide E = 0.25 ± 0.05 ev Electron beam results C V (J/K-mole) 35 30 25

More information

On single-photon emission computed tomography imaging based on an exact formula for the nonuniform attenuation correction

On single-photon emission computed tomography imaging based on an exact formula for the nonuniform attenuation correction INSTITUTE OF PHYSICSPUBLISHING Inverse Problems 18 (2002) L11 L19 INVERSE PROBLEMS PII: S0266-5611(02)39995-7 LETTER TO THE EDITOR On single-photon emission computed tomography imaging based on an exact

More information

2D X-Ray Tomographic Reconstruction From Few Projections

2D X-Ray Tomographic Reconstruction From Few Projections 2D X-Ray Tomographic Reconstruction From Few Projections Application of Compressed Sensing Theory CEA-LID, Thalès, UJF 6 octobre 2009 Introduction Plan 1 Introduction 2 Overview of Compressed Sensing Theory

More information

Decay profiles of a linear artificial viscosity system

Decay profiles of a linear artificial viscosity system Decay profiles of a linear artificial viscosity system Gene Wayne, Ryan Goh and Roland Welter Boston University rwelter@bu.edu July 2, 2018 This research was supported by funding from the NSF. Roland Welter

More information

Electrostatic Imaging via Conformal Mapping. R. Kress. joint work with I. Akduman, Istanbul and H. Haddar, Paris

Electrostatic Imaging via Conformal Mapping. R. Kress. joint work with I. Akduman, Istanbul and H. Haddar, Paris Electrostatic Imaging via Conformal Mapping R. Kress Göttingen joint work with I. Akduman, Istanbul and H. Haddar, Paris Or: A new solution method for inverse boundary value problems for the Laplace equation

More information

The Radon Transform and the Mathematics of Medical Imaging

The Radon Transform and the Mathematics of Medical Imaging Colby College Digital Commons @ Colby Honors Theses Student Research 2012 The Radon Transform and the Mathematics of Medical Imaging Jen Beatty Colby College Follow this and additional works at: http://digitalcommons.colby.edu/honorstheses

More information

ON A CLASS OF GENERALIZED RADON TRANSFORMS AND ITS APPLICATION IN IMAGING SCIENCE

ON A CLASS OF GENERALIZED RADON TRANSFORMS AND ITS APPLICATION IN IMAGING SCIENCE ON A CLASS OF GENERALIZED RADON TRANSFORMS AND ITS APPLICATION IN IMAGING SCIENCE T.T. TRUONG 1 AND M.K. NGUYEN 2 1 University of Cergy-Pontoise, LPTM CNRS UMR 889, F-9532, France e-mail: truong@u-cergy.fr

More information

CLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE

CLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE CLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE 1. Linear Partial Differential Equations A partial differential equation (PDE) is an equation, for an unknown function u, that

More information

LEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.

LEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates. LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is

More information

Local Tomography in 3-D SPECT

Local Tomography in 3-D SPECT Pubblicazioni del Centro De Giorgi Proceedings of the Interdisciplinary Workshop on Mathematical Methods in Biomedical Imaging and Intensity-Modulated Radiation Therapy (IMRT), Pisa, Italy, October 2007.

More information

Errata Applied Analysis

Errata Applied Analysis Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence

More information

Reproducing formulas associated with symbols

Reproducing formulas associated with symbols Reproducing formulas associated with symbols Filippo De Mari Ernesto De Vito Università di Genova, Italy Modern Methods of Time-Frequency Analysis II Workshop on Applied Coorbit space theory September

More information

Foundations of Image Science

Foundations of Image Science Foundations of Image Science Harrison H. Barrett Kyle J. Myers 2004 by John Wiley & Sons,, Hoboken, 0-471-15300-1 1 VECTORS AND OPERATORS 1 1.1 LINEAR VECTOR SPACES 2 1.1.1 Vector addition and scalar multiplication

More information

Interpolation procedure in filtered backprojection algorithm for the limited-angle tomography

Interpolation procedure in filtered backprojection algorithm for the limited-angle tomography Interpolation procedure in filtered backprojection algorithm for the limited-angle tomography Aleksander Denisiuk 1 Abstract A new data completion procedure for the limited-angle tomography is proposed.

More information

Poincaré Duality Angles on Riemannian Manifolds with Boundary

Poincaré Duality Angles on Riemannian Manifolds with Boundary Poincaré Duality Angles on Riemannian Manifolds with Boundary Clayton Shonkwiler Department of Mathematics University of Pennsylvania June 5, 2009 Realizing cohomology groups as spaces of differential

More information

Linear Algebra using Dirac Notation: Pt. 2

Linear Algebra using Dirac Notation: Pt. 2 Linear Algebra using Dirac Notation: Pt. 2 PHYS 476Q - Southern Illinois University February 6, 2018 PHYS 476Q - Southern Illinois University Linear Algebra using Dirac Notation: Pt. 2 February 6, 2018

More information

Linear Inverse Problems

Linear Inverse Problems Linear Inverse Problems Ajinkya Kadu Utrecht University, The Netherlands February 26, 2018 Outline Introduction Least-squares Reconstruction Methods Examples Summary Introduction 2 What are inverse problems?

More information

Wave equation on manifolds and finite speed of propagation

Wave equation on manifolds and finite speed of propagation Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we

More information

Fast variance predictions for 3D cone-beam CT with quadratic regularization

Fast variance predictions for 3D cone-beam CT with quadratic regularization Fast variance predictions for 3D cone-beam CT with quadratic regularization Yingying Zhang-O Connor and Jeffrey A. Fessler a a Department of Electrical Engineering and Computer Science, The University

More information

TD 1: Hilbert Spaces and Applications

TD 1: Hilbert Spaces and Applications Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.

More information

An Application of Abel s Method to the Inverse Radon Transform

An Application of Abel s Method to the Inverse Radon Transform J. Inverse Ill-Posed Probl.? (????), 1 14 DOI 1.1515/jip-????-??? de Gruyter???? An Application of Abel s Method to the Inverse Radon Transform Shavkat Alimov, Joseph David, Alexander Nolte and Julie Sherman

More information

More On Carbon Monoxide

More On Carbon Monoxide More On Carbon Monoxide E = 0.25 ± 0.05 ev Electron beam results Jerry Gilfoyle The Configurations of CO 1 / 26 More On Carbon Monoxide E = 0.25 ± 0.05 ev Electron beam results Jerry Gilfoyle The Configurations

More information

Continuous Frames and Sampling

Continuous Frames and Sampling NuHAG University of Vienna, Faculty for Mathematics Marie Curie Fellow within the European network HASSIP HPRN-CT-2002-285 SampTA05, Samsun July 2005 Joint work with Massimo Fornasier Overview 1 Continuous

More information

I. Introduction. A New Method for Inverting Integrals Attenuated Radon Transform (SPECT) D to N map for Moving Boundary Value Problems

I. Introduction. A New Method for Inverting Integrals Attenuated Radon Transform (SPECT) D to N map for Moving Boundary Value Problems I. Introduction A New Method for Inverting Integrals Attenuated Radon Transform (SPECT) D to N map for Moving Boundary Value Problems F(k) = T 0 e k2 t+ikl(t) f (t)dt, k C. Integrable Nonlinear PDEs in

More information

The spherical mean value operator with centers on a sphere

The spherical mean value operator with centers on a sphere The spherical mean value operator with centers on a sphere David Finch Department of Mathematics Oregon State University Corvallis, OR 9733-465 Email: finch@math.oregonstate.edu Rakesh Department of Mathematics

More information

On stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form

On stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form On stable inversion of the attenuated Radon transform with half data Jan Boman We shall consider weighted Radon transforms of the form R ρ f(l) = f(x)ρ(x, L)ds, L where ρ is a given smooth, positive weight

More information

NIH Public Access Author Manuscript Inverse Probl. Author manuscript; available in PMC 2010 April 20.

NIH Public Access Author Manuscript Inverse Probl. Author manuscript; available in PMC 2010 April 20. NIH Public Access Author Manuscript Published in final edited form as: Inverse Probl. 2010 January 1; 26(3): 350131 3501329. doi:10.1088/0266-5611/26/3/035013. High Order Total Variation Minimization for

More information

Universität des Saarlandes. Fachrichtung 6.1 Mathematik

Universität des Saarlandes. Fachrichtung 6.1 Mathematik Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 151 Unitary extensions of Hilbert A(D)-modules split Michael Didas and Jörg Eschmeier Saarbrücken

More information

Fourier analysis, measures, and distributions. Alan Haynes

Fourier analysis, measures, and distributions. Alan Haynes Fourier analysis, measures, and distributions Alan Haynes 1 Mathematics of diffraction Physical diffraction As a physical phenomenon, diffraction refers to interference of waves passing through some medium

More information

THE UNIVERSITY OF WESTERN ONTARIO. Applied Mathematics 375a Instructor: Matt Davison. Final Examination December 14, :00 12:00 a.m.

THE UNIVERSITY OF WESTERN ONTARIO. Applied Mathematics 375a Instructor: Matt Davison. Final Examination December 14, :00 12:00 a.m. THE UNIVERSITY OF WESTERN ONTARIO London Ontario Applied Mathematics 375a Instructor: Matt Davison Final Examination December 4, 22 9: 2: a.m. 3 HOURS Name: Stu. #: Notes: ) There are 8 question worth

More information

Uncertainty principles for far field patterns and applications to inverse source problems

Uncertainty principles for far field patterns and applications to inverse source problems for far field patterns and applications to inverse source problems roland.griesmaier@uni-wuerzburg.de (joint work with J. Sylvester) Paris, September 17 Outline Source problems and far field patterns AregularizedPicardcriterion

More information

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

Stability of an abstract wave equation with delay and a Kelvin Voigt damping Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability

More information

On reconstruction and time reversal in thermoacoustic tomography in acoustically homogeneous and inhomogeneous media

On reconstruction and time reversal in thermoacoustic tomography in acoustically homogeneous and inhomogeneous media On reconstruction and time reversal in thermoacoustic tomography in acoustically homogeneous and inhomogeneous media Yulia Hristova, Peter Kuchment, and Linh Nguyen Mathematics Department, Texas A& M University,

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Travelling bubbles in a moving boundary problem of Hele-Shaw type

Travelling bubbles in a moving boundary problem of Hele-Shaw type Travelling bubbles in a moving boundary problem of Hele-Shaw type G. Prokert, TU Eindhoven Center for Analysis, Scientific Computing, and Applications (CASA) g.prokert@tue.nl Joint work with M. Günther,

More information

Approximation by Conditionally Positive Definite Functions with Finitely Many Centers

Approximation by Conditionally Positive Definite Functions with Finitely Many Centers Approximation by Conditionally Positive Definite Functions with Finitely Many Centers Jungho Yoon Abstract. The theory of interpolation by using conditionally positive definite function provides optimal

More information

Kernel-based Image Reconstruction from Scattered Radon Data

Kernel-based Image Reconstruction from Scattered Radon Data Volume 9 2016 Pages 1 12 Kernel-based Image Reconstruction from Scattered Radon Data Stefano De Marchi a Armin Iske b Amos Sironi c Abstract Computerized tomography requires suitable numerical methods

More information

Kernel-based Image Reconstruction from Scattered Radon Data

Kernel-based Image Reconstruction from Scattered Radon Data Proceedings of Kernel-based Methods and Function Approximation 2016, Volume 9 2016 Pages 19 31 Kernel-based Image Reconstruction from Scattered Radon Data Stefano De Marchi a Armin Iske b Amos Sironi c

More information

2 The Fourier Transform

2 The Fourier Transform 2 The Fourier Transform The Fourier transform decomposes a signal defined on an infinite time interval into a λ-frequency component, where λ can be any real(or even complex) number. 2.1 Informal Development

More information

PHZ 6607 Fall 2004 Homework #4, Due Friday, October 22, 2004

PHZ 6607 Fall 2004 Homework #4, Due Friday, October 22, 2004 Read Chapters 9, 10 and 20. PHZ 6607 Fall 2004 Homework #4, Due Friday, October 22, 2004 1. The usual metric of four-dimensional flat Minkowski-space in spherical-polar coordinates is ds 2 = dt 2 + dr

More information

Zeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis

Zeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis Zeta Functions and Regularized Determinants for Elliptic Operators Elmar Schrohe Institut für Analysis PDE: The Sound of Drums How Things Started If you heard, in a dark room, two drums playing, a large

More information

Chapter 2 Acoustical Background

Chapter 2 Acoustical Background Chapter 2 Acoustical Background Abstract The mathematical background for functions defined on the unit sphere was presented in Chap. 1. Spherical harmonics played an important role in presenting and manipulating

More information

Frames. Hongkai Xiong 熊红凯 Department of Electronic Engineering Shanghai Jiao Tong University

Frames. Hongkai Xiong 熊红凯   Department of Electronic Engineering Shanghai Jiao Tong University Frames Hongkai Xiong 熊红凯 http://ivm.sjtu.edu.cn Department of Electronic Engineering Shanghai Jiao Tong University 2/39 Frames 1 2 3 Frames and Riesz Bases Translation-Invariant Dyadic Wavelet Transform

More information

SOLUTIONS TO SELECTED PROBLEMS FROM ASSIGNMENTS 3, 4

SOLUTIONS TO SELECTED PROBLEMS FROM ASSIGNMENTS 3, 4 SOLUTIONS TO SELECTED POBLEMS FOM ASSIGNMENTS 3, 4 Problem 5 from Assignment 3 Statement. Let be an n-dimensional bounded domain with smooth boundary. Show that the eigenvalues of the Laplacian on with

More information

Two special equations: Bessel s and Legendre s equations. p Fourier-Bessel and Fourier-Legendre series. p

Two special equations: Bessel s and Legendre s equations. p Fourier-Bessel and Fourier-Legendre series. p LECTURE 1 Table of Contents Two special equations: Bessel s and Legendre s equations. p. 259-268. Fourier-Bessel and Fourier-Legendre series. p. 453-460. Boundary value problems in other coordinate system.

More information

Eigenvalues of Robin Laplacians on infinite sectors and application to polygons

Eigenvalues of Robin Laplacians on infinite sectors and application to polygons Eigenvalues of Robin Laplacians on infinite sectors and application to polygons Magda Khalile (joint work with Konstantin Pankrashkin) Université Paris Sud /25 Robin Laplacians on infinite sectors 1 /

More information

Improved Radon Based Imaging using the Shearlet Transform

Improved Radon Based Imaging using the Shearlet Transform Improved Radon Based Imaging using the Shearlet Transform Glenn R. Easley a, Flavia Colonna b, Demetrio Labate c a System Planning Corporation, Arlington, Virginia b George Mason University, Fairfax, Virginia

More information

Part 2 Introduction to Microlocal Analysis

Part 2 Introduction to Microlocal Analysis Part 2 Introduction to Microlocal Analysis Birsen Yazıcı & Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering August 2 nd, 2010 Outline PART II Pseudodifferential

More information

Homework 3 solutions Math 136 Gyu Eun Lee 2016 April 15. R = b a

Homework 3 solutions Math 136 Gyu Eun Lee 2016 April 15. R = b a Homework 3 solutions Math 136 Gyu Eun Lee 2016 April 15 A problem may have more than one valid method of solution. Here we present just one. Arbitrary functions are assumed to have whatever regularity

More information

The spectral action for Dirac operators with torsion

The spectral action for Dirac operators with torsion The spectral action for Dirac operators with torsion Christoph A. Stephan joint work with Florian Hanisch & Frank Pfäffle Institut für athematik Universität Potsdam Tours, ai 2011 1 Torsion Geometry, Einstein-Cartan-Theory

More information

Optimal design for inverse problems

Optimal design for inverse problems School of Mathematics and Statistical Sciences Research Institute University of Southampton, UK Joint work with Nicolai Bissantz, Holger Dette (both Ruhr-Universität Bochum) and Edmund Jones (University

More information

Rich Tomography. Bill Lionheart, School of Mathematics, University of Manchester and DTU Compute. July 2014

Rich Tomography. Bill Lionheart, School of Mathematics, University of Manchester and DTU Compute. July 2014 Rich Tomography Bill Lionheart, School of Mathematics, University of Manchester and DTU Compute July 2014 What do we mean by Rich Tomography? Conventional tomography reconstructs one scalar image from

More information

Qualification Exam: Mathematical Methods

Qualification Exam: Mathematical Methods Qualification Exam: Mathematical Methods Name:, QEID#41534189: August, 218 Qualification Exam QEID#41534189 2 1 Mathematical Methods I Problem 1. ID:MM-1-2 Solve the differential equation dy + y = sin

More information

Recovery of anisotropic metrics from travel times

Recovery of anisotropic metrics from travel times Purdue University The Lens Rigidity and the Boundary Rigidity Problems Let M be a bounded domain with boundary. Let g be a Riemannian metric on M. Define the scattering relation σ and the length (travel

More information

Saturation Rates for Filtered Back Projection

Saturation Rates for Filtered Back Projection Saturation Rates for Filtered Back Projection Matthias Beckmann, Armin Iske Fachbereich Mathematik, Universität Hamburg 3rd IM-Workshop on Applied Approximation, Signals and Images Bernried, 21st February

More information