Even and odd functions: Difference between revisions

Revision as of 23:20, 9 April 2025

Latest revision as of 02:01, 5 August 2025

(9 intermediate revisions by 4 users not shown)

Line 11:

If the ___domain of a real function is self-symmetric with respect to the origin, then the function can be uniquely decomposed as the sum of an even function and an odd function.

==Early history==

The concept of even and odd functions appears to date back to the early 18th century, with [[Leonard Euler]] playing a significant role in their formalization. Euler introduced the concepts of even and odd functions (using Latin terms ''pares'' and ''impares'') in his work ''Traiectoriarum Reciprocarum Solutio'' from 1727. Before Euler, however, [[Isaac Newton]] had already developed geometric means of deriving coefficients of power series when writing the ''Principia'' (1687), and included algebraic techniques in an early draft of his ''Quadrature of Curves,'' though he removed it before publication in 1706. It is also noteworthy that Newton didn't explicitly name or focus on the even-odd decomposition, his work with power series would have involved understanding properties related to even and odd powers.

==Definition and examples==

Line 50 ⟶ 54:

*The identity function <math>x \mapsto x,</math>

*<math>x \mapsto x^n</math> for any odd integer <math>n,</math>

*<math>x \mapsto \sqrt[n]{x}</math> for any odd positive integer <math>n,</math>

*[[sine]] <math>\sin,</math>

*[[hyperbolic function|hyperbolic sine]] <math>\sinh,</math>

Line 70 ⟶ 75:

===Multiplication and division===

* The [[multiplication|product]] and [[Division (mathematics)|quotient]] of two even functions is an even function.

** ThatThis implies that the product of any number of even functions is analso even function as well.

** TheThis productimplies ofthat twothe odd[[reciprocal functionsfunction|reciprocal]] isof an even function is also even.

* The product ofand anquotient evenof function and antwo odd functionfunctions is an oddeven function.

* The [[Divisionproduct (mathematics)|quotient]]and both quotients of twoan even functionsfunction and an odd function is an evenodd function.

** TheThis quotientimplies ofthat twothe oddreciprocal functions isof an evenodd function is odd.

* The quotient of an even function and an odd function is an odd function.

===Composition===

Line 83 ⟶ 87:

* 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).

===Inverse function===

* If an odd function is [[inverse function|invertible]], then its inverse is also odd.

==Even–odd decomposition==

Line 119 ⟶ 126:

* The [[derivative]] of an even function is odd.

* The derivative of an odd function is even.

* The [[integral]] ofIf an odd function from −''A'' to +''A'' is zero (where ''A'' is finite and the function has no vertical asymptotes between −''A'' and ''A''). This also implies that the [[Cauchy principal valueintegral|integrable]] of an odd function over thea real[[Interval line is zero. For an odd function that is integrable over a(mathematics)|bounded symmetric interval, e.g.]] <math>[-A,A]</math>, the result of the integral over that interval is zero; that is<ref>{{cite web|url=http://mathworld.wolfram.com/OddFunction.html|title=Odd Function|first=Weisstein, Eric|last=W.|website=mathworld.wolfram.com}}</ref>

*:<math>\int_{-A}^{A} f(x)\,dx = 0</math>.

** This implies that the [[Cauchy principal value]] of an odd function over the entire real line is zero.

* 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

* If an even function is integrable over a bounded symmetric interval <math>[-A,A]</math>, the integral over that interval is twice the integral from 0 to ''A''; that is<ref>{{cite web|url=http://mathworld.wolfram.com/EvenFunction.html|title=Even Function|first=Weisstein, Eric|last=W.|website=mathworld.wolfram.com}}</ref>

*:<math>\int_{-A}^{A} f(x)\,dx = 2\int_{0}^{A} f(x)\,dx</math>.

** This property is also true for the [[improper integral]] when <math>A = \infty</math>, provided the integral from 0 to <math>\infty</math> converges.

===Series===