Solid of revolution

Last updated
Rotating a curve. The surface formed is a surface of revolution; it encloses a solid of revolution. Rotationskoerper animation.gif
Rotating a curve. The surface formed is a surface of revolution; it encloses a solid of revolution.
Solids of revolution (Matemateca Ime-Usp)

In geometry, a solid of revolution is a solid figure obtained by rotating a plane figure around some straight line (the axis of revolution ), which may not intersect the generatrix (except at its boundary). The surface created by this revolution and which bounds the solid is the surface of revolution .

Contents

Assuming that the curve does not cross the axis, the solid's volume is equal to the length of the circle described by the figure's centroid multiplied by the figure's area (Pappus's second centroid theorem).

A representative disc is a three-dimensional volume element of a solid of revolution. The element is created by rotating a line segment (of length w) around some axis (located r units away), so that a cylindrical volume of πr2w units is enclosed.

Finding the volume

Two common methods for finding the volume of a solid of revolution are the disc method and the shell method of integration. To apply these methods, it is easiest to draw the graph in question; identify the area that is to be revolved about the axis of revolution; determine the volume of either a disc-shaped slice of the solid, with thickness δx, or a cylindrical shell of width δx; and then find the limiting sum of these volumes as δx approaches 0, a value which may be found by evaluating a suitable integral. A more rigorous justification can be given by attempting to evaluate a triple integral in cylindrical coordinates with two different orders of integration.

Disc method

Disc integration about the y-axis Disc integration.svg
Disc integration about the y-axis

The disc method is used when the slice that was drawn is perpendicular to the axis of revolution; i.e. when integrating parallel to the axis of revolution.

The volume of the solid formed by rotating the area between the curves of f(y) and g(y) and the lines y = a and y = b about the y-axis is given by If g(y) = 0 (e.g. revolving an area between the curve and the y-axis), this reduces to:

The method can be visualized by considering a thin horizontal rectangle at y between f(y) on top and g(y) on the bottom, and revolving it about the y-axis; it forms a ring (or disc in the case that g(y) = 0), with outer radius f(y) and inner radius g(y). The area of a ring is π(R2r2), where R is the outer radius (in this case f(y)), and r is the inner radius (in this case g(y)). The volume of each infinitesimal disc is therefore πf(y)2dy. The limit of the Riemann sum of the volumes of the discs between a and b becomes integral (1).

Assuming the applicability of Fubini's theorem and the multivariate change of variables formula, the disk method may be derived in a straightforward manner by (denoting the solid as D):

Shell Method of Integration

Shell integration Shell integration.svg
Shell integration

The shell method (sometimes referred to as the "cylinder method") is used when the slice that was drawn is parallel to the axis of revolution; i.e. when integrating perpendicular to the axis of revolution.

The volume of the solid formed by rotating the area between the curves of f(x) and g(x) and the lines x = a and x = b about the y-axis is given by If g(x) = 0 (e.g. revolving an area between curve and y-axis), this reduces to:

The method can be visualized by considering a thin vertical rectangle at x with height f(x) − g(x), and revolving it about the y-axis; it forms a cylindrical shell. The lateral surface area of a cylinder is rh, where r is the radius (in this case x), and h is the height (in this case f(x) − g(x)). Summing up all of the surface areas along the interval gives the total volume.

This method may be derived with the same triple integral, this time with a different order of integration:

Solid of revolution demonstration
Revolucao de poliedros 01.jpg
The shapes at rest
Revolucao de poliedros 02.jpg
The shapes in motion, showing the solids of revolution formed by each

Parametric form

Mathematics and art: study of a vase as a solid of revolution by Paolo Uccello. 15th century Paolo uccello, studio di vaso in prospettiva 02.jpg
Mathematics and art: study of a vase as a solid of revolution by Paolo Uccello. 15th century

When a curve is defined by its parametric form (x(t),y(t)) in some interval [a,b], the volumes of the solids generated by revolving the curve around the x-axis or the y-axis are given by [1]

Under the same circumstances the areas of the surfaces of the solids generated by revolving the curve around the x-axis or the y-axis are given by [2]

This can also be derived from multivariable integration. If a plane curve is given by then its corresponding surface of revolution when revolved around the x-axis has Cartesian coordinates given by with . Then the surface area is given by the surface integral

Computing the partial derivatives yields and computing the cross product yields where the trigonometric identity was used. With this cross product, we get where the same trigonometric identity was used again. The derivation for a surface obtained by revolving around the y-axis is similar.

Polar form

For a polar curve where and , the volumes of the solids generated by revolving the curve around the x-axis or y-axis are

The areas of the surfaces of the solids generated by revolving the curve around the x-axis or the y-axis are given

See also

Notes

  1. Sharma, A. K. (2005). Application Of Integral Calculus. Discovery Publishing House. p. 168. ISBN   81-7141-967-4.
  2. Singh, Ravish R. (1993). Engineering Mathematics (6th ed.). Tata McGraw-Hill. p. 6.90. ISBN   0-07-014615-2.

Related Research Articles

<span class="mw-page-title-main">Polar coordinate system</span> Coordinates comprising a distance and an angle

In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point is called the pole, and the ray from the pole in the reference direction is the polar axis. The distance from the pole is called the radial coordinate, radial distance or simply radius, and the angle is called the angular coordinate, polar angle, or azimuth. Angles in polar notation are generally expressed in either degrees or radians.

<span class="mw-page-title-main">Spherical coordinate system</span> Coordinates comprising a distance and two angles

