Why does ln(i) = (1/2pi)i?

  • Thread starter zketrouble
  • Start date
In summary: So, when we write the complex exponential [itex]e^{i*x}[/itex], we can interpret this as the complex number of unit distance from the origin, making an angle x with the real axis. In summary, the connection between the natural logarithm, complex numbers, and pi is due to the relationship between the exponential function and trigonometric functions. The complex exponential follows a specific identity and when multiplied, two complex numbers of unit length are equivalent to adding their angles together. This explains why ln(i) equals (1/2pi)i, as the angle of i on the complex plane is 1/2pi. Further understanding of this concept may require an introduction to the Argand plane and polar
  • #1
zketrouble
47
0
Why does ln(i) = (1/2pi)i?

I was bored the other day and wondered whether or not it would be possible to find out the natural log of the imaginary number i. Typed it into my TI-84 and it said the answer was 1.57079632i. I wondered why the might be the case, thought about it for a while and noticed that 1.5707 is equal to 1/2pi. Decided to ask my calculator what ln(-1) equaled, which was as predicted pi*i.

ln(i) = 1/2ln(-1)
ln(-11/2) = 1/2ln(-1)
1/2ln(-1) = 1/2ln(-1)

Makes enough sense to me.

What confuses/interests me is this: What is it that ties the number i, the natural logarithm, and pi together? How does 1/2pi(i) get spit out? I had no idea that pi and i could possibly be related to each other in any way. Why is pi = [ln(1)/i]?

Further, can the perimeter/are of a circle be defined in terms of i?
 
Last edited:
Mathematics news on Phys.org
  • #2


Hi, zktrouble!

The answer is that when we deal with complex&imaginary numbers, the exponential function and the trigonometric functions are closely related!

In fact, the complex exponential follows the following identity:
[tex]e^{i*x}=\cos(x)+i*\sin(x)[/tex] where x is measured in radians.
Thus, note that we have:
[tex]e^{i*\frac{\pi}{2}}=\cos(\frac{\pi}{2})+i*\sin(\frac{\pi}{2})=i[/tex], where it "follows" that the natural logarithm to i is [tex]i*\frac{\pi}{2}[/tex]
 
  • #3


Pick up a text on complex analysis. The logarithm function is typically only defined for positive real numbers. In order to extend the function to the entire complex plane except for the negative real numbers, you have to redefine the logarithm in such a way that it is a single-valued operation.
 
  • #4


Pengwuino said:
Pick up a text on complex analysis. The logarithm function is typically only defined for positive real numbers. In order to extend the function to the entire complex plane except for the negative real numbers, you have to redefine the logarithm in such a way that it is a single-valued operation.
I'm not sure who you are addressing. I know that, but didn't think it worth mentioning at the beginning, judging the level OP seemed to be in his knowledge of complex numbers.
 
  • #5


arildno said:
I'm not sure who you are addressing. I know that, but didn't think it worth mentioning at the beginning, judging the level OP seemed to be in his knowledge of complex numbers.

It was meant at the OP, I should have done a quote. I didn't get the same impression of the OP's familiarity with complex numbers and how the logarithmic function is not exactly what it is in the reals.
 
  • #6


Well, OP knows best.
I was unsure if he knew of the Argand plane, and if he isn't, he'd need an introduction to that (and polar representation of a number) before understanding the geometrically very simple reason why complex logarithms are multi-valued.
 
  • #7


arildno said:
Well, OP knows best.
I was unsure if he knew of the Argand plane, and if he isn't, he'd need an introduction to that (and polar representation of a number) before understanding the geometrically very simple reason why complex logarithms are multi-valued.

I think you don't have to go that far. All you need is your example of why log(i) is what it is and you can extend that example to show they are multi-valued.

What I have in mind is the following:

[tex]e^{i {{\pi} \over {2}}} = e^{i {{\pi} \over {2}} + 2\pi i} = i[/tex]

Where it's fairly trivial to see that those two values are the same and the logarithm must be multi-valued if thought of in that way.
 
  • #8


Pengwuino said:
I think you don't have to go that far. All you need is your example of why log(i) is what it is and you can extend that example to show they are multi-valued.

What I have in mind is the following:

[tex]e^{i {{\pi} \over {2}}} = e^{i {{\pi} \over {2}} + 2\pi i} = i[/tex]

Where it's fairly trivial to see that those two values are the same and the logarithm must be multi-valued if thought of in that way.
It will depend upon his reaction.
If he wishes, for example, to understand why/I] there is such a close relationship between exponentiation and trigonometrics in the complex world, then understanding the definition behind complex multiplication and its relation to addition of angles will require an intro to the Argand plane.
 
  • #9


arildno's first post makes enough sense, but I don't understand much about the other things everybody has been mentioning. My knowledge of complex numbers goes about as far as a college algebra course. Now I'm starting calculus but I haven't done much with imaginary/complex numbers in calculus yet. So what is this Argand plane because I haven't heard of it. Is this the same as plotting points on the graphs of the form (x, yi)?? Cheers.
 
