关于两个周期函数的和的周期性的讨论

关于两个周期函数的和的周期性的讨论

因为排版和敲数学公式的局限性，很多地方写得并不是非常严格，或者有些跳跃，望海涵。

初衷

想这个问题的初衷是在给同学们习题课的时候（华东师大版的数学分析），里面有一道题，如下：
求下列函数的周期:$\cos \frac{x}{2}+2\sin \frac{x}{3}$。
这道题本身比较简单，显然 $12\pi$ 是它的一个周期，如果这里的周期理解为基本周期（最小正周期）的话（有同学发问了），我们还得 check $6\pi$ 不是它的一个周期，这也是很容易的，找两个点算一算即可。

那么，作为数学分析课程的学习，我们就不应该满足于此，应该考虑更多一些些？

简单地问，两个周期函数的和是否是周期函数？若是，周期是多少？最小正周期又是多少？

准备工作

定义（可公度）：
对于实数 $T_1,T_2$，若存在 ${\mathrm{m}}_{,}\mathrm{n}\in \mathrm{N},$ 使 ${\mathrm{T}}_1/{\mathrm{T}}_2=\mathrm{m}/\mathrm{n}$，则称 $T_1,T_2$ 可公度，否则称为不可公度。

引理
设 $T_1,T_2$ 是两个不可公度的正数，则存在数偶序列 $\left(m_k,n_k\right),k=1,2,3,\cdots ,$ 使得
$$\underset{k\to \infty }{\lim }\left(m_k{T}_1+n_k{T}_2\right)=0$$
其中 $m_k,n_k$ 都是整数.

证明：
当$T_1=T_2$的时候显然，下面不妨假设$a_0:=T_1>T_2:=a_1$。
我们可以用辗转相除法构造一个数列$a_k$，
$$a_0=i_1{a}_1+a_2$$
$$a_1=i_2{a}_2+a_3$$
$$\dots \dots$$
以此类推。易知，这里的 $a_k\to 0$，并且它可以递推地写成：
$$a_k=m_k{a}_0+n_k{a}_1$$
的形式。譬如，
$$a_2=a_0-i_1{a}_1=-i_{1}a+b=m_{1}a+n_{1}b$$
$$a_3=a_1-i_2{a}_2=\left(1-i_2{m}_1\right)a-i_2{n}_{1}b=m_{2}a+n_{2}b$$
$$\dots \dots$$

证毕。

从这里引理，我们可以隐隐地感觉到，如果一个连续的周期函数的周期可以写成$m_{}{T}_1+n_{}{T}_2,\forall m,n$ 的形式，那么，这个函数的周期可以任意小，也就是说，它应该要是一个常数函数。

定理和证明

有了以上的一些准备，我们就可以证明一些定理。

定理（和为周期函数的充要条件）：
设 $f(x)$ 和 $g(x)$ 是定义在 $\mathbb{R}$ 上的连续非常值最小正周期分别为 $T_1,T_2$ 的周期函数，那么
$$f+g为\text{周期函数}\leftrightarrow T_1,T2\text{可公度}$$

证明：
充分性是显然的。假设$T_1=ma,T_2=na$，那么 $mna$ 必然是 $f+g$ 的周期。下证必要性。即证，若$T_1,T_2$不可公度，则$f+g$必不是周期函数。
反证。假设$f+g$是以$T$为周期的周期函数。
$$f(x+T)+g(x+T)=f(x)+g(x)$$
则，
$$f(x+T)-f(x)=g(x)-g(x+T)\equiv \phi (x)$$
易观察到，$\phi (x)$以$T_1$为周期，也以$T_2$为周期，那么，它便以$m_k{T}_1+n_k{T}_2\equiv T_k$为周期。由引理知$T_k\to 0$，又因$\phi (x)$的连续性质，我们知道$\phi (x)=常数$。
进一步，由$$f(x+T)-f(x)=常数$$，若 $常数\ne 0$ 意味$f$是个无界函数，这和它是周期函数相矛盾。所以，
$$f(x+T)-f(x)=g(x)-g(x+T)=0$$
即$f$和$g$必然以$T$为周期。说明$T=k{T}_1=l{T}_2$，这和$T_1,T_2$不可公度是矛盾的。得证。

