Differentiating an exponential integral

Question

I need to evaluate this expression:

$$\frac{d}{dt}\exp\left({-\int_t^T r(\tau) d\tau}\right)$$

I first start with the exponential rule

$$\frac{d}{dx}e^{g(x)} = \frac{dg(x)}{dx} e^{g(x)}$$

Now I need to evaluate

$$-\frac{d}{dt}\int_t^T r(\tau) d\tau$$

My first thought was to use Leibniz integral rule, but I can't use the simple form

$$\frac{d}{dt}\int_a^b f(x,t)dx=\int_a^b \frac{\partial}{\partial t}f(x,t)dx$$

Because one of the limits is what I am differentiating by. So in fact it is the more general form that the problem reverts to and that complicates the result a lot more than I am expecting. What am I missing?

Answer 1

Thanks @MPW I think I got it

$$-\frac{d}{dt}\int_t^T r(\tau) d\tau$$ $$=\frac{d}{dt}\int_T^t r(\tau) d\tau = r(t)$$

Putting this back into the original problem I get

$$r(t)\exp\left(-\int_t^T r(\tau) d\tau\right)$$

Answer 2

Assuming $T$ is constant with respect to $t$:

$- \frac{d}{dt} \int_{t}^{T} r(\tau) d\tau = \frac{d}{dt} \int_{T}^{t} r(\tau)d\tau =\frac{d}{dt}(R(t))-\frac{d}{dt}(R(T))$.

Because $R(T)$ is constant with respect to $t$:

$\frac{d}{dt}(R(T))=0$.

Therefore: $\frac{d}{dt}(R(t))-\frac{d}{dt}(R(T))=\frac{d}{dt}R(t)=r(t)$

All together:

$- \frac{d}{dt} \int_{t}^{T} r(\tau) d\tau=r(t)$