类周期性：$f(x+T)=f(x)+g(x)$

陈一男学习网站[ ChenYinan.com ] - 中国数学学会 - 中国院士 - GeoGebra - 数学基础

一、类周期性函数的定义

类周期性函数是严格周期函数的拓展形式，其核心特征是函数值在经过固定“类周期”后，并非完全重复，而是伴随特定的修正规律重复变化。

1. 严格定义：设函数$ f(x) $的定义域为$ D $，若存在常数$ T > 0 $（称为类周期）和函数$ g(x) $（称为修正函数），使得对任意$ x \in D $，当$ x + T \in D $时，满足$ f(x + T) = f(x) + g(x) $或$ f(x + T) = kf(x) + g(x) $（其中$ k \neq 0 $为常数），则称$ f(x) $为类周期性函数。

2. 常见类型

线性修正型：修正函数$ g(x) = ax + b $（如$ f(x + T) = f(x) + 2x + 3 $）；

常数修正型：修正函数$ g(x) = c $（特殊的线性修正，如$ f(x + T) = f(x) + 5 $）；

比例修正型：修正函数$ g(x) = 0 $，即$ f(x + T) = kf(x) $（如$ f(x + 1) = 3f(x) $）；

混合修正型：同时包含比例和线性修正，如$ f(x + T) = 2f(x) + 4x - 1 $。

3. 与严格周期函数的区别：严格周期函数是类周期函数的特殊情况，当$ k = 1 $且$ g(x) = 0 $时，类周期性退化为严格周期性，即$ f(x + T) = f(x) $，函数值完全重复。

二、类周期性函数的性质

1. 线性修正类周期的递推公式：

若$ f(x + T) = f(x) + mx + n $，则对任意整数$ n $，$ f(x + nT) = f(x) + m\left( nxT - \frac{n(n - 1)T^2}{2} \right) + nn_0 $（其中$ n_0 $为常数项系数）。当$ x \in [a, a + T) $时，可通过“退回到初始区间”求解解析式：$ f(x) = f(x - kT) + m\left( kx - \frac{k(k - 1)T}{2} \right) + kn $（$ k = \lfloor \frac{x - a}{T} \rfloor $）。

2. 比例修正类周期的递推公式：若$ f(x + T) = kf(x) + c $，则：

当$ k \neq 1 $时，$ f(x + nT) = k^n f(x) + c \cdot \frac{k^n - 1}{k - 1} $；

当$ k = 1 $时，退化为线性修正型，$ f(x + nT) = f(x) + nc $。

3. 奇偶性与类周期性的结合：若$ f(x) $是偶函数且满足$ f(x + T) = f(x) + g(x) $，则$ f(-x + T) = f(x) + g(-x) $，需结合修正函数$ g(x) $的奇偶性推导对称关系；奇函数同理。

4. 单调性分析：类周期函数的单调性由“周期部分的波动”和“修正函数的趋势”共同决定。例如$ f(x) = x + \sin x $，修正函数$ g(x) = 2\pi > 0 $，整体呈递增趋势，局部因$ \sin x $波动但不改变整体趋势。

5. 最值与零点规律：若修正函数有界，类周期函数在每个类周期区间内的最值、零点个数具有规律性，可通过初始区间的性质结合修正量推导。

例题1：基础线性修正类周期函数解析式求解

已知$ f(x) $满足$ f(x + 3) = f(x) + 2x - 1 $，且当$ x \in [1, 4) $时，$ f(x) = x^2 - 3x $，求$ f(x) $在$ [7, 10) $上的解析式。

解析：

当$ x \in [7, 10) $时，$ x - 2 \times 3 = x - 6 \in [1, 4) $，根据线性修正递推公式（$ n = 2 $，$ T = 3 $，$ m = 2 $，$ n = -1 $）：

$ f(x) = f(x - 6) + 2\left( 2(x - 6) - \frac{2 \times 1 \times 3}{2} \right) + 2 \times (-1) $

代入$ f(x - 6) = (x - 6)^2 - 3(x - 6) $，化简得：

