<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> be two closed linear subspaces in a complex Hilbert space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{\mathcal {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">N</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{\mathcal {M}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">M</mi> </msub> </math></EquationSource> </InlineEquation> denote the orthogonal projections onto <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>, respectively. In this paper, we study linear combinations of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{\mathcal {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">N</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{\mathcal {M}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">M</mi> </msub> </math></EquationSource> </InlineEquation>. Specifically, we show that if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{\mathcal {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">N</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{\mathcal {M}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">M</mi> </msub> </math></EquationSource> </InlineEquation> are non-zero and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha , \beta \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \beta \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mi>β</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then <Equation ID="Equ7"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_Equ7.gif" Format="GIF" Height="51" Rendition="HTML" Resolution="72" Type="Linedraw" Width="422" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \left\Vert \alpha P_{\mathcal {N}} + \beta P_{\mathcal {M}}\right\Vert = \frac{|\alpha | + |\beta | + \sqrt{(\alpha - \beta )^2 + 4\alpha \beta \left\Vert P_{\mathcal {N}}P_{\mathcal {M}}\right\Vert ^2}}{2}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced close="∥" open="∥"> <mi>α</mi> <msub> <mi>P</mi> <mi mathvariant="script">N</mi> </msub> <mo>+</mo> <mi>β</mi> <msub> <mi>P</mi> <mi mathvariant="script">M</mi> </msub> </mfenced> <mo>=</mo> <mfrac> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>α</mi> <mo stretchy="false">|</mo> </mrow> <mo>+</mo> <mrow> <mo stretchy="false">|</mo> <mi>β</mi> <mo stretchy="false">|</mo> </mrow> <mo>+</mo> <msqrt> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>-</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <mn>4</mn> <mi>α</mi> <mi>β</mi> <msup> <mfenced close="∥" open="∥"> <msub> <mi>P</mi> <mi mathvariant="script">N</mi> </msub> <msub> <mi>P</mi> <mi mathvariant="script">M</mi> </msub> </mfenced> <mn>2</mn> </msup> </mrow> </msqrt> </mrow> <mn>2</mn> </mfrac> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>This provides an affirmative answer to a question recently posed by the second author regarding the norm of linear combinations of orthogonal projections. By setting <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40840_2025_1939_Article_IEq14.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha = \beta = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mi>β</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we recover the well-known Duncan-Taylor formula for the sum of two projections. We also consider some cases where the scalars are complex.</p>

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

Operator Norm of Certain Sums of Orthogonal Projections in Hilbert Spaces

  • Najla Altwaijry,
  • Cristian Conde,
  • Kais Feki,
  • Hranislav Stanković

摘要

Let \(\mathcal {N}\) N and \(\mathcal {M}\) M be two closed linear subspaces in a complex Hilbert space \(\mathcal {H}\) H , and let \(P_{\mathcal {N}}\) P N and \(P_{\mathcal {M}}\) P M denote the orthogonal projections onto \(\mathcal {N}\) N and \(\mathcal {M}\) M , respectively. In this paper, we study linear combinations of \(P_{\mathcal {N}}\) P N and \(P_{\mathcal {M}}\) P M . Specifically, we show that if \(P_{\mathcal {N}}\) P N and \(P_{\mathcal {M}}\) P M are non-zero and \(\alpha , \beta \in \mathbb {R}\) α , β R with \(\alpha \beta \ge 0\) α β 0 , then \(\begin{aligned} \left\Vert \alpha P_{\mathcal {N}} + \beta P_{\mathcal {M}}\right\Vert = \frac{|\alpha | + |\beta | + \sqrt{(\alpha - \beta )^2 + 4\alpha \beta \left\Vert P_{\mathcal {N}}P_{\mathcal {M}}\right\Vert ^2}}{2}. \end{aligned}\) α P N + β P M = | α | + | β | + ( α - β ) 2 + 4 α β P N P M 2 2 . This provides an affirmative answer to a question recently posed by the second author regarding the norm of linear combinations of orthogonal projections. By setting \(\alpha = \beta = 1\) α = β = 1 , we recover the well-known Duncan-Taylor formula for the sum of two projections. We also consider some cases where the scalars are complex.