查看“︁高中数学/函数与三角/函数方程简介”︁的源代码

== 阅读指南 ==
希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。

高中阶段常遇到某些与函数的抽象推理有关的问题其实是属于函数方程的求解。高中阶段遇到的函数方程问题比较简单，有一些通用的解题技巧，因此我们将其放在一起讲解和练习。但是更一般化的函数方程可能是很难求解的。例如柯西函数方程在有理数范围内的求解就具有一定的技巧性，只需作一定了解即可。我们在后面的数列章节将要学习到的[[高中数学/不等式与数列/一阶递推数列及通项公式的求解|递推关系式]]本质上也属于函数方程的一种，叫做'''差分方程'''；后面在微积分课程中要学习的[[高中数学/高等数学初步/微分方程简介|微分方程]]也与函数方程存在联系。

函数方程和微分方程一样，都广泛存在于[[w:数值分析|数值分析]]和[[w:特殊函数|特殊函数理论]]中。特殊函数理论是专门整理和研究物理学和数学中某些常见函数的分支学科。

== 基础知识 ==
在先前的章节中，我们已经遇到过已知形如<math>f(x) = 2 f(\frac 1 x) + 3x</math>的条件，求<math>f(x)</math>解析式的问题。除了已经介绍的直接的换元和构造方程组的取巧办法，我们现在来更一般化也更集中地讨论这类函数解析式与函数值的推理问题，并介绍一些相关概念。

'''函数方程'''（'''functional equation'''）是包含未知函数的方程。未知函数可能多次出现在方程中，但是其内部变元形式可能是不一致的。同时成立的多个函数方程叫做函数方程组。与代数方程一样，函数方程也有可能是多解或无解的。当存在多个解时，如果多个解都是形式相似的，我们就可以将它们叫做一组'''一般解'''（'''general solution'''）或'''通解'''；而其中某个特定的解叫做'''特解'''（'''particular solution'''）。要求出具体的函数解析式，或求出特定点的未知函数值，还必须给出或者保证能推理出足够数量的已知值，这些解题必需的已知值叫做'''初始值'''（'''initial value condition'''）、'''初始条件'''（'''initial condition'''）或'''边界值'''（'''boundary value'''）。

对于高中阶段遇到的函数方程，并非都是要先根据约束条件求出函数的具体解析式，有时也可以只根据某些已知条件推测出要求的特定值即可。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：已知函数<math>f(x) = a x^2 - 1</math>，a为正数，且<math>f(f(-1)) = -1</math>，求a的值。

解函数方程比较锻炼抽象推理能力，需要在有限的条件内尽可能通过尝试不同的特殊数值或变量代换，挖掘出尽可能多的信息。常用的技巧为：
* 将函数表达式中的变量全部或部分地取为0或1。
* 将函数表达式中的变量取为彼此颠倒或彼此相反的数或变量。

进行尝试的常见思路方向为：
* 先试探出函数在自变量取0、1、-1等特殊点上的取值。
* 先试探出函数<math>f(x)</math>与<math>f(x+a)</math>是否存在确定的[[高中数学/不等式与数列/一阶递推数列及通项公式的求解|递推关系式]]或函数是否有周期性

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：已知定义在<math>\mathbb{R}</math>上的函数<math>f(x)</math>满足<math>f(x+y) = f(x) + f(y) + 2xy \quad (x, y \in \mathbb{R})</math>，且<math>f(1) = 2</math>，求<math>f(-3)</math>的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：设函数<math>f: \mathbb{R} \rightarrow \mathbb{R}</math>满足<math>f(0) = 1</math>，且对任意<math>x, y \in \mathbb{R}</math>，都有<math>f(xy + 1) = f(x) f(y) - f(y) - x + 2</math>。求<math>f(2019)</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：已知<math>f(x+y) = f(x) + f(y)</math>对任意实数x、y都成立，判断<math>f(x)</math>的奇偶性。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：若<math>f(x)</math>是定义在<math>(0, + \infty)</math>上的增函数，且对一切<math>x, y > 0</math>，满足<math>f(\frac x y) = f(x) - f(y)</math>。
:(1) 求<math>f(1)</math>的值。
:(2) 若<math>f(6) = 1</math>，求不等式<math>f(x + 3) - f(2) < 1</math>的解集。

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：<math>f(x)</math>是定义在<math>(0, + \infty)</math>上的函数，且满足<math>f(xy) = f(x) + f(y)</math>，<math>f(\frac 1 3) = 1</math>，当<math>x > 1</math>时，<math>f(x) < 0</math>。
:(1) 求<math>f(1)</math>的值。
:(2) 判断函数<math>f(x)</math>的单调性。
:(3) 解不等式<math>f(x) + f(x - 2) > -1</math>。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：函数<math>f(x)</math>的定义域为D，若对任意的<math>x_1, x_2 \in D</math>，当<math>x_1 < x_2</math>时，都有<math>f(x_1) \le f(x_2)</math>，则称<math>f(x)</math>在D上为非减函数。设<math>f(x)</math>在[0, 1]上为非减函数，且满足<math>f(0) = 0</math>、<math>f(\frac x 3) = \frac 1 2 f(x)</math>、<math>f(x) + f(1 - x) = 1</math>。求<math>f(\frac 1 3)</math>和<math>f(\frac 1 8)</math>的值。

