# Work check on some integrals

WWCY

## Homework Statement

Hi everyone, I'd appreciate it if someone could help look through my working and check if it makes sense!

I have the following integral:
$$P(t) = \int_{-\infty}^{a} \int_{-\infty}^{-\infty} f_p(p) \ f_{x} (x - pt/m) \ dp \ dx$$
I want to find an expression for ##\frac{dP(t)}{dt}##, so I first "bring in" the integral over ##x##.
$$P(t) = \int_{-\infty}^{-\infty} f_p(p) \Big [ \int_{-\infty}^{a} f_x (x - pt/m) \ dx \Big ] \ dp$$
Making the substitution of ##u = x - pt/m##
$$\frac{d}{dt} \int_{-\infty}^{a} f_x (x - pt/m) \ dx = \frac{d}{dt}\int_{-\infty}^{a - pt/m} f_x (u) \ du = -\frac{p}{m} f_x(a - pt/m)$$
and finally,
$$\frac{dP}{dt} = -\frac{1}{m} \int_{-\infty}^{\infty} f_p (p) . p . f_x (a - pt/m) \ dp$$
Is this right? Many thanks in advance.

## The Attempt at a Solution

Gold Member
You can also differentiate directly. In general:
$$\frac{d}{dt} \int^{b(t)}_{a(t)} f(x,t)dx = f(b(t),t) b'(t) - f(a(t),t) a'(t) + \int^{a}_b \frac{\partial}{\partial t} f(x,t)dt$$
In your case there is (originally) no ##t## dependency in the limits so:

Let's see...
$$\frac{d}{dt}P(t) = \frac{d}{dt} \int_{-\infty}^{a} \int_{-\infty}^{\infty} f_p(p) \ f_{x} (x - pt/m) \ dp \ dx =$$
$$= \int_{-\infty}^{a} \int_{-\infty}^{\infty} f_p(p) \ f'_{x} (x - pt/m)\frac{-p}{m} \ dp \ dx$$
changing the order of integration:
$$= \int_{-\infty}^{\infty}\frac{-p}{m}f_p(p) \int_{-\infty}^{a}\ f'_{x} (x - pt/m) \ dx \ dp$$
and applying the FTC in its other form (using u substitution for the indefinite integral ##du = dx## and returning to ##x## for the evaluation):
$$= \int_{-\infty}^{\infty}\frac{-p}{m}f_p(p) \ f_{x} (a - pt/m) dp$$

so we agree.

I had some concern with your change of variable which has a ##t## dependency before executing the derivative which is why I worked it out in this alternative fashion. That's something I should meditate on for a bit to be sure if and why it is okay.

Last edited:
WWCY
Thanks a lot for your time!