三对角线阵行列式恒等式及应用

本文导出了求三对角线阵行列式的显式表示.这个恒等式可应用于研究三对角线阵的逆矩阵和特征值性质以及求某些正交多项式的显式表示,并能由此导出一类有用的恒等式.     

一类无穷下三角矩阵的代数性质

修正了 [4,5]中的 Jabotinsky矩阵,得到并证明了一类无穷下三角矩阵T（f）的一些性质,最后,导出了一些与导数相关的反演关系和组合恒等式.     

关于n个独立同分布的指数分布的最值问题的期望和方差

对于X(n)=max1≤i≤n(Xi),其中Xi(1≤i≤n)独立同分布,均服从指数分布,求X(n)的数学期望和方差,本文给出了两种不同的解法,并且导出了两个恒等式.最后本文还从数学分析的角度证明了这两个恒等式.     

由一级数引出的若干新的组合恒等式

基于一个简单级数的三种求和方式,导出了两个重要组合恒等式.并在此基础上,或利用特殊化法、或利用极限方法,又导出了几个新的组合恒等式.     

广义神经传播方程一个新的超收敛估计及外推

主要目的是研究双线性元对一类非线性广义神经传播方程的逼近.并利用积分恒等式及插值后处理技巧,导出H~1模及L~2模意义下的超逼近性和超收敛结果.同时,通过构造一个新的外推格式,得到了与线性问题精度完全相同的外推结果,进一步拓宽了双线性元的应用范围.     

一类新的m重Rogers-Ramanujan恒等式及应用

Rogers-Ramanujan恒等式是分拆理论和组合学中著名的恒等式,被广泛的证明和推广.该文应用双边Bailey引理和迭代技巧建立一类新的多重和Rogers-Ramanujan恒等式.     

非线性sine-Gordon方程的各向异性线性元高精度分析新模式

在各向异性网格下,针对一类非线性sine-Gordon方程提出了线性三角形元新的高精度分析模式.基于该元的积分恒等式结果,导出了插值与Riesz投影之间的误差估计,再借助于插值后处理技术得到了在半离散和全离散格式下单独利用插值或Riesz投影所无法得到的超逼近和超收敛结果.最后,对一些常见的单元作了进一步探讨.     

关于包含Hermite-Laguerre多项式的恒等式

通过讨论一类函数的高阶导数 ,建立了一些包含 Hermite-Laguerre多项式的恒等式 ,推广了著名的 Cauchy-Sheehan组合恒等式 .     

一类多项式恒等式及其推广

首先利用母函数法和多项式理论证明了一类多项式恒等式,接着通过求导和积分的方式得到一些新的多项式恒等式,最后给出这些恒等式的特殊形式及其应用.     

基于Stein损失污染数据情形下刻度参数的经验贝叶斯估计

本文研究基于污染数据情形的一类广义指数分布刻度参数的经验贝叶斯估计问题.在stein损失函数下,导出刻度参数的贝叶斯估计以及利用解卷积的核方法构造了该参数的经验贝叶斯估计.在适当的条件下,基于超平滑误差分布类证明所提出的经验贝叶斯估计的渐近最优性.     

一类新的KKM定理及其应用*

本文得到一类新的KKM定理,统一和改进了[2,3,0,7,11]中的结果。作为应用,我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理。     

几个随机算子定理

得到Banach空间中随机隐函数存在定理、随机反函数定理和随机Hahn-Banach定理，它们是著名隐函数定理、反函数定理和Hahn-Banach控制延拓定理的随机化推广，这些定理在随机算子理论中将起重要作用。     

向量在几何中的应用

近期将欧氏平面E2上的正弦定理和余弦定理推广到三维欧氏空间E3中,建立了E3中四面体空间角正弦定理、二面角正弦定理和四面体余弦定理,利用向量给出了三维余弦定理和三维正弦定理的简单证明.     

A relative interpolation theorem for infinitary universal Horn logic and its applications

In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From the theorem on surjective homomorphisms we also derive a non-standard Beth-style preservation theorem that yields a non-standard Beth-style definability theorem, according to which implicit definability of a relation symbol in an infinitary universal Horn theory implies its explicit definability by a conjunction of atomic formulas. We also apply our theorem on surjective homomorphisms, theorem on bimorphisms and definability theorem to algebraic logic for general propositional logic.     

一个新的Ky Fan匹配定理及其在L-凸度量空间中的应用

建立了转移开覆盖的一个新的Ky Fan型匹配定理．作为应用，获得了Fan-Browder重合定理，不动点定理、极大元定理，相交定理和截口定理．     

连续型概率度量的特征及其应用

讨论了连续型概率度量空间,给出了连续型概率度量的特征定理.利用这个特征定理,我们获得了连续型概率度量空间的闭球套定理和M enger空间完备性特征定理.作为本文的应用获得了一个局部概率压缩映象不动点定理.     

一个因式相通定理及其应用

证明了一个因式相通定理,它是奇点理论中等价性定理的一个推广.这个定理表明单纯高阶项的开折对普适开折因式相通中的参数映射没有贡献.据此本文提出了一种因式相通中参数映射的简洁有效的近似计算方法     

Generalized KKM theorems and common fixed point theorems

In this paper, we first prove a generalized KKM theorem, and then use this generalized KKM theorem to establish the generalized equi-KKM theorem, common fixed point theorems for a family of multivalued maps, and the Kakutani-Fan-Glicksberg fixed point theorem. We also show that an existence theorem of the common fixed point theorem is equivalent to the Kakutani-Fan-Glicksberg fixed point theorem.     

Leray-Schauder不动点定理的一个新证明

给出Leray-Schauder不动点定理的一个新证明.我们首先给出集值映射的焊接引理,利用集值映射的焊接引理和Kakutani不动点定理证明Leray-Schauder不动点定理,并证明Leray-Schauder不动点定理与Brouwer不动点定理等价.     

关于“四元数自共轭矩阵与行列式的几个定理”的注记

本刊1985年第4期发表郝稚传的“四元数自共轭矩与行列式的几个定理”(称为〔1〕)的文章的主要工作分为两部分。〔1〕在英文摘要中写到:“(i)This essay has improvedthe conclusion of theorem 8 and theorem 9 in 〔2〕”即〔1〕之第一部分工作在于改进了〔2〕的定理8、9的结果,其根据就是〔1〕的定理1、2.〔1〕称定理1—若