== 常用结论与常见模型 ==
=== 柯西函数方程 ===
柯西函数方程在有理数范围内的求解是解法研究得比较成熟的少数函数方程之一。如果扩大到实数范围内求解，问题的答案就会变得非常复杂。我们只讨论限定在有理数范围内的柯西函数方程，其求解步骤不长，而且思路很有代表性。

=== 解的形式唯一性问题示例 ===
==== 上凸与下凸关系式的推理 ====

==== 阶乘的多种扩展 ====
阶乘关系有多种可能的范围扩展也可以作为说明函数方程可以存在多种延拓形式的有趣例子。

[[高中数学\组合与概率\排列|阶乘]]是一种自变量只能取离散整数值的特殊函数，其定义为（在组合学中为了计算方便，往往还会对阶乘运算附加规定<math>f(0) = 1</math>，不过我们在这里暂时只考虑自变量为正数值的情形）：<br />
:<math>
f(n) = \left\{
\begin{array}{l}
 1, \quad n = 1 \\
 1 \times 2 \times ... \times n, \quad n \ge 2
\end{array}
\right.
</math>

它满足递推关系<math>f(n+1) = n f(n) \quad (n \in \mathbb{N}^+)</math>和初始<math>f(1) = 1</math>条件，却存在不止一种扩展。虽然它最知名的拓展形式是微积分学中常见的[[w:Γ函数|Γ函数]]，但是此函数并不是阶乘的唯一拓展形式。[[w:阿達馬伽瑪函數|阿達馬伽瑪函數]]就是另外一个同时满足这些条件的例子。换句话说，即使同时给出<math>f(n+1) = n f(n) \quad (n \in \mathbb{N}^+)</math>和<math>f(1) = 1</math>这2个限制条件，也仍无法将函数<math>f(x)</math>的形式唯一确定下来。

丹麦数学家哈拉尔德·玻尔和约翰尼斯·莫勒鲁普后来意外发现，若想让上述的阶乘函数唯一地延拓为常用的Γ函数，还缺少一个限制条件：[[w:對數凸函數|对数凸性]]。这个结论后来就被称作[[w:玻尔-莫勒鲁普定理|玻尔-莫勒鲁普定理]]。它是一个令人惊异的定理，指出定义形式看似“高等”的Γ函数其实可以被3条抽象性质等价地刻划出来：
* <math>f(1) = 1</math>
* <math>f(x+1) = x f(x), \quad x > 0</math>
* <math>\Gamma(x)</math>是对数凸的。

=== 反射公式 ===
如果函数<math>f(x)</math>同时以<math>f(a - x)</math>和<math>f(x)</math>的形式出现在等式中，这样的等式就被称作函数的'''反射公式'''（'''reflection formula'''）。

奇函数、偶函数以及广义奇偶性的定义就是反射公式的最简单例子。

反射公式也常见于[[w:特殊函数|特殊函数理论]]中。例如在以后的微积分课程中就会学到，Γ函数就满足著名的'''欧拉反射公式'''（'''Euler's reflection formula'''）：
:<math>\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin{(\pi z)}}, \qquad z \not\in \mathbb Z</math>

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|函数方程}}
{{Wikipedia|柯西函数方程}}

{{DEFAULTSORT:functional equation}}
[[category:函数|equation]]
[[category:数学方程|functional]]
[[category:高中数学]]