How would one interpret: $$\frac{\mathrm d}{\mathrm dx}\int_0^x (F(y)-F(x))\,\mathrm dy$$ I don't think I can use the fundamental theorem of calculus here, can I?
The derivative of an integral
4
$\begingroup$
calculus
-
0For this problem you need that $F$ is a differentiable function. If it is, then indeed the fundamental theorem of calculus comes up here, but it's not immediate. Have you tried anything yet? – 2011-10-08
-
0@Ragib: F is differentiable. But then I just get F(x)-F(x) = 0 which doesn't seem to make sense. – 2011-10-08
-
0@Ragib: Ok, Mathematica is giving me -x *F'(x) as the answer. but I can't figure out why exactly! – 2011-10-08
-
0See J.M's answer on the correct way to evaluate it. Your error lies in the fact that your integrand depends on $x$. – 2011-10-08
-
0@Ragib: I think i get what it's going -- taking the derivative of the integrand wrt x, then integrating over 0 to x. But where does the fundamental theorem fit in? Even though dy = dx, I can't just swap one for another? – 2011-10-08
-
0Angada, the fundamental theorem applies at the time you evaluate $\frac{\mathrm d}{\mathrm dx} \int_0^x F(y)\mathrm dy$... the $y$ is a *dummy*; it could've been a $t$ and what I did still applies. – 2011-10-08
-
2That's not exactly what J.M. did. The fundamental theorem of calculus states that if $f$ is differentiable, then $ \frac{d}{dx}\int^x_a f(t) dt = f(x) $. Note that the integrand $f(t)$ does not depend on the upper limit of integration, $x$. So to be able to use FTC, J.M. first had to remove the $F(x)$ term out of the integral. Note also that $F(x)$ is held as a constant whilst integrating with respect to $y$. – 2011-10-08
-
0@Ragib -- I actually wrote my last comment before I saw JM's answer. But, I still wouldn't have gotten it, so this is very helpful!! Thanks! – 2011-10-08
-
0Angada: as a tiny piece of advice, next time please **don't** accept answers until you have truly understood them, and are completely satisfied by them. :) – 2011-10-08
-
0@J.M. -- I thought I understood. I followed what you were doing well enough to answer the question, I just didn't see the link with the FTC. Thank you for your great answer! – 2011-10-08
-
1No problem. I'm just telling you that the check mark is an important piece of feedback, IMHO. If you aren't sure/satisfied with an answer you've gotten, it is perfectly acceptable to hold off accepting an answer... – 2011-10-08
-
0@J.M. Thanks for the feedback. I suppose I am a little quick on accepting in general. – 2011-10-08
1 Answers
7
Certainly doable:
$$\begin{split}\frac{\mathrm d}{\mathrm dx}\int_0^x (F(y)-F(x))\,\mathrm dy&=\frac{\mathrm d}{\mathrm dx}\left(\int_0^x F(y)\mathrm dy-F(x)\int_0^x \,\mathrm dy\right)\\&=\frac{\mathrm d}{\mathrm dx}\left(\int_0^x F(y)\mathrm dy-x\,F(x)\right)\\&=F(x)-x\,F^\prime(x)-F(x)\\&=-x\,F^\prime (x)\end{split}$$
-
3In the general case, it intuitively ought to hold (under appropriate assumptions) that $$\frac{d}{dx}\int_0^x f(x,y)dy=\int_0^x \frac{\partial f}{\partial x} dy + f(x,x)$$ which agrees with this solution for the case where $f$ can be separated into terms depending only on $x$ and $y$. – 2011-10-08
-
0@HenningMakholm under what conditions it is going to hold? I am solving a similar problem, but the bounds of integration are $(-\infty, \infty)$ – 2014-05-05