We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Number Theory

Title: The Kernel ${1\over 2} +\lfloor {1\over xy}\rfloor - {1\over xy}\,$ ($0<x,y\leq 1$) and Mertens Sums

Authors: Nigel Watt
Abstract: Let $K(x,y) = {1\over 2} + \lfloor {1\over x y}\rfloor - {1\over x y}\,$ ($0<x,y\leq 1$). A non-trivial identity connects the sum $S(N):=\sum_{m=1}^N \sum_{n=1}^N K\left({m\over N}, {n\over N}\right) \mu(m) \mu(n)$ (where $\mu(n)$ is the M\"obius function) with the Mertens sum $\mu(1) + \mu(2) +\cdots + \mu(N^2)$. Motivated by this, we consider two families of degenerate integral kernels that are step-function approximations to $K$. We obtain new results concerning the distribution of the relevant reciprocal eigenvalues: those of the approximations to $K$, and those of $K$ itself. The proofs utilise both the Hilbert-Schmidt theory of linear integral equations and Weyl's inequalities for reciprocal eigenvalues of kernels $U,V,W$ satisfying $U=V+W$. We show also that $S(N)$ is reasonably well approximated by sums involving just $\mu(1),\ldots,\mu(N)$, a limited number of reciprocal eigenvalues of $K$ and the values that the corresponding eigenfunctions have at the points $x={1\over N},{2\over N},\ldots,{N\over N}$. Machine computations have informed much of our work: we discuss some numerical results concerning the least and the greatest of the reciprocal eigenvalues of $K$.
Comments: 55 Pages, Plain TeX, LaTeX version submitted to Experimental Mathematics
Subjects: Number Theory (math.NT)
MSC classes: 11A25 (Primary) 47B06, 47B35, 47-04, 45C05, 454P05, 45H05 (Secondary)
Cite as: arXiv:1812.01039 [math.NT]
  (or arXiv:1812.01039v1 [math.NT] for this version)

Submission history

From: Nigel Watt [view email]
[v1] Mon, 3 Dec 2018 19:15:59 GMT (44kb)

Link back to: arXiv, form interface, contact.