Related papers: Effective uniform bounding in partial differential…
We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is…
We introduce generalised finite difference methods for solving fully nonlinear elliptic partial differential equations. Methods are based on piecewise Cartesian meshes augmented by additional points along the boundary. This allows for…
It is shown that globally positive solutions of a linear second order parabolic partial differential equation on a bounded domain, with Dirichlet boundary conditions, are unique up to multiplication by a positive constant.
We provide an effective uniform upper bond for the number of zeros of the first non-vanishing Melnikov function of a polynomial perturbations of a planar polynomial Hamiltonian vector field. The bound depends on degrees of the field and of…
For a given ring (domain) in $\overline{\mathbb{R}}^n$ we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all $n\ge 3\,,$ the…
In this article, we present an Unfitted Space-Time Finite Element method for the scalar transport equation posed on moving domains. We consider the case of the domain boundary being transported by the same velocity field as the scalar…
We consider solutions of a quasi-linear parabolic PDE with zero oblique boundary data in a bounded domain. Our main result states that the solutions can be approximated by solutions of a PDE in the whole space with a penalizing drift term.…
In this paper, we investigate the distribution of the maximum of partial sums of certain cubic exponential sums, commonly known as "Birch sums". Our main theorem gives upper and lower bounds (of nearly the same order of magnitude) for the…
We consider the finiteness problem for central configurations of the $n-$body problem. We prove that, for $n\geq4$, there exists a (Zariski) closed subset $B$ in the mass space $\mathbb{R}^{n}$, such that if $(m_1,...,m_n) \in…
In this paper, we strengthen a result by Green about an analogue of Sarkozy's theorem in the setting of polynomial rings $\mathbb{F}_q[x]$. In the integer setting, for a given polynomial $F \in \mathbb{Z}[x]$ with constant term zero, (a…
Let $K$ be a Birch field, that is, a field for which every diagonal form of odd degree in sufficiently many variables admits a non-zero solution; for example, $K$ could be the field of rational numbers. Let $f_1, \ldots, f_r$ be homogeneous…
We establish a link between the study of completely integrable systems of partial differential equations and the study of generic submanifolds in C^n. Using the recent developments of Cauchy-Riemann geometry we provide the set of symmetries…
This paper develops the necessary ingredients for the variational approach of initial boundary-value problems of parabolic partial differential equations on a fixed spatial domain containing evolving subdomains. In particular, we introduce…
Let $K$ be a field of characteristic zero over which every diagonal form in sufficiently many variables admits a nontrivial solution. For example, $K$ may be a totally imaginary number field or a finite extension of a $p$-adic field.…
We provide bounds on the size of polynomial differential equations obtained by executing closure properties for D-algebraic functions. While it is easy to obtain bounds on the order of these equations, it requires some more work to derive…
In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…
In this note we show that unsatisfiable systems of linear equations with a constant number of variables per equation over prime finite fields have polynomial-size constant-degree semi-algebraic proofs of unsatisfiability. These are proofs…
We describe methods for proving bounds on infinite-time averages in differential dynamical systems. The methods rely on the construction of nonnegative polynomials with certain properties, similarly to the way nonlinear stability can be…
This paper is devoted to present new error bounds of regularized gap functions for polynomial variational inequalities with exponents explicitly determined by the dimension of the underlying space and the number/degree of the involved…
We introduce a new Partition of Unity Method for the numerical homogenization of elliptic partial differential equations with arbitrarily rough coefficients. We do not restrict to a particular ansatz space or the existence of a finite…