قاعدة لايبنتز للتكامل

قاعدة لايبنتز للتكامل هي قاعدة رياضياتية في حساب التفاضل والتكامل  سميت تيمنا بغوتفريد لايبنتز، والتي تقول أن كل تكامل على شاكلة:

${\displaystyle \int _{a(x)}^{b(x)}f(x,t)\,dt,}$

حيث أن  ${\displaystyle -\infty <a(x),b(x)<\infty }$ مشتقته  بالشكل التالي:

${\displaystyle {\frac {d}{dx}}\left(\int _{a(x)}^{b(x)}f(x,t)\,dt\right)=f{\big (}x,b(x){\big )}\cdot {\frac {d}{dx}}b(x)-f{\big (}x,a(x){\big )}\cdot {\frac {d}{dx}}a(x)+\int _{a(x)}^{b(x)}{\frac {\partial }{\partial x}}f(x,t)\,dt,}$

حيث آن المشتق الجزئي يدل على أن ما داخل التكامل يمكن الأخذ به عندما يكون المتغير f(x, t) x يعتبر في اتخاذ مشتق. لاحظ أنه إذا ${\displaystyle a(x)}$ و ${\displaystyle b(x)}$ هي الثوابت بدلا من وظائف من لدينا حالة خاصة من قاعدة ليبنيتز:

${\displaystyle {\frac {d}{dx}}\left(\int _{a}^{b}f(x,t)\,dt\right)=\int _{a}^{b}{\frac {\partial }{\partial x}}f(x,t)\,dt.}$