Universidad Veracruzana

Facultad de Fsica e Inteligencia Artificial

Billar circular cortado cu

antico

Trabajo recepcional en la modalidad de:

TESIS
como requisito parcial para obtener el ttulo de:

Licenciado en Fsica
PRESENTA

CARLOS MANUEL RODRIGUEZ

MARTINEZ

ASESOR:
CARLOS ERNESTO VARGAS MADRAZO

Xalapa Enrquez, Veracruz

Julio 2014

Universidad Veracruzana
Facultad de Fsica e Inteligencia Artificial
Licenciatura en Fsica
Billar circular cortado cu
antico
por Carlos Manuel Rodrguez Martnez

Resumen
Se realiza un estudio acerca de las propiedades de un billar circular cortado usando un
metodo basado en simulaciones computacionales. La simulacion consiste en considerar la
funci
on de onda en el interior del billar como un conjunto de rayos que sufren reflexiones
en su interior. Estos rayos poseen trayectorias clasicas y se pueden estudiar para conocer
cual es su contribuci
on para formar el estado cuantico.
Primero se dar
a una perspectiva de la motivacion para realizar este trabajo, siguiendo
con la descripci
on de los antecedentes relacionados al tema para poder profundizar en
la caracterizaci
on del billar. Posteriormente se explicara la metodologa a usar, para dar
paso a los resultados y su discusion. En los resultados se delimitan las regiones donde
los rayos individuales tienen trayectorias causantes de interferencia constructiva, la cual
se cree que puede ser causante de la formacion de un estado cuantico.

Agradecimientos
A mis abuelos, que desde lejos siempre me han cuidado y apoyado. A ellos les debo
mi carrera.
A mi madre y a mi padrastro, por estar conmigo siempre y apoyarme.
A mi novia, por motivarme siempre con su m
usica.
A mis amigos, que me hicieron disfrutar mucho de la carrera.
Y a los clientes de Cafe Fsica, por hacerme pasar buenos momentos y gratas compa
nas.

iii

Indice general

1. Antecedentes
1.1. Sistemas din
amicos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Formalismo Lagrangiano . . . . . . . . . . . . . . . . . . .
1.1.2. Formalismo Hamiltoniano . . . . . . . . . . . . . . . . . .
1.2. Caos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Caos determinista . . . . . . . . . . . . . . . . . . . . . .
1.2.2. Ejemplo de sistema mecanico con caos determinista: doble
1.2.3. Fractales . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.4. Dimensi
on fractal . . . . . . . . . . . . . . . . . . . . . . .
1.2.5. Secci
on de Poincare . . . . . . . . . . . . . . . . . . . . .
1.2.6. Exponente de Lyapunov . . . . . . . . . . . . . . . . . . .
1.3. Billares din
amicos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1. Coordenadas de Birkhoff . . . . . . . . . . . . . . . . . . .
1.3.2. Billar circular cortado . . . . . . . . . . . . . . . . . . . .
1.3.3. Exponente de Lyapunov en el billar . . . . . . . . . . . .
1.4. Sistemas cu
anticos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.1. Pozo de potencial circular y semicircular infinitos . . . . .
1.4.2. Metodo de expansion . . . . . . . . . . . . . . . . . . . . .
2. Metodologa
2.1. Aproximaci
on Eikonal . . . . . . .
2.2. Ecuaciones de movimiento . . . . .
2.3. Simulaci
on: Din
amica del billar . .
2.4. Simulaci
on: Rayo individual . . . .
2.4.1. Interacci
on con las fronteras
2.4.2. Algoritmo de lnea . . . . .
2.4.3. Error numerico . . . . . . .
2.5. Simulaci
on: Soluciones utilizando el
3. Resultados
3.1. Regi
on integrable . . . . . . . .
3.1.1. Densidad de trayectorias
3.1.2. Rayos individuales . . .
3.1.3. Suma de rayos . . . . .
3.2. Regi
on ca
otica . . . . . . . . .
3.2.1. Densidad de trayectorias

.
.
.
.
.
.

.
.
.
.
.
.
1

. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
metodo de expansion

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
pendulo
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .

4
4
5
6
8
8
9
12
13
14
15
17
18
19
23
23
24
28

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

31
31
32
33
34
35
36
39
41

.
.
.
.
.
.

43
43
43
44
49
51
51

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.

INDICE GENERAL

3.2.2. Rayos individuales . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

3.3. Discusi
on de los resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4. Conclusiones

57

5. Ap
endice
5.1. Glosario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. QBill: C
odigo fuente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3. wxChaos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

58
58
59
64

Introducci
on
En este trabajo se estudia el billar circular cortado cuantico, el cual se caracteriza por
ser un crculo cortado en alguna seccion, con longitud variable. El metodo de estudio
para este billar est
a basado en simulaciones computacionales. La simulacion consiste en
considerar la funci
on de onda en el interior del billar como un conjunto de rayos que
sufren reflexiones en su interior. Estos rayos poseen trayectorias clasicas y se pueden
estudiar para conocer cu
al es su contribucion para formar el estado cuantico.

Motivaci
on
Con este trabajo se desea investigar cual es el rol que tienen las trayectorias clasicas
del billar en la formaci
on de estados cuanticos. En el estudio de los sistemas cuanticos
se han llegado a observar cicatrices cu
anticas, que son regiones de mayor densidad en
las funciones de onda que aparecen alrededor de las trayectorias periodicas inestables
del mismo sistema cl
asico. De aqu surge la inquietud de conocer cual es el rol de estas
trayectorias cl
asicas a la hora de construir un estado cuantico.

Captulo 1

Antecedentes
El estudio de los billares requiere definir primero los conceptos de sistemas dinamicos
y caos, ya que son los elementos que los caracterizan. Las caractersticas de las trayectorias cl
asicas y los eigenestados que se presentan en el billar circular cortado ya han
sido estudiadas anteriormente, lo que nos proporciona una base para el estudio de las
caractersticas que se desean investigar en este trabajo.

1.1.

Sistemas din
amicos

Los sistemas din

