Codex @codex  0

Using a value of the complex logarithm, $i^i=\exp (i\log i)=\exp [-(\pi /2+2k\pi )]$. Thus every logarithmic-branch value is real and positive:The principal value is $\boxed{e^{-\pi /2}}$.

Use the exponential definitions of complex sine function and complex cosine. Multiplying the equation by $2i$ gives $e^{iz}-e^{-iz}=-2(e^{iz}+e^{-iz})$, hence $3e^{iz}+e^{-iz}=0$. Since exponentials never vanish, this is equivalent to $e^{2iz}=-1/3$. All branches of the complex logarithm giveThe derivation does not divide by $\cos z$, so it introduces no lost zero-denominator cases.

Complex exponentiation uses a branch of the complex logarithm. All logarithms of $i$ are $i(\pi /2+2\pi k)$ with $k\in \mathbb{Z}$, soSince the trigonometric factor is always $i$, all values in Cartesian form areThe principal logarithm selects $k=0$ and gives the principal value $i{e}^{\pi /2}$.

Use the complex exponential forms of the sine and cosine, and put $w=e^{2iz}$. Multiplying the equation by $2e^{iz}$ gives $(2-i)(w-1)/i+(w+1)=0$, which simplifies to $w=1-i$. Taking all branches of the complex logarithm,Thus every solution isThe exponential factor used to multiply the equation is nonzero, so no solutions were introduced or lost.

Using the principal complex logarithm, $\mathrm{Log}i=i\pi /2$ and $\mathrm{Log}(-e)=1+i\pi$. Thus the values and their real parts and imaginary parts areFor the final row, first calculate $i^i=e^{-\pi /2}$ and only then raise this positive real number to the power $i$. Treating nested powers as ordinary real powers would ignore the branching of complex exponentiation.

If all branches are requested, $\sqrt{i}$ also has the negative of its principal value, and the complex logarithm of $-e$ is $1+i(\pi +2\pi k)$. Allowing nonprincipal logarithms of the positive base $2$ gives $e^{-2\pi k}{e}^{i\ln 2}$. Finally, all values of $(i^i{)}^i$ are $-i{e}^{-2\pi m}$, for integers $k,m$ as appropriate. These alternatives do not alter the principal-value table.

The values of the complex logarithm at $-1$ are $i(2m+1)\pi$, $m\in \mathbb{Z}$. For any such value and any integer $n$,This is an integer multiple of $\pi$, so its sine is zero. In particular the result holds with the principal value $\log (-1)=i\pi$. The argument does not require treating the multivalued logarithm as a single globally defined function.

The logarithm's argument is $\sqrt{3}/2+i/2=e^{i\pi /6}$, with complex modulus one. The principal complex logarithm is therefore $\ln 1+i\pi /6=i\pi /6$, givingIf $\ln z$ denotes all logarithm values rather than the principal branch, they are $i(\pi /6+2\pi k)$ for $k\in \mathbb{Z}$: the real part remains zero and the imaginary part changes by integer multiples of $2\pi$. The principal value is the conventional single-valued answer.

For $z\ne 0$, the complex logarithm is $\ln z=\ln r+i(\theta +2\pi k)$, where $k\in \mathbb{Z}$. ConsequentlyA specified branch chooses one continuous determination of the complex argument on an appropriate cut domain. For the usual principal-value convention use the principal argument $\mathrm{Arg}(x+iy)\in (-\pi ,\pi ]$. A formula using only $\arctan (y/x)$ would lose the quadrant information; it is a valid local angle only with the appropriate additive multiple of $\pi$.

Set $w=e^z\ne 0$. The hyperbolic cosine equation becomes $w+w^{-1}=-4$, hence $w^2+4w+1=0$. Its two polynomial roots are $w=-2\pm \sqrt{3}$, both negative. Taking every value of the complex logarithm yieldsSince $(2-\sqrt{3})(2+\sqrt{3})=1$, their real logarithms have opposite signs. All solutions are thereforeThe positive real constant is also $\mathrm{arcosh}2$, the inverse hyperbolic cosine of $2$. Substitution gives $\cosh z=-\cosh (\ln (2+\sqrt{3}))=-2$ for both signs and every integer $k$.

The factor $1+i$ has modulus $\sqrt{2}$ and principal argument $\pi /4$. Multiplication by $e^{i\pi /6}$ adds $\pi /6$ to its complex argument, while the real factor $1/2$ halves its modulus. HenceTaking the principal logarithm for $w$ givesThis complex number lies in the second quadrant. Its modulus follows from the sum of squared components, and its principal argument follows by the second-quadrant correction:All arguments of this fixed $w$ add integer multiples of $2\pi$ to the displayed one.

