Limit problem.

  • Thread starter FabledIntg
  • Start date
  • #1
43
0

Main Question or Discussion Point

Noncircular proof that the limit:

[tex]\lim_{h \to 0}\frac{e^{h}-1}{h}[/tex]

Tends to 1, which is [tex](ln(e))[/tex] as [tex]{h \to 0}[/tex]

Been trying logarithms and other kind of stuff but always seem to get 0/0 :(
 
Last edited:

Answers and Replies

  • #2
L'Hospital gives the desired result.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
955
Yes, but he asked for a "non-circular" proof! The point is that the standard proof of the derivative of ex requires taking that limit. Thus, using the derivative to get that limit is "circular".

However, it is not necessary to use the "standard proof" of the derivative. One thing commonly done in modern Calculus books is to define the logarithm first:
Define
[tex]ln(x)= \int_1^x \frac{1}{t} dt[/tex]

All of the usual properties of the natural logarithm can be derived from that including the fact that it is a one-to-one function from the postive real numbers to the real numbers and so has an inverse function from the real numbers to the positive real numbers. Call that inverse function "exp(x)". Since it is clear from the definition above that the derivative of ln(x) is 1/x, knowing that ln(exp(x))= x tells us that (1/exp(x))(exp(x))'= 1 so the derivative of exp(x) is exp(x) itself. Once we have that, then we can use the L'Hospital as Matthollyw00d says.

(Also, if y= exp(x), then x= ln(y) and, if [itex]x\ne 0[/itex] 1= (1/x)ln(y)= ln(y1/x. Going back to the exp form, exp(1)= y1/x so y= (exp(1))x. That is, the "exp" function, defined as the inverse to ln(x), really is ex where e is defined as exp(1), the number whose natural logarithm is 1.)

But if you want a more direct proof, you have to go back to the definition of "e". e can be defined by [itex]e= \lim_{h\to 0}(1+ h)^{1/h}[/itex]. So we can say that, for h close to 0, we have [itex]e= (1+h)^{1/h}[/itex], approximately. Then [itex]e^h= 1+h[/itex] so [itex]e^h-1 = h[/itex] and then [itex](e^{h}-1)/h= 1[/itex]. That is, as I said, approximate. taking the limit, as h goes to 0, makes it exact.
 
  • #4
43
0
I love math. Im a pilot but can still sit and study math for several hours. Problem is that I don't have anyone to share my thoughts with and discuss. However you guys seem to be really bright in math. Best math/physics forum so far!

Thank you for the reply guys!
 
  • #5
13
0
I seem to suggest using series all the time but the Taylor series expansion of e^h might be useful.
Then (e^h-1)/h = 1+h(some terms) tends to 1 as h goes to 0. But this may again be circular.
 
  • #6
lurflurf
Homework Helper
2,432
132
This limit is the definition (Newton quotient) of exp'(0).
Thus L'Hospital is overkill.
What we need is a definition of exp where either the limit or exp'(0) is given or easy to deduce.
In fact exp'(0)=1 is what is special about e.
 
  • #7
limit means not simply substituting the values but it merely means that at its neighbourhood
 
  • #8
43
0
Ok something is wrong here.

[tex]\frac{d}{dx}{a^x}=ln({a}){a^x}[/tex]

Tis is by proving that the limit of (ah-1)/h tends to ln(a).

The limit above with e instead: (eh-1)/h tends to 1. But it should actually tend to ln(e) wich happens to be 1. This according to "(ah-1)/h tends to ln(a)" statement which is true.

Does this mean that L'Hospitals rule was just a coincidence and doesent actually work with (ah-1)/h since ln(a)[tex]\neq[/tex] 1 if ofcourse a[tex]\neq[/tex]e

The derivative of ex is actually ln(e)ex, same applies for ax, then dy/dx(ax) = ln(a)ax.

Its kind of a contradiction there if you use L'hospital to prove that these limits tend to ln(e) respectively ln(a).

Does anyone understand what I mean or is my reasoning idiotic?
 
  • #9
23
0
Actually as someone suggested, it is very easy using the definition of e^x as the infinite power series:

[tex] \displaystyle\sum_{k=0}^\infty \frac{x^k}{k!} [/tex] . Try taking the derivative and you will see it is the same sum, so that D(e^x) = e^x. Then you may use L'hopital's rule, whose derivation does not depend in any way on e^x (uses generalized mean value theorem), so no circular argument is used.
 
  • #10
HallsofIvy
Science Advisor
Homework Helper
41,833
955
Ok something is wrong here.

[tex]\frac{d}{dx}{a^x}=ln({a}){a^x}[/tex]

Tis is by proving that the limit of (ah-1)/h tends to ln(a).

The limit above with e instead: (eh-1)/h tends to 1. But it should actually tend to ln(e) wich happens to be 1. This according to "(ah-1)/h tends to ln(a)" statement which is true.

Does this mean that L'Hospitals rule was just a coincidence and doesent actually work with (ah-1)/h since ln(a)[tex]\neq[/tex] 1 if ofcourse a[tex]\neq[/tex]e

The derivative of ex is actually ln(e)ex, same applies for ax, then dy/dx(ax) = ln(a)ax.

Its kind of a contradiction there if you use L'hospital to prove that these limits tend to ln(e) respectively ln(a).

Does anyone understand what I mean or is my reasoning idiotic?
I don't understand what "contradiction" you are talking about. IF you have proven the derivative of ex without using that limit itself, then, yes, L'Hospital's method works nicely for either ex or ax.

Assume that we already know that d(ex)/dx= ex and that d(ax/dx= ln(a)ax. Then Applying L'Hospital to [itex]lim_{h\to 0}(e^h- 1)/h[/itex], differentiating both numerator and denominator, with respect to h, separately, we get [itex]\lim_{h\to 0}e^h/1= 1[/itex]. Doing the same with [itex]\lim_{h\to 0}(a^h-1)/h[/itex] we get [itex]\lim_{h\to 0}ln(a)a^h/1= ln(h)[/itex], both of which are correct.
 
  • #11
2
0
What does exactly 'non-circular' proof mean?
 
  • #12
43
0
What does exactly 'non-circular' proof mean?
Means that you shouldnt use things you know in forehand to proof something. Sounds weird but here is an example:

Lets say you want to proove that the derivative of the function f(x)=ax is f'(x)ln(a)ax by using the definition of the derivative

f'(x)=(a(x+h)-ax)/h as h tends to 0.

After simplifying you will get ax times the limit as h tends to 0 of (ah-1)/h.

You can prove that this limit tends to ln(a) by using L'Hopitals rule, but then you have to differentiate ah, however, how can you differentiate it, if you havent prooven its derivative yet?

see my point?
 
  • #13
1
0
jjjjj
I love math. Im a pilot but can still sit and study math for several hours. Problem is that I don't have anyone to share my thoughts with and discuss. However you guys seem to be really bright in math. Best math/physics forum so far!

Thank you for the reply guys!
 
  • #14
2
0
Means that you shouldnt use things you know in forehand to proof something. Sounds weird but here is an example:

Lets say you want to proove that the derivative of the function f(x)=ax is f'(x)ln(a)ax by using the definition of the derivative

f'(x)=(a(x+h)-ax)/h as h tends to 0.

After simplifying you will get ax times the limit as h tends to 0 of (ah-1)/h.

You can prove that this limit tends to ln(a) by using L'Hopitals rule, but then you have to differentiate ah, however, how can you differentiate it, if you havent prooven its derivative yet?

see my point?

Yeah...I got it...Best Regards...
 
  • #15
740
13
did we get an answer? :confused: is [itex]\lim_{x \rightarrow 0} \frac{ln(1+x)}{x} = 1[/itex] allowed or not? because if that's allowed write [itex]a^x = e^{xlna}[/itex] & make the substitution [itex]e^{xlna} - 1 = y[/itex] so that [itex]x = \frac{lna}{ln(y+1)}[/itex]. Then [tex]\lim_{x \rightarrow 0} \frac{a^x - 1}{x} = \lim_{y \rightarrow 0} \frac{ylna}{ln(y+1)} = lna[/tex]
 
Last edited:
  • #16
43
0
Yes it is.

L'Hopitals rule gives you:


[tex]\lim_{x \rightarrow 0}\frac{1/(1+x)}{1} = 1[/tex]
 
  • #17
HallsofIvy
Science Advisor
Homework Helper
41,833
955
did we get an answer? :confused: is [itex]\lim_{x \rightarrow 0} \frac{ln(1+x)}{x} = 1[/itex] allowed or not? because if that's allowed write [itex]a^x = e^{xlna}[/itex] & make the substitution [itex]e^{xlna} - 1 = y[/itex] so that [itex]x = \frac{lna}{ln(y+1)}[/itex]. Then [tex]\lim_{x \rightarrow 0} \frac{a^x - 1}{x} = \lim_{y \rightarrow 0} \frac{ylna}{ln(y+1)} = lna[/tex]
Well, the point was that whether or not that is "allowed" depends upon exactly how you have defined the logarithm. If you used the exponential to define the logarithm (ln(x) is the inverse function to ex), and derived the derivative of the logarithm from the derivative of the exponential, then you cannot use properties of the logarithm to find that limit. Of course, as I said before, you don't have to use the exponential to define the logarithm. Many texts do it the other way: define the logarithm function to be
[tex]ln(x)= \int_1^x \frac{1}{t} dt[/tex]

and then define the exponential to be the inverse function to the logarithm. That way you do not use [itex]\lim_{x\to 0}(e^x- 1)/x[/itex] to define the derivative of the exponential (and then the derivative of the logarithm) so there is no "circular reasoning" involved in using the logarithm to prove that limit.
 
  • #18
240
2
Actually as someone suggested, it is very easy using the definition of e^x as the infinite power series:

[tex] \displaystyle\sum_{k=0}^\infty \frac{x^k}{k!} [/tex] . Try taking the derivative and you will see it is the same sum, so that D(e^x) = e^x. Then you may use L'hopital's rule, whose derivation does not depend in any way on e^x (uses generalized mean value theorem), so no circular argument is used.
To differentiate term by term you first need to prove the series converges uniformly (I think it's easier in the case of power series).

Another way to use this power series (and btw the series itself derives from the original definition of e) is to just substitute it into the limit, and since you know it converges you can work with it with no worries. You will end up with a series which's first term is 1 and all of the rest are powers of h, so when h tends to zero the series tends to 1.
 
  • #19
740
13
Well, the point was that whether or not that is "allowed" depends upon exactly how you have defined the logarithm. If you used the exponential to define the logarithm (ln(x) is the inverse function to ex), and derived the derivative of the logarithm from the derivative of the exponential, then you cannot use properties of the logarithm to find that limit. Of course, as I said before, you don't have to use the exponential to define the logarithm. Many texts do it the other way: define the logarithm function to be
[tex]ln(x)= \int_1^x \frac{1}{t} dt[/tex]

and then define the exponential to be the inverse function to the logarithm. That way you do not use [itex]\lim_{x\to 0}(e^x- 1)/x[/itex] to define the derivative of the exponential (and then the derivative of the logarithm) so there is no "circular reasoning" involved in using the logarithm to prove that limit.
is that what was meant by no circular reasoning? I thought it just meant don't use l'Hopital's rule
 
  • #20
1,056
0
When I took Calculus we learned the power rule for obtaining the derivative. d(X^n)/dX = nX^(n-1). This carries over to negative exponents. So that now we knew, in general how to integrate X^-a, for integers and then fractions.

BUT the whole matter breaks down in attempting to integrate 1/X. Thus my class proceeded in the way written above by HallsofIvy defining the log of X.

is that what was meant by no circular reasoning? I thought it just meant don't use L'Hopital's rule


We could proceed to use the Taylor expansion e^X = 1+X/1 +X^2/2! if we were to get this by expanding the difinition of e^x = lim(1+x/n)^n as n goes to infinity.

L'Hospital's rule employs the derivative, so that if we assume that derivative and at no previous point prove it, then it is circular.
 

Related Threads on Limit problem.

  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
6
Views
1K
  • Last Post
2
Replies
30
Views
4K
  • Last Post
Replies
13
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
12
Views
2K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
4
Views
2K
Top