Integral kernel in vacuum wave functional

[ShayanJ]

I'm trying to solve the exercise below in a book I'm reading.

The vacuum wave functional (1.9)($\Psi[\phi]\propto \exp[- \frac 1 2 \int d^3 \mathbf k|\phi_{\mathbf k}|^2 \omega_k]$) contains the integral

$I \equiv \int d^3\mathbf k |\phi_{\mathbf k}|^2 \sqrt{k^2+m^2}$,

where$\phi_{\mathbf k}$ are defined in equation (1.3)($\phi(\mathbf x,t)=\int \frac{d^3 \mathbf k}{(2\pi)^{\frac 3 2}} e^{i\mathbf k\cdot \mathbf x} \phi_{\mathbf k}(t)$). This integral can be expressed directly in terms of the function $\phi(\mathbf x)$,

$I=\int d^3\mathbf x d^3 \mathbf y \phi(\mathbf x) K(\mathbf x,\mathbf y) \phi(\mathbf y)$.

Determine the required kernel $K(\mathbf x,\mathbf y)$.

I inverted equation 1.3 to get $\phi_{\mathbf k}(t)=\int \frac{e^{-i \mathbf k \cdot \mathbf x}}{(2\pi)^{\frac 3 2}} \phi(\mathbf x,t) d^3 \mathbf x$. Then I put it in I to get:
$I=\int \int d^3 \mathbf x d^3 \mathbf y \phi(\mathbf x,t)\left[ \int \frac{d^3 \mathbf k}{(2\pi)^3} \sqrt{k^2+m^2} e^{i(\mathbf y-\mathbf x)\cdot \mathbf k} \right]\phi^*(\mathbf y,t)$.
So it seems that I found the kernel but there are two problems:
1) I'm sure that one of the fields should be a complex conjugate but in the form suggested by the exercise, no one of them is!
2) The kernel is a divergent integral, both its real and imaginary parts diverge. Just try wolframalpha.com to see this.

Can anybody help me on this?
Thanks

 

[vanhees71]

It's not clear to me, where this functional should be useful. Could you provide the context, where it is defined?

 

[ShayanJ]

It's not clear to me, where this functional should be useful. Could you provide the context, where it is defined?

Its not going to be used in anything, at least not in the parts of the book that I've read.(I'm on chapter 2 now which is a reminder of classical and quantum mechanics.)
The exercise is in the chapter 1 of the book "Introduction to Quantum Effects in Gravity" By Mukhanov and Winitzki after the discussion about ground state fluctuations.

 

[samalkhaiat]

I'm trying to solve the exercise below in a book I'm reading.

I inverted equation 1.3 to get $\phi_{\mathbf k}(t)=\int \frac{e^{-i \mathbf k \cdot \mathbf x}}{(2\pi)^{\frac 3 2}} \phi(\mathbf x,t) d^3 \mathbf x$. Then I put it in I to get:
$I=\int \int d^3 \mathbf x d^3 \mathbf y \phi(\mathbf x,t)\left[ \int \frac{d^3 \mathbf k}{(2\pi)^3} \sqrt{k^2+m^2} e^{i(\mathbf y-\mathbf x)\cdot \mathbf k} \right]\phi^*(\mathbf y,t)$.

It seems to me the whole exercise is formulated up-side-down. Usually, you want to solve the Schrödinger functional equation, i \partial_{t} \Psi [\phi , t] = \int d^{3} x \mathcal{H} \left( \phi (\vec{x}) , \pi ( \vec{x}) ; t \right) \Psi [\phi , t]. \ \ \ \ (1) If the Hamiltonian has no explicit time dependence, we look for solution to the energy eigen-functional equation \int d^{3} x \mathcal{H} ( \phi , \pi ) \Psi [\phi] = E \Psi[\phi] . \ \ \ \ \ (2) Since we are interested in the vacuum wavefunctional, we may assume that \Psi_{0}[\phi] is positive everywhere and substitute \Psi_{0}[\phi] = N \exp ( - I[\phi] ) in Eq(2). Then, power counting suggests a general form for the functional I[\phi] which in your case (i.e., free real scalar field) must be quadratic in the field, I[\phi] = \int d^{3} x \ d^{3} y \ \phi ( \vec{x} ) K ( \vec{x} , \vec{y} ) \phi ( \vec{y} ) . \ \ \ \ (3) Now, for massless real scalar, the unknown functional I[\phi] satisfies the following equation \frac{1}{2} \int d^{3} x \left[ \frac{\delta^{2} I[\phi]}{\delta \phi^{2} (\vec{x})} - \left( \frac{\delta I[\phi]}{\delta \phi (\vec{x})}\right)^{2} \right] = E_{0} - \frac{1}{2} \int d^{3} x \phi ( \vec{x} ) (- \nabla^{2}) \phi (\vec{x}) . \ \ \ (4) If we insert (3) back into (4) and equate equal-power terms on both sides, we find E_{0} = \frac{1}{2} \int d^{3} x \frac{\delta^{2} I[\phi]}{\delta \phi^{2} (\vec{x})} = \int d^{3} x \ K( \vec{x} , \vec{x} ) , \ \ \ \ (5) \int d^{3}x \ d^{3}y \ d^{3}z \ \phi(\vec{z}) K( \vec{z} , \vec{x}) K ( \vec{x} , \vec{y} ) \phi(\vec{y}) = \frac{1}{4} \int d^{3}x \ \phi(\vec{x}) (- \nabla^{2}) \phi(\vec{x}) . Thus \int d^{3} x \ K( \vec{z} , \vec{x}) K ( \vec{x} , \vec{y} ) = - \frac{1}{4} \nabla^{2} \delta^{3} (\vec{z} - \vec{y}) . \ \ (6)
Since the right-hand depends only on \vec{z} - \vec{y}, we may assume that K is translational invariant and Fourier transform it as K ( \vec{x} , \vec{y} ) = \int \frac{d^{3}k}{(2 \pi)^{3}} \bar{K} (\vec{k}) \ e^{i \vec{k} \cdot (\vec{x} - \vec{y})} . Plugging this in (6), we find \bar{K} (\vec{k}) = \sqrt{\vec{k} \cdot \vec{k}} / 2 = \omega (\vec{k}) / 2. Therefore, your kernel is K (\vec{x} , \vec{y}) = \frac{1}{2} \int \frac{d^{3}k}{(2 \pi)^{3}} \ \omega (\vec{k}) \ e^{i \vec{k} \cdot (\vec{x} - \vec{y})} .

