 Research
 Open Access
 Published:
Crossratio inequality with infinite type of singularities
Journal of Inequalities and Applications volume 2015, Article number: 106 (2015)
Abstract
Let f be a preserving orientation circle homeomorphism with infinite number of break points, i.e., the points at which the derivative of f has jumps, and finite number of singular points, i.e., the points \(x_{i}\), \(i=1,2,\ldots,n\), such that \(f'(x_{i})=\infty\), \(i=1,2,\ldots,n\). Then the crossratio inequality with respect to f holds.
Introduction
Let \(S^{1} =\mathbf{R}/\mathbf{Z}\) with clearly defined orientation, metric, Lebesgue measure and the operation of addition be the unit circle. Let \(\pi:\mathbf {R}\rightarrow S^{1}\) denote the corresponding projection mapping that ‘winds’ a straight line on the circle. An arbitrary homeomorphism f that preserves the orientation of the unit circle \(S^{1}\) can be ‘lifted’ on the straight line R in the form of the homeomorphism \(F:\mathbf{R}\rightarrow\mathbf{R}\) with property \(F(x + 1) = F(x) + 1\) that is connected with f by relation \(\pi\circ F = f\circ\pi\). This homeomorphism F is called the lift of the homeomorphism f and is defined up to an integer term. The most important arithmetic characteristic of the homeomorphism f of the unit circle \(S^{1}\) is the rotation number
where F is the lift of f with \(S^{1}\) to R. Here and below, for a given map F, \(F^{n}\) denotes its nth iterate. The rotation number is rational if and only if f has periodic points (see [1]). We say two circle maps f and g are topologically conjugate if there exists a homeomorphism \(\varphi: S^{1}\rightarrow S^{1}\) such that \(f = \varphi^{1}\circ g\circ\varphi\). The map φ is called conjugating map or just conjugation. If f and g are conjugate, many of their properties are the same, e.g., the possible types of the orbits of the points of \(S^{1}\) under f and under g are the same, the rotation number of f is equal to that of g, etc.
Early results about the existence of conjugacy to the linear rotation \(f_{\rho} : x\rightarrow x +\rho \operatorname{mod} 1\) are the following theorems.
Poincaré’s theorem
[2]
Let f be a circle homeomorphism with irrational rotation number ρ. Then f is semiconjugate to the rotation \(f_{\rho}\).
Denjoy’s theorem
[3]
A circle diffeomorphism f with irrational rotation number ρ and \(\log Df\) of bounded variation is topologically conjugate to the linear rotation \(f_{\rho}\).
Denjoy’s result has been extended for different classes of circle homeomorphisms. Indepth results have been found, see [4–8]. Two wellknown classes of these are the following.
Phomeomorphisms. These are orientation preserving circle homeomorphisms f differentiable except in many countable points called break points admitting left and right derivatives (denoted by \(f'_{}\) and \(f'_{+}\) respectively) such that

there exist some constants \(0<\gamma<\zeta<\infty\) such that \(\gamma< f'(x)<\zeta\) for all \(x\in S^{1}\setminus BP(f)\), \(\gamma< f'_{+}(b)<\zeta\) and \(\gamma< f'_{}(b)<\zeta\) for all \(b\in BP(f)\), where \(BP(f)\) denotes the set of the break points of f;

\(\log f'\) has bounded variation. In this situation \(\log f'\), \(\log f'_{}\), \(\log f'_{+}\) and \(\log(f^{1})'\), \(\log(f^{1}_{})'\), \(\log(f^{1}_{+})'\) have the same total variation denoted by \(V = \operatorname{Var} \log f'\).
The ratio \(\sigma_{f}(b)=(f_{}(b))'/(f_{+}(b))'\) is called jump ratio of f in b.
Critical circle homeomorphisms. These are orientation preserving \(C^{1}\) circle maps f such that for each \(x_{0}\in S^{1}\) there exist \(\alpha\geq1\), a neighborhood \(U(x_{0})\) of \(x_{0}\), and a homeomorphism \(\phi:U(x_{0})\rightarrow{R}\) such that \(\phi(x_{0})=0\), and if \(\alpha>1\) then \(f(x)=\pm\phi(x)^{\alpha}+f(x_{0})\), \(\forall x\in U(x_{0})\) if \(\alpha=1\) then \(f(x)=\phi(x)^{\alpha}+f(x_{0})\), \(\forall x\in U(x_{0})\).
For the class of Phomeomorphisms, the classical result of Denjoy can be easily extended, the existence of the conjugating map for this class was proved by Herman in [5]. The existence of the conjugating map for the class of critical real analytic circle maps was proved by Yoccoz [8] and extended by Świątek [6, 7]. In these works the existence of conjugation was shown by estimating crossratio distortions (i.e., proving crossratio inequality). Note that the crossratio distortions were used in dynamical systems for the first time by Yoccoz [8]. The crossratio distortions are the most powerful tools to study the existence and smoothness of a conjugating map for the critical circle homeomorphisms.
Our aim in this work is to prove the crossratio inequality for a new class of circle homeomorphisms, which will be defined below with the aid of the above two classes and to show the existence of a conjugating map for this new class. We shall talk about the crossratio distortions in the next section.
Now we define the new class of circle homeomorphisms as follows.

(i)
f is a preserving orientation circle homeomorphism on \(S^{1}\).

(ii)
There are points \(x_{i}\in S^{1}\) and \(\alpha_{i}\in(0, 1)\), \(i=1,2,\ldots,n\), such that \(f(x)=(xx_{i})^{\alpha_{i}}+f(x_{i})\) for some \(\epsilon _{i}\)neighborhoods of each \(x_{i}\).

(iii)
f is a Phomeomorphism on \(S^{1}\setminus \bigcup^{n}_{i=1}U_{\epsilon_{i}}(x_{i})\).
Note that it follows from condition (ii) that \(f'(x_{i})=\infty\), \(i=1,2,\ldots,n\).
Crossratio inequality
Now we equip \(S^{1}\) with the usual metric \(xy\) = inf{\(\widetilde{x}\widetilde{y}\), where \(\widetilde{x}\), \(\widetilde{y}\) range over the lifts of \(x, y \in S^{1}\) respectively}. Our main analytic tools are ratio and crossratio distortions (see [9]). Let \(a, b, c, d\in S^{1}\) be the four points of the circle which preserve orientation; that is, \(a\prec b\prec c\prec d\prec a\) on the circle. We define the crossratio of these points as
If f is a continuous and monotone function on \(S^{1}\), then the distortion of the crossratio by this function is defined by
Moreover, if f is a \(C^{1}\) diffeomorphism, then taking limit from (1) when \(b\rightarrow a\) and \(c\rightarrow d\), we get the following distortion:
Notice that the crossratio distortion is multiplicative with respect to composition for two functions f and g on \(S^{1}\), that is,
The main results of this paper are the following theorems.
Theorem 2.1
Let f be a circle homeomorphism with irrational rotation number satisfying conditions (i)(iii). Consider a system of intervals \(\{(a_{i},b_{i})\subset S^{1}, i=1, 2, \ldots, k\}\). Suppose that this system of intervals covers each point of the circle \(S^{1}\) at most p times. Then there exists a constant \(C_{1}=C_{1}(p,f)\) which depends on p and f such that the following inequality
holds.
Inequality (3) is called crossratio inequality with respect to f. As an application of this theorem, we provide the following second result of this paper.
Theorem 2.2
Let f be a circle homeomorphism with irrational rotation number satisfying conditions (i)(iii) without break points. Then there exists a circle homeomorphism φ such that the following equality
holds.
In the proof of the second main theorem, we use the properties of a dynamical partition, and therefore we introduce this concept.
Dynamical partition of the circle
Given a circle homeomorphism f with irrational rotation number ρ, one may consider a positive marked trajectory (i.e., the positive trajectory of a marked point) \(\xi_{i}=f^{i}(\xi_{0})\in S^{1}\), where \(i\geq0\), and pick out of it the sequence of the dynamical convergents \(\xi_{q_{n}}\), \(n\geq0\). We will also conventionally use \(\xi_{q_{1}}=\xi_{0}1\). The wellunderstood arithmetical properties of rational convergents and the combinatorial equivalence between f and linear rotation \(f_{\rho}\) imply that the dynamical convergents approach the marked point alternating their order in the following way:
For the marked trajectory, we use the notations \(I^{n}_{0}=I^{n}_{0}(\xi_{0})\) and \(I^{n}_{i}=f^{i}(I^{n}_{0})\), where \(I^{n}_{0}(\xi_{0})\) is the nth generator interval. It is well known that the set of intervals \(\mathbf{P}_{n}=\mathbf{P}_{n}(\xi_{0}, f)\) with mutually disjoint interiors defined as
determines a partition of the circle for any n. The partition \(\mathbf{P}_{n}\) is called the nth dynamical partition of \(S^{1}\). Obviously the partition \(\mathbf{P}_{n+1}\) is a refinement of the partition \(\mathbf{P}_{n}\): indeed the intervals of order n are members of \(\mathbf{P}_{n+1}\) and each interval \(I_{i}^{n1}\in\mathbf{P}_{n}\), \(0\leq i< q_{n}\), is partitioned into \(k_{n+1}+1\) intervals belonging to \(\mathbf{P}_{n+1}\) such that
Proof of the main results
In this section, first we prove few lemmas, and then using these lemmas we give the proof of the main results. Note that the first main theorem is proved in a similar way as that of [10].
Lemma 4.1
Let f be a circle homeomorphism with irrational rotation number satisfying conditions (i)(iii). Consider a system of intervals \(\{(a_{i}, b_{i})\subset S^{1}, i=1, 2, \ldots, k\}\). Suppose that this system of intervals covers each point of the set \(S^{1}\setminus\bigcup^{n}_{i=1}U_{\epsilon_{i}}(x_{i})\) at most p times. Then there exists a constant \(C_{2}=C_{2}(p,f)\) which depends on p and f such that the following inequality
holds.
Proof
Since f is a Phomeomorphism on the set \(S^{1}\setminus \bigcup^{n}_{i=1}U_{\epsilon_{i}}(x_{i})\) for any interval \((a_{i},b_{i})\), we have
Using this inequality, we get
By assumption, the system of intervals \(\mathcal{F}:=\{[a_{i},b_{i}], i=1, 2, \ldots, k\}\) covers each point of the set \(S^{1}\setminus \bigcup^{n}_{i=1}U_{\epsilon_{i}}(x_{i})\) at most p times. Now we describe this system of intervals as a union of subsystems of \(\mathcal{F}_{j}\), \(j\leq p\), in the following way: first we take \([a_{1}, b_{1}]\) as an element of \(\mathcal{F}_{1}\), then consider the intersection \([a_{1}, b_{1}]\cap[a_{2}, b_{2}]\); if this intersection is empty, then we count the interval \([a_{2}, b_{2}]\) is an element of \(\mathcal{F}_{1}\), otherwise we count an element of \(\mathcal{F}_{2}\). Next, consider \(\mathcal{F}_{1}\cap[a_{3}, b_{3}]\) (here and below the intersection with each element of \(\mathcal {F}_{1}\) is considered); if it is empty, we count \([a_{3}, b_{3}]\) is an element of \(\mathcal{F}_{1}\), otherwise we check the intersection \(\mathcal{F}_{2}\cap[a_{3}, b_{3}]\). Again if \(\mathcal {F}_{2}\cap[a_{3}, b_{3}]\) is empty, we count \([a_{3}, b_{3}]\) is an element of \(\mathcal{F}_{2}\), otherwise we count \([a_{3}, b_{3}]\) is an element of \(\mathcal{F}_{3}\). Continuing this process we get all \(\mathcal{F}_{j}\), \(j\leq p\). By construction of subsystems \(\mathcal {F}_{j}\), \(j\leq p\) of ℱ, the elements of each subsystem do not intersect with each other and \(\mathcal{F}=\bigcup_{j} \mathcal{F}_{j}\), \(j\leq p\). Therefore
where \(V=\operatorname{Var}_{S^{1}\setminus\bigcup^{n}_{i=1} U_{\epsilon_{i}}(x_{i})}\log f'\). □
Lemma 4.2
Let f be a circle homeomorphism with irrational rotation number satisfying conditions (i)(iii) with one singular point \(x_{i^{*}}\in S^{1}\) and corresponding \(\alpha_{i^{*}}\in(0,1)\). Then, for any interval \((a, b)\subset S^{1}\), there is a constant \(C_{3}=C_{3}(f)\) which depends on f such that
Proof
Denote by \(E=S^{1}\setminus{(x_{i^{*}}\frac{\epsilon_{i^{*}}}{2}, x_{i^{*}}+\frac{\epsilon_{i^{*}}}{2})}\) and \(V=(x_{i^{*}}\epsilon_{i^{*}}, x_{i^{*}}+\epsilon_{i^{*}})\). Consider the following three cases:

(1)
\((a, b)\subset E\);

(2)
\((a, b)\subset V\);

(3)
neither (1) nor (2).
If \((a, b)\subset E\) then it is easy to get that
where \(L=\sup_{x\in E} f'(x)\), \(M=\inf_{x\in E} f'(x)\). Now consider the case \((a, b)\subset V\). We divide this case into two parts:

the interval \((a, b)\) contains the point \(x_{i^{*}}\),

the interval \((a, b)\) does not contain \(x_{i^{*}}\).
If \((a, b)\) does not contain \(x_{i^{*}}\), then there can be two cases: \(x_{i^{*}}\prec a\prec b\) or \(a\prec b\prec x_{i^{*}}\). We prove the first case \(x_{i^{*}}\prec a\prec b\), the second case can be analogously proved.
If we take \(y:=\frac{(bx_{i^{*}})^{\frac{1}{2}}}{(ax_{i^{*}})^{\frac {1}{2}}}\), then it is easy to see that \(y>1\), and using this notation we can write (7) in the form
Hence, the function \(R(y)=\frac{1}{\alpha_{i^{*}}^{2}}\cdot\frac {(y^{\alpha_{i^{*}}}y^{\alpha_{i^{*}}})^{2}}{(yy^{1})^{2}}\) is decreasing on \((1,\infty)\) and
Let \(x_{i^{*}}\in(a, b)\), then
Again if we take \(y:=\frac{(bx_{i^{*}})^{\frac {1}{2}}}{(x_{i^{*}}a)^{\frac{1}{2}}}\), then it is easy to see that \(0< y<\infty\), and using this notation we can write (9) in the form
Hence, the function \(R(y)=\frac{1}{\alpha_{i^{*}}^{2}}\frac{(y^{\alpha }+y^{\alpha_{i^{*}}})^{2}}{(y+y^{1})^{2}}\) is increasing on \((0,1)\) and decreasing on \((1, \infty)\), so
Now we consider case (3). It is clear that \(ba>\frac{\epsilon _{i^{*}}}{2} \), and since f is strictly increasing we have that \(\frac {f(b)f(a)}{ba}\leq\mbox{const}\). Besides that \(\frac{1}{f'(a)f'(b)}\) cannot be sufficiently large. Hence, from this and from (6), (8), (10) the proof of the lemma follows. □
Proof of Theorem 2.1
Denote by \(E^{*}=S^{1}\setminus\bigcup^{n}_{i=1} (x_{i}\epsilon_{i}, x_{i}+\epsilon_{i})\), \(V^{*}=\bigcup^{n}_{i=1}(x_{i}\frac{\epsilon_{i}}{2}, x_{i}+\frac{\epsilon_{i}}{2})\) and \(A=\{1, 2, \ldots, k\}\). We separate the set A into three disjoint subsets \(A_{1}\), \(A_{2}\), \(A_{3}\) as follows:

(a)
\(A_{1}=\{i\in A: (a_{i},b_{i})\subset V^{*}\}\),

(b)
\(A_{2}=\{i\in A: (a_{i},b_{i})\subset E^{*}\}\),

(c)
\(A_{3}=A\setminus(A_{1}\cup A_{2})\).
Using these subsets we write the left site of (3) in the following form:
Now we estimate every product of (11) separately.
(a) Let \(i\in A_{1}\). In this case we consider two subsets of \(A_{1}\): \(A_{1}^{1}=\{i\in A_{1}: x_{j}\in(a_{i},b_{i}), j=1,2,\ldots, n\}\) and \(A_{1}^{2}=A_{1}\setminus A_{1}^{1}\). Let \(i\in A_{1}^{1}\), then by Lemma 4.2 the crossratio distortion \(R(a_{i},b_{i}; f)\) is bounded by \(\frac{1}{\alpha_{i}^{2}}\) for fixed i in the neighborhood of each singular point \(x_{j}\), \(j=1,2,\ldots,n\), and since the number of intervals covering every singular point \(x_{j}\) does not exceed p, we have
Let \(i\in A_{1}^{2}\), then by Lemma 4.2 we have
(b) Let \(i\in A_{2}\), then by Lemma 4.1 we have
(c) Let \(i\in A_{3}\), then similarly to item (a), the number of intervals covering the end points of \(V^{*}\) and \(E^{*}\) does not exceed 2p, and by Lemma 4.2 we have
Hence, the proof of Theorem 2.1 follows from (11)(15). □
Before we prove the next lemma, we introduce a concept of wandering interval.
Definition 4.3
We say that I is a wandering interval of the circle map f if:

the intervals \(I, f(I),\ldots,f^{n}(I),\ldots \) are pairwise disjoint;

the ωlimit set of I is not equal to a single periodic orbit.
Lemma 4.4
Suppose that a circle homeomorphism f with irrational rotation number satisfies conditions (i)(iii) without break points. Then f has no wandering interval.
Proof
Assume that \(I\subset S^{1}\) is a wandering interval of f. It is easy to see that by the properties of dynamical partition of \(S^{1}\) and by the mean value theorem we have
where \(a\in f^{q_{n1}}(I)\), \(b\in I\) and the sign \(\cdot\) denotes the length of the given interval. If we choose an interval \(J=[a,b]\), then \(f^{q_{n}}(J)=[f^{q_{n}}(a),f^{q_{n}}(b)]\). Using (2) and (16) we have
Since I is a wandering interval, the sequence \(\{f^{q_{n}}(I)\} _{n=1}^{\infty}\) tends to zero when n goes to infinity, and it follows from this that the second fraction \(\frac {f^{q_{n1}}(I)}{f^{q_{n}}(I)}\) in the second product of (17) does not tend to zero. Since \(I\subset f^{q_{n}}(J)\), the first fraction also does not tend to zero, but the third fraction tends to infinity when n goes to infinity, i.e., \(\frac{I}{f^{q_{n}}(f^{q_{n1}}(I))}\rightarrow\infty\), \(n\rightarrow \infty\). So the last product in (17) tends to infinity. This is a contradiction to (3) and it proves the lemma. □
Proof of Theorem 2.2
The proof of the theorem easily follows from Lemma 4.4 with the fact (see [9]) that the homeomorphism f without periodic points is conjugate to the linear rotation \(f_{\rho}\) if and only if f does not have a wandering interval. □
References
 1.
Cornfeld, IP, Fomin, SV, Sinai, YG: Ergodic Theory. Springer, Berlin (1982)
 2.
Poincaré, H: Sur les courbes définies par les équations différentielles. J. Math. Pures Appl. (4) 1, 167244 (1885)
 3.
Denjoy, A: Sur les courbes définies par les équations différentielles a la surface du tore. J. Math. Pures Appl. (9) 11, 333375 (1932)
 4.
Dzhalilov, A, Noorani, S, Akhatkulov, A: On critical circle homeomorphisms with infinite number of break points. Abstr. Appl. Anal. 2014, 378742 (2014)
 5.
Herman, M: Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations. Publ. Math. Inst. Hautes Études Sci. 49, 5234 (1979)
 6.
Świątek, G: On critical circle homeomorphisms. Bol. Soc. Bras. Mat. 29(2), 329351 (1998)
 7.
Świątek, G: Circle homeomorphisms with flat critical points. Fundam. Math. 138, 205217 (1991)
 8.
Yoccoz, JC: Il n’y a pas de contreexemple de Denjoy analytique. C. R. Acad. Sci. Paris Sér. I Math. 298(7), 141144 (1984)
 9.
de Melo, W, van Strien, S: One Dimensional Dynamics. Springer, Berlin (1993)
 10.
Świątek, G: Rational rotation number for maps of the circle. Commun. Math. Phys. 119(1), 109128 (1988)
Acknowledgements
The authors would like to acknowledge the financial support received from the Government of Malaysia under the research Grants FRGS/1/2014/ST06/UKM/01/1, DIP2014034.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Akhatkulov, S., Md Noorani, M.S. Crossratio inequality with infinite type of singularities. J Inequal Appl 2015, 106 (2015) doi:10.1186/s1366001506316
Received
Accepted
Published
DOI
MSC
 37E10
 37C15
Keywords
 crossratio inequality
 critical circle homeomorphism
 break point
 rotation number