En matemáticas , el determinante de Fredholm es una función de valores complejos que generaliza el determinante de un operador lineal de dimensión finita . Se define para operadores acotados en un espacio de Hilbert que difieren del operador de identidad por un operador de clase de seguimiento . La función lleva el nombre del matemático Erik Ivar Fredholm .
Los determinantes de Fredholm han tenido muchas aplicaciones en física matemática , siendo el ejemplo más famoso la fórmula límite de Gábor Szegő , demostrada en respuesta a una pregunta planteada por Lars Onsager y CN Yang sobre la magnetización espontánea del modelo de Ising .
Definición
Sea un espacio de Hilbert y el conjunto de operadores invertibles acotados de la forma , donde es un operador de clase de seguimiento . es un grupo porque
también lo es la clase de seguimiento si es así. Tiene una métrica natural dada por , donde es la norma de clase de seguimiento.
Si es un espacio de Hilbert con producto interno , entonces también lo es la potencia exterior con producto interno
En particular
da una base ortonormal de if es una base ortonormal de . Si es un operador acotado en , entonces define funcionalmente un operador acotado en por
Si es clase de seguimiento, entonces también es clase de seguimiento con
Esto muestra que la definición del determinante de Fredholm dada por
tiene sentido.
Propiedades
- Si es un operador de clase de seguimiento
función completa- La función es continua en operadores de clase de seguimiento, con
- Si y son de clase de seguimiento, entonces
- La función define un homomorfismo de en el grupo multiplicativo de números complejos distintos de cero (ya que los elementos de son invertibles).
- Si está dentro y es invertible,
- Si es clase de seguimiento, entonces
Determinantes de Fredholm de los conmutadores.
Se dice que una función desde dentro es diferenciable si es diferenciable como un mapa en los operadores de clase de seguimiento, es decir, si el límite
existe en la norma de clase de seguimiento.
Si es una función diferenciable con valores en operadores de clase de seguimiento, entonces también lo es y
dónde
Israel Gohberg y Mark Kerin demostraron que si es una función diferenciable en , entonces es una función diferenciable en con
Este resultado fue utilizado por Joel Pincus, William Helton y Roger Howe para demostrar que si y son operadores acotados con conmutador de clase de traza , entonces
Fórmula del límite de Szegő
Sea y sea la proyección ortogonal sobre el espacio de Hardy .
Si es una función suave en el círculo, denotemos el operador de multiplicación correspondiente en .
el conmutador
Sea el operador de Toeplitz definido por
luego el conmutador aditivo
Berger y Shaw demostraron que
Si y son suaves, entonces
Harold Widom utilizó el resultado de Pincus-Helton-Howe para demostrar que
Utilizó esto para dar una nueva prueba de la célebre fórmula límite de Gábor Szegő :
La fórmula límite de Szegő fue probada en 1951 en respuesta a una pregunta planteada por el trabajo de Lars Onsager y CN Yang sobre el cálculo de la magnetización espontánea para el modelo de Ising . La fórmula de Widom, que conduce bastante rápidamente a la fórmula límite de Szegő, también es equivalente a la dualidad entre bosones y fermiones en la teoría de campos conforme . Widom demostró una versión singular de la fórmula límite de Szegő para funciones apoyadas en un arco de círculo; se ha aplicado para establecer resultados probabilísticos sobre la distribución de valores propios de matrices unitarias aleatorias .
Presentación informal para el caso de operadores integrales
La siguiente sección proporciona una definición informal del determinante de Fredholm de cuándo el operador de clase de seguimiento es un operador integral dado por un núcleo . Una definición adecuada requiere una presentación que muestre que cada una de las manipulaciones está bien definida, es convergente, etc., para la situación dada para la cual se contempla el determinante de Fredholm. Dado que el núcleo puede definirse para una gran variedad de espacios de Hilbert y espacios de Banach , éste no es un ejercicio trivial.
El determinante de Fredholm se puede definir como
donde es un operador integral . La traza del operador y sus poderes alternos está dada en términos del núcleo por
La traza está bien definida para estos núcleos, ya que son operadores nucleares o de clase de traza .
Aplicaciones
El determinante de Fredholm fue utilizado por el físico John A. Wheeler (1937, Phys. Rev. 52:1107) para ayudar a proporcionar una descripción matemática de la función de onda de un núcleo compuesto compuesto por una combinación antisimetrizada de funciones de onda parciales mediante el método de estructura de grupo resonante. Este método corresponde a las diversas formas posibles de distribuir la energía de neutrones y protones en grupos de nucleones de bosones y fermiones fundamentales o bloques de construcción como la partícula alfa, helio-3, deuterio, tritón, di-neutrón, etc. Para el método de estructura de grupo resonante para isótopos estables beta y alfa, el uso del determinante de Fredholm: (1) determina los valores de energía del sistema compuesto y (2) determina las secciones transversales de dispersión y desintegración. El método de estructura de grupo resonante de Wheeler proporciona las bases teóricas para todos los modelos de cúmulos de nucleones posteriores y la dinámica de energía de cúmulos asociados para todos los isótopos de masas ligeras y pesadas (consulte la revisión de los modelos de cúmulos en física en ND Cook, 2006).
Referencias
- Simon, Barry (2005), Trace Ideals y sus aplicaciones , Encuestas y monografías matemáticas, vol. 120, Sociedad Matemática Estadounidense, ISBN 0-8218-3581-5
- Wheeler, John A. (1 de diciembre de 1937). "Sobre la descripción matemática de los núcleos ligeros mediante el método de estructura de grupos resonantes". Revisión física . 52 (11). Sociedad Estadounidense de Física (APS): 1107–1122. Código bibliográfico : 1937PhRv...52.1107W. doi :10.1103/physrev.52.1107. ISSN 0031-899X.
- Bornemann, Folkmar (2010), "Sobre la evaluación numérica de los determinantes de Fredholm", Math. comp. , 79 (270), Springer: 871–915, arXiv : 0804.2543 , doi : 10.1090/s0025-5718-09-02280-7