On the multiplicative group generated by a dense sequence of integers

The subgroup of the positive rationals, generated by a sequence of upper density , has index essentially not exceeding ^–1.In honor of the seventieth birthday of Professor E. HlawkaPartially supported by N.S.F. Contract No. DMS-8500949.     

Mixed finite element approximation of the vector potential

Summary We consider a mixed finite element approximation of the three dimensional vector potential, which plays an important rôle in the simulation of perfect fluids and in the calculation of rotational corrections to transonic potential flows. The central point of our approach is a saddlepoint formulation of the essential boundary conditions. In particular, this avoids the wellknown Babuka paradox when approximating smooth domains by polyhedrons. Using piecewise linear/piecewise constant elements for the vector potential/the boundary terms, we obtain optimal error estimates under minimal regularity assumptions for the solution of the continuous problem.     

Compatible additive permutations of finite integral bases

Let be an additive permutation of a finite integral base. It is shown that ifB is symmetric, then there is a unique additive permutation ofB which is compatible with in the sense that ^–1 is also an additive permutation; and that, further, ifB is asymmetric, then there is no additive permutation ofB which is compatible with. Thus, in the symmetric case, there are no additively compatible sets (of permutations) forB of size greater than 3. This contrasts with the situation for completely compatible sets (equivalently, additive sequences of permutations) where for certainB compatible sets of size (resp. length) 4 or less are known, but where nothing is known of sets of greater size (resp. length). It is also noted how this result restricts the possibility of a useful multiplication theorem for the additive analogue of perfect systems of difference sets and graceful graphs.     

Some properties of nonoscillating solutions of functional-differential equations ofn-th order

A functional-differential equation ofn-th order is considered, wheren≥2,m≥1 are integers andA _t/^t: C([t₀, ∞), R)→ R, i=1,2,...,m are functionals defined for everyt∈[t ₀, ∞). Sufficient conditions have been found for which all bounded non-oscillatory solutions and all non-oscillatory solutions of the functional-differntial equation tend to zero fort→∞.     

Existence of finitely optimal solutions for infinite-horizon optimal control problems

In this paper, we investigate the existence of finitely optimal solutions for the Lagrange problem of optimal control defined on [0, ) under weaker convexity and seminormality hypotheses than those of previous authors. The notion of finite optimality has been introduced into the literature as the weakest of a hierarchy of types of optimality that have been defined to permit the study of Lagrange problems, arising in mathematical economics, whose cost functions either diverge or are not bounded below. Our method of proof requires us to analyze the continuous dependence of finite-interval Lagrange problems with respect to a prescribed terminal condition. Once this is done, we show that a finitely optimal solution can be obtained as the limit of a sequence of solutions to a sequence of corresponding finite-horizon optimal control problems. Our results utilize the convexity and seminormality hypotheses which are now classical in the existence theory of optimal control.This research forms part of the author's doctoral dissertation written at the University of Delaware, Newark, Delaware under the supervision of Professor Thomas S. Angell.     

Limiting Lagrangians: A primal approach

In this paper, we consider a convex program with either a finite or an infinite number of constraints and its formal Lagrangian dual. We show that either the primal program satisfies a general condition which implies there is no duality gap or that there is a nonzero vectord with the following properties: First, wheneverd is added to the objective function, where is a positive number not greater than one, the resulting program satisfies the general sufficient condition cited above for no duality gap. Second, the optimal value of this perturbed program is attained and tends to the optimal value of the original program as tends to zero. Third, the optimal solutions of the perturbed programs form a minimizing sequence of the original program. As a consequence of the above, we derive the limiting Lagrangian theory of Borwein, Duffin, and Jeroslow.The authors are indebted to an unknown referee who suggested the very short and elegant proofs of Lemma 2.3 and Theorem 2.3.This work was completed while the first author was a member of the College of Management, Georgia Institute of Technology, Atlanta, Georgia.     

Observables on hypergraphs

Observables on hypergraphs are described by event-valued measures. We first distinguish between finitely additive observables and countably additive ones. We then study the spectrum, compatibility, and functions of observables. Next a relationship between observables and certain functionals on the set of measures M(H) of a hypergraph H is established. We characterize hypergraphs for which every linear functional on M(H) is determined by an observable. We define the concept of an effect and show that observables are related to effect-valued measures. Finally, we define operational transformations from M(H) to itself and show that they can be described as a certain combination of effects.On leave from University of Berne, Institute of Mathematical Statistics, Sidlerstrasse 5, CH-3012 Berne, Switzerland.     

On the critical behavior of the magnetization in high-dimensional Ising models

We derive rigorously general results on the critical behavior of the magnetization in Ising models, as a function of the temperature and the external field. For the nearest-neighbor models it is shown that ind4 dimensions the magnetization is continuous atT _c and its critical exponents take the classical values=3 and=1/2, with possible logarithmic corrections atd=4. The continuity, and other explicit bounds, formally extend tod>3 1/2. Other systems to which the results apply include long-range models ind=1 dimension, with 1/|x–y| couplings, for which 2/(–1) replacesd in the above summary. The results are obtained by means of differential inequalities derived here using the random current representation, which is discussed in detail for the case of a nonvanishing magnetic field.Research supported in part by NSF grant PHY-8301493 A02, and by a John S. Guggenheim Foundation fellowship (M.A.).     

Melnikov's criterion for nondifferentiable weak-noise potentials

The stationary probability density of Fokker-Planck models with weak noise is asymptotically of the form exp[–1 /(q)]. If is smooth, it satisfies a Hamilton-Jacobi equation at zero energy and can be interpreted as the action of an associated Hamiltonian system. Under this assumption, has the properties of a Liapounov function, and can be used, e.g., as a thermodynamic potential in nonequilibrium steady states. We consider systems having several attractors and show, by applying Melnikov's method to the associated Hamiltonian, that in general is not differentiable. A small perturbation of a model with differentiable leads to a nondifferentiable . The method is illustrated on a model used in the treatment of the unstable mode in a laser.     

Coloring of universal graphs

LetG be a graph andr a cardinal number. Extending the theorem of J. Folkman we show that if eitherr or clG are finite then there existsH with clH = clG andH (G) _r ¹ . Answering a question of A. Hajnal we show that countably universal graphU ₃ satisfiesU ₃ (U₃) _r ¹ for every finiter.