El procedimiento de intercambiar la diferenciación con respecto a un parámetro y la integración sobre un espacio de medida en una integral dependiente de un parámetro, justificado bajo condiciones como convergencia uniforme, convergencia dominada o integrabilidad absoluta de la derivada.

Principio

La regla es que si el integrando f(x,t) y su derivada parcial ∂f/∂t cumplen hipótesis de integrabilidad y de uniformidad o dominación en la región de parámetros, entonces d/dt ∫ f(x,t) dx = ∫ ∂f/∂t (x,t) dx; la dominación y el control uniforme permiten intercambiar operaciones límite.

Demostración

Considérese I(t)=∫_a^b e^{-t x^2} dx. La derivada parcial ∂/∂t e^{-t x^2} = −x^2 e^{-t x^2} está dominada por x^2 e^{-t0 x^2} en un intervalo compacto de t, así que diferenciamos bajo el signo integral y obtenemos I'(t)=∫_a^b −x^2 e^{-t x^2} dx.

Aplicación incorrecta

Intercambiar diferenciación e integración cuando ∂f/∂t no es integrable o carece de una cota integrable; por ejemplo, integrandos parametrizados con picos cada vez más concentrados pueden romper la hipótesis y dar derivadas incorrectas.

Consecuencia

Cuando es válida, la técnica simplifica el cálculo de derivadas respecto a parámetros, proporciona identidades diferenciales para integrales y sustenta muchos cálculos analíticos en análisis aplicado y puro.

Inversión

El contraste es integrar la derivada sin justificación: calcular ∫ ∂f/∂t cuando la regla de intercambio falla puede producir un valor distinto de la derivada del integral; asimismo, la diferenciación puntual sin control es inválida.

Límite

Requiere un marco medible preciso: dominio integrable, topología de parámetros y condiciones como el teorema de convergencia dominada, convergencia uniforme en compactos del parámetro, o integrabilidad absoluta de ∂f/∂t. No se aplica a derivadas puntuales arbitrarias ni a integrandos no medibles.

Tensión semántica

Tensión entre la regla formal de Leibniz (frecuentemente enseñada de forma heurística) y la justificación medida-teórica: la manipulación simbólica sin hipótesis de dominación o uniformidad puede inducir errores.

Síntesis

La diferenciación bajo el signo integral es el intercambio controlado de diferenciación e integración basado en hipótesis de dominación o convergencia uniforme, que permite pasar la derivada a través del integral y calcular de forma fiable derivadas paramétricas.