全微分, 此條目没有列出任何参考或来源, 2020年9月5日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而移除, 在微积分中, 函数f, displaystyle, 在某一点的, 英語, total, derivative, 是指该函数在该点附近关于其自变量的最佳线性近似, 与偏微分不同, 反映了函数关于其所有自变量的线性近似, 而非单个自变量, 可以看成是把單變數函數的微分推廣到多變數函數上, 单变量函数的与其微分相同, 而多變數函數在某點的為一線性. 此條目没有列出任何参考或来源 2020年9月5日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而移除 在微积分中 函数f displaystyle f 在某一点的全微分 英語 total derivative 是指该函数在该点附近关于其自变量的最佳线性近似 与偏微分不同 全微分反映了函数关于其所有自变量的线性近似 而非单个自变量 全微分可以看成是把單變數函數的微分推廣到多變數函數上 单变量函数的全微分与其微分相同 而多變數函數在某點的全微分為一線性映射 通常可用矩陣或向量表示 例如 对于二元函数 f x y displaystyle textstyle f x y 设 f 在点 x 0 y 0 displaystyle x 0 y 0 的某个邻域内有定义 x 0 D x y 0 D y displaystyle scriptstyle x 0 Delta x y 0 Delta y 为该邻域内的任意一点 则该函数在点 x 0 y 0 displaystyle x 0 y 0 的變化量 D f f x 0 D x y 0 D y f x 0 y 0 displaystyle scriptstyle Delta f f x 0 Delta x y 0 Delta y f x 0 y 0 可表示为 D f A D x B D y o r displaystyle Delta f A Delta x B Delta y o rho 其中A displaystyle A B displaystyle B 皆為常數且仅与點 x 0 y 0 displaystyle x 0 y 0 有关 而与D x displaystyle Delta x D y displaystyle Delta y 无关 r D x 2 D y 2 displaystyle scriptstyle rho sqrt Delta x 2 Delta y 2 若o r displaystyle o rho 是当r 0 displaystyle rho rightarrow 0 时的高阶无穷小 则称此函数 f displaystyle f 在点 x 0 y 0 displaystyle x 0 y 0 可微分 而矩陣 或向量 A B displaystyle A B 即为函数 f displaystyle f 在 x 0 y 0 displaystyle x 0 y 0 的全微分也簡稱微分 记作 D f x 0 y 0 A B displaystyle Df x 0 y 0 A B 或 f x 0 y 0 A B displaystyle f x 0 y 0 A B 目录 1 存在条件 1 1 充分条件 1 2 必要条件 2 参见存在条件 编辑全微分繼承了部分一元函数實函數 定義域和值域為實數的函數 的微分所具有的性質 但两者间也存在差异 从全微分的定义出发 可以得出有关全微分存在条件的多个定理 充分条件 编辑 一个多元函数在某点的全微分存在的充分条件是 此函数在该点某邻域内的各个偏导数存在且偏导函数在该点都连续 则此函数在该点可微 对于二元函数 此定理可表述为 若二元函数z f x y displaystyle z f x y 在点 x 0 y 0 displaystyle x 0 y 0 的某邻域内的偏导数f x x 0 y 0 displaystyle f x x 0 y 0 与f y x 0 y 0 displaystyle f y x 0 y 0 存在 且偏导函数f x x y displaystyle f x x y 与f y x y displaystyle f y x y 在点 x 0 y 0 displaystyle x 0 y 0 都连续 则此函数在点 x 0 y 0 displaystyle x 0 y 0 可微 需要注意的是 此条件并非充要条件 存在偏导函数不连续但是多元函数可全微分的情况 如果不满足这个充分条件 那么一个多元函数能否全微分则必须由定义加以证明 即验证lim r 0 D z f x x 0 y 0 D x f y x 0 y 0 D y r 0 displaystyle lim rho to 0 frac Delta z f x x 0 y 0 Delta x f y x 0 y 0 Delta y rho 0 是否成立 必要条件 编辑 一个多元函数在某点的全微分存在的必要条件是 若多元函数在某点可微 则此函数在该点必连续 对于二元函数 此定理可表述为 若二元函数z f x y displaystyle z f x y 在点 x 0 y 0 displaystyle x 0 y 0 可微 则此函数在点 x 0 y 0 displaystyle x 0 y 0 必连续 全微分存在另一个必要条件是 若多元函数在某点可微 则此函数在该点的全微分可表示为各自变量的变化量与该自变量在该点的偏导数之积的和 对于二元函数 此定理可表述为 二元函数z f x y displaystyle z f x y 在点 x 0 y 0 displaystyle x 0 y 0 可微 则此函数在点 x 0 y 0 displaystyle x 0 y 0 的全微分为 d z x 0 y 0 f x x 0 y 0 D x f y x 0 y 0 D y displaystyle operatorname d z x 0 y 0 f x x 0 y 0 Delta x f y x 0 y 0 Delta y 参见 编辑微分 偏导数 取自 https zh wikipedia org w index php title 全微分 amp oldid 65425375, 维基百科,wiki,书籍,书籍,图书馆,