Justification for cancelling dx in an integral

Click For Summary

Discussion Overview

The discussion revolves around the justification for cancelling the \(dx\) in the context of an integral involving a derivative, as presented in Paul Nahin's book "Inside Interesting Integrals." Participants explore the implications of treating derivatives as fractions, the meaning of \(df(x)\), and the transition between expressions in the context of integration and differentiation.

Discussion Character

  • Exploratory, Technical explanation, Conceptual clarification, Debate/contested

Main Points Raised

  • Some participants express confusion regarding the cancellation of \(dx\) in the expression \(\int_0^\phi \frac{d}{dx} f(x) dx\) and seek justification for this treatment of derivatives as fractions.
  • There is a question about the meaning of \(df(x)\) and its relationship to the integral, with one participant suggesting that setting \(y = f(x)\) leads to \(\int df(x) = f(x) + C\).
  • One participant proposes that the second expression in the sequence follows from the definition of a differential, \(df = f'(x)dx\), and questions whether it can be omitted in favor of directly applying the first fundamental theorem of calculus.
  • Another participant acknowledges the idea of skipping the second expression but notes that it would only be a rewording.
  • A suggestion is made to explore differential forms, closed and exact forms, indicating that \(d\) is the differential operator and that the differential of a differentiable function is a differential form.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the justification for cancelling \(dx\) or the necessity of the second expression in the derivation. Multiple viewpoints and interpretations remain present throughout the discussion.

Contextual Notes

The discussion involves assumptions about the treatment of derivatives and integrals, as well as the definitions of differentials, which may not be universally agreed upon. The relationship between integration and differentiation is explored but remains nuanced and unresolved.

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
2K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · 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