5

I need help making sense of a few comments from under this answer. I think it’s best if I reproduce the comments below:

  1. The Green's function for the wave equation in even spatial dimensions is positive-definite inside the light cone, so you can't get destructive interference”.

  2. The Green's function for the (4+1) wave equation is indeed sign-definite strictly inside the light cone, but it has a delta-function of the opposite sign exactly on the light cone. See eq. (36) from this source”.

  3. As improbable as it sounds, I suspect that when dimensionally reducing from (4+1) to (3+1) space, there's a magical conspiracy such that after the initial positive wavefront passes, its infinite-duration negative wake is continuously exactly canceled by successive positive wavefronts arriving from sources that are ever further-away in the fourth spatial dimension”.

My questions are more related to the second comment. What does it mean that the Green’s function for the 4+1D wave equation has an opposite sign delta-function exactly on the light cone?

What would the wave look like at that location (the light cone)?

Shouldn’t there be other positive terms at the same location (the light cone) to balance the negative term mentioned in the comments (the opposite sign delta-function)?

I’m hoping to visualize how the wave would look like at that location, so I’m looking for more of a conceptual answer, without much math.

Qmechanic
  • 201,751
  • 1
    What wave do you mean in "What would the wave look like"? Do you consider the Green's function as the wave? Are you simply trying to visualize this Green's function? In the equation $(36)$ of the paper cited it's defined as follows. $$G_4(r,t)=\frac1{4\pi^2c^3}\left(\frac{\delta(t-r/c)}{r(t^2-r^2/c^2)^{1/2}}-\frac{\eta(t-r/c)}{c(t^2-r^2/c^2)^{3/2}}\right).\tag{36}$$ – Ruslan Oct 14 '20 at 20:17
  • I’ve been told the Green’s function is not really the wave, but that it defines which parts of the wave can contribute to how it looks at that place/position. tparker’s comments claim there’s a negative delta-function at the light cone. In my basic understanding, there should also be other positive terms at the same place, or else the wave would be “upside down” at that place, in respect to the rest of it (its “wake”; the positive parts inside the light cone). –  Oct 14 '20 at 21:10
  • @Ruslan I am understanding positive and negative as concepts related to the amplitude of the wave, just to be clear. –  Oct 14 '20 at 21:10
  • Basically, I want to understand what it means for the wave to have strictly positive values inside the cone, but a negative delta-function exactly on the cone. I’m having trouble visualizing it. I believe I also don’t really grasp what a delta-function is in relation to a Green’s function. –  Oct 14 '20 at 21:11
  • 1
    Actually, a Green's function is sort of a wave, in mathematical sense. In particular, it's what one could call impulse response of the wave equation, i.e. the solution to the equation with zero initial conditions and a Dirac-delta-shaped (in space and time) source function. – Ruslan Oct 14 '20 at 21:25
  • @Ruslan Unfortunately that didn’t help me visualize any better the wave as tparker explained in his comments. What did he mean? –  Oct 14 '20 at 22:34
  • Well, do you see that the $\delta$ term has positive multiplier, while the $\eta$ one is negative in the equation $(36)$ cited above? I'm not sure what you can't understand – Ruslan Oct 15 '20 at 07:27

2 Answers2

3

For ease of reference in this post equations are numbered as in ref. 1.


The equation $(36)$ cited in the OP reads

$$G_4(r,t)=\frac1{4\pi^2c^3}\left(\frac{\delta(t-r/c)}{r(t^2-r^2/c^2)^{1/2}}-\frac{\eta(t-r/c)}{c(t^2-r^2/c^2)^{3/2}}\right).\tag{36}$$

Here $\delta$ is the Dirac delta, and $\eta$ is the Heaviside step function.

By itself, this expression doesn't really help understand what's going on: the Dirac delta in the first term is multiplied by a function that is singular at the delta's distributional singularity, and the second term isn't integrable. So, even if there is some way to evaluate this Green's function as a distribution like $\langle G_4,h\rangle$ for a smooth test function $h$, I suppose the expression would have to be transformed somehow.

Let's go another way. Namely, start from how equation $(36)$ was derived. The authors in ref. 1 derived it by integrating the Green's function for (5+1)-dimensional wave equation,

