Related papers: Virtual resolutions of points in $\mathbb{P}^1 \ti…
We prove a global result in time for the initial value problem for the relativistic Boltzmann equation on the flat Robertson-Walker sapace time, in the functional framework appropriate to the coupling with Einstein's equations. We had…
We consider equations of M\"uller-Israel-Stewart type describing a relativistic viscous fluid with bulk viscosity in four-dimensional Minkowski space. We show that there exists a class of smooth initial data that are localized perturbations…
Let $K$ be a number field and $S$ a finite set of places of $K$ that contains all of the archimedean places. Let $\varphi: \mathbb{P}^1 \to \mathbb{P}^1$ be a rational map of degree $d \geq 2$ defined over $K$. Given $\alpha \in…
Let P^n denote the n-dimensional projective space defined over the algebraic closure of a finite field F_q, let V contained P^n be a complete intersection defined over F_q of dimension r and singular locus of dimension at most s, and let…
We apply verified numerics to the Nirenberg problem, proving that a genuine solution exists near two given computer-generated approximate solutions. This proves existence of a solution for a particular prescribed curvature that was…
We prove the existence of fixed points of p-tupling renormalization operators for interval and circle mappings having a critical point of arbitrary real degree r > 1. Some properties of the resulting maps are studied: analyticity,…
We prove, for the relativistic Boltzmann equation on a Bianchi type I space-time, a global existence and uniqueness theorem, for arbitrarily large initial data.
When solving the Poisson equation on honeycomb hexagonal grids, we show that the $P_1$ virtual element is three-order superconvergent in $H^1$-norm, and two-order superconvergent in $L^2$ and $L^\infty$ norms. We define a local post-process…
Recently M. Kreck introduced a class of stratified spaces called p-stratifolds [M. Kreck, Stratifolds, Preprint]. He defined and investigated resolutions of p-stratifolds analogously to resolutions of algebraic varieties. In this note we…
We investigate large time existence of solutions of the Navier-Stokes-Boussinesq equations with spatially almost periodic large data when the density stratification is sufficiently large. In 1996, Kimura and Herring \cite{KH} examined…
We study a boundary-value quasilinear elliptic problem on a generic time scale. Making use of the fixed-point index theory, sufficient conditions are given to obtain existence, multiplicity, and infinite solvability of positive solutions.
We improve a bound due to the second author on number of rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields and look at families of surfaces that achieve or nearly achieve this bound, for which we compute their exact…
The main objective of this article is to provide an alternative approach to the central result of [Eldred, A. Anthony, Kirk, W. A., Veeramani, P., Proximal normal structure and relatively nonexpansive mappings, Studia Math., vol 171(3),…
We have developed in the past several algorithms with intrinsic complexity bounds for the problem of point finding in real algebraic varieties. Our aim here is to give a comprehensive presentation of the geometrical tools which are…
We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be…
In this paper we determine the value of the best constants in the 2-uniform PL-convexity estimates of $\mathbb C$. This solves a problem posed by W. J. Davis, D. J. H. Garling and N. Tomczak-Jaegermann.
We study the number of rational points of smooth projective curves over finite fields in some relative situations in the spirit of a previous paper from an euclidean point of vue. We prove some kinds of relative Weil bounds, derived from…
Let $\mathcal{X}$ be a projective irreducible nonsingular algebraic curve defined over a finite field $\mathbb{F}_q$. This paper presents a variation of the St\"orh-Voloch theory and sets new bounds to the number of…
This study presents a novel algorithm for identifying the set of extreme points that constitute the exact convex hull of a point set in high-dimensional Euclidean space. The proposed method iteratively solves a sequence of dynamically…
Given a large finite point set, $P\subset \mathbb R^2$, we obtain upper bounds on the number of triples of points that determine a given pair of dot products. That is, for any pair of positive real numbers, $(\alpha, \beta)$, we bound the…