Ivars Wrote:h(1/n^n)=1/n

h(1) +h(1/4) + h(1/27) + h(1/256) ...+h(1/n^n)... = harmonic series

h(1)^2+h((1/4))^2+h((1/27))^2 +...+ h(1/n^n))^2...= pi^2/6 and so on for higher powers in series.

Multplying h(1/x^x) * h(x^1/x) = 1 at each x if -1/e<x<e.

To make a more general case, we can consider:

x= z^y so that 1/x = z^-y; then from h(1/x^x)=1/x ->

h((z^-y)^(z^y)) = z^-y

but we know that h(e^pi/2)^h(e^pi/2) = i^i = -i^-i = e^-pi/2

on other hand, i^-i =i^(1/i) = e^( ipi/2*-i)= e^pi/2

so:

h(e^pi/2)^1/h(e^pi/2) = e^pi/2

then we can generalize to z^y:

h(z^y)^h(z^y) = z^-y

h(z^y)^1/h(z^y) = z^y

so that:

h(z^y)^h(z^y)*h(z^y)^1/h(z^y) =1 or

h(z^y)^ ((h(z^y))^2+1/h(z^y)) =1 which is possible always if

(h(z^y))^2+1=0 -> h(z^y) = +- i; We know that the first solution is:

z^y = e^pi/2 or z=e, y=pi/2 and h(e^pi/2) = +- i .

But we also know that for z^y = e^pi/2 other branches of Lambert function leads to values h(e^pi/2) different from +-2pik.

Question:

Do there exist any other roots z and y for equations:

h(z^y) = e^(i*pi/2+-I*2pi*k) ? for all k, or just for some single special k?