多元微积分
在微积分学中,多元微积分,也称为多变量微积分(英語:,)是涉及多元函數的微積分學的統稱。相较于只有单个变量的一元微积分,多元微积分在函数的求导和积分等运算中含有至少两个变量。例如微分多元函數時,就引申出偏微分、全微分,對多元函數進行積分計算時,又會涉及多重積分。[1]
系列條目 |
微积分学 |
---|
|
历史
多元函数的概念很早就出现在物理学中,因为人们常常要研究取决于多个其他变量的物理量。例如托马斯·布拉德华曾试图寻找运动物体的速度、动力和阻力之间的关系。[2]:210不过从十七世纪开始,这个概念有了长足发展。1667年,詹姆斯·格雷果里在 Vera circuli et hyperbolae quadratura 一文中给出了多元函数最早的定义之一:“(多元)函数是由几个量经过一系列代数运算或别的可以想象的运算得到的量。”[2]:216十八世纪,人们发展了基于无穷小量的微积分,[3],并研究了常微分方程和偏微分方程的解法。[4]那时多元函数的运算与一元函数类似。直到十九世纪末和二十世纪,人们才严格建立起偏导数(包括二阶偏导数)的计算法则。[5]
多元函数
多元函数是指定义域为或其一部分,值域为或的函数。第二种情况可归结为第一种情况,因为它实际上可看成个定义在上,值域是的坐标函数。这样的函数让定义域中的每个元素(即n元组)对应唯一一个值域中的元素,记为或,如下所示:
如果线性空间和上赋有范数,就可以研究这种多元函数的连续性和可微性。如果固定除一个变量外的其他变量,多元函数的研究就可归结为值域是的函数。如果分别考虑坐标函数的话,甚至可归结为值域是的函数。比如,这种函数的导数存在的话,就称为原来多元函数的偏导数。
多元函数的分析
数学分析中的经典概念可以推广到多元函数,但也要引入线性代数中的概念。
极限与连续性
设是中的一个开集,是定义在上的函数。给赋予一个范数之后,就可以这样定义连续性:对中的每个点,在处连续当且仅当
在多元微积分领域,对函數極限和连续性的研究可导致许多违反直觉的结果。例如,一些二元标量函数,当,沿不同路径(例如直线与抛物线)趋近于极限点时,函数的值不同。[1]:19-22例如,函数
沿任何直线 趋近于原点 时,f趋近于0。然而,当变量x,y沿抛物线 趋近于原点时,f趋近于0.5。由于沿不同路径取极限时函数值不同,故该函数在原点的极限不存在。
每一个变量的连续不是多元函数连续的充分条件:[1]:17-19 例如, 含有两个变量的实数函数 ,对于每一个固定的 , 关于 的函数在其定义域内连续。同样的,对于每一个固定的 , 关于 的函数在其定义域也内连续,但这不能说明原函数连续。
- 举一个例子,考虑函数
很容易验证,在实数域中,定义函数: ,则对于每一个固定的 , 在 上连续。同理,函数 也是关于 的连续函数。然而,函数 在原点是不连续的。 考虑序列 ( 为自然数),若在原点连续其结果应为 。然而,通过计算知其在原点的极限为 。 因此, 在原点不连续。
偏导数
偏导数将导数的概念推广到更高维度。一个多变量函数的偏导数是一个相对于一个变量的导数,所有其他变量视作常数,保持不变。[1]:26ff
偏导数可以组合起来,创造出形式更复杂的导数。在向量分析中,Nabla算子()依据偏导数被用于定义这些概念:梯度,散度,旋度。在含有偏导数的矩阵中,雅可比矩阵可以用来表示任意维空间之间的函数的导数。因此,导数可理解为从函数定义域到函数值域的逐点变化的线性映射。
应用
对象 | 图示 | 定义域和值域 | 适用运算 |
---|---|---|---|
曲线 | for | 曲线长度、曲线积分、曲线曲率 | |
曲面 | for | 表面积、曲面积分、通量、曲面曲率 | |
标量场 | 极大值和极小值、拉格朗日乘数、方向导数 | ||
向量場 | 有关向量分析的运算、包括梯度、散度、旋度 |
参见
參考文獻
- Richard Courant; Fritz John. . Springer Science & Business Media. 14 December 1999. ISBN 978-3-540-66570-0.
- Amy Dahan-Dalmedico, Jeanne Peiffer. . 1986. ISBN 978-2-02-009138-1.
- Laplace. . Académie des sciences. 1773 [2015-07-31]. (原始内容存档于2016-03-08).
- . [2015-07-31]. (原始内容存档于2010-06-10).
- . [2015-07-31]. (原始内容存档于2012-03-05).
外部链接
- UC Berkeley video lectures on Multivariable Calculus, Fall 2009, Professor Edward Frenkel(页面存档备份,存于)
- MIT video lectures on Multivariable Calculus, Fall 2007(页面存档备份,存于)
- Multivariable Calculus(页面存档备份,存于): A free online textbook by George Cain and James Herod
- Multivariable Calculus Online(页面存档备份,存于): A free online textbook by Jeff Knisley
- Multivariable Calculus – A Very Quick Review(页面存档备份,存于), Prof Blair Perot, University of Massachusetts Amherst