- Research Article
- Open Access
On Uniqueness of Conjugacy of Continuous and Piecewise Monotone Functions
© K. Ciepliński and M. C. Zdun. 2009
- Received: 23 December 2008
- Accepted: 24 June 2009
- Published: 10 August 2009
- Continuous Function
- Functional Equation
- Single Point
- Differential Geometry
- Arbitrary Function
Let us recall that a homeomorphism satisfying (1.1) is said to be a topological conjugacy between and ( and are then called topologically conjugate), whereas an arbitrary function fulfilling (1.1) is called a conjugacy between them (so the conjugacy needs not to be continuous, surjective, or injective).
and for every , is a homeomorphism of the interval (which is called a lap of ) onto . We say that horseshoe maps and having that the same number of laps are of the same type if and are of the same type of monotonicity on their leftmost laps.
It is known (see [1, 2]) that two horseshoe maps of the same type and without homtervals (i.e., intervals on which all their iterates are monotone) are topologically conjugate. So are also transitive horseshoe maps having two laps each, and, in this case, topological conjugacy is only one (see ). Moreover, if is transitive and is an arbitrary function, then every increasing, continuous, and surjective solution of (1.1) is homeomorphic (see ). We will show (Example 3.7) that if we omit the assumption of the transitivity of , then such a solution needs not to be injective even if is continuous and transitive and is continuous and piecewise monotone.
However, the main purpose of this paper is to find some regularity conditions on and ensuring the uniqueness of conjugacy between them as well as implying that conjugacy is topological. The following fixed point principle plays a crucial role in the proof of our main result (Theorem 3.1).
We begin by recalling the basic definitions and introducing some notation.
We start with the following.
The rest of the proof runs as before.
The rest of the proof is immediate.
We can now formulate our main results.
If assumption (H) holds and is piecewise -expansive, then there exists a unique function satisfying (1.1) and condition (2.18). This function is continuous, surjective and increasing. If, moreover, is piecewise expansive, then is also strictly increasing.
Thus, the function is -contractive, and Theorem 1.1 now shows that has a unique fixed point . Similarly, has a unique fixed point , and has a unique fixed point . Therefore, and, in consequence, is a continuous, surjective and increasing solution of (1.1) fulfilling (2.18).
To do this, suppose that is constant on a neighbourhood of , and denote by , where , the maximal interval of constancy of . Since is surjective and satisfies (2.18), is a proper subset of . Therefore, and from (1.1) it follows that is constant on .
Now, assume that . Then , so is constant on a neighbourhood of . Denote by , where , the maximal interval of constancy of . Since is surjective and satisfies (2.18), is a proper subset of . Therefore, and from (1.1) it follows that is constant on .
We have thus shown that if is not injective, then any interval of its constancy is contained in for an . Let be an interval of constancy of having the maximal length. By (1.1), is constant on . But since for an , from the strict contractivity of it follows that the interval is of greater length than , a contradiction.
and application of Lemma 2.3 instead of Lemma 2.4 gives the following.
If is odd, assumption (H) holds, and is piecewise -expansive, then there exists a unique function satisfying (1.1) and condition (2.14). This function is continuous, surjective, and decreasing. If, moreover, is piecewise expansive, then is also strictly decreasing.
Let us next note that an immediate consequence of Theorems 3.1 and 3.2 and Proposition 2.1 is what follows.
The following fact follows immediately from Propositions 2.1 and 2.2.
On the other hand, we also have the following.
If assumption (H) holds and and are piecewise expansive, then there exists a unique function satisfying (1.1) and condition (2.18). This function is an increasing homeomorphism. If, moreover, is odd, then there is also exactly one map fulfilling (1.1) and condition (2.14). This map is a decreasing homeomorphism.
Furthermore, from (3.15) (resp., (3.16) it follows that condition (2.18) (resp., (2.14) holds true.
As an immediate consequence of Theorem 3.5, Proposition 2.1, and Remark 3.4, we get the following.
Let assumption (H) hold, and let and be piecewise expansive. If is even, then (1.1) has exactly one homeomorphic solution. This solution is strictly increasing. If is odd, then (1.1) has exactly two homeomorphic solutions. One of them is strictly increasing, while the other is strictly decreasing.
then the last assertion of Theorem 3.1 is no longer true.
By Theorem 3.1 there exists a unique (continuous, surjective, and increasing) function satisfying equation (1.1) and condition (2.18). Put , and note that . Furthermore, from (1.1) it follows that . Therefore, has to be one of the intervals: . Consequently, is not injective, and thus (1.1) has no homeomorphic solution.
is a topological conjugacy between and . From Theorem 3.1 it follows that is the unique conjugacy between these maps such that and . In particular, by Proposition 2.1, is the only continuous, increasing, and surjective conjugacy between and .
If and is a horseshoe map, then for any positive integer the function is a continuous and surjective solution of (1.1). It is obvious that this solution does not satisfy neither (2.14) nor (2.18). We thus see that in this case (1.1) can even have infinitely many solutions.
- Blokh A, Coven E, Misiurewicz M, Nitecki Z: Roots of continuous piecewise monotone maps of an interval. Acta Mathematica Universitatis Comenianae 1991,60(1):3–10.MathSciNetMATHGoogle Scholar
- Milnor J, Thurston W: On iterated maps of the interval. In Dynamical Systems, Lecture Notes in Mathematics. Volume 1342. Springer, Berlin, Germany; 1988:465–563. 10.1007/BFb0082847Google Scholar
- Banks J, Dragan V, Jones A: Chaos: A Mathematical Introduction, Australian Mathematical Society Lecture Series. Volume 18. Cambridge University Press, Cambridge, UK; 2003:xii+294.View ArticleMATHGoogle Scholar
- Alsedà L, Llibre J, Misiurewicz M: Combinatorial Dynamics and Entropy in Dimension One, Advanced Series in Nonlinear Dynamics. Volume 5. 2nd edition. World Scientific, River Edge, NJ, USA; 2000:xvi+415.View ArticleMATHGoogle Scholar
- Matkowski J: Integrable solutions of functional equations. Dissertationes Mathematicae 1975, 127: 68.MathSciNetMATHGoogle Scholar
- Dugungji J, Granas A: Fixed Point Theory, Monografie Matematyczne. Volume 61. PWN, Warszawa, Poland; 1982.Google Scholar
- Kolyada S, Snoha L': Some aspects of topological transitivity—a survey. In Iteration Theory (ECIT 94) (Opava), Grazer Mathematische Berichte. Volume 334. Karl-Franzens-Universitaet Graz, Graz, Austria; 1997:3–35.Google Scholar
- Holmgren RA: A First Course in Discrete Dynamical Systems, Universitext. 2nd edition. Springer, New York, NY, USA; 1996:xvi+223.View ArticleMATHGoogle Scholar
- Sharkovsky AN, Maĭstrenko YuL, Romanenko EYu: Difference Equations and Their Applications, Mathematics and Its Applications. Volume 250. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1993:xii+358.View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.