Queueing systems with inventory management with random lead times and with backordering

We investigate M/M/1/∞-systems with inventory management, continuous review, exponentially distributed lead times and backordering. We compute performance measures and derive optimality conditions under different order policies. For performance measures, which are not explicitly at hand, we present an approximation scheme for all possible parameter combinations. Although we cannot completely determine analytically the steady state probabilities for the system we are able to derive functional relations between interesting probabilities and show surprising insensitivity properties of several performance measures. For the approximations we develop an algorithm adapted to the system structure which suggests easy adaption to other systems.Work supported by Deutscher Akademischer Austauschdienst and KBN, Poland, Project D/02/32206.     

Division with remainder in algebras with valuation

To any integral algebra with valuation an abelian group is associated, which measures how much the uniqueness of the division with remainder is violated. The analogy with the divisor class group is discussed. Examples of such groups are computed in cases of formal local rings of some cusps on an algebraic curve.     

Graphs with unavoidable subgraphs with large degrees

Let ??(n, m) denote the class of simple graphs on n vertices and m edges and let G ∈ ?? (n, m). There are many results in graph theory giving conditions under which G contains certain types of subgraphs, such as cycles of given lengths, complete graphs, etc. For example, Turan's theorem gives a sufficient condition for G to contain a K_{k + 1} in terms of the number of edges in G. In this paper we prove that, for m = αn², α > (k - 1)/2k, G contains a K_{k + 1}, each vertex of which has degree at least f(α)n and determine the best possible f(α). For m = ?n²/4? + 1 we establish that G contains cycles whose vertices have certain minimum degrees. Further, for m = αn², α > 0 we establish that G contains a subgraph H with δ(H) ≥ f(α, n) and determine the best possible value of f(α, n).     

Division with remainder in algebras with valuation

To any integral algebra with valuation an abelian group is associated, which measures how much the uniqueness of the division with remainder is violated. The analogy with the divisor class group is discussed. Examples of such groups are computed in cases of formal local rings of some cusps on an algebraic curve.     

Orthogonality Associated with Bessel-Type Sheffer Sequences with Q-Parameters

Mathematical Notes - Certain orthogonal polynomials are involved in various problems occurring in probability, celestial mechanics, combinatorics, and other fields of theoretical and applied...     

p-Laplacian problems with nonlinearities interacting with the spectrum

The aim of this paper is investigating the existence and the multiplicity of weak solutions of the quasilinear elliptic problem $$\left\{\begin{array}{ll}-\Delta_p u\ =\ g(x, u) \quad {\rm in} \quad \Omega,\\ u=0 \qquad \qquad \qquad {\rm on}\quad \partial\Omega,\end{array}\right.$$ where ${1 < p < + \infty, \Delta_p u = {\rm div}(|\nabla {u}|^{p-2}\nabla {u})}$ , Ω is an open bounded domain of ${\mathbb{R}^N (N \geq 3)}$ with smooth boundary ?Ω and the nonlinearity g behaves as u ^p?1 at infinity. The main tools of the proof are some abstract critical point theorems in Bartolo et al. (Nonlinear Anal. 7: 981–1012, 1983), but extended to Banach spaces, and two sequences of quasi–eigenvalues for the p–Laplacian operator as in Candela and Palmieri (Calc. Var. 34: 495–530, 2009), Li and Zhou (J. Lond. Math. Soc. 65: 123–138, 2002).     

Problem with Critical Sobolev Exponent and with Weight

The authors consider the problem: -div(p▽u) = uq-1 λu, u > 0 inΩ, u = 0 on (?)Ω, whereΩis a bounded domain in Rn, n≥3, p :Ω→R is a given positive weight such that p∈H1 (Ω)∩C(Ω),λis a real constant and q = 2n/n-2, and study the effect of the behavior of p near its minima and the impact of the geometry of domain on the existence of solutions for the above problem.     

Integro-differential operators associated with diffusion processes with jumps

We show existence andW _loc ^2,p W^1,-regularity results for the integro-differential equation, associated with a diffusion process with jumps on a bounded domain. The second order elliptic partial differential operator and the integral operator involved here are both maximum principle type operators, which enables us to makeW ^1, a priori estimates.     

Characterization of integral operators with semi-separable kernels with symmetries

We characterize integral operators with semi-separable kernels in a certain class that have different symmetries. We treat the selfadjoint case, the positive case, the J-unitary case, the positive real case, the dissipative case and the contractive case.     

Categories with families and first-order logic with dependent sorts

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type theories. Categories with families (cwfs) is an established semantical structure for dependent type theories, such as Martin-Löf type theory. We introduce in this article a notion of hyperdoctrine over a cwf, and show how FOLDS and DFOL fit in this semantical framework. A soundness and completeness theorem is proved for DFOL. The semantics is functorial in the sense of Lawvere, and uses a dependent version of the Lindenbaum-Tarski algebra for a DFOL theory. Agreement with standard first-order semantics is established. Applications of DFOL to constructive mathematics and categorical foundations are given. A key feature is a local propositions-as-types principle.     

Semi-orthogonal spline-wavelets with derivatives and the algorithm with splitting

This paper deals with the use of a scalar product with derivatives for constructing semi-orthogonal spline-wavelets. The reduction of supports of such wavelets in comparison with the classical semi-orthogonal wavelets is shown. For splines of the third degree, the algorithm of wavelet-transformation in the formof the solution to a three-diagonal systemof linear equations with strict diagonal prevalence has been obtained. The results of numerical experiments on the calculation of derivatives of a discretely given function are presented.     

Pricing with markups in industries with increasing marginal costs

We study a game that models a market in which heterogeneous producers of perfect substitutes make pricing decisions in a first stage, followed by consumers that select a producer that sells at lowest price. As opposed to Cournot or Bertrand competition, producers select prices using a supply function that maps prices to production levels. Solutions of this type of models are normally referred to as supply function equilibria. We consider a market where producers’ convex costs functions are proportional to each other, depending on the efficiency of each particular producer. We provide necessary and sufficient conditions for the existence of an equilibrium that uses simple supply functions that replicate the cost structure. We then specialize the model to monomial cost functions with exponent \(q>0\) , which allows us to reinterpret the simple supply functions as a markup applied to the production cost. We prove that an equilibrium for the markups exists if and only if the number of producers in the market is strictly larger than \(1+q\) , and if an equilibrium exists, it is unique. The main result for monomials is that the equilibrium nearly minimizes the total production cost when the market is competitive. The result holds because when there is enough competition, markups are bounded, thus preventing prices to be significantly distorted from costs. Focusing on the case of linear unit-cost functions on the production quantities, we characterize the equilibrium accurately and refine the previous result to establish an almost tight bound on the worst-case inefficiency of equilibria. Finally, we derive explicitly the producers’ best response for series-parallel networks with linear unit-cost functions, extending our previous result to more general topologies. We prove that a unique equilibrium exists if and only if the network that captures the market structure is 3-edge-connected. For non-series-parallel markets, we provide an example that does not admit an equilibrium on markups.     

Bases with individual brackets and bases with individual rearrangements

Examples of bases with individual brackets and bases with individual rearrangements are given, for which one cannot select the samen _i or , respectively, for allx X.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 49, pp. 43–51, 1988.In conclusion, I would like to seize this opportunity to express my gratitude to V. P. Fonf and to other participants of the Kharkov Seminar on the Geometry of Normed Spaces for their interest in this paper.