Limits of integral after substitution

BruceW
Science Advisor
Messages
3,611
Reaction score
121
Hi everyone,
I am having a 'crisis of faith' in how the limits of an integral should change when you make a substitution for the variable involved. Especially when using a sinusoid substitution, since the sinusoidal functions are not 1-to-1 functions. Anyway, let's use an example integral:
\int_{r_0}^0 \sqrt{\frac{r}{r_0-r}} \ dr
(where r_0 is a positive number). Now I want to use the substitution r = r_0 sin^2(\theta) So the integral becomes:
\int \ 2r_0 sin^2(\theta) \ d \theta
But what about the limits? for r=r_0, we need sin^2(\theta)=1, so we can choose theta as PI/2+n for any integer n. And we have a similar ambiguity for the other limit of r=0, we can choose any integer multiple of PI as our value of theta in the limit. So does this ambiguity allow us to reach different answers? Or can we rest easy knowing that we must always reach the same answer no matter what choice we make? Well, if we try PI/2 for the lower limit and zero for the upper limit we have:
\int_{\pi/2}^0 2r_0 sin^2(\theta) \ d \theta
And using trigonometric identity, is equal to:
r_0 \int_{\pi/2}^0 1 \ d \theta - r_0 \int_{\pi/2}^0 cos(2\theta) \ d\theta
And continuing the calculation, gives the answer to be:
- \frac{\pi r_0}{2}
OK, so now trying it again, but instead use PI/2 for the lower limit and PI for the upper limit, we have:
\int_{\pi/2}^{\pi} 2r_0 sin^2(\theta) \ d \theta
And what follows is a very similar calculation, which gives:
\frac{\pi r_0}{2}
So it is the opposite sign of the other answer. So depending on the values of theta chosen for the limits, we get a different answer to the integral. But this is not what I would hope for, since we are not breaking any rules, the upper limit still corresponds to the same value of r in both cases. In practice, I know the negative answer is correct because I know the answer to the original integral. But if I didn't know the answer to the original integral, then I would be totally lost as to which answer is the correct one.

So, have I totally missed something... Or is there some rule that I have not followed? Many thanks in advance!
 
Last edited:
Mathematics news on Phys.org
BruceW said:
Hi everyone,
I am having a 'crisis of faith' in how the limits of an integral should change when you make a substitution for the variable involved. Especially when using a sinusoid substitution, since the sinusoidal functions are not 1-to-1 functions. Anyway, let's use an example integral:
\int_{r_0}^0 \sqrt{\frac{r}{r_0-r}} \ dr
(where r_0 is a positive number). Now I want to use the substitution r = r_0 sin^2(\theta) So the integral becomes:
\int \ 2r_0 sin^2(\theta) \ d \theta
But what about the limits? for r=r_0, we need sin^2(\theta)=1, so we can choose theta as PI/2+n for any integer n. And we have a similar ambiguity for the other limit of r=0, we can choose any integer multiple of PI as our value of theta in the limit. So does this ambiguity allow us to reach different answers? Or can we rest easy knowing that we must always reach the same answer no matter what choice we make? Well, if we try PI/2 for the lower limit and zero for the upper limit we have:
\int_{\pi/2}^0 2r_0 sin^2(\theta) \ d \theta
And using trigonometric identity, is equal to:
r_0 \int_{\pi/2}^0 1 \ d \theta - r_0 \int_{\pi/2}^0 cos(2\theta) \ d\theta
And continuing the calculation, gives the answer to be:
- \frac{\pi r_0}{2}
OK, so now trying it again, but instead use PI/2 for the lower limit and PI for the upper limit, we have:
\int_{\pi/2}^{\pi} 2r_0 sin^2(\theta) \ d \theta
And what follows is a very similar calculation, which gives:
\frac{\pi r_0}{2}
So it is the opposite sign of the other answer. So depending on the values of theta chosen for the limits, we get a different answer to the integral. But this is not what I would hope for, since we are not breaking any rules, the upper limit still corresponds to the same value of r in both cases. In practice, I know the negative answer is correct because I know the answer to the original integral. But if I didn't know the answer to the original integral, then I would be totally lost as to which answer is the correct one.

So, have I totally missed something... Or is there some rule that I have not followed? Many thanks in advance!

Hi Bruce! :smile:

There's a bit of a subtlety here. When you do the sub, this is what actually happens:

\int_{r_0}^0 \sqrt{\frac{r}{r_0-r}} \ dr = \int \sqrt{\frac{r_0\sin^2{\theta}}{r_0\cos^2{\theta}}}(2r_0)\sin\theta\cos{\theta} \ d{\theta} = \int \frac{|\sin{\theta}|}{|\cos{\theta}|}(2r_0)\sin{\theta}\cos{\theta} \ d{\theta}

(I removed the bounds in the subbed integral for simplicity). Note that absolute value notation there, it's critical. Basically, the only way you're able to cancel out the cosine and simplify the whole expression is to take the case where sine and cosine have the same positive sign, so that implies a theta in the first quadrant.

Is that a satisfactory explanation?
 
Ah! yes. very good explanation, thank you! ah, that's awesome. my faith has been restored. I must try to keep on guard for those kinds of subtleties in the future. And so, I can rest assured that in similar problems, I can always choose any of the allowed values for theta, and the integral still comes out the same? (which is as I had hoped). And the thing that tripped me up here was actually something slightly different, that taking the square root of cos^2 gives the absolute value of cos, not cos itself. (a rookie mistake). Good, I think I understand it now.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.
Back
Top