A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

磁路参量探讨

建议引出磁容、磁感、磁阻、磁导、磁动势等参量。建立了等效路上的对偶性定理。讨论了近十种重要的推理或应用。     

关于正线性算子的Woronovskaja－型定理

本文对可用正线性算子｛Ｌ＿ｎ｝逼近的满足一定的可微性条件的函数类给出Ｗｏｒｏｎｏｖｓｋａｊａ——型定理，并将所得结果应用到几个特殊的正线性算子上，从而基本上解决了这些正线性算子的Ｗｏｒｏｎｏｖｓｋａｊａ——型问题。     

液态金属流的表面张力问题中的两点边值问题解的存在性

本文讨论了在区域提纯过程中，研究液态金属流的表面张力时提出的一个带有非负参数Ｑ的两点边值问题．利用上、下解方法和Ｓｃｈａｕｄｅｒ不动点定理，证明了当０Ｑ８５１时，该问题至少有一个解，对已有结果０Ｑ＜１进行了重要的改进．     

四维空间相交定理的几何证明

为解决研究四维空间几何元素相交时思维图象的困难，对四维空间中的相交定理用几何的方法进行了证明，并配以直观图。     

Weak singularities may help periodic solutions to exist

In a periodically forced semilinear differential equation with a singular nonlinearity, a weak force condition enables the achievement of new existence criteria through a basic application of Schauder's fixed point theorem. The originality of the arguments relies in that, contrary to the customary situation in the available references, a weak singularity facilitates the arguments of the proofs.     

Spectral shift function and trace formula

The complete proofs of Krein’s theorem on the spectral shift function and the trace formula are given for a pair of self-adjoint operators such that either (i) their difference is trace-class or (ii) the difference of their resolvents is trace-class. The proofs, essentially due to Krein, is based on Herglotz’s theorem on the boundary value of the analytic functions whose imaginary part is non-negative on the upper half plane, and an almost optimal class of functions are obtained for which the trace formula is valid. Also an alternative method based on Weyl-von Neumann’s theorem for self-adjoint operators, avoiding the complex function theory and inspired by Voiculescu’s work, is given for the first case. Furthermore, some applications of the spectral shift function have been discussed.     

线性系统和迭加原理

以系统的观点给出电路分析中的一个重要定理——迭加定理，并对迭加定理的证明。迭加定理与线性系统的关系．迭加定理的齐次性和可加性，作了较详细的论证。     

Martingale property of empirical processes

It is shown that for a large collection of independent martingales, the martingale property is preserved on the empirical processes. Under the assumptions of independence and identical finite-dimensional distributions, it is proved that a large collection of stochastic processes are martingales essentially if and only if the empirical processes are also martingales. These two results have implications on the testability of the martingale property in scientific modeling. Extensions to submartingales and supermartingales are given.