Shell integration

Short description: Method for calculating the volume of a solid of revolution

A volume is approximated by a collection of hollow cylinders. As the cylinder walls get thinner the approximation gets better. The limit of this approximation is the shell integral.

Shell integration (the shell method in integral calculus) is a method for calculating the volume of a solid of revolution, when integrating along an axis perpendicular to the axis of revolution. This is in contrast to disc integration which integrates along the axis parallel to the axis of revolution.

Definition

The shell method goes as follows: Consider a volume in three dimensions obtained by rotating a cross-section in the $xy$ -plane around the $y$ -axis. Suppose the cross-section is defined by the graph of the positive function $f (x)$ on the interval $[a, b]$ . Then the formula for the volume will be:

[math]\displaystyle{ 2 \pi \int_a^b x f(x)\, dx }[/math]

If the function is of the $y$ coordinate and the axis of rotation is the $x$ -axis then the formula becomes:

[math]\displaystyle{ 2 \pi \int_a^b y f(y)\, dy }[/math]

If the function is rotating around the line $x = h$ then the formula becomes:^[1]

[math]\displaystyle{ \begin{cases} \displaystyle 2 \pi \int_a^b (x-h) f(x)\,dx, & \text{if}\ h \le a \lt b\\ \displaystyle 2 \pi \int_a^b (h-x) f(x)\,dx, & \text{if}\ a \lt b \le h, \end{cases} }[/math]

and for rotations around $y = k$ it becomes

[math]\displaystyle{ \begin{cases} \displaystyle 2 \pi \int_a^b (y-k) f(y)\,dy, & \text{if}\ k \le a \lt b\\ \displaystyle 2 \pi \int_a^b (k-y) f(y)\,dy, & \text{if}\ a \lt b \le k. \end{cases} }[/math]

The formula is derived by computing the double integral in polar coordinates.

Derivation of the formula

A way to obtain the formula

The method's formula can be derived as follows:

Consider the function [math]\displaystyle{ f( x) }[/math] which describes our cross-section of the solid, now the integral of the function can be described as a Riemann integral: [math]\displaystyle{ \int\limits_{a}^{b} f(x) dx = \lim_{n \to \infty} \sum_{i=1}^n f(a + i\frac{b-a}{n}) (\frac{b-a}{n}) }[/math]

The Riemann sum can be thought up as a sum of a number n of rectangles with ever shrinking bases, we might choose one of them:

[math]\displaystyle{ f(a + k\frac{b-a}{n}) (\frac{b-a}{n}) }[/math]

Now, when we rotate the function around the axis of revolution, it is equivalent to rotating all of these rectangles around said axis, these rectangles end up becoming a hollow cylinder, composed by the difference of two normal cylinders. For our chosen rectangle, its made by obtaining a cylinder of radius [math]\displaystyle{ a + (k+1)\frac{b-a}{n} }[/math] with height [math]\displaystyle{ f(a + k\frac{b-a}{n}) }[/math] , and substracting it another smaller cylinder of radius [math]\displaystyle{ a + k\frac{b-a}{n} }[/math], with the same height of [math]\displaystyle{ f(a + k\frac{b-a}{n}) }[/math] , this difference of cylinder volumes is:

[math]\displaystyle{ \pi f(a + k\frac{b-a}{n}) ( (a + (k+1)\frac{b-a}{n} )^2 - (a + k\frac{b-a}{n} )^2) }[/math]

By difference of squares , the last factor can be reduced as:

[math]\displaystyle{ \pi f(a + k\frac{b-a}{n}) (2a + 2k\frac{b-a}{n} + \frac{b-a}{n}) \frac{b-a}{n} }[/math]

The third factor can be factored out by two, ending up as:

[math]\displaystyle{ 2\pi f(a + k\frac{b-a}{n}) (a + k\frac{b-a}{n} + \frac{b-a}{ 2n }) \frac{b-a}{n} }[/math]

This same thing happens with all terms, so our total sum becomes:

[math]\displaystyle{ 2\pi \lim_{n \to \infty} \sum_{i=1}^n f(a + i\frac{b-a}{n}) (a + i\frac{b-a}{n} + \frac{b-a}{ 2n }) \frac{b-a}{n} }[/math]

In the limit of [math]\displaystyle{ n \rightarrow \infin }[/math], we can clearly identify that:

[math]\displaystyle{ f(a + i\frac{b-a}{n} ) }[/math] as [math]\displaystyle{ \frac{b-a}{n} }[/math] goes to 0 ends up becoming [math]\displaystyle{ f(x) }[/math]
[math]\displaystyle{ (a + i\frac{b-a}{n} + \frac{b-a}{ 2n }) }[/math] becomes [math]\displaystyle{ x }[/math] itself, going from a to b (ignoring the last term which is now infinitesimal)
[math]\displaystyle{ \frac{b-a}{n} }[/math] becomes an infinitesimal

