Do maps have flows? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T20:31:40Z http://mathoverflow.net/feeds/question/43252 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/43252/do-maps-have-flows Do maps have flows? Daniel Geisler 2010-10-22T23:46:32Z 2010-11-05T17:57:09Z <p>In <a href="http://www.wolframscience.com/openproblems/NKSOpenProblems.pdf" rel="nofollow">A New Kind of Science: Open Problems and Projects</a>(pg. 36).</p> <blockquote> <p>How can one extend recursive function definitions to continuous numbers? What is the continuous analog of the Ackermann function? The symbolic forms of the Ackermann function with a fixed first argument seem to have obvious interpretations for arbitrary real or complex values of the second argument. But is there a general way to extend these kinds of recursive definitions to continuous cases? Given a way to do this, how does it apply to recursive definitions like those on page 130? ... Stephen Wolfram</p> </blockquote> <p>The following is an example of a flow of a map from MO <a href="http://mathoverflow.net/questions/4347/ffxexpx-1-and-other-functions-just-in-the-middle-between-linear-and-expo" rel="nofollow">f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential.</a> .</p> <p>Consider $g(x)=e^x-1$. Then $g^n(x)= x+\frac{1}{2!}n x^2+\frac{1}{3!} \left(\frac{3 n^2}{2}-\frac{n}{2}\right) x^3+\frac{1}{4!} \left(3 n^3-\frac{5 n^2}{2}+\frac{n}{2}\right) x^4$ $+\frac{1}{5!} \left(\frac{15 n^4}{2}-\frac{65 n^3}{6}+5 n^2-\frac{2 n}{3}\right) x^5$</p> <p>$+\frac{1}{6!} \left(\frac{45 n^5}{2}-\frac{385 n^4}{8}+\frac{445 n^3}{12}-\frac{91 n^2}{8}+\frac{11 n}{12}\right) x^6$</p> <p>$+\frac{1}{7!}\left(\frac{315 n^6}{4}-\frac{1827 n^5}{8}+\frac{6125 n^4}{24}-\frac{1043 n^3}{8}+\frac{637 n^2}{24}-\frac{3 n}{4}\right) x^7 + \cdots$</p> <p>Note that $g^0(x)=x, g^1(x)=e^x-1$ and that a symbolic mathematical program will also confirm that $g^m(g^n(x))=g^{m+n}(x) +O(x^8)$. </p> <p>The <a href="http://www.research.att.com/~njas/sequences/A052122" rel="nofollow">half-iterate</a> is also computed correctly, $g^\frac{1}{2}(x)=x+\frac{x ^2}{4}+ \frac{x^3}{48} +\frac{x^5}{3840}-\frac{7 x^6}{92160} +\frac{x^7}{645120}$ See MO <a href="http://mathoverflow.net/questions/20688/whats-a-natural-candidate-for-an-analytic-function-that-interpolates-the-tower-f/43003#43003" rel="nofollow">What’s a natural candidate for an analytic function that interpolates the tower function?</a> for more background.</p> <p><strong>Questions</strong></p> <ol> <li>What evidence is there for believing that maps do not have flows? Is there anything known that would prevent proofs to establish existence, uniqueness, and convergence? References would be nice but an explanation would be better.</li> <li>Consider $f(f(x))=g(x)$ where $g: \mathbb{R} \rightarrow \mathbb{R}$. Can $f: \mathbb{R} \rightarrow \mathbb{C}$ be an appropriate solution or must $f: \mathbb{R} \rightarrow \mathbb{R}$?</li> <li>Likewise, is there any reason beyond aesthetics for believing that maps have flows? </li> </ol> http://mathoverflow.net/questions/43252/do-maps-have-flows/43276#43276 Answer by rpotrie for Do maps have flows? rpotrie 2010-10-23T09:29:40Z 2010-10-23T09:29:40Z <p>In general, there are obstructions for a map being the "time one map" of a flow (see <a href="http://mathoverflow.net/questions/31050/homomorphisms-from-r-to-diffeor-or-fractional-iterations/31056#31056" rel="nofollow">this question</a>). </p> <p>However, and I am not quite sure this is what you are looking for, there is a general procedure to construct flows out of maps, namely the suspention. For the map $g:M \to M$ you consider the flow in $M\times \mathbb{R}$ given by $\varphi_t((x,s))= (x, s+t)$ and you quotient by $(x,s) \sim (g(x),s+1)$. This gives a flow, whose time one map preserves a set homeomophic to $M$ where the dynamics is $g$. </p> <p>In the case of a map from $[0,\infty)$ to $[0,\infty)$ fixing $0$ you can work out flow to be defined in $\mathbb{C}$ and such that the time one map is $g$, so this would give a partial answer to $2.$. </p>