• ### Shock Wave Interactions and the Riemann-flat Condition: The Geometry behind Metric Smoothing and the Existence of Locally Inertial Frames in General Relativity(1610.02390)

Oct. 28, 2019 math.DG, gr-qc
We prove that the essential smoothness of the gravitational metric at shock waves in GR, a PDE regularity issue for weak solutions of the Einstein equations, is determined by a geometrical condition which we introduce and name the {\it Riemann-flat condition}. The Riemann-flat condition determines whether or not the essential smoothness of the gravitational metric is two full derivatives more regular than the Riemann curvature tensor. This provides a geometric framework for the open problem as to whether {\it regularity singularities} (points where the curvature is in $L^\infty$ but the essential smoothness of the gravitational metric is only Lipschitz continuous) can be created by shock wave interaction in GR, or whether metrics Lipschitz at shocks can always be smoothed one level to $C^{1,1}$ by coordinate transformation. As a corollary of the ideas we give a proof that locally inertial frames always exist in a natural sense for shock wave metrics in spherically symmetric spacetimes, independent of whether the metric itself can be smoothed to $C^{1,1}$ locally. This latter result yields an explicit procedure (analogous to Riemann Normal Coordinates in smooth spacetimes) for constructing locally inertial coordinates for Lipschitz metrics, and is a new regularity result for GR solutions constructed by the Glimm scheme.
• ### The Regularity Transformation Equations: An elliptic mechanism for smoothing gravitational metrics in General Relativity(1805.01004)

May 2, 2018 gr-qc
{\it Regularity singularities} are points in spacetime where the gravitational metric tensor of General Relativity fails to be at least two levels more regular than its curvature tensor. Whether regularity singularities exist for shock wave solutions constructed by the Glimm scheme in GR is an open problem. In this paper we address the problem at the general level of connections $\Gamma\in W^{m,p}$ satisfying $d\Gamma\in W^{m,p}$ as well, and ask the question as to whether there always exists a coordinate transformation with Jacobian $J\in W^{m+1,p}$ that smooths the connection by one order. Introducing a new approach to this problem, we derive a system of nonlinear elliptic Poisson equations, which we call the {\it Regularity Transformation equations} (RT-equations), with matrix-valued differential forms as unknowns, and prove that the existence of solutions to these equations is equivalent to the Riemann-flat condition, which was shown by authors to be equivalent to the existence of a coordinate transformation smoothing the connection by one order. Different from earlier approaches, our method does not employ any apriori coordinate ansatz. In a forthcoming paper we establish an existence theory which demonstrates the consistency of the RT-equations at the levels of smoothness we seek, and a mathematical framework for completing the existence theory is outlined in the final section.
• ### Constrained Systems of Conservation Laws: A Geometric Theory(1510.06677)

Sept. 27, 2017 math.AP, math-ph, math.MP
We address the Riemann and Cauchy problems for systems of $n$ conservation laws in $m$ unknowns which are subject to $m-n$ constraints ($m\geq n$). Such constrained systems generalize systems of conservation laws in standard form to include various examples of conservation laws in Physics and Engineering beyond gas dynamics, e.g., multi-phase flow in porous media. We prove local well-posedness of the Riemann problem and global existence of the Cauchy problem for initial data with sufficiently small total variation, in one spatial dimension. The key to our existence theory is to generalize the $m\times n$ systems of constrained conservation laws to $n\times n$ systems of conservation laws with states taking values in an $n$-dimensional manifold and to extend Lax's theory for local existence as well as Glimm's random choice method to our geometric framework. Our resulting existence theory allows for the accumulation function to be non-invertible across hypersurfaces.
• ### The Fermionic Signature Operator and Space-Time Symmetries(1708.09643)

June 28, 2019 math-ph, math.MP, gr-qc
We show that and specify how space-time symmetries give rise to corresponding symmetries of the fermionic signature operator and generalized fermionic projector states.
• ### A note on incompressibility of relativistic fluids and the instantaneity of their pressures(1601.08106)

June 14, 2017 gr-qc
We introduce a natural notion of incompressibility for fluids governed by the relativistic Euler equations on a fixed background spacetime, and show that the resulting equations reduce to the incompressible Euler equations in the classical limit as $c\rightarrow \infty$. As our main result, we prove that the fluid pressure of solutions of these incompressible "relativistic" Euler equations satisfies an elliptic equation on each of the hypersurfaces orthogonal to the fluid four-velocity, which indicates infinite speed of propagation.
• ### Spacetime is Locally Inertial at Points of General Relativistic Shock Wave Interaction between Shocks from Different Characteristic Families(1409.5060)

