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.

f(x,y,z)=yln(1+x)f(x,y,z) = y\ln(1 + x)
010203yln(1+x)dzdydx=12ln26\int_0^1 \int_0^2 \int_0^3 y\ln(1 + x) \,dz\,dy\,dx = 12\ln 2 - 6

Numerically 2.317766, confirmed by quadrature on every build.

Separate, then spend the effort on one factor

Only the xx factor is hard, so isolate it before doing any work. The zz integral contributes the edge length 33 and the yy integral contributes 02ydy=2\int_0^2 y \,dy = 2.

Byln(1+x)dV=(01ln(1+x)dx)(02ydy)(3)=601ln(1+x)dx\iiint_B y\ln(1 + x) \,dV = \left(\int_0^1 \ln(1 + x) \,dx\right)\left(\int_0^2 y \,dy\right)(3) = 6\int_0^1 \ln(1 + x) \,dx

Now do the log by parts with u=ln(1+x)u = \ln(1 + x) and dv=dxdv = dx, so du=dx1+xdu = \frac{dx}{1 + x} and v=1+xv = 1 + x. Choosing v=1+xv = 1 + x rather than v=xv = x makes the remaining integral collapse to a constant.

01ln(1+x)dx=[(1+x)ln(1+x)(1+x)]01=(2ln22)(01)=2ln21\int_0^1 \ln(1 + x) \,dx = \Big[(1 + x)\ln(1 + x) - (1 + x)\Big]_0^1 = (2\ln 2 - 2) - (0 - 1) = 2\ln 2 - 1

Multiplying by 66 gives 12ln262.31776612\ln 2 - 6 \approx 2.317766.

The mistake: guessing the antiderivative of a logarithm

The most common wrong move is writing ln(1+x)dx=11+x\int \ln(1 + x) \,dx = \frac{1}{1 + x}, confusing the antiderivative with the derivative. That gives a negative contribution and an answer near 3-3, impossible for an integrand that is non negative on this box.

The second wrong move is ln(1+x)dx=(ln(1+x))22\int \ln(1 + x) \,dx = \frac{\left(\ln(1+x)\right)^2}{2}, borrowing the power rule for something that is not a power. Only ln(1+x)1+xdx\int \frac{\ln(1+x)}{1+x} \,dx has that shape, because there the inner derivative is present.

  • Correct: ln(1+x)dx=(1+x)ln(1+x)x+C\int \ln(1 + x) \,dx = (1 + x)\ln(1 + x) - x + C.
  • Differentiate it back: ln(1+x)+11=ln(1+x)\ln(1 + x) + 1 - 1 = \ln(1 + x), so the answer checks out.
  • The two constant forms (1+x)-(1+x) and x-x differ by 11, which cancels once limits are substituted.

Sanity check the size

On this box ln(1+x)\ln(1 + x) runs from 00 to ln20.693\ln 2 \approx 0.693 and yy runs from 00 to 22, so the integrand never exceeds about 1.3861.386. With volume 66 the integral is at most about 8.38.3, and it should be far less because both factors vanish along two faces.

The stated value 2.3177662.317766 is about 2828 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 ee. In this section ln\ln and the machine notation log\log both mean the natural logarithm, which is the convention in mathjs and most computer algebra systems. A base 1010 reading would scale the answer by about 0.4340.434.

Why is the box chosen to keep x at or above 0?

Because ln(1+x)\ln(1 + x) is undefined at x=1x = -1 and for anything below it. Keeping xx in [0,1][0, 1] leaves the integrand smooth and bounded, so no improper integral or singularity handling is needed.