Terminología física sobre campos manchados y no manchados

Dejar METRO sea ​​una variedad suave y denote C 0 ( METRO ) el espacio de funciones suaves con soporte compacto. En Matemáticas una distribución se define como una funcional lineal continua ϕ : C 0 ( METRO ) R . El espacio de las distribuciones se suele denotar D ( METRO ) .

Entonces, una distribución es un mapa que toma una función y genera un número de forma lineal y continua. La distribución Delta centrada en X METRO es por ejemplo

d X [ F ] = F ( X ) .

Otra forma de crear distribuciones es elegir F C 0 ( METRO ) y definir

F [ gramo ] = METRO F gramo .

Eso está bien. El problema es el siguiente: en Física a menudo se olvida todo esto y se tratan las distribuciones como funciones. Entonces, un físico casi nunca se molestará en escribir ϕ [ F ] o solo ϕ . Escriben ϕ ( X ) lo cual no es realmente correcto, ya que ϕ no es una función en METRO en absoluto.

Sin embargo, el problema es que hay una terminología que me confunde bastante. A menudo se habla de campos "borrosos" escritos como

φ [ F ] = METRO φ ( X ) F ( X )

y habla sobre el campo en "forma no manchada" escribiéndolo simplemente φ ( X ) . Esto confunde aún más, porque se sabe que no es cierto que dado φ hay F tal que φ = F .

Esta terminología se puede encontrar, por ejemplo, en las notas de Fewster sobre QFT en el espacio-tiempo curvo, pero la he visto en otros lugares.

Esto parece implicar que cuando uno elige ϕ C 0 ( METRO ) no se mancha y cuando se coge ϕ D ( METRO ) y aplicarlo a una función que está manchada (pero tenga en cuenta que ϕ [ F ] es un número real, ya ni siquiera es un campo después de aplicar a F ).

Entonces, ¿de qué se trata realmente esta terminología manchada y sin manchas y cómo hace contacto con la teoría de la distribución de las matemáticas?

la notación tu ( X ) para una distribución tu es una buena manera de recordar a todos "en qué" espacio de funciones de prueba actúa, y es especialmente útil cuando se trabaja con productos de espacio/tensor de producto.
Es solo un abuso de notación, exactamente como pretender d ( X ) es una función La charla de "campo manchado" es para la intuición: explica por qué usamos distribuciones.

Respuestas (2)

Los campos cuánticos (no manchados) a menudo se denominan distribuciones valoradas por operadores en física matemática.

Seguramente son mapas lineales de algún espacio lineal simpléctico de funciones de prueba a los operadores autoadjuntos afiliados a una W*-álgebra. Sin embargo, en general pueden no ser mapas continuos, por lo que técnicamente no son distribuciones.

En cambio, los campos clásicos suelen ser "distribuciones" estándar, o más precisamente elementos del dual continuo del espacio simpléctico de funciones de prueba (que, sin embargo, pueden no ser necesariamente C 0 ( METRO ) , o S ( METRO ) si es posible definirlo).

la notación φ ( X ) , a menudo utilizado por los físicos, es un abuso y podría evitarse. Permítanme señalar, sin embargo, que los analistas usan a menudo la notación F ( X ) para distribuciones en S ( R d ) , especialmente si están en un "subespacio de funciones", como L pag ( R d ) o W r , pag ( R d ) (y así, para los campos clásicos, que generalmente se supone que están en algún espacio de Sobolev, la notación sigue siendo matemáticamente bastante aceptable).

Es cierto que muchas distribuciones no están representadas por funciones, pero también es cierto que cualquier distribución puede aproximarse arbitrariamente bien mediante funciones, que son muy bonitas. (Un ejemplo: d 0 [ F ] = límite ϵ 0 F ( X ) 1 2 π ϵ mi X pag ( X 2 2 ϵ ) .) Este es realmente un hecho bastante general sobre los espacios nucleares. El espacio vectorial nuclear S de funciones de prueba es densa en el espacio dual S de distribuciones.

Casi lo mismo sucede cuando los físicos usan la notación abusiva ϕ ( X ) . Están implícitamente aproximando distribuciones valoradas por operadores ϕ por funciones valoradas por el operador, suavizando los modos de frecuencia más alta. Entonces, realmente están usando ϕ ϵ ( X ) = ϕ ( y ) w ϵ ( X y ) d y , dónde w ϵ es una función reguladora del ancho ϵ . Esto está bien, siempre que tenga cuidado de no sacar conclusiones sobre distancias cortas más rápido de lo que se encoge. ϵ .