What is to differentiate under the integral

[Greg Bernhardt]

Definition/Summary

The trick is to change a difficult integral into an easier integral by treating a constant as a variable, and integrating with respect to that variable first.

For example, in normalising Gaussians, the difficult integrand $x^2 \exp ( - \lambda x^2)$ where $\lambda$ is a constant can be changed to the easier $\exp ( - \lambda x^2)$

Equations

$$\frac{d}{d\lambda}\int_a^b F(x,\lambda) dx\ =\ \int_a^b \frac{\partial}{\partial\lambda} F(x,\lambda) dx$$

enables us to change a (partial) differential "under" (or inside) the integral sign into an (ordinary) differential outside the integral sign:

So if $f(x,\lambda)$ is difficult to integrate with respect to $x$ but $F(x,\lambda)$ is easier, where $$f(x,\lambda)\ =\ \frac{\partial}{\partial\lambda}F(x,\lambda),$$then:

$$\int_a^b f(x,\lambda) dx\ =\ \frac{d}{d\lambda}\int_a^b F(x,\lambda) dx$$

Extended explanation

Sometimes we have to normalize Gaussians, and in this case we can use differentiation under the integral sign (as mentioned in "Feymnan's Surely You're Joking, Mr. Feynman!"). Take this example:

$$\begin{align*}<br /> \int_{ - \infty }^\infty {x^2 \exp \left( { - \lambda x^2 } \right)} dx = - \int_{ - \infty }^\infty {\frac{\partial }{{\partial \lambda }}\exp \left( { - \lambda x^2 } \right)} dx = - \frac{\partial}{{\partial\lambda }}\int_{ - \infty }^\infty {\exp \left( { - \lambda x^2 } \right)} dx = - \frac{d}{{d\lambda }}\sqrt {\frac{\pi }{\lambda }}<br /> \end{align*}$$

* This entry is from our old Library feature. If you know who wrote it, please let us know so we can attribute a writer. Thanks!

 

[AaronS]

Using the equation above, we can change the difficult integral x^2 \exp ( - \lambda x^2) into an easier integrand \exp ( - \lambda x^2). The equation states that if f(x, \lambda) is difficult to integrate with respect to x but F(x, \lambda) is easier, then we can use the equation to change the partial differential under the integral sign into an ordinary differential outside the integral sign.