Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The...
Transcript of Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The...
![Page 1: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/1.jpg)
Inverse Problems: Seeing the
unseen
Karthik Iyer
May 25, 2018
![Page 2: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/2.jpg)
The Chess Mysteries of Sherlock Holmes
What did Black just play?
1
![Page 3: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/3.jpg)
Inverse Square Gravity Law
Only the inverse square law can account for the elliptical
focus-directed motion and hence only an inverse square
gravity law can explain Kepler’s orbits. (I. Newton)
2
![Page 4: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/4.jpg)
3
![Page 5: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/5.jpg)
4
![Page 6: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/6.jpg)
Dolphin Sonar
Can we build equipment to do the same?
5
![Page 7: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/7.jpg)
Imaging with Acoustic Waves
Occupies a large part of the brains of these mammals
6
![Page 8: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/8.jpg)
7
![Page 9: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/9.jpg)
Seismic Imaging
8
![Page 10: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/10.jpg)
Oil Exploration
9
![Page 11: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/11.jpg)
Global Seismology
Inverse Problem: Determine inner structure of Earth by measuring
travel time of seismic waves.
10
![Page 12: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/12.jpg)
OCEAN ACOUSTICS
Ocean Acoustic Tomography is a tool with which we can study
average temperatures over large regions of the ocean. By measur-
ing the time it takes sound to travel between known source and
receiver locations, we can determine the sound speed. Changes in
soundspeed can then be related to changes in temperature.
11
![Page 13: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/13.jpg)
Medical Imaging
X-ray Tomography (CT Scan)
Problem: Can we recover the density
from attenuation of X-rays?
12
![Page 14: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/14.jpg)
X-ray Tomography
13
![Page 15: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/15.jpg)
Discrete Example
14
![Page 16: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/16.jpg)
Radon (1917) n = 2
f(x) = Unknown function
Idetector = e−∫L fIsource
Rf(s, θ) = g(s, θ) =∫⟨x,θ⟩=s
f(x)dH =∫Lf
f(x) =1
4π2p.v.
∫S1
dθ∫ d
dsg(s, θ)ds
⟨x, θ⟩ − s
15
![Page 17: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/17.jpg)
Magnetic Resonance Imaging
Nobel Prize in Medicine: P. Lauterbur and P. Mansfield (2003)
Magnetic resonance imaging involves using strong magnetic fields and radio
frequency energy to produce images based on the hydrogen content (primarily
water) of body tissues.
16
![Page 18: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/18.jpg)
Ultrasound
Ultrasound uses ultrasonic waves and measures the echo response
from the tissues.
17
![Page 19: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/19.jpg)
CALDERON’S PROBLEM
Ω ⊂ Rn
(n = 2,3)
Can one determine the electrical conductivity of Ω, γ(x),
by making voltage and current measurements at the
boundary?
(Calderon; Geophysical prospection)
Early breast cancer detection
Normal breast tissue 0.3 mhoCancerous breast tumor 2.0 mho
18
![Page 20: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/20.jpg)
19
![Page 21: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/21.jpg)
20
![Page 22: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/22.jpg)
Discrete Model
21
![Page 23: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/23.jpg)
Other applications:
- Non-destructive testing (corrosion, cracks)
- Seepage of groundwater pollutants
- Medical Imaging (EIT)
Tissue Conductivity (mho)Blood 6.7Liver 2.8
Cardiac muscle 6.3 (longitudinal)2.3 (transversal)
Grey matter 3.5White matter 1.5
Lung 1.0 (expiration)0.4 (inspiration)
22
![Page 24: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/24.jpg)
Photoacoustic Tomography
23
![Page 25: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/25.jpg)
Probes, Physical Properties and Imaging Systems
Probe Parameter System
24
![Page 26: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/26.jpg)
Different aspects of Inverse problems
- Uniqueness
- Stability
- Reconstruction techniques
- Numerical implementation
- Partial data issues
- Corrupted data
25
![Page 27: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/27.jpg)
Dirichlet-to-Neumann map
Consider a body Ω. An electrical potential u(x) causes
the current
I(x) = γ(x)∇u(x)
The conductivity γ(x) can be isotropic, that is, scalar,
or anisotropic, that is, a matrix valued function. If the
current has no sources or sinks, we have
div(γ(x)∇u) = 0 in Ω
26
![Page 28: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/28.jpg)
div(γ(x)∇u(x)) = 0
u∣∣∣∂Ω
= f
γ(x) = conductivity,
f = voltage potential at ∂Ω
Current flux at ∂Ω = (ν · γ∇u)∣∣∣∂Ω
were ν is the unit
outer normal.
Information is encoded in map Λγ(f) = ν · γ∇u∣∣∣∂Ω
Inverse problem
Does Λγ determine γ?
Λγ = Dirichlet-to-Neumann map
27
![Page 29: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/29.jpg)
Uniqueness in an Inverse problem
- Associated to every partial differential equation Lwith coefficients A, there is a Dirichlet-to-Neumann
(DN) operator ΛA.
- Uniqueness ≡ Invertibility of DN map
- My research dealt with uniqueness for two different
families of partial differential equations
28
![Page 30: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/30.jpg)
PDE 1: Polyharmonic operator
(−∆)m +A ·Du+ qu = 0 in Ω,m ≥ 2
- This operator arises in modeling plate equations in
theory of elasticity and in conformal geometry.
- Does ΛA,q determine A and q?
- Yes! [Assylbekov-I, 2017]
29
![Page 31: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/31.jpg)
Key ideas in the proof
- Don’t restrict to only real values! Consider complex
valued function v = ex·ζ such that −∆v = 0.
- Since the operator is essentially a perturbation of
(−∆m), choose ansatz of the form ex·ζ+ remainder .
- And keep track of the remainder.
- This approach essentially works because the differ-
ential operator is linear and complex numbers are
linear combinations of real numbers.
30
![Page 32: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/32.jpg)
PDE 2: Quasilinear conductivity operator
−div(A(x, u)∇u(x)) = 0 in Ω
- The above equation arises in modeling of thermal
conductivity of the Earth’s crust and heat conduc-
tion in composite materials.
- Does ΛA determine A?
- Yes, if A is scalar-valued and no if A is matrix valued.
31
![Page 33: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/33.jpg)
Properties
- There is a conformal equivalence which prevents
uniqueness in the matrix valued case.
- However, uniqueness goes through for the scalar
valued case!
- Can’t use ansatz since operator is non-linear.
- Linearize!
32
![Page 34: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/34.jpg)
- Conformal equivalence breaks down under degener-
acy of A.
- Transformation optics can be used to obtain param-
eters whose boundary measurements give no infor-
mation about certain parts of the domain.
- Theoretical basis of electrostatic cloaking.
- [Ghosh-I, 2018]
33
![Page 35: Inverse Problems: Seeing the unseen - iyer-karthik.github.io · Karthik Iyer May 25, 2018. The Chess Mysteries of Sherlock Holmes What did Black just play? 1. Inverse Square Gravity](https://reader034.fdocuments.in/reader034/viewer/2022042621/5f57b65624cd41723547f421/html5/thumbnails/35.jpg)
Co-authors
Yernat Assylbekov Tuhin Ghosh
34