teoriaRayosBasicaV3. 0

UNA INTRODUCCI
ON ELEMENTAL A LA TEOR
IA DE RAYOS
Basado en el Ap endice E del libro de Blestein et al (2001)
CARLOS C
ESAR PIEDRAHITA ESCOBAR

Grupo de Geofsica-ICP
Grupo de Petrossmica
Convenio ECOPETROL-ICP-UIS
12 de Junio del 2008
Blestein,Cohen & Stockwell TEORIA DE RAYOS
Las Ecuaciones Iconal y de Transporte
Resolviendo la Ecuaci on Iconal por el m etodo de las caractersticas
Ecuaciones Caractersticas para la Ecuaci on Iconal
1
2
Resolviendo la Ecuaci on Iconal por el m etodo de las
caractersticas
3
1
2
caractersticas
3
Deniciones
Def. La teora de rayos es una colecci on de resultados matem aticos
obtenidas al resolver las Ecuaciones Iconal y de Transporte.
u (x, )
exp
i (x)
j =0
A
j
(x)
(i )
j
(1)
(x) Tiempo de tr ansito
A
j
(x) Amplitudes independientes de la frecuencia,
j = 0, 1, 2, . . .
Motivaci on para esta aproximaci on
La transformada de Fourier inversa
exp
i (x)
F (t (x)) (2)
representa una onda progresiva en la cual F (t ), la transformada
inversa de
, se propaga en la direcci on de incremento de (x)

Dividir por potencias superiores de (i ) representa integraciones
sucesivas en el dominio temporal , que pueden ser interpretadas
como suavizaciones de la funci on F
(t ) H (t ) r (t )
La transformada de Fourier del primer t ermino de ( 1 ) representa la
parte m as singular de la soluci on asociada a las altas frecuencias,
mientras que los t erminos posteriores, representan contribuciones
m as suaves, o sea bajas frecuencias, a la soluci on de la ecuaci on
Lu =
2
+

2
c
2
(x)
u (x, ) = 0 (3)
Utilizamos la versi on en el dominio de la frecuencia, de la Ecuaci on
de Onda, es decir, la Ecuaci on de Helmholtz. A seguir, substitu-
imos la aproximaci on asint otica, con coecientes desconocidos, en
la ecuaci on. A partir de esta substituci on, obtenemos ecuaciones
diferenciales para el tiempo de tr ansito y para los coecientes de am-
plitud.
Realmente no tenemos una serie convergente, por el contrario, ten-
emos una serie asint otica, la cual, en general, al colocar mayor
n umero de t erminos diverge del valor al cual queremos aproximar!
Recordemos la denici on de serie asint otica:
Def.La serie

j =0
f
n
() es una aproximaci on de F (), en el punto
singular, =
0
, y escribimos
F ()
j =0
f
n
() (4)
si para todo N Z
+
0
y para todo > 0, existe un > 0 tal que si
B
(), entonces
j =0
f
n
() F ()
< (5)
Al substituir la serie asint otica en la Ecuaci on de Helmholtz, obten-
emos:
Lu =
expi
j =0
1
(i )
j
1
c
2
()
2
A
j
(6)
+i
2 A
j
+ A
j
+
2
A
j
Tarea 1 Deducir la Ecuaci on ( 6 )

