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

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

A matricial corona theorem II

We extend the ``matricial corona theorem' of M. Andersson to general algebras of functions which satisfy a corona theorem.

     

一类二阶三点边值问题单调正解的存在性

利用范数形式的锥上不动点定理,研究了一类二阶微分方程三点边值问题单调正解的存在性．分别给出了齐次和非齐次边界条件下的三点边值问题单调正解存在的充分条件,确定了解曲线的凹凸性,并且给出了一个应用实例．     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

Comment on “The Free Will Theorem”

In a recent paper Conway and Kochen, Found. Phys. 36, 2006, claim to have established that theories of the Ghirardi-Rimini-Weber (RW) type, i.e., of spontaneous wave function collapse, cannot be made relativistic. On the other hand, relativistic GRW-type theories have already been presented, in my recent paper, J. Stat. Phys. 125, 2006, and by Dowker and Henson, J. Stat. Phys. 115, 2004. Here, I elucidate why these are not excluded by the arguments of Conway and Kochen.      

随机变量序列的大数定律及常返性定理

对一类有界独立或相依的随机变量序列|ξn|,获得了它的伯努利大数定律、波雷尔强大数定律及常返性定理.作为应用,得出了Loève专著[1]中的推广的伯努利大数定律、常返性定理,改进了[1]中的推广的波雷尔强大数定律.     

A generic view of Dantzig-Wolfe decomposition in mixed integer programming

The Dantzig-Wolfe reformulation principle is presented based on the concept of generating sets. The use of generating sets allows for an easy extension to mixed integer programming. Moreover, it provides a unifying framework for viewing various column generation practices, such as relaxing or tightening the column generation subproblem and introducing stabilization techniques.     

代数体函数的定理

本文定义并研究了代数体函数的加法．结合杨乐的方法,将仪洪勋联系重值的亚纯函数唯一性定理推广到多值的代数体函数．     

QUATERNION GENERALIZED SINGULAR VALUE DECOMPOSITION AND ITS APPLICATIONS

This paper derives a theorem of generalized singular value decomposition of quaternion matrices （QGSVD）,studies the solution of general quaternion matrix equation AXB -CYD= E,and obtains quaternionic Roth＇s theorem. This paper also suggests sufficient and necessary conditions for the existence and uniqueness of solutions and explicit forms of the solutions of the equation.