Even and odd functions
In mathematics, even functions and odd functions are functions which satisfy particular symmetry relations, with respect to taking additive inverses. They are important in many areas of mathematical analysis, especially the theory of power series and Fourier series. They are named for the parity of the powers of the power functions which satisfy each condition: the function is an even function if is an even integer, and it is an odd function if is an odd integer.
Contents
Definition and examplesEdit
Evenness or oddness are generally considered for real functions, that is realvalued functions of a real variable. However, the concepts may be more generally defined for functions whose domain and codomain both have an additive inverse. This includes additive groups, all rings, all fields, and all vector spaces. Thus, for example, a real function, as could a complexvalued function of a vector variable, and so on.
The given examples are real functions, to illustrate the symmetry of their graphs.
Even functionsEdit
Let be a realvalued function of a real variable. Then is even if the following equation holds for all and in the domain of :^{[1]}^{:p. 11}

or equivalently if the following equation holds for all and in the domain of :
Geometrically speaking, the graph face of an even function is symmetric with respect to the yaxis, meaning that its graph remains unchanged after reflection about the yaxis.
Examples of even functions are:
Odd functionsEdit
Again, let be a realvalued function of a real variable. Then is odd if the following equation holds for all and in the domain of :^{[1]}^{:p. 72}

or equivalently if the following equation holds for all and in the domain of :
Geometrically, the graph of an odd function has rotational symmetry with respect to the origin, meaning that its graph remains unchanged after rotation of 180 degrees about the origin.
Examples of odd functions are:
Basic propertiesEdit
UniquenessEdit
 If a function is even and odd, it is equal to 0 everywhere it is defined.
 If a function is odd, the absolute value of that function is an even function.
Addition and subtractionEdit
 The sum of two even functions is even.
 The sum of two odd functions is odd.
 The difference between two odd functions is odd.
 The difference between two even functions is even.
 The sum of an even and odd function is neither even nor odd, unless one of the functions is equal to zero over the given domain.
Multiplication and divisionEdit
 The product of two even functions is an even function.
 The product of two odd functions is an even function.
 The product of an even function and an odd function is an odd function.
 The quotient of two even functions is an even function.
 The quotient of two odd functions is an even function.
 The quotient of an even function and an odd function is an odd function.
CompositionEdit
 The composition of two even functions is even.
 The composition of two odd functions is odd.
 The composition of an even function and an odd function is even.
 The composition of any function with an even function is even (but not vice versa).
Even–odd decompositionEdit
Every function may be uniquely decomposed as the sum of an even and an odd function, which are called respectively the even part and the odd part of the function. In fact, if one defines

and

then is even, is odd, and
Conversely, if
where g is even and h is odd, then and since
For example, the hyperbolic cosine and the hyperbolic sine may be defined as the even and odd parts of the exponential function, as the first one is an even function, the second one is odd, and
 .
Further algebraic propertiesEdit
 Any linear combination of even functions is even, and the even functions form a vector space over the reals. Similarly, any linear combination of odd functions is odd, and the odd functions also form a vector space over the reals. In fact, the vector space of all real functions is the direct sum of the subspaces of even and odd functions. This is a more abstract way for expressing the property of the preceding section.
 The even functions form a commutative algebra over the reals. However, the odd functions do not form an algebra over the reals, as they are not closed under multiplication.
Calculus propertiesEdit
A function's being odd or even does not imply differentiability, or even continuity. For example, the Dirichlet function is even, but is nowhere continuous.
In the following, properties involving derivatives, Fourier series, Taylor series, and so on suppose that these concepts are defined of the functions that are considered.
Basic calculus propertiesEdit
 The derivative of an even function is odd.
 The derivative of an odd function is even.
 The integral of an odd function from −A to +A is zero (where A is finite, and the function has no vertical asymptotes between −A and A). For an odd function that is integrable over a symmetric interval, e.g. the result of the integral over that interval is identically zero; that is^{[2]}
 .
 The integral of an even function from −A to +A is twice the integral from 0 to +A (where A is finite, and the function has no vertical asymptotes between −A and A. This also holds true when A is infinite, but only if the integral converges); that is
 .