amicos se pueden definir como una regla determinista para describir la
evoluci
on de un sistema conociendo su estado actual. Sea un sistema descrito por un
conjunto finito de variables dinamicas x = (x(1) , , x(n) ) Rn , la evolucion temporal
del sistema estar
a descrita por
d
x(t) = F(x(t), t).
dt
Para un sistema din
amico, conociendo x(0) se pueden resolver las ecuaciones para obtener el estado del sistema en un tiempo x(t) con t 0.
Al espacio (x(1) , , x(n) ) se le denomina espacio fase, y al camino seguido por
el sistema durante su evoluci
on temporal por el espacio fase se le denomina
orbita o
trayectoria.
De forma m
as general, a la hora de describir un sistema dinamico mas complejo se
debe considerar tambien la posibilidad de que exista un par
ametro de control o restricci
on . Este par
ametro de control es una constante cuyo valor afecta a la dinamica del
sistema. Un ejemplo de esto puede ser una constriccion del movimiento, la amplitud
4

Captulo 1: Antecedentes

Figura 1.1.1: Trayectoria en un espacio fase N = 3 de un pendulo doble. Se pintan

de diferente color las partculas del sistema.

de una frecuencia o una perturbacion externa al sistema, de manera que la evoluci

on
temporal del sistema queda descrita por
d
x(t) = F(x(t), t; ).
dt

1.1.1.

Formalismo Lagrangiano

En el estudio de los sistemas dinamicos existen varios formalismos con los que se puede
describir su evoluci
on temporal. Uno de ellos es el formalismo lagrangiano. Se puede
explicar y derivar f
acilmente utilizando el principio de mnima acci
on. La accion S es
una magnitud que expresa el producto de la energa implicada en un proceso por el
tiempo que dura este proceso. El principio de mnima accion enuncia: De todas las trayectorias posibles (compatibles con las ligaduras) que puede seguir un sistema dinamico
para desplazarse de un punto a otro en un intervalo de tiempo determinado, la trayectoria verdaderamente seguida es aquella que hace mnima la accion dada por la integral
temporal de la diferencia entre las energas cinetica T y potencial U
Z

t2

(T U )dt,

S=
t1

esto es S = 0. Se define la funcion lagrangiana a partir de

Z

t2

S=

L(q, q,
t)dt,
t1

con L(qi , qi , t) = T (q, q,

t) U (q, t), donde q(t) es la funcion que hace mnima la accion.
Sea q(t, ) un conjunto de trayectorias cercanas dadas por q(t, ) = q(t, 0) + (t) tales
que se anulan en los extremos, es decir (t1 ) = (t2 ) = 0, de manera que la accion sea

Captulo 1: Antecedentes

dependiente de este par

ametro
t2

L(q(t, ), q(t,
), t)dt,

S() =
t1

de aqu se tiene que la condici

on para encontrar un punto donde la integral es estacionaria
es

 
 dS 
 
= 0.
 d 
=0

Para encontrar las ecuaciones de movimiento que minimizan la accion se hace

S
=

t2

t1

L q
L q
+
q
q


dt.

El segundo termino de la integral se puede reescribir como

Z

t2

t1

Esto es debido a que

L q
dt =
q

t2

L dq
dt
t1 q dt


Z t2
L q t2
q d L
=
dt

q t1
t1 dt q
Z t2
q d L
=
dt.
t1 dt q

se anula en los extremos t1 y t2 . De manera que se obtiene

S
=

t2

t1

L
d L

q
dt q

q
dt.

Si se impone la condici
on de que la integral sea estacionaria
 



Z t2 
 dS 
 S
L
d L q 
 

=
=

dt
=0
 d 

q
dt q =0
t1
=0
entonces se obtiene
L
d L

= 0,
q
dt q

que es la ecuaci
on de Euler-Lagrange. Esta
se puede generalizar a varias dimensiones
realizando un proceso an
alogo al anterior, quedando de manera mas general
L
d L

= 0.
qi dt qi

1.1.2.

Formalismo Hamiltoniano

En un sistema Hamiltoniano con N grados de libertad, su dinamica se deriva del Hamiltoniano H(q, p, t), donde q = (q1 , . . . , qN ) son las coordenadas canonicas y p =

Captulo 1: Antecedentes

(p1 , . . . , pN ) los momentos. Para obtener las ecuaciones de movimiento de Hamilton se

puede partir del lagrangiano L(qi , qi , t), donde

dL =

N 
X
L

dqi +

qi

i=1

L
dqi
qi


+

L
dt,
t

pero se tiene que

pi =

L
qi

pi =

L
.
qi

De aqu
dL =

N
X

(pi dqi + pi dqi ) +

i=1

L
dt.
t

(1.1.2.1)

Para calcular el hamiltoniano se usa la transformacion de Legendre del lagrangiano L

H(qi , qi , t) =

N
X

qi pi L(qi , qi , t).

(1.1.2.2)

i=1

Tambien, el diferencial del hamiltoniano es

dH =

N 
X
H

H
dqi +
dpi
qi
pi

i=1


+

H
dt,
t

(1.1.2.3)

y diferenciando (1.1.2.2) se obtiene

dH =

N
X

(qi dpi + pi dqi ) dL.

i=1

Sustituyendo (1.1.2.1)
dH =

N
X

(qi dpi pi dqi )

i=1

L
dt
t

y comparando con (1.1.2.3) se obtienen las ecuaciones de movimiento de Hamilton

pi =

H
,
qi

qi =

H
,
pi

i = 1, . . . , N,

las cuales generan las trayectorias q(t), p(t) en un espacio fase de 2N dimensiones.
La relevancia de los sistemas hamiltonianos es que conociendo el hamiltoniano que
caracteriza al sistema se puede conocer su dinamica. Esto sera necesario posteriormente
para poder realizar una simulacion del billar.

Captulo 1: Antecedentes

1.2.

Caos

