การสรุปค่าสัมประสิทธิ์พหุนามบางส่วน
ดังนั้นทฤษฎีบทพหุนามมาตรฐานจึงระบุว่า $$ \sum_{i_1,\ldots,i_m} \binom{n}{i_1,\ldots,i_m}\cdot [i_1+\cdots +i_m=n]=m^n $$ โดยที่ผลรวมอยู่เหนือตัวเลขที่ไม่เป็นลบและ $[\cdot]$ คือฟังก์ชันตัวบ่งชี้ที่เท่ากับ $1$ ถ้าและต่อเมื่อ $\cdot$ พอใจและ $0$มิฉะนั้น. ตอนนี้เรารู้อะไรไหมเกี่ยวกับการพูด (สำหรับคู่$m$ และ $n$ เป็นพลังของ $2$), $$ \sum_{i_1,\ldots,i_m} \binom{n}{i_1,\ldots,i_m}\cdot [i_1+\cdots +i_{m/2+1}\geq n/2]\cdot [i_1+\cdots +i_m=n]? $$ หรือ $$ \sum_{i_1,\ldots,i_m} \binom{n}{i_1,\ldots,i_m}\cdot [i_1+\cdots +i_{m/2+2}\geq 3n/4]\cdot [i_1+\cdots +i_m=n]? $$ หรือโดยทั่วไป $$ \sum_{i_1,\ldots,i_m} \binom{n}{i_1,\ldots,i_m}\cdot [i_1+\cdots +i_{m/2+k}\geq (2^k-1)n/2^k]\cdot [i_1+\cdots +i_m=n]? $$ โดยพลการ $k\in \{1,\ldots,m/2\}$เหรอ? ในที่สุดก็มีขนาดใหญ่พอ$k$ สิ่งนี้จะแปลงเป็นคำสั่งทฤษฎีบทพหุนามมาตรฐาน
โดยทั่วไปฉันต้องการทำความเข้าใจหรือขอบเขตบนของปริมาณต่อไปนี้ $$ \sum_{i_1,\ldots,i_m} \binom{n}{i_1,\ldots,i_m}\cdot \prod_{k=1}^{m/2}[i_1+\cdots +i_{m/2+k}\geq (2^k-1)n/2^k] $$ คำแนะนำ / ความช่วยเหลือใด ๆ จะได้รับการชื่นชม!
คำตอบ
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ $\ds{m\ \mbox{and}\ n}$มีแม้กระทั่งตัวเลข จากนั้นให้ตั้งค่า$m \equiv 2M$ และ $n = 2N$ ที่ไหน $\ds{M, N, \in \mathbb{N}_{\ \geq\ 0}}$.
ให้ศึกษาหนึ่งในนิพจน์ข้างต้น กล่าวคือสิ่งแรกที่ไม่ได้มาตรฐาน :\begin{align} &\bbox[5px,#ffd]{\sum_{k_{1},\ldots,k_{2m}}{2N \choose k_{1},\ldots,k_{2M}} \bracks{k_{1} + \cdots + k_{M + 1} \geq N}} \\[5mm] = & \sum_{s = N}^{\infty}\sum_{k_{1},\ldots,k_{2M}\ =\ 0}^{\infty}{\pars{2N}! \over k_{1}!,\ldots,k_{2M}!} \bracks{k_{1} + \cdots + k_{M + 1} = s} \\[5mm] = &\ \pars{2N}!\sum_{s = N}^{\infty}\sum_{k_{1},\ldots,k_{2M}\ =\ 0}^{\infty}{1 \over k_{1}!,\ldots,k_{2M}!} \bracks{z^{\large s}}z^{k_{1} + \cdots + k_{M + 1}} \\[5mm] = &\ \pars{2N}!\sum_{s = N}^{\infty}\bracks{z^{\large s}} \pars{\sum_{k = 0}^{\infty}{z^{k} \over k!}}^{M + 1} \pars{\sum_{q = 0}^{\infty}{1 \over q!}}^{M - 1} \\[5mm] = &\ \pars{2N}!\expo{M - 1}\sum_{s = N}^{\infty}\bracks{z^{\large s}} \expo{\pars{M + 1}z} \\[5mm] = &\ \bbx{\pars{2N}!\,\expo{M - 1} \sum_{s = N}^{\infty}{\pars{M + 1}^{s} \over s!}} \\ & \end{align}