Arithmetic function: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
m (sp, link)
imported>Richard Pinch
(added Dirichlet convolution)
Line 4: Line 4:


==Classes of arithmetic function==
==Classes of arithmetic function==
Arithmetic functions which have some connexion with the additive or multiplicative structure of the integers are of particular interest in number theory. We define a function ''a''(''n'') on positive integers to be
Arithmetic functions which have some connexion with the additive or multiplicative structure of the integers are of particular interest in number theory.
 
===Multiplicative functions===
We define a function ''a''(''n'') on positive integers to be
* '''Totally multiplicative''' if <math>a(mn) = a(m) a(n)</math> for all ''m'' and ''n''.
* '''Totally multiplicative''' if <math>a(mn) = a(m) a(n)</math> for all ''m'' and ''n''.
* '''Multiplicative''' if <math>a(mn) = a(m) a(n)</math> whenever ''m'' and ''n'' are [[coprime]].
* '''Multiplicative''' if <math>a(mn) = a(m) a(n)</math> whenever ''m'' and ''n'' are [[coprime]].
The ''[[Dirichlet convolution]]'' of two arithmetic function ''a''(''n'') and ''b''(''n'') is defined as
:<math>a \star b (n) = \sum_{d \mid n} a(d) b(n/d) .\,</math>
If ''a'' and ''b'' are multiplicative, so is their convolution.


==Examples==
==Examples==

Revision as of 15:58, 2 December 2008

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In number theory, an arithmetic function is a function defined on the set of positive integers, usually with integer, real or complex values.


Classes of arithmetic function

Arithmetic functions which have some connexion with the additive or multiplicative structure of the integers are of particular interest in number theory.

Multiplicative functions

We define a function a(n) on positive integers to be

  • Totally multiplicative if for all m and n.
  • Multiplicative if whenever m and n are coprime.

The Dirichlet convolution of two arithmetic function a(n) and b(n) is defined as

If a and b are multiplicative, so is their convolution.

Examples

See also