◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Double Integrals in Polar Coordinates

Formulas & Definitions
Core Definition

A double integral in polar coordinates transforms a planar integration domain from Cartesian coordinates (x,y)(x, y)(x,y) to polar coordinates (r,θ)(r, \theta)(r,θ) through the coordinate mapping:

x=rcos⁡θ,y=rsin⁡θ,x2+y2=r2x = r \cos \theta, \quad y = r \sin \theta, \quad x^2 + y^2 = r^2x=rcosθ,y=rsinθ,x2+y2=r2
For a continuous function f(x,y)f(x, y)f(x,y) defined over a region RRR described in polar coordinates by α≤θ≤β\alpha \le \theta \le \betaα≤θ≤β and g1(θ)≤r≤g2(θ)g_1(\theta) \le r \le g_2(\theta)g1​(θ)≤r≤g2​(θ), the double integral is evaluated as:
∬Rf(x,y) dA=∫αβ∫g1(θ)g2(θ)f(rcos⁡θ,rsin⁡θ) r dr dθ\iint_R f(x, y) \, dA = \int_{\alpha}^{\beta} \int_{g_1(\theta)}^{g_2(\theta)} f(r\cos\theta, r\sin\theta) \, r \, dr \, d\theta∬R​f(x,y)dA=∫αβ​∫g1​(θ)g2​(θ)​f(rcosθ,rsinθ)rdrdθ
where the extra factor of rrr is the Jacobian scaling factor required by the geometry of the polar area element:
dA=r dr dθdA = r \, dr \, d\thetadA=rdrdθ

Concept Explanation

1. Why Transform to Polar Coordinates?

When evaluating double integrals in Cartesian coordinates, regions with circular, radial, or angular symmetry (such as disks, concentric rings, cylinders, and pie-shaped wedges) lead to cumbersome radical boundary curves of the form y=±a2−x2y = \pm\sqrt{a^2 - x^2}y=±a2−x2​. Integrating over these boundaries often demands tedious trigonometric substitutions and half-angle identities.

Furthermore, integrands containing radial combinations such as x2+y2\sqrt{x^2 + y^2}x2+y2​, (x2+y2)n(x^2 + y^2)^n(x2+y2)n, or e−(x2+y2)e^{-(x^2 + y^2)}e−(x2+y2) frequently lack elementary antiderivatives with respect to xxx or yyy individually. Transforming to polar coordinates aligns the coordinate grid with the natural symmetry of the domain, converting variable radical boundaries into constant limits and introducing the radial factor rrr which serves as a natural chain-rule multiplier for algebraic substitution.

2. The Polar Area Differential Element & The Jacobian Factor

In rectangular coordinates, an infinitesimal area element is a simple rectangle with area ΔA=Δx Δy\Delta A = \Delta x \, \Delta yΔA=ΔxΔy.

In polar coordinates, an infinitesimal sub-region ΔR\Delta RΔR is bounded by two concentric circles of radii rir_iri​ and ri+Δrr_i + \Delta rri​+Δr and two radial rays at angles θj\theta_jθj​ and θj+Δθ\theta_j + \Delta \thetaθj​+Δθ. This shape is a polar wedge (an annular sector):

  • The radial length of the wedge is Δr=ri−ri−1\Delta r = r_i - r_{i-1}Δr=ri​−ri−1​.
  • The inner arc length is riΔθr_i \Delta \thetari​Δθ, and the outer arc length is (ri+Δr)Δθ(r_i + \Delta r) \Delta \theta(ri​+Δr)Δθ.
  • The average radius is rˉi=ri+ri−12=ri−1+12Δr\bar{r}_i = \frac{r_i + r_{i-1}}{2} = r_{i-1} + \frac{1}{2}\Delta rrˉi​=2ri​+ri−1​​=ri−1​+21​Δr.

The exact area of this sector is:

ΔAi=12(ri)2Δθ−12(ri−1)2Δθ=12(ri+ri−1)(ri−ri−1)Δθ=rˉi Δr Δθ\Delta A_i = \frac{1}{2} (r_i)^2 \Delta \theta - \frac{1}{2} (r_{i-1})^2 \Delta \theta = \frac{1}{2} (r_i + r_{i-1})(r_i - r_{i-1}) \Delta \theta = \bar{r}_i \, \Delta r \, \Delta \thetaΔAi​=21​(ri​)2Δθ−21​(ri−1​)2Δθ=21​(ri​+ri−1​)(ri​−ri−1​)Δθ=rˉi​ΔrΔθ

Taking the limit as Δr→0\Delta r \to 0Δr→0 and Δθ→0\Delta \theta \to 0Δθ→0, the polar area differential becomes:

dA=r dr dθdA = r \, dr \, d\thetadA=rdrdθ

In multivariable calculus and general transformations, this factor rrr is the absolute value of the determinant of the Jacobian matrix J(r,θ)J(r, \theta)J(r,θ):