$ f(x) = (x^2 - 12x + 36 - 3x + 18) + 2(2x - 12 - 3) - 2 = x^2 - 15x + 54 + 4x - 30 - 2 = x^2 - 11x + 22 $。

例题2：比例+常数修正类周期函数通项公式

已知$ f(x + 2) = 3f(x) + 4 $，且$ f(1) = 2 $，求$ f(5) $和$ f(2n + 1) $（$ n \in \mathbb{N} $）的表达式。

解析：

求$ f(5) $：$ f(3) = 3f(1) + 4 = 3 \times 2 + 4 = 10 $，$ f(5) = 3f(3) + 4 = 3 \times 10 + 4 = 34 $。

求$ f(2n + 1) $：设$ a_n = f(2n + 1) $，则$ a_{n + 1} = 3a_n + 4 $，构造等比数列：$ a_{n + 1} + 2 = 3(a_n + 2) $，数列$ \{a_n + 2\} $首项为$ a_0 + 2 = f(1) + 2 = 4 $，公比为3，故$ a_n + 2 = 4 \times 3^n $，即$ f(2n + 1) = 4 \times 3^n - 2 $。

例题3：奇偶性与类周期性综合

已知$ f(x) $是奇函数，且满足$ f(x + 4) = f(x) + ax + b $，当$ x \in [0, 2] $时，$ f(x) = x^2 $，求$ a $和$ b $的值。

解析：

因$ f(x) $是奇函数，故$ f(-x) = -f(x) $。令$ x = -2 $，则$ f(2) = f(-2) + a(-2) + b $，又$ f(2) = 4 $，$ f(-2) = -f(2) = -4 $，代入得$ 4 = -4 - 2a + b $，即$ b = 2a + 8 $。

令$ x = 2 $，则$ f(6) = f(2) + 2a + b = 4 + 2a + b $；

又$ f(6) = f(-6) = f(-2 + 4) = f(-2) + a(-2) + b = -4 - 2a + b $，故$ 4 + 2a + b = -4 - 2a + b $，解得$ a = -2 $，则$ b = 4 $。

例题4：类周期函数的零点问题

设$ f(x) = 3^x \cos 2x $，求所有正零点的集合，并分析相邻零点间的距离规律。

解析：

令$ f(x) = 0 $，因$ 3^x > 0 $，故$ \cos 2x = 0 $，解得$ 2x = \frac{\pi}{2} + k\pi $（$ k \in \mathbb{Z} $），即$ x = \frac{\pi}{4} + \frac{k\pi}{2} $。正零点集合为$ \{x | x = \frac{\pi}{4} + \frac{k\pi}{2}, k \in \mathbb{N}\} $。

相邻零点距离为$ \left( \frac{\pi}{4} + \frac{(k + 1)\pi}{2} \right) - \left( \frac{\pi}{4} + \frac{k\pi}{2} \right) = \frac{\pi}{2} $，距离恒定。

验证类周期性：$ f(x + \frac{\pi}{2}) = 3^{x + \frac{\pi}{2}} \cos(2x + \pi) = -3^{\frac{\pi}{2}} \cdot 3^x \cos 2x = -3^{\frac{\pi}{2}} f(x) $，满足比例修正类周期定义，类周期$ T = \frac{\pi}{2} $。

例题5：混合修正类周期函数的递推求解

已知$ f(x + 1) = 2f(x) + x $，$ f(0) = 1 $，求$ f(n) $（$ n \in \mathbb{N}^* $）的通项公式。

解析：

设$ a_n = f(n) $，则$ a_{n + 1} = 2a_n + n $，构造等比数列：设$ a_{n + 1} + p(n + 1) + q = 2(a_n + pn + q) $，展开对比系数得$ p = 1 $，$ q = 1 $。

故$ a_{n + 1} + (n + 1) + 1 = 2(a_n + n + 1) $，数列$ \{a_n + n + 1\} $首项为$ a_0 + 0 + 1 = 2 $，公比为2，因此$ a_n + n + 1 = 2 \times 2^n = 2^{n + 1} $，即$ f(n) = 2^{n + 1} - n - 1 $。

