Wave equation

From Wikipedia, the free encyclopedia
(Redirected from Spherical wave)
Jump to navigation Jump to search

Template:Short description Script error: No such module "Distinguish". Template:Use American English

Script error: No such module "Multiple image". The wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields such as mechanical waves (e.g. water waves, sound waves and seismic waves) or electromagnetic waves (including light waves). It arises in fields like acoustics, electromagnetism, and fluid dynamics.

This article focuses on waves in classical physics. Quantum physics uses an operator-based wave equation often as a relativistic wave equation.

Introduction

The wave equation is a hyperbolic partial differential equation describing waves, including traveling and standing waves; the latter can be considered as linear superpositions of waves traveling in opposite directions. This article mostly focuses on the scalar wave equation describing waves in scalars by scalar functions u=u(x,y,z,t) of a time variable t (a variable representing time) and one or more spatial variables x,y,z (variables representing a position in a space under discussion). At the same time, there are vector wave equations describing waves in vectors such as waves for an electrical field, magnetic field, and magnetic vector potential and elastic waves. By comparison with vector wave equations, the scalar wave equation can be seen as a special case of the vector wave equations; in the Cartesian coordinate system, the scalar wave equation is the equation to be satisfied by each component (for each coordinate axis, such as the x component for the x axis) of a vector wave without sources of waves in the considered domain (i.e., space and time). For example, in the Cartesian coordinate system, for (Ex,Ey,Ez) as the representation of an electric vector field wave E in the absence of wave sources, each coordinate axis component Ei,i=x,y,z, must satisfy the scalar wave equation. Other scalar wave equation solutions Template:Mvar are for physical quantities in scalars such as pressure in a liquid or gas, or the displacement along some specific direction of particles of a vibrating solid away from their resting (equilibrium) positions.

The scalar wave equation is Template:Equation box 1where

The equation states that, at any given point, the second derivative of u with respect to time is proportional to the sum of the second derivatives of u with respect to space, with the constant of proportionality being the square of the speed of the wave.

Using notations from vector calculus, the wave equation can be written compactly as utt=c2Δu, or u=0, where the double subscript denotes the second-order partial derivative with respect to time, Δ is the Laplace operator and the d'Alembert operator, defined as: utt=2ut2,Δ=2x2+2y2+2z2,=1c22t2Δ.

A solution to this (two-way) wave equation can be quite complicated. Still, it can be analyzed as a linear combination of simple solutions that are sinusoidal plane waves with various directions of propagation and wavelengths but all with the same propagation speed c. This analysis is possible because the wave equation is linear and homogeneous, so that any multiple of a solution is also a solution, and the sum of any two solutions is again a solution. This property is called the superposition principle in physics.

The wave equation alone does not specify a physical solution; a unique solution is usually obtained by setting a problem with further conditions, such as initial conditions, which prescribe the amplitude and phase of the wave. Another important class of problems occurs in enclosed spaces specified by boundary conditions, for which the solutions represent standing waves, or harmonics, analogous to the harmonics of musical instruments.

Wave equation in one space dimension

File:Alembert.jpg
French scientist Jean-Baptiste le Rond d'Alembert discovered the wave equation in one space dimension.[1]

The wave equation in one spatial dimension can be written as follows: 2ut2=c22ux2.This equation is typically described as having only one spatial dimension x, because the only other independent variable is the time t.

Derivation

Script error: No such module "Labelled list hatnote". The wave equation in one space dimension can be derived in a variety of different physical settings. Most famously, it can be derived for the case of a string vibrating in a two-dimensional plane, with each of its elements being pulled in opposite directions by the force of tension.[2]

Another physical setting for derivation of the wave equation in one space dimension uses Hooke's law. In the theory of elasticity, Hooke's law is an approximation for certain materials, stating that the amount by which a material body is deformed (the strain) is linearly related to the force causing the deformation (the stress).

Hooke's law

The wave equation in the one-dimensional case can be derived from Hooke's law in the following way: imagine an array of little weights of mass m interconnected with massless springs of length Template:Tmath. The springs have a spring constant of Template:Tmath:

Template:Dark mode invert

Here the dependent variable u(x) measures the distance from the equilibrium of the mass situated at Template:Tmath, so that u(x) essentially measures the magnitude of a disturbance (i.e. strain) that is traveling in an elastic material. The resulting force exerted on the mass m at the location x+h is: FHooke=Fx+2hFx=k[u(x+2h,t)u(x+h,t)]k[u(x+h,t)u(x,t)].

By equating the latter equation with FNewton=ma(t)=m2t2u(x+h,t),

the equation of motion for the weight at the location Template:Tmath is obtained: 2t2u(x+h,t)=km[u(x+2h,t)u(x+h,t)u(x+h,t)+u(x,t)]. If the array of weights consists of N weights spaced evenly over the length L=Nh of total mass Template:Tmath, and the total spring constant of the array Template:Tmath, we can write the above equation as 2t2u(x+h,t)=KL2M[u(x+2h,t)2u(x+h,t)+u(x,t)]h2.

Taking the limit N,h0 and assuming smoothness, one gets 2u(x,t)t2=KL2M2u(x,t)x2, which is from the definition of a second derivative. KL2/M is the square of the propagation speed in this particular case.

