Friday, February 15, 2019

First-order wave equation: Why is its presence not common?


The (one-dimensional) wave equation is the second-order linear partial differential equation $$\frac{\partial^2 f}{\partial x^2}=\frac{1}{v^2}\frac{\partial^2 f}{\partial t^2}\tag{second order PDE}$$ that admits as its solutions functions $f$ of the form $$f=f(x\pm vt),\tag{solution}$$ as can be verified in a straight-forward manner. These solutions have a convenient interpretation that justifies the phrase wave equation.


I noticed there are first-order partial differential equations which have as solutions functions of the form $f(x\pm vt)$: $$\frac{\partial f}{\partial x}=\pm\frac{1}{v}\frac{\partial f}{\partial t}\tag{first order PDE}.$$


A quick Google search shows this is indeed called the first-order wave equation, but it usually shows up in the context of math classes.



So now the question:


Why is the usual second-order PDE favored over these first-order ones if both admit the same solutions? Is there a physical reason? Are this first-order equations useful in their own right?


Perhaps there other solutions that one admits that isn't desired, or maybe it just looks cleaner since one doesn't have to carry around the $\pm$ symbol in the differential equation.



Answer



There's nothing wrong with the first order wave equation mathematically, but it's just a little boring. If you want to use this equation to describe waves, it basically amounts to having a 1d solid with speed of sound $v$ for left moving waves (say) and speed of sound $0$ for right moving waves. It wouldn't surprise me if such a thing could be constructed (you would have to introduce some external fields to break time reversal invariance) but it is a very special system that we are not generically interested in.


Let's take the Fourier transforms of both equations to get the dispersion relationships. The normal second order equation gives \begin{equation} \omega^2=v^2 k^2 \end{equation} So for each frequency $\omega$ there are two allowed values of $k$, corresponding to right and left moving waves. Note that if we generalize the second order equation to include more spatial directions, there would be an infinite number of allowed $k$ values.


The first order equation meanwhile always has one allowed solution for a given frequency \begin{equation} \omega=v k \end{equation} So we get either right moving or left moving waves but not both. This restricts the allowed behavior, you can't have standing waves for example. If I try to generalize to higher dinensions, this equation picks out a single allowed $k$ for each frequency, so waves will only propagate along one very special direction.


Physically this is not what we would normally call a wave bc I only need one initial condition, not two. Usually dynamical systems can only be evolved given their initial position and velocity, but the first order equation needs only the initial position. (Or if you like, your equation is not a Hamiltonian system bc the phase space is odd dimensional).


Last but not least the first order equation necessarily picks out a preferred frame. By doing a boost I can change the sign of $v$, Thus the equation is not a good starting point for dealing with relativistic waves, which is one major application for the wave equation. (Of course you can have waves in materials that do pick out a preferred frame, and that is fine, but there you run into the problems above that you are looking at something with a preferred direction of motion as well).


(The Dirac equation gets around this by using spinor reps of the Lorentz group, but from your question I am supposing $f$ is a scalar).



Edit: rereading your question I see you want to have the $\pm$. Then you aren't looking at solutions of one single equation, you are looking at solutions to two equations and saying both are allowed. This is a little ugly for a few reasons. First,philosophically there should be one single equation for any system. Second, super positions don't solve either first order equation separately but do solve the second order equation. Third, the analogue of your idea for more spatial dimensions is to have an infinite set of first order equations, one for each direction.


On the other hand there is a way to rewrite the second order equation as two first order equations in a way which generalizes to any dimension, this is the way of the Hamiltonian and it is indeed a very useful thing to do in many situations.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...