关于分段函数$f(x)=\begin{cases}\frac{\sin(x)}{x},&x\neq0\\0,&x=0\end{cases}$的有界变差性证明及相关结论验证的技术问询
嗨，我最近在研究这个分段函数的有界变差性问题，需要证明或者推翻以下结论：
分段函数
$$f(x) = \begin{cases}
\frac{\sin(x)}{x}, & \text{当 } x \neq 0,\
0, & \text{当 } x = 0.
\end{cases}$$
在区间$[0,1]$上是有界变差函数，并且其全变差$\sup_{p \in P} V(f,p) = 2$。
我先做了初步的尝试，考虑区间$[0,1]$上的任意分割$p={0,x_{1},x_{2},\dots,x_{n-1},1}$，对应的变差$V(f,p)$可以展开为：
$$
\begin{split}
V(f,p) &= \sum_{k=1}^{n}|f(x_{k})-f(x_{k-1})| \
&= \left|\frac{\sin(x_{1})}{x_{1}}\right| + \left|\frac{\sin(x_{2})}{x_{2}}-\frac{\sin(x_{1})}{x_{1}}\right| + \dots + \left|\frac{\sin(x_{n-1})}{x_{n-1}}-\frac{\sin(x_{n-2})}{x_{n-2}}\right| + \left|\sin(1)-\frac{\sin(x_{n-1})}{x_{n-1}}\right|
\end{split}
$$
不过接下来需要进一步分析才能得出结论，下面是完整的推导过程：
一、判断$f(x)$在$[0,1]$上是否为有界变差函数
首先，我们观察函数的性质：
- 当$x \in (0,1]$时，$f(x)=\frac{\sin x}{x}$，求导得$f'(x)=\frac{x\cos x - \sin x}{x^2}$。令$g(x)=x\cos x - \sin x$，则$g'(x)=-x\sin x$，在$(0,1]$上$g'(x)<0$（因为$x>0$且$\sin x>0$），又$g(0)=0$，因此$g(x)<0$在$(0,1]$上恒成立，即$f'(x)<0$，说明$f(x)$在$(0,1]$上严格单调递减。
- 在$x=0$处，$\lim_{x \to 0^+} f(x)=1$，但$f(0)=0$，因此$x=0$是$f(x)$的跳跃间断点，跳跃度为$|1-0|=1$。
有界变差函数允许有限个跳跃间断点，且单调函数一定是有界变差函数。我们可以将$f(x)$拆分为两个单调函数的差，满足有界变差函数的充要条件，故$f(x)$在$[0,1]$上是有界变差函数。
二、计算全变差$\sup_{p \in P} V(f,p)$
全变差的定义是所有可能分割下变差和的上确界。我们可以通过两部分计算：
- 跳跃间断点的贡献：在$x=0$处，无论如何分割，只要包含0点，这部分的变差至少为跳跃度1。
- 连续区间$(0,1]$的贡献：由于$f(x)$在$(0,1]$上严格单调递减，其在该区间的变差为$|f(1)-\lim_{x \to 0^+}f(x)|=|\sin1 - 1|=1 - \sin1$。
因此，总全变差为两部分之和：
$$V(f,[0,1])=1 + (1 - \sin1)=2 - \sin1 \approx 1.1585$$
显然这个值小于2，因此题目中“$\sup_{p \in P} V(f,p)=2$”的结论不成立。
结论
- $f(x)$在$[0,1]$上是有界变差函数；
- 其全变差为$2 - \sin1$，并非2，故原命题中关于全变差的结论不成立。
备注：内容来源于stack exchange，提问作者Math Admiral
