Luiz Antonio Canelas Palermo

REVERSA NO TEMPO: UMA ABORDAGEM MULTIFOCAL
MIGRAC
AO
Luiz Antonio Canelas Palermo
DOS PROGRAMAS
TESE SUBMETIDA AO CORPO DOCENTE DA COORDENAC
AO
DE ENGENHARIA DA UNIVERSIDADE FEDERAL DO RIO

DE POS-GRADUAC
AO
DE JANEIRO COMO PARTE DOS REQUISITOS NECESSARIOS

PARA A OBTENC
AO
DO GRAU DE MESTRE EM CIENCIAS

EM ENGENHARIA CIVIL.
Aprovada por:
Prof. Webe Joao Mansur, Ph.D.
Prof. Jose Antonio Marques Carrer, D.Sc.
Prof. Djalma Manoel Soares Filho, D.Sc.
RIO DE JANEIRO, RJ BRASIL

JULHO DE 2002
PALERMO, LUIZ ANTONIO CANELAS

Migraca o Reversa no Tempo: Uma Abordagem Multifocal [Rio de Janeiro] 2002
X, 103 p. 29,7 cm (COPPE/UFRJ, M.Sc.,
Programa de Engenharia Civil, 2002)
Tese - Universidade Federal do Rio de
Janeiro, COPPE
1. Modelagem e Migraca o de Dados Ssmicos
2. Propagaca o de Ondas
I. COPPE/UFRJ
II. Ttulo (serie)
ii
Aos meus pais Rocco e Madalena a quem

tudo devo. Aos meus sobrinhos Adriano
e Amanda a quem muito devemos.
iii
Resumo da Tese apresentada a` COPPE/UFRJ como parte dos requisitos necessarios para a
obtenca o do grau de Mestre em Ciencias (M.Sc.)
REVERSA NO TEMPO: UMA ABORDAGEM

MIGRAC
AO
MULTIFOCAL
Julho / 2002
Orientador: Webe Joao Mansur

Programa: Engenharia Civil
O objetivo desta dissertaca o e desenvolver, teorica e numericamente, uma nova ferramenta de otimizaca o quando da migraca o pre-empilhamento de dados ssmicos pelo metodo
RTM (Reverse Time Migration). Como e sabido, a maior acuracia desta migraca o contrasta
com o seu custo computacional tanto mais elevado quanto mais estac o es de tiros / receptores estiverem presentes. A equaca o que descreve o fenomeno da propagaca o da onda, deve
ser adequada, de forma a tratar do agrupamento destas estac o es numa visao multifocal. Tal
abordagem permitira um ganho de varias ordens de grandeza no tempo de processamento,
a expensas, no entanto, de uma pequena perda na relac a o sinal/ rudo, como pode ser constatado a partir de simulaco es numericas.
iv
Abstract of Thesis presented to COPPE/UFRJ as a partial fulfillment of the requirements

for the degree of Master of Science (M.Sc.)
REVERSE TIME MIGRATION: A MULTIFOCUS APPROACH
July / 2002
Advisor: Webe Joao Mansur

Department: Civil Engineering
The objective of this dissertation is the theoretical and numerical development of a new
optimization tool to increase the performance of the Reverse Time Migration algorithm. It is
well established that the accuracy of this migration method is proportional to the number of
shotpoints / receivers stations used, which directly affects computational costs. In order to
reduce computational time, the equation that describes the wave propagation phenomenon
must be able to treat the grouping of these stations in a multifocus context. It is demonstrated, by numerical simulations, that such an approach will result in a drastic reduction in
processing time at a small loss in the signal to noise ratio.
Sumario
Ficha Catalografica
ii
Dedicatoria
iii
Resumo
iv
Abstract
Sumario
vi
Lista de Figuras
ix
1 Introduca o
2 Discretizaca o da Equaca o Acustica

da Onda pelo Metodo das Diferencas Finitas
2.1
Introduca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
A Equaca o da Onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
2.3
Discretizaca o da Equaca o da Onda . . . . . . . . . . . . . . . . . . . . . .
13
2.3.1
Series de Taylor - Metodo dos coeficientes a determinar . . . . . .
13
2.3.2
Operador Temporal de Diferencas Finitas . . . . . . . . . . . . . .
16
2.3.3
Operador Espacial de Diferencas Finitas . . . . . . . . . . . . . . .
17
2.3.4
O Operador em Diferencas para a Equaca o da Onda . . . . . . . .
17
As Condico es de Contorno . . . . . . . . . . . . . . . . . . . . . . . . . .
20
2.4.1
Condica o de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . .
20
2.4.2
Condica o de Neumann . . . . . . . . . . . . . . . . . . . . . . . .
20
Tres Conceitos Importantes . . . . . . . . . . . . . . . . . . . . . . . . . .
20
2.5.1
21
2.4
2.5
Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
vi
2.5.2
Consistencia ou Compatibilidade . . . . . . . . . . . . . . . . . .
22
2.5.3
Estabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
Aplicaca o da Condica o de von Neumann . . . . . . . . . . . . . . . . . . .
25
2.6.1
Condica o de Estabilidade para Malha Cubica . . . . . . . . . . . .
28
2.6.2
Condico es de Estabilidade para Discretizac a o Bidimensional . . . .
28
2.7
O Teorema da Equivalencia de Lax . . . . . . . . . . . . . . . . . . . . . .
29
2.8
Dispersao Numerica. Velocidades de fase e de grupo . . . . . . . . . . . .
29
2.8.1
Velocidade de Fase . . . . . . . . . . . . . . . . . . . . . . . . . .
32
2.8.2
Velocidade de Grupo . . . . . . . . . . . . . . . . . . . . . . . . .
32
2.6
3 Migraca o RTM Uma Abordagem Multifocal
33
3.1
Introduca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2
Migraca o 2D/3D pre-empilhamento simultanea de grupos de tiros e receptores 34
3.3
Fundamentos do Metodo RTM Convencional . . . . . . . . . . . . . . . .
36
3.3.1
Modelagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
3.3.2
Forma Convencional da Equaca o da Onda . . . . . . . . . . . . . .
37
3.3.3
Fonte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
3.3.4
Migraca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
3.3.5
Condica o de imagem para fontes pontuais . . . . . . . . . . . . . .
39
3.4
Fundamentos da migraca o RTM simultanea de grupos de estaco es de tiros

receptores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
3.4.1
Migraca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
3.4.2
Condica o de imagem . . . . . . . . . . . . . . . . . . . . . . . . .
40
3.4.3
Condica o de imagem de campo maximo . . . . . . . . . . . . . . .
42
3.4.4
Migraca o de grupos de sismogramas . . . . . . . . . . . . . . . . .
42
3.4.5
Parametros da Modelagem/Migraca o 2D . . . . . . . . . . . . . .
44
4 Resultados
4.1
33
45
Descrica o e Analise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
5 Conclusoes
65
Referencias Bibliograficas
68
vii
A A Condica o Courant-Friedrichs-Levy
73
A.1 A soluca o de DAlembert para o problema de Valores Iniciais de Cauchy

em todo o espaco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
A.2 Domnios semi-infinitos. Reflexoes . . . . . . . . . . . . . . . . . . . . . .
75
A.3 O Metodo das Caractersticas para Domnios Limitados . . . . . . . . . . .
79
A.4 Verificaca o da Condica o CFL . . . . . . . . . . . . . . . . . . . . . . . . .
81
B Metodos das Caractersticas para descrever a soluca o em Ondas Planas
85
B.1 Introduca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
B.2 As ondas de dilataca o e as de distorca o . . . . . . . . . . . . . . . . . . . .
85
B.3 Geraca o e Propagaca o de Ondas Planas Longitudinais e Transversais . . . .
89
B.4 Ondas Planas: Homogeneas e Nao-Homogeneas. Velocidade de Fase e de

Grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
B.4.1
Ondas Planas Homogeneas . . . . . . . . . . . . . . . . . . . . . .
91
B.4.2
Ondas Planas NaoHomogeneas ou Evanescentes . . . . . . . . . .
96
C Propagaca o de Ondas em Meios Dispersivos
99
C.1 Introduca o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
C.2 As Velocidades de Fase e de Grupo . . . . . . . . . . . . . . . . . . . . . .
99
C.2.1
Velocidade de Fase . . . . . . . . . . . . . . . . . . . . . . . . . .
C.2.2
Velocidade de Grupo . . . . . . . . . . . . . . . . . . . . . . . . . 101
viii
99
Lista de Figuras
3.1
Condica o de imagem para fonte pontual . . . . . . . . . . . . . . . . . . .
40
3.2
Condica o de imagem para grupos de fontes . . . . . . . . . . . . . . . . .
41
3.3
Condica o de imagem multifocal . . . . . . . . . . . . . . . . . . . . . . .
43
4.1
Funca o-fonte,

. . . . . . . . . . . . . . . . . . . . . . . . .

48
4.2
Espectro de freque ncia da funca o-fonte,
. . . . . . . . . . .
48
4.3
Modelo de velocidades: SEG/EAGE . . . . . . . . . . . . . . . . . . . . .
49
4.4
Modelo de velocidades suavizado: Filtro gaussiano: 20x20 pontos. . . . . .
49
4.5
Snapshots, modelagem direta: PT 100 . . . . . . . . . . . . . . . . . . . .
50
4.6
Snapshots, migraca o: PT 100
. . . . . . . . . . . . . . . . . . . . . . . .
51
4.7
Snapshots, modelagem direta: PT 300 . . . . . . . . . . . . . . . . . . . .
52
4.8
Snapshots, migraca o: PT 300
. . . . . . . . . . . . . . . . . . . . . . . .
53
4.9
Sismograma: PT 100. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
4.10 Sismograma: PT 100 + rudo Gaussiano, s/n=20. . . . . . . . . . . . . . .
54
4.11 Sismograma: PT 300. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
4.12 Sismograma: PT 300 + rudo Gaussiano, s/n=20. . . . . . . . . . . . . . .
55
4.13 Condica o de Imagem: Tempo de Transito, , para o PT 100 . . . . . . .
56
4.14 Condica o de Imagem: Amplitude Maxima, ! , para o PT 100 . . . . . .
56
4.15 Condica o de Imagem: Tempo de Transito, , para o PT 300 . . . . . . .
57
4.16 Condica o de Imagem: Amplitude Maxima, ! , para o PT 300 . . . . . .
57
4.17 Seca o migrada: PT 100 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
4.18 Seca o migrada do PT 100 com sismograma sintetico + rudo gaussiano,

"$#% '&(
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
4.19 Seca o migrada: PT 300 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
4.20 Seca o migrada do PT 300 com sismograma sintetico + rudo gaussiano,

"$#% '&(
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ix
59
4.21 Migraca o dos 616 tiros com sismograma sintetico seguida de empilhamento.
Tempo de processamento 616 x 25 s = 4.27 horas.
. . . . . . . . . . . . .
60

4.22 Migraca o dos 616 tiros, com sismograma sintetico + rudo gaussiano, "$#%
&)
, seguida de empilhamento. Tempo de processamento 616 x 25 s = 4.27
horas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.23 Sismograma: *,+$-/.
102435&6(
. . . . . . . . . . . . . . . . . . . . . . .
702839&6(
4.24 Uma migraca o multifocal: *,+$-!.

'435(
61
. . . . . . . . . . . . . . . .
61
. . . . . . . . . . . . . . . . . . . . . . . .
62
839

'435&6(
60
. . . . . . . . . . . . . . . . .
62
. . . . . . . . . . . . . . . . . . . . . . . .
63
839&6(
. . . . . . . . . . . . . . . . .
63

4.29 Migraca o dos 616 tiros, com sismograma sintetico + rudo gaussiano, "$#%
&)
, seguida de empilhamento. Tempo de processamento 616 x 25 s = 4.27
horas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
4.30 Empilhamento das 3 seco es multifocais. Tempo de processamento 75 segundos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
A.1 Domnio analtico de dependencia para o Problema de Cauchy A.1 . . . . .
76
A.2 Caracterstica propagando a informaca o do contorno . . . . . . . . . . . .
77
A.3 Caractersticas na regiao .:<;>= . . . . . . . . . . . . . . . . . . . . . . .
78
A.4 Caractersticas na regiao .?<;>= . . . . . . . . . . . . . . . . . . . . . . .
79
A.5 Caractersticas na regiao
?@.
;A=B?<C e
?@./DE;A=F?<C
. . . . . . . .
80
A.6 Caractersticas Reflexoes Multiplas . . . . . . . . . . . . . . . . . . . .
80
A.7 Domnio numerico de dependencia para o esquema em diferencas 2.46 . . .
81
A.8 Segmentaca o do intervalo de dependencia . . . . . . . . . . . . . . . . . .
82
B.1 Ondas Planas Metodo das Caractersticas . . . . . . . . . . . . . . . . .
90
B.2 Propagaca o de Ondas Planas . . . . . . . . . . . . . . . . . . . . . . . .
92
B.3 Ondas Planas Angulo

Emergente . . . . . . . . . . . . . . . . . . . . . .
95
Captulo 1
Introduca o
O princpio basico que norteia qualquer soluca o numerica de uma equaca o diferencial,
como entendemos hoje, reside na premissa de que, atraves da aplicaca o sistematica de
metodos aritmeticos, podemos encontrar, desde que respeitados os limites impostos pelo
hardware e software, soluco es aproximadas com o grau de precisao que desejarmos. Nestes
casos, a soluca o exata passa a ser entendida como o caso limite de tais soluco es.
No entanto, foi somente com o advento da Meca nica Quantica, nos primeiros anos
do seculo XX, que a Analise Matematica voltou-se para o Domnio Discreto tirando-o
da aparente marginalidade. Ate entao, a importancia das equaco es diferenciais era creditada a` ideia, hoje sabemos que errada, de que a natureza na o da saltos sendo, portanto,
contnua. A hipotese da continuidade do meio permeou por todos os modelos matematicos
que procuravam descrever o Mundo Fsico: as leis da natureza so podiam ser expressas
por equaco es que descrevessem quantidades, elas pro prias, contnuas. As funco es deveriam
ser contnuas assim como, era de se esperar, as soluco es de tais equaco es que, necessariamente, seriam de cunho analtico. Assim e que, principalmente, Newton (16421727) e
Leibnitz (16461716), no seculo XVII, resolveram equaco es diferenciais de primeira ordem. Acreditavam que as funco es conhecidas seriam suficientes para descrever aquelas
equaco es advindas dos problemas da geometria e da mecanica. Soluco es descontnuas nao
eram esperadas. Um dos primeiros a considerar tal possibilidade, conforme Bell (1945), e
por isso mesmo tido como pai dos Metodos das Diferencas Finitas, foi Brook Taylor (16851731) em seu trabalho Methodus incrementorum directa et inversa (London, 1717). Alguns matematicos como, por exemplo, Jordan (ver Jordan (1965)), vinculam ao grande
matematico ingles, Jacob Stirling (1692-1770), o ttulo de real fundador da teoria com o
seu trabalho, Methodus Differentialis (London, 1730). De concreto temos que o primeiro
tratado sobre este emergente ramo da matematica deve-se a Leonard Euler (1913) que foi
tambem o primeiro a utilizar o smbolo -
para representar diferencas.
Com George Boole (1815-1864), conforme Boole (1860), temos ainda hoje, vivo, um
trabalho de imenso interesse histo rico. Ao que parece, foi escrito com o objetivo de ser
utilizado academicamente ja que, nele, podemos encontrar exemplos de aplicac a o da teoria exposta e exerccios suplementares com suas respectivas soluco es, tudo colocado de
maneira bem didatica. Chamando de smbolos ao que hoje denominamos de operadores, Boole descreve com precisao a relaca o entre estes. Assim e que, por exemplo, entre
os smbolos; G e -
definidos como usualmente, ou seja:

-!H,+
HI+KJILM+

