Abstract <p> In the paper, the following problem is considered for positive definite functions on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{R}^n\)</EquationSource> </InlineEquation> (the class <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi(\mathbb{R}^n)\)</EquationSource> </InlineEquation>). Let a function <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(h\)</EquationSource> </InlineEquation> be continuous on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\([0,+\infty)\)</EquationSource> </InlineEquation>, differentiable on the interval <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,+\infty)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(th'(t)\to 0\)</EquationSource> </InlineEquation> as <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\to+0\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(h(t)\not\equiv h(0)\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(h(\rho(x))\in\Phi(\mathbb{R}^n)\)</EquationSource> </InlineEquation>. Here the function <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq11.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho\)</EquationSource> </InlineEquation> is continuous on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{R}^n\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho(x)&gt;0\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq14.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\ne0\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho(tx)=|t|\rho(x)\)</EquationSource> </InlineEquation>, for <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \mathbb{R}^n\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\in\mathbb{R}\)</EquationSource> </InlineEquation>. For <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq18.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta\in\mathbb{R}\)</EquationSource> </InlineEquation>, we define the function <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq19.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\beta(t):=h(t)+\beta th'(t)\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq20.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t&gt;0\)</EquationSource> </InlineEquation> and set <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq21.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\beta(0):=h(0)\)</EquationSource> </InlineEquation>. It is required to find the set of <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq18.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta\in\mathbb{R}\)</EquationSource> </InlineEquation> for which <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq23.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\beta(\rho(x))\in\Phi(\mathbb{R}^n)\)</EquationSource> </InlineEquation>. Under the above assumptions, this set is a closed interval <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq24.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="179" /> </InlineMediaObject> <EquationSource Format="TEX">\([-\beta(h,\mathbb{R}^n,\rho), \widetilde{\beta}(h,\mathbb{R}^n,\rho)]\)</EquationSource> </InlineEquation> which contains the point <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq25.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\)</EquationSource> </InlineEquation>. In Theorem <InternalRef RefID="FPar3">1</InternalRef>, formulas for the ends of this closed interval are found. In the case of the Euclidean norm, when <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq26.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbb{R}^n,\rho)=\ell_{2}^{n}\)</EquationSource> </InlineEquation>, in Theorem <InternalRef RefID="FPar4">2</InternalRef>, for a wide class of functions <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(h\)</EquationSource> </InlineEquation>, the exact value for the right end is found: <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq28.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widetilde{\beta}(h,\ell_{2}^{n})=1/n\)</EquationSource> </InlineEquation>. In Theorem <InternalRef RefID="FPar7">3</InternalRef>, for the function <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq29.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(h_p(t)=\exp(-t^p)\)</EquationSource> </InlineEquation> in the case of <InlineEquation ID="IEq30"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq30.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbb{R}^n,\rho)=\ell_{q}^{n}\)</EquationSource> </InlineEquation>, exact values for the right end and, in several cases, for the left one are found: if <InlineEquation ID="IEq31"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq31.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;p\le q\le 2\)</EquationSource> </InlineEquation>, then <InlineEquation ID="IEq32"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq32.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widetilde{\beta}(h_p,\ell_{q}^{n})=1/n\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq33"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq33.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="165" /> </InlineMediaObject> <EquationSource Format="TEX">\({\beta}(h_q,\ell_{q}^{n})={\beta}(h_q,\ell_{q}^{1})/n\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq34"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq34.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\({\beta}(h_1,\ell_{1}^{n})=1/n\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq35"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq35.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\({\beta}(h_1,\ell_{2}^{n})=1\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq36"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3103_Article_IEq36.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\({\beta}(h_2,\ell_{2}^{n})=0\)</EquationSource> </InlineEquation>. </p>

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

On the Positive Definiteness of Functions of the Form \(h(\rho(x))+\beta\rho(x)h'(\rho(x))\)

  • V. P. Zastavnyi

摘要

Abstract

In the paper, the following problem is considered for positive definite functions on \(\mathbb{R}^n\) (the class \(\Phi(\mathbb{R}^n)\) ). Let a function \(h\) be continuous on \([0,+\infty)\) , differentiable on the interval \((0,+\infty)\) , \(th'(t)\to 0\) as \(t\to+0\) , \(h(t)\not\equiv h(0)\) , and \(h(\rho(x))\in\Phi(\mathbb{R}^n)\) . Here the function \(\rho\) is continuous on \(\mathbb{R}^n\) , \(\rho(x)>0\) for \(x\ne0\) , and \(\rho(tx)=|t|\rho(x)\) , for \(x\in \mathbb{R}^n\) , \(t\in\mathbb{R}\) . For \(\beta\in\mathbb{R}\) , we define the function \(H_\beta(t):=h(t)+\beta th'(t)\) for \(t>0\) and set \(H_\beta(0):=h(0)\) . It is required to find the set of \(\beta\in\mathbb{R}\) for which \(H_\beta(\rho(x))\in\Phi(\mathbb{R}^n)\) . Under the above assumptions, this set is a closed interval \([-\beta(h,\mathbb{R}^n,\rho), \widetilde{\beta}(h,\mathbb{R}^n,\rho)]\) which contains the point \(0\) . In Theorem 1, formulas for the ends of this closed interval are found. In the case of the Euclidean norm, when \((\mathbb{R}^n,\rho)=\ell_{2}^{n}\) , in Theorem 2, for a wide class of functions \(h\) , the exact value for the right end is found: \(\widetilde{\beta}(h,\ell_{2}^{n})=1/n\) . In Theorem 3, for the function \(h_p(t)=\exp(-t^p)\) in the case of \((\mathbb{R}^n,\rho)=\ell_{q}^{n}\) , exact values for the right end and, in several cases, for the left one are found: if \(0<p\le q\le 2\) , then \(\widetilde{\beta}(h_p,\ell_{q}^{n})=1/n\) , \({\beta}(h_q,\ell_{q}^{n})={\beta}(h_q,\ell_{q}^{1})/n\) , \({\beta}(h_1,\ell_{1}^{n})=1/n\) , \({\beta}(h_1,\ell_{2}^{n})=1\) , and \({\beta}(h_2,\ell_{2}^{n})=0\) .