Related papers: A half-shift reflection identity for the digamma f…

In arXiv:2406.0243 two real functions $g(x,t)$ and $f(x,t)$ are defined, so that the Riemann-Siegel $Z$ function is given as \[Z(t)=\mathop{\mathrm{Re}}\Bigl\{\frac{u(t)e^{\frac{\pi i}{8}}}{\frac12+it}\int_0^\infty g(x,t)e^{i…

Extending Aanderaa's classical result that $\pi^1_1<\sigma^1_1$, we determine the order between any two patterns of iterated $\Sigma^1_1$- and $\Pi^1_1$-reflection. We show that this \emph{linear reflection order} is a prewellordering of…

We consider probability measures, $d\mu=w(\theta) \f{d\theta}{2\pi} +d\mu_\s$, on the unit circle, $\partial\bbD$, with Verblunsky coefficients, $\{\alpha_j\}_{j=0}^\infty$. We prove for $\theta_1\neq\theta_2$ in $[0,2\pi)$ and…

In this paper, we present a very accurate approximation for gamma function: \begin{equation*} \Gamma \left( x+1\right) \thicksim \sqrt{2\pi x}\left( \dfrac{x}{e}\right) ^{x}\left( x\sinh \frac{1}{x}\right) ^{x/2}\exp \left(…

Many integrals in the classical table by Gradshteyn and Ryzhik can be evaluated in terms of the digamma function (= the logarithmic derivative of the gamma function). Some of them are presented here.

In this paper, a general integral identity for convex functions is derived. Then, we establish new some inequalities of the Simpson and the Hermite-Hadamard's type for functions whose absolute values of derivatives are convex. Some…

It is proposed that the validity, or not, of the Riemann Hypothesis might be established on the basis of the integral $$\int\frac{\xi(2s)}{\xi(s)}ds$$ where $$\xi(s)=(s-1)\pi^{-s/2}\Gamma(1+s/2)\zeta(s).$$

We utilize a combination of integral transforms, including the Laplace transform, with some classical results in analytic number theory concerning the Riemann $\xi$-function, to obtain a new integral equation. We also provide a new proof of…

The Mellin transform and several Dirichlet series related with the Riemann zeta function are used to deduce some identities similar to the classical M\"untz formula [4]. These formulas are derived in the critical strip and in the half-plane…

In this paper, we use a modular form approach to evaluate the convolution sums $\sum_{l+42m=n}\sigma (l)\sigma (m)$, $\sum_{2l+21m=n}\sigma (l)\sigma (m),$ $\sum_{3l+14m=n}\sigma (l)\sigma (m)$ and $\sum_{6l+7m=n}\sigma (l)\sigma (m) $ for…

The binary radix expansion of a real number can be used to code the outcome of any series of coin tosses, a fact that provides an intriguing link between number theory, measure theory and statistical physics. Inspired by this fact, a…

Let $UT_4(F)$ be $4\times 4$ upper triangular matrix algebra over a field $F$ of characteristic zero and let $\mathcal{A}$ be the subalgebra of $UT_4(F)$ linearly generated by $\{\mathbf{e}_{ij}:1 \leq i\leq j \leq 4 \} \setminus…

It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalb\'an,…

We use techniques of dyadic analysis in order to prove that, for every $0<s<\tfrac{1}{2}$, there exists a positive constant $\gamma(s)$ such that the inequality $$\left(\iint_{\mathbb{R}^2}|x-y|^{2s-1}|\varphi(x)||\varphi(y)|dx…

We prove the inequality sum_{k=1}^infty (-1)^{k+1} r^k cos(k*phi) (k+2)^{-1} < sum_{k=1}^infty(-1)^{k+1} r^k (k+2)^{-1} for 0 < r <= 1 and 0 < phi < pi. For the case r = 1 we give two proofs. The first one is by means of a general numerical…

For a real analytic periodic function $\phi:\mathbb{R}\to\mathbb{R}^d$, an integer $b \ge 2$ and $\lambda\in(1/b,1)$, we prove that the box dimension and the Hausdorff dimension of the graph of the Weierstrass function…

By considering a limiting form of the q-Dixon_4\phi_3 summation, we prove a weighted partition theorem involving odd parts differing by >= 4. A two parameter refinement of this theorem is then deduced from a quartic reformulation of…

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 prove that the classical theta function $\theta_4$ may be expressed as $$ \theta_4(v,\tau) = \theta_4(0,\tau) \exp[- \sum_{p\geq 1} \sum_{k\geq 0} \frac {1}{p} \bigg(\frac {\sin \pi v}{(\sin (k+{1/2})\pi \tau)}\bigg)^{2p}].$$ We obtain…

A question proposed by Kimura and proved by Ruehr, Kimura and others in 1980 states that for any function $f$ continuous on $[-\frac{1}{2}, \frac{3}{2}]$ one has $$ \int_{-1/2}^{3/2} f(3x^2 - 2x^3) dx = 2 \int_0^1 f(3x^2 - 2x^3) dx. $$ In…