GOHI+
H,+N
HI+KJMPKN
e o QSR
T
.
, Boole expoe de maneira clara e elegante, na pagina 17 do seu Tratado:
The laws which have been established for the symbol - are even more obviously true for the symbol G . The two symbols are connected by the equation
VU
G
DE-
since
GWH,+
HI+XDE-!H,+
DY- H,+
(8)
and they are connected with T
by the relation
.
Z\[
[^]
(9)
founded on the symbolical form of Taylors theorem. For

GOHI+
H,+>JMP
H,+FD
cbdU
D
Z\[
3
[h] HI+
and from the fact that G
and -
U T_
U
H,+
HI+
T
D & T _ D &439
U Te_ .
U
T.
T
D & T _ D &453 T
.
.
T`
3
H,+
T ` DEaO;
T` .
3gf
H,+
` DEaO;
.
are thus both expressible by means of i + we
might have inferred that the symbols G , -
and i + combine each other with

i
itself, with constant quantities, and with each other, as if they were individually
symbols of quantity.
2
E tambem com grande precisao e clareza que Boole aborda, no Captulo I, as nuances
entre os Calculos Diferencial e em Diferencas.
The Calculus of Finite Differences may be strictly defined as the science
which is occupied about the ratios of the simultaneous increments of quantities
mutually dependent. The Differential Calculus is occupied about the limits to
which such ratios approach as the increments are indefinitely diminished.
But there is a difference between the two cases which ought to be noted.
T
In the Differential Calculus ikj+ is not a true fraction, nor have H and . any
i
distinct meaning as symbols of quantity. The fractional form is adopted to

T
express the limit to which a true fraction approaches. Hence i + , and not , there
i
represents a real operation. But in the Calculus of Finite Differences LMj + ] is a

true fraction. Its numerator -!Hl+ stands for a actual magnitude. Hence -
might
itself be taken as the fundamental operation of this Calculus, always supposing

the actual value of -/. to be given; and the Calculus of Finite Difference might,
in this symbolical character, be defined either as the science of the laws of
operation - , the value of -!. being supposed given, or the science of the laws
L
of opperation LM+ . In consequence of the fundamental difference above noted

between the Differential Calculus and the Calculus of Finite Differences, the
term Finite ceaces to be necessary as a mark of distinction. The former is a
calculus of limits, not of differences.
A evoluca o do pensamento contnuo-discreto tem uma importante contribuica o com o
artigo de Richardson, Richardson (1910), que em 1910 coloca em sua introduc a o:
In brief, analytical methods are the foundations of the whole subject, and
in practice they are the most accurate when they work, but in the integration of
partial equations, with reference to irregular-shaped boundaries, their field of
application is very limited.
Both for engineering and for many of less exact science, such as biology,
there is a demand for rapid methods, easy to be understood and applicable to
unusual equations and irregular bodies. If they can be accurate, so much better;
but 1 per cent would suffice for many purposes. It is hoped that the methods
put forward in this paper will help to supply this demand.
Muito embora o desejo de que o erro de ...1 per cent would suffice for many purposes
o estudo do comportamento da soluca o aproximada, perante a soluca o analtica, so foi
contemplado no magnfico trabalho de Courant et al. (1928) e cuja versao inglesa pode
ser encontrada na referencia Courant et al. (1967). Encontramos na introduca o do referido
artigo:
Corresponding to the correctly posed problems for partial differential equations we will treat boundary value and eigenvalue problems for elliptic difference equations, and inicial value problems for the hyperbolic or parabolic cases.
We will show by typical examples that the passage to the limit is indeed possible, i.e, that the solution of the difference equation converges to the solution
of the corresponding differential equation; in fact we will find that for elliptic
equations in general a difference quotient or arbitrarily high order tends to the
corresponding derivative. Nowhere do we assume the existence of the solution to the differential equation problem - on the contrary, we obtain a simple
existence proof by using the limiting process.
Do exposto acima, parece ficar claro que o objetivo dos autores foi estabelecer teoremas de
existencia dos problemas; elptico, parabolico e hiperbolico, a partir dos teoremas de existencia algebricos relativos a` s equaco es discretizadas e nao analisar propriedades de algoritmos numericos. Com a passagem ao limite chegaram a` condica o CFL para cada um dos
problemas supracitados. O mais notavel no trabalho de Courant et al. foi a demonstraca o
que nao basta somente manter uma correspondencia formal entre os operadores diferencial
e em diferencas. A simples passagem ao limite, per si, e condica o necessaria mas nao
suficiente para que o processo, como um todo, convirja de maneira est a vel no sentido de
que o erro introduzido em cada etapa temporal cresca a uma taxa previsvel.
Antes de continuar, cabe aqui uma observaca o. Procurei, no decorrer desta dissertaca o,
evitar estrangeirismos quer lexicos, sintaticos ou semanticos. Segundo Bechara (1999):
O que deve combater e o excesso de importaca o de lnguas estrangeiras,
mormente aquela desnecessaria por se encontrarem no vernaculo palavras e
giros equivalentes. A introduca o de uma palavra estrangeira para substituir uma
vernacula em geral se aplica pela debilidade funcional da palavra ameacada de
substituica o.
Infelizmente, o anglicismo sintatico decorrente da conjugaca o dos verbos: imagear

e depropagar, que simplesmente nao possuem significado lexico, e de uso corrente na
Geofsica. Assim, e muito embora pelos motivos supracitados incorra em erro, vou utiliza-los com moderaca o sempre que nao encontre outra forma de exprimir a ideia.
A aplicaca o dos metodos ssmicos para o melhor entendimento do que ocorre em subsuperfcie nao e nova. Ja no final do seculo XVIII informaco es sobre a estrutura da Terra eram
inferidas a partir de dados coletados de terremotos. Segundo Telford et al. (1988), terremotos artificiais foram utilizados, em 1895, com o intuito de medir velocidades ssmicas.
Com o advento da Primeira Guerra Mundial, tanto os aliados quanto os alemaes usavam
as ondas geradas pelo retorno, coice, de armas pesadas para localiza-las. Estes trabalhos
foram cruciais para o desenvolvimento da sismologia de explorac a o. Nesta e poca Mintrop
na Alemanha e J. C. Karcher nos Estados Unidos, somente citando duas das principais referencias, trabalhavam nos metodos ssmicos de refraca o e reflexao respectivamente. Este
u ltimo desenvolveu, no incio de 1920, um sismografo de reflexao que foi utilizado para
identificar a interface entre o calcario Viola e o folhelho Sylvan num campo em Oklahoma (ver Gardner (1985)). Utilizando uma geometria de aquisic a o tiro-receptor que lhe
permitia imagear um ponto em subsuperfcie por um raio somente - atualmente diramos
que a cobertura, fold, seria igual a 100% - Karcher desenhou arcos circulares centrados no
ponto medio entre a fonte e receptor e cujo raio era a metade do produto entre o tempo
de transito do evento, no caso a interface calcario-folhelho, e a velocidade deste u ltimo ja
que o modelo geologico indicava que estava por cima do calcario. A uniao dos pontos
assim conseguidos foi interpretada como a interface pretendida tendo, ainda, sua posic a o
corretamente determinada. Karcher enaltece os seguintes aspectos que ja foram, de alguma
forma, citados na nossa construca o:
1. os pontos pertencentes a` interface sao os pontos de reflexao;
2. os raios definem o caminho da propagaca o;
3. os arcos definem as frentes de onda que, por definica o, sao perpendiculares aos
caminhos do raio. Estas, apos emanarem dos respectivos pontos de tiro incidirao,
primeiramente, nos pontos de reflexao;
4. a onda refletida retornara ao receptor segundo o mesmo caminho se a fonte e o receptor estiverem suficientemente proximos.
5
Em Gardner (1985) encontramos muitos dos artigos histo ricos, todos constantes em perio dicos americanos, colocados em ordem cronolo gica compreendendo o perodo de 1930 a
1983, aproximadamente. Os primeiros, na verdade, descreviam prolemas geol o gicos, por
exemplo; Rieber (1936), Johnson (1937), e os respectivos metodos e processos geofsicos e
aparatos mecanicos para resolve-los graficamente (ver Robinson (1957), McGuckin (1957),
Hawes (1957)). No entanto foi Hagedoorn (1954), que estranhamente nao figura na coletanea de Gardner e seja por ele muito pouco citado, que discutiu, detalhadamente, a
propagaca o das frentes de onda e sua relaca o com o fenomeno da migraca o. Foi, tambem,
o primeiro a definir migraca o como:
... the procedure of determining the true reflecting surface from a surface
determined by a number of vertically ploted points. This true surface can be
found, in principle, as the envelope to all surface of equal reflection time determined by the vertically plotted points. This is essentially a three-dimensional
procedure, setting out from the usually two dimensionally, vertically plotted
points
Paralelamente, sao desenvolvidas novas ideias de aquisica o ssmica, principalmente a de
reflexao, culminando com o desenvolvimento de tecnica CDP, uma abreviatura a` expressao
Common-Depth-Point, e sua variantes; CMP, CRP com M e R respondendo, respectivamente, por Midpoint e Reflexion. Ha diferencas entre estas definico es (ver, por exemplo,
Sheriff (1991)), no entanto, a ideia principal e a redundancia de informaca o de uma dada
regiao em subsuperfcie, fato este de capital importancia no processamento ssmico.
As construco es geometricas aqui descritas, com poucas alterac o es, foram utilizadas pelos geofsicos por aproximadamente meio seculo. Diferiam, principalmente, na forma de
apresentaca o dos dados onde eram comum as wavefront charts (ver Lindsey (1970)). No
entanto, qualquer que seja a abordagem, quanto melhor o modelo de velocidades utilizado
retratar o que ocorre em subsuperfcie, mais realstica sera a migraca o. Em nossa construca o
utilizamos o plano .
0m
, portanto em profundidade. No entanto, o campo registrado por
nossos observadores e em tempo o que nos leva a trabalhar, inicialmente, no plano .
=.
Como em nossas construco es imaginamos um meio homogeneo, isotropico e com velocidade constante, podemos trabalhar em qualquer dos dois planos indistintivamente - as
frentes de onda sao esfericas, no caso 3-D, e expandem a uma taxa estabelecida pela velocidade. Em modelos mais realsticos onde a distribuica o de velocidades e nao uniforme, as
6
frentes de onda podem tornar-se superfcies bem complexas. A posica o da frente de onda,
em um dado instante, define uma superfcie onde e medido o mesmo tempo de transito.
Tais superfcies sao ditas aplaneticas.
Ate entao, a utilizaca o de Metodos Numericos, que como vimos estavam ja ha muito em
voga na Engenharia e tendo base Matematica definida, nao eram utilizados na Geofsica de
Exploraca o. Os metodos utilizados eram artesanais. O grande impulso na utilizac a o desta
tecnica deve-se a Jon Claerbout e seus colaboradores na Universidade de Stanford. Desenvolveram um metodo, utilizando operadores em diferencas finitas, capaz de realizar, automaticamente, a migraca o de dados ssmicos. Devemos tambem a Claerbout, a introduca o
de um conceito que se mostra bastante u til: o da extrapolaca o do campo de onda a partir da
equaca o da onda. Assim, segundo o pro prio Claerbout, Claerbout and Johnson (1971);
Time-dependent waveforms are commonly extrapolated in space by means
of rays and occasionally by means of diffraction integrals. It is possible to
extrapolate time-dependent waves in space with a partial differential equation
derived from wave equation. There are stable numerical approximations.
Conceitualmente, a migraca o pode ser pensada como se constituda em duas partes:
extrapolaca o do campo de ondas e condica o de imagem. Pela primeira entendemos a
reconstruca o, a partir de um dado datum, do campo de ondas em diversas profundidades.
Quanto a` segunda, entendemos a expressao matematica ou princpio fsico utilizado para
imagear um evento proveniente do campo extrapolado. Matematicamente, pensamos na
migraca o como um operador linear composto pelo produto dos dois operadores: condic a o
de imagem e extrapolaca o.
Poderamos, quase que num infinito, extender-mo-nos neste facinante Captulo da Ciencia e da Tecnica: o fenomeno da propagaca o. Este, aliado a metodos para melhor descreve-lo, faz-me pensar nesta alianca como um organismo vivo. Lembro-me, entao de um grande
matematico e educador portugues, Bento de Jesus Caraca (19011948), que num momento
de rara inspiraca o, escreveu:
A Ciencia pode ser encarada sob dois aspectos diferentes. Ou se olha
para ela tal como vem exposta nos livros de ensino, como coisa criada, e o aspecto e o de um todo harmonioso, onde os captulos se encadeiam em ordem,
sem contradico es. Ou se procura acompanha-la no seu desenvolvimento progressivo, assistir a` maneira como foi sendo elaborada, e o aspecto e totalmente
7
diferentedescobrem-se hesitaco es, duvidas, contradico es, que so um longo trabalho de reflexao e apuramento consegue eliminar, para que logo surjam outras
hesitaco es, outras duvidas, outras contradico es.
Descobre-se ainda qualquer coisa mais importante e mais interessante: no
primeiro aspecto a Ciencia parece bastar-se a si propria, a formaca o dos conceitos e das teorias parece obedecer so a necessidades interiores; no segundo,
pelo contrario, ve-se toda a influencia que o ambiente da vida social exerce
sobre a criaca o da Ciencia.
A Ciencia, encarada assim, aparece-nos como um organismo vivo, impregnado de condica o humana, com as suas forcas e as suas fraquezas e subordinado a` s grandes necessidades do homem na sua luta pelo entendimento e pela
libertaca o; aparece-nos, enfim, como um grande captulo da vida humana social. Caraca (1948)
Para finalizar, foi com grande satisfaca o que, no decorrer deste trabalho, deparei-me
com nomes cuja importancia no desenvolvimento da Ciencia e indiscutvel e que foram por
mim exaustivamente citados. Outros como: Gauss (17771855), Riemann (18261846),
Maxwell (18311879), so para citar alguns expoentes, nao foram mencionados pois que o
objeto de suas pesquisas nao interfiriram diretamente no tema abordado. Mais uma vez,
no entanto, e muito difcil deixar de saudar aquele que nos tem dado o subsdio para uma
melhor descrica o do que acontece na Natureza e representa o auge da Revoluc a o Cientfica
iniciada no fim do seculo XVI. Sir Isaac Newton (16421727). Certamente, ninguem captou
melhor o genio de Newton que o poeta Alexander Pope em seu famoso dstico, constante
no epitafio de Newton:
Nature and Natures Law lay hid in the Night:

God said, Let Newton be! and All was Light.
Captulo 2
Discretizaca o da Equaca o Acustica

da
Onda pelo Metodo das Diferencas Finitas
2.1
Introduca o
A ideia de discretizar a equaca o da onda, gerando um sistema de equaco es algebricas, nao

e nova. Na verdade, ela e somente um caso especial do que Felix Klein cunhou, em 1895,
de Aritmetizaca o da Analise, Boyer (1974). Ate os meados do seculo XVIII o estudo
do comportamento dinamico da corda vibrante era de grande interesse teo rico. Grandes
matematicos, destacando-se; Brook Taylor (16851731), Daniel Bernoulli (17001782),
Leonard Euler (17071783), DAlembert (17171783) e J. L. Lagrange (17361813) trabalhavam na explicaca o analtica da Geraca o e Propagaca o do Som. A partir de um modelo
discreto para a corda vibrante, proposto por Jean Bernoulli (16671748), onde a mesma era
tratada como que composta de massas discretas dispostas ao longo de um fio cuja massa era
desprezvel, DAlembert chegou, em 1750, a` equaca o da corda vibrante:
n _
H 0
n _
=
n _
_
; n
.
H
_

(2.1)
levando ao limite o modelo de J. Bernoulli, quando entao o numero de massas pontuais

tende ao infinito.
Devemos tambem a DAlembert a soluca o geral da equaca o da onda. Seja entao a
seguinte transformaca o de coordenadas:
op
.
;>=
.rDs;>=
(2.2)
que representa a transformaca o do plano .dNt= no plano caracterstico, representado pelas

o
coordenadas caractersticas Ntq . Como o Jacobiano da transformac a o, ^.uNt= Xv
o
tN q e
diferente de zero tal transformaca o existe e e u nica, o mesmo ocorrendo com a sua inversa.
Usando a transformaca o (2.2) e a regra da cadeia, obteremos os seguintes operadores
espaciais:
n
n
n
n o D
R
.
n
n
n _
w
n
_ R
.
n _
n o _ D
&
n
n o n
n _
q
n
D
(2.3)
e temporais:
n
n
=
Rx;
n
n o
n
n
n _
w
n
_ Rx;
_ b
n _
n
0s&
n o _
n o n
q
n _
D
(2.4)
que apos serem substitudos na equaca o unidimensional da onda permitir-nos-a escreve-la,

em funca o das coordenadas caractersticas, como:
n _
H
n o n
'
(2.5)
Esta forma, dita canonica, de representaca o da equaca o da onda permite-nos deduzir sua
soluca o geral de uma maneira muito simples. De fato, podemos escreve-la como:
b
n
n
f
q
HIy

que nos mostra ser H,y independente de q . Por outro lado, depende de
aritraria. Seja entao HIy
'
(2.6)
de uma maneira
o
. A integraca o desta expressao nos dara:
o
x{| o T o
Hz tN q

DY}~q
(2.7)
o o T o

Se representarmos ~
chegaremos a` soluca o geral desejada:
o

H tN q
o
r E
D }q
(2.8)
onde e } sao funco es arbitrarias onde a u nica restrica o imposta e que sejam, pelo menos,
duas vezes diferenciaveis. Em coordenadas fsicas:

H^.uN=
~.
;>= DE}./DE;A=
A interpretaca o de referida soluca o e bem conhecida. A forma da funca o ~^.
(2.9)
;>=
}~^.D7;>= se propaga, de maneira independente, no sentido positivo (negativo) de . .
Esta independencia, juntamente com a linearidade da Eq.(2.8), permite que seja valido o
10
Princpio da Superposica o ou Princpio da Coexistencia das Pequenas Oscilaco es como

proposto, inicialmente, por D. Bernoulli em 1755 conforme Rayleigh (1945), pag. xv.
No entanto, a soluca o analtica da corda vibrante so foi colocada na maneira que conhecemos hoje:
H
h I
h
" .
4K
" .
DY
" .
(2.10)
ou seja, como uma serie trigonometrica, por Lagrange em 1759. Assim como DAlembert,
Lagrange supos que a corda era constituda por um numero finito de massas pontuais e
estudou o movimento deste sistema. Estabeleceu a existencia de freque ncias independentes
em igual numero ao de partculas. Ao passar ao limite, permitindo portanto que o nu mero
de pontos crescesse indefinidamente, tendo suas massas diminudas na mesma proporca o,
as freque ncias entao obtidas mostraram-se ser, precisamente, as frequ e ncias harmonicas da
corda estendida. Estava resolvida, de maneira brilhante e seguindo o raciocnio discreto
contnuo, a Equaca o da Onda.
Ate entao, a discretizaca o da equaca o diferencial, com a subsequente passagem ao limite, so havia sido utilizada na obtenca o de soluco es analticas, o que era perseguido pelos
matematicos daquela e poca. A ideia de lancar mao de modelos discretos com o intuito de
obter soluco es aproximadas das equaco es em derivadas parciais veio bem depois. Mencionamos na Introduca o alguns nomes que trabalharam no domnio discreto. E difcil,
em se tratando de trabalhos de 250 anos atras, estipular o pai de alguma ideia ou metodo.
Esta tarefa e objeto dos Historiadores da Ciencia. Aos admiradores, cabe a apreciac a o dos
grandes trabalhos e, sem sombra de du vidas, o ja mencionado trabalho de Lord Rayleigh,
The Theory of Sound, e um deles. Assim e que o proprio Rayleigh nos escreve:
In Chapter III. it was pointed out that the fundamental vibration of a string
would not be entirely altered in character, if the mass were concentrated at the
middle point. Following out this idea, we see that if the whole string were
divided into a number of small parts and the mass of each concentrated at its
center, we might by sufficiently multiplying the number of parts arrive at a
system, still of finite freedom, but capable of representing the continuous string
with any desired accuracy, so far at least as the lower component vibrations
are concerned. If the analytical solution for any number of divisions can be
obtained, its limit will give the result corresponding to a uniform string. This is
11
the method followed by Lagrange. (cf.(Rayleigh, 1945, pag. 172))

Em linguagem contemporanea, podemos sintetizar o texto em italico, que nao aparece assim
no texto original, como: a soluca o aproximada converge.
O pioneirismo de Rayleigh, no tocante a encontrar soluco es aproximadas da equaca o da
corda vibrante, fica claro na tabela compilada a seguir. Com
representando o n u mero de
pontos em que a massa total da corda esta concentrada, a segunda linha mostra que a razao
entre o primeiro harmonico da corda discretizada em relaca o ao correspondente harmonico
do problema contnuo tende para 1 (um). O comportamento do modelo discreto, quando o
numero de massas aumenta tende, no limite, a` soluca o contnua.
& D
&
D
U
19
39
.9003
.9549
.9745
.9836
.9959
.9990
.9997
Assim e que encontramos a seguinte analise sobre os dados obtidos:

...but it is interesting to observe the approach to a limit in (17), as
is made
successively greater and greater.

And, since any form possible for the string at all may be regarded as initial,
we infer that any finite single value function of . , which vanishes at .
.
'
and
+
, can be expanded within those limits in a series of sines of and its
multiples, which is a case of Fouriers theorem. We shall presently shew how

the more general form can be deduced. (cf.(Rayleigh, 1945, pag. 176))
Ao que parece, devemos tambem a Rayleigh o uso das series de Fourier para analizar a
acuracia do modelo discreto em relaca o ao contnuo.
2.2
A Equaca o da Onda

Nosso universo limitar-se-a a` equaca o acustica da onda nas coordenadas espaciais . e e na

temporal = . Partculas em um meio elastico, movendo-se sob a aca o de disturbios externos,
oscilam para depois retornarem ao seu estado de equilbrio. Estas pequenas oscilaco es
sao transmitidas a uma velocidade definida, de partcula para partcula, atraves do meio: a
informaca o se propaga. Assim, se H
Hz^.uN

N= e ;

;)^.uN denotarem, respectivamente;
o deslocamento de um ponto material do meio, considerado, localmente, homogeneo e
12
isotropico, e a velocidade com que a informaca o e transmitida, podemos escrever, no caso

bidimensional e usando coordenadas retangulares, que:
n _
n
.
_ D
n _
H 0
n _
U n _
0
H 702
.
_ n _
;
=
O0s
.I
=
(2.11)
Aqui as coordenadas com linha poderao se referir tanto a` s coordenadas da fonte, e neste
caso estaremos tratando da modelagem direta, quanto a` s coordenadas do receptor, quando
estaremos, entao, falando de migraca o.
2.3
Discretizaca o da Equaca o da Onda
Vamos aqui desenvolver o Metodo dos Coeficientes a Determinar para discretizar a equaca o da onda (2.11). Deduziremos, inicialmente, o caso geral restringindo-nos, a seguir, nas
aproximaco es de
&$
ordem nas derivadas temporais e
ordem nas espaciais. Tal escolha
esta alicercada em estudos de acuracia e eficiencia, conforme Alford et al. (1974).
2.3.1 Series de Taylor - Metodo dos coeficientes a determinar

A abordagem classica para o desenvolvimento por meio de Diferencas Finitas de uma
funca o consiste em admitir que a mesma seja conhecida em pontos discretos, ou pontos de
colocaca o, e que usemos polinomios para interpolar entre estes pontos. Dentre as inu meras
formas de fazermos esta interpolaca o, interessa-nos aquela desenvolvida por Brook Taylor em seu livro, Methodus Differentialis. Consiste na premissa de que, num dado ponto,
o polinomio seja capaz de gerar: a propria funca o e algumas de suas derivadas. Temos
portanto o seguinte paradigma:
(i) A funca o e conhecida em alguns pontos do eixo . , ou seja:
d
R
^.

0 & 0pU U & 333

% 1333 N
N
N N N N
com
(2.12)
(ii) Desejamos encontrar uma aproximaca o para as derivadas,

n
n
nas vizinhancas destes pontos.
13
(2.13)
Para realizarmos tal aproximaca o temos que reconhecer, a priori, quais seriam, entre os
pontos, as propriedades da funca o
. que queremos enaltecer. Cada uma das escolhas
nos levara a aproximaco es diferentes.
. , nas vizinhancas de . ,

sejam dadas por um polinomio de ordem maior ou igual a` ordem da derivada, deveU
coeficientes que satisfacam a` condica o de ser W^. coincidente
mos determinar os D
Se escolhermos como abordagem que as propriedades de

nos pontos de colocaca o. Satisfeita esta condica o, a aproximaca o
da derivada de ordem r de ^. sera provida pela derivada da interpolaca o polinomial ora
com
^. R
^.
escolhida, ou seja:

n
n

n

Escrevendo uW. , o polinomio de grau
E

(2.14)
nas vizinhancas do ponto . , na sua
forma mais geral ou seja:

'
W.
D
P.
0
.

D
_ ^.
_
D<)D
.
e supondo-se que os pontos de colocaca o, referenciados a .

.
W^.

.
(2.15)
, sejam designados por
J>
" podem tomar valores racionais tanto positivos quanto negativos, entao podeonde os
mos nos referir aos valores da funca o nestes pontos pela equaca o:
d
J>R
^.
J>
(2.16)
Iremos agora reescrever a Eq. (2.14) em funca o dos valores da funca o
nos pontos
de colocaca o . J> . Isso so sera possvel porque partimos da hipotese de que o polinomio
deve ser capaz de reproduzir a funca o nestes pontos. Assim:
d
JKR
^.
J> RW. J>
(2.17)
ou, quando escrito na forma matricial:
^.
^.
JA
0
.

^.
^.
JA
.
JK
_
.
_
.
0
..
.
U
..
.
.
.
J>
^.
^.
JA
J
_
.
.
JK

.

.

.
..
.
...
0
..
.
J>
..
.
u
J>
(2.18)
14
que, no caso de a malha ser regular, ou seja, quando:
J>
D -/.uN
(2.19)
ve-se reduzido o sistema anterior a` forma:
P-!.
_
-!.
_
P-!.
..
.
..
.
8X-/.
_
8X-/.

- .
!
8X-/.
..
.
-!.
P-!.
..
J>
..
.
J>
(2.20)
..
.
As Eqs. (2.18) e (2.20) sao sistemas de equaco es lineares compostas de 'D
equaco es
nas D
incognitas . Como os polinomios sao conjuntos linearmente independentes,
esta assegurada a existencia da inversa da matriz dos coeficientes dos " . Estes u ltimos
d
poderao entao ser expressos como uma combinaca o linear dos

nos pontos de colocaca o .
J>
D -!. . Esse fato, aliado a` relaca o:

n
n

n
n Y
.
.
permitir-nos-a escrever:

n
n
J : os valores de
4 X
.
J R
n
n
D
(2.22)
n _
_
z-/.
n _
&
D
.

-/./D
obteremos:
^.
(2.21)
Nosso problema reduz-se, agora, a determinar os coeficientes . Expandindo

series de Taylor nas vizinhancas de .
n `
`
-/.
n `

D<
.
^. em
(2.23)
que apos ser substituda no lado direito da igualdade (2.22) nos dara:

n
n
2D
n
n
/
- .
.
S

n

h -/.
n

4
2D
2D
15
n _
_
h -/.
n _
&
.
2D
(2.24)
Os D
coeficientes a determinar, , serao encontrados comparando, termo a termo, o
lado direito das Eqs. (2.22) e (2.24). Obteremos, assim:

..
.

JMP
4

(2.25)

-!.
..
.

Iremos, nas proximas seco es, particularizar o conjunto de Eqs. (2.25) ao nosso problema
especfico a saber: achar os operadores, no esquema de diferencas centrais;
(i) de
&$
ordem na derivada temporal;
(ii) e o de
ordem para as derivadas espaciais.
2.3.2 Operador Temporal de Diferencas Finitas

1
Nesta discretizaca o necessitaremos de
pontos. Serao em numero de 3, portanto, os
coeficientes . Sendo central o nosso esquema em diferencas faremos com que assuma
os valores
U )
0p
U
N N . Com , ordem da derivada, igual a 2 o sistema de equac o es, escrito
na forma matricial, tornar-se-a:
0pU

