<p>Let G be a locally compact group and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϕ</mi> </math></EquationSource> </InlineEquation> be a positive definite function on G with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi (e)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>e</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. This function defines a multiplication operator <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation> on the Fourier algebra <i>A</i>(<i>G</i>) of <i>G</i>. The aim of this paper is to classify the ergodic properties of the operators <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation>, focusing on several key factors, including the subgroup <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="185" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\phi =\{x\in G:\phi (x)=1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mi>ϕ</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>x</mi> <mo>∈</mo> <mi>G</mi> <mo>:</mo> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the spectrum of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation>, or how “spread-out” a power of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation> can be. We show that the multiplication operator <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation> is uniformly mean ergodic if and only if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation> is open and 1 is not an accumulation point of the spectrum of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation>. Equivalently, this happens when some power of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϕ</mi> </math></EquationSource> </InlineEquation> is not far, in the multiplier norm, from a function supported on finitely many cosets of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation>. Additionally, we show that the powers of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>ϕ</mi> </msub> </math></EquationSource> </InlineEquation> converge in norm if, and only if, the operator is uniformly mean ergodic and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3752_Article_IEq14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="194" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\phi =\{x\in G:|\phi (x)|=1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mi>ϕ</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>x</mi> <mo>∈</mo> <mi>G</mi> <mo>:</mo> <mo stretchy="false">|</mo> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Positive definite functions as uniformly ergodic multipliers of the Fourier algebra

  • Jorge Galindo,
  • Enrique Jordá,
  • Alberto Rodríguez-Arenas

摘要

Let G be a locally compact group and let \(\phi \) ϕ be a positive definite function on G with \(\phi (e)=1\) ϕ ( e ) = 1 . This function defines a multiplication operator \(M_\phi \) M ϕ on the Fourier algebra A(G) of G. The aim of this paper is to classify the ergodic properties of the operators \(M_\phi \) M ϕ , focusing on several key factors, including the subgroup \(H_\phi =\{x\in G:\phi (x)=1\}\) H ϕ = { x G : ϕ ( x ) = 1 } , the spectrum of \(M_\phi \) M ϕ , or how “spread-out” a power of \(M_\phi \) M ϕ can be. We show that the multiplication operator \(M_\phi \) M ϕ is uniformly mean ergodic if and only if \(H_\phi \) H ϕ is open and 1 is not an accumulation point of the spectrum of \(M_\phi \) M ϕ . Equivalently, this happens when some power of \(\phi \) ϕ is not far, in the multiplier norm, from a function supported on finitely many cosets of \(H_\phi \) H ϕ . Additionally, we show that the powers of \(M_\phi \) M ϕ converge in norm if, and only if, the operator is uniformly mean ergodic and \(H_\phi =\{x\in G:|\phi (x)|=1\}\) H ϕ = { x G : | ϕ ( x ) | = 1 } .