<p>For <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(B^p_{\sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>B</mi> <mi>σ</mi> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> be the set of entire functions of exponential type at most <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation> such that their restriction to the real axis <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> are in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p(\mathbb R)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We investigate in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(B^p_{\sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>B</mi> <mi>σ</mi> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> a problem of maximal concentration for the fraction of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-norm on a subset of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>. To do this, we first prove the following generalization of the classical inequality of Plancherel-Pólya inequality: <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq12.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="446" /> </InlineMediaObject> <EquationSource Format="TEX">\(\int _{\mathbb R} |f(x)|^p\,d\Delta (x)\le C(\delta , \sigma , p)\Bigl [\bigl (\sup _{a\in \mathbb R} \Delta [a, a+\delta ]\bigr )/\delta \Bigr ]\cdot \Vert f\Vert ^p_{L^{p}(\mathbb R)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <mi mathvariant="double-struck">R</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>δ</mi> <mo>,</mo> <mi>σ</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">[</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msub> <mo movablelimits="true">sup</mo> <mrow> <mi>a</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </msub> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">[</mo> <mi>a</mi> <mo>,</mo> <mi>a</mi> <mo>+</mo> <mi>δ</mi> <mo stretchy="false">]</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo stretchy="false">/</mo> <mi>δ</mi> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">]</mo> </mrow> <mo>·</mo> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mi>p</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> for for a given positive sigma-finite measure <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq16.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="235" /> </InlineMediaObject> <EquationSource Format="TEX">\(C(\delta , \sigma , p)=\Vert \cos (\sigma \delta t)\Vert ^{-p}_{L^{p}[-1/2, 1/2]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>δ</mi> <mo>,</mo> <mi>σ</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mo>cos</mo> <mrow> <mo stretchy="false">(</mo> <mi>σ</mi> <mi>δ</mi> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">[</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </mrow> <mrow> <mo>-</mo> <mi>p</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. This inequality shows that if <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> has the sparse support in the sense that <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sup _{a\in \mathbb R}\,\Delta ([a, a+\delta ])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">sup</mo> <mrow> <mi>a</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </msub> <mspace width="0.166667em" /> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <mi>a</mi> <mo>,</mo> <mi>a</mi> <mo>+</mo> <mi>δ</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is much less than <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> for some fixed <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq21.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="111" /> </InlineMediaObject> <EquationSource Format="TEX">\(\int |f(x)|^p\,d\Delta (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo>∫</mo> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is also small. In particular, if <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> coincides with the restriction of the Lebesgue measure on a sparse subset in <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb R\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>, then only a small portion of <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-energy <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq25.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert f\Vert _{L^{p}(\mathbb R)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2456_Article_IEq26.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\in B^p_{\sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msubsup> <mi>B</mi> <mi>σ</mi> <mi>p</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> can be concentrated on such a set.</p>

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

On Plancherel-Pólya Inequality and \(L^p(\mathbb R)\)-Concentration of Entire Functions of Exponential Type

  • Saulius Norvidas

摘要

For \(\sigma >0\) σ > 0 , let \(B^p_{\sigma }\) B σ p be the set of entire functions of exponential type at most \(\sigma \) σ such that their restriction to the real axis \(\mathbb R\) R are in \(L^p(\mathbb R)\) L p ( R ) . We investigate in \(B^p_{\sigma }\) B σ p a problem of maximal concentration for the fraction of \(L^p\) L p -norm on a subset of \(\mathbb R\) R . To do this, we first prove the following generalization of the classical inequality of Plancherel-Pólya inequality: \(\int _{\mathbb R} |f(x)|^p\,d\Delta (x)\le C(\delta , \sigma , p)\Bigl [\bigl (\sup _{a\in \mathbb R} \Delta [a, a+\delta ]\bigr )/\delta \Bigr ]\cdot \Vert f\Vert ^p_{L^{p}(\mathbb R)}\) R | f ( x ) | p d Δ ( x ) C ( δ , σ , p ) [ ( sup a R Δ [ a , a + δ ] ) / δ ] · f L p ( R ) p for for a given positive sigma-finite measure \(\Delta \) Δ on \(\mathbb R\) R , \(\delta >0\) δ > 0 , and \(C(\delta , \sigma , p)=\Vert \cos (\sigma \delta t)\Vert ^{-p}_{L^{p}[-1/2, 1/2]}\) C ( δ , σ , p ) = cos ( σ δ t ) L p [ - 1 / 2 , 1 / 2 ] - p . This inequality shows that if \(\Delta \) Δ has the sparse support in the sense that \(\sup _{a\in \mathbb R}\,\Delta ([a, a+\delta ])\) sup a R Δ ( [ a , a + δ ] ) is much less than \(\delta \) δ for some fixed \(\delta >0\) δ > 0 , then \(\int |f(x)|^p\,d\Delta (x)\) | f ( x ) | p d Δ ( x ) is also small. In particular, if \(\Delta \) Δ coincides with the restriction of the Lebesgue measure on a sparse subset in \(\mathbb R\) R , then only a small portion of \(L^p\) L p -energy \(\Vert f\Vert _{L^{p}(\mathbb R)}\) f L p ( R ) for \(f\in B^p_{\sigma }\) f B σ p can be concentrated on such a set.