A remainder for the Euler-MacLaurin summation formula in two independent variables. (Q568428)

Beweis der Formel: \[ \begin{aligned} \sum _{y=0}^{L-1}\sum _{x=0}^{w-1} & f(x,y) = \int _{0}^{L}\int _{0}^{w}f(t,k)\,dt\,dk + \sum _{s=1}^{n}\sum _{v=1}^{m} \overline {B}_{vs} f_{v-1,s-1}(x,y)\,\bigg |_0^w\bigg |_0^L\\ &+ \sum _{v=1}^{m} \overline {B}_{v0} \int _{0}^{L} f_{v-1,0}(x,k)\, dk\,\bigg |_0^w + \sum _{s=1}^{n} \overline {B}_{0s} \int _{0}^{w} f_{0,s-1}(t,y)\, dt\,\bigg |_0^L \\ &- \sum _{v=1}^{m} \int _{0}^{L} \overline {B}_{vn}(0,k) f_{v-1,n}(x,k)\, dk\,\bigg |_0^w - \sum _{s=1}^{n} \int _{L}^{w} \overline {B}_{ms}(t,0) f_{m,s-1}(t,y)\, dt\,\bigg |_0^L \\ & - \int _{0}^{L} \overline {B}_{0n}(0,k) \int _0^w f_{0n}(t,k)\, dt\,dk - \int _{0}^{w} \overline {B}_{m0}(t,0) \int _0^L f_{m0}(t,k)\, dk\,dt \\ & - \int _{0}^{L} \int _{0}^{w} \overline {B}_{mn}(t,k) f_{mn}(t,k)\,dt\,dk \end{aligned} \] und einer etwas allgemeineren, wo links \(f(x+\theta,y+\Psi )\) statt \(f(x,y)\) steht. Dabei bedeutet der erste bzw.~zweite Index bei \(f\) die Ordnung der Ableitung nach der ersten bzw.~zweiten Variablen. Ferner ist \(\overline {B}_{mn}(x,y)\) eine in \(x\) und \(y\) periodische Funktion mit der Periode 1 die im Bereich \(0\leq x<1\), \(0\leq y<1\) durch die Formel \[ \overline {B}_{mn}(x,y)=\frac {1}{m!\,n!}B_m(x)\,B_n(y) \] definiert ist, wobei \(B_m(x)\) das \textit{Bernoulli}sche Polynom vom Grad \(m\) bedeutet. Schließlich hat \(\overline {B}_{vs}\) die Bedeutung \(\overline {B}_{vs}(0,0)\).