In mathematics, the Hardy–Littlewood circle method is a technique of analytic number theory. It is named for G. H. Hardy and J. E. Littlewood, who developed it in a series of papers on Waring's problem. History The initial idea is usually attributed to the work of Hardy with Srinivasa Ramanujan a few years earlier, in 1916 and 1917, on the asymptotics of the partition function. It was taken up by many other researchers, including Harold Davenport and I. M. Vinogradov, who modified the formulation slightly (moving from complex analysis to exponential sums), without changing the broad lines. Hundreds of papers followed, and the method still yields results. The method is the subject of a monograph by R. C. Vaughan. Outline The goal is to prove asymptotic behavior of a series: to show that for some function. This is done by taking the generating function of the series, then computing the residues about zero (essentially the Fourier coefficients). Technically, the generating function is scaled to have radius of convergence 1, so it has singularities on the unit circle – thus one cannot take the contour integral over the unit circle. The circle method is specifically how to compute these residues, by partitioning the circle into minor arcs (the bulk of the circle) and major arcs (small arcs containing the most significant singularities), and then bounding the behavior on the minor arcs. The key insight is that, in many cases of interest (such as theta functions), the singularities occur at the roots of unity, and the significance of the singularities is in the order of the Farey sequence. Thus one can investigate the most significant singularities, and, if fortunate, compute the integrals. Setup The circle in question was initially the unit circle in the complex plane. Assuming the problem had first been formulated in the terms that for a sequence of complex numbers for , we want some asymptotic information of the type , where we have some heuristic reason to guess the form taken by (an ansatz), we write a power series generating function. The interesting cases are where is then of radius of convergence equal to 1, and we suppose that the problem as posed has been modified to present this situation. Residues From that formulation, it follows directly from the residue theorem that for integers , where is a circle of radius and centred at 0, for any with