<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(0&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Psi : [0,1) \rightarrow (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ψ</mi> <mo>:</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> be a finite positive Borel measure on the unit disk <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> of the complex plane. We define the Lebesgue-Zygmund space <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(L^p_{\mu ,\Psi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>L</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi mathvariant="normal">Ψ</mi> </mrow> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> as the space of all measurable functions <i>f</i> on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\int _{{\mathbb {D}}}|f(z)|^p\Psi (|f(z)|)\,d\mu (z)&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <mi mathvariant="double-struck">D</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mi mathvariant="normal">Ψ</mi> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. The weighted Bergman-Zygmund space <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(A^p_{\omega ,\Psi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mrow> <mi>ω</mi> <mo>,</mo> <mi mathvariant="normal">Ψ</mi> </mrow> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> induced by a weight function <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> consists of analytic functions in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(L^p_{\mu ,\Psi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>L</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi mathvariant="normal">Ψ</mi> </mrow> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(d\mu =\omega \,dA\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>μ</mi> <mo>=</mo> <mi>ω</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>.</p><p>Let <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(0&lt;q&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> be radial weight on <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\mathbb {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> </InlineEquation> which has certain two-sided doubling properties. In this study, we will characterize the measures <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> such that the identity mapping <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(I: A^p_{\omega ,\Psi } \rightarrow L^q_{\mu ,\Phi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mo>:</mo> <msubsup> <mi>A</mi> <mrow> <mi>ω</mi> <mo>,</mo> <mi mathvariant="normal">Ψ</mi> </mrow> <mi>p</mi> </msubsup> <mo stretchy="false">→</mo> <msubsup> <mi>L</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi mathvariant="normal">Φ</mi> </mrow> <mi>q</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is bounded and compact, when we assume <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\Psi ,\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ψ</mi> <mo>,</mo> <mi mathvariant="normal">Φ</mi> </mrow> </math></EquationSource> </InlineEquation> to be almost monotonic and to satisfy certain doubling properties. In addition, we apply our result to characterize the measures for which the differentiation operator <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(D^{(n)}: A^p_{\omega ,\Psi } \rightarrow L^q_{\mu ,\Phi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>D</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo>:</mo> <msubsup> <mi>A</mi> <mrow> <mi>ω</mi> <mo>,</mo> <mi mathvariant="normal">Ψ</mi> </mrow> <mi>p</mi> </msubsup> <mo stretchy="false">→</mo> <msubsup> <mi>L</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi mathvariant="normal">Φ</mi> </mrow> <mi>q</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is bounded and compact.</p>

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

Embedding theorems for Bergman-Zygmund spaces induced by doubling weights

  • Atte Pennanen

摘要

Let \(0<p<\infty \) 0 < p < and \(\Psi : [0,1) \rightarrow (0,\infty )\) Ψ : [ 0 , 1 ) ( 0 , ) , and let \(\mu \) μ be a finite positive Borel measure on the unit disk \({\mathbb {D}}\) D of the complex plane. We define the Lebesgue-Zygmund space \(L^p_{\mu ,\Psi }\) L μ , Ψ p as the space of all measurable functions f on \({\mathbb {D}}\) D such that \(\int _{{\mathbb {D}}}|f(z)|^p\Psi (|f(z)|)\,d\mu (z)<\infty \) D | f ( z ) | p Ψ ( | f ( z ) | ) d μ ( z ) < . The weighted Bergman-Zygmund space \(A^p_{\omega ,\Psi }\) A ω , Ψ p induced by a weight function \(\omega \) ω consists of analytic functions in \(L^p_{\mu ,\Psi }\) L μ , Ψ p with \(d\mu =\omega \,dA\) d μ = ω d A .

Let \(0<q<p<\infty \) 0 < q < p < and let \(\omega \) ω be radial weight on \({\mathbb {D}}\) D which has certain two-sided doubling properties. In this study, we will characterize the measures \(\mu \) μ such that the identity mapping \(I: A^p_{\omega ,\Psi } \rightarrow L^q_{\mu ,\Phi }\) I : A ω , Ψ p L μ , Φ q is bounded and compact, when we assume \(\Psi ,\Phi \) Ψ , Φ to be almost monotonic and to satisfy certain doubling properties. In addition, we apply our result to characterize the measures for which the differentiation operator \(D^{(n)}: A^p_{\omega ,\Psi } \rightarrow L^q_{\mu ,\Phi }\) D ( n ) : A ω , Ψ p L μ , Φ q is bounded and compact.