[拼音]：zhengding hanshu
[外文]：positive definite function
指实轴R上定义的满足如下条件的连续函数ƒ：
这里"正定"名称来源于正定矩阵。事实上，式(1)等价于说，对一切n与一切点列，复数矩阵是一个正定矩阵（严格地说是半正定矩阵）。
正定函数概念的提出晚于它的一个同类，即所谓正定序列。O.特普利茨于20世纪初首先定义了正定序列的概念，即它是使矩阵正定的序列。G.赫格洛茨随后发现了正定序列的一个非常重要的性质。正是在此基础上，S.博赫纳于30年代初得到了R上正定函数的重要性质，并第一个认识到了这个概念的重要性。他在这方面的重要贡献之一便是建立了类似赫格洛茨定理的下述结果:R上连续函数ƒ(x)是正定的，当且仅当存在有界增函数φ(t)，使
(2)
正定函数的概念可以允许下述推广。首先，函数ƒ的定义域可以不必是R，而是任意的局部紧T2群G。正定函数的概念推广到这样的群上是直接的。也就是说，G上连续函数ƒ称为是正定的（记其全体为p(G)），若
(1)＇
在这样的推广下，正定序列与正定函数的概念便获得了统一：前者是整数群Z上的正定函数，后者是实轴群R上的正定函数。正定函数概念的第二个推广是函数 ƒ可以不必是连续的，而只要求是可测的（这里可测性是关于所在群G的哈尔测度）。正如 F.（F.）里斯、I.E.西格尔与J.冯·诺伊曼等先后指出的，这样的正定函数与连续的正定函数只相差一个局部零（即在任意紧集上都几乎处处为零）的正定函数。第三个推广是将式 (1)（或（1）＇）左边的和改为积分。仍以 R为例。R上波莱尔可测函数ƒ称为正定的，如果对一切φ∈L1（R），总有ƒ(x-y)φ(x)徰(y)∈L1(R×R)，且
(3)
可以证明，式(3)意义下的正定函数与式(1)意义下的正定函数是几乎处处相等的。特别地，两种意义下连续的正定函数的集合是一样的。
正定函数是一个在许多领域都会遇到并且很有用的概念。如概率论中随机变量的特征函数就是正定函数。特征函数比随机变量的分布函数更易于处理。P.莱维正是用正定函数作工具对独立随机变量和的中心极限定理进行了比较统一完整的处理。正定函数在泛函分析中也经常遇到。事实上连续正定函数与某种连续正泛函一一对应。以R情况为例，R上连续正定函数ƒ与M(R)(R上有界波莱尔测度所构成的对合巴拿赫代数)上连续正泛函
(4)
是一一对应的。此外，正定函数在调和分析中的地位也十分突出。交换群上的调和分析中的许多基本事实的建立都得力于正定函数这个概念。例如，傅里叶逆转定理便叙述为
式中∧表示傅里叶变换，∨表示傅里叶逆变换，弿表示G的对偶群。又如，普朗歇尔定理（它说，傅里叶变换是L2(G)到L2(弿)上的一个等距同构）的一个证明便利用了上述逆转定理以及如下事实
式中*表示卷积，B(G)是p(G)生成的复线性空间。至于在非交换群上的调和分析中，由于正定函数与连续酉表示的密切关系，以及它比连续酉表示更具体，它的作用也显得越来越重要。此外，正定函数在复变函数、积分方程、微分方程的边值问题、信息论等领域也都十分有用。
参考书目