J(r,θ)=∂(x,y)∂(r,θ)=∣∂x∂r∂x∂θ∂y∂r∂y∂θ∣=∣cos⁡θ−rsin⁡θsin⁡θrcos⁡θ∣=rcos⁡2θ−(−rsin⁡2θ)=r(cos⁡2θ+sin⁡2θ)=rJ(r, \theta) = \frac{\partial(x, y)}{\partial(r, \theta)} = \begin{vmatrix} \frac{\partial x}{\partial r} & \frac{\partial x}{\partial \theta} \\ \frac{\partial y}{\partial r} & \frac{\partial y}{\partial \theta} \end{vmatrix} = \begin{vmatrix} \cos\theta & -r\sin\theta \\ \sin\theta & r\cos\theta \end{vmatrix} = r\cos^2\theta - (-r\sin^2\theta) = r(\cos^2\theta + \sin^2\theta) = rJ(r,θ)=∂(r,θ)∂(x,y)​=​∂r∂x​∂r∂y​​∂θ∂x​∂θ∂y​​​=​cosθsinθ​−rsinθrcosθ​​=rcos2θ−(−rsin2θ)=r(cos2θ+sin2θ)=r

3. The 3-Step Conversion Protocol

To convert any Cartesian double integral ∬Df(x,y) dA\iint_D f(x, y) \, dA∬D​f(x,y)dA into polar form:

  1. Map the Region Boundaries: Sketch the domain DDD in the xyxyxy-plane and express the boundaries in polar parameters:
    • Identify the angular sweep α≤θ≤β\alpha \le \theta \le \betaα≤θ≤β.
    • For any radial ray extending from the origin at angle θ\thetaθ, identify the entry radius r=g1(θ)r = g_1(\theta)r=g1​(θ) and exit radius r=g2(θ)r = g_2(\theta)r=g2​(θ).
  2. Transform the Integrand: Substitute all independent variables:
    • x=rcos⁡θx = r \cos \thetax=rcosθ
    • y=rsin⁡θy = r \sin \thetay=rsinθ
    • Replace x2+y2x^2 + y^2x2+y2 with r2r^2r2 wherever it occurs.
  3. Insert the Jacobian Differential: Replace dx dydx \, dydxdy (or dy dxdy \, dxdydx) with r dr dθr \, dr \, d\thetardrdθ.

Engineering Applications

  • Mechanical & Aerospace Engineering: Calculating mass moments of inertia Iz=∬Dr2 ρ(r,θ) dAI_z = \iint_D r^2 \, \rho(r, \theta) \, dAIz​=∬D​r2ρ(r,θ)dA for spinning turbines, satellite reaction flywheels, and circular brake rotors.
  • Civil & Fluids Engineering: Determining volumetric flow discharge Q=∬Dv(r) dAQ = \iint_D v(r) \, dAQ=∬D​v(r)dA for viscous fluids moving through cylindrical pipes and circular storm culverts.
  • Electrical & RF Engineering: Modeling radar detection sweeps, circular phased-array antenna radiation patterns, and electric field flux across circular capacitor plates.
  • Structural Engineering: Calculating polar moments of inertia J=∬D(x2+y2) dA=∬Dr3 dr dθJ = \iint_D (x^2 + y^2) \, dA = \iint_D r^3 \, dr \, d\thetaJ=∬D​(x2+y2)dA=∬D​r3drdθ to determine torsional shear stress distributions in solid and hollow cylindrical shafts.

Example Problems

Example 1: Converting a Non-Elementary Gaussian Integral

Evaluate the double integral:

I=∫02∫04−x2e−(x2+y2) dy dxI = \int_{0}^{2} \int_{0}^{\sqrt{4 - x^2}} e^{-(x^2 + y^2)} \, dy \, dxI=∫02​∫04−x2​​e−(x2+y2)dydx

Solution

Step 1: Map the Cartesian Domain to Polar Coordinates
Formulate the boundary inequalities from the Cartesian limits:

0≤x≤2,0≤y≤4−x20 \le x \le 2, \quad 0 \le y \le \sqrt{4 - x^2}0≤x≤2,0≤y≤4−x2​
The equation y=4−x2y = \sqrt{4 - x^2}y=4−x2​ represents the upper half of the circle x2+y2=4x^2 + y^2 = 4x2+y2=4 of radius R=2R = 2R=2. Because xxx ranges from 000 to 222 and y≥0y \ge 0y≥0, the domain DDD is the quarter-disk located entirely in the first quadrant. In polar coordinates, the region is a polar rectangle:
0≤r≤2,0≤θ≤π20 \le r \le 2, \quad 0 \le \theta \le \frac{\pi}{2}0≤r≤2,0≤θ≤2π​

Step 2: Transform Integrand and Differential
State the Polar Coordinate Transformation Law:

x2+y2=r2,dy dx=r dr dθx^2 + y^2 = r^2, \quad dy \, dx = r \, dr \, d\thetax2+y2=r2,dydx=rdrdθ
Substitute these relations into the integral:
I=∫0π2∫02e−r2 r dr dθI = \int_{0}^{\frac{\pi}{2}} \int_{0}^{2} e^{-r^2} \, r \, dr \, d\thetaI=∫02π​​∫02​e−r2rdrdθ

