Related papers: On a certain identity involving the Gamma function

For fixed positive reals $t$ and $\alpha$, consider the sequence $S_t(\alpha) = (s_1, s_2, \ldots, )$ with $s_n = \left \lfloor t\alpha^n \right \rfloor$. In 1964, Graham managed to characterize those pairs $(t, \alpha)$ with $0 < t < 1$…

We prove an identity [Eq. (1) below] among SU(2) 6j and 9j symbols that generalizes the Biedenharn-Elliott sum rule. We prove the result using diagrammatic techniques (briefly reviewed here), and then provide an algebraic proof. This…

Let $n$ be a positive integer, $\sigma$ be an element of the symmetric group $\mathcal{S}_n$ and let $\sigma$ be a cycle of length $n$. The elements $\alpha ,\beta \in \mathcal{S}_n$ are $\sigma$-equivalent, if there are natural numbers $k$…

${\cal E}$ denotes the family of all finite nonempty $S\subseteq{\mathbb N}:=\{1,2,\ldots\}$, and ${\cal E}(X):={\cal E}\cap\{S:S\subseteq X\}$ when $X\subseteq{\mathbb N}$. Similarly, ${\cal F}$ denotes the family of all finite nonempty…

We establish an integration by parts formula in bounded domains for the higher order fractional Laplacian $(-\Delta)^s$ with $s>1$. We also obtain the Pohozaev identity for this operator. Both identities involve local boundary terms, and…

Let $F_k$ be the $k$th Fibonacci number. Let $(G_k)_{k\in\mathbb Z}$ be any sequence obeying the recurrence relation of the Fibonacci numbers. We employ the Gerin-Ces\`aro identity and an identity of Brousseau to evaluate the following…

Several years ago the second author playing with different "recognizers of real constants", e.g., the LLL algorithm, the Plouffe inverter, etc. found empirically the following formula. Let $p_n/q_n$ denote the $n$th convergent of the…

We show that the (morphic) sequence $(-1)^{s_\varphi(n)}$ is asymptotically orthogonal to all bounded multiplicative functions, where $s_\varphi$ denotes the Zeckendorf sum-of-digits function. In particular we have $\sum_{n<N}…

In this note we present a method for obtaining a wide class of combinatorial identities. We give several examples, in particular, based on the Gamma and Beta functions. Some of them have already been considered by previously, and other are…

In this paper we evaluate some Toeplitz-type determinants. Let $n>1$ be an integer. We prove the following two basic identities: \begin{align*} \det{[j-k+\delta_{jk}]_{1\leq j,k\leq n}}&=1+\frac{n^2(n^2-1)}{12}, \\…

We determine the explicit formulas for the sum of products of homogeneous multiple harmonic sums $\sum_{k=1}^n \prod_{j=1}^r H_k(\{1\}^{\lambda_j})$ when $\sum_{j=1}^r \lambda_j\leq 5$. We apply these identities to the study of two…

We prove that $$ \prod_{n=0}^{\infty}(1+q^{10n+5}) = \frac{\sum_{n=-\infty}^{\infty}q^{n^{2}}\, \sum_{n=-\infty}^{\infty}(-1)^{n}\, (-q)^{n(3n-1)/2}}{4\, \sum_{n\geq 0}(-q)^{\frac{n(n+1)}{2}}\sin \left\{\frac{(2n+1)3\pi}{10}\right\}\,…

Let $S= \{ p_1, \ldots, p_s\}$ be a finite, non-empty set of distinct prime numbers and $(U_{n})_{n \geq 0}$ be a linear recurrence sequence of integers of order $r$. For any positive integer $k,$ we define $(U_j^{(k)})_{j\geq 1}$ an…

In the paper, the author expresses the difference $2^m\bigl[\zeta\bigl(-m,\frac{1+x}{2}\bigr)-\zeta\bigl(-m,\frac{2+x}{2}\bigr)\bigr]$ in terms of a linear combination of the function $\Gamma(m+1){\,}_2F_1(-m,-x;1;2)$ for $m\in\mathbb{N}_0$…

By a very simple argument, we prove that if $l,m,n$ are nonnegative integers then $$\sum_{k=0}^l(-1)^{m-k}\binom{l}{k}\binom{m-k}{n}\binom{2k}{k-2l+m} =\sum_{k=0}^l\binom{l}{k}\binom{2k}{n}\binom{n-l}{m+n-3k-l}. On the basis of this…

We study the sums $$ S_f(x) = \sum_{n\leq x} f\left(\left\lfloor\frac{x}{n}\right\rfloor\right) $$ when $f$ is supported on $r$th powers with $r\geq 2$. This restriction allows us to give nontrivial estimates for one of the error terms in…

Let $G(k)=\int_0^1g(x)e^{kx}dx$, $g\in L^1(0,1)$. The main result of this paper is the following theorem. {\bf Theorem}. {\it If $\limsup_{k\to +\infty}|G(k)|<\infty$, then $g=0$. There exists $g\not\equiv 0$, $g\in L^1(0,1)$, such that…

In this paper, we introduce a novel indefinite summation $\sum_{t} f(t)$ (or antidifference $\Delta ^{-1}f(t) $ ) formula for any given function $f$. We apply the indefinite summation formula to calculate a particular solution to a…

We give the definition, main properties and integral expressions of the auxiliary function of Riemann $\mathop{\mathcal R }(s)$. For example we prove $$\pi^{-s/2}\Gamma(s/2)\mathop{\mathcal R }(s)=-\frac{e^{-\pi i s/4}}{…

In this work, we introduce two new subclasses S_{{\Sigma}_{m}}({\alpha},{\lambda}) and S_{{\Sigma}_{m}}(\b{eta},{\lambda}) of {\Sigma}_{m} consisting of analytic and m-fold symmetric bi-univalent functions in the open unit disk U.…