On analytic expressions with removable singularities. (Q1543722)

Wenn eine Function \(f(x)\) der reellen Variablen \(x\) so beschaffen ist, dass die Functionswerte auf beiden Seiten einer gewissen Stelle \(x = a\) beliebig wenig von einander differiren, sobald nur \(x\) hinlänglich der Stelle \(a\) genähert wird, während \(f(a)\) selbst einen Wert besitzt, der von jenen Nachbarwerten um ein Endliches oder Unendlichgrosses abweicht, so sagt man, \(f(x)\) erleide an der Stelle \(z = a\) eine hebbare Unstetigkeit. Solche Unstetigkeiten sind ganz und gar nichts Ungewöhnliches. Die ungleichmässige Convergenz der Reihen, welche die Ursache der sprungweisen Aenderungen bildet, erzeugt nämlich noch viel öfter hebbare Unstetigkeiten. Es bezeichne \(\varphi_0(x), \varphi_1(x), \dots\) eine unendliche Folge von Functionen von \(x\), die innerhalb eines gewissen Intervalles \(x_0 < x < x_1\) stetig sind. Die Reihe \[ (1) \quad \sum^{\infty}_0{}_\nu \varphi_{\nu} (x) \] sei für alle Werte von \(x\) im Intervalle \((x_0, x_1)\) mit Ausnahme eines einzigen \(x = a\) unbedingt, für diesen bedingt convergent, und es stelle ihre Summe \(S(x)\) eine für das ganze Intervall stetige Function von \(x\) dar. Stellt man jetzt die Glieder der Reihe so um, dass sie für \(x = a\) eine gegebene, von \(S(a)\) verschiedene Summe erlangt, so ist die Summe der so umgeordneten Reihe eine Function, welche an der Stelle \(a\) eine hebbare Unstetigkeit von beliebig vorzuschreibender Grösse besitzt. Mittels dieses Verfahrens kann man aus jeder bedingt convergenten Reihe \(\sum c_\nu\) unendlich viele Functionen mit der verlangten Eigenschaft ableiten. Bezeichnet nämlich \(f(x)\) eine im Intervalle \((x_0, x_1)\) stetige Function von \(x\), die an der Stelle \(x = a\), und nur an dieser, ihre obere Grenze erreicht, so wird die Reihe \[ \sum^{\infty}_0{}_\nu c_{\nu} \left\{ \frac{f(x)}{f(a)} \right\}^{\nu} \] die der Reihe (1) beigelegten Eigenschaften besitzen. Das Vorstehende lässt sich in folgender Art verallgemeinern. Die Reihe (1) sei innerhalb des Intervalles \(x_0 < x < x_1\) convergent, gleichgültig ob bedingt oder unbedingt, jedoch im allgemeinen gleichmässig, so dass ihre Summe \(S(x)\) eine eindeutige, im allgemeinen stetige Function darstellt. Nun werde gesetzt \[ \varphi_{\nu} (x)= \varphi_{\nu}^{(1)} (x)+ \varphi_{\nu}^{(2)} (x) \qquad (\nu=0,1,2, \dots), \] wo die \(\varphi_{\nu}^{(1)}\) und \(\varphi_{\nu}^{(2)}\) Functionen von demselben Charakter wie die \(\varphi_{\nu} (x)\) bedeuten. Sind dann die beiden Reihen \[ s^{(1)} (x)= \sum^{\infty}_0{}_\nu \varphi_{\nu}^{(1)} (x), \qquad S^{(2)}= \sum^{\infty}_0{}_\nu \varphi_{\nu}^{(2)} (x) \] im Intervalle \(x_0 < x < x_1\) mit Ausnahme einer Stelle \(x = a\) zugleich mit (1) gleichmässig convergent und für \(x = a\) divergent und zwar jede mit unendlichem Grenzwerte, so wird die Reihe \[ \overline S (x)= \lim \left\{ \sum^{n_1}_0{}_\nu \varphi_{\nu}^{(1)} (x)+ \sum^{n_2}_0{}_\nu \varphi_{\nu}^{(2)} (x) \right\} \qquad (n_1= \infty,\;n_2= \infty) \] zunächst mit Ausschluss der Stelle \(x = a\) dieselbe Summe wie (1) besitzen, unabhängig davon, wie \(n_1\) und \(n_2\) ins Unendliche wachsen; an der Stelle \(x = a\) aber nur dann, wenn \(n_1 = n_2\) ist oder doch zwischen \(n_1\) und \(n_2\) ein bestimmtes Abhängigkeitsverhältnis stattfindet. In jedem anderen Falle werden \(S(a)\) und \(\overline S (a)\) sich von einander unterscheiden. Am Schlusse werden aus Ausdrücken mit sprungweisen Aenderungen nach Art der Fourier'schen Reihen und Integrale solche mit hebbaren Unstetigkeiten abgeleitet. Ein Teil der so erzeugten Unstetigkeiten lässt sich mit Hilfe eines im vorhergehenden Referate berührten Satzes auf die oben erwähnten Ursachen zurückführen. Sämtliche schematisch beschriebenen Erscheinungen sind durch Beispiele erläutert.