7

I have read this question:

Now it's not actually true that general relativity obeys a law of superposition, but it is an extremely good approximation for a small-amplitude gravitational wave passing through the static curvature of an object like the earth.

Why does spacetime propagate gravitational waves?

And this one:

Gravity as described by general relativity is highly non-linear. Therefore it does not have any superposition principle. Gravitational waves do not have a superposition principle. However, at very large distances these waves can be approximated. And then this operator might be linear and you can reasonable speak of superpositions again.

Do all waves of any kind satisfy the principle of superposition?

My question is this, how does non-linearity cause gravitational waves not to superpose? The answer seems to be non-trivial, and somehow makes GWs special relative to EM waves.

Question:

  1. What do we mean when we say gravitational waves are non-linear and do not superpose like EM waves?
Qmechanic
  • 201,751
  • 7
    I would say this is because Einstein's field equations are nonlinear, compare this with Maxwell's equations which are linear. – User123 Aug 05 '22 at 23:17
  • 5
    If it helps, gluon field would be a nice analogy. It's the gauge field of $SU(3){\rm C}$ and it itself carries a color charge. In contrast, the photon field is the gauge field of $U(1){\rm EM}$ but doesn't carry an electromagnetic charge. Similarly, GWs are charged under gravity (i.e., they act as a source of gravitational field) whereas EMWs are not charged under electromagnetism (i.e., they do not act as a source of electromagnetic field). – FreeAssange Aug 05 '22 at 23:41
  • @User123 can Maxwell's equations become nonlinear with nonlinear material properties. Can Einstein's field equations become linear under any conditions? – antimony Aug 05 '22 at 23:49
  • 2
    There are infinitely many ways for an equation to be nonlinear and one way for it to be linear. An effective stress tensor which makes the Einstein equation easy again is a pipe dream. – Connor Behan Aug 06 '22 at 00:03
  • Thanks @ConnorBehan so basically 'pipe dream' means it isn't going to happen? Does this mean we cannot see typical interference effects with gravity waves? Or they are happening, but produced from highly nonlinear effects ie. nonintuitive results? – antimony Aug 06 '22 at 00:09
  • 1
    It means that whenever we see interference effects, it will be due to the fact that the oscillations are small. – Connor Behan Aug 06 '22 at 00:15
  • 4
    I hate to go apples and oranges, but I think that is going in here. Maxwell's equation in real life (that is: in curved spacetime) aren't linear, e.g adding two regions of size $R$ with electromagnetic energy $E=Rc^4/G$ leads to a Kugelblitz blackhole, and that is not linear. – JEB Aug 06 '22 at 04:48
  • @JEB I would love to read an expanded version of your comment as answer, if you have the time and interest in writing it out. – Todd Wilcox Aug 06 '22 at 12:44
  • 1
    @JEB: Maxwell's equations in a fixed curved spacetime are linear. If you let the background metric respond to the stress-energy tensor, then yes, you get a black hole. But that's an effect of the non-linearity of the gravitational dynamics, not the Maxwell field dynamics. – Michael Seifert Aug 06 '22 at 17:26
  • 1
    Also, a person might want to be aware of the phenomenon of "solitons": solutions to non-linear wave equations (e.g., Navier-Stokes) which do interact when they are physically localized in the same spot, but then separate and emerge unscathed from the interaction. (Linear models of waves of_course do this...) – paul garrett Aug 07 '22 at 04:34

3 Answers3

12

The ordinary wave equation

$$\frac{\partial^2 u}{\partial t^2} = v_w^2 \frac{\partial^2 u}{\partial x^2}$$

where $u$ is the wave function and $v_w$ is the wave speed, is linear (in the sense of a linear operator - or "homogeneous and linear" in the sense of differential equations), in that if $u_1$ and $u_2$ - both functions of time as well as space - are solutions, then any weighted combination, i.e. $u = a_1 u_1 + a_2 u_2$, for constants $a_1$ and $a_2$, and that is to say, whose values are given by $u(t, x) = a_1 u_1(t, x) + a_2 u_2(t, x)$, is also a solution. This can be seen by noting that each side consists only of differentiations and no products, so that the expressions will "distribute" nicely over the sum.

