<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{\varphi _{j}(x,y)\}_{j =1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>φ</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> be a uniformly bounded orthonormal system on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\([0,1]^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\{A_{n}\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> be sequence of bounded subsets of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {Z}_{+}=\{1, 2, \dots \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\{N_n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>N</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> denote the number of elements in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(A_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. Let also <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L_{A_n}(x,y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(S_{A_{n}}(f; x,y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo>;</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote, respectively, the Lebesgue function and the partial sum of the Fourier series of a function <i>f</i> with respect to the system <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\{\varphi _{j}(x,y)\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>φ</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> corresponding to the indices from <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(A_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. It is proved that if the limit of the sequence <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\{L_{A_n}(x,y)/\log N_n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>L</mi> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mo>log</mo> <msub> <mi>N</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation> almost everywhere on <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\([0,1]^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, then there exists an integrable on <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\([0,1]^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> function <i>h</i> and a strictly increasing sequence <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\{n_k\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mi>n</mi> <mi>k</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> of positive integers, such that <Equation ID="Equ53"> <EquationSource Format="TEX">\( \lim _{k\rightarrow \infty } \mid S_{A_{n_k}}(h;x,y)\mid =\infty \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>k</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mo>∣</mo> <msub> <mi>S</mi> <msub> <mi>A</mi> <msub> <mi>n</mi> <mi>k</mi> </msub> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>h</mi> <mo>;</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>∣</mo> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </Equation>almost everywhere.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Divergence to Infinity of Subsequences of Partial Sums of Orthogonal Fourier Series

  • Rostom Getsadze

摘要

Let \(\{\varphi _{j}(x,y)\}_{j =1}^{\infty }\) { φ j ( x , y ) } j = 1 be a uniformly bounded orthonormal system on \([0,1]^2\) [ 0 , 1 ] 2 , \(\{A_{n}\}_{n=1}^{\infty }\) { A n } n = 1 be sequence of bounded subsets of \(\mathbb {Z}_{+}=\{1, 2, \dots \}\) Z + = { 1 , 2 , } and \(\{N_n\}\) { N n } denote the number of elements in \(A_n\) A n . Let also \(L_{A_n}(x,y)\) L A n ( x , y ) and \(S_{A_{n}}(f; x,y)\) S A n ( f ; x , y ) denote, respectively, the Lebesgue function and the partial sum of the Fourier series of a function f with respect to the system \(\{\varphi _{j}(x,y)\}\) { φ j ( x , y ) } corresponding to the indices from \(A_n\) A n . It is proved that if the limit of the sequence \(\{L_{A_n}(x,y)/\log N_n\}\) { L A n ( x , y ) / log N n } is \(\infty \) almost everywhere on \([0,1]^2\) [ 0 , 1 ] 2 , then there exists an integrable on \([0,1]^2\) [ 0 , 1 ] 2 function h and a strictly increasing sequence \(\{n_k\}\) { n k } of positive integers, such that \( \lim _{k\rightarrow \infty } \mid S_{A_{n_k}}(h;x,y)\mid =\infty \) lim k S A n k ( h ; x , y ) = almost everywhere.