File:1d wave equation animation.gif
1-d standing wave as a superposition of two waves traveling in opposite directions

Stress pulse in a bar

In the case of a stress pulse propagating longitudinally through a bar, the bar acts much like an infinite number of springs in series and can be taken as an extension of the equation derived for Hooke's law. A uniform bar, i.e. of constant cross-section, made from a linear elastic material has a stiffness K given by K=EAL, where A is the cross-sectional area, and E is the Young's modulus of the material. The wave equation becomes 2u(x,t)t2=EALM2u(x,t)x2.

AL is equal to the volume of the bar, and therefore ALM=1ρ, where ρ is the density of the material. The wave equation reduces to 2u(x,t)t2=Eρ2u(x,t)x2.

The speed of a stress wave in a bar is therefore E/ρ.

General solution

Algebraic approach

For the one-dimensional wave equation a relatively simple general solution may be found. Defining new variables[3] ξ=xct,η=x+ct changes the wave equation into 2uξη(x,t)=0, which leads to the general solution u(x,t)=F(ξ)+G(η)=F(xct)+G(x+ct).

In other words, the solution is the sum of a right-traveling function F and a left-traveling function G. "Traveling" means that the shape of these individual arbitrary functions with respect to Template:Mvar stays constant, however, the functions are translated left and right with time at the speed c. This was derived by Jean le Rond d'Alembert.[4]

Another way to arrive at this result is to factor the wave equation using two first-order differential operators: [tcx][t+cx]u=0. Then, for our original equation, we can define vut+cux, and find that we must have vtcvx=0.

This advection equation can be solved by interpreting it as telling us that the directional derivative of v in the (1,c) direction is 0. This means that the value of v is constant on characteristic lines of the form x + ct = x0Script error: No such module "Check for unknown parameters"., and thus that v must depend only on x + ctScript error: No such module "Check for unknown parameters"., that is, have the form H(x + ct)Script error: No such module "Check for unknown parameters".. Then, to solve the first (inhomogenous) equation relating v to Template:Mvar, we can note that its homogenous solution must be a function of the form F(x - ct)Script error: No such module "Check for unknown parameters"., by logic similar to the above. Guessing a particular solution of the form G(x + ct)Script error: No such module "Check for unknown parameters"., we find that

[t+cx]G(x+ct)=H(x+ct).

Expanding out the left side, rearranging terms, then using the change of variables s = x + ctScript error: No such module "Check for unknown parameters". simplifies the equation to

G(s)=H(s)2c.

This means we can find a particular solution GScript error: No such module "Check for unknown parameters". of the desired form by integration. Thus, we have again shown that Template:Mvar obeys u(x, t) = F(x - ct) + G(x + ct)Script error: No such module "Check for unknown parameters"..[5]

For an initial-value problem, the arbitrary functions Template:Mvar and Template:Mvar can be determined to satisfy initial conditions: u(x,0)=f(x),ut(x,0)=g(x).

The result is d'Alembert's formula: u(x,t)=f(xct)+f(x+ct)2+12cxctx+ctg(s)ds.

In the classical sense, if f(x) ∈ CkScript error: No such module "Check for unknown parameters"., and g(x) ∈ Ck−1Script error: No such module "Check for unknown parameters"., then u(t, x) ∈ CkScript error: No such module "Check for unknown parameters".. However, the waveforms Template:Mvar and Template:Mvar may also be generalized functions, such as the delta-function. In that case, the solution may be interpreted as an impulse that travels to the right or the left.

The basic wave equation is a linear differential equation, and so it will adhere to the superposition principle. This means that the net displacement caused by two or more waves is the sum of the displacements which would have been caused by each wave individually. In addition, the behavior of a wave can be analyzed by breaking up the wave into components, e.g. the Fourier transform breaks up a wave into sinusoidal components.

Plane-wave eigenmodes

Script error: No such module "Labelled list hatnote".

Another way to solve the one-dimensional wave equation is to first analyze its frequency eigenmodes. A so-called eigenmode is a solution that oscillates in time with a well-defined constant angular frequency Template:Mvar, so that the temporal part of the wave function takes the form eiωt = cos(ωt) − i sin(ωt)Script error: No such module "Check for unknown parameters"., and the amplitude is a function f(x)Script error: No such module "Check for unknown parameters". of the spatial variable Template:Mvar, giving a separation of variables for the wave function: uω(x,t)=eiωtf(x).

This produces an ordinary differential equation for the spatial part f(x)Script error: No such module "Check for unknown parameters".: 2uωt2=2t2(eiωtf(x))=ω2eiωtf(x)=c22x2(eiωtf(x)).

Therefore, d2dx2f(x)=(ωc)2f(x), which is precisely an eigenvalue equation for f(x)Script error: No such module "Check for unknown parameters"., hence the name eigenmode. Known as the Helmholtz equation, it has the well-known plane-wave solutions f(x)=Ae±ikx, with wave number k = ω/cScript error: No such module "Check for unknown parameters"..

