Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Canonical Quantization of KG field

  1. Jul 9, 2010 #1
    Hi,

    for my exam i"m re-reading Peskin&Schroeder and stumbled across equations 2.21-2.25 where the canonical quantization of the KG field is done.

    P&S start with doing a fourier trf on [tex]\phi(x,t)=\int\frac{d^3p}{(2\pi)^3}e^{ip\cdot x}\phi(p,t)[/tex]

    applying the KG operator in that results in [tex](\frac{\partial^2}{\partial t^2}+|p|+m^2)\phi(p,t)=0[/tex]

    P&S go on to recollect hte SHO where [tex]\phi=\frac{1}{\sqrt{2\omega}}(a+a^\dagger)[/tex]

    so P&S say that in analogy you arrive at
    [tex]\phi(x,t)=\int\frac{d^3p}{(2\pi)^3}(a_pe^{ip\cdot x}+a_p^\dagger e^{-ip\cdot x})[/tex]

    but straight forward subsitution would yield with no negative frequency terms

    [tex]\phi(x,t)=\int\frac{d^3p}{(2\pi)^3}(a_pe^{ip\cdot x}+a_p^\dagger e^{+ip\cdot x})[/tex]

    I've seen this expansion derived differently and understand it when i follo w it but using this SHO analogy i can't follow thie last step to 2.25

    i'd be grateful for input
     
  2. jcsd
  3. Jul 9, 2010 #2

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I didn't look at the calculation in the book, or try to understand every detail of what you said, but there's a variable change that's useful in this type of calculation:

    You consider the integral over the two terms separately. Define p'=-p and change the integration variable to p' in one of the integrals. Then you just drop the prime because it doesn't matter what you call the integration variable.
     
  4. Jul 19, 2010 #3
    Hi,
    honestly I think the mode expansion of psi (i.e. writing it in terms of a and a-dagger) is just the definition of a, no hidden physics (the SHO is why this expansion is useful...because you can then write the Hamiltonian so that you see a and a-dagger are ladder operators). Anyway it is a def. of the operator a, and you necessarily need the minus sign in the exp. because psi is an observable, it must be hermitian
     
  5. Jul 22, 2010 #4
    I thought the minus sign in the exp. is because that we are considering "real" scalar fields.
    The field itself needs not to be an observable.

    By the way, I am wondering why we always decompose the expansion of plane waves into positive-frequency and negative-frequency part, the expansion [tex] \int d^3p \exp(-i\mathbf{p}\cdot\mathbf{x}) [/tex] should contain all the plane waves already, right?
    Why do we need additional [tex] \exp(+i\mathbf{p}\cdot\mathbf{x}) [/tex]?
    Is it a hindsight?
    Thanks!
     
  6. Jul 23, 2010 #5
    hi,
    well you include the negative frequency terms exactly to make sure the sum is overall hermitian, it is to constrain it to be such. You're right you wouldn't need both terms, you are in practice including each term twice, this allows you to specify that the operator that goes with +p and with -p are related, are not any two, exactly to have it overall hermitian. With the other part, yes and no, it is so because it is a real field but it also has to be an observable (otherwise the connection real-hermitian would not be so obvious) in complex fields you cannot measure the overall field but just real and imaginary part or such pairs, they must be hermitian.
     
  7. Jul 23, 2010 #6
    anyway, some physicists are not so sure about the status of fields, I mean if you measure them. It is a part that leaves doubts. In fact for example the Dirac field is such that you can only measure quantities involving even multiples of it, and it isn't clear at all why. (It is required because there are minus signs popping out when you measure spinor fields at spacelike separated events.)
     
  8. Jul 23, 2010 #7
    What we measured in experiments are n-point functions which are related to scattering amplitudes.
    I still don't think we can measure the "fields" directly.

    The Dirac field you mentioned is an example that we cannot observe the fields directly.
    If we could measure the Dirac field directly, causality would be even broken.
    Because, we have [tex] \{\psi_A(x) , \bar{\psi}_B(y)\} =0 [/tex] at space-like separation,
    thus in order to get the micro-causality condition [tex] [O(x) , O(y)] = 0 [/tex] (at space-like separation, where [tex]O[/tex] is some observable), [tex]O[/tex] has to be composed by even number of Dirac fields. It's impossible to observe a single $\psi$ directly.

    As for the positive- and negative-frequency expansion, take the complex scalar field as an example,
    [tex] \phi(x) = \int\frac{d^3p}{(2\pi)^3\sqrt{2E_{\mathbf{p}}}} (a_{\mathbf{p}}e^{i\mathbf{p}\cdot\mathbf{x}} + b_{\mathbf{p}}^\dagger e^{-i\mathbf{p}\cdot\mathbf{x}})[/tex],
    we have [tex]\phi^\dagger(x) \neq \phi(x) [/tex], so the complex scalar field is NOT hermitian.

    So, I think the inclusion of negative-frequency components of the Fourier mode is not due to hermitian property of the fields. (One could only say so in the case of real scalar field.)
    It's also not to make real part of [tex]\phi[/tex] to be real.
    Because this is easily achieved without including of negative-frequency part.
     
    Last edited: Jul 23, 2010
  9. Jul 26, 2010 #8
    I came up with one of the reason why we need the negative frequency part which seems to be redundant in the Fourier transformation.
    The answer is that the causality requires the inclusion of negative frequency part.
    The introduction of negative frequency part makes [tex][\phi(x) , \phi(y)] [/tex] vanish in space-like separation of space-time coordinates. Moreover, the operator attached to this negative part plane wave turns out to be the anti-particle.
     
  10. Jul 29, 2010 #9
    If you look a little later at equation 2.27, you can deduce that the Fourier Transform is:

    [tex]\phi(\mathbf p, t) = \frac{1}{\sqrt{2\omega_{\mathbf p}}} \left(a_{\mathbf p} + a^\dagger_{-\mathbf p}\right)[/tex]

    I think the analogy with the harmonic oscillator still works because both [itex]a^\dagger_{\mathbf p}\right)[/itex] and [itex]a^\dagger_{-\mathbf p}\right)[/itex] create particles with the same frequency. The reason this combination is chosen is so that [itex]\phi[/itex] is hermitian.
     
  11. Jul 29, 2010 #10
    Yes, Peskin is making analogy to harmonic oscillator.

    But the real reason to choose that combination wouldn't be the hermitianity of [itex]\phi[/itex], it's the coincidence that we are considering a real scalar field [itex]\phi[/itex].
    If we were considering a complex scalar field, we wouldn't have [tex]\phi(\mathbf p, t) [/tex] to be hermitian.
     
  12. Jul 30, 2010 #11
    But a real classical field corresponds to a hermitian quantum field, and this section is talking about [itex]\phi[/itex] as a quantum field. In other words, we want that combination of [itex]a[/itex]'s and [itex]a^\dagger[/itex]'s because we want [itex]\phi[/itex] to be a hermitian quantum field. However, we want [itex]\phi[/itex] to be a hermitian quantum field because we are quantizing a real classical field.
     
  13. Jul 30, 2010 #12
    That's right. That's what I mean in the case of quantisation of a real scalar field.
    In this case, [tex]\phi[/tex] is hermitian.

    If we ask this question: why do we expand the complex scalar field in the same way? why do we expand the Dirac field in the same way? That is, expand the fields in terms of positive and negative frequency parts. These fields are not hermitian anymore. So, the inclusion of negative frequency modes definitely has nothing to do with hermitianity of fields in general.
     
  14. Jul 30, 2010 #13

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    The field breaks up into positive and negative frequency parts when you solve the equation. Look for solutions of the form [itex]\phi(x)=T(t)X(x)Y(y)Z(z)[/itex]. (I hope the minor abuse of notation will be forgiven). This turns the equation into

    [tex]\frac{T''(t)}{T(t)}-\frac{X''(x)}{X(x)}-\frac{Y''(y)}{Y(y)}-\frac{Z''(z)}{Z(z)}+m^2=0[/tex]

    Every term is explicitly independent of at least three of the four variables, and it's equal to something that's independent of the fourth, so it must be a constant. The equation

    [tex]\frac{X''(x)}{X(x)}=-(p^1)^2[/tex]

    has solutions of the form

    [tex]e^{\pm ip^1x}[/tex]

    and the Y and Z equations have solutions of the form

    [tex]e^{\pm ip^2y},\ e^{\pm ip^3z}[/tex]

    while the T equation has solutions of the form

    [tex]e^{\pm i\sqrt{\vec p\,^2+m^2}t[/tex]

    If we define [tex]E=\sqrt{\vec p\,^2+m^2}[/tex], the general (separable) solution is

    [tex]\phi(x)=\int d^3p \left(A_+(\vec p\,)e^{iEt}e^{i\vec p\cdot \vec x}+A_-(\vec p\,)e^{-iEt}e^{i\vec p\cdot \vec x}\right)[/tex]

    Note that there's no need to include the exp(-ipx) solutions explicitly since the integration is over all [tex]\vec p\,\in\mathbb R^3[/tex], but the exp(-iEt) solution is included explicitly because we don't integrate over E. (That's what breaks up the solution into positive and negative frequency parts). E is a function of [tex]\vec p\,[/tex] and is defined so that E>0. Now if we write [itex]p^0=E[/itex], we get

    (Edit: I changed a sign here after ismaili's comment below.)

    [tex]\phi(x)=\int d^3p\left(A_+(\vec p\,)e^{ipx}+A_-(-\vec p\,)e^{-ipx}\right)[/tex]

    [tex]=\int d^3p\left(a(\vec p\,)e^{ipx}+b(\vec p\,)e^{-ipx}\right)[/tex]

    Now you can use [itex]\operatorname{Im}\phi(x)=0[/itex] to see how b is related to a.
     
    Last edited: Jul 30, 2010
  15. Jul 30, 2010 #14
    Wow, sensible!
    This should be the correct answer.
    Making use of this chance, allow me to clarify something about separation of variables.
    Is the choice of constants in separation of variables here due to physical reason?
    I mean, if we choose [tex](p^1)^2[/tex] here instead, we have an exponential decay or increase solution.
    How do we discard the choices of exponential decay or increase solutions?

    I think the above equation has typo, and is corrected as above.
    (If the above equation is going to connect with following equations reasonably.)

    I also corrected some typo of the above equation.
    (change integration variable [tex]\mathbf{p}\rightarrow \mathbf{-p}[/tex] doesn't create a minus sign).
    And this solves my question actually, thank you.
    The positive frequency and negative frequency part of the fields arise when we solve the field equations. Indeed, we need both positive and negative frequency parts to expand the general solution.

    That's right. The real scalar field demands [tex]b[/tex] here to be [tex]a^\dagger[/tex].
     
    Last edited: Jul 30, 2010
  16. Jul 30, 2010 #15

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I don't know the answer to this question.

    I was thinking that

    [tex]Et+\vec p\cdot\vec x=p^0t^0+\sum_i p^ix^i=p_0t^0-p_ix^i=px[/tex]

    but perhaps I should define [tex]\vec p\cdot\vec x=p_ix^i[/tex] instead.

    Oops, quite right. :redface:
     
  17. Jul 30, 2010 #16

    Demystifier

    User Avatar
    Science Advisor

    Such solutions diverge at plus or minus infinity. They seem not to be realized in nature, so we discard them because they do not seem to be physically relevant.

    Try to do some calculations with such terms included and find by yourself various sorts of pathologies and infinities.
     
  18. Jul 30, 2010 #17
    In this section of Peskin and Schroeder, they are working in the Schrodinger picture. The variable [itex]\mathbf p[/itex] refers to just spatial frequency. I was responding to the original question which was regarding the specific argument given by Peskin and Schroeder. As stated, the original poster understands how the minus sign gets there through other arguments. He just doesn't understand this specific argument, which I'll try to summarize more clearly.

    Given that the Fourier transform of the Klein Gordon equation is

    [tex](\frac{\partial^2}{\partial t^2}+|\mathbf p|^2+m^2)\phi(\mathbf p,t)=0[/tex]

    which is the same as the equation of motion for the simple harmonic oscillator of frequency

    [tex]\omega_{\mathbf p} ^2= |\mathbf p|^2+m^2[/tex]

    The simple harmonic oscillator has the solution

    [tex]\phi=\frac{1}{\sqrt{2\omega}}(a+a^\dagger)[/tex]

    Therefore, since the Fourier transform of [itex]\phi(\mathbf x,t)[/itex] is defined to be

    [tex]\phi(\mathbf x,t)=\int\frac{d^3p}{(2\pi)^3}e^{i\mathbf p\cdot \mathbf x}\phi(\mathbf p,t)[/tex]

    Why isn't the solution

    [tex]\phi(\mathbf x,t)=\int\frac{d^3p}{(2\pi)^3\sqrt{2\omega_{\mathbf p}}}e^{i\mathbf p\cdot \mathbf x}\left(a_{\mathbf p}+a_{\mathbf p}^\dagger\right)[/tex]

    Instead of

    [tex]\phi(\mathbf x,t)=\int\frac{d^3p}{(2\pi)^3\sqrt{2\omega_{\mathbf p}}}e^{i\mathbf p\cdot \mathbf x}\left(a_{\mathbf p}+a_{-\mathbf p}^\dagger\right)[/tex]

    Which is the one given in the book. Both solutions include the negative spatial frequencies.
     
    Last edited: Jul 30, 2010
  19. Jul 30, 2010 #18
    But [itex]\phi[/itex] is an operator and not simply a number. The term real applies to numbers. The corresponding term for operators is hermitian. If [itex]\phi[/itex] were not hermitian (as in the case of charged fields), then [itex]b[/itex] would not have to equal [itex]a^\dagger[/itex].
     
  20. Jul 30, 2010 #19

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    By the way, here's another correct answer to the same question. I don't know why the books always start with a Fourier expansion when a straightforward solution by separation of variables is conceptually so much simpler, but since they do, I want to answer the question using an approach similar to theirs.

    If we insert

    [tex]\phi(x)=\int d^4p f(p)e^{ipx}[/tex]

    into

    [tex]\left(\frac{\partial^2}{\partial t^2}-\nabla^2+m^2\right)\phi(x)=0[/tex]

    and define E=p0, we get

    [tex]\int d^4p f(p)\left(-E^2+\vec p\,^2+m^2\right)e^{ipx}=0[/tex]

    This can only be true if f(p)=0 when the quantity in parentheses is ≠0, so f(p) can be written as

    [tex]f(p)=g(\vec p\,)\left(\delta(E-\sqrt{\vec p\,^2+m^2})+\delta(E+\sqrt{\vec p\,^2+m^2})\right)[/tex]

    and this clearly breaks up the solution into two parts. I prefer the other approach because it doesn't involve any delta "functions" and doesn't even require the reader to understand Fourier transforms.
     
  21. Jul 30, 2010 #20
    Thank you for the discussion!
    And this clarified many details.

    Yes, this is another correct viewpoint for the positive- and negative-frequency expansion of fields.
    Now I think both methods are sensible because their origin is mass-shell condition.

    From separation of variables, the choice of temporal constant is constrained, this means that in the expansion of a general solution into plane wave basis, we have to only sum over spatial momentum, and hence results in two possible choice of signs of exponents in temporal plane wave.

    From the Fourier transform viewpoint, the EoM encodes mass-shell condition naturally, and this quadratic mass-shell condition has positive- and negative- energy solutions; where, if we insisted the energy to be positive, we say we get positive- and negative- frequency parts.

    However, according to Peskin's logic, he worked in the Schodinger picture in the beginning, so the Fourier transform involves only spatial integral of momentum. So, the second viewpoint is somehow not obvious...
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Canonical Quantization of KG field
  1. Canonical Quantization (Replies: 8)

Loading...