Un sistema ca
otico es un sistema dinamico que presenta una alta sensibilidad a las
condiciones iniciales, haciendo que su comportamiento futuro tenga una gran variacion.
Si bien el conocimiento de la existencia de sistemas caoticos se remonta a los trabajos de Henri Poincare donde analiza la dinamica de un sistema de 3 cuerpos, su estudio
formal comienza en 1963 cuando Edward Lorenz derivo una serie de ecuaciones diferen definio una distribuci
ciales para modelar la conveccion termica en la atmosfera. El
on
de velocidad v(r, t) y un campo de temperatura T (r, t), y luego en base a las ecuaciones
de Navier-Stokes y algunas simplificaciones, llego a las llamadas ecuaciones de Lorenz
dx
= (y x),
dt
dy
= x( z) y,
dt
dz
= xy z.
dt
Estas ecuaciones son notables por tener soluciones caoticas para ciertos parametros y

condiciones iniciales. Este

es un ejemplo de caos que se presenta en un sistema totalmente
determinista.

1.2.1.

Caos determinista

El termino caos determinista se usa para denotar el comportamiento irregular de los

sistemas din
amicos a partir de una descripcion puramente determinista de su evoluci
on
temporal, sin necesidad de invocar una fuente externa de ruido o cualquier tipo de
perturbaci
on. Este comportamiento se manifiesta como una fuerte sensibilidad a las
condiciones iniciales, lo cual tiene consecuencias en la prediccion de su evolucion temporal
a largo plazo.
Si bien un sistema ca
otico puede estar descrito por una regla determinista, su evolucion temporal es imposible de describir en terminos de funciones elementales.
Hist
oricamente la existencia de un elemento caotico en un sistema determinista fue
inesperado, y fue a
un m
as inesperado descubrir que el caos determinista puede ser encontrado en sistemas simples con pocos grados de libertad, y no ha sido hasta epocas
recientes, con la ayuda de computadoras, que se han podido estudiar a fondo este tipo
de sistemas. A pesar de parecer un caso excepcional, en realidad los sistemas caoticos
suelen ser la regla, y los sistemas integrables la excepcion.

Captulo 1: Antecedentes

Los billares son un ejemplo de sistema que en su mayora presentan caos determinista
(no en todos los casos). Esto sucede principalmente porque sus fronteras no son regulares,
haciendo su mec
anica muy compleja y sensible a peque
nas variaciones en sus condiciones
iniciales.
Uno de los ejemplos m
as sencillos para ilustrar el caos determinista es el mapa logsti
co. Este
se construye iterando puntos usando la regla
xn+1 = rxn (1 xn ).
Si se grafican los puntos resultantes de esta iteracion respecto al valor r se obtiene una
grafica como la que se muestra en la figura 1.2.1.

Figura 1.2.1: Gr
afica del mapa logstico, que es un ejemplo ilustrativo del caos determinista.

N
otese que el sistema presenta tendencia a ser divergente y caotico en los puntos
r > 3.57.

1.2.2.

Ejemplo de sistema mec

anico con caos determinista: doble p
endulo

El doble pendulo es un ejemplo de sistema mecanico que pone en evidencia la complejidad

que pueden generar este tipo de sistemas de construccion simple. Este sistema en su
forma m
as simple est
a formado por dos masas colgando de cuerdas de masa despreciable
y sin fricci
on, donde las masas estan sujetas a la accion de la gravedad (figura 1.2.2). Se
desea describir el movimiento de ambas masas.

Captulo 1: Antecedentes

10

Figura 1.2.2: Diagrama del pendulo doble.

Se define al vector r1 en funcion de los angulos 1 y 2 como



r1 = l sen(1 )i + cos(1 )j ,
cuya derivada es
r1 = l1 cos(1 )i l1 sen(1 )j.
Entonces el cuadrado del m
odulo de r1 es
2
r1 2 = l2 1 .

(1.2.2.1)

Analogamente para r2
r2 = l (sen(1 ) + sen(2 )) i + l ( hboxcos(1 ) + cos(2 )) j.
Su derivada




