A generalization of a classical zero-sum problem

In this note, we supply the details of the proof of the fact that if a₁,…,a_n+Ω(n) are integers, then there exists a subset M⊂{1,…,n+Ω(n)} of cardinality n such that the equation

     

Likelihood ratio orderings of spacings of heterogeneous exponential random variables

Let X₁,X₂,…,X_n be independent exponential random variables such that X_i has failure rate λ for i=1,…,p and X_j has failure rate λ^* for j=p+1,…,n, where p≥1 and q=n-p≥1. Denote by D_i:n(p,q)=X_i:n-X_i-1:n the ith spacing of the order statistics , where X_0:n≡0. It is shown that D_i:n(p,q)?_lrD_i+1:n(p,q) for i=1,…,n-1, and that if λ?λ^* then , and for i=1,…,n, where ?_lr denotes the likelihood ratio order. The main results are used to establish the dispersive orderings between spacings.     

On an integral-type operator from iterated logarithmic Bloch spaces into Bloch-type spaces

Let H(B) denote the space of all holomorphic functions on the open unit ball B of Cⁿ. Let φ=(φ₁,…,φ_n) be a holomorphic self-map of B and g∈H(B) such that g(0)=0. In this paper we study the boundedness and compactness of the following integral-type operator, recently introduced by Xiangling Zhu and the second author

     

Explicit formulae for the Brenti's polynomials γa1,…,ar

We introduce two kinds of generalized Catalan numbers and χ(a₁,…,a_r;h) . They can be interpreted as the numbers of certain bounded lattice paths in a lattice point set Δ_n (n?1). Three explicit formulae for the Brenti's polynomials γ_a1,…,ar are given in terms of generalized Catalan numbers. By these formulae, we study the properties of γ_a1,…,ar and answer some problems of Brenti.     

Laplacian energy of a graph

Let G be a graph with n vertices and m edges. Let λ₁, λ₂, … , λ_n be the eigenvalues of the adjacency matrix of G, and let μ₁, μ₂, … , μ_n be the eigenvalues of the Laplacian matrix of G. An earlier much studied quantity is the energy of the graph G. We now define and investigate the Laplacian energy as . There is a great deal of analogy between the properties of E(G) and LE(G), but also some significant differences.     

Schur-class multipliers on the Arveson space: De Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations

