Algumas contribuies de von Neumann Fsica Matemtica

WALTER F. WRESZINSKI
QUE CARACTERIZA as muitas contribuies de von Neumann Fsica Matemtica a profundidade e extrema originalidade das suas idias, que parecem surgir do nada. Cada uma delas abriu novos caminhos, e muitas conduziram a desenvolvimentos surpreendentes. Nesta palestra, quero concentrar-me em duas dessas idias e seus desenvolvimentos subseqentes: a teoria de perturbaes, e a dos avoided crossings, com maior nfase na ltima. Por completeza, menciono algumas das suas contribuies fundamentais, que no sero aqui abordadas: os mtodos matemticos da mecnica quntica (von Neumann, 1932) (inclusive a teoria dos operadores no limitados e grafos (id., 1929) e o teorema fundamental da unicidade relativo s relaes cannicas de comutao (id., 1931); a teoria das lgebras de von Neumann (Dixmier, 1957) e suas aplicaes mecnica estatstica (Ruelle, 1969); a teoria dos espaos produto-direto incompletos e suas aplicaes, por exemplo, modelo de Dicke do MASER por Hepp & Lieb (1973) e, finalmente, os mtodos da teoria ergdica e suas aplicaes mecnica clssica (Koopman-von Neumann (1932). Cada um desses tpicos seria assunto para vrias palestras. Por exemplo, o teorema da unicidade especfico a nmero finito de graus de liberdade: no caso de sistemas de nmero infinito de graus de liberdade (teoria de campos) no h unicidade, e sim variedade noenumervel de representaes inequivalentes estranhas das relaes de comutao, o que representa uma fonte de graves problemas intrnsecos dessa teoria.

O problema da teoria de perturbaes central em anlise funcional, particurlarmente a do espectro singular: dado um operador auto-adjunto H com espectro puramente pontual, e uma perturbao compacta V, quando que (H + V) tem tambm espectro puramente pontual? O incio desse estudo foi o trabalho de von Newmann e Weyl, e o resultado do teorema de Weyl-von Newmann (1935) no encorajador: qualquer

operador auto-adjunto difere de um operador com espectro puramente pontual por um operador de norma Hilbert-Schmidt arbitrariamente pequena. Esse resultado gerou impressionante desenvolvimento: Kato e Ronsblum mostraram que perturbaes da classe do trao preservam o espectro absolutamente contnuo (Kato, 1966), mas Carey & Pincus (1976) mostraram que todo operador auto-adjunto sem parte absolutamente contnua difere de um operador com espectro pontual por um operador de norma trao arbitrariamente pequena. Pior ainda, o trabalho clssico de Donoghue (1965) d exemplos de perturbaes de posto um

em que

a) H puro ponto mas H(k) puro singular contnuo para k * 0 e b) H puro singular contnuo, mas H(k) puro ponto par k * 0. A soluo considerar perturbaes F, que no so pequenas em algum sentido abastrato, mas pequenas relativamente a H, no sentido de que elas no deslocam demasiadamente os autovetores de H. Grosseiramente, se {en} um conjunto ortonormal de autovetores do operador puro ponto H, uma condio

Esse desenvolvimento relativamente recente (Howland, 1987) mas mostra um aspecto fundamental do desenvolvimento das idias de von Neumann. A condio acima muito forte se comparada com os requisitos da teoria do espalhamento, refletindo o fato de que o espectro absolutamente contnuo mais estvel do que o espectro puramente pontual denso. Exemplos de espectro pontual denso hoje abundam em fsica matemtica, na teoria de sistemas desordenados e quase-peridicos. Um exemplo o modelo de Anderson de impurezas distribudas aleatoriamente em um cristal, sobre o qual h diversos resultados recentes. Um deles, devido a Frlich e Spencer, garante que o espectro de operadores do tipo

onde ( V w f ) ( x ) w x ) f ( x ) , e { w(x)} so variveis aleatrias independentes e identicamente distribudas, e (-*) o laplaciano de diferena e tem espectro puro ponto se a desordem for suficientemente elevada (Frhlich & Spencer, 1986).

