The Stokes Complex for Virtual Elements with Application to Navier–Stokes Flows

In the present paper, we investigate the underlying Stokes complex structure of the Virtual Element Method for Stokes and Navier–Stokes introduced in previous papers by the same authors, restricting our attention to the two dimensional case. We introduce a Virtual Element space $${\varPhi }_h \subset H^2({\varOmega })$$ Φ h ⊂ H 2 ( Ω ) and prove that the triad $$\{{\varPhi }_h, {\varvec{V}}_h, Q_h\}$$ { Φ h , V h , Q h } (with $${\varvec{V}}_h$$ V h and $$Q_h$$ Q h denoting the discrete velocity and pressure spaces) is an exact Stokes complex. Furthermore, we show the computability of the associated differential operators in terms of the adopted degrees of freedom and explore also a different discretization of the convective trilinear form. The theoretical findings are supported by numerical tests.

Uniqueness of spacelike hypersurfaces with constant higher order mean curvature in generalized Robertson–Walker spacetimes

In this paper we study the problem of uniqueness for spacelike hypersurfaces with constant higher order mean curvature in generalized Robertson–Walker (GRW) spacetimes. In particular, we consider the following question: under what conditions must a compact spacelike hypersurface with constant higher order mean curvature in a spatially closed GRW spacetime be a spacelike slice? We prove that this happens, essentially, under the so callednull convergence condition. Our approach is based on the use of the Newton transformations (and their associated differential operators) and the Minkowski formulae for spacelike hypersurfaces.

SMOOTH PROBABILITY MEASURES AND ASSOCIATED DIFFERENTIAL OPERATORS

We compare different notions of differentiability of a measure along a vector field on a locally convex space. We consider in the L2-space of a differentiable measure the analog of the classical concepts of gradient, divergence and Laplacian (which coincides with the Ornstein–Uhlenbeck operator in the Gaussian case). We use these operators for the extension of the basic results of Malliavin and Stroock on the smoothness of finite dimensional image measures under certain nonsmooth mappings to the case of non-Gaussian measures. The proof of this extension is quite straight forward and does not use any Chaos-decomposition. Finally, the role of this Laplacian in the procedure of quantization of anharmonic oscillators is discussed.