The total wave function for this eigenmode is then the linear combination uω(x,t)=eiωt(Aeikx+Beikx)=Aei(kx+ωt)+Bei(kxωt), where complex numbers Template:Mvar, Template:Mvar depend in general on any initial and boundary conditions of the problem.

Eigenmodes are useful in constructing a full solution to the wave equation, because each of them evolves in time trivially with the phase factor eiωt, so that a full solution can be decomposed into an eigenmode expansion: u(x,t)=s(ω)uω(x,t)dω, or in terms of the plane waves, u(x,t)=s+(ω)ei(kx+ωt)dω+s(ω)ei(kxωt)dω=s+(ω)eik(x+ct)dω+s(ω)eik(xct)dω=F(xct)+G(x+ct), which is exactly in the same form as in the algebraic approach. Functions s±(ω)Script error: No such module "Check for unknown parameters". are known as the Fourier component and are determined by initial and boundary conditions. This is a so-called frequency-domain method, alternative to direct time-domain propagations, such as FDTD method, of the wave packet u(xt)Script error: No such module "Check for unknown parameters"., which is complete for representing waves in absence of time dilations. Completeness of the Fourier expansion for representing waves in the presence of time dilations has been challenged by chirp wave solutions allowing for time variation of Template:Mvar.[6] The chirp wave solutions seem particularly implied by very large but previously inexplicable radar residuals in the flyby anomaly and differ from the sinusoidal solutions in being receivable at any distance only at proportionally shifted frequencies and time dilations, corresponding to past chirp states of the source.

Vectorial wave equation in three space dimensions

Script error: No such module "Unsubst".

The vectorial wave equation (from which the scalar wave equation can be directly derived) can be obtained by applying a force equilibrium to an infinitesimal volume element. If the medium has a modulus of elasticity E that is homogeneous (i.e. independent of 𝐱) within the volume element, then its stress tensor is given by 𝐓=E𝐮, for a vectorial elastic deflection 𝐮(𝐱,t). The local equilibrium of:

  1. the tension force div𝐓=(E𝐮)=EΔ𝐮 due to deflection 𝐮, and
  2. the inertial force ρ2𝐮/t2 caused by the local acceleration 2𝐮/t2

can be written as ρ2𝐮t2EΔ𝐮=𝟎.

By merging density ρ and elasticity module E, the sound velocity c=E/ρ results (material law). After insertion, follows the well-known governing wave equation for a homogeneous medium:[7] 2𝐮t2c2Δ𝐮=0. (Note: Instead of vectorial 𝐮(𝐱,t), only scalar u(x,t) can be used, i.e. waves are travelling only along the x axis, and the scalar wave equation follows as 2ut2c22ux2=0.)

The above vectorial partial differential equation of the 2nd order delivers two mutually independent solutions. From the quadratic velocity term c2=(+c)2=(c)2 can be seen that there are two waves travelling in opposite directions +c and c are possible, hence results the designation "two-way wave equation". It can be shown for plane longitudinal wave propagation that the synthesis of two one-way wave equations leads to a general two-way wave equation. For 𝐜=𝟎, special two-wave equation with the d'Alembert operator results:[8] (t𝐜)(t+𝐜)𝐮=(2t2+(𝐜)𝐜)𝐮=(2t2+(𝐜)2)𝐮=𝟎. For 𝐜=𝟎, this simplifies to (2t2+c2Δ)𝐮=𝟎. Therefore, the vectorial 1st-order one-way wave equation with waves travelling in a pre-defined propagation direction 𝐜 results[9] as 𝐮t𝐜𝐮=𝟎.

Scalar wave equation in three space dimensions

File:Leonhard Euler 2.jpg
Swiss mathematician and physicist Leonhard Euler (b. 1707) discovered the wave equation in three space dimensions.[1]

A solution of the initial-value problem for the wave equation in three space dimensions can be obtained from the corresponding solution for a spherical wave. The result can then be also used to obtain the same solution in two space dimensions.

Spherical waves

To obtain a solution with constant frequencies, apply the Fourier transform Ψ(𝐫,t)=Ψ(𝐫,ω)eiωtdω, which transforms the wave equation into an elliptic partial differential equation of the form: (2+ω2c2)Ψ(𝐫,ω)=0.

This is the Helmholtz equation and can be solved using separation of variables. In spherical coordinates this leads to a separation of the radial and angular variables, writing the solution as:[10] Ψ(𝐫,ω)=l,mflm(r)Ylm(θ,ϕ). The angular part of the solution take the form of spherical harmonics and the radial function satisfies: [d2dr2+2rddr+k2l(l+1)r2]fl(r)=0. independent of m, with k2=ω2/c2. Substituting fl(r)=1rul(r), transforms the equation into [d2dr2+1rddr+k2(l+12)2r2]ul(r)=0, which is the Bessel equation.

Example

Consider the case l = 0Script error: No such module "Check for unknown parameters".. Then there is no angular dependence and the amplitude depends only on the radial distance, i.e., Ψ(r, t) → u(r, t)Script error: No such module "Check for unknown parameters".. In this case, the wave equation reduces toScript error: No such module "Unsubst".(21c22t2)Ψ(𝐫,t)=0, or (2r2+2rr1c22t2)u(r,t)=0.

