Teora espectral

En matemtica, teora espectral es un trmino inclusi- chas propiedades espectrales similares a la de matrices.
vo para las teoras que extienden la teora de vectores y
valores propios de una matriz cuadrada a la ms amplia
teora de la estructura de operadores en ciertos espacios 2 Trasfondo fsico
matemticos.[1] Es resultado de los estudios del lgebra
lineal y de las soluciones de sistemas de ecuaciones liEl trasfondo de la fsica de vibraciones ha sido explicado
neales y sus generalizaciones.[2] La teora est conectada
de esta manera:[5]
con la de funciones analticas debido a que las propiedades espectrales de un operador estn relacionados con las
La teora espectral est conectada con la
funciones analticas del parmetro espectral.[3]
investigacin de las vibraciones localizadas de
una variedad de objetos diferentes, de los
tomos y molculas en qumica a los obstculos
en guas de ondas acsticas. Estas vibraciones
1 Trasfondo matemtico
tienen frecuencias, y la cuestin es decidir si
tales vibraciones localizadas ocurren, y cmo
hacer para calcular las frecuencias. Este es un
La denominacin teora espectral fue introducida por
problema muy complicado, ya que cada objeto
David Hilbert en su formulacin original de la teora del
tiene no slo un tono fundamental, sino tamespacio de Hilbert, que fue lanzada en trminos de formas
bin una complicada serie de matices que vacuadrticas en innitas variables. El teorema espectral
ran radicalmente de un cuerpo a otro.
original fue concebido por tanto como una versin del
teorema de ejes principales de un elipsoide, en un entorno de dimensin innita. El posterior descubrimien- La teora matemtica no depende de tales consideracioto en mecnica cuntica de que la teora espectral podra nes fsicas a nivel tcnico, pero hay ejemplos de la inexplicar las caractersticas del espectros atmicos fue por uencia mutua (ver por ejemplo el artculo de Mark Kac
Can you hear the shape of a drum?). La adopcin por
lo tanto fortuita.
parte de Hilbert del trmino 'espectro' se ha atribuido a
Histricamente, hay tres modos principales de formular un documento de 1897 de Wilhelm Wirtinger sobre la
teora espectral, todos los cuales mantienen su utilidad. ecuacin diferencial de Hill (por Jean Dieudonn), y fue
Tras la formulacin inicial de Hilbert, el desarrollo poste- asumido por sus estudiantes durante la primera dcada
rior de espacios de Hilbert abstractos y la teora espectral del siglo XX, entre ellos por Erhard Schmidt y Hermann
de un nico operador normal sobre ellos fueron muy en Weyl. La base conceptual de los espacios de Hilbert fue
paralelo con los requerimientos de la fsica, en particu- desarrollada a partir de las ideas de Hilbert por Erhard
lar de la mano de von Neumann.[4] La teora se extendi Schmidt y Frigyes Riesz.[6][7] Fue casi veinte aos desposteriormente para incluir lgebras de Banach de for- pus, cuando la mecnica cuntica se formula en trminos
ma abstracta. Este desarrollo conduce a la representacin de la ecuacin de Schrdinger, que se realiza la conexin
de Gelfand, que cubre el caso conmutativo, e incluso al con espectros atmicos. Ya se haba sospechado antes una
anlisis armnico no conmutativo.
conexin con la fsica matemtica de vibraciones, segn
Puede ponerse de maniesto esta diferencia al enlazar lo comentado por Henri Poincar, pero fue rechazada por
con el anlisis de Fourier. La transformada de Fourier en simples razones cuantitativas, a falta de una explicacin
la recta real es, en cierto sentido, la teora espectral de de la serie de Balmer. Cfr.[8] El posterior descubrimiendiferenciacin va el operador diferencial. Pero para cu- to en mecnica cuntica de que la teora espectral podra
brir los fenmenos ya se ha de tratar con autofunciones explicar las caractersticas de los espectros atmicos fue
generalizadas (por ejemplo, por medio de un Espacio de por lo tanto fortuito, en lugar de ser parte de la teora
Hilbert equipado). Por otro lado, es fcil construir un espectral de Hilbert.
lgebra de grupo, el espectro de los cuales reeja las propiedades bsicas de la transformada de Fourier, y esto se
lleva a cabo por medio de la dualidad de Pontryagin.
3 Una denicin del espectro
Tambin se pueden estudiar las propiedades espectrales
de operadores en espacios de Banach. Por ejemplo, los Sea T una aplicacin lineal acotada denida sobre un
operadores compactos en espacios de Banach tienen mu- espacio de Banach. Construmos la transformacin:
1

5 NOTAS

R = ( I T )

en trminos del bra b1 | y del ket |k1 . Una funcin f se

describe por un ket como |f . La funcin f (x) denido
en las coordenadas (x1 , x2 , x3 , . . . ) se denota como:

Aqu I es el operador de identidad y es un nmero complejo. El inverso del operador T , que es T 1 , se dene
f (x) = x, f
como:
y la magnitud de f por:
T T 1 = T 1 T = I .