SeriesEdit
 The Maclaurin series of an even function includes only even powers.
 The Maclaurin series of an odd function includes only odd powers.
 The Fourier series of a periodic even function includes only cosine terms.
 The Fourier series of a periodic odd function includes only sine terms.
HarmonicsEdit
In signal processing, harmonic distortion occurs when a sine wave signal is sent through a memoryless nonlinear system, that is, a system whose output at time only depends on the input at time and does not depend on the input at any previous times. Such a system is described by a response function . The type of harmonics produced depend on the response function :^{[3]}
 When the response function is even, the resulting signal will consist of only even harmonics of the input sine wave;
 The fundamental is also an odd harmonic, so will not be present.
 A simple example is a fullwave rectifier.
 The component represents the DC offset, due to the onesided nature of evensymmetric transfer functions.
 When it is odd, the resulting signal will consist of only odd harmonics of the input sine wave;
 The output signal will be halfwave symmetric.
 A simple example is clipping in a symmetric pushpull amplifier.
 When it is asymmetric, the resulting signal may contain either even or odd harmonics;
 Simple examples are a halfwave rectifier, and clipping in an asymmetrical classA amplifier.
Note that this does not hold true for more complex waveforms. A sawtooth wave contains both even and odd harmonics, for instance. After evensymmetric fullwave rectification, it becomes a triangle wave, which, other than the DC offset, contains only odd harmonics.
GeneralizationsEdit
Multivariate functionsEdit
Even symmetry:
A function is called even symmetric if:
Odd symmetry:
A function is called odd symmetric if:
Complexvalued functionsEdit
The definitions for even and odd symmetry for complexvalued functions of a real argument are similar to the real case but involve complex conjugation.
Even symmetry:
A complexvalued function of a real argument is called even symmetric if:
Odd symmetry:
A complexvalued function of a real argument is called odd symmetric if:
Finite length sequencesEdit
The definitions of odd and even symmetry are extended to Npoint sequences (i.e. functinos of the form ) as follows:^{[4]}^{:p. 411}
Even symmetry:
A Npoint sequence is called even symmetric if
Such a sequence is often called a palindromic sequence; see also Palindromic polynomial.
Odd symmetry:
A Npoint sequence is called odd symmetric if
Such a sequence is sometimes called an antipalindromic sequence; see also Antipalindromic polynomial.
See alsoEdit
 Hermitian function for a generalization in complex numbers
 Taylor series
 Fourier series
 Holstein–Herring method
 Parity (physics)
NotesEdit
 ^ ^{a} ^{b} Gel'Fand, I.M.; Glagoleva, E.G.; Shnol, E.E. (1990). Functions and Graphs. Birkhäuser. ISBN 0817635327.
 ^ W., Weisstein, Eric. "Odd Function". mathworld.wolfram.com.
 ^ Berners, Dave (October 2005). "Ask the Doctors: Tube vs. SolidState Harmonics". UA WebZine. Universal Audio. Retrieved 20160922.
To summarize, if the function f(x) is odd, a cosine input will produce no even harmonics. If the function f(x) is even, a cosine input will produce no odd harmonics (but may contain a DC component). If the function is neither odd nor even, all harmonics may be present in the output.
 ^ Proakis, John G.; Manolakis, Dimitri G. (1996), Digital Signal Processing: Principles, Algorithms and Applications (3 ed.), Upper Saddle River, NJ: PrenticeHall International, ISBN 9780133942897, sAcfAQAAIAAJ
ReferencesEdit
 Gelfand, I. M.; Glagoleva, E. G.; Shnol, E. E. (2002) [1969], Functions and Graphs, Mineola, N.Y: Dover Publications