An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers S(λ) for the reproducing kernel Hilbert space H(kd) on the unit ball Bd⊂Cd, where kd is the positive kernel kd(λ,ζ)=1/(1−〈λ,ζ〉) on Bd. The reproducing kernel space H(KS) associated with the positive kernel KS(λ,ζ)=(I−S(λ)S^∗(ζ))⋅kd(λ,ζ) is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space H(KS) in general may not be invariant under the adjoints of the multiplication operators on H(kd). We show that invariance of H(KS) under for each j=1,…,d is equivalent to the existence of a realization for S(λ) of the form S(λ)=D+C⁻¹(I−λ₁A₁−?−λdAd)(λ₁B₁+?+λdBd) such that connecting operator has adjoint U^∗ which is isometric on a certain natural subspace (U is “weakly coisometric”) and has the additional property that the state operators A₁,…,Ad pairwise commute; in this case one can take the state space to be the functional-model space H(KS) and the state operators A₁,…,Ad to be given by (a de Branges-Rovnyak functional-model realization). We show that this special situation always occurs for the case of inner functions S (where the associated multiplication operator MS is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators A₁,…,Ad satisfy an additional stability property.     

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.     

On an eigenvalue problem involving variable exponent growth conditions

We study the problem in Ω, u=0 on ∂Ω, where Ω is a bounded domain in R^N, is a continuous function and λ and ε are two positive constants. We prove that for any ε>0 each λ∈(0,λ₁) is an eigenvalue of the above problem, where λ₁ is the principal eigenvalue of the Laplace operator on Ω. Moreover, for each eigenvalue λ∈(0,λ₁) it corresponds a unique eigenfunction. The proofs will be based on the Banach fixed point theorem combined with adequate variational techniques.     

Nodal and positive solutions for singular semilinear elliptic equations with critical exponents in symmetric domains

In this paper, we consider the semilinear elliptic problem in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in RN, N?4, , is the critical Sobolev exponent, K(x) is a continuous function. When Ω and K(x) are invariant under a group of orthogonal transformations, we prove the existence of nodal and positive solutions for 0<λ<λ₁, where λ₁ is the first Dirichlet eigenvalue of on Ω.     

Classification of systems of Dyson-Schwinger equations in the Hopf algebra of decorated rooted trees

We consider systems of combinatorial Dyson-Schwinger equations (briefly, SDSE) , … , in the Connes-Kreimer Hopf algebra HI of rooted trees decorated by I={1,…,N}, where is the operator of grafting on a root decorated by i, and F₁,…,FN are non-constant formal series. The unique solution X=(X₁,…,XN) of this equation generates a graded subalgebra H(S) of HI. We characterise here all the families of formal series (F₁,…,FN) such that H(S) is a Hopf subalgebra. More precisely, we define three operations on SDSE (change of variables, dilatation and extension) and give two families of SDSE (cyclic and fundamental systems), and prove that any SDSE (S) such that H(S) is Hopf is the concatenation of several fundamental or cyclic systems after the application of a change of variables, a dilatation and iterated extensions.     

Inequalities for the median of the gamma distribution

We provide several new inequalities involving λ_n, the median of the gamma distribution of order n+1 with parameter 1. Among others, we present sharp upper and lower bounds for the arithmetic mean of λ₁,λ₂,…,λ_n. For all integers n?1 we have

     

On zero varieties of holomorphic functions in Hardy spaces

In contrast to the famous Henkin-Skoda theorem concerning the zero varieties of holomorphic functions in the Nevanlinna class on the open unit ball B_n in , n?2, it is proved in this article that for any nonnegative, increasing, convex function ?(t) defined on , there exists satisfying such that there is no f∈H^p(B_n), 0<p<∞, with . Here N_g(ζ,1) denotes the integrated zero counting function associated with the slice function g_ζ. This means that the zero sets of holomorphic functions belonging to the Hardy spaces H^p(B_n), 0<p<∞, unlike that of the holomorphic functions in the Nevanlinna class, cannot be characterized in the above manner.     

Formulas of Liapunov functions for systems of linear partial differential equations

Formulas of explicit quadratic Liapunov functions for showing asymptotic stability of the system of linear partial differential equations on (0,∞)×Ω, are constructed, where A is an n×n real matrix, u=T(u₁,u₂,…,un), Ω is a bounded domain in Rk with smooth boundary ∂Ω, and Δ denotes the Laplacian operator on Rk with Δu=T(Δu₁,Δu₂,…,Δun). These formulas are also modified and applied to a number of nonautonomous linear and nonlinear systems and models in structural stability, traveling wave, and Navier-Stokes equations.     

Graham’s pebbling conjecture on product of thorn graphs of complete graphs

The pebbling number of a graph G, f(G), is the least n such that, no matter how n pebbles are placed on the vertices of G, we can move a pebble to any vertex by a sequence of pebbling moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. Let p₁,p₂,…,p_n be positive integers and G be such a graph, V(G)=n. The thorn graph of the graph G, with parameters p₁,p₂,…,p_n, is obtained by attaching p_i new vertices of degree 1 to the vertex u_i of the graph G, i=1,2,…,n. Graham conjectured that for any connected graphs G and H, f(G×H)≤f(G)f(H). We show that Graham’s conjecture holds true for a thorn graph of the complete graph with every by a graph with the two-pebbling property. As a corollary, Graham’s conjecture holds when G and H are the thorn graphs of the complete graphs with every .     

The exact asymptotic behaviour of the unique solution to a singular nonlinear Dirichlet problem

By Karamata regular varying theory, a perturbed argument and constructing comparison functions, we show the exact asymptotic behaviour of the unique solution near the boundary to a singular Dirichlet problem −Δu=b(x)g(u)+λf(u), u>0, x∈Ω, u_|∂Ω=0, which is independent on λf(u), and we also show the existence and uniqueness of solutions to the problem, where Ω is a bounded domain with smooth boundary in RN, λ>0, g∈C¹((0,∞),(0,∞)) and there exists γ>1 such that , ∀ξ>0, , the function is decreasing on (0,∞) for some s₀>0, and b is nonnegative nontrivial on Ω, which may be vanishing on the boundary.     

Necessary and sufficient conditions for the boundedness of B-Riesz potential in the B-Morrey spaces

We consider the generalized shift operator, associated with the Laplace-Bessel differential operator . The maximal operator Mγ (B-maximal operator) and the Riesz potential (B-Riesz potential), associated with the generalized shift operator are investigated. At first, we prove that the B-maximal operator Mγ is bounded from the B-Morrey space Lp,λ,γ to Lp,λ,γ for all 1<p<∞ and 0?λ<n+|γ|. We prove that the B-Riesz potential , 0<α<n+|γ| is bounded from the B-Morrey space Lp,λ,γ to Lq,λ,γ if and only if α/(n+|γ|−λ)=1/p−1/q, 1<p<(n+|γ|−λ)/α. Also we prove that the B-Riesz potential is bounded from the B-Morrey space L1,λ,γ to the weak B-Morrey space WLq,λ,γ if and only if α/(n+|γ|−λ)=1−1/q.     

Interior estimates for solutions of a fourth order nonlinear partial differential equation

Let be a locally strongly convex hypersurface, given by the graph of a convex function xn+1=f(x₁,…,xn) defined in a convex domain Ω⊂Rn. M is called a α-extremal hypersurface, if f is a solution of