Mathematical tool for summing multiplicative functions
An example of the Dirichlet hyperbola method with and
In number theory, the Dirichlet hyperbola method is a technique to evaluate the sum
where is a multiplicative function. The first step is to find a pair of multiplicative functions and such that, using Dirichlet convolution, we have ; the sum then becomes
where the inner sum runs over all ordered pairs of positive integers such that . In the Cartesian plane, these pairs lie on a hyperbola, and when the double sum is fully expanded, there is a bijection between the terms of the sum and the lattice points in the first quadrant on the hyperbolas of the form , where runs over the integers : for each such point , the sum contains a term , and vice versa.
Let be a real number, not necessarily an integer, such that , and let . Then the lattice points can be split into three overlapping regions: one region is bounded by and , another region is bounded by and , and the third is bounded by and . In the diagram, the first region is the union of the blue and red regions, the second region is the union of the red and green, and the third region is the red. Note that this third region is the intersection of the first two regions. By the principle of inclusion and exclusion, the full sum is therefore the sum over the first region, plus the sum over the second region, minus the sum over the third region. This yields the formula
(1)
and 16 Related for: Dirichlet hyperbola method information
In number theory, the Dirichlethyperbolamethod is a technique to evaluate the sum F ( n ) = ∑ k = 1 n f ( k ) , {\displaystyle F(n)=\sum _{k=1}^{n}f(k)...
reciprocity law. The Dirichlet divisor problem, for which he found the first results by introducing the Dirichlethyperbolamethod, is still an unsolved...
can be proven using the Dirichlethyperbolamethod, and was first established by Dirichlet in 1849.: 37–38, 69 The Dirichlet divisor problem, precisely...
cycloid arch, Grégoire de Saint-Vincent investigated the area under a hyperbola (Opus Geometricum, 1647), and Alphonse Antonio de Sarasa, de Saint-Vincent's...
of a function, the hyperbolic logarithm, achieved by quadrature of the hyperbola in 1647. Further steps were made in the early 17th century by Barrow and...
{1}{x}}.} This problem can be phrased as quadrature of the rectangular hyperbola xy = 1. In 1647 Gregoire de Saint-Vincent noted that the required function...
parabola, and the hyperbola the names by which we know them. Unknown (400 CE) It describes the archeo-astronomy theories, principles and methods of the ancient...
16th century, Adriaan van Roomen solved the problem using intersecting hyperbolas, but this solution does not use only straightedge and compass constructions...
Galois theory. 1832 – Lejeune Dirichlet proves Fermat's Last Theorem for n = 14. 1835 – Lejeune Dirichlet proves Dirichlet's theorem about prime numbers...
results on local zeta-functions. Geometrically the sum is taken along a 'hyperbola' XY = ab and we consider this as defining an algebraic curve over the...
_{1}^{x}{\frac {1}{t}}\,dt} representing the area between the rectangular hyperbola x y = 1 {\displaystyle xy=1} and the x-axis, was a logarithmic function...
thought of as the stable state of an evolution problem. For example, the Dirichlet problem for the Laplacian gives the eventual distribution of heat in a...
Investigation of a general Theorem for finding the Length of any Arc of any Conic Hyperbola, by Means of Two Elliptic Arcs, with some other new and useful Theorems...
properties. Dirichlet's test Is a method of testing for the convergence of a series. It is named after its author Peter Gustav Lejeune Dirichlet, and was...