Aus dem Gebiet der Differenzengleichungen.
Die \textit{Euler}sche \(\varGamma\)-Funktion kann definiert werden als einzige analytische Lösung \(G = \varGamma\) der quadratischen Funktionalgleichung \[ \sum_{|\nu|<\infty}^{\equiv x(1)} \frac{a^\nu b^{\lambda-\nu}}{G(1+\nu)G(1+\lambda-\nu)}= \frac{(a+b)^\lambda}{G(1+\lambda)} \tag{1} \] (wo die Summation über alle \(\nu\) mit \(\nu\equiv x (\text{mod} \;1)\), \(x\) beliebig komplex, zu erstrecken ist), die noch den Bedingungen \[ G(2)=1,\quad |G(\nu)|<\infty\quad \text{für} \;\mathfrak R(\nu)=1 \tag{2} \] genügen soll. Aus (1) und (2) kann die sonst üblicherweise zur Definition der Gammafunktion mitbenutzte Differenzengleichung \[ z \cdot\varGamma(z) = \varGamma (z +1) \] leicht gewonnen werden. Zwischen den Werten \(\varGamma\left(\dfrac zl\right)\), wo die Argumente die Teile einer beliebig vorgeschriebenen Größe \(z\) sind, besteht eine Identität \[ (1+z)\prod_{l=1}^\infty \left[\varGamma\left(1+\frac zl\right)\right]^{\mu_l} =e^z, \tag{3} \] wo \(\mu_l\) die \textit{Möbius}schen Koeffizienten sind. Zum Beweise von (3) wird mit Hilfe des Primzahlsatzes die entsprechende Identität für die logarithmische Ableitung der Gammafunktion \(\varPsi=\varGamma'/\varGamma\) aufgestellt: \[ \sum_{l=1}^\infty\frac{\mu_l}l\left[\varPsi\left(1+\frac zl\right)\varPsi(1)\right]=\frac z{1+z}, \] die für \(0 < |1+z|<\infty\) gilt. Elementar, ohne Benutzung des Primzahlsatzes, kann eine Identität zwischen den Cotangenten der Teile eines Argumentes bewiesen werden: \[ \sum_{l=1}^\infty\frac{\mu_l}l\left[\frac zl\pi\operatorname{ctg}\left(\frac{\pi z}l\right) \right]=\frac {2z}{1-z^2}, \] die für \(0 <|1-z^2|<\infty\) gültig ist. Für die ``punktierte \textit{Weierstraß}sche \(\wp\)-Funktion wird die Identität abgeleitet: \[ \sum_{m,n}^{0<m^2+n^2} \frac{\mu_{m,n}}{(m+in)^2} \left[-\left(\frac{m+in}z\right)^2+\wp\left(\frac z{m+in}\right)\right]= 4\frac d{dz}\left(\frac{z^3}{1-z^4}\right), \] wobei die \(\mu_{m,n}\) als ganze rationale Zahlen aus der für \(2 < \mathfrak R (s)\) aufgestellten Forderung \[ \left[\sum_{h=1}^\infty \sum_{k=0}^\infty (h+ik)^{-s}\right]\cdot \left[\sum_{m,n}^{0<m^2+n^2} \mu_{m,n}\cdot (m+in)^{-s}\right]=1 \] bestimmbar sind. (IV 6 C, 11).
This page was built for publication: Aus dem Gebiet der Differenzengleichungen.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2607690)
