Why is ln(5) the solution to e^x - 5e^{-x} = 4?

  • Context: Undergrad 
  • Thread starter Thread starter Inspector Gadget
  • Start date Start date
  • Tags Tags
    Natural
Click For Summary
SUMMARY

The equation e^x - 5e^{-x} = 4 simplifies to y - 5/y = 4 by substituting y = e^x. The valid solution is x = ln(5), while y = -1 leads to x = ln(-1), which is not a real solution. The discussion clarifies that while the equation has two solutions in the complex plane, only one is valid in the real numbers. The concept of Riemann surfaces is introduced to explain the infinite nature of logarithmic solutions in the complex domain.

PREREQUISITES
  • Understanding of exponential functions and their properties
  • Familiarity with logarithmic functions, specifically natural logarithms
  • Basic knowledge of complex numbers and their representations
  • Concept of Riemann surfaces in complex analysis
NEXT STEPS
  • Study the properties of exponential and logarithmic functions in depth
  • Learn about complex numbers and their applications in solving equations
  • Explore Riemann surfaces and their significance in complex analysis
  • Investigate the concept of branch cuts in complex functions
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced algebra and complex analysis, particularly those exploring the intersections of real and complex solutions in equations.

Inspector Gadget
Messages
31
Reaction score
0
I'm trying to figure out how to do this problem...

Solve for x:

<br /> \frac{e^x-5e^{-x}}{4}=1<br />

I know the answer is ln(5) [given by both the book and TI-89 calculator], but I can't figure out why.
 
Last edited:
Physics news on Phys.org
Let y=e^x then you are solving y-5/y=4
 
Got it. Thanks.
 
Did you see WHY y- 5/y= 4 has TWO solutions but \frac{e^x-5e^{-x}}{4}=1 has only one?
 
Couldn't we say that \frac{e^x-5e^{-x}}{4}=1 also has two solutions, but only one in {R}?
 
I'm pretty sure I do, but should probably have someone confirm this...

If you sub in y for e^x, multiple by y to get it out of the denominator, set equal to 0, and factor, you get: (y - 5)(y + 1) = 0

Solutions: 5, -1.

Then when you have...

y = 5
e^x = 5
x = ln(5)

...which is valid, but...

y = -1
e^x = -1
x = ln(-1)

...isn't a valid solution because you can't take the natural log of a negative number.
 
True, but e^(pi * i) = -1. Doesn't that count?
 
Gunni said:
True, but e^(pi * i) = -1. Doesn't that count?
This means that the other solution is imaginary, therefore not in the real numbers. When you say

"x= ln(-1) does not have a solution" It is not a correct statement you must add a qualifier:

"x=ln(-1) does not have a REAL solution". Is a correct statement.

In most intro math courses it is assumed that you are working in the Real numbers so the qualifier is often dropped.
 
Gunni said:
Couldn't we say that \frac{e^x-5e^{-x}}{4}=1 also has two solutions, but only one in {R}?

