<p>We study integral operators on the space of square-integrable functions from a compact set, <i>X</i>,&#xa0; to a separable Hilbert space, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_718_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{H}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The kernel of such an operator takes values in the ideal of Hilbert–Schmidt operators on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_718_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{H}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We establish regularity conditions on the kernel under which the associated integral operator is trace class. First, we extend Mercer’s theorem to operator-valued kernels by proving that a continuous, nonnegative-definite, Hermitian symmetric kernel defines a trace class integral operator on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_718_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2(X;\textsf{H})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <mi mathvariant="sans-serif">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> under an additional assumption. Second, we show that a general operator-valued kernel that is defined on a compact set and that is Hölder continuous with Hölder exponent greater than a half is trace class provided that the operator-valued kernel is essentially bounded as a mapping into the space of trace class operators on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_718_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{H}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Finally, when <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40590_2025_718_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim \textsf{H}&lt; \infty ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mi mathvariant="sans-serif">H</mi> <mo>&lt;</mo> <mi>∞</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> we show that an analogous result also holds for matrix-valued kernels on the real line, provided that an additional exponential decay assumption holds.</p>

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

A regularity condition under which integral operators with operator-valued kernels are trace class

  • John Zweck,
  • Yuri Latushkin,
  • Erika Gallo

摘要

We study integral operators on the space of square-integrable functions from a compact set, X,  to a separable Hilbert space, \(\textsf{H}.\) H . The kernel of such an operator takes values in the ideal of Hilbert–Schmidt operators on \(\textsf{H}.\) H . We establish regularity conditions on the kernel under which the associated integral operator is trace class. First, we extend Mercer’s theorem to operator-valued kernels by proving that a continuous, nonnegative-definite, Hermitian symmetric kernel defines a trace class integral operator on \(L^2(X;\textsf{H})\) L 2 ( X ; H ) under an additional assumption. Second, we show that a general operator-valued kernel that is defined on a compact set and that is Hölder continuous with Hölder exponent greater than a half is trace class provided that the operator-valued kernel is essentially bounded as a mapping into the space of trace class operators on \(\textsf{H}.\) H . Finally, when \(\dim \textsf{H}< \infty ,\) dim H < , we show that an analogous result also holds for matrix-valued kernels on the real line, provided that an additional exponential decay assumption holds.