相关论文: Fixed point theorems from a de Rham perspective

The coupling constants of fixed points in the $\epsilon$ expansion at one loop are known to satisfy a quadratic bound due to Rychkov and Stergiou. We refer to fixed points that saturate this bound as extremal fixed points. The theories…

The term integrable asymptotically conformal at a point for a quasiconformal map defined on a domain is defined. Furthermore, we prove that there is a normal form for this kind attracting or repelling or super-attracting fixed point with…

Given an arbitrary convex symmetric n-dimensional body, we construct a natural and non-trivial continuous map which associates ellipsoids to ellipsoids, such that the Lowner-John ellipsoid of the body is its unique fixed point. A new…

Both the USA TST 2008 and the ELMO Shortlist 2013 suggested two issues that are connected to fixed points. These problems provide a strong linkage between the various attributes of specific points in a triangle. In this article, we will…

Using the fixed point theorem we establish the Hyers-Ulam-Rassias stability of the generalized Pexider functional equation $$\frac{1}{\mid K\mid}\sum_{k\in K}f(x+k\cdot y)=g(x)+h(y),\;\;x,y\in E$$ from a normed space $E$ into a complete…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn formula equations play an important role in many…

The Hodge-de Rham Theorem is introduced and discussed. This result has implications for the general study of several partial differential equations. Some propositions which have applications to the proof of this theorem are used to study…

We prove strong convergence theorems of some iterative algorithms in a real uniformly smooth Banach space. The results presented extend, generalize and improve the corresponding results recently announced by many authors.

We develop a unified framework for a broad class of nonlocal elliptic problems, encompassing a wide spectrum of nonlocal terms, including the classical Kirchhoff and Carrier-type equations as particular cases, and nonlinearities having…

We develop a new framework of relative algebroids to address existence and classification problems of geometric structures subject to partial differential equations.

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

In this paper we consider a class of conjugate equations, which generalizes de Rham's functional equations. We give sufficient conditions for existence and uniqueness of solutions under two different series of assumptions. We consider…

We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind,…

An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-points in metric spaces, we are working with the notion of…

In this paper, we study a deformation theory of rigid analytic spaces. We develop a theory of cotangent complexes for rigid geometry which fits in with our deformations. We then use the complexes to give a cohomological description of…

We present an Eilenberg-Steenrod-like axiomatic framework for equivariant coarse homology and cohomology theories. We also discuss a general construction of such coarse theories from topological ones and the associated transgression maps. A…

We consider constrained Horn clause solving from the more general point of view of solving formula equations. Constrained Horn clauses correspond to the subclass of Horn formula equations. We state and prove a fixed-point theorem for Horn…