O segundo tpico que abordaremos diz respeito teoria de avoided crossings devida a von Neumann e Wigner (1927). Essa teoria tornouse extremamente atual na ultima dcada, com implicaes profundas na teoria de sistemas qunticos classicamente caticos e da fase geomtrica (fase de Berry). Referncia a esses desenvolvimentos recentes encontra-se em Avron et al. (1989) e no extraordinrio apndice do livro de Arnold (1974). A idia-chave , entretanto, de von Neumann. Considere uma matriz hermitiana H (*), dependendo de um parmetro **E (o espao de parmetros, um subconjunto de Rn. Sejam E j (*) os autovalores da matriz. Os cruzamentos (crossings) de autovalores tm papel fundamental em diversas teorias, por exemplo, em mecnica quntica, onde o teorema adiabtico requer que E j (* 2 ) seja um autovalor isolado. O operador de projeo correspondente

onde *j um contorno circundando o j-simo autovalor no espectro. Pj(*), herda o carter liso de H ( * ) desde que *j fique fora do espectro; quando as lacunas no espectro se fecham, o carter liso pode desaparecer. Seja D(P) o conjunto dos pontos de E onde P no liso, ou seja, o conjunto de pontos de cruzamentos de nveis. Considere o comportamento local de E j (*) e P j (*) prximo a um cruzamento de dois nveis em *. Restringindo o hamiltoniano ao subespao degenerado em * fornece uma matriz hermitiana 2 x 2 :

onde / * > e / * > so os dois autovetores independentes de H ( * ) em *. Aqui, e(*) uma funo em R3, e a o tripleto de matrizes de Pauli. Os dois autovalores da matriz h(*) so

onde e((f>) = 0. Assim, para matrizes hermitianas complexas D(P) tem co-dimenso 3; para matrizes reais, a co-dimenso 2. As autoprojees so:

onde o vetor unitrio associado c. Devido ao valor absoluto em (1) e normalizao a vetores unitrios em (2), nem E ( * ) nem P(*) so necessariamente lisos em *. No espao ?, (1) descreve uma cnica:

Berry chama tais pontos de diablicos. Os autovalores so contnuos em f mas no-lisos, e as projees no so nem mesmo contnuas prximas dee = 0. A idia fundamental de von Neumann, totalmente original, a seguinte, fornecendo uma prova alternativa do teorema. O espao de matrizes hermitianas n x n um espao vetorial de n2 dimenses. Mostremos inicialmente que o espao de matrizes hermitianas no-degeneradas de dimenso plena (n 2 ). A matriz unitria que diagonaliza uma dada matriz hermitiana com espectro no-degenerado fixo

est determinada a menos de uma matriz diagonal unitria. Dessa forma, existe uma correspondncia biunvoca entre matrizes hermitianas nodegeneradas com espectro fixo e elementos de

Como dim [ U ( n )] n2, o espao em (4) n(n 1) dimensional, o que, junto com as n dimenses associadas variao dos Ej (3), fornece n2, a dimenso plena. Considere, agora, as matrizes hermitianas com um estado degenerado, digamos o fundamental. A equao (3) substituda por

As unitrias diagonalizantes correspondentes so identificadas com os elementos de

que de dimenso n2 (n 2) 4 = n(n 1) 2. A dimenso do espao associado variao dos Ej em (5) n l e a dimenso total do espao com uma degenerescncia n(n 1) 2 + n 1 = n2 3. A codimenso 3 e independente de n. De forma mais geral, o espao das matrizes hermitianas com m-degenerescncias tem codimenso

As codimenses so independentes da dimenso das matrizes e valem para operadores que so limites de matrizes e tem espectro discreto. O teorema de von Neumann-Wigner nesta forma tem contedo essencialmente geomtrico, indicando que o conjunto de elipsoides de revoluo uma unio finita de subvariedades diferenciveis de codimenso * 2 na variedade de todos os elipsoides de revoluo. Esse o ponto de vista de Arnold (1974). Essa idia foi fecunda. O teorema sugere que uma famlia de operadores dependendo de n parmetros tem cruzamentos de nveis em um conjunto de codimenso 3 no espao dos parmetros. Isto um ansatz, no um teorema, porque a famlia a n-parmetros pode estar imersa em uma forma especial no espao de todas as matrizes hermitianas: considere a equao de Schrdinger na reta com potencial V ( x ; * ) dependendo de n parmetros * * (*1, ..., *n ) com V * * para |x| * *. O ansatz de von NeumannWigner fornece codimenso 2 neste caso, mas falha arbitrariamente mal porque o espectro simples devido a urna identidade wronskiana.

Entretanto o ansatz funciona em geral extraordinariamente bem para sistemas qunticos genricos (no classicamente integrveis), com hamiltonianas reais; variando-se apenas um parmetro, no h cruzamentos e sim avoided crossings, como os da figura mencionada. Esse fato tem implicaes profundas na moderna teoria de sistemas qunticos classicamente caticos; a estatstica de nveis revela que a dinmica clssica deixa traos, correspondentes a uma repulso de nveis (Berry, 1983).

Gostaramos de mencionar ainda um importante problema intimamente ligado filosofia de von Neumann-Wigner: o da fase geomtrica ou fase de Berry. A fase de Berry um conceito geomtrico ligado ao transporte paralelo em uma superfcie curva. Se um vetor for deslocado paralelamente ao longo de uma curva fechada, por exemplo, sobre a superfcie de uma esfera, ele formar no final com a direo inicial um ngulo caracterstico da curvatura da superfcie.

Em analogia superfcie, consideramos os estados (puros) em mecnica quntica. Esses estados so descritos por raios (duas funes de onda pertencem ao mesmo raio quando elas se diferenciam apenas por uma fase). As fases das funes de onda correspondem s direes dos vetores sobre a superfcie. O transporte paralelo no espao de estados da mecnica quntica dado pela equao adiabtica (a seguir). Quando, ento, uma fase for transportada paralelamente ao longo de uma curva fechada no espao de estados da mecnica quntica, ela pode no final ser distinta do valor inicial. A diferena entre os valores final e inicial denomina-se fase de Berry. Para introduzir esse conceito em maior detalhe, consideremos o exemplo de um spin em mecnica quntica. Neste caso, como vimos, importante distinguir entre a funo de onda, isto , o vetor de spin

e o raio correspondente. Em vez de raios pode-se freqentemente utilizar os projetores nos vetores de spin, que so matrizes 2 x 2, e podem ser

parametrizadas por uma superfcie esfrica em trs dimenses: .

onde denota o vetor das trs matrizes de Pauli. Assim, os estados qunticos de um spin podem ser identificados com uma superfcie esfrica bidimensional. Sobre ela consideramos a curva fechada e tentamos encontrar vetores de spin normalizados tais que

A dificuldade a reside na escolha da fase, j que o vetor de spin s pode ser reconstrudo do projetor a menos de uma fase. O seguinte requisito torna nica a escolha da fase, dado *(0):

Esta a equao adiabtica (Simon, 1983; Kato, 1950) que sempre verdadeira para * real e representa uma prescrio de como a fase dada para s = O deve ser transportada paralelamente ao longo da curva fechada. Ela tem uma caracterstica comum com o transporte paralelo de vetores: que a variao ** seja ortogonal a * como apenas um nmero real - a fase - procurado, essa condio suficiente. Da mesma forma, como sabemos, do transporte paralelo de vetores sobre a esfera surge uma diferena de fase entre *(1) e *(0), a fase de Berry *:

Uma curva no espao de estados da mecnica quntica pode ser gerada da seguinte forma: Consideremos por exemplo, a matriz hamiltoniana

de um spin 1/2 em um campo magntico . O estado quntico correspondente ao autovalor op r o j e t o r . tem o papel 3 de um parmetro, o espao de parmetros R {0} que isomorfo esfera (a excluso do 0 devida ao fato de que este o ponto de cruzamento dos autovalores, e o teorema adiabtico no vale para esses pontos). Assim, uma curva no espao dos parmetros gera uma outra no espao de estado quntico. A fase de Berry pode ser expressa apenas atravs dos estados (projetores) - as fases das funes de onda correspondentes no so necessrias,

como veremos agora. Seja 4>(B) uma escolha arbitraria de autovetores normalizados de H(B) com autovalor \B\eB(s}/0 < s < l uma curva fechada no espao de parmetros. Os vetores de spin ijj(s) e <f>(B(s)) ambos autovetores com o mesmo autovalor diferenciam-se por construo apenas por uma fase

Da equao adiabtica segue ento

onde um tipo de potencial vetor (conexo). Por integrao e aplicao do teorema de Stokes

onde F uma superfcie cuja fronteira u; no espao R3{0}. Usando a linguagem de formas diferenciais, isto , exprimindo g^ * d<f).

em termos de coordenadas locais. Tal frmula no mostra a independncia de * de mudanas de fase de * mas, por

pode-se demonstrar independncia. A equao para V mostra que V = 0 se pudermos escolher <f>(B) todos simultaneamente reais. Assim, o fenmeno da fase de Berry s est presente, e.g., em campos magnticos, onde impossvel, porque o hamiltoniano no invariante por inverso temporal. Consideremos agora o clculo de V (B). Por invariana rotacional, basta calcular V em

B = (0.0.B). Seja |m > o autovetor com \vz\m >= m\m > (m = |), ento para B prximo a (0,0, B ), podemos tomar

de onde

e voltando a B geral

onde A a < forma da rea na esfera de raio \B\\ segue que

onde * o ngulo slido subentendido pela curva fechada que corresponde rbita no espao dos parmetros. Em particular, se F for uma esfera (ou qualquer superfcie da qual a origem ponto interno, j que dV = 0)

que um inteiro. Isto no coincidncia: se * for uma curva anti-horria ao longo do equador na esfera F, que a divide em dois hemisfrios F,

logo Esta a bem conhecida quantizao da integral da curvatura da classe de Chern do fibrado (que no caso dado da seguinte forma: para cada B seja Xiffi) o autoespao de H (B) correspondente ao autovalor \Bl). Finalmente, qual a ligao com a teoria de von Neumann-Wigner? Considere duas autofunes reais * de um hamiltoniano, dependente de parmetros que designaremos por J3, cujas energias degeneram

