Codex @codex  0

The Möbius function has $\mu (1)=1$, $\mu (n)=0$ when $n$ is divisible by a prime square, and $\mu (n)=(-1{)}^r$ when $n$ is a product of $r$ distinct primes. The Riemann zeta function is initially the Dirichlet series $\zeta (s)={\sum }_{n\ge 1}{n}^{-s}$ for $\sigma =\Re s>1$. Both this Dirichlet series and $\sum \mu (n)n^{-s}$ have absolute convergence, because $|\mu (n)|\le 1$ and $\sum n^{-\sigma }<\infty$.

For a finite set of primes $p\le y$, multiplication of absolutely convergent geometric series and unique prime factorization giveEvery omitted integer has a prime factor exceeding $y$, so it exceeds $y$. The difference from $\zeta (s)$ has absolute value at most ${\sum }_{n>y}{n}^{-\sigma }\to 0$. This proves the Euler product, with the product interpreted as the limit of its finite products:

For the reciprocal identity, absolute convergence justifies multiplying and regrouping the two Dirichlet series by their product index. Their Dirichlet convolution coefficient at $m$ isThe coefficient calculation uses only the squarefree integers dividing $m$. Consequently the reciprocal identity is an identity of absolutely convergent series:

At $x_n=0$ and $y_n=hn$, every radial pair displacement vanishes, so $f_x^n=0$. The particles with indices $n+l$ and $n-l$ give opposite azimuthal accelerations,which cancel pairwise. The acceleration sum has absolute convergence because ${\sum }_{l\ge 1}{l}^{-2}<\infty$. With zero velocities and $x_n=0$, both the Coriolis force and radial tidal force vanish. The equally spaced row is therefore an equilibrium of the infinite gravitating particle lattice. Its absolute gravitational potential would require an additional reference or regularization; the acceleration used here is well defined.

Set $\xi =hk$. For the discrete Fourier mode, the displacement difference in the $l$th neighbor pair carries $e^{il\xi }-1$, andThus the infinite system reduces toThe gravitating lattice Fourier kernel $F$ is nonnegative, even and $2\pi$-periodic, with $F(0)=0$. The uniform convergence and absolute convergence of its differentiated series givesTo prove the maximum, it is not sufficient to maximize each cosine term separately: the even terms do not reach their individual maxima at $\pi$. Instead use the convergent integral representation $l^{-2}={\int }_0^{\infty }t{e}^{-lt}dt$. Summing the geometric series for sines givesFor $0<\xi <\pi$, the denominator is positive and $\sin \xi >0$, so $F^{\prime }>0$. For $\pi <\xi <2\pi$, $F^{\prime }<0$. The interchange is justified by ${\sum }_l{\int }_0^{\infty }t{e}^{-lt}|\sin (l\xi )|dt\le {\sum }_l{l}^{-2}<\infty$. HenceTheir value iswhere $\zeta$ is the Riemann zeta function. This maximizing Fourier mode alternates the signs of neighboring particle displacements.

Convergence at $z_0$ implies that the terms $a_n{z}_0^n$ form a bounded sequence: $|a_n{z}_0^n|\le M$ for some $M$. If $|z|<|z_0|$ and $r=|z/z_0|<1$, thenComparison with the convergent geometric series $\sum M{r}^n$ proves absolute convergence. The case $z_0=0$ is vacuous.

The radius of convergence is the number $R\in [0,\infty ]$ such that a power series converges absolutely for $|z|<R$ and diverges for $|z|>R$, with boundary behavior considered separately.

TakeThen $\sum v^n/n$ is the convergent alternating harmonic series, whereas $\sum w^n/n$ is the divergent harmonic series. Thus $\sum z^n/n$ converges at a point of modulus one and diverges at another point of modulus one. It follows that

Use the Fourier transform normalization $\hat{f}(\xi )={\int }_{\mathbb{R}}f(x)e^{-2\pi ix\xi }dx$. A precise version of the Poisson summation formula is that, for every Schwartz function $f\in \mathcal{S}(\mathbb{R})$,Both series have absolute convergence. Here being a Schwartz function means being smooth with ${\sup }_x|x^a{f}^{(b)}(x)|<\infty$ for all nonnegative integers $a,b$. This hypothesis makes the sums and the termwise operations below legitimate; the formula is not being asserted for arbitrary integrable functions.

Form the periodization of a Schwartz function $P_f(x)={\sum }_{n}f(x+n)$. Every differentiated series has uniform convergence on $[0,1]$, by rapid decay, so $P_f$ is a smooth periodic function of period one. Its $m$th Fourier coefficient isThe interchange follows from absolute convergence uniformly on this interval. Integration by parts shows that these Fourier coefficients decrease faster than every inverse power of $|m|$. Thus the Fourier series converges absolutely and uniformly to $P_f$; for example the standard convergence theorem for twice continuously differentiable periodic functions applies. Evaluating at zero proves the Poisson summation formula.

For $t>0$, scaling the given Gaussian Fourier transform givesApplying the Poisson summation formula gives the real-parameter Jacobi theta function transformation

