|
Dirichlet Ring
In mathematics, the Dirichlet convolution is a binary operation defined for arithmetic functions; it is important in number theory. It was developed by Peter Gustav Lejeune Dirichlet. Definition If f , g : \mathbb\to\mathbb are two arithmetic functions from the positive integers to the complex numbers, the ''Dirichlet convolution'' is a new arithmetic function defined by: : (f*g)(n) \ =\ \sum_ f(d)\,g\!\left(\frac\right) \ =\ \sum_\!f(a)\,g(b) where the sum extends over all positive divisors ''d'' of ''n'', or equivalently over all distinct pairs of positive integers whose product is ''n''. This product occurs naturally in the study of Dirichlet series such as the Riemann zeta function. It describes the multiplication of two Dirichlet series in terms of their coefficients: :\left(\sum_\frac\right) \left(\sum_\frac\right) \ = \ \left(\sum_\frac\right). Properties The set of arithmetic functions forms a commutative ring, the , under pointwise addition, where is defin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutativity
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name of the property that says something like or , the property can also be used in more advanced settings. The name is needed because there are operations, such as division and subtraction, that do not have it (for example, ); such operations are ''not'' commutative, and so are referred to as ''noncommutative operations''. The idea that simple operations, such as the multiplication and addition of numbers, are commutative was for many years implicitly assumed. Thus, this property was not named until the 19th century, when mathematics started to become formalized. A similar property exists for binary relations; a binary relation is said to be symmetric if the relation applies regardless of the order of its operands; for example, equality is s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Von Mangoldt Function
In mathematics, the von Mangoldt function is an arithmetic function named after German mathematician Hans von Mangoldt. It is an example of an important arithmetic function that is neither multiplicative nor additive. Definition The von Mangoldt function, denoted by , is defined as :\Lambda(n) = \begin \log p & \textn=p^k \text p \text k \ge 1, \\ 0 & \text \end The values of for the first nine positive integers (i.e. natural numbers) are :0 , \log 2 , \log 3 , \log 2 , \log 5 , 0 , \log 7 , \log 2 , \log 3, which is related to . Properties The von Mangoldt function satisfies the identityApostol (1976) p.32Tenenbaum (1995) p.30 :\log(n) = \sum_ \Lambda(d). The sum is taken over all integers that divide . This is proved by the fundamental theorem of arithmetic, since the terms that are not powers of primes are equal to . For example, consider the case . Then :\begin \sum_ \Lambda(d) &= \Lambda(1) + \Lambda(2) + \Lambda(3) + \Lambda(4) + \Lambda(6) + \Lambda(12) \\ &= \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jordan's Totient Function
Let k be a positive integer. In number theory, the Jordan's totient function J_k(n) of a positive integer n equals the number of k-tuples of positive integers that are less than or equal to n and that together with n form a coprime set of k+1 integers. Jordan's totient function is a generalization of Euler's totient function, which is given by J_1(n). The function is named after Camille Jordan. Definition For each k, Jordan's totient function J_k is multiplicative and may be evaluated as :J_k(n)=n^k \prod_\left(1-\frac\right) \,, where p ranges through the prime divisors of n. Properties * \sum_ J_k(d) = n^k. \, :which may be written in the language of Dirichlet convolutions as :: J_k(n) \star 1 = n^k\, :and via Möbius inversion as ::J_k(n) = \mu(n) \star n^k. :Since the Dirichlet generating function of \mu is 1/\zeta(s) and the Dirichlet generating function of n^k is \zeta(s-k), the series for J_k becomes ::\sum_\frac = \frac. * An average order of J_k(n) is ::\frac. * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liouville's Function
The Liouville Lambda function, denoted by λ(''n'') and named after Joseph Liouville, is an important arithmetic function. Its value is +1 if ''n'' is the product of an even number of prime numbers, and −1 if it is the product of an odd number of primes. Explicitly, the fundamental theorem of arithmetic states that any positive integer ''n'' can be represented uniquely as a product of powers of primes: n = p_1^\cdots p_k^ where ''p''1 0 is some absolute limiting constant. Define the related sum : T(n) = \sum_^n \frac. It was open for some time whether ''T''(''n'') ≥ 0 for sufficiently big ''n'' ≥ ''n''0 (this conjecture is occasionally–though incorrectly–attributed to Pál Turán). This was then disproved by , who showed that ''T''(''n'') takes negative values infinitely often. A confirmation of this positivity conjecture would have led to a proof of the Riemann hypothesis, as was shown by Pál Turán. Generalizations More generally, we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler's Totient Function
In number theory, Euler's totient function counts the positive integers up to a given integer that are relatively prime to . It is written using the Greek letter phi as \varphi(n) or \phi(n), and may also be called Euler's phi function. In other words, it is the number of integers in the range for which the greatest common divisor is equal to 1. The integers of this form are sometimes referred to as totatives of . For example, the totatives of are the six numbers 1, 2, 4, 5, 7 and 8. They are all relatively prime to 9, but the other three numbers in this range, 3, 6, and 9 are not, since and . Therefore, . As another example, since for the only integer in the range from 1 to is 1 itself, and . Euler's totient function is a multiplicative function, meaning that if two numbers and are relatively prime, then . This function gives the order of the multiplicative group of integers modulo (the group of units of the ring \Z/n\Z). It is also used for defining the RSA e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Divisor Function
In mathematics, and specifically in number theory, a divisor function is an arithmetic function related to the divisors of an integer. When referred to as ''the'' divisor function, it counts the ''number of divisors of an integer'' (including 1 and the number itself). It appears in a number of remarkable identities, including relationships on the Riemann zeta function and the Eisenstein series of modular forms. Divisor functions were studied by Ramanujan, who gave a number of important Modular arithmetic, congruences and identity (mathematics), identities; these are treated separately in the article Ramanujan's sum. A related function is the divisor summatory function, which, as the name implies, is a sum over the divisor function. Definition The sum of positive divisors function σ''z''(''n''), for a real or complex number ''z'', is defined as the summation, sum of the ''z''th Exponentiation, powers of the positive divisors of ''n''. It can be expressed in Summation#Capital ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Inversion Formula
In mathematics, the classic Möbius inversion formula is a relation between pairs of arithmetic functions, each defined from the other by sums over divisors. It was introduced into number theory in 1832 by August Ferdinand Möbius. A large generalization of this formula applies to summation over an arbitrary locally finite partially ordered set, with Möbius' classical formula applying to the set of the natural numbers ordered by divisibility: see incidence algebra. Statement of the formula The classic version states that if and are arithmetic functions satisfying : g(n)=\sum_f(d)\quad\textn\ge 1 then :f(n)=\sum_\mu(d)g\left(\frac\right)\quad\textn\ge 1 where is the Möbius function and the sums extend over all positive divisors of (indicated by d \mid n in the above formulae). In effect, the original can be determined given by using the inversion formula. The two sequences are said to be Möbius transforms of each other. The formula is also correct if and are funct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Function
The Möbius function is a multiplicative function in number theory introduced by the German mathematician August Ferdinand Möbius (also transliterated ''Moebius'') in 1832. It is ubiquitous in elementary and analytic number theory and most often appears as part of its namesake the Möbius inversion formula. Following work of Gian-Carlo Rota in the 1960s, generalizations of the Möbius function were introduced into combinatorics, and are similarly denoted . Definition For any positive integer , define as the sum of the primitive th roots of unity. It has values in depending on the factorization of into prime factors: * if is a square-free positive integer with an even number of prime factors. * if is a square-free positive integer with an odd number of prime factors. * if has a squared prime factor. The Möbius function can alternatively be represented as : \mu(n) = \delta_ \lambda(n), where is the Kronecker delta, is the Liouville function, is the number of dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indicator Function
In mathematics, an indicator function or a characteristic function of a subset of a set is a function that maps elements of the subset to one, and all other elements to zero. That is, if is a subset of some set , one has \mathbf_(x)=1 if x\in A, and \mathbf_(x)=0 otherwise, where \mathbf_A is a common notation for the indicator function. Other common notations are I_A, and \chi_A. The indicator function of is the Iverson bracket of the property of belonging to ; that is, :\mathbf_(x)= \in A For example, the Dirichlet function is the indicator function of the rational numbers as a subset of the real numbers. Definition The indicator function of a subset of a set is a function \mathbf_A \colon X \to \ defined as \mathbf_A(x) := \begin 1 ~&\text~ x \in A~, \\ 0 ~&\text~ x \notin A~. \end The Iverson bracket provides the equivalent notation, \in A/math> or to be used instead of \mathbf_(x)\,. The function \mathbf_A is sometimes denoted , , , or even just . Nota ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Incidence Algebra
In order theory, a field of mathematics, an incidence algebra is an associative algebra, defined for every locally finite partially ordered set and commutative ring with unity. Subalgebras called reduced incidence algebras give a natural construction of various types of generating functions used in combinatorics and number theory. Definition A locally finite poset is one in which every closed interval : 'a, b''= is finite. The members of the incidence algebra are the functions ''f'' assigning to each nonempty interval 'a, b''a scalar ''f''(''a'', ''b''), which is taken from the ''ring of scalars'', a commutative ring with unity. On this underlying set one defines addition and scalar multiplication pointwise, and "multiplication" in the incidence algebra is a convolution defined by :(f*g)(a, b)=\sum_f(a, x)g(x, b). An incidence algebra is finite-dimensional if and only if the underlying poset is finite. Related concepts An incidence algebra is analogous to a group algebr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arithmetical Function
In number theory, an arithmetic, arithmetical, or number-theoretic function is for most authors any function ''f''(''n'') whose domain is the positive integers and whose range is a subset of the complex numbers. Hardy & Wright include in their definition the requirement that an arithmetical function "expresses some arithmetical property of ''n''". An example of an arithmetic function is the divisor function whose value at a positive integer ''n'' is equal to the number of divisors of ''n''. There is a larger class of number-theoretic functions that do not fit the above definition, for example, the prime-counting functions. This article provides links to functions of both classes. Arithmetic functions are often extremely irregular (see table), but some of them have series expansions in terms of Ramanujan's sum. Multiplicative and additive functions An arithmetic function ''a'' is * completely additive if ''a''(''mn'') = ''a''(''m'') + ''a''(''n'') for all natural numbers ''m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
