45
Introduction au probl` eme inverse en G´ eosciences – l’approche d´ etermiste – Exemple de l’imagerie sismique Herv´ e Chauris – MINES ParisTech [email protected] May 24, 2019 Herv´ e Chauris – MINES ParisTech [email protected] Introduction au probl` eme inverse en G´ eosciences – l’approche

Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Introduction au probleme inverse en Geosciences– l’approche determiste –Exemple de l’imagerie sismique

Herve Chauris – MINES [email protected]

May 24, 2019

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 2: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Introduction

Localisation de la source

Approches deterministes et stochastiques

I Caracterisation de la source

I Caracterisation du milieu

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 3: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Imagerie sismique

Imagerie sismique

I Les observables = ?

I Les parametres du modele = ?

I La loi physique = ?

et. . .

I La formulation = ?

I La methode d’optimisation (gradient) = ?

I L’information a priori = ?

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 4: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Imagerie sismique

Imagerie sismique

I Les observables = ?

I Les parametres du modele = ?

I La loi physique = ?

et. . .

I La formulation = ?

I La methode d’optimisation (gradient) = ?

I L’information a priori = ?

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 5: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Experience sismique

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 6: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Acquisition des donnees – point de tir

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 7: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Acquisition des donnees – point de tir

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 8: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Imagerie sismique

Imagerie sismique

I Donnees = pression, deplacement, . . . , le champ complet, destemps d’arrivee, . . .

I Parametres du modele = vitesse de propagation des ondes (P,S, . . . ), densite, attenuation, anisotropie, . . .

I Loi physique = acoustique, elastique, visco-, anisotrope, . . .

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 9: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Imagerie sismique

Traitement interpretatif / (semi-)automatique

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 10: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Modelisation

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 11: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Imagerie = probl‘eme inverse

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 12: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Modelisation

Comprehension de la physique, avec de possibles simplifications

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 13: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Resolution du probl‘eme inverse

Choix / strategies

I Definition de la fonction objective (ici: “Inversion des Formesd’onde”)

I Optimisation globale vs. locale (gradient)

I Avec / sans linearisation

I Modele initial

I Parametrisation

I Approches hierarchiques (vp puis vp et ρ ; vp puis vp et Ip,. . . , frequences)

I Information a priori

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 14: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Resolution du probl‘eme inverse

Choix / strategies

I Definition de la fonction objective (ici: “Inversion des Formesd’onde”)

I Optimisation globale vs. locale (gradient)

I Avec / sans linearisation

I Modele initial

I Parametrisation

I Approches hierarchiques (vp puis vp et ρ ; vp puis vp et Ip,. . . , frequences)

I Information a priori

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 15: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – formulation

Approche generale :

I Pas de separation d’echelle : m(x)

I m(x) determine par minimisation non-lineaire iterative

J[m] =1

2

∥∥∥d [m]− dobs∥∥∥2(

1

m2(x)

∂2p

∂t2−∆p

)= S(t)δ(s− x)

d(s, r , t) = p(s, x = r , z = 0, t)

I Mise a jourmn+1 = mn − α∂J/∂m|n

I Premier gradient ∂J/∂m = migration (Lailly, 1983; Tarantola,1984) avec la methode de l’etat adjoint (Plessix, 2006)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 16: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – formulation

Approche generale :

I Pas de separation d’echelle : m(x)

I m(x) determine par minimisation non-lineaire iterative

J[m] =1

2

∥∥∥d [m]− dobs∥∥∥2(

1

m2(x)

∂2p

∂t2−∆p

)= S(t)δ(s− x)

d(s, r , t) = p(s, x = r , z = 0, t)

I Mise a jourmn+1 = mn − α∂J/∂m|n

I Premier gradient ∂J/∂m = migration (Lailly, 1983; Tarantola,1984) avec la methode de l’etat adjoint (Plessix, 2006)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 17: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – probleme direct

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 18: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – limitations

Donnees (bleu : observees, rouge : synthetiques)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 19: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – limitations

Fonction objective

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 20: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles de vitesse (haut) et de densite (bas)Echantillonage : dx = dx = 3 m, dt = 0.7 ms

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 21: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles initaux de vitesse (haut) et de densite (bas)Valeurs correctes proche de la surface

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 22: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles finaux (fmin = 30 Hz, fmax = 300 Hz) – densite nonremise a jour

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 23: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles de vitesse (haut) et de densite (bas)Echantillonage : dx = dx = 3 m, dt = 0.7 ms

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 24: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles finaux (fmin = 30 Hz, fmax = 300 Hz) – densite nonremise a jour

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 25: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles finaux (fmin = 30 Hz, fmax = 60 Hz) – densite non remisea jour

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 26: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles finaux (fmax = 60 Hz puis fmax = 300 Hz) – densite nonremise a jour

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 27: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Modeles de vitesse (haut) et de densite (bas)Echantillonage : dx = dx = 3 m, dt = 0.7 ms

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 28: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Profils de vitesse (gauche) et d’impedance (droite)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 29: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Forme de la fonction objective

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 30: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Donnees ovservees (gauche), residus initiaux (milieu) et finaux(droite)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 31: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Inversion de la vitesse (haut) ou de la densite (bas)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 32: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Applications

[Virieux and Operto, 2009]

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 33: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Applications

[Baeten et al., 2008]

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 34: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Applications

http://sepwww.stanford.edu

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 35: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Conclusions et perspectives

Probleme inverse : pas une boite noire

I Multi-parametre ?

I 3d acoustique possible aujourd’hui, 3d elastique pas encore

Lectures :

I Virieux, J., and S. Operto, 2009. An overview offull-waveform inversion in exploration geophysics, Geophysics,74(6), WCC127–152https://jean-virieux.obs.ujf-grenoble.fr/IMG/pdf/

GPY_2009_VIRIEUX.pdf?

I http://lg.eage.org/?evp=6380 (google: eage learninggeoscience education portal bookshop)

I Albert Tarantola, www.ipgp.fr/~tarantola

I Michel Kern, cv.archives-ouvertes.fr/michel-kern

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 36: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 37: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Separation d’echelles

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 38: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – probleme direct

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 39: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Approche en deux temps (fmax = 60 Hz puis fmax = 300 Hz)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 40: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Approche en une etape (fmax = 300 Hz)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 41: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Snapshots (initial, inverse, exact et differences)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 42: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Solution de reference (toutes les sources)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 43: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Avec une source sur 5 (tous les 5 m)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 44: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Inversion des formes d’onde – strategies

Forme de la fonction objective (densite)

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –

Page 45: Introduction au probl eme inverse en G eosciences { l’approche d … · 2020. 1. 20. · Conclusions et perspectives. Probl eme inverse : pas une boite noire. I. Multi-param etre

Introduction – exemple 3

Le toboggan d’Abel

Herve Chauris – MINES ParisTech [email protected] au probleme inverse en Geosciences – l’approche determiste –