i

ACOPLAMENTO ACSTICO-ELSTICO PARA PROPAGAO DE ONDAS

SSMICAS USANDO O MTODO DE MALHA INTERCALADA EQUIVALENTE

Ana Paula Gomes Vieira

Tese de Doutorado apresentada ao Programa de

Ps-graduao em Engenharia Civil, COPPE, da
Universidade Federal do Rio de Janeiro, como
parte dos requisitos necessrios obteno do
ttulo de Doutor em Engenharia Civil.
Orientadores: Webe Joo Mansur
Leandro Di Bartolo

Rio de Janeiro
Junho de 2014

iii

Vieira, Ana Paula Gomes

Acoplamento Acstico-Elstico para propagao de
ondas ssmicas usando o mtodo de malha intercalada
equivalente/ Ana Paula Gomes Vieira. Rio de Janeiro:
UFRJ/COPPE, 2014.
IX, 62 p.: il.; 29,7 cm.
Orientadores: Webe Joo Mansur
Leandro Di Bartolo
Tese (doutorado) UFRJ/ COPPE/ Programa de
Engenharia Civil, 2014.
Referncias Bibliogrficas: p. 58-62.
1. Propagao de ondas ssmicas. 2. Diferenas
Finitas. 3. Acoplamento. I. Mansur, Webe Joo et al. II.
Universidade Federal do Rio de Janeiro, COPPE,
Programa de Engenharia Civil. III. Ttulo.

iv

minha querida filha Isabella.

v
AGRADECIMENTOS

Aos meus orientadores, Professores Webe e Leandro, por todos os ensinamentos

recebidos.
Ao meu marido Julio e meus pais, Marcos e Elizabeth, pela pacincia e apoio.
Aos meus chefes, Coronis Carlos Alves, Monteiro, Diniz, Guilherme e
Teixeira, pela oportunidade de desenvolvimento profissional.
Aos membros da banca, pela participao e contribuio.
Ivone, por estar sempre pronta a ajudar a todos.

vi
Resumo da Tese apresentada COPPE/UFRJ como parte dos requisitos necessrios para
a obteno do grau de Doutor em Cincias (D.Sc.)

ACOPLAMENTO ACSTICO-ELSTICO PARA PROPAGAO DE ONDAS

SSMICAS USANDO O MTODO DE MALHA INTERCALADA EQUIVALENTE

Ana Paula Gomes Vieira

Junho/2014

Orientadores: Webe Joo Mansur

Leandro Di Bartolo

Programa: Engenharia Civil

Este trabalho apresenta a proposta de um novo algoritmo baseado no acoplamento

de esquemas baseados no Mtodo das Diferenas Finitas. So acopladas formulaes de
malha intercalada equivalente acstica (ESG-Ac) e elstica (ESG-El). O acoplamento
explcito e utiliza a tcnica de sobreposio de domnio, onde um esquema em presso
utilizado na parte acstica e um esquema em velocidades utilizado na parte elstica.
Esquemas que utilizam malha intercalada equivalente demandam um menor dispndio de
memria do que os esquemas de malha intercalada padro (SSG). Ao serem acoplados,
resultam em um algoritmo que utiliza a menor quantidade de recursos de memria
possvel sem comprometer o custo computacional significativamente. Com a estratgia
de acoplamento desenvolvida, pode-se aplicar o esquema mais adequado para cada parte
do modelo fsico, ou seja, utilizar o esquema ESG-Ac para as camadas de gua e o ESGEl para as camadas de rocha, gerando um algoritmo eficiente para a propagao de ondas
ssmicas, adequado a diversas aplicaes.

vii
Abstract of Thesis presented to COPPE/UFRJ as a partial fulfillment of the requirements
for the degree of Doctor of Science (D.Sc.)

COUPLING ACOUSTIC-ELASTIC FOR SEISMIC PROPAGATIONS USING

EQUIVALENT STAGGERED-GRID SQUEME

Ana Paula Gomes Vieira

June/2014

Advisors: Webe Joo Mansur

Leandro Di Bartolo

Department: Civil Engineering

This work presents a proposal of a new algorithm based on coupling schemes based
on the Difference Finite Method. Acoustic and elastic equivalent staggered-grid schemes
are coupled. The coupling is explicit and uses the technique of overlapping area, where a
scheme is used in pressure in the acoustic part and a scheme in velocities is used in the
elastic part. Schemes based in equivalent staggered-grid demands less memory
requirements than the standard staggered-grid scheme (SSG).When they are coupled,
results in an algorithm that uses the lowest possible memory requirement without
compromises the computational cost. With the coupling developed strategy, the scheme
can be applied in the layer more appropriate at the physic model, in other words, applies
ESG-Ac for the water layer and the ESG-El for the rock layers, generating an efficient
algorithm for seismic propagations that is adequate for various applications.

viii
NDICE

1

2

INTRODUO .......................................................................................................... 1
1.1

Reviso Bibliogrfica ........................................................................................... 3

1.2

Proposta de tese .................................................................................................... 6

1.3

Estrutura da tese ................................................................................................... 8

FORMULAES NUMRICAS .............................................................................. 9

2.1

Malha Simples (NSG) - Acstica ......................................................................... 9

2.2

Malha Intercalada Padro (SSG) - Acstico ...................................................... 12

2.3

Malha Intercalada Padro (SSG) Elstico ....................................................... 16

2.4

Formulaes Equivalentes.................................................................................. 18

2.4.1

Operadores equivalentes de malha intercalada ........................................... 19

2.4.2

ESG Acstico (ESG-Ac-P) ...................................................................... 20

2.4.3

ESG Elstico (ESG-El-V) ........................................................................ 23

2.5

3

4

Aspectos Computacionais .................................................................................. 24

2.5.1

Fonte ssmica .............................................................................................. 25

2.5.2

Condies de contorno e condies iniciais ............................................... 27

2.5.3

Estabilidade numrica ................................................................................. 28

ACOPLAMENTO DE FORMULAES NUMRICAS....................................... 31

3.1

Acoplamento da formulao ESG-Ac-P com SSG-El ....................................... 32

3.2

Acoplamento da formulao SSG-El com ESG-El-V........................................ 35

3.3

Acoplamento final entre os esquemas ESG-Ac-P, SSG-El e ESG-El-V ........... 38

EXEMPLOS E DISCUSSO ................................................................................... 41

ix

5

4.1

Exemplo 1 Modelo com trs camadas............................................................. 41

4.2

Exemplo 2 Marmousi 2 ................................................................................... 46

4.3

Discusso a respeito do rendimento computacional .......................................... 51

CONCLUSES E TRABALHOS FUTUROS......................................................... 54

5.1

Concluses finais................................................................................................ 54

5.2

Trabalhos Futuros............................................................................................... 56

REFERNCIAS BIBLIOGRFICAS.............................................................................. 58

INTRODUO

Em geofsica aplicada, o Mtodo Ssmico (MS) o mtodo mais utilizado na

explorao de hidrocarbonetos, sendo a principal ferramenta para imageamento da
subsuperfcie, permitindo a identificao de regies favorveis ao acmulo de petrleo e
gs, alm do constante monitoramento de reservatrios j conhecidos. O MS pode ser
dividido em trs etapas fundamentais: aquisio, processamento e interpretao (YILMAZ,
2001). A etapa de aquisio consiste na propagao de ondas ssmicas no meio de interesse
para, posteriormente, se obter as ondas refletidas provenientes das interfaces onde h
descontinuidade no contraste de impedncia do meio. A segunda etapa tem o objetivo final
de obter uma imagem geolgica do meio baseada nos dados coletados anteriormente. Para
tal, os dados so processados com o intuito de atenuar rudos e aumentar a razo sinal-rudo
e a resoluo dos dados coletados em campo. Nesta etapa, as velocidades do meio so
estimadas e o dado migrado para formar a imagem dos refletores. Na etapa de
interpretao, os dados obtidos so interpretados de tal maneira a se localizar possveis
reservas de hidrocarbonetos em subsuperfcie.
O presente trabalho se insere na linha de modelagem computacional de ondas
ssmicas com o Mtodo das Diferenas Finitas (MDF). A modelagem importante em
vrias etapas do MS, sendo o modo mais utilizado para a resoluo dos problemas
envolvendo propagaes de ondas ssmicas a utilizao de mtodos numricos, em
contraposio aos demais mtodos como, por exemplo, a resoluo analtica de tais
equaes (o que no funciona para meios complexos) e a abordagem experimental. Cada
vez mais, os chamados mtodos baseados na equao da onda so utilizados no

2
processamento em detrimento de mtodos de ltima instncia fundamentados na teoria do
raio. Exemplos disso so a migrao reversa no tempo, um mtodo de imageamento que
propaga a energia ssmica inversamente no tempo utilizando a equao completa da onda, e
o procedimento de inverso de campo de onda conhecido como full wave form inversion,
capaz de obter velocidades ssmicas de alta qualidade e resoluo. Nessas duas aplicaes,
muito importante a utilizao de algoritmos eficientes.
Em vrias reas, a propagao de ondas importante, no somente em Geofsica,
mas tambm em Engenharia, Medicina, Fsica, entre outras. Exemplos de aplicaes nessas
reas so: ensaios no destrutivos em Engenharia, imageamento em Medicina e
eletrodinmica em Fsica, por exemplo. Assim, o estudo aqui proposto tem diversas
utilizaes em potencial, no devendo ser visto como restrito apenas geofsica aplicada
explorao de hidrocarbonetos.
H diversos mtodos numricos que podem ser utilizados no estudo da
propagao de ondas, tais como o Mtodo dos Elementos Finitos (MEF), o Mtodo dos
Elementos de Contorno (MEC) e o Mtodo das Diferenas Finitas (MDF). Este ltimo o
mais popular entre os mtodos para o caso da propagao de ondas ssmicas, uma vez que
apresenta grande eficincia computacional e de implementao mais simples.

