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 and fixed-point techniques for the Hamiltonian constraint, Riesz-Schauder theory for the momentum constraint, together with a topological fixed-point argument for the coupled system. Although we present general existence results for non-CMC weak solutions when the rescaled background metric is in any of the three Yamabe classes, an important new feature of the results we present for the positive Yamabe class is the absence of the near-CMC assumption, if 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, and if the energy density of matter is not identically zero. 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, so that it can be arbitrarily far from constant, giving what is apparently the first existence results for non-CMC solutions without the near-CMC assumption. Using a coupled topological fixed-point argument that avoids near-CMC conditions, we establish existence of coupled non-CMC weak solutions with (positive) conformal factor φ ∈ W s, p , where p ∈ (1, ∞) and s( p) ∈ (1 + 3/ p, ∞). In the CMC case, the regularity can be reduced to p ∈ (1, ∞) and s( p) ∈ (3/ p, ∞) ∩ [1, ∞). In the case of s = 2, we reproduce the CMC existence results of , and in the case p = 2, we reproduce the CMC existence results of Maxwell [33], but with a proof that goes through the same analysis framework that we use to obtain the non-CMC results. The non-CMC results on closed manifolds here 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

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 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.

We consider a general family of regularized Navier-Stokes and Magnetohydrodynamics (MHD) models on n-dimensional smooth compact Riemannian manifolds with or without boundary, with n ≥ 2. This family captures most of the specific regularized models that have been proposed and analyzed in the literature, including the Navier-Stokes equations, the Navier-Stokes-α model, the Leray-α model, the modified Leray-α model, the simplified Bardina model, the Navier-Stokes-Voight model, the Navier-Stokes-α-like models, and certain MHD models, in addition to representing a larger 3-parameter family of models not previously analyzed. This family of models has become particularly important in the development of mathematical and computational models of turbulence. We give a unified analysis of the entire three-parameter family of models using only abstract mapping properties of the principal dissipation and smoothing operators, and then use assumptions about the specific form of the parameterizations, leading to specific models, only when necessary to obtain the sharpest results. We first establish existence and regularity results, and under appropriate assumptions show uniqueness and stability. We then establish some results for singular perturbations, which as special cases include the inviscid limit of viscous models and the α → 0 limit in α models. Next, we show existence of a global attractor for the general model, and then give estimates for the dimension of the global attractor and the number of degrees of freedom in terms of a generalized Grashof number. We then establish some results on determining operators for the two distinct subfamilies of dissipative and non-dissipative models. We finish by deriving some new length-scale estimates in terms of the Reynolds number, which allows for recasting the Grashof number-based results into analogous statements involving the Reynolds number. In addition to recovering most of the existing results on existence, regularity, uniqueness, stability, attractor existence, and dimension, and determining operators for the well-known specific members of this family of regularized Navier-Stokes and MHD models, the framework we develop also makes possible a number of new results for all models in the general family, including some new results for several of the well-studied models. Analyzing the more abstract generalized model allows for a simpler analysis that helps bring out the core common structure of the various regularized Navier-Stokes and magnetohydrodynamics models, and also helps clarify the common features of many of the existing and new results. To make the paper reasonably self-contained, we include supporting material on spaces involving time, Sobolev spaces, and Grönwall-type inequalities.

Abstract. In this paper, an adaptive wavelet method for solving linear operator equations is constructed that is a modification of the method from [Math. Comp, 70 (2001), pp. 27-75] by Cohen, Dahmen and DeVore, in the sense that there is no recurrent coarsening of the iterands. Despite this, it will be shown that the method has optimal computational complexity. Numerical results for a simple model problem indicate that the new method is more efficient than an existing alternative adaptive wavelet method.

We establish new existence results for the Einstein constraint equations for mean extrinsic curvature arbitrarily far from constant. The results hold for rescaled background metric in the positive Yamabe class, with freely specifiable parts of the data sufficiently small, and with matter energy density not identically zero. Two technical advances make these results possible: A new topological fixed-point argument without smallness conditions on spatial derivatives of the mean extrinsic curvature, and a new global supersolution construction for the Hamiltonian constraint that is similarly free of such conditions. The results are presented for strong solutions on closed manifolds, but also hold for weak solutions and for compact manifolds with boundary. These results are apparently the first that do not require smallness conditions on spatial derivatives of the mean extrinsic curvature. Introduction. The question of existence of solutions to the Lichnerowicz-York conformally rescaled Einstein's constraint equations, for an arbitrarily prescribed mean extrinsic curvature, has remained an open problem for more than thirty years [1]. The rescaled equations, which are a coupled nonlinear elliptic system consisting of the scalar Hamiltonian constraint coupled to the vector momentum constraint, have been studied almost exclusively in the setting of constant mean extrinsic curvature, known as the CMC case. In the CMC case the equations decouple, and it has long been known how to establish existence of solutions. The case of CMC data on closed (compact without boundary) manifolds was completely resolved by several authors over the last twenty years, with the last remaining subcases resolved and summarized by Isenberg in [2]. Over the last ten years, other CMC cases were studied and resolved; see the survey [3].