{"entities":{"Q516342":{"pageid":518109,"ns":120,"title":"Item:Q516342","lastrevid":62428608,"modified":"2026-04-11T06:01:28Z","type":"item","id":"Q516342","labels":{"en":{"language":"en","value":"Some operator inequalities for unitarily invariant norms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694412"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516342$1931F176-28A5-4EB2-920E-C2E28EA75F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc6f2037810f46b35895bf6b4997c7383a42a4fd","datavalue":{"value":{"text":"Some operator inequalities for unitarily invariant norms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q516342$20A1D492-555B-469D-81C2-BF3ABDBA53EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8295bc2374572b13c8bcf0b37a0054603abb4bc","datavalue":{"value":"1394.47018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$0659E56C-0EAC-4D7F-AE41-093972FA0D0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7723e45d0de883a8b3ea6ce51eb425a402a6f016","datavalue":{"value":"10.1215/20088752-0000009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$CAE49B64-4EA9-4B15-B3DE-780E7094C256","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8e3f11c53eb76845a6a445c89646324906807a9","datavalue":{"value":{"entity-type":"item","numeric-id":340369,"id":"Q340369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516342$348C4F6C-3224-4FF7-91DD-6AEB09DF09E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9c291fa46a7a450edd1d53e427b3f999ef00515","datavalue":{"value":{"entity-type":"item","numeric-id":264939,"id":"Q264939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516342$77353817-1B8B-4FC0-AEB1-590CC0A219D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5b28471148e8c11380d6ab253a1a75f45a9c3d4b","datavalue":{"value":{"entity-type":"item","numeric-id":258987,"id":"Q258987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516342$115AD838-BD0D-4D4A-B517-78CF3EED928A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a54c8d448e87b5c993602a9ad5f16d9e6e688422","datavalue":{"value":{"time":"+2017-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q516342$8933D0CB-E896-4C4F-B6C1-BF02C3732400","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9263cb6f3e21c3030f06c5ede44b5f1229910a8c","datavalue":{"value":"https://projecteuclid.org/euclid.afa/1485918117","type":"string"},"datatype":"url"},"type":"statement","id":"Q516342$0982E84F-A639-4718-A478-C74B36A7DDB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28a68fd35fbc4004391f3042739c805202b5ec99","datavalue":{"value":"Denote by \\(\\mathbf{B}(\\mathcal{H})\\) the algebra of all bounded linear operators on a complex separable Hilbert space \\(\\mathcal{H}\\).  For \\(A\\in \\mathbf{B}(\\mathcal{H})\\), \\(A\\geq 0\\) means that \\(A\\) is positive and \\(A > 0\\) means that \\(A\\) is invertible and positive. Let \\(A, B, X \\in M_{n}\\) with \\(A, B > 0\\). The norm inequality  \\[ (2 + t){| \\kern -0.25ex | \\kern -0.25ex | A^{r}XB^{2 - r} + A^{2 - r}XB^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\leq 2 {| \\kern -0.25ex | \\kern -0.25ex | A^{2}X + tAXB + XB^{2} | \\kern -0.25ex | \\kern -0.25ex | } \\tag{1} \\]  holds for every unitarily invariant norm \\({| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }\\), \\(-2< t\\leq 2\\) and \\(\\frac{1}{2}\\leq r\\leq \\frac{3}{2}\\), see [\\textit{X.-Z. Zhan}, SIAM J. Matrix Anal. Appl. 20, No. 2, 466--470 (1998; Zbl 0921.15011)].  Another important norm inequality is the well-known Cauchy-Schwarz type inequality: for every unitarily invariant norm \\({| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }\\) and every positive real number \\(r\\), the function  \\[ g(t) = {| \\kern -0.25ex | \\kern -0.25ex | |A^{t}XB^{1 - t}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |A^{1 - t}XB^{t}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\tag{2} \\]  is convex on the interval \\([0, 1]\\) and attains its minimum at \\(t = \\frac{1}{2}\\).  Assume now that \\({| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }\\) is a unitarily invariant norm on a two-sided ideal \\(K_{{| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }}\\) in \\(\\mathbf{B}(\\mathcal{H})\\). The following inequality is a consequence of the norm inequalities of the Cauchy-Schwarz type. Let \\(p\\) and \\(q\\) be two positive real numbers with \\(p > 0\\) or \\(q > 0\\). Then  \\[  {| \\kern -0.25ex | \\kern -0.25ex | |A^{p}XB^{q}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |A^{q}XB^{p}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\leq {| \\kern -0.25ex | \\kern -0.25ex | |A^{p + q}X|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |XB^{p+q}|^{r} | \\kern -0.25ex | \\kern -0.25ex | }.\\tag{3} \\]  In this paper, the authors present a generalization of the norm inequality (1) and some operator inequalities of Cauchy-Schwarz type:  Theorem 1. Let \\(A, B, X \\in \\mathbf{B}(\\mathcal{H})\\) with \\(A, B > 0\\) and \\(X \\in K_{{| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }}\\) and \\(p\\geq q\\geq r\\geq 0\\). Then the inequality  \\[ \\begin{aligned} & (2 + t){| \\kern -0.25ex | \\kern -0.25ex | A^{\\frac{3p + q}{2}}XB^{\\frac{3q + p}{2}} + A^{\\frac{3q + p}{2}}XB^{\\frac{3p + q}{2}} | \\kern -0.25ex | \\kern -0.25ex | }\\\\ & \\leq 4 {| \\kern -0.25ex | \\kern -0.25ex | A^{\\frac{3p + q + 2r}{2}}XB^{\\frac{3q + p - 2r}{2}} + A^{\\frac{3q + p - 2r}{2}}XB^{\\frac{3p + q + 2r}{2}} | \\kern -0.25ex | \\kern -0.25ex | } - 2(2 - t) {| \\kern -0.25ex | \\kern -0.25ex | A^{p+q}XB^{p+q} | \\kern -0.25ex | \\kern -0.25ex | }\\\\ & \\leq {| \\kern -0.25ex | \\kern -0.25ex | A^{2(p+q)}X + XB^{2(p+q)} + tA^{p+q}XB^{p+q} | \\kern -0.25ex | \\kern -0.25ex | }\\end{aligned} \\]  holds for any unitarily invariant norm \\({| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }\\) and \\(t \\in (-2, 2]\\).  As a consequence of Theorem~1, if \\(A, B, X \\in \\mathbf{B}(\\mathcal{H})\\) with \\(A, B > 0\\), \\(X \\in K_{{| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }}\\) and \\(p, q> 0\\), then the inequality  \\[ \\begin{aligned} & (2 + t){| \\kern -0.25ex | \\kern -0.25ex | A^{\\frac{3p + q}{2}}XB^{\\frac{3q + p}{2}} + A^{\\frac{3q + p}{2}}XB^{\\frac{3p + q}{2}} | \\kern -0.25ex | \\kern -0.25ex | }\\\\ & \\leq 2 {| \\kern -0.25ex | \\kern -0.25ex | A^{2(p+q)}X + XB^{2(p+q)} + tA^{p+q}XB^{p+q} | \\kern -0.25ex | \\kern -0.25ex | } \\end{aligned} \\]  holds for any unitarily invariant norm \\({| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }\\) and \\(t \\in (-2, 2]\\).  Theorem 2. Let \\(A, B, X \\in \\mathbf{B}(\\mathcal{H})\\) with \\(A, B > 0\\), \\(X \\in K_{{| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }}\\) and \\(p\\geq q\\geq s\\geq 0\\). Then the inequality  \\[ {| \\kern -0.25ex | \\kern -0.25ex | |A^{p}XB^{q}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |A^{q}XB^{p}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\leq {| \\kern -0.25ex | \\kern -0.25ex | |A^{p + s}XB^{q-s}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |A^{q-s}XB^{p+s}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\]  holds for any unitarily invariant norm \\({| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }\\) and \\(r>0\\).  Theorem 3. Let \\(A, B, X \\in \\mathbf{B}(\\mathcal{H})\\) with \\(A, B > 0\\), \\(X \\in K_{{| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }}\\), \\(p\\geq q\\geq s\\geq 0\\) and \\(r>0\\). Then the function  \\[  f(s) = {| \\kern -0.25ex | \\kern -0.25ex | |A^{p + s}XB^{q-s}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |A^{q-s}XB^{p+s}|^{r} | \\kern -0.25ex | \\kern -0.25ex | }  \\]  is increasing on \\([0, q]\\).  As a consequence of Theorem 3, if \\(A, B, X \\in \\mathbf{B}(\\mathcal{H})\\) with \\(A, B > 0\\), \\(X \\in K_{{| \\kern -0.25ex | \\kern -0.25ex | \\cdot | \\kern -0.25ex | \\kern -0.25ex | }}\\), \\(t \\in [0, 1]\\) and \\(r> 0\\), then the function  \\[ g(t) = {| \\kern -0.25ex | \\kern -0.25ex | |A^{t}XB^{1-t}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\cdot {| \\kern -0.25ex | \\kern -0.25ex | |A^{1-t}XB^{t}|^{r} | \\kern -0.25ex | \\kern -0.25ex | } \\]  is decreasing on \\([0, \\frac{1}{2}]\\) and increasing on \\([\\frac{1}{2}, 1]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q516342$809D8AD2-0498-4A6A-B06B-7FA5BC1619E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"aeb141ef333e24da5a2e6bdd9e1e4591f3a644b5","datavalue":{"value":{"entity-type":"item","numeric-id":217454,"id":"Q217454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516342$1E42AE1B-699F-445A-AFE5-2A6E02A7554C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f993af4de7a9d1f7af787def3aa67ab2ecee897","datavalue":{"value":"47A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$140C7C1D-1904-45EC-9470-74A5C595E8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44cff1bee545ac073ec5522eabacdd99a59e8a7a","datavalue":{"value":"47A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$C75C9F42-8D3D-421E-A636-F36257F0EE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de015211c641081855981090b49964fceb04e0c6","datavalue":{"value":"15A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$43E6138E-E18E-47CB-9A1C-A41A42D7CB0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55e79ef7b5a5020789025e20acb623105a266013","datavalue":{"value":"6694412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$02ACF45E-A6AB-4E56-91EB-221DB428D7D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cbad086ab3a98c592a76ff25e7d231653290fee","datavalue":{"value":"Zhan's inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q516342$9BB2180E-9E61-4EF3-AF33-3835D5E92FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5151e097212cda743de4383030aa45f55661994","datavalue":{"value":"positive operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q516342$471AE97C-9AFE-489D-9362-71C2CD8B5D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b5d4a17a8e54becb2781437779b653374bff8a","datavalue":{"value":"unitarily invariant norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q516342$BD3A944B-2ABF-4F31-8DA4-2F13809C01F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10429570133e13e63f73915bd912a2d96378093d","datavalue":{"value":"Cauchy-Schwarz inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q516342$BA92D2CA-312E-4DC0-BFD0-B09F83AE5278","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516342$56260142-196F-4DD3-9976-3D01D7112015","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"882a48e2ced8b9b884e537b0863e7acc32a33bb4","datavalue":{"value":"W2583146938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516342$82CD815A-FE53-4C4E-A506-5544C90BBE17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696eb8088191c6f059721ccfefbc7e3cde1024ca","datavalue":{"value":{"entity-type":"item","numeric-id":4690558,"id":"Q4690558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a3b0def6c738acf1536d62fc29558f63332d63","datavalue":{"value":{"amount":"+0.8737369775772095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516342$DA1AAB66-58F8-4E0F-8B2F-32431A150CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a6505bacc67b49b697af208b76ab6da807c487","datavalue":{"value":{"entity-type":"item","numeric-id":1951821,"id":"Q1951821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66062a5612192cbeb8d635832190754daecc2baf","datavalue":{"value":{"amount":"+0.8666026592254639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516342$714ECB4D-8B4D-4A43-95F7-14561D56A4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56769d61de682503b12dda1db33101be16d0f8","datavalue":{"value":{"entity-type":"item","numeric-id":3167798,"id":"Q3167798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5d3352d1e713ff53603cf48371a2f2729e278a","datavalue":{"value":{"amount":"+0.8627014756202698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516342$AA4C92D9-AE00-4C0B-9AF9-3DA3A28F460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db117639c69141af5f2e6d5384670d356c0efb5","datavalue":{"value":{"entity-type":"item","numeric-id":782506,"id":"Q782506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e496aa5bd5970b7e94781ca74bbe69dd7cdb6a0","datavalue":{"value":{"amount":"+0.8625272512435913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516342$2F11D284-8108-4B79-96E5-EF343EB34424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2251f9805c0caa80c7fda656471014f745335a00","datavalue":{"value":{"entity-type":"item","numeric-id":5371779,"id":"Q5371779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3be7a8958c855e507326a6ef83ee83438f9d6f5","datavalue":{"value":{"amount":"+0.8542597889900208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q516342$38CC5575-FF85-4AFF-AB31-620F1FAC15DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some operator inequalities for unitarily invariant norms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_operator_inequalities_for_unitarily_invariant_norms"}}}}}