Feb. 7, 2017 gr-qc
We prove that spacetime is locally inertial at points of shock wave collision in General Relativity. The result applies for collisions between shock waves coming from different characteristic families, in spherically symmetric spacetimes. We give a constructive proof that there exist coordinate transformations which raise the regularity of the gravitational metric tensor from $C^{0,1}$ to $C^{1,1}$ in a neighborhood of such points of shock wave interaction, and a $C^{1,1}$ metric regularity suffices for locally inertial frames to exist. This result corrects an error in our earlier RSPA-publication, which led us to the wrong conclusion that such coordinate transformations, which smooth the metric to $C^{1,1}$, cannot exist. Our result here proves that regularity singularities, (a type of mild singularity introduced in our RSPA-publication), do not exist at points of interacting shock waves from different families in spherically symmetric spacetimes, and this generalizes Israel's famous 1966 result to the case of such shock wave interactions. The strategy of proof here is an extension of the strategy outlined in our RSPA-paper, but differs fundamentally from the method used by Israel. The question whether regularity singularities exist in more complicated shock wave solutions of the Einstein Euler equations still remains open.
• ### The Fermionic Signature Operator and Hadamard States in the Presence of a Plane Electromagnetic Wave(1609.04516)

Jan. 23, 2017 hep-th, math-ph, math.MP
We give a non-perturbative construction of a distinguished state for the quantized Dirac field in Minkowski space in the presence of a time-dependent external field of the form of a plane electromagnetic wave. By explicit computation of the fermionic signature operator, it is shown that the Dirac operator has the strong mass oscillation property. We prove that the resulting fermionic projector state is a Hadamard state.
• ### A Non-Perturbative Construction of the Fermionic Projector on Globally Hyperbolic Manifolds II - Space-Times of Infinite Lifetime(1312.7209)

Jan. 14, 2017 math-ph, math.MP, gr-qc, math.FA
The previous functional analytic construction of the fermionic projector on globally hyperbolic Lorentzian manifolds is extended to space-times of infinite lifetime. The construction is based on an analysis of families of solutions of the Dirac equation with a varying mass parameter. It makes use of the so-called mass oscillation property which implies that integrating over the mass parameter generates decay of the Dirac wave functions at infinity. We obtain a canonical decomposition of the solution space of the massive Dirac equation into two subspaces, independent of observers or the choice of coordinates. The constructions are illustrated in the examples of ultrastatic space-times and de Sitter space-time.
• ### "Regularity Singularities" and the Scattering of Gravity Waves in Approximate Locally Inertial Frames(1506.04074)

June 22, 2016 gr-qc
It is an open question whether solutions of the Einstein-Euler equations are smooth enough to admit locally inertial coordinates at points of shock wave interaction, or whether "regularity singularities" can exist at such points. The term {\it regularity singularity} was proposed by the authors as a point in spacetime where the gravitational metric tensor is Lipschitz continuous ($C^{0,1}$), but no smoother, in any coordinate system of the $C^{1,1}$ atlas. An existence theory for shock wave solutions in $C^{0,1}$ admitting arbitrary interactions has been proven for the Einstein-Euler equations in spherically symmetric spacetimes, but $C^{1,1}$ is the requisite smoothness required for space-time to be locally flat. Thus the open problem of regularity singularities is the problem as to whether locally inertial coordinate systems exist at shock waves within the larger $C^{1,1}$ atlas. To clarify this open problem, we identify new "Coriolis type" effects in the geometry of $C^{0,1}$ shock wave metrics and prove they are essential in the sense that they can never be made to vanish within the atlas of {\it smooth} coordinate transformations, the atlas usually assumed in classical differential geometry. Thus the problem of existence of regularity singularities is equivalent to the question as to whether or not these Coriolis type effects are essentially non-removable and real', or merely coordinate effects that can be removed, (in analogy to classical Coriolis forces), by going to the less regular atlas of $C^{1,1}$ transformations. If essentially non-removable, it would argue strongly for a real' new physical effect for General Relativity, providing a physical context to the open problem of regularity singularities.
• ### A Non-Perturbative Construction of the Fermionic Projector on Globally Hyperbolic Manifolds I - Space-Times of Finite Lifetime(1301.5420)

Jan. 25, 2016 math-ph, math.MP, gr-qc, math.FA
We give a functional analytic construction of the fermionic projector on a globally hyperbolic Lorentzian manifold of finite lifetime. The integral kernel of the fermionic projector is represented by a two-point distribution on the manifold. By introducing an ultraviolet regularization, we get to the framework of causal fermion systems. The connection to the "negative-energy solutions" of the Dirac equation and to the WKB approximation is explained and quantified by a detailed analysis of closed Friedmann-Robertson-Walker universes.
• ### A Proposal of a Damping Term for the Relativistic Euler Equations(1511.08183)