em um ponto do espao dos parmetros, digamos (sem perda de generalidade): quando tomadas ao longo de uma curva fechada * no espao dos parmetros *+ e *_ mudaro de sinal se e somente se * envolver uma degenerescncia. Esse teorema mencionado em Arnold (1974). Ele permite distinguir na prtica que realmente existe uma degenerescncia em e no apenas em quase tocar de cones, anlogo ao da figura dos avoided crossings. E bem sabido que as funes de onda so univalentes com respeito s suas variveis (e.g. ), mas esse teorema mostra que, surpreendentemente, elas no precisam s-lo com respeito aos parmetros do hamiltoniano. Para provar esse resultado, note que prximo a =0, onde E = O, o hamiltoniano pode ser representado por

desde que a degenerescncia seja levantada em primeira ordem, que o caso genrico. Se a matriz real, a componente *y nula e ficamos com

Neste caso, os nveis de energia se interceptam cnicamente no espao E, Bx, Bz (de fato, ) e a fase de Berry novamente onde * = 2* se * envolve a degenerescncia no sentido antihorrio, zero de outra forma ( o ngulo slido no plano By = 0). Assim,

e a mudana de fase exp(2*i**) = exp(*i*) = -1. Como exemplo explcito, considere a curva

A autofuno de spin correspondente ao autovalor bem conhecida

