Related papers: A glimpse inside the mathematical kitchen

In this shortnote, a series expansion technique introduced recently by Dancs and He for generating Euler-type formulae for odd zeta values $\:\zeta{(2 k +1)}$, $\zeta{(s)}$ being the Riemann zeta function and $k$ a positive integer, is…

For irrational $\theta$ and 1-periodic function $f$ we consider sums $\sum_0^{Q-1}f(k\theta+\varphi)$ where $\varphi \in \mathbb R$. Sidorov proved that if $f$ is absolutely continuous function, then $\liminf_{Q \to \infty}…

For a fixed integer $k \ge 0$, consider representations of positive integers as sums of binomial coefficients of the form $\binom{n}{k}$. While exact minimal bounds for the number of required summands are known only in a few low-dimensional…

We mainly establish a monotonicity property between some special Riemann sums of a convex function $f$ on $[a,b]$, which in particular yields that $\frac{b-a}{n+1}\sum_{i=0}^n f\left(a+i\frac{b-a}{n}\right)$ is decreasing while…

In this paper we perform a detailed analysis of Riemann's hypothesis, dealing with the zeros of the analytically-extended zeta function. We use the functional equation $\zeta(s) = 2^{s}\pi^{s-1}\sin{(\displaystyle \pi…

Under the Riemann Hypothesis, we prove for any natural number $r$ there exist infinitely many large natural numbers $n$ such that $(\gamma_{n+r}-\gamma_n)/(2\pi /\log \gamma_n) > r + \Theta\sqrt{r}$ and $(\gamma_{n+r}-\gamma_n)/(2\pi /\log…

We study for $s\in\N=\{1,2,...\}$ the functions $\xi_{k}(s)=\frac{1}{\Gamma(s)}\int_{0}^{\infty}\frac{t^{s-1}}{e^t-1}\Li_{k}(1-e^{-t})dt$, and more generally…

In this paper we study recurrences concerning the combinatorial sum $[n,r]_m=\sum_{k\equiv r (mod m)}\binom {n}{k}$ and the alternate sum $\sum_{k\equiv r (mod m)}(-1)^{(k-r)/m}\binom{n}{k}$, where m>0, $n\ge 0$ and r are integers. For…

We examine exponential sums of the form $\sum_{n \le X} w(n) e^{2\pi i\alpha n^k}$, for $k=1,2$, where $\alpha$ satisfies a generalized Diophantine approximation and where $w$ are different arithmetic functions that might be multiplicative,…

Let $f(n)$ denote the maximum sum of the side lengths of $n$ non-overlapping squares packed inside a unit square. We prove that $f(n^2+1) = n$ for all positive integers $n$ if and only if the sum $\sum_{k\geq 1}(f(k^2+1)-k)$ converges. We…

The sum in the title is a rational multiple of pi^n for all integers n=2,3,4,... for which the sum converges absolutely. This is equivalent to a celebrated theorem of Euler. Of the many proofs that have appeared since Euler, a simple one…

This paper concerns the values of the Euler phi-function evaluated simultaneously on k arithmetic progressions a_1 n + b_1, a_2 n + b_2, ..., a_k n + b_k. Assuming the necessary condition that no two of the polynomials a_i x + b_i are…

In this paper, we prove the identity $$\lcm\{\binom{k}{0}, \binom{k}{1}, >..., \binom{k}{k}\} = \frac{\lcm(1, 2, ..., k, k + 1)}{k + 1} (\forall k \in \mathbb{N}) .$$ As an application, we give an easily proof of the well-known nontrivial…

For $n$ positive numbers ($a_k$, $1\leq k \leq n$), enhanced inequalities about the arithmetic mean ($A_n \equiv \frac{\sum_ka_k}{n}$) and the geometric mean ($G_n\equiv \sqrt[n]{\Pi_ka_k}$) are found if some numbers are known, namely,…

We study the inequalities of the type $|\int_{\mathbb{R}^d} \Phi(K*f)| \lesssim \|f\|_{L_1(\mathbb{R}^d)}^p$, where the kernel $K$ is homogeneous of order $\alpha - d$ and possibly vector-valued, the function $\Phi$ is positively…

Let $ \mathcal{B}:=\{f(z)=\sum_{n=0}^{\infty}a_nz^n\; \mbox{with}\; |f(z)|<1\;\mbox{for all}\; z\in\mathbb{D}\} $. The improved version of the classical Bohr's inequality \cite{Bohr-1914} states that if $ f\in\mathcal{B} $, then the…

We represent the sums $\sum_{k=0}^{n-1}{n \choose k}^{-2}$, $\sum_{k=0}^m{m\choose k}^{-1}{a\choose n-k}^{-1}$, $\sum_{k=0}^{n-1}\frac{q^{-k(k-1)}}{{\genfrac{[}{]}{0pt}{}{n}{k}}_q}$, and the sum of the reciprocals of the summands in Dixon's…

Nous prouvons l'existence de formules de r\'eciprocit\'e pour des sommes de la forme $\sum_{m=1}^{k-1} f(\frac{m}k) \cot(\pi\frac{mh}k)$, o\`u $f$ est une fonction $C^1$ par morceaux, qui met en \'evidence un ph\'enom\`ene d'alternance qui…

Let $\gamma$ denote imaginary parts of complex zeros of the Riemann zeta-function $\zeta(s)$. Certain sums over the $\gamma$'s are evaluated, by using the function $G(s) = \sum_{\gamma>0}\gamma^{-s}$ and other techniques. Some integrals…

In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions,…