 Research
 Open Access
 Published:
Higherorder Lipschitz mappings
Fixed Point Theory and Applications volume 2015, Article number: 88 (2015)
Abstract
We study selfmappings on complete metric spaces, which we refer to as higherorder Lipschitz mappings. These mappings generalise Lipschitz mappings, the latter which are equivalent to firstorder Lipschitz mappings studied in this paper. The main result of this paper is to extend the Banach fixed point theorem (and an oftencited generalisation) to higherorder contraction mappings. We also present results on the problem of local Lipschitzity of these higherorder Lipschitz mappings.
1 Introduction
Let \((\mathcal{X},d) \) be a complete metric space and let \(T:\mathcal{X}\to\mathcal{X} \) be a Lipschitz mapping, that is, \(d(Ty,Tx)\leq cd(y,x)\) for all \(x,y \in\mathcal{X}\) where \(c\ge0 \). When \(0\le c<1 \), then T is referred to as a contraction mapping and when \(c=1 \), then T is referred to as a nonexpansive mapping. In this paper, we consider the following generalisation of Lipschitz mappings:
Definition 1.1
(Higherorder Lipschitz mapping)
A mapping \(T:\mathcal{X}\to\mathcal{X} \) on a metric space \((\mathcal{X},d) \) is an rthorder Lipschitz mapping if
where r is a natural number and \(c_{k}\), for all \(0\le k\le r1 \), are nonnegative real numbers.
An example is when \(\mathcal{X} \) is a finite dimensional vector space and \(T:\mathcal{X}\to\mathcal{X} \) is a matrix. Indeed, by the CayleyHamilton theorem [1, 2], T in this case satisfies an identity
where \(f(z)=z^{r}a_{r1}z^{r1}\cdotsa_{0} \) denotes the characteristic polynomial of T. It follows that we have the identity
which upon taking norms and using the triangle inequality gives us
where \(c_{k}:=a_{k} \). Now, as in the firstorder case, we classify higherorder Lipschitz mappings into three cases, thus

T is an rthorder contraction mapping if the polynomial \(p(z):=z^{r}\sum_{k=0}^{r1}c_{k}z^{k}\) is stable, that is, \(\lambda<1\) if \(p(\lambda)=0 \).

T is an rthorder nonexpansive mapping if the polynomial \(p(z):=z^{r}\sum_{k=0}^{r1}c_{k}z^{k}\) is tamely unstable, that is, there exists at least a magnitudewise dominating root \(\lambda\in\mathbb{C} \) such that \(p(\lambda)=0 \) and \(\lambda=1\).