Step 3: Evaluate via Substitution
Let u=−r2u = -r^2u=−r2, so du=−2r dr  ⟹  r dr=−12dudu = -2r \, dr \implies r \, dr = -\frac{1}{2} dudu=−2rdr⟹rdr=−21​du. When r=0r = 0r=0, u=0u = 0u=0; when r=2r = 2r=2, u=−4u = -4u=−4. Evaluate the inner rrr-integral:

∫02e−r2r dr=∫0−4−12eu du=[−12eu]0−4=−12e−4−(−12e0)=12(1−e−4)\int_{0}^{2} e^{-r^2} r \, dr = \int_{0}^{-4} -\frac{1}{2} e^u \, du = \left[ -\frac{1}{2} e^u \right]_{0}^{-4} = -\frac{1}{2} e^{-4} - \left(-\frac{1}{2} e^0\right) = \frac{1}{2}\left(1 - e^{-4}\right)∫02​e−r2rdr=∫0−4​−21​eudu=[−21​eu]0−4​=−21​e−4−(−21​e0)=21​(1−e−4)

Evaluate the outer θ\thetaθ-integral:

I=∫0π212(1−e−4)dθ=12(1−e−4)[θ]0π2=π4(1−e−4)I = \int_{0}^{\frac{\pi}{2}} \frac{1}{2}\left(1 - e^{-4}\right) d\theta = \frac{1}{2}\left(1 - e^{-4}\right) [\theta]_0^{\frac{\pi}{2}} = \frac{\pi}{4}\left(1 - e^{-4}\right)I=∫02π​​21​(1−e−4)dθ=21​(1−e−4)[θ]02π​​=4π​(1−e−4)

Example 2: Semicircular Coordinate Transformation

Evaluate the integral:

I=∫−33∫09−x2y dy dxI = \int_{-3}^{3} \int_{0}^{\sqrt{9 - x^2}} y \, dy \, dxI=∫−33​∫09−x2​​ydydx

Solution

Step 1: Map the Boundary to Polar Limits
The upper limit y=9−x2y = \sqrt{9 - x^2}y=9−x2​ defines the circle x2+y2=9x^2 + y^2 = 9x2+y2=9 of radius R=3R = 3R=3. The bounds −3≤x≤3-3 \le x \le 3−3≤x≤3 and 0≤y≤9−x20 \le y \le \sqrt{9 - x^2}0≤y≤9−x2​ describe the entire upper semicircle. In polar coordinates:

0≤r≤3,0≤θ≤π0 \le r \le 3, \quad 0 \le \theta \le \pi0≤r≤3,0≤θ≤π

Step 2: Substitute Polar Equations
Substitute y=rsin⁡θy = r \sin \thetay=rsinθ and dA=r dr dθdA = r \, dr \, d\thetadA=rdrdθ:

I=∫0π∫03(rsin⁡θ) r dr dθ=∫0π∫03r2sin⁡θ dr dθI = \int_{0}^{\pi} \int_{0}^{3} (r \sin \theta) \, r \, dr \, d\theta = \int_{0}^{\pi} \int_{0}^{3} r^2 \sin \theta \, dr \, d\thetaI=∫0π​∫03​(rsinθ)rdrdθ=∫0π​∫03​r2sinθdrdθ

Step 3: Evaluate the Iterated Integral
Apply Fubini's Product Separability Rule (defined in Separability in Polar Integrals):

I=(∫0πsin⁡θ dθ)(∫03r2 dr)I = \left( \int_{0}^{\pi} \sin \theta \, d\theta \right) \left( \int_{0}^{3} r^2 \, dr \right)I=(∫0π​sinθdθ)(∫03​r2dr)
Evaluate the angular integral:
∫0πsin⁡θ dθ=[−cos⁡θ]0π=(−cos⁡π)−(−cos⁡0)=−(−1)−(−1)=2\int_{0}^{\pi} \sin \theta \, d\theta = [-\cos \theta]_{0}^{\pi} = (-\cos \pi) - (-\cos 0) = -(-1) - (-1) = 2∫0π​sinθdθ=[−cosθ]0π​=(−cosπ)−(−cos0)=−(−1)−(−1)=2
Evaluate the radial integral:
∫03r2 dr=[r33]03=273=9\int_{0}^{3} r^2 \, dr = \left[ \frac{r^3}{3} \right]_{0}^{3} = \frac{27}{3} = 9∫03​r2dr=[3r3​]03​=327​=9
Multiply the results:
I=2×9=18I = 2 \times 9 = 18I=2×9=18

Connections & References

  • Parent Concepts: Multiple Integrals, Double Integrals over a General Region
  • Sub-Concepts & Techniques: Polar Rectangles and Annular Sectors, Separability in Polar Integrals, Volume and Surface Integration in Polar Coordinates
  • Course Sessions: Session 15 - Double Integrals in Polar Coordinates