Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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+n)_k}{(b)_k}=\frac{\Gamma(b+k+n)\Gamma(b)}{\Gamma(b+k)\Gamma(b+n)}=\frac{(b+n)_k}{(b)_k} \textrm{ and }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.

share|improve this question
    
Your last formula is not correct for k=b=1. –  Tom Copeland Sep 15 '12 at 9:37
    
@TomCopeland so it is. Let me check the details. –  Emilio Pisanty Sep 15 '12 at 17:03
add comment

1 Answer 1

up vote 2 down vote accepted

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 Rodriguez-like formula 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).$$

share|improve this answer
    
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. –  Tom Copeland Sep 19 '12 at 2:42
    
See also Chatterjea "Operational representations for the Laguerre polynomials" archive.numdam.org/ARCHIVE/ASNSP/ASNSP_1966_3_20_4/… –  Tom Copeland Sep 20 '12 at 0:46
add comment

Your Answer

 
discard

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

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