1) I'm sure that one of the fields should be a complex conjugate but in the form suggested by the exercise, no one of them is!

I suppose they want you to keep track of the Fourier component which for real scalar field is \phi^{*}_{k} = \phi_{- k}. So the vacuum wave functional is actually \Psi_{0}[\phi] = N \exp \left( - \frac{1}{2} \int \frac{d^{3} k}{(2 \pi)^{3}} \ \omega (\vec{k}) \phi (\vec{k}) \phi( - \vec{k}) \right) .

2) The kernel is a divergent integral, both its real and imaginary parts diverge. Just try wolframalpha.com to see this.

Can anybody help me on this?
Thanks

Of course it is divergent. What is the first divergent quantity you encounter in QFT? Just calculate the ground state energy from (5). It is the sum of zero point energies of all of the field oscillators E_{0} = \frac{1}{2} \int d^{3}k \ \omega (\vec{k}) \delta^{3} (0) .

Sam

 

[ShayanJ]

Nice reply, Thank you very much Sam!

But I have three problems:

1) I suppose you got equation 4 from putting $\Psi_0[\phi]=N \exp(-I[\phi])$ in equation 2. But I can't do it. Could you give me only a plan of the way for its calculation? Thanks again.

2) After inserting $K(\vec x, \vec x)$ in 5 to calculate $E_0$, How did you get the delta? It seems strange to me because to get the delta, we need to integrate w.r.t. k but you got the delta before that!

Thanks again.

 

[samalkhaiat]

For massless real scalar field, the Hamiltonian operator is given by H = \frac{1}{2} \int d^{3} x \left( \left( \hat{\pi} ( t , x ) \right)^{2} + \left( \nabla \hat{\phi}( t , x ) \right)^{2} \right) . In the Schrödinger picture, the operators ( \hat{\phi} , \hat{\pi} ) are time independent. So, in the coordinate (Schroginger) representation we have \hat{\phi} (0 , \vec{x}) | \phi \rangle = \phi ( \vec{x} ) | \phi \rangle , \ \ \hat{\pi} (0 , \vec{x}) = - i \frac{\delta}{\delta \phi (\vec{x})} , and \Psi [\phi , t] = \langle \phi | \Psi ( t ) \rangle ,where |\phi \rangle is the coordinate basis. In the coordinate representation, the Hamiltonian is diagonal \langle \phi | H | \bar{\phi} \rangle = \delta (\phi - \bar{\phi}) \ H (\phi (x) , \delta / \delta \phi (x)) . So the Schrödinger equation for the state vector |\Psi (t)\rangle becomes functional differential equationi \partial_{t} \Psi[\phi , t] = \int (D\bar{\phi})\ \langle \phi | H | \bar{\phi}\rangle \langle \bar{\phi}| \Psi (t) \rangle = H( \phi , \delta / \delta \phi ) \Psi[\phi , t]. Writing \Psi [ \phi , t] = \Psi[\phi] e^{- i E t} , we obtain the time-independent Schrödinger equation \frac{1}{2} \int d^{3}x \left( - \frac{\delta^{2}}{\delta \phi^{2}(\vec{x})} + \vec{\nabla} \phi(\vec{x}) \cdot \vec{\nabla} \phi(\vec{x}) \right) \Psi[\phi] = E\Psi[\phi] . Integrating the second term by parts, we find - \frac{1}{2} \int d^{3}x \frac{\delta^{2} \Psi[\phi]}{\delta \phi^{2}(\vec{x})} = \left( E + \frac{1}{2} \int d^3 x \ \phi(\vec{x}) \nabla^{2} \phi(\vec{x}) \right) \Psi[\phi] . Okay, now put \Psi_{0}[\phi] = N \exp( - I[\phi]) and use the chain rule to obtain \frac{\delta^{2}\Psi_{0}}{\delta \phi^{2}} = \frac{\partial^{2} \Psi_{0}}{\partial I^{2}} \left( \frac{\delta I}{\delta \phi} \right)^{2} + \frac{\partial \Psi_{0}}{\partial I} \frac{\delta^{2}I}{\delta \phi^{2}} .
*****************
(2 \pi)^{3} \delta^{3} (q) = \int d^{3}x \ e^{ i \vec{q} \cdot \vec{x}} . So (2 \pi)^{3} \delta^{3} (0) = \int d^{3}x .

 

[ShayanJ]

Its always a great pleasure(and of course unbelievably helpful) to receive replies from you Sam. Thanks a lot.