In general relativity, if you have two metric waves $g_1$ and $g_2$, now tensor-valued instead of scalar-valued as above (so a "tensor wave", c.f. how EM waves are "vector waves"), while $g = a_1 g_1 + a_2 g_2$ may be another space-time metric tensor field, it is not a solution of the corresponding nonlinear wave equation, meaning that while "at any given spatial slice" it may be a valid instantaneous configuration of the geometry field, the propagation is all wrong.

That is because that the wave equations for gravitational waves are nonlinear wave equations. A simple example of such a wave equation would be

$$\frac{\partial^2 u}{\partial t^2} + v_w^2 \frac{\partial^2 u}{\partial x^2} + k u^2$$

for some $k > 0$. If you have $u_1$ and $u_2$ as solutions, then $u = u_1 + u_2$ is not a solution, for while at any given time it may be okay as a configuration of the wave system, the future evolution of that configuration is no longer merely the sum of the evolutions of the components - the squaring part introduces cross terms between the two, namely $2 u_1 u_2$, which cannot be created simply by taking the time derivative on the left, for it just distributes right across the sum, and introduces no new cross terms.

More specifically, the Einstein field equations are an equation in the Ricci tensor $R_{\mu \nu}$, and each component there takes (lots and lots of) products of partial derivatives of the metric tensor components. Hence they are all cross terms.

As to why this nonlinearity exists, you should note that even from elementary calculus, curvature of a simple curve given by a differentiable real valued function of one real variable is a nonlinear property in that simply adding the two curves won't add the curvatures. The Ricci tensor is a curvature for a general manifold of any dimensionality and not just such a curve, so it should be expected likewise to be similarly nonlinear in the "shape" thereof (here given by the metric field).

  • 1
    I think in the 2nd equation you have a "+" where there sould be a "=" – Yukterez Aug 06 '22 at 09:21
  • Note that if $k << 1$ then $u_1 + u_2$ is approximately a solution, corresponding to the first quote in the OP. – Jojo Aug 06 '22 at 11:56
  • Would it take up a huge amount of space to add some kind of summary about how the physical properties of gravity waves differ from the physical properties of EM waves, which is the reason why the mathematical models also differ? I’ve always found purely mathematical explanations to be slightly lacking. I’m guessing it’s something about EM fields being very different things from gravity “fields”, which we don’t really call fields but more like curvature of space-time, which means gravity waves behave differently from other kinds of waves - or something. – Todd Wilcox Aug 06 '22 at 12:40
  • 2
    A little comment / fun fact, a differential equation being linear is not sufficient to make sums of solutions also be solutions. It needs to be both linear and homogeneous. The wave equation you gave is neither – doublefelix Aug 06 '22 at 13:45
  • @doublefelix: additive and homogeneous, you mean. Both are implied by the term "linear". Note also "any weighted combination is a solution" was meant to capture the homogeneity requirement. – The_Sympathizer Aug 06 '22 at 23:36
  • @The_Sympathizer That is not true - a linear differential equation need not be homogeneous. As for additive I don't know that term, so I can't say. A linear differential equation for $y(x)$ is homogeneous if and only if there is no term without $y$ dependence. Also, not every homogeneous equation has any weighted combination as a solution. Take for example the equation $y^2 \frac{dy}{dx} + y^3 = 0$, which is homogeneous (all terms go as y^3) but not linear, and for that reason sums of solutions are not necessarily solutions. – doublefelix Aug 07 '22 at 07:12
  • It doesn't affect your answer, I just mentioned it because implicitly it seemed like the answer suggested that linear $\implies$ sums of solutions are also solutions. Lots of physicists around me colloquially said that linear equations have this property, and for years I thought it was true until I realized that it wasn't really. – doublefelix Aug 07 '22 at 07:15
  • @doublefelix : Ah I see what you're going at here, we confused the senses of "linear" as in "linear operator" vs. "linear" as in "linear equation". Yes, the linear equation need not be homogeneous, but the wave equation specifically is a homogeneous equation i.e. the implied operator when you put everything on the left hand side is a linear operator. – The_Sympathizer Aug 07 '22 at 23:37
  • Gotcha, looks like we just meant two different things with the same word but are in agreement about everything substantial – doublefelix Aug 07 '22 at 23:44
  • @dublefelix : Yeah I also tweaked and added some stuff on the answer above too to clean things up and round it out more. – The_Sympathizer Aug 07 '22 at 23:46