3
1.1

Reviso Bibliogrfica

Os primeiros trabalhos sobre a propagao de ondas ssmicas utilizando o MDF

remontam h 40 anos. Foram desenvolvidas por BOORE (1972) formulaes numricas
para o MDF onde as propriedades heterogneas do meio so fornecidas ponto a ponto e,
depois, foi lanada a sua extenso por KELLY et al. (1976). Vale lembrar que este ltimo
esquema no fornece bons resultados na presena da gua, assim como em meios onde o
coeficiente de Poisson maior do que 0,25, como observado em LEVANDER (1988).
Outros esquemas de malha simples tem o mesmo problema para modelar este tipo de regio
(STEPHEN, 1988).
Um esquema muito popular de modelagem para a soluo de problemas de
propagao de ondas ssmicas baseado em malhas intercaladas foi proposto por VIRIEUX
(1984, 1986), bem como sua posterior extenso para quarta ordem, sugerida por
LEVANDER (1989). Ambos os esquemas citados so baseados na mesma malha
intercalada e sero designados como SSG (do ingls Standard Staggered-Grid scheme). Na
verdade, os esquemas de malha intercalada foram aplicadas em geofsica originalmente por
MADARIAGA (1976), utilizando ideias aplicadas para eletrodinmica e fluidos,
respectivamente em YEE (1966) e HARLOW et al. (1965).
A vantagem de esquemas de malha intercalada deste tipo que eles funcionam
com qualquer coeficiente de Poisson, porm necessitam que sejam armazenados os
parmetros relativos aos trs campos de tenses e aos dois campos de velocidades (no caso
2D), uma vez que so baseados no sistema de equaes acopladas em tenses e velocidades
(de primeira ordem). Esta desvantagem em termos de dispndio de memria foi resolvida

4
por LUO e SCHUSTER (1990) para um caso especfico, ao implementar um algoritmo
baseado no sistema de equaes acopladas em tenses e deslocamentos (de segunda
ordem), onde no h necessidade de armazenamento das tenses. Esta abordagem funciona
apenas para o caso elstico, como mostrado por DI BARTOLO et al. (2012a).
DI BARTOLO et al.(2014) desenvolveram formulaes de campo nico (ou seja,
somente em termos de deslocamento, velocidade ou tenso) para a resoluo de problemas
de propagao de ondas ssmicas em meios heterogneos e anisotrpicos atravs do MDF
com malhas intercaladas. Tal formulao pode ser aplicada para diferentes configuraes
de malha intercalada e generalizam a ideia de LUO e SCHUSTER (1990), gerando
esquemas equivalentes aos esquemas de malha intercalada existentes, com a diferena de
que so aplicados diretamente nas equaes em termos de apenas um campo de
propagao, fazendo com que se possam obter esquemas vantajosos do ponto de vista de
dispndio de memria computacional. Tais esquemas so denominados simplesmente por
ESG (do ingls Equivalent Staggered-Grid scheme).
Os esquemas de malha intercalada padro (VIRIEUX, 1986; LEVANDER, 1989;
MOCZO et al., 2002) so abordagens de sucesso para a propagao de ondas ssmicas
especialmente porque funcionam bem tanto para o caso elstico quanto para o acstico,
bem como em regies de acoplamento entre estes dois tipos de meios. Contudo, quando o
dispndio de memria um condicionante, sabido que o SSG apresenta desvantagem em
relao aos esquemas no intercalados, como por exemplo, o esquema de KELLY et al.
(1976), baseado apenas em deslocamentos.
Para o caso acstico, os esquemas em termos de presso em malha simples so os
esquemas de diferenas finitas com menor dispndio de memria possvel. Neste sentido,
DI BARTOLO et al. (2012a) apresentaram o esquema de malha intercalada equivalente

5
baseado apenas em presso (ESG-Ac-P) para modelar regies acsticas. Tal esquema um
esquema alternativo ao apresentado por COHEN et al. (1990) e fornece as mesmas
respostas numricas que o SSG quando aplicado em meios acsticos, porm com o mesmo
dispndio de memria que o esquema de malha simples. Enquanto o esquema de Cohen
no tem a estabilidade garantida, conforme a anlise de estabilidade realizada no trabalho
citado, o esquema proposto por DI BARTOLO et al. (2012a) tem as mesmas propriedades
espectrais do esquema de malha intercalada correspondente.
A grande vantagem do ESG-Ac-P que, assim como o de malha simples, ele
necessita armazenar apenas dois painis de presso para realizar a marcha no tempo, em
contraposio aos cinco painis (2D) ou nove painis (3D) do SSG. O trabalho DI
BARTOLO et al.(2014) uma a generalizao desta ideia para o caso elstico. Neste caso,
apresenta-se vantajoso em termos de dispndio de memria utilizar o campo de
deslocamentos (ou velocidades) para formular o esquema equivalente.
O acoplamento de esquemas numricos ESG um tema importante no que se
refere propagao de ondas, uma vez que podem ser utilizados algoritmos especialmente
voltados para modelar eficientemente determinadas regies do domnio em questo. Um
exemplo o acoplamento entre meios acsticos e elsticos, conhecidos como meios
offshore, no jargo da geofsica meios compostos por gua na parte superior e rochas na
parte inferior. Existem diversos artigos sobre tcnicas de acoplamento que reportam
variadas estratgias para lidar com o acoplamento entre diferentes domnios fsicos e uma
reviso mais completa pode ser vista em SOARES (2011).
DI BARTOLO et al.(2012b) apresentaram um algoritmo de acoplamento entre os
esquemas ESG-Ac-P e SSG que utiliza uma estratgia de acoplamento simples e eficiente
numericamente. Neste algoritmo, utilizado o chamado acoplamento direto explcito, bem

6
como a tcnica de sobreposio de domnio, na qual o domnio do problema dividido em
sub-regies (subdomnios), uma para a parte acstica (gua) outra para a parte elstica
(rochas), sendo aplicado os esquemas ESG-Ac-P e SSG, respectivamente, para cada subregio. Como resultado, o esquema de acoplamento proposto permitiu uma reduo do
tempo de processamento e dispndio de memria em cerca de 25% para os casos 2D e 3D.
Algoritmos de modelagem eficientes so importantes para diversas aplicaes em
geofsica. Desde cedo, comeou-se a utilizar tais algoritmos para o imageamento de
estruturas, conhecido com o nome de migrao ssmica. HEMON (1978), BAYSAL et al.
(1983) e LOEWENTHAL et al. (1983) propuseram a tcnica chamada de Migrao
Reversa no Tempo, que propaga a energia que chega aos receptores no sentido inverso do
tempo e aplica uma condio de imagem para gerar uma imagem dos refletores.

1.2

Proposta de tese

O acoplamento de esquemas numricos ESG o foco deste trabalho, onde so

construdos algoritmos especialmente voltados para modelar eficientemente regies
offshore. Sero focadas, especialmente, regies ocenicas muito profundas (conhecidas
como guas profundas ou ultra profundas), onde a lmina dgua pode variar entre 2 e 3
km. Uma destas regies o pr-sal brasileiro, onde as camadas de petrleo podem ser
encontradas a 2.000 m abaixo da camada de sal, que, por sua vez, encontra-se a
aproximadamente 2.000m de profundidade abaixo da camada de rocha, abaixo de 2.0003.000 m de gua. Isto implica que cerca de 30 a 40% do meio de interesse composto de
gua.

7
A presente tese prope uma extenso do procedimento de acoplamento sugerido
por DI BARTOLO et al.(2012b). Neste sentido, ser aplicado o ESG-Ac-P na camada de
gua e o ESG elstico em termos de velocidades (ESG-El-V) nas camadas de rocha. Tal
esquema, como mencionado anteriormente, foi desenvolvido em DI BARTOLO et al.
(2014), sendo baseado apenas nas componentes de velocidade, utilizando malha intercalada
de VIRIEUX. Alm disso, o ESG-El-V um esquema de malha intercalada equivalente ao
SSG para meios elsticos, ou seja, apresenta as mesmas respostas que este esquema. Na
extenso proposta neste trabalho, aplicada tambm a tcnica de acoplamento explcito
direto, combinada com a tcnica de sobreposio de domnio para acoplar os dois
esquemas. Uma vez que o ESG-Ac-P e o ESG-El-V apresentam o mesmo critrio de
estabilidade, essa estratgia de acoplamento se mostra a mais apropriada, no requerendo
processo iterativo.
A extenso apresentada realizada acoplando-se o algoritmo de acoplamento
previamente apresentado (ESG-Ac-P com SSG-El) com o esquema ESG-El-V. Em outras
palavras, o SSG utilizado em uma sub-regio de transio. Na presente extenso, a
tcnica de sobreposio usada para trocar, no somente informaes sobre presso
acstica (tenses no caso do SSG), mas tambm informaes de velocidade, o que torna o
procedimento um pouco mais complexo. Para fins de simplicidade, o acoplamento ser
desenvolvido para meio 2D, adotando-se operadores com quarta ordem de preciso no
espao e segunda ordem de preciso no tempo. Ordens mais elevadas e extenses 3D
podem ser feitas de forma simples. O esquema de acoplamento resultante muito
otimizado em relao ao custo de memria e o custo computacional permanece similar ao
SSG se uma programao cuidadosa for feita. O desempenho deste algoritmo de

