Inequalities for the overpartition function

The Ramanujan Journal - Let $$\overline{p}(n)$$ denote the overpartition function. Engel showed that for $$n\ge 2$$ , $$\overline{p}(n)$$ satisfy the Turán inequalities, that is,...     

Infinite series identities derived from the very well-poised $$\Omega $$ Ω -sum

The Ramanujan Journal - For the very well-poised $$\Omega $$ -series, a universal iteration pattern is established that yields numerous infinite series identities including several important ones...     

Oscillatory behavior and equidistribution of signs of Fourier coefficients of cusp forms

The Ramanujan Journal - Recently, Andrews and Yee studied two-variable generalizations of two identities involving partition functions $$p_\omega (n)$$ and $$p_\nu (q)$$ introduced by Andrews,...     

A new proof of the Ramanujan congruences for the partition function

Let p(n) denote the number of partitions of n. Recall Ramanujan’s three congruences for the partition function,

Hidden q-analogues of Ramanujan-like $$\pi $$ π -series

The Ramanujan Journal - By examining known q-series identities, we derive q-analogues of several $$\pi $$ -related infinite series, including some of Ramanujan’s series for $$1/\pi $$ .     

The sum of divisors function and the Riemann hypothesis

The Ramanujan Journal - Let $$\sigma (n)=\sum _{d\mid n}d$$ be the sum of divisors function and $$\gamma =0.577\ldots $$ the Euler constant. In 1984, Robin proved that, under the Riemann...     

Sums of the higher divisor function of diagonal homogeneous forms

The Ramanujan Journal - We give an asymptotic formula for $$\sum _{1\le n_1.n_2, \ldots ,n_l\le x^{1/r}}\tau _k(n^r_1+n^r_2+\ldots +n^r_l)$$ , where $$\tau _k(n)$$ represents the k-th divisor...     

The Voronoi Identity via the Laplace Transform

The classical Voronoi identity $$\Delta (x) = - \frac{2}{\pi }\sum\limits_{n = 1}^\infty {d(n)} \left( {\frac{x}{n}} \right)^{1/2} \left( {K_1 (4\pi \sqrt {xn} ) + \frac{\pi }{2}Y_1 (4\pi \sqrt {xn} )} \right)$$ is proved in a relatively simple way by the use of the Laplace transform. Here Δ(x) denotes the error term in the Dirichlet divisor problem, d(n) is the number of divisors of n and K_1, Y_1 are the Bessel functions. The method of proof may be used to yield other identities similar to Voronoi's.     

On the structure of partition which the difference of their representation function is a constant

Periodica Mathematica Hungarica - Let $$\mathbb {N}$$ be the set of nonnegative integers. For any set $$A \subset \mathbb {N}$$ , let $$R_1(A, n)$$ , $$R_2(A, n)$$ and $$R_3(A, n)$$ be the number...     

Quadratic transformations for a function that generalizes 2F1 and the Askey-Wilson polynomials

In previous papers we introduced and studied a ‘relativistic’ hypergeometric function R(a ₊, a ₋, c; v, ) that satisfies four hyperbolic difference equations of Askey-Wilson type. Specializing the family of couplings c∊ to suitable two-dimensional subfamilies, we obtain doubling identities that may be viewed as generalized quadratic transformations. Specifically, they give rise to a quadratic transformation for ₂ F ₁ in the ‘nonrelativistic’ limit, and they yield quadratic transformations for the Askey-Wilson polynomials when the variables v or are suitably discretized. For the general coupling case, we also study the bearing of several previous results on the Askey-Wilson polynomials. Dedicated to Richard Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—33D45, 39A70     

Split Casimir operator and solutions of the Yang–Baxter equation for the $$osp(M|N)$$ and $$s\ell(M|N)$$ Lie superalgebras,higher Casimir operators,and the Vogel parameters

Theoretical and Mathematical Physics - We find the characteristic identities for the split Casimir operator in the defining and adjoint representations of the $$osp(M|N)$$ and $$s\ell(M|N)$$ Lie...     

On the $$L^1$$ L 1 norm of an exponential sum involving the divisor function

Archiv der Mathematik - In this paper, we obtain bounds on the $$L^1$$ -norm of the sum $$\sum _{n\le x}\tau (n)e(\alpha n)$$ where $$\tau (n)$$ is the divisor function.     

On the order of the error function of the square-full integers,II

