If 1505

Universidade Estadual de Campinas
Instituto de Fsica Gleb Wataghin
Dissertao de Mestrado
Caos Quntico Relativstico

Rafael Soares Pinto
Comisso julgadora: Prof. Dr. Patrcio Anibal Letelier Sotomayor (Orientador) - IMECC/UNICAMP Prof. Dr. Alberto Saa - IMECC/UNICAMP Prof. Dr. Marcio Jos Menon IFGW/UNICAMP Coorientador: Prof. Dr. Marcus A. M. de Aguiar IFGW/UNICAMP
Dissertao apresentada ao Instituto de Fsica Gleb Wataghin para a obteno do ttulo de Mestre em Cincias. 5 de maio de 2011
Este exemplar corresponde redao da verso final da Dissertao de Mestrado defendida pelo aluno Rafael Soares Pinto e aprovada pela Comisso Julgadora.
Campinas, 13 de maio de 2011
Prof. Dr. Patrcio Anibal Letelier Sotomayor
FICHA CATALOGRFICA ELABORADA PELA BIBLIOTECA DO IFGW UNICAMP
P658c
Pinto, Rafael Soares Caos quntico relativstico / Rafael Soares Pinto. Campinas, SP : [s.n.], 2011. Orientadores: Patrcio Anbal Letelier Sotomayor e Marcus Alozio Martinez de Aguiar. Dissertao (mestrado) - Universidade Estadual de Campinas, Instituto de Fsica Gleb Wataghin. 1. Caos quntico. 2. Relatividade especial (Fsica). 3. Sistemas dinmicos. I. Sotomayor, Patricio Anbal Letelier. II. Aguiar, Marcus Aloizio Martinez de. III. Universidade Estadual de Campinas. Instituto de Fsica Gleb Wataghin. IV. Ttulo. (vsv/ifgw)
Ttulo em ingls: Relativistic quantum chaos Palavras-chave em ingls (Keywords): 1. Quantum chaos 2. Special relativity (Physics) 3. Dynamic systems rea de Concentrao: Fsica Geral Titulao: Mestre em Fsica Banca Examinadora: Prof. Patricio Anbal Letelier Sotomayor Prof. Alberto Vazquez Saa Prof. Marcos Jos Menon Data da Defesa: 05-05-2011 Programa de Ps-Graduao em: Fsica
iii
Agradecimentos
Agradeo a todos os envolvidos, direta ou indiretamente, com esse trabalho. Agradeo especialmente ao Patricio Letelier por ter sido meu orientador nesses dois anos. Agradeo tambm ao apoio nanceiro recebido pelo CNPq e pela FAPESP.
iv
Resumo
Nesta dissertao analisamos bilhares usando a teoria da relatividade especial, tanto classicamente quanto quanticamente. Inicialmente revisamos a teoria de bilhares clssicos, com nfase em como se d sua evoluo no tempo. Ento estudamos a existncia (ou no) de acelerao de Fermi em bilhares forados: bilhares onde a parede se move e, quando a partcula colide, ela pode ganhar ou perder energia. Estudamos alguns exemplos de bilhares, regulares e caticos, na dinmica relativstica procurando quais condies so necessrias para que exista acelerao de Fermi relativstica Concentramos-nos ento no estudo de bilhares qunticos. Aps uma reviso dos conceitos bsicos, estudamos o mtodo da integral de contorno para o clculo do espectro do bilhar e analisamos suas propriedades estatsticas, tanto para o caso no relativstico (a equao de Schroedinger) quanto para o caso relativstico, o bilhar de Dirac, introduzido por Berry e Mondragon.
Abstract
In this dissertation we analyze billiards using the theory of special relativity, both in the classical and quantum versions. First we review classical billiards, with emphasis in its time evolution. Then we study the existence (or lack of) Fermi acceleration in driven billiards, billiards where the walls are moving and, when the particle collides, it can gain or lose energy. We studied some examples, regular and chaotic ones, in the relativistic dynamics, and analyzed the necessary conditions for the existence of relativistic Fermi acceleration. We focus then on quantum billiards. After a brief review of basic concepts, we study the boundary integral method for numerical evaluation of the billiard spectra and analyze its statistical properties, for the non-relativistic case (the Schroedinger equation) and the relativistic, the Dirac billiards introduced by Berry and Mondragon.
vi
Sumrio
1 2 3 Introduo Bilhares clssicos Acelerao de Fermi 3.1 Introduo . . . . . . . . . . . . . . . . . 3.2 Dinmica num bilhar forado . . . . . . . 3.3 Transformao de velocidade relativstica 3.4 Exemplos numricos . . . . . . . . . . . 1 5 9 9 11 11 14 20 20 21 22 25 25 25 29 35 35 35 38 39 40 41 45 46
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
Caos quntico 4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Simetrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3 Proprieades estatsticas dos nveis de energia . . . . . . . . . . . . . . Bilhares qunticos 5.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Mtodo da integral de contorno . . . . . . . . . . . . . . . . . . . . . 5.3 Resultados numricos . . . . . . . . . . . . . . . . . . . . . . . . . . Bilhares de neutrinos 6.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2 Equaes de onda relativsticas . . . . . . . . . . . . . . . 6.3 A equao de Dirac num bilhar 2D . . . . . . . . . . . . . 6.4 Mtodo da integral de contorno para bilhares de Neutrinos 6.5 Sistemas com espao de fase misturados . . . . . . . . . . 6.6 Resultados Numricos . . . . . . . . . . . . . . . . . . . Consideraes Finais
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
A Script para anlise de espectros
vii
Captulo 1
Introduo
Talvez uma das teorias que mais chamaram a ateno do pblico leigo desde a dcada de 1970 foi a teoria do caos [2]. Que sistemas to simples como o mapa logstico gerem comportamento to complexo e imprevisvel algo que fascina qualquer um. A impossibilidade de prever o futuro em longo prazo em sistemas caticos devido a extrema sensibilidade as condies iniciais entrou no imaginrio popular atravs de expresses como efeito borboleta [1]. Relativamente no to conhecida, a teoria do caos quntico (ou, como prefere Berry [3], caologia quntica) estuda que tipo de fenmenos existem em sistemas qunticos cuja contrapartida clssica seja regular ou catica. Como o principio da correspondncia de Bohr diz que para nmeros qunticos grandes o sistema quntico tende aos resultados clssicos, de se esperar que caos tambm aparea de alguma forma aps a quantizao. O principio da correspondncia pode ser observado de maneira bem simples em sistemas clssicos regulares. Como exemplo usado em quase todo livro de mecnica quntica [4], podemos mostrar que quando o nmero quntico principal do oscilador harmnico grande, a distribuio de probabilidade ||2 tende a distribuio esperada clssica. No entanto, para casos caticos, temos alguns problemas. A denio de sistema catico, entre outras coisas, que dois sistemas idnticos com condies iniciais ligeiramente diferentes acabam tendo rbitas que se distanciam uma da outra exponencialmente no tempo, impedindo a previso do futuro (visto que sempre sabemos as condies iniciais com uma preciso nita). Mas a relao de incerteza xp /2 h impede a especicao de uma posio para a partcula, tornando, no mnimo, imprecisa essa denio. Alm do mais, uma das condies para o surgimento de caos a no linearidade das equaes de movimento (a equao de Schroedinger linear). Inexistiria uma correspondncia entre as propriedades de sistemas classicamente caticos e sua verso quantizada? Essa pergunta comeou a ser respondida a partir da dcada de 1970, principalmente com o surgimento de computadores mais potentes, permitindo o estudo de sistemas qunticos mais complexos (ou indo alm da teoria de perturbao). Embora no vamos discutir tais temas aqui, tivemos tambm avanos tericos importantes como a formula do trao de Gutzwiller [3], que relaciona a den1
CAPTULO 1. INTRODUO
sidade de nveis de energia do sistema quntico com as rbitas peridicas do sistema clssico. Percebeu-se que o espectro de energia para sistemas cuja contrapartida clssica regular ou catica tinha propriedades estatsticas diferentes. Na verdade, o espectro de sistemas caticos comporta-se (estatisticamente) do mesmo modo que o de ensembles de matrizes aleatrias. A teoria de matrizes aleatrias foi introduzida nas dcadas de 1950 e 1960 por Wigner, Dyson e outros [3] para auxiliar no estudo de ncleos atmicos com muitos constituintes. Esta constatao lembra a relao entre mecnica estatstica, que lida com sistemas com inmeros graus de liberdade e caos clssico, onde existem alguns poucos. Por exemplo, estudando-se uma estatstica extremamente popular, a distribuio do espaamento s de primeiros vizinhos da energia (s = En+1 En ), temos o resultado de que se o sistema clssico for regular, a distribuio ser poissoniana, p(s) = es . Se o sistema clssico for catico, ela segue a mesma distribuio de matrizes aleatrias ortogonais gaussianas, a saber, a distribuio 2 de Wigner: p(s) = s e 4 s . Na verdade, como ser mostrado no captulo sobre caos 2 quntico, essa distribuio s ocorre quando h simetria por reverso temporal, caso contrrio teremos outro tipo de ensemble (dependente das simetrias do problema). Podemos citar ainda vrios outros resultados interessantes. O mapa padro [2], exemplo cannico de sistema catico clssico, uma mapa 2D com sua dinmica controlada pelo parmetro k. Variando k vamos de um sistema regular, k = 0, at totalmente catico, k 5. Conforme aumentamos esse parmetro, rompemos as curvas invariantes que existem para o caso integrvel. A partir de certo valor (k 0.97), a ltima curva invariante se rompe e o sistema passa a apresentar difuso no espao de momento. Foi mostrado, no entanto, que aps a quantizao desse sistema [5] o momento passa a saturar, no havendo mais difuso. Este fenmeno est intimamente ligado com a localizao de Anderson em matria condensada [3] O paradigma para o estudo de caos, clssico e quntico, o bilhar [6]. A partir da observao da dinmica de bilhares de vrios tipos, muitos fenmenos foram observados e posteriormente explicados. O mesmo aconteceu no sentido inverso: muitos fenmenos previstos primeiro teoricamente foram depois observados estudando-se bilhares. A predominncia de bilhares sobre outros sistemas explicada pela simplicidade da sua dinmica e tambm por haver mtodos numricos robustos para estud-los. Nos prximos captulos desta dissertao, pretendemos nos aprofundar mais no estudo de bilhares. Uma generalizao natural estudar problemas de caos quntico usando relatividade especial. A equao de onda relativstica (para uma partcula de spin 1/2) a equao de Dirac [7]. No lugar de uma funo (r, t) escalar, temos agora um vetor com 4 componentes, um espinor. Um dos primeiros trabalhos publicados em caos quntico relativstico foi [8] um artigo Berry e Mondragon de 1987 sobre um bilhar de neutrinos: uma partcula sem massa e spin 1/2 connada numa regio bidimensional. O interesse nesse tipo de bilhar se deve ao fato dele no possuir simetria por inverso temporal. Isso faz com que a distribuio estatstica dos nveis de energia seja dada pelo ensemble de matrizes unitrias gaussiana. Alm, como foi percebido algum tempo antes da publicao desse trabalho, os zeros da funo zeta de Riemann tambm obedecem a mesma distribuio
CAPTULO 1. INTRODUO
[9]. Isso ressalta uma idia para se resolver a conjectura de Riemann: os zeros de (z) seriam os autovalores de algum operador hermitiano [3]. Vale ressaltar que bilhares de neutrinos so passveis de experimentos usando grafeno [10]. Embora no to numerosa quanto o caso no relativstico, tivemos um uxo contnuo de artigos estudando caos quntico relativstico. Citamos alguns trabalhos que ns estudamos mas que, por falta de espao, no vamos discutir nesse texto. Por exemplo, na referncia [11] foi estudado a verso quntica relativstica do mapa padro. Embora esperar-se-ia que esse sistema fosse mais catico que o caso Newtoniano (devido aos termos no lineares presente nas equaes dinmicas da relatividade especial), o resultado interessante que conforme o momento cresce, o sistema se torna mais integrvel. Portanto, j mesmo no nvel clssico o sistema no apresenta difuso no momento (e tambm no aps a quantizao). Outro trabalho que citamos um estudo sobre grafos qunticos relativsticos [12]. Nosso trabalho nesta dissertao, em ordem cronolgica, foi de primeiro estudar a teoria de sistemas dinmicos [2] e ento passar para o estudo de caos quntico no relativstico [3]. Aqui nos focamos no desenvolvimento de um programa que calcula as energias de um bilhar geral para poder estudar as distribuies estatsticas dos nveis de energia. Como mtodo numrico escolhemos o mtodo da integral de contorno [13, 14]. Aps essa etapa, aplicamos nosso conhecimento no estudo do artigo sobre bilhares de neutrino, [8], onde aplicamos nossos mtodos numricos ao problema. Em busca de novos resultados, nos voltamos ao estudo de bilhares clssicos, iniciando na anlise da dinmica de uma partcula pontual connada numa regio do plano: um bilhar comum [6]. Procuramos ento saber de que modo efeitos relativsticos alterariam o quadro. Foi ento que ns passamos a estudar acelerao de Fermi [15] em bilhares forados [16, 17, 18, 19, 20]. Nesse caso, as paredes do bilhar se movem e durante a coliso da partcula com a parede pode-se ganhar ou perder energia. O principal foco no estudo da acelerao de Fermi em bilhares forados saber quais condies o bilhar (atravs de sua parede) deve apresentar para que a partcula, na mdia, acelere indenidamente. Descobrimos que, usando relatividade especial, o comportamento da energia da partcula tem qualitativamente a mesma forma que para o caso Newtoniano. Obviamente no temos mais uma acelerao arbitrria, pois a partcula tende assintoticamente a velocidade da luz c. Nossos resultados nessa rea foram submetidos a publicao. Porm, a diviso desse texto segue o sentido contrrio, a qual esperamos que seja mais didtica. No primeiro captulo fazemos uma introduo aos bilhares clssicos no-relativsticos, focando em como calcular sua evoluo ao longo do tempo. No segundo captulo, com a bagagem adquirida sobre bilhares, estudamos a existncia (ou no) de acelerao de Fermi em bilhares relativsticos. Mostramos nossos principais resultados e os comparamos. No captulo 4 apresentamos um breve resumo sobre os principais pontos da teoria do caos quntico, como as distribuies estatsticas dos nveis de energia. O captulo 5 discutir bilhares qunticos, iniciando com uma brevssima discusso sobre experincias com bilhares, passando em seguida a descrio de um mtodo numrico para o calculo de autoenergias e autofunes. No captulo 6 estudamos os bilhares de neutrino, [8], onde mostramos alguns resultados para bilhares clssicos com espao de fase misturado.
CAPTULO 1. INTRODUO
Por m, temos algumas consideraes nais. No apndice est incluso um exemplo de cdigo que desenvolvemos, um script na linguagem de programao Python [37] para anlise espectral de bilhares qunticos.
Captulo 2
Bilhares clssicos
Nesse captulo vamos estudar bilhares clssicos. Pretendemos introduzir os principais conceitos, tendo em vista sua aplicao no estudo da acelerao de Fermi no prximo captulo e depois para sua quantizao. Um bilhar um sistema dinmico onde uma partcula pontual de massa M connada numa regio , geralmente pertencente ao plano. A partcula se move livremente no interior de at eventualmente colidir com sua parede . Na coliso a partcula reetida elasticamente: enquanto a componente normal da velocidade (em relao ao ponto de impacto) muda de sinal, a componente tangencial permanece a mesma. Como conseqncia o ngulo de incidncia igual ao ngulo de reexo. Se a coliso acontece no ponto P , e nesse ponto a parede tem seus vetores normal e tangencial dados por N e T respectivamente, a velocidade da partcula sofre a transformao: V = V 2 N, V N (2.1)
Onde V a velocidade aps a coliso e , indica o produto escalar de dois vetores. Bilhares so sistemas Hamiltonianos com espao de fase 4D. Portanto, para serem integrveis, necessria a existncia de uma constante de movimento alm da energia. A primeira vista, um bilhar pode parecer um sistema sem graa. Tudo o que temos so movimentos retilneos ligados por reexes especulares. Essa simplicidade, no entanto , em certo sentido, falsa. Projetando a parede com cuidado, podemos varrer todos os possveis tipo de dinmica existentes, indo de sistemas regulares caticos passando por sistemas misturados (aqueles com espao de fase contendo tanto regies regulares como regies caticas). Outra qualidade, que s vezes no mencionada, o fato de que no necessrio integrar numricamente equaes diferenciais, o que torna a simulao numrica mais rpida e evita o acumulo de erros de origem numrica. Na gura 2.1 temos alguns exemplos de bilhares regulares. Para cada um deles existe outra quantidade conservada alm da energia, garantindo a integrabilidade. Para o caso circular, 2.1a, temos conservao do momento angular. Para o bilhar elptico, 2.1b, a quantidade conservada mais complicada, sendo o produto do momento angular em relao aos focos da elipse [6]. 5
CAPTULO 2. BILHARES CLSSICOS
(a) Bilhar Circular
(b) Bilhar Elptico
Figura 2.1: Exemplos de bilhares regulares. Na gura 2.2, apresentamos alguns bilhares caticos. O primeiro 2.2a, conhecido como estdio, foi introduzido por Bunimovich em 1974 [21] e se tornou, praticamente, o exemplo cannico de bilhar catico. Ele consiste em dois semicrculos ligados por duas semi-retas. interessante notar que, enquanto o bilhar retangular ou o circular so regulares (as peas que formam o estdio), o estdio catico para qualquer valor do comprimento dos setores retos.
(a) Bilhar Estdio
(b) Bilhar Cardioide
Figura 2.2: Exemplos de bilhares caticos. O outro exemplo o bilhar em formato de cardioide 2.2b. Esse bilhar um membro de uma famlia de bilhares cuja geometria da parede controlada por um parmetro , interpolando entre o bilhar circular ( = 0) at o cardiide ( = 1). Para valores intermedirios, o bilhar apresenta espao de fase misturado, o que ser facilmente observado quando introduzirmos, mais adiante, sees de Poincar. Vamos discutir agora como calcular a evoluo de um bilhar [14]. Devido a conservao da energia cintica, vamos tomar M = 1 e |v| = 1.
Suponha que a parede do bilhar seja especicada pela curva F (x, y) = 0 e que a partcula esteja inicialmente no ponto P0 com coordenadas (x0 , y0 ) satisfazendo F (x0 , y0 ) = 0. No ponto P0 usamos o sistema cartesiano formado pelos vetores normal N (para dentro) e tangencial T . Nesse sistema, podemos especicar a velocidade como sendo v = (sin(), cos()) onde , variando entre (/2, /2), o angulo que a velocidade faz com N . necessrio ento converter a velocidade do sistema (T , N ) de volta para o sistema de coordenadas do bilhar. Como a partcula se move em linha reta, a coliso ser no ponto P1 com coordenadas (x0 + vx t, y0 + vy t) onde o tempo t a menor raz (real) da equao: F (x0 + vx t, y0 + vy t) = 0. (2.2)
Calculamos ento os vetores normal e tangencial em P1 , aplicamos a equao (2.1) para transformar a velocidade e repetimos os passos. Esse mtodo de calcular a evoluo do bilhar nos mostra naturalmente uma maneira mais simples de estudar a dinmica do bilhar. No h nada de especial no deslocamento da partcula entre colises. Existe um conjunto menor de variveis necessrias para reconstruir toda a histria do bilhar. A saber, a posio (na parede do bilhar) e o ngulo (com a normal) da partcula na n-sima coliso. Denimos assim uma seo de Poincar do bilhar, usando as coordenadas de Birkhoff (s, sin()), onde parametrizamos a parede em funo do comprimento e s indica o ponto onde ocorreu a coliso (a partir de uma origem arbitrria). O motivo para escolher essas variveis que ento o mapa denido pela seo de Poincar preserva reas [22]. Como exemplo, vamos computar algumas sees de Poincar para a famlia de bilhares conhecida como bilhares de Robnik [22], cuja parede tem equao polar: r() = 1 + cos(), (2.3)
onde varia entre 0, o bilhar crcular, at 1, o bilhar cardioide, gura 2.2b. Os resultados esto dispostos na gura 2.3. Vemos que para = 0.3, gura 2.3a, um valor que gera uma pequena deformao na parede circular, j suciente para alterar signicativamente a seo de Poincar. Ela apresenta agora uma predominante regio catica onde existem ilhas regulares (portanto temos um sistema misturado). J para o valor = 0.8, gura 2.3b, toda a seo de Poincar preenchida por uma nica rbita. Sees de Poincar so especialmente teis para uma rpida anlise da dinmica do bilhar. Existe uma rica literatura matemtica sobre bilhares. De fato, eles so uns dos poucos sistemas onde possvel provar rigorosamente certas propriedades, como ergodicidade (para o estdio, [23]).
(a)
(b)
Figura 2.3: Sees de Poincar para alguns bilhares de Robnik com diferentes valores de . O eixo das ordenadas corresponde sin() e o eixo das abscissas ao comprimento (aqui parametrizado pela varivel com 0 < 2). Na gura 2.3a, = 0.3 e na gura 2.3b, = 0.8.
Captulo 3
Acelerao de Fermi
3.1 Introduo
No nal da dcada de 1940, Fermi [15], tentando explicar a origem dos raios csmicos, criou um modelo onde uma partcula connada numa certa regio do espao sofre sucessivas colises com campos magnticos dependentes do tempo antes de eventualmente escapar. A idia era que enquanto numa coliso isolada com a parede magntica a partcula pode perder ou ganhar energia, na mdia, ao longo do tempo, o resultado seria um ganho contnuo (dependente do tempo em que ela cou connada). A acelerao arbitrria de uma partcula num potencial dependente do tempo recebeu o nome de acelerao de Fermi (AF). Esse modelo foi extendido posteriormente por Ulam num contexto mecnico [24]: Agora temos uma partcula de massa m em um movimento 1D entre duas paredes rgidas, uma em repouso e outra movendo-se. A troca de momento ocorre durante as colises com a parede mvel. A idia era descobrir se a partcula poderia ser acelerada a velocidades arbitrrias (dependendo apenas do nmero de colises sofridas). Acontece que, para grandes valores do momento, o espao de fase populado por curvas invariantes que impedem a partcula de visitar regies de maior momento e, conseqentemente, a energia limitada [24]. Uma generalizao natural ao modelo de Ulam substituir o movimento 1D da partcula por um 2D, connando-a numa regio do espao por paredes rgidas e mveis. Temos um bilhar forado. Bilhares forados so sistemas Hamiltonianos dependentes do tempo, governados por um mapa 4D. A dimenso do espao de fase no permite o uso de ferramentas bem estabelecidas para estudar rbitas como em outros sistemas, como sees de Poincar. Entretanto, bilhares forados so um dos poucos sistemas quadridimensionais que permitem seu estudo dentro de um tempo computacional no muito elevado. A idia bsica para a existncia de AF em bilhares que, enquanto numa coliso isolada, energia pode ser ganha ou perdida, para certos tipos de geometrias (dependentes do tempo), o valor mdio da evoluo temporal da energia um crescimento contnuo.
CAPTULO 3. ACELERAO DE FERMI
10
Experimentos numricos iniciais sugeriram que uma condio suciente para a presena de AF que o bilhar original (com paredes estticas) deveria ser catico (ou com espao de fase misturado) [18], enquanto bilhares estticos integrveis no apresentariam AF. Muitos exemplos conrmaram essa conjectura. Podemos mencionar o bilhar estdio [19] e o bilhar anular excntrico [16], ambos caticos com paredes estticas, apresentam AF, enquanto que no h AF no bilhar anular concntrico, que possui uma dinmica regular (quando esttico). Para o bilhar circular, sob condies gerais em relao a suavidade do movimento da parede, possvel mostrar que no h acelerao de Fermi [20]. Recentemente, esse quadro se mostrou incompleto, pois foi mostrado que o bilhar elptico, com contrapartida esttica integrvel, apresenta AF. At onde sabemos, as condies necessrias e sucientes para um bilhar apresentar acelerao de Fermi permanecem uma questo em aberto. Nossa contribuio a esse assunto consiste em estudar a dinmica de uma partcula connada num bilhar forado usando relatividade especial no lugar da dinmica Newtoniana, empregada em todos os trabalhos citados. Isto nos parece interessante visto as diferenas intrnsecas entre os dois casos: Na relatividade especial temos um limite natural da velocidade da partcula e, alm do mais, as leis transformao do momento para uma coliso com a parede rgida mvel so bem mais complicadas do que no caso Newtoniano. Esses fatores tornam o conceito usual de AF no muito claro nesse contexto. Algumas generalizaes relativsticas desses sistemas j foram estudadas. O modelo de Fermi-Ulam relativstico, [25] e [26], ao contrrio do caso Newtoniano, apresenta, sob algumas condies, acelerao de Fermi. Voltaremos a esse assunto mais adiante. Um sistema que relacionado aos bilhares aqui estudados so os bilhares relativsticos generalizados, introduzidos por Deryabin e Pustylnikov [27]-[29]. Um bilhar relativstico generalizado consiste em uma regio com contorno e uma funo f (, t), onde um ponto de e t o tempo. Quando a partcula atinge a parede no ponto no tempo t , ela reetida como se fosse atingida por uma parede rgida com (,t) velocidade f t movendo-se na direo da normal (para dentro) do bilhar em . A coliso tratada usando relatividade especial. Caso f no dependa do tempo, tempos um bilhar comum. Os bilhares estudados por Deryabin e Pustylnikov so diferentes dos nossos por duas razes. Primeiro, eles consideram que as paredes permanecem estticas. Durante a coliso, o momento transferido como se as paredes se movessem. Segundo, os au(,t) tores analisam o caso monotnico, onde f t > 0. Em nossas simulaes, as paredes dos bilhares movem-se e sua velocidade pode ser negativa ou positiva (dependendo do instante da coliso). Em particular, estudamos uma verso relativstica do bilhar forado circular (integrvel), do bilhar anular concntrico (integrvel) e do bilhar anular excntrico (catico). Encontramos que para o bilhar circular, existe AF dependendo das condies iniciais, o caso anular concntrico no apresenta AF e o bilhar relativstico anular excntrico possui AF. Neste captulo, dividimos as sees da seguinte maneira. A primeira seo discutir a dinmica num bilhar forado, mostrando quais variveis (a mais que no caso esttico)
11
so necessrias para descrever completamente a evoluo no tempo. A segunda seo discutir a transformao relativstica de momento para a coliso de uma partcula com uma parede rgida. Por m, discutiremos os resultados para os bilhares escolhidos.
3.2
Dinmica num bilhar forado
Como j foi discutido no captulo anterior, bilhares clssicos (com parede esttica) consistem numa regio do plano, delimitado pela curva , e uma partcula livre em , sendo reetida elasticamente ao colidir com : a componente da velocidade paralela a normal do bilhar no ponto de impacto muda de sinal, enquanto a componente paralela a tangente no alterada. Depois da coliso a partcula continua seu caminho em linha reta at colidir novamente em algum ponto com . Para descrever a dinmica de um bilhar esttico usamos um mapa que vai de coliso a coliso. Vimos a utilidade em utilizar coordenadas de Birkhoff (s, p = sin()). Num bilhar forado, o contorno uma funo oscilatria do tempo, sendo descrito pela funo F (x, y, t) = 0. Se a partcula no tempo t0 est no ponto (x0 , y0 ) com velocidade (vx , vy ), o prximo ponto de coliso ser a menor raiz real da equao: F (x0 + vx t, y0 + vy t, t) = 0. (3.1)
Porm, muito mais complicado resolver a equao (3.1) do que a mesma equao para o caso esttico, (2.2), visto que agora, necessitaremos de um mtodo sosticado de encontrar razes, alm de nos preocuparmos com os diferentes tipos de coliso possvel [16]. Como conseqncia, essa tarefa consome muito tempo computacional. Existem mais duas variveis necessrias para especicar completamente a dinmica do bilhar forado. Precisamos da velocidade ps coliso, vn , j que a energia no mais conservada, e o tempo entre colises tn . Para ilustrar a situao, mostramos as variveis para o caso circular na gura 3.1. A partcula comea no ponto A no tempo tn1 com velocidade vn1 fazendo um ngulo n1 com a normal para dentro. Ela se move em linha reta at colidir novamente com a parede, que nesse exemplo est encolhendo, no ponto B no tempo tn . Aps a coliso, a partcula tem velocidade vn que faz um ngulo n com a normal (para dentro). Ela se move em linha reta at colidir novamente com a parede, e ento os passos descritos se repetem.
3.3
Transformao de velocidade relativstica
Vamos calcular nesta seo a equao relativstica da transformao de momento para uma coliso bidimensional envolvendo uma partcula de massa m e uma parede rgida. Comeamos com a transferncia de momento numa coliso unidimensional. Para esse caso, podemos calcular o momento nal usando transformaes de Lorentz [30, 31]. Estenderemos ento esse mtodo para o caso bidimensional.
12
T A, tn-1 n-1 N
Vn-1 B, tn
N
T n
Vn
Figura 3.1: Descrio das diferentes variveis usadas na dinmica de um bilhar crcular forado. Depois de uma coliso 1D entre uma partcula de massa m1 e velocidade inicial u com outra partcula de massa m2 em repouso, a velocidade nal do primeiro corpo, u , ser [30]: u = m2 1 m2 m2 1 2 u, + m2 + 2m1 m2 /(u) 2 (3.2)
onde (u) = 1/ 1 (u/c)2 o fator de Lorentz para o corpo m1 , e c a velocidade da luz. A partir da equao (3.2) vemos que, no limite m2 >> m1 , os resultados relativstico e Newtoniano convergem para o mesmo valor, u = u. A partcula simplesmente quica de volta. O caso mais geral, onde m2 tambm se move (com velocidade inicial w) pode ser obtido a partir de (3.2) usando transformaes de Lorentz. Temos inicialmente o referencial S0 onde ambas as massas esto se movendo e no qual queremos saber a velocidade de m1 aps a coliso. Mudamos ento para o referencial S onde m2 est em repouso (S move-se com velocidade w em relao a S0 ). Em S, a velocidade inicial do corpo m1 : uS = uw . 1 uw/c2 (3.3)
Usando as equaes (3.2) e (3.3), a velocidade nal (de m1 ) no referncial S : uS = m2 m2 1 2 uS . m2 + m2 + 2m1 m2 /(uS ) 1 2 (3.4)
13
No limite m2 >> m1 obtemos uS = uS . Transformando essa expresso de volta ao referncial S0 (e mantendo o limite): u = u + 2w u(w/c)2 , 1 2uw/c2 (w/c)2 (3.5)
que, no limite w/c << 1, recupera o resultado Newtoniano. Agora vamos considerar o caso 2D. Suponha que a partcula m1 um disco que colide com uma parede rgida. Durante a coliso, existe transferncia de momento apenas na direo da linha denida entre o centro do disco com o ponto de contato junto a parede. Decompondo a velocidade inicial u em componentes paralela, u , e ortogonal, u , essa linha, podemos utilizar o resultado 1D para tratar esse caso: u u m2 m2 1 2 u , m2 + m2 + 2m1 m2 /(u) 1 2 = u . =
(3.6)
No limite m2 >> m1 obtemos o mesmo resultado do caso newtoniano. Portanto, temos que para partculas com velocidade v < c a dinmica de um disco colidindo com uma parede esttica rgida a mesma que para o caso Newtoniano. Finalmente, vamos considerar o caso onde ambas, parede e partcula, esto se movendo. A partcula de massa m1 com velocidade u = (ux , uy ), e a parede, inicialmente com massa m2 , com velocidade w = (wx , wy ). Primeiro, fazemos uma rotao de tal modo que w seja paralelo ao eixo x. Desse jeito, as componentes de u so (u , u ), como denido acima. Ento, fazemos uma transformao de Lorentz para o referncial S onde w = 0. Portanto, as componentes de u transformam como: u = = u w . 1 wu /c2 1 (w/c)2 u . 1 wu /c2 (3.7)
uS
As velocidades aps a coliso so obtidas a partir da equao (3.6). m2 m2 1 2 u m2 + m2 + 2m1 m2 /(u) 1 2 = uS .
, (3.8)
uS
Tomando o limite m2 >> m1 e voltando ao referencial inicial, temos que: u + 2w u (w /c)2 , 1 2wu /c2 (w /c)2 u (1 (w /c)2 ) , 1 2wu /c2 (w /c)2 (3.9)
u u
= =
14
onde w a componente paralela da velocidade da parede normal ao ponto de coliso. Essas duas equao determinam a transferncia de momento para uma coliso relativstica e sero usadas no desenvolvimento a seguir. Para simplicar as equaes, a partir daqui, usaremos c = 1.
3.4
Exemplos numricos
Antes de apresentar os resultados numricos, gostaramos de comentar o modelo de Fermi-Ulam relativstico (FUR), [25] e [26]. O FUR consiste em uma partcula de massa m connada entre duas paredes rgidas, a de cima com posio f2 (t) e a de baixo com posio f1 (t), ambas movendo-se com velocidades menores que 1 (a velocidade da luz), fi (t) < 1 para i = 1, 2. A partcula livre entre as paredes, sendo reetida elasticamente nas colises. A lei de reexo obtida da relatividade especial. Contrrio ao caso Newtoniano, para o FUR, a energia pode crescer ilimitadamente. Para isso, suponha que exista t0 tal que [26]: f2 (t0 ) f1 (t0 ) = q, 1 (t0 ))(1 f2 (t0 )) (1 + f > 1, k0 = E (1 f1 (t0 ))(1 + f2 (t0 ))
(3.10)
onde q um inteiro e E a energia inicial. Ento existem 0 e E0 tais que se E > E0 e |t t0 | < 0 , t o tempo inicial, ento a trajetria tal que En para n tendendo n ao innito. Tambm En > CEk0 , com C sendo uma constante, independente de t, E or n. Considerando apenas rbitas diametrais ( = 0), as condies (3.10) se aplicam apenas para o bilhar circular, j que no podemos ter f2 (t0 ) f1 (t0 ) um inteiro para o bilhar anular. Tambm, para o bilhar circular que estudaremos, com seu raio com funo do tempo dado por (3.11), a segunda condio de (3.10) satisfeita para qualquer combinao de parmetros. Isso implica que no mnimo existe uma famlia de rbitas com ganho ilimitado de energia para o bilhar circular relativstico. Como primeiro exemplo, vamos estudar o bilhar circular relativstico forado, j mostrado na gura 3.1. Tomamos o seu raio como sendo funo do tempo da seguinte maneira: R(t) = R0 +
R
cos(t + ).
(3.11)
Ou seja, o raio oscila em torno do valor mdio R0 com frequncia e amplitude R . Para calcular a evoluo, fazemos uma mdia sobre um ensemble de partculas. Para o caso circular, tomamos 103 partculas com valores de espaados uniformemente em [0, 2). Na gura 3.2 temos os valores mdio do bilhar circular para R0 = = 1, R = v0 = 0.01 e R0 = = 1, R = v0 = 0.05, onde v0 a velocidade inicial da partcula e a gura foi computada at o numero mximo de 5 103 colises. Os resultados mostram que a velocidade satura rapidamente, indicando a no existncia da acelerao de Fermi para esse caso.
15
100
<v>
10-1
10-2 0 10
101
102 n
103
104
Figura 3.2: Velocidade mdia do ensemble em funo do nmero de colises para um bilhar circular relativstico forado com R = = 1. Os parmetros para as curva de cima (verde) e de baixo (vermelho) so: = 0 = 0.05 e = 0 = 0.01 respectivamente. A gura 3.3 mostra o resultado para uma nica partcula (no um ensemble) para o bilhar circular com parmetros R0 = 1, = 3, v0 = 0.01, 0 = 0 = 0, t0 = 0 e 0 = 0, 0 = 0.3, t0 = 0. A situao bem diferente daquela da gura 3.2. Rapidamente a velocidade atinge assintoticamente 1. Podemos entender as diferenas entre as guras 3.2 e 3.3 olhando as condies (3.10). Elas dizem que se as condies forem satisfeitas, existem constantes E0 e 0 tais que se a energia inicial E > E0 e o tempo inicial t satisfazer |t t0 | < 0 , para as rbitas diametrais, existir ganho ilimitado de energia. Mas no se sabe de antemo os valores de E0 ou . Acreditamos que para certas combinaes de parmetros (como as usadas na gura 3.2), o bilhar forado circular relativstico no apresenta AF pois o valor de E0 muito alto. J para o caso mostrado na gura 3.3, E0 baixo o suciente para quase todas as condies iniciais apresentarem AF. Temos o fato interessante de rbitas no diametrais tambm apresentarem AF, como exibido na gura 3.3 para 0 = 0.3. A velocidade se aproxima de 1 muito rpido, em menos de 10 colises. Tambm se deve notar que a velocidade do contorno para o caso da gura 3.3 de 30% da velocidade da luz (comparado 5% ou 1% da gura 3.2). O bilhar anular forado composto de dois crculos, o exterior com raio dado pela equao (3.11) e o interior, com raio mdio r0 < R0 e deslocado pela distncia d do centro do crculo exterior. Seu raio em funo do tempo dado pela equao: r(t) = r0 +
r
cos(t + ),
(3.12)
Temos a condio r0 > r e R0 R > r0 + r para evitar que os dois crculos se sobreponham. Dependo do valor de d, temos um bilhar (esttico) regular (d = 0) ou
16
1.2 1.0 0.8 0.6

v
0.4 0.2 0.0 0 10 101 102 103
Figura 3.3: A velocidade em funo do nmero de colises para uma nica partcula no bilhar circular forado relativstico com R0 = 1, = 3, v0 = 0.01 e = 0.1. As condies iniciais so 0 = 0 = 0, t0 = 0 (linha cheia) e 0 = 0, 0 = 0.3, t0 = 0 (linha tracejada). catico (d = 0). Evoluir numericamente o bilhar anular forado no to simples quanto o caso circular. Temos que determinar que tipo de coliso acontea. Por exemplo, comeando da parede externa, a partcula tem trs tipos de coliso possvel: colidir novamente com a parede externa sem deixar a zona coliso, denida pela regio anular com raio R R < r < R + R . Ou ento ela pode escapar da zona coliso, passar pelo interior do bilhar e atingir a parede interna ou externa. Todas essas possibilidades dependem da existncia de razes de equaes no polinomiais, (3.1), satisfazendo certos critrios. Para nosso calculo envolvendo bilhares anulares, usamos o algoritmo desenvolvido em [16] para o caso Newtoniano. Ele pode ser transposto para o caso relativstico, j que em ambos o movimento da partcula dentro do bilhar se d em linha reta com constante velocidade, a nica diferena sendo a transformao de velocidade nas colises. Na gura 3.4 temos o resultado para o bilhar anular concntrico (d = 0, portanto regular para paredes estticas). Foi utilizado um ensemble de 500 partculas e nmero mximo de colises de 5 104 , com os valores de e distribudos uniformemente entre [0, 2). Temos os valores r0 = 0.5, e R0 = = 1. Para as curvas de cima (azul), do meio (verde) e de baixo (vermelho), usamos os parmetros R = r = 0.1, v0 = 0.1; R = r = 0.02 v0 = 0.01 e R = r = 0.005, v0 = 0.001 respectivamente. O aspecto de todas as curvas o mesmo do caso crcular, indicando tambm a inexistncia de acelerao de Fermi (concordando com o caso Newtoniano). As guras 3.5a e 3.5b mostram a evoluo da velocidade mdia de um ensemble de partculas para bilhares anulares relativsticos no concntricos at o nmero mximo de 5 104 colises. Os parmetros para a gura 3.5a so r0 = 0.15, d = 0.65 e
17
100
10-1
<v>
10-2 0 10
101
102
103
104
105
Figura 3.4: Velocidade mdia do ensemble em funo do nmero de colises para um bilhar anular concntrico (d = 0) relativstico forado com R0 = 1, r0 = 0.5 e = 1. Os parmetros para as curva de cima (azul), meio (verde) e de baixo (vermelho) so: R = r = 0.1, 0 = 0.1; R = r = 0.02, 0 = 0.01 e R = r = 0.005 0 = 0.001 respectivamente. R0 = = 1, para a gura 3.5b, r0 = d = 0.4 e R0 = = 1 (mantivemos a relao r + d = 0.8 como em [16] e a velocidade inicial v0 = 0.02). Para esses valores de r e d, o espao de fase do bilhar esttico predominantemente preenchido por uma regio catica. Na gura 3.5a, as curvas de cima, do meio e de baixo correspondem aos parmetros R = r = 0.1; R = r = 0.05 e R = r = 0.025, respectivamente. Para a gura 3.5b, as curvas de cima, do meio e de baixo aos parmetros R = r = 0.1, R = r = 0.05 e R = r = 0.025, respectivamente. Foi tirada a mdia da velocidade a partir de um ensemble de 500 partculas, com e espaados uniformemente entre [0, 2). O comportamento para o bilhar anular no excntrico muito diferente do caso circular 3.2 e anular concntrico 3.4. Agora, a velocidade mdia do ensemble cresce monotonicamente por um tempo muito maior, at atingir assintoticamente 1, a velocidade da luz. Este fenmeno seria o equivalente relativstico a acelerao de Fermi Newtoniana. Para quanticar a evoluo da velocidade com o nmero de colises, testamos a funo (3.13): v(n) = 1 exp(n ), (3.13)
onde os parmetros , e foram encontrados usado minmos quadrados. Os resultados para as guras 3.5a e 3.5b esto mostrados na tablea 3.1. Embora o ajuste seja de baixa qualidade para o nmero n de colises abaixo de
CAPTULO 3. ACELERAO DE FERMI r0 0.15 0.15 0.15 0.4 0.4 0.4 d 0.65 0.65 0.65 0.4 0.4 0.4
R
18 0.0299 0.0418 0.1380 0.0103 0.0186 0.0426 0.4916 0.5315 0.4596 0.5599 0.5769 0.5589
= r 0.025 0.05 0.1 0.025 0.05 0.1
0.9396 0.8710 0.9566 0.7770 0.7448 0.6378
Tabela 3.1: As primeiras trs colunas so os parmetros usados no calcula das seis curvas numricas apresentadas na gura 3.5. As outras trs colunas contem os valores encontrados por ajuste de curvas para a equao (3.13). 100, a curva 3.13 captura bem o comportamento para tempos longos.
19
100
<v> 10-1
100
101
102
103
104
105
(a)
100
<v> 10-1 100 101 102 103 104 105
(b)
Figura 3.5: 3.5a Velocidade mdia do ensemble em funo do nmero de colises para um bilhar anular forado relativstico com raio interior r0 = 0.15, deslocamento d = 0.65 e velocidade inicial v0 = 0.02. As curvas de cima (azul), meio (verde) e baixo (vermelho) correspondem ao valores dos parmetros R = r = 0.1, R = r = 0.05 e R = r = 0.025, respectivamente. A curva tracejada o melhor ajuste. 3.5b Velocidade mdia do ensemble em funo do nmero de colises para um bilhar forado relativstico com raio interno r0 = 0.4, deslocamento d = 0.4 e velocidade inicial v0 = 0.02. As curvas de cima (azul), meio (verde) e baixo (vermelho) correspondem ao valores dos parmeteos R = r = 0.1, R = r = 0.05 e R = r = 0.025, respectivamente. A curva tracejada o melhor ajuste. Para todas as curvas mantivemos R0 = = 1
Captulo 4
Caos quntico
4.1 Introduo
A mecnica clssica, particularmente no formalismo Hamiltoniano, pode ser vista como uma aproximao de uma teoria mais elementar, a mecnica quntica. Geralmente quando os comprimentos de onda envolvidos so muito menores que as escalas de comprimento do problema em questo, a mecnica clssica reproduz com preciso os resultados empricos. Isso a mesma aproximao que se faz em ptica geomtrica com relao a soluo das equaes de Maxwell. Desse modo, podemos ver as rbitas na gura 2.2 como a aproximao (para altas energias) do caso quntico. O principio da correspondncia de Bohr arma que, dentro de certos limites, os resultados da mecnica quntica convergem para a mecnica clssica. Podemos aplic-lo sem problemas para casos clssicos integrveis, por exemplo, para o oscilador harmnico [4]. Entretanto, quando o caso clssico catico, o problema mais complicado. Sistemas clssicos caticos, entre outra propriedades, so conhecidos por apresentar extrema sensibilidade as condies iniciais: duas solues muito prximas inicialmente uma da outra se separam exponencialmente no tempo (o efeito borboleta). Esta propriedade est ligada a no linearidades da equao diferencial do sistema em estudo. Seguindo a risca o principio da correspondncia, esperaramos observar algum resqucio de caos aps a quantizao. Porm, a relao de incerteza xp /2 impede a determinao precisa de h condies iniciais, o que torna questionvel a denio de caos quntico como separao exponencial de trajetrias. Mesmo que mudssemos a denio, por exemplo, se comessemos com dois pacotes de onda (uma superposio de auto estados da Hamiltoniana) diferindo innitesimalmente em seus coecientes, devido a linearidade da equao de Schroedinger, a evoluo no tempo divergiria no mximo linearmente. O estudo de sistemas qunticos cuja contrapartida clssica catica chamado de caos quntico (embora Berry prera caologia, [3]), e apresenta vrios resultados interessantes. Por exemplo, o caso quntico apresenta sim propriedades que esto relacionadas
20
CAPTULO 4. CAOS QUNTICO
21
ao tipo de dinmica clssica [3]. Podemos citar as propriedades estatsticas do espectro que so diferentes para casos clssicos regulares, caticos e misturados. Temos tambm cicatrizes: as regies de maior amplitude da densidade de probabilidade esto localizadas prximas as rbitas peridicas. Nosso sistema escolhido para estudar tais propriedades so bilhares, com os quais j viemos trabalhando. Mantemos eles como nossa cobaia experimental, pois temos um entendimento razovel de suas proprieades clssicas e tambm podemos aplicar mtodos numricos robustos para encontrar suas energias. Como ser descrito mais adiante, bilhares tambm so passveis de serem realizados experimentalmente [3]. Inicialmente vamos tratar o caso no relativstico. Fazemos isso por dois motivos: Mostrar a tcnica numrica e para aprofundar o nosso entendimento na rea. Aps, estudaremos o caso relativstico, utilizando o conhecimento j aplicado no caso no relativstico. Na prxima seo vamos revisar o conceito de simetrias, que ser importante mais tarde quando pretendemos discutir as propriedades estatsticas dos nveis de energia. Nos prximos captulos mostraremos um mtodo numrico para resolver as equaes de Schroedinger e Dirac em um bilhar (de geometria arbitrria), juntamente com os resultados obtidos.
4.2
Simetrias
Nas dcadas de 1950 e 1960, os pesquisadores comearam a estudar ncleos atmicos contendo cada vez mais constituintes. O espectro desses ncleos to complicado que estimulou o interesse (pela primeira vez em fsica) de aplicar a teoria de matrizes aleatrias no estudo de um sistema quntico. A idia principal era que esses ncleos possuem matrizes muito complicadas, porm, satisfazendo certas simetrias. Ao invs de estudar uma nica matriz descrevendo tal sistema, toma-se um ensemble de matrizes, todas obedecendo a mesma simetria e ento calcula-se propriedades estatsticas, por exemplo, a distribuio dos autovalores. Na dcada de 1980 foi feita a conjectura de que matrizes aleatrias tambm descreveriam o espectro de sistemas qunticos com contrapartida clssica catica [3]. Acontece que as previses da teoria de matrizes aleatrias reproduzem muito bem as propriedades dos espectros. Antes de calcular algumas previses, vamos fazer um pequeno resumo sobre simetrias em mecnica (clssica e quntica): Em mecnica clssica, simetrias esto relacionadas constantes de movimento. Por exemplo, simetria rotacional implica conservao do momento angular. Em mecnica quntica, cada simetria do problema da origem a um nmero quntico. Se a Hamiltoniana do sistema invariante uma translao no tempo, temos o nmero quntico principal n e a energia conservada. Se o sistema for catico, essa a unica constante de movimento. Para entender melhor a existncia de outras simetrias, vamos trabalhar com a representao matricial. A equao de Schroedinger independente do tempo : Hn = En n . (4.1)
22
Expandindo a funo de onda n na base ortonormal i (e abandonando o indice n por simplicidade): =

m
am m .
(4.2)
Usando a expanso (4.2) na equao (4.1), multiplicando por n e usando a relao de ortonormalidade, obtemos a equao matricial de autovalores: Hnm an = En an ,
m
(4.3)
onde os elementos da matriz Hnm so: Hnm = Hm dx. n (4.4)
Suponha que H seja invariante pela transformao R (ou seja, R uma simetria de H), representada pelo operador R que comuta com H: [R, H] = 0. (4.5)
Escolhendo a base n como sendo os autovalores de R, possvel mostrar que a matriz H se torna diagonal por blocos [4, 3]. Uma aplicao bem simples de simetria acontece na resoluo do tomo de hidrognio: A hamiltoniana comuta com dois operadores, L2 e Lz . Expandindo a funo de onda usando os autovalores desses operadores, diagonalizamos automaticamente o problema. importante que, quando analisarmos os espectros, apenas utilizemos aqueles com o mesmo conjunto de nmeros qunticos (cada bloco da Hamiltoniana).
4.3
Proprieades estatsticas dos nveis de energia
Uma simetria importante a reverso temporal, realizada pelo operador T , que satisfaz: T f (t) = f (t). (4.6)
Quando aplicamos o operador T na equao de Schroedinger dependente do tempo, o termo contendo i t inverte o sinal. Para compensar, aplicamos o operador de conh jugao complexa C. Agora, a Hamiltoniana H pode ou no comutar com o operador CT . Aqui vamos estudar apenas dois casos [3]. Suponha que a Hamiltoniana no comute com CT (como acontece para o caso de uma partcula imersa num vetor potencial A). Os elementos 4.4 satisfazem a relao:
Hnm = Hmn ,
(4.7)
e essa relao preservada por transformaes unitrias, H = U HU , com U U = 1. Se H comutar com o operador CT , como de fato ocorre para uma partcula imersa numa regio onde A = 0, ento a matriz de H real e simtrica: Hnm = Hmn , (4.8)
23
e essa condio preservada por sua vez por transformaes ortogonais, H = OHOT , com OOT = 1. Com essas informaes, podemos denir os ensembles de matrizes gaussianas. Por exemplo, o ensemble de matrizes aleatrias gaussianas ortogonais (GOE) o conjunto de matrizes com elementos aleatrios reais e simtrica. A probabilidade de obter a matriz H ou OHOT , com O ortogonal, deve ser a mesma, j que ambas esto ligadas por uma transformao de base, mas os resultados fsicos devem ser independentes da base escolhida. Os elementos da matriz no esto correlacionados entre si, e a probabilidade de cada um dada por uma distribuio gaussiana (dai o nome do ensemble). Denimos do mesmo modo o ensemble de matrizes aleatrias unitrias (GUE). possvel (embora trabalhoso) calcular distribuies de probabilidade para vrias caractersticas (como os autovalores) para esses ensembles [3]. Vamos discutir apenas uma estatstica extremamente popular que a distribuio p(s) da distncia entre primeiros vizinhos da energia (s = Ei+1 Ei ). Essa estatstica depende do tipo de ensemble usado. Para o ensemble GOE: p(s) = e para o ensemble GUE: 32s2 4 s2 e . (4.10) 2 Na gura 4.1 plotamos o grco das distribuies 4.9 e 4.10, bem como a distribuio para o caso do sistema ser integrvel, a saber, a distribuio de Poisson: p(s) = p(s) = es . (4.11) s s2 e 4 , 2 (4.9)
1.0 0.8 0.6 p(s) 0.4 0.2 0.0 0.0
0.5
1.0
1.5
2.0 s
2.5
3.0
3.5
4.0
Figura 4.1: Exemplos de distribuies do espaamento entre primeiros vizinhos. Em vermelho (tracejado) temos a distribuio para o ensemble GOE, em azul (linha cheia com crculos para) GUE e em preto (linha cheia) a distribuio de Poisson para o caso integrvel. A principal diferena entre as distribuies ocorre na regio 0 < s < 1 . Enquanto que para o caso integrvel (distribuio de Poisson), o mximo ocorre para s = 0,
24
para as distribuies GOE e GUE, elas se anulam. Pode-se dizer que os autovalores se repelem para sistemas caticos. Antes de calcularmos a distribuio p(s) para o espectro de algum sistema, necessrio primeiro normaliz-lo, j que sem isso, ele seria uma propriedade dependente do sistema em questo. A m de computar essa normalizao vamos usar a funo N (E), que informa o nmero de energias existentes at o valor E. A densidade de estados d(E) : d(E) =
i E
(E Ei ),
(4.12)
portanto N (E) = d(E)dE uma funo degrau que aumenta de uma unidade toda vez que passa sobre uma energia Ei . Mas ns estamos interessados em obter uma verso suavizada, onde tomamos a mdia de d(E) (e, consecutivamente N (E)) dentro de uma faixa de valores. Podemos calcular essas propriedades computando o volume do espao de fase e atribuindo para cada estado quntico o volume (2 )N (em N h dimenses), obtendo assim a equao de Weyl [2, 3]: L A E E + C, (4.13) 4 4 onde A a rea do bilhar, L seu permetro e C uma constante (que depende to tipo de bilhar). De posse da equao (4.13), podemos normalizar as energias, denindo os novos valores ei : N (E) = ei = N (Ei ), e ento aplicar as distribuies p(s) de modo independente do sistema. (4.14)
Captulo 5
Bilhares qunticos
5.1 Introduo
O sistema que ns vamos utilizar para estudar algumas propriedades de caos quntico so bilhares. Bilhares so escolhidos por sua simplicidade e existncia de mtodos numricos robustos que permitem o clculo do espectro para geometrias arbitrrias. Isto importante, visto que poucos casos so integrveis, como os bilhares circular, elptico e retangular (geralmente pode-se resolver apenas potenciais com simetria suciente em coordenadas apropriadas, [4]). Aqui, inicialmente vamos tratar bilhares onde uma partcula, sem spin e no relativstica, est connada em uma regio , 2D, simples e conectada, com contorno . possvel introduzir outros efeitos, como campos magnticos [32, 33], entretanto, no iremos discutir isso aqui. Adiante, vamos discutir os bilhares de neutrino, onde uma partcula relativstica de spin 1/2 e sem massa connada em um bilhar. Como mtodo numrico, escolhemos o mtodo da integral de contorno, conhecido pela sua sigla em ingls BIM. Este mtodo bem popular entre os pesquisadores na rea de caos quntico. Por m, gostaramos de ressaltar que bilhares so estudados experimentalmente tambm. A principal tcnica de pesquisa utiliza ressonadores de microondas em cavidades. Na verdade, esse um experimento anlogo, j que em ambas as situaes (quntica e eletromagntica) so governadas pela equao de Helmholtz com os mesmos tipos de condies de contorno. Existem tambm outras tcnicas, como ondas estacionrias de gua em vasos ou sistemas mesoscpicos como pontos qunticos. A referncia [3] oferece um bom resumo sobre tcnicas experimentais.
5.2
Mtodo da integral de contorno
Nesta seo vamos demonstrar o mtodo da integral de contorno (Boundary integral method, BIM) para o caso de bilhares qunticos. Esse mtodo reduz a soluo da equao (diferencial) de Schroedinger em uma certa regio do espao uma equao integral calculada no contorno dessa regio. 25
CAPTULO 5. BILHARES QUNTICOS
26
Esta seo baseada nos artigos de reviso [13, 14]. Pretendemos desenvolver as equaes necessrias para a aplicao do mtodo, bem como os passos algortmicos para sua execuo. Nosso problema consiste em resolver a equao de Schroedinger, (5.1): h 2 + V (r)]n (r) = En n (r), (5.1) Hn (r) = [ 2m na regio D, delimitada pela curva simples = D e com condies de contorno para especicadas em : F [n (r), n (r)] = 0, r . (5.2)
2
Para isso, vamos transformar a equao diferencial (5.1) em uma equao integral. Com esse objetivo em vista, introduzimos a funo de Green GEn (r, r ) que satisfaz a equao (5.3): [E H]GEn (r, r ) = (r r ). (5.3)
Onde o operador H atua na coordenada r de GEn (r, r ). Multiplicamos as equaes (5.1) por GEn (r, r ) e (5.3) por n (r) e somamos ambas, obtendo: h 2 [n (r) 2m
(r r )n (r) =
GEn (r, r ) GEn (r, r )
n (r)].
(5.4)
Usando a segunda identidade de Green, podemos escrever o lado direito da equao (5.4) como um divergente. Pelo fato de existir uma funo delta de Dirac do lado esquerdo de (5.4), podemos calcular a integrar na regio D (na varivel r), obtendo a forma integral da equao de Schroedinger: n (r ) = h 2 2m ds[n (r) GEn (r, r ) GEn (r, r ) n (r)],
(5.5)
onde ds um elemento innitesimal de e indica a derivada normal exterior (tudo calculado no ponto r). A equao (5.5) contm as mesmas informaes que a equao (5.1). Entretanto, ela mais prtica para desenvolver mtodos numricos. Note que no aparece explicitamente a dependncia do potencial V (r) na equao integral (5.5). Porm, o efeito de V est implcito na funo de Green G, j que essa satisfaz (5.3). Vale destacar aqui uma das limitaes desse mtodo: necessrio conhecer analiticamente G (particularmente, isso torna o problema de bilhares em campos magnticos muito mais complicados [32, 33]). Para o caso da partcula livre, a equao de Schroedinger tem a mesma forma da equao de Helmholtz:
2
+ k 2 = 0,
(5.6)
27
com k 2 = 2mE/ 2 . Em 2 dimenses, a funo de Green para a equao de Helmholtz h [13, 34] : GEn (r, r ) =
(1)
im (1) H0 (k|r r |), 2 2 h
(5.7)
sendo H0 a funo de Hankel do primeiro tipo de ordem 0 [34]. A m de obter uma equao secular para as energias e funes de onda, vamos tomar o limite r pertencendo a . Esse limite no entanto um pouco complicado (1) [13, 14], visto que a funo de Green singular para r = r (H0 (z) ln(z) para z 0). Fazendo os clculos e tomando o valor principal de Cauchy [13]: n (r ) = h 2 m ds[n (r) GEn (r, r ) GEn (r, r ) n (r)],
(5.8)
onde indica que deve ser tomado o valor principal de Cauchy. a partir desta equao que o mtodo numrico derivado. A m de resolver numericamente o problema, fazemos o seguinte: Vamos aplicar a derivada normal (note que agora ela age na varivel r ) em ambos os lados da equao (5.8) e vamos especicar condies de contorno, equao (5.2), do tipo Dirichlet, (r) = 0, r : u(r ) = h 2 m ds[ G(r, r )u(r)], (5.9)
com u(r) sendo a derivada normal de no ponto r . Para ser preciso, (5.9) uma equao de Fredholm do segundo tipo, [34]. A vantagem em se trabalhar com a equao integral na forma de (5.9) que ela no apresenta mais singularidades: G(r, r ) se anula para r = r . Parametrizamos atravs do comprimento de arco l, variando entre 0 < l L, sendo L o permetro do bilhar. Aproximamos por um polgono de N lados, com o segmento entre os vrtices i e i + 1 chamado de i (com comprimento L/N ). As coordenadas dos vertices i so dadas por si e vamos denir o ponto do meio do segmento i como ri = (si + si+1 )/2. Com essa discretizao de e aproximando a integral sobre como uma soma de Riemann (sobre os elementos i ) obtemos um sistema de equaes lineares [13, 14]:
N
Cij (k)uj = 0,
j=1
(5.10)
onde os elementos Cij so dados por: ik (1) sj cos(i rij )H1 (krij ), (5.11) 2 com ij sendo a funo delta de Kronecker, sj = |sj+1 sj |, i a normal (exterior) no ponto ri e rij = ri rj . Cij = ij +
28
Conclumos ento que as energias do bilhar em questo so aquelas tais que a matriz C singular: det[Cij (k)] = 0. (5.12)
Por m, h a necessidade de determinar o valor N da discretizao do contorno do bilhar, visto que ele determina o tamanho da matriz C e a qualidade das energias obtidas. Uma regra emprica [13, 14] diz que o valor de N para que calcular energias com k < Km deve ser N KM L. (5.13)
De posse da condio (5.12) para que k seja uma energia vlida (a partir de agora vamos utilizar unidades tais que = 1 = 2m, assim E = k 2 e tomamos k como h sinnimo de E), nos resta encontrar uma algoritimo que permita encontrar todas as energia dentro de uma faixa de interesse. Podemos ver (5.12) como os zeros (reais) de uma funo complexa. Se quisssemos calcular todas as energias dentro do intervalo E centrada em E0 , podemos dividir a regio em M pontos, calcular em cada um o valor de det[C] e encontrar os pontos onde ela se anula (parte real e imaginria). Obviamente, devido a discretizao e outros tipos de erros, esses valores sero apenas prximos de zero. Como C uma matriz densa, complexa e no Hermitiana, o clculo do seu determinante demorado e, alm do mais, se seguirmos os passos descritos no pargrafo anterior, para melhorar a preciso das energias encontradas devemos aumentar o nmero de pontos M , o que torna o processo ainda mais lento. Uma sada [14] calcular a decomposio em valores singulares da matriz C. Com isso, podemos escrever: C = U SV , (5.14)
onde U e V so matrizes unitrias e S uma matriz diagonal, com suas entradas sendo os valores singulares de C, e portanto det(C) = i Vi Si . As energias do bilhar so aquelas para as quais o menor valor singular de C se anula (ou se torna muito prximo de zero). As vantagens de se calcular a decomposio em valores singulares so [14]: Utilizao de um passo muito maior do que se utilizssemos diretamente o determinante (5.12), e tambm a decomposio permite encontrar quase-degenerecncias, visto que o segundo menor valor singular tambm se torna pequeno quando existem duas energias prximas uma da outra. Como exemplo, na gura 5.1a temos os dois menores valores singulares para o bilhar estdio em funo da energia E dentro da faixa 1 < E < 50, computado com um passo E = 0.3. O menor valor est em preto e o segundo menor em vermelho. As energias vlidas so os mnimos do menor valor singular. Vemos que para E 24 o segundo menor valor singular tambm apresenta um mnimo, indicando a existncia de uma quase-degenerecncia. Na gura 5.1b foi calculado ento os valores singulares na regio 23 < E < 25 com um passo menor, indicando claramente a existncia de duas energias prximas uma da outra.
29
Por m, para melhorar os valores j encontrados das energias, usamos o mtodo de encontrar razes de Brent [13, 35]. O ltimo tpico a comentar, que possvel calcula a funo de onda . Dado um valor vlido de kn do bilhar, podemos calcular o respectivo autovalor un (a derivada normal de no contorno do bilhar) da matriz C. Usando a equao (5.5), junto com a condio de contorno do tipo Dirichlet e mais o valor de un j calculado, podemos encontrar em qualquer ponto dentro do bilhar. Escrevemos ento um programa em linguagem C, implementando esses passos, podendo assim calcular todos os valores da energia dentro de um faixa especicada. Inclumos inclusive a vericao de quase-degenerecncias a partir de uma anlise do segundo menor valor singular.
1.0
0.30
0.9 0.25 0.8
0.7 0.20 0.6
Valores Singulares
0.5 0.4
Valores Singulares
0 5 10 15 20 25 E 30 35 40 45 50
0.15
0.10 0.3 0.2 0.05 0.1 0.0 0.00 23.0
23.2
23.4
23.6
23.8
24.0 E
24.2
24.4
24.6
24.8
25.0
(a)
(b)
Figura 5.1: Os dois menores valores singulares da matriz (5.11) em funo da energia E = k 2 . O menor valor singular est desenhado em preto (curva de baixo, ambas as guras) e o segundo menor em vermelho. Na gura 5.1a os valores de E foram varridos com um passo E = 0.3. Como os dois valores singulares possuem um mnimo prxima E 24, temos um indicativo de uma quase-degenerecncia. Na gura 5.1b temos os valores singulares calculados com menor passo apenas em torno da regio 23 < E < 25, evidenciando as duas energias existentes.
5.3
Resultados numricos
Nesta seo vamos apresentar alguns resultados numricos que comprovam a teoria. Comeamos com o caso mais simples de um bilhar retangular. Este tipo de bilhar pode ser resolvido facilmente [4], com suas energias sendo: E= h 2 2m n2 n2 y x + 2 a2 b . (5.15)
Temos que os nmeros qunticos nx = 1, 2, 3, ... e ny = 1, 2, 3, .... Os valores de a e b so respectivamente 2 e . Escolhemos tais valores a m de minimizar quase
30
degenerecncias no problema [3]. A simplicidade da formula (5.15) permite computar um nmero muito grande de energias. No nosso caso, calculados 1.3 104 energias. A primeira estatstica que calculamos a diferena entre a formula de Weyl (4.13) e o resultado numrico. Essa estatstica indica a qualidade do espectro, pois caso tenhamos perdido uma energia, ela aparece como um salto da funo. O resultado est gracado na gura 5.2. Podemos observar que o resultado oscila ao redor de 0, indicando que todo o espectro foi calculado.
8 6 4 2
NWeylNobs
0 2 4 6 80 5000 10000 15000 20000 25000 30000 35000 40000

k2
Figura 5.2: Diferena entre o valor terico de N (E) e o valor encontrado numericamente para o bilhar retangular. Ele oscila em torno de 0, indicando que todos os autovalores foram calculados. Na gura 5.3 temos o histograma da distribuio do espaamento entre primeiros vizinhos da energia. Como foi dito anteriormente, como temos um sistema integrvel, o resultado deve ser uma distribuio de Poisson. Podemos observar claramente um perfeito ajuste dos dados com o modelo terico. Para reduzir as utuaes, tambm calculamos a distribuio integrada do espaamento, gura 5.4a. Novamente, o resultado excelente. Na gura 5.4b temos a diferena entre os valores numrico e terico. Outro exemplo o bilhar estdio. Escolhemos como parmetros R = 1 e a = 1/2. Para o calculo dos seus autovalores utilizamos o mtodo da integral de contorno descrito anteriormente. Computamos 986 nveis de energia. Seguindo o princpio de utilizar apenas autovalores com as mesmas simetrias no problema, tomamos um bilhar estdio desimetrizado: O bilhar estdio possui dois eixos de simetria, um vertical e outro horizontal. Para evitar a mistura de estados com simetria par-par, impar-impar, etc, utilizou-se apenas um quarto do bilhar, impondo condies de Dirichlet nas linhas de corte. Para testar a qualidade dos dados, plotamos na gura 5.5 (como no caso retngular)
31
1.0 0.8 0.6 P(s) 0.4 0.2 0.00
Poisson
6 s
10
12
Figura 5.3: Histograma da distribuio de espaamento entre primeiros vizinhos da energia para o bilhar retangular. Foram computados 1.3 104 nveis de energia. a diferena entre o valor terica da formula de Weyl, (4.13), e o resultado numrico. Vemos que para a faixa de valores E < 6000, essa quantidade oscila em torno de 0, indicando que no foi perdido nenhuma energia. Entretanto, aps esse valor, os resultados comeam a oscilar em torno de valores mais altos. Isso mostra que em todo os espectro, perdemos aproximadamente 5 autovalores. Na gura 5.6 temos o histograma do espaamento de energias para o estdio. Como o caso clssico catico, esperamos que a distribuio fosse dada pelo ensemble gaussiano ortogonal. Embora a concordncia no seja to boa quanto para o bilhar retangular, o resultado satisfatrio ( bom lembrar que aqui temos um nmero de autovalores bem menor, portanto a estatstica no to boa). Para suavizar as utuaes estatsticas, na gura 5.7a temos a distribuio integrada. Na gura 5.7b mostramos a diferena entre o valor obtido e o valor terico. Por m, gostaramos de mostrar algumas densidades de probabilidade calculadas com o mtodo da integral de contorno. Na gura 5.8 temos vrias densidades de probabilidade para valores crescentes de energia. De modo geral, conforme a energia aumenta, mais complicada a distribuio. Excees so as guras 5.8c e 5.8e. Esses estados so conhecidos como estados bola quicando (ou bouncing ball em ingls). Um tipo de rbita peridica possvel no bilhar estdio aquela que ca quicando entre as duas sees retas do bilhar. Os estados bola quicando so cicatrizes [3], a amplitude da densidade de probabilidade maior prximo a rbitas peridicas do sistema clssico.
32
1.0 0.8 0.6
0.005
0.000
I(s) = p(s) ds
0.005
0.4 0.2 0.00 0.010
Numerical Data POISSON

2 4 6
s
10
12
0.0150
Error: Numerical data - POISSON

2 4 6
s
10
12
(a)
(b)
Figura 5.4: Distribuio integrada (com os mesmos dados da gura 5.3) do espaamento de nveis de energia,5.4a. Em vermelho (linha cheia) o resultado obtido para o bilhar retangular. Em preto (linha tracejada) o resultado terico. Diferena entre o valor encontrado e a teoria, 5.4b.
6 5 4 3
NWeylNobs
2 1 0 1 20 2000 4000 6000 8000 10000
k2
Figura 5.5: Diferena entre o valor terico de N (E) e o valor encontrado numericamente. Enquanto esse valor oscila em torno de 0 para E < 6000, ele indica que perdemos alguns (em torno de 4) nveis de energia aps esse valor.
33
0.9 0.8 0.7 0.6 P(s) 0.5 0.4 0.3 0.2 0.1 0.0 0.0 0.5 1.0 1.5 s 2.0 2.5 3.0
GOE
3.5
Figura 5.6: Histograma da distribuio de espaamento entre primeiros vizinhos da energia para o bilhar estdio desimetrizado. Foram computados 986 nveis de energia.
1.0 0.8 0.6

I
0
0.015 0.010 0.005
I(s) = p(s) ds
0.000 0.005 0.010
0.4 0.2 0.0 0.0
Numerical Data GOE

0.5 1.0 1.5
s
0.015 3.5 0.020 0.0
Error: Numerical data - GOE

0.5 1.0 1.5
s
2.0
2.5
3.0
2.0
2.5
3.0
3.5
(a)
(b)
Figura 5.7: Distribuio integrada (com os mesmos dados da gura 5.6) do espaamento de nveis de energia,5.7a. Em vermelho (linha cheia) o resultado obtido para o bilhar estdio desimetrizado e em preto (linha tracejada) o resultado terico. Diferena entre o valor encontrado e a teoria, 5.7b.
34
(a) k = 2.7785
(b) k = 9.8280
(c) k = 16.1649
(d) k = 27.5863
(e) k = 44.0382
(f) k = 99.8037
Figura 5.8: Densidade de probabilidade, ||2 , para o bilhar estdio para diferentes valores de k.
Captulo 6
Bilhares de neutrinos
6.1 Introduo
Nesta seo vamos estudar um problema de caos quntico relativstico. Nosso sistema em questo um bilhar onde connamos uma partcula sem massa de spin 1/2, que recebeu o nome (hoje em dia no muito preciso) de bilhar de neutrinos [8]. A principal caracterstica que diferencia um bilhar de neutrino dos bilhares qunticos no relativsticos com partculas sem spin o fato de no haver simetria por inverso temporal, o que indica que a estatstica dos nveis de energia para tais sistemas dada pelo ensemble gaussiano unitrio (GUE). Embora bilhar de neutrino soe como algo de interesse puramente terico, com o advento do grafeno, possvel estudar tais tipos de bilhares experimentalmente [10]. Lembramos que podemos quebrar a simetria por inverso temporal no caso no relativstico aplicando um campo magntico (j que invertendo o sentido do tempo, as rbitas giram no sentido contrrio). Mas no caso do bilhar de neutrinos no necessrio aplicar campos externos. Na prxima seo vamos resumir alguns resultados sobre equaes de onda relativsticas necessrias para nosso caso. Depois discutiremos o bilhar de neutrino, indicando como transpor o mtodo da integral de contorno para o caso relativstico. Por m mostraremos alguns resultados.
6.2
Equaes de onda relativsticas
A equao de Schroedinger pode ser obtida a partir de relao de energia no relativstica: E= p2 + V (r), 2m (6.1)
trocando os elementos da equaes por operadores: E i t e p h . Isso h i nos sugere que para encontrar uma equaes de onda relativstica, podemos aplicar a
35
CAPTULO 6. BILHARES DE NEUTRINOS
36
mesma operacionalizao na relao de energia relativstica, E 2 = (mc2 )2 + (pc)2 , obtendo a equao de Klein-Gordon: 1 2 c2 t2
2
m2 c2 = 0. h 2
(6.2)
Essa equao, quando vista como uma funo para uma nica partcula, apresenta vrios problemas [7]. A comear, ela uma equao de segundo grau na varivel tempo, indicando que devemos especicar como condies iniciais (t = 0) e tambm t (t = 0). Temos solues que aparentemente possuem energia negativa, e por m, no possvel denir uma densidade de probabilidade positiva denida em todo o espao. Todos esses defeitos citados somem quando percebemos que a equaes de Klein-Gordon (6.2) deve ser tratada como um campo. Histricamente, tentanto consertar esses problemas (que na verdade indicavam a existncia de uma teoria de muitas partculas, como se percebeu no decorrer do tempo), Dirac tentou encontrar uma equao de onda relativstica em primeira ordem no tempo. Ele sups a forma [7]: i h h c = ( 1 x + 2 y + 3 z ) + mc2 . t i (6.3)
Aqui, 1 , 2 , 3 e devem ser matrizes, caso contrrio no poderamos exigir que (6.3) fosse invariante a transformaes de Lorentz. Na verdade, ao impor que a equao (6.3) seja invariante por transformaes de Lorentz, satisfaa a relao de energia momento relativstica para a partcula livre e tenha uma equao de continuidade livre de problemas, vemos que as matrizes e devem satisfazer a lgebra: i j + j i = 2ij i + i = 0 2 i = 2 = 1 Podemos encontrar uma representao para essas matrizes [7]: 0 0 0 1 0 0 1 0 1 = 0 1 0 0 1 0 0 0 0 0 0 i 0 0 i 0 2 = 0 i 0 0 i 0 0 0 0 0 1 0 0 0 0 1 3 = 1 0 0 0 0 1 0 0
37
1 0 0 0 0 1 0 0 = 0 0 1 0 0 0 0 1 Analogamente, a funo de onda dada pelo 4-vetor 1 (x, t) (x, t) (x, t) = 2 3 (x, t) . 4 (x, t) A densidade de probabilidade (x, t), denida como: (x, t) = (x, t) (x, t), positiva denida e a equao da corrente de probabilidade : + t onde a corrente j dada por: j = c . (6.6) j = 0, (6.5) (6.4)
Embora a equao de Dirac, (6.3), seja mais comportada do que a equao de Klein-Gordon, (6.2), ela ainda apresenta comportamento no fsico. Essas incongruncias so sinais da necessidade de uma teoria de campos [7]. Uma simplicao que usaremos mais adiante em relao a dimenso das matrizes e . Num espao tridimensional, a m de que a equao de Dirac, (6.3), seja invariante por transformaes de Lorentz, necessria a utilizao de matrizes de dimenso 4 4. Entretanto, se estivermos num espao 2D, precisamos apenas de trs matrizes satisfazendo as relaes de anticomutao. Com isso, podemos usar as matrizes de Pauli 2 2, e escrever a Hamiltoniana da equao de Dirac como: H = c p + mc2 z , com = (x , y ) e as matrizes de Pauli so: x = y = z = 0 1 0 i 1 , 0 i , 0 (6.7)
1 0 . 0 1 Obviamente a funo de onda agora tem apenas dois componentes e a corrente de probabilidade dada por: j = c (6.8)
38
6.3
A equao de Dirac num bilhar 2D
Nesta seo, vamos discutir a equao de Dirac num bilhar. Como mencionado acima, vamos utilizar a Hamiltoniana (6.7). Devemos acoplar um potencial de modo a connar a partcula numa regio. A maneira mais fcil seria introduzir um potencial escalar eletromagntico . Porm, introduzindo esse tipo de potencial, acabamos tendo problemas com criao de pares [8, 7], e o sistema teria simetria por inverso temporal. Ao invs disso, vamos introduzir o potencial escalar atravs do acoplamento: mc2 mc2 + V (r), e tomar o limite m = 0, sem perda de generalidade [8]. No interior do bilhar V (r) = 0 e a equao de Dirac : 0 x + iy x iy 0 1 (r) =k 2 (r) 1 (r) 2 (r) , (6.9)
onde introduzimos o nmero de onda k = E/ c. Devemos ainda impor condies de h contorno tais que (6.9) seja um operador hermitiano. Para isso, o valor esperado da Hamiltoniana deve ser real para qualquer estado. Sendo D o interior do bilhar e D a parede do bilhar, temos: E =< H >= i c h
D
dxdy
(6.10)
Usando a relao: ( ) = + (6.11)
e o teorema de Gauss, podemos escrever a relao 6.10 como: 1 h (E) = 2 n j(s).

D
(6.12)
D foi parametrizado pelo comprimento de arco s, n a normal (para fora) e j a corrente de probabilidade (6.8). A partir da relao (6.12) podemos mostrar, por um processo algbrico longo, [8] que a condio de contorno para um bilhar de neutrinos : 2 = iei(s) , 1 (6.13)
onde i so as componentes do espinor de dois componentes e (s) o ngulo que a normal no ponto parametrizado por s faz com o eixo x. Devemos agora obter expresses para a densidade de estados do bilhar de neutrinos. Para o caso no relativstico, a densidade integrada at o valor E, N (E) dada pela formula de Weyl (4.13), que depende da rea e do permetro do bilhar. Para computar N (E) para o bilhar de neutrinos, comeamos escrevendo a densidade como o trao do operador de Green [8, 3]: d(k) = 1 T r G. (6.14)
CAPTULO 6. BILHARES DE NEUTRINOS O operador G dado por: G= k+i

+
39
1 , p/ h
(6.15)
com + 0+, e estamos usando o nmero de onda k. G atua sobre espinores de 2 componentes, portanto um operador matricial (funo de r e r ) de tamanho 2 2. Assim, (6.14) pode ser escrito como: 1 [G11 (r, r ) + G22 (r, r )] (6.16) D No limite semiclssico, podemos adotar o operador de Green para a partcula livre [8]. Com isso, podemos fatorizar a funo de Green numa forma muito simptica: d(k) = < r|G|r >= (k + i
+
r)
< r|(k + i
+ 2
) p2 / 2 |r > . h
(6.17)
Reconhecemos o termo < r|(k + i + )2 p2 / 2 |r > como a funo de Green para h a partcula no relativstica (5.7). Substituindo (6.17) em (6.16) e tomando o limite r r , obtemos, em primeira aproximao: Ak , (6.18) 2 com A sendo a rea do bilhar. Em segunda aproximao temos que levar em conta a parede do bilhar. Para o caso no relativstico, teramos o termo envolvendo o permetro do bilhar em (4.13), [3]. Para o caso relativstico, possvel mostrar que essa termo nulo [8]. Portanto, temos o resultado interessante que a densidade de estados depende apenas da rea do bilhar, e no do seu permetro. d(k) =
6.4
Mtodo da integral de contorno para bilhares de Neutrinos
Nesta seo vamos mostrar como adaptar o mtodo da integral de contorno para o caso de bilhares de neutrino [8]. Isso pode ser facilmente conseguido, mostrando mais um ponto positivo do mtodo. Tomando a adjunta da equao de Dirac, (6.9), obtemos a equao: k (r) i e (r) =
(1 , 2 ). r
(r) = 0,
(6.19)
A equao para a funo de Green da partcula livre : kG0 (r, r ) + i

0 r G (r, r 0
) = (r, r )
(6.20)
Multiplicando (6.19) pela direita por G e a equao (6.20) pela esquerda com , somando ambas e integrando (em r) na regio D, e fazendo r na parede do bilhar, temos: 2i
D
dxdy
( G0 ) = (r ),
(6.21)
40
A equao (6.21) composta por duas equaes, uma para cada componente i do espinor. Obviamente, elas so equivalentes uma outra. Entretanto, tomando apenas uma, encontramos termos singulares devido a funo de Hankel. Para contornar isso, podemos somar ambas, obtendo:
1 (s ) =
ik 4
ds1 (s)[(ei( ) 1)(H0 (k) + (1)
(1)
(6.22)
[(n + is ) + ei( ) (n + is )])]H1 (k) com = |r(s) r(s )| e (n , s ) as derivadas na direo normal e tangencial respectivamente. A partir da equao (6.23) podemos aplicar as mesmas tcnica desenvolvidas para o caso no relativstico, discretizao da parede do bilhar, obteno do sistema numrico, etc.
6.5
Sistemas com espao de fase misturados
Como na prxima seo pretendemos mostrar alguns resultados para bilhares de neutrino com espao de fase clssico misturado, fazemos aqui uma pequena reviso sobre distribuies do espaamento das energias para o caso misturado. A maioria dos sistemas fsicos no totalmente regular, nem totalmente catico. Geralmente coexistem no espao de fases regies regulares e caticas. Vimos que para sistemas regulares, a distribuio p(s) do espaamento das energias segue a distribuio de Poisson e caso o sistema seja totalmente catico ser dado pelo distribuio de Wigner para os ensembles GOE ou GUE. Esperamos que a distribuio da energia para um caso misturado seja algo entre as distribuies de Poisson e Wigner. Existem alguns approaches que lidam com esses casos. Aqui vamos nos ater a dois: As teorias de Brody e Berry Robnik [3]. Brody, de maneira fenomenolgica [3], postulou que a densidade de probabilidade r(s) para encontrar uma energia num intervalo de largura s : r(s) = As , (6.23)
com os parmetros A e sendo, respectivamente, uma constante de normalizao da distribuio e o parmetro a ser ajustado a partir da distribuio experimental. Com isso, pode-se mostrar que p(s) dada por: pB (s) = as es
+1
(6.24)
A distribuio (6.24) interpola entre Poisson, para = 0 e Wigner GOE, para = 1. Entretanto, temos alguns problemas em relao a distribuio de Brody [3]: Primeiro, na deduo da equao (6.24), h uma falha lgica, que, no mximo, justica qualitativamente seu resultado. Segundo, a distribuio falha para certos casos, como o ensemble GUE, onde a distribuio de Brody resultante no reproduz a queda da funo no limite s >> 1. Terceiro, podemos apontar a falta de um signicado fsico para o parmetro .
41
A outra teoria que pretendemos discutir a de Berry Robnik [3, 36], que tenta explicar as distribuies obtidas experimentalmente a partir de propriedades clssicas do sistema. Berry e Robnik postularam que as contribuies de diferentes regies (regulares ou caticas) do espao de fase no esto correlacionadas. Com isso, podemos calcular uma superposio de distribuies, cada uma com um peso estatstico dependente da frao ocupada pelo espao de fase clssico. Por exemplo, suponha que o espao de fase clssico contenha apenas uma regio regular e uma regio catica, com densidades 1 e 2 . Segundo Berry e Robnik, a distribuio p(s) para esse sistema : 2 2 2 2 s) + (21 2 + 3 s)e 4 2 s ]e1 s , p(s) = [1 erf c( (6.25) 2 2 2 com erf c(x) sendo a funo erro complementar. fcil observar que no limite 1 = 1, 2 = 0, obtemos a distribuio de Poisson, e para 1 = 0, 2 = 1, a distribuio de Wigner para o ensemble GOE. Este mtodo pode ser estendido para sistemas com espao de fase dividido em vrias regies, com diferentes distribuies para cada subespectro correspondente. Vale salientar que a hiptese de que o espectro de cada regio se superpe sem estar correlacionado no verdade, pois o principio da incerteza impede uma separao entre as regies. Essa armao , no mximo, aproximada. Tambm lembramos que, a principio, fazendo um ajuste da equao (6.25) com os dados experimentais, os valores de 1 e 2 deveriam coincidir com os valores medidos do espao de fase. Entretanto, na literatura, os valores encontrados so apenas da mesma ordem de grandeza. preciso ir a regies extremamente semiclssicas no espectro para haver concordncia entre os resultados [3, 36].
6.6
Resultados Numricos
Nesta seo vamos mostrar alguns resultados numricos para o bilhar de neutrinos. Escolhemos o bilhar formato frica [8, 36]. Este bilhar tem sua parede dada pela equao ) 3 y() = sin() + sin(2) + sin(3 + ), 3 x() = cos() + cos(2) + cos(3 +
(6.26)
onde um parmetro que determina a forma do bilhar, indo desde um crculo (regular), para = 0, at o bilhar frica (totalmente catico) propriamente dito, para = 0.2. Para valores intermedirios, temos um bilhar com espao de fase misturado. Na gura 6.1 temos diferentes guras do bilhar para diferentes valores de . Outro fator em escolher esse formato de bilhar poder estudar como as distribuies de Brody e Berry-Robnik se comportam para o caso relativstico. Em [36] foi estudado como se d a distribuio p(s) para bilhares tipo frica com diferentes valores de (portanto, apresentando espao de fase misturado), onde uma linha de uxo magntico

1.5 1.5 1.0 1.0 0.5 0.5 0.0 0.0 0.5 0.5 1.0 1.0 1.51.5 1.0 0.5 0.0 0.5 1.0 1.5 1.51.5 1.0 0.5 0.0 0.5 1.0 1.5 (c) (d) 1.5 1.5 1.0 1.0 0.5 0.5 0.0 0.0 0.5 0.5 1.0 1.0 1.51.5 1.0 0.5 0.0 0.5 1.0 1.5 1.51.5 1.0 0.5 0.0 0.5 1.0 1.5
42
(b)
(a)
(a)
Figura 6.1: O bilhar tipo Africa para diferentes valores de . (a), = 0.01; (b), = 0.055; (c), = 0.1 e (d), = 0.2. corta o bilhar, quebrando a simetria por inverso temporal e gerando estatstica do tipo GUE. Os autores chamam esse tipo de bilhar de Aharonov-Bohm. A dinmica clssica (exceto por um conjunto de rbitas com medida zero) no alterada. Eles calcularam as propores 1 e 2 e testaram as distribuies de Brody e Berry-Robnik, obtendo o resultado de que, embora haja concordncia qualitativa entre o resultado experimental e a distribuio de BR, teremos concordncia quantitativa apenas para energias extremamentes altas (um limite extremamente semiclssico). Nossa proposta ento calcular, para diferentes valores de , o espectro desses bilhares utilizando o mtodo da integral de contorno desenvolvido para os bilhares de neutrino. De posse do espectro, computamos a distribuio integrada p(s) e comparamos o resultado com as distribuies de Brody e Berry-Robnik atrves de um ajuste por mnimos quadrados. Para a distribuio de Brody, como mencionado acima, impossvel obter o comportamento assinttico da distribuio do ensemble GUE para s >> 1. Por causa disso, o ajuste por mnimos quadrados foi feito dentro da faixa 0 s 0.5, como na referncia [36] (entretanto, analisamos o ajuste em toda a faixa de valores de s). Para a distribuio de Berry-Robnik, comparamos os valores obtidos pelo ajuste de 1 e 2 com os calculados em [36], j que a dinmica clssica a mesma. De modo anlogo a equao (6.25), que contm a superposio das distribuies de Poisson e Wigner-GOE, utilizamos uma distribuio contendo Poisson e Wigner-GUE, [36] Na gura 6.2 temos o resultados para quatro valores de : Na gura 6.2a temos = 0.01, em 6.2c = 0.055, em 6.2e, = 0.1, e em 6.2g, = 0.2. Temos, alm da distribuio experimental, as distribuies de Brody, Berry-Robnik, e Poisson ou Wigner-GUE, dependendo do caso. As guras 6.2b, 6.2d, 6.2f e 6.2h mostram as diferenas entre os resultados tericos e o resultado experimental. Iniciamos nossa anlise pela gura 6.2g, com = 0.2. Foram calculados 1386 nveis de energia. Para esse valor, temos um sistema clssico catico, portanto a distribuio p(s) deve ser do tipo Wigner-GUE. Vemos que, 6.2h, a distribuio mesmo Wigner-GUE, e que BR consegue reproduzir elmente o resultado. J a distribuio de
CAPTULO 6. BILHARES DE NEUTRINOS 0.01 0.055 0.1 0.2 cl 2 0.05 0.99 1.0 1.0 AB 2 0.26 0.78 0.97 0.99 AB 0.02 0.69 1.58 1.93 2 (Neutrino) 0.4272 0.5804 0.9516 0.9973 (Neutrino) 0.1215 0.3733 1.3353 1.7480
43
Tabela 6.1: Valores obtidos de cl , AB e AB na referncia [36] para o bilhar de 2 2 Aharonov-Bohm e os valores de 2 e que obtivemos para o bilhar de neutrinos frica. Brody, exceto no intervalo onde foi feito o ajuste, apresenta erros muito maiores. Na gura 6.2e, temos = 0.1, e 1088 nveis de energia. Para esse valor, temos um sistema clssico misturado, portanto a distribuio p(s) deve ser entre Poisson e Wigner-GUE. Vemos em 6.2f, que, exceto no intervalo 0 s 0.5, ambas as distribuies, Brody e BR, so praticamentes identicas (e melhores que a distribuio GUE). Na gura 6.2c, temos = 0.055, e 662 nveis de energia. Como antes, temos um sistema clssico misturado, portanto a distribuio p(s) deve ser entre Poisson e Wigner-GUE. Vemos em 6.2d, que, at o valor de s 2, os erros das distribuies de Brody e BR so aproximadamente iguais em modulo, sendo que para s 2, BR apresenta melhores resultados do que Brody. E no geral, essas distribuies representam melhor os dados que a distribuio de Poisson. Finalmente, na gura 6.2a, temos nosso ltimo caso, com = 0.01, e 964 nveis de energia. Para este caso, estamos muito mais prximos de um sistema integrvel, portanto a distribuio resultante deve ser prxima da distribuio de Poisson. Vemos em 6.2b, que, novamente, at o valor de s 2, os erros das distribuies de Brody e BR so aproximadamente iguais em modulo, e que para s 2, BR apresenta melhores resultados do que Brody. E no geral, essas distribuies representam melhor os dados que a distribuio de Poisson. No geral, temos que o comportamento qualitativamente o mesmo para o caso estudado em [36]. Enquanto que geralmente BR melhor que Brody, para alguns casos, como 6.2e, para = 0.1, as duas distribuies tem resultados semelhantes. Na tabela 6.1 temos os valores de AB e AB , obtidos por um ajuste de curvas, para 2 o bilhar de Aharonov-Bohm na referncia [36] e os valores que ns obtivemos para o bilhar de neutrinos (2 e ), bem como o valor medido do volume da regio catica (no espao de fase clssico) cl , tambm calculado em [36]. 2 Podemos ver que, em ambos os casos, no h uma concordncia qualitativa entre AB e 2 com o valor esperado cl (exceto quando cl 1). Embora, para os valores 2 2 2 usados, o bilhar torna-se completamente catico muito cedo (variando ).
44
1.0 0.8 0.6
0.04 0.02 0.00
I(s) = p(s) ds
0.02 0.04
0.4 0.2 0.00
Numerical Data POISSON Brody, = 0.1215 Berry-Robnik, 2 = 0.4272

1 2
s
0.06 5 0.080 1 2
Error: Numerical data - POISSON Error: Brody Fit Error: Berry-Robnik Fit
s
(a)
1.0 0.8 0.6 0.4 0.2 0.0 0.0
I
0
(b)
0.05 0.00 0.05
I(s) = p(s) ds
Numerical Data POISSON Brody, = 0.3864 Berry-Robnik, 2 = 0.5958

0.5 1.0 1.5 2.0
s
0.10 0.15 0.0
Error: Numerical data - POISSON Error: Brody Fit Error: Berry-Robnik Fit
0.5 1.0 1.5 2.0
s
2.5
3.0
3.5
4.0
4.5
2.5
3.0
3.5
4.0
4.5
(c)
1.0 0.8 0.6
I
0
(d)
0.04 0.03 0.02
I(s) = p(s) ds
0.01 0.00
0.4 0.2 0.0 0.0
Numerical Data GUE Brody, = 1.3353 Berry-Robnik, 2 = 0.9516

0.5 1.0 1.5
s
0.01 0.02 3.0 0.03 0.0 0.5 1.0 1.5

s
Error: Numerical data - GUE Error: Brody Fit Error: Berry-Robnik Fit
2.0 2.5 3.0
2.0
2.5
(e)
1.0 0.8 0.6 0.4 0.2 0.0 0.0
I
0
(f)
0.05 0.04 0.03 0.02 0.01 0.00
I(s) = p(s) ds
Numerical Data GUE Brody, = 1.7480 Berry-Robnik, 2 = 0.9973

0.5 1.0 1.5
s
0.01 0.02 3.0 0.03 0.0 0.5 1.0 1.5

s
Error: Numerical data - GUE Error: Brody Fit Error: Berry-Robnik Fit
2.0 2.5 3.0
2.0
2.5
(g)
(h)
Figura 6.2: Distribuio integrada de p(s) para o bilhar frica (com diferentes valores de ) e respectivos erros com as distribuies tericas. Os valores escolhidos foram: = 0.01, 6.2a e 6.2b, = 0.055, 6.2c e 6.2d, = 0.1, 6.2e e 6.2f e = 0.2, 6.2g e 6.2h.
Captulo 7
Consideraes Finais
Neste trabalho, analisamos alguns tipos de bilhares usando relatividade especial. Para o caso clssico, de uma nica partcula connada numa regio por paredes rigidas (e de massa muito maior que a da partcula), mostramos que diferenas entre a dinmica Newtoniana e a dinmica da relatividade especial surgem apenas quando a parede no esttica, sugerindo o estudo da acelerao de Fermi em tais sistemas. Analisamos alguns tipos de bilhares, regulares e caticos, procurando se existe ou no acelerao de Fermi para tais tipos. Acreditamos que nossos resultados em relao a acelerao de Fermi relativstica sejam novos e interessantes. Estudamos tambm o bilhar de neutrino, introduzido na dcada de 1980 por Berry e Mondragon. Para poder compreender esse trabalho, estudamos a teoria de caos quntico e o mtodo numrico da integral de contorno para calcular as energias de bilhares. Calculamos ento o espectro para alguns bilhares com espao de fase misturado e vericamos a validade das distribuies de Brody e Berry Robnik. Seria interessante estudar alguns outros setups onde efeitos relativsticos se apresentariam. Como um exemplo, no caso de mais de uma partcula connada num bilhar, a coliso entre elas se comporta de maneira diferente quando tratada usando relativdade especial (comparada dinmica Newtoniana). Tambm citamos como interessante, estudar a verso quntica desses tipos de bilhares.
45
Apndice A
Script para anlise de espectros

Incluimos neste apndice um script na linguagem Python [37] para anlise do espectro de bilhares qunticos. Todas as guras nessa dissertao foram feitas com ele. Ele pode ser usado tanto para bilhares no relativsticos quanto para o caso relativstico. O cdigo tambm anlisa sistemas com espao de fase misturado, sendo possvel utilizar tanto as distribuies de Brody quanto Berry Robnik.
# # # # # # # # # # # # # # # SpecStat : A c o l l e c t i o n of s p e c t r a l s s t a t i s t i c a l f u n c t i o n s f or r e l a t i v i s t i c and nonr e l a t i v i s t i c quantum b i l l i a r d s . For a review , see : 1 ) A . B a e c k e r : N u m e r i c a l A s p e c t s o f E i g e n v a l u e and E i g e n f u n c t i o n C o m p u t a t i o n s f o r C h a o t i c Quantum S y s t e m s 2 ) M. V . B e r r y & R . J . Mondragonn : N e u t r i n o B i l l i a r d s F o r mixed p h a s e s p a c e b i l l i a r d s , s e e : 3 ) H . J . Stoeckmann : An i n t r o d u c t i o n t o quantum c h a o s
from numpy i m p o r t from math i m p o r t p i from s c i p y . i n t e g r a t e i m p o r t quad from s c i p y i m p o r t o p t i m i z e import scipy . s p e c i a l from s c i p y . s p e c i a l i m p o r t exp from s c i p y . s p e c i a l i m p o r t e r f from p y l a b i m p o r t import m a t p l o t l i b . pyplot as p l t i m p o r t m a t p l o t l i b . mlab a s mlab from m a t p l o t l i b i m p o r t l e g e n d
def poisson ( s ) : " " " D e f i n e p o i s s o n nnd d i s t r i b u t i o n . """ r e t u r n exp(s ) d e f goe ( s ) : " " " D e f i n e s goe nnd d i s t r i b u t i o n . """ r e t u r n 0.5 math . p isexp (0.25 math . p iss ) d e f gue ( s ) : " " " D e f i n e s gue nnd d i s t r i b u t i o n . """ r e t u r n ( 3 2 / ( math . p i 2)) ssexp ( (4/ math . p i ) ss )
46
APNDICE A. SCRIPT PARA ANLISE DE ESPECTROS
47
def gse ( s ) : " " " D e f i n e s g s e nnd d i s t r i b u t i o n . """ P I = math . p i r e t u r n ( ( 2 1 8 ) / ( ( 3 6 ) ( P I 3)))( s4)exp ( (64/(9 P I ) ) ( s 2)) def brody ( s , v ) : " " " D e f i n e s t h e Brody d i s t r i b u t i o n . """ a_v = s c i p y . s p e c i a l . gamma ( ( v + 2 . 0 ) / ( v + 1 . 0 ) ) a_v = a_v(v + 1 . 0 ) r e s = ( 1 . 0 + v) a_v ( sv) exp(a_v ( s (v + 1 . 0 ) ) ) return res def berry_robnik ( s , r2 ) : " " " D e f i n e s t h e B e r r y Robnik d i s t r i b u t i o n f o r a s u p e r p o s i t i o n o f a P o i s s o n and a GUE d i s t . """ P I = math . p i r1 = 1 r2 res = res = res = return ( 3 2 . 0 / ( P I 2))( r 2 4)( s 2) + ( 8 / P I ) r 1r 2r 2s + r 12 r e sexp ( ( 4 . 0 / P I ) ( ( r 2s )2)) r e s + (2 r 1r 2 r 1r 1r 2s )( 1 e r f (2 r 2s ( P I 0.5)) ) r e sexp(r 1s )
def test_brody ( v ) : " " " P l o t s t h e Brody nnd w i t h g a u s s i a n e n s e m b l e s . """ s = l i n s p a c e (0 , 5 , 200) plt plt plt plt plt . . . . . figure (1) p l o t ( s , brody ( s p l o t ( s , goe ( s ) , p l o t ( s , gue ( s ) , p l o t ( s , gse ( s ) ,
,v) , b k g
r ., , label , label , label
l a b e l =" Brody , v = " + s t r ( v ) ) = GOE ) = GUE ) = GSE )
p l t . l e g e n d ( l o c =4 , n c o l =1 , shadow= F a l s e ) plt . xlabel ( s ) plt . ylabel ( P( s ) ) p l t . show ( )
def t e s t _ b r ( r2 ) : " " " P l o t s t h e Brody nnd w i t h g a u s s i a n e n s e m b l e s . """ s = l i n s p a c e (0 , 5 , 200) plt plt plt plt plt plt . . . . . . figure (1) p l o t ( s , b e r r y _ r o b n i k ( s , r 2 ) , r . , l a b e l =" B e r r yRobnik , v = " + s t r ( r 2 ) ) p l o t ( s , poisson ( s ) , y , l a b e l = Poisson ) p l o t ( s , goe ( s ) , b , l a b e l = GOE ) p l o t ( s , gue ( s ) , k , l a b e l = GUE ) p l o t ( s , g s e ( s ) , g , l a b e l = GSE )
p l t . l e g e n d ( l o c =4 , n c o l =1 , shadow= F a l s e ) plt . xlabel ( s ) plt . ylabel ( P( s ) ) p l t . show ( )
d e f w e y l _ l a w (A, L , C , d a t a , s p a c i n g = 1 0 0 ) : """ P l o t s the experimental s p e c t r a l s t a i r c a s e with t h e e x p e c t e d Weyl f o r m u l a . """ # Loads d a t a from a f i l e . k = loadtxt ( data ) k = sqrt ( sort (k)) temp = 1 . 0 / ( 4 math . p i ) p o i n t s = l i n s p a c e ( 0 , max ( k ) , s p a c i n g ) counts = zeros ( p o i n t s . shape [ 0 ] ) weyl = (Atemp ) p o i n t sp o i n t s ( Ltemp ) p o i n t s + C for i in range (0 , len ( counts ) ) :

for j in range (0 , len ( k ) ) : if k[ j ] < points [ i ]: counts [ i ] = counts [ i ] + 1 plt plt plt plt plt plt plt plt plt plt plt . . . . . . . . . . . figure (1) p l o t ( p o i n t sp o i n t s , c o u n t s , ro , l a b e l =" N u m e r i c a l D a t a " ) p l o t ( p o i n t sp o i n t s , weyl , b , l i n e w i d t h = 2 . 0 , l a b e l =" T h e o r e t i c a l " ) x l a b e l ( $k ^{2} $ ) y l a b e l ( N( k ) ) l e g e n d ( l o c =4 , n c o l =2 , shadow= T r u e ) figure (2) p l o t ( p o i n t sp o i n t s , weylc o u n t s , k ) x l a b e l ( $k ^{2} $ ) y l a b e l ( $N_{ Weyl } N_{ o b s }$ ) g r i d ( True )
48
p l t . show ( ) p r i n t Mean v a l u e o f N _ f l u c : r e t u r n None , mean ( weylc o u n t s )
d e f s p a c i n g (A, L , C , k ) : " " " Computes t h e n e a r e s t n e i g h b o u r s p a c i n g d i s t r i b u t i o n . F i r s t , we n o r m a l i z e t h e k s u s i n g Weyl law i n o r d e r t o o b t a i n a s p e c t r a w i t h mean nnd e q u a l t o 1 ( s e t t i n g h b a r = 1 = 2m ) . A f t e r t h a t we compute t h e n e i g h b o o r d i s t a n c e s . I t c a n be u t i l i z e d f o r r e l a t i v i s t i c and nonr e l a t i v i s t i c b i l l i a r d s , t h e l a t t e r w i t h v a n i s h i n g p e r i m e t e r c o n t r i b u t i o n , and C = 1/12. """ # P r e f a c t o r Weyl Law . temp = 1 . 0 / ( 4 math . p i ) # F i r s t , n o r m a l i z e t h e e i g e n v a l u e s u s i n g Weyl Law , # for r e l a t i v i s t i c b i l l i a r d s , the perimeter correction # vanishes , L = 0. normalized = zeros ( k . shape [ 0 ] ) n o r m a l i z e d = (Atemp )kk ( Ltemp )k + C p s = z e r o s ( k . s h a p e [0] 1) f o r i in range (0 , k . shape [ 0 ] 1 ) : ps [ i ] = n o r m a l i z e d [ i +1] n o r m a l i z e d [ i ] r e t u r n ps
d e f p l o t _ h i s t o g r a m ( e n s e m b l e , d a t a , A, L , C , s t a r t = 0 , end = 5 , b i n s = 5 0 , v = 0 , r 2 = 0 ) : """ P l o t s the histogram of the n e a r e s t neighboor spacing d i s t r i b u t i o n . Add a d e s c r i p t i o n h e r e . """ s = l i n s p a c e ( s t a r t , end , 1 0 0 ) i f goe i n e n s e m b l e : p s = goe ( s ) p l t . p l o t ( s , ps , r , l a b e l i f gue i n e n s e m b l e : p s = gue ( s ) p l t . p l o t ( s , ps , b , l a b e l i f gse i n e n s e m b l e : ps = gse ( s ) p l t . p l o t ( s , ps , k , l a b e l i f poisson in ensemble : ps = p o i s s o n ( s ) p l t . p l o t ( s , ps , g , l a b e l i f brody i n e n s e m b l e : ps = brody ( s , v ) p l t . p l o t ( s , ps , c , l a b e l i f br i n e n s e m b l e : ps = b e r r y _ r o b n i k ( s , r2 ) p l t . p l o t ( s , ps , m , l a b e l
= GOE )
= GUE )
= GSE )
= Poisson )
= r Brody , $ \ nu $ = + s t r ( v ) [ 0 : 6 ] )
= r B e r r yRobnik , $ \ r h o _ 2 $ = + s t r ( r 2 ) [ 0 : 6 ] )
p l t . l e g e n d ( l o c = 1 , n c o l =1 , shadow = T r u e ) # Loads d a t a from a f i l e . k = loadtxt ( data ) k = sqrt ( sort (k)) p l t . h i s t ( s p a c i n g (A, L , C , k ) , b i n s , f a c e c o l o r = w h i t e , normed = 1 )

p r i n t " Mean s p a c i n g : " , s p a c i n g (A, L , C , k ) . mean ( ) plt . xlabel ( s ) plt . ylabel ( P( s ) ) p l t . g r i d ( True ) p l t . show ( ) r e t u r n None
49
d e f t r a p ( a , b , N, v ) : """ Trapezoidal integration rule for distribution . """ res = 0.0 s = 0.0 h = ( ba ) / f l o a t (N) f o r i i n r a n g e ( 1 , N, 2 ) : s = s + 4.0 b r o d y ( a + ih , v ) f o r i i n r a n g e ( 2 , N, 2 ) : s = s + 2.0 b r o d y ( a + ih , v )
t h e Brody
r e s = ( h / 3 . 0 ) ( brody ( a , v ) + brody ( b , v ) + s ) return res
d e f t r a p 2 ( a , b , N, r 2 ) : res = 0.0 s = 0.0 h = ( ba ) / f l o a t (N) f o r i i n r a n g e ( 1 , N, 2 ) : s = s + 4.0 b e r r y _ r o b n i k ( a + ih , r 2 ) f o r i i n r a n g e ( 2 , N, 2 ) : s = s + 2.0 b e r r y _ r o b n i k ( a + ih , r 2 ) r es = ( h / 3 . 0) ( berry_robnik ( a , r2 ) + berry_robnik ( b , r2 ) + s ) return res
d e f i n t e _ n n d ( e n s e m b l e , d a t a , A, L , C , b r o d y = 0 , b r = 0 , e n d f i t = 0 , d i s t = 1 0 0 ) : """ Computes t h e i n t e g r a t e d n e a r e s t n e i g h b o u r d i s t r i b u t i o n . """ # Loads d a t a from a f i l e . k = loadtxt ( data ) k = sqrt ( sort (k)) p s = s p a c i n g (A, L , C , k ) p o i n t s = l i n s p a c e ( 0 , max ( p s ) , d i s t ) counts = zeros ( p o i n t s . shape [ 0 ] ) i_ps = zeros ( p o i n t s . shape [ 0 ] ) # Computes t h e c u m u l a t i v e d i s t r i b u t i o n from d a t a . for i in range (0 , len ( counts ) ) : f o r j i n range ( 0 , l e n ( ps ) ) : i f ps [ j ] < p o i n t s [ i ] : counts [ i ] = counts [ i ] + 1
# Computes t h e e x p e c t e d i n t e g r a t e d nnd . i f e n s e m b l e == goe : for i in range (0 , len ( points ) ) : i _ p s [ i ] = quad ( goe , 0 , p o i n t s [ i ] ) [ 0 ] e l i f e n s e m b l e == gue : for i in range (0 , len ( points ) ) : i _ p s [ i ] = quad ( gue , 0 , p o i n t s [ i ] ) [ 0 ] e l i f e n s e m b l e == gse : for i in range (0 , len ( points ) ) : i _ p s [ i ] = quad ( gse , 0 , p o i n t s [ i ] ) [ 0 ] e l i f e n s e m b l e == p o i s s o n : for i in range (0 , len ( points ) ) : i _ p s [ i ] = quad ( p o i s s o n , 0 , p o i n t s [ i ] ) [ 0 ] else : p r i n t E r r o r , unknow e n s e m b l e
50
# Brody d i s t r i b u t i o n o p t i m i z a t i o n . i f b r o d y == 1 : brody_cum = lambda v , s : t r a p ( 0 , s , 4 0 0 , v ) e r r f u n c = lambda v , s , y : brody_cum ( v , s ) y # The i n i t i a l g u e s s i s t h e p a r a m e t e r from t h e g a u s s i a n e n s e m b l e . i f e n s e m b l e == p o i s s o n : v_init = 0 e l i f e n s e m b l e == goe : v_init = 1 e l i f e n s e m b l e == gue : v_init = 2 e l i f e n s e m b l e == gse : v_init = 4 # S e l e c t t h e r a n g e t o do t h e f i t i f e n d f i t != 0 : fim = 0 w h i l e p o i n t s [ f i m ] <= e n d f i t : fim = fim + 1 else : fim = l e n ( ps )
v_opt , s u c c e s s = o p t i m i z e . l e a s t s q ( e r r f u n c , v _ i n i t , a r g s =( p o i n t s [ 0 : fim ] , c o u n t s [ 0 : fim ] / l e n ( ps ) ) ) p r i n t The o p t i m i z e d v i s : , v _ o p t , s u c c e s s
# B e r r yRobnik d i s t r i b u t i o n o p t i m i z a t i o n . i f b r == 1 : br_cum = lambda r2 , s : t r a p 2 ( 0 , s , 4 0 0 , r 2 ) e r r f u n c = lambda r2 , s , y : br_cum ( r2 , s ) y r2_opt , s u c c e s s = o p t i m i z e . l e a s t s q ( e r r f u n c , 0 . 5 , a r g s =( p o i n t s , c o u n t s / l e n ( ps ) ) ) p r i n t The o p t i m i z e d r h o _ 2 i s : , r 2 _ o p t , s u c c e s s
# P l o t s f i u r e s w i t h r e s u l t i n g i n t e g r a t e d nnd . plt . figure (1) p1 , = p l t . p l o t ( p o i n t s , c o u n t s / l e n ( p s ) , r , l a b e l = " N u m e r i c a l D a t a " ) p2 , = p l t . p l o t ( p o i n t s , i _ p s , k, l a b e l = e n s e m b l e . u p p e r ( ) ) i f b r o d y == 1 and b r == 0 : p3 , = p l t . p l o t ( p o i n t s , t r a p ( 0 , p o i n t s , e l i f b r == 1 and b r o d y == 0 : p3 , = p l t . p l o t ( p o i n t s , t r a p 2 ( 0 , p o i n t s e l i f b r == 1 and b r o d y == 1 : p3 , = p l t . p l o t ( p o i n t s , t r a p ( 0 , p o i n t s , p4 , = p l t . p l o t ( p o i n t s , t r a p 2 ( 0 , p o i n t s
6 0 0 , v _ o p t ) , g, l a b e l = r Brody , $ \ nu $ = + s t r ( v _ o p t ) [ 0 : 6 ] ) , 6 0 0 , r 2 _ o p t ) , g, l a b e l = r B e r r yRobnik , $ \ r h o _ 2 $ = + s t r ( r 2 _ o p t ) [ 0 : 6 ] ) 6 0 0 , v _ o p t ) , g, l a b e l = r Brody , $ \ nu $ = + s t r ( v _ o p t ) [ 0 : 6 ] ) , 6 0 0 , r 2 _ o p t ) , b, l a b e l = r B e r r yRobnik , $ \ r h o _ 2 $ = + s t r ( r 2 _ o p t ) [ 0 : 6 ] )
p l t . x l a b e l ( $s$ ) p l t . y l a b e l ( $ I ( s ) = \ i n t _ 0 ^ s \ ! p ( s ) \ , ds$ ) p l t . l e g e n d ( l o c = 4 , n c o l =1 , shadow = T r u e )
# P l o t s f i g u r e s with e r r o r s . plt . figure (2) p1 , = p l t . p l o t ( p o i n t s , c o u n t s / l e n ( p s ) i _ p s , k , l a b e l = E r r o r : N u m e r i c a l d a t a + e n s e m b l e . u p p e r ( ) i f b r o d y == 1 and b r == 0 : p2 , = p l t . p l o t ( p o i n t s , c o u n t s e l i f b r == 1 and b r o d y == 0 : p2 , = p l t . p l o t ( p o i n t s , c o u n t s e l i f b r == 1 and b r o d y == 1 : p2 , = p l t . p l o t ( p o i n t s , c o u n t s p3 , = p l t . p l o t ( p o i n t s , c o u n t s plt plt plt plt . . . .
/ l e n ( p s ) t r a p ( 0 , p o i n t s , 6 0 0 , v _ o p t ) , r , l a b e l = E r r o r : Brody F i t ) / l e n ( p s ) t r a p 2 ( 0 , p o i n t s , 6 0 0 , r 2 _ o p t ) , r , l a b e l = E r r o r : B e r r yRobnik F i t ) / l e n ( p s ) t r a p ( 0 , p o i n t s , 6 0 0 , v _ o p t ) , r , l a b e l = E r r o r : Brody F i t ) / l e n ( p s ) t r a p 2 ( 0 , p o i n t s , 6 0 0 , r 2 _ o p t ) , b , l a b e l = E r r o r : B e r r yRobnik F i t )
x l a b e l ( $s$ ) y l a b e l ( $ \ D e l t a I$ ) l e g e n d ( l o c = 4 , n c o l =1 , shadow = T r u e ) g r i d ( True )
p l t . show ( ) r e t u r n None
Referncias Bibliogrcas
[1] J. Gleick, Chaos: Making a New Science, Penguin, (1988). [2] E. Ott, Chaos in Dynamical Systems, Cambridge University Press, (2002). [3] H. J. Stoeckman, Quantum chaos, an introduction, Cambridge University Press, (1999). [4] E. Merzbacher, Quantum Mechanics, Wiley, (1998). [5] G. Casati, B. V. Chirikov, F. M. Izraelev, J. Ford, Stochastic behavior of a quantum pendulum under a periodic perturbation, Lecture Notes in Physics, Springer 93, 334 (1979). [6] M. V. Berry, Regularity and Chaos in Classical Mechanics, Ilustrated by Three Deformations of a circular Billiard, Eur. J. Phys. 2, 91-102 (1981). [7] W. Greiner, Relativistic Quantum Mechanics Wave Equations, Springer-Verlag, (2000). [8] M. V. Berry, R. J. Mondragon, Neutrino billiards: time-reversal symmetrybreaking without magnetic eld, Proc. R. Soc. Lond. A 412, 53-74 (1987). [9] A. M. Odlyzko, On the distribution of spacings between zeros of the zeta function, Math. Comp. 48, (1987). [10] L. A. Ponomarenko, F. Schedin, M. I. Katsnelson, R. Yang, E. W. Hill, K. S. Novoselov, A. K. Geim, Chaotic Dirac Billiard in Graphene Quantum Dots, Science 320, 5874 (2008). [11] D. U. Matrasulov, G. M. Milibaeva, U. R. Salomov, B. Sundaram, Relativistic kicked rotor, Phys. Rev. E 72, 016213, (2005). [12] J. Bolte and J. Harrison, Spectral Statistics for the Dirac Operator on Graphs, J. Phys. A 36, 2747 (2003). [13] I. Kosztin, K. Schulten, Boundary Integral Method for Stationary States of TwoDimensional Quantum Systems, Int. J. Mod. Phys. C 8, 2 (1997). [14] A. Bcker, Numerical aspects of eigenvalue and eigenfunction computation for chaotic quantum systems. 51
REFERNCIAS BIBLIOGRFICAS [15] E. Fermi, On the Origin of the Cosmic Radiation, Phys. Rev. 75, 1169 (1949).
52
[16] R. E. de Carvalho, F. C. Souza, E. D. Leonel, Fermi acceleration on the annular billiard, Phys. Rev. E 73, 066229 (2006). [17] F. Lenz, F. K. Diakonos, P. Schmelcher, Tunable Fermi Acceleration in the Driven Elliptical Billiard, Phys. Rev. Lett. 100, 014103 (2008). [18] A. Loskutov, A. B. Ryabov, L. G. Akinshin, Properties of some chaotic billiards with time-dependent boundaries, J. Phys. A. Math. Gen. 33, 7973 (2000). [19] A. Loskutov, A. Ryabov, Particle Dynamics in Time-Dependent Stadium-Like Billiards, J. Stat. Phys. 108 (2002). [20] S. O. Kamphorst, S. P. de Carvalho, Bounded gain of energy on the breathing circle billiard, Nonlinearity 12, 1363 (1999). [21] L. A. Bunimovich, The ergodic properties of certain billiards. Funct. Anal. Appl. 8, 73-74 (1974). [22] A. Bcker, H. R. Dullin, Symbolic dynamics and periodic orbits for the cardioid billiard, J. of Phys. A: Math. Gen. 30, 6 (1997). [23] L. A. Bunimovich, On ergodic properties of nowhere dispersing billiards, Commun. Math. Phys. 65, 295-312 (1979). [24] A. J. Lichtenberg, M. A. Lierberman, Regular and chaotic dynamics, SpringerVerlag, New York, (1994). [25] L. D. Pustylnikov, Theoret. Math. Phys. 77 (1), 1110-1115 (1988). [26] L. D. Pustylnikov, Russ. Math. Surv. 50, 145 (1995). [27] M. V. Deryabin, L. D. Pustylnikov, Reg. Chaot. Dyn. 8, 283-296 (2003). [28] M. V. Deryabin, L. D. Pustylnikov, Lett. Math. Phys. 63(3), 195-207 (2003). [29] M. V. Deryabin, L. D. Pustylnikov, Commun. Math. Phys. 248, 527-552 (2004). [30] H. Essen, Note on the relativistic elastic head-on collision, Eur. J. Phys 23, 565 (2002). [31] L. D. Landau, E. M. Lifshitz, The Classical Theory of Fields, Pergamon Press, London, (1975). [32] M. L. Tiago, T. O. Carvalho, M. A. M. de Aguiar, Boundary Integral method for quantum billiards in a constant magnetic eld, Phys. Rev. E 55, 1 (1997). [33] K. Hornberger, U. Smilansky, The Boundary integral method for magnetic billiards, J. Phys. A: Math. Gen. 33, 14, (2000). [34] G. B. Arfken, H. J. Weber, Mathematical Methods for Physicists, Elsevier, (2005).
REFERNCIAS BIBLIOGRFICAS
53
[35] W. H. Press, B. P. Flannery, S. A. Teukolsky, W. Vetterling, Numerical Recipes in C, Cambridge University Press, (1992). [36] M. Robnik, J. Dobnikar, T. Prosen, Energy level statistics in the transition regime between integrability and chaos for systems with broken antiunitary symmetry, J. Phys. A: Math. Gen. 32, 8, (1997). [37] www.python.org

