7
$\begingroup$

I have a minor result which I'm sure has come up somewhere before but I can't seem to find it.

Consider a confluent hypergeometric function of the form $$\newcommand{\ff}{{}_1F_1} \ff(b+k;b;z)\textrm{, for }k\in\mathbb{N}.$$ Numerical tests suggest that this is always a polynomial of degree $k$ multiplied by an exponential. One can prove this in a dull fashion by using $\ff(b;b;z)=e^z$ and then applying recurrence relations, but I found a cleaner way using the series definition,

$$ \ff(b+k;b;z) =\sum_{n=0}^\infty\frac{(b+k)_n}{(b)_n}\frac{z^n}{n!} $$

where $(b)_k=b(b+1)\cdots(b+k-1)$ is the Pochhammer symbol. By exploiting the identities $$ \frac{(b+k)_n}{(b)_n}=\frac{\Gamma(b+k+n)\Gamma(b)}{\Gamma(b+k)\Gamma(b+n)}=\frac{(b+n)_k}{(b)_k} \qquad\textrm{and}\qquad nz^n=z\frac{d}{dz}z^n, $$ one can easily prove that $$ \ff(b+k;b;z)=\frac{\left(b+z\frac{d}{dz}\right)_k}{(b)_k}e^z,$$

by being somewhat liberal with the meaning of the Pochhammer symbol. This is clearly the desired polynomial-times-exponential, and provides an explicit expression for the polynomial that looks kind of like a Rodrigues formula.

Even better, if you put this together with Kummer's first transformation, $$\ff\left(a;b;z\right)=e^{z}\ff\left(b-a;b;-z\right),$$ and the expression for Laguerre polynomials in terms of hypergeometric functions, $L^{(\alpha)}_{n}\left(x\right)=\frac{\left(\alpha+1\right)_{n}}{n!}\ff\left(-n,\alpha+1,x\right)$, you get an analogous result for Laguerre polynomials,

$$ L^{(b-1)}_{k}\left(x\right)=\frac{1+k/b}{k!}e^z\left(b+z\frac{d}{dz}\right)_ke^{-z}. $$

Are these results familiar to anyone? Do they fit inside a larger framework? They are not the best thing since sliced bread but they do have a nice simplicity to them, and particularly I would like to cite the appropriate reference if they have appeared before.

$\endgroup$
2
  • $\begingroup$ Your last formula is not correct for k=b=1. $\endgroup$ Sep 15, 2012 at 9:37
  • $\begingroup$ @TomCopeland so it is. Let me check the details. $\endgroup$ Sep 15, 2012 at 17:03

1 Answer 1

7
$\begingroup$

Formally using the inverse Mellin transform for x>0:

$$e^x f(x\tfrac{d}{dx})e^{-x}=e^x f(x\tfrac{d}{dx}) \frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \frac{\pi}{\sin(\pi s)} \frac{x^{-s}}{(-s)!} ds$$

$$=e^x \frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \frac{\pi}{\sin(\pi s)} f(-s) \frac{x^{-s}}{(-s)!} ds.$$

Let $$f(x)=\binom{x+\alpha+\beta}{\beta},$$

then

$$e^x \binom{x\tfrac{d}{dx}+\alpha+\beta}{\beta}e^{-x}=L_{\beta}^{\alpha}(x)=\binom{\alpha+\beta}{\beta} K(-\beta,\alpha+1,x)$$

where $L_{\beta}^{\alpha}(x)$ is the generalized Laguerre function and $K(-\beta,\alpha+1,x),$ Kummer's confluent hypergeometric function.

For an elaboration, see the notes The Inverse Mellin Transform, Bell Polynomials, a Generalized Dobinski Relation, and the Confluent Hypergeometric Functions.

See also Rodrigues-like formula (attributed to Poole, 1936) on pg. 59 of Bateman's (et al.) Higher Transcendental Functions Vol. I:

$$(x\tfrac{d}{dx}+\alpha)_{n} h(x) = x^{1-\alpha}D^{n}[x^{n+\alpha-1}h(x)],$$

with $D=\tfrac{d}{dx}$, leading to

$$e^x \binom{x\tfrac{d}{dx}+\alpha+n}{n}e^{-x}=e^x x^{-\alpha}\tfrac{D^{n}}{n!}[x^{n+\alpha}e^{-x}]=L_{n}^{\alpha}(x).$$

This can be generalized by using the fractional integro-derivative representation of $K(a,b,x)$ (see Eqn. 13.2.1 on pg. 505 of Abramowitz and Stegun):

$$K(a,b,x)= e^x \tfrac{(b-1)!}{x^{b-1}}\int_{0}^{x} e^{-t}\tfrac{(x-t)^{a-1}}{(a-1)!} \tfrac{t^{b-a-1}}{(b-a-1)!} dt=e^x \tfrac{(b-1)!}{x^{b-1}}D^{-a}[e^{-x}\tfrac{x^{b-a-1}}{(b-a-1)!}],$$

leading to

$$e^x {x^{-\alpha}}\tfrac{D^{\beta}}{\beta!}[x^{\beta+\alpha}e^{-x}]=L_{\beta}^{\alpha}(x)=\binom{\alpha+\beta}{\beta} K(-\beta,\alpha+1,x).$$

Edit (Sept. 2019):

Abstracting, (as Jeans said) "leaving the operators hungry for something to differentiate":

$$\binom{x\tfrac{d}{dx}+\alpha+\beta}{\beta}={x^{-\alpha}}\frac{:Dx:^{\beta}}{\beta!}x^{\alpha}=L_{\beta}^{\alpha}(-:xD:)$$

$$=\binom{\alpha+\beta}{\beta} K(-\beta,\alpha+1,-:xD:),$$

where, by definition, for any two operators $:AB:^{\beta}=A^{\beta}B^{\beta}$.

$\endgroup$
4
  • $\begingroup$ As an aside, the operator $(xDx)^n=x^nD^nx^n=x^n n! L_n(-\widehat{xD})$ where $\widehat{xD}^n=x^nD^n$, has a long and interesting history. $\endgroup$ Sep 19, 2012 at 2:42
  • $\begingroup$ See also Chatterjea "Operational representations for the Laguerre polynomials" archive.numdam.org/ARCHIVE/ASNSP/ASNSP_1966_3_20_4/… $\endgroup$ Sep 20, 2012 at 0:46
  • $\begingroup$ My favorites are $n! L^{−1}_n(:xD:)$, the normalized Laguerre polynomials of order −1, self-inverse under umbral composition, otherwise known as the Lah polynomials with connections to sl2, modular functions, and quantum mechanics. Cf. oeis.org/A111596 $\endgroup$ Sep 16, 2019 at 20:14
  • $\begingroup$ A note on a property of the Laguerre polynomials, not often mentioned, in the post "Newton Polygons and Galois Groups" at Matt Baker's blog mattbaker.blog/2014/05/02/newton-polygons-and-galois-groups . $\endgroup$ Mar 5 at 6:09

Your Answer

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