Substituci on de esta aproximaci on
En general no podemos garantizar que los t erminos de la serie se
cancelen entre ellos, por tanto necesitamos que los coecientes de
la serie se anulen independientemente. Igualaremos a cero cada
potencia de , comenzando con la m axima potencia, + 2, que
aparece solo en la primera serie de ( 6 ), cuando j = 0.
Substituci on de esta aproximaci on
Al igualar a cero el coeciente de la primera serie, obtenemos la lla-
mada Ecuaci on Iconal
2
(x)
1
c
2
(x)
= 0. (7)
Observese que no hemos tomado la posibilidad alterna A
0
= 0, e.d.,
asumimos que la serie comienza con un primer t ermino no-nulo.
Con el resultado ( 7 ), toda la primera serie se anula y nos concen-
tremos en las otras dos series.
El resto de series
Para la segunda serie, la potencia mayor no-nula de es +1, la cual
surje cuando j = 0, y obtenemos la llamada Ecuaci on de Transporte
de orden cero
2 (x) A
0
(x) + A
0
2
(x) = 0. (8)
El resto de series
Si consideramos j = 1, 2, 3. . ., obtenemos las llamadas Ecuaciones
de Transporte de orden superior
2 (x) A
j
+ A
j
2
(x) =
2
A
j
, j = 1, 2, . . . . (9)
La soluci on de la Ecuaci on Iconal (7) y de Transporte de orden
cero (8), ser an utilizadas en la casi totalidad de las demostraciones
del libro de Blestein et al (2001).
1
2
caractersticas
3
Introducci on
Queremos resolver una ecuaci on de la forma
F(x, y, z, u, u
x
, u
y
, u
z
) = 0 (10)
Donde x, y y z son variables espaciales y u, u
x
, u
y
y u
z
son la
soluci on y sus respectivas derivadas parciales con respecto a x, y, y
z.
En nuestro caso la variable independiente u corresponde al tiempo
de transito de la ecuaci on Iconal, y u
x
, u
y
y u
z
corresponden a las
componentes del gradiente de
Introducci on
Podemos interpretar la ecuaci on
F(x, y, z, u, u
x
, u
y
, u
z
) = 0 (11)
Como una funci on en el espacio de
7
, lo podemos considerar
como una funci on que dene una familia de supercies de nivel
en el espacio, una supercie para cada valor de u.
El gradiente de u describe vectores normales a las supercies
de nivel. Para la ecuaci on Iconal las supercies de nivel son
supercies de igual tiempo de tr ansito (frentes de onda) con el
gradiente de u (direcci on del rayo) en la direcci on normal a las
supercies de tiempo de tr ansito.
Introducci on
Vamos a derivar un sistema de EDO (Ecuaciones Diferenciales
Ordinarias) que nos dice como moverse de una supercie de
nivel u a otra. La soluci on a las coordenadas espaciales nos
describe curvas en el espacio fsico
Estas curvas son llamadas curvas caractersticas. La soluci on
a los componentes del gradiente nos dice como es la forma en el
que el vector cambia a lo largo de cada curva, mientras que la
soluci on de u nos dice como cambia la variable u a lo largo de
las caractersticas.
Introducci on
Vamos a describir las caractersticas en t erminos de un conjunto
auxiliar de variables: dos para etiquetar cada curva
caracterstica y una tercera que act ua como variable a lo largo
de la curva (puede ser longitud de arco o tiempo)
Usando una notaci on m as general vamos a describir las
variables espaciales como x = x
1
, y = x
2
y z = x
3
,
respectivamente, y las componentes del gradiente de u como:
u
x
= p
1
, u
y
= p
2
, u
z
= p
3
(12)
Respectivamente.
Introducci on
Podemos reescribir la expresi on general de F, en t erminos de
las nuevas variabes como:
F(x
1
, y
2
, z
3
, u, p
1
, p
2
, p
3
) = F(
x , u,
p
) = 0 (13)
Introducci on
Vamos a re-escribir (13) en un sistema de EDO de primer orden.
La ecuaci on F = 0 puede ser interpretada como describiendo
una supercie embebida en un espacio de siete dimensiones.
Luego deduciremos el sistema de las siete ecuaciones EDO a
partir de considerar una peque na perturbaci on a lo largo de la
supercie, F = 0. Es decir nos moveremos del punto

x al punto
x +

x . Por tanto, se produce una variaci on en u y p, adem as
se cumple que
F (x +x, u + +u, p +p) = 0 (14)
Como F = 0 en el punto inicial,si aplicamos una aproximaci on
de Taylor de primer orden en las perturbaciones, obtenemos:
F (x +x, u +u, p +p) F (x, u, p) (15)
=
3
i =1
F
x
i
x
i
+
F
u
u +
3
j =1
F
p
j
p
j
donde las derivadas parciales son evaluadas en (x, u, p)
Adem as como u y p dependen de x, podemos escribir las
perturbaciones de estas cantidades, en t erminos de la
perturbaci on en x
u =
3
i =1
u
x
i
x
i
=
3
i =1
p
i
x
i
(16)
p
j
=
3
i =1
p
j
x
i
x
i
=
3
i =1
2
u
x
i
x
j
x
i
=
3
i =1
p
i
x
i
x
i
, j = 1, 2, . . .
recordemos que p
j
=
u
x
j
y que

2
u
x
i
x
j
=

2
u
x
j
x
i
Substituyendo los resultados de ( 16) en ( 15), obtenemos:
3
i =1
F
x
i
+ F
u
p
i
+
3
j =1
F
p
j
p
i
x
j
x
i
= 0 (17)
como los diferenciales son arbitrarios, la Ecuaci on (17) se
cumple para cualesquier variaci on, en particular si x = (dx
1
, 0, 0)
o x = (0, dx
2
, 0) o x = (0, 0, dx
3
), por tanto se debe cumplir que
F
x
i
+ F
u
p
i
+
3
j =1
F
p
j
p
i
x
j
= 0, i = 1, 2, . . . (18)
La ecuaci on anterior la podemos reescribir como
3
j =1
F
p
j
p
i
x
j
=
p
F
x
p
i
= [F
x
i
+ F
u
p
i
] , i = 1, 2, 3 (19)
la cual es del llamado tipo cuasi-lineal
Vamos a intentar resolverlas por un m etodo est andar: denimos
un vector
dx
d
=
p
F (20)
donde es el factor de escala entre las longitudes de los dos
vectores.
Reescribimos el producto punto como
p
F
x
p =
1
dx
d

