Multivariable calculus
Double Integral of 1/x Between x = y and x = y^2
The double integral of 1/x over the region between x = y and x = y^2 for y from 1 to 2 equals 2 ln 2 - 1, about 0.386294. The inner integral collapses to ln(y^2) minus ln(y), which is just ln y, and integrating ln y from 1 to 2 gives 2 ln 2 - 1.
Numerically 0.386294, confirmed by quadrature on every build.
The inner integral collapses to a single logarithm
On the curve lies to the right of , and the whole region sits in . So is continuous there and nothing is singular.
That collapse is the point of the problem. What survives is the standard integral of , done by parts with and .
Numerically .
The mistake: a difference of logs is not a log of a difference
is . It is not . The subtraction happens to the logarithms, not to their arguments.
The faulty version is not merely a different expression, it is undefined at , where . A formula that blows up at an endpoint the region genuinely includes is a signal to back up one step.
- , never .
- for , which is where the factor of in the answer comes from.
- , and the absolute value is safe to drop here only because throughout the region.
The other slip is losing the in . Without it the answer would read , more than three times too large.
Where the region is, and why 1/x is safe here
At the two curves meet at the single point , so the region tapers to a corner. It widens as increases, reaching at .
Because never approaches , the integrand stays between and on the region. Multiplying those bounds by the area brackets the answer between and , and sits inside.
Had the region reached , the same integrand would have made the integral improper, and none of this bracketing would apply.
Frequently asked questions
Why is this a type 2 region rather than type 1?
Both boundaries are given as in terms of , and each horizontal slice crosses the region once. As a type 1 region it splits at : for the slice runs from to , and for from to . Two integrals in place of one.
Does ln here mean the natural logarithm?
Yes. Throughout calculus is the logarithm base , the one whose derivative is . Since , the answer is .