Multivariable calculus
Triple Integral of y ln(1 + x) over a Box
The triple integral of y times the natural log of 1 + x, over the box where x runs 0 to 1, y runs 0 to 2 and z runs 0 to 3, equals 12 ln 2 minus 6, about 2.317766. The log factor needs integration by parts and gives 2 ln 2 minus 1, then the y and z edges contribute 2 and 3.
Numerically 2.317766, confirmed by quadrature on every build.
Separate, then spend the effort on one factor
Only the factor is hard, so isolate it before doing any work. The integral contributes the edge length and the integral contributes .
Now do the log by parts with and , so and . Choosing rather than makes the remaining integral collapse to a constant.
Multiplying by gives .
The mistake: guessing the antiderivative of a logarithm
The most common wrong move is writing , confusing the antiderivative with the derivative. That gives a negative contribution and an answer near , impossible for an integrand that is non negative on this box.
The second wrong move is , borrowing the power rule for something that is not a power. Only has that shape, because there the inner derivative is present.
- Correct: .
- Differentiate it back: , so the answer checks out.
- The two constant forms and differ by , which cancels once limits are substituted.
Sanity check the size
On this box runs from to and runs from to , so the integrand never exceeds about . With volume the integral is at most about , and it should be far less because both factors vanish along two faces.
The stated value is about percent of that crude bound, which is what you expect from a product of two factors that each average roughly half their maximum.
Frequently asked questions
Is log(1 + x) here base 10 or base e?
Base . In this section and the machine notation both mean the natural logarithm, which is the convention in mathjs and most computer algebra systems. A base reading would scale the answer by about .
Why is the box chosen to keep x at or above 0?
Because is undefined at and for anything below it. Keeping in leaves the integrand smooth and bounded, so no improper integral or singularity handling is needed.