Sunday, October 16, 2016

exponentiation - What's the link between logarithms and the zeroth power, if any?

I have noticed that in some instances, $\log(x)$ (with base $e$) appears to "fill the role" of $x^0$ in situations where $x^0$ would not create a sensible answer. Here are a few examples of what I'm talking about:



The Power Rule for Integration



Any first-year calculus student will be familiar with the power rule of integration, which states:
$$\int x^n \, dx = \frac1{n+1} x^{n+1}, n \ne -1$$

Essentially, integration of $x^n$ has the effect of incrementing the power of $x$. Normally, following this rule for $x^{-1}$ would result in $\frac10x^0$, but there's that suspicious-looking $n \ne -1$ there. A natural question many students might ask, then, would be what the integral of $x^{-1}$ really is. And of course:
$$\int x^{-1} \, dx = \log|x|$$
So in a sense, $\log(x)$ is "replacing" $x^0$ in the context of the power rule.



The Generalized Mean



Taken from the Wikipedia article for the generalized mean:




If $p$ is a non-zero real number, and $x_1,\dots,x_n$ are

positive real numbers, then the generalized mean or power
mean
with exponent $p$ of these positive real numbers is: $$M_p(x_1,\dots,x_n) = \left( \frac{1}{n} \sum_{i=1}^n x_i^p \right)^{\frac{1}{p}}$$




Specific cases include the harmonic mean ($p = -1$), the arithmetic mean ($p = 1$), and the quadratic mean ($p = 2$). What about $p = 0$? Well, unfortunately, this would involve raising every individual data point to the zeroth power (which annihilates the data), adding them, and raising them to the infinite-th power. Instead,




For $p=0$ we set it equal to the geometric mean (which is the limit of means with exponents approaching zero, as proved below):
$$M_0(x_1, \dots, x_n) = \sqrt[n]{\prod_{i=1}^n x_i}$$





This doesn't seem immediately connected to the logarithm, but it's possible to rephrase this formula somewhat.
$$M_0(x_1, \dots, x_n) = \exp\left( \frac{1}{n} \sum_{i=1}^n \log(x_i) \right)$$
As you can see, $\log(x)$ arises in place of $x^0$, and $\exp(x)$ replaces the exponent of $1/0$.





Admittedly, this connection is a lot more tenuous than the previous two, but I have noticed that $x^0$ and $\log(x)$ are both undefined at 0, and defined everywhere else, assuming you allow complex numbers. This could just be a coincidence, though, since the same is true of negative powers (though I do wonder if $\log(0)$ is defined in the projectively extendeed real line, where negative powers are defined; if not, that could mean a stronger link to $0^0$).



The logarithmic function will grow slower than any positive, finite power; on the other hand, the exponential function will grow faster than any positive, finite power. Thus, if you were to "sort" the logarithmic, exponential, and all (positive finite) power functions by how quickly they grow, the logarithmic function would be sorted at 0 and the exponential function would be sorted at infinity.




If you want to play with the relationship $(x^p+y^p)^{1/p}$, I've created a Desmos calculator that plots this relationship with the numbers $a$ and $b$, along with the generalized mean shown above. The horizontal axis is the power $p$; at $p=0$, this "generalized addition" diverges to $0$ from the negative direction and $\infty$ from the positive direction, while the generalized mean approaches the geometric mean. In fact, if one were to remove the root from the expression, one would get $\exp(\log(a)+\log(b))$, which simplifies to $ab$.



Overall, I get the impression that $\log$ and $\exp$ act analogously to the "zeroth power" and a sort of "infinite power," and I think I've provided some evidence to support this intuition. Is there a fundamental reason as to why the logarithm tends to replace the zeroth power, or is this just a coincidence that I've over-analysed?

No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...