相关论文: Fixed points of the Ruelle-Thurston operator and t…
We introduce the notion of admissible functions and show that the family of L-functions introduced by Lim in [Nonlinear Anal. 46(2001), 113--120] and the family of test functions introduced by Geraghty in [Proc. Amer. Math. Soc., 40(1973),…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
Following the definition of perturbed metric space, in this paper, some fixed point theorems are established for $ F $-perturbed mappings in complete perturbed metric spaces and justify the result by counter example. Finally, an application…
Given a diffeomorphism of the plane, which has a periodic orbit, we show how Nielsen fixed point theory can be used to establish the existence of a fixed point which is linked with this periodic orbit.
We show that a continuous map or a continuous flow on $\R^{n}$ with a certain recurrence relation must have a fixed point. Specifically, if there is a compact set W with the property that the forward orbit of every point in $\R^{n}$…
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…
We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…
In this paper, we present some fixed point theorems for operator systems in the line of Krasnosel'skii's theorem in cones. The cone-compression and cone-expansion type conditions are imposed in a component-wise manner. Unlike related…
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…
In this paper, we prove several fixed point theorems on both of normal partially ordered Banach spaces and regular partially ordered Banach spaces by using the normality, regularity, full regularity, and chain -complete property. Then, by…
In this paper we consider a one quartic operator on the $\mathbb{R}^2$ with positive coefficients. Positive fixed points for a quartic operator, were investigated. Theorems on number of positive fixed points of the quartic operator, are…
In this paper, we introduce an extension of rectangular metric spaces called controlled rectangular metric spaces, by changing the rectangular inequality as follows: \begin{equation*} d(x, y)\leq\alpha(x, u)d(x, u)+\alpha(u, v)d(u,…
We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the…
We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…
In the context of the correspondence between real functions on the unit circle and inner analytic functions within the open unit disk, that was presented in previous papers, we show that the constructions used to establish that…
We give necessary and sufficient conditions for a pair of (generalized) functions $\rho_1(\mathbf{r}_1)$ and $\rho_2(\mathbf{r}_1,\mathbf{r}_2)$, $\mathbf{r}_i\in X$, to be the density and pair correlations of some point process in a…
A simple version for the extension of the Taylor theorem to the operator functions was found. The expansion was done with respect to a value given by a diagonal matrix for the non-commutative case, and the coefficients are given both by…
We employ Schauder fixed-point Theorem to prove the existence of at least one positive continuous solution of the quadratic integral equation Moreover, the maximal and the minimal solutions of the last equation are also proved.
A fixed point result is given for a class of functional contractions over local Branciari metric spaces. It extends some contributions in the area due to Fora et al [Mat. Vesnik, 61 (2009), 203-208].