On a theorem in function theory related to roots of unity. (Q1554818)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a theorem in function theory related to roots of unity. |
scientific article |
Statements
On a theorem in function theory related to roots of unity. (English)
0 references
1877
0 references
In der Identität \[ \sum^{a=n-1}_{a=0} \frac {1} {x^{2^a}-x^{-2^a}} =\frac{x^{2^n}} {1-x^{2^n}}- \frac{x}{1-x} =\frac{1}{x-1} -\frac{1}{x^{2^n}-1}, \] welche durch die Substitution \(x=e^{i\vartheta}\) in die folgende sehr fruchtbare Summenformel: \[ \sum_{a=0}^{a=n-1} \frac{1}{\sin(2^a\vartheta)} = \frac{\sin \left( \frac{2^n-1}{2}\vartheta \right)} {\sin\frac{\vartheta}{2} \cdot \sin\frac{2^n\vartheta}{2}} \] übergeht (siehe Boole's Calculus of finite differences), lässt der Herr Verfasser \(n\) obene Ende wachsen und erhält: \[ \sum^{a=\infty}_{a=0} \frac {1} {x^{2^a}-x{-2^a}} = \begin{cases} -\frac{1}{1-x} & \text{ für mod } x<1, \\ \frac{1}{1-x} & \text{ für mod } x>1. \end{cases} \] Hieraus wird nun durch die Substitution \(x=\frac {z} {\zeta}\) eine Entwickelung für die reciproke Differenz zweier Zahlen abgeleitet: \[ \frac {1} {\zeta-z} = \begin{cases} \frac 1z \sum^{a=\infty}_{a=0} \frac {(z\zeta)^{2^a}} {\zeta^{2^{a+1}} - z^{2^{a+1}}} & \text{ für mod } z < \text{ mod }\zeta, \\ \frac {1}{\zeta} \sum^{a=\infty}_{a=0} \frac {(z\zeta)^{2^a}} {\zeta^{2^{a+1}}-z^{2^{a+1}}} & \text{ für mod } z > \text{ mod }\zeta, \end{cases} \] und diese Entwickelung in die Laurent'sche Verallgemeinerung des Cauchy'schen Satzes: \[ f(z) = \frac {1}{ 2\pi i} \left\{ \int_R \frac{f(\zeta)d\zeta}{\zeta-z}-\int_r \frac {f(\zeta)d\zeta} {\zeta-z} \right\} \] eingesetzt. Durch Anwendung der Partialbruchzerlegung ergeben sich dann für \(f(z)\) folgende Ausdrücke: \[ f(z)=\sum^{a=\infty}_{a=0}\frac {1}{2^{a+1}} \sum^{h=2^{a+1}}_{h=1} (-1)^h e^{\frac {h\pi i} {2^a}} f(\zeta_h) \] \[ +\sum^{a=\infty}_{a=0} \frac {1}{2^{a+1}} \sum^{h=2^{a+1}}_{h=1} \frac {(-1)^h (e^{\frac {h\pi i}{2^a}} -1)}{2\pi i} \int_r \frac {f(\zeta)d\zeta}{\zeta - \zeta_h}, \] \[ f(z)= \sum^{a=\infty}_{a=0} \frac {1}{2^{a+1}} \sum^{h=2^{a+1}}_{h=1} (-1)^h (e^{\frac{h\pi i}{a^2}}-1) \] \[ \int_R \frac {f(\zeta)d\zeta}{\zeta-\zeta_h} + \sum^{a=\infty}_{a=0} \frac {1}{2^{a+1}} \sum^{h=2^{a=2}}_{h=1} (-1)^h f(\xi_h). \] Eine beteutende Vereinfachung tritt bei der ersteren Form ein, wenn die Function auch auf der innern Kreisfläche stetig ist, also in eine Maclaurin'sche Reihe entwickelt werden kann. Setzt man für die Wurzeln \(\zeta h\) der Nennergleichung \[ \zeta^{2^{a+1}} - z^{2^{a+1}}=0 \] die Werthe \[ \zeta_h = ze^{\frac{h\pi i}{2a}} \text{ für } h = 1, 2, 3\ldots 2^{a+1} \] ein, so wird die erstere Form: \[ f(z) = \sum^{a=\infty}_{a=0} \frac {1}{2^{a+1}} \sum^{h=2^{a+1}}_{h=1} (-1)^h e^{\frac{h\pi i}{2^a}} f(e^{\frac{h\pi i}{2^a}} z). \] Dieses Theorem giebt eine Entwickelung der Function \(f(z)\) in eine stets convergente und nur einfach unendliche Doppelreihe; es leistet, umgekehrt, die Summation einer Doppelreihe; und bietet endlich eine Beziehung zwischen denjenigen Functionswerthen, deren Argumente sich wie die \(2^{\text{m ten}}\) Wurzeln der Einheit zu einander verhalten. Als eine weitere Verallgemeinerung dieser Ergebnisse gelangt der Herr Verfasser endlich zu dem für jede Function \[ f(z) = \sum^{c=\infty}_{c= -\infty} \gamma_c z^c \] geltenden Satze: \[ f(z)-\gamma_k z^k = \sum^{a=\infty}_{a=0} \frac {1}{2^{a+1}} \sum^{h=2^{a+1}}_{h=1} (-1)^h e^{-\frac {hk\pi i}{2^a}} f(e^{\frac {h\pi i}{2^a}} z). \]
0 references
Laurent expansions
0 references