Related papers: A glimpse inside the mathematical kitchen
We consider analytic functions of the Riemann zeta type, for which, if $s$ is a zero, so is $1-s$. We use infinite product representations of these functions, assuming their zeros to be of first order. We use exponential factors to…
In this paper, we investigate the Euler sums $$ G_{n+2}(p,q)=\sum_{1\leq k_1<k_2<\cdots<k_{p+1}}\frac1{k_1k_2\cdots k_pk_{p+1}^{n+2}} \sum_{1\leq\ell_1\leq\ell_2\leq\cdots\leq\ell_q\leq k_{p+1}}\frac1{\ell_1\ell_2\cdots\ell_q}. $$ We give…
Suppose $A\subset \mathbb{R}$ of size $k$ has distinct consecutive $r$--differences, that is for $1 \leq i \leq k -r$, the $r$--tuples $$(a_{i+1} - a_i , \ldots , a_{i+r} - a_{i + r -1})$$ are distinct. Then for any finite $B \subset…
We consider the sums $S(k)=\sum_{n=0}^{\infty}\frac{(-1)^{nk}}{(2n+1)^k}$ and $\zeta(2k)=\sum_{n=1}^{\infty}\frac{1}{n^{2k}}$ with $k$ being a positive integer. We evaluate these sums with multiple integration, a modern technique. First, we…
We consider the class of all non-negative on $\mathbb{R_+}$ functions such that each of them satisfies the Reverse H\"older Inequality uniformly over all intervals with some constant the minimum value of which can be regarded as the…
The slowly converging series sum_{k=3}^infinity 1/[k * log k * (log log k)^a] is evaluated to 38.4067680928 at a=2. After some initial terms, the infinite tail of the sum is replaced by the integral of the associated interpolating function,…
Let $\gcd(k,j)$ denote the greatest common divisor of the integers $k$ and $j$, and let $r$ be any fixed positive integer. Define $$ M_r(x; f) := \sum_{k\leq x}\frac{1}{k^{r+1}}\sum_{j=1}^{k}j^{r}f(\gcd(j,k)) $$ for any large real number…
In this paper I introduce a criterion for the Riemann hypothesis, and then using that I prove $\sum_{k=1}^\infty \mu(k)/k^s$ converges for $\Re(s) > \frac{1}{2}$. I use a step function $\nu(x) = 2\{x/2\} - \{x\}$ for the Dirichlet eta…
We show that for any sequence $f: {\bf N} \to \{-1,+1\}$ taking values in $\{-1,+1\}$, the discrepancy $$ \sup_{n,d \in {\bf N}} \left|\sum_{j=1}^n f(jd)\right| $$ of $f$ is infinite. This answers a question of Erd\H{o}s. In fact the…
Gerard and Washington proved that, for $k > -1$, the number of primes less than $x^{k+1}$ can be well approximated by summing the $k$-th powers of all primes up to $x$. We extend this result to primes in arithmetic progressions: we prove…
Handling an infinite number of inequality constraints in infinite-dimensional spaces occurs in many fields, from global optimization to optimal transport. These problems have been tackled individually in several previous articles through…
Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. This gives rise to a hierarchy of distinct levels of…
Let $r\geq3$ and $G$ be an $r$-uniform hypergraph with vertex set $\left\{ 1,\ldots,n\right\} $ and edge set $E$. Let \[ \mu\left( G\right) :=\max {\textstyle\sum\limits_{\left\{ i_{1},\ldots,i_{r}\right\} \in E}} x_{i_{1}}\cdots x_{i_{r}},…
We study generalizations of some results of Jean-Louis Nicolas regarding the relation between small values of Euler's function $\varphi(n)$ and the Riemann Hypothesis. Among other things, we prove that for $1\leq q\leq 10$ and for $q=12,…
By means of the mathematical analysis theory, inequality theory, mathematical induction and the dimension reduction method, under the proper hypotheses, we establish the following cyclic inequalities: \[\sum_{i=1}^{n}…
The convex hull of the subgraph of the prime counting function $x\rightarrow \pi(x)$ is a convex set, bounded from above by a graph of some piecewise affine function $x\rightarrow \epsilon(x)$. The vertices of this function form an infinite…
For a real-valued measurable function $f$ and a nonnegative, nondecreasing function $\phi$, we first obtain a Chebyshev type inequality which provides an upper bound for $\displaystyle \phi(\lambda_{1}) \mu(\{x \in \Omega : f(x) \geq…
We prove the nontrivial variant \[ \sum\limits_{m,n=1}^{\infty}\Big(\frac{n}{m}\Big)^{\frac{1}{q}-\frac{1}{p}}\frac{a_mb_n}{m+n-1}\leq\frac{\pi}{\sin\frac{\pi}{p}} \Big( \sum\limits_{m=1}^{\infty}a_m^p\Big)^{\frac 1p}\Big(…
We give bounds on the error in the asymptotic approximation of the log-Gamma function $\ln\Gamma(z)$ for complex $z$ in the right half-plane. These improve on earlier bounds by Behnke and Sommer (1962), Spira (1971), and Hare (1997). We…
We present some novelties on the Riemann zeta function. Using an extended formula created for the polylogarithm in a previous paper, $\mathrm{Li}_{k}(e^{z})$, the zeta function's Dirichlet series is analytically continued from $\Re(k)>1$ to…