1. Introduction
The fundamental work of M. J. Lighthill on aerodynamic sound and the introduction of the first aeroacoustic analogy present a milestone in the development of aeroacoustics and acoustics in general. In his paper [
1] Lighthill not only established the basis for most of the later research in aeroacoustics, but also pointed to several phenomena which were not well understood before his work:
physical mechanism of sound generation by pure instability in a fluid (in contrast to moving solid bodies or boundaries, which involve forces external to the fluid),
quadrupole sound radiation in free space,
inefficiency of kinetic-to-acoustic energy conversion in the flow of fluid, and
power scaling for an aeroacoustic quadrupole source, which Lighthill was able to derive even without an accurate description of the flow, and its relation with the other two main types of sources—monopole and dipole.
Before Lighthill’s explanation of aeroacoustic sound generation, quadrupole radiation had only a marginal importance in classical mechanics. However, parallel to the development of aeroacoustics, quadrupole radiation took a central place in the relativistic theory of gravitational waves [
2], small curvatures of spacetime which cannot be generated by monopole or dipole sources.
The difference between classical acoustics, defined in separate Newtonian space and time, and the theory of relativity, which is based on the concept of a four-dimensional spacetime, is largely diminished by the introduction of analogue acoustic spacetime. The first observations on the similarity between special relativity and sound propagation date back to W. Gordon [
3]. Since then, Lorentz transformations have been successfully used for the problems of sound propagation in uniform mean flows [
4,
5]. The analogy with general relativity and curved spacetime is commonly attributed to W. G. Unruh, who used it primarily for studying Hawking radiation by means of much better understood acoustics in transonic flows [
6]. The analogy was further developed and promoted by M. Visser and C. Barceló in their studies of what is known as analogue gravity [
7] or analogue models of general relativity [
8]. The authors have shown that sound propagation in inhomogeneous flows of the background fluid can be described with differential geometry of a curved spacetime when the speed of light is replaced by the speed of sound. Different metric tensors of so defined acoustic spacetime can efficiently capture sound propagation effects such as convection and refraction. In particular, wave operator of the Pierce equation [
9] can be obtained [
10] and even more general forms of metrics are discussed by Bergliaffa et al. [
11].
Despite the analogy between the two analogue background spacetimes and the occurrence of quadrupole radiation in both of them in the absence of external forces, no attempts have been made to express aeroacoustic sound generation in the relativistic framework. In this work, we show that Lighthill’s power law for aeroacoustic quadrupole in an inviscid flow can be derived from the acoustic spacetime analogy. Thus we also prove that the analogy can be used not merely for sound propagation, but also for aeroacoustic sound generation. In fact, since Lighthill’s analogy assumes quiescent fluid outside the source region, we can consider the simplest flat (Minkowski) background acoustic spacetime, which is weakly perturbed by the waves. The purely geometric perturbation representing propagating sound waves is caused by the fluid motion inside the source region. The linearized relativistic theory, suitable for its description, is presented in the next section. The sound generation mechanism is considered in
Section 3 and the eighth power law for the quadrupole source is obtained. Unlike Lighthill’s aeroacoustic analogy, which is an exact reformulation of the governing equations of fluid dynamics, the eighth power law holds only for incompressible (low Mach number) flows in the source region and in the absence of a significant acoustic feedback. Indeed, these conditions allow a purely kinematic analogy with general relativity to be established and applied for capturing sound generation in the following analysis. Several relevant outcomes which follow from the derivation of the eighth power law from the analogy are discussed in the concluding
Section 4, which also gives suggestions for future studies.
2. Waves and Motion in Acoustic Spacetime
Adopting the mixed signature
, the simplest flat Minkowski (acoustic) spacetime is characterized by the second-order metric tensor
Here, and in the rest of the text, Greek letters denote four-dimensional components (
, where 0 corresponds to the time coordinate) and Latin letters are used for the spatial components only (for example,
). Therefore,
, where
is the constant reference speed of waves (here the speed of sound in the quiescent fluid at infinity) and
to
are spatial coordinates. The associated d’Alembertian is the classical wave operator. For a scalar
,
since
and
. Comma denotes usual derivative with respect to the coordinate which follows it (for example,
is gradient of
) and we use Einstein’s convention which implies summation over each letter appearing in an expression once as a subscript and once as a superscript [
2]. The two positions of the letters correspond to the covariant and contravariant vector bases. Multiplication with
raises the index, as in Equation (
2), while multiplication with
lowers it. Consequently, four components of vectors
and
are equal, apart from the time components which have opposite signs, since
has the component
.
Next, we suppose that the only disturbance of otherwise flat spacetime outside a spatially confined source region is due to propagating waves. In other words, we assume a quiescent fluid with constant density
and speed of sound
through which the sound waves propagate. The total metric tensor
is by definition symmetric and can be written as the sum of
and a weak component
:
with
. In the linear approximation it can be shown [
2] that there always exists
such that
and
Here,
is the trace of
and Equation (
5) is called the Lorenz gauge condition. If the condition is not satisfied directly by
from Equation (
4) in a certain frame, one can introduce a small change of coordinates (gauging)
which transforms the metric as
such that
does satisfy it. For future use, we should also note that
and Equation (
4) can be inverted to
Relativistic equations which relate the weak perturbation of spacetime with its source, the stress–energy tensor
, are the linearized Einstein field equations [
2,
12],
in which dimensionless
k (not to be confused with wave number) and
G (in m
/(kg s
)) are constants. The instability of
, which is associated with motion of matter (or energy) in the absence of boundaries of spacetime, is the source of the fluctuations
, which are considered to be too weak to affect the source mechanism. Such decoupling of the source and the waves it causes is in agreement with the applicability of Lighthill’s analogy, with no significant back-reaction of sound on the flow [
1]. Excluding the source term at first, the simplest solution of Equation (
8) has the form of a plane wave, the real part of
Components of the polarization tensor are complex constants and the four-vector is null vector in the flat Minkowski spacetime: . For example, if we suppose that the plane wave propagates in the direction of the -axis, , , where denotes angular frequency of the wave, and we obtain the usual exponent after replacing with .
Plane transverse gravitational waves are typically analyzed in the transverse-traceless gauge which suppresses the longitudinal component and leaves only two non-zero transverse components of the polarization tensor. More suitable for longitudinal acoustic waves in fluids is the Newtonian gauge. The reason is that, unlike a relativistic observer, an acoustic receiver does not exist in the analogue acoustic spacetime, but in the Newtonian space and time. As a consequence, the Newtonian frame is preferred and only in this particular gauge the metric perturbation obtains classical acoustic meaning. In the theory of gravity such a gauge is used for calculations of the corrections of classical Newtonian gravitational potential due to relativistic phenomena. In order to show how it describes sound waves, we observe motion of a free particle in the acoustic spacetime. As in general relativity, it is given by the geodesic equation. When the particle is moving with velocity small compared to
in an essentially flat spacetime, the three-dimensional acceleration equals to the lowest order [
2]
The condition for a slowly moving (non-relativistic) particle is satisfied by weak acoustic waves, since the particle velocity is much smaller than the speed of sound. In the Newtonian form
and therefore
Motion of the particle due to the wave thus depends on a single scalar
, as we expect from the longitudinal sound waves in fluids. In this way we can obtain a measurable acoustic quantity (acceleration) from the acoustic spacetime analogy. It follows that the Lorenz gauge is necessary as a prerequisite for the wave equation of
, Equation (
8), but once
has been obtained it has to be converted to
and expressed in the Newtonian gauge in order to calculate the acoustic quantities such as particle velocity and sound pressure. Nevertheless, a purely geometric quantity, the metric perturbation, suffices for the description of sound waves and no dynamic analogy with linear general relativity is necessary.
3. Aeroacoustic Sound Generation
In the previous section we showed how a metric perturbation captures a sound wave in the acoustic spacetime. In this section we inspect the source of waves represented by the term on the right-hand side of Equation (
8). We consider only non-relativistic flows in which all particles satisfy the condition
even in the source region, with
denoting three-dimensional particle velocity. Then, the approximation
holds for four-velocity and the stress–energy tensor of a perfect fluid in nearly flat spacetime equals [
2]
where
is matter density (here density of the background fluid) and
p is pressure. This stress–energy tensor satisfies the local conservation of mass and momentum:
which is a compact form of the laws of conservation of mass and momentum in an incompressible inviscid fluid. We notice the similarity of the spatial part
and isentropic Lighthill’s tensor [
1], which is the free-space aeroacoustic source of sound. The condition
with
the speed of sound (which is the maximum speed in the theory) is satisfied in incompressible low Mach number flows, which are assumed by Lighthill’s eighth power law.
However, a conceptually important difference compared with Lighthill’s derivation is that we treat
as the source of a purely geometric perturbation of the background acoustic spacetime, not as the source of acoustic pressure or density perturbation. We do not split the conservation equations, Equation (
13), into the source and propagation parts, nor do we need to select a dynamic variable for describing acoustic waves. Lighthill’s tensor follows from the conservation laws after the weak acoustic terms are shifted to the left-hand side of the wave equation to represent propagating sound waves. Therefore, its components are not fully conserved. In contrast to this, the entire stress–energy tensor which we consider here as the source satisfies the conservation laws in Equation (
13). It is the source of perturbation of the spacetime itself, so it does not have to be split into the source and propagation parts in terms of dynamic quantities.
In the further analysis of wave generation we follow Misner et al. [
12] and consider a single isolated source, far from which the acoustic spacetime is asymptotically flat towards the infinity. A small metric perturbation is defined in Equation (
3) everywhere (including the source region) and Equation (
8) holds under the condition in Equation (
5). We also expect that only a small fraction of the stress–energy tensor is responsible for the radiation of waves, in accordance with the inefficiency of the mechanism of quadrupole radiation. Hence, it can be formally split into the dominant effective stress–energy tensor,
, and the small component
:
, and we can write
The general solution for both ingoing (
) and outgoing (
) wave is
where the integration is performed over the entire three-dimensional space and
with
location of the receiver. The values of
and
are to be evaluated at the time
.
Next we assume that the source is compact, so that its characteristic length scale satisfies
, where
is angular frequency of the oscillations. This actually comes down to the same slow-motion condition as above,
, since
. We also consider geometric far field (
), so we can approximate
where
r is radial coordinate of the spherical coordinate system with the compact source in its origin.
From the conservation laws in Equation (
13) we deduce [
12]
This important identity relates spatial components of the stress–energy tensor, which closely correspond to Lighthill’s tensor, with the component
and accordingly removes the need for a split in Lighthill’s derivation. It is possible exactly due to the fact that the full stress–energy tensor satisfies the conservation laws. The second-order time derivative on the left-hand side of Equation (
17) takes over the role of the second-order derivatives of the source terms in Lighthill’s analogy, which naturally appear when a second-order tensor reduces to a scalar, and ultimately determines the scaling law for the quadrupole source, one of the key results of Lighthill’s original paper [
1]. The integral on the left-hand side of Equation (
17) represents the second moment of the mass distribution and multiplied by
it is called quadrupole moment tensor of the mass distribution. It is commonly denoted with
, which is, thus, by definition
The quantity which appears to be more convenient for mathematical description of wave generation is reduced quadrupole moment defined as
where
is Kronecker delta. From Equations (
16)–(
18),
The assumption of geometric far field (with respect to the characteristic length scale of the flow in the source region) is necessary for simplifying the calculation with Equation (
16). On the other hand, the assumption of acoustic far field, defined with respect to the sound wavelength, is not strictly necessary for estimating power of the quadrupole source. It is sufficient to calculate reaction of the source to the far-field radiation, which can be done in the acoustic near field. Expanding
in powers of
r for
(while
) and leaving only the terms with
, which correspond to the wave radiation, gives (after replacing
for an outgoing wave)
where all higher-order terms of the series have been omitted. Using Equation (
5), we can also find
and
These components are radiation reaction potentials given in the Lorenz gauge. The omitted terms which do not correspond to the radiation (not involving ) represent incompressible fluctuations which do not propagate into the far field.
In order to calculate the Newtonian form which is suitable for obtaining classical acoustic quantities, we first switch back to
from Equation (
7) and change the coordinates as
, with
and
In this gauge [
12],
at the leading order, while the components
are of higher order and negligible for the supposed compact source. Therefore, we obtain the metric component
in the Newtonian gauge, which describes the longitudinal perturbation of the acoustic spacetime due to the isentropic quadrupole source. Equation (
26) is also one of the key results in the linearized theory of gravitation, which corrects the Newtonian gravitational potential with the contribution of gravitational wave radiation [
12]. The geodesic Equation (
11) gives the acceleration of a particle affected by the incoming wave:
We can now obtain a scaling law for the source power. Without considering details of the flow in the source region, we follow Lighthill and suppose that
scales as
, where
is density of the essentially incompressible flow. From Equations (
17)–(
19),
, so the acoustic particle velocity from Equation (
27) scales as
Sound intensity scales as
where we also replac
. Thus, we obtain the eighth power law for the acoustic power of the quadrupole source, in agreement with the result of Lighthill [
1].
A more detailed comparison leads to one more interesting result. After replacing
in the considered acoustic near field, Lighthill’s power law gives the scaling [
1,
5]
. If we further ignore the multiplication constant which is determined by the dimensionless
k, this matches Equation (
29) if we set
where
M is total mass of the source. In this way we can identify length scale of the source
L as the acoustic Schwarzschild radius,
In cosmology, Schwarzschild radius determines length scale of a source of gravitational waves, such as a rotating black hole in a black-hole binary. The same concept appears to characterize length scale of the source of waves in the analogue acoustic spacetime.
It is worth mentioning that compact sources of longitudinal waves are much less efficient than sources of transverse waves. The reason is that the second-order time derivative in Equations (
17) and (
20) leaves the multiplication factor
in the expression for wave amplitude and
for radiated power, with
. In fact, the weak longitudinal component is completely removed in the transverse-traceless gauge, which is typically used for transverse gravitational waves in the linearized theory. However, the fluids do not support propagation of transverse acoustic waves and the remaining longitudinal waves obey the eighth power law.
4. Conclusions
Although Lighthill’s power law for a quadrupole source in an inviscid incompressible flow is merely reproduced using the formalism of the acoustic spacetime analogy, the derivation given above has several important implications. First, the description of sound generation in acoustic spacetime appears to be more natural than the classical derivation based on the conservation laws. The entire stress–energy tensor is taken as the source of waves, without splitting it into the source and propagation terms or selecting an appropriate dynamic quantity (acoustic pressure or density) for the aeroacoustic analogy. Second, generated sound waves are treated as a purely geometric perturbation of the background acoustic spacetime, described by the weak unsteady component of the metric tensor. Rather than contracting the second-order tensor in the source term with double divergence, the entire metric tensor field associated with sound waves is observed and the acoustic scalar component is extracted by the choice of Newtonian gauge. Third, the derivation of the eighth power law proves that the acoustic spacetime analogy can be extended beyond sound propagation to aeroacoustic sound generation, at least in incompressible flows where the kinematic effects dominate. Hence, the acoustic analogy covers not only the background metric, but the sound waves and kinematic sources, as well.
The applied methodology can include sound propagation effects in a non-uniform flow outside the source region, such as convection and refraction. The Minkowski metric
in Equation (
3) should be replaced accordingly with an appropriate background metric [
10]. These effects cannot be retrieved from the analogy with gravitation, since curvature of the background acoustic spacetime depends on the state of the external steady flow, not mass itself. The acoustic analogy indeed captures kinematics and not dynamics of general relativity. However, this does not imply that the Einstein field equations with the source term cannot be used for capturing unsteady changes of the acoustic spacetime, as demonstrated above. This is possible exactly because sound generation in an incompressible flow is purely kinematic and the stress–energy tensor reduces to the same form in both theories for non-relativistic velocities.
The analysis was based on the linearized theory of weak perturbation and free-space sound generation in low Mach number flows. Further investigation is necessary in order to check whether the analogy can be extended to include certain non-linear acoustic phenomena and high Mach number flows, or the effects of boundaries in the flow, such as reduction of aeroacoustic quadrupole to dipole, although in such case the analogy with covariant electromagnetism appears to be more natural. The obtained results also open the possibilities for further studies of the analogy between vortex pairs, as compact aeroacoustic sources, and rotating black-hole binaries, as typical sources of gravitational waves.