38 votos

Métodos para calcular los $\sum_{k=1}^nk^p$ sin Faulhaber la fórmula de

Tan lejos como a todas las preguntas que he visto sobre el "¿qué es $\sum_{k=1}^nk^p$" siempre es contestada con "Faulhaber la fórmula" y que es casi la única respuesta. En un intento de hacer más interesantes las respuestas, yo te pido que esta pregunta preocupación el problema de la "Métodos para calcular los $\sum_{k=1}^nk^p$ sin Faulhaber la fórmula fija $p\in\mathbb N$". Incluso he comprobado este post de preguntas comunes sin encontrar lo que quiero.

Regla #1: Cualquier método para calcular la suma en cuestión para arbitrario $p$ es bueno, ya sea de forma recursiva o de alguna manera que no es en sí mismo una forma cerrada de la solución. Incluso los algoritmos será suficiente.

Regla #2: No quiero respuestas limita a "sólo algunos de los valores de $p$". (Un buen reto que tengo en el lado es una generalización geométrica prueba, como que todavía no la he visto)

Excepción: Si su respuesta no generalizar arbitraria $p$, pero todavía se generaliza a una cantidad infinita de especial $p$'s, que es aceptable.

Preferentemente, el método es fácil de aplicar, único y muy interesante.

Para empezar, he dado mi respuesta y espero que todos ustedes disfruten.

26voto

Simple Art Puntos 745

Siéntase libre saltar a las partes resaltadas y el final para ver la fórmula de la acción.


Supongamos que tenemos una función continua y diferenciable que satisface la siguiente ecuación:

$$f(x,p)=f(x-1,p)+x^p,\quad f(0,p)=0$$

Diferenciando con respecto a $x$, obtenemos

$$f'(x,p)=f'(x-1,p)+px^{p-1}$$

Ahora observe que cuando se $x\in\mathbb N$

$$f(x,p)=\sum_{k=1}^xk^p$$

$$f'(x,p)=f'(0,p)+p\sum_{k=1}^xk^{p-1}=f'(0,p)+pf(x,p-1)$$

La integración de ambos lados de$0$$x$, tenemos

$$f(x,p)=\int_0^xf'(t,p)dt=\int_0^xf'(0,p)+pf(t,p-1)dt=xf'(0,p)+\int_0^xf(t,p-1)dt$$

Al $x=1$, es bastante fácil ver que

$$a_p=f'(0,p)=1-p\int_0^1f(t,p-1)dt$$

Combinando todo esto, tenemos

$$f(x,p)=a_px+\int_0^xf(t,p-1)dt$$

Y con $p=0$, es trivial ver que

$$a_0=1\implies f(x,0)=x$$


Además,

$$a_1=1-\int_0^1t\ dt=\frac12$$

$$f(x,1)=\frac12x+\int_0^xt\ dt=\frac12x+\frac12x^2$$


$$a_2=1-2\int_0^1\frac12t+\frac12t^2dt=\frac16$$

$$f(x,2)=\frac16x+\frac12x^2+\frac13x^3$$

De hecho, estas son las soluciones a la suma en cuestión encontrado por una fórmula recursiva que involucran integrales.


Este método está descrito aquí.

17voto

Markus Scheuer Puntos 16133

Con $[z^n]$ denota el coeficiente de $z^n$ en una serie y $D_z:=\frac{d}{dz}$ obtenemos \begin{align*} \sum_{k=1}^nk^p=[z^n]\frac{1}{1-z}(zD_z)^p\frac{1}{1-z}\qquad\qquad\qquad p\in\mathbb{N} \end{align*}

Véase método 1 en esta respuesta que se deriva de esta fórmula se basa en la generación de funciones , junto con un pequeño ejemplo ($n=2$).

Otra variación:

La suma de los $p$-th potencias de números de $1$ $n$está dado por \begin{align*} \sum_{k=1}^nk^p=\sum_{k=1}^p{p\brace k}\frac{(n+1)^{\underline{k+1}}}{k+1}\qquad\qquad\qquad p\in\mathbb{N} \end{align*}

Consulte el método 2 en esta respuesta , junto con un pequeño ejemplo ($n=2$).

Aquí utilizamos los Números de Stirling del segundo tipo ${n\brace k}$ y No Knuths caer factorial poder notación: $n^{\underline{k}}=\frac{n!}{(n-k)!}$.

9voto

Krysta Puntos 123

El siguiente se da principalmente práctico de los medios de informática de esta suma.

Considerar la Distribución Uniforme Discreta con apoyo en $\left\{1,2,\ldots,n\right\}$. Deje $X$ ser una variable aleatoria con esta distribución.

