Efficient Differentiation of Hyperbolic Integrals

[nayfie]

Hello again :)

I get the feeling I'm missing some kind of 'trick', as this is proving a very difficult question :(

I'll write out my frustration below;

Homework Statement

Find f'(x) if f(x) = \int^{cosh(x^{2})}_{0} tanh(t^2)dt

Homework Equations

---

The Attempt at a Solution

My idea was to find the value of the integral (using integration by parts), simplify it and then differentiate it.

However, this method seems rather time consuming (and difficult).

Am I missing something?

 

[flyingpig]

Fundamental Theorem of Calculus. What does it say? I am not talking about evaluating a definite integral

 

[nayfie]

You mean that \frac{d}{dx} \int^{x}_{a} f(t)dt = f(x)?

Does this imply that \frac{d}{dx} \int^{cosh(x^{2})}_{0} tanh(t^2)dt = tanh(cosh^2(x^2))?

 

[flyingpig]

What's the derivative of cosh(x^2)?

 

[vela]

You mean that \frac{d}{dx} \int^{x}_{a} f(t)dt = f(x)?

Does this imply that \frac{d}{dx} \int^{cosh(x^{2})}_{0} tanh(t^2)dt = tanh(cosh^2(x^2))?

Not quite. The statement of the fundamental theorem has an x as the upper limit. You have a function of x as the upper limit. That makes a difference.

 

[Mark44]

You mean that \frac{d}{dx} \int^{x}_{a} f(t)dt = f(x)?

Yes, that's what flyingpig is talking about.

Does this imply that \frac{d}{dx} \int^{cosh(x^{2})}_{0} tanh(t^2)dt = tanh(cosh^2(x^2))?

No - you're neglecting to use the chain rule.

\frac{d}{dx} \int^{u(x)}_{a} f(t)dt = \frac{d}{du}\int^{u(x)}_{a} f(t)dt * \frac{du}{dx} = f(u) * \frac{du}{dx}

 

[SammyS]

Homework Statement

Find f '(x) if f(x) = \int^{cosh(x^{2})}_{0} tanh(t^2)dt

This is how I like to thing about this:

Suppose the anti-derivative of tanh(t²) is G(t), i.e. G'(t) = tanh(t²).

For you problem this means that f(x) = G(cosh(x²)) - G(0).

What does that give you for f '(x) ? (Don;t forget to use the chain rule.)

 

[nayfie]

First of all, thank you all for the contributions :)

I think I have arrived at an answer! Let me know if I've made a mistake.

-----------------------------------------------------------------

f(x) = \int^{cosh(x^{2})}_{0} tanh(t^{2})dt, let tanh(t^2) = g(t)

f(x) = G(cosh(x^{2})) - G(0)

f(x) = G(cosh(x^{2}))

f'(x) = G'(cosh(x^{2})) = g(cosh(x^{2}))

f'(x) = tanh(cosh^{2}(x^{2})).sinh(x^{2})

 

[I like Serena]

You're on the right path!

But I'm afraid you haven't applied the chain rule properly yet.
This means that f'(x) = G'(t(x)) t'(x).
So you 4th line doesn't follow from the 3rd.

 

[nayfie]

Actually now that I look at it again I think the chain rule needs to be applied twice?

f(x) = G(cosh(x^{2}))

f'(x) = G'(cosh(x^{2})) = g(cosh(x^{2})).sinh(x^2).2x

f'(x) = tanh(cosh^{2}(x^{2})).sinh(x^{2}).2x

It's been a long day :(

 

[I like Serena]

Well, your day just came into fruition!
That's it!

 

[nayfie]

:)

Thank you all very much for the help!

 

[vela]

You shouldn't assume G(0) = 0. It turns out when you differentiate, it goes away, so it doesn't matter in the end. But you shouldn't simply erase it.