Three dimensional wave equation

Three dimensional wave equation

Henceforth we will define a wave generally as any solution to the wave equation. We now try to find a three-dimensional equation governing wave motion in time and space i.e., the three-dimensional wave equation. The goal then is to derive a connection between partial derivatives of a wave disturbance. Before we begin, it is worth noting that nothing in the one-dimensional wave equation gave preference to the x-direction. That is, the wave equation we derive should be symmetric in spatial coordinates or in other words, we should be able to replace any spatial coordinate by any other spatial coordinate and leave the equation unchanged.

Deriving the 3D Wave Equation

Lets start with our three-dimensional representation of a plane wave

LaTeX: \psi \left(\overset{\rightharpoonup }{r},t\right)=e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}ψ(r,t)=ei(kxx+kyy+kzzωt)

and take partial derivatives

LaTeX: \partial _x^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-k_x^2 e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}, \\
\partial _y^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-k_y^2 e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}, \\
\partial _z^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-k_z^2 e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}, \\
\partial _t^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-\omega^2 e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}2xψ(r,t)=k2xei(kxx+kyy+kzzωt),2yψ(r,t)=k2yei(kxx+kyy+kzzωt),2zψ(r,t)=k2zei(kxx+kyy+kzzωt),2tψ(r,t)=ω2ei(kxx+kyy+kzzωt)

adding the three spatial derivatives and simplifying we get

LaTeX: \partial _x^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _y^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _z^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-e^{i \left(k_x x+k_y y+k_z z-\omega t \right)} (k_x^2+k_y^2+k_z^2)2xψ(r,t)+2yψ(r,t)+2zψ(r,t)=ei(kxx+kyy+kzzωt)(k2x+k2y+k2z)

we recognize the exponential as the wave itself

LaTeX: \partial _x^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _y^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _z^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-\psi \left(\overset{\rightharpoonup }{r},t\right)(k_x^2+k_y^2+k_z^2)2xψ(r,t)+2yψ(r,t)+2zψ(r,t)=ψ(r,t)(k2x+k2y+k2z)

we also note that the sum in the parenthesis is the square modulus of the wave vector i.e.,

LaTeX: \left| \overset{\rightharpoonup }{k}\right| ^2\equiv k^2=(\sqrt{\overset{\rightharpoonup }{k}\cdot \overset{\rightharpoonup }{k}})^2=k_x^2+k_y^2+k_z^2|k|2k2=(kk)2=k2x+k2y+k2z

inserting this information

LaTeX: \partial _x^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _y^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _z^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-k^2 \psi \left(\overset{\rightharpoonup }{r},t\right)2xψ(r,t)+2yψ(r,t)+2zψ(r,t)=k2ψ(r,t)

remembering that ω = v k, the temporal derivative becomes

LaTeX: \partial _t^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-(v k)^2 e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}2tψ(r,t)=(vk)2ei(kxx+kyy+kzzωt)

or, rearranged

LaTeX: \frac{1}{v^2}\partial _t^2\psi \left(\overset{\rightharpoonup }{r},t\right)=-k^2 e^{i \left(k_x x+k_y y+k_z z-\omega t \right)}1v22tψ(r,t)=k2ei(kxx+kyy+kzzωt)

inserting this into our differential equation, we arrive at

LaTeX: \partial _x^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _y^2\psi \left(\overset{\rightharpoonup }{r},t\right)+\partial _z^2\psi \left(\overset{\rightharpoonup }{r},t\right)=\frac{1}{v^2}\partial _t^2\psi \left(\overset{\rightharpoonup }{r},t\right)2xψ(r,t)+2yψ(r,t)+2zψ(r,t)=1v22tψ(r,t)

the three-dimensional wave equation. Note that we have, albeit very heuristically derived a three-dimensional wave equation whose spatial coordinates are symmetric, as desired. The three-dimensional wave equation is usually written in more concise form by introducing the Laplacian operator given by the divergence of the gradient operator, where the gradient is defined as

