Dejar sea una variedad suave y denote el espacio de funciones suaves con soporte compacto. En Matemáticas una distribución se define como una funcional lineal continua . El espacio de las distribuciones se suele denotar .
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 es por ejemplo
Otra forma de crear distribuciones es elegir y definir
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 o solo . Escriben lo cual no es realmente correcto, ya que no es una función en 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
y habla sobre el campo en "forma no manchada" escribiéndolo simplemente . Esto confunde aún más, porque se sabe que no es cierto que dado hay tal que .
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 no se mancha y cuando se coge y aplicarlo a una función que está manchada (pero tenga en cuenta que es un número real, ya ni siquiera es un campo después de aplicar a ).
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?
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 , o si es posible definirlo).
la notación , 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 para distribuciones en , especialmente si están en un "subespacio de funciones", como o (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: .) Este es realmente un hecho bastante general sobre los espacios nucleares. El espacio vectorial nuclear de funciones de prueba es densa en el espacio dual de distribuciones.
Casi lo mismo sucede cuando los físicos usan la notación abusiva . 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 , dónde 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. .
ryan unger
Javier