10
$\begingroup$

Let $a\in (0,1), \;\;\psi_a(x):=\prod_{j=0}^\infty (1-a^{2j+1}x).$

Question. Is it true that, for all $x\in [0,1]$ and all $k\in\mathbb{N},$ the following inequality holds: $$\frac{x^k}{(1-a)(1-a^3)\dots (1-a^{2k-1})}\leq\frac{1}{\psi_a(x)}\quad ?$$

For $a\leq 0.5,$ this is obvious. When $a$ approaches 1, it becomes difficult (for me).

The inequality arises in the study of the dependence of the limit $q$-Bernstein operator on parameter $q.$

$\endgroup$
4
  • $\begingroup$ In the limit $a\to 1$, it is a neat and clean inequality for integrals: $\int_T^\infty f(s)ds\ge -UT+\int_0^U f(s)ds$, which is true for any decreasing continuous involution $f:(0,+\infty)\to(0,+\infty)$ (you need $f(s)=-\log(1-e^{-s})$). Unfortunately, you need the "dirty" version for midpoint Riemann sums. I'll see if it can be done without spilling too much blood, but not now... $\endgroup$
    – fedja
    Commented May 14, 2017 at 21:30
  • 2
    $\begingroup$ The known power series expansion of $1/\psi_a$ could be of use, $$\prod_{j=0}^\infty{1\over 1-a^{2j+1}x}=\sum_{k=0}^\infty\Big(\prod_{j=1}^k{a\over 1-a^{2j}}\Big)x^k$$ $\endgroup$ Commented May 15, 2017 at 9:44
  • $\begingroup$ I have tried to use the Euler expansion. Could you please provide a more detailed hint? $\endgroup$
    – Deepti
    Commented May 15, 2017 at 9:53
  • $\begingroup$ OK, I can do it in the range $a\ge a_0=\sqrt[3]{\frac 19+\frac 1{25}}$. Now it remains to do the bloody (calculus instead of analysis) work between $\frac 12$ and $a_0$.. $\endgroup$
    – fedja
    Commented May 15, 2017 at 13:12

3 Answers 3

11
$\begingroup$