T is an rthorder expansive (Lipschitz) mapping if the polynomial \(p(z):=z^{r}\sum_{k=0}^{r1}c_{k}z^{k}\) is wildly unstable, that is, there exists \(\lambda\in\mathbb{C} \) such that \(\lambda>1\) and \(p(\lambda)=0 \).
Here, \(\mathbb{C} \) denotes the field of complex numbers. In Section 2, we give equivalent classification based on the coefficients \(c_{k} \).
In the following subsections, we review the pertinent results on the fixed point theory of Lipschitz mappings and show the relationship with the fixed point theory of the higherorder counterparts as introduced above.
1.1 Fixed point theory of contraction mappings in metric spaces
The basic result of metric fixed point theory is the Banach [3] fixed point theorem (or the contraction mapping theorem).
Theorem 1.2
(Banach fixed point)
Let \((\mathcal{X},d) \) be a complete metric space and let \(T:\mathcal{X}\to\mathcal{X} \) be a contraction mapping. Then T has a unique fixed point given by the limit of Picard iterates \(x_{n+1}:=Tx_{n} \).
Theorem 1.2 is particularly useful in the demonstration of existence and uniqueness of solutions to certain problems in analysis and economics (see [4–6]). A survey of various extensions of Theorem 1.2 can be found in [7]; we highlight the important results related to those demonstrated in this paper. First, the higherorder contraction case when \(r>1 \) and \(c_{k}=0 \) for all \(k\geq1 \) is an oftencited generalisation in many texts on Theorem 1.2; this is the case when \(T^{r} \), but not \(T^{k} \) for all \(k< r \), is a contraction mapping; that is:
Theorem 1.3
Let \((\mathcal{X},d) \) be a complete metric space and \(T:\mathcal{X}\to\mathcal{X} \) a mapping such that \(T^{r} \) is a contraction for some \(r>1 \). Then T has a unique fixed point given by the limit of Picard iterates \(x_{n+1}:=Tx_{n} \).
In Section 3, we demonstrate that the conclusions of Theorems 1.2 and 1.3 extend to all higherorder contraction mappings. Both (firstorder) contraction mappings and the rthorder contraction mappings defined in Theorem 1.3 are special cases of the nowproven generalised Banach contraction conjecture (see Jachymski [8], MerryfieldStein [9] and Arvanitakis [10]).
Theorem 1.4
(Generalised Banach contraction theorem)
Let \((\mathcal{X},d) \) be a complete metric space and let \(T:\mathcal{X}\to\mathcal{X} \) be a mapping such that
for some natural number r and real number \(c\in(0,1) \). Then T has a unique fixed point.
In the present paper, we demonstrate the closely related result that an rthorder contraction mapping satisfies the minimising inequality
for some real number \(c\in(0,1) \). Indeed inequality (3) also holds true for higherorder nonexpansive and higherorder expansive mappings, respectively, for some \(c=1 \) and \(c>1 \).
Now an early continuous mapping generalisation of the Banach fixed point theorem is the following result due to Caccioppoli [11]:
Theorem 1.5
Let \((\mathcal{X},d) \) be a complete metric space and let \(T:\mathcal{X}\to\mathcal{X} \) be a mapping such that
where \(\{q_{n}\}_{n\ge1} \) is a summable nonnegative sequence independent of \(\mathcal{X} \). Then T has a unique fixed point given by the limit of the Picard iterates \(x_{n+1}:=Tx_{n} \).
Whereas higherorder contraction mappings do not generally satisfy the hypothesis of Theorem 1.5 (note that the mappings satisfying Theorem 1.5 are necessarily uniformly continuous), we demonstrate in Section 4 that when the additional requirement of continuity is imposed on a higherorder contraction mapping, the inequality (4) holds locally in the sense that for every given \(x_{0}\in\mathcal{X} \), there exists an (open) subset \(\mathcal{S}\subset\mathcal{X} \) (depending on, but not necessarily a neighbourhood of, \(x_{0} \)) such that for all \(x\in\mathcal{S} \)
for some constants \(M\ge1 \) and \(c\in(0,1) \). Indeed the same is true for higherorder nonexpansive and higherorder expansive mappings, respectively, but with the constant \(c=1 \) and \(c>1 \).
In general, higherorder Lipschitz mappings are not reducible to lowerorder Lipschitz mappings within the same metric space \((\mathcal {X},d)\). Whereas Lipschitz mappings are (uniformly) continuous mappings, this need not be the case for general higherorder Lipschitz mappings; they may not even be continuous: for instance, the function \(T:\mathbb{R}\to\mathbb{R}\) given by
with the metric induced by the usual absolute value on \(\mathbb{R} \), is discontinuous at \(x=0\) but we observe that \(T^{2}x=0\) and so
for any \(c\ge0 \), thus making T a secondorder Lipschitz (indeed, secondorder contraction) mapping. The immediate cases for which a higherorder Lipschitz mapping may be of lowerorder is when it is actually of lowerorder on \(\mathcal{X} \) itself (for instance, matrices, which are actually (firstorder) Lipschitz mappings but satisfy (2) and also when it is of lowerorder on \(T(\mathcal{X}) \); an example in the latter case is the mapping \(T:\mathbb{R}\to\mathbb{R}\) given by
with the metric induced by the usual absolute value on \(\mathbb{R} \). Obviously T is discontinuous at \(x=0 \) and noting that \(T^{2}=T \), then \(T^{2}yT^{2}x=TyTx \); in other words, T is secondorder nonexpansive mapping but at the same time it is (firstorder) nonexpansive on the metric subspace \((T(\mathbb{R}),\cdot) \). We shall refer to T when it is actually of lowerorder on \(\mathcal {X} \) or \(T(\mathcal{X}) \) as a trivial mapping.
1.2 Fixed point theory of noncontraction mappings in Banach spaces
Now, for noncontraction mappings, complete metric spaces are in general not sufficient to guarantee the existence or uniqueness fixed points; in this regard, usually, compactness and/or convexity of subsets of normed linear spaces is required. Some noteworthy results are as follows.
Theorem 1.6
(Edelstein [12])
Let T be a contractive mapping on a compact metric space, that is, \(d(Ty,Tx)\le d(y,x) \) with equality only if \(x=y \). Then T has a unique fixed point given by the limit of Picard iteration \(x_{n+1}:=Tx_{n} \).
Theorem 1.7
(Kirk [13])
Let T be a nonexpansive selfmapping on a weakly compact convex subset \(\mathcal{C} \) of a Banach space with normal structure  that is, for any bounded nonempty convex subset \(\mathcal{K}\subset\mathcal{C} \) there exists a point \(x_{0}\in\mathcal {K} \) such that \(\sup_{x\in\mathcal{K}}\x_{0}x\<\operatorname{diam}(\mathcal {K}):=\sup_{x,y\in\mathcal{K}}\xy\ \). Then T has a fixed point.
Theorem 1.8
(Schauder^{Footnote 1} [14])
Let T be a Lipschitz selfmapping on a compact convex subset of a Banach space. Then T has a fixed point.
In the present paper, we do not investigate the fixed point theory of higherorder Lipschitz mappings under the hypotheses in Theorems 1.6, 1.7 and 1.8 above. These are deferred to a sequel to this paper.
2 Preliminaries
First of all, we recall the following definitions:
A nowhere dense subset of a topological space is a set whose closure has an empty interior in the topological space; that is, it contains no open neighbourhood of its elements in the topological space.
A real matrix is nonnegative if all its entries are nonnegative real numbers; it is positive if all the entries are positive real numbers.
A nonnegative matrix A is irreducible if for every pair of indices i, j, there exists a natural number n such that \((\mathbf{A}^{n})_{ij}>0 \).
A real nonnegative matrix A is primitive if there exists an integer \(n\ge1 \) such that \(\mathbf{A}^{n} \) is positive; thus, a primitive matrix is irreducible.
A polynomial \(f(z) \) is nondegenerate if whenever \(\alpha\neq \beta\) but \(f(\alpha)=f(\beta)=0\), then \(\alpha\neq\zeta\beta\), where ζ is a root of unity.
An rthorder linear recurrence sequence \(S_{n} \), satisfying the recursive equation \(S_{n+r}=\sum_{k=0}^{r1}c_{k}S_{n+k} \), is nondegenerate if the associated characteristic polynomial \(p(z)=z^{r}\sum_{k=0}^{r1}c_{k}z^{k} \) is nondegenerate.
The following useful results are necessary for the proof of our main results. As used below and elsewhere, we employ the Kronecker delta symbol \(\delta_{jk} \), which equals 1 when \(j=k \) and equals 0 if otherwise.
Theorem 2.1
Let \(S_{n}\) be an rthorder linear recurrence sequence satisfying the recursion \(S_{n+r}=\sum_{k=0}^{r1}c_{k}S_{n+k} \). Let \(p(z)=z^{r}\sum_{k=0}^{r1}c_{k}z^{k} \) be the associated characteristic polynomial having distinct (complex) roots \(\lambda_{1},\lambda_{2},\ldots \) with respective multiplicities \(\mu_{1},\mu_{2},\ldots\)  thus \(\sum_{i}\mu_{i}=r \). Then \(S_{n} \) has an explicit form
where \(p_{i}(n) \) is a polynomial of degree \(\mu_{i}1 \). Also, \(S_{n} \) has an implicit form
where \(I_{j}(n) \)  an impulseresponse sequence of \(S_{n} \)  is also an rthorder linear recurrence sequence satisfying the same recursion as \(S_{n} \) with initial values \(I_{j}(k)=\delta_{jk} \) for all \(0\leq j,k\leq r1 \).
Proof
See for instance [15], Sections 1.1.4 through 1.1.6. □
The following corollary, which follows straightforwardly from the above theorem, is what is most useful for our purposes here.
Corollary 2.2
Using the notation of Theorem 2.1, define \(\lambda:=\max \lambda_{i} \) and \(\mu:=\max\mu_{i} \). Then \(S_{n}\leq K\lambda^{n}n^{\mu 1} \) for some absolute constant \(K>0 \) independent of n, λ, μ; moreover, if \(\lambda<1 \), then \(\lim_{n\to\infty}S_{n} =0\).
Theorem 2.3
The set of zeroes of a linear recurrence sequence \(S_{n} \) over a field of characteristic zero comprises a finite set together with a finite number of arithmetic progressions. If \(S_{n} \) is nondegenerate, then the set of zeroes is finite.
Remark
The set referred to is the set of indices n for which \(S_{n} = 0 \) and in either case it may be empty.
Theorem 2.4
(Baire category [20])
Let \(\mathcal{X} \) be a complete metric space. Then \(\mathcal{X} \) is not the countable union of nowhere dense closed sets.
Theorem 2.5
Let A be an irreducible nonnegative \(r\times r \) matrix with spectral radius \(\rho(\mathbf{A})\). Then the following statements hold:

1.
\(\rho(\mathbf{A}) \) is an eigenvalue of A and it is uniquely dominating if A is primitive;

2.
\(\min_{i}\sum_{j}\mathbf{A}_{ij}\leq\rho(\mathbf{A})\leq\max_{i}\sum_{j}\mathbf{A}_{ij} \);

3.
CollatzWielandt formula: Let \(\mathbf{N}:=\{\mathbf{v}=\{v_{j}\geq0\} _{j=1}^{r}:\exists i,v_{i}\neq0 \} \). Then \(\rho(\mathbf{A})=\max_{\mathbf{v}\in\mathbf{N}}\min_{1\leq i\leq r,v_{i}\neq0}\frac{1}{v_{i}}(\mathbf{A}\mathbf{v})_{i} \).
Remark
The PerronFrobenius theorem is more general than this but this suffices for our purposes here. By a uniquely dominating eigenvalue, we imply one which is a unique maximum in absolute value.
Theorem 2.6
(KeilsonStyan inequality [23])
Let A be a nonnegative \(r\times r \) matrix with spectral radius \(\rho(\mathbf{A})\). Then \(\det(tI\mathbf{A})\le t^{r}\rho (\mathbf{A})^{r} \) for all \(t\ge\rho(\mathbf{A}) \).
Theorem 2.7
(Rouché)
Let \(g(z)=z^{r} \) and \(h(z)=\sum_{k=0}^{r1}a_{k}z^{k} \) be complexvalued polynomials such that \(g(R)>\sum_{k=0}^{r1}a_{k}R^{k}\) for a real number \(R >0\), then the polynomial \(f(z):=g(z)h(z) \) has all its roots lying strictly inside the circle \(z= R \).
Proof
This follows immediately from a more general theorem of Rouché, a proof of which can be found in Titchmarsh [24]. □
Theorem 2.8
(Bolzano’s intermediate value [25])
If a continuous real function defined on an interval is sometimes positive and sometimes negative, then it must be 0 at some point in the interval.
Theorem 2.9
(Descartes’ rule of signs)
Let \(f(z):=\sum_{k=0}^{r}a_{k}z^{k} \) be an rth degree polynomial over the real numbers \(a_{k} \). Then the number of positive real roots of f is bounded above by the number of sign changes of the coefficients \(a_{k} \) as one proceeds from \(k=0 \) to \(k=r \) (ignoring zero coefficients).
Proof
See for instance [26]. □
Proposition 2.10
Let \(p(z)=z^{r}\sum_{k=0}^{r1}c_{k}z^{k} \), where \(c_{k}\geq0 \), be a polynomial.

(i)
If p is stable, then \(0< p(1)\leq1 \) and there exists \(\lambda\in [0,1) \), which is unique and positive if \(c_{0}\neq0 \), such that \(p(\lambda)=0 \).

(ii)
If p is tamely unstable, then \(p(1)=0\) and 1 is the only positive root of p.

(iii)
If p is wildly unstable, then \(p(1)< 0 \) and there exists a unique positive \(\lambda>1 \) such that \(p(\lambda)=0 \).
Proof
First of all, that \(p(1)\leq1 \) follows since \(c_{k}\geq0 \).
For (i): Suppose to the contrary that \(p(1)\leq0 \). Now we note that for real numbers t, we have \(\lim_{t\to\infty}p(t)=\infty\) and as such there exists \(t_{1}\geq1 \) such that \(p(t_{1})\geq0 \). Given that p is a continuous function (on the whole of the real line), then by Bolzano’s intermediate value theorem (Theorem 2.8), there exists \(t_{0}\in[1,t_{1}] \) such that \(p(t_{0})=0 \), contradicting the fact that by assumption we should rather have \(t_{0}<1 \). Finally since \(p(0)=c_{0}\leq0 \) and \(p(1)>0 \) then (by Bolzano’s intermediate value theorem again) there exists \(\lambda\in[0,1) \) such that \(p(\lambda )=0 \). The uniqueness of λ when \(c_{0}\neq0 \), in which case λ cannot be 0, follows from Descartes’ rule of signs (Theorem 2.9).
For (ii): If \(1p(1)=\sum_{k=0}^{r1}c_{k} < 1 \), then from Rouché’s theorem (Theorem 2.7) all roots of \(p(z) \) would be strictly less than 1 in absolute value; hence \(p(1)\leq0 \). Now suppose to the contrary that \(p(1) < 0 \); hence there exists \(t_{1}> 1\) such that \(p(t_{1})\geq0 \) and so by Bolzano’s intermediate value theorem there exists \(t_{0}\in(1,t_{1}] \) such that \(p(t_{0})=0 \), contradicting the fact that by assumption we should rather have \(t_{0}\leq1 \); thus \(p(1)=0 \). That 1 is the only positive root follows from Descartes’ rule of signs.
For (iii): Supposing to the contrary that \(p(1)\in[0,1] \), then we would have \(1p(1)\in[0,1] \). But that would imply from Rouché’s theorem that all roots of \(p(z) \) are at most 1 in absolute value, which is a contradiction. Finally, since \(p(1)<0 \) and \(\lim_{t\to \infty}p(t)=\infty\), by Bolzano’s intermediate value theorem, there exists \(\lambda>1 \) such that \(p(\lambda)=0 \), the uniqueness of which follows from Descartes’ rule of signs. □
Corollary 2.11
Let T be a secondorder Lipschitz mapping on \((\mathcal{X},d) \). Then the inequality (1) takes the form
where \(0\leq\lambda'\leq\lambda\).
Proof
By Proposition 2.10, one root of the polynomial \(p(z)=z^{2}c_{1}zc_{0} \) is real and nonnegative, λ say; hence given that \(c_{0}\geq0 \) then the other root must be real and nonpositive, \(\lambda' \) say, where \(\lambda'\geq0 \). We can therefore factor \(p(z) \) as \(p(z)=(z\lambda)(z+\lambda')=z^{2}(\lambda \lambda')z\lambda\lambda' \) and given that \(c_{1}=\lambda\lambda'\geq 0 \), the conclusion follows. □
Lemma 2.12
Let \(p(z):=z^{r}\sum_{k=0}^{r1}c_{k}z^{k} \), where \(c_{k}\geq0 \), be a polynomial with unique positive root λ as given by Proposition 2.10. Then

1.
λ dominates all other roots of \(p(z) \); furthermore, λ is a uniquely dominating root if \(p(z)\) is nondegenerate.

2.
\(\lambda\in[1p(1),(1p(1))^{1/r}]\), \(\lambda=1 \) and \(\lambda\in (1,1p(1)] \) if p is stable, tamely unstable and wildly unstable, respectively.
Proof
We observe that the (companion) nonnegative matrix
has the characteristic polynomial \(p(z):=z^{r}\sum_{k=0}^{r1}c_{k}z^{k}\). Now let \(I_{j}(n) \) be the rthorder impulseresponse sequence with characteristic polynomial \(p(z) \) and initial values \(I_{j}(k)=\delta _{jk} \) for all \(0\leq j,k\leq r1 \). If we define the column vector \(\mathbf{v}(n):=[I_{j}(n),I_{j}(n+1),\ldots,I_{j}(n+r1)]^{\mathbf{T}} \) then \(\mathbf{v}(n+1)=\mathbf{C}\mathbf{v}(n) \) and since \(\mathbf{v}(0)=[\delta_{j,0},\delta_{j,1},\ldots,\delta_{j,r1}]^{\mathbf{T}} \), then it follows by induction that
for all \(n\geq0 \) and \(0\leq j,k\leq r1 \). Given that \(\mathbf {C}^{n}\geq0 \) for all \(n\geq0 \), then C would be irreducible if for any given index \(j \in[0,r1]\) there exists a sufficiently large natural number n such that \(I_{j}(n)>0 \); but if this were not the case, then \(I_{j}(n)=0 \) for all sufficiently large n and so by the SkolemMahlerLech theorem (Theorem 2.3) there would exist a natural m such that \(I_{j}(k+lm)=0 \) for all \(0\leq k\leq m1 \) and all \(l\geq0 \), contradicting the fact that \(I_{j}(j)=1\neq0 \). Similarly, when \(I_{j}(n) \) is nondegenerate, that is, when \(p(z) \) is a nondegenerate polynomial, then by the SkolemMahlerLech theorem, there would exist a sufficiently large natural number \(n_{j} \) such that \(I_{j}(n)>0 \) for all \(n\geq n_{j} \); consequently, the matrix \(\mathbf{C}^{\max_{j}\{n_{j}\}} \) would be positive and so it follows that C is primitive when \(p(z) \) is nondegenerate. This gives the first part of the lemma.
Now from Proposition 2.10, λ is the unique positive root of \(p(z) \); consequently it follows from the first part of the PerronFrobenius theorem (Theorem 2.5) that \(\rho(\mathbf {C})=\lambda\) and the conclusion of the first part of the lemma follows immediately. Finally we observe that \(\min_{i}\sum_{j}\mathbf {C}_{ij}=\min\{1,\sum_{k=0}^{r1}c_{k}\}=\min\{1,1p(1)\}\) and similarly we have \(\max_{i}\sum_{j}\mathbf{C}_{ij}=\max\{1,\sum_{k=0}^{r1}c_{k}\}=\max \{1,1p(1)\} \); but by Proposition 2.10, we have \(p(1)>0 \), \(p(1)=0 \) and \(p(1)<0 \) if T is rthorder contraction, nonexpansive and expansive, respectively; hence given that \(\rho (\mathbf{C})=\lambda\), then from the second part of the PerronFrobenius theorem plus the fact that \(\lambda^{r}\le1p(1) \) when \(\lambda\le1 \) (the KeilsonStyan inequality, Theorem 2.6 with \(t=1 \)), the second part of the lemma follows. □
Proposition 2.13
For all \(\lambda\in[0,1)\), \(\mu\geq1\) and integers \(m\geq0 \),
for some absolute constant L dependent only on λ, μ.
Proof
First note that the polylogarithm function \(Li_{1\mu}(\lambda):=\sum_{k=1}^{\infty}\lambda^{k}k^{\mu1} \) converges (via Cauchy’s root test, say) for all \(\lambda\in[0,1) \). Now if \(m\in\{0,1\} \) then
from which the proposition follows in that case by setting, for instance, \(L:=(1+Li_{1\mu}(\lambda))\max\{1,2^{1\mu}/\lambda\} \). Now when \(m\geq2 \) and using the fact that \(mk\geq m+k \) when also \(k\geq2 \), then we have
Setting \(L:=(1+Li_{1\mu}(\lambda))\max\{1,2^{1\mu}/\lambda\} \) as before, the proposition follows. □
Proposition 2.14
Let \(T:\mathcal{X}\to\mathcal{Y} \) be a mapping between metric spaces \((\mathcal{X},d_{\mathcal{X}}) \) and \((\mathcal {Y},d_{\mathcal{Y}}) \). Then T is continuous at \(x^{*}\in\mathcal{X} \) if and only if for every sequence \(\{x_{n}\}_{n\geq0} \) converging to \(x^{*} \) we find that the sequence \(\{Tx_{n}\}_{n\geq0} \) is Cauchy.
Proof
Indeed if T is continuous at \(x^{*} \), then the conclusion of the proposition holds true, hence it suffices for us to show that \(\lim_{n\to\infty}Tx_{n}=Tx^{*} \) for every sequence \(\{x_{n}\}_{n\geq0} \) converging to \(x^{*} \). Suppose to the contrary that for some sequence \(\{x_{n}\}_{n\geq0} \) converging to \(x^{*} \) we have \(\lim_{n\to\infty }Tx_{n}\neq Tx^{*} \) and we define a sequence \(\{u_{n}\}_{n\geq0} \) by \(u_{2n}=x^{*} \) and \(u_{2n+1}=x_{n} \). Clearly \(u_{n} \) converges to \(x^{*} \) but since we have
we find that \(\{Tu_{n}\}_{n\geq0} \) is not Cauchy, which is a contradiction. Hence \(\lim_{n\to\infty}Tx_{n}=Tx^{*} \) for any sequence \(\{x_{n}\}_{n\geq0} \) converging to \(x^{*} \) and so T is continuous at \(x^{*} \). □
3 Main result
We now prove our main results. We begin with a direct proof of the fixed point theorem for higherorder contraction mappings; thereafter, we provide a remetrisation argument that relates higherorder Lipschitz mappings to (firstorder) Lipschitz mappings. This remetrisation of the original metric space does not necessarily result in a complete metric space even if the former is complete; consequently, we shall need a completion of the remetrised space and an extension of the higherorder Lipschitz mapping into the complete remetrised space.
3.1 Higherorder contraction mappings
The main result of this subsection is as follows, which extends the conclusion of the Banach fixed point theorem (Theorem 1.2) to higherorder contraction mappings:
Theorem 3.1
(Higherorder contraction mapping theorem)
Let \((\mathcal{X},d) \) be a complete metric space and let \(T:\mathcal{X}\to\mathcal{X} \) be an rthorder contraction mapping. Then T has a unique fixed point and \(\lim_{n\to\infty}T^{n}x \) converges to this fixed point for arbitrary \(x\in\mathcal{X} \).
We accomplish the proof below, but we require the following auxiliary lemma.
Lemma 3.2
The sequence \(\{T^{n}x\}_{n\geq0} \) is Cauchy for all \(x\in\mathcal{X} \); moreover, \(\lim_{n\to\infty}T^{n}y=\lim_{n\to\infty}T^{n}x \) for all \(x,y\in\mathcal{X} \).
Proof
For all \(x:=x_{0},y:=y_{0}\in\mathcal{X} \) let \(x_{n}:=T^{n}x\) and \(y_{n}:=T^{n}y\). Then from the inequality (1), we have
for all \(m\geq0 \). Now we prove by induction that
where \(I_{j}(n) \) satisfies \(I_{j}(n+r)=\sum_{k=0}^{r1}c_{k}I_{j}(n+k) \) and \(I_{j}(k)=\delta_{jk} \) for all \(0\leq k\leq r1 \) (thus, \(I_{j}(n) \) is an impulseresponse sequence). Indeed inequality (7) already holds with equality when \(0\leq n:=k\leq r1 \), which serves as our base cases for the induction; thus for some nonnegative integer m, suppose it holds for \(n=m,m+1,\ldots,m+r1 \). Then from inequality (6) we have
Thus inequality (7) holds for \(n=m+r \) as well and so it holds for all \(n\geq0 \). From Corollary 2.2, \(I_{j}(n)\to 0\) as \(n\to\infty\) and so from inequality (7) \(d(y_{n},x_{n})\to0\) as \(n\to\infty\); hence from the continuity of d, we have \(d(\lim_{n\to\infty}y_{n},\lim_{n\to\infty}x_{n})=0 \) and thus \(\lim_{n\to\infty}T^{n}y=\lim_{n\to\infty}T^{n}x \), assuming the limit exists, which we show next.
Henceforward we make the substitution \(y=Tx \), thus \(x_{n+1}=Tx_{n} \). We show that \(\{x_{n}\}_{n\geq0} \) is Cauchy but this is trivial if \(x_{1}=x_{0} \), that is, if \(x_{0} \) is a fixed point; hence we assume that \(x_{1}\neq x_{0} \). Now let \(n>m \) and letting λ and μ denote, respectively, the maximum in absolute value and multiplicity of the roots of the polynomial \(p(z)=z^{r}\sum_{k=0}^{r1}c_{k}z^{k} \), then via the triangle inequality of d, inequality (7), Corollary 2.2 and Proposition 2.13, we have
Note that \(\sum_{j=0}^{r1}d(x_{j+1},x_{j})\neq0 \) since by assumption \(x_{1}\neq x_{0} \). Now given that \(0\leq\lambda<1 \), it follows that \(\lambda^{m}(m+1)^{\mu1}\to0 \) as \(m\to\infty\), hence for any arbitrary \(\varepsilon>0 \), we can find \(N(\varepsilon) \) large enough such that
which implies that \(d(x_{n},x_{m})<\varepsilon\) for all \(n>m\geq N(\varepsilon) \) and thus the sequence \(\{x_{n}\}_{n\geq0} \) is indeed Cauchy. □
Proof of Theorem 3.1
Indeed by Lemma 3.2 the sequence \(\{x_{n}:=T^{n}x\}_{n\geq0} \) is Cauchy for any arbitrary \(x\in\mathcal{X} \) and is therefore convergent, say \(\lim_{n\to\infty}T^{n}x= \lim_{n\to\infty}Tx_{n}= x^{*}\in \mathcal{X}\). Consequently \(\lim_{n\to\infty}T^{n}x^{*}=x^{*} \) and so the set \(S(x^{*}):=\{T^{n}x^{*}\}_{n\geq0} \) is a closed subset of \(\mathcal {X} \); indeed \((S(x^{*}),d) \) is a complete metric subspace of \(\mathcal {X} \) such that \(T(S(x^{*}))\subseteq S(x^{*}) \). But for every sequence \(\{s_{n}\}_{n\geq0}\subseteq S(x^{*}) \) convergent to \(x^{*} \), it follows from Lemma 3.2 that the sequence \(\{Ts_{n}\}_{n\geq0} \) is Cauchy; hence given that \(x^{*}\in S(x^{*})\), then by Proposition 2.14 it follows that T is continuous at \(x^{*} \) in \(S(x^{*}) \) and consequently \(Tx^{*}=x^{*} \). Now to see that \(x^{*} \) is a unique fixed point, observe that if \(Ty^{*}=y^{*} \) for some \(y^{*}\neq x^{*} \) then
But by Proposition 2.10, we have \(0< p(1)\leq1 \), which leads to the contradiction that \(0< d(y^{*},x^{*})\leq (1p(1))d(y^{*},x^{*})< d(y^{*},x^{*}) \). Equivalently, in a more straightforward fashion, if \(y^{*}\neq x^{*} \) is also a fixed point, then we get the contradiction (via Lemma 3.2) that \(y^{*}=\lim_{n\to \infty}T^{n}y^{*}=\lim_{n\to\infty}T^{n}x^{*}=x^{*} \). This completes the proof of Theorem 3.1. □
3.2 The general case
Now we consider the general case of higherorder Lipschitz mappings. First of all, it is worthy of note the theorem of Bessaga [27] states that whenever \(\mathcal{X} \) is an arbitrary set with a selfmap T satisfying the property that each iterate \(T^{n} \) has a unique fixed point, then for each \(c\in(0,1) \), there exists a metric \(d_{c} \) on \(\mathcal{X} \) such that \((\mathcal{X},d_{c}) \) is a complete metric space and T is a contraction mapping on \((\mathcal {X},d_{c}) \). Thus in light of Theorem 3.1 demonstrated in the previous subsection, we are motivated to consider a remetrisation of the space \((\mathcal{X},d) \) over which a higherorder Lipschitz mapping is defined.
Now let T be an rthorder Lipschitz mapping on a complete metric space \((\mathcal{X},d) \) as given in (1) and let λ be the unique positive root of the polynomial \(p(z)=z^{r}\sum_{k=0}^{r1}c_{k}z^{k} \) as guaranteed by Proposition 2.10, in particular we assume that \(p(0)\ne0 \). Define a new metric on the space \(\mathcal{X} \) as follows:
That D is a metric on \(\mathcal{X} \) is straightforward. Indeed, D is nonnegative since d and \(b_{k} \) are nonnegative and it is subadditive since d is subadditive; furthermore, \(D(y,x)=0 \) if and only if \(y=x \) since \(b_{k}\ne0 \) (because, by assumption, \(c_{0}\ne0 \)) and finally \(D(y,x)=D(x,y) \).
Now we have the following lemma.
Lemma 3.3
Let \((\mathcal{X},d) \) be a (not necessarily complete) metric space and let \(T:\mathcal{X}\to\mathcal{X} \) be an rthorder Lipschitz mapping. Let D be the new metric defined in (8). Then
Moreover, a sequence \(\{x_{n}\}_{n\ge1}\subset(\mathcal{X},D) \) is Cauchy in \((\mathcal{X},D) \) if and only if the sequence \(\{T^{k}x_{n}\} _{n\ge1}\subset(\mathcal{X},d) \) is Cauchy in \((\mathcal{X},d) \) for all \(0\le k\le r1 \).
First, we prove the following recurrence relation for the constants \(b_{k} \) in (8).
Proposition 3.4
Let \(b_{k} \) be as defined in (8). Then
Proof
Obviously, \(b_{0}=\sum_{j=0}^{0}c_{j}\lambda^{jk1}=c_{0}\lambda^{1} \). Then also
Finally,
which completes the proof. □
Proof of Lemma 3.3
Via Proposition 3.4, we have
Finally, since \(b_{k}\ne0 \) for all \(0\le k\le r1 \), then we note from (8) that if \(\lim_{n\ge m\to\infty}D(x_{n},x_{m})=0 \), then likewise \(\lim_{n\ge m\to\infty}d(T^{k}x_{n},T^{k}x_{m})=0 \) for all \(0\le k\le r1 \); similarly, if \(\lim_{n\ge m\to\infty }d(T^{k}x_{n},T^{k}x_{m})=0 \) for all \(0\le k\le r1 \), then likewise \(\lim_{n\ge m\to\infty}D(x_{n},x_{m})=0 \), which completes the proof. □
We note in the first place that Lemma 3.3 does not imply that T is uniformly continuous (or even continuous) in \((\mathcal{X},d) \) as was noted in the introduction; rather, T is Lipschitz continuous (and therefore uniformly continuous) in \((\mathcal {X},D) \). Secondly, when \(\lambda<1 \), then the Banach fixed point theorem (Theorem 1.2) cannot be applied to assert that T has a fixed point in \((\mathcal{X},D) \) unless T is continuous in \((\mathcal{X},d) \); however, the following theorem remedies the case when T is discontinuous on \((\mathcal{X},d) \). To proceed, let \((\overline{\mathcal{X}},\overline{D}) \) be the canonical completion of the metric space \((\mathcal{X},D) \); that is,
where \(\{y_{n}\}_{n\ge1}\), \(\{x_{n}\}_{n\ge1} \) are Cauchy sequences in \((\mathcal{X},D) \) and \([x_{n}] \) denotes the equivalence class of \(\{ x_{n}\}_{n\ge1} \) in \((\mathcal{X},D) \), where \(\{y_{n}\}_{n\ge1}\) is equivalent to \(\{x_{n}\}_{n\ge1} \) if \(\lim_{n\to\infty}D(y_{n},x_{n})=0 \).
Theorem 3.5
Define the mapping,
Then we have
In particular, if \((\mathcal{X},d) \) is complete, then T has a fixed point in \((\mathcal{X},d) \) if and only if \(\overline{T} \) has a fixed point in \((\overline{\mathcal{X}},\overline{D}) \).
Proof
Since \(\{x_{n}\}_{n\ge1} \) is Cauchy in \((\mathcal{X},D) \) then, by Lemma 3.3,
and so \(\{Tx_{n}\}_{n\ge1} \) is Cauchy in \((\mathcal{X},D) \); thus \(\overline{T} \) is well defined. Now given Cauchy sequences \(\{y_{n}\} _{n\ge1}\), \(\{x_{n}\}_{n\ge1} \) in \((\mathcal{X},D) \), then we have
Finally, if \(x=Tx \) in \((\mathcal{X},d) \), then let \([x]\) be the equivalence class of the constant sequence \(\{x,x,x,\ldots\}\in (\overline{\mathcal{X}},\overline{D})\). Then
On the other hand, if \([x_{n}]=\overline{T}[x_{n}]=[Tx_{n}] \) in \((\overline {\mathcal{X}},\overline{D})\), then by Lemma 3.3, T is continuous at \(x:=\lim_{n\to\infty}x_{n} \) in \((\mathcal{X},d) \), hence
which completes the proof. □
4 Local Lipschitzity
If \(r>1 \), a natural question that arises is whether there are pairs \(x_{0},y_{0}\in\mathcal{X} \) and a constant \(c>0 \) such that \(d(T^{n}y_{0},T^{n}x_{0})\leq c^{n}d(y_{0},x_{0}) \) for all \(n\geq0 \); such a pair is therefore Lipschitzian under T, in the sense that this would be the case if T were a Lipschitz mapping with Lipschitz constant c. In this section, motivated by the existence of the unique positive real root λ of the polynomial \(p(z) \) (in Definition 1.1) when \(p(0)\neq0 \), we show that nearlocal Lipschitzity of open subsets exists with respect to an arbitrary point: that is, given \(x_{0}\in\mathcal{X} \) there exists an open subset \(\mathcal{S}\subset\mathcal{X} \) and positive real number \(m_{0}\geq1 \) such that \(d(T^{n}x,T^{n}x_{0})\leq m_{0}\lambda^{n}d(x,x_{0}) \) for all \(x\in\mathcal{S} \). We also prove the closely related result that there exists an open subset \(\mathcal{S} \) of \(\mathcal{X}^{2} \) and real number \(m_{0}\geq1 \) such that \(d(T^{n}y,T^{n}x)\leq m_{0}\lambda ^{n}d(y,x) \) for all \((x,y)\in\mathcal{S} \). Though plausible, we are not able to determine whether or when local Lipschitzity can occur (nontrivially) in either case, that is, whether or when \(m_{0} \) can take the value 1.
Unless otherwise mentioned, we assume \(p(0)\neq0 \) throughout the remaining part of this subsection.
Proposition 4.1
Let \((\mathcal{X},d) \) be a complete metric space and let T be an rthorder Lipschitz mapping on \(\mathcal{X} \). For every pair \(x\neq y\in\mathcal{X} \) define
Then
Proof
We prove by induction; by definition the conclusion holds up to \(n=r1 \), hence assuming the conclusion holds up to \(n+r1 \), we have
and so the conclusion holds for \(n+r \) as well and thus it holds for all n. □
Remark
Obviously, \(M(y,x)\geq1 \) for every \(x,y\in\mathcal {X} \) so if \(M(y,x) \) can be 1 for some pair x, y then T is essentially locally Lipschitz on the pair x, y. We are not able to establish whether or when local Lipschitzity can occur, but the next results give near misses.
Theorem 4.2
Let T be an rthorder Lipschitz mapping on a complete metric space \((\mathcal{X},d) \). Then for all \(x,y\in\mathcal{X} \)
In particular, \(\min_{x\neq y}\frac{d(Ty,Tx)}{d(y,x)}\leq\lambda\).
Proof
Define the column vector \(\mathbf{v}:=[d(y,x),\dots ,d(T^{r1}y,T^{r1}x)]^{\mathbf{T}}\) and let C be the companion nonnegative \(r\times r \) matrix defined in (5). Then
Now by definition of T in Definition 1.1 we have \((\mathbf{C}\mathbf{v})_{r}\geq d(T^{r}y,T^{r}x) \), consequently we have the inequality
But by the CollatzWielandt formula of the PerronFrobenius theorem (Theorem 2.5), the lefthand side of (9) attains the maximum value of \(\rho(\mathbf{C}) \), which equals λ from the proof of Lemma 2.12. The conclusion of the theorem then follows immediately. □
Remark
We note that if the inequality in Theorem 4.2 is uniform for all \(1\leq i\leq r \) for some \(x,y\in \mathcal{X} \), then the maximum bound \(M(x,y) \) as defined in Proposition 4.1 would be exactly equal to 1.
Theorem 4.3
Let T be a continuous higherorder Lipschitz mapping on a complete metric space \(( \mathcal{X},d )\). Then for every \(x_{0}\in\mathcal{X} \) there exist an open set \(\mathcal{S}\subset\mathcal{X} \) and a natural number \(m_{0} \) such that
for all \(x\in\mathcal{S} \) and \(n\geq0 \).
Proof
By Proposition 4.1, there exists a bound \(M(x_{0},x) \) for each \(x,x_{0}\in\mathcal{X} \) such that \(d(T^{n}x_{0},T^{n}x)\leq M(x_{0},x)\lambda^{n}d(x_{0},x)\) for all \(n\geq0 \). For all natural numbers m define the sets
Obviously if \(\{y_{k}\}_{k\geq1}\subset\mathcal{X} \) is a sequence converging to y such that \(M(x_{0},y_{k})\leq m \), then via the continuity of the metric d and of T we have
and as such the sets \(\mathcal{X}_{m} \) are all closed. But every \(x\in \mathcal{X} \) is contained in some \(\mathcal{X}_{m} \) and so we have \(\mathcal{X}=\bigcup_{m\geq1}\mathcal{X}_{m} \). Thus by the Baire category theorem (Theorem 2.4), there exist \(m_{0}\geq1 \) and an open set \(S\in\mathcal{X}_{m_{0}} \) such that \(M(x_{0},x)\leq m_{0} \) for all \(x\in\mathcal{S} \). □
Theorem 4.4
Let T be a continuous higherorder Lipschitz mapping on a complete metric space \(( \mathcal{X},d )\). Then there exist an open set \(\mathcal{S}\subset\mathcal{X}^{2} \) and a natural number \(m_{0} \) such that
for all \((x,y)\in\mathcal{S} \) and \(n\geq0 \).
Proof
The proof is similar to that given for Theorem 4.3. Here we define the sets
where \(M(y,x) \) is the maximum bound defined in Proposition 4.1. With respect to a chosen metric on \(\mathcal{X}^{2} \) which agrees with the product topology on \(\mathcal{X}^{2} \), then \(\mathcal{X}^{2} \) is also a complete metric space. Furthermore, if \(\{ (x_{k},y_{k})\}_{k\geq1}\subset\mathcal{X}^{2} \) converges to \(( x,y )\) say, such that \(M(y_{k},x_{k})\leq m \) then via the continuity of the metric d and of T we have
and so the sets \(\mathcal{X}_{m} \) are closed. Since every pair \(( x,y)\in\mathcal{X}^{2} \) is contained in some \(\mathcal{X}_{m} \), it follows that
Thus by the Baire category theorem, there exist \(m_{0}\geq1 \) and an open set \(S\in\mathcal{X}_{m_{0}} \) such that \(M(y,x)\leq m_{0} \) for all \((x,y)\in\mathcal{S} \). □
Now we have the following problem.
Local Lipschitzity problem
Suppose T is a nontrivial rthorder Lipschitz mappings (that is, T is not of lower order on either \(T(\mathcal{X})\) or \(\mathcal{X}\)). Can the constants M and \(m_{0} \) appearing in Proposition 4.1 and Theorems 4.3 and 4.4 be exactly equal to 1?
The determination of whether or when this can be answered in the affirmative would demonstrate that there are subsets of elements in a complete metric space from which the Picard iterations are sharply convergent to the fixed point of a higherorder contraction mapping on the metric space in question.
5 Conclusion
In light of the fact that a higherorder Lipschitz mapping can be considered as a linear system of mapping in the form of the matrix inequality
it is rather natural to consider mappings when the above matrix inequality can be satisfied but with nonnegative \(r\times r \) matrix rather than the companion matrix. We recall that the tools used in the localLipschitzity analysis of higherorder Lipschitz mappings (the PerronFrobenius result in particular) are at our disposal to use when we consider a nonnegative matrix instead of just a companion matrix. We therefore propose the following broader kind of mappings.
Definition 5.1
Let \((\mathcal{X},d) \) be a (complete) a metric space. Then a countable collection of selfmappings \(\{T_{k}\}_{k\ge1} \) on \(\mathcal{X} \) is said to form an rthorder Lipschitz system of mappings if there exists an \(r\times r \) nonnegative matrix \([c_{i,j}]_{i,j=1}^{r} \) such that the following matrix inequality is satisfied:
When \(T_{k}:=T^{k} \), then (essentially) we achieve an rthorder Lipschitz mapping. One can then similarly inquire as regards the fixed point theory of such Lipschitz system of mappings.
Notes
Schauder’s theorem is more general than this and relates to continuous selfmappings on compact convex subsets of Banach spaces.
References
Cayley, A: A memoir on the theory of matrices. Philos. Trans. R. Soc. Lond. 48, 1737 (1858)
Hamilton, WR: Lectures on Quaternions. Hodges and Smith, Dublin (1853)
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133181 (1922)
Border, KC: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge (1989)
Freeman, M: The inverse as a fixed point in function space. Am. Math. Mon. 83, 344348 (1976)
Walter, W: An elementary proof of the CauchyKowalevsky theorem. Am. Math. Mon. 92, 115126 (1985)
Kirk, WA: Contraction mappings and extension. In: Kirk, WA, Sims, B (eds.) Handbook of Metric Fixed Point Theory, pp. 134. Kluwer Academic, Dordrecht (2001)
Jachymski, J: A minimum condition and some related fixedpoint theorems. J. Aust. Math. Soc. A 2, 224243 (1999)
Merryfield, J, Stein, JD: A generalization of the Banach contraction principle. J. Math. Anal. Appl. 273(1), 112120 (2002)
Arvanitakis, AD: A proof of the generalized Banach contraction conjecture. Proc. Am. Math. Soc. 131(12), 36473656 (2003) (electronic)
Caccioppoli, R: Una teorema generale sullesistenza di elemanti uniti in una transformaziona funzionale. Ren. Accad. Naz. Lencei 11, 794799 (1930)
Edelstein, M: On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 37, 7479 (1962)
Kirk, WA: A fixed point theorem for mappings which do not increase distances. Am. Math. Mon. 72, 10041006 (1965)
Schauder, J: Der fixpunktsatz in funktionalräumen. Stud. Math. 2, 171180 (1930)
Everest, G, van der Poorten, A, Shparlinski, I, Ward, T: Recurrence Sequences. Am. Math. Soc., Providence (2003)
Skolem, T: Ein verfahren zur behandlung gewisser exponentialer gleichungen und diophantischer gleichungen. In: C. R. 8 Congr. Scand. Stockholm 1934, pp. 163188 (1934)
Mahler, K: Eine arithmetische eigenschaft der Taylor koeffizienten rationaler funktionen. Proc. Akad. Wet. Amsterdam 38, 5160 (1935)
Mahler, K: On the Taylor coefficients of rational functions. Proc. Camb. Philos. Soc. 52, 3948 (1956). Addendum 53, 544 (1957)
Lech, C: A note on recurring series. Ark. Mat. 2, 417421 (1953)
Baire, R: Sur les fonctions de variables réelles. Ann. di Mat. 3, 1123 (1899)
Perron, O: Zur theorie der matrices. Math. Ann. 64(2), 248263 (1907)
Frobenius, G: Ueber matrizen aus nicht negativen elementen. Sitzungsber. Königl. Preuss. Akad. Wiss 456477 (1912)
Keilson, J, Styan, GPH: Markov chains and Mmatrices: inequalities and equalities. J. Math. Anal. Appl. 41, 439459 (1973)
Titchmarsh, EC: The Theory of Functions, 2nd edn. Oxford University Press, Oxford (1939)
Bolzano, B: Rein analytischer beweis des behrsatzes dass zwischen je zwey werthen, die ein entgegengesetztes Resultat gewaehren, wenigstens eine reele wurzel der gleichung liege. Gottlieb Haase, Prague (1817). English translation in Russ, SB “A translation of Bolzano’s paper on the intermediate value theorem.” Hist. Math. 7, 156185 (1980)
Grabiner, DJ: Descartes’ rule of signs: another construction. Am. Math. Mon. 106, 854855 (1999)
Bessaga, C: On the converse of the Banach fixed point principle. Colloq. Math. 7, 4143 (1959)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that there are no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ezearn, J. Higherorder Lipschitz mappings. Fixed Point Theory Appl 2015, 88 (2015). https://doi.org/10.1186/s1366301503341
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301503341
MSC
 47H09
 47H10
Keywords
 metric space
 fixed point
 Lipschitz mapping
 higherorder Lipschitz mapping
 local Lipschitzity
 stable and unstable polynomials
 Baire category theorem
 PerronFrobenius theorem