No label defined (Q4462147)

The authors show that for a continuous complex-valued function \(f\) defined on a locally compact group \(G\) with \(\mu\) a generalized Gelfand measure and \(\sigma\) a continuous involution of \(G\) then for \(\delta> 0\) and for \(x\) and \(y\) elements of \(G\), if \[ \Biggl| \int_G f(xty)\,d\mu(t)+ \int_G f(xt\sigma(y))\,d\mu(t)- 2f(x)\,f(y)\Biggr|\leq\delta \] either \[ | f(x)|\leq {1\over 2}\bigl(\|\mu\|+ \sqrt{|\mu|^2+ 2\delta}\bigr),\quad\text{for }x\in G \] or \[ \int_G f(xty)\,d\mu(t)+ \int_G f(xt\sigma(y))\,d\mu(t)= 2f(x)\,f(y),\quad\text{for }x,y\in G. \] This integral equation is a generalization of the classical d'Alembert functional equation. If \(G\) is an Abelian group, \(\mu= \delta_e\), the Dirac measure concentrated at the group identity, \(e\), and \(\sigma(x)= x\), then the integral equation reduces to the familiar d'Alembert functional equation: \[ f(x+ y)+ f(x- y)= 2f(x) f(y),\quad\text{for }x,y\in G. \] The assumption that \(\mu\) is a generalized Gelfand measure may be replaced by the weaker condition that \(f\) satisfies the following version of Kannappan's condition: \[ \int_G \int_G f(zsxty)\,d\mu(s)\,d\mu(t)= \int_G \int_G f(zsytx)\,d\mu(s)\,d\mu(t),\quad\text{for }x,y,z\in G. \] Finally, if \(\mu\) is a complex measure with finite support the complex-valued function \(f\) need not be assumed to be continuous.