Las funciones generadoras son tus amigas. Voy a mostrar cómo obtener su función generadora de la recurrencia.
He cambiado un poco tu anotación.
Usted tiene $n(t) = a n(t-1)-n(t-m)$ , o $n(t+m) = a n(t+m-1)-n(t)$ .
Dejemos que $f(x) =\sum_{t=0}^\infty n(t) x^t $ .
$x^m f(x) =\sum_{t=0}^\infty n(t) x^{t+m} =\sum_{t=m}^\infty n(t-m) x^{t} $ y $x f(x) =\sum_{t=0}^\infty n(t) x^{t+1} =\sum_{t=1}^\infty n(t-1) x^{t} $ , así que
$\begin{align} f(x)-ax f(x)+x^m f(x) &=\sum_{t=0}^\infty n(t) x^t -a\sum_{t=1}^\infty n(t-1) x^{t} +\sum_{t=m}^\infty n(t-m) x^{t}\\ &=\sum_{t=0}^{m-1} n(t) x^t -a\sum_{t=1}^{m-1} n(t-1) x^{t} +\sum_{t=m}^\infty (n(t)-an(t-1)+n(t-m)) x^{t}\\ &=\sum_{t=0}^{m-1} n(t) x^t -a\sum_{t=1}^{m-1} n(t-1) x^{t}\\ &= g(t)\\ \end{align} $
donde $g(t) =\sum_{nt0}^{m-1} n(t) x^t-a\sum_{t=1}^{m-1} n(t-1) x^{t} =n(0)+\sum_{t=1}^{m-1} (n(t)-an(t-1)) x^t $ es un polinomio de grado $m-1$ que incorpora la condiciones iniciales del $n(i)$ .
Por lo tanto, $f(x) =\dfrac{g(x)}{h(x)} $ donde $h(x) = 1-ax+x^m$ .
Las propiedades del $n(i)$ dependen, por tanto, de las condiciones iniciales (incorporadas en $g(x)$ ) y las raíces de $h(x)$ . En particular, si $h(x)$ no tiene raíces reales, el $n(i)$ oscilará. Si $h(x)$ tiene raíces reales positivas, el $n(i)$ crecerá (a menos que haya condiciones iniciales especiales) como $c/r^i$ , donde $r$ es la raíz de $h$ de menor valor.
Ahora trataré de determinar lo que puedo sobre las raíces de $h$ .
Asumiré que $a > 0$ .
$h(0) = 1$ .
Desde $h'(x) =-a+mx^{m-1} $ , $h'(x)=0$ para $x=x_0 =(a/m)^{1/(m-1)} $ , así que $h'(x) < 0$ para $0 \le x < x_0$ y $h'(x) > 0$ para $x > x_0$ . Por lo tanto, $h$ tiene un mínimo en $x_0$ .
Para ver si $h$ tiene una raíz real, tenemos que ver si $h(x_0) < 0$ . Si no es así, $h$ no tiene ninguna raíz real.
$\begin{align} h(x_0) &=1-ax_0+x_0^m\\ &=1-x_0(a-x_0^{m-1})\\ &=1-x_0(a-a/m)\\ &=1-(a/m)^{1/(m-1)}a(1-1/m)\\ &=1-(a/m)^{1+1/(m-1)}(m-1)\\ &=1-(a/m)^{m/(m-1)}(m-1)\\ \end{align} $ .
Por lo tanto, $h(x_0) < 0$ si $(a/m)^{m/(m-1)}(m-1) > 1$ o $a > m/(m-1)^{(m-1)/m}$ .
Por lo tanto, para cualquier $m$ , si $a$ es lo suficientemente grande, el $n(i)$ crecerá exponencialmente.
Tenga en cuenta que si $a = m/(m-1)^{(m-1)/m}$ , $h$ tiene una raíz doble en $x_0$ , y el $n(i)$ crecerán de forma diferente.
Llevaré esto un poco más lejos y lo dejaré así.
Veamos lo que ocurre con los de tamaño moderado $m$ .
$m/(m-1)^{(m-1)/m} =\dfrac{m}{m-1}(m-1)^{1/m} $ .
$(m-1)^{1/m} =e^{\ln(m-1)/m} \approx 1+\ln(m-1)/m $ y $\dfrac{m}{m-1} =\dfrac{1}{1-1/m} \approx 1+1/m $ , así que $m/(m-1)^{(m-1)/m} \approx (1+\ln(m-1)/m)(1+1/m) \approx 1+(1+\ln(m-1))/m $ .
Por lo tanto, $a$ no tiene que ser demasiado grande para $h$ para tener verdaderas raíces.
Es suficiente por ahora.