8
acoplamento ser tanto melhor quanto maior for a espessura da camada de gua, em virtude
do excelente desempenho do esquema ESG-Ac-P.

1.3

Estrutura da tese

A tese est dividida em cinco captulos, conforme descrito na sequncia.

No Captulo 2 so apresentadas as formulaes numricas implementadas.
Inicialmente so mostradas as formulaes clssicas, tanto baseadas em malha simples
quanto intercalada padro e, posteriormente, apresentam-se os esquemas de malha
intercalada equivalente, que sero utilizados no acoplamento foco dessa tese.
No Captulo 3 so apresentados os acoplamentos implementados detalhadamente.
Explica-se o acoplamento entre o ESG-Ac-P e SSG, o acoplamento entre o SSG e ESG-ElV e, finalmente, o acoplamento entre os trs esquemas ESG-Ac-P, SSG e ESG-El-V.
No Captulo 4, apresentam-se exemplos utilizando o acoplamento proposto e
compara os resultados com aqueles obtidos pelo esquema SSG, demonstrando a
equivalncia entre eles. So feitas anlises a respeito desses resultados.
No Captulo 5, encontram-se as concluses finais a respeito do trabalho
apresentado, bem como as perspectivas de trabalhos futuros.

9
2

FORMULAES NUMRICAS

Neste captulo, so apresentadas as formulaes numricas implementadas para o

presente estudo. Inicialmente, so mostradas as formulaes clssicas, que sero utilizadas
neste trabalho para a realizao do acoplamento e para fins de comparao, tanto baseadas
em malhas simples quanto em malhas intercaladas padro, assim como formulaes com
ordens elevadas. Por fim, sero vistos esquemas de malha intercalada equivalente,
apresentando-se a teoria subjacente.

2.1

Malha Simples (NSG) - Acstica

Usualmente, utilizada em Geofsica a seguinte equao da onda acstica:

(2-1)

sendo p a presso acstica, a densidade do meio, c a velocidade de propagao e s a fonte

ssmica, dada pela derivada segunda do parmetro de injeo de massa , sendo dada por

(2-2)

onde  a distribuio Delta de Dirac,  o ponto de aplicao da fonte, A a

amplitude da fonte, fc um parmetro relacionado com a frequncia de corte fcorte e td o

tempo defasado, utilizado para deslocar o incio da aplicao da fonte, para que o mximo

10
da funo seja deslocado de zero para um tempo t0 positivo, de forma que a expresso seja
praticamente zero no incio da anlise (em t=0) e cresa suavemente (sem
descontinuidade).

As

expresses

para

os

parmetros

acima

sero

mostradas,

posteriormente, em (2-49) e (2-50).

importante lembrar a equao (2-2) vlida apenas para o caso em que o
gradiente de densidades do meio desprezvel.
Para a derivada temporal, foi utilizada a aproximao de 2 ordem de diferenas
centrais, dada por

(2-3)

onde o tempo dado por e as coordenadas espaciais por x=ih e z=jh, sendo o

passo de tempo e h o espaamento da malha.

A equao (2-1), desconsiderando a fonte ssmica, pode ser escrita como:

(2-4)

Tal equao foi discretizada por diferenas finitas em 2, 4 e 6 ordens,

respectivamente, com a utilizao dos operadores dados por:

(2-5)

11

(2-6)

(2-7)

Substituindo-se (2-5) e (2-3) em (2-4), (2-6) e (2-3) em (2-4) e (2-7) e (2-3) em

(2-4) chega-se s expresses dos esquemas NSG (2-8), (2-9) e (2-10), respectivamente
2E2T, 4E2T e 6E2T (onde os nmeros so as ordens de aproximao utilizadas no espao e
no tempo, respectivamente), assim representadas:

(2-8)

(2-9)

(2-10)

12
Na Figura 2-1, so mostrados os stencils dos esquemas NSG acsticos de 2 e 4
ordens. Por esse ser um esquema de passo duplo, devem-se armazenar os painis de presso
dos tempos t-1 e t para ser possvel o clculo do tempo t+1, ou seja, para a realizao da
marcha no tempo.

Figura 2-1: Stencil de 2 ordem (a) e 4 ordem (b).

2.2

Malha Intercalada Padro (SSG) - Acstico

Na formulao de malha intercalada para meios acsticos, parte-se das equaes

apresentadas abaixo, que so mais gerais que a equao (2-1), pois permitem meios com
quaisquer densidades:

(2-11)

13

(2-12)

onde iv o parmetro de injeo de massa, k o coeficiente de compresso volumtrico

(bulk modulus), sendo a velocidade de propagao do meio dada por .

A Figura 2-2 apresenta a malha intercalada utilizada para o caso acstico. O painel

da esquerda mostra as posies do campo de presses p e do mdulo de compresso k,

ambos em posies inteiras da malha, considerando-se tambm ndices inteiros para os
passos de tempo n. O painel da direita mostra a malha intercalada considerada no passo de
tempo intermedirio, para as componentes de velocidade na direo x e na direo z. Uma
observao importante que os valores das propriedades nos pontos intermedirios, b,
foram obtidos atravs de mdia aritmtica entre os pontos inteiros da malha, como
mostrado, por exemplo, em (2-13). Cabe ressaltar que outras mdias podem ser usadas
como, por exemplo, a mdia harmnica (MOCZO et al., 2002; ZAHRADNK et al., 1993).

Figura 2-2: Representao da malha intercalada utilizada para o caso acstico.

14

(2-13)

Os operadores de diferenas centrais utilizados foram os seguintes (VIRIEUX,

1986 e LEVANDER, 1989):

(2-14)

(2-15)

respectivamente para 2 e 4 ordens no espao. Alm disso, foi utilizado tambm o operador
de 6 ordem, dado por:

(2-16)

Utilizando a discretizao, em 2 ordem, obtm-se as expresses a seguir descritas:




(2-17)

(2-18)

(2-19)

15
E, analogamente, as expresses de 4 ordem ficam assim escritas:

(2-20)

(2-21)

(2-22)

Aps os testes com os operadores de 2 e 4 ordens, foi implementada e testada a

discretizao em 6 ordem com a utilizao das seguintes expresses:

(2-24)

(2-23)

(2-25)

16
2.3

Malha Intercalada Padro (SSG) Elstico

O esquema de malha intercalada padro para meios elsticos (SSG) obtido

aplicando-se operadores de diferena central para malha intercalada nas equaes de
propagao de onda a seguir descritas (2-26)-(2-30), considerando os campos e
propriedades na malha intercalada (VIRIEUX, 1986; LEVANDER, 1989).

(2-26)

(2-27)

(2-28)

(2-29)

(2-30)

onde e so as constantes de Lam, a densidade de massa mdia, e  so as

componentes de velocidade e , e so as componentes de tenso.

A Figura 2-3 apresenta a malha intercalada utilizada para o caso elstico. O painel

da esquerda mostra as posies do campo de tenses ( , e ) e

propriedades elsticas (constantes de Lam, L e M) consideradas no passo de tempo n. O

painel da direita mostra a malha intercalada considerada no passo de tempo n+1/2, para as
componentes de velocidade ( , ) e para as densidades (ou o seu inverso, B).

17

Figura 2-3: Representao da malha intercalada utilizada para o caso elstico.

O esquema de quarta ordem obtido aplicando o operador da forma (2-15), de

quatro pontos de stencil, nas equaes acima, bem como o operador usual de segunda
ordem para malhas intercaladas no tempo (similar a (2-14)).
Como exemplo, so apresentadas as expresses de diferenas finitas para a
resoluo de tais equaes, com preciso de 2 ordem, aps aplicao do operador mostrado
em (2-14) para todas as derivadas presentes em (2-26)-(2-30):

(2-31)

(2-32)

18

(2-33)

(2-34)

2.4

(2-35)

Formulaes Equivalentes

Nesta seo, sero apresentadas formulaes de malha intercalada equivalente

(ESG do ingls Equivalent Staggered Grid), baseadas em um nico campo de propagao
e que utilizam malha intercalada padro (DI BARTOLO et al., 2014, 2012a). Como
mencionado anteriormente, os esquemas ESG apresentam como principal vantagem a
economia na utilizao de memria durante a resoluo do problema e so formulaes
equivalentes quelas de malha intercalada obtidas anteriormente, ou seja, so
numericamente equivalentes. Por serem mais vantajosas em termos de utilizao de
memria, foram implementadas formulaes de campo nico em termos de presses, para o
caso acstico (DI BARTOLO et al., 2012a) e em termos de velocidades (DI BARTOLO et

19
al., 2014), para o caso elstico. Primeiro, ser mostrada uma breve reviso sobre os
operadores equivalentes de malha intercalada, conforme apresentado em DI BARTOLO et
al. (2014).

2.4.1 Operadores equivalentes de malha intercalada

Considerando-se

como o operador de diferenas finitas utilizado para

aproximar derivadas no SSG, ou seja, a aproximao para a derivada primeira com ordem
N de aproximao na direo xl .
Para a obteno dos operadores ESG, parte-se daqueles j vistos no esquema SSG,
utilizando-se a relao dada por