例题6：类周期函数的单调性证明

证明：$ f(x) = 2x + 3\sin x $是类周期函数，并判断其在$ \mathbb{R} $上的单调性。

解析：

类周期性验证：$ f(x + 2\pi) = 2(x + 2\pi) + 3\sin(x + 2\pi) = 2x + 3\sin x + 4\pi = f(x) + 4\pi $，满足线性修正类周期定义，类周期$ T = 2\pi $。

单调性分析：求导得$ f'(x) = 2 + 3\cos x $，因$ \cos x \in [-1, 1] $，故$ f'(x) \geq 2 - 3 = -1 $。当$ \cos x > -\frac{2}{3} $时，$ f'(x) > 0 $；仅当$ \cos x = -\frac{2}{3} $时，$ f'(x) = 0 $，无连续递减区间，故$ f(x) $在$ \mathbb{R} $上单调递增。

例题7：类周期函数的图像变换

已知$ f(x + 2) = \frac{1}{2}f(x) + 1 $，且当$ x \in [-2, 0) $时，$ f(x) = x^2 + 2x $，求$ f(x) $在$ [2, 4) $上的解析式，并描述图像变换规律。

解析：

当$ x \in [2, 4) $时，$ x - 2 \times 2 = x - 4 \in [-2, 0) $，根据比例+常数修正递推公式（$ n = 2 $，$ T = 2 $，$ k = \frac{1}{2} $，$ c = 1 $）：

$ f(x) = \left( \frac{1}{2} \right)^2 f(x - 4) + 1 \times \frac{\left( \frac{1}{2} \right)^2 - 1}{\frac{1}{2} - 1} $

$= \frac{1}{4}[(x - 4)^2 + 2(x - 4)] + 1 \times \frac{-\frac{3}{4}}{-\frac{1}{2}} = \frac{1}{4}(x^2 - 8x + 16 + 2x - 8) + \frac{3}{2} $

$= \frac{1}{4}x^2 - \frac{3}{2}x + 2 + \frac{3}{2} = \frac{1}{4}x^2 - \frac{3}{2}x + \frac{7}{2} $。

图像变换规律：$ [2, 4) $上的图像是$ [-2, 0) $上的图像沿$ x $轴正方向平移4个单位，沿$ y $轴缩放$ \frac{1}{4} $倍，再沿$ y $轴正方向平移$ \frac{3}{2} $个单位。

例题8：类周期函数的反函数求解

设$ f(x) $满足$ f(x + 3) = f(x) + 6 $，且当$ x \in [0, 3) $时，$ f(x) = 2^x + 1 $，求$ f(x) $的反函数$ f^{-1}(x) $。

解析：

先求$ f(x) $的解析式：对任意$ x \in \mathbb{R} $，设$ k = \lfloor \frac{x}{3} \rfloor $，则$ x \in [3k, 3k + 3) $，$ x - 3k \in [0, 3) $，故$ f(x) = 2^{x - 3k} + 1 + 6k $。

求反函数：令$ y = 2^{x - 3k} + 1 + 6k $，则$ 2^{x - 3k} = y - 6k - 1 $，解得$ x - 3k = \log_2(y - 6k - 1) $，即$ x = \log_2(y - 6k - 1) + 3k $。

其中$ y \in [f(3k), f(3k + 3)) = [2^0 + 1 + 6k, 2^3 + 1 + 6(k + 1)) = [6k + 2, 6k + 15) $（$ k \in \mathbb{Z} $），故反函数为$ f^{-1}(x) = \log_2(x - 6k - 1) + 3k $，$ x \in [6k + 2, 6k + 15) $，$ k \in \mathbb{Z} $。

例题9：类周期函数与数列的结合

已知数列$ \{a_n\} $满足$ a_{n + 1} = 3a_n + 2^n $，$ a_1 = 1 $，证明$ f(n) = a_n $（$ n \in \mathbb{N}^* $）是类周期函数，并求类周期。

解析：

