The Lah numbers satisfy a variety of identities and relations. In
Karamata–
Knuth notation for
Stirling numbers L(n,k) = \sum_{j=k}^n \left[{n\atop j}\right] \left\{{j\atop k}\right\}where \left[{n\atop j}\right] are the
unsigned Stirling numbers of the first kind and \left\{{j\atop k}\right\} are the
Stirling numbers of the second kind. : L(n,k) = {n-1 \choose k-1} \frac{n!}{k!} = {n \choose k} \frac{(n-1)!}{(k-1)!} = {n \choose k} {n-1 \choose k-1} (n-k)! : L(n,k) = \frac{n!(n-1)!}{k!(k-1)!}\cdot\frac{1}{(n-k)!} = \left (\frac{n!}{k!} \right )^2\frac{k}{n(n-k)!} : k(k+1) L(n,k+1) = (n-k) L(n,k), for k>0.
Recurrence relations The Lah numbers satisfy the recurrence relations \begin{align} L(n+1,k) &= (n+k) L(n,k) + L(n,k-1) \\ &= k(k+1) L(n, k+1) + 2k L(n, k) + L(n, k-1) \end{align} where L(n,0)=\delta_n, the
Kronecker delta, and L(n,k)=0 for all k > n.
Exponential generating function :\sum_{n\geq k} L(n,k)\frac{x^n}{n!} = \frac{1}{k!}\left( \frac{x}{1-x} \right)^k
Derivative of exp(1/x) The
n-th
derivative of the function e^\frac1{x} can be expressed with the Lah numbers, as follows \frac{\textrm d^n}{\textrm dx^n} e^\frac1x = (-1)^n \sum_{k=1}^n \frac{L(n,k)}{x^{n+k}} \cdot e^\frac1x.For example, \frac{\textrm d}{\textrm dx} e^\frac1x = - \frac{1}{x^2} \cdot e^{\frac1x} \frac{\textrm d^2}{\textrm dx^2}e^\frac1{x} = \frac{\textrm d}{\textrm dx} \left(-\frac1{x^2} e^{\frac1x} \right)= -\frac{-2}{x^3} \cdot e^{\frac1x} - \frac1{x^2} \cdot \frac{-1}{x^2} \cdot e^{\frac1x}= \left(\frac2{x^3} + \frac1{x^4}\right) \cdot e^{\frac1x} \frac{\textrm d^3}{\textrm dx^3} e^\frac1{x} = \frac{\textrm d}{\textrm dx} \left( \left(\frac2{x^3} + \frac1{x^4}\right) \cdot e^{\frac1x} \right) = \left(\frac{-6}{x^4} + \frac{-4}{x^5}\right) \cdot e^{\frac1x} + \left(\frac2{x^3} + \frac1{x^4}\right) \cdot \frac{-1}{x^2} \cdot e^{\frac1x} =-\left(\frac6{x^4} + \frac6{x^5} + \frac1{x^6}\right) \cdot e^{\frac{1}{x}} == Link to Laguerre polynomials ==