Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

Fibrations of bigroupoids

Using Brown's construction (J. Algebra 15 (1970) 103) of an exact 6-term sequence for a fibration of groupoids we show how an exact 9-term sequence can be associated to a fibration of bigroupoids. Applications to topology and algebra are given.     

Defect operators, defect functions and defect indices for analytic submodules

This paper mainly concerns defect operators and defect functions of Hardy submodules, Bergman submodules over the unit ball, and Hardy submodules over the polydisk. The defect operator (function) carries key information about operator theory (function theory) and structure of analytic submodules. The problem when a submodule has finite defect is attacked for both Hardy submodules and Bergman submodules. Our interest will be in submodules generated by polynomials. The reason for choosing such submodules is to understand the interaction of operator theory, function theory and algebraic geometry.     

Rank one perturbations at infinite coupling in Pontryagin spaces

In this paper we relate the operators in the operator representations of a generalized Nevanlinna function N(z) and of the function −N(z)⁻¹ under the assumption that z=∞ is the only (generalized) pole of nonpositive type. The results are applied to the Q-function for S and H and the Q-function for S and H^∞, where H is a self-adjoint operator in a Pontryagin space with a cyclic element w, H^∞ is the self-adjoint relation obtained from H and w via a rank one perturbation at infinite coupling, and S is the symmetric operator given by S=H∩H^∞.     

A geometrical constraint for capillary jet breakup

The formation of thinning filaments is commonly observed previously to the break-up of a very viscous jet. This paper shows that a fluid under capillary forces cannot break-up through the uniform collapse of a filament.     

Asymptotic description of Dirac mass formation in kinetic equations for quantum particles

In this paper, the detailed asymptotic behaviour of the solutions of a kinetic equation for quantum particles is studied. It is shown that this behaviour is sensitive not only to the total mass of the initial data but also to its precise behaviour near the origin. In some cases, solutions develop a Dirac mass at the origin for long times in a self-similar manner that is analysed in detail.     

Exponential decay of eigenfunctions in many-body type scattering with second-order perturbations

We show the exponential decay of eigenfunctions of second-order geometric many-body type Hamiltonians at non-threshold energies. Moreover, in the case of first-order and small second-order perturbations we show that there are no eigenfunctions with positive energy.     

Multilinear interpolation between adjoint operators

Multilinear interpolation is a powerful tool used in obtaining strong-type boundedness for a variety of operators assuming only a finite set of restricted weak-type estimates. A typical situation occurs when one knows that a multilinear operator satisfies a weak L^q estimate for a single index q (which may be less than one) and that all the adjoints of the multilinear operator are of similar nature, and thus they also satisfy the same weak L^q estimate. Under this assumption, in this note we give a general multilinear interpolation theorem which allows one to obtain strong-type boundedness for the operator (and all of its adjoints) for a large set of exponents. The key point in the applications we discuss is that the interpolation theorem can handle the case q?1. When q>1, weak L^q has a predual, and such strong-type boundedness can be easily obtained by duality and multilinear interpolation (cf. Interpolation Spaces, An Introduction, Springer, New York, 1976; Math. Ann. 319 (2001) 151; in: Function Spaces and Applications (Lund, 1986), Lecture Notes in Mathematics, Vol. 1302, Springer, Berlin, New York, 1988; J. Amer. Math. Soc. 15 (2002) 469; Proc. Amer. Math. Soc. 21 (1969) 441).     

BEPCII直线加速器相控系统设计研究

为了补偿由于各种因素引起的微波相位漂移,BEPCII直线加速器需要建立微波相位反馈控制系统.能量最大法将用来确定每台功率源的最佳相位.沿直线加速器速调管长廊铺设相位稳定同轴线提供相位参考.现在已经完成了关键部件,如PAD单元、IfA 单元的开发.搭建了相控最小系统对系统进行了验证.