高中数学/函数与三角/函数方程简介

维基教科书,自由的教学读本
跳到导航 跳到搜索

阅读指南[编辑]

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

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

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

基础知识[编辑]

在先前的章节中,我们已经遇到过已知形如的条件,求解析式的问题。除了已经介绍的直接的换元和构造方程组的取巧办法,我们现在来更一般化也更集中地讨论这类函数解析式与函数值的推理问题,并介绍一些相关概念。

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

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

Crystal Clear action edit 相关例题1:已知函数,a为正数,且,求a的值。

解函数方程比较锻炼抽象推理能力,需要在有限的条件内尽可能通过尝试不同的特殊数值或变量代换,挖掘出尽可能多的信息。常用的技巧为:

  • 将函数表达式中的变量全部或部分地取为0或1。
  • 将函数表达式中的变量取为彼此颠倒或彼此相反的数或变量。

进行尝试的常见思路方向为:

  • 先试探出函数在自变量取0、1、-1等特殊点上的取值。
  • 先试探出函数是否存在确定的递推关系式或函数是否有周期性

Crystal Clear action edit 相关例题2:已知定义在上的函数满足,且,求的值。

Crystal Clear action edit 相关例题3:设函数满足,且对任意,都有。求的值。

Crystal Clear action edit 相关例题4:已知对任意实数x、y都成立,判断的奇偶性。

Crystal Clear action edit 相关例题5:若是定义在上的增函数,且对一切,满足

(1) 求的值。
(2) 若,求不等式的解集。

Crystal Clear action edit 相关例题6:是定义在上的函数,且满足,当时,

(1) 求的值。
(2) 判断函数的单调性。
(3) 解不等式

Crystal Clear action edit 相关例题7:函数的定义域为D,若对任意的,当时,都有,则称在D上为非减函数。设在[0, 1]上为非减函数,且满足。求的值。

常用结论与常见模型[编辑]

柯西函数方程[编辑]

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

解的形式唯一性问题示例[编辑]

上凸与下凸关系式的推理[编辑]

阶乘的多种扩展[编辑]

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

阶乘是一种自变量只能取离散整数值的特殊函数,其定义为(在组合学中为了计算方便,往往还会对阶乘运算附加规定,不过我们在这里暂时只考虑自变量为正数值的情形):

它满足递推关系和初始条件,却存在不止一种扩展。虽然它最知名的拓展形式是微积分学中常见的Γ函数,但是此函数并不是阶乘的唯一拓展形式。阿達馬伽瑪函數就是另外一个同时满足这些条件的例子。换句话说,即使同时给出这2个限制条件,也仍无法将函数的形式唯一确定下来。

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

  • 是对数凸的。

反射公式[编辑]

如果函数同时以的形式出现在等式中,这样的等式就被称作函数的反射公式reflection formula)。

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

反射公式也常见于特殊函数理论中。例如在以后的微积分课程中就会学到,Γ函数就满足著名的欧拉反射公式Euler's reflection formula):

补充习题[编辑]

Crystal Clear app ksirtet Crystal Clear app laptop battery

参考资料[编辑]

外部链接[编辑]

Wikipedia-logo.png
维基百科中的相关条目:
Wikipedia-logo.png
维基百科中的相关条目: