# 5.7: Hermite Polynomials are either Even or Odd Functions

- Page ID
- 13421

Hermite polynomials were defined by Laplace (1810) though in scarcely recognizable form, and studied in detail by Chebyshev (1859). Chebyshev's work was overlooked and they were named later after Charles Hermite who wrote on the polynomials in 1864 describing them as new. They were consequently not new although in later 1865 papers Hermite was the first to define the multidimensional polynomials. The first six Hermite polynomial are plotted in Figure \(\PageIndex{1}\).

Generating Formula

Any Hermite polynomial \(H_n(x)\) can be generated from a previous one \(H_{n-1}(x)\) via the following using the recurrence relation

\[ H_{n+1} (x)=2xH_n (x)-2nH_{n-1} (x). \label{5.7.2}\]

Hermite polynomials form an orthogonal set of functions for the weight weight function \(e^{-x^2/2}\). The exact relation is:

\[ \int_{-\infty}^{\infty} H_m(x)H_n(x) e^{-x^2/2} dx = 0 \label{1}\]

if \(m \neq n\) and

\[ \int_{-\infty}^{\infty} H_m(x)H_n(x) e^{-x^2/2} dx = 2^n n! \sqrt{\pi} \label{2}\]

if \(m = n\).

This will not be proved, but can the demonstrated using any of the Hermite polynomials listed in the previous section. The orthogonality property becomes important when solving the Harmonic oscillator problems. \(H_n(x)\) are *n*th-degree polynomials for *n* = 0, 1, 2, 3. and are orthogonal, with weight function (\(e^{-x^2}\))

Example \(\PageIndex{1}\): Hermite Polynomials are Orthogonal

Demonstrate that \(H_2(x)\) and \(H_3(x)\) are orthogonal.

**Solution**

We need to confirm

\[\int_{-\infty}^{\infty} (4x^2-2)(8x^3-12x) dx=0 \nonumber\]

because it says I need to show it's orthogonal on \( [ -\infty, \infty ] \) or we can just evaluate it on a finite interval \(

