Integration Question: Differentiating a definite integral

Click For Summary

Discussion Overview

The discussion revolves around evaluating the derivative of a definite integral, specifically the expression $$\frac{d}{dx} \left(\int _1^{x^2} \cos(t^2) \, dt \right)$$. Participants explore the application of the Fundamental Theorem of Calculus (FTC) and related concepts, addressing both theoretical and practical aspects of differentiation under the integral sign.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants assert that the lower limit being a constant does not affect the application of the FTC, suggesting that the method remains valid regardless of the constant value.
  • Others emphasize the importance of using the chain rule when applying the FTC to the given integral, indicating that the derivative of the integral must account for the variable upper limit.
  • A participant presents the anti-derivative form of the FTC, detailing how to differentiate an integral with variable limits, and provides a specific calculation for the problem at hand.
  • Another participant introduces the Leibniz formula as a generalization of the FTC, which includes terms for both the variable limits and the integrand's dependence on the variable.

Areas of Agreement / Disagreement

There is no clear consensus on the best approach to evaluate the derivative of the integral. While some participants agree on the application of the FTC, others raise questions about the implications of the constant lower limit and the necessity of the chain rule, indicating that multiple perspectives and methods are being considered.

Contextual Notes

Participants express uncertainty regarding the application of the FTC when the lower limit is a constant, and there are unresolved discussions about the implications of using the Leibniz formula versus the standard FTC.

ISITIEIW
Messages
17
Reaction score
0
So the question is…Evaluate the following…
$$\frac{d}{dx} \left(\int _1^{x^2} \cos(t^2) \, dt \right)$$

I thought i could use the FTC on this because it states…
$$\frac{d}{dx} \left(\int_0^x f(t)\, dt \right)=f(x)$$

but i can't correct? because in my question it starts at 1…is there some way to apply FTC to my problem or is there another general formula for this kind of problem

Thanks :)
 
Last edited by a moderator:
Physics news on Phys.org
Re: Integration Question

Since the lower bound is still a constant, it doesn't change the method you use to evaluate this. It could be at 0,1,2 or any constant and still get the same result. You're going to integrate and get a constant and then take the derivative of that constant, so you end up with 0 regardless.

Here you'll need to be careful to use the chain rule when applying the FTOC. What progress have you made so far? :)
 
Re: Integration Question

ISITIEIW said:
So the question is…Evaluate the following…
d/dx(integration of 1 to x^2 of cos(t^2)dt)

I thought i could use the FTC on this because it states…
d/dx(integration of 0 to x of f(t)dt)

but i can't correct? because in my question it starts at 1…is there some way to apply FTC to my problem or is there another general formula for this kind of problem

Thanks :)

We are given to evaluate:

$$\frac{d}{dx}\int_1^{x^2}\cos\left(t^2 \right)\,dt$$

Now, the anti-derivative form of the FTOC tells us:

$$\frac{d}{dx}\int_{g(x)}^{h(x)}f(t)\,dt=\frac{d}{dx}\left(F(h(x))-F(g(x)) \right)$$

On the right, applying the chain rule, we obtain:

$$\frac{d}{dx}\int_{g(x)}^{h(x)}f(t)\,dt=F'(h(x))h'(x)-F'(g(x))g'(x)$$

Since $$F'(x)=f(x)$$, we may write:

$$\frac{d}{dx}\int_{g(x)}^{h(x)}f(t)\,dt=f(h(x))h'(x)-f(g(x))g'(x)$$

Applying this to the given problem, there results:

$$\frac{d}{dx}\int_1^{x^2}\cos\left(t^2 \right)\,dt=\cos\left(\left(x^2 \right)^2 \right)(2x)-\cos\left(\left(1 \right)^2 \right)(0)$$

Simplifying, we find:

$$\frac{d}{dx}\int_1^{x^2}\cos\left(t^2 \right)\,dt=2x\cos\left(x^4\right)$$
 
ISITIEIW said:
but i can't correct? because in my question it starts at 1…is there some way to apply FTC to my problem or is there another general formula for this kind of problem

Let us evaluate $$\frac{d}{dx} \left(\int_a^x f(t)\, dt \right)$$ where $$0<a<x$$

Then since $$\int_0^x f(t)\, dt =\int_0^a f(t)\, dt+ \int_a^x f(t)\, dt $$

$$\int_a^x f(t)\, dt=-\int_0^a f(t)\, dt+\int_0^x f(t)\, dt $$

If we differentiate then since the first integral is independent of $x$ we have

$$\frac{d}{dx} \left(\int_a^x f(t)\, dt \right)=\frac{d}{dx} \left(\int_0^x f(t)\, dt \right)=f(x)$$
 
The "Leibniz formula", a generalization of the fundamental theorem of calculus, says
\frac{d}{dx}\int_{\alpha(x)}^{\beta(x)} f(x,t)dt= \frac{d\beta}{dx}f(x, \beta(x))- \frac{d\alpha}{dx}f(x, \alpha(x))+ \int_{\alpha(x)}^{\beta(x)} \frac{\partial f}{\partial x} dt
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K