yujin liu trip, caam, rice 11/14/2012 - the rice inversion...

27
Seismic imaging in the (image || data) domain Yujin Liu TRIP, CAAM, Rice 11/14/2012 2012 SEG Dicussion @ TRIP

Upload: others

Post on 21-Aug-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

Seismic imaging in the (image || data) domain

Yujin Liu

TRIP, CAAM, Rice

11/14/2012

2012 SEG Dicussion @ TRIP

Page 2: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

What is seismic imaging?

What is image domain? What is data domain?

How to combine them?

Page 3: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

What is seismic imaging?

What is image domain? What is data domain?

How to combine them?

W. W. Symes, 2008, Migration velocity analysis and waveform inversion: Geophysical

Prospecting, 56, 765–790

W. W. Symes, 2009, The seismic reflection inverse problem: Inverse Problems, 25, 1–39

Answer:

Page 4: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

13 of 48 oral sessions

2 workshops

Page 5: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

1. Introduction

Forward map: CDA equation + Sampling operator

Model Space Data Space forward map

:M v x : , ;D d tr s

x x

Assumption of Constant-density acoustics:

Space def:

Linearized Approximation:

Forward map: Born scattering operator + Sampling operator

0: ;M v v x x : , ;D d tr s

x xSpace def:

Page 6: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

Model Seismic Data inversion

1. Introduction

imaging

Imaging: Output least-squares inversion->FWI

Assumption of Constant-density acoustics:

Problem:

Linearized Approximation:

Imaging: background velocity building->MVA

velocity perturbation building->migration

Problems:

2

2min [ ]-v J v F v d

0

2

, 0 0 0 2min ; [ ] [ ]v v J v v DF v v d F v

Page 7: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

1. Introduction

Extended forward map: Extended CDA equation + Sampling operator

Model Space Data Space forward map

: ,M v x h : , ;D d tr s

x xSpace def:

Extended Model Space

Extension operator Extended forward map

Imaging: Extended inversion

Problem: 2

2min [ ]- ; . . 0v J v F v d s t A v x,h x,h

Page 8: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 Least-squares migration

2.2 Migration velocity analysis

2.3 Waveform inversion

2.4 Combine MVA and WI

Agenda

Page 9: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 Least-squares migration

2.2 Migration velocity analysis

2.3 Waveform inversion

2.4 Combine MVA and WI

Agenda

Page 10: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 LSM

2

0 0 0 2min ; [ ] - [ ]v J v v DF v v d F v

Questions:

1. How to define DF?

LSRTM (D. Sun et al; G. Yao et al; X. Li; W. Dai)

RTM LSRTM

(D. Sun et al)

Workflow of LSRTM Workflow of LSRTM

Page 11: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 LSM

2

0 0 0 2min ; [ ] - [ ]v J v v DF v v d F v

Questions:

2. How to increase efficiency?

Dynamic phase encoding (X. Wang et al; W. Dai)

Sparse promotion & message passing (Herrmann & X. Li)

BP:

LASSO:

Page 12: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2 2

0 0 0 0 0 22min ; [ ] [ ] - [ ] [ ] -T T

v migJ v v DF v DF v v DF v d H v v v

2.1 LSM

Questions:

How to calculate Hessian efficiently?

(P. Letourneau et al)

Reference model

migrated image

preconditioned

migrated image

Page 13: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 Least-squares migration

2.2 Migration velocity analysis

2.3 Waveform inversion

2.4 Combine MVA and WI

Agenda

Page 14: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.2 MVA

1. Objective Function

(1) Moveout-based WEMVA(Y. Zhang et al.);

True model

Inverted model

Gradient of

Proposed Method

Gradient of SPO

g=

Page 15: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

1. Objective Function

(2) Local image correction based WEMVA(F. Perrone et al.);

Initial model Inverted model

1. Objective Function

(2) Local image correction based WEMVA(F. Perrone et al.);

2.2 MVA

Page 16: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

1. Objective Function

(3) Illumination compensation WEMVA(T. Yang et al.)

2.2 MVA

Page 17: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2. RTM based WEMVA (P. Shen; W. Weibull)

2.2 MVA

Page 18: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 Least-squares migration

2.2 Migration velocity analysis

2.3 Waveform inversion

2.4 Combine MVA and WI

Agenda

Page 19: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.3 FWI

1. Objective Function

(1) Using denoise function (J. Oh et al.);

(2) Combine WET and FWI (H. Wang et al.);

(3) Interferometric WI (L. Demanet et al.);

Page 20: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.3 FWI

2. Decrease computational cost

(1) Encoding

a. Random phase encoding & L1norm (W. Son)

b. Random phase encoding & full Newton method (A. Anagaw)

c. Cyclic shot sampling (W. Ha)

(2) Sparse representation

a. Wavelet (Y. Lin et al)

(3) Algorithm

a. Truncated Newton (L. Metiver et al)

a. wave-energy-based preconditioning (T. Fei et al.);

b. Deconvolution gradient (F. Gao et al.);

(4) Preconditioning

(5) GPU (J. Mao)

b. Image-guided (Y. Ma et al)

Page 21: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.3 FWI

3. FWI based on reflected wave (S. Xu; H. Zhou)

a) Contribution of the direct wave to the gradient of

FWI; b) Contribution of the reflected wave to the gradient

of FWI; c) Source-reflector contribution of reflected wave to

the gradient of SRFWI; c) Source-reflector-receiver

contribution of reflected wave to the gradient of SRFWI

Page 22: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.1 Least-squares migration

2.2 Migration velocity analysis

2.3 Waveform inversion

2.4 Combine MVA and WI

Agenda

Page 23: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

1. Two-stage method (W. Weibull; N. Shah)

2.4 Combine MVA and FWI

Q: How to ensure starting model adequacy?

A: calculate the phase difference between the observed and predicted data, at the lowest

useable frequency present in the field data, after windowing the data in time using a

Gaussian window centered on the early arrivals. In practice, we do not pick first-break

times from the field data; rather we use arrival times calculated from the start model to

control the position of the Gaussian window.

Page 24: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.4 Combine MVA and FWI

2. Bi-objective optimization method (C. Fleury)

Page 25: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

2.4 Combine MVA and FWI

3. “TFWI” (D. Sun, Symes; Biondi, Almoni)

Initial velocity

Inverted velocity by TFWI

Page 26: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

Thinking…

1. What’s the best sparse promotion operator? Curvelet may be good for reflectivity

imaging, how about FWI?

3. It is also possible to converge globally in data domain without low frequency if

we choose OF carefully.

4. Extended model is the bridge of MVA and WI, but how to decrease the

computational cost of extended inversion? Data compressing + sparse representation

+ preconditioning + GPU ?

2. Multiple is still a difficult problem in seismic imaging.

Page 27: Yujin Liu TRIP, CAAM, Rice 11/14/2012 - The Rice Inversion ...trip.rice.edu/downloads/SEG2012_Liuyj.pdf · inversion 1. Introduction imaging Imaging: Output least-squares inversion->FWI

Thank CSC for supporting my visit in TRIP!

Thank TRIP for supporting me to join SEG!

Thank YOU for your attention!