In this work, we study the existence of solutions of nonlinear fractional coupled system of $\varphi $-Hilfer type in the frame of Banach spaces. We improve a property of a measure of noncompactness in a suitably selected Banach space. Darbo’s fixed point theorem is applied to obtain a new existence result. Finally, the validity of our result is illustrated through an example.

Answering a question by Chatterji–Druţu–Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty ]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space ($0< p<\infty$) with unbounded orbits if and only if $p \geq p_G$. A similar result holds for the existence of proper continuous affine isometric actions on $L_p$ spaces. Using a representation of cohomology by harmonic cocycles, we also show that such unbounded orbits cannot occur when the linear part comes from a measure-preserving action, or more generally a state-preserving action on a von Neumann algebra and $p>2$. We also prove the stability of this critical constant $p_G$ under $L_p$ measure equivalence, answering a question of Fisher.

Motivated by applications in data science, we study partial differential equations on graphs. By a classical fixed-point argument, we show existence and uniqueness of solutions to a class of nonlocal continuity equations on graphs. We consider general interpolation functions, which give rise to a variety of different dynamics, for example, the nonlocal interaction dynamics coming from a solution-dependent velocity field. Our analysis reveals structural differences with the more standard Euclidean space, as some analogous properties rely on the interpolation chosen.

In this paper we will show that for every cut I of any countable nonstandard model $\mathcal {M}$ of $\mathrm {I}\Sigma _{1}$, each I-small $\Sigma _{1}$-elementary submodel of $\mathcal {M}$ is of the form of the set of fixed points of some proper initial self-embedding of $\mathcal {M}$ iff I is a strong cut of $\mathcal {M}$. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model $\mathcal {M}$ of $ \mathrm {I}\Sigma _{1} $. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of $ \mathrm {I}\Sigma _{1} $ to larger models.

Based on the framework of disjunctive propositional logic, we first provide a syntactic representation for Scott domains. Precisely, we establish a category of consistent disjunctive sequent calculi with consequence relations, and show it is equivalent to that of Scott domains with Scott-continuous functions. Furthermore, we illustrate the approach to solving recursive domain equations by introducing some standard domain constructions, such as lifting and sums. The subsystems relation on consistent finitary disjunctive sequent calculi makes these domain constructions continuous. Solutions to recursive domain equations are given by constructing the least fixed point of a continuous function.

We prove that the restriction of a given orthogonal-complete metric space to the closure of the orbit induced by the origin point with respect to an orthogonal-preserving and orthogonal-continuous map is a complete metric space. Then we show that many existence results on fixed points in orthogonal-complete metric spaces can be proved by using the corresponding existence results in complete metric spaces.

We study the discrete dynamics of standard (or left) polynomials $f(x)$ over division rings D. We define their fixed points to be the points $\lambda \in D$ for which $f^{\circ n}(\lambda )=\lambda $ for any $n \in \mathbb {N}$ , where $f^{\circ n}(x)$ is defined recursively by $f^{\circ n}(x)=f(f^{\circ (n-1)}(x))$ and $f^{\circ 1}(x)=f(x)$ . Periodic points are similarly defined. We prove that $\lambda $ is a fixed point of $f(x)$ if and only if $f(\lambda )=\lambda $ , which enables the use of known results from the theory of polynomial equations, to conclude that any polynomial of degree $m \geq 2$ has at most m conjugacy classes of fixed points. We also show that in general, periodic points do not behave as in the commutative case. We provide a sufficient condition for periodic points to behave as expected.

Let n be a positive integer and let $\mathbb{F} _{q^n}$ be the finite field with $q^n$ elements, where q is a prime power. We introduce a natural action of the projective semilinear group ${\mathrm{P}\Gamma\mathrm{L}} (2, q^n)={\mathrm{PGL}} (2, q^n)\rtimes {\mathrm{Gal}} ({\mathbb F_{q^n}} /\mathbb{F} _q)$ on the set of monic irreducible polynomials over the finite field $\mathbb{F} _{q^n}$ . Our main results provide information on the characterisation and number of fixed points.

We consider a class of multitype Galton–Watson branching processes with a countably infinite type set $\mathcal{X}_d$ whose mean progeny matrices have a block lower Hessenberg form. For these processes, we study the probabilities $\textbf{\textit{q}}(A)$ of extinction in sets of types $A\subseteq \mathcal{X}_d$ . We compare $\textbf{\textit{q}}(A)$ with the global extinction probability $\textbf{\textit{q}} = \textbf{\textit{q}}(\mathcal{X}_d)$ , that is, the probability that the population eventually becomes empty, and with the partial extinction probability $\tilde{\textbf{\textit{q}}}$ , that is, the probability that all types eventually disappear from the population. After deriving partial and global extinction criteria, we develop conditions for $\textbf{\textit{q}} < \textbf{\textit{q}}(A) < \tilde{\textbf{\textit{q}}}$ . We then present an iterative method to compute the vector $\textbf{\textit{q}}(A)$ for any set A. Finally, we investigate the location of the vectors $\textbf{\textit{q}}(A)$ in the set of fixed points of the progeny generating vector.

