Talk:Integration by substitution
|WikiProject Mathematics||(Rated C-class, Mid-priority)|
|This article is/was the subject of a Wiki Education Foundation-supported course assignment. Further details are available on the course page. Student editor(s) CourtneyI97, Krutherford97 will be working on it. CourtneyI97, Krutherford97 will be peer reviewing it.|
- 1 ?
- 2 Integration by substitution
- 3 conditions on f
- 4 which phi?
- 5 Requested move
- 6 Move issues
- 7 Multi value thing
- 8 integrability of phi
- 9 The Calculus Tempate For This Page
- 10 Expansion of Substitution rule for multiple variables
- 11 It is an unnecessary condition - nonvanishing derivative of g
- 12 Substitution theorem formulated directly for indefinite integral
- 13 Another assumption on g??
- 14 Typo in Proof
- 15 Antiderivatives explanation?
- 16 on probability
- 17 Innecesary..
- 18 Citation: Rudin
- 19 most general set of conditions
- 20 Antiderivatives "technique" vs "theorem"
- 21 Assumptions may be relaxed
Horrible explanation, incomprehensible to anyone who wants to know, and worthless without those people who'd want to know (otherwise, and obviously, they wouldn't be here to begin with).
- Please be more specific. What do you find unclear or confusing? Daniel Sank 16:15, 22 September 2007 (UTC)
I'd like to agree with the above opinion. In the intro, I think this should be taken out: "Using the fundamental theorem of calculus often requires finding an antiderivative. For this and other reasons, integration by substitution is an important tool for mathematicians."
In the first main section, "Let something-or-other be an interval and something-or-other be a continuously differentiable function. Suppose that something-or-other is a continuous function." That's some pretty intense mathspeak that I don't really understand. And what's Leibniz notation again? Oh yeah, dx/dt = dx'. Or something like that... Irrelevant, almost historical note: "One could view the method of integration by substitution as a major justification of Leibniz's notation for integrals and derivatives." Also, deriving the method from the fundamental theorem of calculus makes my head hurt; all I'm looking for is how to USE u-substitution.
The examples are good, but they skip way too many steps! If we make the substitution u = x2 + 1, we obtain du = 2x dx. I infer that "obtain" means "take the derivative of". After staring at it for a while, I notice that you solved for 1/2 du = x dx and substituted that in. And the limits...ah, you plugged both x's in to the limits, I think. Do you see what I mean? Many people find it difficult to reason out those missing steps. It's true that after the equations, you say "It is important to note that since the lower limit x = 0 was replaced with u = 02 + 1 = 1, and the upper limit x = 2 replaced with u = 22 + 1 = 5, a transformation back into terms of x was unnecessary." However, it would be good to have this kind of explanation beforehand (but leave out the part about transformation back into terms of x for now).
Oh, and the difference between integrals and antiderivatives is unclear; you assume that readers know the difference which I don't really. — Preceding unsigned comment added by Jojojlj (talk • contribs) 01:40, 6 January 2013 (UTC)
Integration by substitution
The objective of Integration by substitution is to substitute the integrand with or
We want to transform the Integral from a function of x to a function of u
|(4)||ie Now equate with|
|(7)||ie We have achieved our desired result|
- Calculate which is and make sure you express the result in terms of the variable u
conditions on f
In most calculus books f is required to be continuous (not just integratable), mainly because
their proofs are based on the fundamental theorem of calculus which requires continuity.
However i've seen abstract generalization (based on lesbegue integrals) that seems to skip the contintuity condition for f (i do not fully understand the terms involved):
It would be nice if somebody knowledgeable could confirm/comment this and modify the article (there should be at least a note why or under which exact condition continuity can be dropped for f).
I replaced φ with Φ, since the latex \phi looks like that one. This may however differ depending on which font you are using...
I don't think thats strictly right. Φ is capital phi, φ is not italicized phi, and φ is italicized phi, which I think is the strictly correct one. I'll leave it up to you to revert if you think it should be done. PAR 20:13, 22 Mar 2005 (UTC)
Fine article. To those responsible: thanks. --Christofurio 17:20, Apr 23, 2005 (UTC)
- I've changed the usage of (or ) to in the intro. or whatever is still used later on in another section, but I'll leave that to be edited by whomever. -Matt 17:00, 11 November 2007 (UTC)
I agree with Karesser on this. For most people who will be using the article phi just adds confusion. Is there any reason why it should be phi, because all the calculus books I have seen use g(x). Bizzako 21:54, 16 December 2006 (UTC)
speedy move according to WP standards for upper/lower case in article names. --Trovatore 02:44, 7 December 2005 (UTC)
- Add *Support or *Oppose followed by an optional one sentence explanation, then sign your vote with ~~~~
- Add any additional comments
I moved this article back from Integration by Substitution. The reasons are three:
- The page was moved against Wikipedia conventions for capitals; it should have been integration by substitution
- The double redirects were not fixed.
- I don't quite see any discussion about why the move would be necessary.
So, if it is decided to move this page indeed to integration by substitution, I can help (you would need an administrator to delete the redirect at integration by substitution first). But I would like to see if people agree on that, and somebody's got to promise to fix the redirects afterwards. Oleg Alexandrov (talk) 03:45, 7 December 2005 (UTC)
- Maybe I rushed things a bit with the "requested move" process. I don't have any strong preference for Integration by substitution over Substitution rule; I just tried to move Integration by Substitution to Integration by substitution to comply with the capitalization convention, and then nominated the article when I found out I couldn't just move it. I suppose I think Integration by substitution is just epsilon better than Substitution rule, but I'd be happy to have the nomination quashed and things left as they are now if that's simpler. --Trovatore 04:08, 7 December 2005 (UTC)
- Let us see what Atraxani says, the user who did the move (I wrote that user a message). All that really matters is that whoever wants to do the move should fix the redirects, to avoid redirects to redirects. Oleg Alexandrov (talk) 04:13, 7 December 2005 (UTC)
Multi value thing
If one is required to substitute the variable x in the original integral to something like u^2-u-2, what do you do with the limits? There are obivously two solution of u for each x, so how can one tell which one to use? —Preceding unsigned comment added by 22.214.171.124 (talk • contribs) 23:21, 9 December 2005
- You choose a part of the function to use (by imposing constraints) so that u is a (single-valued) function of x. And which one you choose will affect which derivative you get for du/dx. It may be that there are multiple valid choices, depending on your situation; but they should all give the same result. --Spoon! 23:06, 11 September 2007 (UTC)
integrability of phi
Is it necessary to suppose integrability of (phi)'? Isn't it guaranteed by its assumption of continuity?
The Calculus Tempate For This Page
It seems that this is the only page that uses the Calculus Template whose link does not become bold and unlinkable when on the page. I don't know how to fix this. Ryulong 20:25, 6 February 2006 (UTC)
- That is because the link in the Calculus template used to point to substitution rule. I changed it to point directly to this page, integration by substitution, and now the link does become bold. -- Jitse Niesen (talk) 22:06, 6 February 2006 (UTC)
Expansion of Substitution rule for multiple variables
It would be great if someone expanded the Substitution rule for multiple variables section with examples and further explanations. Thanks, --Abdull 14:20, 25 May 2006 (UTC)
- Yes. Here is something that is rather subtle but bothers people as I know from experience. When the number of dimensions is 1, the multi-variable formula should match the one-variable formula. However, the multi-variable formula has that absolute value in there. In the one-variable formula we have φ'(t) not |φ'(t)|. Explaining why this is not actually a contradiction is an expository challenge. McKay 02:10, 6 March 2007 (UTC)
- This is because traditionally when we do a one-dimensional definite integral, we specify a lower bound and an upper bound. When we do the substitution, we apply the function separately onto the bounds. If the substituting function is a decreasing function, then after substitution the lower bound will be greater than the upper bound; and the derivative of the substituting function will be negative. These two effects cancel each other out, as "swapping" the bounds introduces another negative sign to the integral, canceling the negative from the derivative.
- However, if you look at how the formula of the multi-variable integral is written, it considers integrals over a set, without considering a specific orientation. And after the substitution, you see that the second integral is over the set which is the image of the function over the original set. If the function has a negative Jacobian determinant, then that means somehow the function "flips" the geometric orientation of the variables. But since we are just integrating sets without considering the geometric orientation, we cannot cancel out that negative. So we take the absolute value. --Spoon! 23:02, 11 September 2007 (UTC)
It is an unnecessary condition - nonvanishing derivative of g
Substitution theorem formulated directly for indefinite integral
I have just read a variant of the theorem which is formulated directly for indefinite integral. I think it would fit in the article well. But still, I do not dare to write it to the article, because my knowledge in the topic lacks both the overview and the details.
Instead, I try to summarize the theorem here, together with some remarks, applications and examples. I do not include it here in the talk page literally, because it is too long, thus it may act as distracting the talk page. Physis (talk) 20:16, 20 June 2008 (UTC)
Another assumption on g??
Shouldn't g(t) (the change of variables function) should be injective as well?
Otherwise the integral limits might change to be the same point and thus the integral will be zero independently of the value of the integrand itself... —Preceding unsigned comment added by Yaron hadad (talk • contribs) 23:18, 27 July 2008 (UTC)
- Are you sure? For instance, if you change the lower limit in the first example given to −2 and again use the transformation , you get
- And the integral is indeed zero because the integrand x cos(x2 + 1) is an odd function. So you get the correct result, even though is not injective on the interval [−2, 2]. -- Jitse Niesen (talk) 11:52, 28 July 2008 (UTC)
- No, g does not need to be assumed injective, under our assumption that it is continuously differentiable. I believe that things are slightly more complicated when g is only assumed to be absolutely continuous (and the integral is the Lebesgue integral). In the latter case, it may be necessary to assume that g is monotonic to make the theorem tractable. siℓℓy rabbit (talk) 13:15, 28 July 2008 (UTC)
Typo in Proof
In the proof:
- Since is continuous, it possesses an antiderivative .
Shouldn't that be:
- Since is continuous, it possesses an antiderivative ?
Can someone explain to me how you can get this? This is from the second part to the third part of the antiderivatives exmaple.
- You're changing coordinates from right to left. Consider the coordinate change u = x^2 + 1. The Fundamental Theorem then gives
- D is the derivative, so that det D[..] is the Jacobian of [..]. 126.96.36.199 (talk) 21:19, 25 February 2012 (UTC)
"If the substitution function g(t) is decreasing, so that g(a) > g(b) the limits of integration must be reversed, with an additional minus sign appearing in front of the integral."
In Rudin's real and complex analysis from as late as '74 there is no Theorem 7.26 (chapter 7 ends with Theorem 7.14). Theorem 7.26 does exist in a French version from '98, though. This means that the citation in the article is wrong. 188.8.131.52 (talk) 14:33, 15 June 2011 (UTC)
most general set of conditions
I'm thinking that in order to be a definitive source on the subject, there should be a theorem which states, in , the most general set of circumstances for F under which the change of variables works in the Reimann-Stiltjes sense
that is to say that in order for the left hand side to exist as a Reimann-Stiltjes integral, the must be integrable on (a,b) and the function, F, must be of bounded variation. Nothing about differentiability, and far less, nothing even about absolute continuity.
According to an exercise in Royden, the above is true for all F continuous and increasing (no need for absolute continuity and of course the requirement that is integrable). Thus the above change of variables works when F is the Cantor function.
The Hewitt & Stromberg (1965, Theorem 20.3) citation attempts to be a general reference--its stated for functions on Polish Spaces, which is fine but more general than required. Something gives me the suspicion that this synopsis is mis-stated (c.f. the requirement that a function must be continuous _and_ absolutely continuous is redundant) also absolute continuity is not strictly required. Izmirlig (talk)email@example.com
Antiderivatives "technique" vs "theorem"
It would be nice to present a theorem about finding antiderivative. I don't see how to state it.. Is there a way to phrase it that isn't too tortuous?
In the article, the theorem of integration by susbsitution deals with definite integrals. The "technique" of substitution is used for antiderivatives without being stated as a theorem. At face value, the "rule" in calculus books for computing antiderivatives . claims the equality of two functions. The left hand side is a function of x, the right hand side is a function of u. But if someone asks "Are and the same function? I'd have to say "No".
I could try to weasel out of it by saying "Yes, if the relation holds." The follow up question would be: "A function is a set of ordered pairs of numbers. If the two functions are the same function, does this "same" function contain the ordered pair ? or does it contain the ordered pair . It can't contain both."
- The f( ) in f(u(x)) does not specify f( ) as a function of x, it specifies it as a function of its argument, which is whatever is inside the parentheses, in this case u or u(x). The left hand side IS a function of x, but that function is not specified by f( ), it is specified by f(u( )) which is not the same as f( ). The integral statement in what you wrote does not claim the "equality" of the two functions, it claims that the f( ) on both sides are the same function, NOT that f(u( )) and f( ) are the same . PAR (talk) 18:05, 13 August 2016 (UTC)
Assumptions may be relaxed
Note that it is assumed that φ : [a,b] → I is continuously differentiable. An integrable derivative suffices, since the fundamental theorem of calculus holds for functions with integrable but discontinuous derivatives as well. SomePseudonym (talk) 11:45, 13 August 2016 (UTC)
- Császár 1989: 311–312 (= II. 2.28)