Related papers: Orders on sets of conformal classes applied to Bar…
We study the Cauchy problem for a system of cubic nonlinear Klein-Gordon equations in one space dimension. Under a suitable structural condition on the nonlinearity, we will show that the solution exists globally and decays of the order…
In this work we establish a version of the Bartnik Splitting Conjecture in the context of Lorentzian length spaces. In precise terms, we show that under an appropriate timelike completeness condition, a globally hyperbolic Lorentzian length…
We consider globally hyperbolic spacetimes with compact Cauchy surfaces in a setting compatible with the presence of a positive cosmological constant. More specifically, for 3+1 dimensional spacetimes which satisfy the null energy condition…
We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the…
It is shown that if a space-time has non-compact Cauchy surface, then its topological, differentiable, and causal structure are completely determined by a class of compact subsets of its Cauchy surface. Since causal structure determines its…
We extend Beem's three completeness notions -- finite compactness, timelike Cauchy completeness, and Condition A -- originally defined for spacetimes, to Lorentzian length spaces and study their relationships. We prove that finite…
This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…
We present a high-order compact finite difference approach for a class of parabolic partial differential equations with time and space dependent coefficients as well as with mixed second-order derivative terms in $n$ spatial dimensions.…
We introduce the concept of improvability of the dominant energy scalar, and we derive strong consequences of non-improvability. In particular, we prove that a non-improvable initial data set without local symmetries must sit inside a null…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…
In the paper, we describe all total orders $\succ$ compatible with addition on additive subsemigroup $S$ of finite dimensional spaces over rational numbers. We provide a necessary and sufficient condition under which a finitely generated…
The optimal Orlicz target space is exhibited for embeddings of fractional-order Orlicz-Sobolev spaces in $\mathbb R^n$. An improved embedding with an Orlicz-Lorentz target space, which is optimal in the broader class of all…
The standard theory of Banach spaces is built upon the notions of vector space, triangle inequality and Cauchy completeness. Here we propose a `hyperbolic' variant of this `elliptic' framework where general linear combinations are replaced…
We construct a weakly compact convex subset of $\ell^2$ with nonempty interior that has an isolated maximal element, with respect to the lattice order $\ell _+^2$. Moreover, the maximal point cannot be supported by any strictly positive…
We study a class of simple dimension groups in which the cyclic subgroup generated by the order unit is replaced by a copy of $\mathbb{Z}^{2}$ satisfying some strict conditions. Our main results are necessary and sufficient conditions on a…
Building on the locality conditions for first-order logic by Hanf and Gaifman, Barthelmann and Schwentick showed in 1999 that every first-order formula is equivalent to a formula of the shape $\exists x_1 \dotsc \exists x_k \forall y\,\phi$…
This paper focuses on second-order necessary optimality conditions for constrained optimization problems on Banach spaces. For problems in the classical setting, where the objective function is $C^2$-smooth, we show that strengthened…
In the first part of the paper, we study conformal groups that act properly discontinuously and cocompactly on simply connected, non-flat homogeneous plane waves. We show that proper cocompact similarity actions that are not isometric can…
We show that the Cauchy--Born model of a single-species 2-lattice is second order if the atomistic and continuum kinematics are connected in a novel way. Our proof uses a generalization to 2-lattices of the point symmetry of Bravais…