Related papers: An elementary proof of the irrationality of Tschak…

In this paper we study the a. e. strong convergence of the quadratical partial sums of the two-dimensional Walsh-Fourier series. Namely, we prove the a.e. relation $(\frac{1}{n}\sum\limits_{m=0}^{n-1}\left\vert S_{mm}f - f…

In this paper, we prove two conjectures of Z.-W. Sun: $$2n\binom{2n}n\big|\sum_{k=0}^{n-1}(3k+1)\binom{2k}k^3{16}^{n-1-k}\ \mbox{for}\ \mbox{all}\ n=2,3,\cdots,$$ and $$\sum_{k=0}^{(p-1)/2}\frac{3k+1}{16^k}\binom{2k}{k}^3\equiv…

By defining $$I_n:=\int_{0}^{1}\int_{0}^{1} \frac{(x(1-x)y(1-y))^n}{(1-xy)(-\log xy)}\ dx dy$$ Sondow (see [2]) proved that $$I_n=\binom{2n}{n} \gamma+L_n-A_n$$ We prove asymptotic formula for $L_n$ and $A_n$ as $n\to\infty$, $$…

Using properties of the Riemann zeta-function we propose two new large classes of evaluated series. Incidentally the first class represents integrals as generalized average on very nonuniform sequences. The second class contains inter alia…

We improve the results from [EBS10] about the Eisenstein series $E_2(z)=1-24\sum_{n=1}^\infty \frac{nq^n}{1-q^n}$. In particular we show that there exists exactly one (simple) zero in each Ford circle and give an approximation to its…

It is proved that, for all odd integer $s \geqslant s_0(\varepsilon)$, there are at least $\big( c_0 - \varepsilon \big) \frac{s^{1/2}}{(\log s)^{1/2}} $ many irrational numbers among the following odd zeta values:…

We prove complete monotonicity of sums of squares of generalized Baskakov basis functions by deriving the corresponding results for hypergeometric functions. Moreover, in the central Baskakov case we study the distribution of the complex…

In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this…

Let $m>2$ and $q>0$ be integers with $m$ even or $q$ odd. We show the supercongruence $$\sum_{k=0}^{p-1}(-1)^{km}\binom{p/m-q}{k}^m\equiv0\pmod{p^3}.$$ for any prime $p>mq$. This confirms a conjecture of Sun.

Generalizing a geometric idea due to J. Sondow, we give a geometric proof for the Cantor's Theorem. Moreover, it is given an irrationality measure for some Cantor series.

We prove the second author's "denominator conjecture" [40] concerning the common denominators of coefficients of certain linear forms in zeta values. These forms were recently constructed to obtain lower bounds for the dimension of the…

It is commonly known that $\zeta(2k) = q_{k}\frac{\zeta(2k + 2)}{\pi^2}$ with known rational numbers $q_{k}$. In this work we construct recurrence relations of the form $\sum_{k = 1}^{\infty}r_{k}\frac{\zeta(2k + 1)}{\pi^{2k}} = 0$ and show…

Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove…

In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2}…

We obtained the region of convergence and the summation formula for some modified generalized hypergeometric series (1.2). We also investigated rationality of the sums of the power series (1.3). As a result the series (1.4) cannot be the…

Let $\theta$ and $\rho$ be real numbers with $0 \le \theta, \rho < 1$ and $\theta$ irrational. We show that the Hecke-Mahler series $$ F_{\theta, \rho} (z_1, z_2) = \sum_{k_1 \ge 1} \, \sum_{k_2 = 1}^{\lfloor k_1 \theta + \rho \rfloor} \,…

We consider D-finite power series $f(z)=\sum a_n z^n$ with coefficients in a number field $K$. We show that there is a dichotomy governing the behaviour of $h(a_n)$ as a function of $n$, where $h$ is the absolute logarithmic Weil height. As…

The irrationality exponent $\mu(t)$ of an irrational number t, defined using the irrationality measure $1/q^\mu$, distinguishes among non-Liouville numbers and is infinite for Liouville numbers. Using the irrationality measure $1/\beta^q$,…

Let $q$ be an odd prime, and let $T_{q}:\mathbb{Z}\rightarrow\mathbb{Z}$ be the Shortened $qx+1$ map, defined by $T_{q}\left(n\right)=n/2$ if $n$ is even and $T_{q}\left(n\right)=\left(qn+1\right)/2$ if $n$ is odd. The study of the dynamics…

The analytical solutions reported in our previous paper are given as series of hypergeometric or Coulomb wave functions. By using them, we can get the Teukolsky functions analytically in a desired accuracy. For the computation, the deep…