What Is $0^{I}$?

What Is $0^{I}$?
$\begingroup$

$$\lim_{n\to 0} n^{i} = \lim_{n\to 0} e^{i\log(n)} $$ I know that $0^{0}$ is generally undefined, but can equal one in the context of the empty set mapping to itself only one time. I realize that in terms of the equation above, the limit does not exist, but can $0^{i}$ be interpreted in a way to assign it a value? For the curious, I ran in to this when trying to calculate the imaginary-derivative of $\sin(x)$.

$\endgroup$
12

4 Answers

$\begingroup$

This was a comment, but @hjhjhj57 suggested that it might serve as an answer.

If you write the right-hand side of your equation as $\lim_{t\to−∞}e^{it}=\lim_{t\to−∞}(e^i)^t$, it’s completely clear that the limit doesn’t exist: you’re taking the number $e^i$, which is on the unit circle, and raising it to a large (but negative) power. You have a point that runs around the unit circle infinitely many times as $t\to−∞$, no limit at all.

$\endgroup$
2
$\begingroup$

It is possible to interpret such expressions in many ways that can make sense. The question is, what properties do we want such an interpretation to have?

$0^i = 0$ is a good choice, and maybe the only choice that makes concrete sense, since it follows the convention $0^x = 0$. On the other hand, $0^{-1} = 0$ is clearly false (well, almost—see the discussion on goblin's answer), and $0^0=0$ is questionable, so this convention could be unwise when $x$ is not a positive real.


Digging deeper: One generally defines complex exponentiation as a multi-valued function: if $e^c = a$, then we can define $a^x = e^{cx}$. This is not unique, since it depends on the choice of $c$, but it's a good way to think about quantities like $i^i$ (this is sometimes claimed to be $e^{-\pi/2}$, but it can be interpreted as $e^{-\pi/2 + 2\pi n}$ for any $n\in\mathbb{Z}$)

This approach breaks down for $0^i$, because $0$ has no natural logarithm in the complex numbers. However, if we're comfortable calling $-\infty$ (or $-\infty + 2\pi i n$) a natural log of $0$, then we can say that $0^x = e^{-\infty \cdot x} = 0$ when $x$ has positive real part.

When $x$ has negative real part, this leads us to regard $0^x$ as a quantity with infinite magnitude and undefined argument. When $x$ is imaginary, the argument is still undefined, but the magnitude is multi-valued rather than infinite.


My conclusion is that we should avoid assigning meaning to $0^i$.

Writing $|0^i| = 1$ may be sensible, however, under some circumstances.

In a general setting, I would be comfortable saying that $|0^i| = e^{2\pi n}$, for any $n\in\mathbb{Z}$.

$\endgroup$
8
$\begingroup$

Wait.

The first reasonable way to understand if a good definition of $0^i$ can be given, is to define $$ 0^i:=\lim_{z\to0}z^i=\lim_{r\to0}(re^{i\theta})^i=e^{-\theta}\lim_{r\to0}r^i $$ But now $r^i=e^{i\log r}=\cos(\log r)+i\sin(\log r)$, and being $\log r\stackrel{r\to0}{\longrightarrow}-\infty$, we conclude the limit $\lim_{z\to0}z^i$ can't exist, thus $0^i$ can't be defined.

$\endgroup$
$\begingroup$

We have:

$$\lim_{x\to0} e^{i \log x}=\lim_{x\to\infty} e^{-ix}=\lim_{x\to\infty} (-1)^{-x}=\lim_{x\to\infty} (-1)^{x}$$

The limit as you noticed, does not exist... But if you want to assign a value nevertheless... well, the mean value of $(-1)^n$ will be zero:

$$\lim _{x\to\infty} \frac 1{x}\int_0^x (-1)^x =0$$

$\endgroup$
12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Alexander Ross
Author

Alexander Ross

Alexander Ross has covered the video game industry for a decade, writing deep dives on game design, esports tournaments, VR developments, and gaming culture.