11

The full Einstein equation is:

$$ G_{\alpha\beta} = 8\pi T_{\alpha\beta} $$

where $G_{\alpha\beta}$ is the Einstein tensor, which is a non-linear function of the metric. In general solving the equation directly is impossibly difficult.

However if the spacetime is approximately flat we can write the metric as:

$$ g_{\alpha\beta} = \eta_{\alpha\beta} + h_{\alpha\beta} $$

where $\eta_{\alpha\beta}$ is the flat spacetime metric and $h_{\alpha\beta}$ is a small perturbation. The importance of $h_{\alpha\beta}$ being small is that higher powers of $h_{\alpha\beta}$ are small compared to $h_{\alpha\beta}$ and can be neglected. If we do this we end up with the linearised Einstein equation, which can be written (in the Lorenz gauge) as:

$$ \Box \bar h^{\alpha\beta} = -16\pi T^{\alpha\beta}$$

where:

$$\bar{h}^{\alpha\beta}=h^{\alpha\beta}-\frac{1}{2}\eta^{\alpha \beta} h $$

Remember this is an approximation that works only when $h^{\alpha\beta}$ is small, but provided this is the case the approximation is very useful as it is much, much easier to solve than the full equation. In particular if we set $T_{\alpha\beta} = 0$ we get gravitational waves as solutions. Since the linearised Einstein equation is, well, linear, the solutions obey the superposition principle just like EM waves.

The problem is that this only works when higher powers of $h_{\alpha\beta}$ are so small they can be ignored. In practice this is always true for the sort of gravitational waves detected by LIGO, but very near the source of the waves the curvature would be so large that $h^2$, $h^3$ etc cannot be neglected and would need to be added to the linearised Einstein equation to keep the approximation good. When you do this the equation is no longer linear and the solutions no longer obey the superposition principle.

John Rennie
  • 355,118
8

This simple definition is axiomatic:

The principle of superposition says:

When two or more waves cross at a point, the displacement at that point is equal to the sum of the displacements of the individual waves.

The individual wave displacements may be positive or negative. If the displacements are vectors, then the sum is calculated by vector addition.

'''

When the waves pass beyond a point of intersection, they separate out again and are unaffected.

Italics mine.

You ask:

What do we mean when we say gravitational waves are non-linear and do not superpose like EM waves?

That when crossing they do not obey "the displacement at that point is equal to the sum of the displacements of the individual waves." This is due to the mathematical solution of the gravitational wave in general relativity.

I like this definition of a wave!

What is a wave? In the mathematical sense, a wave is any function that moves. To displace any function $f(x)$ to the right, just change its argument from $x$ to $x-x_0$, where $x_0$ is a positive number.

Wave

It includes all periodic phenomena discussed in the links you give.

For me, it is easy to understand that only when approximations to linearity work will one see simple phenomena of diffraction, etc. Now for gravitational waves, approximations can be used to fit observations, if interference phenomena are measured. The strict meaning of nonlinearity is that the sum of the individual wave disturbances at a point are not added vectorially.

anna v
  • 233,453