Justification for cancelling dx in an integral

Click For Summary
SUMMARY

The discussion centers around the justification for canceling the "dx" in the expression ##\int_0^\phi \frac {d} {dx} f(x) dx = \int_0^\phi d{f(x)} = f(x) |_0^\phi## as presented in Paul Nahin's book, "Inside Interesting Integrals." Participants clarify that this cancellation is valid due to the properties of derivatives and integrals being inverses, and they explore the meaning of ##df(x)## as a differential. The conversation also touches on the formal proof involving Riemann integration and the differential quotient, emphasizing the connection to the first fundamental theorem of calculus.

PREREQUISITES
  • Understanding of basic calculus concepts, including derivatives and integrals.
  • Familiarity with the first fundamental theorem of calculus.
  • Knowledge of differential forms and their properties.
  • Experience with Riemann integration techniques.
NEXT STEPS
  • Study the first fundamental theorem of calculus in detail.
  • Explore the concept of differential forms and their applications.
  • Review Riemann integration and its relation to derivatives.
  • Investigate the properties of exact and closed forms in differential calculus.
USEFUL FOR

Mathematics students, educators, and professionals interested in deepening their understanding of calculus, particularly in the context of integrals and derivatives.

SamRoss
Gold Member
Messages
256
Reaction score
36
TL;DR
Confusion with cancelling two dx "terms" as if they were simple fractions.
In Paul Nahin's book Inside Interesting Integrals, on pg. 113, he writes the following line (actually he wrote a more complicated function inside the integral where I have simply written f(x))...

## \int_0^\phi \frac {d} {dx} f(x) dx = \int_0^\phi d{f(x)} = f(x) |_0^\phi##

It looks like the dx in the derivative symbol is cancelling with the dx from the integral, leaving only a ##d##. I have always been somewhat confused when derivatives are treated as fractions. How is what is being done here justified? Also, what is the meaning of ## df(x) ##? Finally, how does one get from the middle expression to the final expression? It looks like an example of integration and differentiation being inverses of each other but I'm not sure.
 
Physics news on Phys.org
SamRoss said:
In Paul Nahin's book Inside Interesting Integrals, on pg. 113, he writes the following line (actually he wrote a more complicated function inside the integral where I have simply written f(x))...

## \int_0^\phi \frac {d} {dx} f(x) dx = \int_0^\phi d{f(x)} = f(x) |_0^\phi##

It looks like the dx in the derivative symbol is cancelling with the dx from the integral, leaving only a ##d##. I have always been somewhat confused when derivatives are treated as fractions. How is what is being done here justified? Also, what is the meaning of ## df(x) ##? Finally, how does one get from the middle expression to the final expression? It looks like an example of integration and differentiation being inverses of each other but I'm not sure.
A formal proof why this solppiness can be done is a bit of work to do as it involves two limits (Riemann integration and differential quotient).

The question about ##df(x)## is easier: Just set ##y=f(x)## then ##\int df(x) =\int dy = \int 1\cdot dy = y +C= f(x)+C##.
 
  • Like
Likes   Reactions: SamRoss
SamRoss said:
In Paul Nahin's book Inside Interesting Integrals, on pg. 113, he writes the following line (actually he wrote a more complicated function inside the integral where I have simply written f(x))...

## \int_0^\phi \frac {d} {dx} f(x) dx = \int_0^\phi d{f(x)} = f(x) |_0^\phi##

It looks like the dx in the derivative symbol is cancelling with the dx from the integral, leaving only a ##d##. I have always been somewhat confused when derivatives are treated as fractions. How is what is being done here justified? Also, what is the meaning of ## df(x) ##? Finally, how does one get from the middle expression to the final expression? It looks like an example of integration and differentiation being inverses of each other but I'm not sure.

Now that I think about it, does the second expression follow from the first simply by the definition of a differential, which I think is ## df = f'(x)dx ## ? In that case, can the second expression be skipped altogether so we can just go from the first to the last by the first fundamental theorem of calculus?
 
SamRoss said:
Now that I think about it, does the second expression follow from the first simply by the definition of a differential, which I think is ## df = f'(x)dx ## ? In that case, can the second expression be skipped altogether so we can just go from the first to the last by the first fundamental theorem of calculus?
Yes, that's an idea, although it would only be a rewording.
 
If you want to read a bit more, lookup differential forms, closed and exact forms. d is the differential operator; ( somewhat confusing), the differential of a differentiable function is a differential form.
 
  • Like
Likes   Reactions: SamRoss

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K