Half-exponential function: Difference between revisions

Revision as of 05:45, 21 February 2019

Revision as of 21:08, 9 August 2019

Line 14:

for every&nbsp;''C''&nbsp;>&nbsp;0.<ref>{{cite journal |author1=Alexander A. Razborov |author2=Steven Rudich |title=Natural Proofs |journal=Journal of Computer and System Sciences |volume=55 |issue=1 |date=August 1997 |pages=24–35 |doi=10.1006/jcss.1997.1494}}</ref>

It has been proven that if a function ''ƒ'' is defined using the standard arithmetic operations, exponentials, logarithms, and real-valued constants, then ''ƒ''(''ƒ''(''x'')) is either subexponential or superexponential.<ref>{{Cite web | url=httphttps://mathoverflow.net/questionsq/45477/closed-form-functions-with-half-exponential-growth | title=Fractional iteration - "Closed-form" functions with half-exponential growth}}</ref><ref>{{cite web|url=http://www.scottaaronson.com/blog/?p=263#comment-7283 |title=Shtetl-Optimized » Blog Archive » My Favorite Growth Rates |publisher=Scottaaronson.com |date=2007-08-12 |accessdate=2014-05-20}}</ref> Thus, a [[Hardy field#Examples|Hardy L-function]] cannot be half-exponential.

There are infinitely many functions whose self-composition is the same exponential function as each other. In particular, for every <math>A</math> in the open interval <math>(0,1)</math> and for every [[continuous function|continuous]] [[strictly increasing function]] ''g'' from <math>[0,A]</math> [[surjective function|onto]] <math>[A,1]</math>, there is an extension of this function to a continuous monotonic function <math>f</math> on the real numbers such that <math>f(f(x))=\exp x</math>.<ref>{{cite journal

Line 43:

==External links==

#* http[https://mathoverflow.net/questionsq/12081/does- Does the- exponential- function- have- a- (compositional) square- root?]

#* http[https://mathoverflow.net/questionsq/45477/closed-form “Closed-form” functions- with- half-exponential- growth]

[[Category:Analysis of algorithms]]