Funzione moltiplicativa

In teoria dei numeri, una funzione moltiplicativa è una funzione aritmetica f(n) degli interi positivi n con la proprietà che f(1) = 1 e, se a e b sono coprimi, allora

${\displaystyle f(ab)=f(a)f(b)}$

Una funzione aritmetica f(n) è detta essere completamente (totalmente) moltiplicativa se f(1) = 1 e f(ab) = f(a) f(b) per tutti gli interi positivi a e b, anche se non sono coprimi.

Al di fuori della teoria dei numeri, il termine moltiplicativa viene di solito usato per funzioni con la proprietà che f(ab) = f(a) f(b) per tutti i valori di a e b; questo significa che o vale f(1) = 1, oppure che f(a) = 0 per tutti gli a tranne a = 1. Nel seguito dell'articolo si tratterà solo delle funzioni moltiplicative in teoria dei numeri.

Esempi

Molte importanti funzioni in teoria dei numeri sono moltiplicative. Alcuni esempi:

• ${\displaystyle \phi }$(n): la funzione phi di Eulero, o funzione totiente, che conta i numeri positivi coprimi (ma non maggiori di) n.
• ${\displaystyle \mu }$(n): la funzione di Möbius, legata al numero di fattori primi di numeri privi di quadrati.
• MCD(n,k): il massimo comun divisore di n e k, dove k è un intero fissato.
• d(n): Il numero di divisori positivi di n.
• ${\displaystyle \sigma }$(n): la somma di tutti i divisori positivi di n.
• ${\displaystyle \sigma }$_k(n): la funzione divisore, data dalla somma delle k-sime potenze di tutti i divisori positivi di n (dove k può essere un numero complesso qualunque). Come casi speciali,
  • ${\displaystyle \sigma }$₀(n) = d(n) e
  • ${\displaystyle \sigma }$₁(n) = ${\displaystyle \sigma }$(n).
• 1(n): la funzione costante, definita da 1(n) = 1 per ogni n (completamente moltiplicativa).
• Id(n): la funzione identità, definita da Id(n) = n (completamente moltiplicativa).
• Id_k(n): la funzione potenza, definita da Id_k(n) = n^k per ogni numero naturale (o persino complesso) k (completamente moltiplicativa). Come casi speciali abbiamo
  • Id₀(n) = 1(n) e
  • Id₁(n) = Id(n).
• ${\displaystyle \varepsilon }$(n): la funzione definita da ${\displaystyle \varepsilon }$(n) = 1 se n = 1 e = 0 se n > 1; tale funzione viene a volte chiamata unità moltiplicativa per la convoluzione di Dirichlet o semplicemente funzione unità; a volte la si trova scritta come u(n), da non confondersi con ${\displaystyle \mu }$(n). (completamente moltiplicativa).
• (n/p), il simbolo di Legendre, dove p è un numero primo fissato (completamente moltiplicativa).
• ${\displaystyle \lambda }$(n): la funzione di Liouville, collegata al numero di fattori primi che dividono n (completamente moltiplicativa).
• ${\displaystyle \gamma }$(n), definita da ${\displaystyle \gamma }$(n)=(-1)^{${\displaystyle \omega }$(n)}, dove la funzione additiva ${\displaystyle \omega }$(n) è il numero di primi distinti che dividono n.

Un esempio di funzione non moltiplicativa è la funzione aritmetica r₂(n) - il numero di rappresentazioni di n come somma dei quadrati di due interi, positivi, negativi, o zero, dove nel contare le rappresentazioni è ammesso cambiare l'ordine degli addendi. Ad esempio,

1 = 1² + 0² = (-1)² + 0² = 0² + 1² = 0² + (-1)²

e quindi r₂(1) = 4 ≠ 1, il che prova che la funzione non è moltiplicativa. Però, r₂(n)/4 è moltiplicativa.

Vedi funzione aritmetica per altri esempi di funzioni non moltiplicative.

Proprietà

Una funzione moltiplicativa è completamente determinata dai valori che assume per le potenze dei numeri primi, come conseguenza del teorema fondamentale dell'aritmetica. Se pertanto n è rappresentabile sotto forma di prodotto di potenze di numeri primi nella forma n = p^a q^b ..., allora f(n) = f(p^a) f(q^b) ...

Tale proprietà riduce significativamente il costo computazionale per ricavare i valori delle funzioni, come si può vedere nei seguenti esempi per n = 144 = 2⁴ · 3²:

