Given a set $A$ of positive integers, set $r_{A,h}(N)$ to be the number of $h$-tuples $(a_1, \cdots, a_h)$ such that $N = a_1 + \cdots + a_h$. Set $f(z) = \sum_{a \in A} z^a$. Then by Cauchy's Theorem we have that $r_{A,h}(N) = \frac{1}{2\pi i} \int_{|z| = r} \frac{f(z)^h}{z^{N+1}}dz$ for $0 < r < 1$. This can be simplified if we replace $f$ with the trigonometric polynomial $f_N(z) = \sum_{a \in A, a \leq N} z^a$. The key is to estimate the integral, and to do this one breaks the circle into major and minor arcs and to show that the integral over the minor arcs is negligible compared to the integral over the major arc. A key component is to show that the integral over the major arc can be factored into a singular integral, usually denoted $J(N)$ or $J_A(N)$ if the set $A$ is unclear, and a 'singular series' $\mathfrak{S}(N)$ or $\mathfrak{S}_A(N)$ with some small error term. The Circle Method has been applied fruitfully to provide an asymptotic formula for the classical Waring's problem and Vinogradov's Theorem giving an asymptotic formula for sum of three primes (see for example Nathanson's Additive Number Theory - Classical Bases).
My question is, if $A$ is an arbitrary set of positive integers, how does one go about constructing $\mathfrak{S}_A(N)$ or $J_A(N)$? If this is impossible in general or far too intractable, what properties of the integer powers (less interesting) and the primes (more interesting) allows us to find explicit singular integrals and singular series? Can anyone give an example of an 'arbitrary' (meaning not given by a specific formula, somewhat like the primes) set of positive integers with a nice singular series and a singular integral?
