Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2011 December 17

From Wikipedia, the free encyclopedia
Mathematics desk
< December 16 << Nov | December | Jan >> Current desk >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


December 17

[edit]

Induction and integration by parts

[edit]

Consider the proposition P(n):

P(1) was simple enough to prove, but I'm having trouble with the inductive step, P(k) implies P(k + 1). It seems to necessarily involve differentiating something of the form of the original left-hand side. Interestingly, this is possible but long-winded if you expand with the binomial theorem, extract each power of x from the resulting sum of integrals, and apply the fundamental theorem of calculus along with the product rule to differentiate each term of the sum one by one. If I'm not wrong, it is true that

which looks deviously simple. My question: is there some easy way of differentiating without multivariable calculus, or was my example exceptional (or exceptionally clean) for some reason? My observation is that it is only possible because the integral is reducible to something of the form ; i.e., x and u can be separated sufficiently. This all falls under the general query of how best to pull out the induction; I'd be interested in a more elegant way if one exists. Thanks in advance. —Anonymous DissidentTalk 12:15, 17 December 2011 (UTC)[reply]

I think the whole approach is making too much out of the problem. If you apply another integral to the P(k) case you get
and th job is to simplify the lhs. But if you swap the order of integration as in first year calculus the lhs of the P(k+1) pops right out.--RDBury (talk) 16:16, 17 December 2011 (UTC)[reply]
I've never learned about swapping order of integration, but I suppose that makes sense and simplifies the induction considerably. I'm still interested in the differentiation question though. —Anonymous DissidentTalk 00:14, 18 December 2011 (UTC)[reply]
I can't help with your actual question, but you may be interested in Fubini's theorem. Perhaps you already know about it - you just mentioned changing the order of integration, and this covers it. IBE (talk) 05:23, 18 December 2011 (UTC)[reply]
I'm not sure I do understand this idea about changing the order of integration. I tried to prove my idea of what it means using integration by parts, but failed. Maybe Rdbury could be more explicit about what it means in this context, or how to derive it from integration by parts. —Anonymous DissidentTalk 11:15, 18 December 2011 (UTC)[reply]
I don't want to do an exposition on swapping the order of integration when it should be given in any calculus textbook, so I'll just give this link to a public domain source. Quoting from Leibniz integral rule.
which in your case gives
In other words the formula you gave is valid for integrals from a constant to x when the integrand is 0 at the upper limit of integration.--RDBury (talk) 14:51, 18 December 2011 (UTC)[reply]
The following may be already clear and obvious for you; anyway: The iterated integral on the RHS, as a function of is an -th antiderivative of , (let's assume continuous so the fundamental theorem of calculus applies smoothly). Two antiderivatives of a function defined on an interval differ by a constant, and for the same reason, two -th antiderivatives differ by a polynomial of degree This is precisely the -th antiderivative of with , because we always started the integration from 0. In other words, the -th Taylor polynomial of is . So coincides with its -th remainder , which is exactly given in integral form on the LH. In conclusion, whether or not you use the Leibnitz integral rule as shown by RDBury, a proof of your identity is essentially the proof of the integral remainder formula itself. For instance: Fix , then, as a function of , is exactly the derivative wrto of the -th Taylor polynomial of in centred at (by direct computation); then the remainder formula follows immediately by the FTC integrating from to . --pma 09:37, 23 December 2011 (UTC)[reply]