No label defined (Q3842016)

Let \(Z\) be the set of natural numbers, and \(a_k\), \(b_k\) \((k\in Z)\) be positive numbers. Let \(p\), \(q\) be positive numbers with \(p\geq q>1\) and \({1\over p}+{1\over q}= 1\). Let further that \(e\) and \(\overline e\) be nonnegative functions defined on \(Z\). Define \[ \begin{multlined} F_s(n)= \Biggl(\sum^n_{k=1} b^q_k\Biggr)^{2s/q-2s/p} \Biggl\{\Biggl(\sum^n_{k=1} a^p_k\Biggr)^2 \Biggl(\sum^n_{k=1} b^q_k\Biggr)^2- \Biggl[\sum^n_{k=1} a^p_k e(k)\cdot\\ \sum^n_{k=1} b^q_k e(k)- \sum^n_{k=1} a^p_ke(k)\cdot \sum^n_{k=1} b^q_k\Biggr]^2\Biggr\}^{s/p}- \Biggl(\sum^n_{k=1} a_kb_k\Biggr)^{2s}.\end{multlined} \] The author proves in the paper that, if the condition \[ 1- e(k)\overline e(r)+ e(r)\overline e(k)\geq 0 \] holds for all \(r,k\in Z\), then for \(s,n\in Z\), we have \[ 0\leq F_s(n)\leq F_s(n+ 1). \] This result extends a theorem of the author given in [Sci. Sin. 24, 1047-1055 (1981; Zbl 0471.26009)] which asserted that \(F_1(n)\geq 0\) holds for \(n\in Z\). An integral inequality is also given as a continuous analogue of the last result. Some interesting applications of the results are indicated, which yield generalizations of some results due to \textit{A. E. Ingham} [J. Lond. Math. Soc. 11, 237-240 (1935; Zbl 0014.25703)], \textit{L. K. Hua} [Sci. Sin. 14, 789-790 (1965; Zbl 0147.04803)], and \textit{W. K. Hayman} [Proc. Lond. Math. Soc., III. Ser. 5, 257-284 (1955; Zbl 0067.30104)].