f (x)f (x) dx
Si tal inversa existe, T se llama regular. Si no existe, T se
llama singular.
donde la notacin '*' denota la conjugacin compleja. EsCon estas deniciones, la resolvente de T es el conjunto de te eleccin de producto escalar dene un espacio prehiltodos los nmeros complejos tales que R existe y est bertiano especco, lo que restringe la generalidad de los
acotada. Este conjunto se denota a menudo como (T ) argumentos que siguen. [13]
. El espectro de T es el conjunto de todos los nmeros El efecto de L sobre la funcin f se describe como:
complejos para los que R no existe o no est acotada. A
menudo, el espectro de T se denota por (T ) . La funcin
R para todos en (T ) (es decir, dondequiera que exista L|f = |k b |f
1
1
R ) se llama la resolvente de T . El espectro de T es por lo
tanto el complemento del conjunto resolvente de T en el expresando el resultado de que el efecto de L sobre f es
plano complejo.[9] Cada autovalor de T pertenece a (T ) producir una nueva funcin |k1 multiplicado por el producto interno representado por b1 |f .
, pero (T ) puede no contener los valores propios.[10]
||f ||2 = f, f =

Esta denicin se aplica a espacios de Banach, pero tambin a otros tipos de espacios ms generales, por ejemplo,
los espacios vectoriales topolgicos.[11][12] Por otro lado,
los espacios de Banach incluyen a los espacios de Hilbert,
y es en esos espacios que se encuentra la mayor aplicacin
y los ms ricos resultados de la teora espectral[13] Con
restricciones adecuadas, se puede decir mucho acerca de
la estructura de los espectros de transformaciones en un
espacio de Hilbert. En particular, para todo operador autoadjunto, el espectro se encuentra en la lnea real y (en
general) es un combinacin espectral de un espectro puntual de valores propios discretos y de un espectro continuo[14]

Qu es la teora espectral, en
trminos generales?

En anlisis funcional y lgebra lineal, el teorema espectral

establece las condiciones bajo las cuales un operador puede ser expresado en forma simple como suma de operadores ms simples. Como una presentacin completamente
rigurosa no es apropiada para este artculo, tomamos un
enfoque que evita gran parte del rigor de un tratamiento
formal con el objetivo de ser ms comprensible para un
no especialista.
Este tema es ms fcil de describir mediante la introduccin de la notacin bra-ket de Dirac. [15] [16] A modo de
ejemplo, un operador lineal muy particular L puede ser
escrito como producto didico: [17] [18]

L = |k1 b1 |,

f, xx, f dx =

Un operador lineal L ms general se puede espresar como:

L = 1 |e1 f1 | + 2 |e2 f2 | + 3 |e3 f3 | + . . . ,
donde { i } son escalares, { |ei } forman una base y
{ fi | } forman una base dual del espacio. La relacin entre la base y la base dual se describe, en parte, por:
fi |ej = ij
Aplicando tal formalismo, { i } son los autovalores de L
y las funciones { |ei } autofunciones de L . Los valores
propios se encuentran en el espectro de L .[19]
Algunas preguntas naturales son: bajo qu circunstancias funciona este formalismo, y qu operadores L poseen
una expansin en serie de otros operadores? Puede cualquier funcin f expresarse en trminos funciones propias
(forman una base de Schauder) y bajo qu circunstancias
surge un espectro puntual o un espectro continuo? Cmo los formalismos de espacios innitodimensionales y
espacios de dimensin nita son diferentes? Realmente se diferencian? Estas ideas pueden extenderse a una
clase ms amplia de espacios? Responder a estas preguntas es el cometido de la teora espectral y requiere conocimientos considerables en anlisis funcional y lgebra
matricial.

5 Notas
[1] Alexandre Jean Dieudonn (1981). History of functional
analysis. Elsevier. ISBN 0-444-86148-3.

[2] William Arveson (2002). Chapter 1: spectral theory and

Banach algebras. A short course on spectral theory. Springer. ISBN 0-387-95300-0.

[19] Bernard Friedman (1990). Chapter 2: Spectral theory of

operators. Principles and Techniques of Applied Mathematics. p. 57. ISBN 0-486-66444-9.

[3] Viktor Antonovich Sadovnichi (1991). Chapter 4: The

geometry of Hilbert space: the spectral theory of operators. Theory of Operators. Springer. p. 181 y ss. ISBN
0-306-11028-8.

6 Referencias generales

