<p>The aim of this work is to study new properties of the Drazin-Star and the Star-Drazin inverses of a bounded finite potent operator on a Hilbert space. Given a bounded finite potent operator <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varphi \in \operatorname {End}_k (\mathcal H)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>∈</mo> <msub> <mo>End</mo> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, we prove that the pseudo-characteristic polynomials of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varphi ^{D,*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mi>D</mi> <mo>,</mo> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varphi ^{*,D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mi>D</mi> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation> coincide. Accordingly, we obtain that <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\sigma (\varphi ^{D,*}) = \sigma (\varphi ^{*,D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mrow> <mo stretchy="false">(</mo> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mi>D</mi> <mo>,</mo> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>σ</mi> <mrow> <mo stretchy="false">(</mo> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mi>D</mi> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\operatorname {Tr}_\mathcal {H} (\varphi ^{D,*}) = \operatorname {Tr}_\mathcal {H} (\varphi ^{*,D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>Tr</mo> <mi mathvariant="script">H</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mi>D</mi> <mo>,</mo> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>Tr</mo> <mi mathvariant="script">H</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mi>D</mi> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\operatorname {det}_\mathcal {H} (\text {Id} + \varphi ^{D,*}) = \operatorname {det}_\mathcal {H} (\text {Id} + \varphi ^{*,D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>det</mo> <mi mathvariant="script">H</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mtext>Id</mtext> <mo>+</mo> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mi>D</mi> <mo>,</mo> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>det</mo> <mi mathvariant="script">H</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mtext>Id</mtext> <mo>+</mo> <mmultiscripts> <mi>φ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mi>D</mi> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In particular, these results hold for a finite square complex matrix <i>A</i>. Moreover, we offer the explicit characterization of the AST-decompositions of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal H\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> induced by the Group-Star and the Star-Group inverses of a bounded linear operator <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal H\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(i(\psi )\le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo stretchy="false">(</mo> <mi>ψ</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On New Properties of the Drazin-Star and the Star-Drazin Inverses

  • Fernando Pablos Romo,
  • Dijana Mosić

摘要

The aim of this work is to study new properties of the Drazin-Star and the Star-Drazin inverses of a bounded finite potent operator on a Hilbert space. Given a bounded finite potent operator \(\varphi \in \operatorname {End}_k (\mathcal H)\) φ End k ( H ) , we prove that the pseudo-characteristic polynomials of \(\varphi ^{D,*}\) φ D , and \(\varphi ^{*,D}\) φ , D coincide. Accordingly, we obtain that \(\sigma (\varphi ^{D,*}) = \sigma (\varphi ^{*,D})\) σ ( φ D , ) = σ ( φ , D ) , \(\operatorname {Tr}_\mathcal {H} (\varphi ^{D,*}) = \operatorname {Tr}_\mathcal {H} (\varphi ^{*,D})\) Tr H ( φ D , ) = Tr H ( φ , D ) and \(\operatorname {det}_\mathcal {H} (\text {Id} + \varphi ^{D,*}) = \operatorname {det}_\mathcal {H} (\text {Id} + \varphi ^{*,D})\) det H ( Id + φ D , ) = det H ( Id + φ , D ) . In particular, these results hold for a finite square complex matrix A. Moreover, we offer the explicit characterization of the AST-decompositions of \(\mathcal H\) H induced by the Group-Star and the Star-Group inverses of a bounded linear operator \(\psi \) ψ on \(\mathcal H\) H with \(i(\psi )\le 1\) i ( ψ ) 1 .