关于正测度集上余弦函数积分的估计及最优常数求解

嘿，这个问题挺有意思的——核心就是利用余弦函数的振荡（正负交替）来改进那个平凡的积分上界（$|\int_S \cos\theta d\theta| \leq |S|$），我们一步步来拆解：

首先，先明确目标：对任意正测度集 $S \subset [0,2\pi)$，找到一个严格小于 $|S|$ 的常数 $A$，使得 $|\int_S \cos\theta d\theta| \leq A$，并且找到最优的 $A$（也就是对给定的 $|S|$，能取到的最大可能的 $A$，因为这样的估计才是最紧的）。

关键分析：积分的极值情况 #

要找到最紧的上界，我们需要考虑：对于固定的测度 $|S|=L$（$0<L<2\pi$），什么样的集合 $S$ 能让 $|\int_S \cos\theta d\theta|$ 达到最大值？
根据积分的极值原理，要最大化 $\int_S \cos\theta d\theta$，我们应该优先选取 $\cos\theta$ 取值最大的那些点；反之，要最小化这个积分（即最大化绝对值），就选 $\cos\theta$ 取值最小的点。

1. 最大化积分的最优集合

余弦函数在 $[0,2\pi)$ 中，正区域是 $[0,\pi/2] \cup [3\pi/2,2\pi)$，负区域是 $[\pi/2,3\pi/2]$。当我们固定 $|S|=L$ 时：

• 如果 $L \leq \pi$：最优的集合是两个对称的正区间 $[0, L/2] \cup [2\pi-L/2, 2\pi)$，此时积分值为 $2\sin(L/2)$。
• 如果 $L > \pi$：我们没法只取正区域（正区域总测度是 $\pi$），所以需要取全部正区域，再加上负区域中 $\cos\theta$ 最接近0的部分——最终最优集合还是对称的 $[0, L/2] \cup [2\pi-L/2, 2\pi)$，积分值同样是 $2\sin(L/2)$（因为此时 $L/2 > \pi/2$，$\sin(L/2)$ 仍是正的，只是比 $L/2$ 小）。

同理，要最小化积分（得到最大的负绝对值），最优集合是对称的负区间 $[\pi-L/2, \pi+L/2]$，积分绝对值也是 $2\sin(L/2)$。

最终的估计与最优常数 #

对任意正测度集 $S \subset [0,2\pi)$，记 $L=|S|$，我们有：
$$
\left|\int_S \cos(\theta)d\theta\right| \leq 2\sin\left(\frac{L}{2}\right) < L = |S|
$$
这里的 $2\sin(L/2)$ 就是最优的常数 $A$——因为存在对应的集合 $S$ 能让等号成立，同时由于 $\sin x < x$ 对所有 $x>0$ 成立，显然 $2\sin(L/2) < 2 \cdot \frac{L}{2} = L$，完美满足你要的“$A < |S|$”的要求，而且充分利用了余弦函数的振荡性（通过对称区间的选取让正负部分的积分抵消被控制，而非用平凡的绝对值积分估计）。

举个例子验证一下：如果 $S$ 是 $[0,\pi/2] \cup [3\pi/2,2\pi)$（测度 $L=\pi$），积分值是 $2\sin(\pi/2)=2$，而 $2 < \pi$，确实比平凡估计的 $\pi$ 紧得多；如果 $S$ 是很小的区间 $[0,\varepsilon]$，积分值约为 $\varepsilon - \varepsilon^3/6$，而 $2\sin(\varepsilon/2) \approx \varepsilon - \varepsilon^3/24$，略大于实际积分，但仍严格小于 $\varepsilon$，符合要求。

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