No label defined (Q3982873)

A commutative algebra \(X\) over a field \({\mathcal F}\) of scalars is said to be a \(D\)-algebra if there is a right invertible linear operator \(D\) with domain and range in \(X\) and such that \(x\in\text{dom} D\), \(y\in\text{dom} D\) implies \(xy\in\text{dom} D\). This means that the domain of \(D\) is a subalgebra of \(X\). If \(X\) is a \(D\)-algebra, then a non-Leibniz component is a bilinear symmetric form defined by \[ f_ D(x,y)=D(xy)-c_ D(xDy+yDx)\qquad\text{for }x,y\in\text{dom} D \tag{*} \] where the scalar coefficient \(c_ D\) depends on \(D\) only. Examples of non-Leibniz components for several differential and difference operators are given in ``Algebraic analysis'' by the second author (1988; Zbl 0696.47002), Section 6.1. The aim of the present paper is to give some characterizations of these bilinear symmetric forms which could induce a right invertible operator. In other words, we are trying to find conditions for a bilinear symmetric form to be a non-Leibniz component of a right invertible operator.