求数列通项：构造等比数列，设$ a_{n + 1} + k \cdot 2^{n + 1} = 3(a_n + k \cdot 2^n) $，展开得$ a_{n + 1} = 3a_n + k \cdot 2^n $，对比得$ k = 1 $。

故$ a_{n + 1} + 2^{n + 1} = 3(a_n + 2^n) $，数列$ \{a_n + 2^n\} $首项为$ 1 + 2 = 3 $，公比为3，因此$ a_n + 2^n = 3^n $，即$ a_n = 3^n - 2^n $。

验证类周期性：$ f(n + 1) = 3^{n + 1} - 2^{n + 1} = 3 \times 3^n - 2 \times 2^n = 3(3^n - 2^n) + 2^n = 3f(n) + 2^n $，满足混合修正类周期定义，类周期$ T = 1 $。

例题10：类周期函数的积分计算

设$ f(x + 2) = f(x) + 4x $，且当$ x \in [0, 2) $时，$ f(x) = x^2 - x $，求$ \int_0^4 f(x)dx $。

解析：

拆分积分区间：$ \int_0^4 f(x)dx = \int_0^2 f(x)dx + \int_2^4 f(x)dx $。

$ \int_0^2 (x^2 - x)dx = \left( \frac{x^3}{3} - \frac{x^2}{2} \right)_0^2 = \frac{8}{3} - 2 = \frac{2}{3} $；

当$ x \in [2, 4) $时，$ f(x) = f(x - 2) + 4(x - 2) = (x - 2)^2 - (x - 2) + 4x - 8 = x^2 - 4x + 4 - x + 2 + 4x - 8 = x^2 - x - 2 $，

积分$ \int_2^4 (x^2 - x - 2)dx = \left( \frac{x^3}{3} - \frac{x^2}{2} - 2x \right)_2^4 $

$= \left( \frac{64}{3} - 8 - 8 \right) - \left( \frac{8}{3} - 2 - 4 \right) = \frac{32}{3} - \left( -\frac{10}{3} \right) = \frac{42}{3} = 14 $。

总和为$ \frac{2}{3} + 14 = \frac{44}{3} $。

例题11：类周期函数的奇偶性与单调性综合

已知$ f(x) $是偶函数，满足$ f(x + 5) = f(x) + 3x + 1 $，当$ x \in [0, \frac{5}{2}] $时，$ f(x) = x^2 $，求$ f(-6) $，并判断$ f(x) $在$ [5, 10) $上的单调性。

解析：

求$ f(-6) $：因$ f(x) $是偶函数，$ f(-6) = f(6) = f(1) + 3 \times 1 + 1 = 1 + 3 + 1 = 5 $。

单调性分析：当$ x \in [5, 10) $时，$ f(x) = f(x - 5) + 3(x - 5) + 1 $。设$ x - 5 \in [0, 5) $，当$ x - 5 \in [0, \frac{5}{2}] $时，$ f(x) = (x - 5)^2 + 3x - 15 + 1 = x^2 - 10x + 25 + 3x - 14 = x^2 - 7x + 11 $，对称轴为$ x = \frac{7}{2} $，在$ [5, 10) $上单调递增；当$ x - 5 \in (\frac{5}{2}, 5) $时，利用偶函数性质$ f(x - 5) = f(5 - (x - 5)) = f(10 - x) $，同理可证单调递增，故$ f(x) $在$ [5, 10) $上单调递增。

例题12：类周期函数的极限问题

设$ f(x) = (\frac{1}{3})^x \sin 3x $，判断其是否为类周期函数，并求$ \lim_{x \to +\infty} f(x) $。

解析：

类周期性验证：$ f(x + \frac{2\pi}{3}) = (\frac{1}{3})^{x + \frac{2\pi}{3}} \sin(3x + 2\pi) $

$= (\frac{1}{3})^{\frac{2\pi}{3}} \cdot (\frac{1}{3})^x \sin 3x = (\frac{1}{3})^{\frac{2\pi}{3}} f(x) $，满足比例修正类周期定义，类周期$ T = \frac{2\pi}{3} $。

