Related papers: Functional identities on matrix algebras

In this paper we find the solutions of the functional equation $$f(xy) = g(x)h(y) + \sum_{j=1}^n g_j(x)h_j(y), \;x,y \in M,$$ where $M$ is a monoid, $n\geq 2$, and $g_j$ (for $j=1,...,n$) are linear combinations of at least $2$ distinct…

The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of hypergeometric terms $F(n,k)$ is extended to certain nonhypergeometric terms. An expression $F(n,k)$ is called a hypergeometric term if both…

We present a different proof of the following identity due to Munarini, which generalizes a curious binomial identity of Simons. \begin{align*} \sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k…

In this paper, by making use of properties of elliptic functions, we describe meromorphic solutions of Fermat-type functional equations $f(z)^{n}+f(L(z))^{m}=1$ over the complex plane $\mathbb{C}$, where $L(z)$ is a nonconstant entire…

In this paper we use a formula for the $n$-th power of a $2\times2$ matrix $A$ (in terms of the entries in $A$) to derive various combinatorial identities. Three examples of our results follow. 1) We show that if $m$ and $n$ are positive…

We give a combinatorial characterization of the identities holding in the semiring of all upper triangular Boolean $n\times n$-matrices and apply the characterization to computational complexity of identity checking, finite axiomatizability…

We relate two different solutions of a Mahler equation; one solution is only defined at certain roots of unity, while the other is an analytic function inside the unit disk.

We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by…

We introduce a natural definition for sums of the form \[ \sum_{\nu=1}^x f(\nu) \] when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the…

In this article we obtain a general polynomial identity in $k$ variables, where $k\geq 2$ is an arbitrary positive integer. We use this identity to give a closed-form expression for the entries of the powers of a $k \times k$ matrix.…

From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these…

Given formal differential operators $F_i$ on polynomial algebra in several variables $x_1,...,x_n$, we discuss finding expressions $K_l$ determined by the equation $\exp(\sum_i x_i F_i)(\exp(\sum_j q_j x_j)) = \exp(\sum_l K_l x_l)$ and…

Let ${\mathcal M}$ be the class of analytic functions in the unit disk $\ID$ with the normalization $f(0)=f'(0)-1=0$, and satisfying the condition $$\left |z^2\left (\frac{z}{f(z)}\right )''+ f'(z)\left(\frac{z}{f(z)} \right)^{2}-1\right…

Fix $k \ge 3$. If a multiplicative function $f$ satisfies \[ f(x_1+x_2+\dots+x_k) = f(x_1) + f(x_2) + \dots + f(x_k) \] for arbitrary positive triangular numbers $x_1, x_2, \dots, x_k$, then $f$ is the identity function. This extends Chung…

New identities on traces of representations of the Hecke algebra on the spaces of paths on graphs are presented. These identities are relevant in the computation of partition functions with fixed boundary conditions and of two-point…

We introduce the notion of characteristic function of a quaternionic matrix, whose roots are the left eigenvalues. We prove that for all $2\times 2$ matrices and for $3\times 3$ matrices having some zero entry outside the diagonal there is…

Let $A$ be a vector space of real valued functions on a non-empty set $X$ and $L:A\rightarrow\mathbb{R}$ a linear functional. Given a $\sigma$-algebra $\mathcal{A}$, of subsets of $X$, we present a necessary condition for $L$ to be…

In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types…

In this paper, we establish the following two identities involving the Gamma function and Bernoulli polynomials, namely $$ \sum_{k\leq x}\frac{1}{k^s} \sum_{j=1}^{k^s}\log\Gamma\left(\frac{j}{k^s}\right) \sum_{\substack{d|k \\…

We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as…