e safisfaz equao adiabtica. Assim,

isto , a fase de Berry 1/2. Para concluir: o teorema adiabtico est demonstrado no trabalho clssico de Kato (1950); uma exposio simples do resultado encontra-se em Simon (1983). Como vimos, as idias de von Neummann no captulo dos crossings geraram desenvolvimentos espantosos, com implicaes profundas em geometria e em diversos campos da fsica matemtica.

Referncias bibliogrficas AVRON, J. E.; SADUN, L.; SEGERT, J. & SIMON, B. Chern numbers, quaternions and Berry phases in Fermi systems. Coomm. math. Phys., v. 124, n. 595, 1989. ARNOLD, V. Methods mathematiques de la mcanique classique. Mir, 1974 [apndice 10]. BERRY, M. V. Chaotic behaviour of deterministic systems. XXXVI, North Holland, 1983. ' Les Houches "

CAREY, R. W. & PINCUS, J. D, Amer. J. Math., v. 98, n. 481, 1976. DIXMIER, J. Les algebres d'operateurs dans l'espace hilbertien. Algebres de von Neumann, 1957. DONOGHUE, W. Comm. Pure Appl Math., v. 18, n. 559, 1965. FRHLICH, J. & SPENCER, T. Comm. Math. Phys., v. 88, n. 151, 1983. HEPP, K. & LIEB, E.H. Ann. Phys., v. 76, n. 360, 1973. HOWLAND, J. S. J. Fund. Anal., v. 74, n. 52, 1987. KATO, T. Perturbation theory for linear operators. Springer, 1966. _______. J. Phys. Soc. Japan, v. 5, n. 435, 1950. RUELLE, D. Statistical mechanics. Gouthier, Villars Benjamin, 1969.

SIMON, B. Phys. Rev. Lett, v. 51, n. 2167, 1983. SIMON, B. & WOLFF, T. Comm. Pure Appl Math, v. 39, n. 75, 1986. VON NEUMANN, J. Mathematische Grundlagen der quantenmechnik. N.Y., Springer, 1932. _______. Allgemeine Eigenwerttheorie Hwemitescher Funktionalopeeratoren. Math. Ann., v. 102, n. 49, 1929. _______. ber adjungierte Funktionaloperatoren. Math. Ann., v. 2, n. 33, p. 294, 1929. _______. Die Eindeutigkeit der Schrdingersclien Operatores. Math. v. 104, n. 570, 1931. Ann.,

_______. Charakterisierung des Spektrums eines Integraloperators. Actualites Sci. et Ind., v. 229, n. 38, 1935. VON NEUMANN, J. & KOOOPMAN, B. 0. Dynamical systems of continuous spectra. Proc. Nat. Acad. Sci., v. 18, n. 255, 1932. VON .NEUMANN, J. & WIGNER, E. P. Phys. Zeit., v. 30, n. 467, 1927.

Walter Wreszinski professor do Departamento de Fsica Matemtica do Instituto de Fsica da USP. Palestra feita pelo autor no encontro A obra e o legado de John von Neumann, organizado pelo Instituto de Estudos Avanados da USP e pela Academia Brasileira de Cincias no Instituto de Matemtica e Estatstica da USP em 14 de novembro de 1995. '