Wolfram Language & System Documentation Center

Limit

参见
- 函数
- DiscreteLimit
- Series
- Residue
- MaxLimit
- MinLimit
- FunctionContinuous
- Derivative
- AsymptoticIntegrate
- AsymptoticDSolveValue
- AsymptoticSolve
- Assumptions
- DiracDelta
- PrincipalValue
- 字符
- \[Limit]
相关指南
技术笔记
- 符号运算
- 求极限
- 参见
  - 函数
  - DiscreteLimit
  - Series
  - Residue
  - MaxLimit
  - MinLimit
  - FunctionContinuous
  - Derivative
  - AsymptoticIntegrate
  - AsymptoticDSolveValue
  - AsymptoticSolve
  - Assumptions
  - DiracDelta
  - PrincipalValue
  - 字符
  - \[Limit]
- 相关指南
- 技术笔记
  - 符号运算
  - 求极限

Limit

Limit[f,xx^*]

给出极限 _xx^*f(x).

Limit[f,{x₁,…,x_n}]

给出嵌套的极限 ⋯ f (x₁,…,x_n).

Limit[f,{x₁,…,x_n}{,…,}]

给出多变量极限 f (x₁,…,x_n).

范例

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

基本范例 (3)

不连续点处的极限：

无穷处的极限：

上限：

下限：

两边极限不存在：

范围 (35)

基本用途 (5)

求一点的极限：

求在符号点处的极限：

求在 -Infinity 的极限：

当首先，然后的嵌套极限：

当，然后的嵌套极限：

当，计算多变量极限：

排版显示求极限的符号 (4)

使用 lim 输入 \[Limit] 字符，和创建下标：

通过在极限点上使用上标或获取上下极限：

输入 0 后，使用创建上标：

指定 Reals 或 Complexes 的方向，在  字符上以下标形式输入域：

输入规则 ->，使用创建一个下标，然后键入 reals 以输入：

TraditionalForm 格式:

基本函数 (6)

多项式和有理函数：

函数在的两侧都趋近于正无穷：

代数函数：

函数在两侧趋近于不同的无穷大，因此极限不存在：

三角函数：

有垂直渐近线的三角函数：

在原点没有极限的极度振荡函数：

指数函数：

对数函数：

函数像 Sqrt 和 Log 沿着负实轴有两边极限：

如果在复平面从上方趋近，会达到同样的极限值：

然而从复平面下方趋近会产生不同的极限值：

这是因为分支分割，在轴交叉处，虚部反转了符号：

不存在复平面的极限：

无穷处的基础函数 (4)

在 ±Infinity 处的代数函数极限：

在 ±Infinity 处，三角函数的极限：

可视化函数，并显示其在正负无穷大处的极限：

尽管存在振荡，函数在时仍无限增大：

在无穷处，指数和对数函数的极限：

计算嵌套的指数对数极限：

分段函数 (5)

不连续的分段函数：

函数在处的值与时函数的值相差甚远：

左连续的分段函数：

该函数是左连续的，因为与从左趋近于时的极限一致：

UnitStep 是高效的右连续分段函数：

该函数是右连续的，因为与从右趋近于时的极限一致：

RealSign 是高效的不连续分段函数：

的值与从左和右趋近于时的极限不一致：

求当 x 从更大的数趋近时，Floor 的极限：

求当 x 从更小的数趋近时，Floor 的极限：

特殊函数 (4)

包含 Gamma 的极限：

包含贝塞尔型函数的极限：

包含指数积分的极限：

在每个非正偶整数，Gamma 从左边趋近，从右边趋近：

对于负奇整数，符号是反的：

嵌套的极限 (3)

当，然后计算嵌套极限：

通过计算两个 Limit 表达式，获取同样的结果：

当，然后，计算极限产生不同的答案：

这个等于两个嵌套的极限：

当，然后的嵌套极限是：

考虑原点处两个变量的函数：

当，然后的迭代极限是：

因为极限值依赖于次序，双变量的极限不存在：

可视化函数和之前沿着两轴计算的值：

多变量极限 (4)

计算当，函数的双变量极限：

如果对于所有，有，其中蕴涵，那么极限值是：

对于这个函数，值会满足：

函数位于斜率为的两个圆锥之间：

求多变量函数的极限：

存在各种迭代极限：

沿着曲线接近原点产生第三个结果：

函数的真二维极限不存在：

可视化接近原点的极限：

求原点处双变量函数的极限：

原点处真二维极限是 0：

用极坐标重新表示函数：

极坐标表示是有界的，当的极限是：

计算三变量函数的极限：

原点处的极限不存在：

在和平面上存在极限：

但是在平面上的极限是取决于方向：

可视化函数：

选项 (13)

Assumptions (2)

使用 Assumptions 指定参数上的条件：

不同的假设会产生不同的结果：

依赖参数的极限：

Direction (5)

上限：

等同于：

下限：

等同于：

在分段的间断点处的极限：

在单极点处的极限：

在分支线的极限：

计算从不同象限趋近的双边极限：

从第一象限趋近原点：

等同于：

从第二象限趋近原点：