Entonces $$E(X^p) = \frac{\sum_{k=1}^{n}k^p}{n}$$

El Momento de Generación de la Función de distribución es

$$E(e^{tX}) = \frac{e^{t} - e^{(n+1)t}}{n(1-e^t)}$$

entonces

$$\sum_{k=1}^{n}k^p = nE(X^p) = \frac{\operatorname{d}^p}{\operatorname{d}t^p}\left|_{t=0}\frac{e^{t} - e^{(n+1)t}}{1-e^t}\right.$$

Si a usted le gusta generalizar este método para no negativo real $p$, usted puede usar fracciones de la Diferenciación en la fórmula anterior, aunque esto es aún más práctico.

Estoy bastante seguro de Faulhaber la fórmula puede ser obtenido con este método mediante la General de la Regla de Leibniz y Faà di Bruno de la fórmula.

Vamos $f(t) = e^{t} - e^{(n+1)t}$, $g(t) = 1 - e^t$, y $u(t) = \frac{1}{g(t)}$.

$$\frac{\operatorname{d}^p}{\operatorname{dt^p}}\left(\frac{f(t)}{g(t)}\right) = \frac{\operatorname{d}^p}{\operatorname{dt^p}}\left(f(t)u(t)\right) = \sum_{k=0}^p{p \choose k}f^{(k)}(t)u^{(p-k)}(t)$$

Ahora $$f^{(k)}(t) = n^ke^{nt} - 2^{k}e^{2t}$$

Mientras que por Faà di Bruno fórmula

$$u^{(p-k)}(t) = \sum_{r=0}^{p-k}(-1)^r\frac{r!}{g(t)^{r+1}}B_{p-k,r}\left(g^{(1)}(t),g^{(2)}(t),\ldots,g^{(p-r+1)}(t)\right)$$

donde el $B_{(n-p,r)}$ son Ordinario de la Campana de Polinomios.

Ahora para recibir nuestra respuesta, suplente en $t = 0$.

Tenga en cuenta que

$$B_{p-k,r}\left(g^{(1)}(0),\ldots,g^{(p-k-r+1)}(0)\right) = B_{p-k,r}\left(1,1,\ldots,1\right) = \left\{\begin{array}{c}p-k\\r\end{array}\right\}$$

Donde $\left\{\begin{array}{c}p-k\\r\end{array}\right\}$ es un Número de Stirling del Segundo Tipo.

Nos da la fórmula

$$\sum_{k=1}^{n}k^p = \lim_{t\rightarrow 0} \sum_{k=0}^{p}\sum_{i=0}^{p k}(-1)^r r! {p \elegir k}\left\{\begin{array}{c}p-k\\r\end{array}\right\}\left( \frac{e^{t} - (n+1)^ke^{(n+1)t}}{(1 - e^t)^{i+1}}\right)$$

Vamos a hacer la sustitución de $z = 1 - e^t)$, ahora buscamos

$$\lim_{z\rightarrow 0} \sum_{k=0}^{p}\sum_{i=0}^{p k}(-1)^r r! {p \elegir k}\left\{\begin{array}{c}p-k\\r\end{array}\right\} \frac{1-z - (n+1)^k(1-z)^{n+1}}{z^{i+1}}$$

Intercambiando el orden de la suma y la búsqueda de un denominador común que nos da

$$\lim_{z\rightarrow 0} \frac{1}{z^{p+1}}\sum_{i=0}^{p}\sum_{k=0}^{p-r}(-1)^r r! {p \elegir k}\left\{\begin{array}{c}p-k\\r\end{array}\right\} \left[1-z - (n+1)^k(1-z)^{n+1}\right]z^{p-r}$$

Ya sabemos que el límite debe existir, ya que

$$\frac{e^t - e^{(n+1)t}}{1-e^t} = e^t + e^{2t} + \cdots + e^{nt}$$

que pueden ser diferenciados infinitamente muchas veces, simplemente podemos encontrar el coeficiente de $z^{p+1}$ en el numerador para calcular el límite.

Mediante el binomio de expansión de $(1-z)^{n+1}$ y dividir la suma, el numerador puede ser expresado como

$$\sum_{r=0}^{p}\sum_{k=0}^{p-r}(-1)^{r}r!{p \choose k}\left\{\begin{array}{c}p-k\\r\end{array}\right\}z^{p-r} + \sum_{r=0}^{p}\sum_{k=0}^{p-r}(-1)^{r}r!{p \choose k}\left\{\begin{array}{c}p-k\\r\end{array}\right\}z^{p-r+1} \:\:- $$ $$\sum_{r=0}^{p}\sum_{k=0}^{p-r}\sum_{j=0}^{n+1}(-1)^{r}r!{p \choose k}\left\{\begin{array}{c}p-k\\r\end{array}\right\}z^{p+j-r}$$

