微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.     

有界超格上的微分

在有界超格上引入微分,研究了有界超格上微分的一些性质.定义并研究了微分超格的微分超理想和微分超同余,并证明了如果$(L,d)$是一个有界强单微分超格并且$R$是$(L,d)$的一个强微分同余,则$(L/R,g)$仍是一个强单微分超格,其中$g$是由$d$诱导的商超格上的单强微分.     

问题驱动下的微分与全微分教学探索

微分概念是高等数学中的核心概念,通过问题教学法和几何图形演示,将一元函数的微分教学和二元函数的全微分教学统一起来,使学生更深刻理解微分这一概念的核心本质,并认识到从一元函数到多元函数许多结论要发生变化,量变引发质变的变化过程.     

Wronsky行列式及其一阶微分的关系

证明了n阶行列式一阶微分为其逐次微分之和,进而得到了Wronsky行列式及其一阶微分的关系．     

微分算子方法在积分中的应用

函数的微分运算化积分运算容易,把积分运算化为微分运算这是一大难题.利用微分算子方法可以把某些积分运算化为微分运算,且使形如∫f(x)eαxsinβxdx,∫f(x)eαxcosβxdx的积分运算简便、快捷.     

变系数线性齐次常微分方程组的λ-矩阵求解法

进一步讨论了微分变换矩阵的性质 ,指出了变系数线性齐次微分方程组 ,通过因变量变换化为常系数线性齐次方程组的充要条件     

凸函数的次微分与微分中值定理的逆定理

利用凸函数的性质,证明了次微分情形下微分中值定理的逆定理.     

微分特征列法在拟微分算子和Lax表示中的应用

微分特征列法用于拟微分算子和非线性发展方程Lax表示的计算.首先,利用微分特征列法和微分带余除法计算拟微分算子的逆和方根,由于不必求解常微分方程组,并将解代入,因此,使得计算得以简化.其次,利用微分特征列法,约化从广义Lax方程和Zakharov-Shabat推出的非线性偏微分方程,并得到相应的非线性发展方程.在Mathematica计算机代数系统上,编写了相关程序,从而可以利用计算机辅助完成一些非线性发展方程Lax表示的计算.     

微分多项式系统的近微分特征列集

本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列集的结论,从而对微分多项式系统特征列集理论（吴方法）进行了改进,并且建立的算法较大地提高了计算微分特征列集的效率.     

ε-次微分与边际函数的解

借助ε-次微分讨论一类对偶边际函数的次微分,并得到此类函数解集的特征．     

从怪异7维球面到怪异4维欧氏空间

本文简要地介绍了微分拓扑学在20世纪深入发展中一系列卓越的成果,包括由J.Milnor发现的第一个怪异7维球面,不存在光滑化的组合流形的构作,当n≠4时瓗n上只有唯一的微分结构的证明,Freedman关于拓扑4维流形的定理,它推导出4维广义Poincaré猜测的解决,Donaldson关于光滑4维流形的定理,进而得到瓗4上存在怪异微分结构等重要内容.     

微分、差分域中的Wronskian行列式

众所周知,给定微分或差分域上一组元素,它们在常数域上线性相关当且仅当它们所对应的Wronskian行列式或者Casoratian行列式为零.文章将这个结果推广到具有微分导子和差分导子的微分差分域;同时基于Okugawa的工作,还将结果推广到特征非0的微分差分域.     

微积分中值定理间点的关系

根据微分中值定理和积分中值定理定义微分点与积分点．证明严格单调函数与凸（凹）函数中微分点与积分点间的一些关系式,指出在函数对称的情况下微分点与积分点之间也存在着对称关系,并给出一类向量函数以及多项式函数中微分点与积分点间的关系式．     

Euler微分算子谱是离散的充分必要条件

本文在研究一类高阶微分算子谱的离散性的基础上研究了2n阶实系数Euler微分算式生成的对称微分算子,进一步完善了自伴Euler微分算子的谱是离散的充分必要条件.     

关于矩阵微分法的评注

本文简单评论了现有的矩阵微分法的定义及结论.在此基础上给出了一种新的矩阵微分定义,并导出了在新定义下的矩阵微分运算法则及计算公式     

一类自伴微分算子谱的离散性

本文研究了２ｎ阶实系数Ｅｕｌｅｒ微分算式生成的对称微分算子,得到了自伴Ｅｕｌｅｒ微分算子的谱是离散的充分必要条件．     

构造Lax表示的新算法

基于微分特征列法和微分带余除法,给出了利用拟微分算子构造非线性发展方程1+1维和2+1维Lax表示的新算法.新算法减少了运算步骤,简化了计算过程,是微分特征列法在可积系统领域一个新的应用.     

Fréchet微分和G(a)teaux微分的一个线性代数解释

以线性代数而非泛函的观点分析Fréchet微分和G(a)teaux微分,得到导算子的一些线性代数性质,并重新叙述了隐映射定理.     

加权微分建模的初步研究

加权建模是必要的,微分建模是重要的,把二者结合起来,进行加权微分建模既必要也重要.给出了常用模型的微分建模结果,讨论了加权建模中的计算和权重选择问题,探讨了加权微分建模的思路和方法,并结合典型数据验证了该方法的有效性和稳定性.象加权建模一样,加权微分建模的精度、实用价值等,是和权重确定得合理与否紧密相联;应先进行模拟,以与近期实际值或典型样本相差最小的参数所对应的模型为准.     

微分概念的历史发展及教学启示

微分的形式化定义是学生学习微分概念的主要困难.微分概念的历史发展表明,形式化的微分定义是微积分严格化的产物,朴素的微分定义更能体现微积分思想,而非标准分析给微分概念带来重生.在微积分学中应用非形式化的方法构建微分概念,以微分为主线(传统教材一般以导数为主线)进行微积分教学可以促进学生学习效果.