Double Integrals in Polar Coordinates
By the end of this session, you will be able to:
- Formulate, sketch, and bound 2-dimensional planar domains using polar coordinates (r,θ), establishing exact boundary limits for polar rectangles (annular sectors a≤r≤b,α≤θ≤β) and general polar regions with angle-dependent radial limits g1(θ)≤r≤g2(θ) and offset circles r=2acosθ.
- Transform double integrals from rectangular (x,y) coordinates to polar (r,θ) coordinates by applying the coordinate transformations x=rcosθ,y=rsinθ,x2+y2=r2, mapping boundary curves, and incorporating the Jacobian determinant area scaling factor dA=rdrdθ.
- Strategically evaluate iterated polar double integrals over radially symmetric domains, leveraging Fubini product separability ∬Rg(r)h(θ)dA=(∫αβh(θ)dθ)(∫abrg(r)dr) for constant boundaries, executing sequential nested integration for non-separable curves (cardioids), and calculating enclosed 3D volumes under surfaces z=f(r,θ) including paraboloids and hemispheres.
📅 Micro-Lecture
1. Radial Geometry & Curvilinear Grids
- Mathematical Foundation: In Cartesian coordinates, planar regions are gridded by orthogonal lines of constant x and constant y. However, when domains exhibit circular, radial, or rotational symmetry, Cartesian boundary equations degenerate into algebraic radicals y=±a2−x2. As established in Double Integrals in Polar Coordinates, transitioning to polar coordinates parameterizes points by radial distance r≥0 and azimuth angle θ∈[0,2π), where x=rcosθ,y=rsinθ, and x2+y2=r2. On this curvilinear grid, circular disks and concentric rings transform into simple constant intervals known as polar rectangles.
- Engineering Context: Mechanical and aerospace engineers utilize polar grids to analyze rotational stress in spinning flywheels, turbine impeller disks, and helicopter rotor hubs, where material boundaries naturally conform to constant radial contours.
2. The Polar Area Element & The Jacobian Scaling Factor
- Mathematical Foundation: When transforming integration coordinates, the differential area element does not map directly (dxdy=drdθ). Because the circumferential arc length of an infinitesimal sector expands proportionally with distance from the origin (s=rθ), a polar grid patch with radial width Δr and angular width Δθ occupies an area ΔA≈rˉΔrΔθ. In the continuous limit, the area element requires the Jacobian scaling factor r, yielding dA=rdrdθ. Omitting this factor r is the single most common failure mode in multivariable integration.
- Engineering Context: Civil and environmental engineers compute volumetric fluid discharge Q=∬vdA in circular stormwater culverts; inserting the Jacobian factor r correctly weights fluid velocity across expanding concentric pipe flow streamlines.
3. Strategic Evaluation & Rotational Volume Enclosures
- Mathematical Foundation: Once transformed, polar integrals frequently exhibit algebraic separability. If the integration boundaries are constants and the integrand factors into g(r)⋅h(θ), Fubini's Theorem permits splitting the double integral into the product of two independent single integrals. When surfaces in three dimensions possess rotational symmetry, such as paraboloids z=c−r2 or hemispheres z=R2−r2, polar double integrals calculate the enclosed spatial volume V=∬Dz(r,θ)rdrdθ with immediate single-variable u-substitution.
- Engineering Context: Optical and structural engineers calculate the storage volume and light-gathering focus of parabolic reflector antennas, astronomical telescope mirrors, and dome pressure hulls using polar volume integration.
Skill Block 1
Describing and Bounding Regions in Polar Coordinates
General Overview
Skill Block 1 covers the geometric and algebraic formulation of integration limits in polar coordinates. Students learn to translate Cartesian boundaries (circles, slanted lines, and offset disks) into polar bounds, distinguish between constant polar rectangles and general polar regions with angle-dependent radial limits, and set up iterated integrals to evaluate planar surface areas.
Conceptual Framework
- Polar Coordinates Mapping:
Every point (x,y)∈R2 is expressed in polar coordinates (r,θ) via:x=rcosθ,y=rsinθ,r2=x2+y2,tanθ=xy(Defined in Double Integrals in Polar Coordinates.) - Polar Rectangles (Annular Sectors):
A region bounded by constant radii a≤r≤b and constant angles α≤θ≤β is a polar rectangle. Its area is:Area(R)=∫αβ∫abrdrdθ=21(b2−a2)(β−α)(Defined in Polar Rectangles and Annular Sectors.) - General Polar Regions:
When radial boundaries vary with angle, limits take the functional form g1(θ)≤r≤g2(θ) for α≤θ≤β. - Offset Circles:
A circle of radius a centered at (a,0) on the x-axis has Cartesian equation (x−a)2+y2=a2⟹x2+y2=2ax. In polar coordinates, this transforms to r=2acosθ over the angular interval −2π≤θ≤2π.
Key Equations & Structural Rules
- Non-Negative Radius Standard: In double integration, the radial coordinate is treated as a non-negative distance: r≥0.
- Counter-Clockwise Angular Sweep: Angular integration bounds must proceed in the direction of increasing angle: α≤θ≤β with β−α≤2π.
- Line Equations through the Origin: A line y=mx passing through the origin corresponds to a ray of constant angle θ=arctan(m).
- Outer Limits Are Strictly Constants: The angular limits α and β must always be constants on the outer integral.
Worked Example A: Bounding an Annular Sector (Concentric Circles & Rays)
Describe the planar region R in polar coordinates that lies in the first quadrant, bounded between the concentric circles x2+y2=4 and x2+y2=16, and between the ray lines y=31x and y=x. Formulate and evaluate the double integral representing its surface area.
💡 Reveal Worked Solution
Determine Radial Bounds:
State the Circle Boundary Equation in Polar Form (defined in Polar Rectangles and Annular Sectors):x2+y2=r2For the inner circle: x2+y2=4⟹rinner=2.
For the outer circle: x2+y2=16⟹router=4.
Thus, the radial limits are:2≤r≤4Determine Angular Bounds:
State the Polar Angle Tangent Formula:tanθ=xyFor the lower bounding line y=31x:tanθ1=31⟹θ1=6πFor the upper bounding line y=x:tanθ2=1⟹θ2=4πThus, the angular sweep is:6π≤θ≤4πFormulate and Evaluate the Area Integral:
State the Polar Area Double Integral:Area(R)=∫θ1θ2∫r1r2rdrdθ=∫6π4π∫24rdrdθEvaluate the inner integral with respect to r:∫24rdr=[2r2]24=216−24=8−2=6Evaluate the outer integral with respect to θ:Area(R)=∫6π4π6dθ=[6θ]6π4π=6(4π−6π)=6(12π)=2π
Worked Example B: Region Bounded by Circle and Slanted Line
Find the polar coordinates formulation and evaluate the area of the region R in the first quadrant that lies inside the circle x2+y2=25 and below the slanted line y=3x.
💡 Reveal Worked Solution
Extract Radial Limits:
The boundary curve x2+y2=25 transforms to r2=25⟹r=5. Since the region begins at the origin, the radial distance sweeps from r=0 out to the circular perimeter:0≤r≤5Extract Angular Limits:
The region is bounded below by the positive x-axis, where θ1=0.
The upper boundary line is y=3x. Apply the Polar Angle Tangent Formula:tanθ=xy=3⟹θ2=3πThus, the angular interval is:0≤θ≤3πEvaluate the Area Integral:
State the Polar Area Double Integral (defined in Double Integrals in Polar Coordinates):Area=∫03π∫05rdrdθEvaluate the inner integral:∫05rdr=[2r2]05=225Evaluate the outer integral:Area=∫03π225dθ=225(3π−0)=625π
Practice Problem 1: Concept & Reading Check
Open this Skill Block on the Memex to locate the information needed to answer the following:
- (a) Explain why an infinitesimal area element ΔA in a polar grid depends on radial distance r, unlike a Cartesian area element ΔxΔy.
- (b) In Worked Example B, deconstruct how the Cartesian equation y=3x was converted into the constant upper angular bound θ=3π.
- (c) In the linked engineering context Mechanical Clutch Plate Contact Zone Friction Torque (Mechanical Engineering), identify why powertrain engineers bound clutch friction pads into discrete annular sectors rather than covering the entire disc face.
Review the derivation of the polar area element dA=rdrdθ in Double Integrals in Polar Coordinates and the tangent angle relation tanθ=y/x.
Answer: * (a) Arc length expands with radius (s=rθ), so sector width grows linearly with r, yielding dA=rdrdθ.
- (b) Substituting y/x=3 into tanθ=y/x yields θ=arctan(3)=3π.
- (c) Annular sectors provide open radial channels for circulating transmission cooling fluid and venting frictional heat.
Step-by-Step Execution
- (a) In Cartesian coordinates, grid lines are parallel, so sub-rectangles maintain constant width Δx and height Δy everywhere. In polar coordinates, radial rays diverge as they move outward from the origin. The arc length along the angular direction is s=rθ, meaning the tangential width of a polar patch is Δs≈rΔθ. Multiplying by the radial increment Δr yields the area ΔA≈rΔrΔθ, introducing the mandatory Jacobian factor r.
- (b) The Cartesian line passes through the origin with slope m=3. Using the fundamental polar transformation equations x=rcosθ and y=rsinθ, dividing gives xy=rcosθrsinθ=tanθ. Setting tanθ=3 on the first quadrant interval [0,2π] produces the unique angle θ=3π rad (60∘).
- (c) As detailed in Mechanical Clutch Plate Contact Zone Friction Torque (Mechanical Engineering), wet-friction clutch plates must dissipate severe thermal energy during gear engagement. Bounding the friction material into discrete annular sectors between r=6 cm and r=10 cm leaves angular channels for transmission oil flow, preventing thermal glazing while maintaining sufficient normal contact area for torque transmission.
Practice Problem 2
Describe the region R in polar coordinates and compute its area: the planar set of points between the concentric circles r=1 and r=3 and between the angles θ=6π and θ=2π.
State the Polar Rectangle Area Formula: Area=∫θ1θ2∫r1r2rdrdθ, defined in Polar Rectangles and Annular Sectors.
Answer:
Step-by-Step Execution
State the Governing Formula:
State the Polar Rectangle Area Formula (defined in Polar Rectangles and Annular Sectors):Area(R)=∫αβ∫abrdrdθSubstitute the given boundaries a=1,b=3,α=6π,β=2π:Area(R)=∫6π2π∫13rdrdθEvaluate the Inner Radial Integral:
∫13rdr=[2r2]13=232−212=29−1=4Evaluate the Outer Angular Integral:
Area(R)=∫6π2π4dθ=[4θ]6π2π=4(2π−6π)=4(63π−π)=4(62π)=34π
Practice Problem 3
Determine the polar coordinate bounds and set up the double integral for the area of the region R lying inside the circle x2+y2≤9 and above the line y=x.
Convert the circle x2+y2=9 to r=3 and find the two angles where the line y=x intersects the circle in Quadrants 1 and 3 using tanθ=1.
Answer:
Step-by-Step Execution
Identify the Radial Boundary:
The boundary circle x2+y2=9 converts via x2+y2=r2 to r2=9⟹r=3. The region extends from the origin out to the perimeter:0≤r≤3Identify the Angular Sweep:
The line y=x satisfies tanθ=1. In the xy-plane, this line extends through the origin at θ=4π (Quadrant 1) and θ=45π (Quadrant 3). The region lying above the line y=x encompasses the upper-left semicircle, sweeping counter-clockwise:4π≤θ≤45πFormulate and Evaluate the Integral:
State the Polar Area Double Integral (defined in Double Integrals in Polar Coordinates):Area=∫4π45π∫03rdrdθEvaluate the inner integral:∫03rdr=[2r2]03=29Evaluate the outer integral:Area=∫4π45π29dθ=29(45π−4π)=29(π)=29π(Note: This represents exactly half of the full circle area 21π(3)2=29π.)
Practice Problem 4
Find the polar coordinate equation and integration bounds for the region enclosed by the offset circle (x−2)2+y2≤4. Formulate the double integral representing its area.
Expand the binomial (x−2)2, apply x2+y2=r2 and x=rcosθ, and determine the range of θ for which r≥0. Reference Polar Rectangles and Annular Sectors.
Answer:
Step-by-Step Execution
Convert Cartesian Boundary to Polar Form:
State the Offset Circle Expansion:(x−2)2+y2=4⟹x2−4x+4+y2=4⟹x2+y2=4xSubstitute the polar identities x2+y2=r2 and x=rcosθ:r2=4rcosθ⟹r=4cosθDetermine Angular and Radial Limits:
Since the radius must be non-negative (r≥0), we require 4cosθ≥0, which restricts θ to Quadrants 1 and 4:−2π≤θ≤2πFor each fixed θ, the radius extends from the origin (r=0) to the circular boundary:0≤r≤4cosθFormulate and Evaluate the Area Integral:
State the General Polar Area Integral (defined in Polar Rectangles and Annular Sectors):Area=∫−2π2π∫04cosθrdrdθEvaluate the inner integral:∫04cosθrdr=[2r2]04cosθ=216cos2θ=8cos2θSubstitute the half-angle identity cos2θ=21+cos(2θ):Area=∫−2π2π8(21+cos(2θ))dθ=4∫−2π2π(1+cos(2θ))dθEvaluate the outer integral:Area=4[θ+2sin(2θ)]−2π2π=4[(2π+0)−(−2π+0)]=4(π)=4π
📅 Regroup 1
- Clarify why boundaries of the form x2+y2=2ax transform into single polar curves r=2acosθ and why their angular sweep is [−π/2,π/2] rather than [0,2π].
- Emphasize the geometric difference between a Cartesian rectangle ΔxΔy and a polar sector rˉΔrΔθ.
Skill Block 2
Converting Rectangular Double Integrals to Polar Form
General Overview
Skill Block 2 focuses on executing the systematic 3-step conversion protocol to transform double integrals from Cartesian coordinates (x,y) into polar coordinates (r,θ). Students learn to recognize algebraic markers for polar conversion (x2+y2, circular radical limits), insert the mandatory Jacobian scaling factor r, and evaluate integrals that are intractable in rectangular form.
Conceptual Framework
- The 3-Step Conversion Protocol:
- Region Mapping: Convert Cartesian bounds into radial sweep g1(θ)≤r≤g2(θ) and angular sweep α≤θ≤β.
- Integrand Transformation: Substitute x=rcosθ,y=rsinθ, and replace x2+y2 with r2.
- Area Element Transformation: Replace dxdy or dydx with rdrdθ. (Defined in Double Integrals in Polar Coordinates.)
- Non-Elementary Antiderivatives Unlocked by Polar Transformation:
Integrals such as ∬e−(x2+y2)dA or ∬1+x2+y2dA have no elementary antiderivative with respect to x or y in Cartesian form. Introducing the Jacobian factor r provides the necessary chain-rule multiplier for algebraic u-substitution (u=r2,du=2rdr). - Semicircular and Quarter-Disk Archetypes:
- Upper semicircle 0≤y≤a2−x2,−a≤x≤a⟹0≤r≤a,0≤θ≤π.
- First-quadrant quarter-disk 0≤y≤a2−x2,0≤x≤a⟹0≤r≤a,0≤θ≤2π.
Key Equations & Structural Rules
- The Jacobian Factor is Mandatory: Never write drdθ without the preceding factor of r. The substitution is strictly dA=rdrdθ.
- Chain-Rule Compatibility: Always verify whether the resulting integrand f(r,θ)⋅r enables standard power rule or u-substitution integration.
Worked Example A: Converting a Non-Elementary Gaussian Radial Integrand
Convert the following Cartesian double integral into polar coordinates and evaluate its exact value:
💡 Reveal Worked Solution
Analyze and Map the Cartesian Boundaries:
The inner limits indicate y ranges from 0 up to y=4−x2. Squaring yields x2+y2=4, which is a circle of radius R=2.
The outer limits indicate x ranges from 0 to 2.
Together, this defines a quarter-disk in the first quadrant. In polar coordinates:0≤r≤2,0≤θ≤2πTransform Integrand and Differential Area Element:
Apply the Polar Transformation Equations (defined in Double Integrals in Polar Coordinates):x2+y2=r2⟹e−(x2+y2)=e−r2dydx=rdrdθAssemble the polar integral:I=∫02π∫02e−r2⋅rdrdθEvaluate the Iterated Integral:
Apply u-substitution for the radial integral: let u=−r2, so du=−2rdr⟹rdr=−21du.
When r=0⟹u=0; when r=2⟹u=−4.
Evaluate the inner integral:∫02e−r2rdr=∫0−4−21eudu=[−21eu]0−4=−21e−4−(−21e0)=21(1−e−4)Evaluate the outer integral:I=∫02π21(1−e−4)dθ=21(1−e−4)[θ]02π=4π(1−e−4)
Worked Example B: Converting a Higher-Degree Polynomial Radical Integrand
Convert the following rectangular double integral into polar coordinates and evaluate it:
💡 Reveal Worked Solution
Determine Polar Domain Limits:
The region is bounded by y=0, y=1−x2, and x∈[0,1], representing the first-quadrant unit disk:0≤r≤1,0≤θ≤2πSubstitute Coordinates and Jacobian:
State the Pythagorean Polar Identity:x2+y2=r2⟹(x2+y2)2=(r2)2=r4Include the Jacobian factor dA=rdrdθ:I=∫02π∫01(r4)⋅rdrdθ=∫02π∫01r5drdθEvaluate via Separability:
Apply Fubini's Separability Theorem (defined in Separability in Polar Integrals):I=(∫02πdθ)(∫01r5dr)=(2π)[6r6]01=(2π)(61)=12π
Practice Problem 5: Concept & Reading Check
Open this Skill Block on the Memex to locate the information needed to answer the following:
- (a) State the algebraic substitution used to convert the Cartesian differential element dydx into polar coordinates, and explain the mathematical purpose of the factor r.
- (b) In Worked Example A, explain why the original Cartesian integral could not be integrated directly with respect to y, and how inserting r enabled analytical integration.
- (c) In the linked engineering application Hydraulic Conduit Laminar Volumetric Flow Rate (Civil & Environmental Engineering), describe how the parabolic flow velocity profile v(x,y)=4(0.25−(x2+y2)) transforms when mapped to polar coordinates.
Reference the Jacobian discussion in Double Integrals in Polar Coordinates and examine the derivative of e−r2.
Answer: * (a) dydx=rdrdθ; the factor r is the Jacobian determinant that scales differential area to account for expanding sector width.
- (b) The function e−(x2+y2) has no elementary antiderivative with respect to y; introducing r provides the derivative required for u-substitution (u=−r2).
- (c) Since x2+y2=r2, the velocity profile becomes purely radial: v(r)=4(0.25−r2)=1−4r2.
Step-by-Step Execution
- (a) The differential area element transforms as dydx=rdrdθ. The factor r is the absolute value of the determinant of the Jacobian matrix ∂(r,θ)∂(x,y). Geometrically, it accounts for the fact that polar grid patches expand in tangential width as the radius increases from the origin (Δs=rΔθ), ensuring conservation of area across coordinate transformations.
- (b) In Cartesian coordinates, the inner integral requires integrating e−y2 with respect to y, which is a non-elementary Gaussian integral with no closed-form algebraic antiderivative. By converting the entire domain into polar coordinates, the integrand becomes e−r2⋅r. The extra factor of r matches the derivative of the exponent (drd(−r2)=−2r), unlocking standard single-variable u-substitution.
- (c) As detailed in Hydraulic Conduit Laminar Volumetric Flow Rate (Civil & Environmental Engineering), fluid flow through a circular pipe is axisymmetric. Substituting x2+y2=r2 collapses the two-variable Cartesian velocity function v(x,y)=4(0.25−(x2+y2)) into the single radial variable function v(r)=1−4r2 m/s, simplifying the volumetric flow rate integral into a straightforward polynomial evaluation.
Practice Problem 6
Convert and evaluate the double integral:
State the Polar Coordinate Substitution Equations: y=rsinθ,dydx=rdrdθ. Identify the upper semicircle limits r∈[0,2],θ∈[0,π].
Answer:
Step-by-Step Execution
Identify the Domain in Polar Coordinates:
The boundary y=4−x2 describes the upper semicircle of radius R=2 centered at the origin, with −2≤x≤2 and y≥0.
In polar coordinates:0≤r≤2,0≤θ≤πTransform Integrand and Differential:
Substitute y=rsinθ and dydx=rdrdθ:I=∫0π∫02(rsinθ)rdrdθ=∫0π∫02r2sinθdrdθEvaluate via Separability:
Apply Fubini's Separability Theorem in Polar Coordinates (defined in Separability in Polar Integrals):I=(∫0πsinθdθ)(∫02r2dr)Evaluate the angular factor:∫0πsinθdθ=[−cosθ]0π=(−cosπ)−(−cos0)=−(−1)−(−1)=2Evaluate the radial factor:∫02r2dr=[3r3]02=38−0=38Multiply:I=2×38=316
Practice Problem 7
Convert the following Cartesian integral into polar coordinates and evaluate its exact closed-form value:
Convert the first-quadrant unit disk to 0≤r≤1,0≤θ≤2π. Use u=1+r2 for the inner radial integral.
Answer:
Step-by-Step Execution
Map Cartesian Limits to Polar Bounds:
The domain 0≤x≤1 and 0≤y≤1−x2 is the first quadrant of the unit disk:0≤r≤1,0≤θ≤2πTransform Integrand and Area Element:
Substitute x2+y2=r2 and dydx=rdrdθ:I=∫02π∫011+r21⋅rdrdθ=∫02π∫011+r2rdrdθEvaluate the Iterated Integral:
Factor the independent integrals:I=(∫02πdθ)(∫011+r2rdr)The angular integral is [θ]02π=2π.
For the radial integral, let u=1+r2⟹du=2rdr⟹rdr=21du.
When r=0⟹u=1; when r=1⟹u=2.∫011+r2rdr=21∫12u1du=21[ln∣u∣]12=21(ln2−ln1)=21ln2Multiply the components:I=(2π)(21ln2)=4πln2
Practice Problem 8
Set up the double integral for the area enclosed by the circle x2+y2=a2 in both Cartesian and polar coordinates. Evaluate the polar setup and contrast the computational complexity of the two methods.
In Cartesian coordinates, the circle bounds require y=±a2−x2, demanding trigonometric substitution x=asinϕ. In polar coordinates, the bounds are constants r∈[0,a],θ∈[0,2π].
Answer:
Step-by-Step Execution
Cartesian Coordinates Formulation:
Solving for y yields y=±a2−x2 with x∈[−a,a]. The Cartesian double integral is:Area=∫−aa∫−a2−x2a2−x2dydx=∫−aa2a2−x2dxEvaluating this integral requires the trigonometric substitution x=asinϕ,dx=acosϕdϕ, followed by the half-angle identity cos2ϕ=21+cos(2ϕ), requiring significant algebraic manipulation.Polar Coordinates Formulation & Evaluation:
State the Polar Area Double Integral:Area=∫02π∫0ardrdθEvaluate using separability:Area=(∫02πdθ)(∫0ardr)=[θ]02π[2r2]0a=(2π)(2a2)=πa2Complexity Comparison:
Polar coordinates align with the rotational symmetry of the circle. The boundary curves become constant limits (r∈[0,a],θ∈[0,2π]), completely eliminating radical expressions and reducing a trigonometric substitution problem to a basic power-rule calculation.
📅 Regroup 2
- Review why dA=rdrdθ and emphasize how the factor r acts as a catalyst for algebraic u-substitution.
- Discuss how to quickly identify when an integral demands polar conversion (e.g., circular limits, x2+y2 terms, or Gaussian exponents).
Skill Block 3
Evaluating Polar Double Integrals, Separability & Enclosed Volumes
General Overview
Skill Block 3 covers advanced evaluation techniques for polar double integrals, emphasizing Fubini's product separability shortcut, handling variable polar boundaries (such as cardioids), and computing the enclosed 3D volume beneath curved surfaces (paraboloids, hemispheres, cones) resting on circular planar footprints.
Conceptual Framework
- Fubini's Product Separability Shortcut:
When an integral is evaluated over a polar rectangle a≤r≤b,α≤θ≤β and the integrand factors into f(r,θ)=g(r)⋅h(θ):∬Rg(r)h(θ)dA=(∫αβh(θ)dθ)×(∫abg(r)⋅rdr)(Defined in Separability in Polar Integrals.) - Non-Separable Variable Boundaries:
When the upper radial boundary depends on angle (e.g., r=g(θ) for cardioids or limaçons), the integral cannot be factored and must be evaluated sequentially from the inside out. - Enclosed 3D Volume Formulation:
The volume of a solid bounded between upper surface ztop(r,θ) and lower surface zbottom(r,θ) over domain D is:V=∬D[ztop(r,θ)−zbottom(r,θ)]rdrdθ(Defined in Volume and Surface Integration in Polar Coordinates.)
Key Equations & Structural Rules
- Separability Preconditions: Both the integration limits must be constant numbers AND the integrand must be multiplicative. If limits contain functions of θ, inner radial substitution produces functions of θ that must be integrated in the outer step.
- Trigonometric Power Reductions: Evaluating angular integrals frequently requires half-angle identities:
cos2θ=21+cos(2θ),sin2θ=21−cos(2θ)
- Full Period Vanishing Property: Over a complete period [0,2π], ∫02πcos(nθ)dθ=0 and ∫02πsin(nθ)dθ=0 for any non-zero integer n.
Worked Example A: Evaluating via Fubini's Separability Shortcut
Evaluate the double integral:
💡 Reveal Worked Solution
Verify Separability Conditions:
- The limits of integration are strictly constants: r∈[0,2] and θ∈[0,π].
- The combined integrand including the Jacobian r is:
(r2sinθ)⋅r=r3sinθThis factors completely into g(r)=r3 and h(θ)=sinθ.
Apply Separability Formulation:
State Fubini's Separability Theorem in Polar Coordinates (defined in Separability in Polar Integrals):I=(∫0πsinθdθ)(∫02r3dr)Evaluate the Independent Integrals:
Evaluate the angular integral:∫0πsinθdθ=[−cosθ]0π=(−cosπ)−(−cos0)=−(−1)−(−1)=2Evaluate the radial integral:∫02r3dr=[4r4]02=416−0=4Multiply the results:I=2×4=8
Worked Example B: Solid Volume Enclosed Under a Paraboloid
Find the volume of the solid enclosed below the paraboloid z=16−x2−y2 and above the xy-plane (z=0).
💡 Reveal Worked Solution
Determine the Base Domain in the xy-Plane:
The solid terminates where the paraboloid meets the xy-plane (z=0):16−x2−y2=0⟹x2+y2=16⟹r2=16⟹r=4The projection of the solid onto the xy-plane is a circular disk of radius 4:0≤r≤4,0≤θ≤2πFormulate the Polar Volume Integral:
State the Double Integral Volume Formula in Polar Coordinates (defined in Volume and Surface Integration in Polar Coordinates):V=∬DzdA=∫02π∫04(16−r2)rdrdθDistribute the Jacobian factor r:V=∫02π∫04(16r−r3)drdθEvaluate via Separability:
Factor into independent single integrals:V=(∫02πdθ)(∫04(16r−r3)dr)Evaluate the radial integral:∫04(16r−r3)dr=[8r2−4r4]04=(8(16)−4256)−0=128−64=64Evaluate the angular integral:∫02πdθ=2πMultiply:V=2π×64=128π
Practice Problem 9: Concept & Reading Check
Open this Skill Block on the Memex to locate the information needed to answer the following:
- (a) State the two specific mathematical conditions required before an iterated double integral in polar coordinates can be evaluated using Fubini's product separability shortcut.
- (b) In Worked Example B, deconstruct how setting z=0 determined both the radial limit r=4 and the angular sweep 0≤θ≤2π.
- (c) In the linked engineering application Variable-Density Flywheel Rotational Inertia (Aerospace & Mechanical Engineering), explain why the moment of inertia integrand scales as r5drdθ and how this benefits satellite attitude control.
Review the separability criteria in Separability in Polar Integrals and examine how mass density and moment arms combine in polar moment of inertia calculations.
Answer: * (a) 1. Constant integration boundaries (polar rectangle); 2. A multiplicative integrand f(r,θ)=g(r)⋅h(θ).
- (b) Setting 16−r2=0 yields the outer circular boundary r=4; because the paraboloid is rotationally symmetric and encloses the origin, the angle sweeps the full circle 2π.
- (c) dIz=r2(ρ)dA=r2(3r2)(rdrdθ)=3r5drdθ; concentrating mass outward maximizes rotational inertia and angular momentum storage per unit mass.
Step-by-Step Execution
- (a) As defined in Separability in Polar Integrals, the product separability shortcut requires:
- Constant Integration Bounds: The region must be a polar rectangle (r∈[a,b] and θ∈[α,β]). If r depends on θ, the inner evaluation produces functions of θ that cannot be factored out of the outer integral.
- Multiplicative Integrand: The function must factor into the product of a purely radial function and a purely angular function (f(r,θ)=g(r)⋅h(θ)). Additive terms require term-by-term splitting or nested evaluation.
- (b) The base of the solid in the xy-plane occurs where the surface height reaches zero (z=0). Setting 16−(x2+y2)=0⟹x2+y2=16⟹r2=16, which defines a circle of radius R=4. Because the solid is an upright circular paraboloid centered on the z-axis with no angular restrictions, it spans the entire circumference 0≤θ≤2π and extends from the central axis r=0 to the outer boundary r=4.
- (c) As detailed in Variable-Density Flywheel Rotational Inertia (Aerospace & Mechanical Engineering), the differential moment of inertia is the product of squared distance from the axis (r2), local area density (ρ(r)=3r2), and the polar area element (dA=rdrdθ), giving r2⋅3r2⋅r=3r5. In satellite design, this steep r5 radial dependence means material placed near the rim contributes dramatically more resistance to angular acceleration (τ=Iα), maximizing stored kinetic energy and stabilization torque while minimizing satellite launch mass.
Practice Problem 10
Find the area of the planar region enclosed by the cardioid curve r=1+cosθ for 0≤θ≤2π.
Because the upper radial bound is a function of θ, evaluate sequentially from the inside out. Use the half-angle identity cos2θ=21+cos(2θ). Reference Separability in Polar Integrals.
Answer:
Step-by-Step Execution
Set Up the Nested Polar Integral:
State the General Polar Area Integral:Area=∫02π∫01+cosθrdrdθBecause the upper limit depends on θ, this integral is non-separable and must be evaluated from the inside out.Evaluate the Inner Radial Integral (dr):
∫01+cosθrdr=[2r2]01+cosθ=21(1+cosθ)2=21(1+2cosθ+cos2θ)Apply the Trigonometric Half-Angle Identity:
Substitute cos2θ=21+cos(2θ):21(1+2cosθ+21+cos(2θ))=21(23+2cosθ+21cos(2θ))Evaluate the Outer Angular Integral (dθ):
Area=21[23θ+2sinθ+41sin(2θ)]02πEvaluate at the boundaries:Area=21[(23(2π)+2sin(2π)+41sin(4π))−0]=21(3π+0+0)=23π
Practice Problem 11
Find the volume of the solid that lies below the hemispherical dome z=9−x2−y2 and above the xy-plane (z=0).
Convert the base disk to polar coordinates 0≤r≤3,0≤θ≤2π. Substitute z=9−r2 and evaluate the radial integral using u=9−r2. Reference Volume and Surface Integration in Polar Coordinates.
Answer:
Step-by-Step Execution
Identify the Base Domain in the xy-Plane:
The hemisphere meets the xy-plane where z=0:9−x2−y2=0⟹x2+y2=9⟹r=3The integration domain D is the full circle of radius 3:0≤r≤3,0≤θ≤2πFormulate the Polar Volume Integral:
State the Double Integral Volume Formula in Polar Coordinates (defined in Volume and Surface Integration in Polar Coordinates):V=∬DzdA=∫02π∫039−r2rdrdθEvaluate via u-Substitution and Separability:
Factor the independent angular integral:V=(∫02πdθ)(∫039−r2rdr)=(2π)∫03(9−r2)1/2rdrFor the radial integral, let u=9−r2⟹du=−2rdr⟹rdr=−21du.
When r=0⟹u=9; when r=3⟹u=0.∫03(9−r2)1/2rdr=∫90−21u1/2du=21∫09u1/2du=21[32u3/2]09=31(93/2−0)=31(27)=9Multiply by the angular factor:V=2π×9=18π(Note: The geometric formula for a hemisphere of radius R=3 confirms: V=32πR3=32π(27)=18π.)
📅 Regroup 3
- Emphasize how the Jacobian factor r naturally provides the exact substitution derivative for radical and exponential rotational surfaces.
- Review why non-constant polar boundaries (like the cardioid r=1+cosθ) require strict inside-out nested integration and trigonometric half-angle reduction.
📅 Synthesis Wrap-up
- Polar double integration transforms cumbersome Cartesian radical boundaries into clean, calculable intervals by exploiting radial and rotational symmetry.
- The Jacobian scaling factor r (dA=rdrdθ) is mathematically essential to account for the diverging area of polar wedges.
- When domains are polar rectangles and integrands are multiplicative, Fubini's product separability shortcut accelerates computation and avoids nested variable carrying.
- Homework assignment: Complete the Knewton Alta assignment Double Integrals in Polar Coordinates, focusing on setting up radial boundaries for offset disks and computing solid volumes between curved quadric surfaces.