d(144) = ${\displaystyle \sigma }$₀(144) = ${\displaystyle \sigma }$₀(2⁴)${\displaystyle \sigma }$₀(3²) = (1⁰ + 2⁰ + 4⁰ + 8⁰ + 16⁰)(1⁰ + 3⁰ + 9⁰) = 5 · 3 = 15,

${\displaystyle \sigma }$(144) = ${\displaystyle \sigma }$₁(144) = ${\displaystyle \sigma }$₁(2⁴)${\displaystyle \sigma }$₁(3²) = (1¹ + 2¹ + 4¹ + 8¹ + 16¹)(1¹ + 3¹ + 9¹) = 31 · 13 = 403,

${\displaystyle \sigma }$^*(144) = ${\displaystyle \sigma }$^*(2⁴)${\displaystyle \sigma }$^*(3²) = (1¹ + 16¹)(1¹ + 9¹) = 17 · 10 = 170.

Similmente abbiamo

${\displaystyle \phi }$(144)=${\displaystyle \phi }$(2⁴)${\displaystyle \phi }$(3²) = 8 · 6 = 48

In generale, se f(n) è una funzione moltiplicativa, e a, b sono due interi positivi qualunque, allora

f(a) · f(b) = f(MCD(a,b)) · f(mcm(a,b)).

Tutte le funzioni completamente moltiplicative sono omomorfismi di monoidi, e sono determinate univocamente dai valori che assumono in corrispondenza dei numeri primi.

Convoluzione

Se f e g sono due funzioni moltiplicative, si può definire una nuova funzione moltiplicativa, la convoluzione di Dirichlet di f e g, indicata come f * g, nel modo seguente:

${\displaystyle (f*g)(n)=\sum _{d|n}f(d)g(n/d)}$

dove la somma viene fatta su tutti i divisori positivi d di n. Rispetto a tale operazione, l'insieme di tutte le funzioni moltiplicative diventa un gruppo abeliano; l'elemento identità è ${\displaystyle \varepsilon }$.

Ecco alcune relazioni convolutive tra le funzioni moltiplicative elencate sopra:

• ${\displaystyle \varepsilon }$ = ${\displaystyle \mu }$ * 1 (la formula di inversione di Möbius)
• ${\displaystyle \phi }$ = ${\displaystyle \mu }$ * Id
• d = 1 * 1
• ${\displaystyle \sigma }$ = Id * 1 = ${\displaystyle \phi }$ * d
• ${\displaystyle \sigma }$_k = Id_k * 1
• Id = ${\displaystyle \phi }$ * 1 = ${\displaystyle \sigma }$ * ${\displaystyle \mu }$
• Id_k = ${\displaystyle \sigma }$_k * ${\displaystyle \mu }$

La convoluzione di Dirichlet può essere definita per funzioni aritmetiche generiche, nel qual caso dà una struttura di anello, l'anello di Dirichlet.

Bibliografia

• Tom M. Apostol, Introduction to Analytic Number Theory, (1976) Springer-Verlag, New York. ISBN 0-387-90163-9 (capitolo 2)

Voci correlate

• Prodotto di Eulero
• Serie di Bell
• Serie di Lambert

Collegamenti esterni

• (EN) Eric W. Weisstein, Funzione moltiplicativa, su MathWorld, Wolfram Research.
• (EN) Funzione moltiplicativa, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Teoria dei numeri
Numeri più usati	Naturali · Interi · Pari e dispari
Principi generali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza
Successioni di interi	Fattoriale · Successione di Fibonacci · Numero di Catalan · Numero di Perrin · Numero di Eulero · Successione di Mian-Chowla · Successione di Thue-Morse
Caratteristiche dei numeri primi	Numero primo · Lemma di Euclide · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Test di primalità · Teorema fondamentale dell'aritmetica · Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Teorema dei numeri primi
Funzioni aritmetiche	Funzione moltiplicativa · Funzione additiva · Convoluzione di Dirichlet · Funzione φ di Eulero · Funzione di Möbius · Funzione tau sui positivi · Funzione sigma · Funzione di Liouville · Funzione di Mertens
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Criteri di divisibilità · Teorema di Fermat sulle somme di due quadrati · Teorema di Wilson · Legge di reciprocità quadratica
Congetture	Congettura di Goldbach · Congettura di Polignac · Congettura abc · Congettura dei numeri primi gemelli · Congettura di Legendre · Nuova congettura di Mersenne · Congettura di Collatz · Ipotesi di Riemann
Altro	Problema di Waring
Principali teorici	Fibonacci · Fermat · Gauss · Eulero · Legendre · Riemann · Dirichlet
Discipline connesse	Teoria algebrica dei numeri · Teoria analitica dei numeri · Crittografia · Teoria computazionale dei numeri

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica