Función divisor

Función divisor
Función divisor σ0(n) representada hasta n=250.
Función divisor σ1(n) representada hasta n=250.

En matemáticas, y específicamente en teoría de números, una función divisor es una función aritmética relacionada a los divisores de un entero. Cuando nos referimos a la función divisor, este cuenta el número de divisores de un entero. Este aparece en un considerable número de identidades, incluyendo relaciones con la Función zeta de Riemann y las series de Eisenstein de formas modulares. Las funciones divisor fueron estudiadas por Ramanujan, quien dio un número importante de congruencias e identidades.

Una función relacionada es función sumatoria de divisores, la cual, como su nombre lo dice, es la suma sobre las funciones divisor.

Contenido

Definición

La suma de funciones divisor positivas σx(n) esta definida como la suma de los xk potencias de los divisores positivos de n, o

\sigma_{x}(n)=\sum_{d|n} d^x\,\! .

Las notaciones d(n) y τ(n) (la función tau) son usadas para denotar σ0(n), o el número de divisores de n. Cuando x es 1, la función es llamada «función sigma o función suma de divisores», y la variable subscrita es omitida, luego σ(n) es equivalente a σ1(n). La suma alícuota de n es la suma de los divisores propios (esto es, los divisores excluídos de n mismo), de igual manera σ1(n) - n; la secuencia alícuota de n esta formada por repetidas aplicaciones de la función suma alícuota.

Ejemplo

Por ejemplo, σ0(12) es el número de divisores de 12:

σ0(12) = 10 + 20 + 30 + 40 + 60 + 120
= 1 + 1 + 1 + 1 + 1 + 1 = 6.

mientras que σ1(12) es la suma de todos los divisores:

σ1(12) = 11 + 21 + 31 + 41 + 61 + 121
= 1 + 2 + 3 + 4 + 6 + 12 = 28.

y la suma alícuota, s(12), de divisores propios es:

s(12) = 11 + 21 + 31 + 41 + 61
= 1 + 2 + 3 + 4 + 6 = 16.

Tabla de valores

n Divisores σ0(n) σ1(n) Suma alícuota
1 1 1 1 0
2 1,2 2 3 1
3 1,3 2 4 1
4 1,2,4 3 7 3
5 1,5 2 6 1
6 1,2,3,6 4 12 6
7 1,7 2 8 1
8 1,2,4,8 4 15 7
9 1,3,9 3 13 4
10 1,2,5,10 4 18 8
11 1,11 2 12 1
12 1,2,3,4,6,12 6 28 16
13 1,13 2 14 1
14 1,2,7,14 4 24 10
15 1,3,5,15 4 24 9

Propiedades

Para un número primo p,

 d(p) = 2 \,\!
 d(p^n) = n+1 \,\!
 \sigma(p) = p+1 \,\!

por que por definición, los divisores de un número primo son 1 y el mismo primo. Claramente, 1 < d(n) < n y σ(n) > n para todo n > 2.

La función divisor es multiplicativa, pero no completamente multiplicativa. La consecuencia de esto es que, si nosotros escribimos:

n = \prod_{i=1}^{r}p_{i}^{a_{i}}

donde r = ω(n) es el número de distintos factores primos de n, pi es el i-ésimo factor primo, y ai es la máxima potencia de pi por el cual n es divisible, entonces nosotros tenemos

\sigma_x(n) = \prod_{i=1}^{r} \frac{p_{i}^{(a_{i}+1)x}-1}{p_{i}^x-1}

la cual es equivalente a una formula mas útil:


\sigma_x(n) = \prod_{i=1}^{r} \sum_{j=0}^{a_{i}} p_{i}^{j x} = 
\prod_{i=1}^{r} (1 + p_{i}^x + p_{i}^{2x} + ... + p_{i}^{a_i x}).

Una ecuación para calcular τ(n) es


\tau (n)=\prod_{i=1}^{r} (a_i+1).

Por ejemplo, si n es 24, este tiene dos factores primos (p1 es 2; p2 es 3); notando que 24 es el producto de 23×31, a1 es 3 y a2 es 1. Luego nosotros podemos calcular τ(24) de esta manera:


\begin{align}
\tau(24) & = \prod_{i=1}^{2} (a_i+1) \\
{} & = (3 + 1)(1 + 1) = 4 \times 2 = 8
\end{align}


Los ocho divisores contados por la fórmula son 1, 2, 4, 8, 3, 6, 12, y 24.

Ahora notamos que s(n) = σ(n) - n. Este s(n) denota la suma de los divisores propios de n, los divisores de n , a excepción de n. Esta función es utilizada para reconocer los número perfectos los cuales son los n para el cual s(n) = n. Si s(n) > n, entonces n es un número abundante y si s(n) < n entonces n es número defectivo.

Como un ejemplo, para dos primos distintos p y q, sea n = pq.

entonces

\varphi(n) = (p-1)(q-1) = n + 1 - (p+q), \,
\sigma(n) = (p+1)(q+1) = n + 1 + (p+q). \,

En 1984, Roger Heath-Brown provó que

d(n) = d(n + 1)

ocurre un número infinito de veces.

Series de expansión

La función divisor puede ser escrita como una serie trigonométrica finita

\sigma_x(n)=\sum_{\mu=1}^{n} \mu^{x-1}\sum_{\nu=1}^{\mu}\cos\frac{2\pi\nu n}{\mu}

