Tabla de series newtonianas

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.

Lista

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 xn 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 xn.

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).}

Véase también

  • Transformada binomial
  • Anexo:Fórmulas factoriales y binomiales
  • Integral de Nörlund–Rice
  • Teorema de Carlson

Referencias

  • Philippe Flajolet y Robert Sedgewick, "Transformaciones de Mellin y asintóticas: diferencias finitas e integrales de Rice (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última). " Theoretical Computer Science '' 144 (1995) pp 101-124.
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q7673219
  • Wd Datos: Q7673219