Asymptotic for solutions of systems of smooth recurrence equations (Q1114109)

Die Resultate der Arbeit von \textit{A. Máté} und \textit{P. Névai} [J. Approximation Theory 46, 65-99 (1986)] werden verallgemeinert. Es seien \(k\geq 0\), \(N\geq 1\), \(r\geq 1\) ganze Zahlen und \(H_{\mu}(x_ 0;X_{\nu_ j}:1\leq \nu \leq r,0\leq j\leq k)\) \((\mu =1,...,r)\) komplexwertige Funktionen, deren partiellen Ableitungen höchstens N-ter Ordnung in einer Umgebung von 0 stetig sind und \(\det [\sum^{k}_{j=0}z^ j\partial H_{\mu}(0)/\partial x_{j\nu}]_{1\leq \mu,\nu \leq r}\) für \(| z| =1\) erfüllt ist. Es sei \(\beta <0\) und nehmen wir an, daß für die reellen Zahlen \(y_{\nu n}\) (1\(\leq \nu \leq r,n\geq 1)\) mit \(\lim_{n\to \infty}y_{\nu n}=0\) (1\(\leq \nu \leq r)\) die Gleichungen \(H_{\mu}(n^{\beta};y_{\nu,n+j}:1\leq \nu \leq r,0\leq j\leq k)=0\) (1\(\leq \mu \leq r,n\geq 1)\) erfüllt sind. Es sei \(S=\{\beta i-j:i\geq 0,j\geq 0,\beta i-j\geq \beta N\}\) mit den Elementen \(\beta =S_ 1>...>S_ q=\beta N\). Dann gibt es Zahlen \(c_{\nu \ell}(1\leq \nu \leq r,1\leq \ell \leq q)\), für die \(y_{\nu n}=\sum^{1/2}_{\ell =1}c_{\nu \ell}n^ sj+o(n^{\beta N})\) (n\(\to \infty)\) gelten; weiterhin sind \(c_{\nu \ell}\) nur von den partiellen Ableitungen höchstens N-ten Grades von \(H_{\mu}\) abhängig. Es wird auch eine Anwendung für die Freudschen Polynome gezeigt.