Das Verfahren, die Differentiation bezüglich eines Parameters und die Integration über einen Maßraum in einem parameterabhängigen Integral zu vertauschen, gerechtfertigt unter Bedingungen wie gleichmäßiger Konvergenz, dominierter Konvergenz oder absoluter Integrierbarkeit der Ableitung.

Prinzip

Regel: Wenn das Integrand f(x,t) und seine partielle Ableitung ∂f/∂t Integrabilitäts- und Gleichmäßigkeits- oder Dominationsannahmen auf dem Parameterbereich erfüllen, dann gilt d/dt ∫ f(x,t) dx = ∫ ∂f/∂t (x,t) dx; Dominanz und gleichmäßige Kontrolle erlauben das Vertauschen von Grenzoperationen.

Demonstration

Betrachte I(t)=∫_a^b e^{-t x^2} dx. Die partielle Ableitung ∂/∂t e^{-t x^2} = −x^2 e^{-t x^2} ist auf einem kompakten t-Intervall durch x^2 e^{-t0 x^2} beherrscht, also differenziert man unter dem Integralzeichen: I'(t)=∫_a^b −x^2 e^{-t x^2} dx.

Fehlanwendung

Differentiation und Integration zu vertauschen, wenn ∂f/∂t nicht integrierbar ist oder keinen integrierbaren Majoranten besitzt; z.B. integranden mit immer schmaleren Spitzen können die Bedingung verletzen und falsche Ableitungen liefern.

Konsequenz

Ist die Methode zulässig, vereinfacht sie die Berechnung von Parameterableitungen, liefert differenzielle Identitäten für Integrale und ist Grundlage vieler analytischer Rechnungen in angewandter und reiner Analysis.

Umkehrung

Der Gegensatz ist, die Ableitung zu integrieren ohne Rechtfertigung: ∫ ∂f/∂t zu berechnen, wenn das Vertauschungsgebot nicht gilt, kann einen Wert liefern, der nicht der Ableitung des Integrals entspricht; punktweise Differentiation ohne Kontrolle ist unzulässig.

Abgrenzung

Benötigt einen klaren maßtheoretischen Rahmen: integrierbares Gebiet, Parametertopologie und Bedingungen wie dominierte Konvergenz, gleichmäßige Konvergenz auf kompakten Parameterbereichen oder absolute Integrierbarkeit von ∂f/∂t. Gilt nicht für beliebige punktweise Ableitungen oder nicht messbare Integranden.

Semantische Spannung

Spannung zwischen der formalen Leibniz-Regel (häufig heuristisch vermittelt) und maßtheoretischer Rechtfertigung: symbolisches Rechnen ohne Dominations- oder Gleichmäßigkeitsannahmen kann in die Irre führen.

Synthese

Differentiation unter dem Integralzeichen ist das kontrollierte Vertauschen von Differentiation und Integration auf Grundlage von Dominations- oder Gleichmäßigkeitsannahmen, wodurch man die Ableitung zuverlässig durch das Integral hindurchführt und Parameterableitungen berechnet.