This equation can be rewritten as 2(ru)t2c22(ru)r2=0, where the quantity ruScript error: No such module "Check for unknown parameters". satisfies the one-dimensional wave equation. Therefore, there are solutions in the formu(r,t)=1rF(rct)+1rG(r+ct), where Template:Mvar and Template:Mvar are general solutions to the one-dimensional wave equation and can be interpreted as respectively an outgoing and incoming spherical waves. The outgoing wave can be generated by a point source, and they make possible sharp signals whose form is altered only by a decrease in amplitude as Template:Mvar increases (see an illustration of a spherical wave on the top right). Such waves exist only in cases of space with odd dimensions.Script error: No such module "Unsubst".

For physical examples of solutions to the 3D wave equation that possess angular dependence, see dipole radiation.

Monochromatic spherical wave

File:Spherical Wave.gif
Cut-away of spherical wavefronts, with a wavelength of 10 units, propagating from a point source

Although the word "monochromatic" is not exactly accurate, since it refers to light or electromagnetic radiation with well-defined frequency, the spirit is to discover the eigenmode of the wave equation in three dimensions. Following the derivation in the previous section on plane-wave eigenmodes, if we again restrict our solutions to spherical waves that oscillate in time with well-defined constant angular frequency Template:Mvar, then the transformed function ru(r, t)Script error: No such module "Check for unknown parameters". has simply plane-wave solutions:ru(r,t)=Aei(ωt±kr), or u(r,t)=Arei(ωt±kr).

From this we can observe that the peak intensity of the spherical-wave oscillation, characterized as the squared wave amplitude I=|u(r,t)|2=|A|2r2, drops at the rate proportional to 1/r2Script error: No such module "Check for unknown parameters"., an example of the inverse-square law.

Solution of a general initial-value problem

The wave equation is linear in Template:Mvar and is left unaltered by translations in space and time. Therefore, we can generate a great variety of solutions by translating and summing spherical waves. Let φ(ξ, η, ζ)Script error: No such module "Check for unknown parameters". be an arbitrary function of three independent variables, and let the spherical wave form Template:Mvar be a delta function. Let a family of spherical waves have center at (ξ, η, ζ)Script error: No such module "Check for unknown parameters"., and let Template:Mvar be the radial distance from that point. Thus

r2=(xξ)2+(yη)2+(zζ)2.

If Template:Mvar is a superposition of such waves with weighting function Template:Mvar, then u(t,x,y,z)=14πcφ(ξ,η,ζ)δ(rct)rdξdηdζ; the denominator 4πcScript error: No such module "Check for unknown parameters". is a convenience.

From the definition of the delta function, Template:Mvar may also be written as u(t,x,y,z)=t4πSφ(x+ctα,y+ctβ,z+ctγ)dω, where Template:Mvar, Template:Mvar, and Template:Mvar are coordinates on the unit sphere Template:Mvar, and Template:Mvar is the area element on Template:Mvar. This result has the interpretation that u(t, x)Script error: No such module "Check for unknown parameters". is Template:Mvar times the mean value of Template:Mvar on a sphere of radius ctScript error: No such module "Check for unknown parameters". centered at Template:Mvar: u(t,x,y,z)=tMct[φ].

It follows that u(0,x,y,z)=0,ut(0,x,y,z)=φ(x,y,z).

The mean value is an even function of Template:Mvar, and hence if v(t,x,y,z)=t(tMct[φ]), then v(0,x,y,z)=φ(x,y,z),vt(0,x,y,z)=0.

These formulas provide the solution for the initial-value problem for the wave equation. They show that the solution at a given point Template:Mvar, given (t, x, y, z)Script error: No such module "Check for unknown parameters". depends only on the data on the sphere of radius ctScript error: No such module "Check for unknown parameters". that is intersected by the light cone drawn backwards from Template:Mvar. It does not depend upon data on the interior of this sphere. Thus the interior of the sphere is a lacuna for the solution. This phenomenon is called Huygens' principle. It is only true for odd numbers of space dimension, where for one dimension the integration is performed over the boundary of an interval with respect to the Dirac measure.Template:SfnTemplate:Sfn

Scalar wave equation in two space dimensions

In two space dimensions, the wave equation is

utt=c2(uxx+uyy).

We can use the three-dimensional theory to solve this problem if we regard Template:Mvar as a function in three dimensions that is independent of the third dimension. If

u(0,x,y)=0,ut(0,x,y)=ϕ(x,y),

then the three-dimensional solution formula becomes

u(t,x,y)=tMct[ϕ]=t4πSϕ(x+ctα,y+ctβ)dω,

where Template:Mvar and Template:Mvar are the first two coordinates on the unit sphere, and dωScript error: No such module "Check for unknown parameters". is the area element on the sphere. This integral may be rewritten as a double integral over the disc Template:Mvar with center (x, y)Script error: No such module "Check for unknown parameters". and radius ct:Script error: No such module "Check for unknown parameters".

u(t,x,y)=12πcDϕ(x+ξ,y+η)(ct)2ξ2η2dξdη.

It is apparent that the solution at (t, x, y)Script error: No such module "Check for unknown parameters". depends not only on the data on the light cone where (xξ)2+(yη)2=c2t2, but also on data that are interior to that cone.

