Related papers: Ultrametric fixed points in reduced axiomatic syst…

In this paper, we state and prove a generalization of \'Ciri\'c fixed point theorems in metric space by using a new generalized quasi-contractive map. These theorems extend other well known fundamental metrical fixed point theorems in the…

In the present article, we introduce a unified notion of multi-tupled fixed points and utilize the same to prove some existence and uniqueness unified multi-tupled fixed point theorems for Boyd-Wong type nonlinear contractions satisfying…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

We prove short-time well-posedness and existence of global weak solutions of the Beris--Edwards model for nematic liquid crystals in the case of a bounded domain with inhomogeneous mixed Dirichlet and Neumann boundary conditions. The system…

We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in $\mathsf{RCA}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path…

We show that the Freiman--Ruzsa theorem, characterising finite sets with bounded doubling, leads to an alternative proof of a characterisation of Meyer sets, that is, relatively dense subsets of Euclidean spaces whose difference sets are…

While numerous extensions of Banach's fixed point theorem typically offer only sufficient conditions for the existence and uniqueness of a fixed point and the convergence of iterative sequences, this study introduces a generalization…

We consider a conforming finite element approximation of the Reissner-Mindlin system. We propose a new robust a posteriori error estimator based on H(div) conforming finite elements and equilibrated fluxes. It is shown that this estimator…

Motivated by results of Dyatlov on Fourier uncertainty principles for Cantor sets and by similar results of Knutsen for joint time-frequency representations (i.e., the short-time Fourier transform (STFT) with a Gaussian window, equivalent…

In this article, a novel Finite Time Stability (FTS) analysis of Fractional-Order Time Delay Systems (FOTDSs) is proposed. By using the fixed point approach, sufficient conditions for the robust FTS of FOTDSs have been established. Two…

We prove that the $abc$-Conjecture implies upper bounds on Zsigmondy sets that are uniform over families of unicritical polynomials over number fields. As an application, we use the $abc$-Conjecture to prove that there exist uniform bounds…

We extend the spectral method for proving limit theorems to random non-uniformly expanding dynamical systems. This yields the CLT and moderate deviations principles (MDP). We show that as the amount of non-uniformity decreases the CLT rates…

This paper focuses on the quasi-optimality of an adaptive nonconforming finite element method for a distributed optimal control problem governed by the Stokes equation. The nonconforming lowest order Crouzeix-Raviart element and piecewise…

This work is a contribution to the understanding of the question of stability of Perfectly Matched Layers (PMLs) in corners, at continuous and discrete levels. First, stability results are presented for the Cartesian PMLs associated to a…

The discussion of renormalization group flows in four-dimensional conformal field theories has recently focused on the a-anomaly. It has recently been shown that there is a monotonic decreasing function which interpolates between the…

In the paper, a newly developed three-point fourth-order compact operator is utilized to construct an efficient compact finite difference scheme for the Benjamin-Bona-Mahony-Burgers' (BBMB) equation. Detailed derivation is carried out based…

We isolate a normal-form mechanism underlying Bourbaki--Witt fixed-point arguments and least-upper-bound versions of Zorn-type maximality principles. Given a progressive self-map on a partially ordered set, we define a Bourbaki tower as a…

We propose a simple modification of standard WENO finite volume methods for Cartesian grids, which retains the full spatial order of accuracy of the one-dimensional discretization when applied to nonlinear multidimensional systems of…

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…

It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…