保存时间:2026/3/29 16:06:48
Bohr-Mollerup 定理若函数 f(x) 满足 3 个条件:
- 定义域为 x>0,且 f(x) 连续;
- 递推关系 f(x+1)=x⋅f(x);
- 对数函数 lnf(x) 是凸函数(即对数凸性);
- 初始值 f(1)=1。则 f(x)=Γ(x) 是唯一满足条件的函数。
| 增长速率类型 | 递推数列例子 | 匹配的连续函数 |
|---|---|---|
| 线性增长 | an=an−1+c(如 an=2n+1) | 一次函数 f(x)=kx+b |
| 多项式增长 | an=2an−1−an−2(如 an=n2) | 多项式函数 f(x)=xk |
| 指数增长 | 斐波那契数列 Fn=Fn−1+Fn−2 | 指数函数 f(x)=ax+bx |
| 递推类型 | 系数特点 | 增长速率 | 例子 |
|---|---|---|---|
| 线性齐次递推(和式) | 系数为常数 | 指数增长 | 斐波那契数列 Fn=Fn−1+Fn−2 |
| 线性齐次递推(差式) | 系数为常数,满足 r2−2r+1=0(重根) | 多项式增长 | an=2an−1−an−2(等差数列) |
| 非线性递推(步长递减) | 步长与项数成反比 | 对数增长 | 调和部分和 Hn=Hn−1+n1 |
若 α1,α2,…,αn 是两两不同的代数数,则 eα1,eα2,…,eαn 在代数数域上线性无关。
若 α1,α2,…,αn 是两两不同的代数数,则 eα1,eα2,…,eαn 在代数数域上线性无关。
| 数字 | 出现次数 | 观测频率 | 理论频率(均匀分布) | 频率偏差 |
|---|---|---|---|---|
| 0 | 968 | 9.68% | 10% | -0.32% |
| 1 | 1026 | 10.26% | 10% | +0.26% |
| 2 | 1021 | 10.21% | 10% | +0.21% |
| 3 | 974 | 9.74% | 10% | -0.26% |
| 4 | 1012 | 10.12% | 10% | +0.12% |
| 5 | 1046 | 10.46% | 10% | +0.46% |
| 6 | 1021 | 10.21% | 10% | +0.21% |
| 7 | 970 | 9.70% | 10% | -0.30% |
| 8 | 948 | 9.48% | 10% | -0.52% |
| 9 | 1014 | 10.14% | 10% | +0.14% |
| 数字 | 出现次数 | 观测频率 | 理论频率(均匀分布) | 频率偏差 |
|---|---|---|---|---|
| 0 | 991 | 9.91% | 10% | -0.09% |
| 1 | 1013 | 10.13% | 10% | +0.13% |
| 2 | 1009 | 10.09% | 10% | +0.09% |
| 3 | 997 | 9.97% | 10% | -0.03% |
| 4 | 1010 | 10.10% | 10% | +0.10% |
| 5 | 994 | 9.94% | 10% | -0.06% |
| 6 | 1007 | 10.07% | 10% | +0.07% |
| 7 | 1008 | 10.08% | 10% | +0.08% |
| 8 | 996 | 9.96% | 10% | -0.04% |
| 9 | 975 | 9.75% | 10% | -0.25% |
| 数字 | 出现次数 | 观测频率 | 理论频率 | 频率偏差 |
|---|---|---|---|---|
| 0 | 982 | 9.82% | 10% | -0.18% |
| 1 | 1005 | 10.05% | 10% | +0.05% |
| 2 | 1011 | 10.11% | 10% | +0.11% |
| 3 | 996 | 9.96% | 10% | -0.04% |
| 4 | 1008 | 10.08% | 10% | +0.08% |
| 5 | 990 | 9.90% | 10% | -0.10% |
| 6 | 1009 | 10.09% | 10% | +0.09% |
| 7 | 1003 | 10.03% | 10% | +0.03% |
| 8 | 997 | 9.97% | 10% | -0.03% |
| 9 | 1009 | 10.09% | 10% | +0.09% |
| 常数类型 | 数字分布特征 | 关键区别 |
|---|---|---|
| 数学常数(π,e,γ) | 长序列趋近均匀,偏差随位数增加收敛 | 无量纲,数字分布是内在数学属性 |
| 物理常数(h) | 有效位数有限,分布依赖单位制 | 有量纲,数值受物理定义约束 |
| 整数 x | 双步递推阶乘 x!(2) | 标准阶乘 x! | 差值/比值 |
|---|---|---|---|
| 0 | 1 | 1 | 相等 |
| 1 | 1 | 1 | 相等 |
| 2 | 2 | 2 | 相等 |
| 3 | 3 | 6 | 为标准值的 1/2 |
| 4 | 8 | 24 | 为标准值的 1/3 |
| 5 | 6 | 120 | 为标准值的 1/20 |
| 特征 | 双步递推阶乘 x!(2) | 斐波那契数列 F(n) |
|---|---|---|
| 定义域 | 可拓展到实数、复数(需构造新函数) | 仅限整数(n≥0) |
| 递推核心 | 乘法递推,目标是拓展“阶乘”的连续定义 | 加法递推,目标是描述离散数列的增长规律 |
| 解析表达 | 需通过含参积分构造新特殊函数 | 有通项公式(比内公式),可拆为指数函数组合 |
| 应用场景 | 数学分析中的拓展性定义,暂无广泛实用场景 | 数论、组合数学、自然规律(如花瓣数)等 |
| 特征 | 乘法递推(阶乘 n!) | 加法递推(类阶乘 f(n)) |
|---|---|---|
| 递推规则 | n!=n⋅(n−1)! | f(n)=n+f(n−1) |
| 增长速度 | 指数级爆炸增长 | 多项式级缓慢增长 |
| 解析延拓 | 需伽马函数拓展到复数 | 直接用多项式拓展到实数/复数 |
| 本质 | 乘法累积 | 加法累积 |
| 特征 | 指数递推 f(x)=xf(x−1) | 乘法递推(阶乘 x!) | 加法递推 f(x)=x+f(x−1) |
|---|---|---|---|
| 增长类型 | 超指数增长(迭代幂次) | 阶乘增长 | 多项式增长(二次) |
| 整数取值 | 数值极速膨胀,远超可计算范围 | 数值可控,有明确意义 | 数值最小,规律清晰 |
| 定义域拓展 | 仅能定义在非负整数,无法拓展到实数/复数(实数指数迭代会出现复数、无实数解等问题) | 可拓展到复数(伽马函数) | 可直接拓展到实数/复数 |
| 数学名称 | 属于迭代幂次序列 | 阶乘函数 | 三角数函数 |
| 递推类型 | 规则 | 锚点g(1)=2时的前5项 | 增长级别 |
|---|---|---|---|
| 加法递推 | f(x)=x+f(x−1) | 2,4,7,11,16 | 多项式增长 |
| 乘法递推(阶乘) | x!=x⋅(x−1)! | 2,6,24,120,720 | 阶乘增长 |
| 幂函数型递归 | g(x)=[g(x−1)]x | 2,4,64,16777216,⋯ | 超阶乘增长(慢于迭代幂次) |
| 迭代幂次递归 | f(x)=xf(x−1) | 2,2,9,262144,⋯ | 极速超指数增长 |
| 递推类型 | 规则 | 增长特性 | 定义域拓展方式 |
|---|---|---|---|
| 加法递推(三角数) | f(x)=x+f(x−1) | 二次多项式增长 | 多项式直接拓展 |
| 乘法递推(阶乘) | f(x)=x⋅f(x−1) | 阶乘增长 | 伽马函数解析延拓 |
| 斐波那契型递推 | f(x)=f(x−1)+f(x−2) | 指数级线性增长 | 比内公式解析延拓 |
| 幂函数型递归 | f(x)=[f(x−1)]x | 超阶乘增长 | 仅能定义在整数域 |
| 要求 | 验证过程 |
|---|---|
| 自然数域取值为 n! | 当 z=n(自然数),ψ(n)=0,故 F(n)=Γ(n)⋅1=n! |
| 满足阶乘递推性 | F(z+1)=Γ(z+1)[1+ψ(z+1)]=zΓ(z)[1+ψ(z)]=z⋅F(z) |
| 连续、光滑、可导 | Γ(z) 在正实数域光滑可导,ψ(z) 是全局光滑函数,两者乘积也全局光滑可导 |
| 非伽马函数 | 当 ψ(z)≡0 时,F(z) 与 Γ(z) 不同 |
| 要求 | 验证 |
|---|---|
| 自然数域取值为 n! | 当 z=n(自然数),η(n)=0,代入得 F(n)=n(n−1)⋯1⋅F0(1)=n!⋅1=n! |
| 满足递推性 F(z+1)=zF(z) | 对任意 z>0,z+1 所在区间的递推式,可由 z 的递推式直接推导,且 η(z+1)=η(z),故 F(z+1)=zF(z) |
| 连续、光滑、可导 | 基准函数 F0(z) 光滑,多项式递推部分光滑,η(z) 无穷光滑,乘积仍光滑 |
| 完全不依赖伽马函数 | 构造全程仅用初等函数(多项式、指数、三角函数),无伽马函数参与 |
| 特征 | 伽马函数 | 之前的构造函数 |
|---|---|---|
| 定义来源 | 独立积分,无阶乘成分 | 基于阶乘递推+扰动项 |
| 递推性 | 天然满足,可证明 | 人为设计,强制满足 |
| 解析性 | 可拓展到全复平面(除负整数奇点) | 仅正实数域光滑,无法复拓展 |
| 数学价值 | 连接积分、概率、复变函数 | 仅满足基础递推,无深层应用 |
| 分布类型 | 曲线形态核心特征 | 适用场景 |
|---|---|---|
| 标准正态分布 | 对称钟形,尾部较薄 | 大样本、总体标准差已知的统计推断 |
| t 分布 | 对称钟形,尾部比正态分布厚 | 小样本、总体标准差未知的统计推断 |
| 帕累托分布 | 右偏长尾,头部陡、尾部缓 | 描述长尾现象(财富、人口、极端事件) |