U
U

&
_
-!.
(2.26)
cuja soluca o e :
U
_
-/.
70
&
_
-/.
16
U
_
h-/.
(2.27)
Assim poderemos escrever que o operador de
ral nas vizinhancas de .
&
ordem que discretiza a derivada
&
tempo-
e dado por:
n _

n _
=
U
_
-!=
0E& d
P
_
JMP DY-/.
d
D
(2.28)
2.3.3 Operador Espacial de Diferencas Finitas

Neste caso, serao em numero de
'6
os pontos de colocaca o. Assim sendo, o sistema de
equaco es (2.25) podera ser escrito, matricialmente, como:
0&
U

0
2
0pU
_
-!.

U

&

U
0pU
&
(2.29)
cuja soluca o sera:
4
P
0pU

U&
U&
_
-!.
U
_
-!.
4

_
U&
U&
_
h-/.
0pU
02
U&
_
-!.
_
h-/.
(2.30)
Com estes coeficientes, o operador em diferencas centrais de
ordem que discretiza a
parte espacial, em relaca o a` variavel . da equaca o da onda, nas imediaco es de .

n _

n _
.
U
U&
_
-!.
0 d
_ D
U d
0 u
D
U d
JMP
, sera:
J _ D@-!.
(2.31)

Formula analoga descrevera a dependencia em da referida equaca o.

Estamos agora em condico es de escrever o operador em diferencas que representa a
&
equaca o da onda Q . E o que sera feito na proxima subseca o.
2.3.4 O Operador em Diferencas para a Equaca o da Onda

Ate aqui tratamos dos operadores em diferencas, temporal e espacial, em separado. No
entanto, a equaca o da onda acopla estes operadores. Sem a parte temporal nao ha propagaca o. A nomenclatura ate entao utilizada nao contempla este acoplamento. Em funca o
17
disso transformaremos o domnio contnuo, .uN
e = em discreto, -/.dN-
e -!= , mediante a
transformaca o:
1U &
N N N
1U &
N N NK
1U &
3
N N N
.k-/.dN

- N
=
4-!=KN
(2.32)

Desta feita, uma grandeza qualquer ^.uN Nt= passa a ser escrita como:
k-/.dN-
NA4-!=
(2.33)
Cabem aqui duas observaco es:

(i) a primeira refere-se a` ausencia de um ndice qualquer, seja super ou sub, implicando
na ausencia do respectivo termo em diferencas e do seu correspondente contnuo. A
recproca tambem e verdadeira. A nao dependencia da funca o contnua com uma dada
variavel acarreta na ausencia do termo em diferencas relacionado a` quela variavel.
&
Assim e que, quando aplicada a` equaca o acustica da onda Q , Eq. (2.11), teramos,

respectivamente, para o campo de pressao H^.dN Nt= , de velocidade ;)^.dN e ampli-
tude da fonte = :

Hz.dN

;(.dN
=

k-/.uN- >N -!=

;)k-/.uN- ;
-!=
Nt=
(2.34)
(ii) a segunda refere-se a` variaca o de um dos ndices. Da mesma forma que a derivada
parcial em relaca o a` uma dada variavel e tomada tornando-se constante as outras,
a formula em diferencas, em relaca o a um determinado ndice, e feita tornando-se
constante os demais.
Estamos agora em condico es de generalizar as Eqs. (2.28) e (2.31). As partes temporal
e espacial da Eq. (2.11) serao discretizadas pelos seguintes operadores em diferencas:
n _

n _
=
n _

n _
.
n _

n _
W P 0E&
JMP
D

_
p

-!=
U
0
U W
0s
W

_ D
P
D
U&
_

-!.
U
0
U
0s ( W
_ D
P
D
U&
_

18
(2.35)
U W
0
JMP
J _
(2.36)
U
0
JMP
J _
(2.37)
A soma das duas equaco es anteriores e o Operador Laplaciano Discretizado de

Vamos denota-lo por
ordem.
U
0
U&

e escreve-lo como:
U
0U

J _
P D
0U
W
J _
P D

_ _ D
~

-/.
_~ _ D
D
-

JMP D

D
W
JMP D

3

(2.38)
Definindo, ainda, os operadores DAlembertiano; contnuo e seu analogo discreto respectivamente por
e , podemos reescrever a equaca o da onda:
HR
0
H
U n _
0
H 702
.
_ n _
;
=
0s
.
=
(2.39)
segundo sua formula em diferencas, como:
U
_
_
; h-!=
P 0E& W

D

0
W JMP 702

0

(2.40)
A Fsica Classica e causal. E de se esperar que as equaco es que descrevem fenomenos

fsicos, classicos, tambem o sejam. O metodo das diferencas finitas possui, intrnseco, uma
filosofia causal. Podemos sempre descrever o campo futuro em func a o dos campos passado
JMP
e presente. E o que faremos agora isolando o termo - constante na parte temporal da
equaca o da onda que, como ja foi dito, e a que carrega consigo a propagaca o - dos termos;

P
presente e passado . Assim sendo:

M
J P
_
^; -!= D
& 0

P
-p= _ 0
'
D
^

;
0

(2.41)
Substituindo o operador pela sua expressao, obteremos:

U
70
M

J
P

U&r _
o

D
& 0

D
0U

J _
JMP D
P D
0<U

J _
JMP D
_ D
P D
_
0
0
N
P Dh; -!=

D

D
(2.42)
onde:

b ; !
- = f
-!.
o cb ; !
- = f

-
19
(2.43)
No caso de a malha que discretiza o domnio ser uniforme, ou seja:

-/.
a equaca o (2.43) simplificar-se-a tornando-se:
(2.44)
_
<o
cb ; !
- = f

R
(2.45)
que, apos substituda na Eq. (2.42), nos dara a seguinte expressao para o campo futuro:
JMP <0

U
U &

J _ D
_ D
J _
t _ D
0pU
( W
W
W
P D
JMP D
P D
J P D
_
& 0 W P
0

D'^; -p=
D

2.4
(2.46)
As Condico es de Contorno
` equaca o da onda 2.11, adicionam-se as seguintes condico es de contorno:

A
2.4.1 Condica o de Dirichlet

W

(2.47)
com:
1U & 333
N N
N

superfcie
1U & 333
3
N N
N
(2.48)
2.4.2 Condica o de Neumann

n

n

2.5
(2.49)
Tres Conceitos Importantes
No estudo dos conceitos de convergencia, consistencia e estabilidade e importante considerar as seguintes definico es. Seja ANNA R
k-/.uN-
NA4-p= um ponto qualquer do
domnio discretizado L . Teremos,entao, a definica o das tres seguintes quantidades:

20
(i) da soluca o exata da equaca o diferencial denotada por:

Hk-/.uN-
NA4-p= RH
(2.50)
(ii) da soluca o exata da equaca o em diferencas:
k-/.uN-
NA4-p= R
(2.51)
E obtida quando nenhum tipo de erro, como por exemplo round off, e introduzido
nos calculos. Tal soluca o so se aplica a classes bastante restritas de equaco es diferenciais. Encontramos em Levy and Lessman (1959) alguns metodos de obtenca o de
tais soluco es.
(iii) e da soluca o aproximada da equaca o em diferencas:
t-!.dN-
NA4-!= R
(2.52)
que, em u ltima analise, e a obtida quando da utilizaca o de metodos numericos.
2.5.1 Convergencia
Uma soluca o para a equaca o em diferencas finitas e dita convergente se, para cada ponto do
domnio, a soluca o exata desta equaca o converge para a soluca o exata da equaca o diferencial original quando os incrementos tendem para zero. Formalmente:

H
quando -!.
N -
N -!=
83
(2.53)
O erro na discretizaca o, , num dado ponto ANeNA do domnio XL e definido por:

e depende dos parametros da malha; -/. , -
H
(2.54)
e -!= assim como das derivadas de maior
ordem omitidas ao se aproximar o operador diferencial por um em diferencas.

A analise da convergencia e amplamente discutida na bibliografia sendo: Smith (1978),
Forsythe and Wason (1960) e Richtmyer and Morton (1967) as referencias classicas. Encontramos, nesta u ltima, a formulaca o mais geral e abstrata. Estes autores comecam abordando
equaco es diferenciais com condico es de contorno e inicial simplificadas associadas a problemas lineares, homogeneos e com coeficientes constantes. Mostram, entao, que a soluca o
21
exata do problema, quer na formulaca o diferencial quer em diferencas finitas, e restrita somente a alguns poucos casos, nem sempre de interesse pratico. Faz-se entao necessario
examinar o comportamento de nos pontos do domnio XL e mostrar que a norma deste,

, e limitada por algum numero

, o qual tende para zero quando os incrementos tambem
o tendem. Aqui, a notaca o indica uma norma qualquer. Usa-se, geralmente, a norma
infinito ou maxima definida por:

.
(2.55)
No entanto, este metodo e de difcil utilizaca o em problemas mais complexos como os que
aparecem, por exemplo, na Geofsica. Em tais casos, poder-se-ia pensar que o comportamento convergente da soluca o em diferencas seria inferido fazendo-se com que se tornem
cada vez menores os parametros da malha. No entanto, este procedimento nao e geral ja
que podemos, no caso limite, estar tratando de uma soluca o discretizada que nem mesmo
descreve o problema inicial. Ha exemplos classicos, nas referencias bibliograficas supracitadas, onde a escolha indevida dos parametros da malha fazem com que a soluca o em
diferencas para um problema de conduca o de calor, parabolico portanto, torna-se, no limite, a soluca o de um problema hiperbolico. A soluca o discreta nao e consistente com o
problema posto inicialmente.
Depois de definirmos o que vem a ser Consistencia e Estabilidade veremos que a melhor
soluca o ao questionamento feito no paragrafo anterior e lancar mao do Teorema de Lax.
2.5.2 Consistencia ou Compatibilidade
Substituir H , soluca o exata da equaca o diferencial, na versao homogenea da equaca o em
diferencas (2.40) - ou seja, estamos considerando pontos da malha suficientemente afastados da fonte - equivale a aplicarmos o operador DAlembertiano discreto a esta soluc a o.
Desta forma:
'43
H
(2.56)
Desejamos determinar quao proxima, de acordo com a norma maxima, esta equaca o esta
da sua correspondente contnua;
83
H
22
(2.57)
Diz-se que um problema e consistente, quando a diferenca entre os operadores contnuo

e discreto, aplicados a` soluca o exata da equaca o diferencial, tende para zero quando os

parametros da malha tambem o fizerem. Matematicamente, seja
o erro no truncamento
definido como se segue:

0
H
3
H
(2.58)
Se ocorrer que:

H
-/.
quando

-

N
-!=

N
(2.59)
teremos a consistencia requerida.

O termo
e o erro introduzido pela discretizac a o quer da equaca o diferencial quer da
regiao do espaco onde os operadores estao definidos. A discretizaca o desta u ltima, implica
que as condico es iniciais e de contorno devem tambem ser contempladas. De uma maneira
geral, dizemos que um problema bem condicionado, segundo os criterios de Hadamard,
Hadamard (1923), e consistente quando:
1. Dada H=KN.dNMN uma funca o arbitraria que satisfaca os criterios de Hadamard num
domnio XLD uL onde cada parcela responde, respectivamente, pelos pontos interiores e sobre o contorno do domnio. Para cada ponto
L , seja
Hz
R Hz 0
L Hzh
R H 0
!L Hzh

(2.60)
3
(2.61)
e para cada ponto

dL seja:
H
Entao o problema em diferencas e consistente, ou compatvel, com o problema diferencial se:

pH
quando: -!=
H
N,-/.
N,-

N
H

N
(2.62)
N , de alguma maneira. Chamam-se pH e
erros de truncamento.
Observaco es
1. Se as funco es envolvidas no problema estudado, no nosso caso Eq. (2.11) juntamente
com as condico es de contorno, Eqs. (2.47) e (2.49), forem suaves, dizemos que o
23
problema e bem condicionado se sua soluca o satisfaz as condico es de Hadamard,

conforme Hadamard (1923):
(a) E limitada;
(b) e u nica;
(c) depende continuamente das funco es envolvidas. Assim e que pequenas variaco es
destas sao acompanhadas de pequenas variac o es na soluca o.
2. Ha um exemplo classico constante, por exemplo, em Richtmyer and Morton (1967),
onde a consistencia mostra-se condica o necessaria, mas nao suficiente, para que a
soluca o em diferencas finitas convirja para a soluca o exata da equaca o diferencial,
mesmo quando os parametros da malha sao sucessivamente reduzidos.
2.5.3 Estabilidade
O u ltimo conceito importante, quando do estudo de soluco es discretas, e aquele vinculado
ao comportamento dos erros produzidos. Por isso mesmo, e denominado estabilidade.
No caso especfico do Metodo das Diferencas Finitas aplicado a` equaco es hiperbolicas,
interessa-nos a propagaca o do erro cometido em etapas preteritas. Se os calculos pudessem
ser levados a cabo com precisao infinita, a soluca o exata da equaca o em diferencas,
seria passvel de ser encontrada. Na pratica, contudo, temos o round off errorproduzido
pela finitude do numero de algarismos utilizados. Assim e que a soluca o aproximada, ou

, difere da exata. O quanto, e como, difere e o
numerica, da equaca o em diferencas,

objeto do estudo da estabilidade.
Consideremos o erro:

(2.63)

introduzido num ponto N , num instante de tal maneira que

?
, com
Entao um esquema em diferencas fintas e dito estavel se:

P
JM

N
(2.64)
desta forma, o erro nao cresce fora de controle`a medida que progredimos no tempo.
E importante salientar que estabilidade nao se refere a` diferenca entre as soluco es das
equaco es em diferencas e as correspondentes soluco es das equaco es diferenciais. Este e o
erro na discretizaca o, , e que se relaciona a` convergencia.
24
A estimativa do erro
para a implementaca o dos algoritmos de modelagem e de
migraca o seguira a condica o de von Neumann, cuja demonstraca o de ser necessaria para
que o esquema seja estavel e encontrada na referencia, Richtmyer and Morton (1967). La
tambem se demonstra quando esta condica o e suficiente.
2.6
Aplicaca o da Condica o de von Neumann
Como podera ser inferido atraves do desenvolvimento da condica o de estabilidade pelo

criterio de von Neumann, os erros distribudos ao longo dos pontos da malha, num dado
nvel temporal, sao expandidos atraves de series de Fourier finitas. Assim, a estabilidade,
ou nao, do esquema em diferencas finitas sera determinada considerando se as componentes de Fourier da distribuica o de erro decairao ou nao quando do avanco no tempo. Uma
descrica o completa do metodo pode ser encontrada em OBrien et al. (1951). O metodo
aqui desenvolvido e uma variante daquele apresentado por Cunha (1997). Em Faria (1986),
encontramos uma versao 2D muito bem desenvolvida.
A analise sera feita tendo como tema a parte homogenea da equaca o da onda 3D em
diferencas finitas (2.87). Esta advem da observaca o do campo em pontos suficientemente
afastados das fontes. O caso 2D saira como caso particular.
Sejam entao as grandezas:
S
U&
U
U &

U&
U
U &
o

U&
U
U &
b ;-/. f
-p=
b ;- f
-!=
_
N
(2.65)
_
N
_
b ;f 3
-!=
(2.66)
(2.67)
Apos a sua substituica o na equaca o (2.87) obteremos:

0
M
J P
_
0

_
0 !

&0
D
"

U

J _ D
D
J _ D

U !

J _ D
_ D

DD !
25

P D
JMP

P D
JMP

P D
JMP
P 3
(2.68)
Como ja mencionado, faremos com que o erro inicial seja representado por intermedio de
uma serie complexa de Fourier finita, ou seja:

43 0pU
onde 2
5

# $

LM+*)
%&#('
%$+'
% ' 0
L /1)
L-,.)
(2.69)
. Facamos algumas consideraco es:
a equaca o em diferenca e linear. Como conseque ncia, ela propria sera capaz de
descrever a propagaca o do erro;
5
esta linearidade permitir-nos-a limitar a apenas um harmonico;