(2-36)

onde xl representa a coordenada espacial ou temporal, com x0=t e (x1, x2, x3)=(x, y, z) e os
ndices i, k e n indicam, respectivamente, a posio em x, z e tempo na malha intercalada
(caso 2D), q a componente do campo de propagao considerado e p uma componente
do tensor elstico. A correspondncia entre os esquemas SSG e ESG esquematicamente
representada por

 


(2-37)

20
Tal expresso indica que, para terem-se os mesmos resultados do esquema SSG, os
operadores de derivada segunda devem ser obtidos aplicando-se duas vezes os operadores
usados para as derivadas primeiras do SSG considerando o mesmo esquema de malha
intercalada original.
2.4.2 ESG Acstico (ESG-Ac-P)

O esquema ESG acstico baseado apenas na presso acstica obtido aplicandose os operadores equivalentes nas equaes acsticas da onda em termos de presso. Tal
equao obtida eliminando as velocidades das equaes (2-11) e (2-12), ficando da
seguinte forma:

(2-38)

A equao (2-38) a extenso da equao (2-1) para o caso de meios com

densidade varivel, sendo N = c2Uo mdulo de compresso volumtrico. Da mesma forma
que em (2-13), deve-se considerar as mesmas mdias que no caso do esquema SSG para
que os resultados sejam equivalentes.
Neste esquema, ser utilizada a mesma malha j vista para o caso SSG-Ac (Figura
2-2). Os operadores de derivada segunda utilizados para 2 e 4 ordem (DI BARTOLO et
al., 2012a), so os seguintes, respectivamente:

(2-39)

21

(2-40)

Para o caso com densidade constante, os operadores utilizados so dados abaixo,

respectivamente para 2 e 4 ordens:

(2-41)

(2-42)

Discretizando-se (2-38) com preciso de 2 ordem no tempo e espao, chega-se

seguinte expresso, onde b o inverso da densidade (b=1/):

(2-43)

22
Assim como no caso da utilizao dos esquemas de campo duplo (esquemas de
malha intercalada tradicionais), os operadores temporais utilizados neste esquema sero
sempre em 2 ordem de preciso e recaem no operador tradicional de diferenas finitas para
malhas simples. Os esquemas ESG desintercalam a formulao numrica no tempo.
A equao com 4 ordem de preciso pode ser assim representada:

(2-44)

Na Figura 2-4(a), so apresentados os stencils utilizados para os operadores ESG

de derivadas no cruzadas, utilizados na formulao acstica. Os pontos em branco so
utilizados para 2 ordem de aproximao, enquanto que para 4 ordem, todos os pontos

23
(brancos e pretos) so utilizados. Na Figura 2-4(b), so apresentados os stencils utilizados
para os operadores ESG de derivadas cruzadas, utilizados na formulao elstica (seo
2.4.3).

(a)
Figura 2-4: Stencils utilizados para operadores ESG. (a)

(b)

; (b)

2.4.3 ESG Elstico (ESG-El-V)

Eliminando a tenso nas equaes (2-26) a (2-30), originada a equao da onda

elstica em termos de velocidades:

(2-45)

(2-46)

As equaes (2-45) e (2-46) descrevem o mesmo fenmeno de onda que as

equaes originais.

24
O esquema de malha intercalada equivalente de quarta ordem elstico e isotrpico
(ESG-El-V) resolve as equaes (2-45) e (2-46) usando a mesma malha intercalada, porm
considerando-se apenas os pontos de velocidades. O ESG-El-V construdo aplicando-se
apropriadamente operadores ESG nas derivadas de segunda ordem, como por exemplo (DI
BARTOLO et al., 2014):

(2-47)

onde E a componente discreta do tensor elstico e V a componente de velocidade

discreta correspondente ao contnuo . O esquema ESG-El resultante uma extenso de

quarta ordem da formulao apresentada em DI BARTOLO et al. (2013) e gera uma

resposta equivalente ao SSG de quarta ordem, conforme apresentado em detalhes em DI

BARTOLO et al.(2014).
Os operadores utilizados no esquema ESG-El-V possuem os mesmos stencils
apresentados na Figura 2-4 (a) e (b), sendo os operadores de derivadas cruzadas utilizados
somente no esquema elstico e no no acstico, apresentado anteriormente.
2.5

Aspectos Computacionais

25
Nesta seo, so discutidos os demais tpicos importantes computacionalmente
relativos aos esquemas numricos apresentados neste captulo. Para tal, necessria a
especificao da fonte de gerao da perturbao ssmica (fonte ssmica), alm das
condies de contorno e das condies iniciais utilizadas e, ainda, aspectos relativos
estabilidade numrica. Aps isto, ser possvel iniciar a discusso a respeito dos
acoplamentos entre esquemas numricos ESG propostos e implementados nesse trabalho.
2.5.1 Fonte ssmica

Como ser necessrio comparar resultados provenientes de diferentes formulaes

numricas, importante tomar algumas precaues em relao aplicao da fonte. Como
foi visto nas equaes de onda apresentadas, a fonte da equao da onda acstica possui
uma forma distinta daquela do sistema de primeira ordem em presso e velocidade
(equao de campo duplo), sendo diferente tambm da fonte que aparece nas expresses do
ESG. Neste trabalho, aplica-se sempre a fonte ssmica na camada acstica de gua, na subregio resolvida numericamente como o ESG-Ac-P, de forma que se necessita especificar
apenas o parmetro de injeo de massa, dado por

(2-48)

sendo nulo no restante do tempo, onde

(2-49)

(2-50)

26

(2-51)

(2-52)

Na Figura 2-5, apresenta-se a forma desta fonte (a), bem como o seu espectro de

Fourier (d), para uma fonte com amplitude A = 1 e frequncia de corte = 60 Hz.

Figura 2-5: (a) Fonte ssmica utilizada; (b) derivada primeira parmetro de injeo de
massa; (c) derivada segunda parmetro de injeo de massa; (d) Espectro de Fourier.

Assim, dependendo da formulao a ser considerada, utilizam-se expresses da

derivada primeira ou da derivada segunda do parmetro de injeo de massa (Figura 2-5(b)

27
e (c)), respectivamente, para malha intercalada padro e equivalente (ver equaes (2-53) e
(2-54)).

2.5.2 Condies de contorno e condies iniciais

Em relao s condies iniciais, nos problemas simulados neste trabalho

necessita-se apenas de condies triviais. Desta forma, as condies iniciais adequadas so
de campos iniciais nulos, bem como de derivada temporal nula, ou seja,

(2-53)
(2-54)

Em relao s condies de contorno, classicamente dois tipos so utilizadas,

nomeadamente as condies essenciais (de Dirichlet), com valor do campo prescrito, e as
condies naturais (de Neumann), com valor da derivada do campo prescrita. Neste
trabalho, utiliza-se a condio essencial para a superfcie do mar e condies de contorno
no reflexivas (CCNR) para as demais bordas do modelo, uma vez que o domnio
computacional deve ser truncado e est sendo simulado meios semi infinitos. Foi utilizada,
ento, a condio de contorno proposta em CERJAN et al. (1985), onde se define uma
regio na qual o campo de ondas multiplicado por um fator de decaimento exponencial
que reduz a amplitude da onda paulatinamente quando ela se aproxima da borda. Uma
alternativa o mtodo conhecido na literatura como Perfectly Matched Layer (PML) de
BERENGER (1994).

28
2.5.3 Estabilidade numrica

Os esquemas de campo nico so equivalentes aos esquemas de campo duplo

correspondentes (DI BARTOLO et al. 2012a, 2014). Desta forma, tais esquemas possuem
as mesmas propriedades de estabilidade e disperso numrica, como amplamente discutido
na literatura.
A anlise de von Neumann (vlida, a princpio, apenas para um meio infinito e
homogneo) fornece os seguintes resultados de estabilidade para a malha intercalada
padro de Virieux com aproximao de segunda ordem no espao e no tempo no caso 2D
(VIRIEUX, 1986):

(2-55)

De forma geral, o critrio de estabilidade de esquemas que utilizam a malha de

Virieux, em qualquer (2n)-sima ordem de aproximao espacial, pode ser escrito como
(SAENGER et al., 2000):

(2-56)

onde N a dimenso do espao e di so os coeficientes da aproximao espacial de

diferenas finitas que, no caso do operador de 4a ordem de Levander, so d1 = 9/8 e d2 =
1/24, coeficientes estes que vem da expanso em srie de Taylor para obter os operadores.

29
Um problema que pode ocorrer nas solues numricas, em virtude da
discretizao das equaes, mesmo quando todos os critrios acima so satisfeitos,
chamado de disperso numrica. Pode ocorrer tambm a chamada anisotropia numrica.
Neste sentido, no caso de meios no dispersivos e isotrpicos, as velocidades de fase e de
grupo coincidem (GRAFF, 1991) e so independentes da frequncia e do ngulo de
propagao. Porm, quando as equaes de propagao so solucionadas com o MDF, as
velocidades de propagao passam a depender dos parmetros numricos. Assim, estes
erros numricos necessitam ser controlados para que a soluo numrica seja aceitvel.
Anlises amplamente conhecidas na rea mostram que para que as respostas
apresentem estabilidade e baixa disperso numrica, devem ser utilizados critrios prticos
para os parmetros numricos, conforme discutido a seguir.
Para evitar que a soluo numrica apresente o problema artificial de disperso,ou
seja, a disperso numrica, o critrio utilizado o seguinte