Nonclassical theories of truth that take truth to be transparent have some obvious advantages over any classical theory of truth (which must take it as nontransparent on pain of inconsistency). But several authors have recently argued that there’s also a big disadvantage of nonclassical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested that the resulting internal theories are preferable to their external counterparts.

In a recent paper by M. Rathjen and the present author it has been shown that the statement “every normal function has a derivative” is equivalent to $\Pi ^1_1$ -bar induction. The equivalence was proved over $\mathbf {ACA_0}$ , for a suitable representation of normal functions in terms of dilators. In the present paper, we show that the statement “every normal function has at least one fixed point” is equivalent to $\Pi ^1_1$ -induction along the natural numbers.

We construct an example of a fixed point free Anosov diffeomorphism of the plane, which is not topologically conjugate to a translation.

In this paper, we study a large multi-server loss model under the SQ(d) routeing scheme when the service time distributions are general with finite mean. Previous works have addressed the exponential service time case when the number of servers goes to infinity, giving rise to a mean field model. The fixed point of the limiting mean field equations (MFEs) was seen to be insensitive to the service time distribution in simulations, but no proof was available. While insensitivity is well known for loss systems, the models, even with state-dependent inputs, belong to the class of linear Markov models. In the context of SQ(d) routeing, the resulting model belongs to the class of nonlinear Markov processes (processes whose generator itself depends on the distribution) for which traditional arguments do not directly apply. Showing insensitivity to the general service time distributions has thus remained an open problem. Obtaining the MFEs in this case poses a challenge due to the resulting Markov description of the system being in positive orthant as opposed to a finite chain in the exponential case. In this paper, we first obtain the MFEs and then show that the MFEs have a unique fixed point that coincides with the fixed point in the exponential case, thus establishing insensitivity. The approach is via a measure-valued Markov process representation and the martingale problem to establish the mean field limit.

We prove the existence of common fixed points for monotone contractive and monotone nonexpansive semigroups of nonlinear mappings acting in Banach spaces equipped with partial order. We also discuss some applications to differential equations and dynamical systems.

This paper constitutes a comprehensive study of ten classes of self-maps on metric spaces $\langle X\,,\,d\rangle $ with the pointwise (i.e., local radial) and local contraction properties. Each of these classes appeared previously in the literature in the context of fixed point theorems.

We begin with an overview of these fixed point results, including concise self contained sketches of their proofs. Then we proceed with a discussion of the relations among the ten classes of self-maps with domains $\langle X\,,\,d\rangle $ having various topological properties that often appear in the theory of fixed point theorems: completeness, compactness, (path) connectedness, rectifiable-path connectedness, and $d$-convexity. The bulk of the results presented in this part consists of examples of maps that show non-reversibility of the previously established inclusions between these classes. Among these examples, the most striking is a differentiable auto-homeomorphism $f$ of a compact perfect subset $X$ of $\mathbb{R}$ with ${{f}^{'}}\,\equiv \,0$, which constitutes also a minimal dynamical system. We finish by discussing a few remaining open problems on whether the maps with specific pointwise contraction properties must have the fixed points.

Let $X$ and $Y$ be two normed spaces over fields $\mathbb{F}$ and $\mathbb{K}$, respectively. We prove new generalised hyperstability results for the general linear equation of the form $g(ax+by)=Ag(x)+Bg(y)$, where $g:X\rightarrow Y$ is a mapping and $a,b\in \mathbb{F}$, $A,B\in \mathbb{K}\backslash \{0\}$, using a modification of the method of Brzdęk [‘Stability of additivity and fixed point methods’, Fixed Point Theory Appl.2013 (2013), Art. ID 285, 9 pages]. The hyperstability results of Piszczek [‘Hyperstability of the general linear functional equation’, Bull. Korean Math. Soc.52 (2015), 1827–1838] can be derived from our main result.

We extend the results of Schu [‘Iterative construction of fixed points of asymptotically nonexpansive mappings’, J. Math. Anal. Appl.158 (1991), 407–413] to monotone asymptotically nonexpansive mappings by means of the Fibonacci–Mann iteration process

$$\begin{eqnarray}x_{n+1}=t_{n}T^{f(n)}(x_{n})+(1-t_{n})x_{n},\quad n\in \mathbb{N},\end{eqnarray}$$

$T$

$\{f(n)\}$

$L_{p}([0,1])$

$1<p<+\infty$

In this paper we prove Caristi’s fixed point theorem using only purely metric techniques.