PS:
1、事实上，这里的必要性证明只要$f$和$g$中有一个是连续的即可。
2、非常值条件的设定是因为常值函数没太大意义。
3、定义在 $\mathbb{R}$上和连续的假设，是符合常规考虑的。
4、如果没有连续性和周期性的假设，那么有一些更广泛的讨论。可以参考一些书，比如《数学分析中的问题和反例》、《实分析中的反例 微积分中的反例》、《吉米多维奇数学分析习题集学习指引》、《数学分析拾遗》（赵显曾 著）、裴礼文的习题集等等。还有网上的一些中小学老师写的一些文章（鸟不拉屎错误连连）。
5、事实上，这里的最小正周期这个条件可以换为周期。

定理 （周期函数和的最小正周期，$m,n>1$）

设 $f(x)$ 和 $g(x)$ 是定义在 $\mathbb{R}$ 上的连续非常值最小正周期分别为 $T_1=n\alpha ,T_2=m\alpha$ 的周期函数，这里
$$\mathrm{m},\mathrm{n}\in \mathrm{N},\mathrm{m},\mathrm{n}>1,(\mathrm{m},\mathrm{n})=1,\alpha \text{是正实数}$$
那么函数 $\mathrm{h}(\mathrm{x})=\mathrm{f}(\mathrm{x})+g(x)$是周期函数，且最小正周期为$mn\alpha$。

证明：

和为周期函数的充要条件知 $h$ 是周期函数，$mn\alpha$ 是一个周期，下证其为最小正周期。
只要证最小正周期为$m$的$f_0(x):=f(\alpha x)$与最小正周期为$n$的$g_0(x):=g(\alpha x)$之和$h_0(x)$的最小正周期为$mn$即可。

下面用反证。

若$mn$不是最小正周期。因为$m\ne n$，必然存在$a<mn$ 是 $h_0(x)$的最小正周期。那么$a$不可能整除$m$和$n$中的任何一个，否则，不妨假设$a$整除$m$，那么$m$是$h_0$的周期，也是$g_0=h_0-f_0$的周期。则$n$整除$m$，这和题设条件矛盾。
因此，$a$不能整除$m$和$n$，故而$a$不能整除$mn$（经网友 axiomofextension 提醒，此处证明有误，故定理结论可能不对，修正定理见下方），这个和$a$是最小正周期且$mn$是周期矛盾。
得证。

修正后定理 （周期函数和的最小正周期，$m,n>1$）
设 $f(x)$ 和 $g(x)$ 是定义在 $\mathbb{R}$ 上的连续非常值最小正周期分别为 $T_1=n,T_2=m$ 的周期函数，这里
$$\mathrm{m},\mathrm{n}\in \mathrm{N},\mathrm{m},\mathrm{n}>1,(\mathrm{m},\mathrm{n})=1$$
且 $m$ 和 $n$ 中至少有一个不是质数，那么函数 $\mathrm{h}(\mathrm{x})=\mathrm{f}(\mathrm{x})+g(x)$是周期函数，且最小正周期为$mn$。
证明：
不妨假设 $\frac{q}{p}$ 是最小正周期，且$(p,q)=1$。容易知道 $q$ 不能整除 $m$ 和 $n$ 当中的任意一个。否则，不妨设 $q$ 能整除 $m$，那么 $m$ 就是 $h$ 的周期，从而也是 $g$ 的周期， 那么 $n$ 就能整除 $m$，这个和两者互质矛盾。
进而，我们不妨设 $q=m_1{n}_1,m=m_1{m}_2,n=n_1{n}_2$，且 $n_2>1$。由上结论知，$n_1$ 不能整除 $m_2$，$m_1$ 也不能整除 $n_2$。容易直达，$m{n}_1$ 是 $f$ 的周期，也是 $h$ 的周期，则它也是 $g$ 的周期。所以，$n_2$ 能整除 $m$，这和 $(m,n)=1$ 矛盾。

