<p>In the general setting of a locally compact Abelian group <i>G</i>, the Delsarte extremal problem asks for the supremum of integrals over the collection of continuous positive definite functions <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_72_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(f \colon G \to \mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo lspace="0pt">:</mo> <mi>G</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_72_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(0) = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and having <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_72_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(supp f_{+} \subset \Omega\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>u</mi> <mi>p</mi> <mi>p</mi> <msub> <mi>f</mi> <mo>+</mo> </msub> <mo>⊂</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation> for some measurable subset <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_72_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> of finite measure. In this paper, we consider the question of the existence of an extremal function for the Delsarte extremal problem. In particular, we show that there exists an extremal function for the Delsarte problem when <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_72_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is closed, extending previously known existence results to a larger class of functions.</p>

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

On the existence of an extremal function for the Delsarte extremal problem

  • M. D. Ramabulana

摘要

In the general setting of a locally compact Abelian group G, the Delsarte extremal problem asks for the supremum of integrals over the collection of continuous positive definite functions \(f \colon G \to \mathbb{R}\) f : G R satisfying \(f(0) = 1\) f ( 0 ) = 1 and having \(supp f_{+} \subset \Omega\) s u p p f + Ω for some measurable subset \(\Omega\) Ω of finite measure. In this paper, we consider the question of the existence of an extremal function for the Delsarte extremal problem. In particular, we show that there exists an extremal function for the Delsarte problem when \(\Omega\) Ω is closed, extending previously known existence results to a larger class of functions.