<p>Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {P}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> be the set of real-valued algebraic polynomials of degree at most <i>n</i>, and consider the <i>n</i>-dimensional space of functions <Equation ID="Equ27"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_Equ27.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="509" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {H}_{n,\alpha }:= \Big \{f:\,\int _0^x f(t)\,dt = x^{-\alpha /2} e^{-x/2} p(x),\ p\in \mathcal {P}_n, \ p(0)=0\Big \},\ \ \alpha &lt;1. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">H</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> <mo>:</mo> <mo>=</mo> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">{</mo> </mrow> <mi>f</mi> <mo>:</mo> <mspace width="0.166667em" /> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>x</mi> </msubsup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>t</mi> <mo>=</mo> <msup> <mi>x</mi> <mrow> <mo>-</mo> <mi>α</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>x</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mi>p</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="4pt" /> <mi>p</mi> <mo>∈</mo> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> <mo>,</mo> <mspace width="4pt" /> <mi>p</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">}</mo> </mrow> <mo>,</mo> <mspace width="4pt" /> <mspace width="4pt" /> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>In this paper we study the sharp constant <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{n,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> in the weighted Hardy inequality <Equation ID="Equ28"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_Equ28.gif" Format="GIF" Height="46" Rendition="HTML" Resolution="72" Type="Linedraw" Width="450" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \int _0^\infty \!\left( \frac{1}{x}\int _0^x \!f(t)\,dt\right) ^{\!\!2} x^{\alpha } dx \le c_{n,\alpha } \int _0^\infty \!f^2(x)\,x^{\alpha } dx, \qquad f\in \mathcal {H}_{n,\alpha }. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>∞</mi> </msubsup> <mspace width="-0.166667em" /> <msup> <mfenced close=")" open="("> <mfrac> <mn>1</mn> <mi>x</mi> </mfrac> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>x</mi> </msubsup> <mspace width="-0.166667em" /> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>t</mi> </mfenced> <mrow> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mn>2</mn> </mrow> </msup> <msup> <mi>x</mi> <mi>α</mi> </msup> <mi>d</mi> <mi>x</mi> <mo>≤</mo> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> <msubsup> <mo>∫</mo> <mn>0</mn> <mi>∞</mi> </msubsup> <mspace width="-0.166667em" /> <msup> <mi>f</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <msup> <mi>x</mi> <mi>α</mi> </msup> <mi>d</mi> <mi>x</mi> <mo>,</mo> <mspace width="2em" /> <mi>f</mi> <mo>∈</mo> <msub> <mi mathvariant="script">H</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We relate <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{n,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to the smallest eigenvalue of a certain Jacobi matrix, and obtain tight two-sided estimates for <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{n,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> which show the correct asymptotic behavior of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2024_2052_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{n,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>c</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>α</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> as <i>n</i> tends to infinity.</p>

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

On the sharp constant in a weighted Hardy inequality

  • Geno Nikolov,
  • Rumen Uluchev

摘要

Let \(\mathcal {P}_n\) P n be the set of real-valued algebraic polynomials of degree at most n, and consider the n-dimensional space of functions \(\begin{aligned} \mathcal {H}_{n,\alpha }:= \Big \{f:\,\int _0^x f(t)\,dt = x^{-\alpha /2} e^{-x/2} p(x),\ p\in \mathcal {P}_n, \ p(0)=0\Big \},\ \ \alpha <1. \end{aligned}\) H n , α : = { f : 0 x f ( t ) d t = x - α / 2 e - x / 2 p ( x ) , p P n , p ( 0 ) = 0 } , α < 1 . In this paper we study the sharp constant \(c_{n,\alpha }\) c n , α in the weighted Hardy inequality \(\begin{aligned} \int _0^\infty \!\left( \frac{1}{x}\int _0^x \!f(t)\,dt\right) ^{\!\!2} x^{\alpha } dx \le c_{n,\alpha } \int _0^\infty \!f^2(x)\,x^{\alpha } dx, \qquad f\in \mathcal {H}_{n,\alpha }. \end{aligned}\) 0 1 x 0 x f ( t ) d t 2 x α d x c n , α 0 f 2 ( x ) x α d x , f H n , α . We relate \(c_{n,\alpha }\) c n , α to the smallest eigenvalue of a certain Jacobi matrix, and obtain tight two-sided estimates for \(c_{n,\alpha }\) c n , α which show the correct asymptotic behavior of \(c_{n,\alpha }\) c n , α as n tends to infinity.