Questions tagged [stirling-numbers]
The stirling-numbers tag has no usage guidance.
63 questions
1
vote
0
answers
31
views
Closed form for $a(2^m(2k+1))$
Let $a(n)$ be A329369 (i.e., number of permutations of $\{1,2,\dotsc,m\}$ with excedance set constructed by taking $m-i$ ($0 < i < m$) if $b(i-1) = 1$ where $b(k)b(k-1)\cdots b(1)b(0)$ ($0 \...
- 4,948
2
votes
0
answers
126
views
Generalized identity with Stirling numbers of the second kind and falling factorials
It is known that Striling numbers of the second kind satisfy the relation
$$
\sum\limits_{k=0}^{n}{n \brace k}(x)_k = x^n.
$$
where $(x)_n$ is the falling factorials such that
$$
(x)_n = x(x-1)(x-2)\...
- 4,948
2
votes
1
answer
222
views
A question on signed Stirling numbers of the first kind
Let $(x)_0=1$ and $(x)_n=x(x-1)\cdots(x-n+1)$ for $n=1,2,3,\ldots$. The signed Stirling numbers of the first kind, $s(n,k)$ with $n\ge k\ge0$, are defined by
$$(x)_n=\sum_{k=0}^ns(n,k)x^k.$$
Question. ...
- 15.6k
4
votes
2
answers
219
views
how to prove identity for nth derivative of $(\text{arctanh}(x))^j$?
this question asked on MSE
I worked on integral problem and I got that
$$ \int_0^1 \frac{x^n}{\ln \left(\frac{1-x}{1+x} \right) } dx=-\frac{2}{(n+1)!}\sum_{j=1}^{n+1}F(n,j) \eta'(-j)$$
where $\eta(x)$ ...
- 513
4
votes
1
answer
407
views
Inverse relationship between Stirling numbers of the first and second kind via generating functions
In combinatorics, a well-known result is that the matrix formed by the Stirling numbers of the second kind $\left(S(n,k)\right)_{n,k\geq 0}$ and the matrix of the signed Stirling numbers of the first ...
- 151
2
votes
1
answer
129
views
Recursion for the sum with Stirling numbers of both kinds
Let $s(n,k)$ be a (signed) Stirling number of the first kind.
Let $n \brace k$ be a Stirling number of the second kind.
Let
$$
f(n,m,i) = (-1)^{m-i+1}\sum\limits_{j=i}^{m+1}j^n s(j,i) {m+1 \brace j}...
- 4,948
9
votes
1
answer
339
views
What is the formula for $\mathcal P_{n}^{k} (a_{1}, a_{2}, ...)$, defined by Peter Luschny?
Recently, I was reading a blog post called The P-transform by Peter Luschny, where the following formulas are given:
\begin{align*}
(-1)^k\frac{n!}{k!}\mathcal P^k_n\left(1, \frac1 2, \frac2 3, \dotsc\...
- 93
1
vote
0
answers
86
views
Closed form for the family of polynomials
Let $s(n,k)$ be a (signed) Stirling number of the first kind.
Let $R(n,x)$ be the family of polynomials such that
$$
R(2n+1,x) = xR(n,x), \\
R(2n,x) = x(R(n,x+1) - R(n, x)), \\
R(0, x) = x
$$
Let $\...
- 4,948
1
vote
0
answers
59
views
Simple recursion for the A329369 using Stirling numbers of both kinds
Let $s(n,k)$ be a (signed) Stirling number of the first kind.
Let $n \brace k$ be a Stirling number of the second kind.
Let $a(n)$ be A329369 (i.e, number of permutations of ${1,2,...,m}$ with ...
- 4,948
3
votes
0
answers
89
views
Recursion for reversed rows of the A373183 using unsigned Stirling numbers of the first kind
Let $\left[{n \atop k}\right]$ be unsigned Stirling numbers of the first kind. Here
$$
\left[{n \atop k}\right] = (n-1)\left[{n-1 \atop k}\right] + \left[{n-1 \atop k-1}\right], \\
\left[{n \atop 0}\...
- 4,948
3
votes
0
answers
190
views
Stirling number, Delannoy number, and binomial coefficients in a sum
I want to compute/prove that the following sum is positive:
$$ \sum_{i = 0}^n \left[\frac{D(n - i, i)}{d} \sum_{j = m}^d s(d, j) \binom{j}{m} (d - i)^{j - m}\right] > 0
$$
where $s(d, j)$ is the ...
- 51
3
votes
1
answer
223
views
How to find the coefficient of $x^k$ in the expression $\prod_{p=2}^n (1+xp) $
I got this general formula for $ n\in N$ (I showed it here)
$$\int_0^1 \left(\frac{x}{1-x} \ln x \right)^n dx=n \sum_{p=0}^{n-1}a(n,p+1) (-1)^{n-p} \zeta(p+2)+n! $$
where $a(n,k)$ is the coefficient ...
- 513
2
votes
0
answers
125
views
Inequality for 2-associated Stirling numbers of the second kind
Let $S_2(n,k)$ denote the 2-associated Stirling number of the second kind for $n$ objects and $k$ blocks, with $n$ being at least two. That is, we partition $n$ labeled objects into $k$ unlabeled ...
1
vote
3
answers
183
views
Evaluating a sinusoidal series
Define the sequence of functions
$$f_n(x)=\sum_{m=n}^\infty(-1)^m\frac{x^{2m}}{(2m+1)!} {m \choose n} $$
Is there a closed form expression for arbitrary $n$? It is clear that the result should assume ...
- 151
0
votes
1
answer
96
views
Prime divisibility of Stirling numbers of first kind
Prove that $p\mid\genfrac[]0{}{p^w}k$ where $p$ is an odd prime, $w \in \mathbb{N}$, $1<k<p^w$ and $k \neq p^v$ for some positive integer $v<w$. This has to be already done I just can't find ...
- 1,109
0
votes
1
answer
368
views
Identity involving Stirling number of the second kind
I'm looking for a citable reference for the following identity involving the Stirling numbers of the second kind $S(n, k)$ stated in Equation (27): For $n \geq 2$,
$$
\sum_{m=1}^n S(n, m) (-1)^m (m-1)!...
- 58
4
votes
2
answers
427
views
Divisibility of Stirling numbers
It is well known that if $p$ is prime, Stirling numbers of the first and second kind, $s_1(p,k)$ and $s_2(p,k)$, are divisible by $p$ if $1<k\le p-1$ (Lagrange ; easiest is working in $\mathbb F_p$ ...
- 3,630
7
votes
2
answers
819
views
Determinant of matrix with Stirling numbers as elements
After noticing that the determinant of an $n \times n$ matrix $A_n$ with elements $a_{i,j}=i^j$, $1 \le i \le n$, $1 \le j \le n$, is the superfactorial (product of the first $n$ factorials), I wanted ...
- 700
0
votes
1
answer
403
views
Could you please confirm or deny two identities involving weighted Stirling numbers of the second kind?
In the paper [1] below, among other things, Carlitz introduced weighted Stirling numbers of the second kind $R(n,k,r)$. He also proved that the numbers $R(n,k,r)$ can be generated by
\begin{equation*}%...
- 1,101
4
votes
1
answer
379
views
Counting permutations with a fixed number of descents and an extra condition
I am computing the volumes of certain polytopes and it turns out that knowing a "closed formula" for the following number would help a lot.
Determine the number of permutations $\sigma\in \...
- 1,889
3
votes
1
answer
828
views
Sum of the Stirling numbers of the second kind multiplied by $k$ and falling factorials
I am looking for closed forms, or at least a good approximation for
$$f(n) = \sum_{k=1}^{k=n} \genfrac\{\}{0pt}{}{n}{k}(n)_kk$$
I know that
$$\sum_{k=1}^{k=n} \genfrac\{\}{0pt}{}{n}{k}(n)_k = n^n$$
I ...
- 33
7
votes
0
answers
444
views
Is there any literature on $\sum_{i=1}^{k} \left[ {k \atop i} \right] \zeta(i+1) $?
As per these questions, I'm trying to evaluate $$\sum_{n=2}^{\infty} \big{(} \zeta(n)^{2}-1 \big{)} = 1+ \sum_{m=2}^{\infty} \frac{H_{-\frac{1}{m}}}{m}. $$
Here, $H_{x}$ is a generalized Harmonic ...
- 4,829
3
votes
2
answers
463
views
Ask for a reference or a proof of a combinatorial identity $\sum_{k=0}^n\binom{2n+1}{2k}\binom {k}{m} =2^{2(n-m)}\frac{2n+1}{2(n-m)+1}\binom{2n-m}{m}$
Could you please recommend a reference to or supply a proof of the following identity \eqref{combin-ID-Maclaurin}, or \eqref{first-equiv-form}, or \eqref{combin-ID-Mac-Equiv}, or \eqref{combin-ID-Mac-...
- 1,101
3
votes
1
answer
324
views
Sum with Stirling numbers of the second kind
Let $wt(n)$ be A000120, number of $1$'s in binary expansion of $n$ (or the binary weight of $n$)
and
$$n=2^{t_1}(1+2^{t_2+1}(1+\dots(1+2^{t_{wt(n)}+1}))\dots)$$
Then we have an integer sequence given ...
- 4,948
2
votes
1
answer
761
views
Prove that $ \sum_{i=0}^{2k}( {n+R-1\choose R+i} + (-1)^{i+1}{ n+R+i\choose R+i } )\sum_{j=0}^i {i\choose j}(-1)^j(i+1-j)^{2k}=0 $
For all $k,R \in \mathbb{N}$ fixed, prove that $ \sum_{i=0}^{2k}( {n+R-1\choose R+i} + (-1)^{i+1}{ n+R+i\choose R+i } )\sum_{j=0}^i {i\choose j}(-1)^j(i+1-j)^{2k}=0 $. I'm quite sure this is true but ...
- 1,109
2
votes
1
answer
345
views
Show that $\sum_{i=0}^{2k} [ {n\choose i+1} + (-1)^{i+1}{n+i+1\choose i+1} ] \sum_{j=0}^i {i\choose j}(-1)^j (i+1-j)^{2k} =0.$
Let $u(k,j) = 1$ if $j=0$, $0$ if $j > k$, or else it is $j*u(k-1,j-1) +(j+1)*u(k-1,j) $. Prove that $ \sum_{i=0}^{2k} {n \choose i+1} u(2k,i) +\sum_{i=0}^{2k} {-n-1 \choose i+1} u(2k,i)=0. $ ...
- 1,109
1
vote
1
answer
921
views
What is the inverse Laplace transform of $\frac{(1/s)_{n}}{s} $?
Introduction
So far, I have found (p. 5) the following generating functions of the unsigned Stirling numbers of the first kind:
\begin{equation} \tag{1} \label{1} \sum_{l=1}^{n} |S_{1}(n,l)|z^{l} = (z)...
- 4,829
3
votes
0
answers
170
views
Stirling number bounds and polynomials and the Lambert $W$ function
Let $s(n,k)$ be the (signed) Stirling numbers of the first kind. The polynomials
$$L_n(x)=\sum_{j=1}^ns(n,n+1-j)\dfrac{x^j}{j!}$$
enter in the asymptotic expansion of the Lambert $W$ function, see for ...
- 13.1k
2
votes
1
answer
145
views
Estimation of a sum involving Stirling's number of second kind and binomial coefficient
Let $S(n, j)$ be Stirling's number of second kind. Let $p\in [0,1]$ and $m \in N$.
Bound from above the following sum:
$$
\sum_{j=0}^m S(n,j) {m \choose j}\, j! \, p^j
$$
- 97
2
votes
1
answer
193
views
Bell polynomial with variables 1 and 0
Let $B_{n,k}(x_1,\cdots,x_{n-k+1})$ be the Bell polynomial.
If $x_1=\cdots=x_{n-k+1}=1$, we know that $B_{n,k}(x_1,\cdots,x_{n-k+1})=S(n,k)$, where $S(n,k)$ is the Stirling number of second kind.
...
- 549
4
votes
2
answers
495
views
Showing this formula counts these things
I'm writing an article, and I got stuck trying to prove that some numbers are positive. I have a relatively good intuition for guessing what an expression is counting, but in this case I'm not being ...
- 1,889
4
votes
0
answers
312
views
Positivity of a finite sum involving Stirling numbers of the first kind
Past days I've been trying to prove that certain polynomials have positive coefficients. After a lot of thinking, I came up with a formula for each coefficient individually, and they are not that ugly....
- 1,889
1
vote
1
answer
258
views
Sum of divisors of Stirling numbers of the second kind
In this post we denote the Stirling number of the second kind as ${n\brace k}$, I add as reference the article Stirling numbers of the second kind from the encyclopedia Wikipedia. And we denote the ...
1
vote
0
answers
63
views
On the equation involving Stirling numbers of the second kind ${n\brace a}{m\brace b}={k\brace c}$, and its solutions satisfying certain requirements
In this post we denote the Stirling numbers of the second kind as ${r\brace s}$ and we consider the proposal to ask if the equation of the title has infinitely many solutions $${n\brace a}{m\brace b}={...
0
votes
1
answer
378
views
Simplify a double summation involving binomial coeficient
$$T(N,K)=\sum_{i=2}^{K}\sum_{j=2}^{i}(-1)^{i-j}\binom{i}{j}\frac{j^{N+1}-1}{j-1}$$
Is it possible to evaluate the sum for $K=10^7$ efficiently. If we manage to remove one of the sums, it will be ...
- 221
1
vote
1
answer
516
views
Evaluation of a complete homogeneous symmetric polynomial related to Stirling number of 2nd kind
It is well known that the complete homogeneous symmetric polynomial $h_{n-k}(1,\,2,\,3, ...,\,k-1,\,k)$ equals $S(n,\,k)$ the Stirling number of the second kind. [Wikipedia]
During a research project ...
- 145
3
votes
2
answers
403
views
Closed form for product of Stirling numbers of the second kind
What does the following expression evaluate to:
\begin{equation}
\sum\limits_{k=1}^n \dbinom{n}{k} \cdot k! \begin{Bmatrix} n \\ k \end{Bmatrix} \cdot k! \begin{Bmatrix} n \\ k \end{Bmatrix}
\end{...
- 37
1
vote
1
answer
211
views
Finite differences of Stirling numbers
Let s(n,k) and S(n,k) denote the Stirling numbers of the first (with signs) and second kinds, respectively. Next consider the sequence |s(n+2,n)| which begins: (2,11,35,85,175,...) . Using this to ...
- 1,411
6
votes
1
answer
377
views
Some strange multinomial averaging
How do I prove :
$\sum_{j=2}^{n} (-1)^j {\frac {M(n+j,j;2)}{j!}} = (-1)^n n! + 1$?
where $M(n+j,j;2)$ is the multinomial sum $M(n+j,j;2) = \sum_{t_1 + t_2 + \dotsc + t_j = n+j, t_k \geq 2} {n+j \...
- 405
3
votes
2
answers
1k
views
Proof of identity involving Stirling numbers of the second kind
While computing conditional expectations of certain functionals of a Poisson white noise field (details are long and probably irrelevant), I've stumbled upon the need to use the following identity ...
- 393
8
votes
1
answer
263
views
Singular values of Stirling numbers matrix
Consider the Stirling numbers of the first kind $s(i, j)$, and form a matrix $S_1(n),$ where the $(i, j)$th entry is $s(i, j)$. (IMPORTANT NOTE the indices start at $0,$ so this matrix is $(n+1)\times ...
- 96.4k
16
votes
1
answer
584
views
What is this sequence?
This is again a question that I asked at Stack Exchange, but got no answer so far, so I am trying here.
Let:
$$ a_n=\sum_{k\ge0}(k+1) {n+2\brack k+2}(n+2)^kB_k$$
$B_k$ is the Bernoulli number. ${n\...
- 505
20
votes
4
answers
1k
views
Are surjections $[n]\to [k]$ more common than injections $[k]\to [n]$?
Here's an interesting inequality involving binomial coefficient and Stirling numbers of the second kind that I believe holds for all $n,k$:
$$ k^n {n \choose k} \leq n^k {n \brace k} $$
On the left-...
- 483
5
votes
0
answers
775
views
A conjecture about the degrees of special polynomials
Define the congruence "modulo m" on exponential Taylor series as
$$
\sum_{n=0}^\infty \frac{a_n}{n!}x^n \equiv \sum_{n=0}^\infty \frac{b_n}{n!} x^n \mod m \iff \forall n: \frac{a_n-b_n}{m}\in \mathbb{...
- 237
4
votes
0
answers
158
views
Multiple integral evaluation involving Stirling numbers and Riemann zeta function
Hello Mathoverflow community, how are you doing? I just wanted to know if anything is known about the following integral:
$$K_n(m) = \overbrace{\int_0^1 \dots \int_0^1}^{n-\mathrm{times}} \left(-\...
- 1,549
8
votes
1
answer
631
views
Inequality for Stirling numbers of the second kind
I stumbled upon the following inequality which, I believe, is true. I was able to prove it for small k, but I have no proof for the general case. Any help is welcome.
Let $n\geq k\geq 1$ then
$$\left(...
- 343
15
votes
1
answer
733
views
Positivity of a finite sum involving Stirling numbers
In my research in theoretical physics, I have arrived at some coefficients $a_{n,m}$ depending on two integers, $n\geq 1$ and $0\leq m\leq n$:
$$
a_{n,m}=\sum_{j=0}^{n-1} {2j \choose j+m} \left(\frac{...
- 183
1
vote
1
answer
299
views
Proof of Stirling number symmetric formulas [closed]
I'm looking for a reference to a proof of formulas 6.26 and 6.27 in Concrete Mathematics:
$\def\sone#1#2{\left[#1\atop #2\right]}
\def\stwo#1#2{\left\{#1\atop #2\right\}}
$
$$ \stwo{n}{n-m} = \sum_k \...
- 21
1
vote
1
answer
287
views
Sum of Stirling numbers with exponents
I have a trouble with the following sum
$\sum_{i=0}^n\binom{n}{i}S(i,m)3^i$, where $S(i,m)$ is the Stirling number of the second kind (the number of all partitions of $i$ elements into $m$ nonempty ...
- 153
3
votes
1
answer
585
views
Trying to prove a congruence for Stirling numbers of the second kind
This a repost of a question I asked at Stack Exchange, but I got no answer so far, so I am trying here, even though it may not suit the "research level" requirement.
Proposition: When $n$ and $m$ are ...
- 505