首页 >
偏微分
✍ dations ◷ 2025-06-28 12:40:05 #偏微分
在数学中,一个多变量的函数的偏导数(英语:partial derivative)是它关于其中一个变量的导数,而保持其他变量恒定(相对于全导数,在其中所有变量都允许变化)。偏导数的作用与价值在向量分析和微分几何以及机器学习领域中受到广泛认可。函数
f
{displaystyle f}
关于变量
x
{displaystyle x}
的偏导数写为
f
x
′
{displaystyle f_{x}^{prime }}
或
∂
f
∂
x
{displaystyle {frac {partial f}{partial x}}}
。偏导数符号
∂
{displaystyle partial }
是全导数符号
d
{displaystyle d}
的变体,由阿德里安-马里·勒让德引入,并在雅可比的重新引入后得到普遍接受。假设ƒ是一个多元函数。例如:因为曲面上的每一点都有无穷多条切线,描述这种函数的导数相当困难。偏导数就是选择其中一条切线,并求出它的斜率。通常,最感兴趣的是垂直于y轴(平行于xOz平面)的切线,以及垂直于x轴(平行于yOz平面)的切线。一种求出这些切线的好办法是把其他变量视为常数。例如,欲求出以上的函数在点(1, 1)的与xOz平面平行的切线。右图中显示了函数的图像以及这个平面。左图中显示了函数在平面y = 1上是什么样的。我们把变量y视为常数,通过对方程求导,我们可以发现ƒ在点(x, y)的导数,记为:于是在点(1, 1)的与xOz平面平行的切线的斜率是3。在点(1, 1),或称“ƒ在(1, 1)的关于x的偏导数是3”。函数f可以解释为y为自变量而x为常数的函数:也就是说,每一个x的值定义了一个函数,记为fx,它是一个一元函数。也就是说:一旦选择了一个x的值,例如a,那么f(x,y)便定义了一个函数fa,把y映射到a2 + ay + y2:在这个表达式中,a是常数,而不是变量,因此fa是只有一个变量的函数,这个变量是y。这样,便可以使用一元函数的导数的定义:以上的步骤适用于任何a的选择。把这些导数合并起来,便得到了一个函数,它描述了f在y方向上的变化:这就是f关于y的偏导数,在这里,∂是一个弯曲的d,称为偏导数符号。为了把它与字母d区分,∂有时读作“der”、“del”、“dah”或“偏”,而不是“dee”。一般地,函数f(x1,...,xn)在点(a1,...,an)关于xi的偏导数定义为:在以上的差商中,除了xi以外的所有变量都是固定的。这个固定值的选择决定了一个一元函数
f
a
1
,
…
,
a
i
−
1
,
a
i
+
1
,
…
,
a
n
(
x
i
)
=
f
(
a
1
,
…
,
a
i
−
1
,
x
i
,
a
i
+
1
,
…
,
a
n
)
{displaystyle f_{a_{1},ldots ,a_{i-1},a_{i+1},ldots ,a_{n}}(x_{i})=f(a_{1},ldots ,a_{i-1},x_{i},a_{i+1},ldots ,a_{n})}
,根据定义,这个表达式说明了偏导数的计算可以化为一元导数的计算。多变量函数的一个重要的例子,是欧几里德空间Rn(例如R2或R3)上的标量值函数f(x1,...xn)。在这种情况下,f关于每一个变量xj具有偏导数∂f/∂xj。在点a,这些偏导数定义了一个向量:这个向量称为f在点a的梯度。如果f在定义域中的每一个点都是可微的,那么梯度便是一个向量值函数∇f,它把点a映射到向量∇f(a)。这样,梯度便决定了一个向量场。一个常见的符号滥用是在欧几里得空间R3中用单位向量
i
^
,
j
^
,
k
^
{displaystyle mathbf {hat {i}} ,mathbf {hat {j}} ,mathbf {hat {k}} }
来定义Nabla算子 (∇) 如下:或者,更一般地,对于n维欧几里得空间Rn 的坐标(x1, x2, x3,...,xn)和单位向量(
e
^
1
,
e
^
2
,
e
^
3
,
…
,
e
^
n
{displaystyle mathbf {{hat {e}}_{1}} ,mathbf {{hat {e}}_{2}} ,mathbf {{hat {e}}_{3}} ,dots ,mathbf {{hat {e}}_{n}} }
):考虑一个圆锥的体积V;它与高度h和半径r有以下的关系:V关于r的偏导数为:V关于h的偏导数为:现在考虑V关于r和h的全导数。它们分别是:以及现在假设,由于某些原因,高度和半径的比k需要是固定的:这便给出了关于r的全导数:可以化简为:类似地,关于h的全导数是:含有未知函数的偏导数的方程,称为偏微分方程,它在物理学、工程学,以及其它应用科学中经常会见到。与关于r和h二者相关的全导数是由雅可比矩阵给出的,它的形式为梯度向量
∇
V
=
(
∂
V
∂
r
,
∂
V
∂
h
)
=
(
2
3
π
r
h
,
1
3
π
r
2
)
{displaystyle nabla V=({frac {partial V}{partial r}},{frac {partial V}{partial h}})=({frac {2}{3}}pi rh,{frac {1}{3}}pi r^{2})}
。在以下的例子中,设f为x、y和z的函数。f的一阶偏导数为:二阶偏导数为:二阶混合偏导数为:高阶偏导数为:当处理多变量函数时,有些变量可能互相有关,这样就需要明确指定哪些变量是固定的。在诸如统计力学的领域中,f关于x的偏导数,把y和z视为常数,通常记为:像导数一样,偏导数也是定义为一个极限。设U为Rn的一个开子集,f : U → R是一个函数。我们定义f在点a = (a1, ..., an) ∈ U关于第i个变量xi的偏导数为:即使在某个给定的点a,所有的偏导数∂f/∂xi(a)都存在,函数仍然不一定在该点连续。然而,如果所有的偏导数在a的一个邻域内存在并连续,那么f在该邻域内完全可微分,且全导数是连续的。在这种情况下,我们称f是一个C1函数。偏导数
∂
f
∂
x
{displaystyle {frac {partial f}{partial x}}}
可以视为定义在U内的另外一个函数,并可以再次求偏导数。如果所有的混合二阶偏导数在某个点(或集合)连续,我们便称f为在该点(或集合)的一个C2函数;在这种情况下,根据克莱罗定理,偏导数可以互相交换:
相关
- 血瀑布血瀑布(英语:Blood Falls)位于南极大陆维多利亚地泰勒谷中,因水中富含铁氧化物,使得水成为深红色,故得名“血瀑布”。泰勒谷属于麦克默多干燥谷的一部分,泰勒冰川位于山谷的西端,血
- 类器官类器官是原生动物所具有的一种特殊结构,负责执行类似高等动物器官的功能,也有人将其归入细胞器。类器官也可是一种科学研究技术,指一些细胞的培养物,能够包含其代表器官的一些关
- 谓词逻辑在数理逻辑中,谓词逻辑(Predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑,多类逻辑或无穷逻辑等等。
- 注意异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
- 酸杆菌科酸杆菌门(Acidobacteria)是新近被分出的一门细菌。它们是嗜酸菌。现在对它们研究还很少,但它们在生态系统中具有重要作用,比如土壤中。
- 义链(英语:Sense,也称股)在分子生物学中指一段核酸分子(如RNA与DNA)及其互补序列在指定氨基酸序列中的作用性质。例如,若RNA可以直接合成蛋白质,则该段RNA为正链;反之,若RNA需要先进行转
- 圣菲圣菲(英语:Santa Fe,纳瓦霍语:Yootó),是美国新墨西哥州的州府,它的名字来自于西班牙语,是“神圣的信仰”的意思。2000年人口普查时它有62,203居民。它也是圣菲县的政府所在地。为了
- span style=color:black;北莱茵-威斯特法伦/span北莱茵-威斯特法伦(德语:Nordrhein-Westfalen),位于德国西部,总人口超过1800万,是德国人口最多的联邦州。总面积34080平方公里,首府杜塞尔多夫。该州与比利时及荷兰接壤。莱茵-鲁尔
- WI-38WI-38是一种生物医学领域常用的细胞系(英语:cell line),其本质为体外(in vitro)培养的人胚肺成纤维细胞。该细胞系由美国生物学家雷纳德·海弗里克(英语:Leonard Hayflick)于1960年建
- 金钱的时间价值金融学中,金钱的时间价值、货币的时间价值或资金的时间价值(英语:time value of money,缩写为 TVM)是一种表示“金钱价值会随时间改变”的重要基本概念。在金融市场里,资金即是可