Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

Flow time distributions in aK classM/G/1 priority feedback queue

In this paper, aK classM/G/1 queueing system with feedback is examined. Each arrival requires at least one, and possibly up toK service phases. A customer is said to be in classk if it is waiting for or receiving itskth phase of service. When a customer finishes its phasek ≤K service, it either leaves the system with probabilityp _k, or it instantaneously reenters the system as a classk + 1 customer with probability (1 −p _k). It is assumed thatp _k = 1. Service is non-preemptive and FCFS within a specified priority ordering of the customer classes. Level crossing analysis of queues and delay cycle results are used to derive the Laplace-Stieltjes Transform (LST) for the PDF of the sojourn time in classes 1,…,k;k ≤K.     

Contact Elements on Fibered Manifolds

For every product preserving bundle functor T ^μ on fibered manifolds, we describe the underlying functor of any order (r, s, q), s ≥ r ≤ q. We define the bundle K_k,l^r,s,q YK_{k,l}^{r,s,q} Y of (k, l)-dimensional contact elements of the order (r, s, q) on a fibered manifold Y and we characterize its elements geometrically. Then we study the bundle of general contact elements of type μ. We also determine all natural transformations of K_k,l^r,s,q YK_{k,l}^{r,s,q} Y into itself and of T( K_k,l^r,s,q Y )T\left( {K_{k,l}^{r,s,q} Y} \right) into itself and we find all natural operators lifting projectable vector fields and horizontal one-forms from Y to K_k,l^r,s,q YK_{k,l}^{r,s,q} Y .     

Large Closed Queueing Networks in Semi-Markov Environment and Their Application

The paper studies closed queueing networks containing a server station and k client stations. The server station is an infinite server queueing system, and client stations are single-server queueing systems with autonomous service, i.e. every client station serves customers (units) only at random instants generated by a strictly stationary and ergodic sequence of random variables. The total number of units in the network is N. The expected times between departures in client stations are (N μ _j )⁻¹. After a service completion in the server station, a unit is transmitted to the jth client station with probability p _j (j=1,2,…,k), and being processed in the jth client station, the unit returns to the server station. The network is assumed to be in a semi-Markov environment. A semi-Markov environment is defined by a finite or countable infinite Markov chain and by sequences of independent and identically distributed random variables. Then the routing probabilities p _j (j=1,2,…,k) and transmission rates (which are expressed via parameters of the network) depend on a Markov state of the environment. The paper studies the queue-length processes in client stations of this network and is aimed to the analysis of performance measures associated with this network. The questions risen in this paper have immediate relation to quality control of complex telecommunication networks, and the obtained results are expected to lead to the solutions to many practical problems of this area of research.      

Some properties for a class of symmetric functions with applications

For x = (x ₁, x ₂, ..., x _n ) ∈ ℝ₊ ⁿ , the symmetric function ψ _n (x, r) is defined by $\psi _n (x,r) = \psi _n \left( {x_1 ,x_2 , \cdots ,x_n ;r} \right) = \sum\limits_{1 \leqslant i_1 < i_2 \cdots < i_r \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 + x_{i_j } }} {{x_{i_j } }}} } ,$\psi _n (x,r) = \psi _n \left( {x_1 ,x_2 , \cdots ,x_n ;r} \right) = \sum\limits_{1 \leqslant i_1 < i_2 \cdots < i_r \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 + x_{i_j } }} {{x_{i_j } }}} } ,     

On the number of certain subgraphs contained in graphs with a given number of edges

All graphs considered are finite, undirected, with no loops, no multiple edges and no isolated vertices. For two graphsG, H, letN(G, H) denote the number of subgraphs ofG isomorphic toH. Define also, forl≧0,N(l, H)=maxN(G, H), where the maximum is taken over all graphsG withl edges. We determineN(l, H) precisely for alll≧0 whenH is a disjoint union of two stars, and also whenH is a disjoint union ofr≧3 stars, each of sizes ors+1, wheres≧r. We also determineN(l, H) for sufficiently largel whenH is a disjoint union ofr stars, of sizess ₁≧s ₂≧…≧s _r>r, provided (s ₁−s _r)²<s ₁+s _r−2r. We further show that ifH is a graph withk edges, then the ratioN(l, H)/l ^k tends to a finite limit asl→∞. This limit is non-zero iffH is a disjoint union of stars.     

Stability estimates for h-p spectral element methods for elliptic problems