(2-57)

onde h espaamento da malha, fcorte a frequncia de corte da fonte, isto , a frequncia

mxima presente na fonte, cmin a velocidade mnima presente no modelo de velocidades e
um parmetro que varia de acordo com a aproximao numrica utilizada, e

Dparmetro que representa o nmero de pontos discretos por comprimento de onda, onde
se considera o menor comprimento de onda, referente menor velocidade presente no
meio.

30
Conforme ALFORD et al. (1974) e VIRIEUX (1986), em esquemas de diferenas
finitas utilizando operador de segunda ordem no tempo, deve-se utilizar valores prximos a
= 10 para garantir que no haja disperso numrica no caso de se utilizar operadores de
segunda ordem no espao, enquanto que, utilizando-se a quarta ordem no espao, = 5 j
suficiente. Enfatiza-se que isto vai depender do esquema numrico considerado, mas
funciona muito bem para os esquemas de malha intercalada utilizados neste trabalho.
No caso da estabilidade, o critrio prtico utilizado o seguinte:

(2-58)

onde t o intervalo de tempo, h espaamento da malha, cmax a velocidade mxima

presente no modelo de velocidades e um parmetro obtido de forma emprica. A relao
acima conhecida como critrio de Courant-Friedrich-Levy (COURANT et al., 1967). Tal
critrio expressa a necessidade do intervalo de tempo considerado ter que ser menor que o
tempo que a onda leva pra atravessar uma clula de diferenas finitas (considerando-se a
maior velocidade presente no meio).
Valores de = 4 so suficientes para garantir a estabilidade da resposta numrica
com elevado grau de preciso (BULCO, 2004).

31
3

ACOPLAMENTO DE FORMULAES NUMRICAS

Neste captulo, sero apresentadas as propostas de acoplamentos de formulaes

numricas implementadas neste trabalho. Enfatiza-se que a linha de pesquisa de
acoplamento entre formulaes numricas bastante extensa e que as formulaes
mostradas aqui so propostas bastante especficas, relativas ao acoplamento entre esquemas
ESG, originalmente proposta pelo grupo de modelagem numrica do LAMEMO e
apresentada em DI BARTOLO et al. (2012b). Trata-se de um acoplamento explcito entre
esquemas equivalentes de malha intercalada utilizando-se a tcnica de sobreposio de
domnios. O principal objetivo desenvolver um acoplamento que utilize a menor
quantidade de recursos computacionais possveis, mantendo a estabilidade numrica e a
preciso da malha intercalada.
Portanto, aqui sero apresentados detalhes a respeito dos acoplamentos acsticoelstico desenvolvidos e implementados nesse trabalho. Como mencionado anteriormente,
o algoritmo final de acoplamento a proposta desenvolvida e originalmente e
implementada neste trabalho ser baseado em juntar o algoritmo usado para o
acoplamento entre ESG-Ac-P e SSG-El (DI BARTOLO et al. 2012b) com o acoplamento
entre o SSG-El e ESG-El-V. Para fins de simplicidade, o fundo ocenico (interface
acstico-elstica) ser considerado horizontal e sero usados operadores espaciais de quarta
ordem em 2D.
Antes de detalhar a parte do acoplamento SSG-El/ESG-El-V, originalmente
proposta e implementada nesta tese, ser feita uma reviso da estratgia de acoplamento do
ESG-Ac-P com SSG-El, apresentado em detalhes em DI BARTOLO et al. (2012b).

32
3.1

Acoplamento da formulao ESG-Ac-P com SSG-El

O primeiro acoplamento implementado neste trabalho tem por base o apresentado

em DI BARTOLO et al. (2012b), onde se aplica o esquema ESG-Ac-P para a camada de
gua e o SSG elstico para a camada de rocha, com o objetivo de gerar um esquema
numrico equivalente ao esquema SSG elstico, porm com vantagens computacionais. A
implementao de tal acoplamento simples e o algoritmo resultante muito eficiente
computacionalmente, combinando a tcnica do acoplamento explcito direto com a de
sobreposio de domnios. No acoplamento explcito direto, a marcha no tempo explcita
e no necessita de processo iterativo entre subdomnios, da essa tcnica ser rpida, embora
condicionalmente estvel, assim como os esquemas de diferenas finitas originais, no caso
o ESG-Ac-P e o SSG-El.
O acoplamento ora apresentado vantajoso uma vez que suas propriedades de
preciso e estabilidade so iguais s do esquema SSG, porm com menor gasto de memria
e recursos computacionais.
Inicialmente, aps a implementao isolada dos esquemas apresentados
anteriormente, foi implementado o acoplamento entre o esquema SSG-Ac e ESG-Ac-P,
ambos com 2 ordem de preciso, ou seja, o acoplamento mais simples possvel. Em
seguida, deu-se incio implementao do acoplamento sugerido por DI BARTOLO et al.
(2012b), com a utilizao dos mtodos ESG acstico e SSG elstico (ESG-Ac-P/SSG-El),
primeiro com preciso de 2 ordem e depois de 4 ordem.
Para a realizao do acoplamento ESG-Ac-P/SSG-El, o modelo fsico deve ser
dividido em duas sub-regies: uma acstica e outra elstica. Com isso, podem ser aplicados

33
os esquemas ESG-Ac-P e SSG-El de forma isolada em cada respectiva sub-regio. A zona
de acoplamento no ser no ponto de profundidade K0 (ponto onde o meio se torna elstico,
como mostrado na Figura 3-1), uma vez que se deve atentar para o stencil espacial das
formulaes e para as informaes que sero trocadas entre os esquemas tcnica da
sobreposio de domnio e, por isso, o acoplamento no se resume em aplicar um mtodo
at a profundidade determinada e outro mtodo daquela profundidade em diante, sendo
necessrio trocar informaes entre as duas sub-regies para que os operadores de
diferenas finitas possam ser calculados (em virtude de seu stencil), conforme ser
detalhado posteriormente.
Uma das caractersticas fundamentais do acoplamento a marcha no tempo. O
mtodo SSG intercalado no tempo, ou seja, para o clculo da velocidade em um tempo
n+1/2, so necessrios os valores das tenses (presses no caso acstico) no tempo anterior
(n), alm da velocidade naquela mesma posio da malha no passo anterior (n-1/2). O
mesmo vale para o clculo das tenses, onde so utilizados os dados das velocidades no
passo anterior e da prpria tenso no passo mais anterior, considerada no mesmo ponto
espacial. O avano no tempo no esquema SSG realizado, ento, marchando-se t em

velocidade e depois mais t em presso. No esquema ESG-Ac-P, a malha no

intercalada no tempo, sendo a marcha realizada em 1 direto em presso. Alm disso, o

stencil espacial de cada esquema define o tamanho da camada de sobreposio de pontos

auxiliares, j que haver a necessidade da troca de informaes entre eles. Apenas
informaes de presso ser trocada entre as sub-regies, onde se incluem algumas
componentes da velocidade prximas interface entre o meio acstico e elstico apenas
para possibilitar o clculo das tenses (presses, dado que esto na parte acstica)

34
necessrias, como mostrado na Figura 3-1. Nesta figura, os tringulos vermelhos so
copiados para os tringulos verdes, para o caso de operadores espaciais de quarta ordem.

Figura 3-1: Acoplamento ESG-Ac-P/SSG-El (DI BARTOLO et al., 2012b) Representao das trocas de informaes entre as sub-regies sendo os pontos preenchidos
em vermelho copiados para aqueles preenchidos em verde.

35
As trocas de informaes so feitas da seguinte maneira: o esquema ESG-Ac-P
aplicado at a profundidade K0-4, no passo de tempo n+1. Para calcularmos a presso nesse
ponto, temos que possuir 3 presses acsticas dos pontos K0-3 a K0-1 (pois o stencil do
ESG possui trs pontos para cada lado) no passo de tempo n. Essas 3 presses so
calculadas na rea elstica e, por isso, tais informaes devem ser passadas para a subregio acstica de forma a passar a informao da sub-regio elstica para a acstica,
tornando possvel o clculo das presses no ltimo ponto da malha.
No caso da sub-regio elstica, devem-se transferir as presses calculadas nos
pontos K0-4, K0-5 e K0-6 no passo de tempo n para possibilitar o clculo das velocidades no
tempo n+1/2 e profundidade a partir de K0-9/2 pelo esquema SSG-El. Com isso, temos
todos os dados necessrios para a aplicao dos dois esquemas em cada sub-regio.
O esquema de acoplamento resultante equivalente ao clculo utilizando o SSGEl em todo o modelo, porm com menor utilizao de memria computacional, conforme
mostrado em DI BARTOLO et al, (2012b).

3.2

Acoplamento da formulao SSG-El com ESG-El-V

Neste acoplamento, o procedimento da marcha no tempo do esquema SSG-El

similar ao explicado no tpico anterior. No caso do esquema ESG-El-V, por no possuir
intercalamento no tempo (h apenas ndices inteiros de tempo fazendo-se, por exemplo, n1/2n), as componentes de velocidade em n+1/2 so computadas diretamente com as
velocidades calculadas no passo de tempo anterior n-1/2 e mais uma velocidade no tempo
n-3/2.

