微分代数(英语:Differential algebra)是代数学的一个分支,在代数中装备一个导子就可以得到微分代数。此外,在数学中,微分环、微分域和微分代数是代数装备一个导子,一个满足莱布尼兹乘积法则一元函数。微分域的一个自然例子是复数域上的单变元有理函数 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

外部链接

编辑