x
p =
1
dp
d
(21)
y la Ecuaci on (19) como
dp
d
= [
x
F + F
u
p] (22)
En total tenemos seis (6) ecuaciones entre (20) y (22). las
primeras tres denen una direcci on en el espacio y las ultimas
tres denen la raz on de cambio de p en esa direcci on. Se puede
visualizar que existen unas curvas que llenan el espacio y
asociado a ellas existen vectores tangentes. estas curvas son
llamadas curvas caractersticas.
En cada punto de una curva caracterstica, el vector p, dene
una direcci on normal a la supercie de nivel de u.
Finalmente, necesitamos una ecuaci on que nos describa la
raz on de cambio de u a lo largo de las caractersticas. Utilizando
la regla de la cadena obtenemos:
du
d
=
3
j =1
u
x
j
dx
j
d
=
3
j =1
p
j
F
p
j
(23)
= p
p
F
En cada punto de una curva caracterstica, el vector p, dene
una direcci on normal a la supercie de nivel de u.
Reescribiendo todas las EDO explcitamente, tenemos que
dx
1
d
= F
p
1
(24)
dx
2
d
= F
p
2
dx
3
d
= F
p
3
dp
1
d
= (F
x
1
+ p
1
F
u
)
dp
2
d
= (F
x
2
+ p
2
F
u
) (25)
dp
3
d
= (F
x
3
+ p
3
F
u
)
du
d
=
3
j =1
p
j
F
p
j
Podemos pensar en como una variable de integraci on. Una
curva dada es lo que en

Optica Geom etrica denominamos un
rayo.
este problema queda enmarcado como un problema de valores
iniciales en el cual las variables dependen del par ametro .
Ecuaciones Resolviendo la Ecuaci on Iconal por el m etodo de las caractersticas
Reescribiendo todas las EDO explcitamente, tenemos que
dx
1
d
= F
p
1
(26)
dx
2
d
= F
p
2
dx
3
d
= F
p
3
dp
1
d
= (F
x
1
+ p
1
F
u
)
dp
2
d
= (F
x
2
+ p
2
F
u
) (27)
dp
3
d
= (F
x
3
+ p
3
F
u
)
du
d
=
3
j =1
p
j
F
p
j
1
2
caractersticas
3
Retomando la Ecuaci on Iconal
(x))
2
1
c
2
(x)
= 0 (28)
Podemos identicar con u y las componentes de con .
Adem as no aparece explcito en esta ecuaci on, osea que
todas las derivadas con respecto a u = , representadas por el
t ermino F
u
en las ecuaciones caractersticas ser an nulas.
Por todo lo anterior al aplicar el m etodo de las caractersticas a
la Ecuaci on Iconal es m as simple que el caso general.
La magnitud del vector p es:
p = p = = 1/c
y podemos re-escribir la Ecuaci on Iconal como:
F(x
1
, x
2
, x
3
, p
1
, p
2
, p
3
) = p
2
1
+ p
2
2
+ p
2
3
1/c
2
(x) = 0 (29)
Las ecuaciones carateristicas se convierten en:
Las ecuaciones caracteristicas se convierten en:
dx
1
d
= 2p
1
(30)
dx
2
d
= 2p
2
dx
3
d
= 2p
3
Las ecuaciones caracteristicas se convierten en:
dp
1
d
= 2

x
1
1
c
2
) (31)
dp
2
d
= 2

x
2
1
c
2
)
dp
3
d
= 2

