Related papers: On a M\"obius double sum

Given a smooth bounded domain ${\O}\subseteq \R^2$, we consider the equation $\D v = 2 v_x \wedge v_y$ in $\O$, where $v: {\O}\to \R^3$. We prescribe Dirichlet boundary datum, and consider the case in which this datum converges to zero. An…

Additive divisor sums play a prominent role in the theory of the moments of the Riemann zeta function. There is a long history of determining sharp asymptotic formula for the shifted convolution sum of the ordinary divisor function. In…

Let $\tau$ denote the divisor function, and $f$ be any multiplicative function that satisfies some mild hypotheses. We establish the asymptotic formula or non-trivial upper bound for the shifted convolution sum $\sum_{n \leq…

We establish a connection between analytic number theory and computational learning theory by showing that the M\"obius function belongs to a class of functions that is statistically hard to learn from random samples. Let $\mu_R$ denote the…

The number of tuples with positive integers pairwise relatively prime to each other with product at most $n$ is considered. A generalization of $\mu^{2}$ where $\mu$ is the M\"{o}bius function is used to formulate this divisor sum and…

We revisit several hybrid multiplicative-to-additive type functions from a recent preprint article. These functions, $g(n)$ with Dirichlet generating function (DGF) $\zeta(s)^{-1} (1+P(s))^{-1}$ for $\Re(s) > 1$ where $P(s) = \sum_p p^{-s}$…

Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a $\sigma$-MV-effect algebra. This sum is commutative, associative and with neutral element. Under…

Let $A,B\subseteq\mathbb Z_n$ be given and $S=(x_1,\ldots, x_k)$ be a sequence in $\mathbb Z_n$. We say that $S$ is an $(A,B)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ and $b_1,\ldots,b_k\in B$ such that…

Let $R(n) = \sum_{a+b=n} \Lambda(a)\Lambda(b)$, where $\Lambda(\cdot)$ is the von Mangoldt function. The function $R(n)$ is often studied in connection with Goldbach's conjecture. On the Riemann hypothesis (RH) it is known that $\sum_{n\leq…

Let $N$ be any fixed positive integer and define \begin{align*} S_N(x)=\sum_{m, n \leq x}d(n^2+Nm^2), \end{align*} where $d(n)$ is the divisor function. We evaluate asymptotically $S_N(x)$ for several $N$, extending earlier works of Gafurov…

Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…

Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X,…

By using exclusively real analysis, we give explicit estimates of some classical summatory functions involving the M\"obius function.

Let $X = [0,1]$, and let $T:X\to X$ be an expanding piecewise linear map sending each interval of linearity to $[0,1]$. For $\psi:\mathbb N\to\mathbb R_{\geq 0}$, $x\in X$, and $N\in\mathbb N$ we consider the recurrence counting function \[…

We define an S function as the sum of the asymptotic error terms of digamma function of an arithmetic series, $S(a) \equiv \sum_{n=1}^\infty \left[\ln\frac{n}{a} - \frac{a}{2n}-\psi\left(\frac{n}{a}\right)\right]$, and show a few properties…

We present a unified approach which gives completely elementary proofs of three weighted sum formulae for double zeta values. This approach also leads to new evaluations of sums relating to the harmonic numbers, the alternating double zeta…

We investigate the approximation for computing the sum $a_1+...+a_n$ with an input of a list of nonnegative elements $a_1,..., a_n$. If all elements are in the range $[0,1]$, there is a randomized algorithm that can compute an…

We examine convergent representations for the sum of a decaying exponential and a Bessel function in the form \[\sum_{n=1}^\infty \frac{e^{-an}}{(\frac{1}{2} bn)^\nu}\,J_\nu(bn),\] where $J_\nu(x)$ is the Bessel function of the first kind…

We introduce two convergent series expansions (direct and recursive) in terms of Bessel functions and representations of sums $r_N(m)$ of squares for $N$-dimensional Madelung constants, $M_N(s)$, where $s$ is the exponent of the Madelung…

Let $g:\mathbb{N}\to\{-1,1\}$ be a completely multiplicative function, $\mu$ be the M\"obius function and $\mu_2^2(n)$ be the indicator that $n$ is cubefree. We prove that $f=\mu^2g$ and $f=\mu_2^2g$ have unbounded partial sums. Our proofs…