reciprocity misfjt functional Perspectives of seismic imaging using - - PDF document

reciprocity misfjt functional perspectives of seismic
SMART_READER_LITE
LIVE PREVIEW

reciprocity misfjt functional Perspectives of seismic imaging using - - PDF document

HAL Id: hal-02076212 scientifjques de niveau recherche, publis ou non, Perspectives of seismic imaging using FWI with reciprocity misfjt functional. Florian Faucher. To cite this version: Florian Faucher reciprocity misfjt functional


slide-1
SLIDE 1

HAL Id: hal-02076212 https://hal.archives-ouvertes.fr/hal-02076212

Submitted on 22 Mar 2019 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entifjc research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la difgusion de documents scientifjques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Perspectives of seismic imaging using FWI with reciprocity misfjt functional

Florian Faucher To cite this version:

Florian Faucher. Perspectives of seismic imaging using FWI with reciprocity misfjt functional. Journées Ondes Sud-Ouest (JOSO), Mar 2019, Le Barp, France. ฀hal-02076212฀

slide-2
SLIDE 2

Perspectives of seismic imaging using FWI with reciprocity misfit functional

Florian Faucher1, Giovanni Alessandrini2, H´ el` ene Barucq1, Maarten V. de Hoop3, Romina Gaburro4 and Eva Sincich2. Journ´ ees Ondes Sud-Ouest, CEA Cesta, France Marth 12th–14th, 2019

1Project-Team Magique-3D, Inria Bordeaux Sud-Ouest, France. 2Dipartimento di Matematica e Geoscienze, Universit` a di Trieste, Italy. 3Department of Computational and Applied Mathematics and Earth Science, Rice University, Houston, USA 4Department of Mathematics and Statistics, Health Research Institute (HRI), University of Limerick, Ireland.

slide-3
SLIDE 3

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Overview

1

Introduction

2

Time-Harmonic Inverse Problem, FWI

3

Reconstruction procedure using dual-sensors data

4

Numerical experiments Comparison of misfit functions Changing the numerical acquisition with JG

5

Conclusion

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 2/22

slide-4
SLIDE 4

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Plan

1

Introduction

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 3/22

slide-5
SLIDE 5

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Seismic inverse problem

Reconstruction of subsurface Earth properties from seismic campaign: collection of wave propagation data at the surface. Surface Γ Source Receivers set Σ Subsurface area of interest Ω

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 4/22

slide-6
SLIDE 6

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Seismic data

We work with back-scattered partial data from one-side illumination

  • n large domain.

2 4 6 8 1 2 3 x (km) depth (km) 2 3 4 5 (km s−1) 2 4 6 8 5 10 15 position (km)

time (s)

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 5/22

slide-7
SLIDE 7

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Seismic data

We work with back-scattered partial data from one-side illumination

  • n large domain.

time (s)

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 5/22

slide-8
SLIDE 8

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Seismic data

We work with back-scattered partial data from one-side illumination

  • n large domain.

time (s)

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 5/22

slide-9
SLIDE 9

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Seismic data

We work with back-scattered partial data from one-side illumination

  • n large domain.

time (s)

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 5/22

slide-10
SLIDE 10

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Seismic data

Inverse problem: from seismic traces to subsurface? 2 4 6 8 5 10 15 position (km) time (s)

?

nonlinear, ill-posed inverse problem.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 5/22

slide-11
SLIDE 11

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Plan

2

Time-Harmonic Inverse Problem, FWI

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 6/22

slide-12
SLIDE 12

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Time-harmonic wave equation

We consider propagation in acoustic media, given by the Euler’s equations, heterogeneous medium parameters κ and ρ:

  • −iωρ(x)v(x) = −∇p(x),

−iωp(x) = −κ(x)∇ · v(x) + f (x). p: scalar pressure field, v: vectorial velocity field, f : source term, κ: bulk modulus, ρ: density, ω: angular frequency.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 7/22

slide-13
SLIDE 13

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Time-harmonic wave equation

