Three dimensional wave equation
Deriving the 3D Wave Equation
Lets start with our three-dimensional representation of a plane wave
ψ(⇀r,t)=ei(kxx+kyy+kzz−ωt)
and take partial derivatives
∂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
∂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
∂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.,
|⇀k|2≡k2=(√⇀k⋅⇀k)2=k2x+k2y+k2z
inserting this information
∂2xψ(⇀r,t)+∂2yψ(⇀r,t)+∂2zψ(⇀r,t)=−k2ψ(⇀r,t)
remembering that ω = v k, the temporal derivative becomes
∂2tψ(⇀r,t)=−(vk)2ei(kxx+kyy+kzz−ωt)
or, rearranged
1v2∂2tψ(⇀r,t)=−k2ei(kxx+kyy+kzz−ωt)
inserting this into our differential equation, we arrive at
∂2xψ(⇀r,t)+∂2yψ(⇀r,t)+∂2zψ(⇀r,t)=1v2∂2tψ(⇀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
⇀∇=∂∂xˆi+∂∂yˆj+∂∂zˆk
the Laplacian is
⇀∇⋅(⇀∇)≡∇2=∂2x+∂2y+∂2z
Using this notation, the wave equation is now compactly written as
∇2ψ=1v2∂2tψ
D'Alembert's Solution
At this point it is worth noting that back in one-dimension e.g.
∂2xψ=1v2∂2tψ
the wave equation may be factored as follows: First we move all terms to one side
v2∂2xψ−∂2tψ=0
and then we can write
(v∂x−∂t)(v∂x+∂t)ψ=0
the proof of this is given by simply writing out the operator
(v∂x−∂t)(v∂x+∂t)=v∂x(v∂x+∂t)−∂t(v∂x+∂t)
which is
(v∂x−∂t)(v∂x+∂t)=v2∂2x+v∂x∂t−v∂t∂x−∂2t
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
(v∂x−∂t)(v∂x+∂t)=v2∂2x−∂2t
which is the desired result. In this case, the factored one-dimensional wave equation is
(v∂x−∂t)(v∂x+∂t)ψ=0
now define
u≡∂ψ∂t+v∂ψ∂x
then the wave equation is
v∂u∂x−∂u∂t=0
(again, this can shown to be true by simply inserting u again). From this we see that u must have the form
u(x,t)=h(x+vt)
performing the substitution ξ≡x+vt, changes partial derivatives in the following way
∂∂ξ=∂∂x∂x∂ξ=∂∂x
and
∂∂ξ=∂∂t∂t∂ξ=(∂ξ∂t)−1∂∂t=1v∂∂t
so that
∂u∂x=∂u∂ξ=∂h(ξ)∂ξ
and similarly
∂u∂t=v∂h(ξ)∂ξ
plugging this in we see
v∂h(ξ)∂ξ−v∂h(ξ)∂ξ=0
which is true. Plugging in the result for u into our equation for ψ, we have the inhomogeneous partial differential equation
∂ψ∂t+v∂ψ∂x=h(x+vt)
now we seek a solution in the form
ψ=ψhom+ψpar
where ψhom is the solution to the homogeneous equation
∂ψhom∂t+v∂ψhom∂x=0
which, in this case, by the same reasoning above, is given by another function
ψhom=g(x−vt)
(note the sign change on the v t). We can now "guess" a particular solution of the form
ψpar=f(x+vt).
Plugging this into the first order partial differential equation for ψ yields
∂ψ∂t+v∂ψ∂x=∂(ψhom+ψpar)∂t+v∂(ψhom+ψpar)∂x=∂ψhom∂t+v∂ψhom∂x+∂ψpar∂t+v∂ψpar∂x=h(x+vt)
with the homogeneous part identically zero, we have
∂ψpar∂t+v∂ψpar∂x=h(x+vt)
or, using our guess ψpar=f(x+vt)
∂ψpar∂t+v∂ψpar∂x=h(x+vt)
and again, using a variable substitution ξ≡x+vt, which implies the change of derivatives from before, we get
v∂f(ξ)∂ξ+v∂f(ξ)∂ξ=h(ξ)
which reduces to
∂f(ξ)∂ξ=h(ξ)2v
which means, that at least in principle f(ξ) could be found by integration. Then, the full solution is
ψ=ψhom+ψpar=f(x+vt)+g(x−vt)
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.