LaTeX: \overset{\rightharpoonup }{\nabla }=\frac{\partial}{\partial x}\hat{i}+\frac{\partial}{\partial y} \hat{j}+\frac{\partial }{\partial z}\hat{k} =xˆi+yˆj+zˆk

the Laplacian is

LaTeX: \overset{\rightharpoonup }{\nabla }\cdot \left(\overset{\rightharpoonup }{\nabla }\right)\equiv \nabla ^2=\partial _x^2+\partial _y^2+\partial _z^2()2=2x+2y+2z

Using this notation, the wave equation is now compactly written as

LaTeX: \nabla ^2\psi =\frac{1}{v^2}\partial _t^2\psi2ψ=1v22tψ

D'Alembert's Solution

At this point it is worth noting that back in one-dimension e.g.

LaTeX: \partial _x^2\psi =\frac{1}{v^2}\partial _t^2\psi2xψ=1v22tψ

the wave equation may be factored as follows: First we move all terms to one side

LaTeX: v^2\partial _x^2\psi -\partial _t^2\psi =0v22xψ2tψ=0

and then we can write

LaTeX: \left(v \partial _x-\partial _t\right)\left(v \partial _x+\partial _t\right)\psi =0(vxt)(vx+t)ψ=0

the proof of this is given by simply writing out the operator

LaTeX: \left(v \partial _x-\partial _t\right)\left(v \partial _x+\partial _t\right)=v \partial _x\left(v \partial _x+\partial _t\right)-\partial _t\left(v \partial _x+\partial _t\right)(vxt)(vx+t)=vx(vx+t)t(vx+t)

which is

LaTeX: \left(v \partial _x-\partial _t\right)\left(v \partial _x+\partial _t\right)=v^2\partial _x^2+v\partial_x \partial_t-v\partial _t\partial _x-\partial _t^2(vxt)(vx+t)=v22x+vxtvtx2t

note that as long as the function has a continuous second derivative in both t and x we can switch the order of partial derivatives and cancel the two central terms leaving

LaTeX: \left(v \partial _x-\partial _t\right)\left(v \partial _x+\partial _t\right)= v^2\partial _x^2-\partial _t^2(vxt)(vx+t)=v22x2t

which is the desired result. In this case, the factored one-dimensional wave equation is

LaTeX: \left(v \partial _x-\partial _t\right)\left(v \partial _x+\partial _t\right)\psi =0(vxt)(vx+t)ψ=0

now define

LaTeX: u\equiv \frac{\partial \psi }{\partial t}+v \frac{\partial \psi }{\partial x}uψt+vψx

then the wave equation is

LaTeX: v \frac{\partial u}{\partial x}-\frac{\partial u}{\partial t}=0vuxut=0

(again, this can shown to be true by simply inserting u again). From this we see that u must have the form

LaTeX: u(x,t)=h(x+v t)u(x,t)=h(x+vt)

performing the substitution LaTeX: \xi \equiv x+ v tξx+vt, changes partial derivatives in the following way

LaTeX: \frac{\partial }{\partial \xi }=\frac{\partial }{\partial x}\frac{\partial x}{\partial \xi }=\frac{\partial }{\partial x}ξ=xxξ=x

and

LaTeX: \frac{\partial }{\partial \xi }=\frac{\partial }{\partial t}\frac{\partial t}{\partial \xi }=\left(\frac{\partial \xi }{\partial t}\right)^{-1}\frac{\partial }{\partial t}=\frac{1}{v}\frac{\partial }{\partial t}ξ=ttξ=(ξt)1t=1vt

so that

LaTeX: \frac{\partial u}{\partial x}=\frac{\partial u}{\partial \xi }=\frac{\partial h(\xi )}{\partial \xi }ux=uξ=h(ξ)ξ

and similarly

LaTeX: \frac{\partial u}{\partial t}=v \frac{\partial h(\xi )}{\partial \xi }ut=vh(ξ)ξ

plugging this in we see