%&#6'
Ll+7)
%8$+'
L-,.)

' 0
L /1)
(2.70)
ja que a combinaca o linear destes tambem passa a ser objeto da aplicac a o da equaca o
discretizada.
Assim, a equaca o que descreve a propagaca o de erro sera a equaca o (2.68) com
tuindo
substi-
. Ou seja:

_
9
D\
_ b *M-!. f
&
_ b :(- f
&

_ s
_ b 0 !
f
!
&
D
2

D
D2(
0
*M-/.
0s
;:)-

&=<

0U
N
(2.71)
E conveniente, por motivos que virao a seguir, escrever a equaca o anterior na seguinte
forma:
_ 0s&?>

Onde
>
U283
D
(2.72)
e dado pela seguinte expressao:

>71UX0
_ b *M-!. f
&
_ b :)- f
&

_ b 0 !
f
&
_ b *M-/. f@<
&
_ b :(- @
f <
&

_ b f@
< 3
&
(2.73)
A soluca o de (2.72) e :

A>CB
3
26
>
_ 0U(3
(2.74)
Mas o erro deve ter um comportamento limitado a` medida em que se propaga. Isto implica que
deve, ela propria, ser representada por uma funca o limitada para que se tenha
assegurada a estabilidade. Desta forma, o argumento da raiz quadrada deve ser imaginario.
D
Assim:
DFE
U
>
0pU
U(3
>
(2.75)
Fazendo-se;
_ b *M-/. f
-!=
Hx
_ b :)- f
-!=

_ b f

N
N
N
-p=
(2.76)
as desigualdades (2.75)
serao G reescritas
como:
E
G
0pU
UX0s

0s

0 ! I
D
H
U3
I
(2.77)
Como a desigualdade da direita e sempre satisfeita, quaisquer que sejam os parametros da

malha, ater-nos-emos a` desigualdade
da esquerda. Esta sera reescrita
como:
G
G
E
D H D
D
D
!
A partir das equaco es (2.65), (2.66) e (2.67) e da observaca o que:

verificando para
JLKNM
(2.78)

, o mesmo se
e , chegaremos ao seguinte conjunto deE desigualdades:

_
b ;-!= f
-/.
b ;-!= f
-
b ;-!= f
-/.
_
..
.E
b ;-!= f
-/.
b ;-!= f

-
b ;-!= f
-
_
DE
b ;-!= f

N
(2.79)

N
..
.E

Para que o esquema em diferencas finitas (2.68) seja estavel, e necessario que a escolha
dos parametros -/.dN-MN-
seja tal que todas as desigualdades acima se cumpram. No
entanto, se a primeira - a mais restritiva - for satisfeita, todas as demais o serao.

27

2.6.1 Condica o de Estabilidade para Malha Cubica
No caso de a malha ser cubica;

-/.
-
e a primeira condica o nos fornecera:

-
;-!=
RN
(2.80)
&
(2.81)
2.6.2 Condico es de Estabilidade para Discretizaca o Bidimensional

Para malhas 2D, a condica o de estabilidade mais restritiva
sera:
E
_
b ;-!= f
-/.
b ;-!= f

D
(2.82)
Se a malha for quadrada:

-/.
o que acarreta que:
RN
EPO
;-!=
(2.83)
(2.84)
Observaca o
1. O criterio de estabilidade de von Neumann e o mais utilizado na Geofsica. A bibliografia, na verdade, expande a outros ramos da Ciencia e da Tecnica a aplicabilidade
do metodo. No entanto e importante ressalvar que as condico es necessaria e suficiente
para que o processo como um todo seja estavel ficam restritas a aqueles casos onde a
linearidade dos problemas de valores iniciais e a constancia dos coeficientes estejam
garantidas. Em problemas tpicos que envolvam coeficientes variaveis e condico es
de contorno nao lineares, o criterio de von Neumann deve ser aplicado apenas localmente, ja que, nesses casos, suas premissas basicas sao, aproximadamente, respeitadas.
2. E importante observar que as equaco es (2.81) e (2.84) estao em concordancia com
a condica o CFL, conforme pode ser visto no Apendice A. Esta se mostra como o
limite superior quando da determinac a o dos parametros da malha.
28
2.7
O Teorema da Equivalencia de Lax
Vamos abordar um Teorema de suma importancia quando do estudo da discretizac a o de

uma equaca o diferencial pelo Metodo das Diferencas Finitas. Ja o mencionamos em algumas ocasioes. Sua demonstraca o pode ser encontrada no artigo original, Lax and Richtmyer (1956), ou na referencia, Richtmyer and Morton (1967). Em u ltima analise, este
teorema nos mostra que existe uma conecc a o entre a consistencia de um esquema estavel
em diferencas finitas, e a convergencia da sua soluca o em relaca o a` equaca o em derivadas
parciais que e aproximada.
O Teorema de Lax expoe que, se uma aproximaca o em diferencas finitas de um problema de valores iniciais e consistente, entao a estabilidade e uma condica o necessaria e
suficiente para a convergencia. No entanto, ha de se reparar duas restrico es a` aplicaca o
deste Teorema:
1. o problema deve ser bem condicionado, como colocado por Hadamard (1923) e ja
por nos referenciado;
2. so se aplica a problemas lineares. Desta forma, o erro satisfaz a` forma homogenea da
equaca o em diferencas.
Este Teorema se mostra de grande interesse pratico, pois que e muito mais simples
demonstrar que uma equaca o em diferencas finitas e consistente com a equaca o diferencial parcial e que o esquema e estavel, do que a verificaca o da convergencia das soluco es:
aproximada e exata que, na imensa maioria dos casos, nao conhecemos.
2.8
Dispersao Numerica. Velocidades de fase e de grupo
Como demonstrado no Apendice C, em meios nao dispersivos, que e o meio por hora estudado, as velocidades de fase e de grupo sao identicas. O objeto do estudo da Dispersao
Numerica reside no fato de, ao discretizarmos o nosso problema por meio de operadores
em diferencas finitas, as velocidades passam a ser funca o: do espacamento dos pontos da
malha, da freque ncia do sinal e do a ngulo de propagaca o. E o que demonstraremos a seguir
para o caso 3D. A particularizac a o para o 2D sera uma simples conseque ncia.
Pelos motivos explicados nos Apendices B e C, buscaremos soluco es para a equaca o
da onda segundo ondas planas monocromaticas que, apos serem discretizadas, tomarao a
29
forma:

W

%RQ S
'
UT
Ll+KJ L-,AJ L-/+)WV 3
(2.85)
Como antes, equaca o (2.43) , definiremos agora, para o caso 3D, os seguintes coeficientes:

b ; p
- = f
-!.
b ; p
- = f
-

b ; p
- = f

-
_
N
_
_
(2.86)
3
Finalmente, e natural a generalizaca o do operador espacial em diferencas, (2.36) ou (2.37)

na coordenada . Os domnios discreto e contnuo estarao relacionados pela seguinte
transformaca o:
1U &
N
1U &
N
1U &
N
1U &
.k-/.dN
-
=
NN
N
N
4-!=KN
NN
NNK
NNX, +
Assim a equaca o da onda discreta envolvendo as tres coordenadas espaciais e a temporal:

U
JMP 70

U&r _
D

o
W
D
&
0

D
0U

J _
P
0U
J _

0U
J _

_
0
Dh; -!=

D
_ D
_ D
JMP D

A
W
M
J P D
JMP D
P D

N
W

D
P D
( W

(2.87)
representa o campo futuro em relaca o aos campos presente e passado, no caso 3D.
Neste contexto tridimensional, a substituica o da equaca o (2.85) nesta u ltima e sub
sequente divisao por nos dara, apos alguma a lgebra:
Y

[ZN-/.uNA- N-
&
-!=

U&
9 U
U&
o
9tU
U&
D
30
_ b]\ +$-/. f<0

&
_ b \ ,-/. f<0
&
_ b^\ /K-/. f
&
_
_
<
\ +$-/.
<
\ +$-
<
\ +)-
(2.88)
Como -/. , - e -
sao parametros previamente fornecidos, a freque ncia angular e funca o
apenas do vetor numero de onda

Y
Se \ e
+ N \ ,N
onda Z e
3
[Z
Y
(2.89)

representam, respectivamente, as componentes .dNMN
\ /
do vetor n u mero de
entao:
\
d
Za`cb
g
Za`fb
\ ,
\ /
K
\
i
Za`hb
[ZXNFd e
[ZNFg e
(2.90)
[ZXNNi e N
e a versao discreta da equaca o da dispersao e :

Y

[Z
&
-p=

U&
_ bj\
U
9
9 U
U&
D
o
9tU
U&
D
[ZNFd e -/. f<0

&
_ b \
[ZNFg e
&
- f0
[ZXNNi e K &
_ b]\
_
_
\
\
\
K
K
<
;ZNFd e -/.
<
[ZNFg e -
<
[ZN=i e -
(2.91)
Se batizarmos cada uma das parcelas entre chaves por E \ 1N k \ .N lp \ , respectivamente,
esta equaca o torna-se:
Y

;Z
&
-!=
Pnm
E \
_ q 3
U
Dok \ p
D lp \
(2.92)
Como demonstrado nas equaco es (C.4) e (C.15), constantes no Apendice C, as velocidades de fase e de grupo sao dadas por:
; #*r
;.s

F
\
Y
T Y\
\ 3
T
\
(2.93)
A relaca o de dispersao permite-nos antever a asserca o feita no incio desta seca o: a dependencia entre as velocidades, os parametros da malha, a freque ncia do sinal e o a ngulo
de propagaca o.
31
2.8.1 Velocidade de Fase

Em relaca o a` primeira das equaco es anteriores, a velocidade de fase e dada por:
&

; *# r \
\
_
f 0
;ZNFd e /
- .
\
[ZXNFd e
K &
K
g
_
_
\

b
9 U
;ZNFe - f0
U &
D
\
[ZNUg e
&
K

o
i
_ ]
_
b \
f0
9 U
[ZNNe U&
D
\
;ZNNi e
K &

-!=

U&
_ b \
-!. <
- <
<
-
(2.94)
ou:

; 7# r \
\
&
-!=
Pfm
_ q 3
F
Dok \ t
D lp \
E \
(2.95)
2.8.2 Velocidade de Grupo

Para a deduca o da expressao relativa a` velocidade de grupo numerica, utilizaremos a equaca o
(C.17) que relaciona as velocidades de fase e de grupo:
;us
X
T
; #7r D
\
; #7r 3
(2.96)
Assim sendo, a velocidade de grupo sera dada pela seguinte expressao:

;us
X
U
-!=
\ v
D k \ p
D l \
w
N
o
Dvk \ Dplp \
E \
E \
D k \ p
D l \
UX0
(2.97)
onde, como antes, E \ 1N k \ .N lp \ respondem por:

f 0
;ZN d e /
- .
K &
_ b]\
x 9tU
[ZNFg e - f 0

U &
k \
K &
o

_ b]\
f 0

9tU
; Zy
N ie
U&
l \
p
K &
S
U&
E \
_ b \
\
\
\

K
K
<
;ZXN d e -!.
<
[ZNFg e -
< 3
[ZNNi e -
(2.98)
Consequentemente, teremos para suas derivadas em relac a o a` \ :

S
U & /
\
- .
[ZXN d e
\ /
- .

K
x
g

U&
kp \
-
[ZXNUe
\ -

K

o

i

U& l \
; ZNye
\ K

32
0
;ZN d e
;ZNUg e
0
[ZXNNi e
&
-/.
\
&
\
-
&
\
K
K

[ZN d e
;ZNFg e
3
[ZXNyi e
(2.99)
Captulo 3
Migraca o RTM Uma Abordagem
Multifocal
3.1
Introduca o
A migraca o pre-empilhamento 3-D em profundidade e um dos mais importantes desafios

para a industria do petroleo. Consideraveis esforcos foram consumidos na implementac a o
deste tipo de migraca o, sendo a maioria, entretanto, baseada na soluca o integral de Kirchhoff. A determinaca o dos tempos de transito, associada aos refletores em subsuperfcie,
e feita pela equaca o da eikonal ou pelo Princpio de Fermat, que se fundamentam na
aproximaca o de altas freque ncias, caracterstica esta pertinente a` teoria do raio, ou seja,
ssmica geometrica. Em alguns casos a funca o de Green, obtida a partir da equaca o da
onda, e valida somente para meios homogeneos e as reflexoes secundarias nao sao contempladas pelo metodo. A soma dessas aproximaco es pode gerar resultados incorretos.
As u ltimas decadas vivenciaram significantes desenvolvimentos na a rea do imageamento ssmico. Um deles e o algoritmo introduzido por Claerbout, conforme Claerbout
and Johnson (1971) e Claerbout and Doherty (1972). Este e baseado em uma versao aproximada da equaca o one-way acustica da onda fornecendo bons resultados, tanto melhores
quanto menor que 15 graus for o mergulho dos refletores. Uma modificac a o deste algoritmo, Claerbout (1985), Larner and Beasley (1987), elevou este mergulho para 45 graus.
Stolt, Stolt (1978), introduziu um algoritmo, baseado na equac a o one-way da onda no
domnio na freque ncia, o qual fornece bons resultados para meios homogeneos. Gasdag
(1978), introduziu um algoritmo similar para meios horizontalmente estratificados. Um
33
algoritmo 2-D, baseado na equaca o acustica da onda discretizada por diferencas finitas, desenvolvido por McMechan (1983), gera seco es em profundidade. Um algoritmo similar,
no domnio da freque ncia, foi introduzido por Loewenthal e Mufti, Loewenthal and Mufti
(1983). Whitmore (1983) abordou o mesmo algoritmo e obteve resultados semelhantes aos
de McMechan. Este metodo e comumente denominado migraca o reversa no tempo e envolve a continuaca o descendente do campo de onda usando as estac o es de geofones como
fontes pontuais, de banda de frequ e ncia limitada, posicionadas nas suas respectivas coordenadas. Nesta tese, fundamentaremos nosso tratamento na migrac a o reversa no tempo
baseada na soluca o da equaca o acustica da onda pelo metodo das diferencas finitas em 2-D.
Como veremos a seguir, o alogritmo RTM pre-empilhamento presupoe a existencia de
sismogramas que serao injetados, na ordem reversa do tempo, de forma que as condic o es
de contorno mudem na superfcie. Nesta, o que antes eram os receptores tornam-se, agora,
fontes pontuais. Desta forma, faz-se mister, em se tratando de modelagem numerica, a
simulaca o de uma seca o ssmica em torno de um modelo. A escolha recaiu sobre o modelo
da SEG/EAGE, Aminzadeh et al. (1997), que sera tratado numa etapa subsequente.
3.2
Migraca o 2D/3D pre-empilhamento simultanea de grupos de tiros e receptores
A Migraca o Reversa no Tempo RTM 2D/3D, comumente utilizada na ind u stria, e efetuada no domnio do tiro ou do receptor comum, como demonstra ser possvel o Teorema da Reciprocidade de Green. A principal motivac a o deste metodo e o emprego da
equaca o diferencial completa que rege a propagaca o do campo de tensoes onde, de forma
implcita, estao presentes, a nao ser pelo problema contornavel da dispersao numerica, as
funco es de Green pontuais exatas centradas nas estaco es de FonteReceptor conforme a
conveniencia na aplicaca o em voga. A experiencia com dados reais indica que tais resultados sao frequentemente superiores aos obtidos por outros metodos tendo entretanto, como
principal desvantagem, o elevado custo computacional, proporcional, claro esta, ao numero
de tirosreceptores. O processamento em paralelo, e em particular o uso de Clustersde
micro computadores tendo o LINUX como sistema operacional, favorece a utilizac a o do
metodo RTM convencional. No entanto, o custo operacional sera, ainda, um fator impactante.
34
O objetivo desta tese e desenvolver uma abordagem multifocal, em oposica o a` convencional, da migraca o reversa no tempo. Como corolario do agrupamento dos tiros
receptores, estarao presentes, ainda que de forma implcita, as funco es de Green denominadas, a partir de agora, multifocais.
Descreveremos, ainda, os princpios basicos sobre os quais se baseiam esta versao que
podera reduzir, substancialmente, o tempo de processamento, com alguma perda de qualidade como sera visto, mas com grande potencial para otimizac a o do processo de imageamento como um todo. As ideias aqui expostas podem ser aplicadas para qualquer metodo de
migraca o pre-empilhamento, em profundidade ou tempo, sendo entretanto particularmente
eficientes para o RTM.
Podemos reduzir a filosofia por detras da migraca o RTM nas seguintes duas asserco es:
1. Depropagaca o do campo de ondas ssmicas registrado em superfcie no sentido inverso do tempo;
2. Recuperaca o do campo, como originalmente era, no exato instante ap o s o espalhamento em subsuperfcie ou seja: condica o de imagem.
Como a aquisica o ssmica e realizada por meio de tiros de fontes pontuais (canho es de ar,
dinamite etc...), torna-se uma etapa indispensavel a construca o da funca o de Green centrada
nas estaco es de tiros e receptores, baseada no modelo de velocidades, para correc a o das
amplitudes e determinaca o dos tempos de transito entre as estaco es em superfcie e o ponto
espalhador em subsuperfcie.
Os resultados em anexo demonstram que a sequ e ncia:
1. Aquisica o ssmica por iluminaca o do interior da terra com uso de fontes ssmicas
pontuais;
2. Geraca o da imagem de cada fonte por migraca o pre-empilhamento;
3. Empilhamento das imagens individuais,
e aproximadamente equivalente (igual sem rudo) a:
1. Empilhamento dos sismogramas correspondentes a grupos de fontes adjacentes;
2. Migraca o destes grupos de fontes com o uso da funca o de Green apropriada;
35
3. Empilhamento das imagens correspondentes a estes grupos.

O princpio da superposica o dos campos no limite de deformaco es elasticas garante a
validade deste procedimento.
O imageamento por migraca o pre-empilhamento se baseia no empilhamento dos campos de imagens geradas pela migraca o individual dos sismogramas correspondentes a cada
fonte pontual. A migraca o Kirchhoff no domnio do tiro comum, por exemplo, se baseia neste princpio e demanda o uso de funco es de Green analticas, quando aplicada a`
aproximaca o para meios homogeneos. Entretanto, esta e , em geral, uma aproximaca o pobre para meios de media complexidade geologica. A soluca o e o emprego do tracado de
raios para simulaca o da funca o de Green para meios nao homogeneos sendo este, em geral,
um processo muito rapido, quando comparado a outras alternativas tais como diferencas
finitas, mas pode demandar um custo elevado de processamento para o caso freq u ente de
um numero muito grande de estaco es de tiro e receptores.
3.3
Fundamentos do Metodo RTM Convencional
3.3.1 Modelagem
A escolha do modelo de velocidades foi pensada de forma a termos um conjunto de dados
facilmente encontrado na literatura onde nele encontrassemos parte das dificuldades inerentes ao imageamento ssmico em subsuperfcie. Assim e que, para a confecca o numerica de
uma seca o ssmica pelo metodo das diferencas finitas, extramos uma diagonal do modelo
tridimensional SEG/EAGE, conforme Aminzadeh et al. (1997), formando assim a sec a o
geologica 2D em profundidade onde o atributo e representado pela velocidade. Se acreditarmos que esta carrega consigo informaco es petrofsicas pertinentes, este procedimento
nos dara uma boa aproximaca o da estrutura geologica dos subestratos imageados.
O modelo de velocidades esta representado na figura 4.3 enquanto que, na figura 4.4,
encontramos o resultado da suavizaca o deste campo apos utilizaca o de um filtro Gaussiano.
36
3.3.2 Forma Convencional da Equaca o da Onda

Quando do processo de Modelagem Convencional, o problema de valores de contorno a ser
discretizado e aquele ja tratado no Captulo 2, ou seja:
n _
n
.
n _
H 0
n _
_ D
U n _
0
H 702
.
_ n _
;
=
0s
= N
(3.1)
sujeito a` s condico es de contorno (2.47) e (2.49).

Aqui o subndice s responde por fonte. Assim e que, o membro direito da equaca o acima
posiciona, de maneira unvoca, a posica o da fonte no espaco considerado.
A discretizaca o desta equaca o, segundo operadores de
ordem no espaco e
&
ordem
no tempo, e dada pela formula (2.46).
3.3.3 Fonte
A fonte ssmica sintetica empregada neste projeto segue a formulaca o descrita na dissertaca o
de mestrado Cunha (1997). Estabelecendo a derivada
da Gaussiana como fonte ssmica:
_
'
U0s& _ Z
)
{z[|

=
N

=
e fazendo =
&
(3.2)
% -p= , teremos sua versao discreta:

% -p=
_ Z
UX0s& %

-!=
'
6z|

L )_
N
(3.3)
cuja Transformada de Fourier e :

&M_

~
`
_
_
~} |u
}
(3.4)
A freque ncia de corte sera:

' 3 3
(3.5)
Nesta freque ncia, a amplitude doD espectro D sera:

r

8398U&(6( W3
(3.6)
O perodo do pulso no domnio do tempo sera:

X
3

N
(3.7)
o numero de amostras da versao discreta sera:
3

N
- =
!
37
(3.8)
a amplitude do pulso para a u ltima amostra sera:

' 702839&(6(6O3
X

(3.9)
Desta maneira, a amplitude do espectro da fonte na frequ e ncia de corte e do pulso no

domnio do tempo para a primeira e u ltima amostras serao controladas pelas equaco es (3.6)
e (3.9). Isto nao permitira truncamento abrupto do pulso em ambos os domnios, evitando
problemas como dispersao numerica durante a propagaca o do campo.
As figuras 4.1 e 4.2 mostram a funca o fonte no domnio do tempo e freque ncia para uma
freque ncia de corte,
$

, igual a
3.3.4 Migraca o
Se nos apoiarmos no princpio da reversibilidade temporal (invariancia do operador de
0
propagaca o de onda pela transformaca o de variaveis: =
= ) e no princpio de Huy-
gens, verificamos que a equaca o (3.1) pode ser empregada, tanto para a modelagem direta,
quanto para a migraca o. Quando da migraca o o campo gravado nas estaco es de receptores
sera reinjetado nas mesmas, na ordem inversa no tempo, as quais assumirao, desta feita, a
funca o de fontes pontuais, sendo representadas pela sequ e ncia de deltas no lado direito da
equaca o (3.10):
n _
U

; ^.uN N
_
n _
^.dNMN
n _
.
.dNMN
n _
=
Nt=
Nt=
n _
D
^.uN N
n _

-
?
P
Nt=
D
n _
.dNMN
n _
0
^.skkNNskkN s tN= ^.
N= 0
0
.s
Ns
O0s s N
(3.10)
= e o sismograma correspondente a` fonte individual localizada na estaca o de

. N N
; s
.hstNNstN sk sao as estaco es de receptores usadas
coordenada
na aquisica o ssmica (ou modelagem),

.dN MN Nt= e o campo de pressoes da estaca o de

tiro durante a depropagaca o e s e o numero total de estaco es de receptores. Desta

onde,
maneira o campo se comportara exatamente como uma propagaca o no sentido oposto ao

da modelagem. Para tal e imperativo interromper o processo de propagaca o reversa no
instante exato do espalhamento do campo durante a aquisic a o (ou modelagem) num tempo
caracterstico para cada ponto do modelo geolo gico. Esta condica o e denominada condica o
de imagem. A associaca o destes dois processos denomina-se migraca o.
38
3.3.5 Condica o de imagem para fontes pontuais

.dNMN e o tempo necessario para o campo de ondas percorrer

o caminho que liga a fonte pontual " , de coordenada , a cada ponto da malha ^.uN N .

A condica o de imagem
O metodo das diferencas finitas mostra-se especialmente adequado para a construc a o da

condica o de imagem e correca o de amplitude de campo maximo. O metodo seguira o
esquema descrito nas linhas de co digo constantes na pagina seguinte. Esta etapa do co digo
e capaz de detectar o tempo gasto pelo campo de maxima amplitude para percorrer
o caminho entre a fonte e o ponto espalhador alem de determinar a correca o de amplitude, !
+e , para cada ponto da malha em profundidade. Porem a necessaria
injeca o do sismograma deve ser feita na ordem reversa do tempo, iniciando pela u ltima
X + - at
e a primeira. Assim
amostra - correspondente ao tempo maximo de registro M
a condica o de imagem do ponto de tiro " para congelamento do campo devera ser

*s
, vide figura 3.1, o que corresponde, exatamente, ao tempo necessario
para o campo percorrer o caminho que liga a estaca o de geofone , de coordenada s , ao

X,
ponto espalhador em subsuperfcie.

*
=
eH
Nt=
Nt=
Nt=
+e
Nt=
+e Nt=
Z %
+e

Z % T
Z
T
T
G % = '
=
!
39
s
= n

R0UN

Figura 3.1: Condica o de imagem para fonte pontual
Fundamentos da migraca o RTM simultanea de grupos
3.4
de estaco es de tiros receptores

3.4.1 Migraca o
Para o operador de migraca o sera empregada a equaca o acustica modificada da onda, onde

no lado direito constarao as coordenadas da seque ncia de estaco es de receptores .stNNstN s ,
n _
U
0

; .dNMN
_
onde:
n _
^.dNMN
n _
.
^.dNMN
n _
=
Nt=
n _
D
Nt=
^.uN1MN
n _
Nt=
-
P
0
= ^.
n _
^.uN N
n _
0
.s
Ns
Nt= 0
0 s N
(3.11)
= e o sismograma para grupos de fontes/receptores, .dNMN N= e o campo de
pressoes e s , o numero de estaco es de receptores de toda a linha ssmica.
3.4.2 Condica o de imagem

Para construca o da condica o de imagem de campo maximo sera empregada a equaca o
acustica modificada da onda onde no lado direito constarao as coordenadas da seque ncia
40
de estaco es de tiro ^. tN tN
n _
n _
U
e =. tN tN
^.dNMN
n _
.
^.uN1MN
n _
=

_
; .dNMN
,

Nt=
Nt=
n _
D
^.uN1MN
n _
n _
Nt=
D
=
^.uN N
n _
0
=^. k N N ^.
Nt= 0
0
.
0s

N
(3.12)
sao as defasagens temporais da assinatura da fonte. Estas defasagens tem-
porais estao relacionadas com a direca o de propagaca o do campo no exato momento de sua
emissao em superfcie pela equaca o seguinte, vide fig 3.2,
- =
!
-/.
K
;
Z
*
e+

Y
Z
e+
/+
N
compoem a funca o de Green

A condica o de imagem e da correca o de amplitude e
-/.
frente de onda

*
;-!=
Figura 3.2: Condica o de imagem para grupos de fontes
de banda limitada no domnio do tempo, a qual, para meios homogeneos e fonte pontual
sera:
0

Nt=
=
=
[/N;

=
=
D 0
D

0
Simplesmente a funca o de Green e funca o da distancia entre fonte e receptor,
(3.13)D
0
P
e do campo de velocidades ; . A correca o de amplitude admite uma expressao simples,

6
e a condica o de imagem, ou seja, o tempo decorrido pelo campo de press o es para percorrer
41

o caminho
reto entre a fonte e receptor tambem admite uma expressao simples, N N;

. Porem, no caso mais geral onde o meio e nao homogeneo e nao dispersivo, isto nao
sera mais valido. Neste caso a equaca o valida e :

N N =
! N N ;)
=
=
N N ;(e
(3.14)
onde e a coordenada do ponto a ser migrado, , a coordenada da fonte pontual, a
condica o de imagem,
a correca o de amplitude e ;) o campo de velocidades nao ho-
mogeneo. A funca o de Green correspondente para grupos de fontes pontuais sera:
N t Nt=

! N N;
P
=
= L
=
N t N;
(3.15)
onde, desta feita, e a condica o de imagem para grupos de fontes pontuais, = o deslocamento temporal para cada fonte pertencente ao grupo e
o nu mero total de fontes pontuais
do grupo.
3.4.3 Condica o de imagem de campo maximo

O metodo das diferencas finitas e especialmente adequado para a construca o da condica o de
imagem e correca o de amplitude de campo maximo, para a migraca o simultanea de grupos
de fontes pontuais, por nao necessitar nenhuma alteraca o no algoritmo de modelagem para
sua execuca o. O metodo seguira o mesmo esquema convencional, como descrito nas linhas
de codigo da figura 3.1, sem alterac a o alguma, e sera capaz de detectar o tempo gasto
pelo campo de maxima amplitude para percorrer o caminho entre o grupo de fontes e o

ponto espalhador alem de determinar a correca o exata de amplitude, !
+e ,
para cada ponto da malha, , em profundidade vide figura 3.3 seguinte.
3.4.4 Migraca o de grupos de sismogramas

O algoritmo de migraca o Reverse Time Migration, RTM, emprega exatamente o mesmo
operador diferencial da modelagem direta. A validade deste procedimento e garantida,
conforme vimos no Captulo 2 desta tese, pelo princpio da reversibilidade temporal e o
princpio da reciprocidade para a funca o de Green. Tambem como no caso da modelagem
direta o procedimento para extrair o campo migrado nao exige modificaca o do codigo, a
42
= n

+^
CR0Uy
@
Figura 3.3: Condica o de imagem multifocal
nao ser pelo empilhamento do grupo de sismogramas tiro/receptor comum. O algoritmo a
seguir, descreve o metodo de extraca o do campo migrado s(e para cada ponto da malha
em profundidade.
=

A *
eH
Nt=
Y
N=

=
=
Z %
s(
Z % T
Z % T
T
= E Nt=

43
N= # ! Nt=
3.4.5 Parametros da Modelagem/Migraca o 2D

As tabelas seguintes representam os parametros da malha de modelagem e migrac a o calculados para obedecer aos criterios de dispers
ao numerica:
E
(3.16)
e estabilidade para malha quadrada bidimensional:

EO

;-!=
(3.17)
Tabela 3.1: Modelo SEG/EAGE: Parametros
Tabela 3.2:
de modelagem e migraca o
dades.
Item
Valor
&(
T
=
= +
T
.
T
% +
h +
+
Cz+
C/
835(&6( "
835 "
&(
&(
U&(
)
&4U
U(6
6&&6
44
Modelo SEG/EAGE: veloci-
Velocidades
#("$
mnima
1500
maxima
4482
Captulo 4
Resultados
4.1
Descrica o e Analise
Segue uma analise dos resultados, figura a figura. Em cada uma delas faremos, sempre que
necessario, uma descrica o mais detalhada do metodo e processo Geofsico envolvidos.
1. A figura 4.3 representa a diagonal do modelo 3-D SEG/EAGE, Aminzadeh et al.
(1997), e corresponde ao campo de velocidades usado durante o processo de modelagem, cujo resultado foi a geraca o dos sismogramas sinteticos. A figura 4.4 representa
o modelo SEG/EAGE suavizado com filtro Gaussiano de 20 pontos para emprego
durante a migraca o.
2. A figura 4.5 mostra os snapshots durante a modelagem do ponto de tiro localizado
na estaca o 100. Observe que a partir do instante =
U3 &(6 "

, a frente de onda atinge
o flanco do domo de sal. Como indicado pela legenda do modelo de velocidades

empregado, ha uma forte variaca o desta. Assim, quando da incidencia da onda no
flanco, ocorre a partica o da energia implicando que a quantidade transmitida propaga
a uma velocidade superior distorcendo, desta maneira, a frente de onda.
3. A figura 4.6 mostra os snapshots durante a migrac a o do sismograma correspondente
ao ponto de tiro localizado na estaca o 100.
4. A figura 4.7 mostra os snapshots durante a modelagem do ponto de tiro localizado na
estaca o 300. Como observado por ocasiao da analise da modelagem do PT 100, ha
uma deformaca o da frente de onda quando esta incide sobre o flanco do domo. Como
45
a distancia a ser percorrida entre o instante inicial da pertubac a o e a interaca o com o

domo e menor, a partica o da energia e observada desde, aproximadamente, =
8356( "
.
5. A figura 4.8 mostra os snapshots durante a migrac a o do sismograma correspondente

ao ponto de tiro localizado na estaca o 300.
6. As figuras 4.9 e 4.10 mostram os os sismogramas mutados correspondentes a` estaca o
de tiro numero 100. Assim e que, a primeira delas, indica um sismograma livre
de rudos enquanto que, na segunda, houve severa adica o deles, na razao sinal
rudo, "$#% , igual a 20. Nesta etapa, utilizou-se a funca o: suaddnoise do Seismic
Unix SU, Cohen and Stockwell (1997). Este procedimento foi aplicado a todos os
616 sismogramas. E o que pode ser observado nas figuras 4.11 e 4.12, onde, como
indicado na legenda, o sismograma em tela e aquele posicionado na estaca o 300.
7. As figuras 4.13 e 4.14 representam a matriz com tempo relativo a` condica o de imagem, . , e a amplitude, !. , respectivamente, para cada ponto da malha em
relaca o ao ponto de tiro situado na estaca o 100. Podemos interpretar, de maneira
analoga, as figuras 4.15 e 4.16 quando do estudo da condic a o de imagem relativa ao
PT 300.
8. As figuras: 4.17, 4.19, 4.18 e 4.20 referem-se a` migraca o, sem e com adica o de rudo,
dos pontos de tiro 100 e 300 respectivamente.
9. A figura 4.21 mostra o campo resultante do empilhamento da migrac a o RTM individual de cada um dos 616 sismogramas, sem adic a o de rudo.
10. A figura 4.29 mostra o campo resultante do empilhamento da migrac a o RTM individual de cada um dos 616 sismogramas com rudo Gaussiano.
11. As figuras 4.9 e 4.10 mostram os sismogramas correspondentes a` estaca o de tiro
numero 100. Elas mostram que os testes foram realizados com o emprego de se1&(
, pelo emprego da funca o:
vera adica o de rudo aos sismogramas na razao, "$#%
suaddnoise do Seismic Unix SU, Cohen and Stockwell (1997).

12. As figuras 4.23 e 4.24 mostram o sismograma e o campo migrado para: * +-/.
02435&6(
46
13. As figuras 4.25 e 4.26 mostram o sismograma e o campo migrado para: *+-/.
435(
435&6(
435&6(
16. A figura 4.29 mostra o campo resultante do empilhamento das 616 estac o es de tiro
enquanto que a figura 4.30, o campo resultante do empilhamento das 3 migrac o es
multifocais.
47

=
UX0s& _ Z

=
1
'
{z|
_
)
0.8
0.6
0.4
0.2
-0.1
-0.05
0.05
0.1
= "$
-0.2
-0.4
Figura 4.1: Funca o-fonte,

=
~
$

_ _ Z
_z
z*|
0.04
L} |
}
0.03
0.02
0.01
15
10
20
25
30

Figura 4.2: Espectro de freque ncia da funca o-fonte,
48
h '
Figura 4.3: Modelo de velocidades: SEG/EAGE
Figura 4.4: Modelo de velocidades suavizado: Filtro gaussiano: 20x20 pontos.
49
snapshot: =
snapshot: =
snapshot: =
snapshot: =
835&6
83(6
1U35&6
1U3(6
snapshot: =
snapshot: =
snapshot: =
snapshot: =
Figura 4.5: Snapshots, modelagem direta: PT 100
50
83 6)
1U39
1U3 6)
'&439
snapshot: =
snapshot: =
snapshot: =
snapshot: =
835&6
83(6
1U35&6
1U3(6
snapshot: =
snapshot: =
snapshot: =
snapshot: =
Figura 4.6: Snapshots, migraca o: PT 100
51
83 6)
1U39
1U3 6)
'&439
snapshot: =
snapshot: =
snapshot: =
snapshot: =
835&6
83(6
1U35&6
1U3(6
snapshot: =
snapshot: =
snapshot: =
snapshot: =
Figura 4.7: Snapshots, modelagem direta: PT 300
52
83 6)
1U39
1U3 6)
'&439
snapshot: =
snapshot: =
snapshot: =
snapshot: =
835&6
83(6
1U35&6
1U3(6
snapshot: =
snapshot: =
snapshot: =
snapshot: =
Figura 4.8: Snapshots, migraca o: PT 300
53
83 6)
1U39
1U3 6)
'&439
Figura 4.9: Sismograma: PT 100.
Figura 4.10: Sismograma: PT 100 + rudo Gaussiano, s/n=20.
54
Figura 4.11: Sismograma: PT 300.
Figura 4.12: Sismograma: PT 300 + rudo Gaussiano, s/n=20.
55
Figura 4.13: Condica o de Imagem: Tempo de Transito, e , para o PT 100
Figura 4.14: Condica o de Imagem: Amplitude Maxima, !e , para o PT 100
56
Figura 4.15: Condica o de Imagem: Tempo de Transito, e , para o PT 300
Figura 4.16: Condica o de Imagem: Amplitude Maxima, !e , para o PT 300
57
Figura 4.17: Seca o migrada: PT 100
Figura 4.18: Seca o migrada do PT 100 com sismograma sintetico + rudo gaussiano, "$#%
&(
58
Figura 4.19: Seca o migrada: PT 300
Figura 4.20: Seca o migrada do PT 300 com sismograma sintetico + rudo gaussiano, "$#%
&(
59
Figura 4.21: Migraca o dos 616 tiros com sismograma sintetico seguida de empilhamento.
Tempo de processamento 616 x 25 s = 4.27 horas.

Figura 4.22: Migraca o dos 616 tiros, com sismograma sintetico + rudo gaussiano, "$#%
&(
, seguida de empilhamento. Tempo de processamento 616 x 25 s = 4.27 horas.
60
Figura 4.23: Sismograma: *l+-/.
702839&6)
Figura 4.24: Uma migraca o multifocal: *I+$-/.
61
102435&6(
Figura 4.25: Sismograma: *,+$-!.
839
Figura 4.26: Uma migraca o multifocal: *,+-/.
62
839(
Figura 4.27: Sismograma: *,+$-!.
839&6(
Figura 4.28: Uma migraca o multifocal: *,+-/.
63
839&(6(

Figura 4.29: Migraca o dos 616 tiros, com sismograma sintetico + rudo gaussiano, "$#%
&(
, seguida de empilhamento. Tempo de processamento 616 x 25 s = 4.27 horas.
Figura 4.30: Empilhamento das 3 seco es multifocais. Tempo de processamento 75 segundos.
64
Captulo 5
Conclusoes
A migraca o reversa no tempo advem da soluca o da equaca o da onda. O campo de ondas
registrado por observadores em uma dada superfcie e depropagado no sentido reverso do
tempo. A condica o de que, em cada ponto da malha, o campo seja representado exatamente
como o era no instante em que foi espalhado em subsuperfcie, e fundamental para o cor-reto posicionamento da estrutura difratora e, por isso mesmo, reconhecida como condic a o
de imagem. O Princpio da Reversibilidade Temporal, juntamente com o Teorema da Reciprocidade de Green e o Princpio de Huygens, garantem, fsica e matematicamente, a
existencia de soluco es analticas. Se existe uma modelagem, a migrac a o esta garantida. No
entanto, essa asserca o e muito forte quando vista a` luz da Matematica Numerica. Neste
domnio, devem ser considerados alguns aspectos que, simplesmente, nao sao necessarios
quando da analise puramente analtica. Um exemplo e dado pelo fenomeno da dispersao
numerica, seca o 2.8, onde a discretizaca o do problema de contorno, por meio de diferencas
finitas, implica que a velocidade passa a ser funca o dos parametros da malha, da freque ncia
do sinal e do a ngulo de propagaca o, mesmo quando o meio considerado e nao dispersivo.
Nao obstante, esses parametros nao podem ser escolhidos de maneira fortuita, fazendo-os,
por exemplo, tenderem a zero com a certeza de que a soluca o em diferencas torne-se mais
precisa, ou mesmo escolhendo-os arbitrariamente maiores com a esperanca que o algoritmo
convirja mais rapidamente. Todavia, isso nao ocorre, e a condica o CFL e uma prova disto.
A equivalencia (A.14):

;-!=
N
-!.
por si so, envolve os parametros da malha relacionando-os com a velocidade atraves da

inequaca o (A.13):
65
- =
!
-/.t
U
3
Essa, em u ltima analise, implica que o domnio numerico deve conter o domnio analtico,
de forma que a informaca o nao percorra uma distancia maior do que -/. num interregno
-!= . Esse e o principal legado deixado pela condica o CFL: a necessidade de algo mais do
que a simples correspondencia, meramente formal, entre os operadores diferencial e em

diferencas. Como sua verificaca o foge ao escopo da imensa maioria das teses e trabalhos,
e demonstrado, no Apendice A, sua validade para o caso hiperbo lico, pois que hiperbolicas
sao as equaco es diferenciais que regem a propagaca o. Nesse ponto, o conceito de consistencia comeca a tomar corpo. E necessario que se garanta que o problema em diferencas
seja consistente com o respectivo problema de valores de contorno misto a ser discretizado,
no sentido de que aquele seja capaz de representar este, quando os parametros da malha
tendam para zero. A principal condica o a ser imposta e que o problema original seja bem
condicionado segundo os criterios de Hadamard. Embora isso pareca trivial a` primeira
vista, sua comprovaca o pode tornar-se bastante trabalhosa. Como, de uma maneira geral,
desconhecemos a soluca o exata, o estudo da consistencia e feito num espaco funcional adequado ao problema em questao: Banach no caso de problemas de valores iniciais e Sobolev
quando do tratamento de problemas de valores de contorno do tipo misto, conforme Strang
(1960). De acordo com a norma conveniente, define-se erro de truncamento.
Garantida a consistencia do operador, surge entao a necessidade de se demonstrar a
convergencia do processo como um todo. Por convergencia, entende-se quao proxima da
soluca o exata do problema diferencial se encontra a soluca o, tambem exata, do operador
em diferencas. Da propria definica o, pode-se inferir a dificuldade de empreender tal estudo, ja que, comumente, nao se conhecem as referidas soluco es. Como entao garantir
a convergencia do algoritmo? A resposta e encontrada no Teorema de Lax, limitado, no
entanto, a problemas de valores iniciais. Sua generalizac a o para problemas de valores de
contorno do tipo misto e encontrado no trabalho, por sinal muito pouco citado, de Strang
(1960). O certo e que os Teoremas de LaxStrang acoplam convergencia com estabilidade,
esta u ltima, muito mais simples de ser demonstrada, conforme indicado, por exemplo, em
Richtmyer and Morton (1967).
Dentre os inumeros criterios de estabilidade, e as bibliografias indicam mais que uma
dezena deles, a comumente utilizada na Geofsica e a de von Neumann que, no entanto,
66
possui algumas limitaco es, ja citadas no Captulo 2. E um bom campo de pesquisa o estudo
desses criterios para o melhor dimensionamento das malhas de diferencas finitas. Ha a
possibilidade de encontrar-se condico es bem menos restritivas que aquelas impostas pelo
criterio de von Neumann, sintetizadas pelo conjunto de inequac o es (2.79), e que convirjam
muito mais rapidamente do que estas.
Quanto a` abordagem multifocal, faz-se mister enaltecer os seguintes aspectos:
1. as figuras 4.29 e 4.30 demonstram o potencial da migrac a o multifocal para reduca o
do tempo de processamento (4.27 h para 75 s). Realmente, a ferramenta torna-se de
utilidade mpar quanto da agilizaca o do processo decisorio nas a reas de exploraca o
ou explotaca o de hidrocarbonetos. A grande reduca o do tempo de processamento
confirma nossa expectativa do potencial dessa ferramenta para o imageamento de
dados ssmicos. Sugere-se, dessa forma, a utilizac a o da abordagem multifocal para a
otimizaca o da analise de velocidades atraves de um processo interativo;
2. pode-se observar certa perda de sinal em alguns refletores devido a` presenca de rudo
aleatorio;
3. o empilhamento de um numero maior de imagens multifocais pode melhorar a relac a o
sinal rudo ( "$#% ). Isto eleva tempo de processamento mas, por outro lado, permite
obter a qualidade desejada;
4. a filosofia dessa abordagem, respaldada pelo Princpio da Superposica o, pode, muito
bem, ser aplicada a outros metodos de migraca o pre empilhamento em profundidade.
Nao ha restrico es teoricas que impecam de realizar tal trabalho.
67
Referencias Bibliograficas
Achenbach, J. D., 1973, Wave Propagation in Elastic Solids: North-Holland Publishing
Company, Amsterdam, 1 edition.
Alford, R. M., R., K. K., and M., B. D., 1974, Accuracy of finite-difference modeling of
the acoustic wave equation: Geophysics, 6, 843852.
Aminzadeh, F., Brac, J., and Kuns, T., 1997, 3D salt and overthrust models: SEG / EAGE:
Society of Exploration Geophysicists.
Bechara, E., 1999, Moderna Gramatica Portuguesa: Editora Lucerna, Rio de Janeiro, 37
edition.
Bell, E. T., 1945, The Development of Mathematics: McGraw-Hill Book Company, Inc.,
New York, USA, 1 edition.
Boole, G., 1860, A Treatise on the Calculus of Finite Difference: Dover Publications, Inc.,
New York, N.Y, 1 edition.
Born, M., and Wolf, E., 1999, Principles of Optics: Cambridge University Press, Cambridge, 7 edition.
Boyer, C. B., 1974, Historia da Matematica: Editora Edgar Blucher LTDA., Sao Paulo,
Brasil, 1 edition.
Caraca, B. J., 1948, Conceitos Fundamentais da Matematica: Livraria Sa da Costa Editora,
Lisboa, 1 edition.
Claerbout, J. F., and Doherty, S. M., 1972, Downward continuation of moveout-corrected
seismograms: Geophysics, 37, 741768.
68
Claerbout, J. F., and Johnson, A. G., 1971, Extrapolation of time dependent waveforms
along their path of propagation: Geophys. J. of the Roy. Astr. Soc., 26, 285294.
Claerbout, J. F., 1985, Imaging the Earths Interior: Blackwell Scientific Publications, Oxford, 1 edition.
Cohen, J., and Stockwell, J. J. W., 1997, CWP/SU: Seismic UNIX release 30: Center of
Wave Phenomena, Colorado School of Mines, Colorado.
Courant, R., Friedrichs, K., and Lewy, H., 1928, Uber

die partiellen Differenzengleichungen der mathematischen Physik: Mathematische Annalen, 100, 3274.
Courant, R., Friedrichs, K., and Lewy, H., 1967, On the partial difference equations on
mathematical physics: IBM Journal, 11, 215234.
Cunha, P. E. M., 1997, Estrategias eficientes para migraca o reversa no tempo pre empilhamento 3-D em profundidade pelo metodo das diferencas finitas: Masters thesis, Universidade Federal da Bahia, Salvador.
Erwing, W. M., Jardetzky, W. S., and Press, F., 1957, Elastic Waves in Layered Media:
McGraw-Hill Book Company, Inc., New York, 1 edition.
Euler, L., 1913, Opera Omnia:, volume X of Series I Rudio, F. et alli, Leipzig e Lausanne.
Faria, E. L., 1986, Migraca o antes do empilhamento utilizando propagaca o reversa no
tempo: Masters thesis, Universidade Federal da Bahia, Salvador.
Feymman, R., Leighton, R. B., and Sands, M., 1964, The Feymman Lectures on Physics:,
volume II AddisonWesley Publishing Company, Inc., Massachusetts, 1 edition.
Forsythe, G. E., and Wason, W. R., 1960, Finite Difference Methods for Partial Differential
Equations: John Wiley & Sons, New York, 1 edition.
Gardner, G. H. F., Ed., 1985, Migration of Seismic Data, number 4 in Geophysics reprint
series Society of Exploration Geophysicists, Tulsa, Oklahoma, 1 edition.
Gasdag, J., 1978, Wave-equation migration with the phase shift method: Geophysics, 43,
13421351.
69
Godunov, S. K., 1978, Equaciones de la Fsica Matematica: Editorial MIR, Moscu, 1 edition.
Graff, K. F., 1975, Wave Motion in Elastic Solids: Dover Publications, Inc., New York,
N.Y, 2 edition.
Hadamard, J. G., 1923, Lectures on the Cauchy Problem in Linear Partial Differential Equation: Yale University Press, New Haven, CT, 1 edition.
Hagedoorn, J. G., 1954, A process of seismic reflection interpretation: Geophysics
Prospecting, 2, 85127.
Hawes, W. S., 1957, The SDP Dip Plotter: Shale Shaker, 8, 2022.
Jackson, J. D., 1999, Classical Eletrodynamics: John Wiley & Sons, New York, 3 edition.
Johnson, C. H., 1937, Locating and detailing fault formations by means of the GeoSonograph: Geophysics, 3, 273291.
Jordan, C., 1965, Calculus of Finite Difference: Chelsea Publishing Company, New York,
N.Y, 1 edition.
Larner, K., and Beasley, C., 1987, Cascaded migration: Improving the accuracy of finitedifference migration: Geophysics, 52, 618643.
Lax, P. D., and Richtmyer, R. D., 1956, Survey of the stability of linear finite difference
equations: Communications on Pure and Applied Mathematics, 9, 267293.
Levy, H., and Lessman, F., 1959, Finite Difference Equations: Sir Isaac Pitman and Sons,
Ltd., London, 1 edition.
Lindsey, J. P., 1970, Digital migration: Oil and Gas Journal, 38, 112115.
Loewenthal, D., and Mufti, I. R., 1983, Reverse-time migration in spatial frequency domain:
Geophysics, 48, 627635.
Love, A. E. H., 1944, A Treatise on the Mathematical Theory of Elasticity: Dover Publications, Inc., New York, N.Y, 4 edition.
McGuckin, G. M., 1957, The Mcguckin section plotter: Shale Shaker, 8, 9.
70
McMechan, G. A., 1983, Migration by extrapolation of time-dependent boundary values:

Geophysics Prospecting, 31, 413420.
Muskhelishvili, N. I., 1975, Some Basic Problems of the Mathematical Theory of Elasticity:
Noordhoff International Publishing, Leyden, 2 edition.
OBrien, G., Hyman, M., and Kaplan, S., 1951, A study of the numerical solutions of partial
differential equations: Journal of Mathematics Physics, 29, 223251.
Panofsky, W. K. H., and Phillips, M., 1962, Classical Electricity and Magnetism: Addison
Wesley Publishing Company, Inc., Massachusetts, 1 edition.
Rayleigh, J. W. S., 1945, The Theory of Sound:, volume I Dover Publications, Inc., New
York, N.Y, 2 edition.
Richardson, L. F., 1910, The approximate arithmetical solution by finite difference of physical problems involving differential equations, with an application to the stresses in a
Masonry Dam.: Philos. Trans. R. Soc. London, 210, 307357.
Richtmyer, R. D., and Morton, K. W., 1967, Difference Methods for Initial Value Problems:
Interscience, New York, 1 edition.
Rieber, F., 1936, Complex reflexions patterns and their geological sources: Geophysics, 2,
132160.
Robinson, W. B., 1957, The need for seismic dip migration: Shale Shaker, 8, 36.
Sheriff, R. E., 1991, Encyclopedic Dictionary of Exploration Geophysics: Society of Exploration Geophysicists, Tulsa, Oklahoma, 3 edition.
Smith, G. D., 1978, Numerical Solution of Partial Differential Equations: Oxford University Press, Oxford, 1 edition.
Sommerfeld, A., 1950, Mechanics of Deformable Bodies: Academic Press Inc., Publishers,
New York, N.Y, 1 edition.
Sommerfeld, A., 1954, Optics: Academic Press Inc., Publishers, New York, N.Y, 1 edition.
Stolt, R. H., 1978, Migration by fourier transform: Geophysics, 43, 2348.
71
Strang, W. G., 1960, Difference methods for mixed boundary-value problems.: Duke Math.
J., 27, 221.
Telford, W. M., Geldart, L. P., Sheriff, R. E., and Keys, D. A., 1988, Applied Geophysics:
Cambridge University Press, New York, 1 edition.
Whitmore, N. D., 1983, Iterative depth migration by backward time propagation: Iterative
depth migration by backward time propagation:, 53rd Ann. Internat. Mtg., Expanded
Abstracts, 382385.
72
Apendice A
A Condica o Courant-Friedrichs-Levy
A.1
A soluca o de DAlembert para o problema de Valores

Iniciais de Cauchy em todo o espaco
Iremos deduzir a condica o CFL para a equaca o hiperbolica. Para isso abordaremos, primeiramente, o seguinte problema de valores iniciais, ou de Cauchy;
n _
H 0
n _
=
_
n
n _
.
H
_
'
x
Hz.dN
. N

3
H .dN
.
?@.?
(A.1)
onde o domnio e todo o espaco, uma reta infinita no presente caso. Estudaremos, a
seguir, condico es de contorno mais proximas ao nosso problema, passando pelo domnio
semi-infinito e culminando no domnio limitado. Para cada problema deduziremos, a partir do conceito de caractersticas, a soluca o geral, apresentando, sempre que possvel,
uma interpretaca o geometrica para cada uma delas ate culminarmos, finalmente, com a
verificaca o da condica o CFL. Esta, juntamente com o Teorema de Lax, compo e um dos
mais belos e u teis princpios que governam a aproximaca o numerica das equaco es diferenciais quando levadas a cabo por formulac o es fortes onde o Metodo das Diferencas Finitas
e uma delas.
Apesar da importancia, tanto o criterio de Courant quanto o Teorema de Lax sao raramente citados na imensa maioria das teses e trabalhos editados nos campos da Ciencia e da
Tecnica. Sua verificaca o numerica fica restrita ao nucleo do programa em diferencas finitas
73
sendo, portanto, invisvelmesmo para aqueles que desenvolvem o co digo. Sua verificaca o
analtica foge ao escopo da imensa maioria dos livros e artigos que versam sobre Metodos
Numericos. Na verdade, a principal fonte continua sendo o trabalho original de Courant
et al., Courant et al. (1928), ou sua traduca o Courant et al. (1967). A contribuica o deste
Apendice reside no fato de procurarmos desmistificar a aplicac a o e verificaca o da condica o
CFL, quando do tratamento das equaco es diferenciais do tipo hiperbolico.
Ao abordarmos, no Captulo 2 desta tese, a soluca o de DAlembert para a equaca o da
corda vibrante, chegamos a` Eq. (2.9);

Hz.dNt=
r^.
;A= DY}~^./DE;A=
(2.9)
que representa a forma geral da soluca o. A pergunta que se segue e a seguinte: as funco es
que obedecem tal soluca o resolvem, de maneira unvoca, o problema posto? Para isso,
sejam H e duas soluco es gerais quaisquer que satisfacam o problema (A.1). Como este e

linear, a combinaca o
problema. Desta forma,
H tambem o e sendo, portanto, uma soluca o geral do referido

satisfaz as condico es iniciais; !^.uN
e .dN
que,

0
e . D} ^.
. Integrando
quando levadas a` forma geral, nos dara: r^. D}~^.

}
qualquer que seja o

V

argumento demonstrando, de forma inequvoca, que /.dNt=
contradizendo a asserca o
esta u ltima, teremos:

~^. D<}~^.
. Segue-se que
anterior. Isto completa a demonstraca o.

A soluca o geral encontrada por DAlembert nao nos mostra, de maneira explcita, as
condico es iniciais. Em 1748 Euler, Godunov (1978), expressou
obtendo a seguinte forma para a soluca o geral:

H^.uN=
U
& ^.
;A= D
./DE;A= D
U
&
+KJ
{
;
+
e}
em func a o destas

T

(A.2)
conhecida, apesar de deduzida por Euler, como a soluca o de DAlembert para o problema
de Cauchy supracitado. Realmente, se H^.dNt= e a soluca o do problema segue-se entao que:

Hz.dNt=
3
r^.dNt= DY}~^.dNt=
As coordenadas caractersticas sao dadas pelas equaco es (2.2). Assim se derivarmos a

equaca o anterior em relaca o ao tempo obteremos:
H
70
0
^.uN=
;?9 .dNt=
} .dNt= N
74
T

T o N
T
T

q
que, apos substituica o das condico es iniciais (A.1), permitir-nos-a escrever as equaco es
anteriores como:

r^. E
D }.
0
0
;g ^.
} ^.

Integrando a segunda equaca o de
^. N
3
^.
a . , obteremos o seguinte sistema de equaco es para
~^. e }~^. a saber:
~^. DY}~^.
~^. DY}~^.
.
+
{
T DE~ 0

U

}~
cuja soluca o e :

. 0
&

.
&
D
^.
~
} ^.
~
+
{
&
;
U
+
{
&
0
T
DY~
T 0

}~

3
~ Y
D }~
0
Sendo . um argumento generico, podemos substitu-lo; em ~. por (.
;A= ) e em }~^.
por (./DE;A= ). Obteremos assim:

r^.
;A=

}./DE;A=
.
&
;>=
.rDs;>=
&
D
0

T Y
D ~
}

; +
U
+>J
{
3
T 0 ~ Y
&

D }~
;
&
Desta forma a expressao generica (2.9) transforma-se em (A.2). Como queramos demonstrar.
A soluca o em qualquer ponto ^.cNt=1 do domnio depende das condico es iniciais somente no intervalo .

;A= N. D;A= sobre a linha inicial, =
. Este e limitado pelas
caractersticas que passam pelo ponto em tela como mostra a Figura A.1. A regiao achurada
na figura e denominada domnio de dependencia do ponto .cN=1 e sua base, intervalo de
dependencia.
A.2
Domnios semi-infinitos. Reflexoes
Comecaremos o estudo das reflexo es da informaca o no contorno. O porque do substantivo

informaca o sera visto mais tarde. Para isso, seja o problema de Cauchy sujeito a` condica o
75
t
.
A; = constante
./Ds;>= constante

^. Nt =1
.0
;>=1
.-DE;A=1
Figura A.1: Domnio analtico de dependencia para o Problema de Cauchy A.1

de que o, agora, extremo .

seja fixo. Desta forma, nosso problema sera escrito como:

n _
H 0
n _
=
n _
n
.
H
_
'

N
x
H^.uN
^. N

H .dN
. N

83
'
Hz Nt=
(A.3)
Como na seca o anterior, as condico es iniciais sao satisfeitas se:

~^.
^. 0
&

}.
^ .
&
D
U
&
;
U
&
+
{
T

T 3

(A.4)
No entanto, diferentemente do caso anterior onde o domnio e infinito, o grupo de equaco es

acima e valido, somente, para valores de . superiores a zero, ou seja, as func o es arbitrarias,

e } , sao determinadas unicamente para argumentos positivos. No caso especfico de

}./DY;A= nao ha problema ja que tanto . como = sao maiores do que zero. Por outro lado,
0
~^.
;>= possui argumento positivo sse .:m;>= . Como usual na Matematica, sse responde
por se e somente se. Em ingles e usual utilizar-se de iff para expressar equivalente condica o.
Uma das feico es mais extraordinarias do metodo das caractersticas reside no fato de
que a forma se propaga com uma velocidade ; , incluindo a as informaco es nela contida.
76
Assim e que a informaca o de que existe um contorno em .
viaja a uma velocidade
finita ; . A Figura A.2 a seguir procura esclarecer o exposto.
.?m;>=
;A=
.:m;A=
Figura A.2: Caracterstica propagando a informaca o do contorno

Na regiao onde .:<;>= a onda nao sabe da existencia de um contorno. Esta informaca o
ainda nao chegou la. Assim a soluca o (A.2):

Hz.dNt=
U
& ^.
;A= D
^./DE;A= D
+>J
{
&
;

T N

.:m;>=
(A.5)
e a soluca o nestes pontos do domnio. As caractersticas teriam a forma representada na

Figura (A.3). Contudo o mesmo nao e valido se .<?;>= . Nesta regiao, a contribuica o de
}./DE;A= e aquela devida a` soluca o de DAlembert:

}./DE;A=
U
&
./DE;A= D
como determinado anteriormente. Para obter
U
&
;

+KJ
T
N
nao podemos utilizar as condico es iniciais

'
como antes. Devemos lancar mao da informaca o no contorno, ou seja, H Nt=
. Assim:

r
;A= DY}~h;A=
83
para =F:
(A.6)
Ha de se notar que , para argumentos negativos, e a extensao mpar de } para argumentos

positivos. Ou seja:
70
02
~
}~
77
para

?
43
(A.7)
t

constante
} constante

.
;A=
Figura A.3: Caractersticas na regiao .:m;>=

Portanto, a soluca o na regiao .

H^.uN=
;A=F?
e dada por:
0
70
~.
;>= DY}~^./DE;A=
} h;A=
~
U
U
0E
0
9

& ^./DE;A=
h;A=
.
D &
;
U
U
0E
0
9
& ^./DE;A=
h;A=
. D &
;
0
{
{
. DY}~^./Ds;>=

>+ J
+
T 0 {
T <

+>J
T <3

(A.8)

+
A Figura (A.4) ajudar-nos-a a interpretar o resultado obtido. Ela nos mostra que a caracterstica propagante a` esquerda, }
constante, nao e afetada pelo contorno. O mesmo,
no entanto, nao ocorre com caracterstica propagante a` direita,

como que emanando do contorno em .
0
}
02
para .
V
constante, que parece

. Devido a` s condico es de contorno, ~
, a informaca o muda nao so o sentido do movimento, como
tambem, o sinal do argumento o que implica numa inversa o de forma. A onda assim formada,
}~h;A=
. e a onda refletida no contorno. Assim e que, para .'?
;A= , a soluca o
geral do problema (A.3) e a onda refletida somada a` ainda nao refletida onda propagante a`
esquerda. Assim:

Hz^.uNt=
0
}~^./Ds;>=
78
}~h;A=
.
t

constante
constante
}
;A=
;>=

Figura A.4: Caractersticas na regiao .?m;>=
A.3
O Metodo das Caractersticas para Domnios Limitados
Podemos estender o raciocnio anterior para o estudo de domnios limitados. Seja entao o
seguinte problema:
n _
H 0
n _
=
_
n
n _
.
H
_

'
Hz.dN
^. N

H .dN
. N

H Nt=
N
83
HzhCNt=
CN
(A.9)
As condico es iniciais sao prescritas somente para pontos do domnio pertencentes ao in
?C . Nestas condico es a soluca o do problema, na regiao definida pelas

0

caractersticas; ?@.
;A=F?<C e ?@.rDs;>=B?<C (ver Figura A.5), sera:

U
U
+>J
{

0
T 3
& ^.
Hz^.uNt=
;A= D
.rDE;A= D &
(A.10)

; +
tervalo
Nesta regiao, a onda nao sabe da existencia de qualquer contorno; esta informaca o propaga
a uma velocidade finita ; entre os limites .

79
e.
C .
t

constante
constante
}
./Ds;>=

.
'
;>=
./DE;A=
.
C
;>=
x

C
Figura A.5: Caractersticas na regiao
?@.
;A=B?<C e
?@./DE;A=F?<C
Se num dado ponto, ^.uN= , do domnio a informaca o da existencia de algum contorno

ja tiver chegado, modificaco es analogas ao caso semi-infinito devem ser feitas de modo a
contemplar as condico es de contorno. No caso .
p
enquanto que para .
~

;>= DY}~h;A=
teremos que:
para =F:

N
(A.11)
C teremos:
p
~hC
;>= DE}hC Ds;>=
83
para =B:
(A.12)
Isto implicara em multiplas reflexoes como ilustrado na Figura (A.6).
t

