0
$\begingroup$

In the treatment of the quantum harmonic oscillator appear integrals like \begin{equation*} \int_{-\infty}^{+\infty} \mathrm d \zeta \; e^{-\zeta^2} H_{n}(\zeta+\zeta_1) H_{m}(\zeta+\zeta_2) \end{equation*} where $H_n$ is the $n$-th Hermite function. The expression above is equal to $\sqrt{\pi}(2^{n} n!)L_{n}(-2\zeta_1\zeta_2)$ for $n=m$, $L_n$ being the $n$-th Laguerre polynomial. Is there an analogue result for $n\neq m$? I am in particularly interested in the cases $m=n\pm 1$.

$\endgroup$
5
  • 1
    $\begingroup$ Are you sure you are not seeking Groenewold's off-diagonal Wigner functions, namely eqn 99 here? $\endgroup$ Commented Nov 30, 2019 at 22:03
  • 1
    $\begingroup$ Groenewold 5.16. Note he slips and calls Laguerres Legendres (!). $\endgroup$ Commented Nov 30, 2019 at 22:06
  • 1
    $\begingroup$ What is that $l$ subscript doing on the $n$ subscript on the $L$? $\endgroup$
    – G. Smith
    Commented Dec 1, 2019 at 0:53
  • 2
    $\begingroup$ It is often easier to perform the integrals of this kind on the generating functions of the polynomials and then extract the result you are looking for from the result of the integral. Just remember to give the two generating functions different generating parameters. $\endgroup$ Commented Dec 1, 2019 at 4:45
  • $\begingroup$ Sorry, thesubscript $l$ was a typo from my side $\endgroup$
    – Graz
    Commented Dec 1, 2019 at 9:18

2 Answers 2

1
$\begingroup$

By experimenting in Mathematica I found that

$$\int_{-\infty}^\infty d\zeta e^{-\zeta^2}H_n(\zeta+\zeta_1)H_{n-1}(\zeta+\zeta_2)= \sqrt{\pi}2^n(n-1)!\zeta_1L_{n-1}^1(-2\zeta_1\zeta_2)$$

holds for $n=1,...,6$ so I conjecture that it holds for higher values of $n$ as well. I didn't try to prove it. It seemed reasonable to guess that if Laguerre polynomials were involved for $n=m$, associated Laguerre polynomials might be involved for $n\ne m$.

$\endgroup$
1
$\begingroup$

I found in the work of Groenwold, 1946, a closed form for the solution of \begin{equation} k_{mn}(\zeta_1,\zeta_2)=\frac{1}{\sqrt{\pi 2^{m+n} m!n!}}\int_{\mathbb R} \mathrm d \zeta \; e^{-\zeta^2} H_{m}(\zeta+\zeta_1) H_{n}(\zeta+\zeta_2) \end{equation} can be written in terms of the associated Laguerre polynomials by considering \begin{equation*} \sum_{mn=0}^{+\infty}\sqrt{\frac{2^{m+n}}{m!n!}}k_{mn}(\zeta_1, \zeta_2) \end{equation*} These series can be computed in a closed form by integrating the Gaussians appearing from the expansion of the Hermite polynomials in terms of their generatrix functions. The final solution is then given in terms of the associated Laguerre polynomials, converging to standard Laguerre polynomials for $m=n$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.