Intereting Posts

Prove that integral of continuous function is continuously differentiable
Is the number of primes congruent to 1 mod 6 equal to the number of primes congruent to 5 mod 6?
Show $f$ is not $1-1$
Is $\lfloor n!/e\rfloor$ always even for $n\in\mathbb N$?
Difference between proof and plausible argument.
How to prove this inequality about the arc-lenght of convex functions?
How to prove $(c – b) ^ 2 + 3cb = x^3$ has no nonzero integer solutions?
Simpler way to determine terms in arithmetic progression
Consequences of cycle space cut space duality
Rigid motion on $\mathbb{R}^2$ which fixes the origin is linear
Bounded sequence in Hilbert space contains weak convergent subsequence
$\operatorname{span}(x^0, x^1, x^2,\cdots)$ and the vector space of all real valued continuous functions on $\Bbb R$
A module is projective iff it has a projective basis
Lifting cohomology-killing maps through the 3-sphere
“Classify $\mathbb{Z}_5 \times \mathbb{Z}_4 \times \mathbb{Z}_8 / \langle(1,1,1)\rangle$”

How would I calculate the power series of $f(x)$ if $f(f(x)) = e^x$? Is there a faster-converging method than power series for fractional iteration/functional square roots?

- Algorithm for reversion of power series?
- Real Analysis Proofs: Additive Functions
- About the limit of the coefficient ratio for a power series over complex numbers
- Compositions of $n$ with largest part at most $m$
- Why does the taylor series of $\ln (1 + x)$ only approximate it for $-1<x \le 1$?
- Some inequalities for an entire function $f$
- When is a Fourier series analytic?
- How to prove that Riemann zeta function is zero for negative even numbers?
- Power series relation
- A unsolved puzzle from Number Theory/ Functional inequalities

Look at this answer:

https://mathoverflow.net/questions/17605/how-to-solve-ffx-cosx/44727#44727

In short, the analytic solution is

$$g^{[1/2]}(x)=\phi(x)=\sum_{m=0}^{\infty} \binom {1/2}m \sum_{k=0}^m\binom mk(-1)^{m-k}g^{[k]}(x)$$

$$g^{[1/2]}(x)=\lim_{n\to\infty}\binom {1/2}n\sum_{k=0}^n\frac{1/2-n}{1/2-k}\binom nk(-1)^{n-k}g^{[k]}(x)$$

$$g^{[1/2]}(x)=\lim_{n\to\infty}\frac{\sum_{k=0}^{n} \frac{(-1)^k g^{[k]}(x)}{(1/2-k)k!(n-k)!}}{\sum_{k=0}^{n} \frac{(-1)^k }{(1/2-k) k!(n-k)!}}$$

Insert here $g(x)=a^x$ The same way you can find not only square iterative root but iterative root of any order.

Unfortunately this does not converge for $g(x)=a^x$ where $a > e^{1/e}$.

Here is a graphic for iterative root of $g(x)=(\sqrt{2})^x$

The question becomes more difficult when speaking about the base $a>e^{1/e}$. But in this case the solution can also be constructed, see this article.

Here’s the proof of a theorem due to Thron (1956), extracted from a article of Laurent Bonavero (available at his webpage).

**Theorem.** There is no entire function $f$ (that is $f:\mathbb C \to \mathbb C$ holomorphic) such that $\exp = f \circ f$.

*Proof.* If such a function $f$ exists, then $f(\mathbb C)= \mathbb C^*$. Indeed, $f(\mathbb C) \supset \exp(\mathbb C) = \mathbb C^*$, but $0$ can’t be in the image of $f$: if $f(x)=0$, then as $x \neq 0$, there exists $y$ such that $x=f(y)$ so that $\exp(y)=0$, absurd.

Therefore $f$ can be lifted by the exponential, $f=\exp \circ g \,$ for $g$ entire. So $\exp = \exp(g \circ f)$, and there must exist a constant $C$ such that $g \circ f(z)=z+C$ for all $z\in \mathbb C$. It follows that $f$ is injective, so $\exp$ should be injective too, which is absurd!

There is a lot of material about this question here and in mathoverflow. There is also a “Tetration forum”, where someone has implemented a version of tetration due to Hellmuth Kneser, see some forum entries there: http://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=8” also in citizendium there is an extensive article of Dmitri Kousznetzov who claims he has a usable interpretation (and implementation) see http://en.citizendium.org/wiki/Tetration

- Matrix is conjugate to its own transpose
- Leibniz rule and Derivations
- Different types of transcendental numbers based on continued-fraction representation
- Convergence of $\sum \frac{\sqrt{a_n}}{n^p}$
- The “Empty Tuple” or “0-Tuple”: Its Definition and Properties
- Simplify the expression $\binom{n}{0}+\binom{n+1}{1}+\binom{n+2}{2}+\cdots +\binom{n+k}{k}$
- Can $18$ consecutive integers be separated into two groups,such that their product is equal?
- $\pi_n(X^n)$ free Abelian?
- Triangular sides
- Do “Parabolic Trigonometric Functions” exist?
- Find Units in $\mathbb{Z}$
- Why does $\sum\limits_{i=0}^k {k\choose i}=2^k$
- Continued fraction for some integrals by Ramanujan
- How to get the adjacency matrix of the dual of $G$ without pen and paper?
- Prove that lim $(\sqrt{n^2+n}-n) = \frac{1}{2}$