[4] John von Neumann (1996). The mathematical foundations of quantum mechanics; Volume 2 in Princeton Landmarks in Mathematics series. (reimpresin de la traduccin del original de 1932 edicin). Princeton University
Press. ISBN 0-691-02893-1.
[5] E. Brian Davies, citado en la pgina web del Kings College London analysis group Research at the analysis
group.
[6] Nicholas Young (1988). An introduction to Hilbert space.
Cambridge University Press. p. 3. ISBN 0-521-33717 - 8.
[7] Jean-Luc Dorier (2000). On the teaching of linear algebra;
Vol. 23 of Mathematics education library. Springer. ISBN
0-7923-6539-9.
[8] .
[Spectra
http://www.dm.unito.it/personalpages/
capietto/Spectra.pdf Spectra in mathematics and in
physics], de Jean Mawhin, p.4 y pp 10-11.
[9] Edgar Raymond Lorch (2003). Spectral theory (reimpresin de Oxford de 1962 edicin). Textbook Publishers. p.
89. ISBN 0-7581-7156-0.
[10] Nicholas Young. op. cit. p. 81. ISBN 0-521-33717-8.
[11] Helmut H. Schaefer, Manfred PH Wol (1999).
Topological vector spaces (2 edicin). Springer. p. 36.
ISBN 0-387-98726-6.
[12] Dmitrii Petrovich Zhelobenko (2006). Principal structures
and methods of representation theory. American Mathematical Society. ISBN 0821837311.
[13] Chapter III: Hilbert Space. op. cit. 2003. p. 57. ISBN
0-7581-7156-0. Texto . Autores: Edgar Raymond Lorch
ignorado (ayuda)
[14] Edgar Raymond Lorch (2003). Chapter V: The Structure of Self-Adjoint Transformations. op. cit. p. 106 y ss.
ISBN 0-7581-7156-0.
[15] Bernard Friedman (1990). Principles and Techniques of
Applied Mathematics (reimpresin de 1956 Wiley edicin). Dover Publications. p. 26. ISBN 0-486-66444-9.
[16] PAM Dirac (1981). The principles of quantum mechanics
(4. edicin). Oxford University Press. p. 29 . ISBN 019-852011-5.
[17] Jrgen Audretsch (2007). "Captulo 1.1.2: Linear operators on the Hilbert space". Entangled systems: new directions in quantum physics. Wiley-VCH. p. 5. ISBN 3-52740684-0.
[18] R. A. Howland (2006). Intermediate dynamics: a linear algebraic approach (2. edicin). Birkhuser. p. 69 . ISBN
0-387-28059-6.

Edward Brian Davies (1996). Spectral Theory and

Dierential Operators; Volume 42 in the Cambridge
Studies in Advanced Mathematics. Cambridge University Press. ISBN 0-521-58710-7.
Nelson Dunford, Jacob T Schwartz (1988). Linear
Operators, Spectral Theory, Self Adjoint Operators
in Hilbert Space (Part 2) (Paperback reimpresin de
1967 edicin). Wiley. ISBN 0-471-60847-5.?
Nelson Dunford, Jacob T Schwartz (1988). Linear
Operators, Spectral Operators (Part 3) (Paperback
reimpresin de 1971 edicin). Wiley. ISBN 0-47160846-7.
Sadri Hassani (1999). Chapter 4: Spectral Decomposition. Mathematical Physics: A Modern Introduction to Its Foundations. Springer. ISBN 0-38798579-4.
Hazewinkel, Michiel, ed. (2001). Spectral theory
of linear operators. Encyclopedia of Mathematics
(Springer). ISBN 978-1-55608-010-4.
Shmuel Kantorovitz (1983). Spectral Theory of Banach Space Operators. Springer.
Arch W. Naylor, George R. Vende (2000). Chapter
5, Part B: The Spectrum. Linear Operator Theory
in Engineering and Science; Volume 40 of Applied
mathematical sciences. Springer. p. 411. ISBN 0-38795001-X.
Gerald Teschl (2009). Mathematical Methods in
Quantum Mechanics; With Applications to Schrdinger Operators. American Mathematical Society.
ISBN 978-0-8218-4660-5.

7 Vase tambin
Espectro de un operador, formalismo resolvente,
descomposicin de un espectro (anlisis funcional)
Radio espectral, teorema espectral
Operador autoadjunto, Funciones de los operadores,
teora del operador
Teora de Sturm-Liouville, ecuacin integral s,
teora de Fredholm

8
Operador compacto, operadores isospctricos,
completitud
Pares de Lax
Geometra espectral
Teora espectral de grafos
Lista de los temas de anlisis funcional

Enlaces externos
Evans M. Harrell II: Una breve historia de la teora
de operadores
Gregory H. Moore (1995). La axiomatizacin
del lgebra lineal: 1875-1940 22. p. 262 - 303.
doi:10.1006/hmat.1995.1025.

ENLACES EXTERNOS

Origen del texto y las imgenes, colaboradores y licencias

9.1

Texto

Teora espectral Fuente: https://es.wikipedia.org/wiki/Teor%C3%ADa_espectral?oldid=96094622 Colaboradores: BOT-Superzerocool,

Wewe, Bigsus-bot, Raulshc, Arjuno3, MerlIwBot, KLBot2, MetroBot, Invadibot, NinoBot y Annimos: 2

9.2

Imgenes

9.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0