<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(PQC_\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mi>Q</mi> <msub> <mi>C</mi> <mi mathvariant="double-struck">R</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> be the <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra of all piecewise quasicontinuous functions on the real line <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> that are equivalent to piecewise slowly oscillating functions at infinity, and let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(PQC_{\mathbb {R},p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mi>Q</mi> <msub> <mi>C</mi> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> be the corresponding Banach algebra of Fourier multipliers on the weighted Lebesgue space <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(L^p(\mathbb {R},w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p\in (1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and a Muckenhoupt weight <i>w</i>. Under some conditions, the maximal ideal space <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> of a central subalgebra <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {Z}^\pi _{\mathbb {R},p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="script">Z</mi> </mrow> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> <mi>π</mi> </msubsup> </math></EquationSource> </InlineEquation> of the quotient Banach algebra <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathfrak {A}^\pi _{\mathbb {R},p,w}=\mathfrak {A}_{\mathbb {R},p,w}/\mathcal {K}_{p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi mathvariant="fraktur">A</mi> </mrow> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> <mi>π</mi> </msubsup> <mo>=</mo> <msub> <mi mathvariant="fraktur">A</mi> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> <mo stretchy="false">/</mo> <msub> <mi mathvariant="script">K</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is described, and invertibility criteria for elements of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {Z}^\pi _{\mathbb {R},p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="script">Z</mi> </mrow> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> <mi>π</mi> </msubsup> </math></EquationSource> </InlineEquation> are obtained, where the Banach algebra <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathfrak {A}_{\mathbb {R},p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">A</mi> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is generated by the multiplication operators <i>aI</i> with <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(a\in PQC_\mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mi>P</mi> <mi>Q</mi> <msub> <mi>C</mi> <mi mathvariant="double-struck">R</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and the convolution operators <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(W^0(b)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mn>0</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(b\in PQC_{\mathbb {R},p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <mi>P</mi> <mi>Q</mi> <msub> <mi>C</mi> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathcal {K}_{p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">K</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is the ideal of all compact operators on the space <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(L^p(\mathbb {R},w)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Applying the Allan-Douglas local principle, the Fredholmness of operators <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(A\in \mathfrak {A}_{\mathbb {R},p,w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <msub> <mi mathvariant="fraktur">A</mi> <mrow> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>w</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is established in terms of invertibility of cosets <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(A_{\xi ,\eta }^\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mrow> <mi>ξ</mi> <mo>,</mo> <mi>η</mi> </mrow> <mi>π</mi> </msubsup> </math></EquationSource> </InlineEquation> for all pairs <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\((\xi ,\eta )\in \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo>,</mo> <mi>η</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation> in certain explicitly given local algebras <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\Lambda _{\xi ,\eta }^\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Λ</mi> <mrow> <mi>ξ</mi> <mo>,</mo> <mi>η</mi> </mrow> <mi>π</mi> </msubsup> </math></EquationSource> </InlineEquation>.</p>

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

AN ALGEBRA OF CONVOLUTION TYPE OPERATORS WITH PIECEWISE QUASICONTINUOUS DATA

  • Yuri Karlovich

摘要

Let \(PQC_\mathbb {R}\) P Q C R be the \(C^*\) C -algebra of all piecewise quasicontinuous functions on the real line \(\mathbb {R}\) R that are equivalent to piecewise slowly oscillating functions at infinity, and let \(PQC_{\mathbb {R},p,w}\) P Q C R , p , w be the corresponding Banach algebra of Fourier multipliers on the weighted Lebesgue space \(L^p(\mathbb {R},w)\) L p ( R , w ) with \(p\in (1,\infty )\) p ( 1 , ) and a Muckenhoupt weight w. Under some conditions, the maximal ideal space \(\Omega \) Ω of a central subalgebra \(\mathcal {Z}^\pi _{\mathbb {R},p,w}\) Z R , p , w π of the quotient Banach algebra \(\mathfrak {A}^\pi _{\mathbb {R},p,w}=\mathfrak {A}_{\mathbb {R},p,w}/\mathcal {K}_{p,w}\) A R , p , w π = A R , p , w / K p , w is described, and invertibility criteria for elements of \(\mathcal {Z}^\pi _{\mathbb {R},p,w}\) Z R , p , w π are obtained, where the Banach algebra \(\mathfrak {A}_{\mathbb {R},p,w}\) A R , p , w is generated by the multiplication operators aI with \(a\in PQC_\mathbb {R}\) a P Q C R and the convolution operators \(W^0(b)\) W 0 ( b ) with \(b\in PQC_{\mathbb {R},p,w}\) b P Q C R , p , w , and \(\mathcal {K}_{p,w}\) K p , w is the ideal of all compact operators on the space \(L^p(\mathbb {R},w)\) L p ( R , w ) . Applying the Allan-Douglas local principle, the Fredholmness of operators \(A\in \mathfrak {A}_{\mathbb {R},p,w}\) A A R , p , w is established in terms of invertibility of cosets \(A_{\xi ,\eta }^\pi \) A ξ , η π for all pairs \((\xi ,\eta )\in \Omega \) ( ξ , η ) Ω in certain explicitly given local algebras \(\Lambda _{\xi ,\eta }^\pi \) Λ ξ , η π .