Notes on topics in science

## Hermite differential equation – generating functions

Required math: calculus

Required physics: none

Hermite’s differential equation shows up during the solution of the Schrödinger equation for the harmonic oscillator. The differential equation can be written in the form

$\displaystyle \frac{d^{2}f}{dy^{2}}-2y\frac{df}{dy}+(\epsilon-1)f=0$
but an analysis of the series solution of this equation shows that the parameter ${\epsilon}$ has to have the form

$\displaystyle \epsilon=2n+1$
for some integer ${n}$, so we can rewrite the differential equation as

$\displaystyle \frac{d^{2}f}{dy^{2}}-2y\frac{df}{dy}+2nf=0$

We know the solutions of this equation are polynomials in ${y}$, and we got (from the series solution) a recursion formula for the coefficients of the polynomials, but a recursion formula can be difficult to work with, and it turns out that there is another form that can be used to work with these polynomials. This uses the idea of the generating function.

The idea is that we can write a function ${S(y,s)}$, where ${y}$ is the same ${y}$ as in the differential equation, and ${s}$ is a kind of dummy variable that allows us to do calculations (as we’ll see in a moment). Suppose we define this function as follows:

$\displaystyle S(y,s)\equiv e^{-s^{2}+2sy}\ \ \ \ \ (1)$

From the expansion of the exponential in a Taylor series, we can also write this as

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle S(y,s)$ | $\displaystyle =$ | $\displaystyle \sum_{m=0}^{\infty}\frac{(-s^{2}+2sy)^{m}}{m!}$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle \sum_{m=0}^{\infty}\frac{s^{m}(2y-s)^{m}}{m!}$ |

At first (and probably second) glance, this formula seems to have little relation to Hermite polynomials, but let’s write out the first few terms of the series

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle S(y,s)$ | $\displaystyle =$ | $\displaystyle 1+\frac{s(2y-s)}{1!}+\frac{s^{2}(2y-s)^{2}}{2!}+\frac{s^{3}(2y-s)^{3}}{3!}+...$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle 1+2ys+(-1+2y^{2})s^{2}+(-2y+\frac{4}{3}y^{3})s^{3}+...$ |

In the second line, we regrouped the series so that terms with the same power of ${s}$ are grouped together. The ${m^{th}}$ term in the series contains terms involving ${s}$ to the ${m^{th}}$ and higher powers only, so if we want to isolate those terms for a particular power (say the ${n^{th}}$ power) of ${s}$ we need look at only the first ${n}$ terms of the series. What do we get if we look at terms involving each successive power of ${s}$, starting with the zeroth power? As can be seen above, the term involving ${s^{m}}$ is multiplied by a polynomial in ${y}$ and by comparing these polynomials with those obtained by our earlier definition of the Hermite polynomials, we can see that each polynomial here is ${H_{m}(y)/m!}$. That is

$\displaystyle S(y,s)=\sum_{m=0}^{\infty}\frac{H_{m}(y)}{m!}s^{m}\ \ \ \ \ (2)$

Obviously we haven’t proved this in general, but this function may also be taken as the definition of Hermite polynomials, as the other definition that we used earlier can be derived from it, as we’ll see at the end of this post.

The Hermite polynomials can be obtained from this generating function by taking derivatives, as follows. Since the ${j^{th}}$ derivative of ${s^{m}}$ is zero if ${m<j}$, taking this derivative will eliminate all terms with ${m<j.}$ The ${j^{th}}$ derivative of ${s^{j}}$ is the constant ${j!}$. For all higher powers where ${m>j}$, the ${j^{th}}$ derivative will leave a term ${s^{m-j}}$. So if we take the ${j^{th}}$ derivative of ${S(y,s)}$ and then set ${s=0}$ we will isolate the single term involving ${H_{j}(y)}$:

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle \frac{d^{j}S(y,s)}{ds^{j}}\Big|_{s=0}$ | $\displaystyle =$ | $\displaystyle j!\frac{H_{j}(y)}{j!}$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle H_{j}(y)$ |

This is the reason that ${S(y,s)}$ is called a generating function: it provides a relatively simple way of generating all the Hermite polynomials.

Since we started by defining the generating function, we should prove that the polynomials that it generates really are solutions of Hermite’s differential equation. We can do this by taking derivatives of the generating function (but without the step of setting ${s=0}$). We take derivatives of 1 and 2 and then set them equal to each other.

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle \frac{\partial S}{\partial y}$ | $\displaystyle =$ | $\displaystyle 2se^{-s^{2}+2sy}$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle \sum_{m=0}^{\infty}\frac{2s^{m+1}}{m!}H_{m}(y)\mathrm{\: from\;(1)}$ |
| $\displaystyle \frac{\partial S}{\partial y}$ | $\displaystyle =$ | $\displaystyle \sum_{m=0}^{\infty}\frac{1}{m!}\frac{dH_{m}}{dy}s^{m}\:\mathrm{from}\;(2)$ |

Now we use the old trick of requiring these two results to be equal for all values of ${s}$, which implies that the coefficients of each power of ${s}$ must be equal independently. That is

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle \sum_{m=0}^{\infty}\frac{2s^{m+1}}{m!}H_{m}(y)$ | $\displaystyle =$ | $\displaystyle \sum_{m=0}^{\infty}\frac{1}{m!}\frac{dH_{m}}{dy}s^{m}$ |
| $\displaystyle \sum_{m=1}^{\infty}\frac{2s^{m}}{(m-1)!}H_{m-1}(y)$ | $\displaystyle =$ | $\displaystyle \sum_{m=1}^{\infty}\frac{1}{m!}\frac{dH_{m}}{dy}s^{m}$ |