We consider propagation in acoustic media, given by the Euler’s equations, heterogeneous medium parameters κ and ρ:

  • −iωρ(x)v(x) = −∇p(x),

−iωp(x) = −κ(x)∇ · v(x) + f (x). p: scalar pressure field, v: vectorial velocity field, f : source term, κ: bulk modulus, ρ: density, ω: angular frequency. The system reduces to the Helmholtz equation when ρ is constant, (−ω2c(x)−2 − ∆)p(x) = 0, with c(x) =

  • κ(x)ρ(x)−1.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 7/22

slide-14
SLIDE 14

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Dual-sensors devices

The inverse problem aims the recovery of the subsurface medium parameters from surface measurements of pressure and normal (vertical) velocity: F : m = (κ, ρ) → {Fp ; Fv} =

  • p(x1), p(x2), . . . , p(xnrcv );

vn(x1), vn(x2), . . . , vn(xnrcv )

  • .

Surface Γ Source Receivers set Σ Subsurface area of interest Ω

  • D. Carlson, N. D. Whitmore et al.

Increased resolution of seismic data from a dual-sensor streamer cable – Imaging of primaries and multiples using a dual-sensor towed streamer SEG, 2007 – 2010 CGG & Lundun Norway (2017–2018) TopSeis acquisition (www.cgg.com/en/What-We-Do/Offshore/Products-and-Solutions/TopSeis) Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 8/22

slide-15
SLIDE 15

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Full Waveform Inversion (FWI)

FWI provides a quantitative reconstruction of the subsurface parameters by solving a minimization problem, min

m∈M

J (m) = 1 2F(m) − d2.

◮ d are the observed data, ◮ F(m) represents the simulation using an initial model m:

  • P. Lailly

The seismic inverse problem as a sequence of before stack migrations Conference on Inverse Scattering: Theory and Application, SIAM, 1983

  • A. Tarantola

Inversion of seismic reflection data in the acoustic approximation Geophysics, 1984

  • A. Tarantola

Inversion of travel times and seismic waveforms Seismic tomography, 1987 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 9/22

slide-16
SLIDE 16

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

FWI, iterative minimization

Initial model m0 Observations Forward problem Fω(mk) Misfit functional J

k = 0 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 10/22

slide-17
SLIDE 17

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

FWI, iterative minimization

Initial model m0 Observations Forward problem Fω(mk) Misfit functional J Optimization procedure

  • 1. Gradient
  • 2. Search direction sk
  • 3. Line search αk

update model mk+1 = mk + αksk Update ω

k = 0 k = k + 1 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 10/22

slide-18
SLIDE 18

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

FWI, iterative minimization

Initial model m0 Observations Forward problem Fω(mk) Misfit functional J Optimization procedure

  • 1. Gradient
  • 2. Search direction sk
  • 3. Line search αk

update model mk+1 = mk + αksk Update ω

k = 0 k = k + 1

Numerical methods

◮ Adjoint-method for the gradient computation, L-BFGS method, ◮ forward problem resolution with Discontinuous Galerkin methods, ◮ parallel computation, HPC, large-scale optimization, ◮ Rk: the code also works for elastic anisotropy and viscous media.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 10/22

slide-19
SLIDE 19

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

FWI, iterative minimization

Initial model m0 Observations Forward problem Fω(mk) Misfit functional J Optimization procedure

  • 1. Gradient
  • 2. Search direction sk
  • 3. Line search αk

update model mk+1 = mk + αksk Update ω

k = 0 k = k + 1

◮ > 105: unknowns per physical parameter, ◮ > 106: matrix size for discretization, ◮ we also study stability and convergence of the algorithm . . .

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 10/22

slide-20
SLIDE 20

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Plan

3

Reconstruction procedure using dual-sensors data

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 11/22

slide-21
SLIDE 21

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Minimization of the cost function

The appropriate misfit functional to minimize with pressure and vertical velocity measurements.

◮ Compare the pressure and velocity fields separately:

JL2 =

  • source

1 2F(s)

p

− d(s)

p 2 + 1

2F(s)

v

− d(s)

