Función aritmética

En teoría de números, unha función aritmética, ou función de teoría de números  é xeralmente calquera función f(n) cuxo dominio son os enteiros positivos e cuxo rango é un subconxunto dos números complexos.Niven & Zuckerman, 4.2.Nagell, I.9.Bateman & Diamond, 2.1. Hardy e Wright inclúen na súa definición o requisito de que unha función aritmética "expresa algunha propiedade aritmética de n".Hardy & Wright, intro. to Ch. XVI Hai unha clase máis grande de funcións de teoría de números que non se axustan a esta definición, por exemplo, as funcións de contaxe de primos. Este artigo ofrece ligazóns a funcións de ambas as clases.

Un exemplo de función aritmética é a función divisor cuxo valor para un número enteiro positivo n é igual ao número de divisores de n.

As funcións aritméticas adoitan ser extremadamente irregulares (ver táboa embaixo), mais algunhas delas teñen expansións en serie en termos da suma de Ramanujan.

 Funcións multiplicativas e aditivas 
Unha función aritmética "a" pode ser

 completamente aditiva se a (mn) = a (m) + a(n) para todos os números naturais m e n;
 completamente multiplicativa se a (mn) = a(m) a(n) para todos os números naturais m e n;

Dous números enteiros m e n chámanse coprimos se o seu máximo común divisor é 1, é dicir, se non hai ningún número primo que divida a ambos os dous.

Daquela unha función aritmética pode ser

 aditiva se a (mn) = a(m) + a(n) para todos os números naturais primos m e n ;
 multiplicativa se a(mn) = a(m) a(n) para todos os números naturais primos m e n.

 Notación 
Neste artigo,  e  significan que a suma ou produto está feito sobre todos os números primos:  e  Do mesmo xeito,  e  significa que a suma ou produto están feitos sobre todas as potencias de primos con expoñente estritamente positivo: 

As notacións  e  significa que a suma ou o produto faise sobre todos os divisores positivos de n, incluíndo 1 e n. Por exemplo, se , entón 

As notacións pódense combinar:  e  significa que a suma ou o produto faise sobre todos os divisores primos de n. Por exemplo, se n = 18, entón e do mesmo xeito  e  significan que a suma ou o produto están feitos sobre todas as potencias de primos que dividen n. Por exemplo, se n = 24, entón 

 Ω(n), ω (n), νp( n), descomposición en potencias de primos 
O teorema fundamental da aritmética estabelece que calquera número enteiro positivo n pode representarse unicamente como un produto de potencias de números primos:  onde p 1 < p 2 < ... < p k son primos e os aj son enteiros positivos. 

Moitas veces é conveniente escribir isto como un produto infinito sobre todos os primos, onde todos, menos un número finito, teñen un expoñente cero. Defínese a valoración p-ádica νp (n) como o expoñente da maior potencia do primo p que divide n. É dicir, se p é un dos pi entón νp (n) = ai, se non é cero. Logo

En termos do anterior, as funcións omega de números primos ω e Ω defínense por
, 
.  

Para evitar a repetición, sempre que sexa posíbel as fórmulas para as funcións enumeradas neste artigo danse en termos de n e os correspondentes pi, ai, ω e Ω.

Exemplo para : 

 Funcións multiplicativas 

 σk(n),  d(n), sumas de divisores 
σk(n) (función divisor)  é a suma das k-ésimas potencias dos divisores positivos de n, incluíndo 1 e n, onde k é un número complexo.

σ1(n), é a suma dos divisores (positivos) de n, adoita denotarse por σ(n) .

Dado que un número positivo para a potencia cero é 1, temos que σ0(n) é polo tanto o número de divisores (positivos) de n; adoita denotarse por d(n).

Facendo k = 0 no segundo produto dá 

 φ(n), Función totiente de Euler 
φ(n), a función totiente de Euler, é o número de enteiros positivos non maiores que n que son coprimos con n.

 Jk (n), Función totiente de Jordan 
Jk(n), a función totiente de Jordan, é o número de k-tuplas de enteiros positivos todos menores ou iguais a n que forman unha tupla coprima (k + 1) xunto con n. É unha xeneralización do totiente de Euler,  . 

 μ( n ), Función de Möbius 
μ(n), a función de Möbius, é importante debido á fórmula de  inversión de Möbius.

Isto implica que μ(1) = 1. (Porque Ω(1) = ω(1) = 0.)

 (n), función tau de Ramanujan 
(n), a función tau de Ramanujan, defínese pola identidade da súa función xeradora:

É difícil dicir exactamente que "propiedade aritmética de n expresa" Hardy, Ramanujan, § 10.2 (sería  é (2π) −12 veces o n-ésimo coeficiente de Fourier na expansión q da función discriminante modular)Apostol, Modular Functions ..., § 1.15, Ch. 4, and ch. 6 (aparece nalgúns casos nos coeficientes da expansión de formas modulares).

 c q ( n ), suma de Ramanujan 
cq(n), a suma de Ramanujan, é a suma das potencias n-ésimas das raíces primitivas q-ésimas da unidade: 

Aínda que se define como unha suma de números complexos (irracionais para a maioría dos valores de q), é un número enteiro. Para un valor fixo de n é multiplicativo en q:

 Se q e r son primos primos, entón 

 ψ ( n ), función psi de Dedekind 
A función psi de Dedekind, usada na teoría das funcións modulares, defínese pola fórmula 

 Funcións completamente multiplicativas 

 λ(n), función de Liouville 
