<p>We consider complex (or real) Hilbert spaces <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {V}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">V</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {V}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">V</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {U}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">U</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {U}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">U</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>, along with bounded linear operators <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_1: \mathcal {V}_1 \rightarrow \mathcal {U}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>1</mn> </msub> <mo>:</mo> <msub> <mi mathvariant="script">V</mi> <mn>1</mn> </msub> <mo stretchy="false">→</mo> <msub> <mi mathvariant="script">U</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_2: \mathcal {V}_2 \rightarrow \mathcal {U}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mo>:</mo> <msub> <mi mathvariant="script">V</mi> <mn>2</mn> </msub> <mo stretchy="false">→</mo> <msub> <mi mathvariant="script">U</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. The direct sum space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {U}_1 \oplus \mathcal {U}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">U</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi mathvariant="script">U</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> consists of elements <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_1 \oplus u_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_1 \in \mathcal {U}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>∈</mo> <msub> <mi mathvariant="script">U</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(u_2 \in \mathcal {U}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>∈</mo> <msub> <mi mathvariant="script">U</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, with componentwise algebraic operations. Equipped with the inner product <Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_Equ1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="308" /> </MediaObject> <EquationSource Format="TEX">\( \langle u_1 \oplus u_2, v_1 \oplus v_2 \rangle := \langle u_1, v_1 \rangle _{\mathcal {U}_1} + \langle u_2, v_2 \rangle _{\mathcal {U}_2}, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> <mo>:</mo> <mo>=</mo> <msub> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> <msub> <mi mathvariant="script">U</mi> <mn>1</mn> </msub> </msub> <mo>+</mo> <msub> <mrow> <mo stretchy="false">⟨</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo stretchy="false">⟩</mo> </mrow> <msub> <mi mathvariant="script">U</mi> <mn>2</mn> </msub> </msub> <mo>,</mo> </mrow> </math></EquationSource> </Equation>this space forms a Hilbert space. The direct sum operator <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_1 \oplus M_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> maps <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {V}_1 \oplus \mathcal {V}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">V</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi mathvariant="script">V</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {U}_1 \oplus \mathcal {U}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">U</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi mathvariant="script">U</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> via <Equation ID="Equ2"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_Equ2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="269" /> </MediaObject> <EquationSource Format="TEX">\( (M_1 \oplus M_2)(v_1 \oplus v_2) := M_1 v_1 \oplus M_2 v_2. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>M</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <msub> <mi>M</mi> <mn>1</mn> </msub> <msub> <mi>v</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> <msub> <mi>v</mi> <mn>2</mn> </msub> <mo>.</mo> </mrow> </math></EquationSource> </Equation>In this paper, we focus on the theory of frames for operators in a general, non-classical context where domains and codomains may differ. We investigate frames for operators whose codomains are direct sums of Hilbert spaces, with special emphasis on operators of the form <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="44146_2025_207_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_1 \oplus M_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>1</mn> </msub> <mo>⊕</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. We analyze their duality, study their minimality properties, and extend the notion of orthonormal bases for operators to this broader setting.</p>

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

A study of Frames and Bases for Operators in Direct Sums of Complex Hilbert Spaces

  • Najib Khachiaa

摘要

We consider complex (or real) Hilbert spaces \(\mathcal {V}_1\) V 1 , \(\mathcal {V}_2\) V 2 , \(\mathcal {U}_1\) U 1 , and \(\mathcal {U}_2\) U 2 , along with bounded linear operators \(M_1: \mathcal {V}_1 \rightarrow \mathcal {U}_1\) M 1 : V 1 U 1 and \(M_2: \mathcal {V}_2 \rightarrow \mathcal {U}_2\) M 2 : V 2 U 2 . The direct sum space \(\mathcal {U}_1 \oplus \mathcal {U}_2\) U 1 U 2 consists of elements \(u_1 \oplus u_2\) u 1 u 2 , where \(u_1 \in \mathcal {U}_1\) u 1 U 1 and \(u_2 \in \mathcal {U}_2\) u 2 U 2 , with componentwise algebraic operations. Equipped with the inner product \( \langle u_1 \oplus u_2, v_1 \oplus v_2 \rangle := \langle u_1, v_1 \rangle _{\mathcal {U}_1} + \langle u_2, v_2 \rangle _{\mathcal {U}_2}, \) u 1 u 2 , v 1 v 2 : = u 1 , v 1 U 1 + u 2 , v 2 U 2 , this space forms a Hilbert space. The direct sum operator \(M_1 \oplus M_2\) M 1 M 2 maps \(\mathcal {V}_1 \oplus \mathcal {V}_2\) V 1 V 2 into \(\mathcal {U}_1 \oplus \mathcal {U}_2\) U 1 U 2 via \( (M_1 \oplus M_2)(v_1 \oplus v_2) := M_1 v_1 \oplus M_2 v_2. \) ( M 1 M 2 ) ( v 1 v 2 ) : = M 1 v 1 M 2 v 2 . In this paper, we focus on the theory of frames for operators in a general, non-classical context where domains and codomains may differ. We investigate frames for operators whose codomains are direct sums of Hilbert spaces, with special emphasis on operators of the form \(M_1 \oplus M_2\) M 1 M 2 . We analyze their duality, study their minimality properties, and extend the notion of orthonormal bases for operators to this broader setting.