Reducción de una expresión de suma algebraica

Question

Consideremos los siguientes elementos de una serie algebraica $$\sum_{i=1}^Nc(\theta_i)$$ $$\frac{1}{N}\sum_{j=1}^N\sum_{i=1,i\neq j}^Nc(\theta_i)$$ $$\frac{1}{N-1}\frac{1}{N}\sum_{k=1}^N\sum_{\array{j=1 \\j\neq k}}^N\sum_{\array{i=1\\i\neq j\\i\neq k}}^Nc(\theta_i)$$ $$\frac{1}{N-2}\frac{1}{N-1}\frac{1}{N}\sum_{l=1}^N\sum_{\array{k=1\\l\neq k}}^N\sum_{\array{j=1 \\j\neq k\\j\neq l}}^N\sum_{\array{i=1\\i\neq j\\i\neq k \\i \neq l}}^Nc(\theta_i)$$

donde todos los demás elementos se ejecutan hasta $(N-1)$

¿Cómo puedo escribir una expresión general para esta serie, y se puede escribir la suma y la media de todos los elementos de la serie?

Answer 1

Sólo tenemos que ver dos casos para ver lo que está pasando.

Obtenemos \begin{align*} \color{blue}{\sum_{j=1}^N\sum_{{i=1}\atop{i\neq j}}^Nc(\theta_i)} &=\sum_{i=1}^Nc(\theta_i)\sum_{{j=1}\atop{j\neq i}}^N1\\ &\,\,\color{blue}{=(N-1)\sum_{i=1}^Nc(\theta_i)} \end{align*} y \begin{align*} \color{blue}{\sum_{k=1}^N\sum_{{j=1}\atop{j\neq k}}^N\sum_{{i=1}\atop{i\neq j,i\neq k}}^Nc(\theta_i)} &=\sum_{i=1}^Nc(\theta_i)\sum_{{j=1}\atop{j\neq i}}^N\sum_{{i=1}\atop{i\neq j,i\neq k}}^N1\\ &=(N-2)\sum_{i=1}^Nc(\theta_i)\sum_{{j=1}\atop{j\neq i}}^N1\\ &\,\,\color{blue}{=(N-1)(N-2)\sum_{i=1}^Nc(\theta_i)} \end{align*}

Deducimos para los enteros positivos $m<N$ :

\begin{align*} \frac{(N-m)!}{N!}\sum_{k_0=1}^N \sum_{{k_1=1}\atop{k_1\neq k_j, 0\leq j< 1}}^N\cdots \sum_{{k_m=1}\atop{k_m\neq k_j, 0\leq j<m}}^Nc(\theta_{k_m}) =\frac{N-m}{N}\sum_{k_m=1}^Nc(\theta_{k_m})\tag{1} \end{align*} que puede demostrarse rigurosamente, por ejemplo, utilizando la inducción por $m\geq 1$ .

La parte general corresponde a los ejemplos anteriores por \begin{align*} &(j,i)\to(k_0,k_1)\quad &(m=1)\\ &(k,j,i)\to (k_0,k_1,k_2)\quad &(m=2) \end{align*}

Obtenemos para $m=3$ de (1): \begin{align*} \color{blue}{\frac{(N-3)!}{N!}}&\color{blue}{\sum_{k_0=1}^N \sum_{{k_1=1}\atop{k_1\neq k_j, 0\leq j< 1}}^N \sum_{{k_2=1}\atop{k_2\neq k_j, 0\leq j<2}}^N \sum_{{k_3=1}\atop{k_3\neq k_j, 0\leq j<3}}^N c(\theta_{k_3})}\\ &=\frac{1}{N(N-1)(N-2)}\sum_{k_3=1}^Nc(\theta_{k_3}) \sum_{{k_2=1}\atop{k_2\neq k_{3-j}, 0\leq j< 1}}^N \sum_{{k_1=1}\atop{k_1\neq k_{3-j}, 0\leq j<2}}^N \sum_{{k_0=1}\atop{k_0\neq k_{3-j}, 0\leq j<3}}^N1\\ &=\frac{N-3}{N(N-1)(N-2)}\sum_{k_3=1}^Nc(\theta_{k_3}) \sum_{{k_2=1}\atop{k_2\neq k_{3-j}, 0\leq j< 1}}^N \sum_{{k_1=1}\atop{k_1\neq k_{3-j}, 0\leq j<2}}^N1\\ &=\frac{N-3}{N(N-1)}\sum_{k_3=1}^Nc(\theta_{k_3}) \sum_{{k_2=1}\atop{k_2\neq k_{3-j}, 0\leq j< 1}}^N1\\ &\,\,\color{blue}{=\frac{N-3}{N}\sum_{k_3=1}^Nc(\theta_{k_3})} \end{align*}