A Generalization of Eells-Sampson's Theorem

We generalize the well-known Eells-Sampson's theorem on the global existence and convergence for the heat flow of harmonic maps. The assumption that the curvature of the target manifold N be nonpoeitive is replaced by the weaker one requiring that the universal cover \tilde{N} admit a strictly convex function with quadratic growth.     

Classification of critical sets and their images for quadratic maps of the plane

We provide a complete classification of the critical sets and their images for quadratic maps of the real plane. Critical sets are always conic sections, which provides a starting point for the classification. The generic cases, maps whose critical sets are either ellipses or hyperbolas, was published by Delgado et al. in 2013. This work completes the classification by including all the nongeneric cases: the empty set, a single point, a single line, a parabola, two parallel lines, two intersecting lines, or the whole plane. We describe all possible images for each critical set case and illustrate the geometry of representative maps for each case.     

Convexity Properties Associated with Nonconvex Quadratic Matrix Functions and Applications to Quadratic Programming

We establish several convexity results which are concerned with nonconvex quadratic matrix (QM) functions: strong duality of quadratic matrix programming problems, convexity of the image of mappings comprised of several QM functions and existence of a corresponding S-lemma. As a consequence of our results, we prove that a class of quadratic problems involving several functions with similar matrix terms has a zero duality gap. We present applications to robust optimization, to solution of linear systems immune to implementation errors and to the problem of computing the Chebyshev center of an intersection of balls. This research was partially supported by the Israel Science Foundation under Grant ISF 489/06.     

Global existence of small classical solutions to nonlinear Schrödinger equations

We study the global Cauchy problem for nonlinear Schrödinger equations with cubic interactions of derivative type in space dimension n?3$n?3$. The global existence of small classical solutions is proved in the case where every real part of the first derivatives of the interaction with respect to first derivatives of wavefunction is derived by a potential function of quadratic interaction. The proof depends on the energy estimate involving the quadratic potential and on the endpoint Strichartz estimates.     

Classification of Quadratic Homogeneous Automorphisms in Dimension Five

In this paper, we present a classification of quadratic homogeneous automorphisms in dimension 5 up to linear conjugation. As a consequence, we give an affirmative answer to the Rusek Conjecture in dimension 5.     

Continuity of the Solution Map in Quadratic Programs under Linear Perturbations

It is well known that the solution map of a quadratic program where only the linear part of the data is subject to perturbation is an upper Lipschitz multifunction. This paper characterizes the continuity and lower semicontinuity of that solution map.This work was supported by the Brain Korea 21 Project in 2003, the APEC Postdoctoral Fellowships Program, and the KOSEF Brain Pool Program. The authors thank Professor F. Giannessi and two anonymous referees for helpful comments.Communicated by F. Giannessi     

On the uniform hyperbolicity of some nonuniformly hyperbolic systems

We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability (probability one with respect to every invariant probability measure) are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.

     

Finite polynomial orbits in quadratic rings

All finite orbits of polynomial mappings in one variable in rings of integers of quadratic number fields are determined. The largest such orbit has seven elements and lies in the third cyclotomic field. 2000 Mathematics Subject Classification Primary—11R09, 11R11, 37F10     

Classification of quadratic systems admitting the existence of an algebraic limit cycle

In the paper we find a set of necessary conditions that must be satisfied by a quadratic system in order to have an algebraic limit cycle. We find a countable set of ?5 parameter families of quadratic systems such that every quadratic system with an algebraic limit cycle must, after a change of variables, belong to one of those families. We provide a classification of all the quadratic systems which can have an algebraic limit cycle based on geometrical properties of the embedding of the system in the Poincaré compactification of R². We propose names for all the classes we distinguish and we classify all known examples of quadratic systems with algebraic limit cycle. We also prove the integrability of certain classes of quadratic systems.     

Partial Maps with Domain and Range: Extending Schein's Representation

Let A be a *-algebra. An additive mapping E : A → A is called a Jordan *-derivation if E(X²) = E(x)x^*+xE(x) holds, for all x 6 A. These mappings have been extensively studied in the last 6 years by Bresar, Semrl, Vukman and Zalar because they are closely connected with the problem of representability of quadratic functionals by sesquilinear forms. This study was, however, always in the setting of associative rings. In the present paper we study Jordan *-derivations on the Cayley-Dickson algebra of octonions, which is not associative. Our first main result is that every Jordan *-derivation on the octonion algebra is of the form E(x)=ax*-xa. In the terminology of earlier papers this means that every Jordan *-derivation on the octonion algebra is inner. This generalizes the known fact that Jordan *-derivations on complex and quaternion algebras are inner. Our second main result is a representation theorem for quadratic functionals on octonion modules. Its proof uses the result mentioned above on Jordan *-derivations.     

边界约束非凸二次规划问题的分枝定界方法

本文是研究带有边界约束非凸二次规划问题,我们把球约束二次规划问题和线性约束凸二次规划问题作为子问题,分明引用了它们的一个求整体最优解的有效算法,我们提出几种定界的紧、松驰策略,给出了求解原问题整体最优解的分枝定界算法,并证明了该算法的收敛性,不同的定界组合就可以产生不同的分枝定界算法,最后我们简单讨论了一般有界凸域上非凸二次规划问题求整体最优解的分枝与定界思想。     

