TheoremBase

Lattice Sums of Powers of the Fourier Weights in Dimension at Most Two: Power Sums, the Growth of the Wick Constants, and the Quartic Convolution Sums

In dimension at most two, powers of the Fourier weights are summable above half the dimension, the Wick constants grow slower than any power of the cutoff, and the quartic convolution sums with one weight relaxed by a small power are finite.

Statement

In the setting of The Real Numbers: Standing Notation and Background, let n∈Nn\in\mathbb{N} with n≤2n\le2, and let μk=1+4π2∥k∥2\mu_{k}=1+4\pi^{2}\lVert k\rVert^{2} (k∈Znk\in\mathbb{Z}^{n}) be the Fourier weights of Properties of the Fourier Coefficients on the Torus, and the Realisation of Weighted Coefficient Families, where π\pi is the number of The Number Pi §pi and ∥⋅∥\lVert\cdot\rVert is the Euclidean norm; thus 1≤μk1\le\mu_{k}. Powers srs^{r} of a positive real number ss with a real exponent rr are those of Real Power of a Positive Real Number. For l∈Nl\in\mathbb{N}, cube sums and cube-summable families on Zl\mathbb{Z}^{l}, and their lattice sums ∑k∈Zl\sum_{k\in\mathbb{Z}^{l}}, are those of Cube Sums of Families on the Integer Lattice, with the cubes ΓN\Gamma_{N} (N∈NN\in\mathbb{N}) of The Cubes of the Integer Lattice are Finite, Nested, Exhaust the Lattice and Have (2N+1)^n Points; families on Z3n\mathbb{Z}^{3n} are written as functions of (k1,k2,k3)∈Zn×Zn×Zn(k_{1},k_{2},k_{3})\in\mathbb{Z}^{n}\times\mathbb{Z}^{n}\times\mathbb{Z}^{n}.

1. (Power sums) For every real number ss with n<2sn<2s, the family k↦μk−sk\mapsto\mu_{k}^{-s} on Zn\mathbb{Z}^{n} is cube-summable.

2. (Growth of the cube sums) For every positive real number ε\varepsilon and every N∈NN\in\mathbb{N},

∑k∈ΓNμk−1 ≤ (1+4π2nN2)ε∑k∈Znμk−(1+ε),\sum_{k\in\Gamma_{N}}\mu_{k}^{-1}\ \le\ \bigl(1+4\pi^{2}nN^{2}\bigr)^{\varepsilon}\sum_{k\in\mathbb{Z}^{n}}\mu_{k}^{-(1+\varepsilon)},

the lattice sum on the right being defined by claim 1, since n≤2<2+2εn\le2<2+2\varepsilon.

3. (Quartic convolution sums) Let δ∈R\delta\in\mathbb{R} satisfy 0≤δ<1/40\le\delta<1/4, and for (k1,k2,k3)∈Z3n(k_{1},k_{2},k_{3})\in\mathbb{Z}^{3n} write k4=−(k1+k2+k3)k_{4}=-(k_{1}+k_{2}+k_{3}). For every i∈{1,2,3,4}i\in\{1,2,3,4\} the family

(k1,k2,k3) ↦ μkiδ μk1−1μk2−1μk3−1μk4−1(k_{1},k_{2},k_{3})\ \mapsto\ \mu_{k_{i}}^{\delta}\,\mu_{k_{1}}^{-1}\mu_{k_{2}}^{-1}\mu_{k_{3}}^{-1}\mu_{k_{4}}^{-1}

on Z3n\mathbb{Z}^{3n} is cube-summable.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…