**Symmetry and integration:**

Consider a one-dimensional definite integral of a real function: .

Now, let us make a simple transformation: reflection about the *y* axis. This may be done by means of the substitution . Then , the limits become –*a* and –*b*, and we get .

If *b*>*a*, then –*a*>-*b*, and we should reverse the limits of integration in the transformed coordinates:

(eq 1).

Now, let us consider the case of a symmetric interval about the origin, say (-*a*,*a*). Then we have

(eq. 2).

Now suppose *f*(*x*) is an odd function: . Then

Thus the integral is equal to it’s opposite, and must then be zero; any odd function integrated about an interval symetric about the origin is zero.

[Note that for an even function , equation two is trivially true.]

Here, however we can make an important point: any function whose domain is symmetric about the origin can be considered the sum of an odd function and an even function: . It can be shown rather simply that these functions are given by

and

This means that for *f*(*x*),

and only the even component contributes to the integral if the limits are symmetric. If the integrand can be easily broken into odd and even terms, then this can be used to simplify some integrals. For example, if , then is the only even term (all others are odd), and:

Or consider .

We use the sum identity

; the first term is even in x, the second odd; thus the integral becomes:

Now let us again consider equation 1, but with lower limit 0 and upper limit *a*>0. Then it becomes .

Now, let us consider when *f* is an even function: then we have

. Thus:

(eq. 3)

when *f* is even.

Combining with our earlier result, we thus have for any function *f*(*x*) whose domain is symmetric about *x*=0,

, where is the even component of *f*(*x*).

This result is useful in the early stages of solving the definite integral from Friday’s physics problem. There we had:

The denominator is even in both *x* and *y*, and thus we break the numerator into odd and even components as in the second example, and apply our result to the *x* integral to get

and as the integrand is even in *y*, we can use equation 3 to get:

From there, we can reverse the order of double integration (integrate first in *y*, then in *x*), split the integral into two integrals by the two terms in the numerator, and integrate in *y* using a table of integrals with treated as a constant: one can find an integral of the form , which can be used to integrate both

and

with respect to *y*

Tags: integrals, Math, Monday Math, symmetry

July 28, 2008 at 2:42 am |

[…] of the Fourier transform, we have: . Plugging in f=0, and using Λ(0)=1, . The sinc function is even, so we have Using the subsistution x=πt, we have […]

October 30, 2009 at 1:22 am |

[…] substitution , we get . (the last step is due to symmetry, as the integrand is an even function; see here.) Now, by consulting a table of integrals (or via trigonometric substitution), we find that , and […]