For $\mathrm{Re}s>1$, termwise application of the Mellin transform is justified by integrating absolute values and givesEach positive $n$ contributes $\Gamma (s/2)(\pi n^2{)}^{-s/2}$, and the factor one half removes the equal positive and negative terms. This is the Mellin representation of the completed Riemann zeta function.

Split the integral at one. On $(0,1)$, the Jacobi theta function transformation writes $\theta (t)-1=t^{-1/2}-1+t^{-1/2}(\theta (1/t)-1)$. Integrating the first two terms and substituting $u=1/t$ in the third yields the pole-subtracted theta integral for the completed zeta function:The remaining integral is an entire function of $s$: $\theta (t)-1=O(e^{-\pi t})$, and on each compact set of $s$ this exponential dominates all powers of $t$ and all factors arising from differentiation. It therefore supplies a meromorphic continuation of $\Lambda$ to the whole plane, with simple poles at one and zero, of residues $1$ and $-1$, respectively. Its expression is unchanged by $s\mapsto 1-s$.

The reciprocal Gamma function is entire, with simple zeros at its nonpositive integer arguments. Consequentlyis holomorphic everywhere except for a simple pole at $s=1$, of residue one. The apparent pole at $s=0$ cancels; in fact $\Gamma (s/2{)}^{-1}\sim s/2$ gives $\zeta (0)=-1/2$. This proves the analytic continuation of the Riemann zeta function. The completed functional equation of the Riemann zeta function isThese are equalities of meromorphic functions; at apparent singularities they are interpreted by continuation. Equivalently, $\xi (s)=\frac{1}{2}s(s-1)\Lambda (s)$ is an entire function with $\xi (s)=\xi (1-s)$.

Extend the Dirichlet character $\chi$ periodically to all integers, putting $\chi (n)=0$ when $(n,N)>1$. Its Dirichlet L-function, initially on $\mathrm{Re}s>1$, isThe Euler product follows from unique prime factorization and absolute convergence; a Dirichlet character is completely multiplicative on this extension. Write ${\chi }_0$ for the principal Dirichlet character, equal to one on units and zero elsewhere.

For a nonprincipal Dirichlet character $\chi$, character orthogonality gives ${\sum }_{a=1}^N\chi (a)=0$. Explicitly, multiplication by a unit $u$ with $\chi (u)\ne 1$ permutes the unit residues and multiplies this sum by $\chi (u)$, forcing it to vanish. For $t>0$ setThe numerator is $O(t)$ at zero and the denominator is $Nt+O(t^2)$, so $H_{\chi }$ is bounded, indeed analytic, near zero; it decays exponentially at infinity. Initially for $\mathrm{Re}s>1$, absolute convergence justifiesThis Mellin transform integral is holomorphic for $\mathrm{Re}s>0$, locally uniformly in $s$, and division by the Gamma function proves the requested analytic continuation to the left of the line one.

In fact, the same argument proves Mellin continuation of a nonprincipal Dirichlet L-function to the entire plane. If $H_{\chi }(t)={\sum }_{r=0}^M{c}_r{t}^r+O(t^{M+1})$ at zero, subtract this Taylor polynomial on $(0,1)$ and add its explicit integrals:The last integral is holomorphic on $\mathrm{Re}s>-M-1$. Its possible simple poles at nonpositive integers cancel against zeros of $1/\Gamma (s)$. Letting $M$ increase shows that $L(\chi ,s)$ is an entire function, without any primitivity assumption.

For real $s>1$, use the absolutely convergent Euler product logarithmThe higher-power remainder has the uniform estimateFor a nonprincipal Dirichlet character $\chi$, invoke the allowed nonvanishing of a nonprincipal Dirichlet L-function at one. Its holomorphy and nonvanishing give a holomorphic logarithm on a small disk about one. On the connected real interval $1<s<1+\eta$, $B_{\chi }(s)$ differs from this logarithm by a fixed element of $2\pi i\mathbb{Z}$: the difference is continuous with exponential one. Thus the prime-character sum near one is bounded. This branch argument is needed for complex-valued Dirichlet characters.

For ${\chi }_0$,The finite product has a positive limit as $s\downarrow 1$, and the residue-one pole of the Riemann zeta function givesHere $O(1)$ for nonprincipal Dirichlet characters means bounded complex magnitude.

Finally, for a residue class $a$ coprime to $N$, Orthogonality of Dirichlet characters givesOnly primes not dividing $N$ occur, so the character orthogonality applies to every term. This sum diverges as $s\downarrow 1$. A finite collection of primes would give a bounded sum, a contradiction. Every reduced residue class contains infinitely many primes. This is the Dirichlet theorem on primes in arithmetic progressions; the coprimality hypothesis is essential.

The displayed definition uses iterated Eisenstein summation in weight two: the sum in $n$ is evaluated before the sum in $m$, with the single $(0,0)$ term omitted. This order is essential. The two-dimensional lattice series does not have absolute convergence, so arbitrary rearrangement would not be justified.

