Long-step primal-dual target-following algorithms for linear programming

In this paper we propose a long-step target-following methodology for linear programming. This is a general framework, that enables us to analyze various long-step primal-dual algorithms in the literature in a short and uniform way. Among these are long-step central and weighted path-following methods and algorithms to compute a central point or a weighted center. Moreover, we use it to analyze a method with the property that starting from an initial noncentral point, generates iterates that simultaneously get closer to optimality and closer to centrality.This work is completed with the support of a research grant from SHELL.The first author is supported by the Dutch Organization for Scientific Research (NWO), grant 611-304-028.The fourth author is supported by the Swiss National Foundation for Scientific Research, grant 12-34002.92.     

On heat kernel estimates and parabolic Harnack inequality for jump processes on metric measure spaces

In this paper, we discuss necessary and sufficient conditions on jumping kernels for a class of jump-type Markov processes on metric measure spaces to have scale-invariant finite range parabolic Harnack inequality.     

Blow-up Results for Some Nonlinear Delay Differential Equations

In this work we study the blow up phenomena for some scalar delay differential equations. In particular, we make connection with the blow up of ordinary differential equations that are related to the delay differential equations. The first author is supported by a Grant from TWAS under contract No: 03-030 RG/MATHS/AF/AC. The second author is supported by a grant from the Lebanese National Council for Scientific Research.     

A lower bound on the number of iterations of long-step primal-dual linear programming algorithms

Recently, Todd has analyzed in detail the primal-dual affine-scaling method for linear programming, which is close to what is implemented in practice, and proved that it may take at leastn ^1/3 iterations to improve the initial duality gap by a constant factor. He also showed that this lower bound holds for some polynomial variants of primal-dual interior-point methods, which restrict all iterates to certain neighborhoods of the central path. In this paper, we further extend his result to long-step primal-dual variants that restrict the iterates to a wider neighborhood. This neigh-borhood seems the least restrictive one to guarantee polynomiality for primal-dual path-following methods, and the variants are also even closer to what is implemented in practice.Research supported in part by NSF, AFOSR and ONR through NSF Grant DMS-8920550.This author is supported in part by NSF Grant DDM-9207347. Part of thiw work was done while the author was on a sabbatical leave from the University of Iowa and visiting the Cornell Theory Center, Cornell University, Ithaca, NY 14853, supported in part by the Cornell Center for Applied Mathematics and by the Advanced Computing Research Institute, a unit of the Cornell Theory Center, which receives major funding from the National Science Foundation and IBM Corporation, with additional support from New York State and members of its Corporate Research Institute.     

An augmented Lagrangian technique for variational inequalities

A general framework for the treatment of a class of elliptic variational inequalities by an augmented Lagrangian method, when inequalities with infinite-dimensional image space are augmented, is developed. Applications to the obstacle problem, the elastoplastic torsion problem, and the Signorini problem are given.The research of the first author was supported in part by the Air Force Office of Scientific Research under Grants AFOSR-84-0398 and AFOSR-85-0303, by the National Aeronautics and Space Administration under Grant NAG-1-1517, and by NSF under Grant No. UINT-8521208. The second author's research was supported in part by the Fonds zur Förderung der wissenschaftlichen Forschung under S3206 and P6005.     

Best simultaneous approximation to totally bounded sequences in Banach spaces

This paper is concerned with the problem of best weighted simultaneous approximations to totally bounded sequences in Banach spaces. Characterization results from convex sets in Banach spaces are established under the assumption that the Banach space is uniformly smooth. The first author is supported in part by Scientific Research Fund of Hunan Provincial Education Department (Grant No. 06C651); the second author is supported in part by the National Natural Science Foundation of China (Grant Nos. 10671175, 10731060) and Program for New Century Excellent Talents in University; the third author is supported in part by Projects MTM2006-13997-C02-01 and FQM-127 of Spain     

Mean convergence of hermite interpolation revisited

The first author is supported by the Hungarian National Foundation for Scientific Research Grant No. 1910 and No. T7570, and the second author is supported by the National Science Foundation Grant No. 9302721. The work was done during the first author's visit in Eugene, Oregon in 1993, and was completed during the second author's visit to the Mathematisches Institut, University of Erlange-Nürnberg, supported by the Alexander von Humboldt Foundation.     

