On some properties of Hermite–Padé approximants to an exponential system

Extremal properties and localization of zeros of general (including nondiagonal) type I Hermite–Padé polynomials are studied for the exponential system {e ^λjz } _j=0 ^k with arbitrary different complex numbers λ₀, λ₁,..., λ_k. The theorems proved in the paper complement and generalize the results obtained earlier by other authors.     

On likelihood ratio ordering of parallel systems with exponential components

Let T(λ₁,...,λ _n ) be the lifetime of a parallel system consisting of exponential components with hazard rates λ₁,...,λ _n , respectively. For systems with only two components, Dykstra et. al. (1997) showed that if (λ₁, λ₂) majorizes (γ₁, γ₂), then, T(λ₁, λ₂) is larger than T(γ₁, γ₂) in likelihood ratio order. In this paper, we extend this theorem to general parallel systems. We introduce a new partial order, the so-called d-larger order, and show that if (λ₁,...,λ _n ) is d-larger than (γ₁,...,γ _n ), then T(λ₁,...,λ _n ) is larger than T(γ₁,...,γ _n ) in likelihood ratio order.     

Bifurcation phenomena for nonlinear superdiffusive Neumann equations of logistic type

We consider a nonlinear Neumann logistic equation driven by the p-Laplacian with a general Carathéodory superdiffusive reaction. We are looking for positive solutions of such problems. Using minimax methods from critical point theory together with suitable truncation techniques, we show that the equation exhibits a bifurcation phenomenon with respect to the parameter λ > 0. Namely, we show that there is a λ_* > 0 such that for λ < λ_*, the problem has no positive solution; for λ = λ_*, it has at least one positive solution; and for λ > λ_*, it has at least two positive solutions.     

New type of block design

We are already familiar with (υ, k, λ)‐difference sets and (υ, k, λ)‐designs. In this paper, we will introduce a new class of difference sets and designs: (υ, k, [λ₁, λ₂, … , λ_m])‐difference sets and (υ, k, [λ₁,λ₂, … , λ_m])‐designs. We will mainly study designs with a relationship we call λ‐equivalence and use them to produce other designs. Some existence or nonexistence theorems will be given. © 2002 Wiley Periodicals, Inc. J Combin Designs 11: 1–23, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10031     

Hermite—Padé Approximants of the Mittag-Leffler Functions

The convergence rate of type II Hermite–Padé approximants for a system of degenerate hypergeometric functions {₁F₁(1, γ; λ_jz)} _j=1 ^k is found in the case when the numbers {λ_j} _j=1 ^k are the roots of the equation λ^k = 1 or real numbers and \(\gamma\in\mathbb{C}\;\backslash\left\{0,-1,-2,...\right\}\). More general statements are obtained for approximants of this type (including nondiagonal ones) in the case of k = 2. The theorems proved in the paper complement and generalize the results obtained earlier by other authors.     

Phase transition for SIR model with random transition rates on complete graphs

We are concerned with the susceptible-infective-removed (SIR) model with random transition rates on complete graphs C _n with n vertices. We assign independent and identically distributed (i.i.d.) copies of a positive random variable ξ on each vertex as the recovery rates and i.i.d. copies of a positive random variable ρ on each edge as the edge infection weights. We assume that a susceptible vertex is infected by an infective one at rate proportional to the edge weight on the edge connecting these two vertices while an infective vertex becomes removed with rate equals the recovery rate on it, then we show that the model performs the following phase transition when at t = 0 one vertex is infective and others are susceptible. There exists λ _c > 0 such that when λ < λ _c ; the proportion r∞ of vertices which have ever been infective converges to 0 weakly as n → +∞ while when λ > λ _c ; there exist c(λ) > 0 and b(λ) > 0 such that for each n ≥ 1 with probability p ≥ b(λ); the proportion r_∞ ≥ c(λ): Furthermore, we prove that λ _c is the inverse of the production of the mean of ρ and the mean of the inverse of ξ.     

Absolute continuity for Banach space valued mappings

We consider the notion ofp, λ, δ-absolute continuity for Banach space valued mappings introduced in [2] for real valued functions and for λ=1. We investigate the validity of some basic properties that are shared byn, λ-absolutely continuous functions in the sense of Maly and hencl. We introduce the class δ-BV _λ,loc ^p and we give a characterization of the functions belonging to this class.     

A Hard-Core Model on a Cayley Tree: An Example of a Loss Network