Thus, at the limit of infinity, the sum becomes the integral:

[math]\displaystyle{ 2\pi \int\limits_{a}^{b} x f(x) dx }[/math]

QED [math]\displaystyle{ \square }[/math].

Example

Consider the volume, depicted below, whose cross section on the interval [1, 2] is defined by:

[math]\displaystyle{ y = (x-1)^2(x-2)^2 }[/math]

Cross-section

3D volume

In the case of disc integration we would need to solve for $x$ given $y$ and because the volume is hollow in the middle we would find two functions, one that defined the inner solid and one that defined the outer solid. After integrating these two functions with the disk method we would subtract them to yield the desired volume.

With the shell method all we need is the following formula:

[math]\displaystyle{ 2 \pi \int_1^2 x ((x-1)^2(x-2)^2) \,dx }[/math]

By expanding the polynomial the integral becomes very simple. In the end we find the volume is $π$ /10 cubic units.

References

↑ Heckman, Dave (2014). "Volume – Shell Method". https://math.la.asu.edu/~dheckman/11%20-%20Volume%20-%20Shell%20Method.pdf.

Weisstein, Eric W.. "Method of Shells". http://mathworld.wolfram.com/MethodofShells.html.
Frank Ayres, Elliott Mendelson. Schaum's Outlines: Calculus. McGraw-Hill Professional 2008, ISBN 978-0-07-150861-2. pp. 244–248 (online copy, p. 244, at Google Books)

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Shell integration. Read more

[1] Heckman, Dave (2014). "Volume – Shell Method". https://math.la.asu.edu/~dheckman/11%20-%20Volume%20-%20Shell%20Method.pdf.

[1]

v t e Calculus
Precalculus	Binomial theorem Concave function Continuous function Factorial Finite difference Free variables and bound variables Fundamental theorem Graph of a function Linear function Mean value theorem Radian Rolle's theorem Secant Slope Tangent
Limits	Indeterminate form Limit of a function One-sided limit Limit of a sequence Orders of approximation (ε, δ)-definition of limit
Differential calculus	Chain rule Derivative Differential Differential equation Differential operator Implicit differentiation Inverse functions and differentiation L'Hôpital's rule Leibniz's rule Logarithmic derivative Mean value theorem Newton's method Notation Leibniz's notation Newton's notation Product rule Quotient rule Regiomontanus' angle maximization problem Related rates Simplest rules Constant factor rule in differentiation Linearity of differentiation Power rule Sum rule in differentiation Stationary point First derivative test Second derivative test Extreme value theorem Maxima and minima Taylor's theorem
Integral calculus	Antiderivative Arc length Constant of integration Differentiation under the integral sign Fundamental theorem of calculus Integral of secant cubed Integral of the secant function Integration by parts Integration by substitution Tangent half-angle substitution Partial fractions in integration Quadratic integral Proof that 22/7 exceeds π Simplest rules Constant factor rule in integration Linearity of integration Sum rule in integration Trapezoidal rule Trigonometric substitution
Vector calculus	Curl Directional derivative Divergence Divergence theorem Gradient Gradient theorem Green's theorem Laplacian Stokes' theorem
Multivariable calculus	Curvature Disc integration Divergence theorem Exterior Gabriel's Horn Geometric Hessian matrix Jacobian matrix and determinant Line integral Matrix Multiple integral Partial derivative Shell integration Surface integral Tensor Volume integral
Series	Abel's test Alternating Alternating series test Arithmetico-geometric sequence Binomial Cauchy condensation test Direct comparison test Dirichlet's test Euler–Maclaurin formula Fourier Geometric Harmonic Infinite Integral test for convergence Limit comparison test Maclaurin Power Ratio test Root test Taylor Term test
Special functions and numbers	Bernoulli numbers e (mathematical constant) Exponential function Natural logarithm Stirling's approximation
History of calculus	Adequality Brook Taylor Colin Maclaurin Generality of algebra Gottfried Wilhelm Leibniz Infinitesimal Infinitesimal calculus Isaac Newton Fluxion Law of Continuity Leonhard Euler Method of Fluxions The Method of Mechanical Theorems
Lists	Differentiation rules List of integrals of exponential functions List of integrals of hyperbolic functions List of integrals of inverse hyperbolic functions List of integrals of inverse trigonometric functions List of integrals of irrational functions List of integrals of logarithmic functions List of integrals of rational functions List of integrals of trigonometric functions List of limits List of mathematical symbols Lists of integrals

Shell integration

Contents

Definition

Derivation of the formula

Example

See also

References