In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a given point in space is specified by three real numbers: the radial distancer along the radial line connecting the point to the fixed point of origin; the polar angleθ between the radial line and a given polar axis; and the azimuthal angleφ as the angle of rotation of the radial line around the polar axis. (See graphic re the "physics convention".) Once the radius is fixed, the three coordinates (r, θ, φ), known as a 3-tuple, provide a coordinate system on a sphere, typically called the spherical polar coordinates. The plane passing through the origin and perpendicular to the polar axis (where the polar angle is a right angle) is called the reference plane (sometimes fundamental plane).

<span class="mw-page-title-main">Laplace's equation</span> Second-order partial differential equation

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as or where is the Laplace operator, is the divergence operator, is the gradient operator, and is a twice-differentiable real-valued function. The Laplace operator therefore maps a scalar function to another scalar function.

<span class="mw-page-title-main">Tautochrone curve</span> Curve for which the time to roll to the end is equal for all starting points

A tautochrone curve or isochrone curve is the curve for which the time taken by an object sliding without friction in uniform gravity to its lowest point is independent of its starting point on the curve. The curve is a cycloid, and the time is equal to π times the square root of the radius over the acceleration of gravity. The tautochrone curve is related to the brachistochrone curve, which is also a cycloid.

Unit quaternions, known as versors, provide a convenient mathematical notation for representing spatial orientations and rotations of elements in three dimensional space. Specifically, they encode information about an axis-angle rotation about an arbitrary axis. Rotation and orientation quaternions have applications in computer graphics, computer vision, robotics, navigation, molecular dynamics, flight dynamics, orbital mechanics of satellites, and crystallographic texture analysis.

In mathematics, a Gaussian function, often simply referred to as a Gaussian, is a function of the base form and with parametric extension for arbitrary real constants a, b and non-zero c. It is named after the mathematician Carl Friedrich Gauss. The graph of a Gaussian is a characteristic symmetric "bell curve" shape. The parameter a is the height of the curve's peak, b is the position of the center of the peak, and c controls the width of the "bell".

<span class="mw-page-title-main">Surface of revolution</span> Surface created by rotating a curve about an axis

A surface of revolution is a surface in Euclidean space created by rotating a curve one full revolution around an axis of rotation . The volume bounded by the surface created by this revolution is the solid of revolution.

<span class="mw-page-title-main">Clausen function</span> Transcendental single-variable function

In mathematics, the Clausen function, introduced by Thomas Clausen, is a transcendental, special function of a single variable. It can variously be expressed in the form of a definite integral, a trigonometric series, and various other forms. It is intimately connected with the polylogarithm, inverse tangent integral, polygamma function, Riemann zeta function, Dirichlet eta function, and Dirichlet beta function.

<span class="mw-page-title-main">Pappus's centroid theorem</span> Results on the surface areas and volumes of surfaces and solids of revolution

In mathematics, Pappus's centroid theorem is either of two related theorems dealing with the surface areas and volumes of surfaces and solids of revolution.

<span class="mw-page-title-main">Gaussian integral</span> Integral of the Gaussian function, equal to sqrt(π)

The Gaussian integral, also known as the Euler–Poisson integral, is the integral of the Gaussian function over the entire real line. Named after the German mathematician Carl Friedrich Gauss, the integral is

<span class="mw-page-title-main">Cone</span> Geometric shape

A cone is a three-dimensional geometric shape that tapers smoothly from a flat base to a point called the apex or vertex.

<span class="mw-page-title-main">Dirichlet integral</span> Integral of sin(x)/x from 0 to infinity.

In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real line:

<span class="mw-page-title-main">Etendue</span> Measure of the "spread" of light in an optical system

Etendue or étendue is a property of light in an optical system, which characterizes how "spread out" the light is in area and angle. It corresponds to the beam parameter product (BPP) in Gaussian beam optics. Other names for etendue include acceptance, throughput, light grasp, light-gathering power, optical extent, and the AΩ product. Throughput and AΩ product are especially used in radiometry and radiative transfer where it is related to the view factor. It is a central concept in nonimaging optics.

In classical mechanics, the shell theorem gives gravitational simplifications that can be applied to objects inside or outside a spherically symmetrical body. This theorem has particular application to astronomy.

In calculus, the Leibniz integral rule for differentiation under the integral sign, named after Gottfried Wilhelm Leibniz, states that for an integral of the form where and the integrands are functions dependent on the derivative of this integral is expressible as where the partial derivative indicates that inside the integral, only the variation of with is considered in taking the derivative.

<span class="mw-page-title-main">Multiple integral</span> Generalization of definite integrals to functions of multiple variables

In mathematics (specifically multivariable calculus), a multiple integral is a definite integral of a function of several real variables, for instance, f(x, y) or f(x, y, z).

In complex analysis, Jordan's lemma is a result frequently used in conjunction with the residue theorem to evaluate contour integrals and improper integrals. The lemma is named after the French mathematician Camille Jordan.

In optics, the Fraunhofer diffraction equation is used to model the diffraction of waves when the diffraction pattern is viewed at a long distance from the diffracting object, and also when it is viewed at the focal plane of an imaging lens.

In mathematics, singular integral operators of convolution type are the singular integral operators that arise on Rn and Tn through convolution by distributions; equivalently they are the singular integral operators that commute with translations. The classical examples in harmonic analysis are the harmonic conjugation operator on the circle, the Hilbert transform on the circle and the real line, the Beurling transform in the complex plane and the Riesz transforms in Euclidean space. The continuity of these operators on L2 is evident because the Fourier transform converts them into multiplication operators. Continuity on Lp spaces was first established by Marcel Riesz. The classical techniques include the use of Poisson integrals, interpolation theory and the Hardy–Littlewood maximal function. For more general operators, fundamental new techniques, introduced by Alberto Calderón and Antoni Zygmund in 1952, were developed by a number of authors to give general criteria for continuity on Lp spaces. This article explains the theory for the classical operators and sketches the subsequent general theory.

References