stringtranslate.com

Determinante funcional

En el análisis funcional , una rama de las matemáticas , a veces es posible generalizar la noción de determinante de una matriz cuadrada de orden finito (que representa una transformación lineal de un espacio vectorial de dimensión finita a sí mismo) al caso de dimensión infinita de un operador lineal S que aplica un espacio de funciones V a sí mismo. La cantidad correspondiente det( S ) se denomina determinante funcional de S .

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

donde la función zeta en el punto s = 0 se define por continuación analítica . Otra posible generalización, que suelen utilizar los físicos cuando utilizan el formalismo de la integral de trayectorias de Feynman en la teoría cuántica de campos (QFT), utiliza una integración funcional :

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.

Definición de fórmulas

Versión de integral de trayectoria

Para un operador autoadjunto positivo S en un espacio euclidiano de dimensión finita V , la fórmula

sostiene.

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

Esto hace que la integral funcional sea un producto de integrales gaussianas :

Las integrales pueden entonces evaluarse, dando

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 .

Ejemplo práctico

El pozo potencial infinito con A = 0.

El pozo potencial infinito

Calcularemos el determinante del siguiente operador que describe el movimiento de una partícula mecánica cuántica en un pozo de potencial infinito :

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

Esto significa que

Ahora podemos utilizar la representación del producto infinito de Euler para la función seno :

de donde se puede derivar una fórmula similar para la función seno hiperbólica :

Aplicando esto, encontramos que

Otra forma de calcular el determinante funcional

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
cuadrados
con

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

obteniendo las siguientes soluciones:

Esto da la expresión final

Véase también

Notas

  1. ^ (Branson 1993); (Osgood, Phillips y Sarnak 1988)
  2. ^ 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).
  3. ^ 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).
  4. ^ S. Coleman, Los usos de los instantones , Int. School of Subnuclear Physics, (Erice, 1977)

Referencias