Abstract
Suppose thatE is a finite-dimensional Banach space with a polyhedral norm ‖·‖, i.e., a norm such that the unit ball inE is a polyhedron. ℝn with the sup norm or ℝn with thel 1-norm are important examples. IfD is a bounded set inE andT:D→D is a map such that ‖T(y)−T(z)‖≤ ‖y−z‖ for ally andz inE, thenT is called nonexpansive with respect to ‖·‖, and it is known that for eachx ∈D there is an integerp=p(x) such that lim j→∞ T jp(x) exists. Furthermore, there exists an integerN, depending only on the dimension ofE and the polyhedral norm onE, such thatp(x)≤N: see [1,12,18,19] and the references to the literature there. In [15], Scheutzow has raised a question about the optimal choice ofN whenE=ℝn,D=K n, the set of nonnegative vectors in ℝn, and the norm is thel 1-norm. We provide here a reasonably sharp answer to Scheutzow’s question, and in fact we provide a systematic way to generate examples and use this approach to prove that our estimates are optimal forn≤24. See Theorem 2.1, Table 2.1 and the examples in Section 3. As we show in Corollary 2.3, these results also provide information about the caseD=ℝn, i.e.,T:ℝn→ℝn isl 1-nonexpansive. In addition, it is conjectured in [12] thatN=2n whenE=ℝn and the norm is the sup norm, and such a result is optimal, if true. Our theorems here show that a sharper result is true for an important subclass of nonexpansive mapsT:(ℝn,‖ · ‖∞)→(ℝn,‖ · ‖∞).
Similar content being viewed by others
References
M. A. Akcoglu and U. Krengel,Nonlinear models of diffusion on a finite space, Probab. Theor. Relat. Fields76 (1987), 411–420.
A. Blokhuis and H. A. Wilbrink,Alternative proof of Nussbaum’s theorem on the size of a regular polygon in ℝn with the ℓ∞-metric, preprint.
W. Chou and R. J. Duffin,An additive eigenvalue problem of physics related to linear programming, Advances in Appl. Math.8 (1987), 486–498.
W. Chou and R. B. Griffiths,Ground states of one dimensional systems using effective potentials, Phys. Rev. B34 (1986), 6219–6234.
M. G. Crandall and L. Tartar,Some relations between nonexpansive and order preserving mappings, Proc. Am. Math. Soc.78 (1980), 385–391.
R. A. Cuninghame-Green,Minimax Algebra, Springer Lecture Notes in Economics and Mathematical Systems, Vol. 166, Springer-Verlag, Berlin, 1979.
L. M. Floria and R. B. Griffiths,Numerical procedure for solving a minimization eigenvalue problem, Numerische Math.55 (1989), 565–574.
R. B. Griffiths, personal letter to R. D. Nussbaum, May, 1990.
R. M. Karp,A characterization of the minimum cycle mean in a digraph, Discrete Math.23 (1978), 309–311.
R. D. Nussbaum,Hilbert’s projective metric and iterated nonlinear maps, Memoirs Am. Math. Soc. No. 391 (1988).
R. D. Nussbaum,Hilbert’s projective metric and interated nonlinear maps, II, Memoirs Am. Math. Soc. No. 401 (1989).
R. D. Nussbaum,Omega limit sets of nonexpansive maps: finiteness and cardinality estimates, Diff. and Integral Equations3 (1990), 523–540.
R. D. Nussbaum,Convergence of iterates of a nonlinear operator arising in statistical mechanics, Nonlinearity4 (1991), 1223–1240.
J. B. Rosser and L. Schoenfeld,Approximate formulas for some functions of prime numbers, Illinois J. Math.6 (1962), 64–94.
M. Scheutzow,Periods of nonexpansive operators on finite ℓ 1-spaces, European J. Combinatorics9 (1988), 73–81.
M. Scheutzow,Correction to periods of nonexpansive operators on finite ℓ 1-spaces, to appear.
E. Seneta,Nonnegative Matrices: An Introduction to Theory and Applications, George Allen and Unwin, London, 1973.
R. Sine,A nonlinear Perron-Frobenius theorem, Proc. Am. Math. Soc.109 (1990), 331–336.
D. Weller,Hilbert’s metric, part metric and self mappings of a cone, Ph.D. dissertation, Univ. of Bremen, West Germany, December 1987.
Author information
Authors and Affiliations
Additional information
Partially supported by NSF DMS89-03018.
Rights and permissions
About this article
Cite this article
Nussbaum, R.D. Estimates of the periods of periodic points for nonexpansive operators. Israel J. Math. 76, 345–380 (1991). https://doi.org/10.1007/BF02773870
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02773870