constante
} constante
x

C
Figura A.6: Caractersticas Reflexoes Multiplas

Estamos agora em condico es de demonstrar a condica o CFL para as equaco es do tipo
hiperbolico.
80
A.4
Verificaca o da Condica o CFL
` guisa de motivaca o para o melhor entendimento da condica o CFL seja ^.

A
N
um
ponto qualquer do domnio discreto XL . A Eq. 2.46 nos diz que a soluca o em diferencas
neste ponto, futuro, depende dos valores presente e passado do campo na regiao triangular
definida pela reta tomada no tempo inicial, =
B
-/.
-!=
'
, e pelas retas:
constante
conforme Figura (A.7) abaixo.

t
=1
LM+
L =
. D
LM+
L =
Figura A.7: Domnio numerico de dependencia para o esquema em diferencas 2.46

Observe que o campo no ponto ^.
N= , em verde na figura, depende dos pontos, e somente
destes pontos, assinalados em vermelho. Raciocnio analogo em relaca o aos demais pontos
pertencentes ao triangulo. A esta regiao denomina-se domnio de dependencia numerico,
ou triangulo de determinaca o como proposto por Courant et al. no artigo Courant et al.
(1967), para o esquema em diferencas estudado em alusao ao domnio de dependencia
analtico advindo do estudo da equaca o diferencial pelo metodo das caractersticas.
Antes mesmo de demonstrarmos a condica o CFL facamos algumas consideraco es. O
domnio de dependencia numerico contera o analtico sse a seguinte condica o for satisfeita:
- =
!
-/.t
U
3
(A.13)
U
Ou seja # ; , a inclinaca o caracterstica, deve ser maior ou igual a` inclinaca o numerica de
forma que o domnio de dependencia numerico inclua o analtico. Se batizarmos a razao

