Expansión asintótica para $\frac1{2^n}\sum_{k=1}^n\frac1{\sqrt{k}}\binom{n}{k}$

Question

Estado de la técnica

El hecho de que $$ \lim_{n\to\infty}\frac1{2^n}\sum_{k=1}^n\frac1{\sqrt{k}}\binom{n}{k}=0\tag1 $$ es el tema de esta pregunta . Un argumento que utiliza un poco de teoría de la probabilidad da una estimación de primer orden del tamaño de la suma.

---

Estimación de la suma

La distribución binomial tiene una media $\frac n2$ y la varianza $\frac n4$ , Desigualdad de Chebyshev dice $$ \frac1{2^n}\sum_{k=1}^n\binom{n}{k}\left[\left|k-\frac n2\right|\ge x\right]\le\frac n{4x^2}\tag2 $$ Configurar $x=n^{7/8}$ en $(2)$ da $$ \frac1{2^n}\sum_{k=1}^n\binom{n}{k}\left[\left|k-\frac n2\right|\ge n^{7/8}\right]\le\frac1{4n^{3/4}}\tag3 $$ lo que significa $$ \frac1{2^n}\sum_{k=1}^n\binom{n}{k}\left[\left|k-\frac n2\right|\lt n^{7/8}\right]\ge1-\frac1{4n^{3/4}}\tag4 $$ Tenga en cuenta que cuando $\left|k-\frac n2\right|\le n^{7/8}$ , $$ \frac1{\sqrt{n/2+n^{7/8}}}\le\frac1{\sqrt{k}}\le\frac1{\sqrt{n/2-n^{7/8}}}\tag5 $$ y la anchura de este intervalo es $$ \begin{align} \frac1{\sqrt{n/2-n^{7/8}}}-\frac1{\sqrt{n/2+n^{7/8}}} &=\frac{\sqrt{n/2+n^{7/8}}-\sqrt{n/2-n^{7/8}}}{\sqrt{n^2/4-n^{7/4}}}\\ &=\frac{2n^{7/8}}{\sqrt{n^2/4-n^{7/4}}\left(\sqrt{n/2+n^{7/8}}+\sqrt{n/2-n^{7/8}}\right)}\\[6pt] &=O\!\left(n^{-5/8}\right)\tag6 \end{align} $$ Así, cuando $\left|k-\frac n2\right|\le n^{7/8}$ , $$ \frac1{\sqrt{k}}=\sqrt{\frac2n}+O\!\left(n^{-5/8}\right)\tag7 $$ En cualquier caso, $\frac1{\sqrt{k}}\le1$ .

Por lo tanto, $$ \begin{align} \frac1{2^n}\sum_{k=1}^n\frac1{\sqrt{k}}\binom{n}{k} &=\frac1{2^n}\sum_{k=1}^n\frac1{\sqrt{k}}\binom{n}{k}\left[\left|k-\frac n2\right|\le x\right]\\ &+\frac1{2^n}\sum_{k=1}^n\frac1{\sqrt{k}}\binom{n}{k}\left[\left|k-\frac n2\right|\ge x\right]\\ &=\left(\sqrt{\frac2n}+O\!\left(n^{-5/8}\right)\right)\left(1+O\!\left(n^{-3/4}\right)\right)\\[6pt] &+O(1)\,O\!\left(n^{-3/4}\right)\\[6pt] &=\sqrt{\frac2n}+O\!\left(n^{-5/8}\right)\tag8 \end{align} $$

---

Pregunta

Usando el enfoque anterior, es difícil ver cómo obtener más términos de una expansión asintótica. Chebyshev no es muy preciso y eso puede ser una limitación. La distribución Binomial se aproxima bastante bien a una distribución Normal y eso podría ofrecer un mejor enfoque. ¿Existe un enfoque que permita determinar más términos de una expansión asintótica?

Answer 1

La idea clave es utilizar la transformada de Laplace $\tfrac1{\sqrt{\pi}}\int_{\mathbb{R}_+}\exp(-xt)t^{-1/2}=\tfrac1{\sqrt{x}}$

por lo tanto, la suma en cuestión (denotada por $S_n$ ) se convierte, por el teorema del binomio, en

$$ 2^n S_n=(1/\sqrt{\pi}) \int_0^{\infty} t^{-1/2}\left((\exp(-t)+1)^n-1\right)\underbrace{=}_{ibp}C_n\underbrace{\int_0^{\infty}\sqrt{t}e^{-t}(1+e^{-t})^{n-1}}_{I_n} $$

con $C_n=2 n/\sqrt{\pi}$ . Ahora amplíe el $\log(1+\exp(-t))$ alrededor de su valor máximo en $t=0$ (Ejercicio: Justifica este argumento al estilo de Laplace)

