===== x^x ===== ==== Function ==== | @#FFBB00: definiendum | @#FFBB00: $ \zeta: \mathbb{C}\setminus\{???\} \to \mathbb C$ | | @#FFBB00: definiendum | @#FFBB00: $ x\mapsto x^x$ | ----- === Note === == Representations == ^ $x^x={\mathrm e}^{x\log(x)}=\left({\mathrm e}^x\right)^{\log(x)}$ ^ >todo: write down the above with an expanded $\log$ to third order Because of this, the local minimum of $x^x$ is that of $x\log(x)$, namely $\frac{1}{\mathrm e}\approx 0.37$, and then see [[http://en.wikipedia.org/wiki/Secretary_problem|Secretary problem (Wikipedia)]] Furthermore ^ $x^x = \sum_{n=0}^\infty \prod_{k=1}^n (1-x)\left(1-\frac{1+x}{k}\right) = \sum_{n=0}^\infty \frac{1}{n!}(1-x)_n(1-x)^n $ ^ with the Pochhammer symbol $(1-x)_n:=\prod_{k=0}^{n-1} (k-x)=\prod_{k=1}^n (k-(1+x))$. From this ^ $x^x = \dfrac{x}{(1-x)^2} x \sum_{n=0}^\infty \dfrac{1}{\mathrm{Beta}(1-x,n)}(1-x)^n$ ^ and all of this appears more naturally via $x^x \equiv (1-t)^{1-t} = (1-t)\dfrac{1}{(1-t)^t}$ $=1-t+t^2-\frac{1}{2}t^3+\frac{1}{3}t^4-\frac{1}{12}t^5+\frac{3}{40}t^6+\dots$ as Binomials relate to Gammas and Betas. For moral talk regarding the rewriting $x=1-t$, see [[Zeta functions]]. == An integral == $P_n(x) := (1-x) \, x^n \prod_{k=0}^{n-1} \, (x+k)$ >this must come from the Expression at the beginning, but I don't know how I arrived there. >Maybe there I switched from $x$ to $1-x$ or $\int_0^1$ to $\int_1^0$. $\int_0^1 \, x^x \, dx = \sum_{n=0}^\infty \frac{1}{n!} \int_0^1 \, P_n(x) \, dx = \frac{1}{2} + \frac{1}{12} + \frac{1}{24} + \frac{131}{5040} + \frac{1093}{60480} + \dots$ === Reference === Wikipedia: [[http://en.wikipedia.org/wiki/Elementary_function|Elementary function]], [[http://en.wikipedia.org/wiki/Secretary_problem|Secretary problem]] ----- === Refinement of === [[gx_fx]] === Related === [[Euler beta function]]