On the convergence of Newton iterations to non-stationary points

We study conditions under which line search Newton methods for nonlinear systems of equations and optimization fail due to the presence of singular non-stationary points. These points are not solutions of the problem and are characterized by the fact that Jacobian or Hessian matrices are singular. It is shown that, for systems of nonlinear equations, the interaction between the Newton direction and the merit function can prevent the iterates from escaping such non-stationary points. The unconstrained minimization problem is also studied, and conditions under which false convergence cannot occur are presented. Several examples illustrating failure of Newton iterations for constrained optimization are also presented. The paper also shows that a class of line search feasible interior methods cannot exhibit convergence to non-stationary points. This author was supported by Air Force Office of Scientific Research grant F49620-00-1-0162, Army Research Office Grant DAAG55-98-1-0176, and National Science Foundation grant INT-9726199.This author was supported by Department of Energy grant DE-FG02-87ER25047-A004.This author was supported by National Science Foundation grant CCR-9987818 and Department of Energy grant DE-FG02-87ER25047-A004.     

An analysis of reduced Hessian methods for constrained optimization

We study the convergence properties of reduced Hessian successive quadratic programming for equality constrained optimization. The method uses a backtracking line search, and updates an approximation to the reduced Hessian of the Lagrangian by means of the BFGS formula. Two merit functions are considered for the line search: the ₁ function and the Fletcher exact penalty function. We give conditions under which local and superlinear convergence is obtained, and also prove a global convergence result. The analysis allows the initial reduced Hessian approximation to be any positive definite matrix, and does not assume that the iterates converge, or that the matrices are bounded. The effects of a second order correction step, a watchdog procedure and of the choice of null space basis are considered. This work can be seen as an extension to reduced Hessian methods of the well known results of Powell (1976) for unconstrained optimization.This author was supported, in part, by National Science Foundation grant CCR-8702403, Air Force Office of Scientific Research grant AFOSR-85-0251, and Army Research Office contract DAAL03-88-K-0086.This author was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contracts W-31-109-Eng-38 and DE FG02-87ER25047, and by National Science Foundation Grant No. DCR-86-02071.     

Representations of quasi-Newton matrices and their use in limited memory methods

We derive compact representations of BFGS and symmetric rank-one matrices for optimization. These representations allow us to efficiently implement limited memory methods for large constrained optimization problems. In particular, we discuss how to compute projections of limited memory matrices onto subspaces. We also present a compact representation of the matrices generated by Broyden's update for solving systems of nonlinear equations.These authors were supported by the Air Force Office of Scientific Research under Grant AFOSR-90-0109, the Army Research Office under Grant DAAL03-91-0151 and the National Science Foundation under Grants CCR-8920519 and CCR-9101795.This author was supported by the U.S. Department of Energy, under Grant DE-FG02-87ER25047-A001, and by National Science Foundation Grants CCR-9101359 and ASC-9213149.     

On the congruence lattice of a Scott-domain

We prove that the congruence lattice of a Scott-domain can be characterized as a complete lattice.Presented by V. Trnkova.The research of the first author was supported by the NSERC of Canada.The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.     

A representation of m-algebraic lattices

In this paper, we give a short proof of the following result of G. Grätzer and E. T. Schmidt: every m-algebraic lattice can be represented as the lattice of m-complete congruence relations of some m-complete modular lattice.Dedicated to Bjarni Jonsson on his 70th birthdayThe research of the first author was supported by the NSERC of Canada.The research of the third author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.     

Groups with super-exponential subgroup growth

We show that, if the subgroup growth of a finitely generated (abstract or profinite) groupG is super-exponential, then every finite group occurs as a quotient of a finite index subgroup ofG. The proof involves techniques from finite permutation groups, and depends on the Classification of Finite Simple Groups.The first author was partially supported by the Hungarian National Foundation for Scientific Research, Grant No. T7441. The second author was partially supported by the Israeli National Science Foundation.     

Maximal Local Time of a <Emphasis Type="Italic">d</Emphasis>-dimensional Simple Random Walk on Subsets