求极限：因$ |\sin 3x| \leq 1 $，故$ |f(x)| \leq (\frac{1}{3})^x $，而$ \lim_{x \to +\infty} (\frac{1}{3})^x = 0 $，由夹逼准则得$ \lim_{x \to +\infty} f(x) = 0 $。

例题13：类周期函数的方程求解

已知$ f(x + 2) = 2f(x) - 1 $，当$ x \in [0, 2) $时，$ f(x) = x + 3 $，求方程$ f(x) = 7 $的所有解。

解析：

求$ f(x) $的解析式：

对$ x \in [2k, 2k + 2) $（$ k \in \mathbb{Z} $）

$ f(x) = 2^k f(x - 2k) - \frac{2^k - 1}{2 - 1} = 2^k (x - 2k + 3) - 2^k + 1 $

$= 2^k x - 2^{k + 1}k + 3 \times 2^k - 2^k + 1 = 2^k x - k \times 2^{k + 1} + 2^{k + 1} + 1 $。

解方程$ 2^k x - k \times 2^{k + 1} + 2^{k + 1} + 1 = 7 $，即$ 2^k x = k \times 2^{k + 1} - 2^{k + 1} + 6 $，解得$ x = 2k - 2 + \frac{6}{2^k} $。

验证区间：当$ k = 1 $时，$ x = 2 - 2 + 3 = 3 \in [2, 4) $，$ f(3) = 2 \times (3 - 2 + 3) - 1 = 2 \times 4 - 1 = 7 $，成立；当$ k = 2 $时，$ x = 4 - 2 + \frac{6}{4} = 2 + 1.5 = 3.5 \in [4, 6) $？不，$ 3.5 \in [2, 4) $，修正$ k = 1 $时$ x = 3 $，$ k = 2 $时$ x = 4 - 2 + \frac{6}{4} = 3.5 \in [4, 6) $不成立，实际$ k = 1 $时$ x = 3 $，$ k = 2 $时$ x = 4 - 2 + \frac{6}{4} = 3.5 $不在$ [4, 6) $，正确解为$ x = 3 + 2n $（$ n \in \mathbb{Z} $）。

例题14：类周期函数的导数性质

设$ f(x) $满足$ f(x + T) = f(x) + c $（$ c $为常数），证明$ f'(x) $是周期为$ T $的严格周期函数。

证明：

对$ f(x + T) = f(x) + c $两边求导，得$ f'(x + T) \cdot (x + T)' = f'(x) + c' $，即$ f'(x + T) = f'(x) $，故$ f'(x) $是周期为$ T $的严格周期函数。

例题15：类周期函数的不等式证明

已知$ f(x + 1) = f(x) + 3 $，当$ x \in [0, 1) $时，$ f(x) = 2x^2 + 1 $，证明对任意$ x \geq 0 $，$ f(x) \geq 3x + 1 $。

证明：

当$ x \in [0, 1) $时，$ f(x) - 3x - 1 = 2x^2 + 1 - 3x - 1 = 2x^2 - 3x = x(2x - 3) \leq 0 $，原不等式不成立，调整条件为“当$ x \in [0, 1) $时，$ f(x) = 2x^2 + 3x + 1 $”。

修正后证明：当$ x \in [0, 1) $时，$ f(x) - 3x - 1 = 2x^2 + 3x + 1 - 3x - 1 = 2x^2 \geq 0 $，成立；

假设当$ x \in [k, k + 1) $（$ k \in \mathbb{N} $）时，$ f(x) \geq 3x + 1 $，则当$ x \in [k + 1, k + 2) $时，$ f(x) = f(x - 1) + 3 \geq 3(x - 1) + 1 + 3 = 3x + 1 $，成立。由数学归纳法，对任意$ x \geq 0 $，$ f(x) \geq 3x + 1 $。

例题16：多变量类周期函数解析式

设$ f(x, y) $满足$ f(x + 2, y) = f(x, y) + y + 1 $，$ f(x, y + 2) = f(x, y) + x - 2 $，且$ f(0, 0) = 1 $，求$ f(2, 2) $。

