An optimal double inequality between geometric and identric means

We find the greatest value p and least value q in (0,1/2) such that the double inequality G(pa+(1−p)b,pb+(1−p)a)<I(a,b)<G(qa+(1−q)b,qb+(1−q)a) holds for all a,b>0 with a≠b. Here, G(a,b), and I(a,b) denote the geometric, and identric means of two positive numbers a and b, respectively.     

Conditions for the algebraic independence of certain series involving continued fractions and generated by linear recurrences

The main theorem of this paper, proved using Mahler's method, gives a necessary and sufficient condition for the values Θ(x,a,q) at any distinct algebraic points to be algebraically independent, where Θ(x,a,q) is an analogue of a certain q-hypergeometric series and generated by a linear recurrence whose typical example is the sequence of Fibonacci numbers. Corollary 1 gives Θ(x,a,q) taking algebraically independent values for any distinct triplets (x,a,q) of nonzero algebraic numbers. Moreover, Θ(a,a,q) is expressed as an irregular continued fraction and Θ(x,1,q) is an analogue of q-exponential function as stated in Corollaries 3 and 4, respectively.     

On discrete q-ultraspherical polynomials and their duals

A special case of the big q-Jacobi polynomials Pn(x;a,b,c;q), which corresponds to a=b=−c, is shown to satisfy a discrete orthogonality relation for imaginary values of the parameter a (outside of its commonly known domain 0<a<q⁻¹). Since Pn(x;qα,qα,−qα;q) tend to Gegenbauer (or ultraspherical) polynomials in the limit as q→1, this family represents another q-extension of these classical polynomials, different from the continuous q-ultraspherical polynomials of Rogers. For a dual family with respect to the polynomials Pn(x;a,a,−a;q) (i.e., for dual discrete q-ultraspherical polynomials) we also find new orthogonality relations with extremal measures.     

Inverse indefinite Sturm-Liouville problems with three spectra

We prove that the potential q(x) of an indefinite Sturm-Liouville problem on the closed interval [a,b] with the indefinite weight function w(x) can be determined uniquely by three spectra, which are generated by the indefinite problem defined on [a,b] and two right-definite problems defined on [a,0] and [0,b], where point 0 lies in (a,b) and is the turning point of the weight function w(x).     

Heilbronn's conjecture on Waring's number (mod p)

Let p be a prime k|p−1, t=(p−1)/k and γ(k,p) be the minimal value of s such that every number is a sum of s kth powers . We prove Heilbronn's conjecture that γ(k,p)?k1/2 for t>2. More generally we show that for any positive integer q, γ(k,p)?C(q)k1/q for ?(t)?q. A comparable lower bound is also given. We also establish exact values for γ(k,p) when ?(t)=2. For instance, when t=3, γ(k,p)=a+b−1 where a>b>0 are the unique integers with a²+b²+ab=p, and when t=4, γ(k,p)=a−1 where a>b>0 are the unique integers with a²+b²=p.     

Sharp power mean bounds for Sei?ert mean简

In this paper,we find the greatest value p = log2/(log π. log 2) = 1.53 ··· and the least value q = 5/3 = 1.66 ··· such that the double inequality Mp(a,b) T(a,b) Mq(a,b) holds for all a,b 0 with a = b. Here,Mp(a,b) and T(a,b) are the p-th power and Seiffert means of two positive numbers a and b,respectively.     

The optimal generalized logarithmic mean bounds for Seiffert's mean

For p ∈ R, the generalized logarithmic mean L_p(a,b) and Seiffert's mean T(a,b) of two positive real numbers a and b are defined in (1.1) and (1.2) below respectively. In this paper, we find the greatest p and least q such that the double-inequality L_p(a,b) < T(a,b) < L_q(a,b) holds for all a,b > 0 and a ≠ b.     

Some questions on the univalence of functions of the class Σ

In this paper we give an example of two convex functions in ¦ ζ¦ > 1 whose arithmetic mean is nonconvex. We calculate the radius of convexity of the sum of two convex functions; it is equal to \(\sqrt {1 + \sqrt 2 } \) . For functions F(ζ)=ζ+b₁/ζ+..., where F′(ζ)=f(ζ)/ζ, iff(ζ) = ζ + a₁/ζ+... is univalent ¦ζ¦ > 1, then the radius of univalence is the root of the equation 4E· (1/r)/K(1/r)+1/r²=3.     

A q-analog of the campbell-baker-hausdorff formula

The C-B-H Formula of Lie theory guarantees that exp(x)exp(y)=exp(w), where w can be expressed as an infinite series of (iterated) commutators, [a, b]=ab-ba, when x and y are noncommuting variables. It is shown here in Section 1 that a q-analog of this formula exists with the exponential replaced by its q-analog and the commutator replaced by the q-bracket [a, b]=qab-ba. In fact, the q-brackets span the ring of power series in x and y. Section 2 contains a little history of this problem, and a class of related algebras called q-Lie algebras is introduced in Section 3.     

A proof of the q,t-Catalan positivity conjecture