(I thought I had responded to this before but it doesn't appear.)

No, we would have to say that it has an infinite number of solutions, one of which is real.
 
  • #10
HallsofIvy said:
(I thought I had responded to this before but it doesn't appear.)

No, we would have to say that it has an infinite number of solutions, one of which is real.
Oh? Please could you explain.
 
  • #11
Consider z a complex number as re^{i\theta} the naive way to define log of z is logr + i\theta (sorry for the pseudo tex) but theta isn't determined uniquely one can add on two pi's at will. Just as one has two square roots and chooses the principal branch, one can do the same for logs, and define log(z) as log(|z|) +iArg(z) by taking the principal argument.

Imagine walking round the unit circle noting the value of log at each point. as you appoach where you started from you see a problem coming up - you're suddenly going to have to jump from being close to i2pi to zero again.

Taking that idea one starts to think about Riemann Surfaces where you dont' jump back down again but keep going and switch to another copy of the complex plane. You can imagine doing this again and again and the surface you create is an infinite spiral of copies of C glued together. If you did this for square roots, you'd see that after the second loop you do you're back to where you started. Informally sqrt has two C's gleud together (and there are two choices of sqrt) and log has infinitely many copies glued together, and there are infinitely many possible values of log.
 
  • #12
I'm sorry matt grime but I don't understand. Are you saying that there are an infinite number of answers in the form re^{i\theta}? If so I don't quite understand how that is an infinite number of solutions because it is still actually the same numbers in the form of x + iy. Oh and please what is a "Riemann Surfaces"?
 
  • #13
You agree that exp^{i\pi} = exp^{3i\pi}=exp^{5i\pi}...?

Well, taking naive logs (ie log(exp(z)) = z) says that i\pi=3i\pi=5i\pi...

So we have to pick one of these options, just as we pick sqrt(4) to be 2 and not -2.

The Riemann Surface is a topological way of encoding this data.

The way you think about that is the paths idea. Don't worry about it, it's not important to you at the moment.
 
  • #14
Oww right I've never thought about it like that thanks. Very interesting thanks :biggrin:
 
  • #15
So, do you see how the path analogy to the square root works? for sqaure root, you take the positive square root of the modulus and half the argument. Now imagine walking round the unit circle, at 1, thte sqaure root is 1, wander to the argument pi/4 and the square root there has argument pi/8, and so on. Now as you get round to 1 again from the other side you've got a problem, as by halving arugments you should be getting closer to minus 1... so imagine there were two copies of the complex plane, both split long the positive part of the real axis. Now as you approach 1 from below, you climb from one plane to the other where we have the other answer to the root - sqrt(1)=-1 there, and if you carry on around the circle in that plane, as you get back to the 1 again you see that the sqrt here is approching 1 again, so yuo climb back down to the plane below. The 'surface' is what you get if you glue the two planes along the slit. for logs once you start going round and round you never get back to the start though.
 
  • #16
Sorry you have totally lost me now :confused:

Could you perhaps provide a link or something? I have no objection to reading through a lot of text I find it all very fascinating.
 
  • #17
Not sure I can think of a good link off the top of my head, try wolfram or similar. There ought to be some web animations of this somewhere. Note to self: make one if not.
 
  • #18
matt grime said:
Not sure I can think of a good link off the top of my head, try wolfram or similar. There ought to be some web animations of this somewhere. Note to self: make one if not.
Well the diagrams are quite scary http://mathworld.wolfram.com/RiemannSurface.html put reading over it and what you have put I think I understand the principle of the whole thing thanks :smile:.
 
  • #19
yeah, that's not what i had in mind. the bit it links to on branch cuts is more useful
 

Similar threads

MHB Solve $2+5\ln{x}=21$: Find $x$
  • · Replies 5 ·
Replies
5
Views
1K
High School Calculating shaded area: I'm getting discrepancies between methods
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad Find f(z) given f(x, y) = u(x, y) + iv(x,y)
  • · Replies 8 ·
Replies
8
Views
918
Undergrad Having trouble understanding a seemingly simple u-substitution
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad Did Math DF's integral calculator make a glaring mistake?
  • · Replies 8 ·
Replies
8
Views
3K
High School Are Both Answers Correct for Trigonometric Substitution Integral?
  • · Replies 5 ·
Replies
5
Views
2K
MHB How Do You Calculate the Length of the Curve from $x=\ln{4}$ to $x=\ln{5}$?
  • · Replies 10 ·
Replies
10
Views
3K
MHB Why Doesn't the Intermediate Value Theorem Apply to ln(x^2 + 2) on [−2, 2]?
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad How to find the maximum arc length of this equation?
  • · Replies 3 ·
Replies
3
Views
2K
MHB Solve for $\frac{dy}{dx}$ of $\ln(2xy)=e^{x+y}$
  • · Replies 7 ·
Replies
7
Views
2K