周期2π连续函数满足f≤g时FS(f)≤FS(g)的条件探究

这个问题问得很关键——毕竟函数之间的点态不等式，可不是随便就能传递到傅里叶级数层面的。先得把FS(f) ≤ FS(g)的含义掰扯清楚，再分别对应条件来分析：

通常有两种常见解读，得先区分开：

• 逐项系数不等式：对所有傅里叶系数（常数项、余弦项、正弦项），都满足a_n(f) ≤ a_n(g)、b_n(f) ≤ b_n(g)（其中a_n是余弦系数，b_n是正弦系数）；
• 级数和的点态不等式：在傅里叶级数收敛的点上，级数的和满足S_f(x) ≤ S_g(x)（对连续函数来说，几乎所有点都收敛到函数本身）。

一、如果是「逐项系数不等式」的情况 #

要让傅里叶系数逐项满足a_n(f) ≤ a_n(g)和b_n(f) ≤ b_n(g)，等价于函数h = g - f的所有傅里叶系数非负：a_n(h) ≥ 0，b_n(h) ≥ 0（题目已经保证h ≥ 0，因为f ≤ g）。

但非负函数不代表傅里叶系数一定非负——比如h(x) = 1 - cos2x，它处处非负，但a_2(h) = -1 < 0，显然不符合要求。那什么样的非负连续周期函数，所有傅里叶系数都非负呢？

充要条件 #

h必须是正型连续周期函数，等价于以下任意一条：

1. h可以表示为某个连续函数φ的傅里叶级数的绝对平方（即h(x) = |∑_{n=-∞}^∞ c_n e^{inx}|²，其中{c_n}是φ的傅里叶系数）；
2. h是非负三角多项式的一致极限（根据Fejér定理和Stone-Weierstrass逼近定理，能被非负三角多项式无限逼近）；
3. 对任意整数k₁,k₂,...,kₘ和任意复数c₁,c₂,...,cₘ，都有∑_{i,j=1}^m h(k_i - k_j) c_i \overline{c_j} ≥ 0（这是正型函数的经典定义，来自Bochner定理的离散版本）。

二、如果是「级数和的点态不等式」的情况 #

这种情况相对宽松很多：

• 首先，因为f和g是连续周期函数，根据傅里叶级数的收敛性质，几乎所有点上傅里叶级数都收敛到函数本身（这是Lebesgue的结论）。而题目已经给出f(x) ≤ g(x)对所有x成立，所以在这些收敛点上，自然有S_f(x) = f(x) ≤ g(x) = S_g(x)。
• 如果要求所有点上傅里叶级数都收敛且满足不等式，那只需要给f和g加上收敛性条件就行，比如：
  • f和g都是有界变差函数（Dirichlet-Jordan定理保证傅里叶级数在所有点收敛到函数值）；
  • f和g满足Dini条件（即对任意x，∫₀^π |f(x+t)-f(x)|/t dt < ∞，同样保证傅里叶级数在x点收敛到f(x)）。

另外，哪怕傅里叶级数在个别点发散，用Cesàro和（Fejér和）来代替普通级数和的话，因为Fejér和是卷积操作，会保持函数的不等式：σ_n(f,x) ≤ σ_n(g,x)对所有n和x成立，而Fejér和是一致收敛到连续函数本身的，所以极限也满足f(x) ≤ g(x)。

• 若要逐项傅里叶系数满足FS(f) ≤ FS(g)：要求g-f是正型连续周期函数，即所有傅里叶系数非负，等价于它是非负三角多项式的一致极限；
• 若要傅里叶级数和的点态满足FS(f) ≤ FS(g)：只要f ≤ g，在傅里叶级数收敛的点上自动成立；若要求所有点都满足，只需f和g满足傅里叶级数处处收敛的条件（如：有界变差、Dini条件）。

内容的提问来源于stack exchange，提问作者guest