-
Conformal Fields and the Structure of the Space of Solutions of the Einstein Constraint Equations
Authors:
Mike Holst,
David Maxwell,
Rafe Mazzeo
Abstract:
The drift method, introduced by the second author, provides a new formulation of the Einstein constraint equations, either in vacuum or with matter fields. The natural of the geometry underlying this method compensates for its slightly greater analytic complexity over, say, the conformal or conformal thin sandwich methods. We review this theory here and apply it to the study of solutions of the co…
▽ More
The drift method, introduced by the second author, provides a new formulation of the Einstein constraint equations, either in vacuum or with matter fields. The natural of the geometry underlying this method compensates for its slightly greater analytic complexity over, say, the conformal or conformal thin sandwich methods. We review this theory here and apply it to the study of solutions of the constraint equations with non-constant mean curvature. We show that this method reproduces previously known existence results obtained by other methods, and does better in one important regard. Namely, it can be applied even when the underlying metric admits conformal Killing (but not true Killing) vector fields. We also prove that the absence of true Killing fields holds generically.
△ Less
Submitted 29 May, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
When Do Spacetimes Have Constant Mean Curvature Slices?
Authors:
James Dilts,
Michael Holst
Abstract:
Many results in mathematical relativity, including results for both the initial data problem and for the evolution problem, rely on the existence of a constant mean curvature (CMC) Cauchy surface in the underlying spacetime. However, it is known that some spacetimes have no CMC Cauchy surfaces (slices). This is an obstacle for many results and constructions with these types of spacetimes, and is p…
▽ More
Many results in mathematical relativity, including results for both the initial data problem and for the evolution problem, rely on the existence of a constant mean curvature (CMC) Cauchy surface in the underlying spacetime. However, it is known that some spacetimes have no CMC Cauchy surfaces (slices). This is an obstacle for many results and constructions with these types of spacetimes, and is particularly worrisome since it is not known whether spacetimes that do have CMC slices are in any sense generic. In this expository paper, we will discuss the known results about the existence (and non-existence) of CMC slices, examine the evidence for cases which are unknown, and make several conjectures concerning the existence of CMC slices and their generality.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
Numerical Bifurcation Analysis of the Conformal Method
Authors:
James Dilts,
Michael Holst,
Tamara Kozareva,
David Maxwell
Abstract:
The conformal formulation of the Einstein constraint equations has been studied intensively since the modern version of the conformal method was first pub- lished in the early 1970s. Proofs of existence and uniqueness of solutions were limited to the constant mean curvature (CMC) case through the early 90s, with analogous results for the near-CMC case beginning to appear thereafter. In the last de…
▽ More
The conformal formulation of the Einstein constraint equations has been studied intensively since the modern version of the conformal method was first pub- lished in the early 1970s. Proofs of existence and uniqueness of solutions were limited to the constant mean curvature (CMC) case through the early 90s, with analogous results for the near-CMC case beginning to appear thereafter. In the last decade, there has been some limited progress towards understanding the properties of the conformal method for far-from-CMC solutions as well. Although it was initially conceivable that that these far-from-CMC results would lead to a solution theory for the non-CMC case that would mirror the good properties of the CMC and near-CMC cases, examples of bifurcations and of nonexistence of solutions have been since discovered. Nevertheless, the general properties of the conformal method for far-from-CMC data remain unknown. In this article we apply analytic and numerical continuation techniques to the study of the con- formal method, in an attempt to give some insight into what the solution behavior is in the far-from-CMC case in various scenarios.
△ Less
Submitted 6 August, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Sobolev-Slobodeckij Spaces on Compact Manifolds, Revisited
Authors:
A. Behzadan,
M. Holst
Abstract:
In this article we present a coherent rigorous overview of the main properties of Sobolev-Slobodeckij spaces of sections of vector bundles on compact manifolds; results of this type are scattered through the literature and can be difficult to find. A special emphasis has been put on spaces with noninteger smoothness order, and a special attention has been paid to the peculiar fact that for a gener…
▽ More
In this article we present a coherent rigorous overview of the main properties of Sobolev-Slobodeckij spaces of sections of vector bundles on compact manifolds; results of this type are scattered through the literature and can be difficult to find. A special emphasis has been put on spaces with noninteger smoothness order, and a special attention has been paid to the peculiar fact that for a general nonsmooth domain U in Rn, 0<t<1, and 1<p<oo, it is not necessarily true that W(1,p)(U) is continuously embedded in W(t,p)(U). This has dire consequences in the multiplication properties of Sobolev-Slobodeckij spaces and subsequently in the study of Sobolev spaces on manifolds. To the authors' knowledge, some of the proofs, especially those that are pertinent to the properties of Sobolev-Slobodeckij spaces of sections of general vector bundles, cannot be found in the literature in the generality appearing here.
△ Less
Submitted 8 June, 2018; v1 submitted 25 April, 2017;
originally announced April 2017.
-
The Emergence of Gravitational Wave Science: 100 Years of Development of Mathematical Theory, Detectors, Numerical Algorithms, and Data Analysis Tools
Authors:
Michael Holst,
Olivier Sarbach,
Manuel Tiglio,
Michele Vallisneri
Abstract:
On September 14, 2015, the newly upgraded Laser Interferometer Gravitational-wave Observatory (LIGO) recorded a loud gravitational-wave (GW) signal, emitted a billion light-years away by a coalescing binary of two stellar-mass black holes. The detection was announced in February 2016, in time for the hundredth anniversary of Einstein's prediction of GWs within the theory of general relativity (GR)…
▽ More
On September 14, 2015, the newly upgraded Laser Interferometer Gravitational-wave Observatory (LIGO) recorded a loud gravitational-wave (GW) signal, emitted a billion light-years away by a coalescing binary of two stellar-mass black holes. The detection was announced in February 2016, in time for the hundredth anniversary of Einstein's prediction of GWs within the theory of general relativity (GR). The signal represents the first direct detection of GWs, the first observation of a black-hole binary, and the first test of GR in its strong-field, high-velocity, nonlinear regime. In the remainder of its first observing run, LIGO observed two more signals from black-hole binaries, one moderately loud, another at the boundary of statistical significance. The detections mark the end of a decades-long quest, and the beginning of GW astronomy: finally, we are able to probe the unseen, electromagnetically dark Universe by listening to it. In this article, we present a short historical overview of GW science: this young discipline combines GR, arguably the crowning achievement of classical physics, with record-setting, ultra-low-noise laser interferometry, and with some of the most powerful developments in the theory of differential geometry, partial differential equations, high-performance computation, numerical analysis, signal processing, statistical inference, and data science. Our emphasis is on the synergy between these disciplines, and how mathematics, broadly understood, has historically played, and continues to play, a crucial role in the development of GW science. We focus on black holes, which are very pure mathematical solutions of Einstein's gravitational-field equations that are nevertheless realized in Nature, and that provided the first observed signals.
△ Less
Submitted 18 July, 2016;
originally announced July 2016.
-
Rough solutions of the Einstein Constraint Equations on Asymptotically Flat Manifolds without Near-CMC Conditions
Authors:
A. Behzadan,
M. Holst
Abstract:
In this article we consider the conformal decomposition of the Einstein constraint equations introduced by Lichnerowicz, Choquet-Bruhat, and York, on asymptotically flat (AF) manifolds. Using the non-CMC fixed-point framework developed in 2009 by Holst, Nagy, and Tsogtgerel and by Maxwell, we establish existence of coupled non-CMC weak solutions for AF manifolds. As is the case for the analogous e…
▽ More
In this article we consider the conformal decomposition of the Einstein constraint equations introduced by Lichnerowicz, Choquet-Bruhat, and York, on asymptotically flat (AF) manifolds. Using the non-CMC fixed-point framework developed in 2009 by Holst, Nagy, and Tsogtgerel and by Maxwell, we establish existence of coupled non-CMC weak solutions for AF manifolds. As is the case for the analogous existence results for non-CMC solutions on closed manifolds and compact manifolds with boundary, our results here avoid the near-CMC assumption by assuming that the freely specifiable part of the data given by the traceless-transverse part of the rescaled extrinsic curvature and the matter fields are sufficiently small. The non-CMC rough solutions results here for AF manifolds may be viewed as extending to AF manifolds the 2009 and 2014 results on rough far-from-CMC positive Yamabe solutions for closed and compact manifolds with boundary. Similarly, our results may be viewed as extending the recent 2014 results for AF manifolds of Dilts, Isenberg, Mazzeo and Meier, and of Holst and Meier; while their results are restricted to smoother background metrics and data, the results here allow the regularity to be extended down to the minimum regularity allowed by the background metric and the matter, further completing the rough solution program initiated by Maxwell and Choquet-Bruhat in 2004.
△ Less
Submitted 25 April, 2017; v1 submitted 17 April, 2015;
originally announced April 2015.
-
Non-CMC Solutions to the Einstein Constraint Equations on Asymptotically Euclidean Manifolds with Apparent Horizon Boundaries
Authors:
Michael Holst,
Caleb Meier
Abstract:
In this article we further develop the solution theory for the Einstein constraint equations on an n-dimensional, asymptotically Euclidean manifold M with interior boundary S. Building on recent results for both the asymptotically Euclidean and compact with boundary settings, we show existence of far-from-CMC and near-CMC solutions to the conformal formulation of the Einstein constraints when nonl…
▽ More
In this article we further develop the solution theory for the Einstein constraint equations on an n-dimensional, asymptotically Euclidean manifold M with interior boundary S. Building on recent results for both the asymptotically Euclidean and compact with boundary settings, we show existence of far-from-CMC and near-CMC solutions to the conformal formulation of the Einstein constraints when nonlinear Robin boundary conditions are imposed on S, similar to those analyzed previously by Dain (2004), by Maxwell (2004, 2005), and by Holst and Tsogtgerel (2013) as a model of black holes in various CMC settings, and by Holst, Meier, and Tsogtgerel (2013) in the setting of far-from-CMC solutions on compact manifolds with boundary. These "marginally trapped surface" Robin conditions ensure that the expansion scalars along null geodesics perpendicular to the boundary region S are non-positive, which is considered the correct mathematical model for black holes in the context of the Einstein constraint equations. Assuming a suitable form of weak cosmic censorship, the results presented in this article guarantee the existence of initial data that will evolve into a space-time containing an arbitrary number of black holes. A particularly important feature of our results are the minimal restrictions we place on the mean curvature, giving both near- and far-from-CMC results that are new.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
Non-CMC Solutions of the Einstein Constraint Equations on Compact Manifolds with Apparent Horizon Boundaries
Authors:
M. Holst,
C. Meier,
G. Tsogtgerel
Abstract:
In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reasona…
▽ More
In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reasonable assumptions on the data we prove existence of both near- and far-from-constant mean curvature solutions for a class of Robin boundary conditions commonly used in the literature for modeling black holes, with a third existence result for constant mean curvature (CMC) appearing as a special case. Dain and Maxwell addressed initial data engineering for space-times that evolve to contain black holes, determining solutions to the conformal formulation on an asymptotically Euclidean manifold in the CMC setting, with interior boundary conditions representing excised interior black hole regions. Holst and Tsogtgerel compiled the interior boundary results covered by Dain and Maxwell, and then developed general interior conditions to model the apparent horizon boundary conditions of Dain and Maxwell for compact manifolds with boundary, and subsequently proved existence of solutions to the Lichnerowicz equation on compact manifolds with such boundary conditions. This paper picks up where Holst and Tsogtgerel left off, addressing the general non-CMC case for compact manifolds with boundary. As in our previous articles, our focus here is again on low regularity data and on the interaction between different types of boundary conditions. While our work here serves primarily to extend the solution theory for the compact with boundary case, we also develop several technical tools that have potential for use with the asymptotically Euclidean case.
△ Less
Submitted 20 October, 2013; v1 submitted 8 October, 2013;
originally announced October 2013.
-
The Lichnerowicz equation on compact manifolds with boundary
Authors:
Michael Holst,
Gantumur Tsogtgerel
Abstract:
In this article we initiate a systematic study of the well-posedness theory of the Einstein constraint equations on compact manifolds with boundary. This is an important problem in general relativity, and it is particularly important in numerical relativity, as it arises in models of Cauchy surfaces containing asymptotically flat ends and/or trapped surfaces. Moreover, a number of technical obstac…
▽ More
In this article we initiate a systematic study of the well-posedness theory of the Einstein constraint equations on compact manifolds with boundary. This is an important problem in general relativity, and it is particularly important in numerical relativity, as it arises in models of Cauchy surfaces containing asymptotically flat ends and/or trapped surfaces. Moreover, a number of technical obstacles that appear when developing the solution theory for open, asymptotically Euclidean manifolds have analogues on compact manifolds with boundary. As a first step, here we restrict ourselves to the Lichnerowicz equation, also called the Hamiltonian constraint equation, which is the main source of nonlinearity in the constraint system. The focus is on low regularity data and on the interaction between different types of boundary conditions, which has not been carefully analyzed before. In order to develop a well-posedness theory that mirrors the existing theory for the case of closed manifolds, we first generalize the Yamabe classification to nonsmooth metrics on compact manifolds with boundary. We then extend a result on conformal invariance to manifolds with boundary, and prove a uniqueness theorem. Finally, by using the method of sub- and super-solutions (order-preserving map iteration), we establish several existence results for a large class of problems covering a broad parameter regime, which includes most of the cases relevant in practice.
△ Less
Submitted 6 September, 2013; v1 submitted 7 June, 2013;
originally announced June 2013.
-
An Alternative Between Non-unique and Negative Yamabe Solutions to the Conformal Formulation of the Einstein Constraint Equations
Authors:
Michael Holst,
Caleb Meier
Abstract:
The conformal method has been effective for parametrizing solutions to the Einstein constraint equations on closed 3-manifolds. However, it is still not well-understood; for example, existence of solutions to the conformal equations for zero or negative Yamabe metrics is still unknown without the so-called ``CMC'' or ``near-CMC'' assumptions. The first existence results without such assumptions, t…
▽ More
The conformal method has been effective for parametrizing solutions to the Einstein constraint equations on closed 3-manifolds. However, it is still not well-understood; for example, existence of solutions to the conformal equations for zero or negative Yamabe metrics is still unknown without the so-called ``CMC'' or ``near-CMC'' assumptions. The first existence results without such assumptions, termed the ``far-from-CMC'' case, were obtained by Holst, Nagy, and Tsogtgerel in 2008 for positive Yamabe metrics. However, their results are based on topological arguments, and as a result solution uniqueness is not known. Indeed, Maxwell gave evidence in 2011 that far-from-CMC solutions are not unique in certain cases. In this article, we provide further insight by establishing a type of alternative theorem for general far-from-CMC solutions. For a given manifold M that admits a metric of positive scalar curvature and scalar flat metric g(0) with no conformal Killing fields, we first prove existence of an analytic, one-parameter family of metrics g(z) through g(0) such that R(g(z)) = z. Using this family of metrics and given data (tau,sigma,rho,j), we form a one-parameter family of operators F((phi,w),z) whose zeros satisfy the conformal equations. Applying Liapnuov-Schmidt reduction, we determine an analytic solution curve for F((phi,w),z) = 0 through a critical point where the linearization of F((phi,w),z) vanishes. The regularity of this curve, the definition of F((phi,w),z), and the earlier far-from-CMC results of Holst et al. allow us to then prove the following alternative theorem for far-from-CMC solutions: either (1) there exists a z_1 >0 such that (positive Yamabe) solutions to the z_1-parameterized conformal equations are non-unique; or (2) there exists z_2 < 0 such that (negative Yamabe) solutions to the z_2-parameterized conformal equations exist.
△ Less
Submitted 5 June, 2013;
originally announced June 2013.
-
Non-uniqueness of Solutions to the Conformal Formulation
Authors:
Michael Holst,
Caleb Meier
Abstract:
It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based…
▽ More
It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based on degree theory rather than on the (uniqueness-providing) contraction arguments that had been used for all non-CMC existence results prior to 2008. In fact, Maxwell demonstrated in 2011 that solutions are non-unique in the far-from-CMC case for certain types of low-regularity mean curvature. In this article, we investigate uniqueness properties of solutions to the Einstein constraint equations on closed manifolds using tools from bifurcation theory. For positive, constant scalar curvature and constant mean curvature, we first demonstrate existence of a critical energy density for the Hamiltonian constraint with unscaled matter sources. We then show that for this choice of energy density, the linearization of the elliptic system develops a one-dimensional kernel in both the CMC and non-CMC (near and far) cases. Using Liapunov-Schmidt reduction and standard tools from nonlinear analysis, we demonstrate that solutions to the conformal formulation with unscaled data are non-unique by determining an explicit solution curve, and by analyzing its behavior in the neighborhood of a particular solution.
△ Less
Submitted 4 December, 2012; v1 submitted 8 October, 2012;
originally announced October 2012.
-
Generalized Solutions to Semilinear Elliptic PDE with Applications to the Lichnerowicz Equation
Authors:
Michael Holst,
Caleb Meier
Abstract:
In this article we investigate the existence of a solution to a semilinear, elliptic, partial differential equation with distributional coefficients and data. The problem we consider is a generalization of the Lichnerowicz equation that one encounters in studying the constraint equations in general relativity. Our method for solving this problem consists of solving a net of regularized, semilinear…
▽ More
In this article we investigate the existence of a solution to a semilinear, elliptic, partial differential equation with distributional coefficients and data. The problem we consider is a generalization of the Lichnerowicz equation that one encounters in studying the constraint equations in general relativity. Our method for solving this problem consists of solving a net of regularized, semilinear problems with data obtained by smoothing the original, distributional coefficients. In order to solve these regularized problems, we develop a priori pointwise bounds and sub- and super-solutions and then apply a fixed-point argument for order-preserving maps. We then show that the net of solutions obtained through this process satisfies certain decay estimates by determining estimates for the sub- and super-solutions and by utilizing classical, a priori elliptic estimates. The estimates for this net of solutions allow us to regard this collection of functions as a solution in a Colombeau-type algebra. We motivate this Colombeau algebra framework by first solving an ill-posed critical exponent problem. To solve this ill-posed problem, we use a collection of smooth, "approximating" problems and then use the resulting sequence of solutions and a compactness argument to obtain a solution to the original problem. This approach is modeled after the more general Colombeau framework that we develop, and it conveys the potential that solutions in these abstract spaces have for obtaining classical solutions to ill-posed nonlinear problems with irregular data.
△ Less
Submitted 18 March, 2013; v1 submitted 1 December, 2011;
originally announced December 2011.
-
Barrier methods for critical exponent problems in geometric analysis and mathematical physics
Authors:
Jennifer Erway,
Michael Holst
Abstract:
We consider the design and analysis of numerical methods for approximating positive solutions to nonlinear geometric elliptic partial differential equations containing critical exponents. This class of problems includes the Yamabe problem and the Einstein constraint equations, which simultaneously contain several challenging features: high spatial dimension n >= 3, varying (potentially non-smooth)…
▽ More
We consider the design and analysis of numerical methods for approximating positive solutions to nonlinear geometric elliptic partial differential equations containing critical exponents. This class of problems includes the Yamabe problem and the Einstein constraint equations, which simultaneously contain several challenging features: high spatial dimension n >= 3, varying (potentially non-smooth) coefficients, critical (even super-critical) nonlinearity, non-monotone nonlinearity (arising from a non-convex energy), and spatial domains that are typically Riemannian manifolds rather than simply open sets in Rn. These problems may exhibit multiple solutions, although only positive solutions typically have meaning. This creates additional complexities in both the theory and numerical treatment of such problems, as this feature introduces both non-uniqueness as well as the need to incorporate an inequality constraint into the formulation. In this work, we consider numerical methods based on Galerkin-type discretization, covering any standard bases construction (finite element, spectral, or wavelet), and the combination of a barrier method for nonconvex optimization and global inexact Newton-type methods for dealing with nonconvexity and the presence of inequality constraints. We first give an overview of barrier methods in non-convex optimization, and then develop and analyze both a primal barrier energy method for this class of problems. We then consider a sequence of numerical experiments using this type of barrier method, based on a particular Galerkin method, namely the piecewise linear finite element method, leverage the FETK modeling package. We illustrate the behavior of the primal barrier energy method for several examples, including the Yamabe problem and the Hamiltonian constraint.
△ Less
Submitted 2 July, 2011;
originally announced July 2011.
-
Numerical Bifurcation Analysis of Conformal Formulations of the Einstein Constraints
Authors:
M. Holst,
V. Kungurtsev
Abstract:
The Einstein constraint equations have been the subject of study for more than fifty years. The introduction of the conformal method in the 1970's as a parameterization of initial data for the Einstein equations led to increased interest in the development of a complete solution theory for the constraints, with the theory for constant mean curvature (CMC) spatial slices and closed manifolds comple…
▽ More
The Einstein constraint equations have been the subject of study for more than fifty years. The introduction of the conformal method in the 1970's as a parameterization of initial data for the Einstein equations led to increased interest in the development of a complete solution theory for the constraints, with the theory for constant mean curvature (CMC) spatial slices and closed manifolds completely developed by 1995. The first general non-CMC existence result was establish by Holst et al. in 2008, with extensions to rough data by Holst et al. in 2009, and to vacuum spacetimes by Maxwell in 2009. The non-CMC theory remains mostly open; moreover, recent work of Maxwell on specific symmetry models sheds light on fundamental non-uniqueness problems with the conformal method as a parameterization in non-CMC settings. In parallel with these mathematical developments, computational physicists have uncovered surprising behavior in numerical solutions to the extended conformal thin sandwich formulation of the Einstein constraints. In particular, numerical evidence suggests the existence of multiple solutions with a quadratic fold, and a recent analysis of a simplified model supports this conclusion. In this article, we examine this apparent bifurcation phenomena in a methodical way, using modern techniques in bifurcation theory and in numerical homotopy methods. We first review the evidence for the presence of bifurcation in the Hamiltonian constraint in the time-symmetric case. We give a brief introduction to the mathematical framework for analyzing bifurcation phenomena, and then develop the main ideas behind the construction of numerical homotopy, or path-following, methods in the analysis of bifurcation phenomena. We then apply the continuation software package AUTO to this problem, and verify the presence of the fold with homotopy-based numerical methods.
△ Less
Submitted 16 November, 2011; v1 submitted 1 July, 2011;
originally announced July 2011.
-
Far-from-constant mean curvature solutions of Einstein's constraint equations with positive Yamabe metrics
Authors:
M. Holst,
G. Nagy,
G. Tsogtgerel
Abstract:
In this article we develop some new existence results for the Einstein constraint equations using the Lichnerowicz-York conformal rescaling method. The mean extrinsic curvature is taken to be an arbitrary smooth function without restrictions on the size of its spatial derivatives, so that it can be arbitrarily far from constant. The rescaled background metric belongs to the positive Yamabe class…
▽ More
In this article we develop some new existence results for the Einstein constraint equations using the Lichnerowicz-York conformal rescaling method. The mean extrinsic curvature is taken to be an arbitrary smooth function without restrictions on the size of its spatial derivatives, so that it can be arbitrarily far from constant. The rescaled background metric belongs to the positive Yamabe class, and the freely specifiable part of the data given by the traceless-transverse part of the rescaled extrinsic curvature and the matter fields are taken to be sufficiently small, with the matter energy density not identically zero. Using topological fixed-point arguments and global barrier constructions, we then establish existence of solutions to the constraints. Two recent advances in the analysis of the Einstein constraint equations make this result possible: A new type of topological fixed-point argument without smallness conditions on spatial derivatives of the mean extrinsic curvature, and a new construction of global super-solutions for the Hamiltonian constraint that is similarly free of such conditions on the mean extrinsic curvature. For clarity, we present our results only for strong solutions on closed manifolds. However, our results also hold for weak solutions and for other cases such as compact manifolds with boundary; these generalizations will appear elsewhere. The existence results presented here for the Einstein constraints are apparently the first such results that do not require smallness conditions on spatial derivatives of the mean extrinsic curvature.
△ Less
Submitted 12 April, 2008; v1 submitted 7 February, 2008;
originally announced February 2008.
-
Generating Initial Data in General Relativity using Adaptive Finite Element Methods
Authors:
Burak Aksoylu,
David Bernstein,
Stephen Bond,
Michael Holst
Abstract:
The conformal formulation of the Einstein constraint equations is first reviewed, and we then consider the design, analysis, and implementation of adaptive multilevel finite element-type numerical methods for the resulting coupled nonlinear elliptic system. We derive weak formulations of the coupled constraints, and review some new developments in the solution theory for the constraints in the c…
▽ More
The conformal formulation of the Einstein constraint equations is first reviewed, and we then consider the design, analysis, and implementation of adaptive multilevel finite element-type numerical methods for the resulting coupled nonlinear elliptic system. We derive weak formulations of the coupled constraints, and review some new developments in the solution theory for the constraints in the cases of constant mean extrinsic curvature (CMC) data, near-CMC data, and arbitrarily prescribed mean extrinsic curvature data. We then outline some recent results on a priori and a posteriori error estimates for a broad class of Galerkin-type approximation methods for this system which includes techniques such as finite element, wavelet, and spectral methods. We then use these estimates to construct an adaptive finite element method (AFEM) for solving this system numerically, and outline some new convergence and optimality results. We then describe in some detail an implementation of the methods using the FETK software package, which is an adaptive multilevel finite element code designed to solve nonlinear elliptic and parabolic systems on Riemannian manifolds. We finish by describing a simplex mesh generation algorithm for compact binary objects, and then look at a detailed example showing the use of FETK for numerical solution of the constraints.
△ Less
Submitted 7 April, 2009; v1 submitted 21 January, 2008;
originally announced January 2008.
-
Solving the Einstein constraint equations on multi-block triangulations using finite element methods
Authors:
Oleg Korobkin,
Burak Aksoylu,
Michael Holst,
Enrique Pazos,
Manuel Tiglio
Abstract:
In order to generate initial data for nonlinear relativistic simulations, one needs to solve the Einstein constraints, which can be cast into a coupled set of nonlinear elliptic equations. Here we present an approach for solving these equations on three-dimensional multi-block domains using finite element methods. We illustrate our approach on a simple example of Brill wave initial data, with th…
▽ More
In order to generate initial data for nonlinear relativistic simulations, one needs to solve the Einstein constraints, which can be cast into a coupled set of nonlinear elliptic equations. Here we present an approach for solving these equations on three-dimensional multi-block domains using finite element methods. We illustrate our approach on a simple example of Brill wave initial data, with the constraints reducing to a single linear elliptic equation for the conformal factor $ψ$. We use quadratic Lagrange elements on semi-structured simplicial meshes, obtained by triangulation of multi-block grids. In the case of uniform refinement the scheme is superconvergent at most mesh vertices, due to local symmetry of the finite element basis with respect to local spatial inversions. We show that in the superconvergent case subsequent unstructured mesh refinements do not improve the quality of our initial data. As proof of concept that this approach is feasible for generating multi-block initial data in three dimensions, after constructing the initial data we evolve them in time using a high order finite-differencing multi-block approach and extract the gravitational waves from the numerical solution.
△ Less
Submitted 3 June, 2009; v1 submitted 11 January, 2008;
originally announced January 2008.
-
Rough solutions of the Einstein constraints on closed manifolds without near-CMC conditions
Authors:
Michael Holst,
Gabriel Nagy,
Gantumur Tsogtgerel
Abstract:
We consider the conformal decomposition of Einstein's constraint equations introduced by Lichnerowicz and York, on a closed manifold. We establish existence of non-CMC weak solutions using a combination of a priori estimates for the individual Hamiltonian and momentum constraints, barrier constructions for the Hamiltonian constraint, and topological fixed-point arguments. An important new featur…
▽ More
We consider the conformal decomposition of Einstein's constraint equations introduced by Lichnerowicz and York, on a closed manifold. We establish existence of non-CMC weak solutions using a combination of a priori estimates for the individual Hamiltonian and momentum constraints, barrier constructions for the Hamiltonian constraint, and topological fixed-point arguments. An important new feature of these results is the absense of the near-CMC assumption when the rescaled background metric is in the positive Yamabe class, if the freely specifiable part of the data given by the matter fields (if present) and the traceless-transverse part of the rescaled extrinsic curvature are taken to be sufficiently small. In this case, the mean extrinsic curvature can be taken to be an arbitrary smooth function without restrictions on the size of its spatial derivatives, giving what are apparently the first non-CMC existence results without the near-CMC assumption. Standard bootstrapping arguments to increase the regularity of the conformal factor are blocked by the use of a weak background metric. In the CMC case, we recover Maxwell's rough solution results as a special case. Our results extend the 1996 non-CMC result of Isenberg and Moncrief in three ways: (1) the near-CMC assumption is removed in the case of the positive Yamabe class; (2) regularity is extended down to the maximum allowed by the background metric and the matter; and (3) the result holds for all three Yamabe classes. This last extension was also accomplished recently by Allen, Clausen and Isenberg, although their result is restricted to the near-CMC case and to smoother background metrics and data.
△ Less
Submitted 29 August, 2008; v1 submitted 5 December, 2007;
originally announced December 2007.
-
Rough solutions of the Einstein constraint equations with nonconstant mean curvature
Authors:
M. Holst,
J. Kommemi,
G. Nagy
Abstract:
We consider the conformal decomposition of Einstein's constraint equations introduced by Lichnerowicz and York, on a compact manifold with boundary. We use order relations on appropriate Banach spaces to derive weak solution generalizations of known sub- and super-solutions (barriers) for the Hamiltonian constraint. The barriers are combined with variational methods to establish existence of sol…
▽ More
We consider the conformal decomposition of Einstein's constraint equations introduced by Lichnerowicz and York, on a compact manifold with boundary. We use order relations on appropriate Banach spaces to derive weak solution generalizations of known sub- and super-solutions (barriers) for the Hamiltonian constraint. The barriers are combined with variational methods to establish existence of solutions to the Hamiltonian constraint in the intersection of the space of essentially bounded functions and the Sobolev space H1. The result is established for scalar curvature R of the background metric having any sign; non-negative R requires additional positivity assumptions either on the matter energy density or on the trace-free divergence-free part of the extrinsic curvature. Although the formulation is different, the result can be viewed as lowering the regularity of the recent result of Maxwell on rough CMC solutions. We also establish existence of non-CMC solutions of the Hamiltonian and momentum constraint equations. The result is obtained using fixed-point iteration and compactness arguments directly, rather than by building a contraction map. The non-CMC result can be viewed as a type of extension of the regularity of the 1996 non-CMC result of Isenberg and Moncrief to lower regularity and to scalar curvature R having any sign.
△ Less
Submitted 27 August, 2007; v1 submitted 24 August, 2007;
originally announced August 2007.
-
Optimal Constraint Projection for Hyperbolic Evolution Systems
Authors:
Michael Holst,
Lee Lindblom,
Robert Owen,
Harald P. Pfeiffer,
Mark A. Scheel,
Lawrence E. Kidder
Abstract:
Techniques are developed for projecting the solutions of symmetric hyperbolic evolution systems onto the constraint submanifold (the constraint-satisfying subset of the dynamical field space). These optimal projections map a field configuration to the ``nearest'' configuration in the constraint submanifold, where distances between configurations are measured with the natural metric on the space…
▽ More
Techniques are developed for projecting the solutions of symmetric hyperbolic evolution systems onto the constraint submanifold (the constraint-satisfying subset of the dynamical field space). These optimal projections map a field configuration to the ``nearest'' configuration in the constraint submanifold, where distances between configurations are measured with the natural metric on the space of dynamical fields. The construction and use of these projections is illustrated for a new representation of the scalar field equation that exhibits both bulk and boundary generated constraint violations. Numerical simulations on a black-hole background show that bulk constraint violations cannot be controlled by constraint-preserving boundary conditions alone, but are effectively controlled by constraint projection. Simulations also show that constraint violations entering through boundaries cannot be controlled by constraint projection alone, but are controlled by constraint-preserving boundary conditions. Numerical solutions to the pathological scalar field system are shown to converge to solutions of a standard representation of the scalar field equation when constraint projection and constraint-preserving boundary conditions are used together.
△ Less
Submitted 5 October, 2004; v1 submitted 2 July, 2004;
originally announced July 2004.
