2
$\begingroup$

That is to ask, is $e^{\ln(q_0)}$ = $\ln(e^{q_0})$?

  • 0
    This condition does not imply that the two maps are inverse, but yes, this is true for sufficiently small q_0. In fact the inverse relationship between the logarithm and the exponential is formal in the sense that it is an equality of power series so it holds whenever the series converge.2011-02-24

3 Answers 3

3

$e^{\ln(q_0)} = q_0$ always holds for all branches of the logarithm and even for square matrices (because this is essentially the definition of the log).

$\ln(e^{q_0}) = q_0$ is already for complex numbers not always true (because the logarithm is multivalued)

1

I wrote software to play with quaternions numerically on the command line (http://sourceforge.net/projects/quaternions/).

q_ln 1 2 3 4 | q_exp 1.0000000000000011 2.0000000000000000 3.0000000000000004 4.0000000000000000
This confirms $e^{ln(q_0)}=q_0$. Flip the order: q_exp 1 2 3 4 | q_ln 1.0000000000000000 -0.3335164408915938 -0.5002746613373907 -0.6670328817831875 So $\ln(e^{q_0}) \ne q_0$.

0

Same here. I have code that seems correct, but I get the following results:

log(exp({2,4,3,3})) = {2,-0.31023,-0.232672,-0.232672} exp(log({2,4,3,3})) = {2,4,3,3}