从左半平面趋近原点：

从下半平面趋近原点：

可视化函数：

GenerateConditions (3)

返回一个没有表述条件的结果：

该结果只在 n>0 有效：

如果结果依赖于参数值，返回未计算的：

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

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

当 GenerateConditions->True，甚至会报告这些非通用条件：

Method (2)

使用 Method{"AllowIndeterminateOutput"False} 避免 Indeterminate 结果：

对于振荡函数，边界会作为 Interval 对象返回：

使用 Method{"AllowIntervalOutput"False} 避免 Interval 对象结果：

PerformanceGoal (1)

使用 PerformanceGoal 避免潜在的昂贵计算：

默认设置使用所有可用技术来尝试产生结果：

应用 (23)

极限几何 (5)

当，函数的极限是：

这意味着当的值接近，有值接近：

可视化函数：

极限对于在处的值没有声明，在这个例子是不确定：

当趋近，函数没有极限：

函数有极限 0：

在增加的周围的小区域，连续在之间弹跳，但是在平坦的增加：

当，下面有理函数有有限的极限：

计算，保证当，有：

复杂的结果可以被简化，通过在 0 和 2 之间聚焦：

的图总是通过边，不是顶部或底部“离开”中心在，高为，宽为的长方形：

求有理函数的垂直和水平渐近线：

计算当分母为 0 的值：

验证函数在计算的值处趋近：

计算处的极限值：

可视化函数和渐近线：

求函数的非垂直、线性渐近线：

渐近线的斜率：

计算渐近线的垂直截距：

可视化函数和其渐近线：

不连续性 (5)

分类原点处的 f 的连续性或不连续性：

没有在 0 处定义，因此不连续：

而且，当 x0，不存在极限：

然而，存在下限：

也存在上限，是不同的值：

因此， f 在 0 处由跳跃不连续性：

分类在原点处的 f 的连续性和不连续性：

函数已定义：

存在两边极限，但是不等于函数值，因此这是可移动的不连续性：

找到并分类分段函数的不连续性：

函数在 0 点没有定义，因此，在那里不连续：

函数两边趋向于 Infinity，因此它是无穷不连续：

接着查找极限在哪里不等于函数：

在 x==3 不存在极限，这是可移动的不连续性：

函数在的每个倍数处不连续：

比如，在原点，给出不确定格式：

在的每个偶倍数，的双边极限存在：

在的奇倍数也是这样，是不同的极限值：

然而，在的半整数倍处，不存在双边极限：

函数与一样，均被定义，但是也在的倍数处连续：

显示在原点连续：

可视化和：

确定下面函数是否在原点连续，沿着射线是否存在极限：

不存在双变量极限，因此函数不连续：

左半平面存在极限是 0，因此任何从那里趋近的射线有同样的极限：

沿着线趋近，当，给出类似斜率的结果：

可视化四条射线，斜率为：

导数 (5)

使用导数定义计算的导数：

首先计算差分商：

当差分商的，导数是其极限：

计算在处的的导数：

差分商的极限不存在，因此在原点不可微：

注意，存在差分商的左右极限，但是不等的：

在这种情况，左右导数等于来自于左右的的极限：

可视化和其导数；前者在 0 处有“扭结”，后者是跳跃不连续：

确定在处的的微分性：

存在差分商的极限，因此可微，且：

注意，当，不存在极限，因此不连续：

决定在点处，的可微性：

存在关于 x 的偏导：

关于 y 的偏导也存在：

然而，线性条件 $lim_(r->r_0)(TemplateBox[{{{f, (, {x, ,, y}, )}, -, {f, (, {{x, _, 0}, ,, {y, _, 0}}, )}, -, {{p, (, {{x, _, 0}, ,, {y, _, 0}}, )}, ., {(, {r, -, {r, _, 0}}, )}}}}, RealAbs])/(TemplateBox[{{r, -, {r, _, 0}}}, Norm])=0$ 失败，因此不可微：

可视化函数：

注意，的偏导无处不在：

但是，在点不连续：

导数定义为差分商的极限：

通过求二阶差分商的极限计算二阶导：

通过取极限直接计算混合偏导：

数学常数和表达式 (4)

计算出是 Infinity 处的极限：

原点的互补极限：

计算出是 Gamma 函数的极限：

计算出 EulerGamma 是涉及 Zeta 函数的极限：

计算出 EulerGamma 是指数积分的极限：

其他应用 (4)

如果 $lim_(x->a) TemplateBox[{{{(, {f, (, x, )}, )}, /, {(, {g, (, x, )}, )}}}, Abs]=0$ ，函数在处是 "little-o of "，写作：

类似，如果 $lim_(x->a) TemplateBox[{{{(, {f, (, x, )}, )}, /, {(, {g, (, x, )}, )}}}, Abs]=infty$ ，是 "little-omega of "，写作：

如果，那么：

有可能，两个函数没有任何关系：

而且，函数间以及自己也没有任何关系：

因此，和定义函数的偏序：

，如果到 0 快于：

表明相反的关系：

注意，两个列表不是精确的反向，因为和是不可比的：

