Multivariable calculus
Double Integral of cos(x^2) Over a Triangle
The double integral of cos of x squared over the triangle where y runs from 0 to x and x runs from 0 to the square root of pi/2 equals exactly 1/2. Integrating in y first produces a factor of x, which turns the outer integral into the substitution u = x squared.
Numerically 0.500000, confirmed by quadrature on every build.
The inner integral supplies the factor the substitution needs
The region is the triangle below the line , with running from to . The integrand has no in it, so the inner integral just measures the height of the slice.
That out front is exactly half of , so the outer integral is a substitution with , .
Why the reversed order is a dead end
Describing the same triangle by horizontal slices puts outside and from to inside. The value is unchanged, but the inner integral becomes impossible by hand.
The function has no elementary antiderivative; the integral is the Fresnel integral, a named special function. Without the that the integration hands you, there is nothing to substitute with.
- If a problem hands you this order, reversing it is the intended move, not an optional shortcut.
- Sketch the triangle, read it by vertical slices instead, and the appears on its own.
- The same pattern rescues , and style integrands.
The mistake: dropping the chain-rule half
After reaching , a common slip is to write the antiderivative as with no factor of , which doubles the answer to .
Differentiating your antiderivative back before you evaluate it catches this every time, and costs about five seconds. The integrand has one , not two, so the has to be there.
Frequently asked questions
Why is the upper limit sqrt(pi/2) rather than something rounder?
It is chosen so that reaches exactly , where . That makes the final answer the clean instead of a decimal with no closed form.
Is cos(x^2) positive over the whole region?
Yes. Here runs from to , and cosine is non-negative on that interval. So is an honest volume, not a signed cancellation.