In a series of papers of which this is the first we study how to solve elliptic problems on polygonal domains using spectral methods on parallel computers. To overcome the singularities that arise in a neighborhood of the corners we use a geometrical mesh. With this mesh we seek a solution which minimizes a weighted squared norm of the residuals in the partial differential equation and a fractional Sobolev norm of the residuals in the boundary conditions and enforce continuity by adding a term which measures the jump in the function and its derivatives at inter-element boundaries, in an appropriate fractional Sobolev norm, to the functional being minimized. Since the second derivatives of the actual solution are not square integrable in a neighborhood of the corners we have to multiply the residuals in the partial differential equation by an appropriate power of r_k, where r_k measures the distance between the pointP and the vertexA _k in a sectoral neighborhood of each of these vertices. In each of these sectoral neighborhoods we use a local coordinate system (τ_k, θ_k) where τ_k = lnr_k and (r_k, θ_k) are polar coordinates with origin at A_k, as first proposed by Kondratiev. We then derive differentiability estimates with respect to these new variables and a stability estimate for the functional we minimize. In [6] we will show that we can use the stability estimate to obtain parallel preconditioners and error estimates for the solution of the minimization problem which are nearly optimal as the condition number of the preconditioned system is polylogarithmic inN, the number of processors and the number of degrees of freedom in each variable on each element. Moreover if the data is analytic then the error is exponentially small inN.     

On sharp Kolmogorov-type inequalities taking into account the number of sign changes of derivatives

We obtain new sharp Kolmogorov-type inequalities, in particular the following sharp inequality for 2π-periodic functions x ∈ L _∞ ^r (T):

A generalization of Meshulam’s theorem on subsets of finite abelian groups with no 3-term arithmetic progression

Let r ₁, …, r _s be non-zero integers satisfying r ₁ + ⋯ + r _s = 0. Let G be a finite abelian group with k _i |k _i-1(2 ≤ i ≤ n), and suppose that (r _i , k ₁) = 1(1 ≤ i ≤ s). Let denote the maximal cardinality of a set which contains no non-trivial solution of r ₁ x ₁ + ⋯ + r _s x _s = 0 with . We prove that . We also apply this result to study problems in finite projective spaces.      

On signed distance-k-domination in graphs

The signed distance-k-domination number of a graph is a certain variant of the signed domination number. If v is a vertex of a graph G, the open k-neighborhood of v, denoted by N _k (v), is the set N _k (v) = {u: u ≠ v and d(u, v) ⩽ k}. N _k [v] = N _k (v) ⋃ {v} is the closed k-neighborhood of v. A function f: V → {−1, 1} is a signed distance-k-dominating function of G, if for every vertex . The signed distance-k-domination number, denoted by γ _k,s (G), is the minimum weight of a signed distance-k-dominating function on G. The values of γ _2,s (G) are found for graphs with small diameter, paths, circuits. At the end it is proved that γ _2,s (T) is not bounded from below in general for any tree T.     

On exact Bernstein-type inequalities for splines

We establish new exact Bernstein-type and Kolmogorov-type inequalities. The main result of this work is the following exact inequality for periodic splines s of order r and defect 1 with nodes at the points iπ/n, i ∈ Z, n ∈ N:

Discretization of Compact Riemannian Manifolds Applied to the Spectrum of Laplacian

For κ ⩾ 0 and r₀ > 0 let ℳ(n, κ, r₀) be the set of all connected, compact n-dimensional Riemannian manifolds (Mⁿ, g) with Ricci (M, g) ⩾ −(n−1) κ g and Inj (M) ⩾ r₀. We study the relation between the kth eigenvalue λ_k(M) of the Laplacian associated to (Mⁿ,g), Δ = −div(grad), and the kth eigenvalue λ_k(X) of a combinatorial Laplacian associated to a discretization X of M. We show that there exist constants c, C > 0 (depending only on n, κ and r₀) such that for all M ∈ ℳ(n, κ, r₀) and X a discretization of for all k < |X|. Then, we obtain the same kind of result for two compact manifolds M and N ∈ ℳ(n, κ, r₀) such that the Gromov–Hausdorff distance between M and N is smaller than some η > 0. We show that there exist constants c, C > 0 depending on η, n, κ and r₀ such that for all . Mathematics Subject Classification (2000): 58J50, 53C20 Supported by Swiss National Science Foundation, grant No. 20-101 469     

Riesz multiwavelet bases generated by vector refinement equation

In this paper, we investigate compactly supported Riesz multiwavelet sequences and Riesz multiwavelet bases for L ₂(ℝ ^s ). Suppose ψ = (ψ¹,..., ψ ^r ) ^T and are two compactly supported vectors of functions in the Sobolev space (H ^μ(ℝ ^s )) ^r for some μ > 0. We provide a characterization for the sequences {ψ _jk ^l : l = 1,...,r, j ε ℤ, k ε ℤ ^s } and to form two Riesz sequences for L ₂(ℝ ^s ), where ψ _jk ^l = m ^j/2ψ ^l (M ^j ·−k) and , M is an s × s integer matrix such that lim _n→∞ M ⁻ⁿ = 0 and m = |detM|. Furthermore, let ϕ = (ϕ¹,...,ϕ ^r ) ^T and be a pair of compactly supported biorthogonal refinable vectors of functions associated with the refinement masks a, and M, where a and are finitely supported sequences of r × r matrices. We obtain a general principle for characterizing vectors of functions ψ^ν = (ψ^ν1,...,ψ^νr ) ^T and , ν = 1,..., m − 1 such that two sequences {ψ _jk ^νl : ν = 1,..., m − 1, l = 1,...,r, j ε ℤ, k ε ℤ ^s } and { : ν=1,...,m−1,ℓ=1,...,r, j ∈ ℤ, k ∈ ℤ ^s } form two Riesz multiwavelet bases for ^L ₂(ℝ ^s ). The bracket product [f, g] of two vectors of functions f, g in (L ₂(ℝ ^s )) ^r is an indispensable tool for our characterization. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771190, 10471123)     

