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