The N threshold policy for the GI/M/1 queue

We study a GI/M/1 queue with an N threshold policy. In this system, the server stops attending the queue when the system becomes empty and resumes serving the queue when the number of customers reaches a threshold value N. Using the embeded Markov chain method, we obtain the stationary distributions of queue length and waiting time and prove the stochastic decomposition properties.     

Duality in ε-variational inequality problems

In this paper a general analysis of duality for an extended ε-variational inequality problem based on the notions of ε-convexity and ε-conjugacy is performed. Optimal solutions of both the primal and dual problems are also related to the saddle point of an associated Lagrangian. Gap functions for these problems are proposed. An existence theorem for the extended ε-variational inequality is also established by means of the KKM lemma.     

Boolean functions with MacWilliams duality

We introduce a new class of Boolean functions for which the MacWilliams duality holds, called MacWilliams-dual functions, by considering a dual notion on Boolean functions. By using the MacWilliams duality, we prove the Gleason-type theorem on MacWilliams-dual functions. We show that a collection of MacWilliams-dual functions contains all the bent functions and all formally self-dual functions. We also obtain the Pless power moments for MacWilliams-dual functions. Furthermore, as an application, we prove the nonexistence of bent functions in 2n variables with minimum degree n?k for any nonnegative integer k and n ≥ N with some positive integer N under a certain condition.     

Controllability for a parabolic equation with a nonlinear term involving the state and the gradient

In this article, we consider the controllability of a quasi-linear heat equation involving gradient terms with Dirichlet boundary conditions in a bounded domain of R^N. The results are established by using the variational methods, the related duality theory and Kakutani Fixed-point Theorem.     

The influence of delivery times on repairable k-out-of-N systems with spares

The k-out-of-N structure is a popular type of redundancy in fault-tolerant systems with wide applications in computer and communication systems, and power transmission and distribution systems, among others, during the past several decades. In this paper, our interest is in such a reliability system with identical, repairable components having exponential life times, in which at least k out of N components are needed for the system to perform its functions. There is a single repairman who attends to failed components on a first-come-first-served basis. The repair times are assumed to be of phase type. The system has K spares which can be tapped to extend the lifetime of the system using a probabilistic rule. We assume that the delivery time of a spare is exponentially distributed and there could be multiple requests for spares at any given time. Our main goal is to study the influence of delivery times on the performance measures of the k-out-of-N reliability system. To that end, the system is analyzed using a finite quasi-birth-and-death process and some interesting results are obtained.     

Exact Controllability to Trajectories for a Semilinear Heat Equation with a Superlinear Nonlinearity

In this paper, we consider exact controllability to trajectories for a semilinear heat equation with nonlinearity that has superlinear growth at infinity with Dirichlet boundary conditions in a bounded domain of ? ^N . The results are established by using the variational methods, the related duality theory and Kakutani Fixed-point Theorem and generalize the previous results.     

Second order mixed type duality in multiobjective programming problems

Second order mixed type dual is introduced for multiobjective programming problems. Results about weak duality, strong duality, and strict converse duality are established under generalized second order (F,ρ)-convexity assumptions. These results generalize the duality results recently given by Aghezzaf and Hachimi involving generalized first order (F,ρ)-convexity conditions.     

Stone style duality for distributive nearlattices

The aim of this paper is to study the variety of distributive nearlattices with greatest element. We will define the class of N-spaces as sober-like topological spaces with a basis of open, compact, and dually compact subsets satisfying an additional condition. We will show that the category of distributive nearlattices with greatest element whose morphisms are semi-homomorphisms is dually equivalent to the category of N-spaces with certain relations, called N-relations. In particular, we give a duality for the category of distributive nearlattices with homomorphisms. Finally, we apply these results to characterize topologically the one-to-one and onto homomorphisms, the subalgebras, and the lattice of the congruences of a distributive nearlattice.     

Symmetric duality with (p, r) − ρ − (η, θ)-invexity

In this paper we introduce a new type of generalized invex function, called (p, r) − ρ − (η, θ)-invex function and study symmetric duality results under these assumptions. In our study the nonnegative orthants for the constraints are replaced by closed convex cones and their polars. We establish weak and strong duality theorems under (p, r) − ρ − (η, θ)-invexity assumptions for the symmetric dual problems. We also give many examples to justify our results.     

Saddle points and Lagrangian-type duality for discrete minmax fractional subset programming problems with generalized convex functions

In this paper we present four sets of saddle-point-type optimality conditions, construct two Lagrangian-type dual problems, and prove weak and strong duality theorems for a discrete minmax fractional subset programming problem. We establish these optimality and duality results under appropriate (b,?,ρ,θ)-convexity hypotheses.     

