Related papers: An integral identity with applications in orthogon…
We present a branch-consistent framework for integrals involving quadratic radicals by expressing exponentials of principal inverse trigonometric functions in algebraic form. Two identities for $e^{\pm i\cos^{-1}(y)}$ and $e^{\pm…
We give two new proofs of the Chaundy-Bullard formula $$ (1-x)^{n+1} \sum_{k=0}^m {n+k\choose k} x^k +x^{m+1}\sum_{k=0}^n {m+k\choose k} (1-x)^k=1 $$ and we prove the "twin formula" $$ \frac{ (1-x)^{(n+1)}}{(n+1)!} \sum_{k=0}^m…
We investigate the sums $\sum_{n\le X, (n,q)=1}\frac{\mu(n)}{n^s}\log^k\left(\frac{X}{n}\right)$, where $k\in\{0,1\}$, $s\in\mathbb{C}$, $\Re s>0$. Our goal is to obtain explicit asymptotic estimations for these quantities. To achieve this,…
In this note, we find a combinatorial identity which is closely related to the multi-dimensional integral $\gamma_{m}$ in the study of divisor functions. As an application, we determine the finite dual of the group algebra of infinite…
An explicit family of polynomials on the unit ball $B^d$ of $\RR^d$ is constructed, so that it is an orthonormal family with respect to the inner product $$ < f,g > = \rho \int_{B^d}\nabla f(x)\cdot \nabla g(x) dx + \CL (fg), $$ where $\rho…
Let $n$ be a natural number greater or equal to $3$, $R$ a commutative ring and $\sigma\in GL_n(R)$. We show that $t_{kl}(\sigma_{ij})$ (resp. $t_{kl}(\sigma_{ii}-\sigma_{jj}))$ where $i\neq j$ and $k\neq l$ can be expressed as a product of…
From the literature it is known that orthogonal polynomials as the Jacobi polynomials can be expressed by hypergeometric series. In this paper, the authors derive several contiguous relations for terminating multivariate hypergeometric…
Let $\Lambda$ be the von Mangoldt function and $r_{\textit{HL}}(n) = \sum_{m_1 + m_2^2 = n} \Lambda(m_1),$ be the counting function for the Hardy-Littlewood numbers. Let $N$ be a sufficiently large integer. We prove that…
In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…
For a finite dimensional algebra $\Lambda$ of finite representation type and an additive generator $M$ for $\mathrm{mod}\,\Lambda$, we investigate the properties of the Yoneda algebra $\Gamma=\bigoplus_{i \geq…
The multiplication theorem for univariate Hermite polynomials $H_k(\lambda x)$ is well-known. In this paper we generalize this result to multivariate Hermite polynomials ${\rm H}_{\bf k}({\mathbf{\Lambda}}{\bf x};{\mathbf{\Sigma}})$, and…
Motivated by an expression by Persson and Strang on an integral involving Legendre polynomials, stating that the square of $P_{2n+1}(x)/x$ integrated over $[-1,1]$ is always $2$, we present analog results for Hermite, Chebyshev, Laguerre…
Morrey's classical inequality implies the H\"older continuity of a function whose gradient is sufficiently integrable. Another consequence is the Hardy-type inequality $$ \lambda\biggl\|\frac{u}{d_\Omega^{1-n/p}}\biggr\|_{\infty}^p\le…
A distinctive problem of harmonic analysis on $\R$ with respect to a Borel probability measure $\mu$ is identifying all $t\in\R$ such that both \[\left\{e^{-2\pi i\lambda x}: \lambda\in\Lambda\right\}\quad\text{and}\quad \left\{e^{-2\pi…
A family of orthonormal polynomials on the unit ball $B^d$ of $\RR^d$ with respect to the inner product $$ < f,g > = \int_{B^d}\Delta[(1-\|x\|^2) f(x)] \Delta[(1-\|x\|) g(x)] dx, $$ where $\Delta$ is the Laplace operator, is constructed…
Let $\Lambda$ be the space of symmetric functions and $V_k$ be the subspace spanned by the modified Schur functions $\{S_\lambda[X/(1-t)]\}_{\lambda_1\leq k}$. We introduce a new family of symmetric polynomials,…
We obtain the strong asymptotics of polynomials $p_n(\lambda)$, $\lambda\in\mathbb{C}$, orthogonal with respect to measures in the complex plane of the form $$ e^{-N(|\lambda|^{2s}-t\lambda^s-\overline{t\lambda}^s)}dA(\lambda), $$ where $s$…
Suppose that \[ \vec{\gamma}(t) := (\gamma_1(t),\dots,\gamma_n(t)) = (a_1 t^{d_1},\dots,a_n t^{d_n}), \; \; \; 1\leq d_1 < \dots < d_n, \ a_i \neq 0\] is a homogeneous polynomial curve. We prove that whenever $p_1,\dots,p_n > 1$ and…
Let $\Phi_n(X)$ and $\Psi_n(X)=\frac{X^{n}-1}{\Phi_{n}(X)}$ be the $n$-th cyclotomic and inverse cyclotomic polynomials respectively. In this short note, for any pair of divisors $ d_{1} \neq d_{2} $ of $ n $, and integers $l_1$ and $l_2$…
We consider two basic algorithmic problems concerning tuples of (skew-)symmetric matrices. The first problem asks to decide, given two tuples of (skew-)symmetric matrices $(B_1, \dots, B_m)$ and $(C_1, \dots, C_m)$, whether there exists an…