连续函数的平移自交相关

问题引入

前几天，有人问我一个有趣的数分问题：

设$k$为大于1的正整数，$f:[0,k]→R$是连续函数，满足$f(0)=f(k)$。证明：至少有$k$对不相同的$(x_1,x_2)$，满足$f(x_1)=f(x_2)$而且$x_2−x_1$是整数。

这是一个很有意思的问题，初看这个问题，脑子里大概有两个想法：

• 会不会对于每个$i\leq k,i \in N$，都有$(x_a,x_b) \subset [0,k]$，使得，$x_b-x_a=i$？
• 对任意的$a \in R$，函数方程$f(x+a)=f(a)$都有解？
  

我们可以构造函数否定这两个想法（实际上只要否定第一个想法即可），构造如下函数，如图(a):

$$y=\sin(\frac{2\pi x}{5}),0 \leq x \leq 5,\\ y=\sin(\frac{2\pi (x-3)}{5}),0 \leq x \leq 5$$
这两个函数不相交，这说明前面的想法是错误的（这里向右平移了3个单位），前天我在博客上放了一个伪证（已删除）是基于第一个想法的，虽然是错的，但是给正确的解答也提供了思路，同时伪证的办法可以解决一个弱一点的问题 Universal chord theorem，即：

（Universal chord theorem）对于一个连续函数$f$，如果有$f(a)=f(b)$，那么对于任意自然数$n$，必定存在$\xi \in [a,b]$，使得$f(\xi+\frac{1}{n})=f(\xi)$成立。

我们来看看图(b)，实际上，题目所要求的$k$对不相同的$(x_1,x_2)$是最优的估计，我们可以随意构造像图(b)这样的连续上凸函数，他们都满足有且仅有$k$对不相同的$(x_1,x_2)$满足条件。如此看来问题陷入了一个僵局，$k$对时最优的，且并不是每一个整数间隔都是存在数对的（否则可以取遍所有的$i\leq k,i \in N$即证），那么该如何去做呢？

正解

传闻这道题是2014年某高校的博士入学考，后来有同学告诉我这是裴礼文的原题（第二版145页），做法是数学归纳法加上介值定理，数学归纳法我也想过，不过想必是需要神构造的，果真如此：

证明：$n=1$时候显然成立，假设$n=k$时候成立，下面来考察一下$n=k+1$的情况，构造函数$F(x)=f(x+1)-f(x)$，由$f(0)=f(k+1)$有：（这一步我之前的伪证也给出了）

$$\sum_{i=0}^{k+1}F(i)=\sum_{i=0}^{k+1}f(i+1)-f(i)=f(k+1)-f(0)=0,$$
于是必定存在两个整数结点上的函数值符号是互异的（否则全为正或者负，与其和为0矛盾！），由连续函数的介值定理即可证明存在 $\xi \in [0,k+1]$使得 $f(\xi+1)=f(\xi)$，这实际上说明了间隔为1的解必定存在。当然这也可以直接用上面提到的 Universal chord theorem说明（取 $n=1$即可）。

上面的$(\xi,\xi+1)$是满足要求的一组数对，下面 构造神函数：