这里没考虑 $\alpha$，当考虑 $\alpha$ 的时候也是类似的。任何一个周期函数可以通过适当的变量替换化为以指定的任一正实数为周期的周期函数。所以，当两个周期函数的周期可通约时不妨设它们的周期都是自然数。

定理 （周期函数和的最小正周期，$m>1,n=1$）

设 $f(x)$ 和 $g(x)$ 是定义在 $\mathbb{R}$ 上的连续非常值最小正周期分别为 $T_1=n\alpha ,T_2=m\alpha$ 的周期函数，这里
$$\mathrm{m}\in \mathrm{N},\mathrm{m}>1,\mathrm{n}=1,\alpha \text{是正实数}$$
那么函数 $\mathrm{h}(\mathrm{x})=\mathrm{f}(\mathrm{x})+g(x)$是周期函数，且最小正周期可能为$m\alpha$或者$\frac{\alpha m}{k}(k、m互相不整除)$。

证明：

只要证最小正周期为$m$的$f_0(x):=f(\alpha x)$与最小正周期为$1$的$g_0(x):=g(\alpha x)$之和$h_0(x)$的最小正周期只可能为$m$或者$\frac{m}{k}$即可。

只要证明在$k\ne 1$的情况下，若$m$整除$k$或者$k$整除$m$，$m/k$都不可能是最小正周期即可。

若$s_1=m/k<m$ 为整数，那么它是$h_0$的周期，也是$g_0$的周期，那么它也是$f_0$的周期，它和$m$是$f_0$的最小正周期矛盾。

若$1/s_2=m/k$ ，其中$s_2$为整数，那么 1 本是$g_0$的周期，现也是$h_0$的周期，推得它也是$f_0$的周期，它和$m$是$f_0$的最小正周期且$m>1$矛盾。

定理 （周期函数和的最小正周期，$m=n=1$）

设 $f(x)$ 和 $g(x)$ 是定义在 $\mathbb{R}$ 上的连续非常值最小正周期分别为 $T_1=\alpha ,T_2=\alpha$ 的周期函数， 则函数 $\mathrm{h}(\mathrm{x})=\mathrm{f}(\mathrm{x})+\mathrm{g}(\mathrm{x})$的最小正周期为$\frac{\alpha }{k}$（$k$为某个确定的自然数，取到无穷说明最小正周期不存在，是常值函数）。

证明：
我们知道$\alpha$是$h$的一个周期，那么，最小正周期必为$\frac{\alpha }{k}$（$k$为某个确定的自然数）。$k$和$f$和$g$的具体情况有关，无法确定。

举例如下图：

从图上可以看到，这是红蓝两个函数在一个周期内的图像，他们的周期都是 1，但是他们的和的后期就是$1/k$，图中我的$k=5$，其实可以等于任意的值。它们和的周期为 min ⁡ { 1 , ∣ 1 k ∣ } \min\{1,|\frac{1}{k}|\} min{1,∣k1​∣}。

我所用的 MATLAB 作图代码为：

clc
clear
k = 5;
T = 1/k;
x = 0:0.001:1;
y0 = sin(2*k*pi.*x);
y1 = y0;
y2 = y0;
y1(x>=0.5) = 0;
y2(x<0.5) = 0;
plot(x,y1,'red',x,y2,'blue','LineWidth',5);
axis([0 1 -2 2]);
h = legend('$f(x)$','$g(x)$');
set(h,'Interpreter','latex')
title('The period of $f(x)$ and $g(x)$ is 1, but the period of $f+g$ is $1/k$','Interpreter','LaTex','FontSize',13)