entre estes domnios de obteremos a seguinte relaca o:

;-!=
-/.
81
(A.14)
que, juntamente com a inequaca o anterior, nos mostra ser

; e a velocidade de propagaca o da informaca o,
U

. Observe que, desde que
e a razao entre a distancia percorrida
por esta em um avanco temporal, -!= , e a dimensao espacial da malha, -/. . Portanto, a
informaca o nao pode propagar uma distancia maior que -!. no interregno -!= , de forma que
o domnio de dependencia numerico contenha o analtico.
Para melhor entendermos o significado destes domnios, no estudo do esquena em
diferencas adotado, consideremos dois problemas de Cauchy semelhantes no todo, diferindo, unicamente, na condica o inicial . que sera substituda por:

.
. D
e;>
se .
^.
0

se .
onde e um ponto fixo arbitrario, tomado no instante inicial, sujeito a` u nica restrica o de ser
um ponto da malha quando tratarmos do domnio discreto XL . Desta forma, a soluca o para
o problema (A.1) sera:

H .dNt=
H^.uN= D
U
&
;
se ./Ds;>=

e;A
c7' +KJ
)
T
se ./Ds;>=^
Cabe aqui uma observaca o. Podemos imaginar o domnio segmentado nas tres regioes
seguintes conforme esquema abaixo;
I
.
II
III
x
;>=
.rDs;>=
Figura A.8: Segmentaca o do intervalo de dependencia

Teremos entao as seguintes consideraco es em relaca o ao ponto :
(i) Estar a` direita do limite superior do intervalo de dependencia, regiao III, nao influenciando na condica o inicial ^. e, consequentemente, as soluco es Hc^.uNt= e H^.dNt=
serao identicas, como evidenciado na equaca o anterior;
82
(ii) situar-se nas regioes I ou II e, nestes casos .Dm;>=a

