Shock. Objectives Vocab Define Shock Types of Shock Stages of Shock Treatment.
Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR),...
Transcript of Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR),...
![Page 1: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/1.jpg)
Points of General Relativistic Shock WaveInteraction are Regularity Singularities where
Spacetime is Not Locally Flat
Moritz ReintjesIMPA, Rio de Janeiro
6th IWARA3 October, 2013
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 2: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/2.jpg)
Part I
Intuitive Introduction
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 3: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/3.jpg)
Intuitive Introduction
About Shock Waves:
Shock waves are discontinuities evolving in time.
Shock waves form in fluids and gases, governedby compressible Euler equations.
In General Relativity (GR), shock waves can bepresent in the matter content of spacetime.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 4: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/4.jpg)
Intuitive Introduction
About Shock Waves:
Shock waves are discontinuities evolving in time.
Shock waves form in fluids and gases, governedby compressible Euler equations.
In General Relativity (GR), shock waves can bepresent in the matter content of spacetime.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 5: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/5.jpg)
Intuitive Introduction
About Shock Waves:
Shock waves are discontinuities evolving in time.
Shock waves form in fluids and gases, governedby compressible Euler equations.
In General Relativity (GR), shock waves can bepresent in the matter content of spacetime.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 6: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/6.jpg)
Intuitive IntroductionFullImage_2005122151636_846.jpg (JPEG-Grafik, 500 × 326 Pixel) http://www.teamdroid.com/img-2/FullImage_2005122151636_846.jpg
1 von 1 1/28/2012 7:00 PM
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 7: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/7.jpg)
Intuitive Introduction
Einstein equations: Gµν = κT µν
Shock waves are discontinuities in T µν.
Einstein tensor, Gµν, is determined by metrictensor.
−→ How do shock waves effect the metric tensor?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 8: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/8.jpg)
Intuitive Introduction
Einstein equations: Gµν = κT µν
Shock waves are discontinuities in T µν.
Einstein tensor, Gµν, is determined by metrictensor.
−→ How do shock waves effect the metric tensor?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 9: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/9.jpg)
Intuitive Introduction
Einstein equations: Gµν = κT µν
Shock waves are discontinuities in T µν.
Einstein tensor, Gµν, is determined by metrictensor.
−→ How do shock waves effect the metric tensor?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 10: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/10.jpg)
Intuitive Introduction
Einstein equations: Gµν = κT µν
Shock waves are discontinuities in T µν.
Einstein tensor, Gµν, is determined by metrictensor.
−→ How do shock waves effect the metric tensor?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 11: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/11.jpg)
Intuitive Introduction
The metric has discontinuous derivatives in somecoordinates.
Thus 2nd order derivatives fail to exist point-wise.
This is a problem: In GR, second order derivatives arefundamental! E.g.: for computing curvature tensors(point-wise), for constructing locally inertial frames...
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 12: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/12.jpg)
Intuitive Introduction
The metric has discontinuous derivatives in somecoordinates.
Thus 2nd order derivatives fail to exist point-wise.
This is a problem: In GR, second order derivatives arefundamental! E.g.: for computing curvature tensors(point-wise), for constructing locally inertial frames...
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 13: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/13.jpg)
Intuitive Introduction
The metric has discontinuous derivatives in somecoordinates.
Thus 2nd order derivatives fail to exist point-wise.
This is a problem: In GR, second order derivatives arefundamental! E.g.: for computing curvature tensors(point-wise), for constructing locally inertial frames...
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 14: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/14.jpg)
Intuitive Introduction
The metric has discontinuous derivatives in somecoordinates.
Thus 2nd order derivatives fail to exist point-wise.
This is a problem: In GR, second order derivatives arefundamental! E.g.: for computing curvature tensors(point-wise), for constructing locally inertial frames...
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 15: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/15.jpg)
Intuitive Introduction
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
Across a single shock wave: Yes! (Israel, 1966)
At points of shock wave interaction: No!(R. and Temple, 2011)−→ “Regularity Singularity”
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 16: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/16.jpg)
Intuitive Introduction
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
Across a single shock wave: Yes! (Israel, 1966)
At points of shock wave interaction: No!(R. and Temple, 2011)−→ “Regularity Singularity”
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 17: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/17.jpg)
Intuitive Introduction
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
Across a single shock wave: Yes! (Israel, 1966)
At points of shock wave interaction:
No!(R. and Temple, 2011)−→ “Regularity Singularity”
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 18: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/18.jpg)
Intuitive Introduction
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
Across a single shock wave: Yes! (Israel, 1966)
At points of shock wave interaction: No!(R. and Temple, 2011)
−→ “Regularity Singularity”
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 19: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/19.jpg)
Intuitive Introduction
Central Question:
Can we transform to different coordinates, such that 2nd ordermetric derivatives exist point-wise in the new coordinates?
Across a single shock wave: Yes! (Israel, 1966)
At points of shock wave interaction: No!(R. and Temple, 2011)−→ “Regularity Singularity”
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 20: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/20.jpg)
Part II
Background: Shock Waves in General
Relativity
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 21: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/21.jpg)
Some mathematical terminology:
regularity ≡ handwavy expression refering to degree ofdifferentiability
f (·) is Lipschitz continuous ≡ f (·) is point-wise differentiablewith possibly discontinuous derivatives
C 0,1 ≡ set of Lipschitz continuous functions
C 1,1 ≡ set of functions whose derivatives are Lipschitzcontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 22: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/22.jpg)
About Shock Waves:A single shock wave being present in the Einstein equations ischaracterized by:
Tµν is discontinuous across a hypersurface Σ and continuouselsewhere.
Across Σ, the Rankine Hugoniot jump conditions hold, that is,
[Tµν ]Nν = 0,
where
Nν normal to Σ,[u] := uL − uR denotes the jump in u across ΣuL/R denotes the left/right limit of u to Σ.
Einstein equations, Gµν = κTµν , hold pointwise away from Σ.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 23: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/23.jpg)
About Shock Waves:A single shock wave being present in the Einstein equations ischaracterized by:
Tµν is discontinuous across a hypersurface Σ and continuouselsewhere.
Across Σ, the Rankine Hugoniot jump conditions hold, that is,
[Tµν ]Nν = 0,
where
Nν normal to Σ,[u] := uL − uR denotes the jump in u across ΣuL/R denotes the left/right limit of u to Σ.
Einstein equations, Gµν = κTµν , hold pointwise away from Σ.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 24: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/24.jpg)
About Shock Waves:A single shock wave being present in the Einstein equations ischaracterized by:
Tµν is discontinuous across a hypersurface Σ and continuouselsewhere.
Across Σ, the Rankine Hugoniot jump conditions hold, that is,
[Tµν ]Nν = 0,
where
Nν normal to Σ,[u] := uL − uR denotes the jump in u across ΣuL/R denotes the left/right limit of u to Σ.
Einstein equations, Gµν = κTµν , hold pointwise away from Σ.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 25: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/25.jpg)
Remark:
A very important setting for shock waves in GR are theCoupled Einstein Euler equations,
Gµν = κTµν ,divT = 0,
where Tµν = (ρ+ p)uµuν + pgµν , (perfect fluid).
Shock waves can form in the relativistic Euler equations,divT = 0, out of smooth initial data.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 26: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/26.jpg)
Remark:
A very important setting for shock waves in GR are theCoupled Einstein Euler equations,
Gµν = κTµν ,divT = 0,
where Tµν = (ρ+ p)uµuν + pgµν , (perfect fluid).
Shock waves can form in the relativistic Euler equations,divT = 0, out of smooth initial data.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 27: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/27.jpg)
Part III
The Question of the Metric Regularity
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 28: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/28.jpg)
Let’s illustrate the effect of shock waves on the metric regularity:
In Standard Schwarzschild Coordinates the metric reads
ds2 = −A(t, r)dt2 + B(t, r)dr2 + r2(dϑ2 + sin2(ϑ)dϕ2
),
In such coords the first Einstein equation reads∂B∂r + B B−1
r = κAB2r T 00.
Now, let a shock waves be present in Tµν
=⇒ T 00 is discontinuous=⇒ ∂B
∂r is discontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 29: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/29.jpg)
Let’s illustrate the effect of shock waves on the metric regularity:
In Standard Schwarzschild Coordinates the metric reads
ds2 = −A(t, r)dt2 + B(t, r)dr2 + r2(dϑ2 + sin2(ϑ)dϕ2
),
In such coords the first Einstein equation reads∂B∂r + B B−1
r = κAB2r T 00.
Now, let a shock waves be present in Tµν
=⇒ T 00 is discontinuous=⇒ ∂B
∂r is discontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 30: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/30.jpg)
Let’s illustrate the effect of shock waves on the metric regularity:
In Standard Schwarzschild Coordinates the metric reads
ds2 = −A(t, r)dt2 + B(t, r)dr2 + r2(dϑ2 + sin2(ϑ)dϕ2
),
In such coords the first Einstein equation reads∂B∂r + B B−1
r = κAB2r T 00.
Now, let a shock waves be present in Tµν
=⇒ T 00 is discontinuous=⇒ ∂B
∂r is discontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 31: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/31.jpg)
Let’s illustrate the effect of shock waves on the metric regularity:
In Standard Schwarzschild Coordinates the metric reads
ds2 = −A(t, r)dt2 + B(t, r)dr2 + r2(dϑ2 + sin2(ϑ)dϕ2
),
In such coords the first Einstein equation reads∂B∂r + B B−1
r = κAB2r T 00.
Now, let a shock waves be present in Tµν
=⇒ T 00 is discontinuous=⇒ ∂B
∂r is discontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 32: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/32.jpg)
Let’s illustrate the effect of shock waves on the metric regularity:
In Standard Schwarzschild Coordinates the metric reads
ds2 = −A(t, r)dt2 + B(t, r)dr2 + r2(dϑ2 + sin2(ϑ)dϕ2
),
In such coords the first Einstein equation reads∂B∂r + B B−1
r = κAB2r T 00.
Now, let a shock waves be present in Tµν
=⇒ T 00 is discontinuous
=⇒ ∂B∂r is discontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 33: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/33.jpg)
Let’s illustrate the effect of shock waves on the metric regularity:
In Standard Schwarzschild Coordinates the metric reads
ds2 = −A(t, r)dt2 + B(t, r)dr2 + r2(dϑ2 + sin2(ϑ)dϕ2
),
In such coords the first Einstein equation reads∂B∂r + B B−1
r = κAB2r T 00.
Now, let a shock waves be present in Tµν
=⇒ T 00 is discontinuous=⇒ ∂B
∂r is discontinuous
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 34: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/34.jpg)
Conclusion:
In some coordinates, the Einstein equations contain first orderdifferential equations.
Thus, if shock waves are present in Tµν , the metric isLipschitz continuous (C 0,1), but not continuouslydifferentiable (C 1). Thus, 2nd order derivatives fail to existpoint-wise.
Central Question:
Do there exist coordinates x j such that the metric in the newcoordinates, gij , is C 1,1 regular?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 35: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/35.jpg)
Conclusion:
In some coordinates, the Einstein equations contain first orderdifferential equations.
Thus, if shock waves are present in Tµν , the metric isLipschitz continuous (C 0,1), but not continuouslydifferentiable (C 1). Thus, 2nd order derivatives fail to existpoint-wise.
Central Question:
Do there exist coordinates x j such that the metric in the newcoordinates, gij , is C 1,1 regular?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 36: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/36.jpg)
What’s interesting about C 0,1 versus C 1,1 metric regularity?
C 1,1-regularity is crucial to define curvature tensors, Gij ,Rij ,..., in a point-wise (non-distributional) sense
C 1,1 is a common assumption in GR, e.g., C 1,1 regularity isrequired in Singularity Theorems (of Penrose, Hawking andEllis).
If one cannot smooth the metric to C 1,1, it cannot be locallyMinkowski!(⇒ No observer in free-fall?!)
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 37: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/37.jpg)
What’s interesting about C 0,1 versus C 1,1 metric regularity?
C 1,1-regularity is crucial to define curvature tensors, Gij ,Rij ,..., in a point-wise (non-distributional) sense
C 1,1 is a common assumption in GR, e.g., C 1,1 regularity isrequired in Singularity Theorems (of Penrose, Hawking andEllis).
If one cannot smooth the metric to C 1,1, it cannot be locallyMinkowski!(⇒ No observer in free-fall?!)
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 38: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/38.jpg)
What’s interesting about C 0,1 versus C 1,1 metric regularity?
C 1,1-regularity is crucial to define curvature tensors, Gij ,Rij ,..., in a point-wise (non-distributional) sense
C 1,1 is a common assumption in GR, e.g., C 1,1 regularity isrequired in Singularity Theorems (of Penrose, Hawking andEllis).
If one cannot smooth the metric to C 1,1, it cannot be locallyMinkowski!(⇒ No observer in free-fall?!)
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 39: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/39.jpg)
Part IV
The Metric Regularity Across a Single
Shock Surface
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 40: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/40.jpg)
“Israel’s Theorem“(Israel 1966) (see also: Smoller and Temple 1994)
Suppose:
gµν is C 0,1 across a single smooth surface Σ, but smoothaway from Σ
gµν solves the Einstein equations point-wise away from Σ
Then the following is equivalent:
There exist a C 1,1 regular coordinate transformation, suchthat gαβ is C 1,1 regular, w.r.t. partial differentiation in thenew coordinates xα.
The RH jump conditions, [Tµν ]Nν = 0, hold on Σ and Tµν isbounded.
Lesson:Across a single shock one can always lift metric regularity to C 1,1!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 41: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/41.jpg)
“Israel’s Theorem“(Israel 1966) (see also: Smoller and Temple 1994)
Suppose:
gµν is C 0,1 across a single smooth surface Σ, but smoothaway from Σ
gµν solves the Einstein equations point-wise away from Σ
Then the following is equivalent:
There exist a C 1,1 regular coordinate transformation, suchthat gαβ is C 1,1 regular, w.r.t. partial differentiation in thenew coordinates xα.
The RH jump conditions, [Tµν ]Nν = 0, hold on Σ and Tµν isbounded.
Lesson:Across a single shock one can always lift metric regularity to C 1,1!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 42: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/42.jpg)
Part V
The Metric Regularity at Points of Shock
Wave Interaction
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 43: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/43.jpg)
Israel’s Theorem addresses the metric regularity across a singleshock surface only.
However, shock waves can interact.
Can one still lift the metric regularity at points of shock wavecollision? (Groah & Temple, 2004)
NO, one cannot!(R. & Temple, 2011)
Before we state our theorem, let me introduce the shock waveinteraction we consider:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 44: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/44.jpg)
Israel’s Theorem addresses the metric regularity across a singleshock surface only.
However, shock waves can interact.
Can one still lift the metric regularity at points of shock wavecollision? (Groah & Temple, 2004)
NO, one cannot!(R. & Temple, 2011)
Before we state our theorem, let me introduce the shock waveinteraction we consider:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 45: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/45.jpg)
Israel’s Theorem addresses the metric regularity across a singleshock surface only.
However, shock waves can interact.
Can one still lift the metric regularity at points of shock wavecollision? (Groah & Temple, 2004)
NO, one cannot!(R. & Temple, 2011)
Before we state our theorem, let me introduce the shock waveinteraction we consider:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 46: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/46.jpg)
Points of Regular Shock Wave Interaction in SSC:
Assumption on spacetime:
Suppose spacetime M is spherically symmetric.
Assume Standard Schwarzschild Coordinates (=:SSC) existsaround a point p, that is, assume the metric reads
g = −A(t, r)dt2 + B(t, r)dr2 + r2dΩ2,
withdΩ2 := dϑ2 + sin2(ϑ)dϕ2.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 47: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/47.jpg)
Points of Regular Shock Wave Interaction in SSC:
Assumption on spacetime:
Suppose spacetime M is spherically symmetric.
Assume Standard Schwarzschild Coordinates (=:SSC) existsaround a point p, that is, assume the metric reads
g = −A(t, r)dt2 + B(t, r)dr2 + r2dΩ2,
withdΩ2 := dϑ2 + sin2(ϑ)dϕ2.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 48: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/48.jpg)
Assumption on shock waves:
Assume shock waves are radial, that is, the shock surfaces,Σ1 and Σ2, are 2-spheres evolving in time.
More precisely, Σi can be parameterized as
Σi (t, ϑ, ϕ) = (t, xi (t), ϑ, ϕ) , xi (t) > 0, (i = 1, 2).
Note: Σi (t) is a 2-sphere with radius xi (t) and center r = 0.
Instead of Σi it suffices to consider curves γi (t) = (t, xi (t)),(so-called “shock curves”).
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 49: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/49.jpg)
Assumption on shock waves:
Assume shock waves are radial, that is, the shock surfaces,Σ1 and Σ2, are 2-spheres evolving in time.
More precisely, Σi can be parameterized as
Σi (t, ϑ, ϕ) = (t, xi (t), ϑ, ϕ) , xi (t) > 0, (i = 1, 2).
Note: Σi (t) is a 2-sphere with radius xi (t) and center r = 0.
Instead of Σi it suffices to consider curves γi (t) = (t, xi (t)),(so-called “shock curves”).
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 50: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/50.jpg)
Assumption on shock waves:
Assume shock waves are radial, that is, the shock surfaces,Σ1 and Σ2, are 2-spheres evolving in time.
More precisely, Σi can be parameterized as
Σi (t, ϑ, ϕ) = (t, xi (t), ϑ, ϕ) , xi (t) > 0, (i = 1, 2).
Note: Σi (t) is a 2-sphere with radius xi (t) and center r = 0.
Instead of Σi it suffices to consider curves γi (t) = (t, xi (t)),(so-called “shock curves”).
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 51: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/51.jpg)
Definition
p ∈ M is a “point of regular shock wave interaction in SSC” if
γi (t) = (t, xi (t)), i = 1, 2, are smooth timelike curves definedon t ∈ (−ε, 0), which intersect in p = γ1(0) = γ2(0).
Tµν is discontinuous across γ1 and γ2.
Rankine Hugoniot conditions, [Tµν ]i (Ni )ν = 0, hold acrosseach γi , (for i = 1, 2), and in the limit to t 0.
The SSC-metric, gµν , is only C 0,1 across each shock curveand C 2 off and along them.
Einstein equations hold point-wise off Σi .
Shocks interact with distinct speeds, x1(0) 6= x2(0).
We expect this structure to be generic for radial shock waves inspherical symmetry, in agreement with the shock collisionssimulated in (Vogler, 2011) and existence theory in (Groah &Temple, 2004).
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 52: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/52.jpg)
Definition
p ∈ M is a “point of regular shock wave interaction in SSC” if
γi (t) = (t, xi (t)), i = 1, 2, are smooth timelike curves definedon t ∈ (−ε, 0), which intersect in p = γ1(0) = γ2(0).
Tµν is discontinuous across γ1 and γ2.
Rankine Hugoniot conditions, [Tµν ]i (Ni )ν = 0, hold acrosseach γi , (for i = 1, 2), and in the limit to t 0.
The SSC-metric, gµν , is only C 0,1 across each shock curveand C 2 off and along them.
Einstein equations hold point-wise off Σi .
Shocks interact with distinct speeds, x1(0) 6= x2(0).
We expect this structure to be generic for radial shock waves inspherical symmetry, in agreement with the shock collisionssimulated in (Vogler, 2011) and existence theory in (Groah &Temple, 2004).
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 53: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/53.jpg)
Let’s state our main theorem:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 54: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/54.jpg)
Theorem, (R. and Temple, 2011)
Assume p is “a point of regular shock wave interaction in SSC”.Then there does not exist a C 1,1 coordinate transformation,defined in a neighborhood of p, such that both holds:
The metric components are C 1 functions of the newcoordinates.
The metric has a nonzero determinant at p.
Remark:We only require two shock waves to be present before (or after)the interaction.=⇒ We address many physical shock wave interaction, e.g.:
two shock waves come in; two shock waves go out
two shock waves come in; one shock and one rarefaction wavego out
two compression waves come in; two shock waves go out
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 55: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/55.jpg)
Theorem, (R. and Temple, 2011)
Assume p is “a point of regular shock wave interaction in SSC”.Then there does not exist a C 1,1 coordinate transformation,defined in a neighborhood of p, such that both holds:
The metric components are C 1 functions of the newcoordinates.
The metric has a nonzero determinant at p.
Remark:We only require two shock waves to be present before (or after)the interaction.=⇒ We address many physical shock wave interaction, e.g.:
two shock waves come in; two shock waves go out
two shock waves come in; one shock and one rarefaction wavego out
two compression waves come in; two shock waves go out
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 56: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/56.jpg)
Theorem, (R. and Temple, 2011)
Assume p is “a point of regular shock wave interaction in SSC”.Then there does not exist a C 1,1 coordinate transformation,defined in a neighborhood of p, such that both holds:
The metric components are C 1 functions of the newcoordinates.
The metric has a nonzero determinant at p.
Remark on Proof:The main step is to prove the result for a smaller atlas first,
namely, the atlas consisting of “coordinate transformations ofthe (t, r)-plane”, i.e., transformations which keep the SSCangular variables fixed.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 57: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/57.jpg)
Theorem, (R. and Temple, 2011)
Assume p is “a point of regular shock wave interaction in SSC”.Then there does not exist a C 1,1 coordinate transformation,defined in a neighborhood of p, such that both holds:
The metric components are C 1 functions of the newcoordinates.
The metric has a nonzero determinant at p.
Remark on Proof:The main step is to prove the result for a smaller atlas first,namely, the atlas consisting of “coordinate transformations ofthe (t, r)-plane”, i.e., transformations which keep the SSCangular variables fixed.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 58: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/58.jpg)
Part VI
Proof of Theorem
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 59: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/59.jpg)
Step 1:
Assume there exist coordinates xα, such that the transformedmetric,
gαβ = JµαJνβgµν , (1)
is in C 1, where Jµα = ∂xµ
∂xα (Jacobian) and gµν metric in SSC.
Now, gαβ being in C 1 implies that, for all α, β, γ ∈ 0, ..., 3,
[gαβ,γ ]i = 0. (2)
[·]i jump across the shock curve γif,γ := ∂f
∂xγ denotes differentiation w.r.t. new coords xα.
Now, substituting (1) into (2) leads to
[Jµα,γ ]iJνβgµν + [Jνβ,γ ]iJ
µαgµν + JµαJ
νβ [gµν,γ ]i = 0.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 60: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/60.jpg)
Step 1:
Assume there exist coordinates xα, such that the transformedmetric,
gαβ = JµαJνβgµν , (1)
is in C 1, where Jµα = ∂xµ
∂xα (Jacobian) and gµν metric in SSC.
Now, gαβ being in C 1 implies that, for all α, β, γ ∈ 0, ..., 3,
[gαβ,γ ]i = 0. (2)
[·]i jump across the shock curve γif,γ := ∂f
∂xγ denotes differentiation w.r.t. new coords xα.
Now, substituting (1) into (2) leads to
[Jµα,γ ]iJνβgµν + [Jνβ,γ ]iJ
µαgµν + JµαJ
νβ [gµν,γ ]i = 0.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 61: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/61.jpg)
Step 1:
Assume there exist coordinates xα, such that the transformedmetric,
gαβ = JµαJνβgµν , (1)
is in C 1, where Jµα = ∂xµ
∂xα (Jacobian) and gµν metric in SSC.
Now, gαβ being in C 1 implies that, for all α, β, γ ∈ 0, ..., 3,
[gαβ,γ ]i = 0. (2)
[·]i jump across the shock curve γif,γ := ∂f
∂xγ denotes differentiation w.r.t. new coords xα.
Now, substituting (1) into (2) leads to
[Jµα,γ ]iJνβgµν + [Jνβ,γ ]iJ
µαgµν + JµαJ
νβ [gµν,γ ]i = 0.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 62: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/62.jpg)
Observe that above equation,
[Jµα,γ ]iJνβgµν + [Jνβ,γ ]iJ
µαgµν + JµαJ
νβ [gµν,γ ]i = 0, (3)
is necessary condition for smoothing the metric. It is linear in[Jµα,γ ]i .
A lenghty computation shows that (3) together with theintegrability condition,
[Jµα,β]i = [Jµβ,α]i , (4)
has a unique solution [Jµα,γ ]i , given in terms of the jumps inthe metric derivatives.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 63: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/63.jpg)
Observe that above equation,
[Jµα,γ ]iJνβgµν + [Jνβ,γ ]iJ
µαgµν + JµαJ
νβ [gµν,γ ]i = 0, (3)
is necessary condition for smoothing the metric. It is linear in[Jµα,γ ]i .
A lenghty computation shows that (3) together with theintegrability condition,
[Jµα,β]i = [Jµβ,α]i , (4)
has a unique solution [Jµα,γ ]i , given in terms of the jumps inthe metric derivatives.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 64: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/64.jpg)
In fact, the unique solution of (3) and (4) is given by:
[Jt0,t ]i = −1
2
([At ]i
AJt0 +
[Ar ]i
AJr0
); [Jt0,r ]i = −
1
2
([Ar ]i
AJt0 +
[Bt ]i
AJr0
)[Jt1,t ]i = −
1
2
([At ]i
AJt1 +
[Ar ]i
AJr1
); [Jt1,r ]i = −
1
2
([Ar ]i
AJt1 +
[Bt ]i
AJr1
)[Jr0,t ]i = −
1
2
([Ar ]i
BJt0 +
[Bt ]i
BJr0
); [Jr0,r ]i = −
1
2
([Bt ]i
BJt0 +
[Br ]i
BJr0
)[Jr1,t ]i = −
1
2
([Ar ]i
BJt1 +
[Bt ]i
BJr1
); [Jr1,r ]i = −
1
2
([Bt ]i
BJt1 +
[Br ]i
BJr1
).(5)
Notation:
At := ∂A∂t , ...
µ, ν ∈ t, r and α, β ∈ 0, 1J t0 denotes the µ = t and α = 0 component of the Jacobian Jµα
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 65: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/65.jpg)
Step (ii):
The above solution [Jµα,γ ]i is only defined on the shock curves.We now need to introduce functions, Jµα , whose derivativeshave exactly the discontinuities prescribed by the solution of(3) and (4), that is [Jµα,γ ]i .
Such functions Jµα exist if and only if the Rankine-Hugoniotcondition holds across both shocks. The functions Jµα areunique up to addition of C 1 functions.
In fact, every function that meets (3) and (4) can be writtenin the canonical form stated in the following Lemma:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 66: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/66.jpg)
Step (ii):
The above solution [Jµα,γ ]i is only defined on the shock curves.We now need to introduce functions, Jµα , whose derivativeshave exactly the discontinuities prescribed by the solution of(3) and (4), that is [Jµα,γ ]i .
Such functions Jµα exist if and only if the Rankine-Hugoniotcondition holds across both shocks. The functions Jµα areunique up to addition of C 1 functions.
In fact, every function that meets (3) and (4) can be writtenin the canonical form stated in the following Lemma:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 67: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/67.jpg)
Step (ii):
The above solution [Jµα,γ ]i is only defined on the shock curves.We now need to introduce functions, Jµα , whose derivativeshave exactly the discontinuities prescribed by the solution of(3) and (4), that is [Jµα,γ ]i .
Such functions Jµα exist if and only if the Rankine-Hugoniotcondition holds across both shocks. The functions Jµα areunique up to addition of C 1 functions.
In fact, every function that meets (3) and (4) can be writtenin the canonical form stated in the following Lemma:
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 68: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/68.jpg)
LemmaIf the RH jump condition hold, then there exists a set of functions
Jµα ∈ C0,1(N ∩ R2−) that satisfies the smoothing condition (5) on γi ∩N , (i = 1, 2).
All such Jµα assume the canonical form
Jt0(t, r) =∑i
αi (t) |xi (t)− r |+ Φ(t, r) , αi (t) =[Ar ]i φi (t) + [Bt ]i ωi (t)
4A γi (t),
Jt1(t, r) =∑i
βi (t) |xi (t)− r |+ N(t, r) , βi (t) =[Ar ]i νi (t) + [Bt ]i ζi (t)
4A γi (t),
Jr0(t, r) =∑i
δi (t) |xi (t)− r |+ Ω(t, r) , δi (t) =[Bt ]i φi (t) + [Br ]i ωi (t)
4B γi (t),
Jr1(t, r) =∑i
εi (t) |xi (t)− r |+ Z(t, r) , εi (t) =[Bt ]i νi (t) + [Br ]i ζi (t)
4B γi (t), (6)
whereφi = Φ γi , ωi = Ω γi , ζi = Z γi , νi = N γi , (7)
and Φ,Ω,Z ,N ∈ C0,1(N ∩R2−) have matching derivatives on each shock curve γi (t),
[Ur ]i = 0 = [Ut ]i , (8)
for U = Φ,Ω,Z ,N, t ∈ (−ε, 0).
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 69: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/69.jpg)
Step (iii):
By assumption, the Jacobian are integrable to coordinates andthus satisfy Jµα,β = Jµβ,α.
Substituting the above canonical form for Jµα into the aboveintegrability condition, taking the jump across any of theshocks, and computing the limit t 0 gives:(x1x2
A+
1
B
)[Br ]1[Br ]2 (x1 − x2)
(limt0
Det (Jµα γi (t))
)= 0.
In above equation, all factors must be non-zero except the lastone!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 70: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/70.jpg)
Step (iii):
By assumption, the Jacobian are integrable to coordinates andthus satisfy Jµα,β = Jµβ,α.
Substituting the above canonical form for Jµα into the aboveintegrability condition, taking the jump across any of theshocks, and computing the limit t 0 gives:
(x1x2
A+
1
B
)[Br ]1[Br ]2 (x1 − x2)
(limt0
Det (Jµα γi (t))
)= 0.
In above equation, all factors must be non-zero except the lastone!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 71: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/71.jpg)
Step (iii):
By assumption, the Jacobian are integrable to coordinates andthus satisfy Jµα,β = Jµβ,α.
Substituting the above canonical form for Jµα into the aboveintegrability condition, taking the jump across any of theshocks, and computing the limit t 0 gives:(x1x2
A+
1
B
)[Br ]1[Br ]2 (x1 − x2)
(limt0
Det (Jµα γi (t))
)= 0.
In above equation, all factors must be non-zero except the lastone!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 72: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/72.jpg)
Step (iii):
By assumption, the Jacobian are integrable to coordinates andthus satisfy Jµα,β = Jµβ,α.
Substituting the above canonical form for Jµα into the aboveintegrability condition, taking the jump across any of theshocks, and computing the limit t 0 gives:(x1x2
A+
1
B
)[Br ]1[Br ]2 (x1 − x2)
(limt0
Det (Jµα γi (t))
)= 0.
In above equation, all factors must be non-zero except the lastone!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 73: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/73.jpg)
We conclude that
limt0
Det (Jµα γi (t)) = 0,
and thus, since gαβ = JµαJνβgµν , we proved
limt0
Det (gαβ γi (t)) = 0.
This completes the proof.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 74: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/74.jpg)
We conclude that
limt0
Det (Jµα γi (t)) = 0,
and thus, since gαβ = JµαJνβgµν , we proved
limt0
Det (gαβ γi (t)) = 0.
This completes the proof.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 75: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/75.jpg)
Part VII
Summary and Consequences
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 76: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/76.jpg)
At points, p, of regular shock interaction in SSC thegravitational metric suffers a non-removable lack of C 1
regularity.
In particular, there exist (non-removable) distributional secondorder metric derivatives, but due to cancelation the spacetimecurvature remains bounded.
At p, spacetime is not locally inertial, that is, there do notexist coordinates x j , such that the metric satisfies:
gij(p) = ηij , where ηij = diag(−1, 1, 1, 1),gij,l(p) = 0,gij,kl are bounded on some neighborhood of p.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 77: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/77.jpg)
At points, p, of regular shock interaction in SSC thegravitational metric suffers a non-removable lack of C 1
regularity.
In particular, there exist (non-removable) distributional secondorder metric derivatives, but due to cancelation the spacetimecurvature remains bounded.
At p, spacetime is not locally inertial, that is, there do notexist coordinates x j , such that the metric satisfies:
gij(p) = ηij , where ηij = diag(−1, 1, 1, 1),gij,l(p) = 0,gij,kl are bounded on some neighborhood of p.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 78: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/78.jpg)
At points, p, of regular shock interaction in SSC thegravitational metric suffers a non-removable lack of C 1
regularity.
In particular, there exist (non-removable) distributional secondorder metric derivatives, but due to cancelation the spacetimecurvature remains bounded.
At p, spacetime is not locally inertial, that is, there do notexist coordinates x j , such that the metric satisfies:
gij(p) = ηij , where ηij = diag(−1, 1, 1, 1),gij,l(p) = 0,gij,kl are bounded on some neighborhood of p.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 79: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/79.jpg)
Part VIII
What’s the physics behind all this?
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 80: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/80.jpg)
As spacetime fails to be locally inertial at points of shockwave collision and second order metric derivatives beingdistributional at such points, regularity singularities mightbe observable astrophysical objects.
What could be a measurable effect due to a regularitysingularity?
In collaboration with Blake Temple (UC Davis), wecurrently work on the question whether gravitationalradiation is “scattered” off such a regularity singularity,leading to some effect which is measurable in principal.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 81: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/81.jpg)
As spacetime fails to be locally inertial at points of shockwave collision and second order metric derivatives beingdistributional at such points, regularity singularities mightbe observable astrophysical objects.
What could be a measurable effect due to a regularitysingularity?
In collaboration with Blake Temple (UC Davis), wecurrently work on the question whether gravitationalradiation is “scattered” off such a regularity singularity,leading to some effect which is measurable in principal.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 82: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/82.jpg)
As spacetime fails to be locally inertial at points of shockwave collision and second order metric derivatives beingdistributional at such points, regularity singularities mightbe observable astrophysical objects.
What could be a measurable effect due to a regularitysingularity?
In collaboration with Blake Temple (UC Davis), wecurrently work on the question whether gravitationalradiation is “scattered” off such a regularity singularity,leading to some effect which is measurable in principal.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 83: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/83.jpg)
As spacetime fails to be locally inertial at points of shockwave collision and second order metric derivatives beingdistributional at such points, regularity singularities mightbe observable astrophysical objects.
What could be a measurable effect due to a regularitysingularity?
In collaboration with Blake Temple (UC Davis), wecurrently work on the question whether gravitationalradiation is “scattered” off such a regularity singularity,leading to some effect which is measurable in principal.
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 84: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/84.jpg)
Thank you for your attention!
M. Reintjes GR Shock Interaction are Regularity Singularities
![Page 85: Points of General Relativistic Shock Wave Interaction are …€¦ · In General Relativity (GR), shock waves can be present in the matter content of spacetime. M. Reintjes GR Shock](https://reader034.fdocuments.us/reader034/viewer/2022042414/5f2f006c435046072075525a/html5/thumbnails/85.jpg)
(1) W. Israel, “Singular hypersurfaces and thin shells in generalrelativity”, Il Nuovo Cimento, Vol. XLIV B, N. 1, 1966, pp. 1-14.
(2) J. Smoller and B. Temple, “Shock wave Solutions of the Einsteinequations: The Oppenheimer-Snyder model of gravitational collapseextended to the case of non-zero pressure”, Archive RationalMechanics and Analysis, 128 (1994), pp. 249-297, Springer-Verlag1994.
(3) M. Reintjes, B. Temple, “Points of General Relativistic Shock WaveInteraction are ”Regularity Singularities” where Spacetime is NotLocally Flat”, arXiv:1105.0798[gr-qc], submitted.
(4) J. Groah and B. Temple, Shock-Wave Solutions of the EinsteinEquations with Perfect Fluid Sources: Existence and Consistency bya Locally Inertial Glimm Scheme, Memoirs AMS, Vol. 172, Number813, November 2004, ISSN 0065-9266.
(5) Z. Vogler and B. Temple, “Simulation of General Relativistic Shock
Waves by a Locally Inertial Godunov Method featuring Dynamical
Time Dilation”, Davis Preprint.
M. Reintjes GR Shock Interaction are Regularity Singularities