Número de factores primos de un número natural n
En teoría de números , las funciones primo omega y cuentan el número de factores primos de un número natural. De este modo (pequeño omega) cuenta cada factor primo distinto , mientras que la función relacionada (gran omega) cuenta el número total de factores primos respetando su multiplicidad ( ver función aritmética ). Es decir, si tenemos una factorización prima de de la forma para primos distintos ( ), entonces las respectivas funciones omega primas vienen dadas por y . Estas funciones de conteo de factores primos tienen muchas relaciones teóricas de números importantes.
Propiedades y relaciones
La función es aditiva y es completamente aditiva .
Si se divide al menos una vez, lo contamos solo una vez, por ejemplo .
Si se divide por entonces contamos los exponentes, por ejemplo . Como de costumbre, la media es el poder exacto de dividir .
Si entonces es libre de cuadrados y está relacionado con la función de Möbius por
Si entonces es una potencia prima y si entonces es un número primo.
Se sabe que el orden promedio de la función divisor satisface . [1]
Como muchas funciones aritméticas, no existe una fórmula explícita para o, pero existen aproximaciones.
Una serie asintótica para el orden promedio de viene dada por [2]
donde es la constante de Mertens y son las constantes de Stieltjes .
La función está relacionada con las sumas de divisores sobre la función de Möbius y la función de divisor incluyendo las sumas siguientes. [3]
La función característica de los números primos se puede expresar mediante una convolución con la función de Möbius : [4]
Una identidad exacta relacionada con la partición viene dada por [5]
donde está la función de partición , es la función de Möbius , y la secuencia triangular se expande en
en términos del símbolo infinito q-Pochhammer y las funciones de partición restringidas que denotan respectivamente el número de en todas las particiones en un número impar ( par ) de partes distintas. [6]
Continuación al plano complejo.
Se ha encontrado una continuación de , aunque no es analítica en todas partes. [7] Tenga en cuenta que se utiliza la función normalizada .
Esto está estrechamente relacionado con la siguiente identidad de partición. Considere particiones de la forma
donde , y son números enteros positivos y . El número de particiones viene dado por . [8]
Orden promedio y funciones sumatorias.
Un orden promedio de ambos y es . Cuando es primo, el límite inferior del valor de la función es . De manera similar, si es primordial , entonces la función es tan grande como el orden promedio. Cuando es una potencia de 2 , entonces
. [9]
Las asintóticas para las funciones sumatorias sobre , y
se calculan respectivamente en Hardy y Wright como [10] [11]
donde es la constante de Mertens y la constante está definida por
Otras sumas que relacionan las dos variantes de las funciones omega principales incluyen [12]
y
Ejemplo I: una función sumatoria modificada
En este ejemplo sugerimos una variante de las funciones sumatorias estimadas en los resultados anteriores para valores suficientemente grandes . Luego probamos una fórmula asintótica para el crecimiento de esta función sumatoria modificada derivada de la estimación asintótica de proporcionada en las fórmulas de la subsección principal de este artículo anterior. [13]
Para ser completamente preciso, definamos la función sumatoria con índice impar como
donde denota soporte de Iverson . Entonces tenemos eso
La prueba de este resultado se obtiene observando primero que
y luego aplicando el resultado asintótico de Hardy y Wright para la función sumatoria sobre , denotada por , de la siguiente forma:
Ejemplo II: Funciones sumatorias para los llamados momentos factoriales de ω(n)
Los cálculos ampliados en el capítulo 22.11 de Hardy y Wright proporcionan estimaciones asintóticas para la función sumatoria.
estimando el producto de estas funciones omega de dos componentes como
De manera similar, podemos calcular fórmulas asintóticas de manera más general para las funciones sumatorias relacionadas sobre los llamados momentos factoriales de la función .
serie dirichlet
Una serie de Dirichlet conocida que involucra la función zeta de Riemann viene dada por [14]
También podemos ver que
La función es completamente aditiva , donde es fuertemente aditiva (aditiva) . Ahora podemos probar un breve lema de la siguiente forma que implica fórmulas exactas para las expansiones de la serie de Dirichlet sobre ambos y :
Lema. Supongamos que es una función aritmética fuertemente aditiva definida de manera que sus valores en potencias primas vienen dados por , es decir, para primos y exponentes distintos . La serie de Dirichlet se amplía con
Prueba. Podemos ver eso
Esto implica que
donde las series y productos correspondientes sean convergentes. En la última ecuación, hemos utilizado la representación del producto de Euler de la función zeta de Riemann .
El lema implica que para ,
donde es la función zeta prima y es la función lambda de Liouville .
La distribución de la diferencia de funciones omega primarias.
La distribución de los distintos valores enteros de las diferencias es regular en comparación con las propiedades semialeatorias de las funciones componentes. Para , define
Estas cardinalidades tienen una secuencia correspondiente de densidades límite tales que para
Estas densidades son generadas por los productos primarios.
Con la constante absoluta , las densidades satisfacen
Compárese con la definición de productos primos definida en la última sección de [15] en relación con el teorema de Erdős-Kac .
Ver también
Notas
- ^ Esta desigualdad se da en la sección 22.13 de Hardy y Wright.
- ^ SR Finch, Dos series asintóticas, Constantes matemáticas II, Universidad de Cambridge. Prensa, págs. 21-32, [1]
- ^ Cada uno de estos a partir de la segunda identidad de la lista se cita individualmente en las páginas Convoluciones de funciones aritméticas de Dirichlet , identidad de Menon y otras fórmulas para la función totiente de Euler . La primera identidad es una combinación de dos sumas de divisores conocidos citados en la Sección 27.6 del Manual de Funciones Matemáticas del NIST.
- ^ Esto se sugiere como ejercicio en el libro de Apostol. Es decir, escribimos dónde . Podemos formar la serie de Dirichlet sobre dónde está la función zeta prima . Entonces resulta obvio ver que es la función indicadora de los números primos.
- ^ Esta identidad se prueba en el artículo de Schmidt citado en esta página a continuación.
- ^ Esta secuencia triangular también aparece de manera destacada en los teoremas de factorización de series de Lambert demostrados por Merca y Schmidt (2017-2018)
- ^ Hoelscher, Zachary; Palsson, Eyvindur (5 de diciembre de 2020). "Contar particiones restringidas de números enteros en fracciones: simetría y modos de la función generadora y una conexión con ω (t)". La revista PUMP de investigación de pregrado . 3 : 277–307. arXiv : 2011.14502 . ISSN 2576-3725.
- ^ Hoelscher, Zachary; Palsson, Eyvindur (5 de diciembre de 2020). "Contar particiones restringidas de números enteros en fracciones: simetría y modos de la función generadora y una conexión con ω (t)". La revista PUMP de investigación de pregrado . 3 : 277–307. arXiv : 2011.14502 . ISSN 2576-3725.
- ^ Para obtener referencias a cada una de estas estimaciones de orden promedio, consulte las ecuaciones (3) y (18) de la referencia de MathWorld y la Sección 22.10-22.11 de Hardy y Wright.
- ^ Consulte las secciones 22.10 y 22.11 para obtener referencias y derivaciones explícitas de estas estimaciones asintóticas.
- ^ En realidad, la prueba del último resultado dada en Hardy y Wright sugiere un procedimiento más general para extraer estimaciones asintóticas de los momentos para cualquiera considerando las funciones sumatorias de los momentos factoriales de la forma para casos más generales de .
- ^ Hardy y Wright Capítulo 22.11.
- ^ Nb, esta suma es sugerida por un trabajo contenido en un manuscrito inédito del colaborador de esta página relacionado con el crecimiento de la función de Mertens . Por lo tanto, no se trata simplemente de una estimación vacía y/o trivial obtenida con el fin de exponerla aquí.
- ^ Esta identidad se encuentra en la Sección 27.4 del Manual de funciones matemáticas del NIST.
- ^ Rényi, A.; Turán, P. (1958). «Sobre un teorema de Erdös-Kac» (PDF) . Acta Aritmética . 4 (1): 71–84. doi :10.4064/aa-4-1-71-84.
Referencias
- GH Hardy y EM Wright (2006). Introducción a la teoría de los números (6ª ed.). Prensa de la Universidad de Oxford.
- HL Montgomery y RC Vaughan (2007). Teoría de números multiplicativos I. Teoría clásica (1ª ed.). Prensa de la Universidad de Cambridge.
- Schmidt, Maxie (2017). "Teoremas de factorización para productos Hadamard y derivadas de orden superior de funciones generadoras de series de Lambert". arXiv : 1712.00608 [matemáticas.NT].
- Weisstein, Eric. "Factores primos distintos". MundoMatemático . Consultado el 22 de abril de 2018 .
enlaces externos
- OEIS Wiki para tablas y números de secuencia relacionados
- OEIS Wiki sobre factores primos