functional determinant and WKB approximation let be  a Hamiltonian in one dimension, i would like to evaluate the functional determinant $ det(E-H) $ in onde dimension
i believe that $ det(E-H)= Cexp(iN(E)) $ here $ N(E)$ is the number of energy levels less than a given number 'E'
my steps


*

*i use the identity $ logDet(E-H)=TrLog(E-H)$

*i replace the sum   $\sum_{n} log(E-E_{n})$ by an integral over the phase space $ \iint_{D}dpdp log(E-p^{2}-V(x))$

*I take the derivative respect to 'E'

*I use the identity $ \int_{-\infty}^{\infty} \frac{dx}{x^{2}-a^{2}} = \frac{\pi i}{a}$

*I use the Bohr-Sommerfeld quantization condition $\int_{C}dx (E-V(x))^{1/2} = (n(E)+1/2)h$

*i use integration respect to 'E' again
7 i take the exponential
is this semiclassically correct :) thanks.
 A: The formula doesn't work. Most of the manipulations are formally ok, although it is probably best to start right at step 3--- the derivative of the logarithm of the determinant is the (trace of the) Green's function, which is better behaved than the determinant itself.
Step 5 is incorrect--- there is no reduction using the WKB condition, because the quantity $\sqrt{E-V}$ is in the denominator, and the integration is unbounded. The correct semiclassical expansion for the Green's function is given by the Gutzwiller trace formula.
The best way to check all this is to try it out on the Harmonic oscillator. The formula you give doesn't work, although the semi-classical bit is nice. The semiclassical HO green's function is
$$\int dp dq {1\over E - p^2 - q^2} $$
Which is elementary (up to being divergent--- you can move E a little), and evaluates to $log(E) \pm i\pi (E>0)$ , where $\pm$ means either add, or subtract, or ignore depending on how you deal with the divergent point. plus a divergent constant, which is irrelevant.
