It is common when evaluating the partition function for a $O(N)$ non-linear sigma model to enforce the confinement to the $N$-sphere with a delta functional, so that $$ Z ~=~ \int d[\pi] d[\sigma] ~ \delta \left[ \pi^2 + \sigma^2 -1 \right] \exp (i S(\phi)), $$ where $\pi$ is an $N-1$ component field. Then, one evaluates the integral over $\sigma$, killing the delta functional. In my understanding, this gives rise to a continuous product of Jacobians, $$ \prod_{x=0}^L \frac{1}{ \sqrt{1 - \pi^2}} ~=~ \exp \left[- \frac{1}{2} \int_0^L dx \log (1 - \pi^2) \right] $$ (where I have now put everything in one dimension). Now, obviously this is somewhat non-sense, at the very least because there are units in the argument of the exponential. The way I actually see this written is with a delta function evaluated at the origin, $$ \exp \left[- \frac{1}{2} \int_0^L dx \log (1 - \pi^2) \delta(x-x) \right]. $$ I see that this makes the units work, but what does that really mean? How do people know to put it there? I know $\delta(0)$ can sometimes be understood as the space-time volume. However, in this case, it clearly has units of $1/L$, so is presumably more like a momentum-space volume. In one dimension, does that mean I can just replace it with $1/L$ (up to factors of $2$ or $\pi$)?
In particular, I have noticed this in the following papers:
Renormalization of the nonlinear $\sigma$ model in $2+\epsilon$ dimensions. Brezin, Zinn-Justin, and Le Guillou. Abstract page.
Perturbation theory for path integrals of stiff polymers. Kleinert and Chervyakov. Abstract page.
Kardar does something similar in his Statistical Physics of Fields book, but he simply calls it $\rho$.
Answer
This formula follows the usual heuristic discretization rules (here written in 1D):
$$\tag{1} \text{discrete var.}\qquad i\in\{1, \ldots,N\}, ~~x_i=i\Delta ~~\longrightarrow~~x~\in~[0,L] \qquad \text{cont. var.},$$
$$\tag{2} \text{sum}\qquad \sum_{i=1}^N ~~\longrightarrow~~ \int_0^L \! \frac{dx}{\Delta} \qquad\text{integral},$$
$$\tag{3} \text{"volume" of unit cell:}\qquad \Delta ~=~\frac{L}{N}, $$
$$\tag{4} \text{Kronecker delta fct}\qquad \frac{1}{\Delta} \delta_{i,j} ~~\longrightarrow~~ \delta(x_i-x_j) \qquad \text{Dirac delta fct},$$
$$\tag{5} \frac{1}{\Delta}~~\longrightarrow~~\delta(0) .$$
for $N\to \infty $. Hence, formally,
$$\tag{6} f(x_j)~=~\sum_{i=1}^N \delta_{i,j} ~f(x_i)~~\longrightarrow~~\int_0^L \! dx~\delta(x-x_j) ~f(x),$$
and
$$ \prod_{i=1}^N \exp\left[f(x_i)\right] ~=~ \exp\left[\sum_{i=1}^Nf(x_i)\right]$$ $$ \tag{7}~~\longrightarrow~~ \exp\left[\int_0^L \! \frac{dx}{\Delta}f(x)\right]~=~\exp\left[\delta(0)\int_0^L \! dx~f(x)\right] .$$
No comments:
Post a Comment