On a Theorem of Dubins and Freedman

Under a notion of splitting the existence of a unique invariant probability, and a geometric rate of convergence to it in an appropriate metric, are established for Markov processes on a general state space S generated by iterations of i.i.d. maps on S. As corollaries we derive extensions of earlier results of Dubins and Freedman;⁽¹⁷⁾ Yahav;⁽³⁰⁾ and Bhattacharya and Lee⁽⁶⁾ for monotone maps. The general theorem applies in other contexts as well. It is also shown that the Dubins–Freedman result on the necessity of splitting in the case of increasing maps does not hold for decreasing maps, although the sufficiency part holds for both. In addition, the asymptotic stationarity of the process generated by i.i.d. nondecreasing maps is established without the requirement of continuity. Finally, the theory is applied to the random iteration of two (nonmonotone) quadratic maps each with two repelling fixed points and an attractive period-two orbit.     

Numerical solutions of the m-membranes problem

In this paper numerical approximation for the m-membrane problem is considered. We make a change of variables that leads to a different expression of the quadratic functional that allows after discretizing the problem to reformulate it as finite dimensional bound constrained quadratic problem. To our knowledge this is the first paper on numerical approximation of the m-membrane problem. We reformulate the m-membrane problem as a bound constraint quadratic minimization problem. The bound constraint quadratic form is solved with the gradient projection method.     

An analytic center quadratic cut method for the convex quadratic feasibility problem

 We consider a quadratic cut method based on analytic centers for two cases of convex quadratic feasibility problems. In the first case, the convex set is defined by a finite yet large number, N, of convex quadratic inequalities. We extend quadratic cut algorithm of Luo and Sun [3] for solving such problems by placing or translating the quadratic cuts directly through the current approximate center. We show that, in terms of total number of addition and translation of cuts, our algorithm has the same polynomial worst case complexity as theirs [3]. However, the total number of steps, where steps consist of (damped) Newton steps, function evaluations and arithmetic operations, required to update from one approximate center to another is , where ε is the radius of the largest ball contained in the feasible set. In the second case, the convex set is defined by an infinite number of certain strongly convex quadratic inequalities. We adapt the same quadratic cut method for the first case to the second one. We show that in this case the quadratic cut algorithm is a fully polynomial approximation scheme. Furthermore, we show that, at each iteration, k, the total number steps (as described above) required to update from one approximate center to another is at most , with ε as defined above. Received: April 2000 / Accepted: June 2002 Published online: September 5, 2002 Key words. convex quadratic feasibility problem – interior-point methods – analytic center – quadratic cuts – potential function     

强正定二次型与Weyl-Heisenberg 框架的构造

本文研究了一类具有特殊结构的无限维二次型, 得到这类二次型的对称矩阵是符号为多项式的模的平方的Laurent 矩阵, 进一步得到了这类二次型是强正定的判断标准以及一类Weyl-Heisenberg 框架的构造. 本文还研究了这类二次型的矩阵的所有有限维主对角子矩阵的强正定性, 并由此得到一类子空间Weyl-Heisenberg 框架的构造. 最后举例说明本文的主要结果及其应用. 本文建立了两个看似不相关的领域间的联系.     

Asymptotic aspect of the quadratic functional equation in multi-normed spaces

We investigate the Hyers-Ulam stability of the quadratic functional equation for mappings from abelian groups into multi-normed spaces. We also study the stability on a restricted domain and present an asymptotic behavior of the quadratic equation in the framework of multi-normed spaces.     

On the structure of convex piecewise quadratic functions

Convex piecewise quadratic functions (CPQF) play an important role in mathematical programming, and yet their structure has not been fully studied. In this paper, these functions are categorized into difference-definite and difference-indefinite types. We show that, for either type, the expressions of a CPQF on neighboring polyhedra in its domain can differ only by a quadratic function related to the common boundary of the polyhedra. Specifically, we prove that the monitoring function in extended linear-quadratic programming is difference-definite. We then study the case where the domain of the difference-definite CPQF is a union of boxes, which arises in many applications. We prove that any such function must be a sum of a convex quadratic function and a separable CPQF. Hence, their minimization problems can be reformulated as monotropic piecewise quadratic programs.This research was supported by Grant DDM-87-21709 of the National Science Foundation.     

On the dimension of some spaces of generalized theta-series

We improve the upper bound of the dimension of the space of theta-series with respect to positive definite quadratic forms for some diagonal quadratic forms.     

On the linearization of Regge calculus

We study the linearization of three dimensional Regge calculus around Euclidean metric. We provide an explicit formula for the corresponding quadratic form and relate it to the curl t curl operator which appears in the quadratic part of the Einstein–Hilbert action and also in the linear elasticity complex. We insert Regge metrics in a discrete version of this complex, equipped with densely defined and commuting interpolators. We show that the eigenpairs of the curl t curl operator, approximated using the quadratic part of the Regge action on Regge metrics, converge to their continuous counterparts, interpreting the computation as a non-conforming finite element method.