x^x
Function
definiendum | ζ:C∖{???}→C |
definiendum | x↦xx |
Note
Representations
xx=exlog(x)=(ex)log(x) |
---|
todo: write down the above with an expanded log to third order
Because of this, the local minimum of xx is that of xlog(x), namely 1e≈0.37, and then see Secretary problem (Wikipedia)
Furthermore
xx=∑∞n=0∏nk=1(1−x)(1−1+xk)=∑∞n=01n!(1−x)n(1−x)n |
---|
with the Pochhammer symbol (1−x)n:=∏n−1k=0(k−x)=∏nk=1(k−(1+x)).
From this
xx=x(1−x)2x∑∞n=01Beta(1−x,n)(1−x)n |
---|
and all of this appears more naturally via
xx≡(1−t)1−t=(1−t)1(1−t)t
=1−t+t2−12t3+13t4−112t5+340t6+…
as Binomials relate to Gammas and Betas.
For moral talk regarding the rewriting x=1−t, see Zeta functions.
An integral
Pn(x):=(1−x)xn∏n−1k=0(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 ∫10 to ∫01.
∫10xxdx=∑∞n=01n!∫10Pn(x)dx=12+112+124+1315040+109360480+…
Reference
Wikipedia: Elementary function, Secretary problem