ResearchForge / Calculators
← all articles
calculusintegrationdifferentiationconvergencesolids-of-revolutionSun Apr 26

Calculus II: Foundations and First Principles

Abstract

Calculus II extends the tools of differential calculus into integration and its applications. This article surveys three core topics—convergence of integrals, logarithmic differentiation, and volumes of solids of revolution—that form the conceptual and technical foundation of the course. Each topic is grounded in first principles and illustrated with worked examples to clarify both intuition and method.

Background

Calculus II builds on single-variable differentiation by introducing systematic integration techniques and their geometric and physical applications. Unlike Calculus I, which focuses on rates of change and optimization, Calculus II emphasizes accumulation, area, and volume. The course also introduces rigorous analysis of infinite processes—particularly whether infinite sums and integrals converge to finite values.

Three themes recur throughout the course:

  1. Techniques for simplifying complex expressions before integration or differentiation
  2. Convergence analysis to determine when infinite processes yield meaningful results
  3. Geometric applications that translate abstract integrals into concrete volumes and areas

Key Results

Convergence of Integrals

[convergence-of-integrals] defines convergence as the property that an integral abf(x)dx\int_a^b f(x) \, dx yields a finite limit as the bounds approach their limits of integration. An integral is convergent if this limit exists and is finite; it is divergent otherwise.

This distinction is essential when dealing with improper integrals—those with infinite limits or discontinuous integrands. For example, 11x2dx\int_1^\infty \frac{1}{x^2} \, dx converges (to 1), while 11xdx\int_1^\infty \frac{1}{x} \, dx diverges. Without convergence tests, evaluating such integrals directly is impractical.

The practical value lies in convergence tests such as the comparison test and limit comparison test, which allow us to determine convergence without computing the integral explicitly. This is crucial in applications ranging from probability (where integrals represent total probability) to physics (where divergent integrals signal unphysical solutions).

Logarithmic Differentiation

[logarithmic-differentiation] presents logarithmic differentiation as a technique for handling functions where the variable appears in both base and exponent, or in complex products and quotients.

The method proceeds as follows: given y=f(x)y = f(x), take the natural logarithm of both sides: ln(y)=ln(f(x))\ln(y) = \ln(f(x))

Differentiate both sides implicitly with respect to xx: 1ydydx=f(x)f(x)\frac{1}{y} \frac{dy}{dx} = \frac{f'(x)}{f(x)}

Solve for the derivative: dydx=yf(x)f(x)\frac{dy}{dx} = y \cdot \frac{f'(x)}{f(x)}

Substitute back the original function to express the result in terms of xx alone.

The power of this method lies in transforming multiplicative relationships into additive ones via logarithm properties. For instance, if y=u(x)v(x)y = u(x)^{v(x)} where both uu and vv depend on xx, direct application of the product rule becomes unwieldy. Logarithmic differentiation converts this into: ln(y)=v(x)ln(u(x))\ln(y) = v(x) \ln(u(x)) which is far simpler to differentiate.

Volume of Solids of Revolution

[volume-of-solid-of-revolution] establishes formulas for computing volumes when a planar region is rotated about an axis.

For rotation about the xx-axis, the volume of the solid bounded by curves y=f(x)y = f(x) and y=g(x)y = g(x) from x=ax = a to x=bx = b is: V=πab(f(x)2g(x)2)dxV = \pi \int_a^b \left(f(x)^2 - g(x)^2\right) \, dx

For rotation about the yy-axis: V=2πcdx(h(y)k(y))dyV = 2\pi \int_c^d x \left(h(y) - k(y)\right) \, dy

where h(y)h(y) and k(y)k(y) are the outer and inner radii as functions of yy.

These formulas arise from the disk method: slicing the solid perpendicular to the axis of rotation yields circular (or annular) cross-sections whose areas are πr2\pi r^2 (or π(R2r2)\pi(R^2 - r^2) for washers). Integrating these areas along the axis yields the total volume.

The geometric intuition is powerful: integration accumulates infinitesimal cross-sectional areas into a total volume. This principle extends to any axis of rotation and underpins applications in engineering, architecture, and materials science.

Worked Examples

Example 1: Convergence of an Improper Integral

Determine whether 11x1.5dx\int_1^\infty \frac{1}{x^{1.5}} \, dx converges.

Solution:
Evaluate the limit: 1T1x1.5dx=[2x]1T=2T+2\int_1^T \frac{1}{x^{1.5}} \, dx = \left[-\frac{2}{\sqrt{x}}\right]_1^T = -\frac{2}{\sqrt{T}} + 2

As TT \to \infty, 2T0-\frac{2}{\sqrt{T}} \to 0, so the integral converges to 22.

Alternatively, by the comparison test: since 1x1.5<1x\frac{1}{x^{1.5}} < \frac{1}{x} for x>1x > 1 and 11x1.5dx\int_1^\infty \frac{1}{x^{1.5}} \, dx converges, the integral converges.

Example 2: Logarithmic Differentiation

Find dydx\frac{dy}{dx} for y=xxy = x^x.

Solution:
Take the natural logarithm: ln(y)=xln(x)\ln(y) = x \ln(x)

Differentiate both sides: 1ydydx=ln(x)+x1x=ln(x)+1\frac{1}{y} \frac{dy}{dx} = \ln(x) + x \cdot \frac{1}{x} = \ln(x) + 1

Therefore: dydx=y(ln(x)+1)=xx(ln(x)+1)\frac{dy}{dx} = y(\ln(x) + 1) = x^x(\ln(x) + 1)

Example 3: Volume of a Solid of Revolution

Find the volume of the solid obtained by rotating the region bounded by y=xy = \sqrt{x}, y=0y = 0, and x=4x = 4 about the xx-axis.

Solution:
Using the disk method: V=π04(x)2dx=π04xdx=π[x22]04=π8=8πV = \pi \int_0^4 (\sqrt{x})^2 \, dx = \pi \int_0^4 x \, dx = \pi \left[\frac{x^2}{2}\right]_0^4 = \pi \cdot 8 = 8\pi

References

AI Disclosure

This article was drafted with the assistance of an AI language model based on personal class notes. All mathematical statements and formulas have been verified against the source notes and are presented in the author's own words. The worked examples are original constructions designed to illustrate the concepts discussed.

Try the math live

References

AI disclosure: Generated from personal class notes with AI assistance. Every factual claim cites a note. Model: claude-haiku-4-5-20251001.