The paper is about a nearest-neighbor hard-core model, with fugacity λ>0, on a homogeneous Cayley tree of order k(with k+1 neighbors). This model arises as as a simple example of a loss network with a nearest-neighbor exclusion. We focus on Gibbs measures for the hard core model, in particular on ‘splitting’ Gibbs measures generating a Markov chain along each path on the tree. In this model, ?λ>0 and k≥1, there exists a unique translation-invariant splitting Gibbs measure μ^*. Define λ_c=1/(k?1)×(k/(k?1)) ^k . Then: (i) for λ≤λ_c, the Gibbs measure is unique (and coincides with the above measure μ^*), (ii) for λ>λ_c, in addition to μ^*, there exist two distinct translation-periodic measures, μ₊and μ_?, taken to each other by the unit space shift. Measures μ₊and μ_?are extreme ?λ>λ_c. We also construct a continuum of distinct, extreme, non-translational-invariant, splitting Gibbs measures. For $\lambda >1/(\sqrt k - 1) \times (\sqrt k /\sqrt k - 1))^k $ , measure μ^*is not extreme (this result can be improved). Finally, we consider a model with two fugacities, λ_eand λ_o, for even and odd sites. We discuss open problems and state several related conjectures.     

Distribution of the spectrum of a singular positive Sturm–Liouville operator perturbed by the Dirac delta function

We consider the Sturm–Liouville operator generated in the space L ²[0,+∞) by the expression l _a,b:= ?d ²/dx ² +x+aδ(x?b) and the boundary condition y(0) = 0. We prove that the eigenvalues λ _n of this operator satisfy the inequalities λ₁ ⁰ < λ₁ < λ₂ ⁰ and λ_n ⁰ ≤ λ_n < λ_n+1 ⁰, n = 2, 3,..., where {?λ_n ⁰} is the sequence of zeros of the Airy function Ai (λ). We find the asymptotics of λ_n as n → +∞ depending on the parameters a and b.     

Statistical characteristics of continuous functions and statistically weakly invariant sets of controllable system

We continue the investigation of expansion of a concept of invariance for sets which consists in studying statistically invariant sets with respect to control systems and differential inclusions. We consider the statistical characteristics of continuous functions: Upper and lower relative frequency of containing for graph of a function in a given set. We obtain conditions under which statistical characteristics of two various asymptotical equivalent functions coincide; then by the value of one of them it is possible to calculate the value of another one. We adduce the equality for finding relative frequencies of hitting functions the given set in the case when the distance from the graph of one of functions to the given set is a periodic function. A consequence of these statements are conditions of statistically weak invariance of a set with respect to controlled system. For some almost periodic functions we obtain the formulas by which we can calculate the mean values and the statistical characteristics. We also consider the following problem. Let the number λ₀ ∈ [0, 1] be given. It is necessary to find the value c(λ₀) such that the upper solution z(t) of the Cauchy problem does not exceed c(λ₀) with the relative frequency being equal λ₀. Depending on statement of the problem, a value z(t) can be interpreted as the size of population, energy of a particle, concentration of substance, size of manufacture or the price of production.     

Handcuffed designs

Handcuffed designs are a particular case of block designs on graphs. A handcuffed design with parametersv, k, λ consists of a system of orderedk-subsets of av-set, called handcuffed blocks. In a block {A ₁,A ₂,?, A _k } each element is assumed to be handcuffed to its neighbours and the block containsk ? 1 handcuffed pairs (A ₁,A ₂), (A ₂,A ₃), ? (A _k?1,A _k ). These pairs are considered unordered. The collection of handcuffed blocks constitute a hundcuffed design if the following are satisfied: (1) each element of thev-set appears amongst the blocks the same number of times (and at most once in a block) and (2) each pair of distinct elements of thev-set are handcuffed in exactly λ of the blocks. If the total number of blocks isb and each element appears inr blocks the following conditions are necessary for the handcuffed design to exist:

1. λv(v?1) = (k?1) b,
2. rv = kb.

We denote byH(v, k, λ) the class of all handcuffed designs with parametersv, k, λ and sayH (v, k, λ) exists if there is a design with parametersv, k, λ. In this paper we prove that the necessary conditions forH (v, k, λ) exist are also sufficient in the following cases: (a)λ = 1 or 2; (b)k = 3; (c)k is evenk = 2h, and (λ, 2h ? 1) = 1; (d)k is odd,k = 2h + 1, and (λ, 4h)=2 or (λ, 4h)=1.     

A variational approach to define robustness for parametric multiobjective optimization problems

In contrast to classical optimization problems, in multiobjective optimization several objective functions are considered at the same time. For these problems, the solution is not a single optimum but a set of optimal compromises, the so-called Pareto set. In this work, we consider multiobjective optimization problems that additionally depend on an external parameter ${\lambda \in \mathbb{R}}$ , so-called parametric multiobjective optimization problems. The solution of such a problem is given by the λ-dependent Pareto set. In this work we give a new definition that allows to characterize λ-robust Pareto points, meaning points which hardly vary under the variation of the parameter λ. To describe this task mathematically, we make use of the classical calculus of variations. A system of differential algebraic equations will turn out to describe λ-robust solutions. For the numerical solution of these equations concepts of the discrete calculus of variations are used. The new robustness concept is illustrated by numerical examples.     

Fan triangulations of a hyperbolic plane of positive curvature

