Inequalities for positive-definite functions (Q280798)

In this note the author proves an inequality combining two recently published inequalities; one by the author [J. Math. Sci., New York 197, No. 4, 492--511 (2014; Zbl 1316.46002); translation from Fundam. Prikl. Mat. 17(2011/2012), No. 7, 67--95 (2012)] himself and the other by \textit{A. B. Pevnyi} and \textit{S. M. Sitnik} [in: Proceedings of the XVIIIth scientific-practical workshop: New information technologies in automated systems, 2015. Moskow: Inst. Prikl. Mat. Im. M. V. Keldysha . 247--254 (2015), \url{https://docs.google.com/a/itas.miem.edu.ru/file/d/0B-SgBwisInUEcldjTHVCa3dCc3M/edit} (Russian)]. Let \(X\) be the discrete group generated by elements \(x_k\), \(y_k\), where \(1 \leq k \leq n\). The dual group \(\Lambda\) is then topologically isomorphic to the product \(\Phi\times \mathbb{T}\), where \(\Phi\) is a finite group and \( \mathbb{T}\) is the unit circle. The author proves for \(|\xi|, |\eta|\leq 1\) and \(f\in PD (X)\) (continuous positive definite functions on \(X\)): \(|\xi^n f(\sum_{k=1}^{n} x_k)- \eta^n f(\sum_{k=1}^{n} y_k))|^2 \leq 2n f(0) \sum_{k=1}^{n}{ f(0)- \mathrm{Re} (\xi\overline {\eta}f (x_k-y_k))}\).