On holomorphic functions. (Q1543952): Difference between revisions

Wenn eine Function \(f(z)\) für alle endlichen Werte des Argumentes \(z\) ``holomorph'', d. h. eindeutig, endlich und stetig ist und überdies die Eigenschaft besitzt, dass \(\frac{f(z)}{z^n}\) endlich bleibt für unendlich grosse Werte von \(z\), so ist \(f(z)\) eine ganze Function \(n^{\mathrm ten}\) Grades von \(z\). Diesen Satz beweist Herr Hermite auf folgende Weise. Es ist \[ f(x) = f(0)+\frac x1\;f'(0)+\cdots +\frac{x^n}{n!}\;f^{(n)}(0)+J, \] wobei \[ J=\frac{1}{2\pi i} \int \frac{x^{n+1}f(z) dz}{z^{n+1}(z-x)} \] ist, das Integral erstreckt über den Umfang eines Kreises, dessen Mittelpunkt im Punkte \(z=0\) liegt und welcher den Punkt \(z=x\) einschliesst. Der Wert von \(J\) lässt sich nun auf die Form bringen \[ J = \frac{x^{n+1}f(\zeta)}{\zeta^n(\zeta-x)}\;\lambda e^{-i\theta} , \] unter \(\zeta = re^{i\theta}\) einen auf dem Umfange jenes Kreises liegenden Punkt und unter \(\lambda\) eine Grösse verstanden, deren Modul die Einheit nicht überschreitet. Hiernach kann \(J\) beliebig klein gemacht werden durch Vergrösserung des Kreises, und folglich ist \(J=0\), womit der zu beweisende Satz erhärtet ist.