Summe der inversen Quadrate der Hypotenuse pythagoräischer Dreiecke

Lassen Sie uns die Notationen von verwenden

http://mathworld.wolfram.com/DoubleSeries.html

Wir legen eine positiv bestimmte binäre quadratische Form fest$q$gegeben von$q(m,n)=am^2+bmn+cn^2$,$a,b,c$ganze Zahlen. Wir verwenden Summationen über den Indexsatz

$$J=\Bbb Z\times\Bbb Z-\{(0,0)\}\ .$$ Wir definieren $$\begin{aligned} S(q;s) = S(a,b,c;s) &=\sum_{(m,n)\in J} q(m,n)^{-s}=\sum_{(m,n)\in J} (am^2+bmn+cn^2)^{-s}\ ,\\ S_1(q;s) = S_1(a,b,c;s) &=\sum_{(m,n)\in J} \color{blue}{(-1)^m}\; q(m,n)^{-s}\ ,\\ S_2(q;s) = S_2(a,b,c;s) &=\sum_{(m,n)\in J} \color{blue}{(-1)^n}\; q(m,n)^{-s}\ ,\\ S_{12}(q;s) = S_{12}(a,b,c;s) &=\sum_{(m,n)\in J}\color{blue}{(-1)^{m+n}}\; q(m,n)^{-s}\ . \end{aligned}$$ Die letzten drei Summen sind "verdrehte Versionen" der ersten Summe, die "Verdrehung" erfolgt durch die Verwendung eines Zeichens für den ersten Parameter, für den zweiten, für beide. In unserem Fall,$q(m,n)=m^2 +n^2$, Und$(a,b,c)=(1,0,1)$, haben wir einen symmetrischen Fall (bezüglich des Austauschs$a\leftrightarrow c$).

Wir werden fallen$q$unten von Notationen in$S_?(q,s)$, da wir nur die obige quadratische Form verwenden$q$. Ich entschied mich während des Bearbeitungsvorgangs, der uns schnell zu Zahlen bringen sollte, die wir berechnen können, dass es besser ist, die Versionen für die Überprüfung einzugeben$S^+$für alle Summen, bei denen der Plus-Index eine weitere Einschränkung anzeigt$(m,n)\in J$mit

$$(+)\qquad m,n>0\ .$$

Von loc. zit. extrahieren wir die folgenden Beziehungen:

$$\begin{aligned} S(s) &= \sum_{(m,n)\in J}(m^2+n^2)^{-s} \\ &= 4\beta(s)\;\zeta(s)\ ,\\ %S_1(s) =S_2(s) &= \sum_{(m,n)\in J}(-1)^m(m^2+n^2)^{-s} =\dots %= 2^{-s}b_2(2s) = -2^{-s}\cdot 4\beta(2s)\; \eta(2s) %\ , %\\ S_{12}(s) &= \sum_{(m,n)\in J}(-1)^{m+n}(m^2+n^2)^{-s} \\ &= -4 \beta(s) \;\eta(s)=-4\beta(s) \;(1-2^{1-s})\; \zeta(s)\ . \\[2mm] &\qquad\text{ Then the plus versions are:} \\[3mm] S^+(s) &= \beta(s)\;\zeta(s) - \zeta(2s)\ , \\ -S_{12}^+(s) &= \beta(s)\;\eta(s) - \eta(2s) \\ &= \beta(s)\;(1-2^{1-s})\zeta(s) - (1-2^{1-2s})\zeta(2s)\ , \\ &\qquad \text{ which gives} \\ S^+(s)-S_{12}^+(s) &=2\beta(s)\;(1-2^{-s})\zeta(s) - 2(1-2^{-2s})\zeta(2s)\ . \end{aligned}$$

Lassen Sie uns nun nach einer linearen Kombination der obigen Summen suchen, die der Summierung entsprechen$q(m,n)^{-s}$über den Satz von$K$von allen$(m,n)$mit positiver (Komponenten mit) unterschiedlicher Parität. Das ist

$$\frac 12(\ S^+(s)-S^+_{12}(s)\ )\ .$$ Bis jetzt können wir schreiben: $$\begin{aligned} &\beta(s)\;(1-2^{-s})\zeta(s) - (1-2^{-2s})\zeta(2s) \\ &\qquad=\frac 12(\ S^+(s)-S^+_{12}(s)\ ) \\ &\qquad=\sum_{\substack{(m,n)\in K\\m,n> 0}} q(m,n)^{-s}\\ &\qquad=2\sum_{\substack{(m,n)\in K\\m>n> 0}} q(m,n)^{-s}\\ &\qquad=2\sum_{\substack{(m,n)\in K\\m>n> 0\\ d=(m,n)\text{ odd}}} q(m,n)^{-s}\qquad\text{ and with }M=m/d,\ N=n/d\\ &\qquad=2\sum_{d>0\text{ odd}}d^{-2s} \sum_{\substack{(M,N)\in K\\M>N> 0\\ (M,N)=1}} q(M,N)^{-s}\\ &\qquad= 2(1-2^{-2s})\; \zeta(2s)\; \color{blue}{ \sum_{\substack{(M,N)\in K\\M>N> 0\\ (M,N)=1}} q(M,N)^{-s} } \ . \end{aligned}$$ Die isolierte Summe im letzten Ausdruck ist die Summe, die wir brauchen, nehmen wir sie an$s=2$.

Der Wert, den wir erhalten, ist:

$$\color{brown}{ \frac{\beta(2)\;\zeta(2)}{2(1+2^{-2})\zeta(4)} -\frac 12\ = \frac{6C}{\pi^2} - \frac 12.}$$

$$\color{brown}{ \frac{\beta(2)\zeta(2)}{2(1+2^{-2})\zeta(4)} - \frac{1}{2} = \frac{6C}{\pi^2} - \frac 1 2.}$$

Wo$C$ist die katalanische Konstante. Numerisch:

sage: E = catalan * zeta(2) / 2 / (1+2^-2) / zeta(4) - 1/2 
sage: E.n()
0.0568403090661582