<p>A local Hilbert–Schmidt operator is an operator of the form <Equation ID="Equ13"> <EquationSource Format="TEX">\(\begin{aligned} (Tx)(t)=\int \limits _{-\infty }^{+\infty }k(t,s)x(s)ds \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munderover> <mo movablelimits="false">∫</mo> <mrow> <mo>-</mo> <mi>∞</mi> </mrow> <mrow> <mo>+</mo> <mi>∞</mi> </mrow> </munderover> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mi>x</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>s</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with a measurable kernel <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(k:\mathbb {R}^2\rightarrow \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> under the condition <Equation ID="Equ14"> <EquationSource Format="TEX">\(\begin{aligned} \int \limits _a^{b}\int \limits _a^{b}|k(t,s)|^2 ds dt&lt;\infty \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munderover> <mo movablelimits="false">∫</mo> <mi>a</mi> <mi>b</mi> </munderover> <munderover> <mo movablelimits="false">∫</mo> <mi>a</mi> <mi>b</mi> </munderover> <msup> <mrow> <mo stretchy="false">|</mo> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>s</mi> <mi>d</mi> <mi>t</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for all <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(-\infty&lt;a&lt;b&lt;+\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>∞</mi> <mo>&lt;</mo> <mi>a</mi> <mo>&lt;</mo> <mi>b</mi> <mo>&lt;</mo> <mo>+</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that, under some additional conditions that provide the action of the operator <i>T</i> in&#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(L_2(\mathbb {R},\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the invertibility of the operator <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textbf{1}+T\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn mathvariant="bold">1</mn> <mo>+</mo> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation> implies that the inverse operator has the form <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textbf{1}+T_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn mathvariant="bold">1</mn> <mo>+</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(T_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is also a local Hilbert–Schmidt operator whose kernel <i>S</i> satisfies the same conditions.</p>

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

ON THE INVERSE CLOSEDNESS OF THE SUBALGEBRA OF LOCAL HILBERT–SCHMIDT OPERATORS

  • E. Yu. Guseva

摘要

A local Hilbert–Schmidt operator is an operator of the form \(\begin{aligned} (Tx)(t)=\int \limits _{-\infty }^{+\infty }k(t,s)x(s)ds \end{aligned}\) ( T x ) ( t ) = - + k ( t , s ) x ( s ) d s with a measurable kernel \(k:\mathbb {R}^2\rightarrow \mathbb {C}\) k : R 2 C under the condition \(\begin{aligned} \int \limits _a^{b}\int \limits _a^{b}|k(t,s)|^2 ds dt<\infty \end{aligned}\) a b a b | k ( t , s ) | 2 d s d t < for all \(-\infty<a<b<+\infty \) - < a < b < + . We prove that, under some additional conditions that provide the action of the operator T in  \(L_2(\mathbb {R},\mathbb {C})\) L 2 ( R , C ) , the invertibility of the operator \(\textbf{1}+T\) 1 + T implies that the inverse operator has the form \(\textbf{1}+T_1\) 1 + T 1 , where \(T_1\) T 1 is also a local Hilbert–Schmidt operator whose kernel S satisfies the same conditions.