🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Separability in Polar Integrals

Separability in Polar Integrals

Core Definition

If a double integral in polar coordinates is evaluated over a polar rectangle R={(r,θ)∣a≤r≤b, α≤θ≤β}R = \{(r, \theta) \mid a \le r \le b, \, \alpha \le \theta \le \beta\} and its integrand can be factored completely into a single-variable function of rr multiplied by a single-variable function of θ\theta:

f(r,θ)=g(r)⋅h(θ)f(r, \theta) = g(r) \cdot h(\theta)
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)⋅r dr)\iint_R g(r) h(\theta) \, dA = \left( \int_{\alpha}^{\beta} h(\theta) \, d\theta \right) \times \left( \int_{a}^{b} g(r) \cdot r \, dr \right)
(Note: The Jacobian factor rr is always grouped with the radial function g(r)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:

  1. Constant Polar Boundaries (Polar Rectangle): All four limits of integration (r∈[a,b]r \in [a, b] and θ∈[α,β]\theta \in [\alpha, \beta]) must be strictly numeric constants. If the radial bound depends on the angle (e.g., 0≤r≤1+cos⁡θ0 \le r \le 1 + \cos\theta or r≤2sin⁡θr \le 2\sin\theta), the inner variable cannot be isolated from the outer boundary, and the shortcut cannot be used.
  2. Multiplicative Integrand Structure: The function f(r,θ)f(r, \theta) must be a pure product of radial and angular terms. If the integrand contains un-factorable sums (such as r2+sin⁡θr^2 + \sin\theta or r+cos⁡θ\sqrt{r + \cos\theta}), 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⁡θ\sin\theta or cos⁡θ\cos\theta over an entire symmetric period [0,2π][0, 2\pi] or [−π/2,π/2][-\pi/2, \pi/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π∫13r3cos⁡2θ dr dθ\int_{0}^{2\pi} \int_{1}^{3} r^3 \cos^2\theta \, dr \, d\theta Product: (∫02πcos⁡2θ dθ)(∫13r3 dr)\left(\int_0^{2\pi} \cos^2\theta \, d\theta\right) \left(\int_1^3 r^3 \, dr\right)
Additive Integrand ∫0π∫02(r2+sin⁡θ) r dr dθ\int_{0}^{\pi} \int_{0}^{2} (r^2 + \sin\theta) \, r \, dr \, d\theta Must evaluate nested inside-out, or split by linearity into sum of two integrals
Variable Radial Bound ∫02π∫01+cos⁡θr dr dθ\int_{0}^{2\pi} \int_{0}^{1+\cos\theta} r \, dr \, d\theta Strictly sequential: Inner rr-evaluation produces functions of θ\theta that feed the outer integral

Engineering Applications

  • Structural Mechanics: Calculating centroid coordinates (xˉ,yˉ)(\bar{x}, \bar{y}) and second moments of area Ix=∬y2 dA=∬r3sin⁡2θ dr dθI_x = \iint y^2 \, dA = \iint r^3 \sin^2\theta \, dr \, d\theta for symmetric annular circular columns.
  • Aerodynamics & Turbomachinery: Evaluating axisymmetric velocity distributions v(r,θ)=v(r)v(r, \theta) = v(r) over circular rotor disks, where the angular integral trivially reduces to a factor of 2π2\pi.
  • Electromagnetics: Computing electric flux ΦE=∬DE(r)cos⁡θ dA\Phi_E = \iint_D E(r) \cos\theta \, 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⁡θ dAI = \iint_R r^2 \sin\theta \, dA
over the semicircular region R={(r,θ)∣0≤r≤2, 0≤θ≤π}R = \{(r, \theta) \mid 0 \le r \le 2, \, 0 \le \theta \le \pi\}.

Solution

Step 1: Check Separability Conditions

  1. Bounds are constants: r∈[0,2]r \in [0, 2] and θ∈[0,π]\theta \in [0, \pi].
  2. Full integrand with the Jacobian rr:
    f(r,θ)⋅r=(r2sin⁡θ)⋅r=r3sin⁡θf(r, \theta) \cdot r = (r^2 \sin\theta) \cdot r = r^3 \sin\theta
    This is purely multiplicative: g(r)=r3g(r) = r^3 and h(θ)=sin⁡θh(\theta) = \sin\theta.

Step 2: Split into Independent Factors
State Fubini's Separability Theorem in Polar Coordinates:

I=(∫0πsin⁡θ dθ)(∫02r3 dr)I = \left( \int_{0}^{\pi} \sin\theta \, d\theta \right) \left( \int_{0}^{2} r^3 \, dr \right)

Step 3: Evaluate Each Integral Independently
Evaluate the angular integral:

∫0πsin⁡θ dθ=[−cos⁡θ]0π=(−cos⁡π)−(−cos⁡0)=−(−1)−(−1)=1+1=2\int_{0}^{\pi} \sin\theta \, d\theta = [-\cos\theta]_0^\pi = (-\cos\pi) - (-\cos 0) = -(-1) - (-1) = 1 + 1 = 2
Evaluate the radial integral:
∫02r3 dr=[r44]02=164−0=4\int_{0}^{2} r^3 \, dr = \left[ \frac{r^4}{4} \right]_0^2 = \frac{16}{4} - 0 = 4

Step 4: Compute the Final Product

I=2×4=8I = 2 \times 4 = 8

Example 2: Non-Separable Nested Evaluation (Cardioid Enclosed Area)

Find the area of the region enclosed by the cardioid r=1+cos⁡θr = 1 + \cos\theta for 0≤θ≤2π0 \le \theta \le 2\pi.

Solution

Step 1: Formulate the Region Bounds
The upper radial limit depends on θ\theta:

0≤r≤1+cos⁡θ,0≤θ≤2π0 \le r \le 1 + \cos\theta, \quad 0 \le \theta \le 2\pi
Because the upper bound is a function of θ\theta, the integral is non-separable and must be integrated sequentially from the inside out.

Step 2: Set Up and Evaluate the Inner Integral (drdr)
State the General Polar Area Integral:

Area=∫02π∫01+cos⁡θr dr dθ\text{Area} = \int_{0}^{2\pi} \int_{0}^{1+\cos\theta} r \, dr \, d\theta
Evaluate the inner integral with respect to rr:
∫01+cos⁡θr dr=[r22]01+cos⁡θ=12(1+cos⁡θ)2\int_{0}^{1+\cos\theta} r \, dr = \left[ \frac{r^2}{2} \right]_{0}^{1+\cos\theta} = \frac{1}{2}(1 + \cos\theta)^2

Step 3: Expand and Apply Half-Angle Identity
Expand the integrand:

12(1+2cos⁡θ+cos⁡2θ)\frac{1}{2}(1 + 2\cos\theta + \cos^2\theta)
Substitute the half-angle identity cos⁡2θ=1+cos⁡(2θ)2\cos^2\theta = \frac{1 + \cos(2\theta)}{2}:
=12(1+2cos⁡θ+12+12cos⁡(2θ))=12(32+2cos⁡θ+12cos⁡(2θ))= \frac{1}{2}\left(1 + 2\cos\theta + \frac{1}{2} + \frac{1}{2}\cos(2\theta)\right) = \frac{1}{2}\left(\frac{3}{2} + 2\cos\theta + \frac{1}{2}\cos(2\theta)\right)

Step 4: Evaluate the Outer Integral (dθd\theta)

Area=12[32θ+2sin⁡θ+14sin⁡(2θ)]02π\text{Area} = \frac{1}{2} \left[ \frac{3}{2}\theta + 2\sin\theta + \frac{1}{4}\sin(2\theta) \right]_{0}^{2\pi}
Evaluate at the boundaries:
Area=12[(32(2π)+2sin⁡(2π)+14sin⁡(4π))−0]=12(3π+0+0)=3π2\text{Area} = \frac{1}{2} \left[ \left(\frac{3}{2}(2\pi) + 2\sin(2\pi) + \frac{1}{4}\sin(4\pi)\right) - 0 \right] = \frac{1}{2}(3\pi + 0 + 0) = \frac{3\pi}{2}

Connections & References