# Homework Help: Hermite Polynomials

1. Aug 15, 2008

### Domnu

Since the Hermite Polynomials are orthogonal, could one state that they span all polynomials $$f$$ where $$f : R \rightarrow R$$? This would be EXTREMELY useful for the harmonic oscillator potential in quantum mechanics...

2. Aug 15, 2008

### Jimmy Snyder

No. If you think of the two vectors:
(1, 0, 0) and (0, 1, 0)
They are orthogonal to each other, but they don't span.
on the other hand, consider the three vectors:
(1, 0, 0), (1, 1, 0), (1, 1, 1)
They span, but they are not orthogonal to each other.
Therefore, knowing that the Hermite Polynomials are orthogonal is not enough to show that they span. You would need to prove that.

3. Aug 15, 2008

### Avodyne

It doesn't follow from orthogonality alone, but it is nevertheless true.

4. Aug 15, 2008

### Domnu

Fair enough... okay so I guess a better argument would be that the Hermite polynomials are infinite in number and are all orthogonal, so they span all functions?

5. Aug 15, 2008

### Useful nucleus

They are useful to express any function defined on the range on which they are orthogonal.
Other orthogonal polynomials will be useful to express functions on the range on which they are orthogonal (e.g. Legender polynomials on [-1,1].

6. Aug 15, 2008

### morphism

No, that doesn't make any sense.

In what sense are you using the word "span"?

7. Aug 15, 2008

### Domnu

I'm using the word span in the sense that any polynomial of the form

$$f(\xi) = a_n \xi^n + a_{n-1} \xi^{n-1} + a_{n-2} \xi^{n-2} + \cdots + a_1 \xi + a_0$$

can be written as a linear combination of $$H_0, H_1, \cdots, H_n$$. I see I had a typo in my last post... I meant that the Hermite polynomials could span all polynomials (real).

8. Aug 15, 2008

### Jimmy Snyder

No. For instance, the following are mutually orthogonal and infinite in number, but they don't span,
(0,1,0,0,0,...)
(0,0,1,0,0,...)
(0,0,0,1,0,...)
...

9. Aug 15, 2008

### Dick

True. But it's pretty clear the Hermite polynomials span. H_n(x) contains a term containing x^n and none of the preceding H's do. You can formally prove it by induction, but it's actually pretty obvious if you imagine how you would go about expressing a given polynomial in terms of Hermite polynomials.

10. Aug 15, 2008

### Jimmy Snyder

My guess is that Domnu would benefit by doing the induction.