Nmero de Bernoulli

Este artculo o seccin necesita referencias que aparezcan en una publicacin

acreditada, como revistas especializadas, monografas, prensa diaria o pginas de
Internet fidedignas. Este aviso fue puesto el 6 de enero de 2014.
Puedes aadirlas o avisar al autor principal del artculo en su pgina de discusin
pegando: {{subst:Aviso referencias|Nmero de Bernoulli}}

~~~~

En matemticas, los nmeros de Bernoulli (denotados por

y, a veces, por
con el fin
de distinguirlos de los nmeros de Bell) constituyen una sucesin de nmeros racionales con
profundas conexiones en teora de nmeros.
Fueron llamados as por Abraham de Moivre, en honor de Jakob Bernoulli, primer matemtico
que los estudi. Los nmeros de Bernoulli tambin aparecen en la expansin de las
funciones tangente y tangente hiperblica mediante series de Taylor, en la frmula de EulerMaclaurin y en las expresiones de ciertos valores de la funcin zeta de Riemann.
ndice
[ocultar]

1Introduccin
2Definicin de los nmeros de Bernoulli

3Algunos valores

4Identidades relacionadas

5Propiedades aritmticas
5.1Continuidad p-dica

6Vase tambin

7Enlaces externos

Introduccin[editar]
Histricamente, surgieron de los intentos de obtener una forma cerrada de la suma de
potencias de nmeros naturales:

Las formas cerradas de la expresin son siempre polinomios en de orden

. Se
obtuvo una de dichas formas mediante polinomios de Bernoulli y otra mediante el uso de
nmeros de Bernoulli:

Y los polinomios de Bernoulli se pueden calcular a partir de esta frmula:

Donde los
son los nmeros de Bernouilli. Y sabiendo que
dems nmeros se calculan mediante la siguiente frmula recursiva:

Por ejemplo, si

, los

, tenemos que:

El primer algoritmo para la generacin automtica de nmeros de

Bernoulli fue descrito por primera vez por Ada Byron en sus notas sobre
la mquina analtica de Charles Babbage a principios del siglo XVIII.

Definicin de los nmeros de Bernoulli[editar]

Se pueden definir de diversas formas equivalentes:

Como los trminos independientes de los polinomios de

Bernoulli

correspondientes, es decir,

Mediante una funcin generatriz G(x), en este caso:

donde cada coeficiente Bn de la serie de Taylor es el n-simo nmero

de Bernoulli.

Algunos valores[editar]
A continuacin se ofrecen los primeros nmeros de Bernoulli (las
sucesiones completas de numeradores y denominadores
en OEIS son, respectivamente, A027641 y A027642):
n 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
B
n

691
361 4386
174
1 1/ 1/ 1/4 1/ 5/6
7/
0
0
0
0
0 /273 0
0 7/51 0 7/79 0 611/3
/2 6
30
2
30
6
6
0
0
8
30

Se puede demostrar que

para todo n impar distinto de 1. La

peculiar forma del valor de

parece sealar que los
valores de los nmeros de Bernoulli no tienen una descripcin
elemental; de hecho, esencialmente son valores de la funcin zeta de

Riemann para enteros negativos y estn asociados a propiedades

profundas de la teora de los nmeros y, por ello, no se espera que
tengan una formulacin trivial.

Identidades relacionadas[editar]
Leonhard Euler expres los nmeros de Bernoulli en trminos de la
funcin zeta de Riemann con la expresin siguiente:

Propiedades aritmticas[editar]
Como ya se ha indicado, los nmeros de Bernoulli pueden
expresarse en trminos de la funcin zeta de Riemann, lo que
implica que en esencia, son valores de la funcin zeta para los
enteros negativos. As, se puede esperar que tengan propiedades
aritmticas de ndole no trivial, un hecho que fue descubierto
por Ernst Kummer en sus trabajos sobre el ltimo teorema de
Fermat.
Las propiedades de los nmeros de Bernoulli relacionados con su
divisibilidad se relacionan con los grupos de clases
ideales de campos ciclotmicos gracias al teorema de Kummer y
se refuerzan gracias al teorema de Herbrand-Ribet; tambin se
relacionan con los campos cuadrticos gracias al las
proposiciones de Ankey-Artin-Chowla. Tienen tambin conexin
con las teoras-K algebraicas; si
entonces el orden de
si n es impar.

es el numerador de
es

si n es par y

Adems, relacionada con la cuestin de la divisibilidad, existe un

teorema (von Staudt-Clausen) que nos indica que si sumamos
1/p a
para todo nmero primo p tal que
, el resultado
es un nmero entero. Este hecho nos permite caracterizar de
forma inmediata a los denominadores de los nmeros de
Bernoulli
distintos de cero como el producto de todos los
nmeros primos p tales que
. En consecuencia los
denominadores estn libres de cuadrados y son divisibles por 6.
Finalmente, otro resultado (la conjetura de AgohGiuga) postula
que p es un nmero primo si y solo si
.

Continuidad p-dica[editar]
Una importante propiedad relacionada con la congruencia de los
nmeros de Bernoulli es la denominada propiedad de la
continuidad p-dica. Esta propiedad dice lo siguiente:
si b, m y n son enteros positivos tales que m y n no son divisibles
por p - 1 y
, donde () es la funcin de
Euler, entonces:

Y, puesto que
escribirse como:

, tambin puede

donde u = 1 - m y v = 1 - n, de forma que 'u y v ni son

positivos ni son congruentes con
. En
esencia, esto lo que nos indica es que la funcin zeta de
Riemann, con
extrados de la frmula del producto
de Euler, es continua tanto en los nmeros pdicos como en los nmeros enteros negativos
congruentes mdulo p - 1 con un aconcreto tal
que
, lo que permite extender el
resultado a una funcin continua
enteros p-dicos
p-dica.

para todos los

en lo que se denomina funcin zeta