Me gustaría mencionar otro combinatoria resultado, esta vez sobre asymptotics. Deje $a_n$ denotar el número de maneras en que $n$ caballos puede terminar en una carrera (con bridas); en otras palabras, $a_n$ es el número de "listas de (vacío) establece" con $n$ total de los miembros. La generación de la función de métodos que permiten deducir que
$$A(z) = \sum_{n=0}^{\infty} \frac{a_n}{n!} z^n = \frac{1}{1 - (1 - e^z)} = \frac{1}{2 - e^z}.$$
Esta función es meromorphic, por lo que el comportamiento asintótico de $a_n$ es controlado por sus polos. El polo dominante se produce en $z = \ln 2$ con residuo $-\frac{1}{2}$, lo que significa que el comportamiento asintótico de $a_n$ está dado por
$$\frac{a_n}{n!} \approx \frac{1}{2 (\ln 2)^{n+1}}.$$
Tan lejos, tan real de la variable. Donde los números complejos? El error de esta aproximación es controlado por el resto de los postes de $A(z)$, todos de los cuales son complejos. El próximo dos de los más dominante polos están en $\ln 2 \pm 2 \pi i$ con el mismo residuo, lo que significa que el comportamiento asintótico de que el error está dado por
$$\frac{a_n}{n!} - \frac{1}{2 (\ln 2)^{n+1}} \approx \frac{1}{2 (\ln 2 + 2 \pi i)^{n+1}} + \frac{1}{2 (\ln 2 - 2 \pi i)^{n+1}}.$$
Dejando $\frac{1}{\ln 2 + 2 \pi i} = r e^{i \theta}$ donde$r = \frac{1}{\sqrt{(\ln 2)^2 + 4 \pi^2}}$$\theta = -\arctan \frac{2 \pi}{\ln 2}$, se deduce que
$$\frac{a_n}{n!} - \frac{1}{2(\ln 2)^{n+1}} \approx r^{n+1} \cos (n+1)\theta.$$
En otras palabras, el error en la anterior aproximación cuasi-periódica. (Por supuesto que hay infinitamente muchos polacos, cada par de los que también contribuye cuasi-periódicos de las condiciones, pero como $n$ se convierte en grande estos términos se vuelven menos y menos importante, la mayoría del tiempo). Este es un fenómeno que se puede ver fácilmente por sí mismo en realidad, se calcula el error de varios valores consecutivos de $n$.
Así que piensa acerca de esto: incluso si adivinaron correctamente el comportamiento asintótico de $a_n$ (por ejemplo al hacer una tabla de los valores de $\frac{a_n}{n!}$ (o su inverso, si usted está interesado en la probabilidad de que no hay lazos en la carrera) y darse cuenta de que el número de dígitos crece linealmente), e incluso si usted calcula experimentalmente que el error en la aproximación es cuasi-periódicas, ¿cómo en la tierra puede deducir el valor de o $r$ o $\theta$ sin números complejos?