Sur le domaine de convergence absolue des séries multiples de puissances. (Q2596346)

Gegeben sei die Potenzreihe \(\sum a_{m,n}z^mz'{}^n\), und es sei \[ |a_{m,n}|=A_{m,n},\;|z|=r,\;|z'|=r',\;\log r=\varrho,\;\log r'=\varrho'. \] Ferner bezeichne \(D_{m,n}\) die Gerade \(m\varrho+n\varrho'+\log A_{m,n}=0\). Dann ist \[ \sqrt2\root m+n\of{A_{m,n}r^mr'{}^n}=\frac{\sqrt2}{m+n} (m\varrho+n\varrho'+\log A_{m,n}) \tag{1} \] der Abstand des Punktes \((\varrho,\varrho')\) von \(D_{m,n}\), gemessen parallel zur Geraden \(\varrho=\varrho'\) und positiv nach oben. Sei nun \(E\) die Ableitung der Geradenmenge \(D_{m,n}\). Man markiere auf jeder Geraden \(\varrho = \varrho' + c\) (\(-\infty < c < + \infty\)) den Punkt mit kleinstem \(\varrho\), der auf \(E\) liegt. Die so gewonnene Punktmenge heiße \(\gamma\); sie ist im allgemeinen eine Kurve. Aus (1) und bekannten Sätzen über Potenzreihen folgt, daß der links unterhalb von \(\gamma\) gelegene Bereich der \((\varrho, \varrho')\)-Ebene genau dem Bereich absoluter Konvergenz der ge\-gebenen Reihe entspricht. Es ergeben sich nun in anschaulicher Weise bekannte Sätze über die Konvergenzkörper von Potenzreihen.