We present here a proof that a certain rational function C_n(q,t) which has come to be known as the “q,t-Catalan” is in fact a polynomial with positive integer coefficients. This has been an open problem since 1994. The precise form of the conjecture is given in Garsia and Haiman (J. Algebraic Combin. 5(3) (1996) 191), where it is further conjectured that C_n(q,t) is the Hilbert series of the diagonal harmonic alternants in the variables (x₁,x₂,…,x_n;y₁,y₂,…,y_n). Since C_n(q,t) evaluates to the Catalan number at t=q=1, it has also been an open problem to find a pair of statistics a(π),b(π) on Dyck paths π in the n×n square yielding C_n(q,t)=∑_πt^a(π)q^b(π). Our proof is based on a recursion for C_n(q,t) suggested by a pair of statistics a(π),b(π) recently proposed by Haglund. Thus, one of the byproducts of our developments is a proof of the validity of Haglund's conjecture. It should also be noted that our arguments rely and expand on the plethystic machinery developed in Bergeron et al. (Methods and Applications of Analysis, Vol. VII(3), 1999, p. 363).     

On a comparison theorem

This paper gives a generalization of the Sturm comparison theorem for differential equations (p): y″ = p(t)y, (q): y″ = q(t)y under the assumption that the function p ? q changes its sign exactly once on [a, b] or ∝_t^bp ? q, ∝_a^tp ? q maintain the sign on [a, b]. The results are used for investigating the distributions of zeros of solutions and the derivative of solutions of (p), (q).     

Optimal Lehmer Mean Bounds for the Toader Mean

We find the greatest value p and least value q such that the double inequality L _p (a, b)?<?T(a, b)?<?L _q (a, b) holds for all a, b?>?0 with a?≠ b, and give a new upper bound for the complete elliptic integral of the second kind. Here ${T(a,b)=\frac{2}{\pi}\int\nolimits_{0}^{{\pi}/{2}}\sqrt{a^2{\cos^2{\theta}}+b^2{\sin^2{\theta}}}d\theta}$ and L _p (a, b)?=?(a ^p+1?+?b ^p+1)/(a ^p ?+?b ^p ) denote the Toader and p-th Lehmer means of two positive numbers a and b, respectively.     

A Class of Finite-Dimensional Representations of U_q（sl_2）

In order to study a class of finite-dimensional representations of Uq（sl2）, we deal with the quotient algebra Uq （m, n, b） of quantum group Uq（sl2） with relations Kr=1, Emr=b, Fnr=0 in this paper, where q is a root of unity. The algebra Uq（m, n, b） is decomposed into a direct sum of indecomposable （left） ideals. The structures of indecomposable projective representations and their blocks are determined.     

On Dirichlet series with identical beginnings

It is shown that if Vinogradov's conjecture is false for a Dirichlet character (mod q), then ζ(s) and L(s) are very similar in regions of the critical strip where ζ(s), L(s) are small. In particular, ζ(s) = L(s + h(s)) (where h(s) → 0) in such regions.     

On polynomials orthogonal to all powers of a given polynomial on a segment

In this paper we investigate the following “polynomial moment problem”: for a given complex polynomial P(z) and distinct a,b∈C to describe polynomials q(z) orthogonal to all powers of P(z) on [a,b]. We show that for given P(z), q(z) the condition that q(z) is orthogonal to all powers of P(z) is equivalent to the condition that branches of the algebraic function Q(P⁻¹(z)), where , satisfy a certain system of linear equations over Z. On this base we provide the solution of the polynomial moment problem for wide classes of polynomials. In particular, we give the complete solution for polynomials of degree less than 10.     

Factorization of alternating sums of Virasoro characters

G. Andrews proved that if n is a prime number then the coefficients ak and ak+n of the product _∞(q,q)/_∞(qn,qn)=k_∑akqk have the same sign, see [G. Andrews, On a conjecture of Peter Borwein, J. Symbolic Comput. 20 (1995) 487-501]. We generalize this result in several directions. Our results are based on the observation that many products can be written as alternating sums of characters of Virasoro modules.     

Heron triangles with two fixed sides

In this paper, we study the function H(a,b), which associates to every pair of positive integers a and b the number of positive integers c such that the triangle of sides a, b and c is Heron, i.e., it has integral area. In particular, we prove that H(p,q)?5 if p and q are primes, and that H(a,b)=0 for a random choice of positive integers a and b.     

An improvement of Montel's criterion

Let F be a family of holomorphic functions in a domain D, and let a(z), b(z) be two holomorphic functions in D such that a(z)?b(z), and a(z)?a^′(z) or b(z)?b^′(z). In this paper, we prove that: if, for each f∈F, f(z)−a(z) and f(z)−b(z) have no common zeros, f^′(z)=a(z) whenever f(z)=a(z), and f^′(z)=b(z) whenever f(z)=b(z) in D, then F is normal in D. This result improves and generalizes the classical Montel's normality criterion, and the related results of Pang, Fang and the first author. Some examples are given to show the sharpness of our result.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

A space-efficient on-line method of computing quantile estimates

The task of computing an estimate for the quantile (ζ_q) for an unknown distribution F (i.e., F(ζ_q) = q) is usually performed by the “sample quantile” method, which computes the ?Nq? + 1 smallest element from the set of N observations, and thus requires that all N samples be retained in memory. This paper introduces a recursive method of estimating ζ_q based on the fact that if the terminal nodes of a uniform d-ary tree are assigned random values, independently drawn from a distribution F, then the minimax alue of the root node converges to a specified quantile of F for very tall trees. The new estimate is shown to be almost as precise as that produced by the sample quantile method and, like it, is guaranteed to converge to ζ_q when the sample is large for any arbitrary distribution F. However, in contrast to the sample quantile computation the proposed method requires the retention in storage of at most log₂N representative data points, where N is the number of samples observed in the past. Moreover, the estimate can be updated quickly using an average of 4, and a maximum of 2 log₂N, comparisons with each new observation.