Spherical Waves in Higher Dimensions As discussed in the note on Huygens’ Principle, if we separate the solution y(r,t) of the usual wave equation in n-dimensional space (with one time dimension) into a time component and a spatial component, we have y(r,t) = f(r)g(t), and the spatial and temporal components satisfy the individual equations where k is a constant with units of 1/distance and w is a constant with units of 1/time. Thus the temporal component satisfies the simple harmonic equation, with a general solution of the form g(t) = g1 eiwt + g2 e-iwt where g1 and g2 are arbitrary constants. In just one spatial dimension (n = 1) the spatial equation also reduces to the simple harmonic equation, with the general solution f(r) = f1 eikr + f2 e-ikr for constants f1 and f2. Combining these, we get the wave function Thus the solution is a sum of functions of the quantities kr + wt and kr – wt. If we require that f and g are real-valued, then g(t) = g1 cos(wt), f(r) = f1 cos(kr), and More generally, we can verify by direct substitution that the one-dimensional wave equation is satisfied by any function of the form where A(x) and B(x) are quite arbitrary functions. In effect, Huygens’ Principle can be read directly from this equation, since it implies that a pulse disturbance propagates sharply at a constant speed. We also know that with three spatial dimensions (n = 3) the general spatial solution is f(r) = cos(kr)/r, and again Huygens’ principle applies. We asserted that a similar result obtains for any odd number of spatial dimensions. To show this more explicitly, recall that spatial equation is We assume f(r) has a power series expansion where c0 is the first non-zero coefficient and q is non-negative (to ensure that f(r) is finite at r = 0). Inserting this series and its derivatives into equation (1) and setting the coefficient of each power of r to zero, we get the conditions and so on. Since c0 is stipulated to be non-zero, and since we are requiring q to be non-negative, the first of these conditions implies q = 0, and so the second implies c1 = 0. The remaining conditions give cj + 2 as a multiple of cj, so it follows that cj = 0 for all odd j. The coefficients with even indices are then given by With n = 3 the spatial component of the wave function is therefore On the other hand, in a five-dimensional space, we have n = 5, and the spatial part of the wave function is Putting s = kr and letting a(s) denote the expression inside the last square brackets, we see that Multiplying through by s and integrating, we find that a(s) = sin(s) – s cos(s), so we have The same general approach allows us to determine the closed-form expression for fn(r) for any odd number of dimensions n. For example, in seven spatial dimensions (n = 7) we have the series Again putting s = kr and letting a(s) denote the expression inside the last square brackets, we see that Multiplying and integrating twice gives Therefore, the spatial part of the spherical solution of the wave equation in seven space dimensions is The same approach leads to the solution in nine space dimensions and so on. In general, the spatial part of the spherical wave solution in n dimensions has the form where the constant Kn equals (n-2)(n-4)…(1), and the expressions An(kr) and Bn(kr) denote “even” polynomials in kr. These polynomials for the first several odd values of n are listed below. In general, for odd n greater than 1, these polynomials can be expressed as Interestingly, referring to the article on proving that p is irrational, we see that the spatial functions fn(r) for odd integers n greater than 1 can also be expressed (up to a constant factor) as a simple integral The figure below shows fn(r) for spaces of one, three, and five dimensions. Of course, these are just the elementary solutions. We can use linear combinations of solutions of this form to generate arbitrary wave forms. As an aside, although the case of negative n presumably has no physical significance (negative dimensions?), we note that a similar approach enables us to solve equation (1) for these cases as well. If n is even, the coefficients are undefined (because they involve a division by zero), but we get well-defined functions for odd n. The solutions for the first couple of odd negative values of n are These solutions increase to infinity as r increases, unlike the solutions for positive n, which drop to zero as r increases. Returning to positive dimensions, there’s an interesting relationship between the “basis functions” of the general spherical wave solutions in successive odd dimensions. The wave equation in spherical coordinates in n-dimensional space can be written in terms of the differential operator A function y(r,t) is a solution of the n-dimensional wave equation if and only if Knowing the general form of the spatial part fn(r), and the simple temporal part for all n, we can write a basic combined space-time solution for odd n as where An(r) and Bn(r) are the polynomials defined previously. By direct substitution it can be verified that successive odd basis solutions are related by This is a remarkable fact, signifying that a basis solution for n space dimensions not only satisfies the wave equation everywhere in n-dimensional space, it also satisfies the wave equation in spaces of every odd number of dimensions at every radius and time for which the basis solution for n+2 dimensions vanishes. Hence there is an infinite sequence of expanding (or contracting) discrete shells on which any basis solution satisfies the wave equation for spaces of all odd dimensions. In the special case m = 1 the spherical wave operator reduces to and we have the recurrence We refer to the fn as basis solutions, because it’s easy to see that if fn(r,t) is a solution, then so is kfn(jr,jt) for any constants k and j. For example, each of the following expressions are solutions for n = 5: and so on.  Any linear combination of these solutions is also a solution, so by means analogous to Fourier series we can construct arbitrary functions of the form and similarly for Gs(r-t) and Gc(r-t). The analogous functions can be constructed from the basis solutions for any odd n, so the spherical wave equation in n space dimensions is satisfied by for arbitrary functions F and G. Notice that the greater of the degree of An and the degree of rBn is (n-3)/2, so the lowest inverse power of r is (n-2) – (n-3)/2 = (n-1)/2. This is consistent with the fact that the energy of a wave is proportional to the square of the amplitude, so the energy per unit “area” of the spherical wave drops in inverse proportion to rn-1, which is the dimension of the surface of a sphere in n-dimensional space. It’s interesting that, for odd space dimensions greater than 3, the amplitude contains formal terms that drop in inverse proportion to higher powers of r as well. This is in a sense misleading, because the amplitude (and hence the energy per unit area) is continuously changing as the wave propagates to greater values of r, and at the same time the value of the wave function is changing with phase. The wave function is not actually periodic, so the correspondence between energy and “amplitude” contains an ambiguity, which manifests itself in the higher-order terms in higher dimensions. See also the note on Waves in Ascending and Descending Dimensions. Return to MathPages Main Menu