FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   PreferencesPreferences   Log in to check your private messagesLog in to check your private messages   Log inLog in 
Forum index » Science and Technology » Math » Undergraduate
need help checking a basic integration formula via differentiation
Post new topic   Reply to topic Page 1 of 1 [6 Posts] View previous topic :: View next topic
Author Message
lingyai
science forum beginner


Joined: 14 Apr 2006
Posts: 21

PostPosted: Mon May 22, 2006 7:36 am    Post subject: need help checking a basic integration formula via differentiation Reply with quote

I'm stuck on something simple, I'd be grateful for any help.

My text ("Forgotten Calculus", Bleau) states the following integration formula:

integral [dx / (x ln x)] = ln |ln x| + C.

In the course of a problem where I've applied the formula, I realised I can't prove it.

Here's my attempt, for what it's worth.

(Re notation:
exponents are denoted with the "^" sign, e.g x squared = x^2;
first derivatives are denoted with the " ' " symbol, e.g. the 1st derivative of f(x) = f'(x))

f(x) = ln |ln x| + C

I want to differentiate this via the product rule, so I rewrite the function as

f(x) = (ln x^0) * (ln x) + C

Using the product rule,

f'(x) = [ (ln x^0) * (ln x)' ] + [(ln x^0)' * (ln x) ]
= [ (ln 1) * (1/x)] + [ (0/1) * (ln x)]
= [ ln / x ] + [0]
= ln / x.

I don't see how ln / x = ln |ln x|.

Any advice?
Back to top
Jean-Marc Gulliet
science forum beginner


Joined: 28 May 2005
Posts: 38

PostPosted: Mon May 22, 2006 8:56 am    Post subject: Re: need help checking a basic integration formula via differentiation Reply with quote

lingyai wrote:
Quote:
I'm stuck on something simple, I'd be grateful for any help.

My text ("Forgotten Calculus", Bleau) states the following integration formula:

integral [dx / (x ln x)] = ln |ln x| + C.

In the course of a problem where I've applied the formula, I realised I can't prove it.

Here's my attempt, for what it's worth.

(Re notation:
exponents are denoted with the "^" sign, e.g x squared = x^2;
first derivatives are denoted with the " ' " symbol, e.g. the 1st derivative of f(x) = f'(x))

f(x) = ln |ln x| + C

I want to differentiate this via the product rule, so I rewrite the function as

f(x) = (ln x^0) * (ln x) + C


Why are you using the product rule here? The chain rule seems definitely
more appropriate: f[g[x]]' = f'[g[x]] * g'[x].

Moreover, since the function contains an absolute value and to be
rigorous, you should considered two cases: x > 1 and 0 < x < 1.

That is, if x > 1 we have
Log[x} > 0, therefore f[x] = Log[Log[x]];
and if 0 < x < 1, we have
Log[x] < 0, therefore f[x] = Log[-Log[x]].

Then, applying the chain to both cases should be straightforward: in the
first case, g[x] = Log[x]; and g[x] = -Log[x] in the second case.

HTH,
Jean-Marc
Back to top
David C. Ullrich
science forum Guru


Joined: 28 Apr 2005
Posts: 2250

PostPosted: Mon May 22, 2006 11:09 am    Post subject: Re: need help checking a basic integration formula via differentiation Reply with quote

On Mon, 22 May 2006 03:36:23 EDT, lingyai <ken_kasriel@yahoo.com>
wrote:

Quote:
I'm stuck on something simple, I'd be grateful for any help.

My text ("Forgotten Calculus", Bleau) states the following integration formula:

integral [dx / (x ln x)] = ln |ln x| + C.

In the course of a problem where I've applied the formula, I realised I can't prove it.

Here's my attempt, for what it's worth.

(Re notation:
exponents are denoted with the "^" sign, e.g x squared = x^2;
first derivatives are denoted with the " ' " symbol, e.g. the 1st derivative of f(x) = f'(x))

f(x) = ln |ln x| + C

I want to differentiate this via the product rule, so I rewrite the function as

f(x) = (ln x^0) * (ln x) + C

That "rewriting" is wrong. f(x) is not what the rewrite says, f(x) is
ln(|ln(x)|).

For started restrict to the case x > a, so f(x) = ln(ln(x)).

Quote:
Using the product rule,

f'(x) = [ (ln x^0) * (ln x)' ] + [(ln x^0)' * (ln x) ]
= [ (ln 1) * (1/x)] + [ (0/1) * (ln x)]
= [ ln / x ] + [0]
= ln / x.

I don't see how ln / x = ln |ln x|.

Any advice?


************************

David C. Ullrich
Back to top
Badger
science forum beginner


Joined: 07 May 2006
Posts: 38

PostPosted: Mon May 22, 2006 1:19 pm    Post subject: Re: need help checking a basic integration formula via differentiation Reply with quote

On Mon, 22 May 2006 03:36:23 EDT, lingyai <ken_kasriel@yahoo.com>
wrote:

Quote:
I'm stuck on something simple, I'd be grateful for any help.

My text ("Forgotten Calculus", Bleau) states the following integration formula:

integral [dx / (x ln x)] = ln |ln x| + C.

In the course of a problem where I've applied the formula, I realised I can't prove it.

Here's my attempt, for what it's worth.

(Re notation:
exponents are denoted with the "^" sign, e.g x squared = x^2;
first derivatives are denoted with the " ' " symbol, e.g. the 1st derivative of f(x) = f'(x))

f(x) = ln |ln x| + C

I want to differentiate this via the product rule, so I rewrite the function as

f(x) = (ln x^0) * (ln x) + C

Others have already pointed out that this 'rewrite' is not correct.

Quote:

Using the product rule,

f'(x) = [ (ln x^0) * (ln x)' ] + [(ln x^0)' * (ln x) ]
= [ (ln 1) * (1/x)] + [ (0/1) * (ln x)]
= [ ln / x ] + [0]
= ln / x.

I don't see how ln / x = ln |ln x|.

Any advice?

Others have also pointed out that all you need to do is apply the
chain rule. As a learning tool, you might want to check out the
following site:

<http://www.calc101.com/>

For the question you posted, click on 'derivatives' and then enter
your function, written as

ln[ ln[x] ]

The step-by-step result should make clear to you how the chain rule
is used to find the derivative.
Back to top
lingyai
science forum beginner


Joined: 14 Apr 2006
Posts: 21

PostPosted: Mon May 22, 2006 2:21 pm    Post subject: Re: need help checking a basic integration formula via differentiation Reply with quote

Thanks everyone for helping me out. And to you, Badger, in particular -- that is a seriously amazing website. Thanks so much for the steer!

Ken
Back to top
Stan Brown
science forum Guru Wannabe


Joined: 06 May 2005
Posts: 279

PostPosted: Tue May 23, 2006 10:34 pm    Post subject: Re: need help checking a basic integration formula via differentiation Reply with quote

Mon, 22 May 2006 10:56:14 +0200 from Jean-Marc Gulliet
<jeanmarc.gulliet@gmail.com>:
Quote:
lingyai wrote:
f(x) = ln |ln x| + C

I want to differentiate this via the product rule,

No, you don't.

ln |ln x| is *not* a product, because "ln" is not a quantity.

ln |ln x| is a composite function, the natural logarithm of |ln x|.
You can rewrite it as

f(x) = g( h(x) )
where g(u) = ln(u) and h(x) = |ln x|.

This is a *very* common category error by students -- it leads to the
sort of nonsense like "canceling" sin in
sin(2x)
-------
sin(x)
to get the answer of "2".

--
Stan Brown, Oak Road Systems, Tompkins County, New York, USA
http://OakRoadSystems.com/
Back to top
Google

Back to top
Display posts from previous:   
Post new topic   Reply to topic Page 1 of 1 [6 Posts] View previous topic :: View next topic
The time now is Thu Jan 08, 2009 10:39 pm | All times are GMT
Forum index » Science and Technology » Math » Undergraduate
Jump to:  

Similar Topics
Topic Author Forum Replies Last Post
No new posts Basic question on Homology group Meg Weiss Math 3 Wed Jul 19, 2006 8:00 pm
No new posts Stumped with figuring a formula... moriman Recreational 8 Mon Jul 17, 2006 12:21 am
No new posts a basic question concerning zeta-func... Gottfried Helms Math 4 Sun Jul 16, 2006 10:25 am
No new posts Newton's formula kunzmilan@atlas.cz Math 0 Thu Jul 13, 2006 11:12 am
No new posts Recommendation for numerical differen... 1940LaSalle@gmail.com num-analysis 6 Wed Jul 12, 2006 8:07 pm

Credit Cards | Debt Help | Xbox 360 Cheats | Debt Consolidation | Buy Anything On eBay
Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.1629s ][ Queries: 16 (0.0761s) ][ GZIP on - Debug on ]