Integral representations and convergence of the renewal density

We derive integral representations for the renewal density u associated with a square integrable probability density p on [0,∞) having finite expected value μ. These representations express u in terms of the real and the imaginary part of the Fourier transform of p, considered as a function on the lower complex half plane. We use them to give simple global integrability conditions on p under which limt→∞(u(t)−p(t))=1/μ.     

Sobolev embeddings, extensions and measure density condition

There are two main results in the paper. In the first one, Theorem 1, we prove that if the Sobolev embedding theorem holds in Ω, in any of all the possible cases, then Ω satisfies the measure density condition. The second main result, Theorem 5, provides several characterizations of the Wm,p-extension domains for 1<p<∞. As a corollary we prove that the property of being a W1,p-extension domain, 1<p?∞, is invariant under bi-Lipschitz mappings, Theorem 8.     

On deviations and strong asymptotic functions of meromorphic functions of finite lower order

Let f be a transcendental meromorphic function of finite lower order with N(r,f)=S(r,f), and let qν be distinct rational functions, 1?ν?k. For 0<γ<∞ put

     

Zeros of a random algebraic polynomial with coefficient means in geometric progression

This paper provides the mathematical expectation for the number of real zeros of an algebraic polynomial with non-identical random coefficients. We assume that the coefficients {a_j}ⁿ⁻¹_j=0 of the polynomial T(x)=a₀+a₁x+a₂x²+?+a_n−1xⁿ⁻¹ are normally distributed, with mean E(a_j)=μ^j+1, where μ≠0, and constant non-zero variance. It is shown that the behaviour of the random polynomial is independent of the variance on the interval (−1,1); it differs, however, for the cases of |μ|<1 and |μ|>1. On the intervals (−∞,−1) and (1,∞) we find the expected number of real zeros is governed by an interesting relationship between the means of the coefficients and their common variance. Our result is consistent with those of previous works for identically distributed coefficients, in that the expected number of real zeros for μ≠0 is half of that for μ=0.     

Sumset phenomenon in countable amenable groups

Jin proved that whenever A and B are sets of positive upper density in Z, A+B is piecewise syndetic. Jin's theorem was subsequently generalized by Jin and Keisler to a certain family of abelian groups, which in particular contains Zd. Answering a question of Jin and Keisler, we show that this result can be extended to countable amenable groups. Moreover we establish that such sumsets (or — depending on the notation — “product sets”) are piecewise Bohr, a result which for G=Z was proved by Bergelson, Furstenberg and Weiss. In the case of an abelian group G, we show that a set is piecewise Bohr if and only if it contains a sumset of two sets of positive upper Banach density.     

Uniform partitions of frames of exponentials into Riesz sequences

The Feichtinger conjecture, if true, would have as a corollary that for each set E⊂[0,1] and Λ⊂Z, there is a partition Λ₁,…,ΛN of Z such that for each 1?i?N, is a Riesz sequence. In this paper, sufficient conditions on sets E⊂[0,1] and Λ⊂R are given so that can be uniformly partitioned into Riesz sequences.     

Sequences of integers with missing quotients

Let S be any set of natural numbers, and A be a given set of rational numbers. We say that S is an A-quotient-free set if x,y∈S implies y/x∉A. Let and , where the supremum is taken over all A-quotient-free sets S, and are the upper and lower asymptotic densities of S respectively. Let ρ(A)=sup_Sδ(S), where the supremum is taken over all A-quotient-free sets S such that δ(S) exists. In this paper we study the properties of , and ρ(A).     

On Fourier frame of absolutely continuous measures

Let μ be a compactly supported absolutely continuous probability measure on Rn, we show that L²(K,dμ) admits a Fourier frame if and only if its Radon-Nikodym derivative is bounded above and below almost everywhere on the support K. As a consequence, we prove that if μ is an equal weight absolutely continuous self-similar measure on R¹ and L²(K,dμ) admits a Fourier frame, then the density of μ must be a characteristic function of self-similar tile. In particular, this shows for almost everywhere 1/2<λ<1, the L² space of the λ-Bernoulli convolutions cannot admit a Fourier frame.     

The limiting distribution of the divisor function

Let σα(n) be the sum of the αth power of the positive divisors of n. We establish an asymptotic formula for the natural density of the set of integers n that satisfy σα(n)/nα?t, as t→∞. Two other limiting distributions considered are based on Jordan's totient function and Dedekind's psi function.     

Estimates for derivatives of holomorphic functions in a hyperbolic domain

Let f(z) be a holomorphic function in a hyperbolic domain Ω. For 2?n?8, the sharp estimate of |f(n)(z)/f^′(z)| associated with the Poincaré density λΩ(z) and the radius of convexity ρΩc(z) at z∈Ω is established for f(z) univalent or convex in each Δc(z) and z∈Ω. The detailed equality condition of the estimate is given. Further application of the results to the Avkhadiev-Wirths conjecture is also discussed.     

Orlicz-Sobolev extensions and measure density condition

We study the extension properties of Orlicz-Sobolev functions both in Euclidean spaces and in metric measure spaces equipped with a doubling measure. We show that a set E⊂R satisfying a measure density condition admits a bounded linear extension operator from the trace space W1,Ψ(Rn)E_| to W1,Ψ(Rn). Then we show that a domain, in which the Sobolev embedding theorem or a Poincaré-type inequality holds, satisfies the measure density condition. It follows that the existence of a bounded, possibly non-linear extension operator or even the surjectivity of the trace operator implies the measure density condition and hence the existence of a bounded linear extension operator.     

On non-strong jumping numbers and density structures of hypergraphs

