2

I have studied that the numbers of the form N=aˣ can be written as $\log_aN=x \;\forall N>0, a>0, a\not=1.$

Let's take $N=-8$ and $a=-2$ then $-8=(-2)^3$ and $\log_{(-2)}-8 = 3$.

Why there are restrictions on the number and the base even though $\log_{(-2)}-8 = 3$ is defined? Is there something I'm missing as I'm only learning the propaedeutics of mathematics?

2 Answers2

2

If $a>0$, then $a^x$ is defined for every real number $x$ and, if $y>0$, what we denote by $\log_ay$ is the only $x\in\Bbb R$ such that $a^x=y$.

But if $a<0$ then $a^x$ is defined only for some numbers $x$; for instance, $a^{1/2}$ is undefined. That's why we don't talk about $\log_ay$; it's undefined for most numbers $y$.

0

In the special case when the given number and base both are real negative, log is well defined in terms of complex numbers and there are no restrictions.

$$ \log _{-a}(-N)=\frac{\log (-N)}{\log (-a)}= \frac{\log (N) + i \pi}{\log (a)+ i \pi} $$

$$=\frac{\pi-i\log (N)}{\pi-i\log (a)}$$

which is a complex number. The new unlabeled base can be again any real number b.

EDIT1:

If new base $b$ is positive then there is no problem but if negative we again have

$$ b= - |b|,\quad \log _{\;b} N =\frac {\log N }{\log b}=\frac {\log N }{i \pi+ \log |b|} $$

and the nestings / branch cuts of log can propogate continuously depending on the sign of newly chosen/introduced bases.

Narasimham
  • 40,495
  • I think you will find that the final expression you have written down is NOT independent of the choice of (positive, real) base. They also depend on the choice of branch of logarithm you chose when you wrote $\log(-a)=\log(a)+i\pi$. – Gerry Myerson Sep 19 '21 at 03:40
  • Thanks, edited to include choice of sign of new base, hope OK. – Narasimham Sep 19 '21 at 07:57
  • I guess I wasn't clear. Pick some positive numbers $a$ and $N$. Pick two different positive bases, $b$ and $b'$. Calculate $(\pi-i\log_bN)/(\pi-i\log_ba)$ and $(\pi-i\log_{b'}N)/(\pi-i\log_{b'}a)$. Are they the same? – Gerry Myerson Sep 19 '21 at 10:19
  • And there's still the matter of choosing a branch for $\log_b(-N)$. – Gerry Myerson Sep 19 '21 at 10:31
  • In short, this answer is wrong, Narasimham. Why is it still here? – Gerry Myerson Sep 21 '21 at 13:30