Related papers: A Menon-type identity using Klee's function

We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of…

In \cite{MR2221114}, B.~C.~Berndt and A.~Zaharescu introduced the twisted divisor sums associated with the Dirichlet character while studying the Ramanujan's type identity involving finite trigonometric sums and doubly infinite series of…

In this paper we investigate a certain category of cotangent sums and more specifically the sum $$\sum_{m=1}^{b-1}\cot\left(\frac{\pi m}{b}\right)\sin^{3}\left(2\pi m\frac{a}{b}\right)\:$$ and associate the distribution of its values to a…

By developing a connection between partial theta functions and Appell-Lerch sums, we find and prove a formula which expresses Hecke-type double sums in terms of Appell-Lerch sums and theta functions. Not only does our formula prove…

This note provide bijective proofs of two combinatorial identities involving generalized Catalan number $C_{m,5}(n)={m\over 5n+m}{5n+m\choose n}$ recently proposed by Sun.

Kleene's computability theory based on the S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's 'machine model' which formalises computing with real numbers. A fundamental…

Let $L(G)$ denote the space of integer-valued length functions on a countable group $G$ endowed with the topology of pointwise convergence. Assuming that $G$ does not satisfy any non-trivial mixed identity, we prove that a generic (in the…

In this note, we compute the Mellin transform of a Poissonian exponential functional, the underlying process being a simple continuous time random walk. It shows that the Poissonian functional can be expressed in term of the inverse of a…

We present an algorithmic approach to the verification of identities on multiple theta functions in the form of products of theta functions $[(-1)^{\delta}a_1^{\alpha_1}a_2^{\alpha_2}\cdots a_r^{\alpha_r}q^{s}; q^{t}]_\infty$, where…

In this note, we aim to provide generalizations of (i) Knuth's old sum (or Reed Dawson identity) and (ii) Riordan's identity using a hypergeometric series approach.

In this work we present a matrix generalization of the Euler identity about exponential representation of a complex number. The concept of matrix exponential is used in a fundamental way. We define a notion of matrix imaginary unit which…

Recently, Feng, Kuznetsov and Yang discovered a very general reduction formula for a sum of products of the generalized hypergeometric functions (J. Math. Anal. Appl. 443(2016), 116--122). The main goal of this note is to present a…

Let $f$ be a transcendental meromorphic function defined in the complex plane $\mathbb{C}$, and $\varphi(\not\equiv 0,\infty)$ be a small function of $f$. In this paper, We give a quantitative estimation of the characteristic function $T(r,…

In a recent paper, Yu. A. Brychkov derived a series of identities for multiples sums of special functions, using generating functions. Among these identities, a particularly interesting one involves multiples sums of Bessel $I_{\nu}$…

We present a theorem which generalizes the classical Euler's theorem on congruencies: if $(a,m)=1$ then $a^ \phi(m) \equiv 1 (mod m)$ for the case when $a$ and $m$ are not relatively primes.

Kleene's computability theory based on his S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's `machine model' which formalises computing with real numbers. A fundamental…

It is shown that the curious identity of Simons follows immediately from Euler's series transformation formula and also from an identity due to Ljunggren. The relation of Simons' identity to Legendre's polynomials is also discussed. At the…

We obtain asymptotic formulas for the sums $\sum_{n_1,\ldots,n_k\le x} f((n_1,\ldots,n_k))$ and $ \sum_{n_1,\ldots,n_k\le x} f([n_1,\ldots,n_k])$ involving the gcd and lcm of the integers $n_1,\ldots,n_k$, where $f$ belongs to certain…

Let $I(n) = \frac{\psi(\phi(n))}{\phi(\psi(n))}$ and $K(n) = \frac{\psi(\phi(n))}{\phi(\phi(n))}$, where $\phi(n)$ is Euler's function and $\psi(n)$ is Dedekind's arithmetic function. We obtain the maximal order of $I(n)$, as well as the…

Let $G$ be a finite group and $\varphi(G)=|\{a\in G \mid o(a)=\exp(G)\}|$, where $o(a)$ denotes the order of $a$ in $G$ and $\exp(G)$ denotes the exponent of $G$. Under a natural hypothesis, in this note we determine the groups $G$ such…