Skip to main content
3 of 6
added 68 characters in body
user avatar
user avatar

Exchanging a local operator with a path integral

I am reading a paper by J. Polchinski, called "What is string theory", hep-th/9411028. In eq. 1.1.9, and the line before it, the author seems to have used:

$$\langle \partial_z \partial_{\bar{z}} X(z,\bar{z}) X(z',\bar{z}')\rangle = \partial_z \partial_{\bar{z}} \langle X(z,\bar{z}) X(z',\bar{z}')\rangle ,$$

where the symbol $\langle F(X)\rangle$ denotes the expected value of $F(X)$ with respect to the "measure" $\exp(-S) [\mathrm dX]$. In other words,

$$\langle F(X)\rangle = \int [\mathrm dX] \exp(-S) F(X)$$

(it is a path integral). My question is, why can one pull out the partial derivatives $\partial_z$ and $\partial_{\bar{z}}$ outside the path integral? Or did I misunderstand something? Can someone please give an argument for this, or explain what the author meant perhaps (in case I misunderstood)?

Malkoun
  • 649
  • 1
  • 4
  • 16