<p>We investigate connections between upper/lower estimates for Banach lattices and the notion of relative <i>s</i>-decomposability, which has roots in interpolation theory. To get a characterization of relatively <i>s</i>-decomposable Banach lattices in terms of the above estimates, we assign to each Banach lattice <i>X</i> two sequence spaces <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{U}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>U</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation> that are largely determined by the set of <i>p</i>, for which <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(l_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>l</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> is finitely lattice representable in <i>X</i>. As an application, we obtain an orbital factorization of relative <i>K</i>-functional estimates for Banach couples <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {X} =(X_{0},X_{1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>X</mi> <mo stretchy="false">→</mo> </mover> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>X</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>X</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(\vec {Y}=(Y_{0},Y_{1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>Y</mi> <mo stretchy="false">→</mo> </mover> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>Y</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>Y</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> through some suitable couples of weighted <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_{{p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-spaces provided if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{i},Y_{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>X</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>Y</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> are relatively <i>s</i> -decomposable for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(i=0,1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Also, we undertake a detailed study of the properties of optimal upper and lower sequence spaces <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{U}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>U</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13163_2025_518_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation>, and, in particular, prove that these spaces are rearrangement invariant. In the Appendix, a description of the optimal upper sequence space for a separable Orlicz space as a certain intersection of some special Musielak-Orlicz sequence spaces is given.</p>

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

S-decomposable Banach lattices, optimal sequence spaces and interpolation

  • Sergey V. Astashkin,
  • Per G. Nilsson

摘要

We investigate connections between upper/lower estimates for Banach lattices and the notion of relative s-decomposability, which has roots in interpolation theory. To get a characterization of relatively s-decomposable Banach lattices in terms of the above estimates, we assign to each Banach lattice X two sequence spaces \(X_{U}\) X U and \(X_{L}\) X L that are largely determined by the set of p, for which \(l_{p}\) l p is finitely lattice representable in X. As an application, we obtain an orbital factorization of relative K-functional estimates for Banach couples \(\vec {X} =(X_{0},X_{1})\) X = ( X 0 , X 1 ) and \(\vec {Y}=(Y_{0},Y_{1})\) Y = ( Y 0 , Y 1 ) through some suitable couples of weighted \(L_{{p}}\) L p -spaces provided if \(X_{i},Y_{i}\) X i , Y i are relatively s -decomposable for \(i=0,1\) i = 0 , 1 . Also, we undertake a detailed study of the properties of optimal upper and lower sequence spaces \(X_{U}\) X U and \(X_{L}\) X L , and, in particular, prove that these spaces are rearrangement invariant. In the Appendix, a description of the optimal upper sequence space for a separable Orlicz space as a certain intersection of some special Musielak-Orlicz sequence spaces is given.