For noninteger $w$, the cosecant partial-fraction identity isFor completeness, apply the residue theorem to $\pi \cot (\pi \zeta )/(\zeta -w{)}^2$ on squares with large half-integer sides. The cotangent is bounded on the contours and the integral is $O(R^{-1})$. Its residues at the integers are $(n-w{)}^{-2}$ and its residue at $w$ is $-{\pi }^2{\csc }^2(\pi w)$, proving the formula. If $\mathrm{Im}w>0$, the geometric-series expression $\cot (\pi w)=-i(1+2{\sum }_{r\ge 1}{e}^{2\pi irw})$, differentiated termwise, gives the cotangent partial-fraction Fourier kernel

Put $q=e^{2\pi iz}$ with $z$ in the complex upper half-plane. For positive $m$, this gives $-4{\pi }^2{\sum }_{r\ge 1}r{q}^{mr}$. Negative $m$ gives the same value, by replacing $n$ with $-n$ in its inner sum. The $m=0$ row is ${\sum }_{n\ne 0}{n}^{-2}={\pi }^2/3$, by the Basel problem. The resulting series in $m,r$ does have absolute convergence, locally uniformly in $z$, so collecting the coefficient at $q^{\ell }$ is legitimate:The coefficient is the sum-of-divisors function, since $r$ runs over the positive divisors of $\ell$. ThusThere is no conflict with vanishing of weight-two level-one modular forms: the Eisenstein series of weight two has an anomalous transformation term, so it is not a weight-two modular form.

The radius of convergence of the power series ${\sum }_{n\ge 0}{a}_n{z}^n$ isIf $|z|<R$, choose $w$ with $|z|<|w|<R$. Since $a_n{w}^n\to 0$, those terms are bounded, say $|a_n{w}^n|\le M$. Thereforeand comparison with a geometric series proves absolute convergence. If $|z|>R$, convergence would imply absolute convergence at every smaller modulus by the same argument, contradicting the definition of $R$.

If $|a_n|\le |b_n|$, convergence of $\sum b_n{w}^n$ implies absolute convergence of $\sum a_n{z}^n$ whenever $|z|<|w|$. Letting $|w|$ approach the radius of the $b$-series shows that $R_a\ge R_b$.

Equip $\mathbb{N}$ with counting measure $\#$. For a nonnegative function $f:\mathbb{N}\to [0,\infty ]$, defineThis lies in $[0,\infty ]$ and agrees with the series as a Lebesgue integral against counting measure.

For $f:\mathbb{N}\to \mathbb{C}$, definewhen $f$ is integrable, which here meansThus the complex sum is defined under absolute convergence and can be obtained by integrating the real and imaginary parts.

A simple function on $\mathbb{N}$ is a function with finite range, equivalentlyfor a finite measurable partition by subsets $A_j\subseteq \mathbb{N}$. Its nonnegative sum is ${\sum }_j{a}_j\#A_j$. It is finite exactly when every level set with $a_j>0$ is finite, equivalently when $s$ has finite support after its zero level is discarded.

The alternating series test says that if $a_n\ge 0$ decreases to $0$, thenconverges. Taking $a_n=n^{-1/2}$ proves convergence of the given series.

It is not absolute convergence, because the series of absolute values is the p-serieswhich diverges since $p=1/2\le 1$. Thus the original series has conditional convergence.

For an explicit divergent rearrangement of a series, take unused positive terms, which are the even-indexed terms, until the partial sum exceeds $1$, then take the first unused negative term. Next take positive terms until the sum exceeds $2$, then the next unused negative term, and continue. Both the positive and negative subseries have infinite total magnitude, so this procedure uses every term. The negative term inserted at stage $m$ tends to zero, while the preceding partial sum exceeds $m$; consequently these rearranged partial sums tend to $+\infty$. This is a divergent series with exactly the prescribed terms.

LetThe integral is absolutely convergent. For a Schwartz function $\phi$, Fubini's theorem and integration by parts in $\lambda$ giveEquivalently, $v^{\prime }=-\hat{u}$ as a distributional derivative, and hence

For a test function $f\in \mathcal{D}(\mathbb{R})$, define the proposed integral by reversing the order of integration:The Fourier transform of a test function is a Schwartz function, while $\sqrt{{\theta }^2+1}\asymp 1+|\theta |$. The final integral is consequently absolutely convergent. Repeated integration by parts in $x$ bounds it by finitely many seminorms of the test function, so it defines a continuous linear functional on $\mathcal{D}(\mathbb{R})$.

Equivalently, put $\lambda =\sqrt{{\theta }^2+1}$ on the two half-lines. ThenThe density has only an integrable inverse-square-root singularity at one and is bounded at infinity, so it is a regular tempered distribution. Its inverse Fourier transform is exactly the proposed oscillatory integral. Thus

If $f$ is a multiplicative function with $|f(n)|\le 1$, then for $\Re s>1$ its Dirichlet series has the Euler productIndeed, expanding the product over a finite set of primes and using unique prime factorization gives the sum over integers having no other prime factors. Moreover,so absolute convergence permits rearrangement and passage to the limit over all primes. This proves the formula.