0
e.
deve ser o maximo valor entre
, o limite inferior da integral
assim que aparece na equaca o anterior.

;A= . E
Apos resolvermos a integral obteremos:

H ^.uNt=
H^.dNt= D
se ./DE;A=
^./Ds;>=
_
0
(;A=^.
se .
se
;>=
0
.
./DE;A=KN
3
A; =
A essencia da demonstraca o encontra-se na analise do comportamento das soluco es

exata e aproximada nas vizinhancas do ponto . Vamos demonstrar que a hip o tese
faz com que estas soluco es nao convirjam mesmo que reduzamos, o quanto quisermos, os
parametros da malha, -!. e -!= .
Seja
definido como anteriormente: um ponto fixo, tomado no instante tido como
inicial, com a u nica restrica o de ser um ponto da malha cujo domnio discretizado e FL .
Se as soluco es em diferencas, para os problemas de Cauchy definidos anteriormente, forem
denotadas, respectivamente, por
entao, na regiao .
tambem o sao as condico es iniciais. Assim sendo:
Seja
:

.dNt=
^.uNt=
-/.
=
-!=
se ./D
, elas sao identicas ja que
. Neste caso, como visto anteriormente, o intervalo de dependencia analtico
contem o discreto. Ainda assim ha pontos pertencentes a` malha os quais satisfazem as

seguintes relaco es:
./D
-/.
=
-!=
;A=
?@./Ds;>=
Em tais pontos, as equaco es precedentes permitir-nos escrever as seguintes soluco es:

(i)
(ii) H
^.dNt=
0
0
.dNt=

^.uN=

Hz.dNt=
^./Ds;>=
para
;>=B?@.
LM+ 3
L =
Z
U

u
%
"
%
Se fizermos -/.
e -!=
, enquanto
e.
continuar sendo um
;
7
=
= :
ponto da malha no instante tido como inicial, entao ^.uN= e ^.uNt= nao convergem para
a correspondente soluca o H^.uN= e H ^.uN= . Acabamos de deduzir o seguinte teorema:

_

83
Teorema A.1 Em geral, a soluca o da equaca o em diferencas finitas nao converge para
a soluca o exata da equaca o diferencial, mesmo que os parametros da malha, -/. e -!= ,
tendam para zero, quando a seguinte imposica o ocorrer:

A condica o
;-!=
:
-/.
R
U3
, a qual pelo teorema anterior pode ser vista como necessa ria para
a convergencia em geral, e chamada de condica o de Courant-Friedrichs-Levy ou, simplesmente, condica o CFL para o problema hiperbolico de valores iniciais.
Para finalizar daremos a palavra a Courant et al. Assim e que, na seca o 2, pagina 229,
da referencia Courant et al. (1967) encontramos os seguintes paragrafos que mostram os
caminhos para a generalizaca o da demonstraca o anterior.
If we consider the differential equation ... in two space variables . and ,
and time, = , and if we replace it by the corresponding difference equation on a
rectilinear grid, then in contrast to the case of only two independent variables it
is impossible to choose the mesh division so that the domain of dependence of
the difference and differential equations coincide, since the domain of dependence of the difference equation is a quadrilateral while that of the differential
equation is a circle. Later (cf. Section 4) we shall choose the mesh division so
that the domain of determination of the difference equation contains that of the
differential equation in its interior, and shall show that once again convergence
occurs.
On the whole an essential result of this section will be that in the case of
each linear homogeneous hyperbolic equation of second order one can choose
the mesh so that the solution of the difference equation converges to the solution
of the differential equation as
, (see for instance Sections 3,4,7,8).
84
Apendice B
Metodos das Caractersticas para
descrever a soluca o em Ondas Planas
B.1
Introduca o
Soluco es particulares, como as de ondas planas, sao importantes pois que lancam luz sobre alguns aspectos especficos da Geofsica como, por exemplo, a extrapolac a o do campo
de ondas. Nossa abordagem levara em consideraca o o Metodo das Caractersticas desenvolvido no Apendice A.
O objeto principal deste apendice nao e uma demonstraca o completa das equaco es que
descrevem a transmissao de uma perturbaca o em um meio solido elastico - para isso ver, por
exemplo; Muskhelishvili (1975), Achenbach (1973), Sommerfeld (1950), Graff (1975) e o
classico Love (1944) - e sim desenvolver a soluca o segundo ondas planas destas equaco es.
Para isso, desacoplaremos destas as partes relativas a` propagaca o das ondas longitudinais e
transversais e veremos como as caractersticas individualizam cada uma destas partes.
B.2
As ondas de dilataca o e as de distorca o
Dentre os grandes nomes que figuram no desenvolvimento da Teoria da Elasticidade tais

como: Daniel Bernoulli (17001782), Leonard Euler (17071783), Simeon-Denis Poisson
(17811840), Augustin-Louis Cauchy (17891857), George Green (17931841), James
Bernoulli (18111863) nos seculos XVIII e XIX e, mais recentemente, Rayleigh, Love,
Lamb, Sommerfeld, Trusdell dentre outros, coube principalmente a Poisson, quando do
85
estudo da propagaca o de ondas atraves de meios solidos, elasticos e isotropicos, a identificaca o daquilo que ele proprio descreveu como:
...two types of waves which, at great distance from the source of disturbance,
are practically longitudinal and transverse...(Love, 1944, Historical Introduction),
~IU
3
tendo, inclusive, deduzido que a razao entre estas velocidades;
No entanto foi em 1849 que Stokes, conforme Love (1944), demonstrou o carater: irrotacional das ondas de dilataca oe rotacional das ondas de distorca o equivolumetricasja
que esta envolvia a rotaca o dos elementos do meio. Esta denominaca o, para o que hoje
denominamos longitudinais e transversais, respectivamente, e tambem compartilhada por
autores como Love (1944) e, mais recentemente, Sommerfeld (1950).
Na tabela a seguir, estao resumidas as principais grandezas que surjem nas equac o es da
elasticidade e que serao por nos referenciadas. Como estas equaco es serao escritas num
sistema cartesiano ortonormal, a base covariante coincide com a sua dual, contravariante,
razao pela qual e suficiente indicarmos a componente de um tensor qualquer com, por
exemplo, subndices. Em relaca o a estes adotaremos a seguinte convenca o: na componente

do tensor das tensoes agindo num dado elemento infinitesimal de volume, o primeiro
ndice indica a direca o da normal externa a uma de suas faces; o segundo, a direc a o do eixo
segundo o qual se considera a componente da tensao.
Com base nesta tabela, as seis componentes independentes que expressam a Lei de Hooke
Generalizada serao escritas,0em
funca o dos parametros de Lame, como:
K++
*,1,
7/8/
&y
.
n
&y
K+u,
N

&y
*,+/
n N
7/k+
n
b
H f
n
D
n
b
f
n
N
n
f 3
s
n
.
H
n D
(B.1)
Da mesma forma, o sistema de equaco es que descreve a transmissao do movimento atraves

do meio sera dado por:
n
K+A+
n
D
.
n
K++ ,
n
D
.
n
K+u/
n
D
.
n
n
*,+

n
n
*,1,
*,+/

n
D
n
D
D
7/k+
n Dve
7/,
n Dvk
7//
n Dhl
86
n _
n
=
n _
n
=
n _
n
_
_
(B.2)
Tabela B.1: Tabela contendo um resumo das grandezas que figuram na Teoria da Elasticidade
e que sao aqui mencionadas
Smbolo
N1
HdN1lN
.uN1MN
Descrica o
Vetores; deslocamento e posica o de um ponto do meio, respectivamente
X,
Y, Z
componentes cartesianas; .dNMN

componentes cartesianas; .dNMN
de

do vetor posica o
componentes cartesianas da resultante das Forcas Volumetricas

Dilataca o, ou Compressao, volumetrica
Modulo de Young
Modulo de Bulk
Razao de Poisson
Parametro de Lame:
Parametro de Lame:

` ' P _ )
D
`
_ ' PhJ )
'
PhJ ) ' P _ )
Componete % = do Tensor das Tenso es que age num elemento de volume
Este sistema, chamado de Equaco es de Cauchy, conforme Muskhelishvili (1975), relaciona

as componentes da tensao num ponto pertencente ao meio elastico, com sua acelerac a o.
Interessa-nos, no entanto, a caracterizac a o dos deslocamentos e estes nos serao dados apos
a substituica o das equaco es constitutivas, aqui representadas pela Lei de Hooke, Eq. (B.1),
neste sistema. Assim, se considerarmos:
(i) o meio homogeneo e isotropico;
(ii) os parametros de Lame constantes;
(iii) e a relaca o:
`
chegaremos ao seguinte sistema de equaco es que descreve o movimento de um so lido

elastico a disturbios so que, agora, em
termos das componentes do deslocamento
n
_

n D
D
~
H De
n .
_

n D
D
O
DvFk

n
_

n D
D
Yv
D l
87
n _
H
n _
n _=
n _
=
n _
3
n _
=
Nt= :
(B.3)
Ao multiplicarmos cada uma das equaco es anteriores pelos

arios
respectivos vetores unit

cartesianos t NRN1 , somarmos e substituirmos a fo rmula

obteremos:
h
`
D
DvF

`
ao resultado,
n _
3
n _
=

(B.4)
Cabe aqui uma observaca o. Esta equaca o refere-se, exclusivamente, a um sistema de

coordenadas Cartesiano. Neste, a aparente contradic a o da aplicaca o do operador Laplaciano sobre um vetor refere-se, realmente, a` aplicaca o individual deste operador sobre cada
uma das componentes cartesianas do vetor
&Nt= , como pode ser visto no sistema (B.3).
Se desejarmos escrever a versao que contemple sistemas ortogonais arbitrarios, devemos

utilizar a seguinte igualdade vetorial:
_
h
`
0
h
3
(B.5)
Apos a sua substituica o obteremos a generalizaca o procurada Sommerfeld (1950):
&y
h
DvU
n _
3
n _
=
(B.6)
Como nao ha perda de generalidade, sera esta a equaca o a ser desenvolvida.

Apliquemos, sucessivamente, os operadores; divergencia (
`
) e rotacional ( )
a ambos os membros da equaca o precedente. Utilizando-se das seguintes propriedades:

(i)
`

;

(ii) ~

(iii) possibilidade da troca da ordem de aplicac a o das derivadas: temporais

chegaremos a` s seguintes equaco es:
D
_
&y _
h
espaciais,
D4
Dv4
n _
n _
=
n _
n _
=
(B.7)
(B.8)
A primeira destas equaco es envolve somente deformaco es volumetricas enquanto que a

segunda, rotaca o dos elementos do meio. Este desacoplamento do movimento das partculas
em longitudinal e transversal so e possvel desde que as hipoteses: constancia dos
parame
tros de Lame, meio homogeneo e isotropico sejam satisfeitas. Se, por exemplo, e &
forem funca o de ponto, nao poderemos observa-los desacoplados.

88
B.3
Geraca o e Propagaca o de Ondas Planas Longitudinais

e Transversais
Seja um plano infinito, rgido e solidario ao meio elastico que o contem. Seja
a normal
a este plano. Como o meio e isotropico, nao ha perda em generalidade toma-lo coinci
dente com o plano cartesiano . Sendo o plano infinito, devemos move-lo suficientemente
rapido de forma que ele permaneca paralelo a si mesmo. Desta maneira, o problema possui
simetria plana; em qualquer instante de tempo, o vetor deslocamento
^.dNt= dependera,
espacialmente, somente da coordenada . . Devido ao movimento, a vizinhanca situada

no mesmo sentido deste sera comprimida, enquanto que aquela situada no sentido oposto
sera distendida. Este estado sera transmitido a` s vizinhancas do plano em cada instante
propagando-se, assim, uma onda plana na direc a o do movimento.
Nosso problema consiste no seguinte: determinar o carater do movimento a uma distancia

. contada a partir da excitaca o do plano
Nossa analise limitar-se-a ao sistema Cartesiano, razao pela qual e suficiente utilizarmos
o sistema de equaco es (B.3) ou seu equivalente vetorial (B.4) com as seguintes simplificaco es:
(1) Considerarmos o movimento a partir do instante em que a resultante das forcas externas , que forcam o movimento planoparalelo, deixem de agir: podemos assumi-la
identicamente nula;
(2) devido a` simetria do problema, o vetor deslocamento e, consequ entemente, suas componentes serao funca o unicamente de . e de = .
Desta forma teremos:
n _
n _
n _
n _
.
U n _
H
_ n _

H
.
;
U

MN
onde:

_ n _ MN N
=
(B.10)
&y
D
(B.9)
n _
(B.11)
89
(B.12)
respondem pela velocidade de propagaca o das ondas longitudinais e transversais, respectivamente.

