Abstract:In this paper, we consider sums of values of degenerate falling factorials and give a probabilistic proof of a recurrence relation for them. This may be viewed as a degenerate version of the recent probabilistic proofs on sums of powers of integers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the proof of the recurrence relation of the sum of the values of degenerate falling factorials. Specifically, the authors considered the sum of the values of degenerate falling factorials and gave a probabilistic proof of the recurrence relations of these sums.
### Problem Background
1. **Classical Power - sum Problem**:
- Jacob Bernoulli studied the power - sum of the first \(n\) positive integers, for example:
\[
1^k + 2^k + 3^k+\cdots + n^k
\]
- The study of these power - sums has a history of hundreds of years and involves concepts such as Bernoulli polynomials and Bernoulli numbers.
2. **Degenerate Falling Factorial**:
- The degenerate falling factorial is defined as:
\[
(x)_0,\lambda = 1,\quad (x)_n,\lambda = x(x - \lambda)(x - 2\lambda)\cdots(x-(n - 1)\lambda),\quad (n\geq1)
\]
- In particular, when \(x = 1\), it is denoted as \(e_\lambda(t)=e_{1,\lambda}(t)\).
### Research Objectives
The authors studied the sum of the values of degenerate falling factorials:
\[
S_{k,\lambda}(n)=(1)_{k,\lambda}+(2)_{k,\lambda}+\cdots+(n)_{k,\lambda}=\sum_{j = 1}^n(j)_{k,\lambda}
\]
### Main Contributions
1. **Derivation of Recurrence Relations**:
- The authors derived the recurrence relations of \(S_{k,\lambda}(n)\) by probabilistic methods.
- Specifically, they obtained the following recurrence formulas:
\[
S_{k,\lambda}(n)=\frac{(n + 1)^{k+1}_\lambda-1^{k+1}_\lambda}{k + 1}-\frac{1}{k+1}\sum_{r = 0}^{k-1}\binom{k+1}{r}(1)^{k+1-r}_\lambda S_{r,\lambda}(n)
\]
and
\[
S_{k,\lambda}(n)=\frac{(n)^{k+1}_\lambda}{k+1}+\frac{1}{k+1}\sum_{r = 0}^{k-1}\binom{k+1}{r}(-1)^{k+1-r}\langle1\rangle^{k+1-r}_\lambda S_{r,\lambda}(n)
\]
2. **Application of Probabilistic Methods**:
- The authors introduced a non - negative integer - valued random variable \(X\) and used its \(k\)-th - order degenerate moment to derive the recurrence relations.
- For a uniformly distributed random variable \(X\) supported on \(\{0,1,2,\ldots,n\}\), they obtained a new recurrence formula:
\[
S_{k,\lambda}(n)=\frac{n(n + 1)^k_\lambda}{k+1}-\frac{1}{k+1}\sum_{r = 1}^{k-1}\binom{k}{r-1}(1)^{k+1-r}_\lambda S_{r,\lambda}(n)-\frac{\lambda}{k+1}\sum_{r = 1}^{k-1}r\binom{k}{r}(1)^{k-r}_\lambda S_{r,\lambda}(n)
\]
### Conclusion
This paper succeeded by probabilistic methods.