Strong theorems are given for the maximal local time on balls and subspaces for the d-dimensional simple symmetric random walk.Endre Csáki - Research supported by the Hungarian National Foundation for Scientific Research, Grant No. T 037886 and T 043037.Pál Révész - Research supported by a PSC CUNY Grant, No. 65685-0034.     

On the zeros and poles of Padé approximants toe z . III

Summary In this paper, we continue our study of the location of the zeros and poles of general Padé approximants toe ^z . We state and prove here new results for the asymptotic location of the normalized zeros and poles for sequences of Padé approximants toe ^z , and for the asymptotic location of the normalized zeros for the associated Padé remainders toe ^z . In so doing, we obtain new results for nontrivial zeros of Whittaker functions, and also generalize earlier results of Szegö and Olver.Research supported in part by the Air Force Office of Scientific Research under Grant AFOSR-74-2688Research supported in part by the Air Force Office of Scientific Research under Grant AFOSR-74-2729, and by the Energy Research and Development Administration (ERDA) under Grant EY-76-S-02-2075     

Justification of Dipole Approximation in the Problem of Nonlinear Wave Generation by a Submerged Sphere

Some nonlinear dipole approximation is constructed for the nonstationary problem of a solid sphere motion under a free surface. The approximation is justified in the class of analytic functions decaying at infinity.Original Russian Text Copyright © 2005 Pyatkina E. V.The author was supported by the State Maintenance Program for the Leading Scientific Schools (Grant NSh-440.2003.1) and the Russian Foundation for Basic Research (Grant 05-01-00250).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 907–927, July–August, 2005.     

The augmented lagrangian method for equality and inequality constraints in hilbert spaces

In this paper we consider an augmented Lagrangian method for the minimization of a nonlinear functional in the presence of an equality constraint whose image space is in a Hilbert space, an inequality constraint whose image space is finite dimensional, and an affine inequality constraint whose image space is in an infinite dimensional Hilbert space. We obtain local convergence of this method without imposing strict complementarity conditions when the equality, as well as the inequality constraint with finite dimensional image space are augmented. To the author's knowledge this result even generalizes the convergence results which are known when all spaces are finite dimensional.This research was supported by the Air Force Office of Scientific Research under Grant AFOSR-84-0398 and AFOSR-85-0303, by the National Aeronautics and Space Administration under Grant NAG-1-517, and by NSF under Grant UINT-8521208.This research was supported in part by the Fonds zur Förderung der wissenschaftichen Forschung under S3206 and P6005 and by AFOSR-84-0398. Part of this work was performed while the author was visiting the Division of Applied Mathematics, Brown University, Providence, RI, USA.     

Local structure-preserving algorithms for partial differential equations

In this paper, we discuss the concept of local structure-preserving algorithms (SPAs) for partial differential equations, which are the natural generalization of the corresponding global SPAs. Local SPAs for the problems with proper boundary conditions are global SPAs, but the inverse is not necessarily valid. The concept of the local SPAs can explain the difference between different SPAs and provide a basic theory for analyzing and constructing high performance SPAs. Furthermore, it enlarges the applicable scopes of SPAs. We also discuss the application and the construction of local SPAs and derive several new SPAs for the nonlinear Klein-Gordon equation. This work was supported by the National Basic Research Program (Grant No. 2005CB321703). The first author was supported by the National Natural Science Foundation of China (Grant Nos. 40405019, 10471067) and the Major Research Projects of Jiangsu Province (Grant No. BK2006725); the second author was supported by the National Natural Science Foundation of China (Innovation Group) (Grant No. 40221503) and the third author was supported by the National Natural Science Foundation of China (Grant No. 10471145)     

On the sharpness of theorems concerning zero-free regions for certain sequences of polynomials

Summary In this paper, we establish the sharpness of a theorem concerning zero-free parabolic regions for certain sequences of polynomials satisfying a three-term recurrence relation. Similarly, we establish the sharpness of a zero-free sectorial region for certain sequences of Padé approximants toe ^z .Research supported in part by the Air Force Office of Scientific Research under Grant AFOSR-74-2688Research supported in part by the Air Force Office of Scientific Research under Grant AFOSR-74-2729, and by the Energy Research and Development Administration (ERDA) under Grant E(11-1)-2075