Scalar wave equation in general dimension and Kirchhoff's formulae

We want to find solutions to utt − Δu = 0Script error: No such module "Check for unknown parameters". for u : Rn × (0, ∞) → RScript error: No such module "Check for unknown parameters". with u(x, 0) = g(x)Script error: No such module "Check for unknown parameters". and ut(x, 0) = h(x)Script error: No such module "Check for unknown parameters"..Template:Sfn

Odd dimensions

Assume n ≥ 3Script error: No such module "Check for unknown parameters". is an odd integer, and gCm+1(Rn)Script error: No such module "Check for unknown parameters"., hCm(Rn)Script error: No such module "Check for unknown parameters". for m = (n + 1)/2Script error: No such module "Check for unknown parameters".. Let γn = 1 × 3 × 5 × ⋯ × (n − 2)Script error: No such module "Check for unknown parameters". and let

u(x,t)=1γn[t(1tt)n32(tn21|Bt(x)|Bt(x)gdS)+(1tt)n32(tn21|Bt(x)|Bt(x)hdS)]

Then

  • uC2(𝐑n×[0,)),
  • uttΔu=0 in 𝐑n×(0,),
  • lim(x,t)(x0,0)u(x,t)=g(x0),
  • lim(x,t)(x0,0)ut(x,t)=h(x0).

Even dimensions

Assume n ≥ 2Script error: No such module "Check for unknown parameters". is an even integer and gCm+1(Rn)Script error: No such module "Check for unknown parameters"., hCm(Rn)Script error: No such module "Check for unknown parameters"., for m = (n + 2)/2Script error: No such module "Check for unknown parameters".. Let γn = 2 × 4 × ⋯ × nScript error: No such module "Check for unknown parameters". and let

u(x,t)=1γn[t(1tt)n22(tn1|Bt(x)|Bt(x)g(t2|yx|2)12dy)+(1tt)n22(tn1|Bt(x)|Bt(x)h(t2|yx|2)12dy)]

then

  • uC2(Rn × [0, ∞))Script error: No such module "Check for unknown parameters".
  • utt − Δu = 0Script error: No such module "Check for unknown parameters". in Rn × (0, ∞)Script error: No such module "Check for unknown parameters".
  • lim(x,t)(x0,0)u(x,t)=g(x0)
  • lim(x,t)(x0,0)ut(x,t)=h(x0)

Green's function

Consider the inhomogeneous wave equation in 1+D dimensions(ttc22)u=s(t,x)By rescaling time, we can set wave speed c=1.

Since the wave equation (tt2)u=s(t,x) has order 2 in time, there are two impulse responses: an acceleration impulse and a velocity impulse. The effect of inflicting an acceleration impulse is to suddenly change the wave velocity tu. The effect of inflicting a velocity impulse is to suddenly change the wave displacement u.

For acceleration impulse, s(t,x)=δD+1(t,x) where δ is the Dirac delta function. The solution to this case is called the Green's function G for the wave equation.

For velocity impulse, s(t,x)=tδD+1(t,x), so if we solve the Green function G, the solution for this case is just tG.Script error: No such module "Unsubst".

Duhamel's principle

The main use of Green's functions is to solve initial value problems by Duhamel's principle, both for the homogeneous and the inhomogeneous case.

Given the Green function G, and initial conditions u(0,x),tu(0,x), the solution to the homogeneous wave equation is[11]u=(tG)u+Gtuwhere the asterisk is convolution in space. More explicitly, u(t,x)=(tG)(t,xx)u(0,x)dx+G(t,xx)(tu)(0,x)dx.For the inhomogeneous case, the solution has one additional term by convolution over spacetime:t<tG(tt,xx)s(t,x)dtdx.

Solution by Fourier transform

By a Fourier transform,G^(ω)=1ω02+ω12++ωD2,G(t,x)=1(2π)D+1G^(ω)e+iω0t+iωxdω0dω.The ω0 term can be integrated by the residue theorem. It would require us to perturb the integral slightly either by +iϵ or by iϵ, because it is an improper integral. One perturbation gives the forward solution, and the other the backward solution.[12] The forward solution givesG(t,x)=1(2π)Dsin(ωt)ωeiωxdω,tG(t,x)=1(2π)Dcos(ωt)eiωxdω.The integral can be solved by analytically continuing the Poisson kernel, giving[11][13]G(t,x)=limϵ0+CDD1Im[x2(tiϵ)2](D1)/2where CD=π(D+1)/2Γ((D+1)/2) is half the surface area of a (D+1)-dimensional hypersphere.[13]

Solutions in particular dimensions

We can relate the Green's function in D dimensions to the Green's function in D+n dimensions (lowering the dimension is possible in any case, raising is possible in spherical symmetry).[14]

Lowering dimensions

Given a function s(t,x) and a solution u(t,x) of a differential equation in (1+D) dimensions, we can trivially extend it to (1+D+n) dimensions by setting the additional n dimensions to be constant: s(t,x1:D,xD+1:D+n)=s(t,x1:D),u(t,x1:D,xD+1:D+n)=u(t,x1:D).Since the Green's function is constructed from s and u, the Green's function in (1+D+n) dimensions integrates to the Green's function in (1+D) dimensions: GD(t,x1:D)=nGD+n(t,x1:D,xD+1:D+n)dnxD+1:D+n.

