多项式的值与多项式不可约

在判定整系数多项式是否在有理数域Q上不可约时,一般用系数的性质来判定。实际上多项式的值与不可约性有着密切的联系。Brow和Graha证明了:设f(x)是n次整系数多项     

一组积分方程的准确解

本文求出了其核含有参数及任意函数的一组积分方程的准确解,并初步讨论了解的性质。     

罗尔定理证明一类存在性问题

提出罗尔定理证明一类存在性问题的方法,采用拉格朗日中值定理或柯西中值定理来证明这类问题往往需要构造精巧的辅助函数,我们还指出了这种方法的一般性.     

η-Invariant and Flat Vector Bundles

Abstract We present an alternate definition of the mod Z component of the Atiyah-Patodi-Singer η invariant associated to (not necessary unitary) flat vector bundles, which identifies explicitly its real and imaginary parts. This is done by combining a deformation of flat connections introduced in a previous paper with the analytic continuation procedure appearing in the original article of Atiyah, Patodi and Singer. * Project supported by the Cheung-Kong Scholarship of the Ministry of Education of China and the 973 Project of the Ministry of Science and Technology of China. (Dedicated to the memory of Shiing-Shen Chern)     

基于CCD采集的Mach-Zehnder干涉条纹图的处理算法

Mach-Zehnder干涉仪适用于研究气体密度迅速变化的状态。由于气体折射率的变化与其密度的变化成正比,而折射率的变化将使通过气体的光线有不同的光程,因此可通过干涉臂变化对干涉条纹图像效果的影响得到气体密度。实测中,采用图像采集卡和CCD来接收Mach-Zehnder干涉仪产生的条纹图像,再通过计算机对条纹图像的条纹间距进行处理,从而得到气体密度的变化状态。从光干涉理论出发,对Mach-Zehnder干涉条纹图像特征进行了分析,建立了Mach-Zehnder干涉条纹的数学模型,并根据此模型设计了处理Mach-Zehnder干涉条纹图像的算法。算法包括图像的预处理(即图像的噪声提取)、图像的二值化及图像的细化。     

在可交换四元数空间中的双曲方程的特征边值问题

讨论了一阶和二阶双曲复方程的特征边值问题.对其中两种线性方程,分别在不同的情况下获得通解和可解条件.而对于拟线性的二阶双曲复方程,证明了解的存在性和唯一性.     

混合单调集值映射的耦合不动点定理

在赋范线性空间中引入单调弱闭集等概念，讨论了不具有任意连续性的混合单调集值映射耦合不动点的存在性问题，并且给出了耦合不动点的求解步骤以及它的构造形式。     

平方协变差和连续半鞅的推广Ito^公式

令X是连续半鞅，f是R上的局部可积函数。本文我们将证明，只要∫0tf(Xs)ds存在，那么平方协变差存在且等于-∫Rf(a)daLta,Lat是X的局部时。因此对具有导数f的绝对连续函数F，有推广的Ito^公式F（Xt)=F(X0) ∫0tf(Xs)dXs 1/2[f(X),X]t。     

超幂等环的交换性

证明了下面的命题:若对环R中任意元x都存在整数k(x)>1使x~(k(?))=x,则R为交换环。这是Jacobson的一个著名结果的较大的改进。还得到了更普遍的结果。