FISICA TEORICA

REVISTA MEXICANA DE F ISICA 49 SUPLEMENTO 3, 111113

NOVIEMBRE 2003

Un m todo de proyecci n espectral para operadores de Jacobi e o

L. Boulton Departmento de Matem ticas, Universidad Sim n Bolvar a o Apartado 89000, Baruta, Miranda 1086-A, Venezuela
Recibido el 11 de diciembre de 2001; aceptado el 15 de julio de 2002 Sea H el operador de Jacobi Hu(n) = u(n 1) + u(n + 1) + v(n)u(n), u(0) = 0 que actua en l2 (Z+ ), donde el potencial v es real y v(n) 0 cuando n . Sea P la proyecci n ortogonal sobre el espacio lineal cerrado L l2 (Z+ ). En un reciente artculo E. Brian o Davies dene el espectro de segundo orden Spec2 (H, L) de H relativo a L, como el conjunto de los z C tales que la restricci n a L o del operador P (H z)2 P no es invertible. En el presente trabajo estudiamos las propiedades de Spec2 (H, L) cuando L es grande pero de dimensi n nita. Nuestro inter s particular est en la conecci n entre este conjunto y el espectro de H. En nuestro resultado principal o e a o construimos cotas explcitas en t rminos del potencial v, que determinan el comportamiento asint tico del Spec2 (H, L) cuando L crece e o hacia l2 (Z+ ). Descriptores: Teora espectral de operadores de Jacobi; m todos de proyecci n espectral no autoadjuntos; estimaci n del espectro. e o o Let H be the Jacobi operator Hu(n) := u(n 1) + u(n + 1) + v(n)u(n), u(0) = 0 acting on l2 (Z+ ) where the potential v is real and v(n) 0 as n . Let P be the orthogonal projection onto a closed linear subspace L l2 (Z+ ). In a recent paper E.B. Davies denes the second order spectrum Spec2 (H, L) of H relative to L as the set of z C such that the restriction to L of the operator P (H z)2 P is not invertible within the space L. The present paper is devoted to study properties of Spec2 (H, L) when L is large but nite dimensional. Our particular interest is the connection between this set and the spectrum of H. In our main result we provide sharp bounds in terms of the potential v for the asymptotic behaviour of Spec2 (H, L) as L increases towards l2 (Z+ ). Keywords: Spectral theory of Jacobi operators; non-self-adjoint projection methods; estimation of the spectrum. PACS: 02.70.Hm; 02.70.Bf; 02.30.Tb

1. Introducci n o
Sea H el operador de Jacobi H = H0 + V que act a sobre u l2 (Z+ ), donde H0 u(n) := u(n 1) + u(n + 1), u(0) = 0,

paz de localizar grietas en el espectro. En particular Shargorodsky prueba que para cualquier operador lineal acotado y autoadjunto T ,
k

l Spec2 (T ; Lk ) R = Spec(T ) , m

y V u(n) = v(n)u(n), v : Z+ R. En la Ref. 2, E.B. Davies propone generalizar el concepto de resonancia del operador H de la siguiente manera. Sea L un subespacio cerrado de l2 (Z+ ), P la proyecci n ortogoo nal sobre L y denamos el espectro de segundo orden de H, Spec2 (H; L) , como el conjunto de todos los C tales que el haz cuadr tico de operadores a P (H )2 P |L (1)

donde la uni n est tomada sobre el conjunto de todas las o a sucesiones (Lk ) tales que la proyecci n ortogonal sobre Lk o converge fuertemente a la identidad [7]. En la presente contribuci n investigamos propiedades del o espectro de segundo orden de H, siguiendo las ideas de Shargorodsky de tomar el lmite k . Abajo siempre asumire mos sobre el potencial v la hip tesis de que existen constantes o a, r > 0 tales que |v(n)| a
nr+1 , n = 1, 2, . . . (2)

no es invertible. Entonces C ser por denici n una rea o sonancia de H relativa a L, si y solo si es un punto aislado de Spec2 (H; L) . Esta denici n fue motivada por observaciones hechas o por Davies [2] de espectra de segundo orden cuando v tiene soporte compacto y L es de dimensi n nita con dim L 30. o En este caso, experimentos num ricos muestran puntos aislae dos de Spec2 (H; L) muy cercanos a las resonancias de H que, adaptando la denici n de E. Harrell [4] al contexto diso creto, son soluciones de Hu = u sujeta a las condiciones iniciales u(1) = 1 y u(n) = cwn para algunas c, w C y todo n sucientemente grande. En la Ref. 7, E. Shargorodsky considera el espectro de segundo orden como un m todo de proyecci n espectral cae o

