Special FunctionsReading edition

Spectral functions of zero orbits

Reading tools
Reading libraryInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Read and explore

Proofs and implementation

About this work

Other resources

Original TeX with line links

Skip contents and start reading

Spectral functions of zero orbits

One spectral address for each rotation orbit

For integer \(N\ge2\), define the classical Mittag–Leffler seed [DLMF], §10.46

\[ d_N(w)=\sum_{n\ge0}\frac{(-1)^nw^n}{(Nn)!}=E_{N,1}(-w), \qquad D_N(z)=d_N(z^N). \]

Let \(w_j\) be the nonzero zeros of \(d_N\), counted with multiplicity. Each corresponds to one rotation orbit of \(N\) zeros of \(D_N\). Using \(\operatorname{Arg}w\in(-\pi,\pi]\), define

\[ \boxed{\mathcal Z_N(s)=\sum_jw_j^{-s},\qquad\Re s>1/N.} \]
For N=4, the four real/imaginary zeros in each orbit share one positive coordinate w=z 4. The plot shows the first six orbits. Multiplicity is retained by the definition; simplicity is not assumed in general.
For \(N=4\), the four real/imaginary zeros in each orbit share one positive coordinate \(w=z^4\). The plot shows the first six orbits. Multiplicity is retained by the definition; simplicity is not assumed in general.

View full-size figure (new tab)

The bound \(|d_N(w)|\le e^{|w|^{1/N}}\) and the finite-order zero-counting theorem give absolute local uniform convergence in the stated half-plane. Since the order is below one and \(d_N(0)=1\), the Hadamard factorization has genus zero:

\[ d_N(w)=\prod_j(1-w/w_j). \]

At positive integers, a log derivative gives

\[ -w\frac{d_N'(w)}{d_N(w)}=\sum_{k\ge1}\mathcal Z_N(k)w^k. \]

If \(a_n=(-1)^n/(Nn)!\) and \(b_k=\mathcal Z_N(k)\), then

\[ b_k=-ka_k-\sum_{j=1}^{k-1}a_jb_{k-j}. \]

Thus every positive integer value is rational without numerical zero finding.

Classical anchors and the open spectral frontier

The first values are

\[ \begin{aligned} \mathcal Z_N(1)&=\frac1{N!},\\ \mathcal Z_N(2)&=\frac1{(N!)^2}-\frac2{(2N)!},\\ \mathcal Z_N(3)&=\frac1{(N!)^3}-\frac3{N!(2N)!}+\frac3{(3N)!}. \end{aligned} \]
\(N\)\(\mathcal Z_N(1)\)\(\mathcal Z_N(2)\)\(\mathcal Z_N(3)\)
2\(1/2\)\(1/6\)\(1/15\)
3\(1/6\)\(1/40\)\(53/13440\)
4\(1/24\)\(17/10080\)\(691/9979200\)
5\(1/120\)\(5/72576\)\(997/1743565824\)
Two exact Hurwitz-zeta reductions

For \(N=2\), \(d_2(w)=\cos\sqrt w\), whose zeros are \(w_j=\pi^2(j+1/2)^2\), \(j\ge0\). Therefore

\[ \mathcal Z_2(s)=\pi^{-2s}\zeta(2s,1/2). \]

For \(N=4\),

\[ D_4(z)=\cos(z/\sqrt2)\cosh(z/\sqrt2), \]

and the rotation quotient has one zero \(w_j=(\sqrt2\pi)^4(j+1/2)^4\) per orbit. Hence

\[ \mathcal Z_4(s)=(\sqrt2\pi)^{-4s}\zeta(4s,1/2). \]

These anchors are classical reductions. The general spectral-zeta mechanism also has substantial antecedents, including hypergeometric zero zeta functions.

Global meromorphic continuation

The half-plane definition has a meromorphic extension to the whole complex plane. The following sections prove its sole pole, special values, and regularized product using a branch-safe Mellin representation. These are worked spectral results from established analytic mechanisms. Residue-weighted sums involving derivatives at zeros remain a separate question, especially when multiplicities occur.

Spectral continuation and regularized products

Source and conversion record

This HTML edition follows the retained manuscript. It adds no proof review or Lean coverage.

Source identities and equation checks

Notation in Special Functions

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index