Minimal sets in monotone and sublinear skew-product semiflows I: The general case

The dynamics of a general monotone and sublinear skew-product semiflow is analyzed, paying special attention to the long-term behavior of the strongly positive semiorbits and to the minimal sets. Four possibilities arise depending on the existence or absence of strongly positive minimal sets and bounded semiorbits, as well as on the coexistence or not of bounded and unbounded strongly positive semiorbits. Previous results are unified and extended, and scenarios which are impossible in the autonomous or periodic cases are described.     

Completeness for flat modal fixpoint logics

This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ(x,p₁,…,p_n), where x occurs only positively in γ, we obtain the flat modal fixpoint language L_?(Γ) by adding to the language of polymodal logic a connective ?_γ for each γ∈Γ. The term ?_γ(φ₁,…,φ_n) is meant to be interpreted as the least fixed point of the functional interpretation of the term γ(x,φ₁,…,φ_n). We consider the following problem: given Γ, construct an axiom system which is sound and complete with respect to the concrete interpretation of the language L_?(Γ) on Kripke structures. We prove two results that solve this problem.First, let be the logic obtained from the basic polymodal by adding a Kozen-Park style fixpoint axiom and a least fixpoint rule, for each fixpoint connective ?_γ. Provided that each indexing formula γ satisfies a certain syntactic criterion, we prove this axiom system to be complete.Second, addressing the general case, we prove the soundness and completeness of an extension of . This extension is obtained via an effective procedure that, given an indexing formula γ as input, returns a finite set of axioms and derivation rules for ?_γ, of size bounded by the length of γ. Thus the axiom system is finite whenever Γ is finite.     

The multiplicity of solutions for perturbed second-order Hamiltonian systems with impulsive effects

In this paper, we study the existence of multiple solutions for a class of second-order impulsive Hamiltonian systems. We give some new criteria for guaranteeing that the impulsive Hamiltonian systems with a perturbed term have at least three solutions by using a variational method and some critical points theorems of B. Ricceri. We extend and improve on some recent results. Finally, some examples are presented to illustrate our main results.     

Meta densities and the shape of their sample clouds

This paper compares the shape of the level sets for two multivariate densities. The densities are positive and continuous, and have the same dependence structure. The density f is heavy-tailed. It decreases at the same rate-up to a positive constant-along all rays. The level sets {f>c} for c↓0, have a limit shape, a bounded convex set. We transform each of the coordinates to obtain a new density g with Gaussian marginals. We shall also consider densities g with Laplace, or symmetric Weibull marginal densities. It will be shown that the level sets of the new light-tailed density g also have a limit shape, a bounded star-shaped set. The boundary of this set may be written down explicitly as the solution of a simple equation depending on two positive parameters. The limit shape is of interest in the study of extremes and in risk theory, since it determines how the extreme observations in different directions relate. Although the densities f and g have the same copula-by construction-the shapes of the level sets are not related. Knowledge of the limit shape of the level sets for one density gives no information about the limit shape for the other density.     

Hypergeometric systems of Gelfand-type equations and series in orthogonal polynomials

We describe multivariable hypergeometric series in orthogonal polynomials. These series are solutions of special systems of Gelfand-type equations. The difference andq-analogs are also given.     

On the stochastic independence properties of hard-core distributions

A probability measurep on the set of matchings in a graph (or, more generally 2-bounded hypergraph) ishard-core if for some : [0,), the probabilityp(M) ofM is proportional to . We show that such distributions enjoy substantial approximate stochastic independence properties. This is based on showing that, withM chosen according to the hard-core distributionp, MP () the matching polytope of , and >0, if the vector ofmarginals, (Pr(AM):A an edge of ), is in (1–) MP (), then the weights (A) are bounded by someA(). This eventually implies, for example, that under the same assumption, with fixed, as the distance betweenA, B tends to infinity.Thought to be of independent interest, our results have already been applied in the resolutions of several questions involving asymptotic behaviour of graphs and hypergraphs (see [14, 16], [11]–[13]).Supported in part by NSFThis work forms part of the author's doctoral dissertation [16]; see also [17]. The author gratefully acknowledges NSERC for partial support in the form of a 1967 Science and Engineering Scholarship.     

A conditional dilatation equation

Summary The following theorem holds true. Theorem. Let X be a normed real vector space of dimension 3 and let k > 0 be a fixed real number. Suppose that f: X X and g: X × X are functions satisfying x – y = k f(x) – f(y) = g(x, y)(x – y) for all x, y X. Then there exist elements and t X such that f(x) = x + t for all x X and such that g(x, y) = for all x, y X with x – y = k.     

Optimal buffer size and dynamic rate control for a queueing system with impatient customers in heavy traffic

We address a rate control problem associated with a single server Markovian queueing system with customer abandonment in heavy traffic. The controller can choose a buffer size for the queueing system and also can dynamically control the service rate (equivalently the arrival rate) depending on the current state of the system. An infinite horizon cost minimization problem is considered here. The cost function includes a penalty for each rejected customer, a control cost related to the adjustment of the service rate and a penalty for each abandoning customer. We obtain an explicit optimal strategy for the limiting diffusion control problem (the Brownian control problem or BCP) which consists of a threshold-type optimal rejection process and a feedback-type optimal drift control. This solution is then used to construct an asymptotically optimal control policy, i.e. an optimal buffer size and an optimal service rate for the queueing system in heavy traffic. The properties of generalized regulator maps and weak convergence techniques are employed to prove the asymptotic optimality of this policy. In addition, we identify the parameter regimes where the infinite buffer size is optimal.     

Lee–Yang Problems and the Geometry of Multivariate Polynomials

We describe all linear operators on spaces of multivariate polynomials preserving the property of being non-vanishing in open circular domains. This completes the multivariate generalization of the classification program initiated by Pólya–Schur for univariate real polynomials and provides a natural framework for dealing in a uniform way with Lee–Yang type problems in statistical mechanics, combinatorics, and geometric function theory.     

Investigations of the local distortions and EPR parameters for Cu2+ in xNa2O‐(30–x)K2O‐70B2O3 (5 ≤ x ≤ 25 mol%) glasses

The local distortions and electron paramagnetic resonance parameters for Cu²⁺ in the mixed alkali borate glasses xNa₂O‐(30–x)K₂O‐70B₂O₃ (5 ≤ x ≤ 25 mol%) are theoretically studied with distinct modifier Na₂O compositions x. Owing to the Jahn–Teller effect, the octahedral [CuO₆]¹⁰⁻ clusters show significant tetragonal elongation ratios p ~19% along the C₄ axis. With the increase of composition x, the cubic field parameter Dq and the orbital reduction factor k exhibit linearly and quasi‐linearly decreasing tendencies, respectively, whereas the relative tetragonal elongation ratio p has quasi‐linearly increasing rule with some fluctuations, leading to the minima of g factors at x = 10 mol%. The composition dependences of the optical spectra and the electron paramagnetic resonance parameters are suitably reproduced by the linear or quasi‐linear relationships of the relevant quantities (i.e., Dq, k, and p) with x. The above composition dependences are analyzed from mixed alkali effect, which brings forward the modifications of the local crystal‐fields and the electronic cloud distribution around Cu²⁺ with the variation of the composition of Na₂O.