4维辛流形的高亏格Gromov-Witten不变量的一个Blow-up公式(英文)

本文利用Gromov-Witten不变量的退化公式,对于4维紧致的辛流形,证明了高亏格Gromov-Witten不变量在blow-up手术下变化的一个公式.     

4维辛流形的高亏格Gromov-Witten不变量的一个Blow-up公式(英文)北大核心CSCD

本文利用Gromov-Witten不变量的退化公式,对于4维紧致的辛流形,证明了高亏格Gromov-Witten不变量在blow-up手术下变化的一个公式.     

正交变换的应用及其数学方法论意义

利用正交变换的刚体变换性质,可证明第一类曲面积分和重积分在正交变换下的不变性.因而可将其应用于简化多元函数积分计算.正交变换的此类应用充分体现了一般化、代数化、模型化的数学方法论.     

二重积分变量代换公式证明的探讨

在一般教材中二重积分变量代换公式的证明通常采用几何的方法,也有部分数学分析教材给与了严格的分析证明,但证明不便直观的几何说明.本文对二重积分变量代换公式进行了一些探讨,给出了一个较简洁直观的分析证明方法.     

环曲面的典范线丛的局部Gromov-Witten不变量

利用局部化方法,我们定义并计算了环曲面(不必是Fano的)的典范线丛的局部等变Gromov-Witten不变量.     

三角形区域上二重积分的二个结果

本文利用一元函数的积分变量代换和二重积分交换积分次序的方法,证明了在一个三角形区域上计算二重积分的二个结果,并利用该结果简化了同济大学主编的《高等数学》第七版中运用二重积分换元公式所推导出的几个例子.     

重积分的对称性质

在重积分的计算中,经常要用到对称性质.而限于时间和篇幅,现行大多数教科书上都不加讨论的引用对称性质.这就使初学者感到重积分的对称性质不好掌握.本文通过重积分的变量替换公式,给出重积分对称性质的一个一般定理和两个推论,最后给出一个具体实例.     

一类微分代数系统的受控不变分布及其不变性

针对一类非线性微分代数系统,利用M导数方法,给出了受控不变分布的概念,并讨论了此类微分代数系统受控不变分布的一些性质.给出了一个计算包含在系统输出核(kerE(h))内的最大受控不变分布的算法,同时讨论了该算法的一些性质.最后,给出一个例子说明如何利用给出的算法计算微分代数系统的包含在系统输出核内的最大受控不变分布.     

广义Hom-李代数的中心不变量（英文）

设L是一个广义Hom-李代数,V是[L,L]的一个H-Hom-李理想.本文主要研究了L的中心不变量问题.利用Hopf代数中的方法,得到了V的H-不变量包含在L的中心H-不变量中,这推广了1994年Cohen和Westreich的主要结论.     

第二型曲面积分在三重积分计算中的应用

利用高斯公式,给出一个把一类三重积分的计算转化成曲面积分计算的定理及一些特殊的形式,并通过几个例子说明这个定理的应用.     

一般力学中三类变量的广义变分原理

应用对合变换,将两类变量的广义变分原理的驻值条件变换为三类变量的基本方程.按照广义力和广义位移之间的对应关系,将各基本方程乘上相应的虚量,代数相加,然后积分,进而建立了完整系统的三类变量的广义变分原理.应用这种凑合法,建立了非完整系统的三类变量的广义变分原理.作为例子,将一般力学中的三类变量的广义变分原理和两类变量的广义变分原理推广应用于弹性动力学中.最后,讨论了有关的问题.     

变系数三阶线性微分方程的一种解法

通过变量替换,将三阶变系数微分方程转化为微分方程组形式,再根据刘维尔公式及必要的积分运算最终得出方程的通解.这提供了一种解变系数高阶微分方程的方法,用一个例子说明了此方法的有效性.     

任意有限区间上定积分的计算公式及其应用

本文将对称区间上定积分的计算公式进行推广,通过构作变量代换,得到了任意有限区间上定积分的计算公式.它可用于计算和证明一类定积分问题.最后,通过多个典型例题验证了公式的有效性.     

几何代数在定理证明中的消元与化简算法

在符号计算中,最困难的一个地方是中间计算过程的表达式快速膨胀.基于不变量代数的符号几何计算为解决这个困难提供了可能.比如,利用零几何代数证明欧氏几何定理时,就可以给出很短的证明,甚至是单项式证明.中间的证明过程里有很多地方涉及到消元,展开,化简等问题.从程序实现的角度出发,在充分利用零几何代数计算特点的基础上,给出用于机器证明的消元、化简算法.     

从三等分角谈起

在中学的数学教科书中,明确地写出了:用直尺和圆规将任意角三等分是不可能的.我们这篇文章的目的,是解释这句话的确切含义,并且给出一个例子来说明.即我们严格证明60度角是不可能三等分的.当然文章还包含了另外一些有兴趣的内容.     

Pontrjagin空间上J.V.N代数的导子

本文证明Pontrjagin空间上非退化的J.V.N代数的导子是内的等价于它在该代数的奇异部分上的限制为零.对退化的J.V.N代数,证明了Ⅱ1空间第0,Ⅱa和Ⅲa类J.V.N代数上的导子是内的.通过构造例子说明了第Ⅰ,Ⅱb和Ⅲb类对称代数上的导子一般不是内的.     

用向量函数证明积分换元公式

运用二元向量函数和三元向量函数证明二重积分和三重积分的换元公式,推导曲面的表面积公式,并计算第二类曲面积分.     

Stokes公式的一个注记

利用Stokes公式证明了一个对满足散度为零的向量场的第二型曲面积分可化为其边界封闭曲线的第二型曲线积分来计算的定理.该定理对于满足上述条件向量场的曲面积分,给出了具体转化为曲线积分进行计算的公式,最后利用该公式计算了一个例子.     

Pontrjagin空间上J.V.N代数的导子

本文证明Pontrjagin空间上非退化的J.V.N代数的导子是内的等价于它在该代数的奇异部分上 的限制为零.对退化的J.V.N代数,证明了Ⅱ1空间第0,Ⅱa和Ⅲa类J.V.N代数上的导子是内 的.通过构造例子说明了第Ⅰ,Ⅱb和Ⅲb类对称代数上的导子一般不是内的.     

类拟距离空间中含有Jachymski函数的不动点定理

首先证明拟距离空间中的w-距离或mw-距离可以生成一个类拟距离.然后,在类拟距离空间中建立一些含有Jachymski函数的不动点定理.这些结果推广了Alegre等人最近的两个结果.最后,给出一些例子支持我们结果.