Upgrade to Pro — share decks privately, control downloads, hide ads and more …

3D gravity inversion by planting anomalous densities

3D gravity inversion by planting anomalous densities

Leonardo Uieda

August 15, 2011
Tweet

More Decks by Leonardo Uieda

Other Decks in Science

Transcript

  1. 3D gravity inversion by planting anomalous densities Leonardo Uieda and

    Valéria C. F. Barbosa August, 2011 Observatório Nacional
  2. Observations of g z Group in a vector: g= [g

    1 g 2 ⋮ g N ] N×1 = observed data g Surface of the Earth
  3. Right rectangular prisms Parametrize the gravitational effect Discretize into M

    elements Homogeneous density contrast jth element Linearize (Nagy et al., 2000) Interpretative model p j
  4. Arrange M density contrasts in a vector: Parametrize the gravitational

    effect Discretize into M elements p= [p 1 p 2 ⋮ p M ] M×1 Parameter vector Linearize Interpretative model
  5. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear d=∑ j=1 M p j a j g≈d Predicted data Prisms with not shown p j =0 p j =Δρ
  6. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear d=∑ j=1 M p j a j Density contrast of jth prism g≈d Predicted data Prisms with not shown p j =0 p j =Δρ
  7. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear d=∑ j=1 M p j a j g≈d Predicted data Effect of prism with unit density Prisms with not shown p j =0 p j =Δρ
  8. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear g≈d Predicted data d=∑ j=1 M p j a j =A p Prisms with not shown p j =0 p j =Δρ
  9. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear g≈d Predicted data Parameter vector d=∑ j=1 M p j a j =A p Prisms with not shown p j =0 p j =Δρ
  10. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear g≈d Predicted data Jacobian (sensitivity) matrix d=∑ j=1 M p j a j =A p Prisms with not shown p j =0 p j =Δρ
  11. Discretize into M elements Parametrize the gravitational effect Gravitational effect

    is linear g≈d Predicted data Column vector of A d=∑ j=1 M p j a j =A p Prisms with not shown p j =0 p j =Δρ
  12. Minimize difference between and g d r=g−d Residual vector Data­misfit

    function: ϕ( p)=∥r∥2 = (∑ i=1 N (g i −d i )2 )1 2
  13. Minimize difference between and g d r=g−d Residual vector Data­misfit

    function: ϕ( p)=∥r∥2 = (∑ i=1 N (g i −d i )2 )1 2 ℓ2­norm of r Least­squares fit
  14. Constraints: 1. Compact no holes inside 2. Concentrated around “seeds”

    • User­specified prisms Similar to René (1986)
  15. Constraints: 1. Compact no holes inside 2. Concentrated around “seeds”

    • User­specified prisms • Given density contrasts ρs Similar to René (1986)
  16. Constraints: 1. Compact no holes inside 2. Concentrated around “seeds”

    • User­specified prisms • Given density contrasts • Any n° of ≠ density contrasts ρs Similar to René (1986) Not like René (1986)
  17. Constraints: 1. Compact no holes inside 2. Concentrated around “seeds”

    • User­specified prisms • Given density contrasts 3. Only • Any n° of ≠ density contrasts or p j =0 p j =ρs ρs Similar to René (1986) Not like René (1986)
  18. Constraints: 1. Compact no holes inside 2. Concentrated around “seeds”

    • User­specified prisms • Given density contrasts 3. Only • Any n° of ≠ density contrasts or p j =0 p j =ρs ρs 4. of closest seed p j =ρs Similar to René (1986) Not like René (1986)
  19. ill­posed problem well­posed problem constraints ϕ( p)=∥r∥2 = (∑ i=1

    N (g i −d i )2 )1 2 Minimize data misfit Minimize goal function Γ( p)=ϕ( p)+μθ( p)
  20. ill­posed problem well­posed problem constraints ϕ( p)=∥r∥2 = (∑ i=1

    N (g i −d i )2 )1 2 Minimize data misfit Minimize goal function Γ( p)=ϕ( p)+μθ( p) Regularizing parameter
  21. ill­posed problem well­posed problem constraints ϕ( p)=∥r∥2 = (∑ i=1

    N (g i −d i )2 )1 2 Minimize data misfit Minimize goal function Γ( p)=ϕ( p)+μθ( p) Regularizing function
  22. ill­posed problem well­posed problem constraints ϕ( p)=∥r∥2 = (∑ i=1

    N (g i −d i )2 )1 2 Minimize data misfit Minimize goal function Γ( p)=ϕ( p)+μθ( p) Regularizing function μ = tradeoff between fit and regularization
  23. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p)
  24. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p) Similar to Silva Dias et al. (2009)
  25. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p) ϵ = avoid singularity l j = distance between jth prism and seed β = how much compactness (3 to 7) Similar to Silva Dias et al. (2009)
  26. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p) For p j ≠0:
  27. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p) distance from seeds For p j ≠0:
  28. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p) distance from seeds regularizing function For p j ≠0:
  29. Regularization: θ( p)=∑ j=1 M p j p j +ϵ

    l j β Γ( p)=ϕ( p)+μθ( p) distance from seeds regularizing function Imposes: • Compactness • Concentration around seeds For p j ≠0:
  30. Constraints: 1. Compact 2. Concentrated around “seeds” 3. Only or

    p j =0 p j =Δρs 4. of closest seed p j =Δρs Regularization
  31. Constraints: 1. Compact 2. Concentrated around “seeds” 3. Only or

    p j =0 p j =Δρs 4. of closest seed p j =Δρs Regularization Algorithm
  32. Based on René (1986) Start with seeds known density contrast

    & position All other parameters set to 0 Overview:
  33. Based on René (1986) Start with seeds All other parameters

    set to 0 Iteratively grow Overview: known density contrast & position
  34. Based on René (1986) Start with seeds All other parameters

    set to 0 Iteratively grow add neighbor of seed Overview: known density contrast & position
  35. Based on René (1986) Start with seeds All other parameters

    set to 0 Iteratively grow add neighbor of seed accretion Overview: known density contrast & position
  36. Based on René (1986) Start with seeds All other parameters

    set to 0 Iteratively grow add neighbor of seed accretion Controlled by goal function and data misfit function Overview: Γ( p)=ϕ( p)+μθ( p) ϕ( p)=∥r∥2 = (∑ i=1 N (g i −d i )2 )1 2 known density contrast & position
  37. Algorithm: seeds N S Define interpretative model All parameters zero

    Include seeds Prisms with not shown p j =0 Seeds
  38. Algorithm: seeds N S Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g−d(0) Prisms with not shown p j =0
  39. Algorithm: Residual vector seeds N S Define interpretative model All

    parameters zero Include seeds Compute initial residuals r(0)=g−d(0) Prisms with not shown p j =0
  40. Algorithm: Observed data seeds N S Define interpretative model All

    parameters zero Include seeds Compute initial residuals r(0)=g−d(0) g = observed data Prisms with not shown p j =0
  41. Algorithm: Predicted by seeds seeds N S Define interpretative model

    All parameters zero Include seeds Compute initial residuals r(0)=g−d(0) g = observed data d = predicted data Prisms with not shown p j =0
  42. Algorithm: seeds N S Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g−d(0) g = observed data d=∑ j=0 M p j a j d = predicted data Prisms with not shown p j =0
  43. Algorithm: seeds N S Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g−d(0) g = observed data d=∑ j=0 M p j a j Many=0 d = predicted data Prisms with not shown p j =0
  44. Algorithm: seeds N S Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g−d(0) g = observed data d=∑ s=1 N S ρ s a j S d = predicted data Prisms with not shown p j =0
  45. Algorithm: seeds N S Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g− (∑ s=1 N S ρ s a j S ) Prisms with not shown g = observed data d = predicted data p j =0
  46. Algorithm: Density contrast of sth seed seeds N S Define

    interpretative model All parameters zero Include seeds Compute initial residuals r(0)=g− (∑ s=1 N S ρ s a j S ) Prisms with not shown g = observed data d = predicted data p j =0
  47. seeds N S Algorithm: Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g− (∑ s=1 N S ρ s a j S ) Column vector of A Prisms with not shown g = observed data d = predicted data p j =0
  48. seeds N S Algorithm: Define interpretative model All parameters zero

    Include seeds Compute initial residuals r(0)=g− (∑ s=1 N S ρ s a j S ) Prisms with not shown g = observed data d = predicted data Neighbors Find neighbors of seeds p j =0
  49. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit ϕ( p)=∥r∥ 2 p j =0
  50. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =0
  51. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) j = chosen j p j =0
  52. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen j p j =0 (New elements)
  53. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen j p j =0 (New elements) new predicted data
  54. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals r(new)=g−d(new) p j =0 (New elements) new predicted data j
  55. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals r(new)=g−d(new) p j =0 (New elements) new predicted data j d(old)+ effect of j
  56. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals r(new)=g−d(new) p j =0 (New elements) new predicted data j d(old)+ effect of j ∑ s=1 N S ρs a j S p j a j +
  57. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals r(new)=g−d(new) p j =0 (New elements) new predicted data j d(old)+ effect of j ∑ s=1 N S ρs a j S p j a j +
  58. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals r(new)=g−∑ s=1 N S ρs a j S − p j a j p j =0 (New elements) new predicted data j
  59. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals r(new)=g−∑ s=1 N S ρs a j S − p j a j p j =0 (New elements) new predicted data j { r(0)
  60. Prisms with not shown Growth: Try accretion to sth seed:

    Choose neighbor: 1. Reduce data misfit 2. Smallest goal function ϕ( p)=∥r∥ 2 Γ( p)=ϕ( p)+μθ( p) p j =ρ s j = chosen Update residuals p j =0 (New elements) new predicted data j r(new)=r(old )− p j a j
  61. Prisms with not shown Growth: None found = no accretion

    Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: p j =0
  62. Prisms with not shown Growth: None found = no accretion

    Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: Variable sizes p j =0
  63. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: p j =0
  64. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: p j =0 (New elements) j
  65. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0
  66. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0
  67. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 (New elements) j
  68. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 (New elements) j
  69. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 j
  70. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 j
  71. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 j
  72. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 j
  73. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 j
  74. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0 j
  75. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No p j =0
  76. Prisms with not shown Growth: None found = no accretion

    N S Try accretion to sth seed: 1. Reduce data misfit 2. Smallest goal function p j =ρ s j = chosen Update residuals r(new)=r(old )− p j a j Choose neighbor: At least one seed grow? Yes No Done! p j =0
  77. Advantages: Compact & non­smooth Any number of sources Any number

    of different density contrasts No large equation system Search limited to neighbors
  78. Remember equations: r(0)=g− (∑ s=1 N S ρs a j

    S ) r(new)=r(old)− p j a j Initial residual Update residual vector
  79. Remember equations: r(0)=g− (∑ s=1 N S ρ s a

    j S ) r(new)=r(old)− p j a j Initial residual Update residual vector No matrix multiplication (only vector +)
  80. No matrix multiplication (only vector +) Remember equations: r(0)=g− (∑

    s=1 N S ρ s a j S ) r(new)=r(old)− p j a j Initial residual Update residual vector Only need some columns of A
  81. No matrix multiplication (only vector +) Remember equations: r(0)=g− (∑

    s=1 N S ρ s a j S ) r(new)=r(old)− p j a j Initial residual Update residual vector Only need some columns of A Calculate only when needed
  82. No matrix multiplication (only vector +) Remember equations: r(0)=g− (∑

    s=1 N S ρ s a j S ) r(new)=r(old)− p j a j Initial residual Update residual vector Only need some columns of A Calculate only when needed & delete after update
  83. No matrix multiplication (only vector +) Remember equations: r(0)=g− (∑

    s=1 N S ρ s a j S ) r(new)=r(old)− p j a j Initial residual Update residual vector Only need some columns of A Calculate only when needed Lazy evaluation & delete after update
  84. Advantages: Compact & non­smooth Any number of sources Any number

    of different density contrasts No large equation system Search limited to neighbors
  85. Advantages: Compact & non­smooth Any number of sources Any number

    of different density contrasts No large equation system Search limited to neighbors No matrix multiplication (only vector +) Lazy evaluation of Jacobian
  86. Advantages: Compact & non­smooth Any number of sources Any number

    of different density contrasts No large equation system Search limited to neighbors No matrix multiplication (only vector +) Lazy evaluation of Jacobian Fast inversion + low memory usage
  87. • Sources = 1 km X 1 km X 1

    km Depth=1.6 km Depth=0.8 km
  88. • Sources = 1 km X 1 km X 1

    km • Data set = 375 observations Depth=1.6 km Depth=0.8 km
  89. • Sources = 1 km X 1 km X 1

    km • Area = 5 km X 3 km • Data set = 375 observations Depth=1.6 km Depth=0.8 km
  90. • 0.05 mGal Gaussian noise • Sources = 1 km

    X 1 km X 1 km • Area = 5 km X 3 km • Data set = 375 observations Depth=1.6 km Depth=0.8 km
  91. Δρ=0.5 g/cm3 • Used 2 seeds • With corresponding density

    contrasts • Placed in center of sources
  92. Δρ=1.0 g/cm3 Δρ=0.5 g/cm3 • Used 2 seeds • With

    corresponding density contrasts • Placed in center of sources
  93. Predicted data Observed data Inversion result • compact • concentrated

    around seeds • recover correct geometry of sources
  94. Predicted data Observed data Inversion result • compact • concentrated

    around seeds • fits observations • recover correct geometry of sources
  95. Predicted data Observed data On laptop with 2.0 GHz •

    375 data • 151,875 prisms • Total time≈4.4 min
  96. Cana Brava complex (CBC) & Palmeirópolis sequence (PVSS) • Outcropping

    • North of Goiás • Tocantins Province • Amazonian & São Francisco cratons After Carminatti et al. (2003)
  97. Cana Brava complex (CBC) & Palmeirópolis sequence (PVSS) Gravimetric data:

    • 132 observations • Residual Bouguer • Max 45 mGal After Carminatti et al. (2003)
  98. Cana Brava complex (CBC) & Palmeirópolis sequence (PVSS) Previous interpretation:

    After Carminatti et al. (2003) • Carminatti et al. (2003) • PVSS • CVC • Max depth Δρ=0.27 g/cm3 Δρ=0.39g/cm3 ≈6 km
  99. Cana Brava complex (CBC) & Palmeirópolis sequence (PVSS) Previous interpretation:

    After Carminatti et al. (2003) • Carminatti et al. (2003) • PVSS • CVC • Max depth Δρ=0.27 g/cm3 Δρ=0.39g/cm3 ≈6 km Test this hypothesis
  100. Assign seeds Green: z=0 km Δρ=0.27g/cm3 Blue: z=2 km Δρ=0.27g/cm3

    Red: z=0 km Δρ=0.39 g/cm3 Total = 269 Assign seeds
  101. Interpretative model Size: 120 km X 50 km X 11

    km 480,000 prisms Prism size: 500 m X 500 m X 575 m
  102. Inversion result On laptop with 2.0 GHz • 132 data

    • 480,00 prisms • Total time≈3.75 min
  103. • New 3D gravity inversion • Multiple sources • Interfering

    gravitational effects • Abrupt density­contrast distribution • No matrix multiplication • No need to solve large linear systems • Ideal for: ore bodies, intrusions, salt domes, etc Conclusions
  104. • Developed for gravity gradients • Presented at EAGE 2011

    preliminary results • To be presented at SEG 2011: • Final results • Robust method to handle non­targeted sources Previous and future work