v 2.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 12/22

slide-22
SLIDE 22

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Minimization of the cost function

The appropriate misfit functional to minimize with pressure and vertical velocity measurements.

◮ Compare the pressure and velocity fields separately:

JL2 =

  • source

1 2F(s)

p

− d(s)

p 2 + 1

2F(s)

v

− d(s)

v 2. ◮ Compare the fields multiplication for all combinations:

JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2.

  • G. Alessandrini, M.V. de Hoop, F. F., R. Gaburro and E. Sincich

Inverse problem for the Helmholtz equation with Cauchy data: reconstruction with conditional well-posedness driven iterative regularization preprint Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 12/22

slide-23
SLIDE 23

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Minimization of the cost function

JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2. From Euler’s equation, vn(xi) = −i(ωρ)−1∂np(xi).

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 13/22

slide-24
SLIDE 24

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Minimization of the cost function

JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2. From Euler’s equation, vn(xi) = −i(ωρ)−1∂np(xi).

◮ Cauchy data: the cost function follows Green’s identity.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 13/22

slide-25
SLIDE 25

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Minimization of the cost function

JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2. From Euler’s equation, vn(xi) = −i(ωρ)−1∂np(xi).

◮ Cauchy data: the cost function follows Green’s identity. ◮ Reciprocity gap functional in inverse scattering.

  • D. Colton and H. Haddar

An application of the reciprocity gap functional to inverse scattering theory Inverse Problems 21 (1) (2005), 383398.

  • G. Alessandrini, M.V. de Hoop, R. Gaburro and E. Sincich

Lipschitz stability for a piecewise linear Schr¨

  • dinger potential from local Cauchy data

arXiv:1702.04222, 2017

  • G. Alessandrini, M.V. de Hoop, F. F., R. Gaburro and E. Sincich

Inverse problem for the Helmholtz equation with Cauchy data: reconstruction with conditional well-posedness driven iterative regularization preprint Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 13/22

slide-26
SLIDE 26

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Stability results

Lipschitz type stability is obtained for the Helmholtz equation with partial Cauchy data. c1 − c2 ≤ C

  • JG(c1, c2)

1/2

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 14/22

slide-27
SLIDE 27

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Stability results

Lipschitz type stability is obtained for the Helmholtz equation with partial Cauchy data. c1 − c2 ≤ C

  • JG(c1, c2)

1/2

◮ Using back-scattered data from one side in a domain with free

surface and absorbing conditions,

Surface Γ Source Receivers set Σ Subsurface area of interest Ω

◮ for piecewise linear parameters.

  • G. Alessandrini, M.V. de Hoop, R. Gaburro and E. Sincich

Lipschitz stability for a piecewise linear Schr¨

  • dinger potential from local Cauchy data

arXiv:1702.04222, 2017

  • G. Alessandrini, M.V. de Hoop, F. F., R. Gaburro and E. Sincich

Inverse problem for the Helmholtz equation with Cauchy data: reconstruction with conditional well-posedness driven iterative regularization preprint Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 14/22

slide-28
SLIDE 28

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Additional possibilities

It allows the non-collocation of numerical and observational sources: JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2.

◮ s1 is fixed by the observational setup, ◮ s2 is chosen for the numerical comparisons.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 15/22

slide-29
SLIDE 29

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Plan

4

Numerical experiments Comparison of misfit functions Changing the numerical acquisition with JG

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 16/22

slide-30
SLIDE 30

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment setup

3D velocity model 2.5 × 1.5 × 1.2km using dual-sensors data. 1 2 0 0.5 1 0.5 1 2 3 4 5 wavespeed (km/s)

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 17/22

slide-31
SLIDE 31

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment setup

We work with time-domain data acquisition.

1,000 2,000 500 1,000 2 4 x (m) y (m) time (s) 1,000 2,000 1 2 3 4 x (m) 1,000 2,000 500 1,000

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 17/22

slide-32
SLIDE 32

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment setup

We work with time-domain data (pressure and velocity).