根据泰勒理论，如果在处有个连续导数，那么：

这是在处的第五阶泰勒多项式：

的定义是 $lim_(x->a) TemplateBox[{{{(, {f, (, x, )}, )}, /, {(, {g, (, x, )}, )}}}, Abs]=0$ ：

验证：

在狭义相对论中，质量和速度的粒子的动能由下式给出：

动能的典型公式为：

在速度趋于 0 的极限中，这两个公式一致：

广义积分：

属性和关系 (14)

乘数常数可以移到极限外：

如果 f 和 g 具有有限极限，它们的和的 Limit 是可分配的：

如果 f 和 g 具有有限极限，它们的积的 Limit 是可分配的：

幂可以移到极限之外：

对于连续函数，函数合成与序列极限运算是可交换的：

对于不连续函数，这不需要保留：

"squeezing" 或 "sandwich" 原理：

函数被界定：

边界函数的极限为 0，它证明原极限是 0：

无穷处，极限的挤压原理：

该函数在正实轴由界定：

边界函数的极限是 0，它证明原极限是 0：

Assumptions 应用于极限表达式中的参数：

Direction 把条件放在极限变量上：

导数用极限定义：

比例的极限经常可以用 l'Hôpital 规则进行计算：

直接计算比例，给出不确定形式 0/0：

比例极限等于导数的比例极限：

在这种情况下，f' 和 g' 是连续的并可以被计算：

如果存在 Limit，那么也有 DiscreteLimit，它们有同样的值：

相反则不是：

如果存在 Limit，那么 MaxLimit 也是，它有同样的值：

如果存在 Limit，那么 MinLimit 也是，它有同样的值：

在定义域的每个点上，连续函数的极限等于函数的值：

用 FunctionContinuous 测试函数是否是连续的：

可能存在的问题 (1)

对于非精确输入，Limit 可能返回一个不准确的答案:

当使用精确输入时，结果是正确的:

答案不准确的根本原因是数值相消:

互动范例 (1)

在由直径和垂直和弦界定的扇区中，找到三角形占据的比例：

如果圆盘半径为 r，浅蓝阴影的直角三角形面积是：

类似，整个阴影面积是整个扇形面积减去白色直角三角形面积：

计算当 ϕ 趋近于 0 的极限：

巧妙范例 (2)

利用积分求微分：

可视化一组极限：

Top

	Limit[f,xx^]f^	对于每个，有使得 $0<TemplateBox[{{x, -, {x, ^, }}}, Abs]<delta(epsilon,x^)$ 蕴涵 $TemplateBox[{{{f, (, x, )}, -, {f, ^, *}}}, Abs]<epsilon$
	Limit[f,{x₁,…,x_n}{,…,}]f^*	对于每个，有使得 $0<TemplateBox[{{{, {{{x, _, 1}, -, {x, _, {(, 1, )}, ^, }}, ,, ..., ,, {{x, _, n}, -, {x, _, {(, n, )}, ^, }}}, }}}, Norm]<delta(epsilon,x^)$ 蕴涵 $TemplateBox[{{{f, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}, -, {f, ^, }}}, Abs]<epsilon$

	Limit[f,x∞]f^*	对于每个，有使得蕴涵 $TemplateBox[{{{f, (, x, )}, -, {f, ^, *}}}, Abs]<epsilon$
	Limit[f,{x₁,…,x_n}{∞,…,∞}]f^*	对于每个，有使得蕴涵 $TemplateBox[{{{f, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}, -, {f, ^, *}}}, Abs]<epsilon$

Assumptions	$Assumptions	参数上的假设
Direction	Reals	接近极限点的方向
GenerateConditions	Automatic	是否产生参数上的条件
Method	Automatic	使用的方向
PerformanceGoal	"Quality"	性能方面的优化

	Reals 或 "TwoSided"	来自两个实方向
	"FromAbove" 或 -1	来自上限或更大的值
	"FromBelow" 或 +1	来自下限或更小的值
	Complexes	来自所有复方向
	Exp[ θ]	在方向
	{dir₁,…,dir_n}	对变量 x_i 分别使用方向 dir_i

	Automatic	只是非一般的条件
	True	所有条件
	False	无条件
	None	如果需要条件，返回未计算的

	f	不同方向的极限
	f	上限
	f	下限
	f	复平面的极限
	…f	Limit[f,{x₁,…,x_n}]

Limit

更多信息和选项

范例

基本范例 (3)

范围 (35)

基本用途 (5)

排版显示求极限的符号 (4)

基本函数 (6)

无穷处的基础函数 (4)

分段函数 (5)

特殊函数 (4)

嵌套的极限 (3)

多变量极限 (4)

选项 (13)

Assumptions (2)

Direction (5)

GenerateConditions (3)

Method (2)

PerformanceGoal (1)

应用 (23)

极限几何 (5)

不连续性 (5)

导数 (5)

数学常数和表达式 (4)

其他应用 (4)

属性和关系 (14)

可能存在的问题 (1)

互动范例 (1)

巧妙范例 (2)

参见

技术笔记

相关指南

历史

文本

CMS

APA

BibTeX

BibLaTeX