<p>In this article we investigate the property of complete monotonicity within a special family <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {F}_s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> of functions in <i>s</i> variables involving logarithms. The main result of this work provides a linear isomorphism between <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {F}_s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> and the space of real multivariate polynomials. This isomorphism identifies the cone of completely monotone functions with the cone of non-negative polynomials. We conclude that the cone of completely monotone functions in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {F}_s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> is semi-algebraic. This gives a finite time algorithm to decide whether a function in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {F}_s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> is completely monotone.</p>

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

Complete monotonicity of log-functions

  • Rourou Ma,
  • Julian Weigert

摘要

In this article we investigate the property of complete monotonicity within a special family \(\mathcal {F}_s\) F s of functions in s variables involving logarithms. The main result of this work provides a linear isomorphism between \(\mathcal {F}_s\) F s and the space of real multivariate polynomials. This isomorphism identifies the cone of completely monotone functions with the cone of non-negative polynomials. We conclude that the cone of completely monotone functions in \(\mathcal {F}_s\) F s is semi-algebraic. This gives a finite time algorithm to decide whether a function in \(\mathcal {F}_s\) F s is completely monotone.