Calculus · real student question

Evaluate 1/(a+b) times the integral from 0 to arctan(b/a) of the inner integral of r^2 dr from 0 to a/cos(theta).

Question

Evaluate

1a+b0arctan(b/a)(0a/cosθr2dr)dθ\frac{1}{a+b}\int_{0}^{\arctan(b/a)}\left(\int_{0}^{a/\cos\theta}r^{2}\,dr\right)d\theta

for a,b>0a,b>0.

Step-by-step solution

  1. Understand the region. The outer limit r=acosθr=\dfrac{a}{\cos\theta} is the polar equation of the vertical line x=ax=a, and θ\theta runs from 00 to arctan(b/a)\arctan(b/a). So the region swept is the right triangle with vertices (0,0)(0,0), (a,0)(a,0) and (a,b)(a,b) — knowing this makes the limits meaningful rather than arbitrary.

  2. Do the inner integral in rr.

    0a/cosθr2dr=[r33]0a/cosθ=a33cos3θ=a33sec3θ\int_{0}^{a/\cos\theta}r^{2}\,dr=\left[\frac{r^{3}}{3}\right]_{0}^{a/\cos\theta}=\frac{a^{3}}{3\cos^{3}\theta}=\frac{a^{3}}{3}\sec^{3}\theta

    The cube of the upper limit is what turns a simple power into a secant-cubed problem.

  3. Recall the secant-cubed antiderivative. This is the standard by-parts result:

    sec3θdθ=12(secθtanθ+lnsecθ+tanθ)+C\int\sec^{3}\theta\,d\theta=\frac{1}{2}\left(\sec\theta\tan\theta+\ln\left|\sec\theta+\tan\theta\right|\right)+C

    It is the one piece of the calculation that cannot be done by a plain substitution.

  4. Evaluate at the upper limit. With θ0=arctan(b/a)\theta_{0}=\arctan(b/a), right-triangle geometry gives

    tanθ0=ba,secθ0=a2+b2a\tan\theta_{0}=\frac{b}{a},\qquad\sec\theta_{0}=\frac{\sqrt{a^{2}+b^{2}}}{a}

    so secθ0tanθ0=ba2+b2a2\sec\theta_{0}\tan\theta_{0}=\dfrac{b\sqrt{a^{2}+b^{2}}}{a^{2}} and secθ0+tanθ0=a2+b2+ba\sec\theta_{0}+\tan\theta_{0}=\dfrac{\sqrt{a^{2}+b^{2}}+b}{a}. At θ=0\theta=0 both secθtanθ\sec\theta\tan\theta and lnsecθ+tanθ=ln1\ln|\sec\theta+\tan\theta|=\ln1 vanish.

  5. Assemble the closed form. Combining the constants a33121a+b\dfrac{a^{3}}{3}\cdot\dfrac12\cdot\dfrac{1}{a+b}:

    a36(a+b)(ba2+b2a2+lna2+b2+ba)\frac{a^{3}}{6(a+b)}\left(\frac{b\sqrt{a^{2}+b^{2}}}{a^{2}}+\ln\frac{\sqrt{a^{2}+b^{2}}+b}{a}\right)

    or, distributing the first term,

    aba2+b26(a+b)+a36(a+b)lna2+b2+ba\frac{ab\sqrt{a^{2}+b^{2}}}{6(a+b)}+\frac{a^{3}}{6(a+b)}\ln\frac{\sqrt{a^{2}+b^{2}}+b}{a}

  6. Verify numerically at several parameter values. Simpson quadrature of a3sec3θ3(a+b)\dfrac{a^{3}\sec^{3}\theta}{3(a+b)} versus the closed form gives, for (a,b)=(1,1)(a,b)=(1,1): 0.19129892910.1912989291 both ways; for (2,3)(2,3): 1.03971377971.0397137797 both ways; for (0.7,1.9)(0.7,1.9): 0.21053701430.2105370143 both ways ✓ — agreement to better than 10810^{-8} in every case.

Answer

aba2+b26(a+b)+a36(a+b)lna2+b2+ba\frac{ab\sqrt{a^{2}+b^{2}}}{6(a+b)}+\frac{a^{3}}{6(a+b)}\ln\frac{\sqrt{a^{2}+b^{2}}+b}{a}

Need to solve a different problem like this? Open the solver →