<p>Let <i>A</i>,&#xa0; <i>B</i>,&#xa0; and <i>X</i> be complex matrices of order <i>n</i>. We establish several novel singular value and norm inequalities, including: <Equation ID="Equ46"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1126_Article_Equ46.gif" Format="GIF" Height="47" Rendition="HTML" Resolution="72" Type="Linedraw" Width="568" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} &amp; \mu _{k}(\Re (AX^{*}B^{*}))\le \sqrt{\mu _{k}(A|X|A^{*}\oplus A|X|A^{*})\,\Vert B|X^{*}|B^{*}\Vert }\le \Vert X\Vert \Vert B\Vert \mu _{k}(A\oplus A), \\ &amp; \quad \mu _{k}(AB^{*}+BA^{*})\le \mu _{k}((A^{*}A+B^{*}B)\oplus (AA^{*}+BB^{*})), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>ℜ</mi> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mmultiscripts> <mi>X</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mmultiscripts> <mi>B</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msqrt> <mrow> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> </mrow> <mmultiscripts> <mi>A</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>⊕</mo> <mrow> <mi>A</mi> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> </mrow> <mmultiscripts> <mi>A</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mrow> <mo stretchy="false">)</mo> <mspace width="0.166667em" /> <mo stretchy="false">‖</mo> <mi>B</mi> <mo stretchy="false">|</mo> </mrow> <mmultiscripts> <mi>X</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mrow> <mo stretchy="false">|</mo> <mmultiscripts> <mi>B</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">‖</mo> </mrow> </mrow> </msqrt> <mo>≤</mo> <mrow> <mo stretchy="false">‖</mo> <mi>X</mi> <mo stretchy="false">‖</mo> <mo stretchy="false">‖</mo> <mi>B</mi> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>⊕</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mmultiscripts> <mi>B</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>+</mo> <mi>B</mi> <mmultiscripts> <mi>A</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <mmultiscripts> <mi>A</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mi>A</mi> <mo>+</mo> <mmultiscripts> <mi>B</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊕</mo> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mmultiscripts> <mi>A</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>+</mo> <mi>B</mi> <mmultiscripts> <mi>B</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and for positive semidefinite matrices <i>A</i> and <i>B</i>, <Equation ID="Equ47"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1126_Article_Equ47.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="597" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mu _{k}(AX-YB)\le \max \{\Vert A\Vert ,\Vert B\Vert \}\left( \frac{\mu _{k}((X-Y)\oplus (X-Y))}{2}+\max \{\Vert X\Vert ,\Vert Y\Vert \}\right) . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mi>X</mi> <mo>-</mo> <mi>Y</mi> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">{</mo> <mo stretchy="false">‖</mo> <mi>A</mi> <mo stretchy="false">‖</mo> <mo>,</mo> <mo stretchy="false">‖</mo> <mi>B</mi> <mo stretchy="false">‖</mo> <mo stretchy="false">}</mo> </mrow> <mfenced close=")" open="("> <mfrac> <mrow> <msub> <mi>μ</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>-</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊕</mo> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>-</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> <mn>2</mn> </mfrac> <mo>+</mo> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">{</mo> <mo stretchy="false">‖</mo> <mi>X</mi> <mo stretchy="false">‖</mo> <mo>,</mo> <mo stretchy="false">‖</mo> <mi>Y</mi> <mo stretchy="false">‖</mo> <mo stretchy="false">}</mo> </mrow> </mfenced> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>The first and second inequalities establish variants of well-known singular value inequalities, while the third result generalizes a commutator inequality for positive semidefinite matrices previously established by Kittaneh. Additionally, we extend several classical singular value inequalities to functional settings, broadening their scope and applicability.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Further singular value and norm inequalities for matrices

  • Ahmad Al-Natoor,
  • S. K. Kaushik,
  • Fuad Kittaneh,
  • Amit Kumar

摘要

Let AB,  and X be complex matrices of order n. We establish several novel singular value and norm inequalities, including: \(\begin{aligned} & \mu _{k}(\Re (AX^{*}B^{*}))\le \sqrt{\mu _{k}(A|X|A^{*}\oplus A|X|A^{*})\,\Vert B|X^{*}|B^{*}\Vert }\le \Vert X\Vert \Vert B\Vert \mu _{k}(A\oplus A), \\ & \quad \mu _{k}(AB^{*}+BA^{*})\le \mu _{k}((A^{*}A+B^{*}B)\oplus (AA^{*}+BB^{*})), \end{aligned}\) μ k ( ( A X B ) ) μ k ( A | X | A A | X | A ) B | X | B X B μ k ( A A ) , μ k ( A B + B A ) μ k ( ( A A + B B ) ( A A + B B ) ) , and for positive semidefinite matrices A and B, \(\begin{aligned} \mu _{k}(AX-YB)\le \max \{\Vert A\Vert ,\Vert B\Vert \}\left( \frac{\mu _{k}((X-Y)\oplus (X-Y))}{2}+\max \{\Vert X\Vert ,\Vert Y\Vert \}\right) . \end{aligned}\) μ k ( A X - Y B ) max { A , B } μ k ( ( X - Y ) ( X - Y ) ) 2 + max { X , Y } . The first and second inequalities establish variants of well-known singular value inequalities, while the third result generalizes a commutator inequality for positive semidefinite matrices previously established by Kittaneh. Additionally, we extend several classical singular value inequalities to functional settings, broadening their scope and applicability.