36
Adotando-se o mesmo incremento de tempo para o SSG-El e o ESG-El-V, o
algoritmo de marcha no tempo acoplado consiste em avanar um passo de tempo para
computar as velocidades em cada sub-regio, atualizando as velocidades na zona de
sobreposio entre as duas sub-regies (Figura 3-2) e, ento, calcular as componentes de
tenso na sub-regio do SSG. O tamanho da camada de pontos auxiliares para clculo em
cada sub-regio necessrio para transferir velocidades entre subdomnios, proporcional ao
stencil dos operadores espaciais envolvidos, de forma similar ao discutido no acoplamento
anterior, como ser mostrado a seguir.
Para cobrir o stencil de cada regio, necessrio estender cada sub-regio de
forma a cobrir tal stencil, conforme pode ser verificado na Figura 3-2. Depois de marchar
as velocidades em cada sub-regio, devem-se transferir, entre as sub-regies (ver Figura
3-2), as velocidades necessrias para o clculo das tenses no passo de tempo seguinte,
assim como para clculo das velocidades no prximo passo de tempo.

37

(a)

(b)

(c)

Figura 3-2: Acoplamento SSG-El/ESG-El-V: (a) sobreposio das sub-regies; (b) pontos
de transferncia das sub-regies. Os pontos preenchidos em vermelho so copiados para
aqueles preenchidos em verde; (c) marcha do tempo no acoplamento.

De forma mais detalhada, na marcha do tempo, assumindo que todas as

componentes de tenso so conhecidas no tempo n e as componentes de velocidade so
conhecidas em n-1/2 e n-3/2, primeiro calcula-se as componentes de velocidade em n+1/2
nas sub-regies cobertas pelo SSG e pelo ESG-El. Aps, necessrio transferir alguns
pontos de velocidade que acabaram de ser calculados entre as sub-regies. As velocidades
entre as profundidades k=k0 at k=k0+3, calculadas na sub-regio ESG-El-V, so copiadas
para a sub-regio SSG-El, assim como as componentes de velocidade calculadas entre as
profundidades k=k0-3 e k=k0-1/2, calculadas na sub-regio SSG-El devem ser transferidas

38
para a sub-regio ESG-El-V. Aps todas as transferncias das velocidades, na regio SSGEl, as componentes de tenso at a profundidade k=k0+3/2 so computadas no tempo n+1
e, em ESG-El-V, as componentes de velocidade so computadas da profundidade k=k0 at a
profundidade final do modelo no passo de tempo n+1/2. Todo o processo repetido at o
trmino do loop do tempo.

3.3

Acoplamento final entre os esquemas ESG-Ac-P, SSG-El e ESG-El-V

Como dito anteriormente, o acoplamento entre os esquemas ESG-Ac-P e ESG-ElV realizado aplicando-se conjuntamente os acoplamentos descritos anteriormente nas
sees 3.1 e 3.2. Uma vez que o grande interesse desse tipo de algoritmo o menor
dispndio de memria possvel, a sub-regio SSG deve ser a menor possvel, avanando
sobre a regio acstica e elstica apenas em alguns pontos.
Assim, o acoplamento proposto segue os seguintes passos: clculo das
velocidades nas sub-regies SSG e ESG-El no passo de tempo n+1/2, transferncia dos
valores das velocidades entre as sobreposies dessas sub-regies, clculo das tenses nas
sub-regies ESG-Ac e SSG, transferncia dos valores das tenses entre as sobreposies
dessas sub-regies, passar para o prximo passo de tempo. Na Figura 3-3 mostrado, de
forma geral, como realizada a sobreposio das sub-regies.

39

Figura 3-3: Acoplamento ESG-Ac-P/SSG-El/ESG-El-V - Representao das trocas de

informaes entre as sub-regies. Os pontos preenchidos em vermelho so copiados para
aqueles preenchidos em verde.

Este procedimento de acoplamento tem por objetivo gerar um esquema numrico

equivalente ao esquema SSG-El, porm com vantagens computacionais. A implementao
de tal acoplamento simples e eficiente, combinando a tcnica do acoplamento explcito
direto com a sobreposio de domnios. No acoplamento explcito direto, a marcha no

40
tempo explcita e no necessita de processo iterativo entre subdomnios, da essa tcnica
ser rpida e condicionalmente estvel, assim como os esquemas de diferenas finitas
originais, no caso o ESG e o SSG.

41
4

EXEMPLOS E DISCUSSO

Neste captulo, sero apresentados exemplos de aplicao do algoritmo de

acoplamento implementado, bem como a comparao com os resultados obtidos quando
aplicado apenas o esquema SSG-El em todo o modelo. Em seguida, ser mostrada
discusso a respeito dos ganhos computacionais obtidos pelo acoplamento proposto em
comparao com os esquemas SSG-El, ESG-Ac-P e ESG-El-V aplicados isoladamente.

4.1

Exemplo 1 Modelo com trs camadas

Para fins de demonstrao da equivalncia entre o esquema de acoplamento

proposto e o SSG-El, primeiro foi utilizado um modelo de trs camadas simples, mostrado
na Figura 4-1, tendo sido utilizados parmetros numricos conforme dado na Tabela 4-1.
Na camada superior, foram adotados os seguintes valores para as propriedades de
meio: Vp = 1.500 m/s, Vs = 0 e  . Para a camada intermediria, Vp =

2.000 m/s, Vs = 1.200 m/s e  . Finalmente, para a camada inferior, Vp =

2.500 m/s, Vs = 1.700 m/s e  . Considerando-se os parmetros numricos

utilizados, a profundidade total e a largura do modelo foram 1.500 m e o tempo total de

anlise de 2,5 s.

42

Figura 4-1: Modelo de trs camadas utilizado.

Parmetro
t
h
fc
Nx
Nz
Ntotal
ixf, izf

Valor
2,5 x 10-4 s
2,5 m
60 Hz
601
601
10000
301, 101

Significado
Incremento temporal na marcha
Espaamento da malha
Frequncia de corte da fonte ssmica
Nmero de pontos na malha na direo x
Nmero de pontos na malha na direo z
Nmero total de passos de tempo
Posio da fonte nas direes x e z

Tabela 4-1: parmetros utilizados no exemplo 1.

Para ilustrar a propagao da onda, so mostrados os instantneos (snapshots) da

modelagem com o esquema SSG (Figura 4-2), em quarta ordem de aproximao no espao
e segunda ordem no tempo, para a componente do campo de tenses. importante

notar que os instantneos para o acoplamento proposto entre ESG-Ac-P e ESG-El-V so

indistinguveis dos mostrados na figura, desde que se convertam as velocidades na parte
elstica em tenses. Esta equivalncia ser demonstrada atravs dos sismogramas sintticos
obtidos para este exemplo.

43

(a)

(b)

(c)
(d)
Figura 4-2: Instantneos obtidos com a aplicao do esquema de SSG-El no modelo de trs
camadas: (a) t= 0,25 s, (b) t = 0,50 s, (c) t =0,75 s e (d) t = 1,00 s.

Na Figura 4-3 so mostrados os sismogramas gerados utilizando-se o esquema

SSG-El (a) e o acoplamento ESG-Ac-P/SSG-El/ESG-El-V (b). Foram colocados lado a
lado de forma a facilitar a comparao. Como se pode observar, ambos os esquemas
aplicados ao modelo geraram resposta indistinguveis, conforme o esperado.

44

(a)
(b)
Figura 4-3: Sismogramas obtidos pela aplicao do esquema SSG-El (a) e acoplamento
ESG-Ac-P /SSG-El/ESG-El-V (b).

A seguir (Figura 4-4 (a)), para facilitar a comparao quantitativa entre os

resultados, so mostrados os resultados provenientes das modelagens utilizando-se os
esquemas SSG-El e o acoplamento ESG-Ac-P/SSG-El/ESG-El-V, atravs de um trao
isolado do sismograma na posio de 1.000 m, o que significa um afastamento da fonte de
750 m. Como esperado, os resultados so coincidentes, quando comparados os dois
esquemas. A ampliao do grfico (Figura 4-4 (b)) mostra, de forma mais clara, a
equivalncia das modelagens.

45

(a)

(b)
Figura 4-4: Trao em z=1.000 m comparao entre esquemas (a). Detalhe do trao (b).

46
Na Tabela 4-2 esto as coordenadas de um ponto presente na Figura 4-4, obtidas
pelo esquema SSG-El e pelo Acoplamento. Pode-se observar que a diferena entre os
esquemas apresentados so da ordem 0,05%, demonstrando a equivalncia entre eles.

Esquema
SSG-El
ESG-Ac-P/SSG-El/ESG-El-V

Tempo
1,250000
1,250000

Amplitude
71,15335
71,11758

Tabela 4-2: Comparao entre esquemas.

4.2

Exemplo 2 Marmousi 2

Outro modelo utilizado para a verificao de equivalncia entre o esquema de

acoplamento proposto e o SSG-El o chamado Marmousi 2 (MARTIN et al., 2006). Tratase de um modelo heterogneo complexo, que composto originalmente por 13601x2801
pontos, possuindo painis com valores de densidade e velocidades de onda P e S. No
presente exemplo, a camada de gua foi estendida 1000 pontos para acima, de forma que o
modelo componha cerca de 35% de gua. A Figura 4-5 mostra os dados relativos
velocidade Vp do modelo utilizado neste exemplo. Os dados referentes e Vs possuem

aspecto similar a Vp. Na Tabela 4-3 so mostrados os parmetros numricos utilizados

nesse exemplo.

47

Figura 4-5: Modelo de Marmousi 2 Vp.

Parmetro
t
h
fc
Nx
Nz
Ntotal
ixf, izf
K0