In the second line, we adjusted the summation index on the left so that the power of ${s}$ was ${s^{m}}$. On the right, we dropped the ${m=0}$ term since ${dH_{0}/dy=0}$ anyway (since ${H_{0}=1}$). The two sums are now aligned, so we can say

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle \frac{2}{(m-1)!}H_{m-1}(y)$ | $\displaystyle =$ | $\displaystyle \frac{1}{m!}\frac{dH_{m}}{dy}$ |
| $\displaystyle 2mH_{m-1}$ | $\displaystyle =$ | $\displaystyle H_{m}'$ |

By a similar process we can take the other derivative with respect to ${s}$:

|                                                                             |                                                                             |                                                                             |
|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|-----------------------------------------------------------------------------|
| $\displaystyle \frac{\partial S}{\partial s}$ | $\displaystyle =$ | $\displaystyle (-2s+2y)e^{-s^{2}+2sy}$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle \sum_{m=0}^{\infty}\frac{(-2s+2y)s^{m}}{m!}H_{m}\:\mathrm{from}\;(1)$ |
| $\displaystyle \frac{\partial S}{\partial s}$ | $\displaystyle =$ | $\displaystyle \sum_{m=1}^{\infty}\frac{m}{m!}H_{m}s^{m-1}\:\mathrm{from}\;(2)$ |

We have ignored the ${m=0}$ term in the last line, since the derivative of the first term in the series with respect to ${s}$ is zero. Aligning the powers of ${s}$ gives

|                                                                              |                                                                              |                                                                              |
|------------------------------------------------------------------------------|------------------------------------------------------------------------------|------------------------------------------------------------------------------|
| $\displaystyle -\sum_{m=1}^{\infty}\frac{2s^{m}}{(m-1)!}H_{m-1}+\sum_{m=0}^{\infty}\frac{2ys^{m}}{m!}H_{m}$  | $\displaystyle =$  | $\displaystyle \sum_{m=0}^{\infty}\frac{1}{m!}H_{m+1}s^{m}$ |
| $\displaystyle -2mH_{m-1}+2yH_{m}$ | $\displaystyle =$ | $\displaystyle H_{m+1}$ |

This relation is valid for all ${m}$ even though the ${m=0}$ case is a bit fortuitous. With ${m=0}$ we get ${2yH_{0}=H_{1}}$ which is true, since ${H_{0}=1}$ and ${H_{1}=2y}$.

From these results we can show that the polynomials do in fact solve Hermite’s differential equation. We do this by showing that the results above allow us to reconstruct the equation. From the second result:

|                                                                              |                                                                              |                                                                              |
|------------------------------------------------------------------------------|------------------------------------------------------------------------------|------------------------------------------------------------------------------|
| $\displaystyle H_{m+1}$ | $\displaystyle =$ | $\displaystyle 2yH_{m}-2mH_{n-1}$ |
| $\displaystyle H'_{m+1}$ | $\displaystyle =$ | $\displaystyle 2H_{m}+2yH'_{m}-2mH'_{n-1}$ |

From the first result, ${2mH'_{m-1}=H_{m}''}$, and ${H'_{m+1}=2(m+1)H_{m}}$ so substituting these into the last line above, we get

$\displaystyle H_{m}''-2yH'_{m}+2mH_{m}=0$

which is Hermite’s equation. QED.

One final bit of business is to show that the generating function approach is equivalent to the other definition of Hermite polynomials, that is, that it is equivalent to saying

$\displaystyle H_{n}\equiv(-1)^{n}e^{x^{2}}\frac{d^{n}}{dx^{n}}e^{-x^{2}}$

The generating function 1 can be written as

|                                                                              |                                                                              |                                                                              |
|------------------------------------------------------------------------------|------------------------------------------------------------------------------|------------------------------------------------------------------------------|
| $\displaystyle S(y,s)$ | $\displaystyle \equiv$ | $\displaystyle e^{-s^{2}+2sy}$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle e^{y^{2}-(s-y)^{2}}$ |

so taking the derivative, we get

|                                                                              |                                                                              |                                                                              |
|------------------------------------------------------------------------------|------------------------------------------------------------------------------|------------------------------------------------------------------------------|
| $\displaystyle \frac{\partial^{n}S}{\partial s^{n}}$ | $\displaystyle =$ | $\displaystyle e^{y^{2}}\frac{\partial^{n}}{\partial s^{n}}e^{-(s-y)^{2}}$ |
| $\displaystyle$ | $\displaystyle =$ | $\displaystyle (-1)^{n}e^{y^{2}}\frac{\partial^{n}}{\partial y^{n}}e^{-(s-y)^{2}}$ |

since for any function ${f(s-y)}$, ${\partial f/\partial s=-\partial f/\partial y}$. Setting ${s=0}$, we reclaim the original definition:

$\displaystyle \frac{\partial^{n}S}{\partial s^{n}}\Big|_{s=0}=(-1)^{n}e^{y^{2}}\frac{\partial^{n}}{\partial y^{n}}e^{-y^{2}}$ so the two definitions are equivalent.

### Like this:

By , on Tuesday, 15 February 2011 at 17:17, under Calculus, Mathematics. Tags: generating functions, harmonic oscillator, Hermite differential equation, Hermite polynomials. 2 Comments

### Trackbacks

• By Harmonic oscillator – Hermite polynomials « Physics tutorials on Wednesday, 16 February 2011 at 10:41

[...] the other stationary states, we can show that equation 1 has as its solutions the Hermite polynomials . Furthermore, these polynomials form [...]

• By Hermite polynomials – recursion relations « Physics tutorials on Monday, 23 July 2012 at 15:13

[...] first theorem is that the Hermite polynomials can be obtained from a generating function. We’ve seen generating functions in the context of the Laguerre polynomials, which occur in [...]

Cancel
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 136, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9396477341651917, "perplexity_flag": "head"}