Integration by Parts — Question 6

PDF ↗

Question 6

Use integration by parts to prove that ∫01ln⁡(x)dx=−1.\int_0^1\ln(x)\,dx=-1. Because ln⁡(x)\ln(x) is unbounded as x→0+x\to0^+, be sure to treat the lower endpoint correctly as an improper integral.

Original worksheet page 1: question and worked solution for 1-1-006
Show solutionHide solution

Question 6 – Solution

The function ln⁡(x)\ln(x) is not defined at x=0x=0 and satisfies limx→0+ln⁡(x)=−∞.\lim_{x\to0^+}\ln(x)=-\infty. Therefore, we must interpret the integral as ∫01ln⁡(x)dx=limε→0+∫ε1ln⁡(x)dx.\int_0^1\ln(x)\,dx =\lim_{\varepsilon\to0^+}\int_\varepsilon^1\ln(x)\,dx.

For ε>0\varepsilon>0, evaluate the proper integral by integration by parts. Choose u=ln⁡(x),dv=dx,du=1xdx,v=x.u=\ln(x),\quad dv=dx, \qquad du=\frac1x\,dx,\quad v=x. Using ∫udv=uv−∫vdu\int u\,dv=uv-\int v\,du, we obtain ∫ε1ln⁡(x)dx=xln(x)|ε1−∫ε1x(1x)dx=xln(x)|ε1−∫ε11dx=[xln(x)−x]ε1.\begin{align*} \int_\varepsilon^1\ln(x)\,dx &=\left.x\ln(x)\right|_\varepsilon^1 -\int_\varepsilon^1x\left(\frac1x\right)\,dx \\ &=\left.x\ln(x)\right|_\varepsilon^1 -\int_\varepsilon^1 1\,dx \\ &=\left[x\ln(x)-x\right]_\varepsilon^1. \end{align*} Now substitute the bounds: ∫ε1ln⁡(x)dx=(1ln⁡(1)−1)−(εln⁡(ε)−ε)=−1−εln⁡(ε)+ε.\begin{align*} \int_\varepsilon^1\ln(x)\,dx &=\bigl(1\ln(1)-1\bigr) -\bigl(\varepsilon\ln(\varepsilon)-\varepsilon\bigr) \\ &=-1-\varepsilon\ln(\varepsilon)+\varepsilon. \end{align*}

It remains to evaluate the indeterminate endpoint term. Rewrite it as εln⁡(ε)=ln⁡(ε)1/ε.\varepsilon\ln(\varepsilon) =\frac{\ln(\varepsilon)}{1/\varepsilon}. As ε→0+\varepsilon\to0^+, this has the form −∞/∞-\infty/\infty. By l’Hôpital’s rule, limε→0+εln⁡(ε)=limε→0+1/ε−1/ε2=limε→0+(−ε)=0.\begin{align*} \lim_{\varepsilon\to0^+}\varepsilon\ln(\varepsilon) &=\lim_{\varepsilon\to0^+} \frac{1/\varepsilon}{-1/\varepsilon^2} \\ &=\lim_{\varepsilon\to0^+}(-\varepsilon)=0. \end{align*} Also, lim⁡ε→0+ε=0\lim_{\varepsilon\to0^+}\varepsilon=0. Hence, ∫01ln⁡(x)dx=limε→0+(−1−εln(ε)+ε)=−1.\begin{align*} \int_0^1\ln(x)\,dx &=\lim_{\varepsilon\to0^+} \left(-1-\varepsilon\ln(\varepsilon)+\varepsilon\right) \\ &=-1. \end{align*} Therefore, the improper integral converges and ∫01ln⁡(x)dx=−1.\boxed{\displaystyle \int_0^1\ln(x)\,dx=-1}. This sign is reasonable because ln⁡(x)<0\ln(x)<0 for 0<x<10<x<1.

Original worksheet page 2: question and worked solution for 1-1-006

Original worksheet layout. Use Enlarge or open the PDF for a closer view.