Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard toolsstandard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.

added 95 characters in body
Source Link
David E Speyer
  • 156.3k
  • 14
  • 422
  • 763

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard toolsstandard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.

Source Link
David E Speyer
  • 156.3k
  • 14
  • 422
  • 763

$\def\RR{\mathbb{R}}\def\ZZ{\mathbb{Z}}$This is essentially the constant term in the Epstein $\zeta$-function. Given a lattice $\Lambda$ in $\RR^d$, the Epstein $\zeta$ function is $$Z(\Lambda, s) = \sum_{g \in \Lambda \setminus \{ 0 \}} \frac{1}{(g^T g)^s}.$$ $Z$ has a simple pole at $d/2$ with residue $\tfrac{\pi^{d/2}}{\sqrt{\det \Lambda} \ \Gamma(d/2)}$, and no other poles on $\mathrm{Re}(s)\geq d/2$. Set $$Z(s) = \frac{\pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2) (s-d/2)}+c(\Lambda) + O(s-d/2)$$

There are standard tools to convert Dirichlet series estimates to partial sum estimates. If I didn't drop any constants, then $$c_1 = \frac{2 \pi^{d/2}}{(\det \Lambda) \ \Gamma(d/2)} \quad c_2 = c(\Lambda).$$ Theorem 4 of Terras, "Bessel Series Expansions of the Epstein Zeta Function and the Functional Equation", Trans. AMS, Vol. 183 (Sep., 1973), pp. 477-486 gives a formula for $c(\Lambda)$ in terms of other functions, but I don't feel competent to summarize it.