sin hacer referencia explicita a los divisores de n.[1]

Relaciones de series

Dos Series de Dirichlet involucaran la función divisor:

\sum_{n=1}^{\infty} \frac{\sigma_{a}(n)}{n^s}=\zeta(s) \zeta(s-a)

y

\sum_{n=1}^{\infty} \frac{\sigma_a(n)\sigma_b(n)}{n^s}=\frac{\zeta(s)\zeta(s-a)\zeta(s-b)\zeta(s-a-b)}{\zeta(2s-a-b)}.

Una serie de Lambert involucra la función divisor:

\sum_{n=1}^{\infty} q^n \sigma_a(n) = \sum_{n=1}^{\infty} \frac{n^a q^n}{1-q^n}

para arbitrarios números complejos |q| ≤ 1 y a. Esta sumación aparece en las series de Fourier de la series de Eisenstein y los invariantes de las funciones elipticas de Weierstrass.

Aproximaciones de el crecimiento

En notación de o-pequeña, la función divisor satisface la desigualdad:

\forall\epsilon>0, d(n)=o(n^\epsilon). \,\!

En notación de O-grande, Dirichlet mostró que el orden promedio de la función divisor satisface la siguiente desigualdad:

\forall x\geq1, \sum_{n\leq x}d(n)=x\log x+(2\gamma-1)x+O(\sqrt{x}),

donde γ es constante de Euler-Mascheroni. Mejorar el comportamiento asintótico O(\sqrt{x}) en esta fórmula es conocido como el problema de los divisores de Dirichlet.

El comportamiento de la función sigma es irregular. La tasa de crecimiento de la función puede ser expresada como:


\limsup_{n\rightarrow\infty}\frac{\sigma(n)}{n\ \log \log n}=e^\gamma,

donde lim sup es el límite superior. Este resultado es conocido como el teorema de Grönwall, publicado en 1913.

En 1984 Guy Robin provó que

 \sigma(n)<e^\gamma n\log \log n  \quad \quad \forall n > 5040  \,\!

se cumple si y solo si la Hipótesis de Riemann se cumple (este es el Teorema de Robin). El valor más grande conocido que no cumple la desigualdad es n=5040. Si la hipótesis de Riemann es cierta, no debe haber excepciones más grandes. Si la hipótesis de Riemann es falsa existe un número infinito de valores de n que no cumplen la desigualdad.

Un comportamiento asintótico relacionado fue dado por Jeffrey Lagarias en 2002, quien probó que la hipótesis de Riemann es equivalente a la expresión

 \sigma(n) \le H_n + \ln(H_n)e^{H_n}

para todo número natural n, donde Hn es el n-esimo número armónico.

Referencias

Bibliografía

  • Eric Bach and Jeffrey Shallit, Algorithmic Number Theory, volume 1, 1996, MIT Press. ISBN 0-262-02405-5, mire las páginas 234 en sección 8.8.
  • Robin, G. "Grandes Valeurs de la fonction somme des diviseurs et hypothèse de Riemann." J. Math. Pures Appl. 63, 187-213, 1984. Publicación original del teorema de Robin.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Función suma de divisores — En teoría de números, la función suma de divisores es una función que es una suma sobre la función divisor. Se utiliza con frecuencia en el estudio del comportamiento asintótico de la función zeta de Riemann. Varios de los estudios sobre el… …   Wikipedia Español

  • Función computable — Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing. Contenido 1 Introducción 2 Definición 3 Comentarios …   Wikipedia Español

  • Función aritmética — En teoría de números, una función aritmética es una función real o compleja ƒ(n), definida sobre el conjunto de los números naturales, que expresa alguna propiedad aritmética en función de n .[1] Funciones aditivas y multiplicativas Una función… …   Wikipedia Español

  • Suma de Ramanujan — Este artículo trata sobre la suma de Ramanujan. Para otros usos de este término, véase Sumatorio de Ramanujan. En matemáticas la, suma de Ramanujan, llamada así por Srinivasa Ramanujan y normalmente escrita como cq(n), se define donde n y q son… …   Wikipedia Español

  • Serie de Dirichlet — En matemáticas, una serie de Dirichlet es toda serie del tipo donde s y an, n = 1, 2, 3, ... son números complejos. Las series de Dirichlet juegan un número importante de roles en la teoría analítica de números. La definición más popularizada de… …   Wikipedia Español

  • Serie de Lambert — En matemática, una serie de Lambert series, llamada así en honor a Johann Heinrich Lambert, es una serie que toma la forma Esta puede ser expresada formalmente mediante la expansión del denominador: donde los coeficientes de esta nueva serie… …   Wikipedia Español

  • Anexo:Funciones matemáticas — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Constante de Euler-Mascheroni — La constante de Euler Mascheroni, (también conocida como constante de Euler ) es una constante matemática que aparece principalmente en teoría de números, y se denota con la letra griega minúscula γ (Gamma). Se define como el límite de la… …   Wikipedia Español

  • Serie de Bell — En matemática, una serie de Bell es una serie de potencias formal utilizada para estudiar la propiedades de funciones aritméticas. Las series de Bell fueron introducidas y desarrolladas por Eric Temple Bell. Dada una función aritmética f y un… …   Wikipedia Español

  • Dos — Para otros usos de este término, véase Dos (desambiguación). 2 Cardinal Dos Ordinal Segundo, a Factorización 2 (número …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”