微分代数

维基百科,自由的百科全书
跳转至: 导航搜索

数学中,微分环、微分域和微分代数是环、代数装备一个导子,一个满足莱布尼兹乘积法则一元函数。微分域的一个自然例子是复数域上的单变元有理函数 C(t),其导子是关于 t 的微分。

微分环[编辑]

一个微分环 R 是装备一个或多个导子的环

使得每个导子满足莱布尼兹乘积法则

对任何 。注意环可能不交换,从而稍微标准的交换环情形的乘积法则 d(xy) = xdy + ydx 形式可能不成立。如果 是环上的乘法,乘积法则是恒等式

这里 表示函数将二元组 映到二元组

微分域[编辑]

一个微分域是带有一个导子的域 K。微分域 DF 的理论,由通常域公理与另外关于导子的两个公理。和上面一样,导子在域的元素上必须服从乘积法则,或莱布尼兹法则,这是导子称为导子的原因。即对域中任何两个元素 uv

由于域上的乘法可交换。导子也必须对域加法有分配律

如果 K 是一个微分域则常数域

微分代数[编辑]

K 上一个微分代数是一个 K-代数 A,其中的导子与域可交换。即对所有

在不用指标记法中,如果 是定义了环上数量乘法的环同态,则有

同上导子对代数乘法必须服从莱布尼兹法则,以及对加法线性。从而,对所有

以及

李代数上的导子[编辑]

李代数 上一个导子是一个线性 满足莱布尼兹法则:

对任何 上一个导子,这由雅可比恒等式可得。任何这样的导子称为内导子

[编辑]

如果 有单位,则 ∂(1) = 0 这是因为 ∂(1) = ∂(1 × 1) = ∂(1) + ∂(1)。例如,在特征零的微分域中,有理数总是常数域的子域。

任何域可以简单地理解为一个常数微分域。

Q(t) 具有惟一的结构成为一个微分域,由令 ∂(t) = 1 确定:域公理与导子的公理奇异保证导子是关于 t 的导数。例如,由乘法与莱布尼兹法则的交换性有 ∂(u2) = u ∂(u) + ∂(u)u= 2u∂(u)。

微分域 Q(t) 对微分方程

没有解。但扩充成包括函数 et 的更大的微分域,则这个方程有解。对任何微分方程系统有解的微分域称为微分闭域。这样的域存在,尽管它们不是作为代数或几何对象自然出现的。任何微分域(有界基数)嵌入一个大微分闭域。微分域是微分伽罗瓦理论中的研究对象。

自然出现的导子例子是偏导数李导数Pincherle导数Pincherle derivative)与关于这个代数中一个元素的交换子。所有这些例子是密切联系的,导子的概念将它们统一起来。

伪微分算子环[编辑]

微分环和微分域经常通过研究它们上面的伪微分算子来研究。

这是环

这个环上的乘法定义为

这里 二项式系数。注意到恒等式

这里利用了恒等式

另见[编辑]

参考文献[编辑]

  • Buium, Differential Algebra and Diophantine Geometry, Hermann (1994).
  • I. Kaplansky, Differential Algebra, Hermann (1957).
  • E. Kolchin, Differential Algebra and Algebraic Groups, 1973
  • D. Marker, Model theory of differential fields, Model theory of fields, Lecture notes in Logic 5, D. Marker, M. Messmer and A. Pillay, Springer Verlag (1996).
  • A. Magid, Lectures on Differential Galois Theory, American Math. Soc., 1994

外部链接[编辑]