Register to reply 
Integral of 1/x 
Share this thread: 
#1
Jan813, 05:33 AM

P: 571

The integral of 1/x is ln(x). Where does that come from? That always puzzled me. We can continue to take derivatives through x^0 and into the negative integers, and just use the plain old power rule to get the answers. We can do the same for the integral of x all the way from negative exponents through positive exponents with the exception of x^1. If we try to take the integral here, we get x^0/0, which is 1/0, and is undefined. OK, I get that, but how do we get a natural logarithm out of this undefined expression?



#2
Jan813, 06:05 AM

P: 452

First use the limit definition of a derivative on ln(x) to show that dln(x)/dx=1/x then use the fundamental theorem of calculus to show that the antiderivative of 1/x is ln(x).



#3
Jan813, 07:04 AM

Sci Advisor
HW Helper
Thanks
P: 26,148

Hi DiracPool!
that's lim_{n>0} (e^{na}  1)/n = lim_{n>0} (na + n^{2}a^{2}/2! + …)/n = a = [ln(e^{a})  ln(1)] 


#4
Jan913, 05:12 PM

P: 642

Integral of 1/x
Just for a few other examples where applying a rule to find a defined expression results in an undefined answer: Quotient rule on [itex]\lim\limits_{x\to0}\left(\dfrac xx\right)[/itex] L'Hôpital twice on [itex]\lim\limits_{x\to0}\left(\dfrac{x\cdot\sin \left(x\right)}{x^2}\right)[/itex] Both of these result in meaningless answers, but both limits are clearly defined. So we have to find another method to solve them. 


#5
Jan1013, 01:41 AM

P: 571

Great, thanks for the insight everyone.



#6
Jan1013, 08:21 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,490

Many newer Calculus texts handle this by noting, first, that the rule "[itex]\int x^n dx= 1/(n+1) x^{n+1}+ C[/itex]" cannot be used for n= 1 because it would involve dividing by 0 and then defining [itex]ln(x)= \int_1^t dt/t[/itex]
From that definition one can derive all of the properties of ln(x), including the facts that ln(ab)= ln(a)+ ln(b), that [itex]ln(a^b)= bln(a)[/itex], that ln(x) is invertible, and that its inverse is [itex]e^x[/itex] where is the unique number satisfying 1= ln(e). 


#7
Jan1613, 06:04 PM

P: 11

The natural logarithm function [itex]\ln{x}[/itex] has two equivalent definitions.
1) [itex]\ln{x}[/itex] is the function such that [itex]\exp(\ln{x})=\ln(e^x)=x[/itex], and 2) [itex]\ln{x}=\int_1^x \frac{dt}{t}[/itex]. Proof. From definition 1 to 2: The derivative of [itex]\exp(\ln{x})[/itex] is [itex]\exp(\ln{x})\frac{d}{dx}\ln{x}[/itex]. But [itex]\exp(\ln{x})=x[/itex], so [itex]x\frac{d}{dx}\ln{x}=\frac{d}{dx}x=1\implies\frac{d}{dx}\ln{x}= \frac{1}{x}[/itex]. By the Fundamental Theorem of Calculus, [itex]\frac{d}{dx}\int_1^x \frac{dt}{t}=\frac{1}{x}[/itex]. Since [itex]f'(x)=g'(x)\implies f(x)=g(x)+C[/itex] for some [itex]C\in\mathbb{R}[/itex], we have [itex]\ln{x}=\int_1^x \frac{dt}{t}[/itex] (as it turns out, [itex]C=0[/itex]). From definition 2 to 1: Use the substitution [itex]t=e^u,\,\,dt=e^udu[/itex] to get the integral [itex]\ln{x}=\int_{g(1)}^{g(x)} \frac{e^udu}{e^u}[/itex] where [itex]g(e^x)=e^{g(x)}=x[/itex]. From this we can surmise that [itex]g(1)=0[/itex]. The integral simplifies to [itex]\ln{x}=\int_0^{g(x)}du=\left. u\right_0^{g(x)}=g(x)[/itex]. So [itex]\ln{x}[/itex] satisfies [itex]\exp(\ln{x})=\ln(e^x)=x[/itex]. 


#8
Jan1713, 09:36 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,490

Since you post that, it is worth noting:
If we define [itex]ln(x)= \int_1^x dt/t[/itex] it is easy to show that, since 1/t is continuous for all t except 0 ln(x) is defined for all positive x. Of course, 1/x, the derivative of ln(x) (by the fundamental theorem of Calculus) is positive for all positive x, ln(x) is an increasing function which means that ln(x) is a "onetoone" function mapping the set of all positive numbers to the set or all real numbers. That tells us that it has an inverse and we can define "exp(x)" to be that inverse. Now, the crucial point is this: if y= exp(x) then, since exp(x) is the inverse function to ln(x), x= ln(y). If x is not 0, that is equivalent to [itex]1= (1/x)ln(y)= ln(y^{1/x})[/itex]. Going back to the exponential form, [itex]exp(1)= y^{1/x}[/itex] so that [itex]y= exp(x)= (exp(1))^x[/itex]. That is, that inverse function really is just a number (and we can define e= exp(1)) to the x power. 


Register to reply 
Related Discussions  
Divergence Integral doesn't equal surface integral  Advanced Physics Homework  2  
Does path integral and loop integral in a Feynman diagram violate special relativity?  General Physics  0  
Using polar coord. to change double integral into single integral involving only r.  Calculus & Beyond Homework  5  
Is the ordinary integral a special case of the line integral?  Calculus  3  
Volume integral to spherical coords to contour integral  Calculus & Beyond Homework  4 