Register to reply

A more rigorous argument

by MaxManus
Tags: argument, rigorous
Share this thread:
MaxManus
#1
Jan9-09, 03:02 AM
P: 297
Hey, in my Schaum' Outline Calculus it says Dx(ex) = ex
Let y = ex. Then ln(y) = x. By implicit differentiation, [tex]\frac{1}{y}[/tex]y' = 1
therefor y' = y = ex


For a more rigorous argument, let f(x) = ln(x) and f-1(y) = ey.
Note that f'(x) = [tex]\frac{1}{x}[/tex]. By Theorem 10.2(b).

(f-1)'(y) = [tex]\frac{1}{f'(f**-1(y))}[/tex],

That is Dy = [tex]\frac{1}{1/e**y}[/tex] = ey

10.2(b): Let f be one-to-one and continuous on the interval (a,b) Then:
If f'x(x0 is differentiable and f'(x0) != 0, then f-1 is
differentiable at y0 = f(x0) and (f-1)'(y0)
= [tex]\frac{1}{f'(x0}[/tex]

Now, my question is what does "more rigorous argument" mean and what makes the second one more rigorous.
Phys.Org News Partner Science news on Phys.org
Climate change increases risk of crop slowdown in next 20 years
Researcher part of team studying ways to better predict intensity of hurricanes
New molecule puts scientists a step closer to understanding hydrogen storage
HallsofIvy
#2
Jan9-09, 07:10 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,327
The first argument uses the fact (your "10.2(b)") that if y= f(x) and x= f-1(y) then
[tex]\frac{dx}{dy}= \frac{1}{\frac{dy}{dx}}[/tex]
The second argument proves that is true for this particular function, as part of the proof.
MaxManus
#3
Jan10-09, 10:41 AM
P: 297
Thanks


Register to reply

Related Discussions
Can someone tell me if this is rigorous enough? Calculus & Beyond Homework 3
Rigorous Economics? Social Sciences 9
What does it mean to be rigorous? General Math 15
Rigorous proof General Math 9
Rigorous derivation... Special & General Relativity 10