La primera suma no contribuye en nada a que el coeficiente de $z^{p+1}$ desde $p-r$ nunca es igual a $p+1$ al $0 \leq r \leq p$. La segunda suma sólo puede contribuir al $r = 0$, pero en este caso $\left\{\begin{array}{c}p-k\\0\end{array}\right\} = 0$ y vemos que esta suma no contribuir.

El tercer suma contribuye al $j = r+1$, después de algunas manipulaciones rendimiento

$$\sum_{r=0}^{p}\sum_{k=0}^{p-r}r!{p \choose k}\left\{\begin{array}{c}p-k\\r\end{array}\right\}{n+1 \choose r+1}$$

Ahora hacer la sustitución $i = k+r$. La suma puede luego ser llevados a la forma

$$\sum_{r=0}^{p}\sum_{i=0}^{p-r}r!{p \choose p+r-i}\left\{\begin{array}{c}p+r-i\\r\end{array}\right\}{n+1 \choose r+1}$$

El uso de la identidad $$\left\{\begin{array}{c}n+1\\k+1\end{array}\right\} = \sum_{j=k}^{n}{n \choose j}\left\{\begin{array}{c}j\\k\end{array}\right\}$$

Esto puede ser llevado a la forma

$$\sum_{r=0}^{p}r!{n+1 \choose r+1}\left\{\begin{array}{c}p+1\\r+1\end{array}\right\}$$

que casi está de acuerdo con una fórmula dada en esta respuesta. Me parece que han hecho un apagado por un error de algún tipo. Voy a tratar de corregir más tarde.

Yo voy a tratar de producir un ejemplo de uso de fracciones de derivados de la mañana.

8voto

Mussulini Puntos 1

Por el teorema del binomio, $$(x+1)^{n+1}=\sum_{h=0}^{n+1} {n+1 \choose h}x^h$$ $$(x+1)^{n+1}-x^{n+1}=\sum_{h=0}^n {n+1 \choose h}x^h$$ Suma esta igualdad para $x=0,1\dotsb k$ $$\sum_{x=1}^k((x+1)^{n+1}-x^{n+1})=(k+1)^{n+1}-1=\sum_{x=1}^k\sum_{h=0}^n {n+1 \choose h}x^h=\sum_{h=0}^n{n+1 \choose h}\sum_{x=1}^kx^h=(n+1)\sum_{x=1}^kx^h+\sum_{h=0}^{n-1}{n+1 \choose h}\sum_{x=1}^kx^h$$

Lo que significa que $$(n+1)\sum_{x=1}^kx^n=(k+1)^{n+1}-1-\sum_{h=0}^{n-1}{n+1 \choose h}\sum_{x=1}^kx^h$$

Así que usted puede encontrar la suma de los $n$th poderes si usted tiene todas las anteriores. El caso base es $$\sum_{x=1}^kx^0=k$$

Entonces $$\sum_{x=1}^kx^1=\frac{1}{2}\left((k+1)^2-1-{2 \choose 0}k\right)=\frac{k^2+k}{2}$$

$$\sum_{x=1}^kx^2=\frac{1}{3}\left((k+1)^3-1-{3 \choose 0} k - {3 \choose 1} \frac{k^2+k}{2}\right)=\frac{k^3}{3}+\frac{k^2}{2}+\frac{k}{6}$$ Etcétera.

8voto

user90369 Puntos 26

$(1)$

Usted está utilizando el método de diferencias de la Matemática Discreta. Por la suma de existir un equivalente a la integración. Uno de los pioneros de este método de Newton con el llamado de interpolación de Newton, pero en nuestros días ha escrito más elegante. Usted puede leer acerca de este método en los libros de Concreto de las Matemáticas, por ejemplo :

Ronald L. Graham, Donald E. Knuth, Oren Patashnik $ \enspace / \enspace $ Concreto de las Matemáticas, Segunda Edición (2009) $ \enspace / \enspace $ Addison-Wesley Publishing Company, 1994 $ \enspace / \enspace $ http://www-cs-faculty.stanford.edu/~uno/gkp.html

Ahora un poco más de caso general para el cálculo de la suma de $\enspace \sum\limits_{k=1}^n k^p$ :

Ser $f(x)$ cualquier polinomio, $I$ la Identidad del operador con $If(x):=f(x)$,

$E$ el Desplazamiento del operador con $Ef(x):=f(x+1)$ y

$\Delta$ el operador Diferencia con $\Delta:=E-I$ .

Llegamos $\enspace \Delta f(x)=(E-I)f(x)=Ef(x)-If(x)=f(x+1)-f(x)\enspace $