LaTeX: v \frac{\partial h(\xi )}{\partial \xi }-v \frac{\partial h(\xi )}{\partial \xi }=0vh(ξ)ξvh(ξ)ξ=0

which is true. Plugging in the result for u into our equation for ψ, we have the inhomogeneous partial differential equation

LaTeX: \frac{\partial \psi }{\partial t}+v \frac{\partial \psi }{\partial x}=h(x+v t)ψt+vψx=h(x+vt)

now we seek a solution in the form

LaTeX: \psi =\psi _{\hom }+\psi _{\text{par}}ψ=ψhom+ψpar

where LaTeX: \psi _{\hom }ψhom is the solution to the homogeneous equation

LaTeX: \frac{\partial \psi _{\hom }}{\partial t}+v \frac{\partial \psi _{\hom }}{\partial x}=0ψhomt+vψhomx=0

which, in this case, by the same reasoning above, is given by another function

LaTeX: \psi _{\hom }=g(x-v t)ψhom=g(xvt)

(note the sign change on the v t). We can now "guess" a particular solution of the form

LaTeX: \psi _{\text{par}}=f(x+v t)ψpar=f(x+vt).

Plugging this into the first order partial differential equation for ψ yields

LaTeX: \frac{\partial \psi }{\partial t}+v \frac{\partial \psi }{\partial x}=\frac{\partial \left(\psi _{\hom }+\psi _{\text{par}}\right)}{\partial t}+v \frac{\partial \left(\psi _{\hom }+\psi _{\text{par}}\right)}{\partial x}=\frac{\partial \psi _{\hom }}{\partial t}+v \frac{\partial \psi _{\hom }}{\partial x}+\frac{\partial \psi _{\text{par}}}{\partial t}+v \frac{\partial \psi _{\text{par}}}{\partial x}=h (x+v t)ψt+vψx=(ψhom+ψpar)t+v(ψhom+ψpar)x=ψhomt+vψhomx+ψpart+vψparx=h(x+vt)

with the homogeneous part identically zero, we have

LaTeX: \frac{\partial \psi _{\text{par}}}{\partial t}+v \frac{\partial \psi _{\text{par}}}{\partial x}=h(x+v t)ψpart+vψparx=h(x+vt)

or, using our guess LaTeX: \psi _{\text{par}}=f(x+v t)ψpar=f(x+vt)

LaTeX: \frac{\partial \psi _{\text{par}}}{\partial t}+v \frac{\partial \psi _{\text{par}}}{\partial x}=h(x+v t)ψpart+vψparx=h(x+vt)

and again, using a variable substitution LaTeX: \xi \equiv x+v tξx+vt, which implies the change of derivatives from before, we get

LaTeX: v \frac{\partial f(\xi )}{\partial \xi }+v \frac{\partial f(\xi )}{\partial \xi }=h(\xi )vf(ξ)ξ+vf(ξ)ξ=h(ξ)

which reduces to

LaTeX: \frac{\partial f(\xi )}{\partial \xi }=\frac{h(\xi )}{2 v}f(ξ)ξ=h(ξ)2v

which means, that at least in principle f(LaTeX: \xiξ) could be found by integration. Then, the full solution is

LaTeX: \psi =\psi _{\hom }+\psi _{\text{par}}=f(x+v t)+g(x-v t)ψ=ψhom+ψpar=f(x+vt)+g(xvt)

Without specifying boundary or initial conditions, we can surmise that the solution to the one-dimensional wave equation is simply a function 'g' traveling to the right with speed v added to another function 'f' traveling to the left with identical speed v. This is D'Alembert's solution to the wave equation.

Unfortunately factoring the wave equation in higher dimensions is not so simple and requires something called a Dirac operator, which essentially represents the 'square-root' or 'half-iterate' of the Laplacian.

The point here is that the most general solution to the one-dimensional wave equation is nothing more than some 'spatial-shape' traveling to the left added(superposition) to some other spatial-shape traveling to the right.