Even, odd, and periodic functions

The concepts of oddness, evenness, and periodicity are closely related to the Fourier series.

Definition A function that is defined for is called periodic if there is a number such that

p is called a period of . A periodic function has the following properties:

1. If has period , then for all and for all integers .
2. The sum of two functions of period has period .
3. If has period , then does not depend on .

For a function defined on the interval , its periodic extension is

for all integers . This definition does not specify what the periodic extension is at the endpoints . In fact, the function may have jump discontinuities at the endpoints if the the one-sided limits and both exist but not equal.

An even function is a function the satisfy the equation

This mean that the graph is symmetric with respect to the y axis.

An odd function is a function the satisfy the equation

This mean that the graph is symmetric with respect to the origin.

A monomial is an even function if is even and is an odd function if n is odd. The functions cos , cosh , and any function of are even functions. The functions sin , tan , and sinh are odd functions. In fact, the products of functions follow the usual rules: even × even = even, odd × odd = even, odd × even = odd. The sum of two odd functions is again odd, and the sum of two evens is even.

But the sum of an even and an odd function can be anything. Proof: Let be any function at all defined on . Let and . Then we easily check that , that is even and that is odd. The functions and are called the even and odd parts of , respectively. If is any polynomial, its even part is the sum of its even terms, and its odd part is the sum of its odd terms.

Integration and differentiation change the parity (evenness or oddness) of a function. That is, if is even, then both and are odd. If is odd, then its derivative and integral are even.

The graph of an odd function must pass through the origin since follows directly from (4) by putting . The graph of an even function must cross the axis horizontally, , since the derivative is odd (provided the derivative exists).

The concepts of oddness, evenness, and periodicity have the following relationships with the boundary conditions:

1. : Dirichlet BCs corresponding to the odd extension
2. : Nuemann BCs corresponding to the even extension
3. : Periodic BCs corresponding to the periodic extension