Valor
2,5 x 10-4 s
2,5 m
60 Hz
13601
3801
10000
1500, 1200
1350 m

Significado
Incremento temporal na marcha
Espaamento da malha
Frequncia de corte da fonte ssmica
Nmero de pontos na malha na direo x
Nmero de pontos na malha na direo z
Nmero total de passos de tempo
Posio da fonte nas direes x e z
Profundidade de acoplamento

Tabela 4-3: parmetros utilizados no exemplo 2.

Neste exemplo, foi rodado apenas um nico tiro posicionado conforme indicado
na Tabela 4-3. Na Figura 4-6, so mostrados os instantneos (snapshots) da componente

do campo de tenses, para a modelagem com o esquema SSG. Nestes instantneos, apenas
a regio prxima fonte mostrada para facilitar a visualizao.

48

(a)

(b)

(c)
(d)
Figura 4-6: Instantneos obtidos com a aplicao do esquema SSG-El no modelo Marmousi 2: (a)
t= 0,25 s, (b) t = 1,00 s, (c) t =1,50 s e (d) t = 2,00 s.

Na Figura 4-7, so mostrados os sismogramas gerados utilizando-se o esquema

SSG-El (a) e o acoplamento ESG-Ac-P/SSG-El/ESG-El-V (b). Foram colocados lado a
lado de forma a facilitar a comparao. Pode-se observar que ambos os esquemas aplicados
ao modelo geraram resposta equivalente, conforme o esperado.

49

(b)
(a)
Figura 4-7: Sismogramas obtidos pela aplicao do esquema SSG-El (a) e acoplamento
ESG-Ac-p/SSG-El/ESG-El-V (b).

A seguir (Figura 4-8 (a)), so mostrados, de forma comparativa, os resultados

provenientes das modelagens utilizando-se os esquemas SSG-El e o acoplamento ESG-AcP/SSG-El/ESG-El-V, atravs de trao do sismograma na posio de 1.000 m, o que
significa um afastamento da fonte de 2.000m. Os resultados so coincidentes, quando

50
comparados os dois esquemas. A ampliao do grfico (Figura 4-8 (b)) mostra, de forma
mais clara, a equivalncia das modelagens.

(a)

(b)
Figura 4-8: Trao em z=1.000 m comparao entre esquemas (a). Detalhe do trao (b).

51
Na Tabela 4-4 esto as coordenadas de um ponto presente na Figura 4-8, obtidas
pelo esquema SSG-El e pelo Acoplamento. Pode-se observar que a diferena entre os
esquemas apresentados so da ordem 0,05%, demonstrando a equivalncia entre eles.

Esquema
Tempo
Amplitude
2,13325
399,9073
SSG-El
2,13325
399,7063
ESG-Ac-P/SSG-El/ESG-El-V
Tabela 4-4: Comparao entre esquemas.

4.3

Discusso a respeito do rendimento computacional

A Tabela 4-5 mostra os recursos de memria necessrios, ou seja, o nmero de

painis armazenados em cada esquema para realizao da marcha no tempo, assim como o
nmero de operaes por n e passo de tempo: Mf representa o nmero de painis de
campos de propagao que necessitam ser armazenados, similarmente, Mp o nmero de
painis de parmetros (propriedades do meio), Mt a soma de Mf e Mp; NOp o nmero
total de operaes (nmero de produtos mais somas) por n e por passo de tempo e %Mt e
%NOp so os respectivos percentuais em relao ao esquema SSG aplicado malha inteira.
O nmero de operaes contado utilizando-se as expresses brutas dos operadores de
diferenas finitas, sem qualquer preocupao com otimizao das expresses. Para os
acoplamentos, os valores foram estimados considerando um modelo composto por 35% de
gua. Assim, para a gerao de tal tabela, foi considerado, inicialmente, a aplicao dos
esquemas SSG-El e ESG-Ac-P em todo o modelo (itens 1 e 2). A seguir, foi considerado o
acoplamento SSG-El com ESG-Ac-P, chamado de Acopla 1 (item 3). Tais valores foram

52
obtidos aplicando-se mdia ponderada com os pesos de 35% para o ESG-Ac-P e 65% para
o SSG-El. No item 4, foi aplicado o esquema ESG-El-V em todo o modelo. Finalmente, no
item 5, tem-se os resultados da aplicao do acoplamento entre ESG-Ac-P e ESG-El-V,
chamado de Acopla 2, adotando-se na mdia ponderada os pesos de 35% para o esquema
ESG-Ac-P e 65% para o ESG-El-V.

Item

Esquema

Mf

Mp

Mt

NOp

%Mt

%NOp

1
2
3
4
5

SSG-El
ESG-Ac-P
Acopla 1
ESG-El-V
Acopla 2

5
2
3,95
4
3,3

3
1
2,3
3
2,3

8
3
6,25
7
5,6

104
24
76
244
167

37
78
87
70

23
73
235
160

Tabela 4-5: Comparao de rendimento entre os esquemas SSG-El, ESG-Ac-P, ESG-El-V,

Acopla 1 e Acopla 2.

A Tabela 4-5 mostra claramente a vantagem em termos de dispndio de memria,

para os dois acoplamentos implementados. No primeiro acoplamento, alm de gastar menos
memria (78% da memria do SSG), o esquema acoplado tambm possui vantagens em
relao ao custo computacional, gastando tipicamente apenas 73% do tempo utilizado no
esquema de malha intercalada tradicional (SSG). Logicamente, quanto maior a quantidade
de gua presente no modelo, melhores sero estes percentuais. No caso do segundo
acoplamento, tem-se o esquema mais vantajoso em termos de dispndio de memria
possvel, sendo gasto 70% da memria gasta se aplicado o SSG em todo o modelo. Em
relao ao custo computacional, o segundo acoplamento claramente mais caro, embora
uma programao cuidadosa possa reduzir as diferenas mostradas na tabela, uma vez que
h diversos termos similares nas expresses brutas do esquema ESG-El-V que podem ser
agrupados.

53
importante mencionar que em diversas aplicaes, como o caso da modelagem
ssmica aplicada a petrleo (e suas diversas aplicaes), a questo da memria de suma
importncia, uma vez que as malhas utilizadas contm milhares de pontos, o que se torna
mais importante ainda no caso tridimensional. Neste caso, a ordem de economia de
memria pode chegar a gigabytes, tornando-se crucial para aplicaes importantes na rea.

54
5

5.1

CONCLUSES E TRABALHOS FUTUROS

Concluses finais

Neste trabalho, foram desenvolvidos e implementados novos algoritmos de

acoplamento entre esquemas de diferenas finitas de malha intercalada equivalentes (ESG)
utilizando um mtodo originalmente desenvolvido, visando modelar eficientemente a
propagao de ondas em geofsica para meios offshore, compostos parte por gua e parte
por rochas sedimentares. Os algoritmos desenvolvidos e o mtodo proposto podem ser
utilizados em outras aplicaes que no a geofsica como, por exemplo, em imageamento
na rea mdica, ensaios no destrutivos na rea de engenharia ou em eletrodinmica na rea
de fsica.
Os esquemas de malha intercalada equivalente (ESG) so formulaes baseadas
em apenas um campo de propagao (deslocamentos, velocidades, tenses ou presses),
propostos recentemente por DI BARTOLO et al.(2012a, 2014), que fornecem o mesmo
resultado que os esquemas de malha intercalada tradicionais (SSG), e.g. VIRIEUX (1986),
podendo ter vantagens em termos computacionais, tanto em termos de dispndio memria
como em termos de custo computacional, dependendo da formulao especfica. Cabe
ressaltar que os esquemas ESG, assim como os esquemas SSG, so estveis e apresentam
bons resultados em interfaces entre meios acsticos e elsticos, diferente de formulaes
baseadas em campo nico e de malha simples, como o caso do esquema clssico em
termos de deslocamentos proposto por KELLY (1976).

55
Os novos acoplamentos implementados conjugam a utilizao de duas estratgias
bsicas: acoplamento explcito direto e decomposio de domnio com sobreposio de
domnios. A primeira estratgia fundamental no caso de aplicaes em geofsica e mesmo
em outras aplicaes que exigem algoritmos rpidos, devido sua eficincia
computacional, onde no necessrio recorrer a processo iterativo para a marcha no tempo,
o que torna o processo muito mais rpido. A decomposio de domnio utilizada para a
troca de informaes entre os subdomnios, de forma a garantir a passagem de informao
entre eles, o que se mostra necessrio em virtude do stencil dos operadores de diferenas
finitas se estenderem por vrios pontos da malha, o que depende da ordem utilizada na
aproximao espacial. Por simplicidade, os acoplamentos tratados neste trabalho utilizaram
quarta ordem de aproximao no espao e uma interface plana e horizontal entre os meios
acstico e elstico.
O primeiro acoplamento implementado o acoplamento entre o esquema ESG
acstico em termos de presso para densidades constantes (ESG-Ac-P) um esquema
extremamente eficiente tanto em termos de memria quanto em termos de custo
computacional proposto por DI BARTOLO et al. (2012a) para a parte de gua (acstica)
e o esquema de malha intercalada clssico (SSG-El) para a parte elstica. Este acoplamento
tem um desempenho melhor do que o SSG aplicado ao modelo inteiro e apresenta os
mesmos resultados que ele: gasta 78% e 73%, respectivamente, da memria e do custo
computacional em relao ao SSG, considerando-se um modelo offshore tpico (35% de
gua) e fornece a resposta elstica do problema, numericamente equivalente ao esquema
SSG aplicado a todo o modelo.
O segundo acoplamento implementado entre o esquema ESG acstico em
termos de presso para densidades constantes (ESG-Ac-P) para a parte de gua e o esquema

