<p>Let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\in {\mathbb R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\in (0,\infty ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \in [0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. It is well known that Besov-type spaces <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq8.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{B}}^{s,\tau }_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in (0,\infty ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and Triebel–Lizorkin-type spaces <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq10.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{F}}^{s,\tau }_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mover accent="true"> <mi>F</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \in [0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> or with <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in (0,\infty ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> consist of a general family of function spaces that cover not only the well-known Besov and Triebel–Lizorkin spaces <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq16.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{B}}^{s}_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq17.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{F}}^{s}_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mover accent="true"> <mi>F</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation> (when <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq18.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>) but also several other function spaces of interest, such as Morrey spaces and <i>Q</i> spaces. In three successive articles, the authors develop a complete real-variable theory of matrix-weighted Besov-type spaces <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq19.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{B}}^{s,\tau }_{p,q}(W)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and matrix-weighted Triebel–Lizorkin-type spaces <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq20.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{F}}^{s,\tau }_{p,q}(W)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mover accent="true"> <mi>F</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq21.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, where <i>W</i> is a matrix-valued Muckenhoupt <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> weight. This article is the first one, whose main novelty exists in that the authors introduce the new concept, <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-dimensions of matrix weights, and intensively study their properties, especially those elaborate properties expressed via reducing operators. The authors then introduce the spaces <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq24.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{B}}^{s,\tau }_{p,q}(W)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq25.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{F}}^{s,\tau }_{p,q}(W)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mover accent="true"> <mi>F</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and, using <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq26.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-dimensions and their nice properties, the authors establish the <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq27.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation>-transform characterization of <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq28.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{B}}^{s,\tau }_{p,q}(W)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mover accent="true"> <mi>B</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq29.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\({\dot{F}}^{s,\tau }_{p,q}(W)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mover accent="true"> <mi>F</mi> <mo>˙</mo> </mover> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mi>s</mi> <mo>,</mo> <mi>τ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>W</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The <InlineEquation ID="IEq30"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3059_Article_IEq30.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-dimensions of matrix weights and their properties also enable the authors to obtain the sharp boundedness of almost diagonal operators on related sequence spaces in the subsequent second article and the optimal characterizations of molecules and wavelets, trace theorems, and the optimal boundedness of pseudo-differential operators and Calderón–Zygmund operators in the subsequent third article.</p>

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

Matrix-weighted Besov-type and Triebel–Lizorkin-type spaces I: \(A_p\)-dimensions of matrix weights and \(\varphi \)-transform characterizations

  • Fan Bu,
  • Tuomas Hytönen,
  • Dachun Yang,
  • Wen Yuan

摘要

Let \(s\in {\mathbb R}\) s R , \(q\in (0,\infty ]\) q ( 0 , ] , and \(\tau \in [0,\infty )\) τ [ 0 , ) . It is well known that Besov-type spaces \({\dot{B}}^{s,\tau }_{p,q}\) B ˙ p , q s , τ with \(p\in (0,\infty ]\) p ( 0 , ] and Triebel–Lizorkin-type spaces \({\dot{F}}^{s,\tau }_{p,q}\) F ˙ p , q s , τ with \(p\in (0,\infty )\) p ( 0 , ) when \(\tau \in [0,\infty )\) τ [ 0 , ) or with \(p\in (0,\infty ]\) p ( 0 , ] when \(\tau =0\) τ = 0 on \({\mathbb {R}}^n\) R n consist of a general family of function spaces that cover not only the well-known Besov and Triebel–Lizorkin spaces \({\dot{B}}^{s}_{p,q}\) B ˙ p , q s and \({\dot{F}}^{s}_{p,q}\) F ˙ p , q s (when \(\tau =0\) τ = 0 ) but also several other function spaces of interest, such as Morrey spaces and Q spaces. In three successive articles, the authors develop a complete real-variable theory of matrix-weighted Besov-type spaces \({\dot{B}}^{s,\tau }_{p,q}(W)\) B ˙ p , q s , τ ( W ) and matrix-weighted Triebel–Lizorkin-type spaces \({\dot{F}}^{s,\tau }_{p,q}(W)\) F ˙ p , q s , τ ( W ) on \({\mathbb {R}}^n\) R n , where W is a matrix-valued Muckenhoupt \(A_p\) A p weight. This article is the first one, whose main novelty exists in that the authors introduce the new concept, \(A_p\) A p -dimensions of matrix weights, and intensively study their properties, especially those elaborate properties expressed via reducing operators. The authors then introduce the spaces \({\dot{B}}^{s,\tau }_{p,q}(W)\) B ˙ p , q s , τ ( W ) and \({\dot{F}}^{s,\tau }_{p,q}(W)\) F ˙ p , q s , τ ( W ) and, using \(A_p\) A p -dimensions and their nice properties, the authors establish the \(\varphi \) φ -transform characterization of \({\dot{B}}^{s,\tau }_{p,q}(W)\) B ˙ p , q s , τ ( W ) and \({\dot{F}}^{s,\tau }_{p,q}(W)\) F ˙ p , q s , τ ( W ) . The \(A_p\) A p -dimensions of matrix weights and their properties also enable the authors to obtain the sharp boundedness of almost diagonal operators on related sequence spaces in the subsequent second article and the optimal characterizations of molecules and wavelets, trace theorems, and the optimal boundedness of pseudo-differential operators and Calderón–Zygmund operators in the subsequent third article.