1,000 2,000 500 1,000 2 4 x (m) y (m) 1,000 2,000 1 2 3 4 x (m)

Acquisition for the measures

◮ 160 sources, ◮ 100 m depth, ◮ point source,

0.5 1 x y Amplitude

For the reconstruction, we apply a Fourier transform of the time data.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 17/22

slide-33
SLIDE 33

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Comparison of misfit functional

We respect the observational acquisition setup and perform the minimization of JL2 or JG, frequency from 3 to 15Hz. JL2 =

  • source

1 2F(s)

p

− d(s)

p 2 + 1

2F(s)

v

− d(s)

v 2.

JG = 1 2

  • source
  • source

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 18/22

slide-34
SLIDE 34

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Comparison of misfit functional

We respect the observational acquisition setup and perform the minimization of JL2 or JG, frequency from 3 to 15Hz. depth x y

(a) True velocity

depth x y

(b) Starting velocity

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 18/22

slide-35
SLIDE 35

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Comparison of misfit functional

We respect the observational acquisition setup and perform the minimization of JL2 or JG, frequency from 3 to 15Hz. depth x y

(a) Using JL2

depth x y

(b) Using JG

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 18/22

slide-36
SLIDE 36

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Comparison of misfit functional

We respect the observational acquisition setup and perform the minimization of JL2 or JG, frequency from 3 to 15Hz.

depth x y

(a) Using JL2

depth x y

(b) Using JG

But the major advantage of JG is the possibility to consider alternative acquisition setup.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 18/22

slide-37
SLIDE 37

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment with different obs. and sim. acquisition

min JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2. Acquisition for the measures s1

◮ 160 sources, ◮ 100 m depth, ◮ point source,

0.5 1 x y Amplitude Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 19/22

slide-38
SLIDE 38

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment with different obs. and sim. acquisition

min JG = 1 2

  • s1
  • s2

d(s1)T

v

F(s2)

p

− d(s1)T

p

F(s2)

v

2. Acquisition for the measures s1

◮ 160 sources, ◮ 100 m depth, ◮ point source,

0.5 1 x y Amplitude

Arbitrary numerical acquisition s2

◮ 5 sources, ◮ 80m depth, ◮ multi-point sources,

0.5 1 x y Amplitude

◮ No need to known observational source wavelet. ◮ Differentiation impossible with least squares types misfit.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 19/22

slide-39
SLIDE 39

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment with different obs. and sim. acquisition

Data from frequency between 3 to 15 Hz, domain size 2.5×1.5×1.2 km, Simulation using 5 sources only. depth x y

(a) True velocity

depth x y

(b) Starting velocity

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 20/22

slide-40
SLIDE 40

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Experiment with different obs. and sim. acquisition

Frequency from 3 to 15 Hz, 2.5 × 1.5 × 1.2 km, Simulation using 5 sources only. -33% computational time. depth x y

(a) True velocity

depth x y

(b) 15 Hz reconstruction

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 20/22

slide-41
SLIDE 41

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Plan

5

Conclusion

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 21/22

slide-42
SLIDE 42

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Conclusion

Seismic inverse problem using pressure and vertical velocity data:

◮ appropriate cost function to minimize, ◮ allow minimal information on the acquisition setup, ◮ other applications, ◮ perspective: design the most efficient numerical setup, ◮ Rk: possible for elastic media with measures of traction.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 22/22

slide-43
SLIDE 43

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Conclusion

Seismic inverse problem using pressure and vertical velocity data:

◮ appropriate cost function to minimize, ◮ allow minimal information on the acquisition setup, ◮ other applications, ◮ perspective: design the most efficient numerical setup, ◮ Rk: possible for elastic media with measures of traction.

Quantitative reconstruction algorithm toolbox for time-harmonic wave,

◮ Discontinuous Galerkin discretization in HPC framework, ◮ large scale optimization scheme using back-scattered data, ◮ acoustic, elastic, anisotropy, 2D, 3D, attenuation.

P- and S-wavespeed reconstructions Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 22/22

slide-44
SLIDE 44

Intro Inverse Problem Reconstruction procedure Experiments Conclusion

