<p>For <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq4.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \ge -\frac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>≥</mo> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, we show that membership in a space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {K}_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">K</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> of type Hankel-<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\{M_p\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo stretchy="false">{</mo> <msub> <mi>M</mi> <mi>p</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> can be characterized by separate boundedness conditions on a test function and on its <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\mu , k}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>-derivatives, where, for every <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(k \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="150" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\mu , k}=N_{\mu +k-1} \ldots N_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mo>=</mo> <msub> <mi>N</mi> <mrow> <mi>μ</mi> <mo>+</mo> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>…</mo> <msub> <mi>N</mi> <mi>μ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is a suitable iterate of the Zemanian differential operator <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq10.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_\mu =x^{\mu +\frac{1}{2}} D_x x^{-\mu -\frac{1}{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>μ</mi> </msub> <mo>=</mo> <msup> <mi>x</mi> <mrow> <mi>μ</mi> <mo>+</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> <msub> <mi>D</mi> <mi>x</mi> </msub> <msup> <mi>x</mi> <mrow> <mo>-</mo> <mi>μ</mi> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, while <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\mu , 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> corresponds to the identity operator. Besides yielding a new representation for the elements, the (weakly, weakly*, strongly) bounded subsets and the (weakly, weakly*, strongly) convergent sequences in the dual space <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {K}_\mu ^{\prime }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">K</mi> <mi>μ</mi> <mo>′</mo> </msubsup> </math></EquationSource> </InlineEquation>, such a characterization ultimately proves that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {K}_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">K</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> consists of all those functions in the Zemanian space <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {H}_\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">H</mi> <mi>μ</mi> </msub> </math></EquationSource> </InlineEquation> whose product against every weight in the defining sequence <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_401_Article_IEq15.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{M_p\}_{p=0}^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>M</mi> <mi>p</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>p</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation> remains bounded.</p>

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

On the characterization of Hankel-\(K\{M_p\}\) spaces in terms of the Zemanian differential operator

  • Samuel García-Baquerín,
  • Isabel Marrero

摘要

For \(\mu \ge -\frac{1}{2}\) μ - 1 2 , we show that membership in a space \(\mathcal {K}_\mu \) K μ of type Hankel- \(K\{M_p\}\) K { M p } can be characterized by separate boundedness conditions on a test function and on its \(T_{\mu , k}\) T μ , k -derivatives, where, for every \(k \in \mathbb {N}\) k N , \(T_{\mu , k}=N_{\mu +k-1} \ldots N_\mu \) T μ , k = N μ + k - 1 N μ is a suitable iterate of the Zemanian differential operator \(N_\mu =x^{\mu +\frac{1}{2}} D_x x^{-\mu -\frac{1}{2}}\) N μ = x μ + 1 2 D x x - μ - 1 2 , while \(T_{\mu , 0}\) T μ , 0 corresponds to the identity operator. Besides yielding a new representation for the elements, the (weakly, weakly*, strongly) bounded subsets and the (weakly, weakly*, strongly) convergent sequences in the dual space \(\mathcal {K}_\mu ^{\prime }\) K μ , such a characterization ultimately proves that \(\mathcal {K}_\mu \) K μ consists of all those functions in the Zemanian space \(\mathcal {H}_\mu \) H μ whose product against every weight in the defining sequence \(\{M_p\}_{p=0}^\infty \) { M p } p = 0 remains bounded.