Why must the upper limit match when integrating?

Click For Summary

Discussion Overview

The discussion centers on the conditions under which the upper limit of integration must match the variable of differentiation when applying the fundamental theorem of calculus (FTC) and the Leibniz integral rule. Participants explore the implications of differentiating integrals with respect to variables and the role of limits in this process.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant questions why the upper limit must match the variable of differentiation, suggesting that the lower limit is of no concern.
  • Another participant explains that according to the FTC, differentiating the integral with respect to the upper limit yields the function evaluated at that limit, while differentiating with respect to the lower limit results in a negative value of the function at that limit.
  • A different perspective is presented, arguing that it is not solely the upper limit that matters; rather, the presence of a function of x in either limit is crucial for differentiation.
  • Participants mention that integrals can be differentiable with constant limits if the integrand is a function of both the variable of integration and x.
  • One participant introduces the Leibniz integral rule, which formalizes the relationship between differentiation and integration with variable limits.
  • Another participant agrees with the explanation of Leibniz's rule as a combination of the FTC and the chain rule.

Areas of Agreement / Disagreement

Participants express differing views on the importance of the upper versus lower limits in differentiation. While some emphasize the upper limit's significance, others argue that both limits can be relevant depending on the context. The discussion remains unresolved regarding the necessity of the upper limit matching the variable of differentiation.

Contextual Notes

Some participants highlight assumptions about the presence of functions of x in the limits of integration, which may affect the differentiation process. There is also mention of the need for clarity regarding the roles of the limits in the context of the Leibniz integral rule.

MathewsMD
Messages
430
Reaction score
7
For example, if you have the function f(x) = x2 then find:

d/dx any number3x∫ t2dt

Why must the dx in d/dx ∫f(t)dt always match the upper limit in order to compute the integral? Why is the lower limit of no concern? I know that you must take chain rule into consideration and change 3x to u, and then do du/dx but why does the upper limit only matter?

Any help would be great!
 
Physics news on Phys.org
Huh I don't understand your question?
 
When applying the fundamental theorem of calculus, think about everything in terms of differentiation.

Say [itex]f:\mathbb R\to\mathbb R[/itex] is some continuous, bounded function. For any [itex]a,b\in \mathbb R[/itex], let [itex]F(a,b)=\int_a^bf(x)\text{d}x[/itex].

The FTC tells us that differentiating [itex]F(a,b)[/itex] by [itex]b[/itex] gives [itex]f(b)[/itex] (no matter what [itex]a[/itex] is), and differentiating [itex]F(a,b)[/itex] by [itex]a[/itex] gives [itex]-f(a)[/itex] (no matter what [itex]b[/itex] is).

As an example, think about the case where [itex]f(x)>0[/itex] is your speed at time [itex]x[/itex], in which case [itex]F(a,b)[/itex] (for [itex]a<b[/itex]) is just how far you've traveled between time [itex]a[/itex] and time [itex]b[/itex].

Talking about how fast you're going at time [itex]b[/itex] doesn't require any information about when you started moving (i.e. time [itex]a[/itex]).
 
MathewsMD said:
For example, if you have the function f(x) = x2 then find:

d/dx any number3x∫ t2dt

Why must the dx in d/dx ∫f(t)dt always match the upper limit in order to compute the integral? Why is the lower limit of no concern? I know that you must take chain rule into consideration and change 3x to u, and then do du/dx but why does the upper limit only matter?

Any help would be great!
You are making some assumptions that are unjustified- in particular that it is the upper
limit that is important!

In order to be able to differentiate with respect to x, you must have a function of x. One way to do that is to have one or the other limit of integration a function of x.
Both [itex]\int_0^x t^2 dt= (1/3)x^3[/itex] and [itex]\int_x^1 e^t dt= e- e^x[/itex] are differentiable with respect to x.

Yet another is to have constant limits of integration while the integrand is a function of both x and the "variable of integration:
[itex]\int_0^1 e^{x+ t}dt= e^x\int_0^1 e^t dt= e^x[e- 1][/itex] is differentiable with respect to x.

(Strictly speaking, of course, a the integral does NOT have to have an "x" anywhere in order to be differentiable with respect to x! Of course, then, the derivative is 0.)
 
Last edited by a moderator:
To elaborate on what Halls said what is important is the places where the variable appears. The general rule is called Leibniz integral rule and states that
$$\dfrac{d}{dt} \int_{\mathrm{a}(t)}^{\mathrm{b}(t)} \mathrm{f}(x,t) \, \mathrm{d}x = \int_{\mathrm{a}(t)}^{\mathrm{b}(t)} \mathrm{f} ^{(0,1)}(x,t) \, \mathrm{d}x + \mathrm{f}(\mathrm{b}(t),t)\mathrm{b}^\prime (t)-\mathrm{f}(\mathrm{a}(t),t)\mathrm{a}^\prime (t) \\ \text{where } \mathrm{f} ^{(0,1)}(x,t) \text{ is the derivative of f with respect to t with x treated as constant.}$$
 
^ This.

And Leibniz's rule is really just what you get by combining FTC and the chain rule.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 33 ·
2
Replies
33
Views
4K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K