10 votos

¿Se cumple la regla de Leibniz para las integrales impropias?

¿Esto es válido en general? $$ \frac{\mathrm{d}}{\mathrm{d}t}\int_{-\infty}^{\infty} f(x,t) \mathrm{d}x = \int_{-\infty}^{\infty}\frac{\partial}{\partial t}f(x,t) \mathrm{d}x. $$ Sé que es cierto si los límites de la integral son finitos, pero ¿se puede extender el resultado a integrales impropias? Además, si es cierto en casos especiales, ¿cuáles son esos casos?

¡Muchas gracias!

0 votos

Ver este

0 votos

El teorema de convergencia dominada implica que debería funcionar si existe una función integrable $\int_{-\infty}^{\infty} |M(x)| \, \mathrm{d}x < \infty$ tal que $|\partial_t f(x,t)| \le |M(x)|$ para todos $x$ y todos $t$ . ¿Es ese el tipo de declaración que está buscando?

2 votos

@Hayden Esa referencia no se aplica a las integrales impropias.

11voto

Dr. MV Puntos 34555

No, la igualdad no se mantiene en general.

EJEMPLO $1$

Para un primer ejemplo, la integral $I(x)$ como se indica en

$$I(x)=\int_{-\infty}^\infty\frac{\sin(xt)}{t}\,dt$$

converge uniformemente para todo $|x|\ge \delta>0$ . Pero la integral de la derivada con respecto a $x$ , $\int_{-\infty}^\infty \cos(xt)\,dt$ diverge para todos los $x$ .


EJEMPLO $2$

Como otro ejemplo, dejemos que $J(x)$ sea la integral dada por

$$J(x)=\int_0^\infty x^3e^{-x^2t}\,dt$$

Obviamente, $J(x)=x$ para todos $x$ y por lo tanto $J'(x)=1$ . Sin embargo,

$$\int_0^\infty (3x^2-2x^4t)e^{-x^2t}\,dt=\begin{cases}1&,x\ne 0\\\\0&,x=0\end{cases}$$

Por lo tanto, la diferenciación formal bajo el signo integral conduce a un resultado incorrecto para $x=0$ aunque todas las integrales implicadas sean absolutamente convergentes.


Condiciones suficientes para diferenciar bajo la integral

Si $f(x,t)$ y $\frac{\partial f(x,t)}{\partial x}$ son continuas para todo $x\in [a,b]$ y $t\in \mathbb{R}$ y si $\int_{-\infty}^\infty f(x,t)\,dt$ converge para algún $x_0\in[a,b]$ y $\int_{-\infty}^\infty \frac{\partial f(x,t)}{\partial x}\,dt$ converge uniformemente para todo $x\in [a,b]$ entonces

$$\frac{d}{dx}\int_{-\infty}^\infty f(x,t)\,dt=\int_{-\infty}^\infty \frac{\partial f(x,t)}{\partial x}\,dt$$

0 votos

¿Quieres decir que $\delta \gt 0$ en el primer ejemplo?

1 votos

@VikrantDesai Sí, por supuesto. He editado la errata. ¡Gracias por la captura!

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X