$$ I_n=2^{n-1}\int_0^{\infty}\sqrt{t}e^{-(n+1)t/2}\left(1+t^2(n+1)/8+o(nt^2) \right) $$

evaluando los gaussianos se obtiene

$$ I_n=\sqrt{2 \pi}2^{n-1}\left(\frac{1}{n^{3/2}}+\frac{3}{8 n^{5/2}}+o(n^{-5/2})\right) $$

o finalmente

$$ S_n= C_n I_n/2^n =\frac{\sqrt{2}}{n^{1/2}}\left(1+\frac{3}{8 n}+o(n^{-1})\right) $$

Por supuesto, este enfoque se generaliza fácilmente a órdenes superiores .

Answer 2

Preliminares

Calcula los momentos pares escalados en torno a la media: $$ \begin{align} a_m(n)\,2^n &=\sum_{k=0}^n(n-2k)^{2m}\binom{n}{k}\\ &=\sum_{k=0}^n(n-2k)^{2m-2}(n-2k)^2\binom{n}{k}\\ &=\sum_{k=0}^n(n-2k)^{2m-2}\left(n^2-4k(n-k)\right)\binom{n}{k}\\ &=n^2a_{m-1}(n)\,2^n-\sum_{k=0}^n(n-2k)^{2m-2}4k(n-k)\binom{n}{k}\\ &=n^2a_{m-1}(n)\,2^n-\sum_{k=0}^n(n-2k)^{2m-2}4n(n-1)\binom{n-2}{k-1}\\ &=n^2a_{m-1}(n)\,2^n-4n(n-1)\sum_{k=0}^{n-2}(n-2-2k)^{2m-2}\binom{n-2}{k}\\[9pt] &=\left[n^2a_{m-1}(n)-n(n-1)\,a_{m-1}(n-2)\right]2^n \end{align} $$ Por lo tanto, si $$ a_m(n)=\frac1{2^n}\sum_{k=0}^n(n-2k)^{2m}\binom{n}{k} $$ Entonces, $a_0(n)=1$ y tenemos la recurrencia $$ a_m(n)=n^2a_{m-1}(n)-n(n-1)\,a_{m-1}(n-2) $$ Nótese que los momentos Impares desaparecen por simetría: $\frac1{2^n}\sum\limits_{k=0}^n(n-2k)^{2m+1}\binom{n}{k}=0$ . $$ \begin{array}{l|l} m&a_m(n)\\\hline 0&1\\ 1&n\\ 2&n\,(3n-2)\\ 3&n\left(15n^2-30n+16\right)\\ 4&n\left(105n^3-420n^2+588n-272\right)\\ 5&n\left(945n^4-6300n^3+16380n^2-18960n+7936\right)\\ 6&n\left(10395n^5-103950n^4+429660n^3-893640n^2+911328n-353792\right) \end{array} $$

---

Respuesta

Reescribiendo $k=\frac n2\left(1-\frac{n-2k}n\right)$ y aplicando la serie de Taylor para $\frac1{\sqrt{1-x}}$ obtenemos una expansión asintótica: $$ \begin{align} \frac1{2^n}\sum_{k=1}^n\frac{\binom{n}{k}}{\sqrt{k}} &=\sqrt{\frac2n}\frac1{2^n}\sum_{k=1}^n\frac{\binom{n}{k}}{\sqrt{1-\frac{n-2k}n}}\\ &=\sqrt{\frac2n}\sum_{m=0}^\infty\frac{a_m(n)}{(4n)^{2m}}\binom{4m}{2m}\\ &=\sqrt{\frac2n}\left(1+\frac{3}{8n}+\frac{35n(3n-2)}{128n^4}+\frac{231n\left(15n^2-30n+16\right)}{1024n^6}\right)\\ &=\bbox[5px,border:2px solid #C0A000]{\sqrt{\frac2n}\left(1+\frac{3}{8n}+\frac{105}{128n^2}+\frac{2905}{1024n^3}+O\!\left(\frac1{n^4}\right)\right)} \end{align} $$

---

Comprobación numérica $$\scriptsize \begin{array}{c|c} n&\frac1{2^n}\sum\limits_{k=1}^n\frac1{\sqrt{k}}\binom{n}{k}&\bbox[5px,border:2px solid #C0A000]{\text{approximation}}&\text{difference}\\\hline 10&0.46820996577803234600&0.46892136089480697187&0.00071139511677462587\\ 100&0.14196370942989554885&0.14196368849406250476&2.093583304409\times10^{-8}\\ 1000&0.044738166872811399488&0.044738166872187952008&6.23447479\times10^{-13} \end{array} $$