non-comparable growth in a composition group of functions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T00:22:48Z http://mathoverflow.net/feeds/question/60093 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/60093/non-comparable-growth-in-a-composition-group-of-functions non-comparable growth in a composition group of functions bo198214 2011-03-30T17:40:02Z 2011-03-30T18:51:46Z <p>We have the theorem that if a partially ordered group is <a href="http://en.wikipedia.org/wiki/Directed_set" rel="nofollow">directed</a> and <a href="http://en.wikipedia.org/wiki/Integrally_closed" rel="nofollow">integrally closed</a> then it must already be commutative.</p> <p>Now we have a partial order on real functions, which is: $f$ is finally greater than $g$, in symbols $f>_\infty g$, i.e. there is an $x_0$ such that $f(x)>g(x)$ for all $x>x_0$. An analytic function different from identity function is not comparable with the identity function iff there are infinitely many fixpoints (if these fixpoints are bounded then the function must be already the identity function, otherwise the function is neither finally greater nor finally smaller than the identity)</p> <p>My question is now the following: We generate a group $G$ of functions - which are strictly increasing and bijective on the positive real axis - with the two generators, say, $f(x)=x^2$ and $g(x)=x^2+x$ and the operation of composition. Every element of this group has the form $f^{i_{1}}\circ g^{k_{1}}\circ f^{i_{2}}\circ g^{k_2}\circ \dots \circ f^{i_n}\circ g^{k_n}$ for some integers $k_1,\dots,k_n$ and $i_1,\dots,i_n$, where $f^k$ denotes the k-time composition of $f$ and negative $k$ the $|k|$ time composition of the inverse.</p> <p>The above mentioned order $\lt_\infty$ is linear on the monoid generated by $f$ and $g$. But if $\lt_\infty$ is linear on the generated group then it is directed and integrally closed/archimedian which would imply commutativity which $G$ not have. Hence there must be non-comparable functions and hence there must be a function not comparable with the identity function, which further implies that there must be a function in $G$ with infinitely many fixpoints.</p> <p>Find the error in the above argumentation or find a function in $G$ with infinitely many fixpoints.</p> http://mathoverflow.net/questions/60093/non-comparable-growth-in-a-composition-group-of-functions/60103#60103 Answer by Gerald Edgar for non-comparable growth in a composition group of functions Gerald Edgar 2011-03-30T18:51:46Z 2011-03-30T18:51:46Z <p>What is the proof that the order is archimedean on your group? $f=x^2$, $g=x^2+x$, so $\alpha := f^{-1}\circ g \sim x+1/2+O(x^{-1})$ and more generally $\alpha^n \sim x+n/2+O(x^{-1})$. Thus $\alpha^n \lt_\infty f$ for all $n$ but $\alpha \gt_\infty x$.</p>