2
$\begingroup$

I'm trying to understand the gradient expansion within the Keldysh formalism. In particular, I am reading "Quantum Field Theory of Non-equilibrium States" by J. Rammer, section 7.2, regarding Wigner or mixed coordinates. There, in Eq. (7.23), the author presents the Wigner transform of a convolution,

$$(A\otimes B)(x,k)\equiv \int d^4r\ e^{ik\cdot r}\int d^4w\ A(u,w)B(w,v)=e^{(i/2)(\partial_x^A\partial_k^B-\partial_k^A\partial_x^B)}A(x,k)B(x,k),\tag{1}$$

where $x=(u+v)/2$ and $r=u-v$. A similar result can be found in this reference, Eq. (2.52).

The proof provided by Rammer considers the convolution $$C(u,v)=\int d^4w\ A(u,w)B(w,v)=\int d^4w\ A(x+r/2,w)B(w,x-r/2)\equiv C(x,r).\tag{2}$$

Rewriting Eq. (2) in mixed coordinates, $$C(x,r)=\int d^4w\ A\left(\frac{x+r/2+w}{2},x+r/2-w\right)B\left(\frac{w+x-r/2}{2},w-x+r/2\right),\tag{3}$$

Shifting the $w-$integral in Eq. (3) gives $$C(x,r)=\int d^4w\ A(x+w/2,r-w)B(x-r/2+w/2,w).\tag{4}$$

After Wigner transforming the last expression, one ends up with $$\begin{align}C(x,k)=&\int d^4r\ e^{ik\cdot r}\int d^4w\ A(x+w/2,r-w)B(x-r/2+w/2,w),\tag{5}\\ =&\int d^4r\ e^{ik\cdot r}\int d^4w\ \int\frac{d^4k'}{(2\pi)^4}e^{-ik'\cdot(r-w)}A(x+w/2,k')\\ &\int\frac{d^4k''}{(2\pi)^4}e^{-ik''\cdot w}B(x-r/2+w/2,k'').\tag{6}\end{align}$$

Apparently, the argument to proceed from Eq. (6) to get Eq. (1) relies on a Taylor expansion and partial integrations, but I have not been able to complete the proof.

Suggestions to complete the missing steps are very welcomed.

$\endgroup$
3
  • 1
    $\begingroup$ The Groenewold star product, often (mis)dubbed "Moyal star product" is the Fourier-differential form of an integral convolution expression. You do need to use Lagrange's shift operator $\exp (a\partial_x) ~f(x)=f(x+a)$, a rewriting of the Taylor expansion around a, and nothing else; if you find yourself Taylor expanding, you are barking up the wrong tree. You might likely get a helpful answer if you wrote down the exact origin and target expressions you wish to connect, in simple language. $\endgroup$ – Cosmas Zachos Dec 19 '20 at 22:34
  • $\begingroup$ Thank you @CosmasZachos. I have edited my question detailing some of the steps. Even though I recognize the shift operator in Eq. (1), I still don't understand how to operate with it in the integral. Could you address me a little bit? $\endgroup$ – surrutiaquir Dec 20 '20 at 0:39
  • $\begingroup$ I have modified the question by making explicit the definition of the l.h.s. of Eq. (1) $\endgroup$ – surrutiaquir Dec 20 '20 at 1:11
1
$\begingroup$

I'll start you from the r.h.side of (1) as per my comment, and get you to the standard convolution similar to Wikipedia's, which you'll then have to take to your expressions, assuming they hold, by changes of variables. I'll stick to one-dimensional integrals, as your four dimensions are merelymultiplexing the structure by four.

Recall the Fourier transform of the inverse Fourier transform is $$ B(x,k)= \frac{1}{2\pi}\! \int\!\! dk'dx'~ e^{ixk'+ikx'}\!\! \int\!\! dx''dk''~ e^{-ix'k''-ik'x''} \!B(x'',k''), $$ which we insert in the rightmost side of (1), $$ e^{(i/2)(\partial_x^A\partial_k^B-\partial_k^A\partial_x^B)}\!A(x,k)B(x,k)= A\!\left(x+\tfrac{i}{2}\partial_k^B,k - \tfrac{i}{2}\partial_x^B\right ) B(x,k)\\ =\! \frac{1}{2\pi}\!\! \int\!\! dk'dx' dx''dk''~ e^{ixk'+ikx'}\! A(x-\tfrac{1}{2} x',k + \tfrac{1}{2} k') ~ e^{-ix'k''-ik'x''}\! B(x'',k''). $$ Four integrals. As usual in this game, you should be able to easily check this by taking "test functions" $A=e^{i(ax+bk)}$ and $B=e^{i(cx+dk)}$. Can you say the same for all of your expressions?

The original Groenewold derivation might be useful.

$\endgroup$
1
  • $\begingroup$ I get it, thank you @CosmasZachos $\endgroup$ – surrutiaquir Dec 21 '20 at 2:34
0
$\begingroup$

Hints:

  1. Eq. (1) is the Moyal/Groenewold star product $f\star g$ of Weyl-symbols $f$ and $g$.

  2. If $\hat{f}$ and $\hat{g}$ denote the corresponding Weyl-ordered operators (cf. e.g. this Phys.SE post), the task is to show that $$ \widehat{f\star g}~=~\hat{f}\circ\hat{g},$$ where $\circ$ denotes composition of operators.

$\endgroup$
1
  • $\begingroup$ Thank you @Qmechanic for the hints. Could you elaborate more about them? I'm still very confused. $\endgroup$ – surrutiaquir Dec 20 '20 at 0:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.