Computing global minima to polynomial optimization problems using Gröbner bases

The local optimality conditions to polynomial optimization problems are a set of polynomial equations (plus some inequality conditions). With the recent techniques of Gröbner bases one can find all solutions to such systems, and hence also find global optima. We give a short survey of these methods. We also apply them to a set of problems termed with exact solutions unknown in the problem sets of Hock and Schittkowski. To these problems we give exact solutions.     

Approximating the zeros of analytic functions by the exclusion algorithm

We give a practical version of the exclusion algorithm for localizing the zeros of an analytic function and in particular of a polynomial in a compact of . We extend the real exclusion algorithm to a Jordan curve and give a method which excludes discs without any zero. The result of this algorithm is a set of discs arbitrarily small which contains the zeros of the analytic function.     

用“参数多项式方法”确定风力透平叶片的失速振荡流

用“参数多项式方法”确定风力透平叶片的失速振荡流陈佐一,孙永忠,杨玲（清华大学热能工程系北京１０００８４）关键词：参数多项式方法,风力透平,颤振在现代各类流动诱导振动问题的研究中,流体激振的安全性分析与诊断,要求在较短的时间内,对大量的复杂流动工况进...     

Fermionic solution of the Andrews-Baxter-Forrester model. II. Proof of Melzer's polynomial identities

We compute the one-dimensional configuration sums of the ABF model using the fermionic technique introduced in part I of this paper. Combined with the results of Andrews, Baxter, and Forrester, we prove polynomial identities for finitizations of the Virasoro characters as conjectured by Melzer. In the thermodynamic limit these identities reproduce Rogers-Ramanujan-type identities for the unitary minimal Virasoro characters conjectured by the Stony Brook group. We also present a list of additional Virasoro character identities which follow from our proof of Melzer's identities and application of Bailey's lemma.Dedicated to the memory of Piet Kasteleyn.     

Geometric indices and the Alexander polynomial of a knot

It is well-known that any Laurent polynomial satisfying and is the Alexander polynomial of a knot in . We show that can be realized by a knot which has the following properties simultaneously: (i) tunnel number 1; (ii) bridge index 3; and (iii) unknotting number 1.

     

A -functional and the rate of convergence of some linear polynomial operators

We show that the -functional

where , is equivalent to the rate of convergence of a certain linear polynomial operator. This operator stems from a Riesz-type summability process of expansion by Legendre polynomials. We use the operator above to obtain a linear polynomial approximation operator with a rate comparable to that of the best polynomial approximation.

     

Realization of fixed point sets

Letf:XX be a selfmap of a compact connected polyhedron, andA a nonempty closed subset ofX. In this paper, we shall deal with the question whether or not there is a mapg:XX homotopic tof such that the fixed point set Fixg ofg equalsA. We introduce a necessary condition for the existence of such a mapg. It is shown that this condition is easy to check, and hence some sufficient conditions are obtained.Partially supported by the Natural Science Foundation of Liaoning University.     

Multi-element Saha–Boltzmann and Boltzmann plots in laser-induced plasmas

A multi-element Saha–Boltzmann plot method is proposed for the determination of the temperature and the relative number density in laser-induced plasmas, assuming local thermodynamic equilibrium and stoichiometry conservation. The method has been applied to the characterization of a plasma generated with a Cu–Fe–Ni–Mn alloy, using a Nd:YAG laser in air at atmospheric pressure. Spectra of the local emissivity have been obtained by spatial deconvolution of the intensity spectra, obtained with spatial resolution. Saha–Boltzmann plots obtained from the emissivities of 58 spectral lines of Fe I, Fe II, Ni I, Ni II, Mn I and Mn II have been fitted to linear behavior with high correlation, which shows the validity of the equation proposed. Radial distributions of the temperature and number densities of neutral atoms and ions have been determined. The results obtained reinforce the initial considerations of local thermodynamic equilibrium and conservation of stoichiometry. The proposed equation can also be applied to only one ionization species (multi-element Boltzmann plot). Spatially-integrated measurements of the plasma emission have also been performed to show that, in this case, the application of the method to the line intensities provides the two different apparent temperatures for neutral atoms and ions.     

Electron correlation effects on the shape of the Kohn–Sham molecular orbital

Even systems in which strong electron correlation effects are present, such as the large near-degeneracy correlation in a dissociating electron pair bond exemplified by stretched H₂, are represented in the Kohn–Sham (KS) model of non-interacting electrons by a determinantal wavefunction built from the KS molecular orbitals. As a contribution to the discussion on the status and meaning of the KS orbitals we investigate, for the prototype system of H₂ at large bond distance, and also for a one-dimensional molecular model, how the electron correlation effects show up in the shape of the KS σ _g orbital. KS orbitals φ^HL and φ^FCI obtained from the correlated Heitler-London and full configuration interaction wavefunctions are compared to the orbital φ^LCAO, the traditional linear combination of atomic orbitals (LCAO) form of the (approximate) Hartree-Fock orbital. Electron correlation manifests itself in an essentially non-LCAO structure of the KS orbitals φ^HL and φ^FCI around the bond midpoint, which shows up particularly clearly in the Laplacian of the KS orbital. There are corresponding features in the kinetic energy density t _s of the KS system (a well around the bond midpoint) and in the one-electron KS potential v _s (a peak). The KS features are lacking in the Hartree-Fock orbital, in a minimal LCAO approximation as well as in the exact one. Received: 11 December 1996 / Accepted: 10 January 1997