<p>A nonnegative real function <i>f</i> is <i>bell-shaped</i> if it converges to zero at <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3829_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pm \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and the <i>n</i>th derivative of <i>f</i> changes sign <i>n</i> times for every <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3829_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(n = 0, 1, 2, \ldots \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> </mrow> </math></EquationSource> </InlineEquation>&#xa0; Similarly, a nonnegative sequence <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3829_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\((a(k): k \in \mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> <mo>:</mo> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is <i>bell-shaped</i> if it converges to zero at <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3829_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pm \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and the <i>n</i>th iterated difference of <i>a</i>(<i>k</i>) changes sign <i>n</i> times for every <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3829_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(n = 0, 1, 2, \ldots \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> </mrow> </math></EquationSource> </InlineEquation>&#xa0; A characterisation of bell-shaped functions was given by Thomas Simon and the first named author, and recently a similar result for one-sided bell-shaped sequences was found by the authors. In the present article we give a complete description of two-sided bell-shaped sequences. Our main result proves that bell-shaped sequences are convolutions of <i>Pólya frequency sequences</i> and what we call <i>absolutely monotone-then-completely monotone sequences</i>, and it provides an equivalent, and relatively easy to verify, condition in terms of holomorphic extensions of the generating function. We also prove that if <i>f</i> is a bell-shaped function, then <i>f</i>(<i>k</i>) is a bell-shaped sequence.</p>

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

Two-sided bell-shaped sequences

  • Mateusz Kwaśnicki,
  • Jacek Wszoła

摘要

A nonnegative real function f is bell-shaped if it converges to zero at \(\pm \infty \) ± and the nth derivative of f changes sign n times for every \(n = 0, 1, 2, \ldots \) n = 0 , 1 , 2 ,   Similarly, a nonnegative sequence \((a(k): k \in \mathbb {Z})\) ( a ( k ) : k Z ) is bell-shaped if it converges to zero at \(\pm \infty \) ± and the nth iterated difference of a(k) changes sign n times for every \(n = 0, 1, 2, \ldots \) n = 0 , 1 , 2 ,   A characterisation of bell-shaped functions was given by Thomas Simon and the first named author, and recently a similar result for one-sided bell-shaped sequences was found by the authors. In the present article we give a complete description of two-sided bell-shaped sequences. Our main result proves that bell-shaped sequences are convolutions of Pólya frequency sequences and what we call absolutely monotone-then-completely monotone sequences, and it provides an equivalent, and relatively easy to verify, condition in terms of holomorphic extensions of the generating function. We also prove that if f is a bell-shaped function, then f(k) is a bell-shaped sequence.