La acción de la libre escalar la teoría de campo es la siguiente: $$ S=\int d^4 x \frac{\dot{\phi}^2}{2}-\frac{\phi(m^2-\nabla^2)\phi}{2}. $$
He estado pensando a redefinir el campo como $\phi'(x)=\sqrt{m^2-\nabla^2}\phi(x)$, donde creo que puedo separar el operador $(m^2-\nabla^2)$ $\sqrt{m^2-\nabla^2}\sqrt{m^2-\nabla^2}$ e integrar uno de ellos por parte (por la infinita expansión de la raíz cuadrada de Helmholtz operador). El hamiltoniano se convierte en
$$ H=\int d^3x\frac{\pi'(m^2-\nabla^2)\pi'}{2}+\frac{\phi'^2}{2} $$
Uno puede comprobar que la ecuación de movimiento y soluciones coherentes a la original libre de la teoría de campo (como debe ser), las cosas que me preocupa son:
- Es justo hacer la infinita expansión+integración por parte?
- Puesto que hay una serie infinita en el campo de redefinición, es no local? De acuerdo a la función de onda en la mecánica cuántica y la localidad y por Qué son de orden superior Lagrangians llamado "no-local"?, parece ser no local. Sin embargo, ya que no hay tiempo de los derivados de la raíz cuadrada, los datos iniciales en cada espacio debe ser de dos, que corresponde a uno dof en cada punto. Si la infinita expansión es válido, se puede conocer la configuración del campo de $\phi'(x)$ si conocemos $\phi(x)$, no es claro para mí que si necesitamos todos los datos iniciales de la serie infinita de derivados.
El anterior ejemplo sencillo podría ser demasiado trivial, la pregunta que estoy investigando es si la siguiente acción estable o no, $$ H=\int d^3x \frac{1}{4}\pi \frac{1}{(1+2\beta \nabla^2)}\pi\phi(\beta\nabla^2\nabla^2+\nabla^2)\phi, $$ donde $\beta$ es una constante. Yo estaba pensando en usar el no-local de campo de redefinición $$ \pi':=\frac{1}{\sqrt{1+2\beta\nabla^2}}\pi, \phi':=\sqrt{1+2\beta\nabla^2}\phi $$ para volver a escribir el hamiltoniano como $$ H=\int d^3x \frac{1}{4}\pi'^2 -\phi\frac{(\beta\nabla^2\nabla^2+\nabla^2)} a{1+2\beta\nabla^2}\phi, $$ que se garantice que no habrá fantasmas. Estoy de acuerdo en que el Hamiltoniano voy a empezar con algo inusual, pero se trata de un reducido Hamiltonianos de un restringido mayor de derivados de la teoría.
No es obvio cómo analizar esta por costumbre canónica de transformación, hay una buena manera de analizar este o podría alguien decirme qué va a ir mal con este tipo de campo redefinición?