Existen varias fórmulas para el determinante funcional. Todas se basan en el hecho de que el determinante de una matriz finita es igual al producto de los valores propios de la matriz. Una definición matemáticamente rigurosa es mediante la función zeta del operador ,
donde tr representa la traza funcional : el determinante se define entonces por
Esta integral de trayectoria sólo está bien definida hasta cierta constante multiplicativa divergente. Para darle un significado riguroso, debe dividirse por otro determinante funcional, cancelando así efectivamente las "constantes" problemáticas.
En apariencia, existen dos definiciones diferentes del determinante funcional: una que procede de la teoría cuántica de campos y otra de la teoría espectral . Cada una de ellas implica algún tipo de regularización : en la definición popular en física, dos determinantes sólo pueden compararse entre sí; en matemáticas, se utilizó la función zeta. Osgood, Phillips y Sarnak (1988) han demostrado que los resultados obtenidos al comparar dos determinantes funcionales en el formalismo QFT concuerdan con los resultados obtenidos por el determinante funcional zeta.
El problema es encontrar una manera de dar sentido al determinante de un operador S en un espacio de funciones de dimensión infinita. Un enfoque, favorecido en la teoría cuántica de campos, en la que el espacio de funciones consiste en trayectorias continuas en un intervalo cerrado, es intentar calcular formalmente la integral
donde V es el espacio de funciones y el producto interno L 2 , y la medida de Wiener . El supuesto básico sobre S es que debería ser autoadjunto y tener un espectro discreto λ 1 , λ 2 , λ 3 , ... con un conjunto correspondiente de funciones propias f 1 , f 2 , f 3 , ... que sean completas en L 2 (como sería, por ejemplo, el caso del operador de segunda derivada en un intervalo compacto Ω). Esto significa, aproximadamente, que todas las funciones φ pueden escribirse como combinaciones lineales de las funciones f i :
Por lo tanto, el producto interno en la exponencial se puede escribir como
En la base de las funciones f i , la integración funcional se reduce a una integración sobre todas las funciones base. Formalmente, suponiendo que nuestra intuición del caso de dimensión finita se traslada al entorno de dimensión infinita, la medida debería ser entonces igual a
donde N es una constante infinita que necesita ser tratada mediante algún procedimiento de regularización. El producto de todos los valores propios es igual al determinante para espacios de dimensión finita, y definimos formalmente que esto también es así en nuestro caso de dimensión infinita. Esto da como resultado la fórmula
Si todas las cantidades convergen en un sentido apropiado, entonces el determinante funcional puede describirse como un límite clásico (Watson y Whittaker). De lo contrario, es necesario realizar algún tipo de regularización . La más popular de las cuales para calcular determinantes funcionales es la regularización de la función zeta . [1] Por ejemplo, esto permite el cálculo del determinante de los operadores de Laplace y Dirac en una variedad de Riemann , utilizando la función zeta de Minakshisundaram–Pleijel . De lo contrario, también es posible considerar el cociente de dos determinantes, haciendo que las constantes divergentes se cancelen.
Versión de la función Zeta
Sea S un operador diferencial elíptico con coeficientes suaves que es positivo en funciones de soporte compacto . Es decir, existe una constante c > 0 tal que
para todas las funciones suaves φ con soporte compacto. Entonces S tiene una extensión autoadjunta a un operador en L 2 con límite inferior c . Los valores propios de S se pueden ordenar en una secuencia
Entonces la función zeta de S está definida por la serie: [2]
Se sabe que ζ S tiene una extensión meromórfica a todo el plano. [3] Además, aunque se puede definir la función zeta en situaciones más generales, la función zeta de un operador diferencial elíptico (u operador pseudodiferencial) es regular en .
Formalmente, diferenciando esta serie término por término se obtiene
y entonces si el determinante funcional está bien definido, entonces debería estar dado por
Dado que la continuación analítica de la función zeta es regular en cero, esto puede adoptarse rigurosamente como definición del determinante.
Este tipo de determinante funcional regularizado por Zeta también aparece al evaluar sumas de la forma . La integración sobre a da que puede considerarse simplemente como el logaritmo del determinante para un oscilador armónico . Este último valor es igual a , donde es la función zeta de Hurwitz .
donde A es la profundidad del potencial y L es la longitud del pozo. Calcularemos este determinante diagonalizando el operador y multiplicando los valores propios . Para no tener que molestarnos con la constante divergente poco interesante, calcularemos el cociente entre los determinantes del operador con profundidad A y el operador con profundidad A = 0. Los valores propios de este potencial son iguales a
Para potenciales unidimensionales, existe un atajo que produce el determinante funcional. [4] Se basa en la consideración de la siguiente expresión:
donde m es una constante compleja . Esta expresión es una función meromórfica de m , que tiene ceros cuando m es igual a un valor propio del operador con potencial V 1 ( x ) y un polo cuando m es un valor propio del operador con potencial V 2 ( x ). Consideremos ahora las funciones ψm1 y ψmetros cuadradoscon
obedeciendo las condiciones de contorno
Si construimos la función
que también es una función meromórfica de m , vemos que tiene exactamente los mismos polos y ceros que el cociente de determinantes que estamos tratando de calcular: si m es un valor propio del operador número uno, entonces ψm1 ( x ) será una función propia del mismo, es decir ψm1 ( L ) = 0 ; y análogamente para el denominador. Por el teorema de Liouville , dos funciones meromórficas con los mismos ceros y polos deben ser proporcionales entre sí. En nuestro caso, la constante de proporcionalidad resulta ser uno, y obtenemos
para todos los valores de m . Para m = 0 obtenemos
El potencial infinito bien revisitado
El problema de la sección anterior se puede resolver más fácilmente con este formalismo. Las funciones ψ0 yo( x ) obedecer
^ (Branson 1993); (Osgood, Phillips y Sarnak 1988)
^ Véase Osgood, Phillips y Sarnak (1988). Para una definición más general en términos de la función espectral, véase Hörmander (1968) o Shubin (1987).
^ Para el caso del laplaciano generalizado, así como la regularidad en cero, véase Berline, Getzler y Vergne (2004, Proposición 9.35). Para el caso general de un operador pseudodiferencial elíptico, véase Seeley (1967).
^ S. Coleman, Los usos de los instantones , Int. School of Subnuclear Physics, (Erice, 1977)
Referencias
Berlín, Nicole; Getzler, Ezra; Vergne, Michèle (2004), Heat Kernels y operadores de Dirac , ISBN 978-3-540-20062-8
Branson, Thomas P. (2007), "Curvatura Q, invariantes espectrales y teoría de la representación", Simetría, integrabilidad y geometría: métodos y aplicaciones , 3 : Documento 090, 31, arXiv : 0709.2471 , Bibcode :2007SIGMA...3..090B, doi :10.3842/SIGMA.2007.090, ISSN 1815-0659, MR 2366932, S2CID 14629173
Branson, Thomas P. (1993), El determinante funcional , Serie de notas de clase, vol. 4, Seúl: Instituto de Investigación de Matemáticas de la Universidad Nacional de Seúl, Centro de Investigación de Análisis Global, MR 1325463
Hörmander, Lars (1968), "La función espectral de un operador elíptico", Acta Mathematica , 121 : 193–218, doi : 10.1007/BF02391913 , ISSN 0001-5962, MR 0609014
Osgood, B.; Phillips, R.; Sarnak, Peter (1988), "Extremos de determinantes de laplacianos", Journal of Functional Analysis , 80 (1): 148–211, doi : 10.1016/0022-1236(88)90070-5 , ISSN 0022-1236, MR 0960228
Ray, DB; Singer, IM (1971), " R -torsión y el laplaciano en variedades de Riemann", Advances in Mathematics , 7 (2): 145–210, doi :10.1016/0001-8708(71)90045-4, MR 0295381
Seeley, RT (1967), "Potencias complejas de un operador elíptico", Integrales singulares (Proc. Sympos. Pure Math., Chicago, Ill., 1966) , Providence, RI: American Mathematical Society , págs. 288–307, MR 0237943
Shubin, MA (1987), Operadores pseudodiferenciales y teoría espectral , Springer Series in Soviet Mathematics, Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-13621-7, Sr. 0883081