Another homogeneous q-difference operator

In this paper we show the equivalence between Goldman-Rota q-binomial identity and its inverse. We may specialize the value of the parameters in the generating functions of Rogers-Szegö polynomials to obtain some classical results such as Euler identities and the relation between classical and homogeneous Rogers-Szegö polynomials. We give a new formula for the homogeneous Rogers-Szegö polynomials h_n(x,y|q). We introduce a q-difference operator θ_xy on functions in two variables which turn out to be suitable for dealing with the homogeneous form of the q-binomial identity. By using this operator, we got the identity obtained by Chen et al. [W.Y.C. Chen, A.M. Fu, B. Zhang, The homogeneous q-difference operator, Advances in Applied Mathematics 31 (2003) 659-668, Eq. (2.10)] which they used it to derive many important identities. We also obtain the q-Leibniz formula for this operator. Finally, we introduce a new polynomials s_n(x,y;b|q) and derive their generating function by using the new homogeneous q-shift operator L(bθ_xy).     

Modular relations for the nonic analogues of the Rogers-Ramanujan functions with applications to partitions

We define the nonic Rogers-Ramanujan-type functions D(q), E(q) and F(q) and establish several modular relations involving these functions, which are analogous to Ramanujan's well known forty identities for the Rogers-Ramanujan functions. We also extract partition theoretic results from some of these relations.     

On the coefficients of ternary cyclotomic polynomials

We study coefficients of ternary cyclotomic polynomials Φ_pqr(z)=∏_ρ(z−ρ), where p, q, and r are distinct odd primes and the product is taken over all primitive pqrth roots of unity ρ.     

Some formulas for the coefficients of Drinfeld modular forms

We obtain some formulas for t-expansion coefficients of meromorphic Drinfeld modular forms for GL₂(F_q[T]). Let j(z) be the Drinfeld modular invariant. As an application we show that the values of j(z) at points in the divisor of Drinfeld modular forms for GL₂(F_q[T]) are algebraic over F_q(T).     

Dirichlet series related to the Riemann zeta function

