Derivative of a definite integral

  • #1

Summary:

Derivative of definite integral
If $$F(x)=\int_{a}^{b}f(x)dx$$ implies $$F'(x)=\int_{a}^{b}f'(x)dx$$?
 

Answers and Replies

  • #3
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
Summary:: Derivative of definite integral

If $$F(x)=\int_{a}^{b}f(x)dx$$
##F## is a real number. It is not a function of ##x##.
 
  • Like
Likes Delta2, Adesh and Ahmed Mehedi
  • #4
##F## is a real number. It is not a function of ##x##.
Sorry. I understood after posting it.
 
  • #5
Math_QED
Science Advisor
Homework Helper
2019 Award
1,693
719
Also, ##F(x) = \int_a^b f(x) dx## makes not really sense. ##x## is both a variable and an integration dummy variable. Rather you should write ##F(x) = \int_a^b f(y)dy## and then ##F## is a constant function so ##F'(x) = 0##.

As a side note, if you define ##F(x) = \int_a^x f(y)dy##, then ##F'(x) = f(x)##. This is the fundamental theorem of calculus.
 
  • Like
Likes Delta2 and Ahmed Mehedi
  • #6
##F## is a real number. It is not a function of ##x##.
What I actually wants to know here is as the following:
If ##f## and ##g## are differentiable wrt ##x## and if $$\int g(x)dx=\int f(x)dx$$ can we write $$\int g'(x)dx=\int f'(x)dx$$? In short, can we pass the differentiation operator inside the integration operator without sacrifising the equality?
 
  • #7
Math_QED
Science Advisor
Homework Helper
2019 Award
1,693
719
What I actually wants to know here is as the following:
If ##f## and ##g## are differentiable wrt ##x## and if $$\int g(x)dx=\int f(x)dx$$ can we write $$\int g'(x)dx=\int f'(x)dx$$? In short, can we pass the differentiation operator inside the integration operator without sacrifising the equality?
Let me first ask you a question: how do you define ##\int f(x)dx##? Formally, this is the set ##\{F: F' = f\}##. Assuming we work on an interval, we can rewrite this as ##\{F+c: c \in \mathbb{R}\}## where ##F' = f##.

You will get equality up to constant.
 
  • Like
Likes Ahmed Mehedi
  • #8
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
What I actually wants to know here is as the following:
If ##f## and ##g## are differentiable wrt ##x## and if $$\int g(x)dx=\int f(x)dx$$ can we write $$\int g'(x)dx=\int f'(x)dx$$? In short, can we pass the differentiation operator inside the integration operator without sacrifising the equality?
I suspect there is a lot missing regarding the context of this question. Are these definite or indefinite integrals?
 
  • #9
I suspect there is a lot missing regarding the context of this question. Are these definite or indefinite integrals?
Now I wants to know about the indefinite integral. But, I would be happier if you discuss both.
 
  • #10
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
Now I wants to know about the indefinite integral. But, I would be happier if you discuss both.
Can you not look at some examples yourself?
 
  • #11
Can you not look at some examples yourself?
I guess examples may reject or accept the claim. But they don't comprise a proof of the claim. I want to know whether it can be used as an identity irrespective of any special circumstances.
 
  • #12
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
I guess examples may reject or accept the claim. But they don't comprise a proof of the claim. I want to know whether it can be used as an identity irrespective of any special circumstances.
What about looking at Taylor series?
 
  • #13
What about looking at Taylor series?
I will try expanding both of them using TS and check. Thanks for your suggestion!
 
  • #14
I intuitively look at the following steps. I would be happy if you point me out my mistakes if there is any:

$$\int f(x)dx=\int g(x)dx$$
$$\frac{d}{dx}\int f(x)dx=\frac{d}{dx}\int g(x)dx$$
$$f(x)=g(x)$$
$$f'(x)=g'(x)$$
$$\int f'(x)dx=\int g'(x)dx$$

Above steps appear to serve the purpose. But I guess I have been missing something as it seems so straight forward.
 
  • #15
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
I intuitively look at the following steps. I would be happy if you point me out my mistakes if there is any:

$$\int f(x)dx=\int g(x)dx$$
$$\frac{d}{dx}\int f(x)dx=\frac{d}{dx}\int g(x)dx$$
$$f(x)=g(x)$$
$$f'(x)=g'(x)$$
$$\int f'(x)dx=\int g'(x)dx$$

