On the linear partial \(q\)-difference equation of general type. (Q1835583)

Verf. hat in einer früheren Arbeit (1924; F.~d.~M. 50, 698) eine Funktionalgleichung, und zwar im wesentlichen unter Übertragung der von \textit{Birkhoff} (1911; F.~d.~M. 42, 359) in der Theorie der linearen Differenzengleichungen geschaffenen Methoden, behandelt. In der vorliegenden Arbeit untersucht er die mit der früher behandelten nahe verwandte Gleichung \[ \sum_{\varkappa\lambda}^{0,\ldots,n} a_{\varkappa\lambda}(x,y) f(q^{\varkappa}x,r^{\lambda}y)=0, \tag{1} \] in welcher \(a_{\varkappa,\lambda}(x,y)\) eine bekannte, in der Umgebung von \(0,0\) analytische Funktion der komplexen Variablen \(x\), \(y\) ist: \[ a_{\varkappa\lambda}(x,y)=a_{\varkappa\lambda00}+ a_{\varkappa\lambda10}x+a_{\varkappa\lambda01}y+\ldots, \tag{2} \] \(q\) und \(r\) Konstanten vom absoluten Betrage \({}>1\) sind und \(f(x,y)\) die gesuchte Funktion bedeutet. Verf. führt das Polynom \[ g(\varrho,\sigma,k,l,m,p)= \sum_{\varkappa,\lambda}^{0,\ldots,n} a_{\varkappa\lambda mp} \varrho^{\varkappa}q^{k\varkappa}\sigma^{\lambda}r^{l\lambda} \tag{3} \] ein und nennt \[ g(\varrho,\sigma,0,0,0,0)=0 \tag{4} \] die \textit{charakteristische Gleichung} von (1). Jedes Paar von Zahlen \((\varrho_{0},\sigma_{0})\), das (4) genügt, heißt ein \textit{charakteristisches Zahlenpaar}; ein solches Paar heißt \textit{einfach}, wenn \[ g(\varrho,\sigma_0,0,0,0,0)=0 \] \(\varrho_0\) zur einfachen Nullstelle und \[ g(\varrho_0,\sigma,0,0,0,0)=0 \] \(\sigma_0\) zur einfachen Nullstelle hat. Verf. macht zunächst die folgenden Voraussetzungen: (a) Die Zahlen \(\varrho_0\), \(\sigma_0\) sind beide endlich und von Null verschieden. (b) Das Paar \((\varrho_0,\sigma_0)\) ist einfach und genügt keiner Gleichung \[ g(\varrho,\sigma,k,l,0,0)=0 \] für nicht negative ganze Zahlen \(k\), \(l\), die nicht beide verschwinden. (c) \(a_{nn00}\neq 0\). (d) \(\varrho_0\) genügt keiner Gleichung \[ \sum_{\varkappa=0}^{n} a_{\varkappa n00} \varrho^{\varkappa}q^{k\varkappa}=0, \] \(\sigma_0\) keiner Gleichung \[ \sum_{\lambda=0}^{n} a_{n\lambda 00} \sigma^{\lambda}r^{l\lambda}=0, \] wobei \(k\) bez. \(l\) von \(0\) bis zu einer gewissen, näher zu bestimmenden natürlichen Zahl \(K\) bzw. \(L\) läuft. Unter diesen Voraussetzungen (a), (b), (c), (d) gelingt es Verf., eine in der Umgebung von \((0,0)\) analytische Lösung von (1) anzugeben. Eine solche Lösung kann Verf. auch dann noch angeben, wenn die Voraussetzung (b) aufgegeben wird; der Fall der Ungültigkeit einer anderen oder mehrerer Voraussetzungen (a) bis (d) wird dagegen nicht systematisch erörtert. Schließlich untersucht Verf. unter den gleichen Annahmen auch die zu (1) gehörige inhomogene Gleichung.