<p>We solve the Bojanov–Naidenov problem <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq1.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="285" /> </InlineMediaObject> <EquationSource Format="TEX">\({\Vert {x}^{\left(k\right)}\Vert }_{q,\delta }\to \text{sup}, k=1,\dots ,r-1,q\ge 1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mrow> <mi>x</mi> </mrow> <mfenced close=")" open="("> <mi>k</mi> </mfenced> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> <mo stretchy="false">→</mo> <mtext>sup</mtext> <mo>,</mo> <mi>k</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>r</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> <mo>≥</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> on the classes of functions <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq2.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="399" /> </InlineMediaObject> <EquationSource Format="TEX">\({W}_{p,\varepsilon }^{r}\left({A}_{0},{A}_{r}\right):=\left\{x\in {L}_{\infty }^{r}:{\Vert x\Vert }_{p,\varepsilon }\le {A}_{0}{\Vert {x}^{\left(r\right)}\Vert }_{\infty }\le {A}_{r}\right\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>W</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> <mi>r</mi> </msubsup> <mfenced close=")" open="("> <msub> <mi>A</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>A</mi> <mi>r</mi> </msub> </mfenced> <mo>:</mo> <mo>=</mo> <mfenced close="}" open="{"> <mi>x</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi>∞</mi> </mrow> <mi>r</mi> </msubsup> <mo>:</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>x</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> </msub> <mo>≤</mo> <msub> <mi>A</mi> <mn>0</mn> </msub> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mrow> <mi>x</mi> </mrow> <mfenced close=")" open="("> <mi>r</mi> </mfenced> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mi>∞</mi> </msub> <mo>≤</mo> <msub> <mi>A</mi> <mi>r</mi> </msub> </mfenced> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq3.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="591" /> </InlineMediaObject> <EquationSource Format="TEX">\({\Vert x\Vert }_{p,\delta }:=\text{sup}\left\{{\Vert x\Vert }_{{L}_{p}\left[a,b\right]}:a,b\in \mathbf{R},0&lt;b-a\le \delta \right\},p,\delta &gt;0,\varepsilon \in \left(0,\left.{\varepsilon }_{1}\right],{\varepsilon }_{1}:=\pi /\omega ,\right.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>x</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> <mo>:</mo> <mo>=</mo> <mtext>sup</mtext> <mfenced close="}" open="{"> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>x</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mfenced close="]" open="["> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mfenced> </mrow> </msub> <mo>:</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi mathvariant="bold">R</mi> <mo>,</mo> <mn>0</mn> <mo>&lt;</mo> <mi>b</mi> <mo>-</mo> <mi>a</mi> <mo>≤</mo> <mi>δ</mi> </mfenced> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>δ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>ε</mi> <mo>∈</mo> <mfenced open="("> <mn>0</mn> <mo>,</mo> <mfenced close="]"> <msub> <mi>ε</mi> <mn>1</mn> </msub> </mfenced> <mo>,</mo> <msub> <mi>ε</mi> <mn>1</mn> </msub> <mo>:</mo> <mo>=</mo> <mi>π</mi> <mo stretchy="false">/</mo> <mi>ω</mi> <mo>,</mo> </mfenced> </mrow> </math></EquationSource> </InlineEquation> the number <i>ω</i> satisfies the condition <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq4.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="304" /> </InlineMediaObject> <EquationSource Format="TEX">\({A}_{0}={A}_{r}{\Vert {\varphi }_{\omega ,r}\Vert }_{p,\pi /\omega },{\varphi }_{\omega ,r}\left(t\right):={\omega }^{-r}{\varphi }_{r}\left(\omega t\right),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mn>0</mn> </msub> <mo>=</mo> <msub> <mi>A</mi> <mi>r</mi> </msub> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>φ</mi> <mrow> <mi>ω</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>π</mi> <mo stretchy="false">/</mo> <mi>ω</mi> </mrow> </msub> <mo>,</mo> <msub> <mi>φ</mi> <mrow> <mi>ω</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mfenced close=")" open="("> <mi>t</mi> </mfenced> <mo>:</mo> <mo>=</mo> <msup> <mrow> <mi>ω</mi> </mrow> <mrow> <mo>-</mo> <mi>r</mi> </mrow> </msup> <msub> <mi>φ</mi> <mi>r</mi> </msub> <mfenced close=")" open="("> <mi>ω</mi> <mi>t</mi> </mfenced> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varphi }_{r}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>φ</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation> is an ideal Euler spline of order <i>r</i>. In addition, we prove that the Bojanov–Naidenov problem is equivalent to the problem of sharp constant <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(C=C\left(\lambda \right)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>=</mo> <mi>C</mi> <mfenced close=")" open="("> <mi>λ</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation> in the Kolmogorov-type inequality<Equation ID="Equ1"> <EquationNumber>1</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_Equ1.gif" Format="GIF" Height="28" Rendition="HTML" Resolution="72" Type="Linedraw" Width="274" /> </MediaObject> <EquationSource Format="TEX">\({\Vert {x}^{\left(k\right)}\Vert }_{q,\delta }\le C{\Vert x\Vert }_{p,\varepsilon }^{\alpha }{\Vert {x}^{\left(r\right)}\Vert }_{\infty }^{1-\alpha },x\in {L}_{p,\varepsilon }^{r,\lambda },\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mrow> <mi>x</mi> </mrow> <mfenced close=")" open="("> <mi>k</mi> </mfenced> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> <mo>≤</mo> <mi>C</mi> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>x</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> <mi>α</mi> </msubsup> <msubsup> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mrow> <mi>x</mi> </mrow> <mfenced close=")" open="("> <mi>r</mi> </mfenced> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <mi>∞</mi> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> </msubsup> <mo>,</mo> <mi>x</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> <mrow> <mi>r</mi> <mo>,</mo> <mi>λ</mi> </mrow> </msubsup> <mo>,</mo> </mrow> </math></EquationSource> </Equation></p><p>where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq8.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="439" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha =\frac{r-k+1/q}{r+1/p},{L}_{p,\varepsilon }^{r,\lambda }:=\left\{x\in {L}_{\infty }^{r}:{\Vert x\Vert }_{p,\varepsilon }={\Vert {\varphi }_{\lambda ,r}\Vert }_{p,\varepsilon }\bullet {\Vert {x}^{\left(r\right)}\Vert }_{\infty }\right\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mfrac> <mrow> <mi>r</mi> <mo>-</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>q</mi> </mrow> <mrow> <mi>r</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>p</mi> </mrow> </mfrac> <mo>,</mo> <msubsup> <mi>L</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> <mrow> <mi>r</mi> <mo>,</mo> <mi>λ</mi> </mrow> </msubsup> <mo>:</mo> <mo>=</mo> <mfenced close="}" open="{"> <mi>x</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi>∞</mi> </mrow> <mi>r</mi> </msubsup> <mo>:</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>x</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> </msub> <mo>=</mo> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>φ</mi> <mrow> <mi>λ</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> </msub> <mo>∙</mo> <msub> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mrow> <mi>x</mi> </mrow> <mfenced close=")" open="("> <mi>r</mi> </mfenced> </msup> <mrow> <mo stretchy="false">‖</mo> </mrow> </mrow> <mi>∞</mi> </msub> </mfenced> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. In particular, we obtain sharp inequalities of the form (1) on the classes <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11253_2025_2439_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({L}_{p,\varepsilon }^{r,\lambda }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>L</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>ε</mi> </mrow> <mrow> <mi>r</mi> <mo>,</mo> <mi>λ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation>.</p><p>We also solve the Bojanov–Naidenov problem in the spaces of trigonometric polynomials and splines and prove the theorems on the relationship between the analyzed problem and sharp Bernstein-type inequalities. As a consequence, we prove sharp inequalities of the indicated type for polynomials and splines.</p>

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

Bojanov–Naidenov Problem and the Kolmogorov-Type Inequalities for Functions on the Real Axis

  • Volodymyr Kofanov

摘要

We solve the Bojanov–Naidenov problem \({\Vert {x}^{\left(k\right)}\Vert }_{q,\delta }\to \text{sup}, k=1,\dots ,r-1,q\ge 1,\) x k q , δ sup , k = 1 , , r - 1 , q 1 , on the classes of functions \({W}_{p,\varepsilon }^{r}\left({A}_{0},{A}_{r}\right):=\left\{x\in {L}_{\infty }^{r}:{\Vert x\Vert }_{p,\varepsilon }\le {A}_{0}{\Vert {x}^{\left(r\right)}\Vert }_{\infty }\le {A}_{r}\right\},\) W p , ε r A 0 , A r : = x L r : x p , ε A 0 x r A r , where \({\Vert x\Vert }_{p,\delta }:=\text{sup}\left\{{\Vert x\Vert }_{{L}_{p}\left[a,b\right]}:a,b\in \mathbf{R},0<b-a\le \delta \right\},p,\delta >0,\varepsilon \in \left(0,\left.{\varepsilon }_{1}\right],{\varepsilon }_{1}:=\pi /\omega ,\right.\) x p , δ : = sup x L p a , b : a , b R , 0 < b - a δ , p , δ > 0 , ε 0 , ε 1 , ε 1 : = π / ω , the number ω satisfies the condition \({A}_{0}={A}_{r}{\Vert {\varphi }_{\omega ,r}\Vert }_{p,\pi /\omega },{\varphi }_{\omega ,r}\left(t\right):={\omega }^{-r}{\varphi }_{r}\left(\omega t\right),\) A 0 = A r φ ω , r p , π / ω , φ ω , r t : = ω - r φ r ω t , and \({\varphi }_{r}\) φ r is an ideal Euler spline of order r. In addition, we prove that the Bojanov–Naidenov problem is equivalent to the problem of sharp constant \(C=C\left(\lambda \right)\) C = C λ in the Kolmogorov-type inequality 1 \({\Vert {x}^{\left(k\right)}\Vert }_{q,\delta }\le C{\Vert x\Vert }_{p,\varepsilon }^{\alpha }{\Vert {x}^{\left(r\right)}\Vert }_{\infty }^{1-\alpha },x\in {L}_{p,\varepsilon }^{r,\lambda },\) x k q , δ C x p , ε α x r 1 - α , x L p , ε r , λ ,

where \(\alpha =\frac{r-k+1/q}{r+1/p},{L}_{p,\varepsilon }^{r,\lambda }:=\left\{x\in {L}_{\infty }^{r}:{\Vert x\Vert }_{p,\varepsilon }={\Vert {\varphi }_{\lambda ,r}\Vert }_{p,\varepsilon }\bullet {\Vert {x}^{\left(r\right)}\Vert }_{\infty }\right\},\) α = r - k + 1 / q r + 1 / p , L p , ε r , λ : = x L r : x p , ε = φ λ , r p , ε x r , and \(\lambda >0\) λ > 0 . In particular, we obtain sharp inequalities of the form (1) on the classes \({L}_{p,\varepsilon }^{r,\lambda }\) L p , ε r , λ .

We also solve the Bojanov–Naidenov problem in the spaces of trigonometric polynomials and splines and prove the theorems on the relationship between the analyzed problem and sharp Bernstein-type inequalities. As a consequence, we prove sharp inequalities of the indicated type for polynomials and splines.