Second note on analytic functions of several variables. (Q1513904)

In der ersten Note (F. d. M. 30, 1899, 380, JFM 30.0380.02) hatte Osgood den Satz bewiesen: Ist die Function \(F(x,y)\) für jede Stelle des Bereiches \(T\), der durch die Ungleichheiten \(|x|\leq R\), \(|y|\leq S\) erklärt wird, eindeutig definirt, und genügt sie den Bedingungen, dass 1. \(F(x,y)\) für jeden festen, im Kreise \(|x|=R\) gelegenen Wert von \(x\) eine im Kreise \(|y|=S\) analytische Function von \(y\) und für jeden festen im Kreise \(|y|=S\) gelegenen Wert von \(y\) eine im Kreise \(|x|=R\) analytische Function von \(x\) ist, und 2. \(F(x,y)\) im Bereiche \(T\) endlich bleibt, so ist \(F(x,y)\) eine analytische Function der beiden unabhängigen Veränderlichen \(x\) und \(y\). Osgood hatte nun die Frage aufgeworfen, ob der Satz noch bestehen bleibt, wenn man die zweite Bedingung weglässt. Wenn es ihm auch nicht gelungen ist, die Frage zu erledigen, so giebt doch folgender von ihm gefundener Satz eine wertvolle Einsicht in das Wesen der Sache. Es möge \(x_0\), \(y_0\) beliebiger Punkt des Bereiches \(T\) sein, während bezüglich der Function \(F(x,y)\) bloss die Voraussetzung 1. gelten soll. Dann existirt in jeder Umgebung von \(x_0\), \(y_0\) ein Punkt \(x_1\), \(y_1\), in dem \(F(x,y)\) analytisch ist, und zwar umfasst der Definitionsbereich dieser Function mindestens den Bereich \[ |x-x_1| < h,\quad |y-y_1| < S_1 - |y_0|\qquad (0<S_1<S), \] beziehungsweise \[ |y-y_1| < h,\quad |x-x_1| < R_1 - |x_0|\qquad (0<R_1<R), \] wo \(h\) eine passend zu wählende Grösse bedeutet. Die Frage, ob es in \(T\) einen Punkt \(x_0\), \(y_0\) giebt, in dem \(F(x,y)\) nicht analytisch zu sein braucht, wird also dann und nur dann zu verneinen sein, wenn folgender Satz richtig ist. Es möge \(\Phi(x,y)\) eine Function sein, die der Bedingung 1. genügt und ausserdem im Bereiche \(|x|<R\), \(|y|<k<S\) eine analytische Function der beiden unabhängigen Veränderlichen \(x\), \(y\) ist. Dann ist \(\Phi(x,y)\) auch im ganzen Bereiche \(T\) analytisch. Ob dieser Satz richtig ist, bleibt jedoch unentschieden.