Sea Lk := linspan {1 , . . . k } donde j (n) := 0 n=j 1 n = j.

Nuestro inter s particular es mostrar cotas precisas para el e lmite

k

l Spec2 (H; Lk ) m

en t rminos de a y r. Estas cotas se basan en resultados obtee nidos recientemente por el autor [1], donde se puede encontrar la demostraci n del teorema 1 abajo enunciado. o

112

L. BOULTON

2. El espectro de segundo orden de H

Debido a que dim Lk = k, el haz de operadores (1) es una matriz de dimensi n k k. Por lo tanto Spec2 (H; Lk ) , o si y s lo si o det Pk (H )2 Pk |Lk = 0. Escribiendo de manera explcita la parte izquierda de esta identidad, es f cil vericar que Spec2 (H; Lk ) contiene a lo a sumo 2k puntos. Consideremos el espectro de H, el cual denotaremos por Spec(H) . Como v es acotado y s lo toma valores reales, H o es acotado y autoadjunto. Un argumento est ndar que involua cra series de Fourier, demuestra que Spec(H0 ) = [2, 2] = Specess (H0 ) . En virtud de (2), la traza de V es nita. Por lo tanto, de acuerdo con el lema de Weyl, Specess (H) = [2, 2]. As el espectro de H est conformado por este intervalo uni n a o un conjunto de autovalores aislados y de multiplicidad nita con la unica posibilidad de acumularse en 2. Un resultado reciente de F. Luef y G. Teschl [6] demuestra que si r > 1, entonces siempre hay un un numero nito de tales autovalores. Como Pk (H z)2 Pk = (Pk HPk z)2 , z C,

Corolario 2 Suponga que r > 0 se puede escoger arbitrariamente grande en (2). Entonces para todo 0 < q < 1 existe una constante b(q) > 0 independiente de z tal que Spec2 (H; Lk ) {z C : dist (z, Spec H) < b(q)/k q } para todo k. Para potenciales concretos, la constante b(q) puede calcularse de manera explcita siguiendo los pasos de la prueba del teorema 1 en la Ref. 1. Evidencia num rica [1] muestra que e b(q) crece r pidamente cuando q se acerca a 1, por lo tanto a este resultado parece ser falso para q > 1.

3. Un experimento num rico e

Existe una nutrida literatura [3, 5] referente a la teora espec tral de haces de operadores del tipo considerado en (1). Un m todo sugerido por Davies [2] para calcular Spec2 (H; Lk ) e en situaciones concretas es el siguiente. Sea la matriz de bloque Tk = 2Pk HPk Ikk Pk H 2 Pk , 0

y la parte izquierda de esta identidad es un operador que no conmuta con su conjugado, a primera vista no resulta evidente la conecci n que pueda existir entre Spec2 (H; Lk ) y o Spec(Pk HPk ) . El siguiente resultado proporciona una res puesta parcial a esto. Observe que Pk HPk converge fuertemente a H cuando k y ambos operadores son autoadjuntos, por lo tanto intuitivamente Spec(Pk HPk ) no diere demasiado de Spec(H) para k grande (ver Ref. 7 corollary 23). Abajo denotamos la distancia entre un conjunto C y un punto z C por dist (z, ) := inf{|z | : }. Teorema 1 Si v satisface (2), entonces existe una constante b(r) > 0 independiente de z tal que Spec2 (H; Lk ) {z C : dist (z, Spec H) < b(r)/k c(r) } con c(r) = 2r/(2r + 23), para todo k = 1, 2, . . . Este teorema arma que Spec2 (H; Lk ) S Spec(H) cuando k a lo menos tan r pido como k c(r) . Exisa te suciente evidencia num rica (ver Ref. 1 y la secci n sie o guiente) para conjeturar que S = Spec(H) , [1]. El siguiente corolario es consecuencia inmediata del teo rema 1. Observe que este incluye el caso de potenciales con soporte compacto analizado por Davies en la Ref. 2.

