Necessary and sufficient conditions for functions involving the tri- and tetra-gamma functions to be completely monotonic

The psi function ψ(x) is defined by ψ(x)=Γ^′(x)/Γ(x), where Γ(x) is the gamma function. We give necessary and sufficient conditions for the function ψ^″(x)+[ψ^′(x+α)]² or its negative to be completely monotonic on (−α,∞), where . We also prove that the function [ψ^′(x)]²+λψ^″(x) is completely monotonic on (0,∞) if and only if λ1. As an application of the latter conclusion, the monotonicity and convexity of the function e^pψ(x+1)−qx with respect to x(−1,∞) are thoroughly discussed for p≠0 and .     

Orthogonal polynomials for exponential weights on , II

Let I=[0,d), where d is finite or infinite. Let W_ρ(x)=x^ρexp(-Q(x)), where and Q is continuous and increasing on I, with limit ∞ at d. We obtain further bounds on the orthonormal polynomials associated with the weight , finer spacing on their zeros, and estimates of their associated fundamental polynomials of Lagrange interpolation. In addition, we obtain weighted Markov and Bernstein inequalities.     

Uniqueness of limit cycles for polynomial first-order differential equations

We study the uniqueness of limit cycles (periodic solutions that are isolated in the set of periodic solutions) in the scalar ODE in terms of {i_k}, {j_k}, {n_k}. Our main result characterizes, under some additional hypotheses, the exponents {i_k}, {j_k}, {n_k}, such that for any choice of the equation has at most one limit cycle. The obtained results have direct application to rigid planar vector fields, thus, planar systems of the form x^′=y+xR(x,y), y^′=−x+yR(x,y), where . Concretely, when the set has at least three elements (or exactly one) and another technical condition is satisfied, we characterize the exponents {i_k}, {j_k} such that the origin of the rigid system is a center for any choice of and also when there are no limit cycles surrounding the origin for any choice of .     

Monotone Jacobi parameters and non-Szegő weights

We relate asymptotics of Jacobi parameters to asymptotics of the spectral weights near the edges. Typical of our results is that for a_n≡1, b_n=−Cn^−β (), one has on (−2,2), and near x=2, where

     

Permutation polynomials of the form

Recently, several classes of permutation polynomials of the form (x²+x+δ)^s+x over have been discovered. They are related to Kloosterman sums. In this paper, the permutation behavior of polynomials of the form (x^p−x+δ)^s+L(x) over is investigated, where L(x) is a linearized polynomial with coefficients in . Six classes of permutation polynomials on are derived. Three classes of permutation polynomials over are also presented.     

Galerkin solution of a singular integral equation with constant coefficients

Galerkin methods are used to approximate the singular integral equation

with solution φ having weak singularity at the endpoint −1, where a, b≠0 are constants. In this case φ is decomposed as φ(x)=(1−x)^α(1+x)^βu(x), where β=−α, 0<α<1. Jacobi polynomials are used in the discussions. Under the conditions fH^μ[−1,1] and k(t,x)H^μ,μ[−1,1]×[−1,1], 0<μ<1, the error estimate under a weighted L² norm is O(n^−μ). Under the strengthened conditions f^″H^μ[−1,1] and , 2α−<μ<1, the error estimate under maximum norm is proved to be O(n^2α−−μ+), where , >0 is a small enough constant.     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.     

Uniform asymptotic approximations for incomplete Riemann Zeta functions

An incomplete Riemann Zeta function Z₁(α,x) is examined, along with a complementary incomplete Riemann Zeta function Z₂(α,x). These functions are defined by and Z₂(α,x)=ζ(α)-Z₁(α,x), where ζ(α) is the classical Riemann Zeta function. Z₁(α,x) has the property that for and α≠1. The asymptotic behaviour of Z₁(α,x) and Z₂(α,x) is studied for the case fixed and , and using Liouville–Green (WKBJ) analysis, asymptotic approximations are obtained, complete with explicit error bounds, which are uniformly valid for 0x<∞.     

On perturbations of strongly admissible prior distributions

