你好，针对你提出的关于酉核判定及酉核空间的问题，我来梳理一下相关的思路和知识点：

首先呼应你提到的傅里叶变换例子：

傅里叶变换是一种积分变换，其核为 e^(-2πiξx)，并且它在L²空间上是酉的——也就是说它能保持L²范数不变，这是傅里叶变换的核心性质之一。

一、判定积分变换核是否酉的通用方法 #

要判断一个积分变换 (Tf)(ξ) = ∫ K(ξ,x)f(x)dx 的核K(ξ,x)是否对应酉算子，核心要抓住酉算子的定义：它是L²空间上的等距满射算子，等价于其伴随算子等于自身的逆算子（即 T*T = TT* = I，I是恒等算子）。对应到核的层面，我们可以通过两个正交性条件来验证：

• 对x变量的正交归一性：∫ K(ξ,x) \overline{K(ξ',x)} dx = δ(ξ - ξ')，这里δ是狄拉克δ函数，\overline{·}表示复共轭
• 对ξ变量的正交归一性：∫ K(ξ,x) \overline{K(ξ,x')} dξ = δ(x - x')
  这两个条件同时满足时，就说明T是酉算子，对应的核K就是酉核。

用你举的两个例子来实际分析：

• 核K(ξ,x)=ξ^x：先不说这个核的定义域和可积性问题（比如x为连续变量时，ξ取正实数的话，这个函数的行为在很多情况下都不满足积分要求），单看正交性条件，计算∫ ξ^x \overline{ξ'^x} dx的结果完全不可能是δ函数，所以这个核肯定不是酉核。
• 核K(ξ,x)=ξ+x：同样，就算我们在实空间上计算∫ (ξ+x)(ξ'+x) dx，得到的会是关于ξ、ξ'的多项式，和δ函数的性质完全不符，自然也不是酉核。

二、关于酉核的“空间”性质 #

酉核的集合可以看作是L²空间上酉积分算子对应的核的全体，它有一些有意思的结构性质：

• 复合封闭性：如果K₁和K₂都是酉核，那么它们对应的算子复合后，新的核∫ K₁(ξ,y)K₂(y,x) dy也是酉核——因为酉算子的复合还是酉算子。
• 共轭封闭性：如果K是酉核，那么它的复共轭转置核\overline{K(x,ξ)}也是酉核，这是因为酉算子的伴随算子等于它的逆算子，而逆算子同样是酉算子。
• 群表示诱导来源：很多经典的酉核都来自局部紧阿贝尔群的酉表示，比如傅里叶变换的核就对应实数加法群的酉表示，这类由群表示诱导出的核是酉核的重要组成部分。

备注：内容来源于stack exchange，提问作者jrudd