<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(({\mathcal {X}},d,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a space of homogeneous type with the upper dimension <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\omega\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation>. In this work, the authors characterize the sets of all pointwise multipliers of inhomogeneous Besov spaces <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(B_{p,q}^{s}( {\mathcal {X}} )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>B</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and inhomogeneous Triebel–Lizorkin spaces <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(F_{p,q}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>F</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq5"> <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 <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(s&gt;\frac{\omega }{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mfrac> <mi>ω</mi> <mi>p</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, the authors show that the set of all pointwise multipliers of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(B_{p,q}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>B</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> equals to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(B_{p,q,\text {unif}}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>B</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mtext>unif</mtext> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(q\in [p,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mi>p</mi> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(M_{p,q}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>M</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(q\in (0,p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> if and only if <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> supports the local lower and upper bound. Corresponding results for <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(F_{p,q}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>F</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p,q\in (1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(s&gt;\frac{\omega }{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mfrac> <mi>ω</mi> <mi>p</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation> are also obtained. When <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(p\le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> (or <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(p=\infty\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>), the authors establish a characterization of the collection of all pointwise multipliers of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(B_{p,p}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>B</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>p</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> [or <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(B_{\infty ,q}^{s}({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>B</mi> <mrow> <mi>∞</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>], which does not need any extra assumption on <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\mu\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> and is even new when <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> supports the Ahlfors regular condition.</p>

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

Pointwise multipliers of inhomogeneous Besov and Triebel–Lizorkin spaces on spaces of homogeneous type

  • Zhexu Bai,
  • Fan Wang

摘要

Let \(({\mathcal {X}},d,\mu )\) ( X , d , μ ) be a space of homogeneous type with the upper dimension \(\omega\) ω . In this work, the authors characterize the sets of all pointwise multipliers of inhomogeneous Besov spaces \(B_{p,q}^{s}( {\mathcal {X}} )\) B p , q s ( X ) and inhomogeneous Triebel–Lizorkin spaces \(F_{p,q}^{s}({\mathcal {X}})\) F p , q s ( X ) . When \(p\in [1,\infty ]\) p [ 1 , ] and \(s>\frac{\omega }{p}\) s > ω p , the authors show that the set of all pointwise multipliers of \(B_{p,q}^{s}({\mathcal {X}})\) B p , q s ( X ) equals to \(B_{p,q,\text {unif}}^{s}({\mathcal {X}})\) B p , q , unif s ( X ) for \(q\in [p,\infty )\) q [ p , ) or \(M_{p,q}^{s}({\mathcal {X}})\) M p , q s ( X ) for \(q\in (0,p)\) q ( 0 , p ) if and only if \({\mathcal {X}}\) X supports the local lower and upper bound. Corresponding results for \(F_{p,q}^{s}({\mathcal {X}})\) F p , q s ( X ) with \(p,q\in (1,\infty )\) p , q ( 1 , ) and \(s>\frac{\omega }{p}\) s > ω p are also obtained. When \(p\le 1\) p 1 (or \(p=\infty\) p = ), the authors establish a characterization of the collection of all pointwise multipliers of \(B_{p,p}^{s}({\mathcal {X}})\) B p , p s ( X ) [or \(B_{\infty ,q}^{s}({\mathcal {X}})\) B , q s ( X ) ], which does not need any extra assumption on \(\mu\) μ and is even new when \({\mathcal {X}}\) X supports the Ahlfors regular condition.