Consider a parametric statistical model, P(dx|θ), and an improper prior distribution, ν(dθ), that together yield a (proper) formal posterior distribution, Q(dθ|x). The prior is called strongly admissible if the generalized Bayes estimator of every bounded function of θ is admissible under squared error loss. Eaton [M.L. Eaton, A statistical diptych: Admissible inferences-recurrence of symmetric Markov chains, Annals of Statistics 20 (1992) 1147–1179] used the Blyth–Stein Lemma to develop a sufficient condition, call it , for strong admissibility of ν. Our main result says that, under mild regularity conditions, if ν satisfies and g(θ) is a bounded, non-negative function, then the perturbed prior distribution g(θ)ν(dθ) also satisfies and is therefore strongly admissible. Our proof has three basic components: (i) Eaton's [M.L. Eaton, A statistical diptych: Admissible inferences-recurrence of symmetric Markov chains, Annals of Statistics 20 (1992) 1147–1179] result that the condition is equivalent to the local recurrence of the Markov chain whose transition function is R(dθ|η)=∫Q(dθ|x)P(dx|η); (ii) a new result for general state space Markov chains giving conditions under which local recurrence is equivalent to recurrence; and (iii) a new generalization of Hobert and Robert's [J.P. Hobert, C.P. Robert, Eaton's Markov chain, its conjugate partner and -admissibility, Annals of Statistics 27 (1999) 361–373] result that says Eaton's Markov chain is recurrent if and only if the chain with transition function is recurrent. One important application of our results involves the construction of strongly admissible prior distributions for estimation problems with restricted parameter spaces.     

Christoffel-type functions for -orthogonal polynomials for Freud weights

This paper gives upper and lower bounds of the Christoffel-type functions , for the m-orthogonal polynomials for a Freud weight W=e^-Q, which are given as follows. Let a_n=a_n(Q) be the nth Mhaskar–Rahmanov–Saff number, φ_n(x)=max{n^-2/3,1-|x|/a_n}, and d>0. Assume that QC(R) is even, , and for some A,B>1

Then for xR

and for |x|a_n(1+dn^-2/3)

     

Theorems about the attractor for incompressible non-Newtonian flow driven by external forces that are rapidly oscillating in time but have a smooth average

This paper discusses the incompressible non-Newtonian fluid with rapidly oscillating external forces g(x,t)=g(x,t,t/) possessing the average g⁰(x,t) as →0⁺, where 0<₀<1. Firstly, with assumptions (A₁)–(A₅) on the functions g(x,t,ξ) and g⁰(x,t), we prove that the Hausdorff distance between the uniform attractors and in space H, corresponding to the oscillating equations and the averaged equation, respectively, is less than O() as →0⁺. Then we establish that the Hausdorff distance between the uniform attractors and in space V is also less than O() as →0⁺. Finally, we show for each [0,₀].     

Nonradial large solutions of sublinear elliptic problems

Let p be a nonnegative locally bounded function on , N3, and 0<γ<1. Assuming that the oscillation sup_|x|=rp(x)−inf_|x|=rp(x) tends to zero as r→∞ at a specified rate, it is shown that the equation Δu=p(x)u^γ admits a positive solution in satisfying lim_|x|→∞u(x)=∞ if and only if

     

Asymptotic shape of a random polytope in a convex body

Let K be an isotropic convex body in and let Z_q(K) be the L_q-centroid body of K. For every N>n consider the random polytope K_N:=conv{x₁,…,x_N} where x₁,…,x_N are independent random points, uniformly distributed in K. We prove that a random K_N is “asymptotically equivalent” to Z_[ln(N/n)](K) in the following sense: there exist absolute constants ρ₁,ρ₂>0 such that, for all and all NN(n,β), one has:

(i) K_Nc(β)Z_q(K) for every qρ₁ln(N/n), with probability greater than 1−c₁exp(−c₂N^1−βn^β).

(ii) For every qρ₂ln(N/n), the expected mean width of K_N is bounded by c₃w(Z_q(K)).

As an application we show that the volume radius |K_N|^1/n of a random K_N satisfies the bounds for all Nexp(n).

Pointwise universal trigonometric series

A series is called a pointwise universal trigonometric series if for any , there exists a strictly increasing sequence of positive integers such that converges to f(z) pointwise on . We find growth conditions on coefficients allowing and forbidding the existence of a pointwise universal trigonometric series. For instance, if as |n|→∞ for some ε>0, then the series S_a cannot be pointwise universal. On the other hand, there exists a pointwise universal trigonometric series S_a with as |n|→∞.     

Bounds on Turán determinants

Let μ denote a symmetric probability measure on [−1,1] and let (p_n) be the corresponding orthogonal polynomials normalized such that p_n(1)=1. We prove that the normalized Turán determinant Δ_n(x)/(1−x²), where , is a Turán determinant of order n−1 for orthogonal polynomials with respect to . We use this to prove lower and upper bounds for the normalized Turán determinant in the interval −1<x<1.     

Weight distribution of some reducible cyclic codes

Let q=p^m where p is an odd prime, m3, k1 and gcd(k,m)=1. Let Tr be the trace mapping from to and . In this paper we determine the value distribution of following two kinds of exponential sums

and

where is the canonical additive character of . As an application, we determine the weight distribution of the cyclic codes and over with parity-check polynomial h₂(x)h₃(x) and h₁(x)h₂(x)h₃(x), respectively, where h₁(x), h₂(x) and h₃(x) are the minimal polynomials of π⁻¹, π⁻² and π^−(pk+1) over , respectively, for a primitive element π of .     

Regularity results for stable-like operators

For α[1,2) we consider operators of the form

and for α(0,1) we consider the same operator but where the f term is omitted. We prove, under appropriate conditions on A(x,h), that any solution u to will be in C^α+β if fC^β.     

Upper bounds on the bisection width of 3- and 4-regular graphs

We derive new upper bounds on the bisection width of graphs which have a regular vertex degree. We show that the bisection width of sufficiently large 3-regular graphs with |V| vertices is at most , ε>0. For the bisection width of sufficiently large 4-regular graphs we show an upper bound of , ε>0.     

Orthonormal polynomials with exponential-type weights

Let and let w_ρ(x)|x|^ρexp(-Q(x)), where and is an even function. In this paper we consider the properties of the orthonormal polynomials with respect to the weight , obtaining bounds on the orthonormal polynomials and spacing on their zeros. Moreover, we estimate A_n(x) and B_n(x) defined in Section 4, which are used in representing the derivative of the orthonormal polynomials with respect to the weight .     

On recurrence coefficients for rapidly decreasing exponential weights

Let, for example,

where α>0, k1, and exp_k=exp(exp(…exp())) denotes the kth iterated exponential. Let {A_n} denote the recurrence coefficients in the recurrence relation

xp_n(x)=A_np_n+1(x)+A_n-1p_n-1(x)