DIRICHLET BOUNDARY VALUE PROBLEMS FOR SECOND-ORDER QUASI-LINEAR DIFFERENTIAL EQUATIONS WITH CHANGING SIGN NONLINEARITIES

This paper is concerned with the existence of positive solutions of two-point Dirichlet singular and nonsingular boundary problems for second-order quasi-linear differential equations with changing sign nonlinearities.     

带松弛项的单个守恒律方程解的时态渐近性质

本文研究一维空间中带松弛项的单个守恒律方程解的大时间状态估计.在松弛项满足耗散条件下通过对线性化方程Green函数的逐点估计得到方程解在时间充分大时的衰减估计,并由此反映出“弱”惠更斯原理.     

How much sweetness is there in the universe?

We continue investigations of forcing notions with strong ccc properties introducing new methods of building sweet forcing notions. We also show that quotients of topologically sweet forcing notions over Cohen reals are topologically sweet while the quotients over random reals do not have to be such. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Solution Transformations and Their Effects on the Systems with Open Boundary Conditions

The solution transformations and properties of the R-matrices for two-component systems under these transformations are analyzed in details.Not all transformed R-matrices can be put into the Skalyanin‘s formalism.For those R-matrices with all required properties,the effects of solution transformations to the six-and eight-vertex systems with open boundary conditions are discussed.these effects can be one of the following types:the Hamiltonian is invariant or transposition-invariant or made in a similarity transformation,or its coupling coefficients are multiplied by an overall factor,or the spin of the system is rotated around the z axis or/and reflected with respect to some plane.In these cases,the transformed systems remain to be integrable.     

Degeneracy in NLP and the development of results motivated by its presence

We study notions of nondegeneracy and several levels of increasing degeneracy from the perspective of the local behavior of a local solution of a nonlinear program when problem parameters are slightly perturbed. Ideal nondegeneracy at a local minimizer is taken to mean satisfaction of second order sufficient conditions, linear independence and strict complimentary slackness. Following a brief exploration of the relationship of these conditions with the classical definition of nondegeneracy in linear programming, we recall a number of optimality and regularity conditions used to attempt to resolve degeneracy and survey results of Fiacco, McCormick, Robinson, Kojima, Gauvin and Janin, Shapiro, Kyparisis and Liu. This overview may be viewed as a structured survey of sensitivity and stability results: the focus is on progressive levels of degeneracy. We note connections of nondegeneracy with the convergence of algorithms and observe the striking parallel between the effects of nondegeneracy and degeneracy on optimality conditions, stability analysis and algorithmic convergence behavior. Although our orientation here is primarily interpretive and noncritical, we conclude that more effort is needed to unify optimality, stability and convergence theory and more results are needed in all three areas for radically degenerate problems.Research supported by National Science Foundation Grant ECS 90-00560 and Grant N00014-89-J-1537 Office of Naval Research     

Boundary control of a hyperbolic system with time lags

This paper considers an optimal boundary control problem fora hyperbolic system in which constant time lags appear in thestate equation and in the boundary condition simultaneously.Making use of Lion's scheme, necessary and sufficient conditionsof optimality for the Neumann problem are derived.     

Hamiltonian formulation of generalized quantum dynamics

The Hamiltonian formulation of the usual complex quantum mechanics in the theory of generalized quantum dynamics is discussed. After the total trace Lagrangian, total trace Hamiltonian and two kinds of Poisson brackets are introduced, both the equations of motion of some total trace functionals which are expressed by total trace Poisson brackets and the equations of motion of some operators which are expressed by the without-total-trace Poisson brackets are obtained. Then a set of basic equations of motion of the usual complex quantum mechanics are obtained, which are also expressed by the Poisson brackets and total trace Hamiltonian in the generalized quantum dynamics. The set of equations of motion are consistent with the corresponding Heisenberg equations. Project supported by Prof. T.D. Lee’s NNSC Grant, the National Natural Science Foundation of China, the Foundation of Ph. D. Directing Programme of Chinese University, and the Chinese Academy of Sciences.     

Multiple local solutions to nonlinear control processes

We use the topological tool of Nielsen fixed-point theory to study the controllability of perturbed linear control processes whose control space can be reduced to a finite-dimensional one. These methods produce a lower bound on the number of controls that achieve a given target. We concentrate particularly on the case where the perturbation has sublinear growth, and we exhibit examples of multiple controls of various types that are detected by the Nielsen theory method.This research was partly supported by the Research Grant Teoria del Controllo dei Sistemi Dinamici, Ministero della Pubblica Istruzione, Roma, Italy.     

A fixed-point equation for the high-temperature phase of discrete lattice spin systems

A fixed-point equation on an infinite-dimensional space is proposed as an alternative to the usual definition of the infinite-volume limit in discrete lattice spin systems in the high-temperature phase. It is argued heuristically that the free energy and correlation functions one obtains by solving this equation agree with the usual definitions of these quantities. A theorem is then proved that says that if a certain finite-volume condition is satisfied, then this fixed-point equation has a solution and the resulting free energy is analytic in the parameters in the Hamiltonian. For particular values of the temperature this finite-volume condition may be checked with the help of a computer. The two-dimensional Ising model is considered as a test case, and it is shown that the finite-volume condition is satisfied for0.77 _critical.     

On Super-KMS functionals and entire cyclic cohomology

We formulate the super-KMS condition suggested by Connes and Kastler, in the context of entire cyclic cohomology of quantum algebras. We show that the Chern character of Jaffe, Lesniewski, and Osterwalder — associated by Kastler to a super-KMS functional — satisfies the entire growth condition. Hence, a super-KMS functional defines a cocycle for the entire cyclic cohomology of quantum algebras.Supported in part by the National Science Foundation.