<p>In this paper, we characterize the boundedness of a generalized Hardy operator and its adjoint on <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _{w}^{p}(\mathbb {Z}_{+})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>ℓ</mi> <mrow> <mi>w</mi> </mrow> <mi>p</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, via the discrete weights <i>w</i> belonging to the discrete classes <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq2.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}_{p}^{\lambda }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">B</mi> <mrow> <mi>p</mi> </mrow> <mi>λ</mi> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq3.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}_{p}^{*\lambda }\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi mathvariant="script">B</mi> <mrow> <mi>p</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> <mi>λ</mi> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>, respectively. As an application of the corresponding boundedness, we show that the self-improving property of a discrete class <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">B</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> is valid, i.e., we prove that if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(w\in {\mathcal {B}}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <msub> <mi mathvariant="script">B</mi> <mi>p</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, then there exists <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq7.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(w\in {\mathcal {B}}_{p-\varepsilon }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <msub> <mi mathvariant="script">B</mi> <mrow> <mi>p</mi> <mo>-</mo> <mi>ε</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>. Similarly, we also prove the self-improving property of a discrete class <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}_{p}^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi mathvariant="script">B</mi> <mrow> <mi>p</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </math></EquationSource> </InlineEquation>, i.e., we show that if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(w\in {\mathcal {B}}_{p}^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mmultiscripts> <mi mathvariant="script">B</mi> <mrow> <mi>p</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, then there exists <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq7.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10998_2025_629_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(w\in {\mathcal {B}}_{p+\varepsilon }^{*}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mmultiscripts> <mi mathvariant="script">B</mi> <mrow> <mi>p</mi> <mo>+</mo> <mi>ε</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Finally, the established results are also applied for proving the boundedness of the Hardy–Littlewood maximal operator on Lorentz sequence spaces.</p>

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

Boundedness of discrete Hardy-type operators and self-improving properties of discrete Ariňo and Muckenhoupt weights

  • Samir H. Saker,
  • Ramy R. Mahmoud,
  • Mario Krnić

摘要

In this paper, we characterize the boundedness of a generalized Hardy operator and its adjoint on \(\ell _{w}^{p}(\mathbb {Z}_{+})\) w p ( Z + ) , via the discrete weights w belonging to the discrete classes \({\mathcal {B}}_{p}^{\lambda }\) B p λ and \({\mathcal {B}}_{p}^{*\lambda }\) B p λ , respectively. As an application of the corresponding boundedness, we show that the self-improving property of a discrete class \({\mathcal {B}}_{p}\) B p is valid, i.e., we prove that if \(w\in {\mathcal {B}}_{p}\) w B p for some \(1<p<\infty \) 1 < p < , then there exists \(\varepsilon >0\) ε > 0 such that \(w\in {\mathcal {B}}_{p-\varepsilon }\) w B p - ε . Similarly, we also prove the self-improving property of a discrete class \({\mathcal {B}}_{p}^{*}\) B p , i.e., we show that if \(w\in {\mathcal {B}}_{p}^{*}\) w B p for some \(1<p<\infty \) 1 < p < , then there exists \(\varepsilon >0\) ε > 0 such that \(w\in {\mathcal {B}}_{p+\varepsilon }^{*}.\) w B p + ε . Finally, the established results are also applied for proving the boundedness of the Hardy–Littlewood maximal operator on Lorentz sequence spaces.