This semester I'm taking integral calculus for the first time. We started with the differential (i.e. $dy=f'(x)\,dx$) and right after that with the indefinite integral. Since then, I've been trying to make sense of the $dx$ when it's part of an indefinite integral (i.e. $\int f(x) \, \boldsymbol{dx}$). I know there are already a bazillion answers regarding this question, but all of them refer to the definite integral and the ones that do touch on indefinite integrals only say things like "it's just a syntactical device to tell you the variable to differentiate with respect to or the integration variable" (Ihf, 2012, web). I don't like this answer, especially because I was taught that given two functions $f(x)$, $g(x)$ and the antiderivative of their product $\int f(x)g(x)\,dx$, if I were to assign $f(x)$ to $u$ and $g(x)\,dx$ to $dv$ in order to integrate by parts, then I would have to integrate $dv$ to find $v$. This only makes sense if $dx$ means something by itself and is not just a quirk of the notation, otherwise we would end up with something like the following: $$\int g(x)\,dx\space dx$$
After thinking about it a lot, I believe I finally found a way to make sense of the $dx$ as something that isn't purely and simply a notation device. My reasoning is as follows:
- Given a function $f(x)$, let $y=f(x)$. Then $$\frac{dy}{dx}=f'(x)$$
- Then from the fundamental theorem of calculus, we know that $$\int\frac{dy}{dx}\,dx=y$$
- Let $dy=f'(x)\,dx$. Then the equation $$dy=\frac{dy}{dx}\,dx$$ holds and $$\int\frac{dy}{dx}\,dx=\int dy=y$$
- Finally, integrate both sides of the equation $dy=f'(x)\,dx$ in order that $$\int dy=\int f'(x)\,dx\implies y=f(x)$$
From this I conclude that, by integrating a function, what we are really doing is integrating the differential of that function. This makes perfect sense to me, although I'm aware that seemingly logical things aren't necessarily logical. That's why I would appreciate it if someone could tell me whether the above is mathematically correct or pure gibberish.
PS, I had never written a mathematical proof before and I have taken no proofs courses yet, so any suggestions are welcome.
Reference: lhf. (2012, May 9). What does $dx$ mean?. Mathematics Stack Exchange. https://math.stackexchange.com/q/143262