Conclusion

Seismic inverse problem using pressure and vertical velocity data:

◮ appropriate cost function to minimize, ◮ allow minimal information on the acquisition setup, ◮ other applications, ◮ perspective: design the most efficient numerical setup, ◮ Rk: possible for elastic media with measures of traction.

Quantitative reconstruction algorithm toolbox for time-harmonic wave,

◮ Discontinuous Galerkin discretization in HPC framework, ◮ large scale optimization scheme using back-scattered data, ◮ acoustic, elastic, anisotropy, 2D, 3D, attenuation.

Thank you

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 22/22

slide-45
SLIDE 45

Appendix

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 1/5

slide-46
SLIDE 46

Stability of the Helmholtz Inverse Problem

c−2

1

− c−2

2 ≤ C

  • F(c−2

1 ) − F(c−2 2 )

  • G. Alessandrini

Stable determination of conductivity by boundary measurement Applicable Analysis 1988

  • N. Mandache

Exponential instability in an inverse problem for Schr¨

  • dinger equation

Inverse Problems 2001 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 2/5

slide-47
SLIDE 47

Stability of the Helmholtz Inverse Problem

c−2

1

− c−2

2 ≤ C

  • F(c−2

1 ) − F(c−2 2 )

  • initial

model target simulation

  • bservation

δ

◮ Stability associate data and model correspondence ◮ Reconstruction is based on the iterative minimization of the

difference between observation and simulation using an initial model.

  • G. Alessandrini

Stable determination of conductivity by boundary measurement Applicable Analysis 1988

  • N. Mandache

Exponential instability in an inverse problem for Schr¨

  • dinger equation

Inverse Problems 2001 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 2/5

slide-48
SLIDE 48

Stability of the Helmholtz Inverse Problem

c−2

1

− c−2

2 ≤ C

  • F(c−2

1 ) − F(c−2 2 )

  • initial

model target simulation

  • bservation

δ

◮ Stability associate data and model correspondence ◮ C(δ) ≤ C

  • log(1 + δ−1)

−α

  • G. Alessandrini

Stable determination of conductivity by boundary measurement Applicable Analysis 1988

  • N. Mandache

Exponential instability in an inverse problem for Schr¨

  • dinger equation

Inverse Problems 2001 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 2/5

slide-49
SLIDE 49

Conditional Lipschitz stability: assumptions

◮ c(x) is bounded B1 ≤ c−2(x) ≤ B2 in Ω ◮ c(x) has a piecewise constant representation of size N

c(x)−2 =

N

  • k=1

ckχk(x)

◮ Ω has Lipschitz boundary

c−2

1

− c−2

2 L2(Ω) ≤ C F(c−2 1 ) − F(c−2 2 )

(1)

  • G. Alessandrini and S. Vessella

Lipschitz stability for the inverse conductivity problem Advances in Applied Mathematics 2005

  • E. Beretta, M. V. de Hoop, F. and O. Scherzer

Inverse boundary value problem for the Helmholtz equation: quantitative conditional Lipschitz stability estimates. SIAM Journal of Mathematical Analysis 2016 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 3/5

slide-50
SLIDE 50

Formulation

The stability constant is bounded 1 4ω2 eK1N1/5 ≤ C ≤ 1 ω2 e(K(1+ω2B2)N4/7) (2)

◮ depends on the partitioning N and the frequency ω

  • E. Beretta, M. V. de Hoop, F. and O. Scherzer

Inverse boundary value problem for the Helmholtz equation: quantitative conditional Lipschitz stability estimates 2016 Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 4/5

slide-51
SLIDE 51

Conditional Lipschitz stability for Cauchy data

In the case of partial Cauchy data (p and ∂νp), we have that, we can obtain a Lipschitz type stability: c−2

1

− c−2

2 ≤ C

  • JG(c−2

1 , c−2 2 )

1/2 Where c−2

1

and c−2

2

are piecewise linear.

Florian Faucher – Reciprocity Waveform Inversion – March 12–14, 2019 5/5