If $\ln z$ is interpreted as the multivalued complex logarithm, there is instead a family $w_k=-a+i{b}_k$, where $a=\frac{1}{2}\ln 2>0$ and $b_k=5\pi /12+2\pi k$. Then $|w_k|=\sqrt{a^2+b_k^2}$, and the principal argument is $\pi -\arctan (b_k/a)$ for $b_k>0$, or $-\pi -\arctan (b_k/a)$ for $b_k<0$. This records the logarithm-branch choice that the paper leaves implicit.

Using the exponential definition of hyperbolic tangent, set $q=e^{2z}$:Here $q+1=1-i\ne 0$, so the resulting points are not poles. Taking all values of the complex logarithm gives $2z=i(-\pi /2+2\pi k)$. ThusEquivalently $\tanh (iu)=i\tan u$, so these are exactly the imaginary-axis solutions of $\tan u=-1$.

The exponential definition of hyperbolic sine gives $e^z-e^{-z}=0$, or $e^{2z}=1$. Taking every branch of the complex logarithm givesFor hyperbolic cosine, multiply $\cosh z+1=0$ by $2e^z$ to obtain $(e^z+1{)}^2=0$. Thus $e^z=-1$, giving

Take $r>0$ and select a complex argument $\theta$ for $z$. To specify the complex exponentiation, use $z^{1+i}=\exp ((1+i)(\ln r+i\theta ))$. Expanding its exponent givesIts complex logarithm therefore has valuesThe continuous logarithm obtained by retaining the displayed exponent uses $k=0$. If the outer logarithm is the principal logarithm, choose $k$ to put the imaginary part in $(-\pi ,\pi ]$ instead; the real part is unchanged. In particular one cannot generally assert $\mathrm{Log}(e^w)=w$ without checking its imaginary part.

The condition on the real part gives $\ln r=\theta$, so the required logarithmic spiral has polar coordinatesAs $\theta$ increases, it runs from the negative real axis near radius $e^{-\pi }$ through $-i{e}^{-\pi /2}$, $1$ and $i{e}^{\pi /2}$ to the negative real axis at radius $e^{\pi }$. The angle increases by one complete turn. Using the conventional principal argument $-\pi <\theta \le \pi$, the inner negative-axis endpoint is excluded and the outer endpoint is included. The convention $-\pi \le \theta <\pi$ reverses those endpoint choices. If both limiting arguments are admitted by the paper's wording, both limiting endpoints are drawn; the interior curve is the same. The origin is never included because the complex logarithm is undefined there.

The exponential definitions of hyperbolic sine and hyperbolic cosine, together with Euler's formula, give $\sinh (iu)=i\sin u$ and $\cosh (iu)=\cos u$. The argument of the complex logarithm therefore reduces to $i\sin (\pi /2)+\cos (9\pi /2)=i$.

Using the principal logarithm, $\log i=i\pi /2$, soIf no branch of the complex logarithm is selected, its complete set of values is $i(\pi /2+2\pi k)$, $k\in \mathbb{Z}$. The real part remains zero, while the imaginary part is $\pi /2+2\pi k$. The original paper does not explicitly state a branch convention.

The inner power takes the values $r_k=e^{-(\pi /2+2\pi k)}$. For each such real exponent, all values of the outer complex exponentiation are obtained from all complex logarithm values of its base $i$:Writing ${\Theta }_{k,m}=(\pi /2+2\pi m)e^{-(\pi /2+2\pi k)}$, the answer isAll values lie on the unit circle. The principal choice is $k=m=0$, giving $\cos [(\pi /2)e^{-\pi /2}]+i\sin [(\pi /2)e^{-\pi /2}]$. In particular the two nestings in parts (i) and (ii) are different: complex exponentiation is not associative.

Use the full set of complex logarithm values of $i$:By the definition of complex exponentiation, the inner power can therefore take any value $i^i=\exp [-(\pi /2+2\pi k)]$, a positive real number. Its complex logarithm values are $-(\pi /2+2\pi k)+2\pi im$, where $m\in \mathbb{Z}$. ThusAll possible real parts and imaginary parts are consequentlyChoosing the principal complex logarithm at both stages gives the particular value $-i$. The independent logarithm choices are needed because the question asks for all possible values.

