(He borrado la respuesta anterior que era errónea).
Ahora tengo, sin pruebas, por heurística una fórmula directa para las entradas de la matriz de pesos si consideramos sus entradas como $$ W=\small \begin{bmatrix} 0 & . & . & . & . & . \\ 1/2 & 1/2 & . & . & . & . \\ 3/4 & 3/2 & 3/4 & . & . & . \\ 7/8 & 17/8 & 17/8 & 7/8 & . & . \\ 15/16 & 5/2 & 25/8 & 5/2 & 15/16 & . \\ 31/32 & 87/32 & 61/16 & 61/16 & 87/32 & 31/32 \end{bmatrix}$$ como también lo demostró Rob Johnson.
Fue más fácil encontrar las recurrencias y luego la fórmula directa cuando incluí la unidad de peso por persona, tal como lo he hecho: $$ X= \small \begin{bmatrix} 1 & . & . & . & . & . \\ 3/2 & 3/2 & . & . & . & . \\ 7/4 & 5/2 & 7/4 & . & . & . \\ 15/8 & 25/8 & 25/8 & 15/8 & . & . \\ 31/16 & 7/2 & 33/8 & 7/2 & 31/16 & . \\ 63/32 & 119/32 & 77/16 & 77/16 & 119/32 & 63/32 \end{bmatrix} $$ o, ampliado para hacerlo más visible, escalado por potencias de 2: $$ Y =\small \begin{bmatrix} 1 & . & . & . & . & . \\ 3 & 3 & . & . & . & . \\ 7 & 10 & 7 & . & . & . \\ 15 & 25 & 25 & 15 & . & . \\ 31 & 56 & 66 & 56 & 31 & . \\ 63 & 119 & 154 & 154 & 119 & 63 \end{bmatrix} $$
Dejemos que $r$ denotan el índice de filas, $c$ denotan el índice de la columna, ambos comienzan en cero, $c \le r$ entonces tenemos $$ w_{r,c} = 1+2c - {\sum_{k=0}^c \binom{r+2}{k}\cdot(1+c-k)\over 2^r}$$
En cuanto a la $X$ -matriz que era: $$ x_{r,c} = 2\cdot(1+c) - {\sum_{k=0}^c \binom{r+2}{k}\cdot(1+c-k)\over 2^r}$$ y en términos de $Y$ -matriz esto era $$ y_{r,c} = 2^{r+1}\cdot(1+c) - \sum_{k=0}^c \binom{r+2}{k}\cdot(1+c-k)$$
[añadido] Me pareció interesante considerar un aspecto más general. La idea es suponer una pirámide infinitamente amplia de "cero-humanos" o "fantasmas" que tienen peso $o$ (que para la evaluación final se pondrá a cero). Se trata de la zona sombreada en gris de anchura infinita de la siguiente imagen. La estructura de esta zona es muy sencilla y homogénea: en cada fila $r$ el peso en una entrada es $r \cdot o$ .
Ahora uno de los fantasmas más altos "obtiene un alma", se convierte en humano y, por tanto, la gravitación le da un peso de presión "w". Todos los fantasmas que son tocados por sus pies se convierten también en humanos, y su peso cambia también a "w", y esto se repite hacia abajo.
La imagen muestra cómo se distribuye en el fondo:
Obsérvese cómo los coeficientes en a w y en el o en la misma celda se suman para hacer el coeficiente de equilibrio de la misma fila, si pusiéramos $w=o$ .
Es en general la descripción de una cierta perturbación insertada en un equilibrio, y tengo curiosidad, si esto puede incluso hacerse continuo (como la generalización de los coeficientes binomiales utilizando la función Gamma)
[añadido2] Con iteraciones de este tipo suele ser útil expresar el problema en una anotación matricial y convertir la iteración en potencias matriciales. Entonces a veces se puede encontrar una forma cerrada en términos de matrices fijas y el parámetro de iteración está entonces sólo en el exponente de una matriz. (Está claro que esto no resuelve finalmente el problema de las sumas finitas, a veces recursivas, en la representación original, no matricial, sino que lo traslada a los productos de puntos internos para las matrices-potencias. Pero para el lector de la fórmula esto puede ser conveniente).
Primero definamos un vector fila $U=[1,0,0,...]$ de alguna dimensión n que representa el peso de la persona en la parte superior donde n es la anchura final de la pirámide.
Entonces una iteración debería tener el efecto de que $U_0$ cambios en $V_1=[1/2,1/2,0,0,...]$ que es el peso recibido para la capa inferior y luego $U_1$ también deben tener los pesos unitarios para que las personas se conviertan $U_1=[3/2,3/2,0,0,0...]$ .
Una matriz, que realiza $U_0 \to V_1$ es $M= \frac12 \small\begin{bmatrix}1&1&0&0&0&0&...\\0&1&1&0&0&0&...\\0&0&1&1&0&0&... \\ \vdots & & & & & &\ddots \end{bmatrix}$ tal que $$U_0 \cdot M = V_1 = \left[ \frac 12,\frac12, 0,0,0,... \right] $$ .
Después necesitamos una matriz, que transfiere dos unos para los pesos unitarios en $V_1$ y podemos hacerlo simplemente sumando el $M$ tal que $$ U_0 \cdot 2M = [1,1,0,0,...]$$ y tenemos $$ U_0 \cdot M + U_0 \cdot 2M = U_1 = [3/2,3/2,0,0,...]$$
Pero ahora, si el número de personas aumenta con las iteraciones, el segundo sumando no es suficiente; necesitamos tantos pesos unitarios como personas tengamos en una iteración. Así que necesitamos encontrar una matriz, cuya potencia k't dé k primeros en la fila superior. Un candidato sencillo es la matriz de la subdiagonal unitaria superior, llamémosla $L$ : $$ L = \small \begin{bmatrix}0&1&0&0&0&0&...\\0&0&1&0&0&0&...\\0&0&0&1&0&0&... \\ \vdots & & & & & &\ddots \end{bmatrix} $$ Entonces la potencia k's de desplaza la diagonal a la derecha a la posición k's, y la suma de $L^0 + L^1 + L^2 + ... + L^K$ da $k+1$ los. Entonces para la primera iteración podemos escribir $$ U_0 \cdot M + U_0 \cdot (L^0 + L^1) = U_1 $$ o $$ U_0 \cdot (M + (L^0 + L^1)) = U_1 $$
A continuación, podemos proceder simplemente $$ U_1 \cdot (M + (L^0 + L^1 + L^2)) = U_2 $$ que también es $$ U_0 \cdot (M^2 + (L^0 + L^1)M+ (L^0 + L^1 + L^2)) = U_2 $$ y es obvio cómo esto se itera.
Pero ahora vemos que tenemos series geométricas parciales que dependen del parámetro de iteración, y tienen una forma cerrada, a saber, el polinomio ciclotómico de orden k.
Para el polinomio ciclotómico tenemos que escribir $$ L^0+L^1+... + L^k = (I - L^{k+1}) \cdot (I - L)^{-1} $$ Denotemos esa inversa como $R$ . Encontramos que es simplemente la matriz unitaria triangular superior (¡como se esperaba por la representación en serie!) $$R = \small \begin{bmatrix}1&1&1&1&1&1&...\\0&1&1&1&1&1&...\\0&0&1&1&1&1&... \\ \vdots & & & & & &\ddots \end{bmatrix} $$ Entonces tenemos $$ U_0 \cdot ((I-L^1)R M^k + (I-L^2)R M^{k-1}+ (I-L^3)R M^{k-2} +...+(I-L^{k+1})R) = U_k $$ (donde he suavizado la fórmula en la punta $M^k$
Porque también es $M=I + L$ las matrices $M$ y $L$ y $R$ conmutar todo y podemos rotar los coeficientes para cualquier conveniencia. Podemos aislar una suma geométrica de potencias de $M$ :
$$ U_0 \cdot ( R( M^k + M^{k-1}+ M^{k-2} +...I) \\ -R(L^1 M^k + L^2 M^{k-1}+ L^3 M^{k-2} +...+L^{k+1})) = U_k $$ Ahora los poderes de $M$ son también series geométricas parciales, y necesitamos el recíproco, denotémoslo como $S$ : $$ S= (I - M)^-1 =\small \begin{matrix} 2&2&2&... \\ 0&2&2& ...\\ 0&0&2&...\\ ... \end{matrix}$$ que resulta ser justo $S=2R$ y también se desplaza con todas las matrices del juego hasta ahora.
Entonces tenemos $$ U_0 \cdot \left( R( I - M^{k+1})S \\ -R(L^1 M^k + L^2 M^{k-1}+ L^3 M^{k-2} +...+L^{k+1}) \right) = U_k \\ $$
y el último paréntesis de longitud variable se puede reducir de forma similar porque $M$ es invertible y con una matriz $W=L \cdot M^{-1}$ y $T=(I -W)^{-1} $ tenemos $$ U_0 \cdot \left( R( I - M^{k+1})S -R L M^k (I + W+ W^2 +...+W^k) \right) \\ = U_0 \cdot \left( R( I - M^{k+1})S -R L M^k (I -W^{k+1}) T) \right) \\ \qquad \qquad = U_k \\ $$
Esta fórmula tiene una longitud fija para cualquier parámetro de iteración. Sólo la matriz variable contiene ese parámetro. (Posiblemente a partir de esto se pueden inventar iteraciones fraccionarias, pero ese no es el objetivo aquí...)
7 votos
Una observación trivial, para simplificar un poco las cosas: Puedes poner $W=1$ y luego multiplicar todas las respuestas finales por $W$ al final. Una cosa menos de la que preocuparse.
2 votos
Sí, empezando por $W=1$ probablemente sea más fácil. También podría ser más fácil calcular $2^nw_{n,k}$ ya que serán números enteros.
4 votos
Si tan solo la persona de arriba hubiera tenido peso ift seria un [link] ( es.wikipedia.org/wiki/Distribución_binomial ) pero si todos los demás también tienen masa se pone algo más
3 votos
Tal vez sea útil pensar en ello como un problema combinatorio. El peso de cada persona es una suma sobre los caminos de cada persona de las líneas de arriba, para cada camino hay una fracción del peso $W$ pesando sobre la persona. Creo recordar que la respuesta puede conocerse en física estadística.
2 votos
Cuando hacen esto en el circo, tienen que poner al hombre fuerte en medio de la fila de abajo, o los tíos más arriba tienen que apoyarse un poco más en la pierna exterior.
1 votos
Creo que no hay una expresión cerrada.