DiscreteMinLimit

DiscreteMinLimit[f,k∞]

给出序列 f[k] 当 k 在整数上趋近于 ∞ 时的最小极限 _k∞f(k).

DiscreteMinLimit[f,{k₁,…,k_n}]

给出整数上的嵌套最小极限 ⋯ f(k₁,…,k_n).

DiscreteMinLimit[f,{k₁,…,k_n}{,…,}]

给出整数上的多变量最小极限 f(k₁,…,k_n).

更多信息和选项

DiscreteMinLimit 亦称为 limit inferior、infimum limit、liminf、lower limit 和 inner limit.
DiscreteMinLimit 计算极限的最大下限，且总是为实值序列定义. 它通常用于给出不依赖于实际极限的收敛条件和其他渐进属性.
可用 f 来输入 DiscreteMinLimit[f,k∞]. 可用 dmlim来输入模板 ，用把光标从底部移动到主体.
可用 …f 来输入 DiscreteMinLimit[f,{k₁,…,k_n}{,…,}].
的极限值为 ±∞.
最小极限被定义为最小包络序列 min[ω] 的极限：
DiscreteMinLimit[f,k∞] DiscreteLimit[min[ω],ω∞]

DiscreteMinLimit[f,{k₁,…,k_n}{∞,…,∞}] DiscreteLimit[min[ω],ω∞]
DiscreteMinLimit[f[k],k-∞] 等价于 DiscreteMinLimit[f[-l],l∞] 等.
对单变量 f[k]，定义使用最小包络 min[ω]MinValue[{f[k],k≥ω∧k∈},k]，对多变量 f[k₁,…,k_n]，则使用 min[ω]MinValue[{f[k₁,…,k_n],k₁≥ω∧⋯∧k_n≥ω∧k_i∈},{k₁,…,k_n}]. ω∞ 时，序列 min[ω] 单调增大，所以它总是有一个极限，可能是 ±∞.
下图中用蓝色显示 min[k] 和 min[Min[k₁,k₂]].

如果无法找到最小极限，DiscreteMinLimit 不进行计算，直接返回.
可以给出下列选项：

Assumptions	$Assumptions	对参数的假设
GenerateConditions	Automatic	是否为参数生成条件
Method	Automatic	所用的方法
PerformanceGoal	"Quality"	优化的目标

GenerateConditions 的可能设置包括：
Automatic 只汇报非通用条件

True 汇报所有条件

False 不汇报条件

None 如果需要条件，则不进行计算，直接返回
PerformanceGoal 的可能设置包括 $PerformanceGoal、"Quality" 和 "Speed". 如果设置为 "Quality"， DiscreteMinLimit 通常能求解更多问题或产生更简单的结果，但会需要更多时间和内存.

范例

打开所有单元关闭所有单元

基本范例 (4)

序列的最小极限：

乘积的最小极限：

用 dmlim 输入模板 ，用把光标从底部移动到主体：

TraditionalForm 输出：

范围 (22)

基本用法 (4)

计算当 n 趋近于 Infinity 时序列的最小极限：

计算当 n 趋近于 -Infinity 时序列的最小极限：

计算多变量序列的嵌套最小极限：

计算一系列序列的最小极限：

初等函数序列 (6)

求有理指数序列的最小极限：

收敛几何函数序列：

振荡几何函数序列：

发散振荡几何函数序列：

指数函数序列：

幂函数序列：

三角函数序列：

反三角函数序列：

对数函数序列：

整数函数序列 (3)

涉及 Factorial 的序列：

涉及 FactorialPower 的序列：

计算涉及 Fibonacci 的序列的极限：

周期序列 (3)

周期序列的极限：

最终周期序列：

密集非周期序列：

分段函数序列 (2)

最小极限为有限值的分段序列：

最小极限为无穷大值的分段序列：

周期性条件下的分段序列：

数论函数序列 (2)

涉及 LCM 和 GCD 的极限：

涉及 Prime 的序列：

多变量序列 (2)

计算嵌套最小极限：

绘制序列和它的极限：

多变量最小极限：

选项 (6)

Assumptions (1)

指定参数的假设：

不同的假设会给出不同的结果：

GenerateConditions (3)

不陈述条件，返回结果：

只有 x>1 时结果才有效：

如果结果取决于参数的值，则不进行计算，直接返回：

默认情况下，会生成返回唯一结果的条件：

默认情况下，如果只有特殊值使结果无效，则不会生成条件：

当设置为 GenerateConditions->True 时，即便是非通用条件，也会汇报：

Method (1)

用缺省方法计算周期序列的最小极限：

用针对周期序列的方法获取同样的答案：

序列的极限没有定义，因为它在 0 和 1 之间振荡：

PerformanceGoal (1)

DiscreteMinLimit 计算周期为任意长度的序列的极限：

用 PerformanceGoal 来避免此种花费时间较长的计算：

Method 选项会覆盖 PerformanceGoal：

应用 (3)

计算序列的渐进下界：

绘制序列及其渐进下界：

验证下列序列没有极限：

证明 DiscreteMaxLimit 和 DiscreteMinLimit 不相等：

用 DiscreteLimit 确认极限不存在：

一个算法运行时间函数被认为是 "big-omega of "，写作，如果 $_(n->_(TemplateBox[{}, Integers])infty) (f(n))/(g(n))>0$ ：

同样，还被认为是 "big-theta of "，写作，如果 $_(n->_(TemplateBox[{}, Integers])infty) (f(n))/(g(n))<infty$ 和 $_(n->_(TemplateBox[{}, Integers])infty)(f(n))/(g(n))>0$ ：