56
ESG em velocidades para a parte elstica (ESG-El-V). Este esquema foi originalmente
desenvolvido e implementado nesta tese, tendo por base o trabalho citado acima.
Para a realizao de tal acoplamento, lanou-se mo do esquema SSG-El na
regio intermediria entre os esquemas ESG citados, criando assim uma sub-regio para
passagem de informao entre as sub-regies, que denomina-se de sub-regio de
acoplamento. Esse novo acoplamento vantajoso uma vez que suas propriedades de
preciso e estabilidade so iguais s do esquema SSG, porm com menor gasto de memria
possvel em esquemas de diferenas finitas. Tal acoplamento, conforme mostram os
resultados, possui resultados equivalentes ao SSG elstico, gastando, porm, apenas 70%
de sua memria. O fator memria de suma importncia em aplicaes prticas em
geofsica aplicada, em especial no caso de modelagens tridimensionais, bem como nas
aplicaes prticas dos algoritmos de modelagem nesta rea da cincia aplicada, como o
caso da migrao e da inverso ssmica, muito utilizadas pela indstria do petrleo.

5.2

Trabalhos Futuros

Como trabalhos futuros, podemos citar a implementao de ordens superiores para

os operadores espaciais nos algoritmos de acoplamento implementados. Para tal, ser
necessrio estender as sub-regies, bem como a sub-regio intermediria, para cobrirem os
stencils dos operadores de ordens superiores. Extenses dos algoritmos para fundos
irregulares, ou seja, interface acstico-elstica no horizontais e para o caso 3D so outras
possibilidades de trabalhos de grande importncia, com aplicaes no somente em
geofsica.

57
Alm disso, outro trabalho interessante seria a aplicao dos algoritmos para a
migrao reversa no tempo (RTM), um algoritmo que utiliza a prpria equao da onda
para imagear os refletores (contrastes de velocidade), considerando que o modelo de
velocidades conhecido. A RTM um dos mtodos que fornece melhores resultados para o
imageamento de estruturas e necessita de algoritmos eficientes para modelar a propagao
de ondas.
Outra aplicao para os algoritmos de acoplamento desenvolvidos se refere
resoluo de problemas inversos para obteno do modelo de velocidades, necessrios
como input para os algoritmos de migrao. O mtodo conhecido como inverso do campo
de onda completo (FWI, do ingls, full wave form inversion) uma das reas de pesquisa
mais ativas atualmente na rea de geofsica aplicada, onde so investidos milhes de
dlares anualmente pela indstria. Nele, o problema direto resolvido diversas vezes
iterativamente, utilizando-se um mtodo de minimizao (como o gradiente conjugado),
com o objetivo de obter os modelos de velocidade do meio. Pode-se dizer que o estado da
arte do mtodo ssmico utiliza FWI para obter o modelo de velocidade e RTM para o
imageamento de estruturas, sendo o algoritmo de modelagem o elemento mais importante
destes, necessitando ser o mais eficiente possvel para o sucesso da aplicao.

58
REFERNCIAS BIBLIOGRFICAS

ALFORD, R. M., KELLY, K. R., BOORE, D. M., 1974, Accuracy of finite difference
modeling of the acoustic wave equation, Geophysics, V. 39, n. 6, pp. 834842.

BAYSAL, E., KOSLOFF, D. D, SHERWOOD, J. W. C., 1983, Reverse time migration,

Geophysics, V. 48, n. 11, pp. 15141524.

BERENGER, J., 1994, A perfectly matched layer for the absorption of electro- magnetic
waves, Journal of Computational Physics, V. 114, n. 2, pp. 185200.

BOORE, D., 1972, Finite Difference Methods for Seismic Wave Propagation in
Heterogeneous Materials, Methods in Computational Physics, V.11,pp. 1-37.

BULCO, A., Modelagem e Migrao Reversa no Tempo Empregando Operadores

Elsticos e Acsticos. Tese de Doutorado, COPPE/UFRJ, Rio de Janeiro, RJ,
Brasil, 2004.

CERJAN, C., KOSLOFF, D., KOSLOFF, R., et al., 1985, A nonreflecting boundary
condition for discrete acoustic and elastic wave equations, Geophysics, V. 50, n.
4, pp. 705708.

59
COHEN, G., JOLY, P., 1990, Fourth order schemes for the heterogeneous acoustics
equation, Computer Methods in Applied Mechanics and Engineering, V. 80, n. 1,
pp. 397407.

COURANT, R., FRIEDRICHS, K., LEWY, H., 1967, On the partial difference equations
of mathematical physics, IBM Journal of Research and Development, V.11, pp.
215234.

DI BARTOLO, L., Modelagem Ssmica Anisotrpica Atravs do Mtodo das Diferenas

Finitas Utilizando Sistemas de Equaes em Segunda Ordem. Tese de Doutorado,
COPPE/UFRJ, Rio de Janeiro, RJ, Brasil, 2010.

DI BARTOLO, L., DORS, C., MANSUR, W. J., 2012a, A New Family of FiniteDifference Schemes to Solve the Heterogeneous Acoustic Wave Equation,
Geophysics, V.77, pp. T187-T199.

DI BARTOLO, L., DORS, C., MANSUR, W. J., 2012b, An Efficient Simple Acousticelastic FD Coupling for Offshore Seismic Simulations, Eighty-second SEG
Annual Meeting, Las Vegas. SEG Expanded Abstract, V.31.

DI BARTOLO, L., DORS, C., MANSUR, W. J., 2014, Theory of equivalent staggeredgrid schemes: Application to rotated and standard grids in anisotropic media,
Geophysical Prospecting, Aceito.

60
GRAFF, K. F., 1991, Wave Motion in Elastic Solids. Mineola, Dover Publication, Inc.

HARLOW, F., WELCH, J., 1965, Numerical calculation of time-dependent viscous

incompressible flow of fluid with free surface, The Physics of Fluids, V. 8, n. 12
pp. 21822189.

HEMON, C., 1978, Equations d'onde et modeles, Geophysical Prospecting, V. 26, pp.
790821.

KELLY, K. R., WARD, R. W., TREITEL, S., et al., 1976, Synthetic Seismograms: a
Finite-difference Approach, Geophysics, V. 41, n.1, pp. 2-27.

LEVANDER, A. R., 1988, Fourth-order Finite-difference P-SV Seismograms,

Geophysics, V. 53, n.11, pp. 1425-1436.

LEVANDER, A. R., 1989, Finite-difference Forward Modeling in Seismology, In: James

D. (Ed.), The Encyclopedia of Solid Earth Geophysics, pp. 410-430, New York,
Van Nostrand Reinhold.

LOEWENTHAL, D., MUFTI, I., 1983, Reversed time migration in spatial frequency
domain, Geophysics, V. 48, pp. 627635.

LUO, Y., SCHUSTER, G., 1990, Parsimonious Staggered Grid Finite-differencing of the
Wave Equation, Geophysical Research Letters, V.17, n.2, pp. 155-158.

61
MADARIAGA, R., 1976, Dynamics of an expanding circular fault, Bulletin of the
Seismological Society of America, V. 66, n. 3, pp. 639.

MARTIN, G., WILEY, R., MARFURT, K., 2006, Marmousi 2: An Elastic Upgrade for
Marmousi, The Leading Edge, 25, pp. 156-166.

MOCZO, P., KRISTEK, J., VAVRYCUK, V., et al., 2002, 3D heterogeneous staggeredgrid finite-difference modeling of seismic motion with volume harmonic and
arithmetic averaging of elastic moduli and densities, Bulletin of the
Seismological Society of America, V. 92, n. 8, pp. 3042.

SAENGER, E. H., GOLD, N., SHAPIRO, S. A., 2000, Modeling the propagation of
elastic waves using a modified finite-difference grid, Wave Motion, V. 31, pp.
7792.

SOARES, D., 2011, Coupled numerical methods to analyze interacting acoustic-dynamic

models by multidomain decomposition techniques, Mathematical Problems in
Engineering.

STEPHEN, R., 1988, A review of finite difference methods for seismo-acoustics problems
at the seafloor, Reviews of Geophysics, V. 26, n. 3, pp. 445458.

VIRIEUX, J., 1984, SH-Wave Propagation in Heterogeneous Media: Velocity-stress

finite-difference Method, Geophysics, V.49, n.11, pp. 1933-1957.

62
VIRIEUX, J., 1986, P-SV Wave Propagation in Heterogeneous Media: Velocity-stress
finite-difference Method, Geophysics, V.51, n.4, pp. 889-901.

YEE, K., 1966, Numerical solution of initial boundary value problems involving
Maxwells equations in isotropic media, IEEE Transactions on Antennas and
Propagation, V. 14, n. 3, pp. 302307.

YILMAZ, O., 2001, Seismic Data Analysis. Processing, Inversion and Interpretation of
Seismic Data.V.I 2 ed., Tulsa, Society of Exploration Geophysicists.

ZAHARADNIK, J., MOCZO, P., EKHRON, F., 1993, Testing four elastic finitedifference schemes for behavior at discontinuities, Bulletin of the Seismological
Society of America, V. 83, n. 1, pp. 107129.