some old and some new results in inverse obstacle
play

Some Old and Some New Results in Inverse Obstacle Scattering Rainer - PowerPoint PPT Presentation

Some Old and Some New Results in Inverse Obstacle Scattering Rainer Kress, Gttingen Analysis and Numerics of Acoustic and Electromagnetic Problems Linz, October 2016 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering


  1. Some Old and Some New Results in Inverse Obstacle Scattering Rainer Kress, Göttingen Analysis and Numerics of Acoustic and Electromagnetic Problems Linz, October 2016 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  2. Inverse obstacle scattering ν � ✒ � ❳❳ ✄✄ ③ ❳ ✄ ✲ ✄ D u i = e i k x · d u = u i + u s u s , in R 3 \ ¯ ∆ u + k 2 u = 0 D u = 0 on ∂ D � 1 � ∂ u s ∂ r − i ku s = o , r = | x | → ∞ r � x � 1 � � �� u s ( x ) = e i k | x | u ∞ + O | x | → ∞ , | x | | x | | x | Given: Far field u ∞ for one (or several) incident plane wave Find: Shape and location of scatterer D 1. Uniqueness, i.e., identifiability 2. Reconstruction algorithms Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  3. Outline Two old uniqueness proofs 1 Two new uniqueness results for the generalized impedance 2 boundary condition A recent iterative reconstruction algorithm for the 3 generalized impedance boundary condition Factorization method and transmission eigenvalues 4 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  4. Uniqueness, i.e., identifiability Rellich’s Lemma: u s = 0 in R 3 \ D on S 2 u ∞ = 0 ⇔ Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  5. Uniqueness, i.e., identifiability Rellich’s Lemma: u s = 0 in R 3 \ D on S 2 u ∞ = 0 ⇔ Far field u ∞ uniquely determines total field u = u i + u s u = 0 ❳❳ ❳ ③ ✄✄ ✄ ✄ ✲ D u i u s Question of uniqueness: ⇔ Existence of additional closed surfaces with u = 0 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  6. Uniqueness, i.e., identifiability Question of uniqueness: ⇔ Existence of additional closed surfaces on which u = 0 u = 0 ❳❳ ✄✄ ③ ❳ ✄ ✄ ✲ D u i u s u = 0 No!! Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  7. Uniqueness, i.e., identifiability Question of uniqueness: ⇔ Existence of additional closed surfaces on which u = 0 u = 0 ❳❳ ✄✄ ③ ❳ ✄ ✲ ✄ D u i u s u = 0 Do not know??? Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  8. Schiffer’s theorem Theorem (Schiffer ≈ 1960) For a sound-soft scatterer, assume that u ∞ , 1 (ˆ x , d ) = u ∞ , 2 (ˆ x , d ) for all observation directions ˆ x and all incident directions d. Then D 1 = D 2 . D 1 D 2 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  9. Schiffer’s proof D ∗ = unbounded component of R 3 \ ( D 1 ∪ D 2 ) D 1 D 2 u s 1 ( · , d ) = u s in D ∗ 2 ( · , d ) Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  10. Schiffer’s proof D ∗ = unbounded component of R 3 \ ( D 1 ∪ D 2 ) D 1 D 2 u s 1 ( · , d ) = u s in D ∗ 2 ( · , d ) u 1 ( x , d ) = e i k x · d + u s 1 ( x , d ) △ u 1 + k 2 u 1 = 0 In shaded domain: On boundary: u 1 = 0 { u 1 ( · , d ) : d ∈ S 2 } linearly independent Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  11. Schiffer’s proof D ∗ = unbounded component of R 3 \ ( D 1 ∪ D 2 ) D 1 D 2 u s 1 ( · , d ) = u s in D ∗ 2 ( · , d ) u 1 ( x , d ) = e i k x · d + u s 1 ( x , d ) △ u 1 + k 2 u 1 = 0 In shaded domain: On boundary: u 1 = 0 { u 1 ( · , d ) : d ∈ S 2 } linearly independent Lax and Philipps 1967 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  12. Schiffer’s proof Correct shaded domain: ( R 3 \ D ∗ ) \ D 1 D ∗ D 1 D 2 Incorrect shaded domain: D 2 \ ( D 1 ∩ D 2 ) D 1 D 2 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  13. Schiffer’s proof Schiffer’s proof does not work for other boundary conditions! D 1 D 2 Finite multiplicity of eigenvalues is based on the compact embedding of H 1 0 (Ω) into L 2 (Ω) for the shaded domain Ω . However, in general, the embedding H 1 (Ω) into L 2 (Ω) is not compact. Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  14. Other boundary conditions = u 0 on ∂ D , sound-soft ∂ u = 0 on ∂ D , sound-hard ∂ν ∂ u ∂ν + i k λ = 0 on ∂ D , impedance , ℜ λ ≥ 0 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  15. Uniqueness of obstacle plus boundary condition Theorem (Kirsch, K. 1992) Assume that u ∞ , 1 (ˆ x , d ) = u ∞ , 2 (ˆ x , d ) for all observation directions ˆ x and all incident directions d. Then D 1 = D 2 and B 1 = B 2 . B 1 D 1 D 2 B 2 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  16. Idea of proof x ∗ z ∗ D w i ( x , z ) = e i k | x − z | | x − z | = incident field, point source w s ( x , z ) = scattered field, w ∞ (ˆ x , z ) = far field Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  17. Idea of proof x ∗ z ∗ D w i ( x , z ) = e i k | x − z | | x − z | = incident field, point source w s ( x , z ) = scattered field, w ∞ (ˆ x , z ) = far field w s ( x , z ) = w s ( z , x ) reciprocity : u ∞ (ˆ x , d ) = u ∞ ( − d , − ˆ x ) , u s ( z , d ) = w ∞ ( − d , z ) mixed reciprocity : Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  18. Idea of proof mixed reciprocity : u s ( z , d ) = w ∞ ( − d , z ) D ∗ B 1 x ⋆ ⋆ z D 2 D 1 B 2 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  19. Idea of proof mixed reciprocity : u s ( z , d ) = w ∞ ( − d , z ) D ∗ B 1 x ⋆ ⋆ z D 2 D 1 B 2 u ∞ , 1 (ˆ u ∞ , 2 (ˆ for | ˆ x , d ) = x , d ) x | = | d | = 1 u s u s for z ∈ D ∗ , | d | = 1 1 ( z , d ) = 2 ( z , d ) for z ∈ D ∗ , | d | = 1 w ∞ , 1 ( d , z ) = w ∞ , 2 ( d , z ) w s w s for x , z ∈ D ∗ 1 ( x , z ) = 2 ( x , z ) Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  20. Idea of proof D ∗ B 1 ⋆ x ∗ ⋆ z D 2 D 1 B 2 w s 1 ( x , z ) = w s for x , z ∈ D ∗ 2 ( x , z ) Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  21. Idea of proof D ∗ B 1 ⋆ x ∗ ⋆ z D 2 D 1 B 2 w s 1 ( x , z ) = w s for x , z ∈ D ∗ 2 ( x , z ) z → x ∗ B 1 w s 1 ( x ∗ , z ) = ∞ , z → x ∗ B 1 w s 2 ( x ∗ , z ) = finite lim lim ⇒ D 1 = D 2 Holmgren’s theorem yields B 1 = B 2 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  22. Idea of proof D ∗ B 1 ⋆ x ∗ ⋆ z D 2 D 1 B 2 w s 1 ( x , z ) = w s for x , z ∈ D ∗ 2 ( x , z ) z → x ∗ B 1 w s 1 ( x ∗ , z ) = ∞ , z → x ∗ B 1 w s 2 ( x ∗ , z ) = finite lim lim ⇒ D 1 = D 2 Holmgren’s theorem yields B 1 = B 2 Use of mixed reciprocity: Potthast 1999 Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  23. Generalized impedance condition ∂ u ∂ν + i k ( λ u − div ∂ D µ grad ∂ D u ) = 0 ℜ λ, ℜ µ ≥ 0 on ∂ D , Theorem (Bourgeois, Chaulet, Haddar 2012) Both the shape and the impedance functions of a scattering obstacle with generalized impedance condition are uniquely determined by the far field patterns for an infinite number of incident waves with distinct incident directions and one fixed wave number. Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  24. Uniqueness for impedance functions in R 2 � � ∂ u λ u − d ds µ du ∂ν + i k = 0 on ∂ D ds Theorem (Cakoni, K. 2013) In two dimensions, for a given shape ∂ D, three far field patterns corresponding to the scattering of three plane waves with different incident directions uniquely determine the impedance functions µ and λ . Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  25. Uniqueness for impedance functions in R 2 � � ∂ u λ u − d ds µ du ∂ν + i k = 0 on ∂ D ds Theorem (Cakoni, K. 2013) In two dimensions, for a given shape ∂ D, three far field patterns corresponding to the scattering of three plane waves with different incident directions uniquely determine the impedance functions µ and λ . � � i k d du 2 du 1 ∂ u 2 ∂ u 1 ds µ u 1 ds − u 2 = u 1 ∂ν − u 2 on ∂ D ds ∂ν � �� � W ( u 1 , u 2 ) α 3 α 1 α 2 ⇒ W ( u 1 , u 2 ) = W ( u 2 , u 3 ) = W ( u 3 , u 1 ) Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  26. Iterative methods versus qualitative methods Iterative methods: Reformulate inverse problem as nonlinear ill-posed operator equation. Solve by iteration methods such as regularized Newton methods, Landweber iterations or conjugate gradient methods Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  27. Iterative methods versus qualitative methods Iterative methods: Reformulate inverse problem as nonlinear ill-posed operator equation. Solve by iteration methods such as regularized Newton methods, Landweber iterations or conjugate gradient methods Qualitative methods: Develop criterium in terms of behaviour of certain ill-posed linear integral equations that decide on whether a point lies inside or outside the scatterer. Linear sampling, factorization, probe methods, etc Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

  28. Single-layer approach Assume that k 2 is not a Dirichlet eigenvalue for − ∆ in D � e ik | x − y | u s ( x ) = 1 x ∈ R 3 \ D | x − y | ϕ ( y ) ds ( y ) , 4 π ∂ D Rainer Kress Some Old and Some New Results in Inverse Obstacle Scattering

Recommend


More recommend