Solving Ln(-1) with Euler's Equation

  • Context: Graduate 
  • Thread starter Thread starter T@P
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the mathematical expression of ln(-1) using Euler's equation and the implications of this expression in the context of complex numbers. Participants explore the properties of logarithms in the complex plane, particularly focusing on the relationship between the exponential function and trigonometric identities.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that ln(-1) can be expressed as πi based on Euler's equation, leading to further exploration of the implications of this expression.
  • Others argue that the expression (-1)^{φ/π} is real only if φ is an integer multiple of π, indicating a restriction on the values that φ can take.
  • A later reply questions the algebraic manipulation of the expressions, suggesting that e^{ln(-1)φ/π} should not be simplified directly to (-1)^{φ/π} without considering the properties of logarithms in the complex plane.
  • Some participants highlight the complexity of the logarithm function, noting that ln(e^{πi}) is multi-valued and involves the argument of the complex number.
  • One participant expresses confusion about the implications of expressing i in terms of a real exponent of -1, suggesting that this leads to contradictions regarding the nature of real and imaginary numbers.
  • Another participant points out a potential error in the initial steps of the argument, emphasizing the need to consider the complex logarithm's periodicity and its implications for the expression of ln(-1).

Areas of Agreement / Disagreement

Participants do not reach a consensus, as there are multiple competing views regarding the manipulation of logarithmic expressions and the nature of complex logarithms. The discussion remains unresolved with various interpretations and corrections being proposed.

Contextual Notes

Limitations include the dependence on the definitions of logarithmic functions in the complex plane and the unresolved nature of certain algebraic steps. The discussion also reflects the complexities of handling multi-valued functions in complex analysis.

T@P
Messages
274
Reaction score
0
ok don't kill me, hear me out before you say its undefined:

[tex]e ^ { \pi i}= -1[/tex]

so taking the natural log of both sides yields:

[tex]ln(-1) = \pi i[/tex]

[tex]\frac {ln(-1)} \pi = i[/tex]

and plugging it into the well known equation,

[tex]e^{\varphi i} = cos(\varphi) + i sin(\varphi)[/tex]

you substitute your i into the left side,

[tex]e^{\frac {ln (-1)} { \pi * \varphi}} = cos(\varphi) + i sin(\varphi)[/tex]

[tex]-1^{\frac {\varphi} { \pi}} = cos(\varphi) + i sin(\varphi)[/tex]

now the left side is arguably real, so if you solve for i, you have i in terms of a real number. some of the time. i realize that you phi/pi can be 1/2 which would get you back to i, but can anyone explain this to me?

thanks (excuse the shoddy latex)

ok for some reason instead of getting something to the power of i get a funny ) sign. please assume it means to the power of, like this sign: ^
 
Last edited by a moderator:
Physics news on Phys.org
Thats really hard to understand but remember that your final equation traces out a path in the complex plane, not in the real plane. it will simplify to exactly what you started with.
 
which part you don't understand??

[tex](-1)^{\varphi/\pi}[/tex]
the above function is real if and only if the exponent is integer ... i.e. [itex]\varphi = n \pi[/itex]
 
you substitute your i into the left side,

[tex]e^(ln(-1 / \pi * \varphi) = cos(\varphi) + i sin(\varphi)[/tex]

[tex]-1^(\varphi/\pi) = cos(\varphi) + i sin(\varphi)[/tex]

[tex]e^{ln(-1)/\pi*\varphi)}[/tex] is not the same as [tex]e^{ln(-\varphi)/\pi)}[/tex]

Perhaps that is your mistake?
 
Last edited:
What is

[tex]e^{\frac{\ln (-1)}{\pi}\phi} =...?[/tex]

Daniel.
 
whozum said:
[tex]e^{ln(-1)/\pi*\varphi)}[/tex] is not the same as [tex]e^{ln(-\varphi)/\pi)}[/tex]

Perhaps that is your mistake?

I truly believe he want to say [tex](-1)^{\varphi/\pi}[/tex], he just didn't type it right, notice what he said earlier:

t@p said:
i realize that you phi/pi can be 1/2 which would get you back to i,

~vinnie
 
I see what's goin on here. You confused an exponential rule.

You have [tex]e^{ln(-1)*\varphi/\pi}[/tex] and you simplified this to [tex]-1^{\varphi/\pi}[/tex] because [tex]e^{ln(x)} = x[/tex]. The problem with that is
[tex]e^{ln(-1)*\varphi/\pi} = e^{ln(-1)}*e^{\varphi/\pi}[/tex]
which simplifies to
[tex]-e^{\varphi/\pi}[/tex].

Then you have
[tex]-e^{\varphi/\pi} = cos(\varphi) + i sin (\varphi)[/tex]

[tex]-e^{\varphi} * e^{1/\pi} = cos(\varphi) + i sin (\varphi)[/tex]

[tex]-e^{\varphi} * 1.375 = cos(\varphi) + i sin (\varphi)[/tex]

I really don't know where I am going with this..

[tex]-e^{\varphi} * 1.375 - cos(\varphi) = i sin (\varphi)[/tex]

[tex]i = \frac{-e^{\varphi} * 1.375 - cos(\varphi)}{sin(\varphi)}[/tex]
 
[tex]e^{ln(-1)*\varphi/\pi} = e^{ln(-1)}*e^{\varphi/\pi}[/tex]
Your algebra is not quite correct...
[tex]e^{ln(-1)\times\varphi/\pi}=(e^{ln(-1)})^{\varphi/\pi}=(-1)^{\varphi/\pi}[/tex]

EDIT:
[tex]e^{a+b} = e^ae^b[/tex]
[tex]e^{ab} = (e^a)^b[/tex]
 
Last edited:
Your error is in your very first step. Since [itex]ln( e^{ \pi i})[/itex] has a complex argument you must use the complex valued Ln function, this is multiple valued. You have thrown out the baby with bath.

ln( [itex]e^z[/itex])=ln |[itex]e^z[/itex]| + i arg ([itex]e^z[/itex])

so

ln(-1) = (2n+1) [itex]\pi[/itex] i
 
Last edited:
  • #10
ouchy this is too complicated. but yes my latex is pretty bad and my main point tho was that you can express i in terms of -1 to the power something real which seems weird because then i would appear to be real... only its not because [tex]-1^1.3[/tex] isn't quite real...
*edit* this is messed up, the point 3 doesn't get put into superscript but i hope you see what i mean

also just some random trivia but the 'function' [tex](-1)^x[/tex] is funny because the derivative is just [tex](-1)^x * \pi * i[/tex]

almost trignometric, which it is because of the whole [tex]e^\varphi i[/tex] thing...

i was bored during physics, what can i say
 
  • #11
T@P said:
*edit* this is messed up, the point 3 doesn't get put into superscript but i hope you see what i mean

Short LaTeX lesson: Use {} to keep things together. You write -1^1.3, while you should write -1^{1.3}. See:

[tex]-1^1.3[/tex]

versus

[tex]-1^{1.3}[/tex]
 
  • #12
ah thanks.
 
  • #13
Integral said:
Your error is in your very first step. Since [itex]ln( e^{ \pi i})[/itex] has a complex argument you must use the complex valued Ln function, this is multiple valued. You have thrown out the baby with bath.

ln( [itex]e^z[/itex])=ln |[itex]e^z[/itex]| + i arg ([itex]e^z[/itex])

so

ln(-1) = (2n+1) [itex]\pi[/itex] i

Yep, that's what I was about to say. Ln is periodic about your primary branch (arbitrary, isn't it?) just like exp is.
Ahh complex analysis, how i miss you...
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
734
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
4K