Interpolation of entire functions on regular sparse sets and \(q\)-Taylor series (Q2388631): Difference between revisions

Bei \(a,q\in \mathbb{C}^\times, |q|\neq 1\) sei \(z_n:=(aq^n+a^{-1}q^{-n})/2, (a;q):=\prod_{k=0}^{n-1}(1-aq^k)\) und \(\Phi_n(z;a):=\prod_{k=0}^{n-1}(1-2azq^k+a^2q^{2k})\) für alle \(n\in \mathbb{N}_0\); leere Produkte sind 1. Dann besitzt jede ganze Funktion \(f\) mit \(\limsup_{r\rightarrow \infty}(\log|f|_r)/(\log r)^2 < 1/(2|\log|q||)\) die in ganz \(\mathbb{C}\) gültige Darstellung \(f(z)=\sum_{n=0}^\infty q^nf_n\Phi_n(z;a)\) mit \(f_n:=\sum_{k=0}^n (-1)^kq^{k(k-1)/2}(1-a^2q^{2k})f(z_k)/((q;q)_k(q;q)_{n-k}(a^2q^k;q)_{n+1})\) für alle \(n\in \mathbb{N}_0\). Dies wurde (allerdings nur für reelle \(a,q\in ]0,1[\)) von \textit{M. E. H. Ismail} und \textit{D. Stanton} [J. Approximation Theory 123, 125--146 (2003; Zbl 1035.30025)] unter Verwendung von Ergebnissen aus der Theorie der \(q\)-hypergeometrischen Funktionen bewiesen. Das o.a. Resultat leitet Verf. nun aus einem allgemeineren Satz ab, für dessen Beweis er eine Interpolationsformel heranzieht. Um diesen Satz zu formulieren, nennt er eine unendliche, diskrete Teilmenge \(X\) von \(\mathbb{C}\) \textit{regulär dünn}, wenn sie die im Referat seiner früheren Arbeit [J. Number Theory 109, 163--181 (2004; Zbl 1068.30020)] zitierte Eigenschaft \((\ast)\) hat. Das Hauptergebnis der vorliegenden Arbeit lautet nun: Sei \(X\subset \mathbb{C}\) regulär dünn und \((x_n)_{n=0,1,\dots}\) die Folge der nach wachsenden Beträgen geordneten Elemente von \(X\), so besitzt jedes ganze \(f\) mit \(\limsup_{r\rightarrow \infty} (\log|f|_r)/(\psi(r)\log r)< \sup_{\theta>1}(\theta-\overline{\Lambda}(X))/(\theta T_X(\theta))\) die in ganz \(\mathbb{C}\) gültige Entwicklung \(f(z)=\sum_{n=0}^\infty A_{X,n}\prod_{k=0}^{n-1} (z-x_k)\) mit \(A_{X,n}:=\sum_{k=0}^n f(x_k)/\prod_{j=0,j\neq k}^n (x_k-x_j)\). Dabei sind \(|f|_r, \psi_X(r)\) und \(\overline{\Lambda}(X)\) wie im Referat der o.a. Arbeit des Verf. und \(T_X(\theta):=\limsup_{r\rightarrow \infty} \psi_X(r^\theta)/\psi_X(r)\). Verf. gibt schließlich neue Anwendungen seines Hauptsatzes auf ganze Funktionen, die auf regulär dünnen Teilmengen von \(\mathbb{Z}\) ganzwertig sind.