Multinomial coeficientes (general de la desigualdad).

Question

Fix $s, n$ $\mathbb{N}.$ Deje $n_1,..., n_s$ $\mathbb{N}$ tal que $n_k\geq 1.$ $N= \sum_{k=1}^sn_k.$ quiero demostrar que la
$$\sum_{m_1+...+m_s=n}\prod_{k=1}^s(m_k+n_k)!\leq (n+N)!.$$

El caso simple donde $s=2$ es equivalente a probar que $$\sum_{m=0}^n (m+n_1)!(n-m+n_2)! \leq (n+N)!.$$ Esto puede ser demostrado por inducción en $n;$ \begin{eqnarray}\sum_{m=0}^{n+1} (m+n_1)!(n+1-m+n_2)! &\leq& (n+1+n_1)!n_2! +(n+N)\sum_{m=0}^n (m+n_1)!(n-m+n_2)! \\ &\leq& (n+N)! +(n+N)(n+N)! \\ &=& (n+1+N)! \end{eqnarray} Cualquier sugerencia para el caso general $s\geq 2?!$

Answer 1

Puede utilizar la inducción en $s$: para cualquier $m_s'\ge 0$, $$ \sum_{m_s+m_{s+1} = m_s'} (m_s + n_s)!(m_{s+1}+n_{s+1})! \le (m_s' + n_s')!, $$ donde $n_s' = n_{s} + n_{s+1}$. Por lo tanto, $$ \sum_{m_1+...+m_{s+1}=n}\prod_{k=1}^{s+1}(m_k+n_k)! \\= \sum_{m_1+...+m_{s-1}+m_s'=n}\left(\prod_{k=1}^{m-1}(m_k+n_k)!\right)\sum_{m_s+m_{s+1} = m_s'} (m_s + n_s)!(m_{s+1}+n_{s+1})! \\\le \sum_{m_1+...+m_{s-1}+m_s'=n}\left(\prod_{k=1}^{m-1}(m_k+n_k)!\right) (m_s'+n_s')! $$ etc.

Answer 2

Para cualquier $\ell$ definir el poder formal de la serie $$F_\ell(x)=\ell!+(1+\ell)!x+(2+\ell)!x^2+(3+\ell)!x^3+\cdots.$$ En términos de este poder de la serie, los lados izquierdo y derecho de la desigualdad son $$ \sum_{m_1+\cdots+m_s=n}\prod_{k=1}^s (m_k+n_k)!=[x^n]F_{n_1}(x)\times\cdots\times F_{n_s}(x)$$ y $$(n+n_1+\cdots+n_s)!=[x^n]F_{n_1+\cdots+n_s}(x) .$$ En el $s=2$ de los casos, el OP ya hizo todo el trabajo duro para mostrar $$ [x^n]F_{n_1}(x)\times F_{n_2}(x)\le[x^n]F_{n_1+n_2}(x).$$ El resto sigue por la combinación de sumas parciales con el siguiente término, como este: \begin{eqnarray*} % \nonumber to remove numbering (before each equation) [x^n]F_{n_1}(x)\times\cdots\times F_{n_s}(x) &\le& [x^n]F_{n_1+n_2}(x)\times F_{n_3}(x)\times\cdots\times F_{n_s}(x) \\ &\le& [x^n]F_{n_1+n_2+n_3}(x)\times F_{n_4}(x)\times\cdots\times F_{n_s}(x) \\ &\vdots&\\ &\le& [x^n]F_{n_1+\cdots+n_s}(x) . \end{eqnarray*}