4
$\begingroup$

Given a definite integral $I=\int_a^b f(x)\text{d}x$ for some function $f$, we can make any number of substitutions $x=u(x)$ which produce symbolically new integrals, all of which evaluate to the same value.

My main question is this: is it possible to have two definite integrals both of which give the same value yet each of which can not be transformed (i.e. made to look the same symbolically) into the other by substitution?

I get the impression the answer to my question is YES, but I'm not sure. Is there any information or theory out there that deals with this? How can we know when the transformation can not be done (if indeed it cannot be done)?

  • 0
    That's not what I meant to suggest. If it were true that equal integrals can be transformed into each other via substitution, then any two integrals could be transformed into each other, after multiplying one of them by an appropriate constant.2012-12-12

3 Answers 3

5

The two definite integrals $\int_0^\infty \sin(x^2)dx=\frac{\sqrt{2\pi}}{4}$ and $\int_0^\infty \cos(x^2)dx=\frac{\sqrt{2\pi}}{4}$ are equal, but I know of no substitution which shows they are.

  • 0
    I don't have a proof. I did try to show these were equal using not only substitutions, but anything I could think of to work on the difference of the two integrals, without using contour integration. Nothing I tried like this showed they were equal.2012-12-12
3

Let's start with the good-old unit semi-circle: $I_1=\int_{-1}^{1} \sqrt{1 - x^2}\text{d}x = \frac{\pi}{2}$

Now let's add a fancy triangle: $I_2=\int_{0}^{1} \pi{x}\text{d}x = \frac{\pi}{2}$

And, finally, a constant for good measure: $I_3=\int_{0}^{1} \frac{\pi}{2}\text{d}x = \frac{\pi}{2}$

Hey... what did you expect? It's 1:00am.

  • 0
    You're, of course, absolutely right. I think what I meant to say was that you cannot convert $I_1$ to either $I_2$ or $I_3$ and it just came out wrong. As I said, 1:00am. That's my excuse and I'm sticking to it!2012-12-12
2

Note that, $\int_0^{\pi /2}\cos x dx=1=\int_0^{\pi/2}(2/\pi)dx$ Now for any substitution $x=u(x)$ we have $\int_0^{\pi /2}\cos x dx=\int_0^{\pi/2}\cos (u(x))u^\prime(x)dx$ So we should have, $2/\pi=\cos (u(x))u^\prime (x)$ which can not be true, because the LHS is constant but the RHS is not.

  • 1
    On second thought, we can solve $u' = 2/(\pi \cos{u})$ pretty easily. Take $u = \arcsin(2x/\pi)$. Then $u(0) = 0$ and $u(\pi/2) = \pi/2$, and also, since $\sin\circ u(x) = 2x/\pi$, the chain rule shows that $u' = 2/(\pi \cos{u})$.2012-12-12