补充资料：Parseval等式

Parseval等式
Parseval equality

hI’seval等式l巧~1闰因五ty;n叩ceB‘paBeHc，] 在具有内积的向量空问中，元素范数的平方通过该;u索关于某个正交系(ortllognnal system)的F以幼er系数(Fo姗r以犯mcients)的模的平方表示的一个等式.瞥如说，如果X是一个定义了内积(，)的赋范可分向量空间，}·{}表示相应的范数，毛e。}是X中的一个正交系，e，笋0(。二1，2，…)，则对于元素二任xPalse耐等式(Pa化evdlequalitv)是 }川{之=艺风.臼}e。{2，(l) n=1其中的“，，二(x，鱿.)/(凭，，e。)(。二1，2，…)是x关于正交系{鱿，圣的Fo~系数.如果{e。}是规范正交的则Parse锥I等式取形式 {}x}!2二艺}a。}2. 刀=t 对于给定的元素x‘X，Pa玲e讥d等式成立是x关于正交系乏。。}的Founer级数依X中的范数收敛到x的充分必要条件.Parseval等式对所有元素x‘X成一立，是正交系{e。}在X中完全(参见完全系(com-Pkles哪tem))的充分必要条件.特别地，由此可推得二 l)如果X是可分的H沮笼rt空I’ed(Hilbert sPace)而月‘{e。}是它的一组正交基.则Pa巧eval等式对{代}及每一个二任x成立; 2)如果X是可分的Hilbert空问，义，y〔X，而且仕，}是X的一组规范正交基，设“。二(x，e。)和b。=(y，e。)分别是火和y的Fo此r系数，则有 (、，y)二艺a。万，，(2) ”二l这称为广义Parse训等式(ge~U双沮Parseval闪比山ty).在相当明确的形式中.B.A，(汁cK月oB在【l]中研究了由微分算子的特征函数构成的函数系的完全性问题. P出sevdl等式也能推广到不可分Hilbert空间的情形设{e。}(:〔讥，鱿是某个指标集)是Hil比rt空间X中的完全规范正交系，则对于任意元素x‘X，Palse珑d等式成立: (二，二)一艺J(x，。。)JZ， 改任洲上式右边的和应理解为 s彗P二买，(x，“:，}2，其中的上确界取遍吸的所有有限子集吸、、. 当X=LZ[一二，兀}(即l一兀，兀l上Le比g1Je平方可积的实值函数空间)且/〔L:I一二，司时，可以取三角函数系(tngonolnetrics”tem)作为完全正交系并得到 “、井 j一才+。杏l吸“·峨”x十。。50 nx)，这IJ寸，(l)取形式 专i厂2(:)以。一誓+。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。