If a double integral in polar coordinates is evaluated over a polar rectangleR={(r,θ)∣a≤r≤b,α≤θ≤β} and its integrand can be factored completely into a single-variable function of r multiplied by a single-variable function of θ:
f(r,θ)=g(r)⋅h(θ)
then by Fubini's Theorem, the double integral factors into the direct algebraic product of two independent single-variable definite integrals:
∬Rg(r)h(θ)dA=(∫αβh(θ)dθ)×(∫abg(r)⋅rdr)
(Note: The Jacobian factor r is always grouped with the radial function g(r)).
Concept Explanation
1. The Two Non-Negotiable Conditions for Separability
To apply the product separability shortcut, both of the following criteria must hold simultaneously:
Constant Polar Boundaries (Polar Rectangle): All four limits of integration (r∈[a,b] and θ∈[α,β]) must be strictly numeric constants. If the radial bound depends on the angle (e.g., 0≤r≤1+cosθ or r≤2sinθ), the inner variable cannot be isolated from the outer boundary, and the shortcut cannot be used.
Multiplicative Integrand Structure: The function f(r,θ) must be a pure product of radial and angular terms. If the integrand contains un-factorable sums (such as r2+sinθ or r+cosθ), the integral must be evaluated sequentially from the inside out using nested integration.
2. Efficiency Advantage in Multivariable Engineering
Evaluating nested iterated integrals requires carrying outer variables as constants through antiderivative substitutions, which increases algebraic manipulation and the risk of sign errors.
When separability applies, the two single-variable integrals can be evaluated simultaneously and in parallel. Furthermore, if either independent factor evaluates to zero (for instance, integrating sinθ or cosθ over an entire symmetric period [0,2π] or [−π/2,π/2]), the entire double integral immediately vanishes to zero without requiring computation of the radial component.
3. Contrast: Separable vs. Non-Separable Cases
Case
Formulation
Valid Method
Separable
∫02π∫13r3cos2θdrdθ
Product: (∫02πcos2θdθ)(∫13r3dr)
Additive Integrand
∫0π∫02(r2+sinθ)rdrdθ
Must evaluate nested inside-out, or split by linearity into sum of two integrals
Variable Radial Bound
∫02π∫01+cosθrdrdθ
Strictly sequential: Inner r-evaluation produces functions of θ that feed the outer integral
Engineering Applications
Structural Mechanics: Calculating centroid coordinates (xˉ,yˉ) and second moments of area Ix=∬y2dA=∬r3sin2θdrdθ for symmetric annular circular columns.
Aerodynamics & Turbomachinery: Evaluating axisymmetric velocity distributions v(r,θ)=v(r) over circular rotor disks, where the angular integral trivially reduces to a factor of 2π.
Electromagnetics: Computing electric flux ΦE=∬DE(r)cosθdA across aperture antennas and microwave waveguide cross-sections.
Example Problems
Example 1: Evaluating via the Product Separability Shortcut
Evaluate the double integral:
I=∬Rr2sinθdA
over the semicircular region R={(r,θ)∣0≤r≤2,0≤θ≤π}.
Solution
Step 1: Check Separability Conditions
Bounds are constants: r∈[0,2] and θ∈[0,π].
Full integrand with the Jacobian r:
f(r,θ)⋅r=(r2sinθ)⋅r=r3sinθ
This is purely multiplicative: g(r)=r3 and h(θ)=sinθ.
Step 2: Split into Independent Factors State Fubini's Separability Theorem in Polar Coordinates:
I=(∫0πsinθdθ)(∫02r3dr)
Step 3: Evaluate Each Integral Independently Evaluate the angular integral: