Upload
others
View
3
Download
0
Embed Size (px)
Citation preview
Inverse Source Problems for Wave Propagation
Peijun Li
Department of Mathematics
Purdue University
Joint Work with
G. Bao, C. Chen, G. Yuan, Y. Zhao
Outline
Motivation and model problems
Inverse random source
Increasing stability
Ongoing and future work
2 / 40
Source scattering problems
Source scattering problems are concerned with the relationship betweenradiating sources and wave fields.
Direct problem: To determine the wave field from the given sourceand the differential equation governing the wave motion.
Inverse problem: To determine the radiating source which producesthe measured wave field.
3 / 40
Wave equations for source scattering
The Helmholtz equation - acoustic wave
∆u + κ2u = f in Rd .
The Navier equation - elastic wave
µ∆u + (λ+ µ)∇∇ · u + ω2u = f in Rd .
The Maxwell equations - electromagnetic wave
∇× E − iωµH = 0, ∇×H + iωεE = J in R3.
4 / 40
Problem geometry
ΓR
source
Ω
BR
5 / 40
Applications
Antenna synthesis
Tomography (PAT)
Medical imaging (MEG, EEG, ENG)
Fluorescence microscopy
Neuroscience (brain imaging)
6 / 40
Related work
Deterministic problems
Devaney and Sherman (’82), Marengo and Devaney (’99), Ammari,Bao, and Fleming (’02), Fokas, Kurylev, and Marinakis (’04), Hauer,Kuhn, Potthast (’05), Albanese and Monk (’06), Devaney, Marengo,and Li (’07), Eller and Valdivia (’09), Bao, Lin, and Triki (’10), Badiaand Nara (’11), Tittelfitz (’15), Bao, Lu, Rundell, and Xu (’15),Zhang and Guo (’15), Bao, L., Lin, and Triki (’15), Cheng, Isakov,and Lu (’16)
Stochastic problems
Devaney (’79), L. (’11), Bao and Xu (’13), Bao, Chow, L., and Zhou(’14), Bao, Chen, and L. (’16)
7 / 40
Inverse random source problem
Homogeneous media
Inhomogeneous media
8 / 40
Why stochastic modeling?
Uncertainties are widely introduced to the mathematical models for threemajor reasons:
Randomness directly appears in the studied systems
Incomplete knowledge of the systems may be modeled by uncertainties
Stochastic techniques are introduced to couple the interferencebetween different scales
9 / 40
Available framework
Homogenization theory: J. Keller, J. Lions, G. Papanicolaou
Bayesian statistics: D. Donoho, A. Stuart, E. Somersalo
Wiener chaos expansion: R. Cameron, W. Martin, G. Karniadakis
10 / 40
Model problem
The Helmholtz equation
∆u(x , κ) + κ2u(x , κ) = f (x), x ∈ R2.
The source functionf (x) = g(x) + σ(x)Wx .
The Sommerfeld radiation condition
limr→∞
r1/2(∂ru − iκu) = 0, r = |x |.
The direct problem: Given g and σ, to determine the random wave field u.
The inverse problem: To recover g and σ2 from u|ΓRat κj , j = 1, . . . ,m.
11 / 40
White noise
Wx is the 2-parameter Brownian motion on (R2, B(R2), µ).
White noise
Wx :=∂2Wx
∂x1∂x2.
Stochastic integral ∫R2
φ(x)dWx =
∫R2
Wx∂2φ(x)
∂x1∂x2dx .
Proposition
E
∫R2
φ(x)dWx = 0, E∣∣∣∫
R2
φ(x)dWx
∣∣∣2 =
∫R2
|φ(x)|2dx .
12 / 40
Deterministic direct problem
Consider the deterministic scattering problem∆u + κ2u = g , x ∈ R2,
∂ru − iκu = o(r−1/2), r →∞.
Given g ∈ L2(Ω), it has a unique solution
u(x) =
∫ΩG (x , y)g(y)dy ,
where the Green function
G (x , y) = − i
4H
(1)0 (κ|x − y |).
13 / 40
Stochastic direct problem
Consider the stochastic scattering problem∆u + κ2u = g + σWx , x ∈ R2,
∂ru − iκu = o(r−1/2), r →∞.
Theorem (Bao-Chen-L)
There exists a unique continuous stochastic process (mild solution) u,which satisfies
u(x) =
∫ΩG (x , y)g(y)dy +
∫ΩG (x , y)σ(y)dWy .
14 / 40
Function regularity
g ∈ L2(Ω).
σ is chosen such that the stochastic integral∫ΩG (x , y , κ)σ(y)dWy
satisfies
E∣∣∫
ΩG (x , y , κ)σ(y)dWy
∣∣2 =
∫Ω|G (x , y , κ)|2σ2(y)dy <∞.
Hence σ ∈ Lp(Ω), p > 2 and σ ∈ C 0,η(Ω), 0 < η < 1.
15 / 40
Constructive proof
Step 1: continuous modification of the Gaussian random field
v(x) =
∫ΩG (x , y)σ(y)dWy .
Step 2: construct an approximation sequence
W nx =
n∑j=1
|Kj |−12 ξjχKj
(x), ξj = |Kj |−12
∫Kj
dWx , ξj ∼ N (0, 1).
Step 3: consider an approximated solution
un(x) =
∫ΩG (x , y)g(y)dy +
∫ΩG (x , y)σ(y)dW n
x .
16 / 40
Stochastic inverse problem
Recall the mild solution
u(x , κj) =
∫ΩG (x , y , κj)g(y)dy +
∫ΩG (x , y , κj)σ(y)dWy .
Taking the expectation yields
Eu(x , κj) =
∫ΩG (x , y , κj)g(y)dy .
Consider real and imaginary parts
ReG (x , y , κj) =1
4Y0(κj |x − y |), ImG (x , y , κj) = −1
4J0(κj |x − y |).
17 / 40
Reconstruction of the mean
Real-valued Fredholm integral equations
EReu(x , κj) =1
4
∫ΩY0(κj |x − y |)g(y)dy ,
EImu(x , κj) = −1
4
∫ΩJ0(κj |x − y |)g(y)dy .
18 / 40
Reconstruction of the variance
Taking the variance of the mild solution yields
VReu(x , κj) =1
16
∫ΩY 2
0 (κj |x − y |)σ2(y)dy ,
VImu(x , κj) =1
16
∫ΩJ2
0 (κj |x − y |)σ2(y)dy .
VReu(x , κj)−VImu(x , κj) =1
16
∫Ω
(Y 2
0 (κj |x − y |)− J20 (κj |x − y |)
)σ2(y)dy
19 / 40
Numerical method - Kaczmarz algorithm
Consider the linear system of equations
Ajq = pj , j = 1, . . . ,m.
A1q = p1
A2q = p2A3q = p3
q0
q1q2
q3
20 / 40
Regularized Kaczmarz algorithm
Let q0 = 0, do k = 0, 1, . . .q0 = qk ,
qj = qj−1 + ATj (µI + AjA
Tj )−1(pj − Ajqj−1), j = 1, . . . ,m,
qk+1 = qm,
where µ > 0 is a regularization parameter.
21 / 40
Direct solver
Consider the approximated scattering problem∆u + κ2u = g + σW n
x , x ∈ R2,
∂ru − iκu = o(r−1/2), r →∞,
where
W nx =
n∑j=1
|Kj |−12 ξjχKj
(x).
Direct solver: FEM with PML, Monte Carlo.
Parameters: κj = (j − 0.5)π, j = 1, . . . , 5, µ = 1.0× 10−7, outloop k = 5.
22 / 40
Numerical result
23 / 40
Inhomogeneous media: direct problem
Consider the stochastic scattering problem∆u + κ2(1 + q)u = g + σWx , x ∈ R2,
∂ru − iκu = o(r−1/2), r →∞.
Theorem (Bao-Chen-L)
The stochastic scattering problem admits a unique continuous stochasticprocess u, which satisfies
u(x) = −κ2
∫ΩG (x , y)q(y)u(y)dy
+
∫ΩG (x , y)g(y)dy +
∫ΩG (x , y)σ(y)dWy .
24 / 40
Inhomogeneous media: inverse problem
Consider the inhomogeneous stochastic Helmholtz equation
∆u(x , κ) + κ2(1 + q(x))u(x , κ) = g(x) + σ(x)Wx in BR .
Let v be the eigenfunction for the following problem:∆v(x , κ) + κ2(1 + q(x))v(x , κ) = 0 inBR ,
v(x , κ) = 0 on ΓR .
We have from the integation by parts that
−∫
ΓR
∂νv(x , κ)u(x , κ)dγ =
∫BR
g(x)v(x , κ)dx +
∫BR
σ(x)v(x , κ)dWx .
25 / 40
Numerical result - homogeneous medium
26 / 40
Numerical result - inhomogeneous medium
27 / 40
Increasing stability
Continuous frequency data
Discrete frequency data
28 / 40
Problem geometry
ΓR
source
Ω
BR
29 / 40
Model problem
The Helmholtz equation
∆u(x , κ) + κ2u(x , κ) = f (x), x ∈ R2.
The Sommerfeld radiation condition
limr→∞
r1/2(∂ru − iκu) = 0, r = |x |.
Given f ∈ L2(Ω), it has a unique solution:
u(x , κ) =
∫ΩG (x , y ;κ)f (y)dy ,
where
G (x , y ;κ) = − i
4H
(1)0 (κ|x − y |).
30 / 40
Transparent boundary condition
Given function u on ΓR , it has the Fourier series expansion:
u(R, θ) =∑n∈Z
un(R)e inθ, un(R) =1
2π
∫ 2π
0u(R, θ)e−inθdθ.
Introduce the DtN operator T : H12 (ΓR)→ H−
12 (ΓR)
(Tu)(R, θ) = κ∑n∈Z
H(1)′n (κR)
H(1)n (κR)
un(R)e inθ.
Transparent boundary condition:
∂νu = Tu on ΓR .
31 / 40
Problem formulation - continuous frequency data
Consider reduced problem∆u + κ2u = f in BR ,
∂νu = Tu on ΓR .
Define boundary data
‖u(·, κ)‖2ΓR
=
∫ΓR
(|Tu(x , κ)|2 + κ2|u(x , κ)|2
)dγ(x).
ISP 1. Let f be a complex function with a compact support Ω ⊂ BR . TheISP is to determine f from the data u(x , κ), x ∈ ΓR , κ ∈ (0,K ), whereK > 1 is a positive constant.
32 / 40
Main result - ISP 1
Define
FM = f ∈ Hm(Ω) : ‖f ‖Hm(BR) ≤ M, suppf = Ω ⊂ BR,
where m > 2 is an integer and M > 1 is a constant.
Theorem (L-Yuan)
Let f ∈ FM and u be the solution of the scattering problem correspondingto f . Then
‖f ‖2L2(Ω) . ε2 +
M2(K
23 | ln ε|
14
(6m−15)3
)2m−5,
where
ε =
(∫ K
0κ‖u(·, κ)‖2
ΓRdκ
) 12
.
33 / 40
Sketch of proof
Step 1: energy estimate
‖f ‖2L2(Ω) .
∫ ∞0
κ‖u(·, κ)‖2ΓRdκ.
Step 2: low frequency estimate
I1(s) =
∫ s
0κ3
∫ΓR
∣∣∣∣∫ΩH
(1)0 (κ|x − y |)f (y)dy
∣∣∣∣2 dγ(x)dκ,
I2(s) =
∫ s
0κ
∫ΓR
∣∣∣∣∫Ω∂νxH
(1)0 (κ|x − y |)f (y)dy
∣∣∣∣2 dγ(x)dκ.
Step 3: high frequency tail estimate∫ +∞
sκ‖u(·, κ)‖2
ΓRdκ . s−(2m−5)‖f ‖2
Hm(Ω).
Step 4: link between low and high frequencies.
34 / 40
Problem formulation - discrete frequency data
Consider reduced problem∆u + κ2u = f in BR ,
∂νu = Tu on ΓR .
Define boundary data at discrete frequency
‖u(·, κn)‖2ΓR
=
∫ΓR
(|Tu(x , κn)|2 + κ2
n|u(x , κn)|2)dγ(x),
whereκn = n
(πR
), n = |n|, n ∈ Z2 \ 0.
ISP 2. Let f be a complex function with a compact support Ω ⊂ BR . TheISP is to determine f from the datau(x , κ), x ∈ ΓR , κ ∈ (0, πR ] ∪ ∪Nn=1κn, where 1 < N ∈ N.
35 / 40
Main result - ISP 2
Define
FM = f ∈ FM :
∫Ωf (x)dx = 0.
Theorem (L-Yuan)
Let f ∈ FM and u be the solution of the scattering problem correspondingto f . Then
‖f ‖2L2(Ω) . ε2
1 +M2(
N58 | ln ε2|
19
(6m−15)3
)2m−5,
where
ε1 =
∑n≤N‖u(·, κn)‖2
ΓR
12
, ε2 = supκ∈(0,π
R]‖u(·, κ)‖ΓR
.
36 / 40
Sketch of proof
Step 1: energy estimate
|fn|2 . ‖u(·, κn)‖2ΓR, n ∈ Z2 \ 0.
Step 2: low frequency estimate
I (s) =
∣∣∣∣∫BR
f (x)e−isx ·ddx
∣∣∣∣2 , s ∈ (0,π
R].
Step 3: high frequency tail estimate
∞∑n=N0
|fn|2 ≤ N−(2m−5)0 ‖f ‖2
Hm(BR).
Step 4: link between low and high frequencies.
37 / 40
References
(with G. Bao and C. Chen) Inverse random source scatteringproblems in several dimensions, SIAM/ASA J. UncertaintyQuantitication, 2016.
(with G. Bao and C. Chen) Inverse random source scattering forelastic waves, preprint.
(with G. Bao and C. Chen) Inverse random source scattering for theHelmholtz equation in inhomogeneous media, preprint.
(with G. Yuan) Stability on the inverse random source scatteringproblem for the one-dimensional Helmholtz equation, J. Math. Anal.Appl., to appear.
(with G. Yuan) Increasing stability for the inverse source scatteringproblem with multi-frequencies, preprint.
(with G. Bao and Y. Zhao) Stability in the inverse source problem forelastic and electromagnetic waves with multi-frequencies, preprint.
38 / 40
Ongoing and future work
Partial data
Inhomogeneous media
Inverse random medium problem
Time-domain inverse problems
39 / 40
Thank You !