On zeros of irregular Taylor's series, and an approximation problem. (Q2586735)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2506358
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On zeros of irregular Taylor's series, and an approximation problem. |
scientific article; zbMATH DE number 2506358 |
Statements
On zeros of irregular Taylor's series, and an approximation problem. (English)
0 references
1940
0 references
Verf. betrachtet ganze Funktionen mit folgender Taylorentwicklung: \[ f(z)={\sum\limits_{n=0}^{\infty}}b_{\lambda_n}z^{\lambda_n}+ {\sum\limits_{n=0}^{\infty}}b_{\mu_n}z^{\mu_n}; \] der erste bzw. der zweite Summand ist von der Ordnung \(\leqq r\) bzw. \(\leqq\varrho\), \(\varrho < r\), und es gilt für unendlich viele \(n\): \(\lambda_{n+1}>\lambda_n^{\sigma-\varepsilon}\), \(\sigma> 1\), \(\varepsilon> 0\). Das Zahlentripel \((\varrho, r, \sigma)\) heißt \textit{Lückenindex} von \(f(z)\). Verf. beweist: Ist \(f(z)\) eine nicht identisch verschwin\-dende ganze Funktion mit dem Lückenindex \((\varrho, r, \sigma)\), so ist für jede Teilfolge \(a_1'\), \(a_2'\),\dots der nach wachsenden Beträgen geordneten Folge der Nullstellen (jede ihrer Viel\-fachheit nach hingeschrieben) \[ \operatornamewithlimits{lim\,sup}\limits_{n\to\infty}\frac{\log|a_n'|}{\log n}\geqq \min\left(\dfrac{1}{\varrho},\,\frac\sigma r\right). \] Ist \(r\) genau die Ordnung von \(f(z)\) und zugleich der Grenzexponent der Nullstellen \(a_1\), \(a_2\),\dots, so folgt wegen \(\operatornamewithlimits{lim\,inf}\limits_{n\to\infty}\dfrac{\log|a_n|}{\log n} \leqq\dfrac1r\) \[ \operatornamewithlimits{lim\,sup}\limits_{n\to\infty}\frac{\log|a_n|}{\log n}\geqq \varkappa\operatornamewithlimits{lim\,inf}\limits_{n\to\infty}\frac{\log|a_n|}{\log n}, \quad\varkappa=\min\left(\dfrac{r}{\varrho},\,\sigma\right). \] Die Methode beruht wesentlich auf der Möglichkeit, eine beliebige ganze Funktion in jedem beschränkten Bereich gleichmäßig durch Funktionen der Form \[ c_1f(e_1z)+c_2f(e_2z)+\cdots+c_mf(e_mz) \] approximieren zu können. \(c_i\) und \(e_i\) sind geeignete komplexe Zahlen. Genauer: Ist \(\operatornamewithlimits{lim\,sup}\limits_{n\to\infty}\dfrac{\log|e_n|}{\log n}< \min\left(\dfrac{1}{\varrho},\,\dfrac\sigma r\right)\) und \(E \{n ; g^{(n)}(0)\neq 0\}\subset E\{n ; f^{(n)}(0)\neq 0\}\), so ist für die ganze Funktion \(g(z)\) obige Approximation möglich.
0 references