Rate of convergence of multiple orthogonal series (Q807917)

Es sei \(Z^ 2_+=\{n=(n_ 1,n_ 2)\), \(n_ 1,n_ 2\geq 0\}\) und \(\Phi\) die Klasse der orthonormierten Systeme \(\phi =\{\phi_ n(x)\}_{n\in Z^ 2_+}\) in (0,1). Im Falle \(\sum_{n\in Z^ 2_+}a^ 2_ n<\infty\) sei f(x) die \(L^ 2\)-Summe (im Pringsheimschen Sinne) der Reihe \(\sum_{n\in Z^ 2_+}a_ n\phi_ n(x)\quad (\phi \in \Phi),\) und für \(n\in Z^ 2_+\) sei \(s_ n(x,f)=s_ n(x)=\sum_{k\leq n}a_ k\phi_ k(x)\quad (n,k\in Z^ 2_+)\) die n-te Partialsumme. Darüber hinaus sei \(\lambda (n)=\lambda (n_ 1,n_ 2)\) eine in jeder Variablen monoton wachsende Folge mit \(\lambda\) (n)\(\to \infty\) \((\max (n_ 1,n_ 2)\to \infty)\) und \(\lambda_ 1(n_ 1)=\lambda (n_ 1,0),\lambda_ 2(n_ 2)=\lambda (0,n_ 2).\) Die Folgen \(\nu_ k^{(i)}\) \((i=1,2)\) werden folgendermaßen definiert: \[ \nu_ 0^{(1)}=\nu_ 0^{(2)}=0,\quad \lambda_ i(\nu^{(i)}_{k+1})\geq 2\lambda_ i(\nu_ k^{(i)}),\quad \lambda_ i(\nu^{(i)}_{k+1}- 1)<2\lambda_ i(\nu_ k^{(i)})\quad (i=1,2;\quad k=0,1,...). \] Es seien weiterhin \[ \mu_ 1(n_ 1)=\log (n_ 1-\nu_{k_ 1}^{(1)}+2),\quad \mu_ 2(n_ 2)=\log (n_ 2-\nu_{k_ 2}^{(2)}+2) \] (k\(\in Z^ 2_+\); \(\nu_{k_ 1}^{(1)}\leq n_ 1\leq \nu^{(1)}_{k_ 1+1}-1\), \(\nu_{k_ 2}^{(2)}\leq n_ 2\leq \nu^{(2)}_{k_ 2+1}-1).\) Unter anderem wird der folgende Satz bewiesen: Ist \[ \sum_{n\in Z^ 2_+}a^ 2_ n\lambda^ 2(n)\mu^ 2_ 1(n_ 1)\mu^ 2_ 2(n_ 2)<\infty, \] dann gilt \[ (*)\quad f(x)-s_{n-1}(x)=o_ x\{1/\lambda_ 1(n_ 1)+1/\lambda_ 2(n_ 2)\}\equiv o_ x(\gamma_ n^{-1}), \] für jedes \(\phi\in \Phi\) in (0,1) fast überall \((\{\gamma_ n:\) \(n\in Z^ 2_+\}\) bezeichnet eine gegebene Doppelfolge). Im Falle \[ \sum_{n\in Z^ 2_+}a^ 2_ n\lambda^ 2(n)\mu^ 2_ 1(n_ 1)\mu_ 2(n_ 2)^ 2\equiv \infty \] gibt es ein \(\phi\in \Phi\) derart, daß \[ \limsup_{n_ 1,n_ 2\to \infty}\gamma_ n| f(x)-s_{n-1}(x)| =\infty \] in (0,1) fast überall gilt. Die Abschätzung (*) ist genau.