Last edited:
  • #10


zketrouble said:
arildno's first post makes enough sense, but I don't understand much about the other things everybody has been mentioning. My knowledge of complex numbers goes about as far as a college algebra course. Now I'm starting calculus but I haven't done much with imaginary/complex numbers in calculus yet. So what is this Argand plane because I haven't heard of it. Is this the same as plotting points on the graphs of the form (x, yi)?? Cheers.
Yes, the Argand plane is the complex number plane.

In order to understand why we have the connection between the exponential and the trigonometrics, we can look at the following points:

1. An exponential function Exp(x) has the properties Exp(x)*Exp(y)=Exp(x+y) (and the correlate Exp(0)=1, if Exp is non-constant).
That is, multiplication of exponentials can be replaced by addition of exponents.

2. We have the trigonometric addition formula:
[tex]\cos(x)\cos(y)-\sin(x)\sin(y)=\cos(x+y), \sin(x)\cos(y)+\cos(x)\sin(y)=\sin(x+y)[/tex]

3. Multiplying two complex numbers, we have the general rule:
[tex](a+b*i)*(c+d*i)=(ac-bd)+(ad+bc)*i[/tex]

4. Now, pick two numbers, X and Y, both at unit distance from the origin in the complex number plane, and multiply them together. Their real and imaginary parts are then representable in terms of the cosine and sine functions. Let x and y be the angles associated with their positions in the complex plane, measured relative to the real axis.
[tex]X*Y=(\cos(x)+i*\sin(x))*(\cos(y)+i*\sin(y))=(\cos(x)\cos(y)-\sin(x)\sin(y))+(\sin(x)\cos(y)+\cos(x)\sin(y))*i=\cos(x+y)+\sin(x+y)*i[/itex]

That is, multiplying to complex number of unit length together is equivalent of adding their angles together!
Thus, angles in the complex plane fulfills the same function as the exponent in the exponential function.
 
  • #11


If you have touched upon Taylor series in calculus, you will see that this extension of e^x is completely natural in the sense that the values of its Taylor series for complex input will coincide with the identity arildno mentioned. It would be a good exercise to verify this by comparing the Taylor series for e^x with the Taylor series for the sine and cosine function (without bothering with potential issues with convergence). That will hopefully clear up any confusing regarding the seemingly arbitrary definition of e^x for imaginary values.
 
Last edited:
  • #12


Now, to understand the idea of the complex logarithm as multi-valued:

Let z be a complex number of unit length, therefore we may write:
[tex]z=e^{i*\theta}=\cos(\theta)+i*\sin\theta, 0\leq\theta<{2\pi}[/tex]
Thus, trivially, we ought to have:
[tex]\log(z)=i*\theta[/tex]
Agreed?

But, and here's the thing:
Sines and cosines ae periodic functions; and we see that for every integer k, we could equally well say:
[tex]\log(z)=i*(\theta+k*2\pi)[/tex]
Thus, all complex numbers have infinitely many logarithms, and whenever we wish to refer to any single one of them, we have to specify which one.

The angular value that lies between 0 and two pi is generally called the principal value.
 
Last edited:
  • #13


zketrouble said:
What confuses/interests me is this: What is it that ties the number i, the natural logarithm, and pi together? How does 1/2pi(i) get spit out? I had no idea that pi and i could possibly be related to each other in any way. Why is pi = [ln(1)/i]?

The answer is e, the base of the natural logarithms. There is the basic relation that
[tex]e^{i\pi}=-1=i^2[/tex]

which bounds e, pi, i and 1 ...This relation is quite "famous" , some even consider it as strong indication or even proof of god's existence . Of course objectively speaking it has nothing to do with god, it is just a nice relation...Proof of that relation and of the more general [tex]e^{ix}=cos(x)+isin(x)[/tex] follows from the taylor expansion of e^x, sinx and cosx.
 
Last edited:
  • #14


Delta² said:
The answer is e, the base of the natural logarithms. There is the basic relation that
[tex]e^{i\pi}=-1=i^2[/tex]

which bounds e, pi, i and 1 ...This relation is quite "famous" , some even consider it as strong indication or even proof of god's existence . Of course objectively speaking it has nothing to do with god, it is just a nice relation...Proof of that relation and of the more general [tex]e^{ix}=cos(x)+isin(x)[/tex] follows from the taylor expansion of e^x, sinx and cosx.

e^(pi*i) = -1
ln (e^(pi*i)) = ln(-1)
pi*i = ln(-1)

i = ln(-1)/pi
AND
pi = ln(-1)/i

This ties things together quite nicely. Thanks!
 
  • #15


Another idea:

Why does Summation from 0-->infinity of 1/n! = pi?
 
  • #16


zketrouble said:
Another idea:

Why does Summation from 0-->infinity of 1/n! = pi?
It equals e, not pi.
 
  • #17


arildno said:
It equals e, not pi.

Right, that's what I meant. not pi, e. But in any case, why does it?

[EDIT]

What is the magic involved in the summation of 1/n! that magically creates the base of the function which equals its own derivative?

