Convergencia de la sucesión (an––n!zn)(an_n!zn)\big(\frac{a^{\underline{n}}}{n!} z^n \big)

¿Para qué valores de z C hace la secuencia ( a norte _ norte ! z norte ) converger para fijo a C ?

Nota aquí a norte _ es el factorial descendente, es decir

a norte _ = a ( a 1 ) ( a 2 ) ( a ( norte 1 ) + 1 ) ( a norte + 1 )

Primero observa que si a es un entero no negativo, a norte _ es eventualmente 0 ; por lo tanto, en ese caso, la sucesión converge para todo z C . Así que asume de ahora en adelante que a no es un entero no negativo.

Lo primero que hice fue aplicar el Test de la Razón para series que dice el radio de convergencia de la serie a norte _ norte ! z norte es dado por

R = límite norte a norte 1 _ ( norte 1 ) ! a norte _ norte ! = 1
Así, la serie asociada converge absolutamente para | z | < 1 la secuencia ( a norte _ norte ! z norte ) converge a 0 para todos | z | < 1 .

Ahora queda por determinar si la sucesión converge para | z | 1 . Puede ser útil más tarde para representar z en forma polar: z = r ( porque θ + i pecado θ ) z norte = r norte ( porque norte θ + i pecado norte θ ) = r norte mi i norte θ dónde r 1 . Luego resta calcular el límite para r 1 :

límite norte a ( a 1 ) ( a 2 ) ( a ( norte 1 ) + 1 ) ( a norte + 1 ) norte ! r norte mi i norte θ

Estoy perplejo sobre cómo calcular este límite aparte de convertir posiblemente el a norte _ en factoriales:

a norte _ = a ! ( a norte ) !
y luego posiblemente usar la aproximación de Stirling? No estoy seguro de qué condiciones genera el uso de la fórmula factorial o la aproximación de Stirling a o z , aunque.

¿Alguna pista?

Si a no es un entero no negativo, ¿cómo le das sentido a a ! ?
Supongo que, estrictamente, el problema en sí solo hace referencia al producto infinito que escribí a ( a 1 ) ( a norte + 1 ) y no el factorial. Pero si tuviera que usar la identidad factorial para ese producto infinito para enteros no negativos, ingenuamente, ¿no estaría usando implícitamente la función gamma?
Para grande norte , a norte _ es bastante casi norte -factorial, por lo que no esperaría una convergencia más allá | z | = 1 .
Eso es lo que pensé también, @GerryMyerson. Este problema es del análisis complejo introductorio de Ian Stewart. Como siempre con sus libros de texto, los problemas son desiguales y misteriosamente colocados dada la maquinaria así desarrollada. ¿Tiene algún consejo sobre cómo determinar la convergencia en el disco unitario para varios a ? pensé en escribir a = X + i y y dividir los términos de esa manera... algo para derivar algunas condiciones en a o z .
No creo que el valor de a hace mucha diferencia (siempre y cuando no sea un número entero no negativo). Creo que deberías tratar de hacer estimaciones para a norte _ / norte ! para grande norte .
Hola @GerryMyerson, ¿crees que lo siguiente funciona? a norte _ norte ! = a ! norte ! ( a norte ) ! 2 π a ( a mi ) a 2 π norte ( norte mi ) norte 2 π ( a norte ) ( a norte mi ) a norte = 1 2 π a a + 1 / 2 norte norte + 1 / 2 ( a norte ) a norte + 1 / 2
yo no escribiria a -factorial, cuando a no es un entero no negativo.

Respuestas (1)

¿Alguien puede verificar esta estimación?

Primero tenemos la identidad:

a norte _ norte ! = a ! norte ! ( a norte ) !
Entonces por la aproximación de Stirling:
a ! norte ! ( a norte ) ! 2 π a ( a mi ) a 2 π norte ( norte mi ) norte 2 π ( a norte ) ( a norte mi ) a norte = 1 2 π a a + 1 / 2 norte norte + 1 / 2 ( a norte ) a norte + 1 / 2

Luego, por algún álgebra cuestionable, espero que la gente pueda verificar:

1 2 π a a + 1 / 2 norte norte + 1 / 2 ( a norte ) a norte + 1 / 2 = a a + 1 / 2 2 π 1 norte norte + 1 / 2 i 2 a 2 norte + 1 ( norte a ) a norte + 1 / 2 = a a + 1 / 2 i 2 a 2 norte + 1 2 π ( norte a ) norte a 1 / 2 norte norte + 1 / 2 = a a + 1 / 2 i 2 a 2 norte + 1 2 π ( norte a ) norte ( norte a ) a 1 / 2 norte norte norte 1 / 2 = a a + 1 / 2 i 2 a 2 norte + 1 2 π ( 1 a norte ) norte 1 norte 1 / 2 ( norte a ) 1 / 2 ( norte a ) a = a a + 1 / 2 i 2 a 2 norte + 1 2 π ( 1 a norte ) norte 1 norte 2 a norte ( norte a ) a

Así como norte ,

límite norte a a + 1 / 2 i 2 a 2 norte + 1 2 π ( 1 a norte ) norte 1 norte 2 a norte ( norte a ) a
= a a + 1 / 2 2 π límite ( 1 i 2 a 2 norte + 1 ) límite ( ( 1 a norte ) norte ) límite ( 1 norte 2 a norte ( norte a ) a )

Solo puedo decir que el límite medio converge a mi a y el primero es periódico y acotado, ¿no?

El último límite es un poco espeluznante. Supongo que convergería a 0 sólo si ( a ) > 1 , ¿No?