Some theorems on double limits. (Q5971848): Difference between revisions

\(f (x, y)\) sei eine in der Umgebung des Punktes (0, 0) definierte eindeutige reelle Funktion der reellen Veränderlichen \(x\) und \(y\). Verf. sucht Kriterien für die Existenz des Doppellimes \[ \lim_{(x,y) \to (0,0)} f (x, y) \tag{1} \] und beweist in diesem Zusammenhang mehrere Sätze folgender Art: \(\varPhi (s) = \sum\limits_1^\infty a_ns^n\) und \(\varPsi (s) = \sum\limits_1^\infty b_ns^n\) seien reelle Potenzreihen mit positiven Konvergenzradien \(\varrho_a\), \(\varrho_b\). \(\{\mathfrak A\}\) sei die Gesamtheit der Kurven \(\mathfrak A\), die mit Hilfe solcher Potenzreihen durch \[ x = \varPhi (s), \qquad y=\varPsi (s) \qquad (|s| \leqq \varrho < \text{ Min } \{\varrho_a,\varrho_b\}) \] darstellbar sind. Die Existenz eines einheitlichen Grenzwerts von \(f (x, y)\), falls \((x, y)\) auf einer beliebigen, auf irgend einer solchen Kurve \(\mathfrak A\) gelegenen Punktmenge gegen \((0, 0)\) strebt, schließt die Existenz von (1) \textit{nicht} ein. \(r\) sei ein fest vorgegebener Wert mit der Eigenschaft \(0 < r \leqq + \infty\); \(\sum\limits_1^\infty a_nz^n\) und \(\sum\limits_1^\infty b_nz^n\) seien Potenzreihen mit reellen Koeffizienten derart, daß \(z= r \) die einzige Singularität der so dargestellten Funktionen in der ganzen Ebene ist. \(\{\mathfrak B_r\}\) sei die Gesamtheit der Kurven \(\mathfrak B_r\), die mit Hilfe solcher Potenzreihen durch \[ x = \sum_1a_ns\!^{\infty \atop n}, \quad y = \sum_1b_ns\!^{\infty \atop n}, \quad (|s|<r) \] für reelles \(s\) darstellbar sind. Die Existenz eines einheitlichen Grenzwerts von \( f (x, y)\), falls \((x, y)\) auf einer beliebigen, auf irgend einer solchen Kurve \(\mathfrak B_r\) gelegenen Punktmenge gegen (0, 0) strebt, schließt die Existenz von (1) ein. Beim Beweise des letztgenannten Satzes gewinnt man folgende schöne Ergänzung: Es gibt eine Kurve \(\mathfrak B_r\) der Klasse \(\{\mathfrak B_r\}\), die durch jeden Punkt mit rationalen Koordinaten in der Ebene geht.