On the Minimization of Difference Functions

Simple necessary optimality conditions are formulated for a function f of the form f _ g–h, where g and h are nonsmooth functions. Related sufficient conditions are given for local minimization and global minimization.     

Local sidon sets and uniform convergence of fourier series

For compact groups several necessary and sufficient conditions for a set to be local Sidon are given; these conditions are expressed in functional-analytic terms. An immediate corollary is the existence of a large class of compact groupsG, including all the connected non-Abelian Lie groups, which support functions not inA(G) but having Fourier series that are both unformly and absolutely convergent. This has been shown for the special case ofSU(2) by Mayer. Also several necessary and sufficient conditions for a set to be local Λ (p) are given.     

<Emphasis Type="Italic">ε</Emphasis>-Optimality and <Emphasis Type="Italic">ε</Emphasis>-Lagrangian Duality for a Nonconvex Programming Problem with an Infinite Number of Constraints

In this paper, ε-optimality conditions are given for a nonconvex programming problem which has an infinite number of constraints. The objective function and the constraint functions are supposed to be locally Lipschitz on a Banach space. In a first part, we introduce the concept of regular ε-solution and propose a generalization of the Karush-Kuhn-Tucker conditions. These conditions are up to ε and are obtained by weakening the classical complementarity conditions. Furthermore, they are satisfied without assuming any constraint qualification. Then, we prove that these conditions are also sufficient for ε-optimality when the constraints are convex and the objective function is ε-semiconvex. In a second part, we define quasisaddlepoints associated with an ε-Lagrangian functional and we investigate their relationships with the generalized KKT conditions. In particular, we formulate a Wolfe-type dual problem which allows us to present ε-duality theorems and relationships between the KKT conditions and regular ε-solutions for the dual. Finally, we apply these results to two important infinite programming problems: the cone-constrained convex problem and the semidefinite programming problem.     

The existence of k-to-1 continuous maps between graphs when k is sufficiently large

Jo Heath and the author found a set of necessary and sufficient conditions for the existence of an exactly k-to-1 map from a graph G to a graph H. These conditions were all local ones. Here this result is used to give necessary and sufficient conditions for the existence of an exactly k-to-1 map from G to H when k is sufficiently large. The conditions for this are global in nature. © 1993 John Wiley & Sons, Inc.     

Local properties of algorithms for minimizing nonsmooth composite functions

This paper considers local convergence and rate of convergence results for algorithms for minimizing the composite functionF(x)=f(x)+h(c(x)) wheref andc are smooth buth(c) may be nonsmooth. Local convergence at a second order rate is established for the generalized Gauss—Newton method whenh is convex and globally Lipschitz and the minimizer is strongly unique. Local convergence at a second order rate is established for a generalized Newton method when the minimizer satisfies nondegeneracy, strict complementarity and second order sufficiency conditions. Assuming the minimizer satisfies these conditions, necessary and sufficient conditions for a superlinear rate of convergence for curvature approximating methods are established. Necessary and sufficient conditions for a two-step superlinear rate of convergence are also established when only reduced curvature information is available. All these local convergence and rate of convergence results are directly applicable to nonlinearing programming problems.This work was done while the author was a Research fellow at the Mathematical Sciences Research Centre, Australian National University.     

On global unconstrained minimization of the difference of polyhedral functions

The problem of finding a global minimizer of the difference of polyhedral functions is considered. By means of conjugate functions, necessary and sufficient conditions for the unboundedness and the boundedness of such functions in R ⁿ are derived. Using hypodifferentials of polyhedral functions, necessary and sufficient conditions for a global unconstrained minimum on R ⁿ are proved.     

The existence of periodic solutions of higher order nonlinear periodic difference equations

Sufficient conditions for the existence of at least one periodic solution of two classes of nonlinear higher order periodic difference equations are established, respectively. The results show us that sufficient conditions for the existence of T ? periodic solutions of difference equation are different from those ones for the existence of T ? periodic solutions of differential equation. Copyright © 2012 John Wiley & Sons, Ltd.     

Toughness,minimum degree,and the existence of 2-factors

Degree conditions on the vertices of a t-tough graph G(1 ≦ t ≦ 2) that ensure the existence of a 2-factor in G are presented. These conditions are asymptotically best possible for every t ? [1, 3/2] and for infinitely many t ? [3/2, 2].     

On optimality conditions for structured families of nonlinear programming problems

Optimality conditions for families of nonlinear programming problems inR ⁿ are studied from a generic point of view. The objective function and some of the constraints are assumed to depend on a parameter, while others are held fixed. Techniques of differential topology are used to show that under suitable conditions, certain strong second-order conditions are necessary for optimality except possibly for parameter values lying in a negligible set.Research sponsored, in part, by the Air Force Office of Scientific Research, under grants number 77-3204 and 79-0120.     

Random permutations of countable sets

Summary The main objective of this paper is a study of random decompositions of random point configurations onR ^d into finite clusters. This is achieved by constructing for each configurationZ a random permutation ofZ with finite cycles; these cycles then form the cluster decomposition ofZ. It is argued that a good candidate for a random permutation ofZ is a Gibbs measure for a certain specification, and conditions are given for the existence and uniqueness of such a Gibbs measure. These conditions are then verified for certain random configurationsZ.     

Generalized -complementarity problems in Banach spaces

