MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hi! I've been using the Christoffel-Darboux identity for the Hermite polynomials, $$\sum_{k=0}^n\frac{H_k(x)H_k(y)}{2^k k!}=\frac{1}{2^n n!}\frac{H_{n+1}(x)H_n(y)-H_n(x)H_{n+1}(y)}{x-y},$$ for some time, and it's been quite helpful. I would like to extend this to a sum of the form $$\sum_{k=0}^n\frac{i^kH_k(x)H_k(y)}{2^k k!}$$ (or if possible an arbitrary phase $e^{ik\theta}$ replacing $i^k$), but I came up empty when looking for references. Can anyone point me in the right direction? or is this a lost cause? Cheers!

EDIT, to provide some motivation: in this paper we explore eigenstates of the position quadrature in a truncated quantum harmonic oscillator number basis. The sum I'm asking about is related to the momentum eigenstates in the truncated space, or equivalently to the Fourier transform of the position eigenstates.

share|cite|improve this question
Does the sum with $i^k$ have a conceptual meaning (the way the original sum gives a reproducing kernel)? You can certainly compute a Hermite expansion for the sum times $x-y$, but unlike the Christoffel-Darboux case you don't end up with just a few terms, and it's not clear that it's really simpler than what you started with. On the other hand, I can't rule out the possibility of a beautiful formula of another sort. – Henry Cohn Jun 24 '12 at 13:49

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.