We study the families (?_λ) of normal partitions of a 3-(1)-contour F of a hyperbolic plane \(\hat H\) of positive curvature into simple 4-contours whose hyperbolic diagonal lines are parallel to the base of F. A 3-(1)-contour with a given partition from a family (?_λ) (or some its normal subpartition) is called a fan. We construct fan partitions P _e, P _h, and P _p of \(\hat H\) whose symmetry groups are generated by a shift along an elliptic (respectively, hyperbolic and parabolic) straight line. It is proved that the partitions P _h and P _p are normal. The partitions P _h and P _p whose cells are trihedrals present examples of the first triangulations of \(\hat H\) .     

Quasisymmetric geometry of the Julia sets of McMullen maps

We study the quasisymmetric geometry of the Julia sets of McMullen maps f_λ(z) = z^m + λ/z^?, where λ ∈ ? {0} and ? and m are positive integers satisfying 1/?+1/m < 1. If the free critical points of f_λ are escaped to the infinity, we prove that the Julia set J_λ of f_λ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a suffcient condition on λ such that J_λ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to the round carpets.     

Schauder Decompositions and the Grothendieck and Dunford-Pettis Properties in Köthe Echelon Spaces of Infinite Order

It is shown that every echelon space λ_∞(A), with A an arbitrary Köthe matrix, is a Grothendieck space with the Dunford-Pettis property. Since λ_∞(A) is Montel if and only if it coincides with λ₀(A), this identifies an extensive class of non-normable, non-Montel Fréchet spaces having these two properties. Even though the canonical unit vectors in λ_∞(A) fail to form an unconditional basis whenever λ_∞(A) ≠ λ₀(A), it is shown, nevertheless, that in this case λ_∞(A) still admits unconditional Schauder decompositions (provided it satisfies the density condition). This is in complete contrast to the Banach space setting, where Schauder decompositions never exist. Consequences for spectral measures are also given.     

The Ostaszewski square and homogeneous Souslin trees

Assume GCH and let λ denote an uncountable cardinal. We prove that if □_λ holds, then this may be witnessed by a coherent sequence 〈C _α|α < λ⁺〉 with the following remarkable guessing property For every sequence 〈A _i | i < λ〉 of unbounded subsets of λ ⁺, and every limit θ < λ, there exists some α < λ ⁺ such that otp(C _α)=θ and the (i + 1) _th -element of C _α is a member of A _i , for all i < θ. As an application, we construct a homogeneous λ ⁺-Souslin tree from □_λ + CH_λ, for every singular cardinal λ. In addition, as a by-product, a theorem of Farah and Veli?kovi?, and a theorem of Abraham, Shelah and Solovay are generalized to cover the case of successors of regulars.     

The parabolic map f1/e(z)=(1/e)e

We consider the exponential maps ?_λ : ? → ? defined by the formula ?_λ (z) = λe^z, λ(0,1/e]. Let J_r(?_λ) be the subset of the Julia set consisting of points that do not escape to infinity under forward iterates of ?. Our main result is that the function λh_λ :=HD(J_r(?_λ),)), λ(0, 1/e], is continuons at the point 1/e. As a preparation for this result we deal with the map ?₁/e itself. We prove that the h₁/e-dimensional Hausdorff measure of J_r(?₁/e) is positive and finite on each horizontal strip, and that the h₁/e-dimensional packing measure of J_r(?_λ) is locally infinite at each point of J_r(?_λ). Our main technical devices are formed by the, associated with ?_λ, maps F_λ defined on some strip P of height 2π and also associated with them tonformal measures.     

Recovery of a function from the coefficients of its Dirichlet series

Let L(λ) be an entire function of exponential type, letγ(t) be the function associated with L(λ) in the sense of Borel, let \(\bar D\) be the smallest closed convex set containing all the singular points ofγ(t), let λ₀, λ₁, ..., λ_n, ... be the simple zeros of L(λ), and let A \(\bar D\) be the space of functions analytic on \(\bar D\) with the topology of the inductive limit. With an arbitraryf (z) ∈ A( \(\bar D\) ) we can associate the series whereC is a closed contour containing \(\bar D\) , on and inside of whichf (z) is analytic. We give a method of recoveringf (z) from the Dirichlet coefficientsa _n.     

Direct and inverse asymptotic scattering problems for Dirac-Krein systems

The asymptotic scattering matrix s _ε(λ) for a Dirac-Krein system with signature matrix J = diag{ I _p ,-I _p }, integrable potential, and the boundary condition u ₁(0, λ) = u ₂(0, λ)ε(λ) with a coefficient ε(λ) that belongs to the Schur class of holomorphic contractive p × p matrix-valued functions in the open upper half-plane is defined. The inverse asymptotic scattering problem for a given s _ε is analyzed by Krein’s method. Earlier studies by Krein and others focused on the case in which ε = I _p (or a constant unitary matrix).