¿Tiene algún significado una integral de trayectoria de integrales de trayectoria?

¿Hay algún resultado útil, o incluso algún significado para la integración en un espacio de funcionales? Por ejemplo, considere

D S mi Z [ S ] ,
dónde Z [ S ] = D ϕ mi S [ ϕ ] es la función de partición de una teoría cuántica de campos (euclidiana) con acción S [ ϕ ] . Tal expresión tal vez conllevaría algunos problemas fundamentales como

  1. ¿Convergiría para general Z [ S ] ? (Yo creo que no)
  2. ¿Qué significa?
  3. ¿Está al menos bien definido?

Podríamos tomar nuestra sabiduría de las integrales de ruta (ordinarias) y tratar de remediar el problema 1 tomando cocientes, como

D S mi Z [ S ] S Alguna acción de interés [ ϕ ] D S mi Z [ S ] ,
pero la expresión todavía parece inútil, sin sentido o irremediablemente complicada. Entonces, ¿hay algún significado para estas integrales funcionales de "orden superior"?


Editar: uno podría ir más general y definir D S W [ S ] , por arbitrario W [ S ] , pero creo que la expresión anterior menos general puede ser un mejor punto de entrada para pensar en la utilidad, por ejemplo, de alguna manera no rigurosa, es como un cociente de QFT.

si puede definir una medida para un funcional, puede integrarla
@lurscher Pero justificar una medida en particular sobre otra puede ser un problema.

Respuestas (1)

Tenga en cuenta que incluso en integrales de trayectoria tradicionales sobre campos, D ϕ no tiene sentido. No existe una medida de Lebesgue sobre espacios de dimensión infinita. Entonces D S también debería carecer de sentido. Se pueden definir las integrales de trayectoria (de campo) como integrales honestas con respecto a una medida de probabilidad, es decir, justificar una ecuación como

D ϕ   F ( ϕ ) mi S ( ϕ ) D ϕ   mi S ( ϕ )   =   S ( R d ) d m ( ϕ )   F ( ϕ )   .
Aquí m debe ser una medida de probabilidad de Borel en el espacio de distribuciones de Schwartz templadas en d -espacio-tiempo dimensional donde los campos ϕ vivir. En su caso, primero necesitaría un espacio adecuado W de pruebas funcionales en decir S ( R d ) , y luego podría intentar construir sus integrales de trayectoria usando medidas de probabilidad de Borel en W . Para esto necesitas W tener buenas propiedades como ser nuclear y Fréchet. El problema es la falta de ejemplos explícitos. Hay ejemplos en el área de la teoría de la probabilidad llamados "cálculo de ruido blanco" (ver palabras clave como triple de Kondratiev, distribución de Hida). Pero no sé si el tipo de integrales de ruta (funcionales) en las que estás pensando surgen naturalmente en cualquier lugar.