{"entities":{"Q2416486":{"pageid":2427229,"ns":120,"title":"Item:Q2416486","lastrevid":74104662,"modified":"2026-04-14T18:22:52Z","type":"item","id":"Q2416486","labels":{"en":{"language":"en","value":"Norm convergence of double Fej\u00e9r means on unbounded Vilenkin groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7058265"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2416486$8DCC075B-5EF5-40E0-AA90-8D98921DD39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c8103c0a2913ac74ae0846ffb9c53d3a02c44e7","datavalue":{"value":{"text":"Norm convergence of double Fej\u00e9r means on unbounded Vilenkin groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2416486$3F22349A-5A83-43C7-9C31-31F932C9AD40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d63cfdaf1cc83be06a37d65dc85fdb4288fc8c6","datavalue":{"value":"1438.42052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2416486$E91ADEDD-7501-4A74-BE96-23783A8A30B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77a75f8c1aea701c9009dda8485d5f224a5ba8dd","datavalue":{"value":{"entity-type":"item","numeric-id":168564,"id":"Q168564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2416486$787688A1-1F57-4F19-8C1F-1E26D42B53C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7175bc5b448813e6c45463c465346435e9aa8168","datavalue":{"value":{"time":"+2019-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2416486$1F400A86-AE7D-4911-A466-72B166C8C101","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a67a6d51a682dd0295c0ec9dd0dc1adfacdab5b4","datavalue":{"value":"Given a sequence $\\{m_j\\}\\subset\\mathbb{Z}$, let $M_0=1$ and $M_{k+1}=m_kM_k$. Each $n\\in\\mathbb{N}$ can be written as a finite sum $n=\\sum_{j=0}^\\infty n_jM_j$, $n_j\\in\\mathbb{Z}_{m_j}$. One defines a Vilenkin system $\\psi=\\{\\psi_n\\}$ where $\\psi_n(x)=\\prod_{k=0}^\\infty \\rho_k^{n_k}(x)$ with $\\rho_k(x)=\\exp(2\\pi i x_k/m_k)$ and $x=(x_0,x_1,\\dots)$, $x_j\\in \\mathbb{Z}_{m_j}$. The Dirichlet kernel is $D_n=\\sum_{k=0}^{n-1}\\psi_k$ with $D_{M_n}(x)=M_n$ if $x\\in I_n$ and $D_{M_n}(x)=0$ if $x\\in G\\setminus I_n$, where $G=\\prod_j \\mathbb{Z}_{m_j}$ and $I_n(x)=\\{y\\in G: y_i=x_i, i=0,1,\\dots, n-1\\}$. Let $\\hat{f}(i,j)=\\langle f, \\psi_i\\psi_j\\rangle$ with respect to Haar measure on $G\\times G$ and define rectangular partial sums of the Vilenkin-Fourier series $S_{n,m}f(x)=\\sum_{i=0}^{n-1}\\sum_{j=0}^{m-1} \\hat{f}(i,j)\\,\\psi_i(x)\\psi_j(y)$. Corresponding Fej\u00e9r means are defined by $\\sigma_{n,m}(f)=\\frac{1}{nm}\\sum_{i=0}^{n-1}\\sum_{j=0}^{m-1} S_{ij}(x,y;f)$ which can also be expressed by convolution against corresponding Fej\u00e9r kernels.\\par Let $X(G\\times G)=C(G\\times G)$ or $L^1(G\\times G)$. Define moduli of continuity $\\omega_1(1/M_n;f)_X=\\sup\\{\\Vert f(\\cdot-u,\\cdot)-f(\\cdot,\\cdot)\\Vert_X: u\\in I_n\\}$ and similarly $\\omega_2$ by shifting in the second coordinate, and $\\omega_{12}(1/M_n,1/M_\\ell;f)=\\sup\\{\\Vert f(\\cdot-u,\\cdot-v)-f(\\cdot-u,\\cdot)-f(\\cdot,\\cdot-v)-f(\\cdot,\\cdot)\\Vert_X: u\\in I_n, c\\in I_\\ell\\}$. \\par The first main result states that if $\\omega_1(1/M_k;f)_X=o(1/\\log^2(m_k))$ and $\\omega_2(1/M_\\ell;f)_X=o(1/\\log^2(m_\\ell))$ then $\\Vert \\sigma_{n,m}f-f\\Vert_X\\to 0$ as $n,m\\to\\infty$. The second main theorem states that if $f\\in C(G\\times G)$, if $\\omega_1(1/M_k;f)_C=O(1/\\log^2(m_k))$ and $\\omega_2(1/M_\\ell;f)_C=O(1/\\log^2(m_\\ell))$ then $\\overline{\\lim}_{n\\to\\infty}\\Vert \\sigma_{n,m}f-f\\Vert_C\\to 0$ as $n,m\\to\\infty$. The third main theorem draws the same conclusion with $C$ replaced by $L^1$. Several lemmas provide suitable bounds on norms of the Fej\u00e9r kernel $K_n$, for example, $\\Vert K_n\\Vert_1\\leq C\\sum_{i=0}^A \\frac{\\log m_i}{2^{A-i}}(A-i+1)$ with some absolute constant $C$ when $M_A\\leq n