LetL(x) denote the number of square-full integers not exceedingx. It is well-known that $$L\left( x \right) \sim \frac{{\zeta \left( {{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}{{\zeta \left( 3 \right)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta \left( {{2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3}} \right)}}{{\zeta \left( 2 \right)}}x^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}} ,$$ whereζ(s) denotes the Riemann Zeta function, LetΔ(x) denote the error function in the asymptotic formula forL(x). On the assumption of the Riemann hypothesis (R.H.), it is known that $$\Delta x = O\left( {x^{13/81 + 8} } \right)$$ for everyε > 0. In this paper, we prove on the assumption of R.H. that $$\frac{1}{x}\int\limits_x^1 {\left| {\Delta \left( t \right)} \right|dt = O\left( {x^{1/10 + ^8 } } \right)} .$$ In fact, we prove a more general result. We conjecture that $$\Delta x = O\left( {x^{1/10 + ^8 } } \right)$$ under the assumption of the R.H.     

An ultimate extremely accurate formula for approximation of the factorial function

We prove in this paper that for every x ≥ 0,

An implication basis for linear forms

The main results of this paper are a generalization of the results of S. Fajtlowicz and J. Mycielski on convex linear forms. We show that if V_n is the variety generated by all possible algebras , where R denotes the real numbers and , for some , then any basis for the set of all identities satisfied by V_n is infinite. But on the other hand, the identities satisfied by V_n are a consequence of gL and μ_n, where μ_n is the n-ary medial law and the inference rule gL is an implication patterned after the classical rigidity lemma of algebraic geometry. We also prove that the identities satisfied by are a consequence of gL and μ_n iff {p₁, ... , p_n} is algebraically independent. We then prove analagous results for algebras of arbitrary type τ and in the final section of this paper, we show that analagous results hold for Abelian group hyperidentities. This paper is dedicated to Walter Taylor. Received July 16, 2005; accepted in final form January 12, 2006. The research of both authors was supported by an operating grant ODP0008215 from NSERC.     

Minimal time function and viscosity solutions

Two theorems in Ref. 1 are generalized. It is proved that, ifV(A,Γ) is the set of points that can be steered to the origin along a solution of the control systemx′=Ax?c, ifc(t)∈Γ, Γ is a compact subset ofR ⁿ , 0∈ intrelco Γ, and if a rank condition holds, then the minimal time functionT(·) is a viscosity solution of the Bellman equation $$\max \{ \left\langle {DT(x),\gamma - Ax} \right\rangle :\gamma \varepsilon co\Gamma \} - 1 = 0,x\varepsilon V(A,\Gamma )\backslash \{ 0\} ,$$ and of the Hàjek equation $$1 - \max \{ \left\langle {DT(x),\exp [ - AT(x)]} \right\rangle :\gamma \varepsilon co\Gamma \} = 0,x\varepsilon V(A,\Gamma ).$$      

Approximation of the function sign x in the uniform and integral metrics by means of rational functions

Estimates are obtained for the nonsymmetric deviations R_n [sign x] and R_n [sign x]_L of the function sign x from rational functions of degree ≤n, respectively, in the metric $$c([ - 1, - \delta ] \cup [\delta ,1]), 0< \delta< exp( - \alpha \surd \overline n ), \alpha > 0,$$ and in the metric L[?1, 1]: $$\begin{gathered} R_n [sign x] _{\frown }^\smile exp \{ - \pi ^2 n/(2 ln 1/\delta )\} , n \to \infty , \hfill \\ 10^{ - 3} n^{ - 2} \exp ( - 2\pi \surd \overline n )< R_n [sign x_{|L}< \exp ( - \pi \surd \overline {n/2} + 150). \hfill \\ \end{gathered} $$ Let 0 < δ < 1, Δ (δ)=[?1, ? δ] ∪ [δ, 1]; $$\begin{gathered} R_n [f;\Delta (\delta )] = R_n [f] = inf max |f(x) - R(x)|, \hfill \\ R_n [f;[ - 1,1] ]_L = R_n [f]_L = \mathop {inf}\limits_{R(x)} \smallint _{ - 1}^1 |f(x) - R(x)|dx, \hfill \\ \end{gathered} $$ where R(x) is a rational function of order at most n. Bulanov [1] proved that for δ ε [e^?n, e^?1] the inequality $$\exp \left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta }}} \right) \leqslant R_n [sign x] \leqslant 30 exp\left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta + 4 ln ln (e/\delta ) + 4}}} \right)$$ is valid. The lower estimate in this inequality was previously obtained by Gonchar ([2], cf. also [1]).     

On the mean square value of Hurwitz zeta function

R Balasubramanian has shown that $$\mathop \smallint \limits_1^{\rm T} |\zeta (\tfrac{1}{2} + it)|^2 dt = T\log \tfrac{T}{{2\pi }} + (2\gamma - 1)T + O(T^{\theta + \in } )$$ with θ = 1/3. In this paper we develop a hybrid analogue for the mean square value of the Hurwitz zeta function ζ (s, a) and show that (i) new asymptotic terms arise in the expression for ζ (s, a) which are not present in the above expression for the ordinary zeta function and (ii) the corresponding error term is given by $$O(T^{5/12} log^2 T) + O\left( {\frac{{logT}}{{\left\| {2a} \right\|}}} \right)$$ for 0 <a < 1.     

On the average sum of the kth divisor function over values of quadratic polynomials

The Ramanujan Journal - Let $$F(x) \in \mathbb {Z}[x_1 , x_2 ,\ldots , x_n ]$$ , $$n\ge 3$$ , be an n-variable quadratic polynomial with a nonsingular quadratic part. Using the circle method we...     

Properties of the Appell–Lerch function (I)

The Ramanujan Journal - A number of equations involving the Appell–Lerch function, $$ \mu $$ , are derived. Emphasis is placed on equations which are analogous to certain linear relations...