A study is made of the function H(s, z) defined by analytic continuation of the Dirichlet series H(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z, where s and z are complex variables. For each fixed z it is shown that H(s, z) exists in the entire s-plane as a meromorphic function of s, and its poles and residues are determined. Also, for each fixed s ≠ 1 it is shown that H(s, z) exists in the entire z-plane as a meromorphic function of z, and again its poles and residues are determined. Two different representations of H(s, z) are given from which a reciprocity law, H(s, z) + H(z, s) = ζ(s) ζ(z) + ζ(s + z), is deduced. For each integer q ≥ 0 the function values H(s, ?q) and H(?q, s) are expressed in terms of the Riemann zeta function. Similar results are also obtained for the Dirichlet series T(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z (m + n)^?1. Applications include identities previously obtained by Ramanujan, Williams, and Rao and Sarma.     

On flushed partitions and concave compositions

In this work, we give combinatorial proofs for generating functions of two problems, i.e., flushed partitions and concave compositions of even length. We also give combinatorial interpretation of one problem posed by Sylvester involving flushed partitions and then prove it. For these purposes, we first describe an involution and use it to prove core identities. Using this involution with modifications, we prove several problems of different nature, including Andrews’ partition identities involving initial repetitions and partition theoretical interpretations of three mock theta functions of third order f(q), ?(q) and ψ(q). An identity of Ramanujan is proved combinatorially. Several new identities are also established.     

On the Gosper’s <Emphasis Type="Italic">q</Emphasis>-constant Π<Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>

Gosper introduced the functions sin_qz and cos_qz as q-analogues for the trigonometric functions sin z and cos z respectively. He stated a variety of identities involving these two q-trigonometric functions along with certain constants denoted by \({\Pi _{{q^n}}}\) (n ∈ N). Gosper noticed that all his formulas on these constants have more than two of the \({\Pi _{{q^n}}}\). So, it is natural to raise the question of establishing identities involving only two of the \({\Pi _{{q^n}}}\). In this paper, our main goal is to give examples of such formulas in only two \({\Pi _{{q^n}}}\).     

Using Stepanov's method for exponential sums involving rational functions

For any additive character ψ and multiplicative character χ on a finite field F_q, and rational functions f,g in F_q(x), we show that the elementary Stepanov-Schmidt method can be used to obtain the corresponding Weil bound for the sum ∑_x∈Fq?Sχ(g(x))ψ(f(x)) where S is the set of the poles of f and g. We also determine precisely the number of characteristic values ω_i of modulus q^1/2 and the number of modulus 1.     

On the radii of convexity and starlikeness for some special classes of analytic functions in a disk

We introduce the class O _α, 0≤α≤1, of functions w=?(z), ?(0)=0, ?′(0)=0,..., ? ₍₀₎ ^(n?1) =0, f ⁽ⁿ⁾(0)=(n-l)! analytic in the disk |z|<1 and satisfying the condition $$\operatorname{Re} \left( {\frac{{1 - 2z^n \cos \Theta + z^{2n} }}{{z^{n - 1} }}f'(z)} \right) > \alpha , 0 \leqslant \Theta \leqslant \pi , n = 1,2,3,... .$$ We establish the radius of convexity in the class Oα and the radius of starlikeness in the class Uα of functions σ(z)=z?′(z), ?(z)?O _α.     

Uniform asymptotic expansion for a class of polynomials biorthogonal on the unit circle

An asymptotic expansion including error bounds is given for polynomials {P _n, Q_n} that are biorthogonal on the unit circle with respect to the weight function (1?e^iθ)^α+β(1?e^?iθ)^α?β. The asymptotic parameter isn; the expansion is uniform with respect toz in compact subsets ofC{0}. The pointz=1 is an interesting point, where the asymptotic behavior of the polynomials strongly changes. The approximants in the expansions are confluent hyper-geometric functions. The polynomials are special cases of the Gauss hyper-geometric functions. In fact, with the results of the paper it follows how (in a uniform way) the confluent hypergeometric function is obtained as the limit of the hypergeometric function₂ F ₁(a, b; c; z/b), asb→±∞,z≠b, withz=0 as “transition” point in the uniform expansion.     

Parity in partition identities

This paper considers a variety of parity questions connected with classical partition identities of Euler, Rogers, Ramanujan and Gordon. We begin by restricting the partitions in the Rogers-Ramanujan-Gordon identities to those wherein even parts appear an even number of times. We then take up questions involving sequences of alternating parity in the parts of partitions. This latter study leads to: (1) a bi-basic q-binomial theorem and q-binomial series, (2) a new interpretation of the Rogers-Ramanujan identities, and (3) a new natural interpretation of the fifth-order mock theta functions f ₀(q) along with a new proof of the Hecke-type series representation.     

SCALED ASYMPTOTICS FOR SOME q-SERIES

This work, investigates the asymptotics for Euler’s q-exponentialE_q(z), Ramanujan’s function A_q(z), Jackson’s q-Besselfunction J_v⁽²⁾ (z; q), the Stieltjes–Wigert orthogonalpolynomials S_n(x; q) and q-Laguerre polynomials L_n⁽⁾ (x; q)as q approaches 1.     

On the eigenvalues of the Sturm-Liouville operator with potentials from Sobolev spaces

We study the asymptotic behavior of the eigenvalues the Sturm-Liouville operator Ly = ?y″ + q(x)y with potentials from the Sobolev space W ₂ ^θ?1 , θ ≥ 0, including the nonclassical case θ ∈ [0, 1) in which the potential is a distribution. The results are obtained in new terms. Let s _2k (q) = λ _k ^1/2 (q) ? k, s _2k?1(q) = μ _k ^1/2 (q) ? k ? 1/2, where {λ _k } ₁ ^∞ and {μ _k } ₁ ^∞ are the sequences of eigenvalues of the operator L generated by the Dirichlet and Dirichlet-Neumann boundary conditions, respectively,. We construct special Hilbert spaces t ₂ ^θ such that the mapping F:W ₂ ^θ?1 →t ₂ ^θ defined by the equality F(q) = {s _n } ₁ ^∞ is well defined for all θ ≥ 0. The main result is as follows: for θ > 0, the mapping F is weakly nonlinear, i.e., can be expressed as F(q) = Uq + Φ(q), where U is the isomorphism of the spaces W ₂ ^θ?1 and t ₂ ^θ , and Φ(q) is a compact mapping. Moreover, we prove the estimate ∥Ф(q)∥_τ ≤ C∥q∥_θ?1, where the exact value of τ = τ(θ) > θ ? 1 is given and the constant C depends only on the radius of the ball ∥q∥_θ? ≤ R, but is independent of the function q varying in this ball.     

Confidence intervals for marginal parameters under fractional linear regression imputation for missing data

Item nonresponse occurs frequently in sample surveys and other applications. Imputation is commonly used to fill in the missing item values in a random sample {Y_i;i=1,…,n}. Fractional linear regression imputation, based on the model with independent zero mean errors ?_i, is used to create one or more imputed values in the data file for each missing item Y_i, where {X_i,i=1,…,n}, is observed completely. Asymptotic normality of the imputed estimators of the mean μ=E(Y), distribution function θ=F(y) for a given y, and qth quantile θ_q=F^-1(q),0<q<1 is established, assuming that Y is missing at random (MAR) given X. This result is used to obtain normal approximation (NA)-based confidence intervals on μ,θ and θ_q. In the case of θ_q, a Bahadur-type representation and Woodruff-type confidence intervals are also obtained. Empirical likelihood (EL) ratios are also obtained and shown to be asymptotically scaled variables. This result is used to obtain asymptotically correct EL-based confidence intervals on μ,θ and θ_q. Results of a simulation study on the finite sample performance of NA-based and EL-based confidence intervals are reported.     

Approximation by polynomials with bounded coefficients

Let θ be a real number satisfying 1<θ<2, and let A(θ) be the set of polynomials with coefficients in {0,1}, evaluated at θ. Using a result of Bugeaud, we prove by elementary methods that θ is a Pisot number when the set (A(θ)−A(θ)−A(θ)) is discrete; the problem whether Pisot numbers are the only numbers θ such that 0 is not a limit point of (A(θ)−A(θ)) is still unsolved. We also determine the three greatest limit points of the quantities , where C(θ) is the set of polynomials with coefficients in {−1,1}, evaluated at θ, and we find in particular infinitely many Perron numbers θ such that the sets C(θ) are discrete.     

The Rogers-Ramanujan continued fraction and a new Eisenstein series identity

With two elementary trigonometric sums and the Jacobi theta function θ₁, we provide a new proof of two Ramanujan's identities for the Rogers-Ramanujan continued fraction in his lost notebook. We further derive a new Eisenstein series identity associated with the Rogers-Ramanujan continued fraction.     

Generalized Bernstein Polynomials

We introduce polynomials B ⁿ _i (x;ω|q), depending on two parameters q and ω, which generalize classical Bernstein polynomials, discrete Bernstein polynomials defined by Sablonnière, as well as q-Bernstein polynomials introduced by Phillips. Basic properties of the new polynomials are given. Also, formulas relating B ⁿ _i (x;ω|q), big q-Jacobi and q-Hahn (or dual q-Hahn) polynomials are presented. This revised version was published online in July 2006 with corrections to the Cover Date.     

Pesenti-Szpiro inequality for optimal elliptic curves

We study Pesenti-Szpiro inequality in the case of elliptic curves over F_q(t) which occur as subvarieties of Jacobian varieties of Drinfeld modular curves. In general, we obtain an upper-bound on the degrees of minimal discriminants of such elliptic curves in terms of the degrees of their conductors and q. In the special case when the level is prime, we bound the degrees of discriminants only in terms of the degrees of conductors. As a preliminary step in the proof of this latter result we generalize a construction (due to Gekeler and Reversat) of 1-dimensional optimal quotients of Drinfeld Jacobians.     

q-Bernstein polynomials and their iterates

Let B_n( f,q;x), n=1,2,… be q-Bernstein polynomials of a function f : [0,1]→C. The polynomials B_n( f,1;x) are classical Bernstein polynomials. For q≠1 the properties of q-Bernstein polynomials differ essentially from those in the classical case. This paper deals with approximating properties of q-Bernstein polynomials in the case q>1 with respect to both n and q. Some estimates on the rate of convergence are given. In particular, it is proved that for a function f analytic in {z: |z|<q+} the rate of convergence of {B_n( f,q;x)} to f(x) in the norm of C[0,1] has the order q⁻ⁿ (versus 1/n for the classical Bernstein polynomials). Also iterates of q-Bernstein polynomials {B_n^j_n( f,q;x)}, where both n→∞ and j_n→∞, are studied. It is shown that for q(0,1) the asymptotic behavior of such iterates is quite different from the classical case. In particular, the limit does not depend on the rate of j_n→∞.     

Bilinear Relative Equilibria of Identical Point Vortices

A new class of bilinear relative equilibria of identical point vortices in which the vortices are constrained to be on two perpendicular lines, conveniently taken to be the x- and y-axes of a Cartesian coordinate system, is introduced and studied. In the general problem we have m vortices on the y-axis and n on the x-axis. We define generating polynomials q(z) and p(z), respectively, for each set of vortices. A second-order, linear ODE for p(z) given q(z) is derived. Several results relating the general solution of the ODE to relative equilibrium configurations are established. Our strongest result, obtained using Sturm’s comparison theorem, is that if p(z) satisfies the ODE for a given q(z) with its imaginary zeros symmetric relative to the x-axis, then it must have at least n?m+2 simple, real zeros. For m=2 this provides a complete characterization of all zeros, and we study this case in some detail. In particular, we show that, given q(z)=z ²+η ², where η is real, there is a unique p(z) of degree n, and a unique value of η ²=A _n , such that the zeros of q(z) and p(z) form a relative equilibrium of n+2 point vortices. We show that $A_{n} \approx\frac{2}{3}n + \frac{1}{2}$ , as n→∞, where the coefficient of n is determined analytically, the next-order term numerically. The paper includes extensive numerical documentation on this family of relative equilibria.