5
$\begingroup$

Can you please explain why for $\lambda > 0$ and $0 < \alpha < 1$ $$\prod_{k=1}^n \frac{k^\alpha}{\lambda + k^\alpha} \sim \exp\left(-\frac{\lambda}{1-\alpha}n^{1-\alpha}+o(n^{1-\alpha})\right)$$ holds? I'm stuck at the moment.

EDIT: added $o()$ term for correctness.

  • 1
    Do you mean to have an $n$ instead of a $k$ on the right-hand side? ($k$ is the index of the product, so it shouldn't still be around.)2012-10-11
  • 0
    whoops, yes that was a typo. I fixed it.2012-10-11

2 Answers 2

4

Define $u:x\mapsto\log(1+\lambda x^{-\alpha})$ and, for every $n\geqslant1$, $s_n=\sum\limits_{k=1}^nu(k)$. The function $u$ is decreasing hence $$ \int_{k}^{k+1}u(x)\,\mathrm dx\leqslant u(k)\leqslant\int_{k-1}^ku(x)\,\mathrm dx. $$ Summing these yields, for every $n$, $$ u(n)+\int_1^nu(x)\,\mathrm dx\leqslant s_n\leqslant u(1)+\int_1^nu(x)\,\mathrm dx. $$ For every $z\geqslant0$, $z-\frac12z^2\leqslant\log(1+z)\leqslant z$, hence $$ w_n-v_n\leqslant\int_1^nu(x)\,\mathrm dx\leqslant w_n, $$ where $$ w_n=\lambda\frac{n^{1-\alpha}}{1-\alpha},\qquad v_n=\frac12\lambda^2\int_1^nx^{-2\alpha}\,\mathrm dx\leqslant \lambda^2 C_\alpha\,\max\{n^{1-2\alpha}\log(n+1),1\}. $$ In particular, $v_n\ll n^{1-\alpha}$, $u(1)\ll n^{1-\alpha}$ and $u(n)\sim\lambda n^{-\alpha}\ll n^{1-\alpha}$, hence $s_n=w_n+o(w_n)$ and $$\prod_{k=1}^n \frac{k^\alpha}{\lambda + k^\alpha}=\mathrm e^{-s_n}= \exp\left(-\frac{\lambda}{1-\alpha}n^{1-\alpha}+o(n^{1-\alpha})\right). $$

  • 0
    Thank you, did! I don't understand the estimation involving the $\max$, but one could also just calculate the integral so see that $v_n = o(n^{1-\alpha})$. Also I get different constants, eg. $u(n+1)$ and $u(0)$ instead of $u(n)$ and $u(1)$, or $w_n = \frac{\lambda}{1-\alpha}(n^{1-\alpha}-1)$ but these are just minor details that don't affect the asymptotics.2012-10-16
  • 0
    Thanks for the appreciation. The cumbersome bound of $v_n$ is there to deal with the case $\alpha=\frac12$ but you are right that $v_n\ll n^{1-\alpha}$ is all that is needed, in the end. Both $u(n+1)$ and $u(0)$ are wrong, you might want to check again your solution (by the way, $u(0)$ does not exist).2012-10-16
  • 0
    Ah, yes. So how does the bound work? Do you calculate the integral in both cases and their product is then a bound?2012-10-17
  • 0
    I do not understand your last comment, could you rephrase it?2012-10-17
  • 0
    I'm still trying to understand this bound $v_n=\frac12\lambda^2\int_1^nx^{-2\alpha}\,\mathrm dx\leqslant \lambda^2 C_\alpha\,\max\{n^{1-2\alpha}\log(n+1),1\}$2012-10-17
  • 0
    Yes, you compute the integral. Thus, an upper bound is a multiple of $n^{1-2\alpha}$ if $\alpha\lt\frac12$, a multiple of $\log(n)$ if $\alpha=\frac12$, and a multiple of $1$ if $\alpha\gt\frac12$. Those could be written concisely as $\max\{n^{1-2\alpha},1\}$ if only for the boundary case $\alpha=\frac12$.2012-10-17
1

Not really a answer but a quick very informal outline:

$$\log \prod_{k=1}^n \frac{k^\alpha}{\lambda+k^\alpha } = \sum_{k=1}^n - \log(1 +\lambda \, k^{-\alpha}) \approx - \lambda \sum_{k=1}^n k^{-\alpha} \approx - \lambda \int_0^n x^{-\alpha}dx = -\lambda \frac{n^{1-\alpha}}{1-\alpha}$$