$$G_5=\frac1{8\pi^2c^2}\left(\frac{\delta(\tau)}{r^3}+\frac{\delta'(\tau)}{cr^2}\right),\tag{32}$$

where $\tau=t-r/c$, along the line of uniformly distributed sources in 5-dimensional space, using the integral

$$G_{n-1}(r,t)=2\int_r^\infty s(s^2-r^2)^{-1/2}G_n(s,t)ds,\tag{25}$$

where $r=r_{n-1}$ is the radial coordinate in $(n-1)$-dimensional space.

Remember that a Green's function for a wave equation is the impulse response of the equation, i.e. the wave that appears after the action of the unit impulse of infinitesimal size and duration, $f(r,t)=\delta(r)\delta(t)$. For visualization purposes it's useful to replace this impulse with one that is finite at least in one variable, e.g. time. So let's choose another force function $f(r,t)=\delta(r)F(t)$, where $F$ is defined as the Gaussian function

$$F(t)=\frac1{\sqrt{2\pi}\sigma}\exp\left(-\frac{x^2}{2\sigma^2}\right).$$

Then, following equation $(34)$, we'll have the displacement response of the (5+1)-dimensional equation given by

$$\phi_5(r,t)=\frac1{8\pi^2c^2}\left(\frac{F(\tau)}{r^3}+\frac{F'(\tau)}{cr^2}\right).\tag{34}$$

Now, to find the displacement response $\phi_4(r,t)$ of the (4+1)-dimensional equation, we can use $\phi_5$ instead of $G_5$ in $(25)$. The resulting integral doesn't seem to have a closed form, so the following animations of $\phi_4(r,t)$ were done using numeric quadrature.


In the animations below we use $c=1$.

Let's first see how the $\phi_5(r,t)$ looks. This will enable us to compare it with $\phi_4(r,t)$. The following animation uses $\sigma=0.005.$

phi_5(r,t) with sigma=0.005

We can see that it basically has two spikes: one positive and one negative. Let's increase $\sigma$ to $\sigma=0.04$ to resolve them better:

phi_5(r,t) with sigma=0.04

Now we can finally look at $\phi_4(r,t)$. The following animation uses $\sigma=0.005$, as the first one above.

phi_4(r,t) with sigma=0.005

Notice the difference of this wave from the $\phi_5(r,t)$: the former has a "tail" inside the light cone, i.e. on the LHS of the positive spike here. This tail corresponds (in the limit $\sigma\to0$) to the second, negative, term in the equation $(36)$, while the positive spike corresponds to the first term with the Dirac delta.

So, the answer to

What does it mean that the Green’s function for the 4+1D wave equation has an opposite sign delta-function exactly on the light cone?

is exactly that: there is a negative wake inside the light cone and the opposite sign, i.e. positive, Dirac delta, i.e. infinitely high and narrow spike, on the light cone.


References:

1: H. Soodak, M. S. Tiersten, Wakes and waves in N dimensions, Am. J. Phys. 61, 395 (1993)

Ruslan
  • 28,862
  • Brilliant answer. Just clear this one thing for me — “the former has a "tail" inside the light cone” — which one are you referring to as “former”? –  Oct 16 '20 at 23:21
  • 1
    @RobertoValente "this wave" is the former, "$\phi_5(r,t)$" is the latter. – Ruslan Oct 16 '20 at 23:24
  • Considering the last wave you showed in your answer, should I see the Dirac delta as the point of highest amplitude of the wave, and the tail on the left as the point of lowest amplitude? Like in a regular sense of a wave, such as the following? https://images.app.goo.gl/UCsbybaU9u3sCcSD6 –  Oct 30 '20 at 19:38
  • I mean, is the Dirac delta a wave crest and the part with the wake the wave trough, or does this representation you made represents a different thing altogether? –  Oct 30 '20 at 19:41
  • @RobertoValente Well, this is not a periodic wave to speak about crests and troughs. But, if you wish so much, you could think of the Dirac delta as the crest and the beginning of the wake as the trough... Just think what you'd have in a spherical wave: only a crest? – Ruslan Oct 30 '20 at 19:55
  • What would this “negative wake” represent in the context of a spherical wave for example? That’s what I was trying to get a grip in the original question. Also, I though “wakes” were persistent disturbances after the main wave has passed. In your last drawing it looks to be part of the same wave (looks like the trough). These concepts deeply confuse me. –  Oct 30 '20 at 20:08
  • Also why represent the wave crest as a Dirac delta (infinitely high and narrow), is that even physically possible? lol this is so confusing –  Oct 30 '20 at 20:10
  • 1
    @RobertoValente a spherical wave doesn't have any wake at all. – Ruslan Oct 30 '20 at 20:10
  • True, we’re talking about 4D waves. I just visualized a spherical one because I don’t know how to visualize a 4D wave. –  Oct 30 '20 at 20:12
  • 1
    @RobertoValente and the Dirac delta response is as possible as the Dirac delta source (hint: impossible). It's a mathematical model after all. This model can be used to calculate actual response to physically meaningful sources. – Ruslan Oct 30 '20 at 20:12
  • @RobertoValente "In your last drawing it looks to be part of the same wave (looks like the trough)" — but in a periodic ocean wave the troughs are also parts of the same wave that the crests are parts of. – Ruslan Oct 30 '20 at 20:21
  • Exactly! Which is why I don’t understand it is considered a “wake” here, and not actually the same wave. –  Oct 30 '20 at 20:39
  • @RobertoValente well, a wake is the continuation of the same wave that began it. – Ruslan Oct 30 '20 at 20:54
1
  • It should be stressed that the retarded Green's function (36) in Ref. 1 is not mathematically well-defined. It contains a singular function times a distribution, which is not well-defined in distribution theory.

  • In my Math.SE answer here I instead defined it via analytic continuation/Wick rotation of the Euclidean Green's function, and provide various explicit formulas. It should be straightforward to implement numerically. Moreover this regularization scheme keeps a version the inter-dimensional recurrence relations (25) and (29) in Ref. 1. Recall in particular that eq. (25) is responsible for the "magical conspiracy" mentioned in OP's 3rd point. And the recurrence relations guarantee that the Huygens' principle works in odd spatial dimensions.

  • The (ill-defined) Dirac delta distribution "of the opposite sign exactly on the light-cone", as OP writes, is a coincidence in 4+1D. It e.g. doesn't appear in 2+1D, cf. eq. (35) in Ref. 1. And in higher even spatial dimensions (i.e. in the dimensions where Huygens' principle doesn't apply), it depends on derivatives of the Dirac delta distribution, and so forth.

References:

  1. H. Soodak & M.S. Tiersten, Wakes and waves in $N$ dimensions, Am. J. Phys. 61 (1993) 395.
Qmechanic
  • 201,751