λ(n), a función de Liouville, defínese por 

 χ(n), caracteres 
Todos os caracteres de Dirichlet χ(n) son completamente multiplicativos. Dous caracteres teñen notacións especiais:

O carácter principal (mod n) denótase por χ0(a)). Defínese como 

O carácter cadrático (mod n) denótase co símbolo de Jacobi para n impar (non está definido para n par): 

Nesta fórmula  é o símbolo de Legendre, definido para todos os números enteiros a e todos os primos impares p por 

Seguindo a convención normal para o produto baleiro, 

 Funcións aditivas 

 ω (n), divisores primos distintos 
ω( n ), definido anteriormente como o número de números primos distintos que dividen a n, é aditiva.

 Funcións completamente aditivas 

 Ω( n ), divisores primos 
Ω(n), definido anteriormente como o número de factores primos de n contados con multiplicidades, é completamente aditiva.

 νp(n), valoración p-ádica dun número enteiro n 
Para un primo fixo p, νp(n), definida anteriormente como o expoñente da maior potencia de p dividindo n, é completamente aditiva.

 Derivada logarítmica 
, onde  é a derivada aritmética.

 Primeiros 100 valores dalgunhas funcións aritméticas 
nfactorización(n)ω(n)Ω(n)(n)(n)(n)(n)0(n)1(n)2(n)r2(n)r3(n)r4(n)11100110011146822111−1−10.6912354122433211−1−11.10224100832422212100.6923721462455411−1−11.61326268244862 · 32221103412500249677611−1−11.95428500064823413−100.6944158541224932612101.10431391430104102 · 5422110441813082414411111011−1−12.405212122024961222 · 3423−1005628210089613131211−1−12.566214170824112142 · 76221106424250048192153 · 58221106424260001921624814100.696531341462417171611−1−12.837218290848144182 · 32623−100763945543631219191811−1−12.9482203620241602022 · 5823−1008642546824144213 · 712221108432500048256222 · 111022110843661002428823232211−1−13.149224530001922423 · 382410098608500249625522012101.6193316511230248262 · 131222110944285087233627331813−101.1094408200323202822 · 71223−100965610500019229292811−1−13.3710230842872240302 · 3 · 5833−1−1010872130004857631313011−1−13.43112329620025632251615−100.6911663136541224333 · 112022110114481220048384342 · 171622110114541450848432355 · 724221101144813000483843622 · 32122410011991191143031237373611−1−13.61122381370824304382 · 191822110124601810072480393 · 132422110124561700004484023 · 5162410012890221082414441414011−1−13.71132421682896336422 · 3 · 71233−1−1013896250004876843434211−1−13.761424418500243524422 · 112023−1001468425620242884532 · 52423−100146782366872624462 · 23222211014472265004857647474611−1−13.85152482210003844824 · 31625−10015101243410089649724212101.95153572451454456502 · 522023−1001569332551284744513 · 1732221101547229000485765222 · 132423−10015698357082433653535211−1−13.97162542810872432542 · 3318241001681204100096960555 · 114022110164723172005765623 · 724241001681204250048192573 · 193622110164803620048640582 · 29282211016490421082472059595811−1−14.081726034820724806022 · 3 · 51634100171216854600057661616011−1−14.11182623722872496622 · 3130221101849648100967686332 · 73623−10018610445500083264263216100.6918712754614624655 · 1348221101848444201696672662 · 3 · 112033−1−101881446100096115267676611−1−14.201926844900245446822 · 173223−1001961266090848432693 · 234422110194965300096768702 · 5 · 72433−1−101981446500048115271717011−1−14.26202725042005767223 · 322425−1002012195773543631273737211−1−14.29212745330848592742 · 37362211021411468508120912753 · 524023−10021612465100569927622 · 193623−1002161407602024480777 · 116022110214966100096768782 · 3 · 132433−1−102181688500048134479797811−1−14.37222806242006408024 · 53225−1002210186886682414481345414101.1022512173814102968822 · 4140221102241268410848100883838211−1−14.422328468900726728422 · 3 · 72434100231222410500048768855 · 17642211023410875401648864862 · 434222110234132925001201056873 · 2956221102341208420009608823 · 1140241002381801037002428889898811−1−14.492429079228144720902 · 32 · 5243410024122341183081201872917 · 13722211024411285000488969222 · 234423−1002461681113000576933 · 31602211024412896200481024942 · 474622110244144110500961152955 · 1972221102441209412009609625 · 332261002412252136500249697979611−1−14.57252989410848784982 · 724223−10025617112255410813689932 · 116023−10025615611102072124810022 · 524024100259217136711230744nfactorización(n)ω(n)Ω(n)(n)(n)(n)(n)0(n)1(n)2(n)r2(n)r3(n)r4(n)

 Notas 

 Véxase tamén 

 Bibliografía 

















 Outros artigos 
 Lista de funcións matemáticas.
 Ligazóns externas 

 Matthew Holden, Michael Orrison, Michael Varble Yet another Generalization of Euler's Totient Function
 Huard, Ou, Spearman, and Williams. Elementary Evaluation of Certain Convolution Sums Involving Divisor Functions 
 Dineva, Rosica, The Euler Totient, the Möbius, and the Divisor Functions 
 László  Tóth, Menon's Identity and arithmetical sums representing functions of several variables

Categoría:Funcións
Categoría:Teoría de números
Categoría:Wikipedia:Páxinas con traducións non revisadas