scientific article; zbMATH DE number 1347870

Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Norms (inequalities, more than one norm, etc.) of linear operators (47A30) Linear operator inequalities (47A63)

Review text

This is another author's article [a previous one was written jointly with \textit{H. Mori} and \textit{Y. Seo}, see J. Inequal. Appl. 2, No. 3, 235-253 (1998)] devoted to the application of Ozeki's method for estimating of complementary Cauchy's inequality. Let \(a= (a_1,\dots, a_n)\), \(b= (b_1,\dots, b_n)\) be \(n\)-tuples of real numbers: \(0 <m_1\leq a_k\leq M_1\), \(0 < m_1\leq b_k\leq M_2\), \(1\leq k\leq n\). The complementary Cauchy inequality is presented in the Ozeki's form. Let \(T= T(a,b)\) be a function defined in the product \([m_1,M_1]^n\times [m_2, M_2]^n\). One of Ozeki's results is presented in the following form: \(T(\underline a,\overline b)\geq T(a,b)\); \(T(\overline a,\underline b)\geq T(a,b)\). In this article the author analyzes the difference \[ S_p(a, b):= (\sum a^p_k)^{1/p} (\sum b^q_k)^{1/q}- (\sum a_kb_k), \] \(p >1\), \(q > 1\), \({1\over p}+{1\over q}= 1\) which is derived from Hölder's inequality. The main result of this article is the following Theorem 2.2. Let \(a= (a_1,\dots, a_n)\), \(b= (b_1,\dots, b_n)\), \(0 < m_1\leq a_k\leq M_1\), \(0 < m_2\leq b_k\leq M_2\), \(k= 1,2,\dots, n\); \(m_1 < M_1\), \(m_2 < M_2\). Put \(\alpha= m_1/M_1\), \(\beta= m_2/M_2\). Then \[ \begin{multlined} (\sum a^p_k)^{1/p} (\sum b^q_k)^{1/q}- \sum a_kb_k\leq\\ n M_1 M_2\Biggl[{1-\alpha\over 1-\alpha^p}+ {1-\beta\over 1-\beta^q}- 1\Biggr]- c(p,\alpha,\beta) \Biggl\{{1\over 1-\alpha^p}+ {1\over 1-\beta^q}- 1\Biggr\},\end{multlined} \] where \(c\) is the constant defined from Hölder's inequality.

Recommendations

Cited in

(6)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4267653)