Leibniz integral rule

rdf:langString Leibniz integral rule

rdf:langString In calculus, the Leibniz integral rule for differentiation under the integral sign, named after Gottfried Leibniz, states that for an integral of the form where and the integral are functions dependent on the derivative of this integral is expressible aswhere the partial derivative indicates that inside the integral, only the variation of with is considered in taking the derivative. In the special case where the functions and are constants and with values that do not depend on this simplifies to: If is constant and , which is another common situation (for example, in the proof of Cauchy's repeated integration formula), the Leibniz integral rule becomes: This important result may, under certain conditions, be used to interchange the integral and partial differential operators, and is particularly useful in the differentiation of integral transforms. An example of such is the moment generating function in probability theory, a variation of the Laplace transform, which can be differentiated to generate the moments of a random variable. Whether Leibniz's integral rule applies is essentially a question about the interchange of limits.