$$\alpha $$-Firmly nonexpansive operators on metric spaces

We extend to p-uniformly convex spaces tools from the analysis of fixed point iterations in linear spaces. This study is restricted to an appropriate generalization of single-valued, pointwise averaged mappings. Our main contribution is establishing a calculus for these mappings in p-uniformly convex spaces, showing in particular how the property is preserved under compositions and convex combinations. This is of central importance to splitting algorithms that are built by such convex combinations and compositions, and reduces the convergence analysis to simply verifying that the individual components have the required regularity pointwise at fixed points of the splitting algorithms. Our convergence analysis differs from what can be found in the previous literature in that the regularity assumptions are only with respect to fixed points. Indeed we show that, if the fixed point mapping is pointwise nonexpansive at all cluster points, then these cluster points are in fact fixed points, and convergence of the sequence follows. Additionally, we provide a quantitative convergence analysis built on the notion of gauge metric subregularity, which we show is necessary for quantifiable convergence estimates. This allows one for the first time to prove convergence of a tremendous variety of splitting algorithms in spaces with curvature bounded from above.

Least number of n-periodic points of self-maps of $$PSU(2)\times PSU(2)$$

Let $$f:M\rightarrow M$$ f : M → M be a self-map of a compact manifold and $$n\in {\mathbb {N}}$$ n ∈ N . In general, the least number of n-periodic points in the smooth homotopy class of f may be much bigger than in the continuous homotopy class. For a class of spaces, including compact Lie groups, a necessary condition for the equality of the above two numbers, for each iteration $$f^n$$ f n , appears. Here we give the explicit form of the graph of orbits of Reidemeister classes $$\mathcal {GOR}(f^*)$$ GOR ( f ∗ ) for self-maps of projective unitary group PSU(2) and of $$PSU(2)\times PSU(2)$$ P S U ( 2 ) × P S U ( 2 ) satisfying the necessary condition. The structure of the graphs implies that for self-maps of the above spaces the necessary condition is also sufficient for the smooth minimal realization of n-periodic points for all iterations.

Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier

In this paper, we prove an analogue of the uniqueness theorems of Führer [15] and Amann and Weiss [1] to cover the degree of Fredholm operators of index zero constructed by Fitzpatrick, Pejsachowicz and Rabier [13], whose range of applicability is substantially wider than for the most classical degrees of Brouwer [5] and Leray–Schauder [22]. A crucial step towards the axiomatization of this degree is provided by the generalized algebraic multiplicity of Esquinas and López-Gómez [8, 9, 25], $$\chi $$ χ , and the axiomatization theorem of Mora-Corral [28, 32]. The latest result facilitates the axiomatization of the parity of Fitzpatrick and Pejsachowicz [12], $$\sigma (\cdot ,[a,b])$$ σ ( · , [ a , b ] ) , which provides the key step for establishing the uniqueness of the degree for Fredholm maps.