It looks like the calculus part is doable (though I still don't like the way I approach it), so let me post the simple (analysis) part.

Consider the symmetric curve $e^{-s}+e^{-t}=1, s,t>0$ (the graph of $f(t)=-\log(1-e^{-t})$ The first observation is that for every $S,T>0$, we have $$ \int_S^\infty f(s)\,ds\ge \int_S^\infty\min(f(s),T)\,ds \\ =-\int_0^S\min(f(s),T)\,ds+\int_0^\infty\min(f(s),T)\,ds \\\ge -ST+\int_0^T f(t)\,dt $$ (we used the symmetry of the curve in the last line).

Now put $h=\log(1/a^2)$. Taking $T=kh$ and $S=\log(1/x)$, we see that what you want to prove (after taking the logarithm of both sides) is pretty much the same except the integrals are replaced by the midpoint Riemann sums with step $h$. We can also assume that the right hand side is made as large as it can be, i.e., $\frac{x}{1-a^{2k+1}}\le 1$ or, which is the same, $e^{-S}\le 1-e^{-T-\frac h2}$.

It will suffice to show that the deviation (down) of the Riemann sum for $\int_0^T$ from the true integral exceeds that for $\int_S^\infty$. The deviation on each step interval of length $h$ is given by the integral of $f''$ against some fixed symmetric positive kernel on $[-h/2,h/2]$ (something like $(1-|x|)^2$ rescaled). Thus, we need to investigate the second derivative of $f$, which is $$ f''(t)=\frac 1{e^t+e^{-t}-2}\,. $$ The first property we shall need is the inequality $$f''(t+s)\le e^{-s}f''(t)\,.$$ Indeed, it rewrites as $e^{t}-2e^{-s}+e^{-t-2s}\ge e^t-2+e^{-t}$. Now just note that the derivative of the LHS with respect to $s$ is $2e^{-s}-2e^{-t-2s}\ge 0$. Denote by $D(T)$ the deviation of the midpoint Riemann sum from $\int_T^\infty f(t)\,dt$. The inequality just proved implies immediately that $$ D(S)\le e^{-S}D(0)\,. $$ Thus, it will suffice to show that when $T$ is an integer multiple of $h$, we have $D(T)\le e^{-T-\frac h2}D(0)$. Since $D(T)\le e^{-T-h}D(h)$, it suffices to check that $D(h)\le e^{-\frac {3h}2}D(0)$. This can be done by pairwise interval comparison if we manage to show that the loss on $[0,h]$ is already at least $e^{\frac{3h}2}$ times as large as the losses on $[h,2h]$ and $[2h,3h]$ combined. After that we will compare only intervals with the shift $2h$ between them and gain $e^{-2h}$ every time.

Due to the symmetry of the kernel, we need the inequality $$ f''(\frac h2-s)+f''(\frac h2+s)\ge e^{\frac{3h}2}[f''(\frac {3h}2-s)+f''(\frac {3h}2+s)+f''(\frac {5h}2-s)+f''(\frac {5h}2+s)], \qquad 0\le s\le \frac h2\,. $$ Since $t\mapsto\frac{e^t-2+e^{-t}}{t^2}$ is increasing for $t>0$ (Taylor expansion), it suffices to prove the same inequality for $t\mapsto t^{-2}$ instead of $f''$. Also $w\mapsto \frac 1{(1-w)^2}+\frac 1{(1+w)^2}$ increases for $w>0$, so we can replace $s$ by $3s$ and $5s$ in the terms with the corresponding multiples of $h$. After that the desired inequality becomes $$ 1\ge e^{\frac{3h}2}[\frac 19+\frac 1{25}] $$, which gives the announced range of $a=e^{-\frac h2}$.

Edit The last part can be done better but we need to know that the kernel is the rescaled version of $(1-|x|)^2$. Again, we can replace $f''(t)$ by $1/t^2$ in the corresponding integral inequality, after which we will need to prove that $$ \int_0^1(1-x)^2\left[\frac 1{(1-x)^2}+\frac 1{(1+x)^2}\right]\,dx \\ \ge 8\int_0^1(1-x)^2\left[\frac 1{(3-x)^2}+\frac 1{(3+x)^2}+ \frac 1{(5-x)^2}+\frac 1{(5+x)^2}\right]\,dx\,. $$ However, the LHS equals $$ 1+\int_0^1\frac{(1-x)^2}{(1+x)^2}\,dx\ge 1+\int_0^1\frac{(1-x)^2}{4}=1+\frac 1{12} $$ while, replacing the expression in the brackets on the right hand side by its maximal value (attained at $x=1$), we can bound the RHS by $$ \frac 83\left[\frac 14+\frac 1{16}+\frac 1{16}+\frac 1{36}\right]=1+\frac{2}{27}\,. $$ This yields the desired result for all $a\ge \frac 12$.

$\endgroup$
21
  • 4
    $\begingroup$ You can extend the range to $a\ge \frac 12$ (thus finishing the story) if you can prove that $\frac{1-\log 2}{2-\log\frac{36}5}\ge 8$. (Yes, I know that the computer spits out $11.8389\dots$, but to build a computer is even more difficult than to compute the $\log$'s involved with 3-digit precision by brute force). Any good ideas? $\endgroup$
    – fedja
    Commented May 15, 2017 at 20:32
  • 5
    $\begingroup$ A proof of $\frac{1-\log(2)}{2-\log(\tfrac{36}{5})}\geq 8$ : the denominator is positive, thus we may equivalently show that $$15\leq 8\log(\tfrac{36}{5})-\log(2)= 23\log(2)+8\log(\tfrac{9}{10})\;\;.$$ $\log(\tfrac{9}{10})>-\tfrac{1}{9}$ (since $-\log(1-x)<\tfrac{x}{1-x}$ for $x\in(0,1)$), thus it suffices to show that $23\log(2) -\tfrac{8}{9}\geq 15$, i.e. that $\log(2)\geq \tfrac{143}{207}$. Taking the first two terms in $\log(2)=2\,\mathrm{artanh}(\tfrac{1}{3})=2\sum_{k=0}^\infty \frac{1}{(2k+1)\,3^{2k+1}}$ gives $\log(2)>\tfrac{56}{81}$, and $\frac{56}{81}> \frac{143}{207}$. $\endgroup$
    – esg
    Commented May 17, 2017 at 17:46
  • 4
    $\begingroup$ @fedja: Instead of using a computer, I would give a reference, like this: "It is known [5] that log (...) is greater than 15, so..."... [5] Barone Merchistonii ( J. Napier), Mirifici Logarithmorum canonis descriptio..., Edinburgi, Andreae Hart, 1614. $\endgroup$ Commented May 18, 2017 at 9:27
  • 2
    $\begingroup$ @fedja: Sure I will! Just waiting for an occasion. For an inequality with sin, I will refer to Ptolemy, of course, and for pi to Archimedes if his accuracy will be sufficient. $\endgroup$ Commented May 18, 2017 at 20:18
  • 2
    $\begingroup$ 1) As I told you, this case is not needed: you want to prove the inequality for all $k$, so just use the one that maximizes the LHS. 2) You should represent the deviations in the integral form, not in the Lagrange form; you need identities here, not just crude inequalities. $\endgroup$
    – fedja
    Commented Jun 4, 2017 at 12:34
2
$\begingroup$

Let me provide a suggestion based on Pietro Majer's expansion.

If it makes it any easier, it suffices to prove the following finite version of my claim: $$\prod_{j=1}^n\frac{x}{1-a^{2j-1}}\leq\sum_{k=0}^{2n}\prod_{j=1}^k\frac{ax}{1-a^{2j}},$$ and perhaps proceed by induction on $n\geq1$.

I'll give this a jumpt start for the base case $n=1$ to prove $$\frac{a^2x^2}{(1-a^2)(1-a^4)}+\frac{ax}{1-a^2}+1-\frac{x}{1-a} =\frac{a^2x^2-(1-a^4)x+(1-a^2)(1-a^4)}{(1-a^2)(1-a^4)}\geq0.$$ It suffices to verify $f(x;b)=bx^2-(1-b^2)x+(1-b)(1-b^2)\geq0$ where $0<b:=a^2<1$.

From the discriminant, $f(x;b)$ has two real roots provided $D=(1-b)(1-b^2)(1-3b)>0$; that means $0<b<\frac13$.

On the other hand, $f(x;b)$ has a minimum at $x_*=\frac{1-b^2}{2b}$. Since we anticipate $0<x_*<1$, it must be that $b^2+2b-1>0$ or $b>\sqrt{2}-1$.

The inequalities $b<\frac13$ and $b>\sqrt{2}-1$ are not compatible. hence, $f(x;b)\geq0$ for $0<a,x<1$.

$\endgroup$
6
  • 1
    $\begingroup$ Only it should be $ax$ in the numerator on the RHS. I initially thought that it is a no-go because the equality is almost attained in certain regimes, but they require $n\to\infty$, so, perhaps, this can give a nice alternative approach, indeed. $\endgroup$
    – fedja
    Commented May 15, 2017 at 19:49
  • $\begingroup$ Erm... Why do we anticipate that $0<x_*<1$? What will kill us is just the left root inside $(0,1)$. $\endgroup$
    – fedja
    Commented May 16, 2017 at 15:56
  • $\begingroup$ The OP wants $0<x<1$. Am I right? $\endgroup$ Commented May 16, 2017 at 15:59
  • $\begingroup$ Yes, but not $x_*<1$. On the other hand, I realized that the question was stupid: if the left root is in $[0,1]$ and the vertex is above $1$, then the inequality fails at $x=1$ but that point is easy to check. $\endgroup$
    – fedja
    Commented May 16, 2017 at 16:02
  • 1
    $\begingroup$ If $x_*>1$ then $f(x;b)>0$ in the range $0<x<1$, so no worries. For the base case, you can only have one local minimum. $\endgroup$ Commented May 16, 2017 at 16:07
2
$\begingroup$

This was meant to cover the "calculus part" in fedja's initial answer (now completed independently), $0\le a\le a_0:=(1/9+1/25)^{1/3}$, and may possibly be completed to an independent proof.

The functions $\phi(x):=\prod_{j=0}^\infty {1\over 1-a^{2j+1}x}$ and $x^{-k}$ are positive and logarithmically convex on $[0,1]$, therefore such is their product $x^{-k}\phi(x)$ too, which is therefore convex. Moreover $\big(x^{-k}\phi(x)\big)'_{x=1}=-k\phi(1)+\phi'(1)\le0$ iff $k\ge \phi'(1)/\phi(1)=\sum_{j=0}^\infty{a^{2j+1}\over 1-a^{2j+1}},$ in which case $x^{-k}\phi(x)$ has a minimum at $x=1$. We conclude that the improved inequality $$\prod_{j=0}^\infty {1\over 1-a^{2j+1}x}\ge \Big( \prod_{j=0}^\infty {1\over 1-a^{2j+1}}\Big)x^k,\qquad 0\le x\le 1$$ holds whenever $k\ge \sum_{j=0}^\infty{a^{2j+1}\over 1-a^{2j+1}};$ in particular, (by a simple numeric estimates of the sum) for all $k\ge 2$ and $0\le a\le a_0$. (For $k=1$ the inequality can be proven directly as shown in T. Amdeberhan's answer)

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .