23 votos

Fórmula asintótica para la proporción de dobles factoriales

Estoy interesado en obtener una fórmula asintótica para $$ \frac{(2n-1)!!} {(2n)!!}. $$

Después de algunos intentos, creo que la asíntota puede ser de la forma $\frac{1}{\sqrt{\alpha n + \beta}}.$

Usando la fórmula de Stirling, obtuve $\alpha = \pi$

Usando software, pude obtener $\beta = \frac{\pi}{4}$, pero no tengo idea de cómo probar esto.

Entonces mi pregunta es: ¿cómo puedo demostrar que $$ \lim_{n \to \infty} \left(\left(\frac{(2n)!!}{(2n-1)!!}\right)^{2} - \pi n\right) = \frac{\pi}{4} $$ ?

29voto

Nikolai Prokoschenko Puntos 2507

Si tomas un término adicional en la aproximación de Stirling, tienes

  • $n! = \sqrt{2\pi n}\left(\frac{n}{e}\right)^n \left(1 +\frac{1}{12n} + O(\frac1{n^2})\right)$
  • $(2n)! =\sqrt{4\pi n}\left(\frac{2n}{e}\right)^{2n} \left(1 +\frac{1}{24n} + O(\frac1{n^2})\right)$
  • $(2n)!! = 2^n n! = \sqrt{2n\pi}\left(\frac{2n}{e}\right)^{n} \left(1 +\frac{1}{12n} + O(\frac1{n^2})\right)$
  • $(2n-1)!! = \frac{(2n)!}{(2n)!!} = \sqrt{2}\left(\frac{2n}{e}\right)^{n} \left(1 -\frac{1}{24n} + O(\frac1{n^2})\right)$
  • $\frac{(2n)!!}{(2n-1)!!} = \sqrt{n\pi}\left(1 +\frac{1}{8n} + O(\frac1{n^2})\right)$
  • $\left(\frac{(2n)!!}{(2n-1)!!} \right)^2= {n\pi}\left(1 +\frac{1}{4n} + O(\frac1{n^2})\right) = n\pi+\frac\pi4+ O(\frac1{n})$

lo cual parece ser lo que deseas.

9voto

Claude Leibovici Puntos 54392

$$A_n=\frac{(2n-1)!!} {(2n)!!}=\frac{\Gamma \left(n+\frac{1}{2}\right)}{\sqrt{\pi } \,\,\Gamma (n+1)}$$ Toma logaritmos, usa dos veces la aproximación de Stirling y luego la serie de Taylor $$\log(A_n)=-\frac{1}{2} (\log (n)+\log (\pi ))-\frac{1}{8 n}+\frac{1}{192 n^3}+O\left(\frac{1}{n^5}\right)$$ Continuando con Taylor $$A_n=e^{\log(A_n)}=\frac{1}{\sqrt{n\pi }} \left(1-\frac{1}{8 n}+\frac{1}{128 n^2}+\frac{5}{1024 n^3}+O\left(\frac{1}{n^4}\right) \right)$$ $$\frac 1{A_n^2}-\pi n=\frac \pi 4\left(1+\frac{1}{8 n}-\frac{1}{32 n^2}+O\left(\frac{1}{n^3}\right) \right)$$ lo cual resulta en un error relativo de $0.01$% cuando $n>4$.

2voto

Gary Puntos 166

Tenga en cuenta que \begin{align*} \frac{{(2n - 1)!!}}{{(2n)!!}} & = \frac{{\Gamma \!\left( {n + \frac{1}{2}} \right)}}{{\sqrt \pi \Gamma (n + 1)}} = \frac{1}{\pi }\int_0^1 {t^{n - 1/2} (1 - t)^{ - 1/2} {\rm d}t} \\ & = \frac{1}{\pi }\int_0^{ + \infty } {{\rm e}^{ - (n + 1/2)s} (1 - {\rm e}^{ - s} )^{ - 1/2} {\rm d}s} \\ & = \frac{1}{\pi }\int_0^{ + \infty } {{\rm e}^{ - (n + 1/4)s} s^{ - 1/2} \sqrt {\frac{{s/2}}{{\sinh (s/2)}}} {\rm d}s} \end{align*} para $n\ge 0$. Ahora $$ s^{ - 1/2} \sqrt {\frac{{s/2}}{{\sinh (s/2)}}} = s^{ - 1/2} - \frac{{s^{3/2} }}{{48}} + \frac{{s^{7/2} }}{{2560}} - \ldots $$ como $s\to 0^+$. Así, por el lema de Watson, $$ \frac{{(2n - 1)!!}}{{(2n)!!}} \sim \frac{1}{{\sqrt {\pi (n + 1/4)} }}\left( {1 - \frac{1}{{64(n + 1/4)^2 }} + \frac{3}{{4096(n + 1/4)^4 }} - \ldots } \right) $$ como $n\to+\infty$.

2voto

Anthony Shaw Puntos 858

La desigualdad $(9)$ en esta respuesta dice que $$ \frac{4^n}{\sqrt{\pi\!\left(n+\frac14+\frac1{16n+12}\right)}}\le\binom{2n}{n}\le\frac{4^n}{\sqrt{\pi\!\left(n+\frac14\right)}}\tag1 $$ Por lo tanto, $$ \begin{align} \frac{\color{#C00}{(2n)!!}}{\color{#090}{(2n-1)!!}} &=\frac{\color{#C00}{2^nn!}\color{#090}{2^nn!}}{\color{#090}{(2n)!}}\tag{2a}\\[3pt] &=\frac{4^n}{\binom{2n}{n}}\tag{2b}\\ &\in\left[\sqrt{\pi\!\left(n+\tfrac14\right)},\sqrt{\pi\!\left(n+\tfrac14+\tfrac1{16n+12}\right)}\right]\tag{2c} \end{align} $$ Explicación:
$\text{(2a):}$ reescribir los factoriales dobles en términos de factoriales
$\text{(2b):}$ $\binom{2n}{n}=\frac{(2n)!}{n!n!}$
$\text{(2c):}$ aplicar $(1)$

Al elevar al cuadrado $(2)$ y restarle $\pi n$ obtenemos $$ \frac\pi4\le\left(\frac{(2n)!!}{(2n-1)!!}\right)^2-\pi n\le\frac\pi4+\frac\pi{16n+12}\tag3 $$ Evaluar el límite con el Teorema del Sandwich.

ingresar descripción de la imagen aquí

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X