mndede标签
dede标签 时间:2021-02-28 阅读:()
GeneralizedDedekindSumsArisingfromEisensteinSeriesTristieStucker&AmyVennosAdvisor:Dr.
MatthewYoungDepartmentofMathematics,TexasA&MUniversityNSFDMS–1757872July16,2018MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
Givenγ∈SL2(Z),theMobiustransformationassociatedtoγisthecomplexmapdenedbyz→az+bcz+d,wherez∈H={x+iy|x,y∈R,y>0}.
MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
Givenγ∈SL2(Z),theMobiustransformationassociatedtoγisthecomplexmapdenedbyz→az+bcz+d,wherez∈H={x+iy|x,y∈R,y>0}.
Wewriteγz=az+bcz+d.
AutomorphicFormsAfunctionf:H→CisanautomorphicformifAutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)AutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)2.
fsatisesacertaindierentialequation(complexanalytic,harmonicfunctions,AutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)2.
fsatisesacertaindierentialequation(complexanalytic,harmonicfunctions,3.
fexhibitssomeboundarybehavior.
(polynomialgrowth,boundednessasfunctionapproachesi∞EisensteinSeriesFork≥4andkeven,theweight-kEisensteinSeriesisEk(z)=12gcd(c,d)=11(cz+d)k.
EisensteinSeriesFork≥4andkeven,theweight-kEisensteinSeriesisEk(z)=12gcd(c,d)=11(cz+d)k.
Forallγ=abcd∈SL2(Z),Ek(γz)=(cz+d)kEk(z).
DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈ZDirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=1DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=13.
χ(mn)=χ(m)χ(n)m,n∈ZDirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=13.
χ(mn)=χ(m)χ(n)m,n∈ZExample:Jacobi/LegendreSymbolsEisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
EisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
Eχ1,χ2(γz,s)=ψ(γ)Eχ1,χ2(z,s),whereψ(γ)=χ1(d)χ2(d),forallγ=abcd∈Γ0(q1q2).
EisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
Eχ1,χ2(γz,s)=ψ(γ)Eχ1,χ2(z,s),whereψ(γ)=χ1(d)χ2(d),forallγ=abcd∈Γ0(q1q2).
Γ0(N)=abcd∈SL2(Z)c≡0(modN)PeriodicityofEχ1,χ2LetT=1101∈Γ0(q1q2).
ThenTz=1z+10z+1=z+1,soEχ1,χ2(z+1,s)=(0z+1)kχ1(1)χ2(1)Eχ1,χ2(z,s)=Eχ1,χ2(z,s).
PeriodicityofEχ1,χ2LetT=1101∈Γ0(q1q2).
ThenTz=1z+10z+1=z+1,soEχ1,χ2(z+1,s)=(0z+1)kχ1(1)χ2(1)Eχ1,χ2(z,s)=Eχ1,χ2(z,s).
Thus,Eχ1,χ2isperiodic.
FourierExpansionfortheCompletedEisensteinSeriesDenethecompletedEisensteinseriesasEχ1,χ2(z,s):=(q2/π)sikτ(χ2)Γ(s+k2)L(2s,χ1χ2)Eχ1,χ2(z,s)FourierExpansionfortheCompletedEisensteinSeriesDenethecompletedEisensteinseriesasEχ1,χ2(z,s):=(q2/π)sikτ(χ2)Γ(s+k2)L(2s,χ1χ2)Eχ1,χ2(z,s)TheFourierexpansionforthecompletedEisensteinseriesisEχ1,χ2(z,s)=eχ1,χ2(y,s)+n=0λχ1,χ2(n,s)|n|e2πinx·Γ(s+k2)Γ(s+k2sgn(n))Wk2sgn(n),s12(4π|n|y).
EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)logηaz+bcz+d=logη(z)+πia+d12c+s(d,c)+12log(i(cz+d))Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)logηaz+bcz+d=logη(z)+πia+d12c+s(d,c)+12log(i(cz+d))s(h,k)=k1r=1rkhrkhrk12EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)Wehavebeeninvestigatingthefunctionfχ1,χ2.
TransformationPropertiesoffχ1,χ2(z)Deneφχ1,χ2(γ,z):=fχ1,χ2(γz)ψ(γ)fχ1,χ2(z).
TransformationPropertiesoffχ1,χ2(z)Deneφχ1,χ2(γ,z):=fχ1,χ2(γz)ψ(γ)fχ1,χ2(z).
MainGoal.
Findanitesumformulaforφχ1,χ2.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Proof.
SinceEχ1,χ2(γz,1)=ψ(γ)Eχ1,χ2(z,1)andEχ1,χ2(z,1)=fχ1,χ2(z)+χ2(1)fχ1,χ2(z),φχ1,χ2(γ,z)=χ2(1)φχ1,χ2(γ,z).
Sinceφχ1,χ2isaholomorphicfunctionandφχ1,χ2isanantiholomorphicfunction,φχ1,χ2mustbeconstant.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Proof.
SinceEχ1,χ2(γz,1)=ψ(γ)Eχ1,χ2(z,1)andEχ1,χ2(z,1)=fχ1,χ2(z)+χ2(1)fχ1,χ2(z),φχ1,χ2(γ,z)=χ2(1)φχ1,χ2(γ,z).
Sinceφχ1,χ2isaholomorphicfunctionandφχ1,χ2isanantiholomorphicfunction,φχ1,χ2mustbeconstant.
Fromnowon,wewillwriteφχ1,χ2(γ)insteadofφχ1,χ2(γ,z).
Propertiesofφχ1,χ2Lemma2.
Letγ1,γ2∈Γ0(q1q2).
Thenφχ1,χ2(γ1γ2)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
Propertiesofφχ1,χ2Lemma2.
Letγ1,γ2∈Γ0(q1q2).
Thenφχ1,χ2(γ1γ2)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
Proof.
Sinceψismultiplicative,φχ1,χ2(γ1γ2)=fχ1,χ2(γ1γ2z)ψ(γ1γ2)fχ1,χ2(z)=fχ1,χ2(γ1γ2z)ψ(γ1)ψ(γ2)fχ1,χ2(z)=fχ1,χ2(γ1γ2z)ψ(γ1)fχ1,χ2(γ2z)+ψ(γ1)fχ1,χ2(γ2z)ψ(γ1)ψ(γ2)fχ1,χ2(z)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
MainTheoremTheorem.
Letγ=abcd∈Γ0(q1q2).
Thenφχ1,χ2(γ)=πiχ2(1)τ(χ1)j(modc)n(modq1)χ2(j)χ1(n)B1jcB1nq1ajc,whereB1(z)=zz12,z/∈Z0,otherwise,andτ(χ)=q1n=0χ(n)e2πinq,forχmoduloq.
CarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2uCarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2ulimu→0+fχ1,χ2dc+ic2u=0.
CarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2ulimu→0+fχ1,χ2dc+ic2u=0.
Thus,φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iu.
CarnivalFunhouseProofofMainTheoremfχ1,χ2(z)=∞k=1∞l=1χ1(l)χ2(k)le2πiklz.
CarnivalFunhouseProofofMainTheoremfχ1,χ2(z)=∞k=1∞l=1χ1(l)χ2(k)le2πiklz.
Simplifyingfχ1,χ2andevaluatinglimu→0+fχ1,χ2ac+iu,wegetφχ1,χ2(γ)=χ2(1)∞l=1χ1(l)lj(modc)χ2(j)B1jce2πialjc.
CarnivalFunhouseProofofMainTheoremFromthetransformationpropertiesofEχ1,χ2,wehaveφχ1,χ2(γ)=12(φχ1,χ2(γ)χ2(1)φχ1,χ2(γ)).
Wesimplifythismoresymmetricversionofφχ1,χ2togetφχ1,χ2(γ)=πiχ2(1)τ(χ1)j(modc)n(modq1)χ2(j)χ1(n)B1jcB1nq1ajc.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
Withmoretime,wewouldliketocalculateareciprocitytheoremforourgeneralizedDedekindsum.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
Withmoretime,wewouldliketocalculateareciprocitytheoremforourgeneralizedDedekindsum.
12hks(h,k)+12khs(k,h)=h2+k23hk+1References1.
T.
M.
Apostol,ModularFunctionsandDirichletSeriesinNumberTheory,Springer-VerlagNewYork,Inc.
,1976.
2.
B.
Berndt,CharacterTransformationFormulaeSimilartoThosefortheDedekindEta-Function,Proc.
Sym.
PureMath.
,No.
24,Amer.
Math.
Soc,Providence,(1973),9–30.
3.
M.
C.
Dagl,M.
Can,OnReciprocityFormulasforApostol'sDedekindSumsandtheirAnalogues,J.
IntegerSeq.
17(5)(2014),Article14.
5.
4,105–1244.
L.
Goldstein,DedekindSumsforaFuchsianGroup,I.
NagayaMath.
J.
50(1973),21–47.
5.
C.
Nagasaka,OnGeneralizedDedekindSumsAttachedtoDirichletCharacters,JournalofNumberTheory19(1984),no.
3,374–383.
6.
M.
Young,ExplicitCalculationswithEisensteinSeries.
arXiv:1710.
03624,(2017),1–37.
MatthewYoungDepartmentofMathematics,TexasA&MUniversityNSFDMS–1757872July16,2018MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
Givenγ∈SL2(Z),theMobiustransformationassociatedtoγisthecomplexmapdenedbyz→az+bcz+d,wherez∈H={x+iy|x,y∈R,y>0}.
MobiusTransformationsSL2(Z)=abcda,b,c,d∈Z,adbc=1.
Givenγ∈SL2(Z),theMobiustransformationassociatedtoγisthecomplexmapdenedbyz→az+bcz+d,wherez∈H={x+iy|x,y∈R,y>0}.
Wewriteγz=az+bcz+d.
AutomorphicFormsAfunctionf:H→CisanautomorphicformifAutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)AutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)2.
fsatisesacertaindierentialequation(complexanalytic,harmonicfunctions,AutomorphicFormsAfunctionf:H→Cisanautomorphicformif1.
fobeyssometransformationproperty.
e.
g.
faz+bcz+d=(cz+d)kf(z)2.
fsatisesacertaindierentialequation(complexanalytic,harmonicfunctions,3.
fexhibitssomeboundarybehavior.
(polynomialgrowth,boundednessasfunctionapproachesi∞EisensteinSeriesFork≥4andkeven,theweight-kEisensteinSeriesisEk(z)=12gcd(c,d)=11(cz+d)k.
EisensteinSeriesFork≥4andkeven,theweight-kEisensteinSeriesisEk(z)=12gcd(c,d)=11(cz+d)k.
Forallγ=abcd∈SL2(Z),Ek(γz)=(cz+d)kEk(z).
DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈ZDirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=1DirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=13.
χ(mn)=χ(m)χ(n)m,n∈ZDirichletCharactersADirichletcharacterχ(modq)isafunctionχ:Z→Cwiththefollowingproperties:1.
χ(n+ql)=χ(n)n,l∈Z2.
χ(n)=0igcd(n,q)=13.
χ(mn)=χ(m)χ(n)m,n∈ZExample:Jacobi/LegendreSymbolsEisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
EisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
Eχ1,χ2(γz,s)=ψ(γ)Eχ1,χ2(z,s),whereψ(γ)=χ1(d)χ2(d),forallγ=abcd∈Γ0(q1q2).
EisensteinSerieswithDirichletCharactersEχ1,χ2(z,s)=12gcd(c,d)=1(q2y)sχ1(c)χ2(d)|cq2z+d|2s|cq2z+d|cq2z+dkwhereχ1andχ2areDirichletcharactersmoduloq1,q2,respectively.
Eχ1,χ2(γz,s)=ψ(γ)Eχ1,χ2(z,s),whereψ(γ)=χ1(d)χ2(d),forallγ=abcd∈Γ0(q1q2).
Γ0(N)=abcd∈SL2(Z)c≡0(modN)PeriodicityofEχ1,χ2LetT=1101∈Γ0(q1q2).
ThenTz=1z+10z+1=z+1,soEχ1,χ2(z+1,s)=(0z+1)kχ1(1)χ2(1)Eχ1,χ2(z,s)=Eχ1,χ2(z,s).
PeriodicityofEχ1,χ2LetT=1101∈Γ0(q1q2).
ThenTz=1z+10z+1=z+1,soEχ1,χ2(z+1,s)=(0z+1)kχ1(1)χ2(1)Eχ1,χ2(z,s)=Eχ1,χ2(z,s).
Thus,Eχ1,χ2isperiodic.
FourierExpansionfortheCompletedEisensteinSeriesDenethecompletedEisensteinseriesasEχ1,χ2(z,s):=(q2/π)sikτ(χ2)Γ(s+k2)L(2s,χ1χ2)Eχ1,χ2(z,s)FourierExpansionfortheCompletedEisensteinSeriesDenethecompletedEisensteinseriesasEχ1,χ2(z,s):=(q2/π)sikτ(χ2)Γ(s+k2)L(2s,χ1χ2)Eχ1,χ2(z,s)TheFourierexpansionforthecompletedEisensteinseriesisEχ1,χ2(z,s)=eχ1,χ2(y,s)+n=0λχ1,χ2(n,s)|n|e2πinx·Γ(s+k2)Γ(s+k2sgn(n))Wk2sgn(n),s12(4π|n|y).
EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)logηaz+bcz+d=logη(z)+πia+d12c+s(d,c)+12log(i(cz+d))Theη-functionandDedekindSumsη(z)=eπiz/12∞n=1(1e2πinz)logηaz+bcz+d=logη(z)+πia+d12c+s(d,c)+12log(i(cz+d))s(h,k)=k1r=1rkhrkhrk12EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)EvaluatingEχ1,χ2(z,s)atk=0ands=1Eχ1,χ2(z,1)=n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)+χ2(1)n>0e2πinz√nab=nχ1(a)χ2(b)ba12fχ1,χ2(z)Wehavebeeninvestigatingthefunctionfχ1,χ2.
TransformationPropertiesoffχ1,χ2(z)Deneφχ1,χ2(γ,z):=fχ1,χ2(γz)ψ(γ)fχ1,χ2(z).
TransformationPropertiesoffχ1,χ2(z)Deneφχ1,χ2(γ,z):=fχ1,χ2(γz)ψ(γ)fχ1,χ2(z).
MainGoal.
Findanitesumformulaforφχ1,χ2.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Proof.
SinceEχ1,χ2(γz,1)=ψ(γ)Eχ1,χ2(z,1)andEχ1,χ2(z,1)=fχ1,χ2(z)+χ2(1)fχ1,χ2(z),φχ1,χ2(γ,z)=χ2(1)φχ1,χ2(γ,z).
Sinceφχ1,χ2isaholomorphicfunctionandφχ1,χ2isanantiholomorphicfunction,φχ1,χ2mustbeconstant.
Propertiesofφχ1,χ2Lemma1.
Thefunctionφχ1,χ2isindependentofz.
Proof.
SinceEχ1,χ2(γz,1)=ψ(γ)Eχ1,χ2(z,1)andEχ1,χ2(z,1)=fχ1,χ2(z)+χ2(1)fχ1,χ2(z),φχ1,χ2(γ,z)=χ2(1)φχ1,χ2(γ,z).
Sinceφχ1,χ2isaholomorphicfunctionandφχ1,χ2isanantiholomorphicfunction,φχ1,χ2mustbeconstant.
Fromnowon,wewillwriteφχ1,χ2(γ)insteadofφχ1,χ2(γ,z).
Propertiesofφχ1,χ2Lemma2.
Letγ1,γ2∈Γ0(q1q2).
Thenφχ1,χ2(γ1γ2)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
Propertiesofφχ1,χ2Lemma2.
Letγ1,γ2∈Γ0(q1q2).
Thenφχ1,χ2(γ1γ2)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
Proof.
Sinceψismultiplicative,φχ1,χ2(γ1γ2)=fχ1,χ2(γ1γ2z)ψ(γ1γ2)fχ1,χ2(z)=fχ1,χ2(γ1γ2z)ψ(γ1)ψ(γ2)fχ1,χ2(z)=fχ1,χ2(γ1γ2z)ψ(γ1)fχ1,χ2(γ2z)+ψ(γ1)fχ1,χ2(γ2z)ψ(γ1)ψ(γ2)fχ1,χ2(z)=φχ1,χ2(γ1)+ψ(γ1)φχ1,χ2(γ2).
MainTheoremTheorem.
Letγ=abcd∈Γ0(q1q2).
Thenφχ1,χ2(γ)=πiχ2(1)τ(χ1)j(modc)n(modq1)χ2(j)χ1(n)B1jcB1nq1ajc,whereB1(z)=zz12,z/∈Z0,otherwise,andτ(χ)=q1n=0χ(n)e2πinq,forχmoduloq.
CarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2uCarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2ulimu→0+fχ1,χ2dc+ic2u=0.
CarnivalFunhouseProofofMainTheoremLetγ=abcd∈Γ0(q1q2).
Choosez=dc+ic2u∈Hforsomeu∈R,u=0.
Thenγz=ac+iu.
φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iuψ(γ)fχ1,χ2dc+ic2ulimu→0+fχ1,χ2dc+ic2u=0.
Thus,φχ1,χ2(γ)=limu→0+fχ1,χ2ac+iu.
CarnivalFunhouseProofofMainTheoremfχ1,χ2(z)=∞k=1∞l=1χ1(l)χ2(k)le2πiklz.
CarnivalFunhouseProofofMainTheoremfχ1,χ2(z)=∞k=1∞l=1χ1(l)χ2(k)le2πiklz.
Simplifyingfχ1,χ2andevaluatinglimu→0+fχ1,χ2ac+iu,wegetφχ1,χ2(γ)=χ2(1)∞l=1χ1(l)lj(modc)χ2(j)B1jce2πialjc.
CarnivalFunhouseProofofMainTheoremFromthetransformationpropertiesofEχ1,χ2,wehaveφχ1,χ2(γ)=12(φχ1,χ2(γ)χ2(1)φχ1,χ2(γ)).
Wesimplifythismoresymmetricversionofφχ1,χ2togetφχ1,χ2(γ)=πiχ2(1)τ(χ1)j(modc)n(modq1)χ2(j)χ1(n)B1jcB1nq1ajc.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
Withmoretime,wewouldliketocalculateareciprocitytheoremforourgeneralizedDedekindsum.
SummaryofResultsWefounda"natural"proofforthegeneralizedDedekindsumformulawithDirichletcharacters.
WebeganwithanicerversionoftheEisensteinseries.
WecalculatedthegeneralizedDedekindsumdirectlyfromtheFourierexpansionoftheEisensteinseries.
Withmoretime,wewouldliketocalculateareciprocitytheoremforourgeneralizedDedekindsum.
12hks(h,k)+12khs(k,h)=h2+k23hk+1References1.
T.
M.
Apostol,ModularFunctionsandDirichletSeriesinNumberTheory,Springer-VerlagNewYork,Inc.
,1976.
2.
B.
Berndt,CharacterTransformationFormulaeSimilartoThosefortheDedekindEta-Function,Proc.
Sym.
PureMath.
,No.
24,Amer.
Math.
Soc,Providence,(1973),9–30.
3.
M.
C.
Dagl,M.
Can,OnReciprocityFormulasforApostol'sDedekindSumsandtheirAnalogues,J.
IntegerSeq.
17(5)(2014),Article14.
5.
4,105–1244.
L.
Goldstein,DedekindSumsforaFuchsianGroup,I.
NagayaMath.
J.
50(1973),21–47.
5.
C.
Nagasaka,OnGeneralizedDedekindSumsAttachedtoDirichletCharacters,JournalofNumberTheory19(1984),no.
3,374–383.
6.
M.
Young,ExplicitCalculationswithEisensteinSeries.
arXiv:1710.
03624,(2017),1–37.
华纳云E5处理器16G内存100Mbps688元/月
近日华纳云商家正式上线了美国服务器产品，这次美国机房上线的产品包括美国云服务器、美国独立服务器、美国高防御服务器以及美国高防云服务器等产品，新产品上线华纳云推出了史上优惠力度最高的特价优惠活动，美国云服务器低至3折，1核心1G内存5Mbps带宽低至24元/月，20G ddos高防御服务器低至688元/月，年付周期再送2个月、两年送4个月、三年送6个月，终身续费同价，有需要的朋友可以关注一下。华纳云...
SugarHosts糖果主机六折 云服务器五折
也有在上个月介绍到糖果主机商12周年的促销活动，我有看到不少的朋友还是选择他们家的香港虚拟主机和美国虚拟主机比较多，同时有一个网友有联系到推荐入门的个人网站主机，最后建议他选择糖果主机的迷你主机方案，适合单个站点的。这次商家又推出所谓的秋季活动促销，这里一并整理看看这个服务商在秋季活动中有哪些值得选择的主机方案，比如虚拟主机最低可以享受六折，云服务器可以享受五折优惠。 官网地址：糖果主机秋季活动促...
SugarHosts糖果主机商更换域名
昨天，遇到一个网友客户告知他的网站无法访问需要帮他检查到底是什么问题。这个同学的网站是我帮他搭建的，于是我先PING看到他的网站是不通的，开始以为是服务器是不是出现故障导致无法打开的。检查到他的服务器是有放在SugarHosts糖果主机商中，于是我登录他的糖果主机后台看到服务器是正常运行的。但是，我看到面板中的IP地址居然是和他网站解析的IP地址不同。看来官方是有更换域名。于是我就问 客服到底是什...
dede标签为你推荐
-
如何免费开通黄钻怎样才能免费开通黄钻二叉树遍历怎么正确理解二叉树的遍历pwPW考试是指什么网站运营网站运营的工作做什么网站联盟网站联盟的运作流程9flash在“属性”对话框中的“Move”后面的框中输入Flash动画文件的绝对路径及文件名，这句话怎么操作？神雕侠侣礼包大全神雕侠侣陈晓礼包兑换码怎么获得怎么升级ios6苹果6怎么升级最新系统mate8价格现在买华为mate8高配划算吗机械键盘轴打游戏用机械键盘到底什么轴好？