Above steps appear to serve the purpose. But I guess I have been missing something as it seems so straight forward.
What about:

$$\int f(x)dx=\int g(x)dx + C$$
$$\int (f(x) - g(x))dx= C$$
$$ f(x) = g(x)$$
 
  • #16
What about:

$$\int f(x)dx=\int g(x)dx + C$$
$$\int (f(x) - g(x))dx= C$$
$$ f(x) = g(x)$$
This will also serve the purpose I guess. But, both of the approaches have one serious flaw. In the first line we are assuming equality between two integrals. While in the third line we are deriving the equality between the two integrands of the 1st line. That is we are claiming that equality of the two integrals confers the equality between the two integrands which can not be true as a general case.
 
  • Skeptical
Likes PeroK
  • #17
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
This will also serve the purpose I guess. But, both of the approaches have one serious flaw. In the first line we are assuming equality between two integrals. While in the third line we are deriving the equality between the two integrands of the 1st line. That is we are claiming that equality of the two integrals confers the equality between the two integrands which can not be true as a general case.
I assumed ##f, g## are continuous.
 
  • #18
I assumed ##f, g## are continuous.
I guess that does not help much. g(t) can be any time-shifted version of f(t). Area under them may be equal while functions themselves are not.
 
  • #19
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
I guess that does not help much. g(t) can be any time-shifted version of f(t). Area under them may be equal while functions themselves are not.
If ##f## is not continuous, how are you going to differentiate it?

Summary:: Derivative of definite integral

If $$F(x)=\int_{a}^{b}f(x)dx$$ implies $$F'(x)=\int_{a}^{b}f'(x)dx$$?
 
  • #20
If ##f## is not continuous, how are you going to differentiate it?
Assume ##f(x)=x^2## and ##g(x)=(x-a)^2##. Both are continuous. Area under them are equal. Yet ##f(x)\neq g(x)##
 
  • #21
PeroK
Science Advisor
Homework Helper
Insights Author
Gold Member
14,351
6,724
Assume ##f(x)=x^2## and ##g(x)=(x-a)^2##. Both are continuous. Area under them are equal. Yet ##f(x)\neq g(x)##
Now I wants to know about the indefinite integral. But, I would be happier if you discuss both.
You said indefinite integral. Hence the constant of integration ##C## in my post.
 
  • #22
13
6
You are confusing an integrand with a function, notice that after integration of f(x), the dependence of x is totaly lost and you have a real number, hence F'(x) = 0
 
  • Like
Likes Ahmed Mehedi
  • #23
You are confusing an integrand with a function, notice that after integration of f(x), the dependence of x is totaly lost and you have a real number, hence F'(x) = 0
Yes I got it. But the thing I really wanted to know is in the comments section. I am tagging you there.
 
Last edited by a moderator:
  • #25
33,964
5,622
In post #1 you wrote this:
Ahmed Mehedi said:
If ##F(x)=\int_{a}^{b}f(x)dx## implies ##F'(x)=\int_{a}^{b}f'(x)dx##?
As has already been pointed out, this is false. Here F(x) is a constant equal to the value of the definite integral on the right side of that equation. Hence, F'(x) = 0.
Assume ##f(x)=x^2## and ##g(x)=(x-a)^2##. Both are continuous. Area under them are equal. Yet ##f(x)\neq g(x)##
If you're talking about the area under these curves, you're necessarily talking about definite integrals. For the areas to be equal, the limits of integration would have to be different.
For example ##\int_0^1 x^2 dx \ne \int_0^1 (x - a)^2 dx##, but ##\int_0^1 x^2 dx = \int_a^{1 + a}1 (x - a)^2 dx##.
You seem to be unclear on the differences between an indefinite integral, a definite integral, and an integral that represents a function.
Indefinite integral: ##\int f(x) dx## -- represents a function
Definite integral: ##\int_a^b f(x) dx## -- represesnts a number
Definite integral as a function: ##\int_a^t f(x)dx## -- represents a function of t
 
  • Like
Likes Delta2 and Ahmed Mehedi

Related Threads on Derivative of a definite integral

Replies
8
Views
960
Replies
8
Views
2K
Replies
3
Views
2K
  • Last Post
Replies
3
Views
1K
Replies
11
Views
26K
  • Last Post
Replies
1
Views
2K
Replies
51
Views
13K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
6
Views
1K
Top