, where \( is a constant.\[ \begin{align*} \int_{L}^{L} (4x^2-2)(8x^3-12x) dx &=\left. 8 \left(\dfrac{2 x^6}{3}-2 x^4+\dfrac{3 x^2}{2}\right)\right|_{-L}^{L} \\[4pt] &= 8 \left(\dfrac{2 L^6}{3}-2 L^4+\frac{3 L^2}{2}\right)-8 \left(\dfrac{2 (-L)^6}{3}-2 (-L)^4+\dfrac{3 (-L)^2}{2}\right) \\[4pt] &=0. \end{align*}\]

### Even/Odd Functions

Let \(f(x)\) be a real-valued function of a real variable.

- Then \(f\) is
**even**if the following equation holds for all x and -x in the domain of f \[f(x) = f(-x)\] - Then \(f\) is
**odd**if the following equation holds for all x and -x in the domain of f \[-f(x) = f(-x)\]

Even and odd are terms used to describe particularly well-behaved functions. An *even* function is symmetric about the y-axis (Figure \(\PageIndex{2}\); left). That is, if we reflect the graph of the function in the \(y\)-axis, then it does not change. Formally, we say that \(f\) is even if, for all \(x\) and \(−x\) in the domain of \(f\), we have

\[f(-x)=f(x)\]

Two examples of even functions are \(f(x)=x^2\) and \(f(x)=\cos x\).

An *odd* function has rotational symmetry of order two about the origin (Figure \(\PageIndex{2}\); middle). That is, if we rotate the graph of the function 180° about the origin, then it does not change. Formally, we say that ff is odd if, for all \(x\) and \(−x\) in the domain of \(f\), we have

\[f(-x)=-f(x)\]

Examples of odd functions are \(f(x)=x^3\) and \(f(x)=\sin x\).

Naturally, not all functions can be classified as even or odd. For example \(f=x^3+1\) shown in the right side of Figure \(\PageIndex{2}\), is neither.

You can also think of these properties as symmetry conditions at the origin. More symmetries in 3D space are discussed in Group Theory.

Without proof, we can identify several key involving multiplication properties of even and odd functions:

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

This can be shown graphically as a product table like that in Table \(\PageIndex{1}\).

Product table |
Odd Function (anti-symmetric) |
Even Function (symmetric) |
No symmetry (neither odd nor even) |
---|---|---|---|

Odd Function (anti-symmetric) |
Even Function (symmetric) | Odd Function (anti-symmetric) | who knows |

Even Function (symmetric) |
Odd Function (anti-symmetric) | Even Function (symmetric) | who knows |

No symmetry (neither odd nor even) |
who knows | who knows | who knows |

Notice that the Hermite polynomials in Figure \(\PageIndex{1}\) oscillate from even to odd. We can take advantage of that aspect in our calculation of Harmonic Oscillator wavefunctions. Hermite Polynomial is an even or odd function depends on its degree \(n\). Based on \[H_n(-x) = (-1)^n H_n(x) \label{5.7.3}\]

- \(H_n(x)\) is an even function, when \(n\) is even.
- \(H_n(x)\) is an odd function, when \(n\) is odd.

## Integration over Odd/Even Functions

You often consider integrals of the form

\[I=\int_{-a}^a f(x)\,\mathrm{d}x\]

If \(f\) is odd or even, then sometimes you can make solving this integral easier. For example, we can rewrite that integral in the following way:

\[\begin{align*} I=\int_{-a}^a f(x)\,\mathrm{d}x &= \int_{-a}^0 f(x)\,\mathrm{d}x + \int_0^a f(x)\,\mathrm{d}x \\ &= \int_0^a f(-x)\,\mathrm{d}x + \int_0^a f(x)\,\mathrm{d}x \end{align*}\]

For an even function, we have \(f(-x)=f(x)\), whence

\[I = 2\int_0^a f(x)\,\mathrm{d}x\]

For an odd function, we have \(f(-x)=-f(x)\), whence

\[I = 2\int_0^a f(x)\,\mathrm{d}x\]

That’s what it means to simplify the integration: the integral of an odd or even function over the interval \([−L,L]\) can be put into a nicer form (and sometimes we can see that it vanishes without ever computing an integral).

Example \(\PageIndex{2}\)

Technically, evaluating the orthogonality of Hermite polynomials requires integrating over the \(\exp(-x^2)\) weight function (Equations \(\ref{1}\) and \(\ref{2}\)).

**Solution**

For the Hermite polynomials \(H_n(x)\), the relevant inner product (using Dirac Notation)

\[ \langle f,g \rangle=\int_{-\infty}^\infty f(x)g(x)\color{red}{\exp(-x^2)}\,\mathrm dx \nonumber\]

While the \(H_2(x)H_3(x)\) product is indeed an odd function (Table \(\PageIndex{1}\)), while \(exp(−x^2)\) is even. Their product is odd, and thus \(\langle f,g \rangle\)

certainly ought to be zero.Symmetry is an important aspect of quantum mechanics and mathematics, especially in calculating integrals. Using this symmetry, integrals can be identified to be equal to zero without explicitly solving them. For example, the integral of an odd integrand over all possible values will **always **be zero irrespective of the exact nature of the function:

\[ \int_{-\infty}^{\infty} f(x) \, dx= 0\]

This simplifies calculations greatly as demonstrated in the following chapters.

## Concluding

Hermite polynomials are a component in the harmonic oscillator wavefunction that dictates the symmetry of the wavefunctions. If your integration interval is symmetric around 0, then the integral over *any* integrable odd function is zero, no exception. Therefore as soon as you've found that your integrand is odd and your integration interval is symmetric, you're done. Also, for general functions, if you can easily split them into even and odd parts, you only have to consider the integral over the even part for symmetric integration intervals.

Another important property is that the product of two even or of two odd functions is even, and the product of an even and an odd function is odd. For example, if ff is even, \(x↦f(x)\sin(x)\) is odd, and therefore the integral over it is zero (provided it is well defined).

## Contributors

- StackExchange: alexwlchan