Nov. 25, 2015 gr-qc
We introduce a damping term for the special relativistic Euler equations in $3$-D and show that the equations reduce to the non-relativistic damped Euler equations in the Newtonian limit. We then write the equations as a symmetric hyperbolic system for which local-in-time existence of smooth solutions can be shown.
• ### Points of General Relativisitic Shock Wave Interaction are "Regularity Singularities" where Spacetime is Not Locally Flat(1105.0798)

June 15, 2015 math.AP, gr-qc
We show that the regularity of the gravitational metric tensor in spherically symmetric spacetimes cannot be lifted from $C^{0,1}$ to $C^{1,1}$ within the class of $C^{1,1}$ coordinate transformations in a neighborhood of a point of shock wave interaction in General Relativity, without forcing the determinant of the metric tensor to vanish at the point of interaction. This is in contrast to Israel's Theorem which states that such coordinate transformations always exist in a neighborhood of a point on a smooth single shock surface. The results thus imply that points of shock wave interaction represent a new kind of singularity for perfect fluids evolving in spacetime, singularities that make perfectly good sense physically, that can form from the evolution of smooth initial data, but at which the spacetime is not locally Minkowskian under any coordinate transformation. In particular, at such singularities, delta function sources in the second derivatives of the gravitational metric tensor exist in all coordinate systems of the $C^{1,1}$ atlas, but due to cancelation, the curvature tensor remains uniformly bounded.
• ### No Regularity Singularities Exist at Points of General Relativistic Shock Wave Interaction between Shocks from Different Characteristic Families(1506.04081)

June 12, 2015 math.AP, gr-qc
We give a constructive proof that coordinate transformations exist which raise the regularity of the gravitational metric tensor from $C^{0,1}$ to $C^{1,1}$ in a neighborhood of points of shock wave collision in General Relativity. The proof applies to collisions between shock waves coming from different characteristic families, in spherically symmetric spacetimes. Our result here implies that spacetime is locally inertial and corrects an error in our earlier RSPA-publication, which led us to the false conclusion that such coordinate transformations, which smooth the metric to $C^{1,1}$, cannot exist. Thus, our result implies that regularity singularities, (a type of mild singularity introduced in our RSPA-paper), do not exist at points of interacting shock waves from different families in spherically symmetric spacetimes. Our result generalizes Israel's celebrated 1966 paper to the case of such shock wave interactions but our proof strategy differs fundamentally from that used by Israel and is an extension of the strategy outlined in our original RSPA-publication. Whether regularity singularities exist in more complicated shock wave solutions of the Einstein Euler equations remains open.
• ### The 'Regularity Singularity' at Points of General Relativistic Shock Wave Interaction(1112.1803)

Sept. 18, 2014 gr-qc
A proof that a new kind of non-removable {\it "regularity singularity"} forms when two shock waves collide within the theory of General Relativity, was first announced in ProcRoySoc A \cite{ReintjesTemple}. In the present paper we give complete proofs of the claims in \cite{ReintjesTemple} and extend the results on the regularity of the Einstein curvature tensor to the full Riemann curvature tensor. The main result is that, in a neighborhood of a point where two shock waves collide in a spherically symmetric spacetime, the gravitational metric tensor cannot be lifted from C0,1 to C1 within the class of C1,1 coordinate transformations. This contrasts Israel's celebrated theorem \cite{Israel}, which states that around each point on a {\it single} shock surface there exist a coordinate system in which the metric is C1,1 regular. Moreover, at points of shock wave interaction, delta function sources exist in the second derivatives of the gravitational metric tensor in all coordinate systems of the C1,1-atlas, but due to cancellation, the Einstein and Riemann curvature tensor remain sup-norm bounded. We conclude that points of shock wave interaction are a new kind of spacetime singularity, (which we name "regularity singularity"), singularities that can form from the evolution of smooth initial data for perfect fluids and that lie in physical spacetime, but at such points {\it locally inertial} coordinates fail to exist.
• ### The Dirac Equation and the Normalization of its Solutions in a Closed Friedmann-Robertson-Walker Universe(0901.0602)

Feb. 6, 2013 math-ph, math.MP, gr-qc
We set up the Dirac equation in a Friedmann-Robertson-Walker geometry and separate the spatial and time variables. In the case of a closed universe, the spatial dependence is solved explicitly, giving rise to a discrete set of solutions. We compute the probability integral and analyze a space-time normalization integral. This analysis allows us to introduce the fermionic projector in a closed Friedmann-Robertson-Walker geometry and to specify its global normalization as well as its local form.