$$\varphi \left( x \right) = \left\{ \begin{array}{l} f\left( x \right),x \in \left[ {0,\xi } \right]\\ f\left( {x + 1} \right),x \in \left( {\xi ,k} \right] \end{array} \right.,$$
注意到 $\varphi(x)$是连续函数，且 $\varphi(0)=\varphi(k)$，由归纳假设 $\varphi(x)$有 $k$对满足条件的数对，且这些数对也恰好是满足$f$的 $k$组数对！！这$k$组数对和 $(\xi,\xi+1)$显然不同，加在一起一共 $k+1$对，于是由数学归纳法便完成了证明。

更进一步的思考

对于上面的第二个想法，稍作修改，提出如下猜想：

若$f \in C(R)$，且$lim_{x \to -\infty}f$和$lim_{x \to +\infty}f$，那么$lim_{x \to \infty}f$存在（即正负极限相等）的充要条件是：函数方程$f(x+a)=f(x)$有解，其中$a \in R$.

必要性很快就找到反例了，构造如下函数：

$$\varphi \left( x \right) = \left\{ \begin{array}{l} - 1,x \le - 1\\ x, - 1 < x < 1\\ 1,x \ge 1 \end{array} \right.,$$
它满足 $f(\varphi+a)=f(\varphi)$有解，但是极限不存在，那么充分性是否正确呢？下面给出证明（应该没问题）：

Conjecture: 若$f \in C(R)$，且$lim_{x \to \infty}f$存在，则函数方程$f(x+a)=f(x)$有解，其中$a \in R$.

证明：先证明$lim_{x \to \infty}f$有限的情况，不妨设$lim_{x \to \infty}f=k$

• 若$f \equiv k$，那么显然
• 若$\exists x_0 \in R$ s.t. $f(x_0)>k$，则$\exists \xi_1 \in R$ s.t. $f(x) \leq f(\xi_1),x\in R$。

即$f$在$R$上存在最大值，这是因为由极限的定义我们有：$\forall \varepsilon>0$，$\exists N_1>0$，当$x>N_1$时候有，$f(x)<\varepsilon+k$，$\exists N_2<0$，当$x<N_2$时候有，$f(x)<\varepsilon+k$，

注意到我们总能取足够小的$\varepsilon$，使得一方面$f(x_0)>k+\varepsilon$（注意到$f(x_0)>k$），另一方面使得$x_0 \in[N_2,N_1]$，由闭区间上连续函数的性质我么可以知道$f$在$[N_2,N_1]$上有最大值$f(\xi_1)$，又因为$x_0 \in[N_2,N_1]$，所以

$$f(\xi_1) \geq f(x_0),$$
又因为 $f(x_0)>k+\varepsilon$，于是马上有：
$$f(\xi_1) \geq f(x_0)>k+\varepsilon>f(x),x \in (-\infty,N_2) \cup (N_1, +\infty)$$
综上，即证若 $\exists x_0 \in R$ s.t. $f(x_0)>k$，则 $f$在$R$上 存在最大值。构造函数:
$$F(x)=f(x)-f(x+a),$$
注意到，我们有：
$$F(\xi_1)=f(\xi_1)-f(\xi_1+a)\geq 0,\\F(\xi_1-a)=f(\xi_1-a)-f(\xi_1)\leq 0,$$
由 $F(x)$的连续性和介值定理我们知道在 $[\xi_1-a,\xi_1]$上存在解 $x_{gd}$使得 $F(x_{gd})=0$，即所求函数方程有解。

• 若不$\exists x_0 \in R$ s.t. $f(x_0)>k$，则$\forall x \in R$有$f(x)\leq k$。

类似地我们可以证明$\exists \xi_2 \in R$ s.t. $f(x) \geq f(\xi_2),x\in R$，即$f$在$R$上有最小值，构造一样的函数我们可以证明$F(x)$在$[\xi_2-a,\xi_2]$上有零点。

于是乎，$lim_{x \to \infty}f$有限的情况证明完毕，实际上上面的证明说明了，在假设所给条件下，$f$最大最小值必定至少存在一个。下面来说明极限为$\infty$的时候同样成立，下面只证明$lim_{x \to \infty}f=-\infty$的情况，$+\infty$的情况类似。

由极限的定义有，$\forall M<0$，$\exists N_1>0$，当$x>N_1$时有，$f(x)<M$，$\exists N_2<0$，当$x<N_2$时候有，$f(x)<M$,类似地对$[N_2,N_1]$用介值定理可以说明在$[N_2,N_1]$上有最大值，取$M$足够小，即可得出$f$在 R <script type="math/tex" id="MathJax-Element-196">R</script>上有最大值，函数方程解的存在性和上述类似构造即可。