关于Menger图的几种运算

设Ｇ是一个简单连通图，若分离Ｇ的余一独立集Ｓ的最小点数等于连接Ｓ的点之间的内部不相交路的最大个数，则称Ｇ是Ｍｅｎｇｅｒ图。我们考虑了图的几种运算并给出了运算后的图是Ｍｅｎｇｅｒ图的条件。     

A remark on Mansfield's imprimitivity theorem

We show that the Morita equivalence part of Mansfield's Imprimitivity Theory can be obtained by Green's Imprimitivity Theorem (and duality theory).

     

Chen’ s theorem in arithmetical progressions

LetN be a sufficiently large even integer and

About a minimax theorem of Matthies,Strang and Christiansen

We give a new minisup theorem for noncompact strategy sets. Our result is of the type of the Matthies-Strang-Christiansen minimax theorem where the hyperplane should be replaced by any closed convex set. As an application, we derive a slight generalization of the Matthies-Strang-Christiansen minimax theorem.     

Noether's Theorem on Surfaces

In this article we prove a version of Noether's Theorem (of Calculus of Variations) which is valid for a general regular (compact) surface. As a special feature, the Lie group of transformations is allowed to act on the Cartesian product of the surface and the functional space. Additionally, we apply the Theorem to a problem in Classical Differential Geometry of surfaces. The given application is actually an example showing how Noether's Theorem can be used to construct invariant properties of the solutions to variational problems defined on surfaces, or equivalently, of the solutions to the associated Euler-Lagrange equations resulting from them.     

Unscaled spatial branging process with interaction: macrospic equation and local equilibrium

For some spatial branching processes with interaction considered as measure–valued processes, convergence to solutions of non–linear macroscopic equation and local equilibrium are proved, without scaling but providing each particle with a small mass ε and assuming convergence of the initial distribution when ε goes to 0     

Weierstrass theorem for monotonically semicontinuous functions

The concept of monotone semicontinuity is introduced. It is shown that every monotonically semicontinuous function with values in a space equipped with arbitrary preference relation achieves its extremes on compacts     

Asymptotically Constant Solutions of Functional Difference Systems

We consider the functional difference system ( A ) j x i ( n )= f i ( n ; X ), 1 h i h k , where X =( x 1 ,…, x k ) and f 1 (·; X ),…, f k (·; X ) are real-valued functionals of X , which may depend quite arbitrarily on values of X ( l ) for multiple values of l ] Z . We give sufficient conditions for ( A ) to have solutions that approach specified constant vectors as n M X . Some of the results guarantee only that the solutions are defined for n sufficiently large, while others are global. The proof of the main theorem is based on the Schauder-Tychonoff theorem. Applications to specific quasi-linear systems are included.     

An existence theorem for packing problems with implications for the computation of optimal machine schedules

Motivated by a job-shop problem we ask on which conditions n intervals v_i: with given lengths d_i , can be arranged non-overlapping on the real axis, so that every v_i is placed in a given frame [f_i s_i ].We prove a necessary and sufficient criterion analogous to the “marriage theorem” but with an additional monotony in the ages. Using this criterion we can accelerate branch and bound algorithms for job-shop scheduling by fixing partial sequences. For n = 2, the approved pair-combinatorics by Carlier and Pinson results. To show how the method works for other n. we derive the complete triple-combinatorics (n = 3: five sufficient criterions, which are necessary as a whole)