language-icon Old Web
English
Sign In

Leibniz integral rule

In calculus, Leibniz's rule for differentiation under the integral sign, named after Gottfried Leibniz, states that for an integral of the formOne thing I never did learn was contour integration. I had learned to do integrals by various methods shown in a book that my high school physics teacher Mr. Bader had given me. One day he told me to stay after class. 'Feynman,' he said, 'you talk too much and you make too much noise. I know why. You're bored. So I'm going to give you a book. You go up there in the back, in the corner, and study this book, and when you know everything that's in this book, you can talk again.' So every physics class, I paid no attention to what was going on with Pascal's Law, or whatever they were doing. I was up in the back with this book: 'Advanced Calculus', by Woods. Bader knew I had studied 'Calculus for the Practical Man' a little bit, so he gave me the real works—it was for a junior or senior course in college. It had Fourier series, Bessel functions, determinants, elliptic functions—all kinds of wonderful stuff that I didn't know anything about. That book also showed how to differentiate parameters under the integral sign—it's a certain operation. It turns out that's not taught very much in the universities; they don't emphasize it. But I caught on how to use that method, and I used that one damn tool again and again. So because I was self-taught using that book, I had peculiar methods of doing integrals. The result was, when guys at MIT or Princeton had trouble doing a certain integral, it was because they couldn't do it with the standard methods they had learned in school. If it was contour integration, they would have found it; if it was a simple series expansion, they would have found it. Then I come along and try differentiating under the integral sign, and often it worked. So I got a great reputation for doing integrals, only because my box of tools was different from everybody else's, and they had tried all their tools on it before giving the problem to me. In calculus, Leibniz's rule for differentiation under the integral sign, named after Gottfried Leibniz, states that for an integral of the form where − ∞ < a ( x ) , b ( x ) < ∞ {displaystyle -infty <a(x),b(x)<infty } , the derivative of this integral is expressible as where the partial derivative indicates that inside the integral, only the variation of f(x, t) with x is considered in taking the derivative. Notice that if a ( x ) {displaystyle a(x)} and b ( x ) {displaystyle b(x)} are constants rather than functions of x {displaystyle x} , we have a special case of Leibniz's rule: Thus under certain conditions, one may interchange the integral and partial differential operators. This important result 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. This formula is the general form of the Leibniz integral rule and can be derived using the fundamental theorem of calculus. The (first) fundamental theorem of calculus is just the particular case of the above formula where a(x) = a, a constant, b(x) = x, and f(x, t) = f(t). If both upper and lower limits are taken as constants, then the formula takes the shape of an operator equation: where ∂ x {displaystyle partial _{x}} is the partial derivative with respect to x {displaystyle x} and I t {displaystyle {mathcal {I}}_{t}} is the integral operator with respect to t {displaystyle t} over a fixed interval. That is, it is related to the symmetry of second derivatives, but involving integrals as well as derivatives. This case is also known as the Leibniz integral rule. The following three basic theorems on the interchange of limits are essentially equivalent: A Leibniz integral rule for a two dimensional surface moving in three dimensional space is

[ "Calculus", "Mathematical analysis", "Fourier integral operator", "Pure mathematics", "General Leibniz rule" ]
Parent Topic
Child Topic
    No Parent Topic