Über Summen, die mit den elliptischen \(\vartheta\)-Funktionen zusammenhängen. (Q5909005)

Hardy-Littlewood betrachten in ihrer Arbeit ``Some problems of Diophantine approximation. II.: The trigonometrical series associated with the elliptic \(\vartheta\)-functions'' [Acta Math. 37, 193--238 (1914; JFM 45.0305.03)] folgende aus den Reihenentwick\-lungen der elliptischen Thetafunktionen \[ \left. \begin{aligned} \vartheta_{10}(x,v)&=\vartheta^{(2)}(x,v)=\sum_{\nu=-\infty}^{+\infty} e^{(\nu-\frac12)^2\pi ix}\cos(2\nu-1)\pi v\\ \vartheta_{00}(x,v)&=\vartheta^{(3)}(x,v)=\sum_{\nu=-\infty}^{+\infty} e^{\nu^2\pi ix}\cos2\nu\pi v\\ \vartheta_{01}(x,v)&=\vartheta^{(4)}(x,v)=\sum_{\nu=-\infty}^{+\infty} (-1)^\nu e^{\nu^2\pi ix}\cos2\nu\pi v \end{aligned} \right\};\,\text{Im}(x)>0 \] durch Abbrechen der Summation im endlichen und Zusammenfassen der Glieder mit positiven und negativen Indizes entstehenden Summen \((n > 0)\): \[ \begin{aligned} s_n^{(2)}(x,v)&=\sum_{\nu=0}^n{\vphantom\sum}' e^{(\nu-\frac12)^2\pi ix}\cos(2\nu-1)\pi v,\\ s_n^{(3)}(x,v)&=\sum_{\nu=0}^n{\vphantom\sum}' e^{\nu^2\pi ix}\cos2\nu\pi v,\\ s_n^{(4)}(x,v)&=\sum_{\nu=0}^n{\vphantom\sum}' (-1)^\nu e^{\nu^2\pi ix}\cos2\nu\pi v, \end{aligned} \] (wo \(\sum\limits_{\nu=0}^n{\vphantom\sum}'\) bedeutet, daß die beiden \(\nu = 0\) und \(\nu = n\) entsprechenden Glieder mit dem Faktor \(\frac12\) zu versehen sind), sowie die drei entsprechenden, mit \(\sigma_n^{(\lambda)}(x,v)\) (\(\lambda = 2, 3, 4\)) bezeichneten Summen, die bei Ersetzung von \(\cos\) durch \(\sin\) entstehen. Entsprechend der linearen Transformation: \[ \vartheta^{(\lambda)}(x,v)-\frac{i+1}{\sqrt{2x}}e^{-\tfrac{\pi iv^2}x} \vartheta^{(6-\lambda)}\left(-\frac1x,\frac vx\right)=0\;(\lambda=2,3,4;\;\text{Re}(\sqrt{2x})>0) \] beweisen sie dann die Gültigkeit der ``angenäherten'' Transformationsrelationen \[ \left|s_n^{(\lambda)}(x,v)-\frac{i+1}{\sqrt{2x}}e^{-\tfrac{\pi iv^2}x} s_{nx}^{(6-\lambda)}\left(-\frac1x,\frac vx\right)\right|<\frac K{\sqrt x}\quad (\lambda=2,3,4) \] und derselben Relationen für die \(\sigma_n^{(\lambda)}(x,v)\), gültig für \(0 < x\leqq1\) und \(|v|\leqq1\), wobei \(K\) eine von \(x\), \(\theta\), \(n\) unabhängige, numerische Konstante ist. Diese für reelles \(x\) gültigen Relationen sind deshalb von Wichtigkeit, weil für die zahlentheoretischen Anwendungen der Thetareihen deren Verhalten in der Umgebung der auf der reellen \(x\)-Achse überall dicht liegenden Singularitäten wesentlich ist. Der Verf. leitet nun dies Resultat, ohne wie Hardy-Littlewood die komplexe Funktionentheorie, insbesondere den Cauchyschen Integralsatz anzuwenden, durch folgende, ganz im Reellen verlaufende Überlegungen her: Er betrachtet für reelle \(x\neq0\), \(y\), \(z\) das Integral \[ I(x,y,z)=\frac{\operatorname{sgn\,}(-xz)}{\sqrt{|x|}}e^{-\tfrac{\pi i}x(xy-z)^2} \int\limits_{\tfrac{|z|}{\sqrt{|x|}}}{\vphantom{\int}}^{+\infty} e^{(\operatorname{sgn\,}x)\cdot\pi iu^2}\,du \] und beweist, daß \[ F(x,y,z)=\lim_{N\to\infty}\sum_{n=-N}^{+N}I(x,y,z-n) \] existiert und für reelle \(a\), \(b\) die Eigenschaft hat: \[ F(x,b,xb+z)-F(x,a,xa+z)=\sum_{n=a}^b{\vphantom{\sum}}'e^{\pi i(xn^2+2zn)}-\frac{i+(\operatorname{sgn\,}x)}{\sqrt{2|x|}} \sum_{n=xa+z}^{xb+z}\!\!\!\!{\vphantom{\sum}}' e^{-\tfrac{\pi i}x(n-z)^2} \tag{1} \] \(\left(\sum\limits_{n=a}^b\!\!{\vphantom{\sum}}'\right.\) bedeutet für \(a<b\) das oben festgesetzte, für \(a=b\) Null und für \(a>b\) die -- \(\left.\sum\limits_{n=a}^b\!\!{\vphantom{\sum}}'\right)\). \noindent Aus (1) beweist er ferner durch asymptotische Entwicklung von \(e^{\pi ixy^2}F(x,y,z)\) nach steigenden Potenzen von \(x\), daß die rechte Seite von (1) absolut unter \(\displaystyle{\frac72\left(1+\frac1{\sqrt{|x|}}\right)}\) liegt, was sich als gleichwertig mit den Hardy-Littlewoodschen Relationen erweist. Schließlich zeigt er, daß für ganzzahliges \[ b - a,\;\;x(b - a),\;\;\frac x2(b -a)^2+z(b -a) \] die rechte Seite von (1) Null ist, was also eine exakte Transformationsgleichung für geeignete Näherungssummen der Thetareihen bei geeigneten Argumenten bedeutet. Speziell ergibt sich daraus für \[ x=\frac2q\;\;\text{(\(q\) ganz positiv)},\;\;a = 0,\;\;b = q,\;\;z = 0 \] die bekannte Formel für die Gaußschen Summen: \[ \sum_{n=0}^q{\vphantom{\sum}}'e^{\tfrac{2\pi in^2}q}= \frac{i+1}2\sqrt q\left(1+e^{-\tfrac{q\pi i}2}\right)= \left.\begin{cases} (i+1)\sqrt q&\text{für } q\equiv0\\ \sqrt q&\text{für }q\equiv1\\ 0&\text{für }q\equiv2\\ i\sqrt q&\text{für }q\equiv3\end{cases}\right\}\bmod4 \]