\frac{dy}{dx}=x^x(1+\ln{x}) is not real when x is a real negative number, yet if x is negative and of the form x=\frac{p}{2q+1}, where p,q are positive or negative integers, then y is real. Curious, no? It has to do with the complex branch-cut structure of y=x^x=e^{x\ln{x}+2k\pi ix},k=0,\pm 1, \pm 2,\ldots.
Source: "A Course of Modern Analysis" by Whittaker & Watson, pg. 107.
Curious3141
05.25.06, 07:11 AM
\frac{dy}{dx}=x^x(1+\ln{x}) is not real when x is a real negative number, yet if x is negative and of the form x=\frac{p}{2q+1}, where p,q are positive or negative integers, then y is real. Curious, no? It has to do with the complex branch-cut structure of y=x^x=e^{x\ln{x}+2k\pi ix},k=0,\pm 1, \pm 2,\ldots.
Source: "A Course of Modern Analysis" by Whittaker & Watson, pg. 107.
I'm not sure about this, certainly for x in that domain and of that form, a real value of y exists if y is defined to be multivalued.
But if the principal value of ln(x) is used, which is Ln(x) + \pi i, then the value of y returned won't necessarily be real, right? :confused:
Sorry, I don't know that much about complex analysis, just the basics. I do know the principal branch for ln x, but not the one for x^x. I would've assumed it would be based on the branch cut of the log function, giving x^x = e^{x Ln(x)} = e^{x ln(|x|) + i\pi x} = \frac{\cos{(\pi |x|)} - i\sin{(\pi |x|)}}{|x|^{|x|}} (for negative real x) which would not necessarily return real values even for x of the form \frac{n}{2k+1}
Vladimir
06.06.06, 03:02 AM
f(x) = x^(x^(x^(x^x)))...
BSMSMSTMSPHD
06.07.06, 09:10 AM
I've always liked that the only critical point of f(x) = x^x is
x = \frac{1}{e}