Leibnizregel für Parameterintegrale
Für [math]\displaystyle{ f: {}^{(\omega)}\mathbb{K}^{n+1} \rightarrow {}^{(\omega)}\mathbb{K}, a, b: {}^{(\omega)}\mathbb{K}^{n} \rightarrow {}^{(\omega)}\mathbb{K}, \curvearrowright B x := {(s, {x}_{2}, ..., {x}_{n})}^{T} }[/math] und [math]\displaystyle{ s \in {}^{(\omega)}\mathbb{K} \setminus \{{x}_{1}\} }[/math] gilt bei Wahl von [math]\displaystyle{ \curvearrowright D a(x) = a(\curvearrowright B x) }[/math] und [math]\displaystyle{ \curvearrowright D b(x) = b(\curvearrowright B x) }[/math],
Beweis
Anmerkung
Hierbei wird im Komplexen über einen Weg integriert, dessen Anfangs- und Endpunkt die Integralgrenzen bilden. Ist [math]\displaystyle{ \curvearrowright D a(x) \ne a(\curvearrowright B x) }[/math], so wird der letzte Summand mit [math]\displaystyle{ (\curvearrowright D a(x) - a(x))/(a(\curvearrowright B x) - a(x)) }[/math] multipliziert, und ist [math]\displaystyle{ \curvearrowright D b(x) \ne b(\curvearrowright B x) }[/math], so wird der vorletzte Summand mit [math]\displaystyle{ (\curvearrowright D b(x) - b(x))/(b(\curvearrowright B x) - b(x)) }[/math] multipliziert.