Hamiltonian circle actions on symplectic manifolds and the signature

Let M be a symplectic manifold with a Hamiltonian circle action with isolated fixed points. We prove that σ (M) = b₀(M) − b₂(M) + b₄(M) − b₆(M) + … where σ (M) is the signature of M and b_i(M) is the ith Betti number of M.     

Quantitative evaluation of two-dimensional dynamic deformations using digital holography

An optical system for the parallel evaluation of in- and out-of-plane dynamical deformations will be described. A double pulse laser with pulse separation in the microsecond range is used for the investigations. Two separate interferograms of an object under test, in its undeformed and deformed state, are recorded in a few microseconds. The object is illuminated from two different directions and imaged onto a CCD sensor. This produces two sensitivity vectors. The reference beams have different directions in order to produce two directional spatial carriers. The Fourier method is used for quantitative evaluation, and the measurements along different sensitivity vectors are separated in the Fourier domain. The phases of the two interferograms are obtained from the complex amplitudes and the two dimensional deformation is calculated from the phases. Experimental results are presented.     

Differential Conditions for Constrained Nonlinear Programming via Pareto Optimization

We deal with the differential conditions for local optimality. The conditions that we derive for inequality constrained problems do not require constraint qualifications and are the broadest conditions based on only first-order and second-order derivatives. A similar result is proved for equality constrained problems, although the necessary conditions require the regularity of the equality constraints.     

Solution bundle for a class of impulsive differential inclusions on Banach spaces

In this paper a class of impulsive differential inclusions is investigated. The existence of solution bundle is proved. And we also construct a nonlinear semigroup of operators on cb(E) (closed-bounded subset of E) to describe the set of attainable states.     

Some inequalities for characteristic functions. II

Recently we established Matysiak and Szablowski's conjecture [V. Matysiak, P.J. Szablowski, Theory Probab. Appl. 45 (2001) 711-713] about a lower bound of real-valued characteristic functions. In this paper, applying an alternative approach we are able to give explicitly the ranges of argument for which the obtained inequalities hold true for general characteristic functions.     

On nearly parallel G2-structures

A nearly parallel G₂-structure on a seven-dimensional Riemannian manifold is equivalent to a spin structure with a Killing spinor. We prove general results about the automorphism group of such structures and we construct new examples. We classify all nearly parallel G₂-manifolds with large symmetry group and in particular all homogeneous nearly parallel G₂-structures.     

双电极对双脉冲激光器结构分析

本文对双电极对双脉冲激光器的谐振腔结构进行了分析,结果表明采用双非稳腔和增大反射镜的曲率半径可分别获得单纵模和基横模输出。为使输出能量稳定,则双电极对的间距有一最小值的限制。     

The differential equation satisfied by a plane curve of degree n

Eliminating the arbitrary coefficients in the equation of a generic plane curve of order n by computing sufficiently many derivatives, one obtains a differential equation. This is a projective invariant. The first one, corresponding to conics, has been obtained by Monge. Sylvester, Halphen, Cartan used invariants of higher order. The expression of these invariants is rather complicated, but becomes much simpler when interpreted in terms of symmetric functions.     

Differential subordinations concerning starlike functions

Denote byS ^* (⌕), (0≤⌕<1), the family consisting of functionsf(z)=z+a ₂z²+...+a_nzⁿ+... that are analytic and starlike of order ⌕, in the unit disc ⋎z⋎<1. In the present article among other things, with very simple conditions on μ, ⌕ andh(z) we prove the f’(z) (f(z)/z)^μ−1<h(z) implies f∈S^*(⌕). Our results in this direction then admit new applications in the study of univalent functions. In many cases these results considerably extend the earlier works of Miller and Mocanu [6] and others.     

用定义求解高等数学中的有关问题

应用导数的定义，为分段函数的分界点提供了一种行之有效的求导方法，利用微分的定义判断函数在分界点及其他特殊点的可微性，运用定和分的定义求一类特殊类型的极限．