Convex polarities over ordered fields

We use tools and methods from real algebraic geometry (spaces of ultrafilters, elimination of quantifiers) to formulate a theory of convexity in K^N over an arbitrary ordered field. By defining certain ideal points (which can be viewed as generalizations of recession cones) we obtain a generalized notion of polar set. These satisfy a form of polar duality that applies to general convex sets and does not reduce to classical duality if K is the field of real numbers. As an application we give a partial classification of total orderings of Artinian local rings and two applications to ordinary convex geometry over the real numbers.     

On the polynomial Lindenstrauss theorem

Under certain hypotheses on the Banach space X, we show that the set of N-homogeneous polynomials from X to any dual space, whose Aron–Berner extensions are norm attaining, is dense in the space of all continuous N-homogeneous polynomials. To this end we prove an integral formula for the duality between tensor products and polynomials. We also exhibit examples of Lorentz sequence spaces for which there is no polynomial Bishop–Phelps theorem, but our results apply. Finally we address quantitative versions, in the sense of Bollobás, of these results.     

Nonsmooth minimax programming under locally Lipschitz (Φ, ρ)-invexity

Minimax programming problems involving locally Lipschitz (Φ, ρ)-invex functions are considered. The parametric and non-parametric necessary and sufficient optimality conditions for a class of nonsmooth minimax programming problems are obtained under nondifferentiable (Φ, ρ)-invexity assumption imposed on objective and constraint functions. When the sufficient conditions are utilized, parametric and non-parametric dual problems in the sense of Mond-Weir and Wolfe may be formulated and duality results are derived for the considered nonsmooth minimax programming problem. With the reference to the said functions we extend some results of optimality and duality for a larger class of nonsmooth minimax programming problems.     

A note on multiobjective second-order symmetric duality

In this paper, we establish a strong duality theorem for a pair of multiobjective second-order symmetric dual programs. This removes an omission in an earlier result by Yang et al. [X.M. Yang, X.Q. Yang, K.L. Teo, S.H. Hou, Multiobjective second-order symmetric duality with F-convexity, Euro. J. Oper. Res. 165 (2005) 585–591].     

Boundary Controllability of a Stationary Stokes System with Linear Convection Observed on an Interior Curve

We study the approximate controllability of a stationary Stokes system with linearized convection in a bounded domain of ^N. The control acts on a part of the boundary and the velocity field is observed on an interior curve (N=2) or surface (N=3). We establish the L ²-approximate controllability under certain compatibility conditions and suitable geometrical assumptions on the curve or surface. We build controls of minimal L ²-norm by duality. To compute the control, we propose a numerical method, based on duality techniques, consisting in the minimization of a nonquadratic functional coupled to a Stokes system. It is tested in several situations leading to interesting numerical results.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

Dual and Feller-Reuter-Riley transition functions

In this paper, we investigate duality and Feller-Reuter-Riley (FRR) property of continuous-time Markov chains (CTMCs). A criterion of dual q-functions is given in terms of their q-matrices. For a dual q-matrix Q, a necessary and sufficient conditions for the minimal Q-function to be a FRR transition function are also given. Finally, by using dual technique, we give a criterion of FRR Q-functions when Q is monotone.     

Virial type blow-up solutions for the Zakharov system with magnetic field in a cold plasma

In this paper, we study blow-up solutions of virial type to the Zakharov system with magnetic field in a cold plasma in RN (N=2,3). After obtaining some a priori estimates on those terms generated by the magnetic field, we obtain a virial type blow-up result to the system under consideration. The result suggests that the magnetic field in a cold plasma doesn?t affect the virial type blow-up character of the Zakharov system.     

N-fold Darboux transformation and solitonic interactions of a variable-coefficient generalized Boussinesq system in shallow water

Under consideration in this paper is a variable-coefficient generalized Boussinesq system for the long weakly-nonlinear and weakly-dispersive surface waves in shallow water. With the aid of symbolic computation, N-fold Darboux transformation (N-DT) is constructed for that system. Analytic solutions of the system are obtained via the N-DT. Elastic interactions of three bell-shaped and periodic bell-shaped solitons are obtained. Fusion interactions and periodic fusion-fission interactions of the solitary waves are graphically analyzed, which are inelastic.     

An alternative formulation for a new closed cone constraint qualification

We give an alternative formulation for the so-called closed cone constraint qualification (CCCQ) related to a convex optimization problem in Banach spaces recently introduced in the literature. This new formulation allows to prove in a simple way that (CCCQ) is weaker than some generalized interior-point constraint qualifications given in the past. By means of some insights from the theory of conjugate duality we also show that strong duality still holds under some weaker hypotheses than the ones considered so far in the literature.