If 1505

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

If 1505

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Estadual de Campinas

Instituto de Fsica Gleb Wataghin

Caos Quntico Relativstico

Campinas, 13 de maio de 2011

Prof. Dr. Patrcio Anibal Letelier Sotomayor

FICHA CATALOGRFICA ELABORADA PELA BIBLIOTECA DO IFGW UNICAMP

A Script para anlise de espectros

CAPTULO 2. BILHARES CLSSICOS

(a) Bilhar Circular

(b) Bilhar Elptico

(a) Bilhar Estdio

(b) Bilhar Cardioide

CAPTULO 2. BILHARES CLSSICOS

CAPTULO 2. BILHARES CLSSICOS

CAPTULO 3. ACELERAO DE FERMI

CAPTULO 3. ACELERAO DE FERMI

Dinmica num bilhar forado

Transformao de velocidade relativstica

CAPTULO 3. ACELERAO DE FERMI

CAPTULO 3. ACELERAO DE FERMI

As velocidades aps a coliso so obtidas a partir da equao (3.6). m2 m2 1 2 u m2 + m2 + 2m1 m2 /(u) 1 2 = uS .

CAPTULO 3. ACELERAO DE FERMI

CAPTULO 3. ACELERAO DE FERMI

CAPTULO 3. ACELERAO DE FERMI