A soluca o de DAlembert e o Metodo das Caractersticas, introduzidos no Captulo
(2) e Apendice (A) respectivamente, mostram-se extremamente u teis quando da analise e
interpretaca o das equaco es anteriores. Sabemos que a soluca o geral destas pode ser escrita
na forma:

H

MN
;A= DY}~^./DE;A=
0
r^.
r^.
= DE}./D
(B.13)
= N
(B.14)
onde e } sao funco es arbitrarias com a u nica restrica o de serem, pelo menos, duas vezes
diferenciaveis.
Para o estudo de tais soluco es, vamos introduzir um espaco
cal represente os deslocamentos HdN1lN
/0
Q
onde o eixo verti-
e o plano horizontal seja formado pelos eixos do
tempo, = , e posica o, . , conforme figura a seguir.

HdNMN
=
=
+ 0
=
= _
=# `
= P
=# _
0
.
. P
. _
+
. `
Figura B.1: Ondas Planas Metodo das Caractersticas
90
+ 0
=# P
Limitando-nos ao semi-espaco .

:
, a soluca o das componentes: compressional e
distorcional da equaca o da onda sera dada, respectivamente, pelos primeiros termos do

segundo membro da equaca o anterior.
Como visto anteriormente, as curvas caractersticas sao sinonimo de argumento constante. Consideremos o estudo da propagaca o das ondas longitudinais (transversais) segundo
o ponto de vista das caractersticas. Assim e que, se
uma reta no plano .I= , a funca o arbitraria
o
correspondente a` reta =
+
0
.
;A= (M
0h
) for constante,
tambem o sera. Vejamos, inicialmente, o caso
( ) representada na figura anterior. Ela levaconsigo,
a uma velocidade ; ( ), a informaca o da chegada da onda compressional (distorcional) nas

posico es, .
;M=8
= , ocupadas, a cada instante, pelo plano. Neste caso,
, ela
representa o tempo de transito para as primeiras chegadas da correspondente onda, indicada

na figura anterior pelos pontos
( ). Numa alusao a` aquisica o geofsica, se tivermos es-
palhados uma serie de receptores sobre o eixo . de tal forma que estes ocupem as posic o es
. entao, para cada tempo = a informaca o, distribuda sobre a caracterstica, alcancara este
receptor. Teremos assim o traco ssmico.
B.4
Ondas Planas: Homogeneas e Nao-Homogeneas. Velocidade de Fase e de Grupo
B.4.1 Ondas Planas Homogeneas

Uma onda e dita plana se, em qualquer instante, em todos os pontos de qualquer plano
pertencente a uma famlia de planos paralelos cuja normal,
, seja dada pelo sentido de
propagaca o da onda, os vetores do campo dependerem unicamente da posic a o do plano

discriminado pela coordenada na direca o de propagaca o.

^.uN N
O exposto resume-se, matematicamente, ao seguinte: seja
o vetor posic a o de
um ponto qualquer, , do espaco e B % +eN % , N %

/
um vetor unitario numa direca o arbitraria,
porem fixa, conforme figura a seguir.

Qualquer soluca o da forma:
&c`yNt=
representa uma onda plana se, em cada instante de tempo,
91
(B.15)
e constante sobre cada um dos
Figura B.2: Propagaca o de Ondas Planas

planos pertencentes a` famlia:

c`y
constante
(B.16)
As equaco es tornar-se-ao mais simples se tomarmos um novo sistema Cartesiano de

eixos;
,
,p
, com
paralelo a` direca o de propagaca o . Desta forma, se
for a
posica o do plano num dado instante, entao;

c`y
(B.17)
Aplicando-se a regra da cadeia, obteremos a relac a o entre os operadores derivada escritos

nos dois sistemas:
n
n
Desta forma o operador
n
% + n /
N
n
% , n /
N
n
n
n
% / n 3
torna-se:
n

n N
ou, como e unitario:
(B.18)
n _
n _ N
92
(B.19)
e a equaca o homogenea da onda pode ser reescrita como:

n _
0
n _
U n _
_ n _
83
(B.20)
O significado desta equaca o e muito importante. Se, em qualquer instante, o lugar

geometrico do vetor posica o das partculas do meio atingidas pela frente de ondas for um
plano, com o sentido da normal que o define coincidente com o sentido de propagac a o
da perturbaca o, a equaca o da onda envolvendo as tres dimensoes espaciais reduz-se a sua
correspondente unidimensional. O meio e entao compreendido como que fatiadopor infinitos planos, com a pertubaca o propagando-se por e atraves deles.
A transformaca o do plano fsico,
o
Nt= , no plano caracterstico, tN q , e feita pela
equaca o (2.2) ou, seja:

op
e=
De=
(B.21)
Desta forma, reduzimos a equaca o (B.20) a` sua forma canonica:

n _
n o n

N
(B.22)
cuja soluca o de DAlembert,

ja foi discutida anteriormente, e dada pela equaca o (2.9), ou:

Nt=
~
e=
DY}~ Dve= 3
(B.23)
0
E irrelevante a mudanca do argumento constante na soluca o geral acima para =
Realmente, se =
# .
# representar uma nova soluca o, a concordancia entre esta e
dada a seguir:
=
# x 0
=
~
3
e=
Entendemos por Onda Plana Homogenea o lugar geometrico do espaco onde sao medidos, num dado instante de tempo, a mesma amplitude e fase. Consideremos o caso de
uma onda plana cuja normal coincida com o eixo
. Podemos escrever para a onda
longitudinal:
H^.dNMN

Nt=

V=
b
=
c`y
;
K
93
Dv
K
;

!
f
N
(B.24)
onde utilizamos sistematicamente: a equaca o (B.17), os cossenos diretores dos a ngulos; ,

e ! que a normal faz com os eixos O. , , , respectivamente, e a decomposic a o do

vetor posica o,
^.uN N , em relaca o ao sistema coordenado formado por estes eixos.
Veremos, a seguir, como o conceito particular de ondas planas se encaixa dentro de

uma formulaca o mais geral do movimento ondulato rio. Se a quantidade HzN= representa
esta forma geral de propagaca o, entao podemos escrever, conforme Feymman et al. (1964),
Panofsky and Phillips (1962), Sommerfeld (1954) ou Born and Wolf (1999):
'
HzN=

Admitindo que
ponto
%h'
) 3
(B.25)
varie de maneira muito mais lenta do que o / temos que, para um
fixo no espaco de coordenadas ^.

N
,
N
torna-se praticamente cons-
tante de maneira que a quantidade H , que descreve o comportamento do campo no ponto,

dependa somente do tempo = . Considere agora o comportamento de H numa vizinhanca
de , escolhida de tal forma que
possa ainda ser considerada a constante
. Como,
por hipotese, varia mais rapidamente que , ao expandirmos numa serie de Taylor em
torno de ^.
N1

N Nt=
R
=eNt= devemos tomar, pelo menos, a parte linear desta. Teremos

D
assim:
H .uN N
$

N =
%8u
kJ8
J 8 ] +KJ ,AJ /

Introduzindo a notaca o:

n
N
N
=
n
70
\ ,N
n
,k
0
1
\ e
+ N
. +
n
0
7
\ $
n
/ N
/h
e substituindo os incrementos das variaveis por elas proprias obteremos:

H^.dNMN

tN =

%RQ S
% 'S

'
T
UT
] +KJ
` )
,AJ
T
/1)WV
(B.26)
Este importante resultado demonstra que uma onda cuja forma e geral, pode ser tratada
como uma onda plana harmonica, de freque ncia Y , numa pequena vizinhanca espacial do
ponto observado
94
tamente com o eixo
A projeca o do eixo
sobre o plano . , aqui indexado por
++, , nos gerara, jun-
, um plano auxiliar adequado a` definica o do a ngulo emergente, ,
representado na figura (B.3). Nela tambem estao estao representadas a projeca o da frente
de onda em dois instantes quaisquer. Nestas condico es, o vetor unitario no sentido dado
pelo eixo
sera:
como:
N
Hz.dN
de forma que a expressao para a onda plana sera reescrita

tN =
b

0
.
XD
f
onde aqui tambem, . representa a coordenada segundo o eixo
(B.27)
++, .
;*/
;>+
++,
Figura B.3: Ondas Planas Angulo

Emergente
As grandezas ; #
e suas similares na Eq. (B.25), assim como; ; #
e; #
na equaca o anterior, sao as velocidades com que a informaca o se propaga ao longo dos
respectivos eixos. Assim e que, se a frente de onda leva um tempo unitario para percorrer
a distancia
P , numericamente igual a ; , no mesmo interregno ela parecera percorrer as
distancias ;A+ e ;*/ que concordam, numericamente, com as velocidades ditas aparentes ao
longo dos respectivos eixos. Teremos assim:
U
; +
U
_ D
; /
U

;
(B.28)
De maneira analoga teremos, no espaco, as seguintes relac o es:

U
; +
U
_ D
; ,
U
_ D
; /
95
U

;
(B.29)
A relaca o existente entre as quantidades Y , ; e \ , e que e por nos adotada, e a seguinte:

Y
K
;
+eN
\

;
\ ,N
K
;
\ /$N
(B.30)
que nos permitira escrever:

_
\
_
+ D
\
\ ,
_
D
\ /
_ 3
(B.31)
A propria soluca o geral de DAlembert:

HzN=
~c`y
;>= DE}c`y Ds;>= N
sera reescrita numa forma que nos permita interpreta-la como uma combinaca o funcional
de ondas planas:

H&Nt=
onde o vetor
~ \ `y
= DE} \ `yXD
Y
= N
Y
(B.32)
responde por:

\
(B.33)
Sera esta a principal forma adotada ao longo do texto.
B.4.2 Ondas Planas NaoHomogeneas ou Evanescentes

Seja uma onda plana harmonica propagando-se num plano

++, . Nao havera perda de
generalidade se considerarmos sua amplitude igual a` unidade. Neste caso, a equaca o (B.27)
tornar-se-a:
Hz.dN

tN =
%SUQ
'
+ J/
) V
(B.34)
As equaco es que descrevem as velocidades aparentes:

;A+
;*/
(B.35)
devem ser reais para todas as direco es determinadas pelo a ngulo de emergencia , satisfazendo, ainda, a condica o de serem ;>+ e ;./F; , com a igualdade ocorrendo quando a onda
se propaga na direca o
++, ou
respectivamente.
Vamos generalizar o conceito de numero de onda considerando-o complexo, ou seja:

\
0
2 \
96
Neste caso, um novo fenomeno, nao previsto anteriormente, sera enfatizado: a diminuica o
da amplitude oriunda pela dissipaca o da energia atraves do meio. Realmente, se substituirmos a equaca o anterior na equaca o que rege a propagaca o de uma onda plana cuja
normal coincida com o eixo
+u, , obteremos:

Hz^.uNt=
UT
%R'S
+*)
UT
(B.36)
e a amplitude, antes untaria, passa a ser governada por um fator de amortecimento exponencial no processo de propagaca o.
_
Vamos, a continuaca o, supor que ; + ?m; . Segue-se, a partir da equaca o:

U
; +
_ D
; /
_ N
;
(B.37)
que ;*/ deva ser a parte imaginaria de um numero complexo. Geometricamente, e impossvel
que ;>+~?; ja que, neste caso, deveramos ter
maior que a unidade. Por outro lado, a`
medida que o a ngulo aproxima-se de zero a velocidade tende a` velocidade de propagaca o

da onda ; . Com base nestes argumentos, vamos supor que o a ngulo de emergencia seja um
complexo onde a parte real represente, geometricamente, a direc a o de propagaca o. Assim
e que se, por exemplo, a parte real for igual a zero, a onda se propaga na direc a o do eixo
++, . Desta forma, escreveremos o a ngulo de emergencia como:

0

2
Veremos, a seguir, como interpretar a parte imaginaria de . Para isso, vamos supor que

2
Como
. Ao calcularmos:
e
obteremos:

0

U
D

&
2

N
K
K

0

0

70
3

&
2
2
2

K
e complexo, tambem o sera a velocidade ;*/ . Substituindo o par de equaco es
anteriores na equaca o (B.34) obteremos:

H^.uN

tN =
%S'

+
J % / ) 3
Rearranjando os termos:
Hz.dN

tN =
/ S
%S
" !
PhJ _ 3
Quando, por exemplo, estivermos limitados ao semi-espaco

conclusoes:
97
(B.38)
chegaremos a` s seguintes
1. a onda avanca ao longo do eixo +u, com velocidade:

;>+
U
D
;
#
_ ?m;

(B.39)

2. a amplitude varia exponencialmente ao longo do eixo .

Em virtude de em certas direco es a onda plana apresentar uma amplitude que cresce,
ou decresce, exponencialmente, de forma que as superfcies de amplitude e fase constante
sao ainda planos mas nao coincidentes, e utilizado o adjetivo nao homogenea, desde que
homogenea refere-se a` concordancia entre estas superfcies.
98
Apendice C
Propagaca o de Ondas em Meios
Dispersivos
C.1
Introduca o
Ao investigar-se a propagaca o de ondas harmonicas ao longo de camadas, vislumbra-se

um novo fenomeno: a dispersao da velocidade, Erwing et al. (1957). Subentende-se por
tal a dependencia da velocidade com a frequ e ncia ou o comprimento de onda. As fontes
ssmicas como os terremotos na sismologia, exploso es, impactos ou canhao de ar (air gun)
na ssmica de exploraca o, geram ondas bastante complexas de duraca o limitada com carater
de um impulso.
C.2
As Velocidades de Fase e de Grupo
C.2.1 Velocidade de Fase

Quando da interpretaca o da soluca o de DAlembert da equaca o da onda, soluco es (B.13),
podemos inferir que um ponto, ou mesmo uma pequena regiao, particular da onda descrita
por qualquer um dos termos da soluca o, por exemplo ~.
;A= , e visto sempre segundo a
mesma forma para um observador que se move a uma velocidade ; no sentido positivo do
eixo . . O argumento das funco es arbitrarias, e } , sao ditos fase. Por definica o, frente de
onda e o lugar geometrico dos pontos da onda que tem fase constante. Assim, a velocidade
para a qual a fase e constante, ou equivalentemente, a velocidade dos pontos do espaco
99
pertencentes a mesma frente de onda e adjetivada velocidade de fase.

Esta e a mesma conclusao a que chega um observador que se move ao longo de uma
dada caracterstica. Como esta carregaconsigo a informaca o a uma velocidade que torna
a fase constante, a observaca o de um ponto especfico, por exemplo
na figura (B.1),
mostra-lo-a sempre ao ladodo observador a` medida que este prograda no tempo. Vejamos
matematicamente como isso se verifica.
A soluca o geral de DAlembert para a equaca o da onda 3D e dada por:

H&Nt=

0
~c`y
;A= D@}~&0`yDE;A=
o
~ DY}~q N
(C.1)
o
onde a transformaca o do plano fsico N= para o caracterstico, tN q , e uma generalizaca o
do que ja foi definido pelas equaco es (2.2) ou seja:

op
c`y
;A=
3
c`yDE;A=
(C.2)
Derivando as fases em relaca o ao tempo,

T
\
`
'
N
obtemos:
$
onde ;
#*r
; #*r

&N% #
;$N
(C.3)
# T = e a velocidade de um ponto fixo no plano. Como, por hip o tese, o meio e
ilimitado, tambem o e o plano. Desta forma, torna-se irrelevante que cada ponto se desloque
numa direca o que nao aquela dada pelo vetor unitario . O que interessa e que o plano
como um todo a fase da onda caminhe paralelamente a si pr o prio, na direca o
, com
a velocidade escalar ; dada pela equaca o (B.30), assim:

% #7r
B
;c
B Y \
\
caracteriza a velocidade de fase da onda. A fase q caminha na direc a o
(C.4)
0
direca o como ja visto quando da exposica o do metodo das caractersticas.
100
, a fase , na
C.2.2 Velocidade de Grupo

Quando as equaco es constitutivas e, consequentemente, os parametros de Lame independerem da freque ncia, a velocidade de fase e nao somente a velocidade com que se propagam
as fases \
`y
= , mas tambem e aquela com que as ondas, elas pro prias, transportam ener-
gia e momentum. Quando do estudo da propagac a o de uma onda estritamente monocromatica,

mesmo que os parametros elasticos dependam da freque ncia, nao ha necessidade de definirmos outra velocidade que nao a de fase, pois que, esta e u nica.
Vamos supor que a onda seja composta por um grupo de diferentes freq u e ncias angulares Y . Neste caso, cada componente viaja com sua pro pria velocidade de fase ;
#7r
tao
diferentes quanto forem as frequ e ncias envolvidas. Se o conteu do de freque ncias for suficiente amplo, de forma que possamos determinar uma velocidade associada ao conjunto
como um todo, Jackson (1999), a esta velocidade que iremos agora deduzir, denomina-se
velocidade de grupo.
Seja entao
i
&Nt= uma componente do campo das deformac o es propagante na direca o
. Vamos escreve-lo como a Tranformada de Fourier no domnio do numero de ondas \ ,

U

N =
W
onde
&
\
%RQ /
T
SF' ) V
T
T
\
(C.5)

\ e a poderaca o da componente do campo, cujo nu mero de onda e \ . Estes coe-
ficientes sao dados a partir da aplicaca o da Transformada de Fourier Inversa calculada em

=
'
. Assim:
U

\
&
3

W N
T I3
% /
(C.6)
\
Esta equaca o geral deve contemplar o caso monocromatico. Realmente, se
for a u nica
freque ncia presente, a distribuica o em termos do numero de onda sera uma Delta de
Dirac, nao havendo, assim, a necessidade de falarmos em meio dispersivo. Neste caso,
independera de
e estara concentrado em

\
,
\
3
\
(C.7)
Com isso, a equaca o (C.5) fica:

tN =
com
U
&

\
0
\
%Q /
T
SF' ) V
T
T
\
&
% ' /
T

)
N
(C.8)
\
XR
T
101
\

N
(C.9)
o que demonstra que uma onda plana monocromatica e a Transformada de Fourier da Delta
de Dirac.
Como citado anteriormente, as fontes ssmicas comportam-se como um impulso. Vamos supor entao um pacote de ondas com espectro de frequ e ncias estreito. Isto significa
que tanto as freque ncias
digamos,
quanto os numeros de onda
implicando serem os coeficientes
estao concentrados em torno de,

\ diferentes de zero apenas nas
vizinhancas de \ . Assim sendo:

- \ R
o que implica ser:
0
\
\
Y

\
!
(C.10)
T Y
T
- \ D
(C.11)
Substituindo estas duas u ltimas equaco es na equaca o (C.5) obteremos:

N =
W

&
3
U
3
&
%R' /
T
\

Nt=
%RQ /JIL /
T
T
\
%'/

) L
S
SF' )
T
T
T

S

) 3
S
T
V
%R' /
T
<
\

)
(C.12)
Aqui, a exemplo da equaca o (C.9) utilizaremos a notaca o:

T Y
\
T
(C.13)
onde,
U

N=
3
&
\
%'/

) L
T
T
(C.14)
Se esse termo fosse uniforme e constante, a funca o (C.14) representaria a componente do

campo de uma onda plana monocromatica. Esta constancia ocorrera sse
0 Y
= for tambem
uniforme e constante. Assim, um observador que acompanhe a onda de forma a ve-la plana
monocromatica deve faze-lo a uma velocidade:
;.s
X
T

T
=
T Y
\
T
E a esta velocidade que denominamos velocidade de grupo.

102
(C.15)
Num meio dispersivo a relaca o entre a freque ncia e velocidade de fase e :

Y

\
\
3
; #7r \
(C.16)
Derivando-a em relaca o ao numero de onda, obteremos:

;us
X
T
; #7r D
\
; #7r
\
(C.17)
o que demonstra que num meio nao dispersivo, as velocidades de fase e de grupo coincidem.
103

Luiz Antonio Canelas Palermo

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Luiz Antonio Canelas Palermo

Загружено:

Авторское право:

Доступные форматы

REVERSA NO TEMPO: UMA ABORDAGEM MULTIFOCAL