Abstract <p> This paper gives an overview of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left(p,q\right)\)</EquationSource> </InlineEquation>-adic Fourier theory—the Fourier theory of functions from the <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\)</EquationSource> </InlineEquation>-adic numbers to the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\)</EquationSource> </InlineEquation>-adic numbers, where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\)</EquationSource> </InlineEquation> are distinct primes—which we then use to prove a novel <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left(p,q\right)\)</EquationSource> </InlineEquation>-adic generalization of Norbert Wiener’s celebrated Tauberian Theorem. Letting <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> </InlineEquation> be a metrically complete, algebraically closed local field of residue characteristic <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\)</EquationSource> </InlineEquation>, letting <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(C\left(\mathbb{Z}_{p},K\right)\)</EquationSource> </InlineEquation> be the Banach space of continuous functions <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{Z}_{p}\rightarrow K\)</EquationSource> </InlineEquation>, and letting <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\mu\)</EquationSource> </InlineEquation> be a <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left(p,q\right)\)</EquationSource> </InlineEquation>-adic measure (a continuous linear functional <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq14.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(C\left(\mathbb{Z}_{p},K\right)\rightarrow K\)</EquationSource> </InlineEquation>), the <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left(p,q\right)\)</EquationSource> </InlineEquation>-adic Wiener Tauberian Theorem (WTT) we prove establishes the equivalence of the density of the span of translates of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\mu\)</EquationSource> </InlineEquation>’s Fourier-Stieltjes Transform and the non-vanishing of the Radon-Nikodym derivative of <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\mu\)</EquationSource> </InlineEquation> at all points in <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{Z}_{p}\)</EquationSource> </InlineEquation> where the derivative exists in <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1120_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\)</EquationSource> </InlineEquation>. </p>

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

The Collatz Conjecture & Non-Archimedean Spectral Theory - Part II - \(\left(p,q\right)\)-Adic Fourier Analysis and Wiener’s Tauberian Theorem

  • Maxwell C. Siegel

摘要

Abstract

This paper gives an overview of \(\left(p,q\right)\) -adic Fourier theory—the Fourier theory of functions from the \(p\) -adic numbers to the \(q\) -adic numbers, where \(p\) and \(q\) are distinct primes—which we then use to prove a novel \(\left(p,q\right)\) -adic generalization of Norbert Wiener’s celebrated Tauberian Theorem. Letting \(K\) be a metrically complete, algebraically closed local field of residue characteristic \(q\) , letting \(C\left(\mathbb{Z}_{p},K\right)\) be the Banach space of continuous functions \(\mathbb{Z}_{p}\rightarrow K\) , and letting \(d\mu\) be a \(\left(p,q\right)\) -adic measure (a continuous linear functional \(C\left(\mathbb{Z}_{p},K\right)\rightarrow K\) ), the \(\left(p,q\right)\) -adic Wiener Tauberian Theorem (WTT) we prove establishes the equivalence of the density of the span of translates of \(d\mu\) ’s Fourier-Stieltjes Transform and the non-vanishing of the Radon-Nikodym derivative of \(d\mu\) at all points in \(\mathbb{Z}_{p}\) where the derivative exists in \(K\) .