Convergence of Fourier-Walsh double series in weighted \(L_{\mu}^{p}[0,1)^{2}\)
type: Item
instance of: scholarly article
title: Convergence of Fourier-Walsh double series in weighted \(L_{\mu}^{p}[0,1)^{2}\)
zbMATH Open document ID: 1418.42043
DOI: 10.1007/978-3-030-05657-5_8
author: Tigran M. Grigoryan
author: L. S. Simonyan
author: Martin Grigoryan
publication date: 2019-05-29T00:00:00Z
review text: Let $r(x)$ be a 1-periodic function defined on $[0,1)$ by $r(x)=\chi_{[0,1/2)}(x)-\chi_{[1/2,1)}(x)$, where $\chi_E$ is the indicator of a set $E$, and $r_n(x)=r(2^nx)$, $n\in\mathbb{Z}_+=\{0,1,\dots\}$. If $n$ has the binary expansion $\sum^\infty_{k=0}n_k2^k$, then $\varphi_n(x)=\prod^\infty_{k=0}r^{n_k}_k(x)$. \par Let $\mu(x,y)$ be a positive measurable function on $[0,1)^2$. Then $f\in L^p_\mu[0,1)^2$, $1\leq p<\infty$, if $f$ is measurable and $\|f\|_{L^p_\mu}=\left(\int^1_0\int^1_0|f(x,y)|^p\mu(x,y)\right)^{1/p}<\infty$. The non-zero elements of $\{b_{k,s}\}^\infty_{k,s=0}$ are said to be in monotonically decreasing order over all rays if $b_{k_2,s_2}<b_{k_1,s_1}$, when $k_2\geq k_1$, $s_2\geq s_1$, $k_2+s_2>k_1+s_1$ ($b_{k_i,s_i}\neq 0$, $i=1,2$). For $f\in L^p[0,1)^2$, $p\geq 1$, we consider \[ c_{k,n}(f)=\int^1_0\int^1_0|f(x,y)\varphi_k(x)\varphi_n(y)\,dx\,dy, \,\, k,n\in\mathbb{Z}_+, \,\, spec(f)=\{(k,s): c_{ks}(f)\neq 0\}, \] and $S_R(x,y,f)=\sum_{k^2+s^2\leq R^2}c_{ks}(f)\varphi_k(x)\varphi_n(y)$. The main result of the paper is \par Theorem 5. Let $\Phi=\{\varphi_k\}^\infty_{k=0}$ be the Walsh system and let $\varepsilon\in (0,1)$. Then there exists (i) a double sequence $\{b_{k,s}\}^\infty_{k,s=0}$ such that $\sum^\infty_{k,s=1}|b_{k,s}|^r<\infty$ for all $r>2$ and non-zero elements of $\{|b_{k,s}|\}^\infty_{k,s=0}$ are in decreasing order over all rays; (ii) a measurable set $G$ with measure $|G|>1-\varepsilon$; (iii) a weight function $\mu(x,y)$, such that $\mu(x,y)\neq 1$ on a set of measure less than $\varepsilon$, with the property: for every $p\in [1,\infty)$ and for every $f\in L^p_\mu[0,1)^2$ one can find $g\in L^p_\mu[0,1)^2\cap L^1[0,1)^2$ coinciding with $f$ on $G$ such that \[ \lim\limits_{R\to\infty}\|f-S_R(\cdot,\cdot,f)\|_{L^p_\mu}=0, \quad \lim\limits_{R\to\infty}\|f-S_R(\cdot,\cdot,f)\|_{L^1}=0 \] and $c_{k,s}(g)=b_{k,s}$ for all $(k,s)\in spec(g)$. For the entire collection see [Zbl 1409.35008].
Mathematics Subject Classification ID: 42C10
Mathematics Subject Classification ID: 43A15
zbMATH DE Number: 7060953
zbMATH Keywords: double Fourier-Walsh series
zbMATH Keywords: weighted Lebesgue space
zbMATH Keywords: monotonicity of double sequences
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-05657-5 8
OpenAlex ID: W2912092285
description: scientific article; zbMATH DE number 7060953