Searcharxiv⌕ Search

arXiv subjects

Roland Steinbauer

Publications and source records attributed to Roland Steinbauer.

At least 37 records · Page 2Linked to original sources
arXiv2018

The Hawking-Penrose singularity theorem for $C^{1,1}$-Lorentzian metrics

We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these weak conditions, causal geodesics necessarily become non-maximising. This requires a detailed analysis of the matrix Riccati equation for the approximating metrics, which may be of independent interest.

math-ph↗
arXiv2018

On geodesics in low regularity

We consider geodesics in both Riemannian and Lorentzian manifolds with metrics of low regularity. We discuss existence of extremal curves for continuous metrics and present several old and new examples that highlight their subtle interrelation with solutions of the geodesic equations. Then we turn to the initial value problem for geodesics for locally Lipschitz continuous metrics and generalize recent results on existence, regularity and uniqueness of solutions in the sense of Filippov.

math-ph↗
arXiv2017

Geodesics in nonexpanding impulsive gravitational waves with $Λ$, II

We investigate all geodesics in the entire class of nonexpanding impulsive gravitational waves propagating in an (anti-)de Sitter universe using the distributional metric. We extend the regularization approach of part I, [SSLP16] to a full nonlinear distributional analysis within the geometric theory of generalized functions. We prove global existence and uniqueness of geodesics that cross the impulsive wave and hence geodesic completeness in full generality for this class of low regularity spacetimes. This, in particular, prepares the ground for a mathematically rigorous account on the 'physical equivalence' of the continuous with the distributional `from' of the metric.

math-ph↗
arXiv2017

Penrose junction conditions extended: impulsive waves with gyratons

We generalize the classical junction conditions for constructing impulsive gravitational waves by the Penrose "cut and paste" method. Specifically, we study nonexpanding impulses which propagate in spaces of constant curvature with any value of the cosmological constant (that is Minkowski, de Sitter, or anti-de Sitter universes) when additional off-diagonal metric components are present. Such components encode a possible angular momentum of the ultra-relativistic source of the impulsive wave - the so called gyraton. We explicitly derive and analyze a specific transformation that relates the distributional form of the metric to a new form which is (Lipschitz) continuous. Such a transformation automatically implies an extended version of the Penrose junction conditions. It turns out that the conditions for identifying points of the background spacetime across the impulse are the same as in the original Penrose "cut and paste" construction, but their derivatives now directly represent the influence of the gyraton on the axial motion of test particles. Our results apply both for vacuum and nonvacuum solutions of Einstein's field equations, and can also be extended to other theories of gravity.

gr-qc↗
arXiv2016

The global uniqueness and $C^1$-regularity of geodesics in expanding impulsive gravitational waves

We study geodesics in the complete family of expanding impulsive gravitational waves propagating in spaces of constant curvature, that is Minkowski, de Sitter and anti-de Sitter universes. Employing the continuous form of the metric we rigorously prove existence and global uniqueness of continuously differentiable geodesics (in the sense of Filippov) and study their interaction with the impulsive wave. Thereby we justify the "$C^1$-matching procedure" used in the literature to derive their explicit form.

gr-qc↗
arXiv2016

Completeness of general pp-wave spacetimes and their impulsive limit

We investigate geodesic completeness in the full family of pp-wave or Brinkmann spacetimes in their extended as well as in their impulsive form. This class of geometries contains the recently studied gyratonic pp-waves, modelling the exterior field of a spinning beam of null particles, as well as NPWs, which generalise classical pp-waves by allowing for a general wave surface. The problem of geodesic completeness reduces to the question of completeness of trajectories on a Riemannian manifold under an external force field. Building upon respective recent results we derive completeness criteria in terms of the spatial asymptotics of the profile function in the extended case. In the impulsive case we use a fixed point argument to show that irrespective of the behaviour of the profile function all geometries in the class are complete.

gr-qc↗
arXiv2016

Geodesics in nonexpanding impulsive gravitational waves with $Λ$, Part I

We investigate the geodesics in the entire class of nonexpanding impulsive gravitational waves propagating in an (anti-)de Sitter universe using the distributional form of the metric. Employing a 5-dimensional embedding formalism and a general regularisation technique we prove existence and uniqueness of geodesics crossing the wave impulse leading to a completeness result. We also derive the explicit form of the geodesics thereby confirming previous results derived in a heuristic approach.

gr-qc↗
arXiv2015

Hawking's singularity theorem for $C^{1,1}$-metrics

We provide a detailed proof of Hawking's singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality theory and is based on regularisation techniques adapted to the causal structure.

gr-qc↗
arXiv2015

Geodesic completeness of generalized space-times

We define the notion of geodesic completeness for semi-Riemannian metrics of low regularity in the framework of the geometric theory of generalized functions. We then show completeness of a wide class of impulsive gravitational wave space-times.

math.DG↗
arXiv2015

The global existence, uniqueness and C^1-regularity of geodesics in nonexpanding impulsive gravitational waves

We study geodesics in the complete family of nonexpanding impulsive gravitational waves propagating in spaces of constant curvature, that is Minkowski, de Sitter and anti-de Sitter universes. Employing the continuous form of the metric we prove existence and uniqueness of continuously differentiable geodesics (in the sense of Filippov) and use a C^1-matching procedure to explicitly derive their form.

gr-qc↗
arXiv2014

Gyratonic pp-waves and their impulsive limit

We investigate a class of gravitational pp-waves which represent the exterior vacuum field of spinning particles moving with the speed of light. Such exact spacetimes are described by the original Brinkmann form of the pp-wave metric including the often neglected off-diagonal terms. We put emphasis on a clear physical and geometrical interpretation of these off-diagonal metric components. We explicitly analyze several new properties of these spacetimes associated with the spinning character of the source, such as rotational dragging of frames, geodesic deviation, impulsive limits and the corresponding behavior of geodesics.

gr-qc↗
arXiv2014

The exponential map of a $C^{1,1}$-metric

Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combined with methods from comparison geometry.

math.DG↗
arXiv2014

The regularity of geodesics in impulsive pp-waves

We consider the geodesic equation in impulsive pp-wave space-times in Rosen form, where the metric is of Lipschitz regularity. We prove that the geodesics (in the sense of Caratheodory) are actually continuously differentiable, thereby rigorously justifying the $C^1$-matching procedure which has been used in the literature to explicitly derive the geodesics in space-times of this form.

gr-qc↗
arXiv2013

On the geometry of impulsive gravitational waves

We describe impulsive gravitational pp-waves entirely in the distributional picture. Applying Colombeau's nonlinear framework of generalized functions we handle the formally ill-defined products of distributions which enter the geodesic as well as the geodesic deviation equation. Using a universal regularization procedure we explicitly derive regularization independent distributional limits. In the special case of impulsive plane waves we compare our results with the particle motion derived from the continuous form of the metric.

gr-qc↗
arXiv2012

On the completeness of impulsive gravitational wave space-times

We consider a class of impulsive gravitational wave space-times, which generalize impulsive pp-waves. They are of the form $M=N\times\mathbb{R}^2_1$, where $(N,h)$ is a Riemannian manifold of arbitrary dimension and $M$ carries the line element $ds^2=dh^2+ 2dudv+f(x)δ(u)du^2$ with $dh^2$ the line element of $N$ and $δ$ the Dirac measure. We prove a completeness result for such space-times $M$ with complete Riemannian part $N$.

math-ph↗
arXiv2012

Wave equations on non-smooth space-times

We consider wave equations on Lorentzian manifolds in case of low regularity. We first extend the classical solution theory to prove global unique solvability of the Cauchy problem for distributional data and right hand side on smooth globally hyperbolic space-times. Then we turn to the case where the metric is non-smooth and present a local as well as a global existence and uniqueness result for a large class of Lorentzian manifolds with a weakly singular, locally bounded metric in Colombeau's algebra of generalized functions.

math.AP↗