Lagrangian Globalization Methods for Nonlinear Complementarity Problems

This paper extends the Lagrangian globalization (LG) method to the nonsmooth equation arising from a nonlinear complementarity problem (NCP) and presents a descent algorithm for the LG phase. The aim of this paper is not to present a new method for solving the NCP, but to find such that when the NCP has a solution and is a stationary point but not a solution.     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

Decomposition Method for a Class of Monotone Variational Inequality Problems

In the solution of the monotone variational inequality problem VI(, F), with

Book Notices

Given the minimization problem of a real-valued function let A be any algorithm of type with that converges to a local minimum . In this note, new assumptions on f(x) under which A converges linearly to x* are established. These include the ones introduced in the literature which involve the uniform convexity of f(x).     

Absolute Continuity of the Spectrum of a Periodic Schrödinger Operator

We prove the absolute continuity of the spectrum of the Schrödinger operator in , , with periodic (with a common period lattice ) scalar and vector potentials for which either , , or the Fourier series of the vector potential converges absolutely, , where is an elementary cell of the lattice , for , and for , and the value of is sufficiently small, where and otherwise, , and .     

On the Uniqueness of the Recovery of Parameters of the Maxwell System from Dynamical Boundary Data

The paper deals with the problem of recovering the parameters (functions) and of the Maxwell dynamical system

Application of Upper Hemi-Continuous Operators on Generalized Bi-quasi-variational Inequalities in Locally Convex Topological Vector Spaces

Let and be Hausdorff topological vector spaces over the field , let be a bilinear functional, and let be a non-empty subset of . Given a set-valued map and two set-valued maps , the generalized bi-quasi-variational inequality (GBQVI) problem is to find a point and a point such that and for all and for all or to find a point a point and a point such that and for all . The generalized bi-quasi-variational inequality was introduced first by Shih and Tan [8] in 1989. In this paper we shall obtain some existence theorems of generalized bi-quasi-variational inequalities as application of upper hemi-continuous operators [4] in locally convex topological vector spaces on compact sets.     

Mathematical Properties of Optimization Problems Defined by Positively Homogeneous Functions

We consider the nonlinear programming problem

On the Spectrum of Degenerate Operator Equations

We study the distribution in the complex plane of the spectrum of the operator , generated by the closure in of the operation originally defined on smooth functions with values in a Hilbert space satisfying the Dirichlet conditions . Here and A is a model operator acting in . Criterial conditions on the parameter for the eigenfunctions of the operator to form a complete and minimal system as well as a Riesz basis in the Hilbert space H are given.     

Representability of Analytic Functions in Terms of Their Boundary Values

Suppose that is an arbitrary finite complex Borel measure on the interval is its Poisson integral, and are the conjugate harmonics of , and is the nontangential limiting value of the analytic function as . In this paper, we consider the problem of representing the analytic function in terms of its boundary values .     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

Convex Subgroups of Partially Right-Ordered Groups

We study into the question of whether a partial order can be induced from a partially right-ordered group onto a space of right cosets of w.r.t. some subgroup of . Examples are constructed showing that the condition of being convex for in is insufficient for this. A necessary and sufficient condition (in terms of a subgroup and a positive cone of ) is specified under which an order of can be induced onto . Sufficient conditions are also given. We establish properties of the class of partially right-ordered groups for which is partially ordered for every convex subgroup , and properties of the class of groups such that is partially ordered for every partial right order on and every subgroup that is convex under .     

Bernstein-Type Theorems and Uniqueness Theorems

Let be an entire function of finite type with respect to finite order and let be a subset of an open cone in a certain n-dimensional subspace (the smaller , the sparser ). We assume that this cone contains a ray 0} \right\}$$ " align="middle" border="0"> . It is shown that the radial indicator of at any point may be evaluated in terms of function values at points of the discrete subset . Moreover, if tends to zero fast enough as over , then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on and , which are close to exact conditions, the function bounded on is bounded on the ray.     

Generalized Quasi-Variational Inequalities Without Continuities

Given a nonempty set and two multifunctions , we consider the following generalized quasi-variational inequality problem associated with X, : Find such that . We prove several existence results in which the multifunction is not supposed to have any continuity property. Among others, we extend the results obtained in Ref. 1 for the case (x(X.     

New Proof of the Semmes Inequality for the Derivative of the Rational Function

In the open disk of the complex plane, we consider the following spaces of functions: the Bloch space ; the Hardy--Sobolev space ; and the Hardy--Besov space . It is shown that if all the poles of the rational function R of degree n, , lie in the domain , then , where and depends only on . The second of these inequalities for the case of the half-plane was obtained by Semmes in 1984. The proof given by Semmes was based on the use of Hankel operators, while our proof uses the special integral representation of rational functions.     

Theorems of the Alternative and Duality

This paper investigates the relations between theorems of the alternative and the minimum norm duality theorem. A typical theorem of the alternative is associated with two systems of linear inequalities and/or equalities, a primal system and a dual one, asserting that either the primal system has a solution, or the dual system has a solution, but never both. On the other hand, the minimum norm duality theorem says that the minimum distance from a given point z to a convex set is equal to the maximum of the distances from z to the hyperplanes separating z and . We consider the theorems of Farkas, Gale, Gordan, and Motzkin, as well as new theorems that characterize the optimality conditions of discrete l ₁-approximation problems and multifacility location problems. It is shown that, with proper choices of , each of these theorems can be recast as a pair of dual problems: a primal steepest descent problem that resembles the original primal system, and a dual least–norm problem that resembles the original dual system. The norm that defines the least-norm problem is the dual norm with respect to that which defines the steepest descent problem. Moreover, let y solve the least norm problem and let r denote the corresponding residual vector. If r=0, which means that z , then y solves the dual system. Otherwise, when r0 and z , any dual vector of r solves both the steepest descent problem and the primal system. In other words, let x solve the steepest descent problem; then, r and x are aligned. These results hold for any norm on . If the norm is smooth and strictly convex, then there are explicit rules for retrieving x from r and vice versa.     

Conditions of Existence and Uniqueness of Solutions of the Multipoint Boundary Value Problem for a System of Generalized Ordinary Differential Equations

Effective sufficient conditions are established for the solvability and unique solvability of the boundary value problem where is a matrix-function with bounded variation components, is a vector-function belonging to the Carathéodory class corresponding to are continuous functionals (in general nonlinear) defined on the set of all vector-functions of bounded variation.     

Conservativeness and Extensions of Feller Semigroups

Let denote a Feller semigroup on , and itsextension to the bounded measurable functions. We show that . If the generator of the semigroup is a pseudo-differential operator we can restate this condition in terms of the symbol. As a by-product, we obtain necessary and sufficient conditions for the conservativeness of the semigroup which are again expressed through the symbol.