The Weierstrass semigroup of a pair and moduli inM 3

We classify all the Weierstrass semigroups of a pair of points on a curve of genus 3, by using its canonical model in the plane. Moreover, we count the dimension of the moduli of curves which have a pair of points with a specified Weierstrass semigroup.This work has been supported by the Japan Society for the Promotion of Science and the Korea Science and Engineering Foundation (Project No. 976-0100-001-2). Also the first author is partially supported by Korea Research Foundation Grant (KRF-99-005-D00003).     

Quasiequational Theories of Flat Algebras

We prove that finite flat digraph algebras and, more generally, finite compatible flat algebras satisfying a certain condition are finitely q-based (possess a finite basis for their quasiequations). We also exhibit an example of a twelve-element compatible flat algebra that is not finitely q-based. The first author was partially supported by the grant # 201/02/0594 of the Grant Agency of the Czech Republic, and by the Institutional grant MSM0021620839; the second author was partially supported by the grant No. Tn37877 of the Hungarian National Foundation for Scientific Research (OTHA); the third author was supported by the NSF grant # DMS-9971352.     

Periodic Orbits for Some Systems of Delay Differential Equations

We provide sufficient conditions for the existence of periodic orbits of some systems of delay differential equations with a unique delay. We extend Kaplan-Yorke＇s method for finding periodic orbits from a delay differential equation with several delays to a system of delay differential equations with a unique delay.     

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     

Primal-dual target-following algorithms for linear programming

In this paper, we propose a method for linear programming with the property that, starting from an initial non-central point, it generates iterates that simultaneously get closer to optimality and closer to centrality. The iterates follow paths that in the limit are tangential to the central path. Together with the convergence analysis, we provide a general framework which enables us to analyze various primal-dual algorithms in the literature in a short and uniform way.This work was completed with the support of a research grant from SHELL. The first author is supported by the Dutch Organization for Scientific Research (NWO), Grant No. 611-304-028. The third author is on leave from the Eötvös University, Budapest, and partially supported by OTKA No. 2116. The fourth author is supported by the Swiss National Foundation for Scientific Research, Grant No. 12-34002.92.     

Sensitivity of Pareto Solutions in Multiobjective Optimization

The paper presents a sensitivity analysis of Pareto solutions on the basis of the Karush-Kuhn-Tucker (KKT) necessary conditions applied to nonlinear multiobjective programs (MOP) continuously depending on a parameter. Since the KKT conditions are of the first order, the sensitivity properties are considered in the first approximation. An analogue of the shadow prices, well known for scalar linear programs, is obtained for nonlinear MOPs. Two types of sensitivity are investigated: sensitivity in the state space (on the Pareto set) and sensitivity in the cost function space (on the balance set) for a vector cost function. The results obtained can be used in applications for sensitivity computation under small variations of parameters. Illustrative examples are presented.Research of this author was partially supported by Grant BEC2003-09067-C04-03.Research of this author was partially supported by NSERC Grant RGPIN-3492-00.Research of this author was partially supported by Grant BEC2003-09067-C04-02.     

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)     

Necessary Conditions for Impulsive Nonlinear Optimal Control Problems without a priori Normality Assumptions

First-order and second-order necessary conditions of optimality for an impulsive control problem that remain informative for abnormal control processes are presented and derived. One of the main features of these conditions is that no a priori normality assumptions are required. This feature follows from the fact that these conditions rely on an extremal principle which is proved for an abstract minimization problem with equality constraints, inequality constraints, and constraints given by an inclusion in a convex cone. Two simple examples illustrate the power of the main result.The first author was partially supported by the Russian Foundation for Basic Research Grant 02-01-00334. The second author was partially supported by the Russian Foundation for Basic Research Grant 00-01-00869. The third author was partially supported by Fundacao para a Ciencia e Tecnologia and by INVOTAN Grant.     

Maximum principle of optimal control for functional differential systems

We show that the maximum principle holds for optimal periodic control problems governed by functional differential equations under a Lipschitz condition on the value functional. Generalizations to other boundary conditions are also considered.This research was partially supported by NSF Grant No. DMS-84-01719.The first author was partially supported by the Science Fund of the Chinese Academy of Sciences, Beijing, China.     

Minimal circumscribed Hermitian ellipsoid of Hartogs domains and an application to an extremal problem

In this paper we construct circumscribed Hermitian ellipsoids of Hartogs domains of least volume and as an application, we obtain the Carath′eodory extremal mappings between the Hartogs domains and the unit ball, and also give an explicit formula for calculating the extremal values.     

The equation of complex Monge-Ampère type and stability of solutions

