En matemáticas , una serie newtoniana , nombrada así en referencia a Isaac Newton , es una sucesión matemática
a
n
{\displaystyle a_{n}}
escrita en la forma
f
(
s
)
=
∑
n
=
0
∞
(
−
1
)
n
(
s
n
)
a
n
=
∑
n
=
0
∞
(
−
s
)
n
n
!
a
n
{\displaystyle f(s)=\sum _{n=0}^{\infty }(-1)^{n}{s \choose n}a_{n}=\sum _{n=0}^{\infty }{\frac {(-s)_{n}}{n!}}a_{n}}
donde
(
s
n
)
{\displaystyle {s \choose n}}
es el coeficiente binomial y
(
s
)
n
{\displaystyle (s)_{n}}
es el factorial ascendente . Las series newtonianas a menudo aparecen en relaciones de la forma que se ve en el cálculo umbral .
El teorema del binomio generalizado afirma que
(
1
+
z
)
s
=
∑
n
=
0
∞
(
s
n
)
z
n
=
1
+
(
s
1
)
z
+
(
s
2
)
z
2
+
⋯
.
{\displaystyle (1+z)^{s}=\sum _{n=0}^{\infty }{s \choose n}z^{n}=1+{s \choose 1}z+{s \choose 2}z^{2}+\cdots .}
Una prueba de esta identidad se puede obtener 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 es:
ψ
(
s
+
1
)
=
−
γ
−
∑
n
=
1
∞
(
−
1
)
n
n
(
s
n
)
.
{\displaystyle \psi (s+1)=-\gamma -\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n}}{s \choose n}.}
y los números de Stirling de segunda especie vienen dados por la suma finita
{
n
k
}
=
1
k
!
∑
j
=
0
k
(
−
1
)
k
−
j
(
k
j
)
j
n
.
{\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 finita 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 constituye la base de la integral de Nörlund–Rice :
∑
k
=
0
n
(
n
k
)
(
−
1
)
k
s
−
k
=
n
!
s
(
s
−
1
)
(
s
−
2
)
⋯
(
s
−
n
)
=
Γ
(
n
+
1
)
Γ
(
s
−
n
)
Γ
(
s
+
1
)
=
B
(
n
+
1
,
s
−
n
)
{\displaystyle \sum _{k=0}^{n}{n \choose k}{\frac {(-1)^{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)}
donde
Γ
(
x
)
{\displaystyle \Gamma (x)}
es la función gamma y
B
(
x
,
y
)
{\displaystyle B(x,y)}
es la función beta .
Las funciones trigonométricas tienen identidades umbrales :
∑
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
(
s
)
n
{\displaystyle (s)_{n}}
. Los primeros términos de la serie del seno son
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 la función
sin
x
{\displaystyle \sin x}
, con (s ) n en lugar de x n .
En teoría analítica de números es de interés la suma
∑
k
=
0
B
k
z
k
,
{\displaystyle \!\sum _{k=0}B_{k}z^{k},}
donde B es el número 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
ζ
{\displaystyle \zeta }
es la función zeta de Hurwitz y
B
k
(
x
)
{\displaystyle B_{k}(x)}
son polinomios de Bernoulli . La serie no converge, pero la identidad se mantiene formalmente.
Otra identidad es
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},}
que converge para
x
>
a
{\displaystyle x>a}
. Esto se deduce de la forma general de una serie de Newton para nodos equidistantes (cuando existe, es decir, es convergente)
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).}