Skip to content

Mathematics and Statistics · Ch 6 — Definite Integration

Even and Odd Functions over Symmetric Limits

5

Even and Odd Functions over Symmetric Limits

When the limits of integration are symmetric about 00 — that is, of the form −a-a to aa — the symmetry of the integrand can be exploited to shorten or immediately settle the integral.

Even and odd functions. A function is even if f(−x)=f(x)f(-x) = f(x) for all xx (its graph is symmetric about the yy-axis; e.g. x2x^{2}, x4x^{4}, any constant, x2+1x^2+1). It is odd if f(−x)=−f(x)f(-x) = -f(x) (its graph has half-turn symmetry about the origin; e.g. xx, x3x^{3}, x5x^{5}).

The property (P7).

∫−aaf(x) dx={2∫0af(x) dx,if f is even,0,if f is odd.\int_{-a}^{a} f(x)\,dx = \begin{cases} 2\displaystyle\int_{0}^{a} f(x)\,dx, & \text{if } f \text{ is even}, \\[2mm] 0, & \text{if } f \text{ is odd}. \end{cases}

For an even integrand the two halves of the region (left and right of the yy-axis) are mirror images with equal area, so the whole integral is twice the right half. For an odd integrand the left half is the negative of the right half, so they cancel and the integral is exactly 00.

Method — using symmetry over [−a,a][-a, a]:

  1. Test the integrand: replace xx by −x-x and simplify. If the result equals f(x)f(x) it is even; if it equals −f(x)-f(x) it is odd.
  2. If odd, write down 00 immediately.
  3. If even, evaluate 2∫0af(x) dx2\displaystyle\int_{0}^{a} f(x)\,dx (often easier, since the lower limit is 00).
  4. If the function is neither even nor odd, the property does not apply — evaluate the integral ∫−aa\displaystyle\int_{-a}^{a} directly.

Illustration. ∫−22x3 dx\displaystyle\int_{-2}^{2} x^{3}\,dx: here f(x)=x3f(x)=x^{3} and f(−x)=(−x)3=−x3=−f(x)f(-x) = (-x)^{3} = -x^{3} = -f(x), so ff is odd and the integral is 00 — no antiderivative needed. (Directly: [x4/4]−22=164−164=0\big[x^{4}/4\big]_{-2}^{2} = \tfrac{16}{4} - \tfrac{16}{4} = 0, confirming it.)

Note

Test the Symmetry Before Integrating — and Split Mixed Integrands …

Definition 8Even / odd function

ff is even if f(−x)=f(x)f(-x)=f(x) (symmetric about the yy-axis, e.g. x2x^2); odd if f(−x)=−f(x)f(-x)=-f(x) (symmetric about the origin, e.g. x3x^3). Test by replacing xx with $- …

Definition 9Symmetric-limit property (P7)

∫−aaf(x) dx=2∫0af(x) dx\displaystyle\int_{-a}^{a} f(x)\,dx = 2\int_0^a f(x)\,dx if ff is even, and =0=0 if ff is odd. For a mixed integrand, split into even and odd pa …