在微積分學中,多元微積分,也稱為多變量微積分(英語:Multivariable calculus,multivariate calculus)是涉及多元函數的微積分學的統稱。相較於只有單個變量的一元微積分,多元微積分在函數的求導和積分等運算中含有至少兩個變量。例如微分多元函數時,就引申出偏微分、全微分,對多元函數進行積分計算時,又會涉及多重積分。[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算子()依據偏導數被用於定義這些概念:梯度,散度,旋度。在含有偏導數的矩陣中,雅可比矩陣可以用來表示任意維空間之間的函數的導數。因此,導數可理解為從函數定義域到函數值域的逐點變化的線性映射。
含有偏導數的微分方程稱為偏微分方程或「PDE」。這些方程較只含有一個變量的常微分方程更難解出。[1]:654ff
重積分將積分的概念拓展至任意數量的變量。二重積分和三重積分可用於計算平面和空間中區域的面積和體積。富比尼定理給出了使用逐次積分的方法計算二重積分的條件。[1]:367ff
可以用曲面積分和曲線積分在曲面和曲線等流形上進行積分。
在一元微積分中,微積分基本定理建立了導數與積分的聯繫。多元微積分中導數與積分之間的聯繫,體現為矢量微積分的積分定理:[1]:543ff
在對多元微積分更深層次的研究中,可以認為以上四條定理是一個更一般的定理的具體表現,即廣義斯托克斯定理,後者適用於在流形上對微分形式進行積分。
Richard Courant; Fritz John. Introduction to Calculus and Analysis Volume II/2. Springer Science & Business Media. 14 December 1999. ISBN 978-3-540-66570-0.
Amy Dahan-Dalmedico, Jeanne Peiffer. Une histoire des mathématiques – Routes et dédales. 1986. ISBN 978-2-02-009138-1.