In this paper, a class of generalized f-complementarity problems and three classes of variational inequalities are introduced in real Banach spaces, and the equivalences among them are established under certain conditions. Several coercivity conditions are introduced for the existence of solutions of the generalized f-complementarity problem. Under some suitable assumptions, it is shown that each of these coercivity conditions is equivalent to the nonemptyness and boundedness of the solution set for the generalized f-complementarity problem in infinite-dimensional Banach spaces, and even the nonemptyness and compactness of the solution set for the generalized f-complementarity problem in finite-dimensional spaces. The existence of least elements for the feasible set of the generalized f-complementarity problem is also presented under suitable conditions.     

A Mixed Boundary Value Problem for Polyanalytic Function of Order n in the Sobolev Space Wn,p (D)

We discuss the construction of a polyanalytic function Φ of order n on a simple bounded domain D. The function satisfies n prescribed generalized Riemann-Hilbert boundary conditions on the boundary ?D and n generalized jump conditions on a simple closed smooth contour γ contained in D. The boundary conditions are transformed into n classical Riemann-Hilbert problems and the n jump conditions into n Riemann problems of conjugation for some 2n holomorphic functions. These transformed problems are solved using the standard methods from the literature.     

Degree equality of projective characters

There are many necessary and su?cient conditions on a finite group G to be abelian, for example, G contains no non-trivial commutators or that χ(1) = 1 for all χ∈Irr(G). Here an investigation is instigated into what remains of some of these conditions when a non-trivial 2-cocycle of G and the corresponding irreducible projective characters are considered instead, such as these characters all having the same degree. The conditions no longer imply, in general, that G is abelian, but it is conjectured that they do, at least, imply that G is solvable and some evidence is produced to support this view.     

The ring of endomorphisms of a finite dimensional module

LetS denote the ring of endomorphisms of a finite dimensional moduleM _R. Necessary and sufficient conditions for a nil subring ofS to be nilpotent are given. We place conditions onM _R so that every nil subring ofS will be nilpotent.     

Relations between roots and coefficients of cubic equations with one root negative the reciprocal of another

Under predetermined conditions on the roots and coefficients, necessary and sufficient conditions relating the coefficients of a given cubic equation x ³?+?ax ²?+?bx?+?c?=?0 can be established so that the roots possess desired properties. In this note, the condition for one root of a cubic equation to be the negative reciprocal of another one is obtained. Given that the coefficients a, b, c of the cubic equation are in arithmetical or geometrical progression, further conditions are deived for one root to be the negative reciprocal of another. These results provide useful means for checking calculated roots of cubic equations and could serve the needs of teachers and students of Mathematical Sciences in tertiary institutions when the solution of cubic equations are first studied.     

Finite difference method in the problem of diffraction of a plane acoustic wave in a half-plane with a cut

In the numerical solution of the diffraction problem for an acoustic plane wave in a half-plane with a cut, boundary conditions that are equivalent to the radiation conditions at infinity are set in a neighborhood of the points of the cut. Joining the physical boundary conditions on the cut, a closing set of equations of order 4N, where N is the number of grid points on the cut, is obtained. The so-called Green’s grid function for the half-plane is used, which makes it possible to pass from one grid layer to another one for the solution satisfying certain conditions at infinity.     

Elementary divisors of induced transformations on tensors via the representation theory of sl 2

We study various stability type conditions on a matrix A related to the consistency of the Lyapunov equation AD+DA^t positive definite, where D is a positive diagonal matrix. Such problems arise in mathematical economics, in the study of time-invariant continuous-time systems and in the study of predator-prey systems. Using a theorem of the alternative, a characterization is given for all A satisfying the above equation. In addition, some necessary conditions for consistency and some related ideas are discussed. Finally, a method for constructing a solution D to the equation is given for matrices A satisfying certain conditions.     

Generalized finiteness conditions

For a module M for various quotient modules M/N of M, cardinality restrictions are placed on the number of generators of submodules of M/N, and on the (infinite) Goldie dimensions of M/N. The conditions FGS and TC of R. Kurshan are formulated and generalized for arbitrary cardinals. The module theoretic consequences of these and other such finite-ness conditions with ascending chain conditions are explored.     

Existence of the uniformly minimum risk equivariant estimators of parameters in a class of normal linear models

In this paper, we study the existence of the uniformly minimum risk equivariant (UMRE) estimators of parameters in a class of normal linear models, which include the normal variance components model, the growth curve model, the extended growth curve model, and the seemingly unrelated regression equations model, and so on. The necessary and sufficient conditions are given for the existence of UMRE estimators of the estimable linear functions of regression coefficients, the covariance matrixV and (trV)^α, where α > 0 is known, in the models under an affine group of transformations for quadratic losses and matrix losses, respectively. Under the (extended) growth curve model and the seemingly unrelated regression equations model, the conclusions given in literature for estimating regression coefficients can be derived by applying the general results in this paper, and the sufficient conditions for non-existence of UMRE estimators ofV and tr(V) are expanded to be necessary and sufficient conditions. In addition, the necessary and sufficient conditions that there exist UMRE estimators of parameters in the variance components model are obtained for the first time.     

Multiplicative Automorphisms of Incidence Algebras

We present necessary and sufficient conditions for a multiplicative automorphism of an incidence algebra of a finite partially ordered set X to be an inner automorphism. These conditions are related to the structure of X as a directed graph.