1.2 1.0 0.8 0.6

0.4 0.2 0.0 0 10 101 102 103

CAPTULO 3. ACELERAO DE FERMI

= r 0.025 0.05 0.1 0.025 0.05 0.1

0.9396 0.8710 0.9566 0.7770 0.7448 0.6378

CAPTULO 3. ACELERAO DE FERMI

<v> 10-1 100 101 102 103 104 105

CAPTULO 4. CAOS QUNTICO

CAPTULO 4. CAOS QUNTICO

Expandindo a funo de onda n na base ortonormal i (e abandonando o indice n por simplicidade): =

onde os elementos da matriz Hnm so: Hnm = Hm dx. n (4.4)

Proprieades estatsticas dos nveis de energia

CAPTULO 4. CAOS QUNTICO

1.0 0.8 0.6 p(s) 0.4 0.2 0.0 0.0

CAPTULO 4. CAOS QUNTICO

Mtodo da integral de contorno

CAPTULO 5. BILHARES QUNTICOS

GEn (r, r ) GEn (r, r )

CAPTULO 5. BILHARES QUNTICOS

im (1) H0 (k|r r |), 2 2 h

CAPTULO 5. BILHARES QUNTICOS

CAPTULO 5. BILHARES QUNTICOS

0.9 0.25 0.8

0.7 0.20 0.6

0.10 0.3 0.2 0.05 0.1 0.0 0.00 23.0

CAPTULO 5. BILHARES QUNTICOS

0 2 4 6 80 5000 10000 15000 20000 25000 30000 35000 40000

CAPTULO 5. BILHARES QUNTICOS

1.0 0.8 0.6 P(s) 0.4 0.2 0.00

CAPTULO 5. BILHARES QUNTICOS

1.0 0.8 0.6

0.4 0.2 0.00 0.010

Numerical Data POISSON

Error: Numerical data - POISSON

2 1 0 1 20 2000 4000 6000 8000 10000

CAPTULO 5. BILHARES QUNTICOS

1.0 0.8 0.6

0.015 0.010 0.005

0.000 0.005 0.010

0.4 0.2 0.0 0.0