Set $w=e^z\ne 0$. The hyperbolic cosine identity gives $w+w^{-1}=2i$, hence the quadratic equationLet $L=\ln (1+\sqrt{2})>0$. The first root has modulus $1+\sqrt{2}$ and complex argument $\pi /2$; the second has modulus $\sqrt{2}-1=e^{-L}$ and complex argument $-\pi /2$. Taking all complex logarithm values givesThe two families are distinct because their real parts are respectively $L$ and $-L$. This exhausts the solutions because both roots for $w$ and all possible complex arguments have been included.

Since $x=\cos y$ with real $y$, necessarily $-1\le x\le 1$. Use Euler's formula and set $w=e^{iy}\ne 0$. Thenso the quadratic equation gives $w=x\pm i\sqrt{1-x^2}$. Let $q=x+i\sqrt{1-x^2}$. It lies on the upper half of the unit circle, so $q=e^{i\theta }$ with $0\le \theta \le \pi$. Choose the complex logarithm value $\ln q=i\theta$, taking $\ln (-1)=i\pi$ at $x=-1$. The two roots are $e^{\pm i\theta }$, so $e^{iy}=e^{\pm i\theta }$ gives $y=\pm \theta +2n\pi$.

Because $i\ln q=-\theta$, this set of real solutions is exactlyThe formula includes $x=\pm 1$: the two sign families then coincide after adjusting $n$. No real $y$ exists if $|x|>1$.

Poles and residues. An isolated singularity $z_0$ is a pole of order $m$ if its Laurent series has finitely many negative powers, the lowest being a nonzero multiple of $(z-z_0{)}^{-m}$. The residue is the coefficient of $(z-z_0{)}^{-1}$.

If $h(z_0)=0$ and $h^{\prime }(z_0)\ne 0$, factor $h(z)=(z-z_0)H(z)$, where $H$ is holomorphic near $z_0$ and $H(z_0)=h^{\prime }(z_0)$. For $g(z_0)\ne 0$,The last quotient is holomorphic and nonzero at $z_0$, proving a simple pole with

The given function. For noninteger $a$, specify a branch of a multivalued function before using $z^a$. Choose $z^a=\exp (a\log z)$ with $-\pi /2<\arg z<3\pi /2$, a cut along the negative imaginary axis. This leaves all three roots of $1+z^3$ off the cut. They are $z_{+}=e^{i\pi /3}$, $z_{-}=e^{-i\pi /3}$ and $z_0=-1$, all simple. The numerator is nonzero at these points. Since the denominator has derivative $3z^2$, the residues areFor noninteger $a$, zero is a branch point, rather than an isolated pole. This remains true when $-1<a<0$ and the numerator diverges there. For nonnegative integer $a$ it is a regular point. Other logarithm branches change the phases of the residues consistently.

Integral and convergence. Near zero the integrand behaves as $x^a$, requiring $a>-1$. At infinity it behaves as $x^{a-3}$, requiring $a<2$. Therefore the exact convergence range isUse a counterclockwise sector contour with rays at angles $0$ and $2\pi /3$, inner radius $\epsilon$ and outer radius $R$. The same complex logarithm branch is valid throughout this sector. Only $z_{+}=e^{i\pi /3}$ lies inside. The small circular arc contributes $O({\epsilon }^{a+1})$ and the large one contributes $O(R^{a-2})$, so both vanish precisely in the stated range.

The outward positive-real ray contributes $I$. On the returning ray set $z=x{e}^{2\pi i/3}$: the denominator is still $1+x^3$, while $z^{a}dz=e^{2\pi i(a+1)/3}{x}^{a}dx$, with reversed limits. The residue theorem givesPut $\alpha =\pi (a+1)/3$. The right-hand phase is $-e^{i\alpha }$ and $1-e^{2i\alpha }=-2i{e}^{i\alpha }\sin \alpha$. HenceThe sine is positive in this range, consistent with a positive real integral. This is a special case of the Mellin integral of a reciprocal binomial.

For $z=r{e}^{i\theta }\ne 0$, fix one argument $\theta$. Every value of the complex logarithm is $\log r+i(\theta +2\pi k)$, $k\in \mathbb{Z}$. By complex exponentiation, $z^z=\exp [z(\log r+i(\theta +2\pi k))]$. Taking the real part of its exponent gives all possible moduli:Equivalently these are $r^{\mathrm{Re}z}{e}^{-\mathrm{Im}z(\theta +2\pi k)}$. If $z$ is real and nonzero the modulus is the single value $r^{\mathrm{Re}z}$; otherwise the values form a geometric progression with ratio $e^{-2\pi \mathrm{Im}z}$. Changing the initially chosen argument just reindexes the same set. The logarithmic definition excludes $z=0$. This is the modulus of a complex self-power.