r2 = (1 lcos(1 ) + 2 lcos(2 ) i 1 lsen(1 ) + 2 lsen(2 ) j.
El cuadrado de su m
odulo es
i
h 2
2
r2 = l2 1 + 2 + 21 2 cos(1 2 ) ,

(1.2.2.2)

Captulo 1: Antecedentes

11

de esta manera se puede describir la energa cinetica del sistema como

1
1
T = T1 + T2 = m1 r1 + m2 r2
2
2
h 2
i
1
1
2
2
= m1 l2 1 + m2 l2 1 + 2 + 21 2 cos(1 2 )
2
2
i
1 2h 2
2
= l 1 (m1 + m2 ) + 2 m2 + 2m2 1 2 ,
2
y la energa potencial se define como
V = V1 + V2 = m1 gr1y + m2 gr2y = m1 glcos(1 ) m2 gl(cos(1 ) + cos(2 ))
= gl((m1 + m2 )cos(1 ) + m2 cos(2 )).
De estas magnitudes se obtiene el lagrangiano L = T V ,
i
1 h 2
2
L = l2 1 (m1 + m2 ) + 2 m2 + 2m2 1 2
2
+gl ((m1 + m2 )cos(1 ) + m2 cos(2 )) .

(1.2.2.3)

Utilizando la ecuaci
on de Euler-Lagrange se obtienen las ecuaciones de movimiento para
el sistema. Despejando para 1 ,


d 1 2

l (21 (m1 + m2 ) + 2m2 2 cos(1 2 ))

dt 2
= gl(m1 + m2 )sen(1 ) m2 1 2 l2 sen(1 2 ),

2
l2 1 (m1 + m2 ) + m2 l2 2 cos(1 2 ) = m2 l2 2 sen(1 2 )

gl(m1 + m2 )sen(1 ).

(1.2.2.4)

Despejando para 2 ,


d 1 2
l (2m2 2 + 2m2 1 cos(1 2 ))
dt 2
= glm2 sen(2 ) + l2 m2 1 2 sen(1 2 ),

l2 m2 2 + l2 m2 1 cos(1 2 ) = m2 l2 1 sen(1 2 )
glm2 sen(2 ).

(1.2.2.5)

Captulo 1: Antecedentes

12

Aqu se tiene un sistema de dos ecuaciones (1.2.2.4 y 1.2.2.5) y dos incognitas 1 y 2 .

De aqu se obtienen las ecuaciones de movimiento para este sistema:
g(2m1 + m2 )sen1 m2 gsen(1 22 ) 2sen(1 2 )m2 (22 l2 + 12 l1 cos(1 2 ))
1 =
l1 (2m1 + m2 m2 cos(21 22 ))
(1.2.2.6)
y
2sen(1 2 )(12 l1 (m1 + m2 ) + g(m1 + m2 )cos1 + 22 l2 m2 cos(1 2 ))
2 =
. (1.2.2.7)
l2 (2m1 + m2 m2 cos(21 22 ))
No es posible obtener la solucion en terminos de funciones elementales para este par
de ecuaciones diferenciales, lo que pone en evidencia la naturaleza caotica del sistema.
A la hora de resolver este tipo de sistemas se suelen utilizar metodos numericos como el
metodo de Euler o Runge-Kutta.

Figura 1.2.3: Trayectoria del pendulo doble.

En la figura 1.2.3 se puede ver la dinamica caotica de la trayectoria del segundo

pendulo variando ligeramente las condiciones iniciales. Este ejemplo sirve para ilustrar
la naturaleza ca
otica de un sistema simple en apariencia y, por lo mismo, para resolverlo
es necesario hacer uso de una simulacion por metodos numericos [6].

1.2.3.

Fractales

Los fractales son objetos geometricos cuya dimensionalidad no es entera y exhiben autosimilaridad en todas las escalas. Se suelen construir a partir de reglas iterativas simples,
series complejas o analizando el comportamiento de un sistema fsico, entre otros.

Captulo 1: Antecedentes

13

En la naturaleza se pueden observar formas que se asemejan a una estructura fractal:

los rayos, la forma de un romanescu, la forma de algunas hojas, las ramas de un arbol,
etc.
El conjunto de Mandelbrot es un ejemplo de fractal muy popular que debe su fama
a que fue de los primeros conjuntos de dinamica compleja que mostraron propiedades
fractales. Este se crea a partir de la serie recurrente zn+1 = zn2 + c.

(b) Aumento en seccion del Mandelbrot.

(a)

Figura 1.2.4: Conjunto de Mandelbrot.[13]

Los fractales han sido usados en el terreno artstico para la creacion de efectos especiales, terrenos artificiales o como producto artstico por s mismos.
En la fsica se pueden usar como herramienta de analisis de sistemas caoticos. Si bien
su estructura irregular no da una idea clara de la fsica del sistema, existen metodos para
caracterizarlos y poder describirlos de una manera cuantitativa.

1.2.4.

Dimensi
on fractal

La dimensi
on fractal es una generalizacion del termino matematico de dimension que
incluye valores no enteros.
En esencia es una magnitud que mide la complejidad que presenta alg
un patron y/o
cuanto espacio es capaz de llenar la figura. Figuras geometricas regulares como una lnea,
un cuadrado o un cubo tendran dimensiones fractales 1, 2 y 3 respectivamente.
Para el an
alisis numerico la dimension de MinkowskiBouligand (mas conocida como

dimensi
on de conteo de cajas) es utilizada frecuentemente. Esta
provee una estimaci
on
del n
umero de cuadrculas que llena un objeto respecto al tama
no que se utiliza para
medirlo, y su definici
on es
log N ()
,
0 log(1/)

D = lm

Captulo 1: Antecedentes

14

donde N es el n
umero de cuadrculas contadas, y es el tama
no de la cuadrcula.
En la figura 1.2.5 se muestra un ejemplo de un conteo de cajas sobre el mapa de
henon.

Figura 1.2.5: Conteo de cajas en el mapa de henon. Realizado con el software wxChaos.

1.2.5.

Secci
on de Poincar
e

Una herramienta matem

atica u
til para analizar la dinamica compleja de una trayectoria
en el espacio fase es la secci
on de Poincare. Esta tecnica consiste en analizar una secci
on
del espacio fase colocando una superficie y seleccionando los puntos de interseccion con
la orbita del sistema.

Figura 1.2.6: Construccion de una seccion de Poincare.

A partir de esto se puede determinar el tipo de caos que presenta un sistema. Por
lo general la superficie de corte se escoge de tal manera que maximice la cantidad de
informaci
on que se puede obtener, es decir, debe ser una region suficientemente visitada
durante su din
amica.

Captulo 1: Antecedentes

15

Un ejemplo lo podemos observar en el oscilador de Duffing

x
+ x + x + x3 = cos(t),

que es usado para modelar ciertos osciladores no lineales. Este

presenta una dinamica
caotica como se muestra en la figura 1.2.7.

(a)

(b) Grafica de su orbita en el espacio fase.

Figura 1.2.7: Dinamica del oscilador de Duffing.

Tomando una secci

on de Poincare haciendo un corte en un periodo T =

se obtiene

una gr
afica como en la figura 1.2.8.

Figura 1.2.8: Seccion de Poincare del oscilador de Duffing.

1.2.6.

Exponente de Lyapunov

La din
amica ca
otica se caracteriza por una divergencia exponencial de las trayectorias
inicialmente cercanas. El exponente de Lyapunov es una medida de esta divergencia,
caracterizada por un factor .

Captulo 1: Antecedentes

16

Se comienza suponiendo dos trayectorias cercanas, x0 y x0 + . Definiendo

n = F n (x0 + ) F n (x0 )
= F n (x0 ) + 

dF n (x0 )
+ F n (x0 ),
dx0

donde n denota el n
umero de iteraciones del sistema y F n es el sistema iterado n veces.
Considerando que F n = F (F n1 ), entonces
n1
Y
dF n (x0 )
dF (n1) (x0 )
0
n1
n = 0
= 0 F (F
(x0 ))
= 0
F 0 (xk ).
dx0
dx0
k=0

Aqu se supone que las trayectorias divergen exponencialmente, de manera que

n = 0 en ,
entonces

  n1
 n  Y 0
n =   =
F (xk ).
0
k=0

El exponente de Lyapunov queda definido como

n1

1 X  0
ln F (xk ) .
n
k=0

La utilidad del exponente de Lyapunov reside en su capacidad para analizar la convergencia de una
orbita. Si < 0 la orbita tiende hacia alg
un valor, si > 0 no tiende
hacia ning
un valor. Cuando = 0 la trayectoria no diverge.
Un ejemplo ilustrativo del uso del exponente de Lyapunov esta en el diagrama de
bifurcaci
on del mapa logstico. El mapa logstico se construye a partir de la relacion de
recurrencia xn+1 = rxn (1 xn ).
En la figura 1.2.9 se aprecia la transicion a la seccion caotica, y su grafica del exponente de Lyapunov que adquiere valores mayores que 0 en la misma seccion.

Captulo 1: Antecedentes

17

Figura 1.2.9: Mapa logstico junto con su exponente de Lyapunov. La transicion a la

regi
on ca
otica se ve reflejada en el exponente de Lyapunov.

1.3.

Billares din
amicos

Los billares son sistemas din

amicos que muestran una dinamica compleja, siendo en
esencia sistemas de construcci
on simple. Estan sujetos a reflexiones cuando la partcula
se encuentra con los bordes del sistema, esta reflexion ocurre sin ninguna perdida de
energa. Pueden ser ca
oticos o integrables, esto depende de la forma del billar o de sus
condiciones iniciales. Su din
amica se describe a partir del hamiltoniano
H(q, p) =

p2
+ V (q),
2m

donde la forma del potencial es

0,
q
V (q) =
, q
/

es la regi
on permitida para la dinamica del billar.
A pesar de su din
amica sencilla, al resolver el sistema este puede llegar a presentar
caractersticas ca
oticas.

Captulo 1: Antecedentes

18

Se han utilizado billares para modelar sistemas termodinamicos (Billar de Sina), estudiar caractersticas de las fibras opticas y resolver problemas de potenciales cuanticos.
La versi
on cu
antica de un billar se suele estudiar resolviendo la ecuacion de Helmholtz
(2 + k 2 ) = 0,
aunque tambien existen otros metodos como el metodo de expansi
on, que se detallara en
la secci
on 1.4.2.

1.3.1.

Coordenadas de Birkhoff

Las coordenadas de Birkhoff son un tipo de coordenadas u

tiles para describir la dinamica
de un billar. En estas se considera que toda la frontera del billar es un arco de magnitud
total 1, de manera que se definen
s = posici
on dentro de la fraccion de arco de la frontera,
p = cos,
donde es la magnitud total del momento y es el angulo entre el vector velocidad y
la normal a la colisi
on. En el caso del billar que se desea estudiar se puede normalizar
el momento, de manera que = 1.

Figura 1.3.1: Coordenadas de Birkhoff en colision con frontera.

La utilidad principal de las coordenadas de Birkhoff en este trabajo es que permiten

visualizar el mapa de Birkhoff, el cual es un analogo a la secci
on de Poincare para
los billares. Con esta herramienta se puede visualizar la dinamica del billar facilmente,
ya que s
olo se necesitan las coordenadas de Birkhoff en las colisiones con la frontera.
La din
amica que ocurre dentro del billar no es relevante, ya que la trayectoria de la
partcula s
olo cambia cuando ocurre la interaccion con las fronteras, de manera que no

Captulo 1: Antecedentes

19

resulta necesario conocer la informacion completa de la orbita del sistema, pues con las
coordenadas de Birkhoff se tiene toda la informacion necesaria.

1.3.2.

Billar circular cortado

Figura 1.3.2: Diagrama del billar circular cortado.

El billar circular cortado es un tipo de billar caracterizado por una forma de disco
cortado en una secci
on. Sus parametros mas relevantes son:

W : Distancia de corte.
R: Radio del crculo.
:

W
R.

Anteriormente se ha realizado el analisis fractal de la dispersion en un billar de disco

cortado en su versi
on cl
asica [2]. Tambien se ha realizado un estudio estadstico detallado
utilizando simulaciones computacionales [11], pero ambos utilizando sistemas clasicos.
Tambien se han realizado estudios acerca de las regiones que presentan caos en la
versi
on cu
antica del billar de disco cortado [3], habiendose encontrado en ambos estudios
resultados similares respecto a los parametros que producen caos en el sistema.
En los estudios centrados en la dinamica clasica del billar se han podido encontrar
regiones donde se aprecia la transicion en la dinamica del billar del caos suave al caos
duro, siendo el factor determinante:

Captulo 1: Antecedentes

20

0 < < 1: Caos suave.

1 < < 2: Caos duro.
= 1, = 2: Din
amica integrable.

Esto es apreciable a la hora de trazar los mapas de Birkhoff variando el parametro

(figuras 1.3.3 y 1.3.4).

(a) Caos suave.

(b) Caos duro.

Figura 1.3.3: Mapa de Birkhoff. Regiones caoticas. En el caos suave el mapa de

Birkhoff tiene regiones no visitadas, en el caos duro se llena por completo en una
simulacion arbitrariamente larga.

(a) = 1

(b) = 2

Figura 1.3.4: Mapa de Birkhoff. Regiones integrables.

En [2] se propone un metodo de estudio para la dinamica del billar circular cortado.
El estudio consiste en colocar dos aperturas en el billar para poder observar si existe
transmisi
on o reflexi
on. Estas aperturas se colocan en el punto de inyeccion de la partcula y en la parte inferior del billar (vease figura 1.3.5), con un angulo total de apertura
de 10 . Para este metodo de estudio se simula la dinamica clasica y se grafica de un
color (blanco o negro) dependiendo de si ocurrio reflexion o transmision. Esto da lugar
a graficos de barras en los cuales se visualizan los resultados de la simulacion respecto a
, para un determinado.

Captulo 1: Antecedentes

21

Figura 1.3.5: Billar de disco cortado. Diferencia de trayectorias ante una peque
na
variacion en las condiciones iniciales.

Figura 1.3.6: Gr
afico de barras para el billar circular cortado, donde se mapea la
apertura por donde sale la partcula que se introduce al billar; negro si hay transmision
y blanco si hay reflexi
on. Este tipo de grafico nos ayuda a identificar la transicion entre
caos suave y caos duro, como se muestra en la figura 1.3.7.

Lo interesante de los gr
aficos de barras es que realizando una grafica continua para
los valores de y se puede visualizar la transicion entre la dinamica del caos suave y
el caos duro.
Se han realizado estudios [3] acerca de los estados cuanticos que se presentan en este
tipo de billar. Para esto se utilizo el metodo de elementos de frontera, con el cual se
obtuvieron los eigenestados que se muestran en la figura 1.3.9.

Captulo 1: Antecedentes

22

Figura 1.3.7: Gr
afico de barras con transicion [11]. Se resaltan de diferente color las
regiones integrables, las de caos suave y las de caos duro. En la region de caos duro los
gr
aficos de barras adquieren una estructura fractal.

Figura 1.3.8: Dimensi

on fractal por conteo de cajas df para grafico de barras como el
que se muestra en la figura 1.3.7 [2]. Se calcula la dimension fractal para cada w. Np es
el n
umero total de cajas y NB el n
umero de cajas que poseen un elemento del conjunto
fractal. La transicion del caos suave al caos duro se ve reflejada.

Figura 1.3.9: Densidad de probabilidad para algunos eigenestados, con  = EmR

~2 . (a)
= 0.5 y  = 740.79. (b) = 0.5 y  = 1156.07. (c) = 0.9 y  = 365.64. (d) = 0.9
y  = 371.99. (e) = 1.5 y  = 258.03. (f) = 1.5 y  = 268.80.

Captulo 1: Antecedentes

1.3.3.

23

Exponente de Lyapunov en el billar

Con las coordenadas de Birkhoff podemos definir una funcion que nos permita obtener
un nuevo par de coordenadas a partir de la anterior. Sea,
(sn+1 , pn+1 ) = F (sn , pn ).

Para estudiar la divergencia de las trayectorias del billar el termino del momento no
es relevante, de manera que se puede considerar solo la transformacion
sn+1 = F (sn ).
La derivada de esta funci
on se puede aproximar
F 0 (sn ) '

F (sn + h) sn+1
F (sn + h) F (sn )
=
,
h
h

pero sn +h es una trayectoria con una condicion inicial adyacente a sn , se puede etiquetar
como s0n . Entonces
F 0 (sn ) '

s0n+1 sn+1
.
h

As el exponente de Lyapunov para el billar queda



N 1
1 X  s0n+1 sn+1 
'
ln 
,
N
h
n=0

donde N es el n
umero de rebotes con las fronteras.

1.4.

Sistemas cu
anticos

A escalas muy peque

nas, en las cuales se comienzan a apreciar los efectos cuanticos, se
observa que la materia tiene propiedades ondulatorias. En concreto, la energa es una
funci
on de la frecuencia E = h, y la longitud de onda esta relacionada con el momento
de la partcula p =

h
.

Esto dio lugar al desarrollo de la ecuacion de Schrodinger, que

describe la funci
on de onda para los sistemas cuanticos descritos por un potencial V (r)
~2 2
(r, t)

H(r,
t) =
(r, t) + V (r)(r, t) = i~
.
2m
t
Para casos estacionarios se usa la ecuacion de Schrodinger independiente del tiempo
~2 2

H(r)
=
(r) + V (r)(r) = E(r).
2m

Captulo 1: Antecedentes

24

Debido a la linealidad de la ecuacion resulta conveniente resolver para los estados estacionarios
n (r) = En n (r).
H

En esta ecuaci
on En son los eigenvalores y n (r) los eigenestados. Estos
poseen las
siguientes propiedades:

Son ortogonales. Para n 6= m

n (x)m (x)dx = 0.

Forman un conjunto completo. Cualquier solucion que satisface

Z

|(x)|2 dx <

se puede expandir en terminos de

(x) =

cm m (x).

La funci
on de onda (x) permite conocer la probabilidad P (x)dx = (x)(x) de
encontrar a la partcula en una region determinada y nos permite obtener informaR
ci
on del sistema, como valores de expectacion < f (x) >= (x)f (x)(x)dx.
Las eigenfunciones pueden ser multiplicadas por una constante de manera que sean
normalizadas, as:
Z

(x)(x)dx = 1,

y
Z

n (x)m (x)dx = nm .

En algunos casos dentro de este trabajo sera u

til usar la notacion bra-ket, con la cual
se simplifican muchas operaciones
Anm

>=
=< n|A|m

1.4.1.

m (x)dx.
n (x)A

Pozo de potencial circular y semicircular infinitos

Un caso particular del potencial del billar que se desea estudiar, en concreto el correspondiente a = 2, se puede investigar calculando la ecuacion de Schrodinger. En este

Captulo 1: Antecedentes

25

caso, con un radio a se tiene un potencial circular

(
v(r) =

r<a

ra

A partir de la ecuaci
on de Schrodinger

H(r,
) = E(r, ),
el potencial circular presenta simetras en la parte angular, as que se puede simplificar
haciendo uso de la ecuaci
on radial
~2
2r2



2
~2
1 2
r

Lz + v(r) = E
+
r
2r r
2r2

con
nm (r, ) = Rnm (r)m ().
As, resolviendo para la regi
on r < a y con k 2 =

2E
,
~2

la ecuacion radial queda

d2 R(r) 1 dR(r) m2
+
2 R(r) + k 2 R(r) = 0,
dr2
r dr
r
cuya soluci
on est
a en terminos de una funcion cilndrica de Bessel
Rnm (r) = AJm (knm r).
knm
a

tiene el valor del n-esimo cero de la funcion cilndrica de Bessel. La parte angular

tiene soluci
on de la forma
m () = eim .
Esto nos da la soluci
on completa para el pozo de potencial circular infinito
nm (r, ) = AJm (knm r)eim .
n y m son n
umeros enteros que estan relacionados con los momentos radiales y angulares
respectivamente, que nos dan el conjunto de eigenestados posibles para este potencial.
A es la constante de normalizacion, entonces la solucion queda como se muestra en las
figuras 1.4.1, 1.4.2, 1.4.3, 1.4.4.
La transformada de Fourier para este potencial [8] nos da informacion acerca de
que frecuencias contribuyen a la construccion del estado cuantico. Para la solucion del

Captulo 1: Antecedentes

26

pozo de potencial circular infinito la transformada de Fourier es

(i)m imk
.
e
F(nm )(k, k ) = (knm k)
2knm
Esto nos dice que para la construccion del estado solo contribuyen ondas planas con
n
umero de onda knm .
Para el caso del pozo de potencial semicircular infinito se puede trabajar con la
misma soluci
on radial pero imponiendo una condicion de frontera para la parte angular.
Definiendo el potencial
(
v(r) =

r < a, || <

r a, ||

la soluci
on angular es
h 
i
m () = sen m +
.
2
Esto nos da la soluci
on completa para el pozo de potencial semicircular infinito
h 
i
nm (r, ) = AJm (knm r) sen m +
.
2

Figura 1.4.1: Eigenestados con n = 1.

Figura 1.4.2: Eigenestados con n = 1.

Captulo 1: Antecedentes

Figura 1.4.3: Eigenestados con n = 2.

Figura 1.4.4: Eigenestados con n = 2.

27

Captulo 1: Antecedentes

1.4.2.

28

M
etodo de expansi
on

La ecuaci
on de Schr
odinger resulta relativamente simple de resolver en sistemas que
presenten las simetras adecuadas. En la seccion anterior se hizo uso de la simetra del
pozo de potencial circular para separar las soluciones en dos partes, una radial y una
angular, de manera que los estados dentro del potencial se pueden describir en base a
dos n
umeros cu
anticos.
Sin embargo los casos regulares e integrables son la excepcion a la regla, existe una
gran variedad de potenciales en los cuales no es posible obtener soluciones analticas.
En el billar circular cortado la solucion no es integrable en la mayora de los casos, de
manera que es necesario hacer uso de un metodo numerico para obtener las soluciones.
En esta secci
on se describir
a el Metodo de Expansi
on (ME) [7].
Sup
ongase un billar de forma arbitraria, el cual se puede dividir en tres regiones
(Vease figura 1.4.5)

V (x) =

0,

rI
r II

V0 ,

r III

Figura 1.4.5: (I) Billar 2D generico. (II) Region rectangular que encierra billar (I).
(III) Region de potencial infinito.

La regi
on II es una regi
on rectangular que encierra la region I, que es la que describe
las fronteras del billar que se desea estudiar.
Se parte de la ecuaci
on de Schrodinger independiente del tiempo
n (r) =
H


~2 2

+ V (r) n (r) = En n (r).

2m

(1.4.2.1)

Para resolver esta ecuaci

on en el billar se hara una aproximacion en la que se utiliza
es la frontera de la regi
una condici
on de frontera de Dirichlet (r)| = 0, donde
on
r

II, es decir, una frontera rectangular, y se supondra un potencial V0 muy grande, de

manera que para fines computacionales sea comparable a un potencial infinito. Con esta

Captulo 1: Antecedentes

29

condici
on de frontera las soluciones se pueden expresar en terminos de
(r) =

cm m (r),

(1.4.2.2)

donde cm son coeficientes de expansion a ser determinados, y

r
m (r) m1 ,m2 (x1 , x2 ) =

2
sen
a1

m 1 x1
a1

r

2
sen
a2

m2 x2 .
a2

Estas funciones m forman un conjunto ortonormal, de manera que

Z
drn (r)m (r) = nm .
Se inserta la ecuaci
on 1.4.2.2 en la ecuacion 1.4.2.1:

cm m (r) = En

X

cm m (r),


m (r) En m (r) cm = 0.
H

Se multiplica por m (r) en la izquierda

X


m (r) n (r)En m (r) cm = 0,
n (r)H

y al integrar en todo el espacio respecto al vector de posicion se obtiene

X Z


Z
i
m (r) En dr [n (r)m (r)] cm = 0,
dr n (r)H
h

(Hnm En nm ) cm = 0,

(1.4.2.3)

que es la ecuaci
on de eigenvalores que se desea resolver. Para esto es necesario encontrar
la forma del hamiltoniano Hnm . Partiendo de
2
=~
H
2m

2
2
+
x21 x22


+ V (r),

se obtiene
Z

m (r)
d2 rn (r)H


 2 2 2
Z
~
m1 m22
2
= d r
+ 2 n (r)m (r) + V (r)n (r)m (r) .
2m
a21
a2

Hnm =

Captulo 1: Antecedentes

30

Por la forma del potencial es necesario definir

Z
nm =

d2 rn (r)m (r),

(1.4.2.4)

II

quedando as



~2 2 m21 m22
d r
=
+ 2 n (r)m (r) + V0 n (r)m (r)
2m
a21
a2
II

 2
2
2
2
~
m1 m2
=
+ 2 nm + V0 nm .
2m
a21
a2
Z

Hnm

De esta manera se puede resolver la ecuacion 1.4.2.3, y al obtener sus eigenvalores y

eigenfunciones se conocen sus niveles de energa y soluciones respectivamente.
Con esto se puede implementar un metodo numerico para encontrar las soluciones.
Debido a los lmites computacionales es necesario restringir el n
umero de terminos M
en la expansi
on descrita en la ecuacion 1.4.2.2, ya que el tama
no de la matriz Hnm que
se desea calcular ser
a de M 2 M 2 . Los pasos para resolver el sistema son:

1. Escoger los valores M y V0 considerando la precision del software/hardware y la

duraci
on de c
omputo deseada.
2. Definir las fronteras del sistema.
3. Calcular todos los elementos de nm numerica o analticamente utilizando la frontera definida.
4. Construir Hnm .
5. Obtener eigenvalores y eigenvectores de Hnm , que corresponden a En y cm .

Captulo 2

Metodologa
El metodo de estudio para este trabajo consiste en considerar a la funcion de onda como
un conjunto de rayos que sufren reflexiones clasicas. La aproximacion Eikonal se suele
utilizar para realizar la conexi
on entre ondas electromagneticas y optica geometrica. Se
puede utilizar este mismo procedimiento para funciones de onda. Con esto se puede
estudiar la contribuci
on de un rayo individual a la formacion del estado cuantico.

2.1.

Aproximaci
on Eikonal

La aproximaci
on Eikonal se puede utilizar para establecer una relacion entre las ondas
electromagneticas y la
optica geometrica. En este trabajo se utilizara para justificar el
tratamiento de la funci
on de onda como un conjunto de rayos que sufren reflexiones
clasicas. Para esto se propone el anszat
(q, t) = Ae

iR(q)
~

Introduciendo este anszat en la ecuacion de Schrodinger

2 (q, t) +

2mE
(q, t) = 0,
~2

se obtiene
~i2 R(q, t) |R(q, t)|2 + 2mE = 0.
Ya que R(q, t) R debe ocurrir que ~i2 R(q, t) = 0. En este sentido no se esta realizando ninguna aproximaci
on, ya que al principio se haba definido que se trabaja con ondas
planas de amplitud constante, entonces el termino ~i2 R(q, t) debe ser cero. Para ondas
que no cumplen este requisito se puede justificar que para altas frecuencias el termino
31

Captulo 2: Metodologa

32

2 R(q, t) << |R(q, t)|2 . Entonces queda

|R(q, t)|2 = 2mE.
Con k 2 = 2mE se llega a
R(q, t) = k
s=k

dq
,
ds

donde
s es un vector ortogonal al frente de onda. Realizando el producto vectorial con
dq por ambos lados queda
R dq = dR,
k

dq
dq = |
s|ds = ds,
ds

es decir,
dR = k ds.
Esto significa que se puede definir la funcion de onda a partir de trayectorias sobre rayos
que son ortogonales al frente de onda
i

(q, t) ' Ae ~

R
Rayo

k ds

Para los fines de la simulaci

on computacional se utilizara un n
umero finito de rayos, con
lo que se espera poder describir una funcion de onda aproximada.
La ventaja de poder describir la funcion por medio de rayos individuales es que
estos, al sufrir colisiones cl
asicas, nos permiten conocer sus trayectorias al resolver las
ecuaciones de movimiento. Si cada rayo individual tiene un angulo inicial , se puede
etiquetar a la funci
on de onda que resulta de ese rayo individual como . Se espera que
la funci
on de onda pueda construirse a partir de la suma de todos estos rayos individuales
(q, t) '

Ai i (q, t),

donde Ai es un coeficiente que pesa la contribucion de cada rayo.

2.2.

Ecuaciones de movimiento

En la secci
on 1.3 se discuti
o que la partcula en el billar interact
ua solo con sus fronteras,
de manera que su potencial es de la forma
(
v(r) =

0,

(x, y)

, (x, y)
/

Captulo 2: Metodologa

33

Esto se resuelve con el hamiltoniano

H(x, y, px , py ) =

p2y
p2x
+
+ V (x, y).
2m 2m

De aqu se obtienen las ecuaciones de movimiento

px = 0,
py = 0.
Integrando este resultado se obtiene
x(t) = x(0)t

+ x(0),
y(t) = y(0)t

+ y(0).
Este resultado indica que la din
amica en el interior del billar corresponde a un movimiento rectilneo uniforme, de manera que la simulacion se restringe a calcular u
nicamente
lo que sucede en las fronteras del billar. Esto se puede realizar de dos maneras:
1. Calculando la din
amica paso a paso y verificando si hay colision con la frontera
para cambiar la direcci
on de la partcula.
2. Calculando las intersecciones con la frontera y de ah escoger la nueva direccion.
A partir del desarrollo del hamiltoniano se observa que la dinamica en el interior no es
relevante, de manera que el metodo mas conveniente para simular la dinamica del billar
es calculando las intersecciones.

2.3.

Simulaci
on: Din
amica del billar

La din
amica de la simulaci
on de las colisiones del billar puede resumirse como sigue:

1. Establecer las condiciones iniciales. Fijar los parametros de las fronteras: crculo y
corte.
2. A partir de la posici
on y la velocidad de la partcula, avanzar hacia las posibles
intersecciones.
3. Escoger la intersecci
on m
as cercana y correspondiente a su direccion.
4. Calcular la nueva velocidad de rebote.

Captulo 2: Metodologa

34

5. Guardar el punto de interseccion y volver al paso 2 hasta llegar al n

umero maximo
de iteraciones.

2.4.

Simulaci
on: Rayo individual

En estudios anteriores [2] acerca del billar circular cortado, se encontraron zonas que
delimitan la din
amica del billar al caos duro o caos suave, que son dependientes del
parametro . Ante esto surge la duda de si este efecto es notable en las contribuciones
de los rayos individuales.
Para realizar este estudio se realizo un programa que simula la dinamica del billar
circular cortado, y a su vez se estudia el paso de la trayectoria de un rayo con una onda
asociada. A esta propiedad ondulatoria se le denominara onda. El funcionamiento de
este programa consiste en colocar una red o grid sobre el area de simulacion del billar
circular cortado, con la cual se podra registrar informacion acerca del paso de la onda
que se introduce. Se espera que al variar la longitud de onda se encuentren resultados
diferentes.

(b) Trayectoria que pasa por el grid.

(a) Grid sobre el billar.
Figura 2.4.1: Descripci
on del grid. Se muestran en azul los elementos que contienen
a la trayectoria, son estos a los que se les asignara el valor de la fase.

Durante el curso de la simulacion la fase de la onda va almacenandose en el grid con

los sucesivos rebotes de la partcula, de manera que si se realiza un n
umero considerable
de rebotes ser
a posible obtener una superficie con suficiente informacion acerca del paso
de la partcula.
Con esta informaci
on se puede construir un mapa de densidades que nos ayudara a
determinar c
omo son las estructuras que se forman dentro del billar.
El tama
no del grid, que viene determinado por el n
umero de elementos que posee,
es un factor a considerar, ya que un tama
no demasiado peque
no limita la cantidad de