Bi-additive s-functional inequalities and biderivation in modular spaces (Q2064093)

For an algebra \(\mathcal{A}\) and a \(\rho\)-complete modular space \(\mathcal{X}_{\rho}\) (with a convex modular \(\rho\) satisfying some additional properties), the author considers a mapping \[ d: \mathcal{A}\times \mathcal{A}\to\mathcal{X}_{\rho} \] which satisfies some conditions and inequalities involving \(d\), \(\rho\) and a control mapping \(\psi\). It is shown that under these conditions the mapping \(d\) can be approximated by a bi-additive mapping \(D\). If in addition some other conditions are satisfied, in particular if \[ \rho(d(xy,z)-d(x,z)y-zd(y,z))\leq\psi(x,y)\psi(z,z),\quad x,y,z\in \mathcal{A}, \] then \(d\) is a bi-derivation. In the proofs, a fixed point method is used. Some particular forms of the control mapping \(\psi\) are considered as well.