Talk:Integration by substitution
This level-5 vital article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
|
|
This page has archives. Sections older than 30 days may be automatically archived by Lowercase sigmabot III when more than 5 sections are present. |
Wiki Education Foundation-supported course assignment
This article is or was the subject of a Wiki Education Foundation-supported course assignment. Further details are available on the course page. Student editor(s): CourtneyI97, Krutherford97. Peer reviewers: CourtneyI97, Krutherford97.
Above undated message substituted from Template:Dashboard.wikiedu.org assignment by PrimeBOT (talk) 00:35, 17 January 2022 (UTC)
integrability of phi
Is it necessary to suppose integrability of (phi)'? Isn't it guaranteed by its assumption of continuity?
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)izmirlig@mail.nih.gov
- Someone signed incorrectly. Nerd271 (talk) 19:14, 4 April 2020 (UTC)
A section for discussing the geometry of trigonometric substitutions?
So consider the arctangent integral,
The "standard" substitution is , which then simplifies the integral to integration of a constant function via the derivative, .
We see is is useful by direct computation, but one could also look at a right triangle, with angle and side lengths .
This corresponds to the form of the integrand itself. From here, it is easy to see that , which leads to our desired solution.
I think this perspective is important in teaching the method of substitution not as a rote algebraic trick, but one motivated by geometric intuition. Legatostaccato (talk) 06:40, 11 February 2020 (UTC)
- We do have a page for trigonometric substitutions. Nerd271 (talk) 19:14, 4 April 2020 (UTC)
Non-injective case
I think we should mention the possibility to relax the injectivity condition, see [1]Theorem 2 or Theorem 5.8.30 in Measure Theory - Volume I (Bogachev).
The question naturally arises when comparing with the univariate case.
I don't feel comfortable enough to write it however. Trashyyy (talk) 12:26, 10 November 2024 (UTC)