Estimating Turán densities of hypergraphs is believed to be one of the most challenging problems in extremal set theory. The concept of ‘jump’ concerns the distribution of Turán densities. A number α∈[0,1) is a jump for r-uniform graphs if there exists a constant c>0 such that for any family F of r-uniform graphs, if the Turán density of F is greater than α, then the Turán density of F is at least α+c. A fundamental result in extremal graph theory due to Erd?s and Stone implies that every number in [0,1) is a jump for graphs. Erd?s also showed that every number in [0,r!/r^r) is a jump for r-uniform hypergraphs. Furthermore, Frankl and Rödl showed the existence of non-jumps for hypergraphs. Recently, more non-jumps were found in [r!/r^r,1) for r-uniform hypergraphs. But there are still a lot of unknowns regarding jumps for hypergraphs. In this paper, we propose a new but related concept-strong-jump and describe several sequences of non-strong-jumps. It might help us to understand the distribution of Turán densities for hypergraphs better by finding more non-strong-jumps.     

The impact of smooth W-grids in the numerical solution of singular perturbation two-point boundary value problems

This paper develops a semi-analytic technique for generating smooth nonuniform grids for the numerical solution of singularly perturbed two-point boundary value problems. It is based on the usual idea of mapping a uniform grid to the desired nonuniform grid. We introduce the W-grid, which depends on the perturbation parameter ? ? 1. For problems on [0, 1] with a boundary layer at one end point, the local mesh width h_i = x_i+1 − x_i, with 0 = x₀ < x₁ < ? < x_N = 1, is condensed at either 0 or 1. Two simple 2nd order finite element and finite difference methods are combined with the new mesh, and computational experiments demonstrate the advantages of the smooth W-grid compared to the well-known piecewise uniform Shishkin mesh. For small ?, neither the finite difference method nor the finite element method produces satisfactory results on the Shishkin mesh. By contrast, accuracy is vastly improved on the W-grid, which typically produces the nominal 2nd order behavior in L², for large as well as small values of N, and over a wide range of values of ?. We conclude that the smoothness of the mesh is of crucial importance to accuracy, efficiency and robustness.     

Diffusion occupation time before exiting

Using the approach of D. Landriault et al. and B. Li and X. Zhou, for a one-dimensional time-homogeneous diffusion process X and constants c 〈 a 〈 b 〈 d, we find expressions of double Laplace transforms of the form Ex[e--θTd--λ∫o Td1a 〈Xs〈b ds; Td 〈 Tc], where Tx denotes the first passage time of level x. As applications, we find explicit Laplace transforms of the corresponding occupation time and occupation density for the Brownian motion with two-valued drift and that of occupation time for the skew Ornstein- Uhlenbeck process, respectively. Some known results are also recovered.     

Density of rational points on del Pezzo surfaces of degree one

We state conditions under which the set S(k)$S(k)$ of k-rational points on a del Pezzo surface S of degree 1 over an infinite field k   of characteristic not equal to 2 or 3 is Zariski dense. For example, it suffices to require that the elliptic fibration S?P¹$S?{\mathbb{P}}^1$ induced by the anticanonical map has a nodal fiber over a k  -rational point of P¹${\mathbb{P}}^1$. It also suffices to require the existence of a point in S(k)$S(k)$ that does not lie on six exceptional curves of S   and that has order 3 on its fiber of the elliptic fibration. This allows us to show that within a parameter space for del Pezzo surfaces of degree 1 over R$\mathbb{R}$, the set of surfaces S   defined over Q$\mathbb{Q}$ for which the set S(Q)$S(\mathbb{Q})$ is Zariski dense, is dense with respect to the real analytic topology. We also include conditions that may be satisfied for every del Pezzo surface S and that can be verified with a finite computation for any del Pezzo surface S that does satisfy them.     

Poincaré inequalities, uniform domains and extension properties for Newton-Sobolev functions in metric spaces

In the setting of metric measure spaces equipped with a doubling measure supporting a weak p-Poincaré inequality with 1?p<∞, we show that any uniform domain Ω is an extension domain for the Newtonian space N1,p(Ω) and that Ω, together with the metric and the measure inherited from X, supports a weak p-Poincaré inequality. For p>1, we obtain a near characterization of N1,p-extension domains with local estimates for the extension operator.     

Pointwise consistency of the hermite series density estimate

The Hermite series estimate of a density f?L_p, p > 1, convergessin the mean square to f (x) for almost all x? |R, ifN (n) → ∞ and N (n) / n² → ) as n → ∞, where N is the number of the Hermite functions in the estimate while n is the number of observations. Moreover, the mean square and weak consistency are equivalent. For m times differentiable densities, the mean squares convergence rate is O(n^?(2m?1)/2m). Results for complete convergence are also given.     

Generalization of transitive fraternal augmentations for directed graphs and its applications

Let be a directed graph. A transitive fraternal augmentation of is a directed graph with the same vertex set, including all the arcs of and such that for any vertices x,y,z,

1.

if and then or (fraternity);

2.

if and then (transitivity).

In this paper, we explore some generalization of the transitive fraternal augmentations for directed graphs and its applications. In particular, we show that the 2-coloring number col₂(G)≤O(∇₁(G)∇₀(G)²), where ∇_k(G) (k≥0) denotes the greatest reduced average density with depth k of a graph G; we give a constructive proof that ∇_k(G) bounds the distance (k+1)-coloring number col_k+1(G) with a function f(∇_k(G)). On the other hand, ∇_k(G)≤(col_2k+1(G))^2k+1. We also show that an inductive generalization of transitive fraternal augmentations can be used to study nonrepetitive colorings of graphs.