y con $\enspace \Delta^{n+1}:=\Delta(\Delta^n)\enspace $ la no-trivial fórmula $$\Delta^n f(x)=(E-I)^n f(x)= \sum\limits_{k=0}^n (-1)^{n-k}\binom{n}{k}E^k f(x) =\sum\limits_{k=0}^n (-1)^{n-k}\binom{n}{k}f(x+k)\enspace .$$

Ser $\enspace\displaystyle m,n\in\mathbb{N}_0\enspace $ $\enspace\displaystyle f_m(x):= \sum\limits_{k=0}^m b_k x^\underline{k}\in\mathbb{R}[x]\enspace $ un polinomio de grado $\enspace m$

con $\enspace\displaystyle x^\underline{n} :=\prod\limits_{v=1}^n (x-v+1)\enspace $ y, por tanto,$\enspace\displaystyle \Delta^k x^\underline{n} =n^\underline{k} x^\underline{n-k} $ .

Entonces lo que sigue es $$\sum\limits_{j=0}^n f_m(j)= \sum\limits_{k=0}^m \binom{n+1}{k+1} \sum\limits_{v=0}^k (-1)^{k-v}\binom{k}{v}f_m(v) \enspace .$$

Prueba:

Con $\enspace\displaystyle \Delta^v f_m(x)=\sum\limits_{k=v}^m b_v k^\underline{v} x^\underline{k-v} \enspace $ $\enspace x:=0\enspace $ siguiente $\enspace\displaystyle b_k=\frac{1}{k!} \Delta^k f_m(0) \enspace $ y, por tanto,$\enspace\displaystyle f_m(x)= \sum\limits_{k=0}^m \frac{ x^\underline{k} }{k!} \Delta^k f_m(0) = \sum\limits_{k=0}^m \binom{x}{k}\sum\limits_{v=0}^k (-1)^{k-v}\binom{k}{v}f_m(v) $ .

Sumatoria de $x=0$ $n$conduce a $\enspace\displaystyle \sum\limits_{x=0}^n \binom{x}{k}= \binom{n+1}{k+1}\enspace $ y por lo tanto a la confirmación de la afirmación anterior.

Con $\enspace m:=p\enspace $ $\enspace f_p(x):=x^p\enspace $ consigue una conocida fórmula para su suma: $$\sum\limits_{j=0}^n j^p= \sum\limits_{k=0}^p \binom{n+1}{k+1}{p\brace k}k!$$

(Ya sabes: ${p\brace k}$ es llamado el número de Stirling del segundo tipo y le da una mejor visión para comparar con las otras respuestas)


$(2)$

Un completo otra técnica es la de Euler-Maclaurin de la fórmula de sumación de aproximación. Le da a su suma una representación con los números de Bernoulli.

Pero en el caso de la cuestión de la suma es mucho mejor para calcular directamente con los polinomios de Bernoulli $B_k(x)$ definido por $\enspace\displaystyle \sum\limits_{k=0}^\infty \frac{B_k(x)}{k!}z^k:=\frac{ze^{xz}}{e^z-1}\enspace$ (la generación de la función).

Ustedes han hecho esto en tu post, por favor, mira mi comentario allí.

Es $\enspace\displaystyle B_k(x)=\sum\limits_{v=0}^k \binom{k}{v}B_v x^{k-v}\enspace$ con $\enspace\displaystyle B_k=-\frac{1}{k+1}\sum\limits_{v=0}^{k-1}\binom{k+1}{v}B_v\enspace$, $\enspace k\in\mathbb{N}\enspace $ y $\enspace B_0=1\,$ .

Sigue $$\sum\limits_{k=0}^\infty \frac{B_k(x+1)-B_k(x)}{k!}z^k=\frac{z}{e^z-1}(e^{(x+1)z}-e^{xz})=ze^{xz}=\sum\limits_{k=0}^\infty \frac{x^kz^{k+1}}{k!}$$ and therefore $\enspace B_k(x+1)-B_k(x)=kx^{k-1}$.

Con $\enspace k\to p+1\enspace $ $\enspace x\to k\enspace $ tenemos $$\sum\limits_{k=1}^n k^p =\sum\limits_{k=1}^n \frac{B_{p+1}(k+1)-B_{p+1}(k)}{p+1}= \frac{B_{p+1}(n+1)-B_{p+1}(1)}{p+1}$$ which is $\enspace \int\limits_1^{n+1}B_p(x)dx \enspace$.


$(3)\enspace $ Más consideraciones generales se pueden encontrar en La suma de fracciones potencias $\sum\limits_{k=1}^x k^t$. .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X