We prove that in a family of plurisubharmonic functions with Monge-Ampère measures bounded from above by such a measure of one function weak convergence is equivalent to convergence in capacity. We also show a very general statement on the existence of solutions of the complex Monge-Ampère type equation. First author partially supported by the Swedish Research Council contract 621-2002-5308. Second author partially supported by Polish ministerial Grant No. 1 PO3A 037 27.     

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.     

Convergence rates for intermediate problems

Convergence rate estimates are derived for a variant of Aronszajn-type intermediate problems that is both computationally feasible and known to be convergent for problems with nontrivial essential spectrum. Implementation of these derived bounds is discussed in general and illustrated on differential eigenvalue problems. Convergence rates are derived for the commonly used method of simple truncation.The work of the first author was partially supported by AFOSR Grant 84-0326. The work of the second author was partially supported by NSF Grant MCS-8301402     

Toeplitz Operators and Herz Spaces on the Half-Space

On the setting of the half-space we introduce the Schatten-Herz classes of Toeplitz operators and obtain characterizations for positive Toeplitz operators to belong to those classes. We also prove results concerning the boundedness and compactness of Toeplitz operators with Herz symbols. Such a study has been recently done on the ball. At a critical step of the proofs we employ a much simplified argument to extend the range of parameters for Herz spaces on which the Berezin transform is bounded. Our results show not only that most of results on the ball continue to hold, but also that there is some pathology caused by the unboundedness of the domain. The first author was in part supported by a Korea University Grant(2007), the second author was in part supported by Hanshin University Research Grant, and both authors were in part supported by KOSEF(R01-2003-000-10243-0).     

Subspace theorems for homogeneous polynomial forms

We prove a subspace theorem for homogeneous polynomial forms which generalizes Schmidt’s subspace theorem for linear forms. Further, we formalize the subspace theorem into a form which is just the counterpart of a second main theorem in Nevanlinna’s theorem, and also suggest a problem. The work of the first author was partially supported by NSFC of China: Project. No. 10371064. The second author was partially supported by a UGC Grant of Hong Kong: Project No. 604103.     

Properties of the Augmented Lagrangian in Nonlinear Semidefinite Optimization

We study the properties of the augmented Lagrangian function for nonlinear semidefinite programming. It is shown that, under a set of sufficient conditions, the augmented Lagrangian algorithm is locally convergent when the penalty parameter is larger than a certain threshold. An error estimate of the solution, depending on the penalty parameter, is also established.The first author was partially supported by Singapore-MIT Alliance and by the National University of Singapore under Grants RP314000-028/042/057-112. The second author was partially supported by the Funds of the Ministry of Education of China for PhD Units under Grant 20020141013 and the National Natural Science Foundation of China under Grant 10471015.     

The completeness of Peano multiplication

It is shown that the set of all theorems of Peano Arithmetic which mention only multiplication is a complete theory in the corresponding restricted language. The notion of a complete decidable covering of a theory is introduced. The author was partially supported by N.S.F. Grant No. MC578-02224.     

Solution of the linear inverse vector optimization problem by a single linear program

It is shown that finding a solution to a linear vector optimization problem which is efficient with respect to the constraints as well as to the objectives is equivalent to solving a single linear program.The research of this author was supported by NSF Grant DCR74-20584.The research of this author was partially supported by Canada Council Grant W760467.     

A survey of Markov decision models for control of networks of queues

We review models for the optimal control of networks of queues. Our main emphasis is on models based on Markov decision theory and the characterization of the structure of optimal control policies.This research was partially supported by the National Science Foundation under Grant No. DDM-8719825. The Government has certain rights in this material. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. The research was also partially supported by the C.I.E.S. (France), while the author was on leave at INRIA, Sophia-Antipolis, 1991–92.     

Best Approximation and Perturbation Property in Hilbert Spaces

We study the perturbation property of best approximation to a set defined by an abstract nonlinear constraint system. We show that, at a normal point, the perturbation property of best approximation is equivalent to an equality expressed in terms of normal cones. This equality is related to the strong conical hull intersection property. Our results generalize many known results in the literature on perturbation property of best approximation established for a set defined by a finite system of linear/nonlinear inequalities. The connection to minimization problem is considered.The authors thank the referees for valuable suggestions.K.F. Ng - This author was partially supported by Grant A0324638 from the National Natural Science Foundation of China and Grants (2001) 01GY051-66 and SZD0406 from Sichuan Province. Y.R. He -This author was supported by a Direct Grant (CUHK) and an Earmarked Grant from the Research Grant Council of Hong Kong.