Raising dimensions

The Green's function in D dimensions can be related to the Green's function in D+2 dimensions. By spherical symmetry, GD(t,r)=2GD+2(t,r2+y2+z2)dydz. Integrating in polar coordinates, GD(t,r)=2π0GD+2(t,r2+q2)qdq=2πrGD+2(t,q)qdq, where in the last equality we made the change of variables q=r2+q2. Thus, we obtain the recurrence relationGD+2(t,r)=12πrrGD(t,r).

Solutions in D = 1, 2, 3

When D=1, the integrand in the Fourier transform is the sinc functionG1(t,x)=12πsin(|ω|t)|ω|eiωxdω=12πsinc(ω)eiωxtdω=sgn(tx)+sgn(t+x)4={12θ(t|x|)t>012θ(t|x|)t<0 where sgn is the sign function and θ is the unit step function.

The dimension can be raised to give the D=3 caseG3(t,r)=δ(tr)4πrand similarly for the backward solution. This can be integrated down by one dimension to give the D=2 caseG2(t,r)=δ(tr2+z2)4πr2+z2dz=θ(tr)2πt2r2

Wavefronts and wakes

In D=1 case, the Green's function solution is the sum of two wavefronts sgn(tx)4+sgn(t+x)4 moving in opposite directions.

In odd dimensions, the forward solution is nonzero only at t=r. As the dimensions increase, the shape of wavefront becomes increasingly complex, involving higher derivatives of the Dirac delta function. For example,[14]G1=12cθ(τ)G3=14πc2δ(τ)rG5=18π2c2(δ(τ)r3+δ(τ)cr2)G7=116π3c2(3δ(τ)r4+3δ(τ)cr3+δ(τ)c2r2)where τ=tr, and the wave speed c is restored.

In even dimensions, the forward solution is nonzero in rt, the entire region behind the wavefront becomes nonzero, called a wake. The wake has equation:[14]GD(t,x)=(1)1+D/21(2π)D/21cDθ(tr/c)(t2r2/c2)(D1)/2The wavefront itself also involves increasingly higher derivatives of the Dirac delta function.

This means that a general Huygens' principle – the wave displacement at a point (t,x) in spacetime depends only on the state at points on characteristic rays passing (t,x) – only holds in odd dimensions. A physical interpretation is that signals transmitted by waves remain undistorted in odd dimensions, but distorted in even dimensions.[15]Template:Pg

Hadamard's conjecture states that this generalized Huygens' principle still holds in all odd dimensions even when the coefficients in the wave equation are no longer constant. It is not strictly correct, but it is correct for certain families of coefficients[15]Template:Pg

Problems with boundaries

One space dimension

Reflection and transmission at the boundary of two media

For an incident wave traveling from one medium (where the wave speed is c1Script error: No such module "Check for unknown parameters".) to another medium (where the wave speed is c2Script error: No such module "Check for unknown parameters".), one part of the wave will transmit into the second medium, while another part reflects back into the other direction and stays in the first medium. The amplitude of the transmitted wave and the reflected wave can be calculated by using the continuity condition at the boundary.

Consider the component of the incident wave with an angular frequency of Template:Mvar, which has the waveform uinc(x,t)=Aei(k1xωt),A. At t = 0Script error: No such module "Check for unknown parameters"., the incident reaches the boundary between the two media at x = 0Script error: No such module "Check for unknown parameters".. Therefore, the corresponding reflected wave and the transmitted wave will have the waveforms urefl(x,t)=Bei(k1xωt),utrans(x,t)=Cei(k2xωt),B,C. The continuity condition at the boundary is uinc(0,t)+urefl(0,t)=utrans(0,t),uxinc(0,t)+uxref(0,t)=uxtrans(0,t). This gives the equations A+B=C,AB=k2k1C=c1c2C, and we have the reflectivity and transmissivity BA=c2c1c2+c1,CA=2c2c2+c1. When c2 < c1Script error: No such module "Check for unknown parameters"., the reflected wave has a reflection phase change of 180°, since B/A < 0Script error: No such module "Check for unknown parameters".. The energy conservation can be verified by B2c1+C2c2=A2c1. The above discussion holds true for any component, regardless of its angular frequency of Template:Mvar.

The limiting case of c2 = 0Script error: No such module "Check for unknown parameters". corresponds to a "fixed end" that does not move, whereas the limiting case of c2 → ∞Script error: No such module "Check for unknown parameters". corresponds to a "free end".

The Sturm–Liouville formulation

A flexible string that is stretched between two points x = 0Script error: No such module "Check for unknown parameters". and x = LScript error: No such module "Check for unknown parameters". satisfies the wave equation for t > 0Script error: No such module "Check for unknown parameters". and 0 < x < LScript error: No such module "Check for unknown parameters".. On the boundary points, Template:Mvar may satisfy a variety of boundary conditions. A general form that is appropriate for applications is

ux(t,0)+au(t,0)=0,ux(t,L)+bu(t,L)=0,

where Template:Mvar and Template:Mvar are non-negative. The case where Template:Mvar is required to vanish at an endpoint (i.e. "fixed end") is the limit of this condition when the respective Template:Mvar or Template:Mvar approaches infinity. The method of separation of variables consists in looking for solutions of this problem in the special form u(t,x)=T(t)v(x).

A consequence is that Tc2T=vv=λ.

The eigenvalue Template:Mvar must be determined so that there is a non-trivial solution of the boundary-value problem v+λv=0,v(0)+av(0)=0,v(L)+bv(L)=0.

This is a special case of the general problem of Sturm–Liouville theory. If Template:Mvar and Template:Mvar are positive, the eigenvalues are all positive, and the solutions are trigonometric functions. A solution that satisfies square-integrable initial conditions for Template:Mvar and utScript error: No such module "Check for unknown parameters". can be obtained from expansion of these functions in the appropriate trigonometric series.

Several space dimensions

File:Drum vibration mode12.gif
A solution of the wave equation in two dimensions with a zero-displacement boundary condition along the entire outer edge

The one-dimensional initial-boundary value theory may be extended to an arbitrary number of space dimensions. Consider a domain Template:Mvar in Template:Mvar-dimensional Template:Mvar space, with boundary Template:Mvar. Then the wave equation is to be satisfied if Template:Mvar is in Template:Mvar, and t > 0Script error: No such module "Check for unknown parameters".. On the boundary of Template:Mvar, the solution Template:Mvar shall satisfy

un+au=0,

where Template:Mvar is the unit outward normal to Template:Mvar, and Template:Mvar is a non-negative function defined on Template:Mvar. The case where Template:Mvar vanishes on Template:Mvar is a limiting case for Template:Mvar approaching infinity. The initial conditions are

u(0,x)=f(x),ut(0,x)=g(x),

where Template:Mvar and Template:Mvar are defined in Template:Mvar. This problem may be solved by expanding Template:Mvar and Template:Mvar in the eigenfunctions of the Laplacian in Template:Mvar, which satisfy the boundary conditions. Thus the eigenfunction Template:Mvar satisfies

v+λv=0

in Template:Mvar, and

vn+av=0

on Template:Mvar.

In the case of two space dimensions, the eigenfunctions may be interpreted as the modes of vibration of a drumhead stretched over the boundary Template:Mvar. If Template:Mvar is a circle, then these eigenfunctions have an angular component that is a trigonometric function of the polar angle Template:Mvar, multiplied by a Bessel function (of integer order) of the radial component. Further details are in Helmholtz equation.

If the boundary is a sphere in three space dimensions, the angular components of the eigenfunctions are spherical harmonics, and the radial components are Bessel functions of half-integer order.

Inhomogeneous wave equation in one dimension

Script error: No such module "Labelled list hatnote".

The inhomogeneous wave equation in one dimension is utt(x,t)c2uxx(x,t)=s(x,t) with initial conditions u(x,0)=f(x), ut(x,0)=g(x).

The function s(x, t)Script error: No such module "Check for unknown parameters". is often called the source function because in practice it describes the effects of the sources of waves on the medium carrying them. Physical examples of source functions include the force driving a wave on a string, or the charge or current density in the Lorenz gauge of electromagnetism.

One method to solve the initial-value problem (with the initial values as posed above) is to take advantage of a special property of the wave equation in an odd number of space dimensions, namely that its solutions respect causality. That is, for any point (xi, ti)Script error: No such module "Check for unknown parameters"., the value of u(xi, ti)Script error: No such module "Check for unknown parameters". depends only on the values of f(xi + cti)Script error: No such module "Check for unknown parameters". and f(xicti)Script error: No such module "Check for unknown parameters". and the values of the function g(x)Script error: No such module "Check for unknown parameters". between (xicti)Script error: No such module "Check for unknown parameters". and (xi + cti)Script error: No such module "Check for unknown parameters".. This can be seen in d'Alembert's formula, stated above, where these quantities are the only ones that show up in it. Physically, if the maximum propagation speed is Template:Mvar, then no part of the wave that cannot propagate to a given point by a given time can affect the amplitude at the same point and time.

In terms of finding a solution, this causality property means that for any given point on the line being considered, the only area that needs to be considered is the area encompassing all the points that could causally affect the point being considered. Denote the area that causally affects point (xi, ti)Script error: No such module "Check for unknown parameters". as RCScript error: No such module "Check for unknown parameters".. Suppose we integrate the inhomogeneous wave equation over this region: RC(c2uxx(x,t)utt(x,t))dxdt=RCs(x,t)dxdt.

To simplify this greatly, we can use Green's theorem to simplify the left side to get the following: L0+L1+L2(c2ux(x,t)dtut(x,t)dx)=RCs(x,t)dxdt.

The left side is now the sum of three line integrals along the bounds of the causality region. These turn out to be fairly easy to compute: xictixi+ctiut(x,0)dx=xictixi+ctig(x)dx.

In the above, the term to be integrated with respect to time disappears because the time interval involved is zero, thus dt = 0Script error: No such module "Check for unknown parameters"..

For the other two sides of the region, it is worth noting that x ± ctScript error: No such module "Check for unknown parameters". is a constant, namely xi ± ctiScript error: No such module "Check for unknown parameters"., where the sign is chosen appropriately. Using this, we can get the relation dx ± cdt = 0Script error: No such module "Check for unknown parameters"., again choosing the right sign: L1(c2ux(x,t)dtut(x,t)dx)=L1(cux(x,t)dx+cut(x,t)dt)=cL1du(x,t)=cu(xi,ti)cf(xi+cti).

And similarly for the final boundary segment: L2(c2ux(x,t)dtut(x,t)dx)=L2(cux(x,t)dx+cut(x,t)dt)=cL2du(x,t)=cu(xi,ti)cf(xicti).

Adding the three results together and putting them back in the original integral gives RCs(x,t)dxdt=xictixi+ctig(x)dx+cu(xi,ti)cf(xi+cti)+cu(xi,ti)cf(xicti)=2cu(xi,ti)cf(xi+cti)cf(xicti)xictixi+ctig(x)dx.

Solving for u(xi, ti)Script error: No such module "Check for unknown parameters"., we arrive at u(xi,ti)=f(xi+cti)+f(xicti)2+12cxictixi+ctig(x)dx+12c0tixic(tit)xi+c(tit)s(x,t)dxdt.

In the last equation of the sequence, the bounds of the integral over the source function have been made explicit. Looking at this solution, which is valid for all choices (xi, ti)Script error: No such module "Check for unknown parameters". compatible with the wave equation, it is clear that the first two terms are simply d'Alembert's formula, as stated above as the solution of the homogeneous wave equation in one dimension. The difference is in the third term, the integral over the source.

Further generalizations

Elastic waves

The elastic wave equation (also known as the Navier–Cauchy equation) in three dimensions describes the propagation of waves in an isotropic homogeneous elastic medium. Most solid materials are elastic, so this equation describes such phenomena as seismic waves in the Earth and ultrasonic waves used to detect flaws in materials. While linear, this equation has a more complex form than the equations given above, as it must account for both longitudinal and transverse motion: ρ𝐮¨=𝐟+(λ+2μ)(𝐮)μ×(×𝐮), where:

Template:Mvar and Template:Mvar are the so-called Lamé parameters describing the elastic properties of the medium,
Template:Mvar is the density,
fScript error: No such module "Check for unknown parameters". is the source function (driving force),
uScript error: No such module "Check for unknown parameters". is the displacement vector.

By using ∇ × (∇ × u) = ∇(∇ ⋅ u) − ∇ ⋅ ∇ u = ∇(∇ ⋅ u) − ∆uScript error: No such module "Check for unknown parameters"., the elastic wave equation can be rewritten into the more common form of the Navier–Cauchy equation.

Note that in the elastic wave equation, both force and displacement are vector quantities. Thus, this equation is sometimes known as the vector wave equation. As an aid to understanding, the reader will observe that if fScript error: No such module "Check for unknown parameters". and ∇ ⋅ uScript error: No such module "Check for unknown parameters". are set to zero, this becomes (effectively) Maxwell's equation for the propagation of the electric field EScript error: No such module "Check for unknown parameters"., which has only transverse waves.

Dispersion relation

In dispersive wave phenomena, the speed of wave propagation varies with the wavelength of the wave, which is reflected by a dispersion relation

ω=ω(𝐤),

where Template:Mvar is the angular frequency, and kScript error: No such module "Check for unknown parameters". is the wavevector describing plane-wave solutions. For light waves, the dispersion relation is ω = ±c Template:AbsScript error: No such module "Check for unknown parameters"., but in general, the constant speed Template:Mvar gets replaced by a variable phase velocity:

vp=ω(k)k.

See also

<templatestyles src="Div col/styles.css"/>

Notes

<templatestyles src="Reflist/styles.css" />

  1. a b Speiser, David. Discovering the Principles of Mechanics 1600–1800, p. 191 (Basel: Birkhäuser, 2008).
  2. Tipler, Paul and Mosca, Gene. Physics for Scientists and Engineers, Volume 1: Mechanics, Oscillations and Waves; Thermodynamics, pp. 470–471 (Macmillan, 2004).
  3. Script error: No such module "citation/CS1".
  4. D'Alembert (1747) "Recherches sur la courbe que forme une corde tenduë mise en vibration" (Researches on the curve that a tense cord forms [when] set into vibration), Histoire de l'académie royale des sciences et belles lettres de Berlin, vol. 3, p. 214–219.
  5. Script error: No such module "citation/CS1".
  6. Script error: No such module "Citation/CS1".
  7. Script error: No such module "Citation/CS1". File:CC-BY icon.svg Text was copied from this source, which is available under a Creative Commons Attribution 4.0 International License.
  8. Script error: No such module "Citation/CS1".
  9. Script error: No such module "Citation/CS1".
  10. Script error: No such module "citation/CS1".
  11. a b Script error: No such module "citation/CS1".
  12. Script error: No such module "citation/CS1".
  13. a b Script error: No such module "citation/CS1".
  14. a b c Script error: No such module "Citation/CS1".
  15. a b Script error: No such module "citation/CS1".

Script error: No such module "Check for unknown parameters".

References

External links

Template:Sister project

Template:Authority control