arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2408.04794math.FA
收藏

算子值核积分算子属于迹类的一个正则性条件

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

John Zweck, Yuri Latushkin, Erika Gallo

AI总结:

本文研究紧集上算子值核积分算子的迹类性质,分别推广 Mercer 定理、给出 Hölder 正则性与本质有界条件,并建立有限维实轴矩阵值核的指数衰减结果。

摘要:

我们研究从紧集 X 到可分 Hilbert 空间 H 的平方可积函数空间上的积分算子。此类算子的核取值于 H 上 Hilbert–Schmidt 算子构成的理想。我们建立了核的正则性条件,使相应积分算子属于迹类。首先,我们将 Mercer 定理推广到算子值核,证明在一个附加假设下,连续、非负定且 Hermitian 对称的核在 L^2(X;H) 上定义一个迹类积分算子。其次,我们表明,对于定义在紧集上的一般算子值核,如果它作为映入 H 上迹类算子空间的映射是本质有界的,并且 Hölder 连续且 Hölder 指数大于二分之一,则该核是迹类的。最后,当 dim H < ∞ 时,我们表明在附加指数衰减假设成立的条件下,实轴上的矩阵值核也有类似结果。

英文摘要:

We study integral operators on the space of square-integrable functions from a compact set, $X$, to a separable Hilbert space, $H$. The kernel of such an operator takes values in the ideal of Hilbert-Schmidt operators on $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;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 $H$. Finally, when $\dim H < \infty$, we show that an analogous result also holds for matrix-valued kernels on the real line, provided that an additional exponential decay assumption holds.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