On Polynomial Functions over Finite Commutative Rings

Let R be an arbitrary finite commutative local ring. In this paper, we obtain a necessary and sufficient condition for a function over R to be a polynomial function. Before this paper, necessary and sufficient conditions for a function to be a polynomial function over some special finite commutative local rings were obtained.     

Local existence for the one‐dimensional Vlasov–Poisson system with infinite mass

A collisionless plasma is modelled by the Vlasov–Poisson system in one dimension. We consider the situation in which mobile negative ions balance a fixed background of positive charge, which is independent of space and time, as ∣x∣ → ∞. Thus, the total positive charge and the total negative charge are both infinite. Smooth solutions with appropriate asymptotic behaviour are shown to exist locally in time, and criteria for the continuation of these solutions are established. Copyright © 2006 John Wiley & Sons, Ltd.     

Hyers–Ulam–Rassias stability of Cauchy equation in the space of Schwartz distributions

We reformulate and prove the Hyers–Ulam–Rassias stability of Cauchy equation in the space of Schwartz tempered distributions and Fourier hyperfunctions.     

Stratifiable Families of Extremals and Sufficient Conditions for Optimality in Optimal Control Problems

It is shown that, if a parametrized fämily of extremals F can be stratified in a way compatible with the flow map generated by F, then those trajectories of the family which realize the minimal values of the cost in F are indeed optimal in comparison with all trajectories which lie in the region R covered by the trajectories of F. It is not assumed that F is a field covering the state space injectively. As illustration, an optimal synthesis is constructed for a system where the flow of extremals exhibits a simple cusp singularity.     

The Computational Complexity of the Chow Form

We present a bounded probability algorithm for the computation of the Chowforms of the equidimensional components of an algebraic variety. In particular, this gives an alternative procedure for the effective equidimensional decomposition of the variety, since each equidimensional component is characterized by its Chow form. The expected complexity of the algorithm is polynomial in the size and the geometric degree of the input equation system defining the variety. Hence it improves (or meets in some special cases) the complexity of all previous algorithms for computing Chow forms. In addition to this, we clarify the probability and uniformity aspects, which constitutes a further contribution of the paper. The algorithm is based on elimination theory techniques, in line with the geometric resolution algorithm due to M. Giusti, J. Heintz, L. M. Pardo, and their collaborators. In fact, ours can be considered as an extension of their algorithm for zero-dimensional systems to the case of positive-dimensional varieties. The key element for dealing with positive-dimensional varieties is a new Poisson-type product formula. This formula allows us to compute the Chow form of an equidimensional variety from a suitable zero-dimensional fiber. As an application, we obtain an algorithm to compute a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As another application, we derive an algorithm for the computation of the (unique) solution of a generic overdetermined polynomial equation system.     

On the Global Stability of Solutions of Moment Systems in Nonequilibrium Thermodynamics

In this paper, we study the linearization of the Cauchy problem and the mixed problem for the system of Grad--Hermite moments in nonequilibrium thermodynamics in the neighborhood of the equilibrium state. Stability conditions for solutions of the Cauchy problem are proved as a generalization of the classical Hermite--Biller theorem on stable polynomials. For the mixed problem, we prove an analog of the Vishik--Lyusternik theorem on small singular perturbations of general elliptic problems. The last observation allows us to introduce the Shapiro--Lopatinskii condition, which implies the well-posedness of the mixed problem.     

遥感器CCD驱动器热设计及其在摄像过程中的温度变化

CCD驱动器是航天成像遥感器摄像过程中的主要热源之一。防止CCD驱动器过热是保证其正常工作的重要方面。介绍了遥感器的工作模式和对CCD驱动器采取的热控制措施。通过热平衡试验,利用回归的方法,对CCD驱动器在摄像过程中的温度变化规律进行了分析,同时对热控制效果进行了评估。CCD驱动器工作时升温速率在0.85℃/min左右,整个摄像过程中最高温度约为26℃,所实施的热控制措施效果理想。     

Essential domains and two conjectures in dimension theory

This note investigates two long-standing conjectures on the Krull dimension of integer-valued polynomial rings and of polynomial rings in the context of (locally) essential domains.

     

Quadratic Integrals of Motion for the Systems of Identical Particles

The dynamical systems of identical particles admitting quadratic integrals of motion are classified. The relevant integrals are explicitly constructed and their relation to separation of variables in Hamilton-Jacobi equation is clarified.     

Local automorphisms of operator algebras on Banach spaces

In this paper we extend a result of Semrl stating that every 2-local automorphism of the full operator algebra on a separable infinite dimensional Hilbert space is an automorphism. In fact, besides separable Hilbert spaces, we obtain the same conclusion for the much larger class of Banach spaces with Schauder bases. The proof rests on an analogous statement concerning the 2-local automorphisms of matrix algebras for which we present a short proof. The need to get such a proof was formulated in Semrl's paper.