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

What is a plane wave?

  1. Apr 3, 2008 #1
    Where does the plane wave solution (cos (ax-bt) and e 2pi(ax-bt)) come from?

    I know that any solution of the form f(ax-bt) is a solution to the general wave equation but why are the two particular ones above used for describing photons/ particles in quantum mechanics?

    Anyone here know?

    Ive got an exam in quantum mechanics in about a month and dont know anything yet!
  2. jcsd
  3. Apr 3, 2008 #2


    User Avatar
    Gold Member

    Eto to you too.

    the plane wave equation

    [tex]\phi = cos(ax - bt)[/tex] is a solution of

    [tex]a^2\frac{d^2\phi}{dt^2} - b^2\frac{d^2\phi}{dx^2} = 0[/tex]

    OK, I might have got a sign wrong but it's close.
    Last edited: Apr 3, 2008
  4. Apr 4, 2008 #3
    I think you mean either Acos(ax-bt)+Bsin(ax-bt) or e^i(ax-bt). I'd go to wikipedia and look up fourier transforms or fourier sums.
    Last edited: Apr 4, 2008
  5. Apr 4, 2008 #4


    User Avatar
    Science Advisor
    Homework Helper

    For a general wave equation with homogeneous boundary conditions, the only solutions will be sines and cosines. The actual solution is then found by applying fourier series to get the appropriate initial condition.
  6. Apr 4, 2008 #5
    Trig functions and imaginary exponentials are used because they are simple, well-understood, and easy to work with.

    What else would you use? One could try polynomials: ax-bt, (ax-bt)^2, etc. They blow up for large x or t, so they're not very useful for describing particle states. And anything else you might try would be more complicated than a trig function.
  7. Apr 4, 2008 #6


    User Avatar

    Staff: Mentor

    Plane-wave states have definite momentum [itex]p = \hbar a[/itex] (using your notation). They're actually physically impossible because you can't normalize them in the usual way, but they're useful as idealized approximations, and for constructing physically realistic solutions by superposition (wave packets).
    Last edited: Apr 4, 2008
  8. Apr 4, 2008 #7
    The wave equation can be written as
    [tex] \left(\frac{\partial}{\partial t} +\frac{\partial}{\partial x}\right) \left(\frac{\partial}{\partial t} - \frac{\partial}{\partial x}\right) f(x,t) = 0[/tex],
    so any function [tex]a(x+t) + b(x-t)[/tex] satisfies the equation. The trigonometric/exponential functions you mention satisfy this, but they also form a complete set, meaning that any normalizable solution to the wave equation can be expressed in that basis. Furthermore, the exponential functions are eigenfunctions of the momentum operator, in other words, if you work in that basis, your momentum operator is diagonal. Thus, if you start quantizing the theory, your particles are states with definite momentum.
  9. Apr 5, 2008 #8
    [dooh! I thing all of us except jtb answered the wrong question.]

    You've got me curious, lbrits. Why include the cross terms when they disappear?
  10. Apr 5, 2008 #9
    I think every answer is constructive. In any case, the reason for including cross-terms that disappear is due to d'Alembert. Essentially, the wave equation as given is second order in each variable. If you change variables to [tex]u = t + x[/tex] and [tex]v = t - x[/tex], then the equation becomes

    [tex]\frac{\partial^2}{\partial u \partial v} f(u,v) =0[/tex],

    which is first order in each variable, and has general solution found by simple integration [tex]f(u,v) = g(u) + h(v)[/tex].

    The reason for all this mess is that if you know the initial conditions of the wave, you can very easily write down the exact solution for all time, and deal with reflections and stuff.

    I guess the best answer is that the problem simplifies in some coordinate systems. If you complexify the problem (i.e., Wick rotate), then you'll find that any solution is a sum of a holomorphic and antiholomorphic parts, so then you have all of the tools of complex analysis at your disposal. It makes conformal field theory in 2D also very interesting.
  11. Apr 6, 2008 #10
    I didn't understand all that, but thanks, lbrits. It would be nice to see the big picture in terms of tensors, if that's at all possible. I done very little (just some algebra) with this (u,v) substitution, but as I recall, lorentz transforms in this coordinate system preserve both area and angles.
  12. Apr 6, 2008 #11
    Well, tensors aren't really necessary... i'm just using rules of changing variables in partial differentiation. Let
    [tex]t = \frac{1}{2}(u + v)[/tex]
    [tex]x = \frac{1}{2}(u - v)[/tex]
    [tex]\frac{\partial}{\partial t} = \frac{\partial u}{\partial t} \frac{\partial}{\partial u} + \frac{\partial v}{\partial t} \frac{\partial}{\partial v} = \frac{\partial}{\partial u} + \frac{\partial}{\partial v}[/tex]

    [tex]\frac{\partial}{\partial x} = \frac{\partial u}{\partial x} \frac{\partial}{\partial u} + \frac{\partial v}{\partial x} \frac{\partial}{\partial v} = \frac{\partial}{\partial u} -\frac{\partial}{\partial v}[/tex]

    Now, tensors transform in the same way... Specifically, upstairs indices transform the same way as [tex]dx[/tex], while downstairs indices transform the same way as [tex]\tfrac{\partial}{\partial x}[/tex]. Let me demonstrate.

    [tex]T_x = \frac{\partial u}{\partial x} T_u + \frac{\partial v}{\partial x} T_v[/tex]
    [tex]T_t = \frac{\partial u}{\partial t} T_u + \frac{\partial v}{\partial t} T_v[/tex]

    [tex]T^x = \frac{\partial x}{\partial u} T^u + \frac{\partial x}{\partial v} T^v[/tex]
    [tex]T^t = \frac{\partial t}{\partial u} T^u + \frac{\partial t}{\partial v} T^v[/tex]

    You can keep going with more indices, this doesn't really have anything to do with wave equations anymore =)

    Here's an exercise for you... Express [tex]T^x,T^t[/tex] in terms of [tex]T^u,t^v[/tex], which you can in turn express in terms of [tex]T^x,T^t[/tex] again... When you're done, you'll have something like [tex]T^x = \dots = T^x[/tex], and the stuff in between will give you an identity between the partial derivatives. It is this identity that makes [tex]\frac{\partial}{\partial x^\mu} \frac{\partial}{\partial x_\mu} = \partial_\mu \partial^\mu [/tex] a Lorentz invariant.
  13. Apr 8, 2008 #12
    lbrits, Thanks! That's a lot of work in latex. I want to get back to this in a day if you're still around. I've had a lot on my plate.
  14. Apr 9, 2008 #13
    I found the coordinate transform interesting for a Lorentz boost. The coordinates (u,v) come out of finding the eigenvalue of the matrix,
    [tex][(\gamma\ \ \beta\gamma)(\beta\gamma\ \ \gamma)][/tex]
    the metric becomes
    [tex]ds^{2} = dudv + dy^{2} + dz^{2}[/tex]
    and a Lorentz transform in the (u,v) coordinate basis is
    [tex][(D\ \ 0)(0\ 1/D)][/tex]
    Taking the limit
    is my answer to "what happens if you ride along on a beam of light?," or on a plane wave, actually. Space-time is reduced to a three dimensional plane normal to v where all of time happens at once. Not all events are included, but only those that happen to exist on the wave crest you're ridding. The rest are taken beyond the horizon.

    Sticking to a Minkowski space, where things are nice and flat all around, you might think of stacking a lot of these 3d planes corresponding to wave crests and those in-between, so that they are reassembled into 4 dimenisons. I suppose I've have to take some first and second derivatives in u and v, before taking D to zero, and see what happens.
    Last edited: Apr 9, 2008
  15. Apr 9, 2008 #14
    Yeah, the coordinates happen to be called "lightcone coordinates", for what it's worth.
  16. Apr 10, 2008 #15
    Yeah, well, that was some time ago. I'm more interested in how your de Alembertian is related to the Laplace-de Raham operator,
  17. Apr 10, 2008 #16
    Mmm... that really is overkill. my d'Alembertian operator might as well be a Laplacian (the signature of the metric isn't really important). If you want to know how to show [tex]\nabla^2 f = (d+\delta)^2 f[/tex] (i.e., when acting on 0-forms, then look here: http://en.wikipedia.org/wiki/Laplace-Beltrami_operator/Proofs
  18. Apr 11, 2008 #17


    User Avatar
    Science Advisor

    siresmith -- You might consider small oscillation problems -- connected springs. This problem is covered in almost all texts on mechanics. If you work through this type of problem you will see clearly how the exponential functions arise.

    In other than rectangular coordinates you may not get straightforward exponentials -- check out wave equations in parabolic or elliptic coordinates.

    For many problems in rectangular coords (or spherical) plane wave solutions are the easiest to work with, and often lead naturally to Fourier series or integrals. No magic here, just practical math for physics.
    Reilly Atkinson
  19. Apr 12, 2008 #18
    I've been taking an informal survey of harmonic k-forms with complex entries in the lorentz metric in four and five dimensions, thus my interest. Thanks for the feedback!
    Last edited: Apr 12, 2008
  20. Apr 12, 2008 #19
    I believe there is a one-to-one map between these and objects built out of spinors. If you are interested...
  21. Apr 12, 2008 #20
    I dont really know. My math skills are pretty weak. I'm not using the full complex space, but a slice of it,
    [tex]\textbf{R}^{4}\otimes exp(i\textbf{R}) [/tex]
    so it may not relate.

    Quite by accident, I was looking for a pair of type(3,1) 2-forms to find system of equations to do what is commonly said could not be done. In hindsight turn out to be a regauging of the two forms. In fact, they regauge each other. Very peculiar.

    One interesting effect is this,
    [tex]i\xi = *\xi[/tex]

    I stumbled across the de Rham Laplacian in similar manner. It took me a week to find the name for it. Hope I haven't bored you.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook