Regla de Leibniz para la integral impropia

Question

Sabemos que la fórmula integral de Leibniz

$$\frac{d}{dt}\int_{\phi(t)}^{\psi(t)} f(t,s) ds = \int_{\phi(t)}^{\psi(t)} \frac{d}{dt}f(t,s) ds+f(t,\psi(t))\frac{d}{dt}\psi(t) -f(t,\phi(t))\frac{d}{dt}\phi(t).$$

¿Podemos aplicar esta regla para

$$\frac{d}{dt}\int_{\phi(t)}^{\infty} f(t,s) ds ?$$

Answer 1

Esta forma de regla integral de Leibniz parece requerir un intercambio de límites. Esto se debe a que, $$ \frac{d}{dt}\lim_{a\rightarrow\infty}\int_{\phi\left(t\right)}^{a}f\left(t,s\right)ds=\lim_{a\rightarrow\infty}\int_{\phi\left(t\right)}^{a}\frac{\partial}{\partial t}f\left(t,s\right)ds-f\left(t,\phi\left(t\right)\right)\phi'\left(t\right) $$ se seguiría inmediatamente de la regla integral habitual de Leibniz siempre que $$ \frac{d}{dt}\lim_{a\rightarrow\infty}\int_{\phi\left(t\right)}^{a}f\left(t,s\right)ds=\lim_{a\rightarrow\infty}\frac{d}{dt}\int_{\phi\left(t\right)}^{a}f\left(t,s\right)ds $$ Pero dejar que $$ g\left(t,a\right)=\int_{\phi\left(t\right)}^{a}f\left(t,s\right)ds $$ podemos ver que $$ \frac{d}{dt}\lim_{a\rightarrow\infty}g\left(t,a\right)=\lim_{a\rightarrow\infty}\frac{d}{dt}g\left(t,a\right) $$ requiere algunas condiciones adicionales. A saber, que $\frac{d}{dt}g\left(t,a\right)$ converge uniformemente como $a\rightarrow\infty$ y que $\lim_{a\rightarrow\infty}g\left(t,a\right)$ converge para algún t.

Answer 2

$$\frac{\partial}{\partial t}\int_{\phi(t)}^{\infty} f(t,s)\ \partial s= \int_{\phi(t)}^{\infty} \frac{\partial}{\partial t} f(t,s)\ \partial s $$ $$=\lim\limits_{z\to \infty} \int_{\phi(t)}^{z} \frac{\partial}{\partial t} f(t,s)\ \partial s$$ $$ =\lim\limits_{z\to \infty}\left[f(t, z) \frac{\partial}{\partial t}z\right] - f(t, \phi(t)) \frac{\partial}{\partial t}\phi(t)$$ En este punto, la convergencia depende del término o términos del límite.