En matemáticas , una serie newtoniana , que lleva el nombre de Isaac Newton , es una suma sobre una secuencia escrita en la forma a norte {\ Displaystyle a_ {n}}
F ( s ) = ∑ norte = 0 ∞ ( - 1 ) norte ( s norte ) a norte = ∑ norte = 0 ∞ ( - s ) norte norte ! a norte {\ Displaystyle f (s) = \ sum _ {n = 0} ^ {\ infty} (- 1) ^ {n} {s \ elige n} a_ {n} = \ sum _ {n = 0} ^ { \ infty} {\ frac {(-s) _ {n}} {n!}} a_ {n}} dónde
( s norte ) {\ displaystyle {s \ elige n}} es el coeficiente binomial y es el factorial descendente . Las series newtonianas aparecen a menudo en relaciones de la forma que se ve en el cálculo umbral . ( s ) norte {\ Displaystyle (s) _ {n}}
Lista El teorema del binomio generalizado da
( 1 + z ) s = ∑ norte = 0 ∞ ( s norte ) z norte = 1 + ( s 1 ) z + ( s 2 ) z 2 + ⋯ . {\ Displaystyle (1 + z) ^ {s} = \ sum _ {n = 0} ^ {\ infty} {s \ elige n} z ^ {n} = 1 + {s \ elige 1} z + {s \ elija 2} z ^ {2} + \ cdots.} Se puede obtener una prueba de esta identidad mostrando que satisface la ecuación diferencial
( 1 + z ) D ( 1 + z ) s D z = s ( 1 + z ) s . {\ Displaystyle (1 + z) {\ frac {d (1 + z) ^ {s}} {dz}} = s (1 + z) ^ {s}.} La función digamma :
ψ ( s + 1 ) = - γ - ∑ norte = 1 ∞ ( - 1 ) norte norte ( s norte ) . {\ Displaystyle \ psi (s + 1) = - \ gamma - \ sum _ {n = 1} ^ {\ infty} {\ frac {(-1) ^ {n}} {n}} {s \ elige n }.} Los números de Stirling del segundo tipo están dados por la suma finita
{ norte k } = 1 k ! ∑ j = 0 k ( - 1 ) k - j ( k j ) j norte . {\displaystyle \left\{{\begin{matrix}n\\k\end{matrix}}\right\}={\frac {1}{k!}}\sum _{j=0}^{k}(-1)^{k-j}{k \choose j}j^{n}.} Esta fórmula es un caso especial de la k- ésima diferencia directa del monomio x n evaluado en x = 0:
Δ k x n = ∑ j = 0 k ( − 1 ) k − j ( k j ) ( x + j ) n . {\displaystyle \Delta ^{k}x^{n}=\sum _{j=0}^{k}(-1)^{k-j}{k \choose j}(x+j)^{n}.} Una identidad relacionada forma la base de la integral de Nörlund-Rice :
∑ k = 0 n ( n k ) ( − 1 ) n − k s − k = n ! s ( s − 1 ) ( s − 2 ) ⋯ ( s − n ) = Γ ( n + 1 ) Γ ( s − n ) Γ ( s + 1 ) = B ( n + 1 , s − n ) , s ∉ { 0 , … , n } {\displaystyle \sum _{k=0}^{n}{n \choose k}{\frac {(-1)^{n-k}}{s-k}}={\frac {n!}{s(s-1)(s-2)\cdots (s-n)}}={\frac {\Gamma (n+1)\Gamma (s-n)}{\Gamma (s+1)}}=B(n+1,s-n),s\notin \{0,\ldots ,n\}} donde es la función Gamma y es la función Beta . Γ ( x ) {\displaystyle \Gamma (x)} B ( x , y ) {\displaystyle B(x,y)}
Las funciones trigonométricas tienen identidades umbral :
∑ n = 0 ∞ ( − 1 ) n ( s 2 n ) = 2 s / 2 cos π s 4 {\displaystyle \sum _{n=0}^{\infty }(-1)^{n}{s \choose 2n}=2^{s/2}\cos {\frac {\pi s}{4}}} y
∑ n = 0 ∞ ( − 1 ) n ( s 2 n + 1 ) = 2 s / 2 sin π s 4 {\displaystyle \sum _{n=0}^{\infty }(-1)^{n}{s \choose 2n+1}=2^{s/2}\sin {\frac {\pi s}{4}}} La naturaleza umbral de estas identidades es un poco más clara al escribirlas en términos del factorial descendente . Los primeros términos de la serie pecado son ( s ) n {\displaystyle (s)_{n}}
s − ( s ) 3 3 ! + ( s ) 5 5 ! − ( s ) 7 7 ! + ⋯ {\displaystyle s-{\frac {(s)_{3}}{3!}}+{\frac {(s)_{5}}{5!}}-{\frac {(s)_{7}}{7!}}+\cdots } que se puede reconocer como similar a la serie de Taylor para sen x , con ( s ) n en el lugar de x n .
En la teoría analítica de números es de interés sumar
∑ k = 0 B k z k , {\displaystyle \!\sum _{k=0}B_{k}z^{k},} donde B son los números de Bernoulli . Empleando la función generadora, su suma de Borel se puede evaluar como
∑ k = 0 B k z k = ∫ 0 ∞ e − t t z e t z − 1 d t = ∑ k = 1 z ( k z + 1 ) 2 . {\displaystyle \sum _{k=0}B_{k}z^{k}=\int _{0}^{\infty }e^{-t}{\frac {tz}{e^{tz}-1}}dt=\sum _{k=1}{\frac {z}{(kz+1)^{2}}}.} La relación general da la serie de Newton
∑ k = 0 B k ( x ) z k ( 1 − s k ) s − 1 = z s − 1 ζ ( s , x + z ) , {\displaystyle \sum _{k=0}{\frac {B_{k}(x)}{z^{k}}}{\frac {1-s \choose k}{s-1}}=z^{s-1}\zeta (s,x+z),} [ cita requerida ] donde está la función zeta de Hurwitz y el polinomio de Bernoulli . La serie no converge, la identidad se mantiene formalmente. ζ {\displaystyle \zeta } B k ( x ) {\displaystyle B_{k}(x)}
Otra identidad es la
que converge . Esto se sigue de la forma general de una serie de Newton para nodos equidistantes (cuando existe, es decir, es convergente) 1 Γ ( x ) = ∑ k = 0 ∞ ( x − a k ) ∑ j = 0 k ( − 1 ) k − j Γ ( a + j ) ( k j ) , {\displaystyle {\frac {1}{\Gamma (x)}}=\sum _{k=0}^{\infty }{x-a \choose k}\sum _{j=0}^{k}{\frac {(-1)^{k-j}}{\Gamma (a+j)}}{k \choose j},} x > a {\displaystyle x>a}
f ( x ) = ∑ k = 0 ( x − a h k ) ∑ j = 0 k ( − 1 ) k − j ( k j ) f ( a + j h ) . {\displaystyle f(x)=\sum _{k=0}{{\frac {x-a}{h}} \choose k}\sum _{j=0}^{k}(-1)^{k-j}{k \choose j}f(a+jh).} Ver también Referencias