Leibniz kuralı, çoğu zaman ddx∫h(x)g(x)f(t)dt yi bulmak için kullanılır.
Ama burada, biraz farklı olarak, ddx∫h(x)g(x)f(x,t)dt bulunmak isteniyor.
İntegrand yalnızca t ye değil, x e de bağlı. Bu durumda (diğer koşullar sağlandığında):
ddx∫h(x)g(x)f(x,t)dt=∫h(x)g(x)∂f(x,t)∂xdt+f(x,h(x))h′(x)−f(x,g(x))g′(x)
oluyor. ( burada)
Bu nedenle, formülde,∫h(x)g(x)∂∂xf(x,t)dt=∫x20cos(x√t)√tdt=2sin(x√t)x|x20=2sin(x2)x
terimi de ortaya çıkıyor.
(integralin özge(=has olmayan=improper) olması (sin(x√t)t nin 0 da süreksiz olması) nedeniyle, son terim, yerine limit yazılmış)
(edit: biraz kısaltma, biraz daha açıklama)