On some extremal problems of different metrics for differentiable functions on the axis

For an arbitrary fixed segment [α, β] ⊂ R and given r ∈ N, A _r , A ₀, and p > 0, we solve the extremal problem

Erdos-Ko-Rado Theorems of Labeled Sets

For k = (k1, ··· , kn) ∈ Nn, 1 ≤ k1 ≤···≤ kn, let Lkr be the family of labeled r-sets on k given by Lkr := {{(a1, la1), ··· , (ar, lar)} : {a1, ··· , ar} ■[n],lai ∈ [kai],i = 1, ··· , r}. A family A of labeled r-sets is intersecting if any two sets in A intersect. In this paper we give the sizes and structures of intersecting families of labeled r-sets.     

The best extension of algebraic polynomials from the unit circle

We study the class $ \mathfrak{P}_n $ \mathfrak{P}_n of algebraic polynomials P _n (x, y) in two variables of total degree n whose uniform norm on the unit circle Γ₁ centered at the origin is at most 1: $ \left\| {P_n } \right\|_{C(\Gamma _1 )} $ \left\| {P_n } \right\|_{C(\Gamma _1 )} ≤ 1. The extension of polynomials from the class $ \mathfrak{P}_n $ \mathfrak{P}_n to the plane with the least uniform norm on the concentric circle Γ _r of radius r is investigated. It is proved that the values θ _n (r) of the best extension of the class $ \mathfrak{P}_n $ \mathfrak{P}_n satisfy the equalities θ _n (r) = r ⁿ for r > 1 and θ _n (r) = r ⁿ⁻¹ for 0 < r < 1.     

Asymptotic expansion of the log-likelihood function based on stopping times defined on a Markov process

Consider the parameter space Θ which is an open subset of ℝ ^k ,k≧1, and for each θ∈Θ, let the r.v.′sY _n ,n=0, 1, ... be defined on the probability space (X,A,P _θ) and take values in a Borel setS of a Euclidean space. It is assumed that the process {Y _n },n≧0, is Markovian satisfying certain suitable regularity conditions. For eachn≧1, let υ _n be a stopping time defined on this process and have some desirable properties. For 0 < τ _n → ∞ asn→∞, set h _n →h ∈R ^k , and consider the log-likelihood function of the probability measure with respect to the probability measure . Here is the restriction ofP _θ to the σ-field induced by the r.v.′sY ₀,Y ₁, ..., . The main purpose of this paper is to obtain an asymptotic expansion of in the probability sense. The asymptotic distribution of , as well as that of another r.v. closely related to it, is obtained under both and . This research was supported by the National Science Foundation, Grant MCS77-09574. Research supported by the National Science Foundation, Grant MCS76-11620.     

On the central value of symmetric square L-functions

Let S _k (N, χ) be the space of cusp forms of weight k, level N and character χ. For let L(s, sym² f) be the symmetric square L-function and be the Rankin–Selberg square attached to f. For fixed k ≥ 2, N prime, and real primitive χ, asymptotic formulas for the first and second moment of the central value of L(s, sym² f) and over a basis of S _k (N, χ) are given as N → ∞. As an application it is shown that a positive proportion of the central values L(1/2, sym² f) does not vanish. The author was supported by NSERC grant 311664-05.     

A regularity criterion for axially symmetric solutions to the Navier–Stokes equations

The axially symmetric solutions to the Navier–Stokes equations are studied. Assume that either the radial component (v _r ) of the velocity belongs to L _∞(0, T;L ₃(Ω₀)) or v _r /r belongs to L _∞(0, T;L _3/2(Ω₀)), where Ω₀ is a neighborhood of the axis of symmetry. Assume additionally that there exist subdomains Ω _k , k = 1, . . . , N, such that W₀ ì è_{k = 1}^N W_k {\Omega_0} \subset \bigcup\limits_{k = 1}^N {{\Omega_k}} , and assume that there exist constants α ₁, α ₂ such that either || v_r ||_{L￥ ( 0,T;L3( Wk ) )} ￡ a₁ or  || \fracv_rr ||_{L￥ ( 0,T;L3/2( Wk ) )} ￡ a₂ {\left\| {{v_r}} \right\|_{{L_\infty }\left( {0,T;{L_3}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_1}\,or\;{\left\| {\frac{{{v_r}}}{r}} \right\|_{{L_\infty }\left( {0,T;{L_{3/2}}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_2} for k = 1, . . . , N. Then the weak solution becomes strong ( v ? W₂^2,1( W×( 0,T ) ),?p ? L₂( W×( 0,T ) ) ) \left( {v \in W_2^{2,1}\left( {\Omega \times \left( {0,T} \right)} \right),\nabla p \in {L_2}\left( {\Omega \times \left( {0,T} \right)} \right)} \right) . Bibliography: 28 titles.