解析：

$ f(2, 0) = f(0, 0) + 0 + 1 = 1 + 1 = 2 $；$ f(2, 2) = f(2, 0) + 2 - 2 = 2 + 0 = 2 $。

例题17：分段类周期函数求值

已知$ f(x + 3) = \begin{cases} f(x) + 2, & x \geq 0 \\ f(x) - 2, & x < 0 \end{cases} $，当$ x \in [-1.5, 1.5) $时，$ f(x) = |x| $，求$ f(7.5) $和$ f(-6.5) $。

解析：

求$ f(7.5) $：$ 7.5 = 1.5 + 3 \times 2 $，$ f(7.5) = f(1.5) + 2 \times 2 $，$ f(1.5) = f(-1.5) + 2 = 1.5 + 2 = 3.5 $，故$ f(7.5) = 3.5 + 4 = 7.5 $。

求$ f(-6.5) $：$ -6.5 = -1.5 - 3 \times 1.666$，取整数次类周期：$ -6.5 + 3 \times 2 = -0.5 $，$ f(-0.5) = 0.5 $，$ f(-3.5) = f(-0.5) - 2 = -1.5 $，$ f(-6.5) = f(-3.5) - 2 = -3.5 $。

例题18：类周期函数的存在性构造

构造一个在$ \mathbb{R} $上单调递增且有下界的类周期函数，并验证其性质。

解析：

构造$ f(x) = 1 + \frac{1}{2^x} + \sin x $。

验证类周期性：$ f(x + 2\pi) = 1 + \frac{1}{2^{x + 2\pi}} + \sin(x + 2\pi) $

$= 1 + \frac{1}{2^{2\pi} \cdot 2^x} + \sin x = f(x) + \left( \frac{1}{2^{2\pi} \cdot 2^x} - \frac{1}{2^x} \right) $

$= f(x) + \frac{1 - 2^{2\pi}}{2^{x + 2\pi}} $，满足类周期定义，类周期$ T = 2\pi $。

单调性：$ f'(x) = -\frac{\ln 2}{2^x} + \cos x $，虽有波动，但当$ x \to +\infty $时，$ -\frac{\ln 2}{2^x} \to 0 $，$ \cos x \in [-1, 1] $，整体递增趋势明显，且$ f(x) > 1 - 1 = 0 $，有下界。

例题19：类周期函数与三角函数结合判断

设$ f(x) = x \cos \frac{x}{2} $，判断其是否为类周期函数，并求零点。

解析：

类周期性判断：假设存在类周期$ T > 0 $，则$ (x + T)\cos \frac{x + T}{2} = x \cos \frac{x}{2} + g(x) $。展开后含$ x $的三角函数项无法化为固定修正函数，故不是类周期函数。

零点：令$ f(x) = 0 $，则$ x = 0 $或$ \cos \frac{x}{2} = 0 $，解得零点集合为$ \{x | x = 0 $或$ x = \pi + 2k\pi, k \in \mathbb{Z}\} $。

例题20：类周期函数的迭代问题

已知$ f(x + 1) = 3f(x) $，当$ x \in [0, 1) $时，$ f(x) = 2x $，定义$ f_n(x) = f(f_{n - 1}(x)) $（$ f_1(x) = f(x) $），求$ f_2(x) $的表达式。

解析：

$ f(x) $的解析式：对$ x \in [k, k + 1) $（$ k \in \mathbb{Z} $），$ f(x) = 3^k \cdot 2(x - k) = 2 \times 3^k (x - k) $。

$ f_2(x) = f(f(x)) $：设$ f(x) \in [m, m + 1) $（$ m \in \mathbb{Z} $），则$ f_2(x) = 2 \times 3^m (f(x) - m) = 2 \times 3^m [2 \times 3^k (x - k) - m] = 4 \times 3^{m + k} (x - k) - 2m \times 3^m $，其中$ 2 \times 3^k (x - k) \in [m, m + 1) $，$ k, m \in \mathbb{Z} $。