donde Ikk es la identidad. Entonces Spec2 (H; Lk ) , si y s lo si Spec(Tk ) . Para demostrar esto, simplemente o observe que det[Tk z] = det (Pk HPk z)2 , z C.

Las Figs. 1 y 2 abajo fueron construidas implementando num ricamente esta propiedad. e

F IGURA 1. Spec2 (H; k) para tres valores de k.

Rev. Mex. Fs. 49 S3 (2003) 111113

 UN METODO DE PROYECCION ESPECTRAL PARA OPERADORES DE JACOBI

113

Aproximando las races de p(z), se obtiene que Spec(H) = [2, 2] {} donde 3,6036. Las otras races de p(z) corresponden a las resonancias de H, [2]. Sus valores aproximados son 1,1421 0,0342i y 0,8403 0,0489i. La Fig. 1 muestra el espectro de segundo orden de H cuando v es como en (3). Como demuestra el corolario 2, el espectro de segundo orden converge a Spec(H) a medida que k crece. En este caso siempre encontramos un punto de Spec2 (H; Lk ) muy cercano al autovalor aislado . Esta propiedad se verica para otros potenciales [1]. La caractersti ca perturbaci n observada en las regiones {Re z 1,3} y o {Re z 0,7} corresponde a las resonancias relativas a Lk . Observe que al incrementar k, la perturbaci n se va suavizano do, perdiendose as informaci n acerca de la localizaci n de o o las raices no reales de p. En la Fig. 2 mostramos la m xima distancia entre a Spec2 (H; Lk ) y Spec(H) a medida que k se incrementa. Observe que la pendiente de la graca log-log es muy cercana a -1, sugiriendo que el estimado hayado en el corolario 2 no puede ser mejorado. En la tabla adjunta mostramos los valores de estas pendiente para los puntos de prueba tomados para construir esta gr ca. Su valor sugiere que la constante a b(q) del corolario 2, crece a medida que q se aproxima a 1.

F IGURA 2 Gr ca Log-log de la m xima distancia de a a Spec2 (H; k) a Spec(H) para diversos valores de k.

k Pendiente entre k y k + 100. 100 -0.8494 200 -0.8590 300 -0.8647 400 -0.8688 500 -0.8719 600 -0.8744 700 -0.8765 800 -0.8782 900 -0.8798 1000 -0.8811 1100 -0.8823 1200 -0.8834 1300 -0.8844 1400 -0.8853 Consideremos el potencial
v(n) = 33 (n) (3)

4. Conclusi n o
De acuerdo con nuestro resultado principal cuando k , el espectro de segundo orden: i) pierde informaci n sobre la o localizaci n de las resonancias de H cuya parte imaginaria o sea distinta de cero, ii) pero gana informaci n precisa acero ca de la localizaci n del espectro de H, en particular de sus o autovalores. Esto ultimo nos permite proponer el c mputo de o spectra de segundo orden y an lisis de su comportamiento a asint tico, como una alternativa al m todo cl sico de matrz o e a de transferencia para localizar los autovalores de H.

(ver Ref. 2 example 20). En este caso se puede demostrar [1, 2] que es un autovalor de H, si y s lo si es una o raz real del polinomio p(z) = 3z 5 9z 4 12z 3 + 18z 2 + 9z 10.

1. L. Boulton, Projection methods for discrete Schr dinger o operators (por aparecer en Proc. Lond. Math. Soc. 2003), math.SP/0201227. 2. E.B. Davies, LMS J. Comput. Math. 1 (1998) 42. 3. I. Gohberg, P. Lancaster, L. Rodman, Matrices and indenite scalar product; operator theory and applications 8, (Birkh user Verlag, Basel, 1983). a

4. E.M. Harrell II, Proc. Amer. Math. Soc. 69 (1978) 221. 5. M. Rosenblum, J. Rovnjak, Bull. Amer. Math. Soc. 77 (1971) 287. 6. F. Luef, G. Teschl, On the number of eigenvalues of Jacobi operators, Preprint (2001), math.SP/0109213. 7. E. Shargorodsky, J. Oper. Theo. 44 (2000) 43.

Rev. Mex. Fs. 49 S3 (2003) 111113