[/EDIT]
 
Last edited:
  • #18


zketrouble said:
Right, that's what I meant. not pi, e. But in any case, why does it?
It really depends on your starting point.
Some might say that the number "e" is defined as that sum. In that case, there is no "why".
 
  • #19


e is defined by that sum? I have always known e to be defined as follows:

Lim x--> infinity (1+1/n)^n. But I guess a summation to infinity is in essence a limit, so its understandable that perhaps the mentioned function can be simplified to the Sigma(1/n!)function. But how does it simplify?

Thanks again!
 
  • #20


zketrouble said:
e is defined by that sum? I have always known e to be defined as follows:

Lim x--> infinity (1+1/n)^n. But I guess a summation to infinity is in essence a limit, so its understandable that perhaps the mentioned function can be simplified to the Sigma(1/n!)function. But how does it simplify?

Thanks again!
Those definitions can be proven to be equivalent.
It is an ugly and tedious business to prove that equivalence.

EDIT:

The beginning of the proof is quite simple:
By the binomial formula, you have, for integer "n":
[tex](1+\frac{1}{n})^{n}=\sum_{i=0}^{n}\binom{n}{i}\frac{1}{n^{i}}=\sum_{i=0}^{n}\frac{1}{i!}\Pi_{j=0}^{i-1}\frac{n-j}{n}[/tex]
Now, termwise, the pi products "ought" to converge to 1, and thus, the sum "ought" to converge to the infinite sum we want.
The drudgery is just to prove that.
 
Last edited:
  • #21


[tex]e= \lim_{n\to \infty} \left(1+ \frac{1}{n}\right)^n[/tex]
means that, for large n, [itex]\left(1+ \frac{1}{n}\right)^n[/tex] is very close to e.

From that,
[tex]1+ \frac{1}{n}\approx e^{1/n}[/tex]
[tex]e^{1/n}- 1\approx \frac{1}{n}[/tex]
Now let h= 1/n so we have
[tex]e^h- 1\approx h[/tex]

Now suppose we define [itex]f(x)= e^x[/itex]. To find the derivative we look at
[tex]\lim_{h\to 0}\frac{e^{x+h}- e^x}{h}[/tex]
[tex]= \lim_{h\to 0}e^x\frac{e^h- 1}{h}[/tex]
which because
[tex]\frac{e^h-1}{h}\approx\frac{h}{h}= 1[/tex]
becomes [itex]e^x(1)= e^x[/itex].

That is, with e defined as
[tex]\lim_{n\to\infty}\left(1+ \frac{1}{n}\right)^n[/itex]
we have
[tex]\frac{de^x}{dx}= e^x[/tex]

From that, it follows that [itex]e^x[/itex] is infinitely differentiable, that all derivatives are [itex]e^x[/itex] which has value 1 at x= 0, so that the MacLaurin series for [itex]e^x[/itex] gives
[tex]e^x= \sum_{n=0}^\infty \frac{x^n}{n!}[/tex]
and, taking x= 1 in that,
[tex]e= \sum_{n=0}^\infty \frac{1}{n!}[/tex].
 

1. Why is the natural logarithm of i equal to (1/2pi)i?

The natural logarithm of a complex number is defined as the logarithm of its magnitude, multiplied by the complex argument. In the case of i, its magnitude is 1 and its argument is π/2 radians. Therefore, the natural logarithm of i can be written as ln|i| + iarg(i) = ln(1) + i(π/2) = 0 + (π/2)i = (1/2pi)i.

2. How does ln(i) relate to Euler's formula?

Euler's formula states that e^(ix) = cos(x) + isin(x). When x = π/2, we get e^(iπ/2) = cos(π/2) + isin(π/2) = 0 + i = i. Taking the natural logarithm of both sides, we get ln(e^(iπ/2)) = ln(i), which simplifies to (iπ/2)i = (1/2pi)i.

3. Can ln(i) be expressed in terms of pi or e?

Yes, ln(i) can be expressed as (1/2pi)i or approximately 0.159i. It cannot be expressed in terms of e, as e^(x) will never equal i for any real value of x.

4. Why does ln(i) have an imaginary component?

The natural logarithm of a complex number will always have an imaginary component, as the argument of a complex number is an angle in the complex plane. In the case of ln(i), its argument is π/2 radians, which results in an imaginary component of (1/2pi)i.

5. What is the significance of ln(i) in mathematics and science?

Ln(i) is used in various mathematical and scientific applications, including complex analysis, signal processing, and quantum mechanics. It is also an important component in understanding the properties of complex numbers and their relationship to other mathematical concepts, such as Euler's formula and the natural logarithm function.

Similar threads

Replies
4
Views
286
Replies
4
Views
695
  • Introductory Physics Homework Help
Replies
2
Views
771
Replies
6
Views
2K
  • General Math
Replies
8
Views
1K
  • Differential Equations
Replies
2
Views
2K
Replies
10
Views
1K
Replies
7
Views
798
Replies
14
Views
2K
Back
Top