x
3
1
c
2
)
d
d
= 2
3
j =1
p
2
j
=
2
c
2
Obtenemos entonces siete ecuaciones y ocho inc ognitas,
incluyendo a como inc ognita, cada una en t erminos del
par ametro .
Para poder resolver el sistema escogeremos a nuestra
conveniencia, se discutir a varias opciones mas adelante.
Si hacemos independiente de , las primeras seis ecuaciones
son independientes de y forman un sistema cerrado de
ecuaciones para las seis variables: las componentes de x y p.
Podemos, para la Ecuaci on Iconal, encontrar los rayos sin
determinar el tiempo de propagaci on a lo largo de los rayos.
Selecci on
= 1/2: como el par ametro
Podemos escribir una formula m as compacta de las ecuaciones
caractersticas usando notaci on vectorial y asumiendo que
= 1/2. Esta selecci on est a motivada con el n de eliminar el
factor 2 que aparece en varias de las ecuaciones (30) y (31).
Este resultado es la forma de las ecuaciones del rayo que
aparecen en los capitulos 5 y 6.
Selecci on
dx
d
= p, (32)
dp
d
=
1
2
(
1
c
2
(x)
) =
c(x)
c
3
(x)
,
d
d
=
1
c
2
(x)
Selecci on
Si hacemos un an alisis dimensional de en este caso, = 1/2,
es un par ametro con unidades de [L
2
/T] , la escala que ser a
utilizada en el capitulo 6.
En la propagaci on en modelos 2.5D, la selecci on de surge
naturalmente como el par ametro que describe los efectos fuera
del plano.
Selecci on
= c
2
/2: , Tiempo de Propagaci on, como el par ametro
Para la selecci on = c
2
/2, las ecuaciones caracteristicas toman
la forma:
dx
d
= c
2
(x)p, (33)
dp
d
=
c
2
(x)
2
(
1
c
2
(x)
) =
c(x)
c(x)
,
d
d
= 1
Selecci on
= c
2
/2: , Tiempo de Propagaci on, como el par ametro
De la ultima ecuaci on obtenemos que = , excepto por una
constante aditiva.
Podemos representar las ecuaciones del rayo en t erminos del
tiempo de propagaci on como:
dx
d
= c
2
(x)p = c(x)
p, (34)
dp
d
=
c(x)
c(x)
Donde se ha utilizado c(x)p =

p en la primera ecuaci on.
Selecci on
= c(x)/2: s ,Longitud de Arco, como el par ametro del sistema
Geometria diferencial: la longitud de arco s se considera como el
par ametro natural de los sistemas geom etricos
Para trazar rayos con la longitud de arco como par ametro del
sistema, escojemos = c(x)/2 y el resultado es:
dx
d
= c(x)p, (35)
dp
d
=
c(x)
2
(
1
c
2
(x)
) =
c
2
(x)
c(x)
,
d
d
=
1
c(x)
Selecci on
Esto nos permite remmplazar con s para escribir las
ecuaciones del rayo con longitud de arco como el par ametro del
sistema, o sea:
dx
ds
= c(x)p =

p, (36)
dp
ds
=
c(x)
c
2
(x)
,
d
ds
=
1
c(x)
Selecci on
La condici on:
dx
ds

dx
ds
= 1 (37)
verica que el vector

p es unitario
Podemos analizar cualitativamente la forma que el rayo cambia
su recorrido, a partir de esta forma de las ecuaciones del rayo en
t erminos de las variables de longitud de arco.
Primero recordemos que el vector curvatura de una curva est a
dado por:
=
d
2
x
ds
2
(38)
Podemos calcular la curvatura de la primera forma de la
ecuacion para
dx
ds
:
=
d
ds
(
dx
ds
) =
d
ds
(c(x)p) =
dc(x)
ds
p + c(x)
dp
ds
(39)
= c(x)
dx
ds
p c(x)
c(x)
c
2
(x)
=
1
c(x)
{c(x) [c(x)
dx
ds
]
dx
ds
}
Interpretaci on de la Ecuaci on (39)
El t ermino de es la parte del gradiente de la velocidad que es
perpendicular al rayo.
Recordemos que el vector curvatura es opuesto al circulo que
realiza un contacto de por lo menos segundo orden con la curva.
(la longitud de la curvatura es el recproco del radio del crculo)
Observemos que el vector curvatura apunta en direcci on opuesta
al gradiente de la velocidad, o sea apunta en la direcci on de
reducci on de la velocidad.
Los rayos siguen el circulo de curvatura, esto es se curvan en la
direcci on del vector curvatura. O sea que los rayos se doblan en la
direcci on de reducci on de la velocidad y se alejan de la direcci on
de incremento de la velocidad.
Podemos pensar en la refraccion como el caso extremo. Donde la
magnitud del gradiente se convierte en innito.
Si substituimo la discontinuidad fuerte por una zona de transicion
suave pero r apida, entonces al moverse de una zona de alta
velocidad a una zona de baja velocidad, los rayos se curvan
hacia la normal lejos del gradiente, los rayos se dirigen de una
zona de baja velocidad a una zona de alta velocidad. O sea, los
rayos se focalizan cuando se dirigen de una zona de alta
velocidad a una de baja velocidad y se des-focalizan cuando se
dirigen de una zona de baja velocidad a una de alta velocidad.

teoriaRayosBasicaV3. 0

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

teoriaRayosBasicaV3. 0

Diunggah oleh

Hak Cipta:

Format Tersedia

UNA INTRODUCCI

ESAR PIEDRAHITA ESCOBAR

, se propaga en la direcci on de incremento de (x)

Tarea 1 Deducir la Ecuaci on ( 6 )

Anda mungkin juga menyukai